Stats for formula: K.L.-1

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

SatSolvers Ranklist

Generators Ranklist