Stats for formula: K.L.-0

How to interpret the values

Each satsolver was run against each test case. Two cnf formulas were generated from each submitted generator to form the set of generators. For each run, a number of seconds were charged to the program based on the criteria described on the assignments webpage; this was the score for that run. If the program crashed or went into a loop, 150 seconds were charged. The two formulas generated by a generator are denoted by generator_name:i where i is 0 for the first cnf and 1 for the second. The table below shows the time each satsolver took for cnf K.L.-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf K.L.-0 or terminated with an exception. Some important stats are summarized at the start.The ranking scheme is described on the Generators Ranklist page. Click on the name of a satsolver to see details of that satsolver.

Summary

Cnf:	K.L.-0
Rank of generator:	89 / 114
Average score:	1.76
Median score:	0.01
Best solver:	haoyu
Description:	class projects - need to split students into even groups. Some students don't want to work together so they don't care about which project they work on. Other students want to work on a certain project. Other students really don't want to work on a certain project. Find an arrangement of students and projects.

	Solver	Time taken	Unsat
1	haoyu	0.00	0
2	Jonathan Kwok	0.00	0
3	burrito	0.00	0
4	Glenn Fisher	0.00	0
5	Mercury	0.00	0
6	13a	0.00	0
7	Andrew Werner	0.00	0
8	Matt Haake	0.00	0
9	Walter Little	0.00	0
10	ModifiedWalkSatBreakZero	0.00	0
11	Mike Honcho	0.01	0
12	dusty	0.01	0
13	bigwig	0.01	0
14	Shaheed Chagani	0.01	0
15	David H.	0.01	0
16	Aaron Doll	0.01	0
17	Green "The Bean" Choi	0.01	0
18	spl	0.01	0
19	dfshasdsf12	0.01	0
20	jabreezy	0.01	0
21	Sunny	0.01	0
22	Quite Satisfied	0.01	0
23	Linda	0.01	0
24	Anon5	0.01	0
25	Yan Wu	0.01	0
26	Janie Gu	0.01	0
27	NA	0.01	0
28	Jameh	0.01	0
29	jgs	0.01	0
30	R. A. B.	0.01	0
31	Sabar Dasgupta	0.01	0
32	Andrew Grasso	0.01	0
33	BH	0.01	0
34	Charlie Shucheng Zhu	0.01	0
35	Mike Hawk	0.01	0
36	Samuel Jerome	0.01	0
37	Joshua Zimmer	0.01	0
38	Ben Chen	0.01	0
39	Absurdity	0.01	0
40	EC	0.01	0
41	CAPS LOCK	0.01	0
42	Deric Cheng	0.01	0
43	Matt Goldsmith	0.01	0
44	Sprt	0.01	0
45	Alex Fish	0.01	0
46	Aaron H	0.01	0
47	Andys	0.01	0
48	Keji Xu	0.01	0
49	Mark Fillmore	0.01	0
50	0108	0.01	0
51	Tree Prophet	0.01	0
52	Valya Barboy	0.01	0
53	Mr. Blobby	0.01	0
54	Miranda	0.01	0
55	Jordan Ash	0.01	0
56	Sally Smith	0.01	0
57	CookieMonster	0.02	0
58	Solving For Clauses	0.02	0
59	snowflakes	0.02	0
60	Fanny	0.02	0
61	John Whelchel	0.02	0
62	Aristotle	0.02	0
63	AFC	0.02	0
64	Nikhilesh Sigatapu	0.02	0
65	Khoa	0.02	0
66	Ytterbium	0.02	0
67	Lisa Kim	0.02	0
68	An Extremely Ordinary Sloth	0.02	0
69	Yacob Y.	0.02	0
70	HashTagAlreadyFallBreak	0.02	0
71	bfang	0.02	0
72	Dr Roberto	0.03	0
73	Jessie Chen	0.03	0
74	Gewang	0.03	0
75	cjt	0.03	0
76	David Paulk	0.03	0
77	David Lackey	0.03	0
78	kt4124	0.03	0
79	DeeEmEm	0.03	0
80	Mickey Mouse	0.03	0
81	Blam	0.04	0
82	Tao	0.04	0
83	The Whitman Whale	0.04	0
84	Anon_K_P	0.04	0
85	Bebe Shi	0.04	0
86	Ravi Tandon	0.05	0
87	weezy	0.05	0
88	Tiny Wings	0.06	0
89	Bob Dondero	0.06	0
90	vhsiao	0.06	0
91	Brendan Wright	0.07	0
92	cmF5a3ly	0.07	0
93	Qinlan Shen	0.07	0
94	Joel Faron	0.08	0
95	Tom T	0.08	0
96	Happy	0.08	0
97	cat	0.10	0
98	bchouSolver	0.10	0
99	SuperFan	0.14	0
100	Boomshanka	15.00	1
101	RedOrangeBlue	14.99	3
102	Elphaba	0.00	7
103	George Okeowo	0.02	16
104	The Kraken	15.00	19
105	Cam Porter	15.00	24
106	Supahaka	0.04	27
107	BMJ	15.00	32
108	K.L.	15.00	154
109	LilThug	15.00	1
110	Nihar the Great	15.00	2
111	Sat Solver 2013	15.00	8
112	TSATTER	15.00	33
113	KingBach	-	-
114	T. Capote	-	-
115	soccer	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist