Stats for formula: Elphaba-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 Elphaba-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Elphaba-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:	Elphaba-1
Rank of generator:	8 / 114
Average score:	13.42
Median score:	15.01
Best solver:	Aristotle
Description:	This generates carpool planning problems.

	Solver	Time taken	Unsat
1	Aristotle	0.22	0
2	haoyu	0.38	0
3	Aaron Doll	0.47	0
4	dusty	1.19	0
5	Matt Goldsmith	1.29	0
6	vhsiao	2.13	0
7	Quite Satisfied	2.58	0
8	spl	2.82	0
9	Mercury	2.93	0
10	Nihar the Great	3.24	0
11	CookieMonster	3.47	0
12	Matt Haake	3.74	0
13	HashTagAlreadyFallBreak	11.41	0
14	ModifiedWalkSatBreakZero	11.54	0
15	Green "The Bean" Choi	12.63	0
16	Tao	12.64	0
17	Glenn Fisher	13.57	0
18	DeeEmEm	13.64	0
19	CAPS LOCK	13.00	20
20	cat	15.00	35
21	Elphaba	1.68	54
22	ebp	14.99	55
23	jgs	14.99	15045
24	R. A. B.	9.01	92268
25	Mark Fillmore	15.00	14
26	13a	15.00	51
27	Happy	15.00	56
28	burrito	15.00	685
29	Valya Barboy	15.00	3718
30	Cam Porter	15.00	99704
31	George Okeowo	15.00	56
32	Anon5	15.00	13881
33	NA	15.00	16315
34	kt4124	15.00	32470
35	EC	15.00	5284
36	Lisa Kim	15.00	17165
37	Supahaka	15.00	85353
38	T. Capote	15.00	35210
39	Solving For Clauses	15.01	23
40	AFC	15.01	49
41	bigwig	15.01	53
42	Jameh	15.01	461
43	bfang	15.01	103657
44	Ravi Tandon	15.01	5874
45	Andrew Werner	15.01	39953
46	weezy	15.01	88411
47	Joshua Zimmer	15.01	3966
48	bchouSolver	15.01	45
49	Andrew Grasso	15.01	47
50	Khoa	15.01	56
51	Linda	15.01	1134
52	Mike Hawk	15.01	14805
53	Aaron H	15.01	83822
54	Samuel Jerome	15.01	85031
55	K.L.	15.01	175540
56	Sabar Dasgupta	15.01	648
57	Absurdity	15.01	29276
58	BH	15.01	52938
59	Deric Cheng	15.01	20549
60	Keji Xu	15.02	546
61	Ytterbium	15.02	40208
62	soccer	15.02	31924
63	Mickey Mouse	15.02	113005
64	Sprt	15.02	20468
65	Blam	15.02	57810
66	Charlie Shucheng Zhu	15.02	29984
67	Ben Chen	15.02	22588
68	Mr. Blobby	15.02	80774
69	snowflakes	15.02	41936
70	The Kraken	15.03	144
71	Janie Gu	15.03	24000
72	Walter Little	15.03	46068
73	Mike Honcho	15.04	56
74	Yacob Y.	15.04	9042
75	Andys	15.04	36606
76	0108	15.04	539
77	LilThug	15.04	71163
78	BMJ	15.04	91046
79	KingBach	15.04	22281
80	An Extremely Ordinary Sloth	15.05	86723
81	Joel Faron	15.05	55
82	Tree Prophet	15.06	55
83	Anon_K_P	15.06	89995
84	jabreezy	15.07	56
85	Bar Shabtai	15.08	19
86	David H.	15.12	84463
87	RedOrangeBlue	15.19	56
88	Brendan Wright	15.19	55
89	Sunny	15.23	33
90	Jonathan Kwok	15.33	9
91	Tiny Wings	15.36	100114
92	John Whelchel	15.40	5
93	Boomshanka	15.49	108556
94	Qinlan Shen	19.73	109980
95	dfshasdsf12	20.19	56
96	Shaheed Chagani	20.52	48
97	Alex Fish	22.31	110252
98	SuperFan	23.17	103039
99	Jessie Chen	24.36	104215
100	David Lackey	24.82	110471
101	Gewang	25.37	108292
102	TSATTER	26.14	107445
103	Bob Dondero	26.94	105270
104	Bebe Shi	27.14	102736
105	cmF5a3ly	28.88	110035
106	Yan Wu	31.77	0
107	Fanny	40.92	56
108	cjt	45.03	109377
109	David Paulk	-	-
110	Dr Roberto	-	-
111	Tom T	-	-
112	Miranda	-	-
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist