Stats for formula: Batman-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 Batman-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Batman-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:	Batman-0
Rank of generator:	51 / 114
Average score:	5.97
Median score:	1.05
Best solver:	haoyu
Description:	Generates a CNF that represents the problem of assigning seats to airplane/train passengers so that every passenger gets one seat, and couples have adjacent seats.

	Solver	Time taken	Unsat
1	haoyu	0.04	0
2	Aristotle	0.10	0
3	Elphaba	0.10	0
4	Aaron Doll	0.11	0
5	dusty	0.14	0
6	Mercury	0.15	0
7	spl	0.19	0
8	CookieMonster	0.21	0
9	Jonathan Kwok	0.23	0
10	Matt Goldsmith	0.26	0
11	vhsiao	0.31	0
12	Glenn Fisher	0.32	0
13	ModifiedWalkSatBreakZero	0.34	0
14	Quite Satisfied	0.35	0
15	0108	0.35	0
16	Matt Haake	0.35	0
17	Yacob Y.	0.39	0
18	Sunny	0.42	0
19	Jameh	0.44	0
20	Andrew Grasso	0.45	0
21	Shaheed Chagani	0.47	0
22	Joshua Zimmer	0.47	0
23	Tao	0.47	0
24	Dr Roberto	0.48	0
25	Yan Wu	0.48	0
26	Sprt	0.50	0
27	Janie Gu	0.50	0
28	Charlie Shucheng Zhu	0.50	0
29	Nihar the Great	0.51	0
30	jgs	0.52	0
31	Anon5	0.52	0
32	Aaron H	0.53	0
33	burrito	0.54	0
34	Ben Chen	0.54	0
35	David H.	0.56	0
36	NA	0.56	0
37	KingBach	0.57	0
38	bigwig	0.58	0
39	Linda	0.59	0
40	Lisa Kim	0.59	0
41	John Whelchel	0.62	0
42	Deric Cheng	0.64	0
43	Walter Little	0.66	0
44	Solving For Clauses	0.66	0
45	Mike Hawk	0.66	0
46	Andys	0.66	0
47	soccer	0.70	0
48	Sabar Dasgupta	0.72	0
49	Mr. Blobby	0.72	0
50	EC	0.75	0
51	dfshasdsf12	0.78	0
52	BH	0.80	0
53	HashTagAlreadyFallBreak	0.90	0
54	AFC	0.92	0
55	DeeEmEm	0.96	0
56	snowflakes	0.98	0
57	Absurdity	0.99	0
58	Mark Fillmore	1.11	0
59	13a	1.15	0
60	CAPS LOCK	1.29	0
61	Andrew Werner	1.45	0
62	Fanny	1.45	0
63	Valya Barboy	1.57	0
64	Tree Prophet	1.66	0
65	T. Capote	1.73	0
66	Mike Honcho	1.75	0
67	An Extremely Ordinary Sloth	2.96	0
68	Joel Faron	3.45	0
69	Nikhilesh Sigatapu	3.86	0
70	Samuel Jerome	4.16	0
71	Anon_K_P	4.30	0
72	The Whitman Whale	6.88	0
73	ebp	6.98	0
74	Boomshanka	7.40	0
75	David Paulk	9.42	0
76	Brendan Wright	9.76	0
77	cat	15.00	8
78	R. A. B.	9.01	11
79	Green "The Bean" Choi	15.00	13
80	George Okeowo	1.11	25
81	bfang	15.00	4481
82	Cam Porter	15.00	5650
83	BMJ	15.00	8135
84	bchouSolver	15.00	5
85	kt4124	15.00	6
86	Ravi Tandon	15.00	7
87	weezy	15.00	50
88	Sat Solver 2013	15.00	971
89	Supahaka	15.00	7933
90	Mickey Mouse	15.00	10982
91	Ytterbium	15.00	1
92	K.L.	15.00	40405
93	LilThug	15.00	1
94	Bar Shabtai	15.00	12
95	Khoa	15.01	25
96	Blam	15.01	8
97	Tiny Wings	15.01	181
98	RedOrangeBlue	15.01	25
99	Sally Smith	15.04	4449
100	The Kraken	15.04	30
101	Happy	15.05	23
102	Bob Dondero	15.12	8720
103	SuperFan	15.20	8922
104	David Lackey	15.22	6902
105	Gewang	15.23	9887
106	Bebe Shi	15.24	6860
107	cmF5a3ly	15.26	8847
108	Alex Fish	15.32	7675
109	Jessie Chen	15.41	8551
110	TSATTER	15.47	10175
111	Keji Xu	15.71	3
112	Qinlan Shen	17.70	12009
113	cjt	22.50	5949
114	Tom T	25.66	0
115	Jordan Ash	106.51	7
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist