Stats for formula: Gewang-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 Gewang-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Gewang-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:	Gewang-0
Rank of generator:	83 / 114
Average score:	1.65
Median score:	0.02
Best solver:	Jonathan Kwok
Description:	The generator is built from a problem of finding a path through a graph.

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

SatSolvers Ranklist

Generators Ranklist