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

	Solver	Time taken	Unsat
1	Aristotle	0.12	0
2	Aaron Doll	0.20	0
3	dusty	0.45	0
4	spl	0.52	0
5	CookieMonster	0.71	0
6	Matt Haake	0.79	0
7	ModifiedWalkSatBreakZero	1.40	0
8	Nihar the Great	2.19	0
9	Jonathan Kwok	2.25	0
10	Shaheed Chagani	2.61	0
11	dfshasdsf12	2.84	0
12	Absurdity	3.05	0
13	Deric Cheng	4.95	0
14	Joshua Zimmer	5.06	0
15	BH	5.24	0
16	Andys	5.33	0
17	David H.	5.43	0
18	Ben Chen	5.51	0
19	Janie Gu	5.58	0
20	snowflakes	5.79	0
21	Sprt	6.62	0
22	Mike Honcho	7.42	0
23	Walter Little	8.56	0
24	Yan Wu	8.68	0
25	Tao	8.80	0
26	Andrew Werner	9.89	0
27	Glenn Fisher	10.11	0
28	Mike Hawk	10.34	0
29	jgs	10.46	0
30	Mr. Blobby	11.74	0
31	vhsiao	12.74	0
32	Fanny	13.55	0
33	NA	14.04	0
34	Yacob Y.	14.20	0
35	13a	15.00	12
36	Joel Faron	15.00	18
37	CAPS LOCK	13.00	19
38	cat	15.00	22
39	Dr Roberto	15.00	26
40	Nikhilesh Sigatapu	15.00	26
41	HashTagAlreadyFallBreak	15.00	27
42	bigwig	15.00	28
43	ebp	14.99	30
44	T. Capote	15.00	33
45	soccer	15.00	33
46	Green "The Bean" Choi	15.00	34
47	George Okeowo	7.84	35
48	Matt Goldsmith	15.00	40
49	Elphaba	0.19	65
50	R. A. B.	9.00	2128
51	Cam Porter	15.00	18941
52	K.L.	15.00	125450
53	AFC	15.00	17
54	Mark Fillmore	15.00	17
55	Samuel Jerome	15.00	23
56	Linda	15.00	25
57	burrito	15.00	31
58	Quite Satisfied	15.00	31
59	Happy	15.00	33
60	weezy	15.00	2870
61	BMJ	15.00	17655
62	Supahaka	15.00	25415
63	Mickey Mouse	15.00	31097
64	Anon5	15.00	5
65	Jameh	15.00	20
66	Ravi Tandon	15.00	26
67	Brendan Wright	15.00	33
68	Bar Shabtai	15.00	21
69	bchouSolver	15.00	25
70	bfang	15.00	22628
71	DeeEmEm	15.01	16
72	Sat Solver 2013	15.01	1660
73	Aaron H	15.01	17
74	Khoa	15.01	35
75	KingBach	15.01	1
76	Tiny Wings	15.01	12275
77	haoyu	15.01	14
78	Anon_K_P	15.01	22814
79	Valya Barboy	15.01	1
80	Andrew Grasso	15.01	1
81	jabreezy	15.01	35
82	John Whelchel	15.02	1
83	Charlie Shucheng Zhu	15.02	17
84	kt4124	15.02	32
85	Blam	15.02	33
86	EC	15.02	2
87	Ytterbium	15.02	14
88	Tree Prophet	15.02	31
89	An Extremely Ordinary Sloth	15.03	15
90	Boomshanka	15.03	23144
91	Solving For Clauses	15.04	21
92	0108	15.04	15
93	RedOrangeBlue	15.04	35
94	Mercury	15.05	16
95	Sabar Dasgupta	15.06	4
96	LilThug	15.07	11
97	The Kraken	15.09	58
98	SuperFan	15.10	28732
99	Lisa Kim	15.11	16
100	TSATTER	15.19	30611
101	Bebe Shi	15.19	32839
102	Gewang	15.95	30468
103	Sunny	15.96	14
104	Qinlan Shen	16.06	32513
105	David Lackey	16.17	30063
106	Bob Dondero	16.33	30361
107	Jessie Chen	16.70	31348
108	Alex Fish	16.83	30535
109	Keji Xu	16.89	25
110	cmF5a3ly	19.02	33237
111	cjt	22.50	30876
112	Tom T	32.51	35
113	David Paulk	-	-
114	Miranda	-	-
115	Jordan Ash	-	-
116	The Whitman Whale	-	-
117	Igor	-	-
118	Sally Smith	-	-

SatSolvers Ranklist

Generators Ranklist