Stats for formula: John Whelchel-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 John Whelchel-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf John Whelchel-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:	John Whelchel-0
Rank of generator:	21 / 114
Average score:	10.32
Median score:	15.00
Best solver:	haoyu
Description:	This CNF generator returns a CNF that describes the course registrar problem; that is, where should each class be taught based on classroom sizes and times of day. The default values are for a small school, i.e. 5 classrooms and 40 classes, spread across 8 class times during the week. Larger problems demand much larger times to process.

	Solver	Time taken	Unsat
1	haoyu	0.06	0
2	Aristotle	0.26	0
3	Aaron Doll	0.27	0
4	dusty	0.35	0
5	Matt Goldsmith	0.39	0
6	spl	0.39	0
7	Matt Haake	0.70	0
8	CookieMonster	0.92	0
9	Jonathan Kwok	0.98	0
10	ModifiedWalkSatBreakZero	1.06	0
11	Green "The Bean" Choi	1.69	0
12	KingBach	1.95	0
13	Mercury	2.02	0
14	Shaheed Chagani	2.20	0
15	Ben Chen	2.25	0
16	Charlie Shucheng Zhu	2.49	0
17	DeeEmEm	2.78	0
18	Dr Roberto	2.88	0
19	John Whelchel	3.13	0
20	dfshasdsf12	3.31	0
21	Janie Gu	4.00	0
22	Mr. Blobby	4.46	0
23	Tao	4.50	0
24	jgs	4.56	0
25	Glenn Fisher	4.62	0
26	Fanny	4.82	0
27	Deric Cheng	4.85	0
28	Yan Wu	4.87	0
29	13a	4.99	0
30	burrito	5.26	0
31	David H.	5.26	0
32	BH	5.44	0
33	Absurdity	5.71	0
34	Sprt	6.19	0
35	Quite Satisfied	6.69	0
36	Yacob Y.	6.90	0
37	LilThug	6.91	0
38	Walter Little	6.94	0
39	NA	7.37	0
40	Joshua Zimmer	7.41	0
41	Andrew Werner	7.76	0
42	Mark Fillmore	7.88	0
43	vhsiao	8.10	0
44	Tree Prophet	8.31	0
45	Andys	8.35	0
46	Anon5	8.98	0
47	Mike Honcho	9.27	0
48	An Extremely Ordinary Sloth	9.51	0
49	EC	12.81	0
50	Anon_K_P	13.16	0
51	HashTagAlreadyFallBreak	14.42	0
52	Joel Faron	14.61	0
53	snowflakes	14.78	0
54	CAPS LOCK	13.00	2
55	bigwig	15.00	16
56	ebp	15.00	39
57	George Okeowo	7.75	40
58	Elphaba	0.14	43
59	R. A. B.	9.00	3982
60	Cam Porter	15.00	16844
61	bfang	15.00	26698
62	Valya Barboy	15.00	1
63	Jameh	15.00	1
64	Solving For Clauses	15.00	2
65	AFC	15.00	2
66	soccer	15.00	24
67	Samuel Jerome	15.00	9712
68	BMJ	15.00	18190
69	Mickey Mouse	15.00	28914
70	Lisa Kim	15.00	3
71	Linda	15.00	4
72	T. Capote	15.00	6
73	Happy	15.00	40
74	Sat Solver 2013	15.00	1686
75	Nihar the Great	15.00	2
76	bchouSolver	15.00	20
77	Ravi Tandon	15.00	24
78	cat	15.00	25
79	weezy	15.00	4578
80	Boomshanka	15.00	11239
81	Supahaka	15.00	20252
82	Mike Hawk	15.01	1
83	Nikhilesh Sigatapu	15.01	30
84	0108	15.01	0
85	Aaron H	15.02	9
86	Tiny Wings	15.03	14669
87	Khoa	15.03	40
88	kt4124	15.03	10
89	Andrew Grasso	15.03	1
90	Ytterbium	15.05	4
91	Brendan Wright	15.05	40
92	K.L.	15.05	120054
93	RedOrangeBlue	15.06	40
94	Blam	15.06	23
95	Sabar Dasgupta	15.06	1
96	Qinlan Shen	15.12	33442
97	Bob Dondero	15.15	19126
98	David Lackey	15.28	26775
99	The Kraken	15.38	25
100	SuperFan	15.44	28201
101	Gewang	15.47	31321
102	Bebe Shi	15.99	31503
103	cmF5a3ly	16.57	30105
104	Sunny	16.63	10
105	Alex Fish	16.69	30329
106	Jessie Chen	16.76	31792
107	TSATTER	18.24	29776
108	Keji Xu	18.26	22
109	cjt	22.50	31101
110	Tom T	27.25	40
111	David Paulk	-	-
112	jabreezy	-	-
113	Miranda	-	-
114	Jordan Ash	-	-
115	The Whitman Whale	-	-
116	Bar Shabtai	-	-
117	Igor	-	-
118	Sally Smith	-	-

SatSolvers Ranklist

Generators Ranklist