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

SatSolvers Ranklist

Generators Ranklist