Stats for formula: Shaheed Chagani-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 Shaheed Chagani-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Shaheed Chagani-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:	Shaheed Chagani-1
Rank of generator:	5 / 114
Average score:	13.72
Median score:	15.00
Best solver:	Aristotle
Description:	Exam Scheduler which schedules 500 exams in 15 days with a maximum of 5 conflicts between each class.

	Solver	Time taken	Unsat
1	Aristotle	0.11	0
2	Matt Goldsmith	0.42	0
3	haoyu	0.56	0
4	spl	1.39	0
5	dusty	3.22	0
6	Aaron Doll	3.80	0
7	Mercury	4.38	0
8	Matt Haake	5.13	0
9	Elphaba	5.37	0
10	Quite Satisfied	7.17	0
11	Bar Shabtai	7.26	0
12	ModifiedWalkSatBreakZero	7.41	0
13	Green "The Bean" Choi	8.76	0
14	CookieMonster	15.00	3
15	Tao	15.00	4
16	vhsiao	14.98	5
17	jgs	14.98	5
18	CAPS LOCK	13.00	6
19	T. Capote	15.00	23
20	HashTagAlreadyFallBreak	15.00	25
21	NA	14.99	31
22	cat	15.00	58
23	bigwig	15.00	59
24	Glenn Fisher	15.00	65
25	13a	15.00	427
26	Joel Faron	15.00	498
27	ebp	14.99	498
28	George Okeowo	14.71	500
29	Andrew Werner	15.00	6051
30	R. A. B.	9.00	21604
31	Shaheed Chagani	15.00	3
32	Valya Barboy	15.00	4
33	Jameh	15.00	6
34	Anon5	15.00	6
35	Ben Chen	15.00	38
36	Happy	15.00	499
37	kt4124	15.00	1942
38	Ytterbium	15.00	3277
39	Andys	15.00	3319
40	KingBach	15.00	4302
41	Blam	15.00	4515
42	Charlie Shucheng Zhu	15.00	10483
43	Samuel Jerome	15.00	22780
44	BMJ	15.00	28867
45	Jonathan Kwok	15.00	3
46	dfshasdsf12	15.00	4
47	Mark Fillmore	15.00	4
48	Nihar the Great	15.00	6
49	AFC	15.00	480
50	RedOrangeBlue	15.00	499
51	Brendan Wright	15.00	499
52	Sprt	15.00	4003
53	weezy	15.00	19882
54	Cam Porter	15.00	25656
55	Supahaka	15.00	31155
56	Mickey Mouse	15.00	31611
57	Yacob Y.	15.00	22
58	Ravi Tandon	15.00	389
59	Khoa	15.00	500
60	Walter Little	15.00	2176
61	snowflakes	15.00	3491
62	Linda	15.00	78
63	Andrew Grasso	15.00	346
64	bchouSolver	15.00	458
65	soccer	15.00	7593
66	Aaron H	15.01	17656
67	An Extremely Ordinary Sloth	15.01	19658
68	bfang	15.01	30463
69	David H.	15.01	36063
70	BH	15.01	8455
71	0108	15.01	42
72	LilThug	15.01	10792
73	Sabar Dasgupta	15.01	4
74	Janie Gu	15.01	6
75	Deric Cheng	15.01	6
76	jabreezy	15.01	495
77	Mike Honcho	15.01	500
78	EC	15.01	509
79	Mike Hawk	15.01	4
80	Solving For Clauses	15.01	5
81	Joshua Zimmer	15.01	5
82	Mr. Blobby	15.01	13670
83	burrito	15.01	9
84	Absurdity	15.02	42
85	Tree Prophet	15.02	495
86	K.L.	15.02	106899
87	Tiny Wings	15.03	22857
88	The Kraken	15.03	361
89	Lisa Kim	15.04	25
90	Boomshanka	15.05	30033
91	DeeEmEm	15.06	300
92	John Whelchel	15.07	361
93	Anon_K_P	15.35	22799
94	SuperFan	15.40	33176
95	cmF5a3ly	15.41	36676
96	Sunny	15.67	497
97	David Lackey	16.16	35406
98	Alex Fish	17.34	35949
99	Bob Dondero	17.80	34909
100	Fanny	22.33	500
101	cjt	22.50	35929
102	Keji Xu	23.16	6
103	Gewang	28.28	35357
104	Jessie Chen	28.34	35272
105	Bebe Shi	29.17	34129
106	TSATTER	33.76	34108
107	Tom T	42.93	500
108	Yan Wu	49.98	0
109	Qinlan Shen	104.15	37010
110	David Paulk	-	-
111	Dr Roberto	-	-
112	Miranda	-	-
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist