Stats for formula: Bar Shabtai-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 Bar Shabtai-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Bar Shabtai-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:	Bar Shabtai-0
Rank of generator:	* / 114
Average score:	15.00
Median score:	15.03
Best solver:	Aaron Doll
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	Aristotle	15.00	3
2	spl	15.00	5
3	vhsiao	14.99	21
4	ebp	14.99	86
5	Elphaba	3.37	87
6	CookieMonster	15.00	76655
7	CAPS LOCK	13.02	250086
8	jgs	14.98	286217
9	R. A. B.	9.04	326032
10	George Okeowo	15.00	87
11	dusty	15.00	5552
12	BMJ	15.00	331791
13	Blam	15.00	334302
14	Matt Haake	15.00	77296
15	Quite Satisfied	15.00	83530
16	Happy	15.00	87
17	Sabar Dasgupta	15.00	319929
18	Aaron Doll	15.01	1
19	Cam Porter	15.01	331587
20	cat	15.01	53
21	13a	15.01	84
22	Joshua Zimmer	15.01	283453
23	HashTagAlreadyFallBreak	15.01	257914
24	T. Capote	15.01	306016
25	Nihar the Great	15.01	23
26	bchouSolver	15.01	85
27	Ravi Tandon	15.01	275525
28	Green "The Bean" Choi	15.01	86
29	Yacob Y.	15.01	288050
30	Anon5	15.01	298854
31	EC	15.02	287870
32	snowflakes	15.02	300240
33	bigwig	15.02	90
34	Valya Barboy	15.02	285027
35	Ben Chen	15.02	297053
36	Supahaka	15.02	321326
37	Jameh	15.02	290906
38	weezy	15.02	344538
39	Tao	15.02	269981
40	Glenn Fisher	15.03	240257
41	NA	15.03	295486
42	Deric Cheng	15.03	305714
43	0108	15.03	278615
44	Khoa	15.03	87
45	Andrew Grasso	15.03	511
46	burrito	15.03	265962
47	Keji Xu	15.04	282221
48	Samuel Jerome	15.04	328988
49	K.L.	15.04	369041
50	Brendan Wright	15.04	86
51	Linda	15.05	299366
52	Solving For Clauses	15.05	260484
53	Janie Gu	15.05	295621
54	An Extremely Ordinary Sloth	15.05	346670
55	Tree Prophet	15.05	86
56	AFC	15.05	86
57	kt4124	15.05	314515
58	LilThug	15.05	326180
59	DeeEmEm	15.05	66
60	Absurdity	15.05	306986
61	Mickey Mouse	15.05	338689
62	Andys	15.06	317558
63	Mike Hawk	15.06	299698
64	Matt Goldsmith	15.06	1277213
65	Lisa Kim	15.06	292836
66	Charlie Shucheng Zhu	15.06	315143
67	RedOrangeBlue	15.07	87
68	Walter Little	15.07	306390
69	Fanny	15.08	57
70	ModifiedWalkSatBreakZero	15.08	318388
71	Andrew Werner	15.08	301419
72	Sprt	15.08	304462
73	BH	15.08	313299
74	Mr. Blobby	15.08	322164
75	KingBach	15.10	295965
76	Ytterbium	15.11	313378
77	The Kraken	15.12	98
78	soccer	15.13	299973
79	Aaron H	15.14	328519
80	Anon_K_P	15.26	322817
81	John Whelchel	15.30	79
82	David H.	15.42	343906
83	jabreezy	15.50	87
84	Tiny Wings	15.74	330255
85	Bar Shabtai	16.21	70
86	Jonathan Kwok	16.32	79
87	Sunny	20.03	86
88	Boomshanka	20.22	349880
89	dfshasdsf12	136.63	87
90	Joel Faron	-	-
91	David Paulk	-	-
92	Qinlan Shen	-	-
93	Yan Wu	-	-
94	Alex Fish	-	-
95	TSATTER	-	-
96	Bebe Shi	-	-
97	Shaheed Chagani	-	-
98	Dr Roberto	-	-
99	Tom T	-	-
100	David Lackey	-	-
101	Mike Honcho	-	-
102	SuperFan	-	-
103	Jessie Chen	-	-
104	Mercury	-	-
105	Miranda	-	-
106	haoyu	-	-
107	Jordan Ash	-	-
108	Gewang	-	-
109	The Whitman Whale	-	-
110	Igor	-	-
111	Sally Smith	-	-
112	Mark Fillmore	-	-
113	cjt	-	-
114	Bob Dondero	-	-
115	cmF5a3ly	-	-
116	Nikhilesh Sigatapu	-	-
117	bfang	-	-
118	Sat Solver 2013	-	-

SatSolvers Ranklist

Generators Ranklist