Stats for formula: jabreezy-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 jabreezy-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf jabreezy-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:	jabreezy-1
Rank of generator:	26 / 114
Average score:	10.69
Median score:	15.00
Best solver:	Mercury
Description:	Generates a cnf describing a jigsaw puzzle with default dimensions 4 X 4 and default number of sides 4. The default number of possible side values is 20. The default implementation creates a CNF that MUST be satisfied with the correct solution generated by the random jigsaw puzzle generator.

	Solver	Time taken	Unsat
1	Mercury	0.10	0
2	spl	0.24	0
3	dusty	0.24	0
4	haoyu	0.25	0
5	CookieMonster	0.29	0
6	Aristotle	0.32	0
7	Green "The Bean" Choi	0.34	0
8	David H.	0.44	0
9	Shaheed Chagani	0.50	0
10	ModifiedWalkSatBreakZero	0.55	0
11	Aaron Doll	0.73	0
12	Matt Goldsmith	0.90	0
13	Matt Haake	1.43	0
14	BH	1.68	0
15	Dr Roberto	2.00	0
16	Quite Satisfied	2.52	0
17	bigwig	2.93	0
18	jabreezy	3.12	0
19	dfshasdsf12	3.32	0
20	vhsiao	3.80	0
21	snowflakes	4.00	0
22	Linda	4.04	0
23	Mark Fillmore	4.12	0
24	John Whelchel	4.33	0
25	Fanny	4.38	0
26	AFC	4.41	0
27	Yan Wu	4.79	0
28	burrito	4.80	0
29	DeeEmEm	5.36	0
30	Tao	6.15	0
31	KingBach	6.24	0
32	Jameh	6.62	0
33	Sprt	6.85	0
34	Deric Cheng	7.21	0
35	Glenn Fisher	7.45	0
36	NA	7.84	0
37	Ben Chen	8.38	0
38	Lisa Kim	8.96	0
39	CAPS LOCK	9.05	0
40	Janie Gu	9.34	0
41	jgs	9.40	0
42	Tree Prophet	9.52	0
43	Joshua Zimmer	9.58	0
44	Nihar the Great	10.13	0
45	Andys	10.13	0
46	EC	10.43	0
47	Jonathan Kwok	11.83	0
48	Solving For Clauses	11.94	0
49	Anon5	12.88	0
50	Sabar Dasgupta	12.91	0
51	Walter Little	13.48	0
52	HashTagAlreadyFallBreak	13.73	0
53	Mike Hawk	14.20	0
54	Charlie Shucheng Zhu	14.29	0
55	Mike Honcho	14.55	0
56	Andrew Werner	15.00	2
57	T. Capote	15.00	6
58	Joel Faron	15.00	20
59	R. A. B.	9.00	22
60	13a	15.00	22
61	soccer	15.00	24
62	Nikhilesh Sigatapu	15.00	24
63	Brendan Wright	15.00	43
64	RedOrangeBlue	15.00	48
65	Elphaba	0.03	48
66	cat	14.99	62
67	ebp	14.99	76
68	George Okeowo	0.35	80
69	Sunny	15.00	80
70	Boomshanka	15.00	1075
71	BMJ	15.00	2965
72	Cam Porter	15.00	3068
73	bfang	15.00	3901
74	K.L.	15.00	22748
75	Andrew Grasso	15.00	1
76	0108	15.00	2
77	Valya Barboy	15.00	5
78	Aaron H	15.00	8
79	kt4124	15.00	20
80	LilThug	15.00	22
81	bchouSolver	15.00	24
82	The Whitman Whale	15.00	27
83	Ravi Tandon	15.00	28
84	weezy	15.00	55
85	Khoa	15.00	80
86	Sat Solver 2013	15.00	422
87	Supahaka	15.00	4831
88	Mickey Mouse	15.00	5116
89	Samuel Jerome	15.00	16
90	Blam	15.00	22
91	Absurdity	15.00	16
92	Mr. Blobby	15.00	8
93	An Extremely Ordinary Sloth	15.00	19
94	Yacob Y.	15.01	1
95	Anon_K_P	15.01	5676
96	Ytterbium	15.01	20
97	Tiny Wings	15.01	39
98	The Kraken	15.01	77
99	Sally Smith	15.02	1758
100	Keji Xu	15.05	19
101	Happy	15.09	74
102	Bebe Shi	15.10	4590
103	SuperFan	15.18	5398
104	Alex Fish	15.19	3738
105	Gewang	15.20	5460
106	David Lackey	15.23	4231
107	Qinlan Shen	15.24	5123
108	Bob Dondero	15.27	5415
109	Jessie Chen	15.27	5645
110	TSATTER	15.30	6011
111	cmF5a3ly	15.37	5165
112	Tom T	15.56	5
113	cjt	22.50	2652
114	David Paulk	29.22	0
115	Jordan Ash	93.72	80
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist