Stats for formula: soccer-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 soccer-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf soccer-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:	soccer-1
Rank of generator:	43 / 114
Average score:	7.06
Median score:	2.11
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.10	0
3	dusty	0.15	0
4	Aaron Doll	0.16	0
5	Jonathan Kwok	0.16	0
6	Bar Shabtai	0.17	0
7	spl	0.21	0
8	CookieMonster	0.22	0
9	Mercury	0.24	0
10	Matt Haake	0.28	0
11	ModifiedWalkSatBreakZero	0.28	0
12	Quite Satisfied	0.30	0
13	Shaheed Chagani	0.46	0
14	KingBach	0.47	0
15	David H.	0.55	0
16	dfshasdsf12	0.59	0
17	Tao	0.67	0
18	CAPS LOCK	0.68	0
19	jgs	0.75	0
20	HashTagAlreadyFallBreak	0.79	0
21	Keji Xu	0.85	0
22	Deric Cheng	0.86	0
23	EC	0.86	0
24	Andrew Grasso	0.89	0
25	Matt Goldsmith	0.91	0
26	Sprt	0.91	0
27	BH	0.92	0
28	Joshua Zimmer	1.00	0
29	DeeEmEm	1.02	0
30	13a	1.06	0
31	Mark Fillmore	1.06	0
32	Anon5	1.07	0
33	Yacob Y.	1.09	0
34	Charlie Shucheng Zhu	1.10	0
35	Sabar Dasgupta	1.11	0
36	Aaron H	1.16	0
37	Tree Prophet	1.17	0
38	snowflakes	1.22	0
39	Mike Honcho	1.24	0
40	Solving For Clauses	1.29	0
41	Jameh	1.32	0
42	soccer	1.33	0
43	NA	1.39	0
44	Andys	1.39	0
45	Mr. Blobby	1.40	0
46	vhsiao	1.44	0
47	Valya Barboy	1.48	0
48	Yan Wu	1.50	0
49	Glenn Fisher	1.59	0
50	Andrew Werner	1.69	0
51	Absurdity	1.73	0
52	Mike Hawk	1.76	0
53	John Whelchel	1.79	0
54	Linda	1.88	0
55	Lisa Kim	1.93	0
56	Ben Chen	2.03	0
57	0108	2.11	0
58	Walter Little	2.19	0
59	Janie Gu	2.27	0
60	David Paulk	2.44	0
61	burrito	2.63	0
62	Fanny	2.65	0
63	An Extremely Ordinary Sloth	4.97	0
64	The Whitman Whale	5.61	0
65	LilThug	6.46	0
66	Samuel Jerome	6.57	0
67	Brendan Wright	8.17	0
68	T. Capote	14.72	0
69	Dr Roberto	15.00	3
70	R. A. B.	9.00	3
71	Nikhilesh Sigatapu	15.00	4
72	Joel Faron	15.00	5
73	bigwig	15.00	10
74	bchouSolver	15.00	14
75	Boomshanka	1.49	16
76	Green "The Bean" Choi	15.00	22
77	Elphaba	0.13	28
78	RedOrangeBlue	15.00	31
79	George Okeowo	0.97	32
80	Sunny	14.94	32
81	cat	14.99	2092
82	Cam Porter	15.00	4119
83	BMJ	15.00	5198
84	kt4124	15.00	11
85	Ravi Tandon	15.00	11
86	Blam	15.00	12
87	AFC	15.00	20
88	Happy	15.00	24
89	weezy	15.00	43
90	Anon_K_P	15.00	4370
91	bfang	15.00	4832
92	Supahaka	15.00	5795
93	Mickey Mouse	15.00	7836
94	Nihar the Great	15.00	2
95	Sat Solver 2013	15.00	459
96	K.L.	15.00	16422
97	Tiny Wings	15.00	9
98	Ytterbium	15.00	4
99	Khoa	15.01	32
100	The Kraken	15.01	4510
101	TSATTER	15.01	7794
102	Sally Smith	15.02	1126
103	Jessie Chen	15.03	6490
104	cmF5a3ly	15.03	5545
105	Alex Fish	15.04	4615
106	SuperFan	15.06	7060
107	Bebe Shi	15.20	6117
108	Tom T	15.20	1
109	David Lackey	15.23	5084
110	Gewang	15.29	5516
111	Bob Dondero	15.32	7242
112	Qinlan Shen	17.52	7264
113	cjt	22.50	2874
114	Jordan Ash	88.28	32
115	jabreezy	-	-
116	Miranda	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist