Stats for formula: John Whelchel-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 John Whelchel-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf John Whelchel-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:	John Whelchel-1
Rank of generator:	21 / 114
Average score:	12.49
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.11	0
2	Aristotle	0.39	0
3	dusty	0.41	0
4	Matt Goldsmith	0.45	0
5	spl	0.50	0
6	Aaron Doll	0.92	0
7	ModifiedWalkSatBreakZero	1.36	0
8	Matt Haake	1.43	0
9	Ben Chen	1.60	0
10	Jonathan Kwok	1.73	0
11	KingBach	1.84	0
12	CookieMonster	1.87	0
13	Shaheed Chagani	2.39	0
14	DeeEmEm	2.63	0
15	John Whelchel	2.99	0
16	dfshasdsf12	3.95	0
17	Fanny	4.27	0
18	David H.	6.03	0
19	Tao	6.27	0
20	Tree Prophet	7.75	0
21	BH	7.97	0
22	Andys	9.71	0
23	Sabar Dasgupta	11.35	0
24	NA	11.64	0
25	Mike Honcho	12.63	0
26	Andrew Werner	12.97	0
27	Walter Little	13.64	0
28	jgs	14.98	1
29	13a	15.00	1
30	vhsiao	14.99	4
31	CAPS LOCK	13.00	6
32	HashTagAlreadyFallBreak	15.00	11
33	Dr Roberto	15.00	15
34	bigwig	15.00	19
35	Joel Faron	15.00	24
36	cat	15.00	25
37	ebp	14.99	39
38	George Okeowo	10.74	40
39	Elphaba	0.14	55
40	BMJ	15.00	15553
41	R. A. B.	9.01	15626
42	Cam Porter	15.00	15697
43	K.L.	15.00	124517
44	Ytterbium	15.00	2
45	Jameh	15.00	4
46	Lisa Kim	15.00	4
47	AFC	15.00	4
48	Solving For Clauses	15.00	5
49	Mark Fillmore	15.00	6
50	Valya Barboy	15.00	7
51	Linda	15.00	12
52	Quite Satisfied	15.00	18
53	Nikhilesh Sigatapu	15.00	27
54	Happy	15.00	39
55	weezy	15.00	3195
56	Supahaka	15.00	16336
57	bfang	15.00	26637
58	Mickey Mouse	15.00	31938
59	Joshua Zimmer	15.00	1
60	snowflakes	15.00	2
61	Janie Gu	15.00	2
62	Glenn Fisher	15.00	3
63	Blam	15.00	25
64	Sat Solver 2013	15.00	1509
65	Tiny Wings	15.00	14602
66	LilThug	15.00	2
67	soccer	15.00	15
68	bchouSolver	15.00	27
69	Brendan Wright	15.00	40
70	Aaron H	15.00	5
71	Boomshanka	15.00	19815
72	Ravi Tandon	15.01	24
73	Samuel Jerome	15.01	18641
74	An Extremely Ordinary Sloth	15.01	3
75	Nihar the Great	15.01	7
76	Mr. Blobby	15.01	6
77	burrito	15.01	8
78	Green "The Bean" Choi	15.01	19
79	Mercury	15.01	2
80	T. Capote	15.02	12
81	kt4124	15.02	20
82	Anon5	15.02	1
83	Yacob Y.	15.02	2
84	Sprt	15.02	1
85	Andrew Grasso	15.02	2
86	Absurdity	15.02	2
87	Charlie Shucheng Zhu	15.02	2
88	0108	15.03	4
89	RedOrangeBlue	15.03	40
90	Khoa	15.03	40
91	Deric Cheng	15.04	1
92	EC	15.05	3
93	Anon_K_P	15.05	1720
94	Mike Hawk	15.11	1
95	The Kraken	15.13	35
96	Alex Fish	15.24	32169
97	Sunny	15.38	21
98	Bebe Shi	15.51	30692
99	Jessie Chen	15.61	29763
100	Qinlan Shen	15.70	32410
101	Gewang	16.14	30769
102	Bob Dondero	16.91	16286
103	SuperFan	17.20	27985
104	cmF5a3ly	17.45	30315
105	David Lackey	17.57	29074
106	TSATTER	18.22	31889
107	Keji Xu	19.47	25
108	cjt	22.50	29674
109	Yan Wu	26.03	0
110	Tom T	27.82	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