Stats for formula: burrito-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 burrito-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf burrito-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:	burrito-0
Rank of generator:	33 / 114
Average score:	7.11
Median score:	3.29
Best solver:	haoyu
Description:	Emulates a real-life problem of scheduling music acts at a concert. We have a fixed number of genres, acts per genre, stages, and time slots. Here are the four constraints that we turned into clauses: - Every act should perform at least on one stage at one time. - Every act can perform at most on one stage and one time. - Every stage can have at most one act at any time. - Acts of the same genre cannot play during the same time slot.

	Solver	Time taken	Unsat
1	haoyu	0.09	0
2	Aristotle	0.11	0
3	Aaron Doll	0.19	0
4	Matt Goldsmith	0.24	0
5	dusty	0.25	0
6	spl	0.28	0
7	Quite Satisfied	0.36	0
8	Mercury	0.47	0
9	CookieMonster	0.50	0
10	Mark Fillmore	0.61	0
11	Matt Haake	0.66	0
12	ModifiedWalkSatBreakZero	0.80	0
13	Bar Shabtai	0.83	0
14	Tao	0.95	0
15	Glenn Fisher	0.96	0
16	Jonathan Kwok	0.98	0
17	Green "The Bean" Choi	1.23	0
18	Andrew Grasso	1.27	0
19	Dr Roberto	1.32	0
20	HashTagAlreadyFallBreak	1.35	0
21	vhsiao	1.45	0
22	Janie Gu	1.46	0
23	Absurdity	1.49	0
24	Sprt	1.56	0
25	Sunny	1.57	0
26	CAPS LOCK	1.59	0
27	Jameh	1.60	0
28	Andrew Werner	1.64	0
29	Yacob Y.	1.72	0
30	Keji Xu	1.75	0
31	NA	1.78	0
32	Valya Barboy	1.79	0
33	Shaheed Chagani	1.79	0
34	Mike Hawk	1.81	0
35	Lisa Kim	1.83	0
36	jgs	1.90	0
37	Anon5	1.91	0
38	Ben Chen	1.94	0
39	Andys	2.00	0
40	Walter Little	2.05	0
41	burrito	2.07	0
42	EC	2.08	0
43	Linda	2.12	0
44	Yan Wu	2.23	0
45	KingBach	2.25	0
46	Joshua Zimmer	2.25	0
47	Deric Cheng	2.26	0
48	BH	2.30	0
49	Solving For Clauses	2.60	0
50	DeeEmEm	2.61	0
51	Mr. Blobby	2.94	0
52	David H.	2.95	0
53	Samuel Jerome	3.02	0
54	Charlie Shucheng Zhu	3.07	0
55	dfshasdsf12	3.20	0
56	AFC	3.28	0
57	soccer	3.30	0
58	T. Capote	3.31	0
59	Sabar Dasgupta	3.32	0
60	David Paulk	3.57	0
61	Ytterbium	3.67	0
62	Fanny	3.72	0
63	John Whelchel	3.99	0
64	Mike Honcho	4.16	0
65	snowflakes	4.19	0
66	0108	6.23	0
67	Tree Prophet	6.91	0
68	13a	7.26	0
69	An Extremely Ordinary Sloth	7.98	0
70	Nikhilesh Sigatapu	9.48	0
71	jabreezy	12.70	0
72	R. A. B.	9.05	392
73	ebp	14.99	540
74	Boomshanka	15.00	645
75	Elphaba	0.42	1192
76	George Okeowo	7.71	1260
77	bigwig	15.00	2656
78	cat	15.00	8090
79	Cam Porter	15.00	12786
80	K.L.	15.00	61881
81	Aaron H	15.00	4
82	Ravi Tandon	15.00	20
83	Nihar the Great	15.00	34
84	bchouSolver	15.00	292
85	weezy	15.00	1308
86	Joel Faron	15.00	612
87	BMJ	15.00	18393
88	Mickey Mouse	15.00	24477
89	Brendan Wright	15.00	1260
90	Supahaka	15.00	15488
91	LilThug	15.00	6
92	bfang	15.01	20734
93	Sat Solver 2013	15.01	1381
94	Tiny Wings	15.01	10565
95	RedOrangeBlue	15.01	1260
96	The Kraken	15.01	3656
97	Blam	15.02	24
98	Khoa	15.02	1260
99	kt4124	15.02	13
100	Anon_K_P	15.07	3203
101	David Lackey	15.09	21197
102	Happy	15.14	1052
103	Alex Fish	15.17	21610
104	Bob Dondero	15.25	22480
105	Jessie Chen	15.43	24493
106	cmF5a3ly	15.69	24226
107	SuperFan	16.22	21177
108	Gewang	16.25	23904
109	Bebe Shi	16.43	22923
110	Qinlan Shen	16.73	24589
111	TSATTER	17.17	23316
112	cjt	22.50	21507
113	Tom T	23.51	1260
114	Miranda	-	-
115	Jordan Ash	-	-
116	The Whitman Whale	-	-
117	Igor	-	-
118	Sally Smith	-	-

SatSolvers Ranklist

Generators Ranklist