Stats for formula: Bebe Shi-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 Bebe Shi-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Bebe Shi-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:	Bebe Shi-1
Rank of generator:	96 / 114
Average score:	0.60
Median score:	0.01
Best solver:	KingBach
Description:	Generates a cnf formula that represents an instance of the Hamiltonian Path problem.

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

SatSolvers Ranklist

Generators Ranklist