Stats for formula: Shaheed Chagani-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 Shaheed Chagani-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Shaheed Chagani-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:	Shaheed Chagani-0
Rank of generator:	5 / 114
Average score:	13.76
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.17	0
2	haoyu	0.62	0
3	Matt Goldsmith	0.69	0
4	spl	1.20	0
5	Mercury	1.29	0
6	dusty	2.98	0
7	Matt Haake	4.51	0
8	Elphaba	5.33	0
9	Aaron Doll	5.38	0
10	Quite Satisfied	5.94	0
11	Bar Shabtai	7.47	0
12	Green "The Bean" Choi	8.92	0
13	CookieMonster	15.00	1
14	ModifiedWalkSatBreakZero	15.00	2
15	Tao	15.00	4
16	vhsiao	15.00	5
17	jgs	14.98	5
18	CAPS LOCK	13.00	6
19	HashTagAlreadyFallBreak	15.00	15
20	bigwig	15.00	42
21	cat	15.00	51
22	13a	15.00	437
23	ebp	14.99	498
24	George Okeowo	12.72	500
25	NA	15.00	844
26	T. Capote	15.00	1419
27	Andrew Werner	15.00	2803
28	R. A. B.	9.00	21742
29	K.L.	15.00	103269
30	Sprt	15.00	5
31	Jameh	15.00	6
32	Mark Fillmore	15.00	7
33	Linda	15.00	11
34	Ravi Tandon	15.00	401
35	Happy	15.00	498
36	EC	15.00	799
37	Andys	15.00	7937
38	weezy	15.00	20739
39	Supahaka	15.00	33021
40	Nihar the Great	15.00	6
41	burrito	15.00	9
42	kt4124	15.00	272
43	Khoa	15.00	500
44	Blam	15.00	5390
45	Mr. Blobby	15.00	11589
46	An Extremely Ordinary Sloth	15.00	21321
47	Samuel Jerome	15.00	24469
48	BMJ	15.00	29587
49	Anon5	15.00	4
50	Solving For Clauses	15.00	5
51	Valya Barboy	15.00	6
52	Sabar Dasgupta	15.00	6
53	AFC	15.00	366
54	Mike Honcho	15.00	500
55	Walter Little	15.00	3832
56	Ytterbium	15.00	4419
57	BH	15.00	5791
58	Cam Porter	15.00	27959
59	soccer	15.00	15
60	Glenn Fisher	15.00	86
61	Charlie Shucheng Zhu	15.00	10341
62	Aaron H	15.00	17430
63	Absurdity	15.01	7
64	KingBach	15.01	8
65	bchouSolver	15.01	459
66	David H.	15.01	34128
67	Mike Hawk	15.01	4
68	Janie Gu	15.01	5
69	Andrew Grasso	15.01	331
70	snowflakes	15.01	10628
71	Mickey Mouse	15.01	36339
72	0108	15.01	9
73	dfshasdsf12	15.01	2
74	Joel Faron	15.01	498
75	Joshua Zimmer	15.01	4
76	Lisa Kim	15.01	42
77	bfang	15.01	31368
78	Boomshanka	15.01	33276
79	Sunny	15.01	495
80	Deric Cheng	15.02	4
81	Tree Prophet	15.02	495
82	Ben Chen	15.02	5
83	LilThug	15.03	11392
84	Jonathan Kwok	15.03	3
85	RedOrangeBlue	15.03	500
86	Yacob Y.	15.03	13
87	Tiny Wings	15.03	23124
88	DeeEmEm	15.03	317
89	John Whelchel	15.04	350
90	jabreezy	15.04	496
91	Brendan Wright	15.05	499
92	The Kraken	15.09	355
93	Anon_K_P	15.41	22316
94	TSATTER	15.41	35130
95	Shaheed Chagani	15.76	448
96	SuperFan	16.63	31220
97	Gewang	16.86	33155
98	cmF5a3ly	18.36	35715
99	Alex Fish	19.06	34664
100	Bebe Shi	20.49	37534
101	Keji Xu	22.03	23
102	cjt	22.50	36815
103	Fanny	27.19	500
104	David Lackey	28.16	33538
105	Jessie Chen	28.19	34782
106	Bob Dondero	29.64	36201
107	Tom T	39.55	500
108	Yan Wu	41.49	0
109	Qinlan Shen	122.36	37164
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