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

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

SatSolvers Ranklist

Generators Ranklist