Stats for formula: Nihar the Great-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 Nihar the Great-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Nihar the Great-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:	Nihar the Great-1
Rank of generator:	4 / 114
Average score:	13.74
Median score:	15.01
Best solver:	Aristotle
Description:	This generator generates a model of a class scheduler. The dimensions approximately model those at Princeton, with 5000 students signing up for 1000 classes in 15 spots (5 days a week, morning, afternoon, and evening). Each student is signed up for 4 classes, and no two classes can be at the same time. There is a random distribution of schedules.

	Solver	Time taken	Unsat
1	Aristotle	0.25	0
2	bigwig	0.57	0
3	Aaron Doll	0.78	0
4	dusty	2.00	0
5	vhsiao	2.09	0
6	spl	2.23	0
7	haoyu	3.29	0
8	Quite Satisfied	5.39	0
9	Matt Haake	6.28	0
10	CookieMonster	6.39	0
11	Nihar the Great	6.81	0
12	Green "The Bean" Choi	15.00	675
13	ebp	15.00	965
14	Tao	15.00	13946
15	CAPS LOCK	13.00	15534
16	jgs	14.99	17948
17	NA	15.00	19128
18	Glenn Fisher	15.00	20240
19	R. A. B.	9.01	25787
20	Ravi Tandon	15.00	19008
21	snowflakes	15.00	22012
22	EC	15.00	22842
23	Cam Porter	15.00	478339
24	Mike Honcho	15.00	1000
25	Lisa Kim	15.00	17317
26	Mr. Blobby	15.00	24502
27	13a	15.00	993
28	HashTagAlreadyFallBreak	15.00	15326
29	Yacob Y.	15.00	19183
30	Blam	15.00	23723
31	weezy	15.00	25501
32	bfang	15.00	66216
33	Valya Barboy	15.01	18317
34	Janie Gu	15.01	18494
35	0108	15.01	18566
36	burrito	15.01	18617
37	Solving For Clauses	15.01	15525
38	Sabar Dasgupta	15.01	17859
39	Supahaka	15.01	96350
40	Andrew Grasso	15.01	480
41	Bar Shabtai	15.01	668
42	bchouSolver	15.01	994
43	T. Capote	15.01	21558
44	Walter Little	15.01	21948
45	Mickey Mouse	15.01	140424
46	AFC	15.01	932
47	KingBach	15.01	20887
48	K.L.	15.01	480925
49	Linda	15.01	19037
50	Andys	15.01	22020
51	LilThug	15.01	23511
52	Andrew Werner	15.01	21630
53	Charlie Shucheng Zhu	15.01	23185
54	Brendan Wright	15.01	992
55	Jonathan Kwok	15.01	775
56	Keji Xu	15.01	22009
57	Samuel Jerome	15.01	24842
58	Khoa	15.01	1000
59	Mike Hawk	15.01	20022
60	Aaron H	15.01	24832
61	Absurdity	15.02	20911
62	Anon5	15.02	20950
63	Joshua Zimmer	15.02	20746
64	BH	15.02	21825
65	kt4124	15.02	22549
66	George Okeowo	15.02	1000
67	Jameh	15.02	16246
68	Sprt	15.02	19723
69	BMJ	15.02	104810
70	Ben Chen	15.03	20120
71	An Extremely Ordinary Sloth	15.03	24780
72	Deric Cheng	15.03	20774
73	Ytterbium	15.04	22587
74	Tiny Wings	15.07	26077
75	soccer	15.09	22726
76	RedOrangeBlue	15.11	956
77	DeeEmEm	15.11	932
78	Sunny	15.11	992
79	Anon_K_P	15.22	25209
80	The Kraken	15.28	805
81	Tree Prophet	15.52	966
82	John Whelchel	15.54	982
83	jabreezy	15.60	1000
84	Elphaba	17.30	762
85	David H.	19.21	76379
86	Dr Roberto	19.53	999
87	Matt Goldsmith	76.48	1000
88	Alex Fish	86.58	96007
89	David Lackey	89.43	70976
90	SuperFan	90.02	80582
91	Jessie Chen	92.81	161054
92	Boomshanka	93.13	141969
93	Bob Dondero	101.81	106238
94	Bebe Shi	102.49	116227
95	David Paulk	107.61	0
96	Gewang	112.56	112081
97	TSATTER	117.92	200875
98	Happy	122.43	999
99	Shaheed Chagani	128.75	811
100	cmF5a3ly	132.68	136590
101	Yan Wu	134.43	0
102	ModifiedWalkSatBreakZero	139.88	181056
103	Joel Faron	-	-
104	Qinlan Shen	-	-
105	cat	-	-
106	dfshasdsf12	-	-
107	Fanny	-	-
108	Tom T	-	-
109	Mercury	-	-
110	Miranda	-	-
111	Jordan Ash	-	-
112	The Whitman Whale	-	-
113	Igor	-	-
114	Sally Smith	-	-
115	Mark Fillmore	-	-
116	cjt	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist