Stats for formula: ebp-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 ebp-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf ebp-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:	ebp-0
Rank of generator:	22 / 114
Average score:	11.22
Median score:	15.00
Best solver:	haoyu
Description:	Models a tiling game where each side has a color and must be placed on a square board so that adjacent tiles have matching colors.

	Solver	Time taken	Unsat
1	haoyu	0.04	0
2	Aristotle	0.14	0
3	Elphaba	0.19	0
4	Mercury	0.23	0
5	dusty	0.29	0
6	Matt Goldsmith	0.32	0
7	spl	0.39	0
8	Aaron Doll	0.41	0
9	Quite Satisfied	0.54	0
10	Matt Haake	0.61	0
11	ModifiedWalkSatBreakZero	0.65	0
12	CookieMonster	0.99	0
13	Shaheed Chagani	1.01	0
14	Jonathan Kwok	1.31	0
15	dfshasdsf12	2.00	0
16	HashTagAlreadyFallBreak	2.12	0
17	Tree Prophet	2.77	0
18	0108	3.91	0
19	vhsiao	4.23	0
20	Nikhilesh Sigatapu	4.32	0
21	jgs	4.41	0
22	BH	5.12	0
23	Mike Hawk	5.22	0
24	Janie Gu	5.25	0
25	KingBach	5.33	0
26	NA	5.75	0
27	Deric Cheng	5.97	0
28	Joel Faron	5.97	0
29	Valya Barboy	6.04	0
30	Fanny	7.15	0
31	Yacob Y.	7.32	0
32	Andys	7.40	0
33	Anon5	7.44	0
34	Sabar Dasgupta	7.67	0
35	Joshua Zimmer	7.81	0
36	Tao	8.55	0
37	Ben Chen	9.22	0
38	Walter Little	11.02	0
39	ebp	12.54	0
40	Glenn Fisher	15.00	3
41	Andrew Grasso	15.00	8
42	Andrew Werner	15.00	15
43	13a	15.00	17
44	CAPS LOCK	13.00	22
45	Brendan Wright	15.00	24
46	Dr Roberto	15.00	25
47	Samuel Jerome	15.00	26
48	Bar Shabtai	15.00	31
49	R. A. B.	9.00	44
50	soccer	15.00	45
51	George Okeowo	1.44	48
52	T. Capote	15.00	50
53	bchouSolver	15.00	50
54	bigwig	15.00	54
55	Boomshanka	15.00	256
56	RedOrangeBlue	15.00	522
57	Cam Porter	15.00	4562
58	BMJ	15.00	5269
59	cat	15.00	5332
60	bfang	15.00	6645
61	K.L.	15.00	27153
62	Charlie Shucheng Zhu	15.00	2
63	Sprt	15.00	3
64	Mike Honcho	15.00	10
65	Mr. Blobby	15.00	13
66	John Whelchel	15.00	16
67	Aaron H	15.00	18
68	Mark Fillmore	15.00	18
69	Jameh	15.00	21
70	AFC	15.00	23
71	Solving For Clauses	15.00	24
72	Ravi Tandon	15.00	24
73	Nihar the Great	15.00	25
74	burrito	15.00	26
75	An Extremely Ordinary Sloth	15.00	30
76	Green "The Bean" Choi	15.00	34
77	Happy	15.00	41
78	Blam	15.00	42
79	LilThug	15.00	43
80	Linda	15.00	53
81	weezy	15.00	367
82	Supahaka	15.00	6283
83	Mickey Mouse	15.00	7695
84	David H.	15.00	8082
85	EC	15.00	10
86	Absurdity	15.00	16
87	Keji Xu	15.00	26
88	DeeEmEm	15.00	47
89	Sat Solver 2013	15.00	1025
90	snowflakes	15.00	10
91	Ytterbium	15.00	17
92	Lisa Kim	15.00	23
93	kt4124	15.00	37
94	Tiny Wings	15.01	539
95	The Kraken	15.01	310
96	Khoa	15.01	48
97	Sunny	15.03	22
98	Anon_K_P	15.03	6353
99	Sally Smith	15.06	6788
100	Bebe Shi	15.08	7655
101	SuperFan	15.12	7703
102	Qinlan Shen	15.17	7603
103	Alex Fish	15.20	7390
104	Jessie Chen	15.34	8688
105	Gewang	15.34	8303
106	Bob Dondero	15.48	7646
107	cmF5a3ly	15.71	7359
108	David Lackey	15.73	7977
109	Tom T	15.97	3
110	TSATTER	16.41	8516
111	cjt	22.50	7453
112	Yan Wu	23.52	0
113	David Paulk	-	-
114	jabreezy	-	-
115	Miranda	-	-
116	Jordan Ash	-	-
117	The Whitman Whale	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist