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

	Solver	Time taken	Unsat
1	Aristotle	0.24	0
2	haoyu	0.48	0
3	Aaron Doll	0.62	0
4	Matt Goldsmith	0.88	0
5	dusty	1.30	0
6	vhsiao	1.91	0
7	spl	2.38	0
8	Quite Satisfied	3.09	0
9	Mercury	3.19	0
10	CookieMonster	3.35	0
11	Matt Haake	3.47	0
12	Nihar the Great	5.14	0
13	Jonathan Kwok	11.63	0
14	Tao	11.96	0
15	HashTagAlreadyFallBreak	12.25	0
16	ModifiedWalkSatBreakZero	12.82	0
17	Green "The Bean" Choi	12.90	0
18	Bar Shabtai	14.72	0
19	CAPS LOCK	13.01	20
20	Andrew Grasso	15.00	49
21	Elphaba	1.11	53
22	ebp	14.99	55
23	NA	15.00	12547
24	jgs	14.98	16051
25	Andrew Werner	15.00	43166
26	R. A. B.	9.02	96709
27	bfang	15.00	103436
28	Anon5	15.00	16957
29	Supahaka	15.00	82788
30	Khoa	15.00	56
31	Happy	15.00	56
32	Ravi Tandon	15.00	4461
33	KingBach	15.00	25190
34	13a	15.00	52
35	Sprt	15.00	12125
36	Lisa Kim	15.00	13203
37	Joshua Zimmer	15.00	17923
38	Mr. Blobby	15.00	81773
39	bigwig	15.00	30
40	George Okeowo	15.00	56
41	Ben Chen	15.00	11217
42	Andys	15.00	25739
43	T. Capote	15.00	32628
44	Mark Fillmore	15.01	13
45	Mike Hawk	15.01	13673
46	Absurdity	15.01	28624
47	LilThug	15.01	73987
48	cat	15.01	26
49	0108	15.01	477
50	Yacob Y.	15.01	5503
51	Mickey Mouse	15.01	92170
52	BMJ	15.01	93364
53	bchouSolver	15.01	47
54	Jameh	15.01	3845
55	BH	15.01	53675
56	Deric Cheng	15.01	18188
57	Walter Little	15.01	41903
58	Solving For Clauses	15.01	20
59	AFC	15.01	52
60	EC	15.01	5984
61	Sabar Dasgupta	15.01	1747
62	burrito	15.01	509
63	Valya Barboy	15.01	25873
64	Linda	15.01	11253
65	soccer	15.01	45015
66	Janie Gu	15.01	10935
67	Keji Xu	15.02	18
68	Samuel Jerome	15.02	88985
69	Cam Porter	15.02	96613
70	kt4124	15.02	34196
71	K.L.	15.02	212195
72	Aaron H	15.02	83891
73	Charlie Shucheng Zhu	15.03	21765
74	snowflakes	15.03	46171
75	Blam	15.03	73264
76	Ytterbium	15.03	44498
77	weezy	15.03	80771
78	The Kraken	15.04	105
79	An Extremely Ordinary Sloth	15.04	86425
80	Mike Honcho	15.04	56
81	Joel Faron	15.05	55
82	Tree Prophet	15.07	51
83	David H.	15.07	82524
84	Anon_K_P	15.08	85335
85	Brendan Wright	15.09	55
86	Boomshanka	15.09	107563
87	Tiny Wings	15.12	101664
88	Sunny	15.13	32
89	RedOrangeBlue	15.18	56
90	DeeEmEm	15.18	0
91	jabreezy	15.20	56
92	Glenn Fisher	15.24	6
93	John Whelchel	15.27	0
94	Qinlan Shen	20.47	103346
95	David Lackey	22.63	105700
96	Jessie Chen	23.71	114741
97	Bob Dondero	24.71	106267
98	Bebe Shi	24.74	106569
99	Miranda	25.04	108259
100	Shaheed Chagani	25.26	50
101	dfshasdsf12	25.65	56
102	Alex Fish	26.12	116715
103	TSATTER	26.21	104592
104	Gewang	26.44	123641
105	cmF5a3ly	27.70	112441
106	SuperFan	29.06	96945
107	Yan Wu	33.98	0
108	cjt	37.50	107469
109	Fanny	45.81	56
110	David Paulk	-	-
111	Dr Roberto	-	-
112	Tom T	-	-
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist