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

SatSolvers Ranklist

Generators Ranklist