Stats for formula: SuperFan-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 SuperFan-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf SuperFan-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:	SuperFan-0
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.00
Best solver:	jgs
Description:	This generator generates an instance of a problem of the 'Flow' game. The game has a grid, and various different colored pairs of start points, and the object is to make paths connecting each pair of points. The puzzles generated are not always solvable.

	Solver	Time taken	Unsat
1	jgs	14.98	4
2	NA	14.99	4
3	Andrew Werner	15.00	4
4	Andrew Grasso	15.00	4
5	Aristotle	15.00	4
6	Tao	15.00	4
7	spl	15.00	4
8	Mercury	15.00	6
9	13a	15.00	6
10	ModifiedWalkSatBreakZero	15.00	6
11	CAPS LOCK	13.00	7
12	CookieMonster	15.00	8
13	Joel Faron	1.20	9
14	John Whelchel	15.00	11
15	Matt Goldsmith	15.00	11
16	Glenn Fisher	15.00	12
17	Samuel Jerome	15.00	12
18	HashTagAlreadyFallBreak	15.00	12
19	snowflakes	15.00	13
20	R. A. B.	9.00	13
21	vhsiao	14.98	16
22	haoyu	14.99	18
23	Janie Gu	15.00	19
24	T. Capote	15.00	22
25	soccer	15.00	22
26	bfang	15.00	27
27	Boomshanka	15.00	29
28	DeeEmEm	0.31	31
29	bchouSolver	15.00	31
30	Nikhilesh Sigatapu	0.55	34
31	Dr Roberto	0.28	36
32	The Whitman Whale	0.29	43
33	Brendan Wright	0.25	44
34	Tree Prophet	0.04	44
35	Elphaba	0.01	52
36	bigwig	15.00	53
37	RedOrangeBlue	14.99	62
38	Green "The Bean" Choi	0.11	70
39	George Okeowo	0.06	75
40	The Kraken	15.00	80
41	Cam Porter	15.00	94
42	Supahaka	0.13	119
43	cat	14.99	145
44	BMJ	15.00	159
45	Anon_K_P	0.18	169
46	K.L.	15.00	357
47	Qinlan Shen	15.00	4
48	Matt Haake	15.00	4
49	KingBach	15.00	4
50	Aaron H	15.00	4
51	dfshasdsf12	15.00	4
52	Mike Honcho	15.00	4
53	Andys	15.00	4
54	Valya Barboy	15.00	4
55	Mr. Blobby	15.00	4
56	Sabar Dasgupta	15.00	4
57	BH	15.00	4
58	dusty	15.00	4
59	Jonathan Kwok	15.00	4
60	Mike Hawk	15.00	4
61	Joshua Zimmer	15.00	4
62	Deric Cheng	15.00	4
63	Sprt	15.00	4
64	Ben Chen	15.00	4
65	Anon5	15.00	4
66	Fanny	15.00	5
67	Ytterbium	15.00	5
68	Mark Fillmore	15.00	6
69	Jameh	15.00	8
70	Solving For Clauses	15.00	8
71	Shaheed Chagani	15.00	9
72	Yacob Y.	15.00	9
73	Tiny Wings	15.00	9
74	An Extremely Ordinary Sloth	15.00	10
75	Nihar the Great	15.00	10
76	Aaron Doll	15.00	10
77	cmF5a3ly	15.00	10
78	Walter Little	15.00	11
79	Alex Fish	15.00	12
80	Lisa Kim	15.00	13
81	EC	15.00	13
82	Absurdity	15.00	14
83	Happy	15.00	15
84	Quite Satisfied	15.00	15
85	0108	15.00	21
86	LilThug	15.00	23
87	Ravi Tandon	15.00	24
88	burrito	15.00	27
89	Keji Xu	15.00	28
90	AFC	15.00	28
91	Sally Smith	15.00	28
92	Linda	15.00	29
93	Jessie Chen	15.00	31
94	weezy	15.00	36
95	kt4124	15.00	36
96	Blam	15.00	41
97	Bob Dondero	15.00	47
98	Khoa	15.00	75
99	Sat Solver 2013	15.00	117
100	Mickey Mouse	15.00	130
101	David H.	15.00	150
102	Gewang	15.00	6
103	SuperFan	15.00	11
104	David Lackey	15.00	13
105	Miranda	15.00	17
106	Bebe Shi	15.00	18
107	TSATTER	15.00	200
108	Jordan Ash	15.44	75
109	cjt	16.26	25
110	Tom T	16.31	5
111	Yan Wu	18.00	12
112	Charlie Shucheng Zhu	22.50	4
113	David Paulk	-	-
114	jabreezy	-	-
115	Sunny	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist