Stats for formula: Lisa Kim-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 Lisa Kim-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Lisa Kim-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:	Lisa Kim-0
Rank of generator:	56 / 114
Average score:	5.82
Median score:	0.47
Best solver:	Aristotle
Description:	Students are going on a trip on a small school bus (minotour) with 7 rows of 4 seats for the students and 2 seats for the supervisers. Some want to sit in the back, in the front, by the window, or by the aisle. Some don't want to sit together (the bus has two-seater seats). Find an appropriate arrangement.

	Solver	Time taken	Unsat
1	Aristotle	0.07	0
2	Elphaba	0.07	0
3	Mercury	0.09	0
4	dusty	0.10	0
5	Aaron Doll	0.10	0
6	ModifiedWalkSatBreakZero	0.10	0
7	Matt Goldsmith	0.10	0
8	spl	0.11	0
9	Glenn Fisher	0.12	0
10	Andrew Grasso	0.13	0
11	Bar Shabtai	0.14	0
12	Jonathan Kwok	0.14	0
13	13a	0.15	0
14	CookieMonster	0.17	0
15	NA	0.18	0
16	David H.	0.18	0
17	Jameh	0.18	0
18	Tao	0.19	0
19	Matt Haake	0.19	0
20	Sunny	0.19	0
21	Mike Hawk	0.20	0
22	bigwig	0.20	0
23	Anon5	0.21	0
24	Solving For Clauses	0.21	0
25	Shaheed Chagani	0.21	0
26	John Whelchel	0.22	0
27	0108	0.22	0
28	KingBach	0.22	0
29	EC	0.23	0
30	Sabar Dasgupta	0.23	0
31	burrito	0.23	0
32	Quite Satisfied	0.25	0
33	Charlie Shucheng Zhu	0.26	0
34	Janie Gu	0.26	0
35	jgs	0.27	0
36	Mr. Blobby	0.28	0
37	vhsiao	0.28	0
38	Lisa Kim	0.28	0
39	Deric Cheng	0.29	0
40	Andrew Werner	0.29	0
41	Dr Roberto	0.29	0
42	Ben Chen	0.29	0
43	snowflakes	0.29	0
44	Andys	0.32	0
45	Yacob Y.	0.33	0
46	Joshua Zimmer	0.33	0
47	Valya Barboy	0.34	0
48	Sprt	0.34	0
49	dfshasdsf12	0.37	0
50	BH	0.38	0
51	HashTagAlreadyFallBreak	0.38	0
52	CAPS LOCK	0.38	0
53	Aaron H	0.38	0
54	AFC	0.42	0
55	Walter Little	0.43	0
56	Absurdity	0.46	0
57	Mark Fillmore	0.47	0
58	Fanny	0.47	0
59	Linda	0.52	0
60	Mike Honcho	0.55	0
61	T. Capote	0.58	0
62	Yan Wu	0.59	0
63	Khoa	0.64	0
64	soccer	0.66	0
65	An Extremely Ordinary Sloth	1.11	0
66	R. A. B.	1.13	0
67	David Paulk	1.48	0
68	Nikhilesh Sigatapu	1.74	0
69	kt4124	2.65	0
70	bfang	4.40	0
71	Blam	5.62	0
72	Keji Xu	6.05	0
73	Tiny Wings	7.93	0
74	Tom T	8.03	0
75	DeeEmEm	11.23	0
76	Samuel Jerome	15.00	1
77	haoyu	15.00	3
78	Boomshanka	0.83	3
79	Joel Faron	15.00	8
80	bchouSolver	15.00	15
81	Brendan Wright	15.00	16
82	ebp	14.99	16
83	The Whitman Whale	15.00	25
84	RedOrangeBlue	14.99	49
85	George Okeowo	0.33	49
86	Cam Porter	15.00	2797
87	BMJ	15.00	2932
88	cat	14.99	4113
89	K.L.	15.00	19386
90	Ytterbium	15.00	1
91	Nihar the Great	15.00	3
92	Ravi Tandon	15.00	12
93	weezy	15.00	20
94	Happy	15.00	37
95	Sat Solver 2013	15.00	322
96	Supahaka	15.00	3771
97	Mickey Mouse	15.00	5314
98	LilThug	15.00	10
99	Sally Smith	15.00	4
100	David Lackey	15.00	396
101	Green "The Bean" Choi	15.01	37
102	Tree Prophet	15.01	27
103	The Kraken	15.01	50
104	Anon_K_P	15.01	834
105	Bebe Shi	15.02	1804
106	Bob Dondero	15.04	4522
107	cmF5a3ly	15.04	4832
108	Alex Fish	15.04	722
109	Gewang	15.06	3305
110	SuperFan	15.06	4420
111	Jessie Chen	15.12	1856
112	Qinlan Shen	15.17	4822
113	TSATTER	15.26	5477
114	cjt	22.50	7
115	Jordan Ash	37.65	13
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist