Stats for formula: Andys-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 Andys-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Andys-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:	Andys-1
Rank of generator:	15 / 114
Average score:	12.27
Median score:	15.00
Best solver:	Aristotle
Description:	Wedding party planner

	Solver	Time taken	Unsat
1	Aristotle	0.13	0
2	Aaron Doll	0.52	0
3	dusty	0.54	0
4	spl	0.55	0
5	CookieMonster	0.81	0
6	Matt Haake	1.19	0
7	ModifiedWalkSatBreakZero	1.42	0
8	vhsiao	2.28	0
9	Shaheed Chagani	2.35	0
10	Nihar the Great	2.82	0
11	dfshasdsf12	3.85	0
12	BH	3.96	0
13	snowflakes	4.05	0
14	Lisa Kim	4.56	0
15	0108	5.18	0
16	Jonathan Kwok	5.26	0
17	David H.	5.54	0
18	Janie Gu	5.57	0
19	Absurdity	5.90	0
20	NA	6.12	0
21	EC	6.29	0
22	Valya Barboy	6.45	0
23	Mike Honcho	6.94	0
24	Yan Wu	7.27	0
25	Deric Cheng	7.95	0
26	Glenn Fisher	8.17	0
27	Joshua Zimmer	9.14	0
28	Andys	9.57	0
29	Sabar Dasgupta	10.41	0
30	Anon5	11.12	0
31	Ben Chen	13.33	0
32	jgs	14.98	1
33	Andrew Grasso	15.00	1
34	Tao	15.00	5
35	13a	15.00	13
36	CAPS LOCK	13.00	20
37	cat	15.00	22
38	Nikhilesh Sigatapu	15.00	24
39	Joel Faron	15.00	29
40	Dr Roberto	14.99	29
41	ebp	14.99	30
42	bigwig	15.00	33
43	HashTagAlreadyFallBreak	15.00	33
44	T. Capote	15.00	34
45	George Okeowo	8.56	35
46	Elphaba	0.15	35
47	Matt Goldsmith	15.00	48
48	R. A. B.	9.00	5632
49	BMJ	15.00	19751
50	Samuel Jerome	15.00	12
51	Mark Fillmore	15.00	19
52	bchouSolver	15.00	24
53	Quite Satisfied	15.00	26
54	Linda	15.00	27
55	Ravi Tandon	15.00	27
56	Blam	15.00	30
57	Happy	15.00	34
58	weezy	15.00	2254
59	Cam Porter	15.00	19276
60	Mickey Mouse	15.00	23239
61	Mr. Blobby	15.00	2
62	Aaron H	15.00	11
63	Jameh	15.00	19
64	Green "The Bean" Choi	15.00	33
65	Andrew Werner	15.00	1
66	soccer	15.00	37
67	Sat Solver 2013	15.00	1971
68	Supahaka	15.00	21898
69	Fanny	15.00	1
70	John Whelchel	15.00	6
71	AFC	15.00	10
72	K.L.	15.00	126970
73	Yacob Y.	15.01	6
74	Walter Little	15.01	9
75	bfang	15.01	22276
76	haoyu	15.01	17
77	Tree Prophet	15.01	30
78	Anon_K_P	15.01	21480
79	An Extremely Ordinary Sloth	15.01	10
80	Boomshanka	15.02	20681
81	Ytterbium	15.02	6
82	Sprt	15.02	4
83	kt4124	15.02	41
84	RedOrangeBlue	15.02	35
85	Bar Shabtai	15.02	22
86	Solving For Clauses	15.02	21
87	jabreezy	15.02	35
88	Khoa	15.03	35
89	KingBach	15.03	5
90	Mike Hawk	15.03	1
91	Charlie Shucheng Zhu	15.04	12
92	Mercury	15.04	15
93	Brendan Wright	15.04	34
94	burrito	15.05	19
95	LilThug	15.06	10
96	DeeEmEm	15.06	9
97	Tiny Wings	15.09	17742
98	Bob Dondero	15.10	30041
99	The Kraken	15.10	69
100	SuperFan	15.53	27170
101	Gewang	15.72	31684
102	Jessie Chen	16.02	30519
103	Alex Fish	16.07	28061
104	Bebe Shi	16.10	28800
105	Sunny	16.16	17
106	cmF5a3ly	16.91	32871
107	Keji Xu	17.11	24
108	David Lackey	17.39	31756
109	TSATTER	18.54	29578
110	cjt	22.50	31278
111	Qinlan Shen	25.30	29453
112	Tom T	35.53	35
113	David Paulk	-	-
114	Miranda	-	-
115	Jordan Ash	-	-
116	The Whitman Whale	-	-
117	Igor	-	-
118	Sally Smith	-	-

SatSolvers Ranklist

Generators Ranklist