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

SatSolvers Ranklist

Generators Ranklist