Stats for formula: Jameh-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 Jameh-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Jameh-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:	Jameh-0
Rank of generator:	66 / 114
Average score:	3.20
Median score:	0.07
Best solver:	haoyu
Description:	Generates satisfiability problems faced by the Sorting Hat of Hogwarts School of Witchcraft and Wizardry. Sorts a number of students into the four houses: Gryffindor, Hufflepuff, Ravenclaw and Slytherin.

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

SatSolvers Ranklist

Generators Ranklist