Stats for formula: Batman-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 Batman-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Batman-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:	Batman-1
Rank of generator:	51 / 114
Average score:	5.75
Median score:	1.14
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	Aaron Doll	0.10	0
3	Elphaba	0.10	0
4	Aristotle	0.12	0
5	dusty	0.16	0
6	spl	0.17	0
7	Mercury	0.21	0
8	CookieMonster	0.27	0
9	ModifiedWalkSatBreakZero	0.27	0
10	Matt Haake	0.33	0
11	vhsiao	0.34	0
12	Tao	0.34	0
13	Glenn Fisher	0.35	0
14	0108	0.38	0
15	Charlie Shucheng Zhu	0.38	0
16	Andrew Grasso	0.40	0
17	Sunny	0.40	0
18	Nihar the Great	0.41	0
19	bigwig	0.43	0
20	Yacob Y.	0.43	0
21	Lisa Kim	0.44	0
22	KingBach	0.45	0
23	John Whelchel	0.45	0
24	Quite Satisfied	0.45	0
25	Ben Chen	0.47	0
26	Matt Goldsmith	0.47	0
27	Shaheed Chagani	0.48	0
28	Dr Roberto	0.48	0
29	Jonathan Kwok	0.50	0
30	burrito	0.51	0
31	David H.	0.52	0
32	dfshasdsf12	0.52	0
33	Mike Hawk	0.53	0
34	EC	0.55	0
35	NA	0.56	0
36	Aaron H	0.57	0
37	jgs	0.57	0
38	Linda	0.58	0
39	Yan Wu	0.59	0
40	Andrew Werner	0.60	0
41	Janie Gu	0.63	0
42	Joshua Zimmer	0.63	0
43	HashTagAlreadyFallBreak	0.63	0
44	Deric Cheng	0.64	0
45	Jameh	0.68	0
46	Valya Barboy	0.70	0
47	snowflakes	0.72	0
48	Sabar Dasgupta	0.73	0
49	Andys	0.77	0
50	BH	0.78	0
51	Mr. Blobby	0.80	0
52	Walter Little	0.86	0
53	Sprt	0.91	0
54	AFC	0.92	0
55	DeeEmEm	0.94	0
56	David Paulk	1.08	0
57	Absurdity	1.10	0
58	13a	1.17	0
59	Samuel Jerome	1.18	0
60	Khoa	1.25	0
61	CAPS LOCK	1.28	0
62	Fanny	1.33	0
63	Anon5	1.43	0
64	Tree Prophet	1.67	0
65	Mark Fillmore	1.71	0
66	Mike Honcho	1.84	0
67	soccer	2.55	0
68	T. Capote	2.66	0
69	An Extremely Ordinary Sloth	2.71	0
70	Joel Faron	3.29	0
71	Nikhilesh Sigatapu	3.48	0
72	Anon_K_P	4.20	0
73	kt4124	6.95	0
74	ebp	6.95	0
75	Solving For Clauses	7.07	0
76	Boomshanka	7.21	0
77	The Whitman Whale	7.47	0
78	Brendan Wright	9.73	0
79	cat	15.00	7
80	R. A. B.	9.01	10
81	Green "The Bean" Choi	15.00	13
82	George Okeowo	1.13	25
83	bfang	15.00	4621
84	Cam Porter	15.00	5604
85	BMJ	15.00	8202
86	K.L.	15.00	41621
87	bchouSolver	15.00	3
88	Ravi Tandon	15.00	7
89	Happy	15.00	19
90	weezy	15.00	68
91	Tiny Wings	15.00	70
92	Sat Solver 2013	15.00	633
93	Supahaka	15.00	7184
94	Mickey Mouse	15.00	9918
95	Bar Shabtai	15.00	10
96	Blam	15.01	5
97	Bob Dondero	15.01	8501
98	Sally Smith	15.01	4185
99	Ytterbium	15.01	2
100	RedOrangeBlue	15.02	25
101	The Kraken	15.02	39
102	LilThug	15.03	1
103	Alex Fish	15.05	6699
104	Keji Xu	15.08	2
105	Bebe Shi	15.08	7264
106	David Lackey	15.21	7745
107	SuperFan	15.23	9421
108	Jessie Chen	15.24	8568
109	cmF5a3ly	15.25	8669
110	Gewang	15.27	8733
111	TSATTER	15.44	10950
112	Tom T	16.17	0
113	Qinlan Shen	17.61	9767
114	cjt	22.50	5335
115	Jordan Ash	103.98	25
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist