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

	Solver	Time taken	Unsat
1	Aristotle	0.07	0
2	David H.	0.07	0
3	Absurdity	0.07	0
4	snowflakes	0.08	0
5	ModifiedWalkSatBreakZero	0.08	0
6	Glenn Fisher	0.09	0
7	dusty	0.09	0
8	Nihar the Great	0.09	0
9	jgs	0.09	0
10	Aaron Doll	0.09	0
11	Shaheed Chagani	0.10	0
12	Andrew Grasso	0.10	0
13	spl	0.10	0
14	Andrew Werner	0.12	0
15	Tao	0.12	0
16	CookieMonster	0.14	0
17	Lisa Kim	0.14	0
18	Janie Gu	0.15	0
19	dfshasdsf12	0.17	0
20	Jonathan Kwok	0.17	0
21	Sprt	0.17	0
22	Matt Haake	0.17	0
23	NA	0.17	0
24	BH	0.18	0
25	Yan Wu	0.19	0
26	Charlie Shucheng Zhu	0.20	0
27	Sabar Dasgupta	0.20	0
28	Walter Little	0.26	0
29	Anon5	0.27	0
30	Mike Honcho	0.29	0
31	Aaron H	0.30	0
32	John Whelchel	0.33	0
33	EC	0.38	0
34	Ben Chen	0.41	0
35	Matt Goldsmith	0.43	0
36	vhsiao	0.44	0
37	Quite Satisfied	0.47	0
38	Joshua Zimmer	0.48	0
39	Andys	0.49	0
40	Mr. Blobby	0.49	0
41	AFC	0.51	0
42	Fanny	0.56	0
43	Yacob Y.	0.65	0
44	An Extremely Ordinary Sloth	0.66	0
45	Mike Hawk	0.76	0
46	KingBach	0.90	0
47	Deric Cheng	0.96	0
48	Valya Barboy	0.99	0
49	burrito	1.05	0
50	bigwig	1.06	0
51	Mercury	1.27	0
52	13a	1.94	0
53	0108	2.35	0
54	Alex Fish	2.74	0
55	David Lackey	3.48	0
56	Solving For Clauses	4.30	0
57	Tiny Wings	4.93	0
58	Keji Xu	5.83	0
59	Mark Fillmore	8.05	0
60	Nikhilesh Sigatapu	8.44	0
61	Linda	8.96	0
62	Tom T	9.19	0
63	Gewang	9.80	0
64	HashTagAlreadyFallBreak	14.03	0
65	Bar Shabtai	15.00	1
66	Samuel Jerome	15.00	1
67	CAPS LOCK	13.00	1
68	bfang	15.00	1
69	R. A. B.	9.00	2
70	Joel Faron	15.00	3
71	Brendan Wright	15.00	3
72	Dr Roberto	14.99	3
73	haoyu	14.99	3
74	The Whitman Whale	15.00	3
75	T. Capote	15.00	5
76	ebp	14.99	5
77	bchouSolver	15.00	6
78	soccer	15.00	7
79	Green "The Bean" Choi	15.00	14
80	George Okeowo	0.19	20
81	Elphaba	0.06	20
82	RedOrangeBlue	14.99	22
83	BMJ	15.00	172
84	Boomshanka	15.00	234
85	Cam Porter	15.00	1062
86	Supahaka	12.05	1424
87	cat	14.99	1909
88	Ytterbium	15.00	1
89	Jameh	15.00	1
90	LilThug	15.00	3
91	Tree Prophet	15.00	4
92	weezy	15.00	5
93	DeeEmEm	15.00	6
94	Ravi Tandon	15.00	6
95	kt4124	15.00	9
96	Blam	15.00	12
97	Happy	15.00	18
98	Khoa	15.00	20
99	Sat Solver 2013	15.00	237
100	Mickey Mouse	15.00	1353
101	Bob Dondero	15.00	1512
102	Bebe Shi	15.00	2
103	Anon_K_P	15.00	2
104	Sally Smith	15.00	7
105	SuperFan	15.01	1376
106	cmF5a3ly	15.01	1607
107	Jessie Chen	15.01	7
108	TSATTER	15.02	1976
109	Sunny	15.03	20
110	Qinlan Shen	15.08	1205
111	The Kraken	15.40	26
112	Jordan Ash	16.43	6
113	cjt	22.50	6
114	David Paulk	32.45	0
115	K.L.	-	-
116	jabreezy	-	-
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist