Stats for formula: Lisa Kim-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 Lisa Kim-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Lisa Kim-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:	Lisa Kim-1
Rank of generator:	56 / 114
Average score:	4.89
Median score:	0.32
Best solver:	Bar Shabtai
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	Bar Shabtai	0.06	0
2	Aristotle	0.07	0
3	haoyu	0.07	0
4	Mercury	0.07	0
5	Elphaba	0.07	0
6	Andrew Grasso	0.08	0
7	Aaron Doll	0.08	0
8	Jonathan Kwok	0.09	0
9	dusty	0.10	0
10	ModifiedWalkSatBreakZero	0.11	0
11	Glenn Fisher	0.12	0
12	spl	0.12	0
13	CookieMonster	0.13	0
14	Matt Goldsmith	0.13	0
15	John Whelchel	0.15	0
16	13a	0.15	0
17	Tao	0.15	0
18	Matt Haake	0.16	0
19	CAPS LOCK	0.16	0
20	Charlie Shucheng Zhu	0.16	0
21	Sabar Dasgupta	0.16	0
22	Quite Satisfied	0.16	0
23	Joshua Zimmer	0.17	0
24	David H.	0.17	0
25	KingBach	0.17	0
26	Yacob Y.	0.17	0
27	Solving For Clauses	0.17	0
28	Sunny	0.17	0
29	EC	0.17	0
30	jgs	0.18	0
31	bigwig	0.18	0
32	NA	0.20	0
33	Anon5	0.20	0
34	Mike Hawk	0.20	0
35	Yan Wu	0.20	0
36	0108	0.21	0
37	Ben Chen	0.21	0
38	Andys	0.22	0
39	Janie Gu	0.22	0
40	Absurdity	0.23	0
41	Lisa Kim	0.23	0
42	burrito	0.24	0
43	Shaheed Chagani	0.24	0
44	Sprt	0.25	0
45	Dr Roberto	0.25	0
46	Mr. Blobby	0.26	0
47	Linda	0.26	0
48	soccer	0.27	0
49	snowflakes	0.27	0
50	Mark Fillmore	0.28	0
51	Walter Little	0.28	0
52	T. Capote	0.29	0
53	Andrew Werner	0.30	0
54	Deric Cheng	0.30	0
55	vhsiao	0.31	0
56	Valya Barboy	0.31	0
57	HashTagAlreadyFallBreak	0.32	0
58	BH	0.32	0
59	Aaron H	0.33	0
60	dfshasdsf12	0.34	0
61	AFC	0.36	0
62	Jameh	0.37	0
63	Samuel Jerome	0.40	0
64	kt4124	0.48	0
65	Fanny	0.49	0
66	Green "The Bean" Choi	0.52	0
67	R. A. B.	0.54	0
68	Khoa	0.55	0
69	Mike Honcho	0.59	0
70	David Paulk	0.66	0
71	An Extremely Ordinary Sloth	0.78	0
72	DeeEmEm	0.95	0
73	Tree Prophet	1.06	0
74	Nikhilesh Sigatapu	1.36	0
75	Blam	2.29	0
76	The Whitman Whale	3.12	0
77	Keji Xu	3.46	0
78	ebp	3.82	0
79	bfang	4.08	0
80	Brendan Wright	4.75	0
81	Tom T	10.26	0
82	Sally Smith	14.28	0
83	Joel Faron	15.00	5
84	Boomshanka	0.65	10
85	bchouSolver	15.00	13
86	RedOrangeBlue	14.99	48
87	George Okeowo	0.32	48
88	BMJ	15.00	2510
89	Cam Porter	15.00	2727
90	cat	14.99	3968
91	K.L.	15.00	17461
92	Nihar the Great	15.00	3
93	LilThug	15.00	4
94	Ravi Tandon	15.00	8
95	weezy	15.00	15
96	Happy	15.00	42
97	Sat Solver 2013	15.00	326
98	Supahaka	15.00	3669
99	Mickey Mouse	15.00	4604
100	Ytterbium	15.00	1
101	Tiny Wings	15.00	8
102	The Kraken	15.01	33
103	Bebe Shi	15.01	1302
104	Anon_K_P	15.01	1072
105	cmF5a3ly	15.04	2601
106	SuperFan	15.04	4040
107	Bob Dondero	15.06	3831
108	Alex Fish	15.07	295
109	Jessie Chen	15.09	2283
110	David Lackey	15.10	666
111	Gewang	15.12	2705
112	TSATTER	15.24	4667
113	Qinlan Shen	15.34	4311
114	cjt	22.50	8
115	Jordan Ash	35.49	16
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist