Stats for formula: soccer-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 soccer-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf soccer-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:	soccer-0
Rank of generator:	43 / 114
Average score:	6.65
Median score:	1.77
Best solver:	haoyu
Description:	This generator produces a random SAT problem that findsthe topological ordering of a directed graph's vertices. In orderto ensure that a satisfiable instance is always produced, the random graph produced is always a directed acyclic graph, which always has a topological ordering.

	Solver	Time taken	Unsat
1	haoyu	0.04	0
2	Aristotle	0.13	0
3	dusty	0.14	0
4	Bar Shabtai	0.15	0
5	Aaron Doll	0.17	0
6	Jonathan Kwok	0.17	0
7	spl	0.21	0
8	CookieMonster	0.22	0
9	Mercury	0.25	0
10	Quite Satisfied	0.25	0
11	Andrew Grasso	0.26	0
12	Matt Haake	0.29	0
13	ModifiedWalkSatBreakZero	0.33	0
14	Mark Fillmore	0.37	0
15	John Whelchel	0.37	0
16	Matt Goldsmith	0.40	0
17	Solving For Clauses	0.44	0
18	Keji Xu	0.46	0
19	Shaheed Chagani	0.49	0
20	Linda	0.53	0
21	Jameh	0.55	0
22	David H.	0.60	0
23	Charlie Shucheng Zhu	0.62	0
24	Yacob Y.	0.70	0
25	Mike Hawk	0.72	0
26	Andys	0.74	0
27	burrito	0.77	0
28	BH	0.82	0
29	Sprt	0.83	0
30	soccer	0.83	0
31	snowflakes	0.88	0
32	Ben Chen	0.89	0
33	dfshasdsf12	0.90	0
34	Glenn Fisher	0.90	0
35	NA	0.90	0
36	KingBach	0.91	0
37	CAPS LOCK	0.93	0
38	Tao	0.94	0
39	Anon5	0.95	0
40	Joshua Zimmer	0.97	0
41	13a	0.99	0
42	DeeEmEm	1.00	0
43	Aaron H	1.19	0
44	Tree Prophet	1.26	0
45	EC	1.32	0
46	Yan Wu	1.32	0
47	David Paulk	1.44	0
48	vhsiao	1.46	0
49	Walter Little	1.48	0
50	Deric Cheng	1.49	0
51	Mike Honcho	1.52	0
52	Sabar Dasgupta	1.58	0
53	Mr. Blobby	1.65	0
54	Fanny	1.70	0
55	jgs	1.71	0
56	0108	1.75	0
57	Janie Gu	1.77	0
58	Andrew Werner	1.84	0
59	HashTagAlreadyFallBreak	1.87	0
60	Absurdity	2.17	0
61	Khoa	2.65	0
62	Joel Faron	2.71	0
63	An Extremely Ordinary Sloth	2.85	0
64	Lisa Kim	3.47	0
65	Valya Barboy	4.19	0
66	Blam	4.72	0
67	T. Capote	4.78	0
68	The Whitman Whale	5.75	0
69	LilThug	6.27	0
70	Brendan Wright	8.71	0
71	R. A. B.	9.00	1
72	Dr Roberto	15.00	2
73	Nikhilesh Sigatapu	15.00	3
74	bigwig	15.00	8
75	Boomshanka	1.20	13
76	Green "The Bean" Choi	15.00	14
77	bchouSolver	15.00	14
78	RedOrangeBlue	14.99	29
79	Elphaba	0.11	31
80	George Okeowo	0.91	32
81	cat	14.99	433
82	Cam Porter	15.00	4075
83	BMJ	15.00	4879
84	bfang	15.00	4882
85	K.L.	15.00	16796
86	Nihar the Great	15.00	1
87	Ravi Tandon	15.00	10
88	AFC	15.00	19
89	Happy	15.00	23
90	weezy	15.00	34
91	Sally Smith	15.00	1098
92	Supahaka	15.00	5705
93	Mickey Mouse	15.00	6638
94	Samuel Jerome	15.00	3
95	Sat Solver 2013	15.00	604
96	Anon_K_P	15.00	4951
97	kt4124	15.01	5
98	The Kraken	15.01	3904
99	Tiny Wings	15.01	45
100	Ytterbium	15.01	3
101	Bebe Shi	15.02	4863
102	Gewang	15.12	6211
103	cmF5a3ly	15.16	6354
104	Sunny	15.23	19
105	Jessie Chen	15.27	5573
106	David Lackey	15.28	4582
107	TSATTER	15.29	7153
108	Alex Fish	15.31	5122
109	Bob Dondero	15.34	6609
110	SuperFan	15.39	7030
111	Qinlan Shen	16.65	7163
112	Tom T	18.42	2
113	cjt	22.50	2452
114	Jordan Ash	98.36	32
115	jabreezy	-	-
116	Miranda	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist