Stats for formula: haoyu-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 haoyu-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf haoyu-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:	haoyu-0
Rank of generator:	70 / 114
Average score:	3.23
Median score:	0.04
Best solver:	KingBach
Description:	Solve the ordering reagents problem for chemical experiments.

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

SatSolvers Ranklist

Generators Ranklist