Stats for formula: ebp-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 ebp-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf ebp-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:	ebp-1
Rank of generator:	22 / 114
Average score:	11.35
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.13	0
3	Elphaba	0.19	0
4	Mercury	0.19	0
5	dusty	0.23	0
6	Matt Goldsmith	0.29	0
7	Aaron Doll	0.33	0
8	spl	0.38	0
9	ModifiedWalkSatBreakZero	0.41	0
10	Quite Satisfied	0.52	0
11	CookieMonster	0.62	0
12	Matt Haake	0.75	0
13	Shaheed Chagani	1.04	0
14	HashTagAlreadyFallBreak	2.35	0
15	Tree Prophet	2.73	0
16	Jonathan Kwok	3.23	0
17	Janie Gu	3.41	0
18	dfshasdsf12	3.42	0
19	jgs	3.79	0
20	Nikhilesh Sigatapu	4.31	0
21	vhsiao	4.37	0
22	Andys	5.42	0
23	Walter Little	5.93	0
24	Sprt	6.08	0
25	Mike Hawk	6.40	0
26	0108	6.82	0
27	Joshua Zimmer	7.39	0
28	Fanny	7.65	0
29	Andrew Grasso	8.71	0
30	Tao	8.82	0
31	Khoa	8.97	0
32	Ben Chen	9.03	0
33	Sabar Dasgupta	9.28	0
34	NA	9.42	0
35	Deric Cheng	9.50	0
36	Anon5	9.58	0
37	Yacob Y.	11.10	0
38	ebp	11.16	0
39	EC	11.51	0
40	snowflakes	12.60	0
41	Mike Honcho	13.16	0
42	Lisa Kim	13.36	0
43	BH	13.79	0
44	Joel Faron	13.86	0
45	KingBach	14.38	0
46	Andrew Werner	15.00	11
47	Brendan Wright	15.00	15
48	13a	15.00	17
49	CAPS LOCK	13.00	21
50	Samuel Jerome	15.00	23
51	Dr Roberto	15.00	34
52	R. A. B.	9.00	42
53	T. Capote	15.00	43
54	George Okeowo	0.79	48
55	soccer	15.00	60
56	bigwig	15.00	72
57	Boomshanka	15.00	448
58	RedOrangeBlue	14.99	511
59	Cam Porter	15.00	4268
60	cat	15.00	4519
61	BMJ	15.00	5476
62	bfang	15.00	6351
63	K.L.	15.00	27189
64	Valya Barboy	15.00	3
65	Mr. Blobby	15.00	5
66	Aaron H	15.00	16
67	Solving For Clauses	15.00	19
68	AFC	15.00	19
69	Mark Fillmore	15.00	21
70	Jameh	15.00	22
71	John Whelchel	15.00	23
72	Nihar the Great	15.00	24
73	Ravi Tandon	15.00	24
74	Keji Xu	15.00	28
75	burrito	15.00	33
76	kt4124	15.00	33
77	Blam	15.00	35
78	Happy	15.00	41
79	Linda	15.00	46
80	weezy	15.00	348
81	Sat Solver 2013	15.00	1072
82	Supahaka	15.00	5737
83	Mickey Mouse	15.00	8989
84	Charlie Shucheng Zhu	15.00	13
85	Glenn Fisher	15.00	15
86	Ytterbium	15.00	16
87	Bar Shabtai	15.00	31
88	bchouSolver	15.00	54
89	Tiny Wings	15.00	579
90	DeeEmEm	15.00	47
91	David H.	15.00	8070
92	Absurdity	15.01	20
93	An Extremely Ordinary Sloth	15.01	25
94	The Kraken	15.01	304
95	LilThug	15.01	40
96	Sally Smith	15.01	6126
97	Gewang	15.02	8098
98	Green "The Bean" Choi	15.02	29
99	Anon_K_P	15.04	6682
100	Sunny	15.12	24
101	Qinlan Shen	15.14	7683
102	cmF5a3ly	15.22	7870
103	Alex Fish	15.25	8277
104	Bob Dondero	15.47	7863
105	TSATTER	15.50	7883
106	David Lackey	15.51	8209
107	Jessie Chen	15.67	8588
108	Bebe Shi	15.67	7829
109	Tom T	15.68	11
110	SuperFan	15.78	7321
111	Yan Wu	16.73	0
112	cjt	22.50	7144
113	David Paulk	-	-
114	jabreezy	-	-
115	Miranda	-	-
116	Jordan Ash	-	-
117	The Whitman Whale	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist