Stats for formula: Nihar the Great-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 Nihar the Great-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Nihar the Great-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:	Nihar the Great-0
Rank of generator:	4 / 114
Average score:	13.78
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.23	0
2	bigwig	0.57	0
3	Aaron Doll	0.88	0
4	dusty	1.79	0
5	spl	2.14	0
6	vhsiao	2.35	0
7	haoyu	2.98	0
8	CookieMonster	5.29	0
9	Quite Satisfied	5.73	0
10	Nihar the Great	7.12	0
11	Matt Haake	11.82	0
12	cat	15.00	661
13	CAPS LOCK	13.00	15136
14	NA	14.99	18689
15	jgs	14.99	20496
16	R. A. B.	9.01	25799
17	Green "The Bean" Choi	15.00	685
18	Nikhilesh Sigatapu	15.00	961
19	13a	15.00	989
20	Jameh	15.00	16301
21	Valya Barboy	15.00	20282
22	Keji Xu	15.00	22042
23	T. Capote	15.00	23805
24	Cam Porter	15.00	477792
25	Happy	15.00	999
26	ebp	15.00	971
27	Ben Chen	15.00	20195
28	Sprt	15.00	20409
29	Janie Gu	15.00	19216
30	Anon5	15.00	19682
31	Joshua Zimmer	15.00	19747
32	Andys	15.00	20401
33	Sabar Dasgupta	15.01	18031
34	Tao	15.01	13151
35	Ravi Tandon	15.01	18663
36	weezy	15.01	25806
37	bchouSolver	15.01	997
38	Mike Honcho	15.01	1000
39	burrito	15.01	16037
40	Supahaka	15.01	56086
41	HashTagAlreadyFallBreak	15.01	16812
42	Brendan Wright	15.01	993
43	Glenn Fisher	15.01	21034
44	Deric Cheng	15.01	21816
45	LilThug	15.01	23640
46	Samuel Jerome	15.01	25248
47	Lisa Kim	15.01	18781
48	soccer	15.01	23297
49	Charlie Shucheng Zhu	15.01	23456
50	Andrew Grasso	15.01	475
51	Khoa	15.01	1000
52	EC	15.01	22649
53	K.L.	15.01	481879
54	AFC	15.01	934
55	Yacob Y.	15.01	18518
56	kt4124	15.01	20458
57	Walter Little	15.01	20562
58	BMJ	15.01	89319
59	Mickey Mouse	15.01	36689
60	0108	15.02	19288
61	bfang	15.02	61413
62	Mike Hawk	15.02	20528
63	BH	15.02	21755
64	Blam	15.02	23312
65	Solving For Clauses	15.02	15513
66	Absurdity	15.02	20858
67	Sunny	15.02	965
68	Linda	15.03	19559
69	KingBach	15.03	21977
70	Aaron H	15.03	24620
71	Mr. Blobby	15.03	24400
72	snowflakes	15.03	22509
73	Ytterbium	15.04	22724
74	Andrew Werner	15.04	22948
75	Jonathan Kwok	15.05	727
76	Bar Shabtai	15.07	649
77	DeeEmEm	15.15	918
78	RedOrangeBlue	15.18	950
79	Anon_K_P	15.22	25855
80	The Kraken	15.28	788
81	Tiny Wings	15.28	26153
82	George Okeowo	15.44	1000
83	John Whelchel	15.45	982
84	Tree Prophet	15.51	968
85	jabreezy	16.37	1000
86	David H.	16.86	65834
87	Elphaba	17.41	752
88	Dr Roberto	19.39	999
89	Matt Goldsmith	65.31	1000
90	Boomshanka	69.94	145710
91	David Paulk	85.66	0
92	Bebe Shi	87.30	86245
93	Gewang	91.78	126044
94	Yan Wu	94.44	0
95	Jessie Chen	98.56	141037
96	David Lackey	103.77	126274
97	SuperFan	106.42	51047
98	Alex Fish	108.20	111943
99	Shaheed Chagani	116.76	802
100	Miranda	117.59	161058
101	Bob Dondero	131.87	141672
102	cmF5a3ly	132.86	146961
103	Joel Faron	-	-
104	Qinlan Shen	-	-
105	TSATTER	-	-
106	An Extremely Ordinary Sloth	-	-
107	dfshasdsf12	-	-
108	Fanny	-	-
109	Tom T	-	-
110	Mercury	-	-
111	Jordan Ash	-	-
112	The Whitman Whale	-	-
113	Igor	-	-
114	Sally Smith	-	-
115	Mark Fillmore	-	-
116	cjt	-	-
117	ModifiedWalkSatBreakZero	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist