Stats for formula: Bar Shabtai-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 Bar Shabtai-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Bar Shabtai-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:	Bar Shabtai-1
Rank of generator:	* / 114
Average score:	12.01
Median score:	15.00
Best solver:	haoyu
Description:	My generator tackles the problem of scheduling I different classes in J differet classrooms in one hour intervals between X and Y o'clock. Obviously, two classes cannot be scheduled in the same room at the same time. To add to the difficulty, classes randomly conflict with each other. For example, it's possible that class I can't be scheduled at the same time as class J regardless of the room.The generator has three sets of nested for loops. the first creates clauses for instances where there are two classes scheduled at the same time and in the same room. The second set takes care of instances where there are conflicting classes scheduled at the same time, regardless of the room the final set makes sure every class is scheduled at least once. The format of each literal is (I, J, X), where X is the start time of the class.

	Solver	Time taken	Unsat
1	haoyu	0.12	0
2	Nihar the Great	0.27	0
3	Aaron Doll	0.30	0
4	Aristotle	0.30	0
5	dusty	0.79	0
6	Mercury	0.85	0
7	spl	0.86	0
8	bigwig	1.05	0
9	Quite Satisfied	1.35	0
10	CookieMonster	1.54	0
11	Fanny	1.76	0
12	Dr Roberto	2.03	0
13	Matt Haake	2.09	0
14	vhsiao	2.38	0
15	Mark Fillmore	2.81	0
16	ModifiedWalkSatBreakZero	3.20	0
17	Bar Shabtai	3.42	0
18	DeeEmEm	5.21	0
19	Jonathan Kwok	5.70	0
20	HashTagAlreadyFallBreak	6.06	0
21	CAPS LOCK	6.16	0
22	Jameh	6.22	0
23	Tao	6.47	0
24	Shaheed Chagani	7.44	0
25	Linda	8.37	0
26	John Whelchel	9.31	0
27	jgs	9.59	0
28	Joshua Zimmer	10.40	0
29	Solving For Clauses	11.39	0
30	0108	11.61	0
31	Anon5	12.29	0
32	dfshasdsf12	12.52	0
33	Glenn Fisher	13.31	0
34	Yacob Y.	13.78	0
35	Green "The Bean" Choi	13.87	0
36	KingBach	14.08	0
37	David H.	14.28	0
38	Matt Goldsmith	15.00	1
39	13a	15.00	15
40	ebp	14.99	26
41	Andrew Grasso	15.00	34
42	Elphaba	0.85	35
43	R. A. B.	9.00	36326
44	Cam Porter	15.00	44945
45	K.L.	15.00	208074
46	Janie Gu	15.00	16
47	Valya Barboy	15.00	21
48	George Okeowo	15.00	35
49	Happy	15.00	35
50	Blam	15.00	14242
51	LilThug	15.00	15171
52	weezy	15.00	33672
53	Ravi Tandon	15.00	13
54	AFC	15.00	31
55	BH	15.00	153
56	Ytterbium	15.00	210
57	T. Capote	15.00	2903
58	BMJ	15.00	37128
59	cat	15.00	19
60	snowflakes	15.00	716
61	Walter Little	15.00	3213
62	Supahaka	15.00	35199
63	bchouSolver	15.01	21
64	Charlie Shucheng Zhu	15.01	7071
65	Samuel Jerome	15.01	35845
66	Mickey Mouse	15.01	49676
67	Absurdity	15.01	119
68	Mr. Blobby	15.01	28109
69	Aaron H	15.01	31970
70	An Extremely Ordinary Sloth	15.01	36462
71	Ben Chen	15.01	73
72	Mike Hawk	15.01	19
73	Andrew Werner	15.01	3529
74	bfang	15.01	48981
75	soccer	15.01	5248
76	Boomshanka	15.02	47738
77	burrito	15.04	1
78	Keji Xu	15.04	15
79	Andys	15.04	48
80	Tiny Wings	15.04	42113
81	Mike Honcho	15.05	35
82	Sunny	15.05	34
83	Tree Prophet	15.05	18
84	kt4124	15.05	16
85	RedOrangeBlue	15.06	35
86	Brendan Wright	15.08	34
87	jabreezy	15.08	35
88	Sabar Dasgupta	15.10	23
89	Lisa Kim	15.11	6
90	Anon_K_P	15.12	38899
91	EC	15.15	155
92	Sprt	15.18	1
93	Deric Cheng	15.23	83
94	Khoa	15.23	35
95	NA	15.34	1
96	David Paulk	16.36	0
97	The Kraken	16.38	130
98	SuperFan	17.95	46944
99	Alex Fish	19.93	54133
100	Jessie Chen	20.02	49770
101	cmF5a3ly	20.14	51778
102	David Lackey	20.66	53033
103	Bebe Shi	21.59	51703
104	cjt	22.50	53298
105	Gewang	22.77	54866
106	TSATTER	23.18	51709
107	Bob Dondero	23.23	52726
108	Miranda	24.80	52559
109	Yan Wu	36.32	0
110	Tom T	71.09	35
111	Qinlan Shen	95.39	52048
112	Joel Faron	-	-
113	Jordan Ash	-	-
114	The Whitman Whale	-	-
115	Igor	-	-
116	Sally Smith	-	-
117	Nikhilesh Sigatapu	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist