Stats for formula: Tao-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 Tao-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Tao-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:	Tao-0
Rank of generator:	41 / 114
Average score:	7.30
Median score:	5.62
Best solver:	Bar Shabtai
Description:	It generates an instance of the wedding problem. All instances are satisfiable.

	Solver	Time taken	Unsat
1	Bar Shabtai	0.02	0
2	Jonathan Kwok	0.05	0
3	Andrew Grasso	0.05	0
4	Glenn Fisher	0.06	0
5	Aristotle	0.07	0
6	ModifiedWalkSatBreakZero	0.08	0
7	dusty	0.08	0
8	Absurdity	0.09	0
9	Nihar the Great	0.11	0
10	spl	0.11	0
11	Mr. Blobby	0.11	0
12	Tao	0.12	0
13	Shaheed Chagani	0.13	0
14	David H.	0.14	0
15	dfshasdsf12	0.14	0
16	Yan Wu	0.14	0
17	jgs	0.15	0
18	Aaron Doll	0.15	0
19	Matt Haake	0.16	0
20	Deric Cheng	0.16	0
21	Andys	0.17	0
22	burrito	0.17	0
23	Ben Chen	0.18	0
24	BH	0.18	0
25	Andrew Werner	0.18	0
26	Charlie Shucheng Zhu	0.24	0
27	Mike Hawk	0.26	0
28	CookieMonster	0.26	0
29	Sabar Dasgupta	0.27	0
30	bigwig	0.28	0
31	Yacob Y.	0.28	0
32	Mike Honcho	0.29	0
33	Fanny	0.29	0
34	EC	0.31	0
35	NA	0.31	0
36	snowflakes	0.34	0
37	0108	0.36	0
38	Sprt	0.39	0
39	John Whelchel	0.43	0
40	Aaron H	0.43	0
41	Janie Gu	0.47	0
42	vhsiao	0.49	0
43	Lisa Kim	0.54	0
44	Anon5	0.68	0
45	Joshua Zimmer	0.70	0
46	Matt Goldsmith	0.72	0
47	Walter Little	0.76	0
48	KingBach	0.80	0
49	13a	1.53	0
50	An Extremely Ordinary Sloth	1.54	0
51	Boomshanka	1.61	0
52	AFC	1.84	0
53	Quite Satisfied	2.01	0
54	Jameh	2.07	0
55	Linda	4.13	0
56	Valya Barboy	4.21	0
57	HashTagAlreadyFallBreak	5.61	0
58	Tom T	5.64	0
59	Alex Fish	6.71	0
60	Solving For Clauses	6.73	0
61	soccer	7.56	0
62	Mercury	7.60	0
63	CAPS LOCK	7.92	0
64	Sunny	7.97	0
65	David Lackey	8.01	0
66	Tiny Wings	8.72	0
67	Brendan Wright	15.00	1
68	R. A. B.	9.00	1
69	Samuel Jerome	15.00	1
70	bfang	15.00	2
71	Joel Faron	15.00	3
72	The Whitman Whale	15.00	3
73	haoyu	14.99	4
74	ebp	14.99	4
75	bchouSolver	15.00	5
76	T. Capote	15.00	9
77	Dr Roberto	14.99	10
78	Nikhilesh Sigatapu	15.00	11
79	Green "The Bean" Choi	15.00	12
80	RedOrangeBlue	14.99	19
81	George Okeowo	0.20	20
82	Elphaba	0.05	26
83	BMJ	15.00	154
84	Cam Porter	15.00	1117
85	Supahaka	3.70	1176
86	cat	14.99	2230
87	K.L.	15.00	6879
88	Ytterbium	15.00	1
89	Mark Fillmore	15.00	1
90	Tree Prophet	15.00	3
91	LilThug	15.00	4
92	kt4124	15.00	7
93	weezy	15.00	8
94	Ravi Tandon	15.00	8
95	Blam	15.00	13
96	Happy	15.00	17
97	Khoa	15.00	20
98	Sat Solver 2013	15.00	299
99	Mickey Mouse	15.00	1490
100	DeeEmEm	15.00	3
101	Anon_K_P	15.01	73
102	Bebe Shi	15.01	2
103	Sally Smith	15.01	4
104	Bob Dondero	15.01	1310
105	Jessie Chen	15.01	7
106	cmF5a3ly	15.01	1826
107	Keji Xu	15.01	5
108	TSATTER	15.02	2156
109	Gewang	15.03	1
110	SuperFan	15.04	1410
111	Qinlan Shen	15.08	1147
112	The Kraken	16.57	18
113	Jordan Ash	17.04	7
114	cjt	22.50	13
115	David Paulk	26.48	0
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist