Stats for formula: burrito-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 burrito-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf burrito-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:	burrito-1
Rank of generator:	33 / 114
Average score:	11.29
Median score:	15.00
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.10	0
2	Aristotle	0.15	0
3	Aaron Doll	0.27	0
4	dusty	0.44	0
5	Matt Goldsmith	0.46	0
6	spl	0.54	0
7	CookieMonster	0.86	0
8	Mercury	0.96	0
9	Quite Satisfied	0.98	0
10	Matt Haake	1.38	0
11	Mark Fillmore	1.50	0
12	Bar Shabtai	2.20	0
13	ModifiedWalkSatBreakZero	2.51	0
14	Dr Roberto	2.60	0
15	Jonathan Kwok	2.74	0
16	Glenn Fisher	2.90	0
17	vhsiao	3.14	0
18	Tao	3.73	0
19	Sprt	5.82	0
20	Green "The Bean" Choi	5.84	0
21	DeeEmEm	5.91	0
22	Shaheed Chagani	6.06	0
23	Absurdity	6.18	0
24	Anon5	6.49	0
25	Linda	6.87	0
26	Joshua Zimmer	7.16	0
27	Lisa Kim	7.32	0
28	Deric Cheng	7.50	0
29	Solving For Clauses	7.56	0
30	Andrew Werner	7.77	0
31	Mike Hawk	8.02	0
32	KingBach	8.30	0
33	Keji Xu	8.75	0
34	Jameh	8.91	0
35	BH	9.00	0
36	Yacob Y.	10.15	0
37	HashTagAlreadyFallBreak	10.53	0
38	burrito	11.19	0
39	AFC	11.80	0
40	Valya Barboy	11.96	0
41	dfshasdsf12	12.08	0
42	jgs	12.19	0
43	Ben Chen	12.64	0
44	David H.	12.68	0
45	NA	12.85	0
46	Yan Wu	13.13	0
47	Mike Honcho	13.41	0
48	John Whelchel	13.48	0
49	Walter Little	14.25	0
50	Sabar Dasgupta	14.52	0
51	CAPS LOCK	13.00	4
52	Andrew Grasso	15.00	14
53	13a	15.00	150
54	ebp	15.00	1496
55	Elphaba	1.29	1892
56	cat	15.00	3920
57	R. A. B.	9.00	24986
58	Cam Porter	15.00	30613
59	T. Capote	15.00	96
60	bigwig	15.00	3470
61	Supahaka	15.00	30364
62	bchouSolver	15.00	926
63	George Okeowo	15.00	1892
64	weezy	15.00	14836
65	soccer	15.00	124
66	An Extremely Ordinary Sloth	15.00	14096
67	Mickey Mouse	15.00	39667
68	bfang	15.00	41533
69	Ravi Tandon	15.01	36
70	Nihar the Great	15.01	44
71	Samuel Jerome	15.01	20660
72	snowflakes	15.01	16
73	Fanny	15.01	94
74	Joel Faron	15.01	1892
75	Mr. Blobby	15.01	1195
76	LilThug	15.01	4
77	BMJ	15.01	36356
78	Boomshanka	15.01	35504
79	K.L.	15.01	122142
80	Aaron H	15.02	14305
81	Brendan Wright	15.02	1892
82	Khoa	15.02	1892
83	The Kraken	15.02	7239
84	kt4124	15.03	57
85	RedOrangeBlue	15.04	1892
86	Tree Prophet	15.04	1320
87	Blam	15.05	339
88	Ytterbium	15.07	4
89	Tiny Wings	15.07	33913
90	0108	15.08	4
91	Anon_K_P	15.10	23548
92	Janie Gu	15.10	2
93	EC	15.11	13
94	Andys	15.11	4
95	Sunny	15.11	1804
96	Charlie Shucheng Zhu	15.12	22
97	jabreezy	15.12	1848
98	Jessie Chen	15.70	47053
99	David Lackey	16.30	42670
100	TSATTER	16.53	43936
101	Gewang	16.58	44645
102	Happy	16.61	1816
103	Bob Dondero	16.76	49101
104	Bebe Shi	17.03	44826
105	SuperFan	18.24	41792
106	cmF5a3ly	21.08	43051
107	David Paulk	21.82	0
108	Alex Fish	21.99	48259
109	cjt	22.50	45734
110	Qinlan Shen	23.64	43725
111	Tom T	50.30	1892
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