Stats for formula: jabreezy-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 jabreezy-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf jabreezy-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:	jabreezy-0
Rank of generator:	26 / 114
Average score:	10.30
Median score:	14.58
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.09	0
2	dusty	0.18	0
3	haoyu	0.23	0
4	CookieMonster	0.31	0
5	Green "The Bean" Choi	0.33	0
6	spl	0.34	0
7	Aristotle	0.35	0
8	ModifiedWalkSatBreakZero	0.45	0
9	David H.	0.49	0
10	Shaheed Chagani	0.51	0
11	Matt Haake	0.54	0
12	Aaron Doll	0.60	0
13	Matt Goldsmith	0.89	0
14	Dr Roberto	1.77	0
15	BH	1.83	0
16	Quite Satisfied	2.04	0
17	vhsiao	2.41	0
18	bigwig	2.86	0
19	jabreezy	3.00	0
20	Linda	3.25	0
21	dfshasdsf12	3.33	0
22	Mark Fillmore	4.27	0
23	Charlie Shucheng Zhu	4.28	0
24	AFC	4.50	0
25	KingBach	4.56	0
26	Jonathan Kwok	4.95	0
27	Fanny	4.99	0
28	Tao	5.22	0
29	Yan Wu	5.59	0
30	John Whelchel	5.63	0
31	burrito	5.73	0
32	EC	5.87	0
33	DeeEmEm	5.90	0
34	Sprt	6.12	0
35	Deric Cheng	6.53	0
36	snowflakes	6.57	0
37	Jameh	7.21	0
38	Ben Chen	7.38	0
39	Andys	7.72	0
40	Lisa Kim	7.82	0
41	Andrew Werner	8.27	0
42	Nihar the Great	8.31	0
43	Yacob Y.	8.41	0
44	Glenn Fisher	8.47	0
45	Tree Prophet	8.66	0
46	NA	8.93	0
47	CAPS LOCK	9.67	0
48	jgs	9.77	0
49	Janie Gu	9.77	0
50	Sabar Dasgupta	10.34	0
51	Anon5	10.36	0
52	David Paulk	10.55	0
53	Walter Little	12.07	0
54	Joshua Zimmer	12.35	0
55	Solving For Clauses	13.72	0
56	Mike Hawk	13.74	0
57	Absurdity	14.16	0
58	T. Capote	15.00	3
59	Andrew Grasso	15.00	7
60	HashTagAlreadyFallBreak	15.00	8
61	13a	15.00	20
62	Joel Faron	15.00	21
63	R. A. B.	9.00	22
64	soccer	15.00	24
65	Nikhilesh Sigatapu	15.00	24
66	RedOrangeBlue	14.99	48
67	Elphaba	0.03	48
68	cat	14.99	60
69	ebp	14.99	76
70	George Okeowo	0.68	80
71	Sunny	14.97	80
72	Boomshanka	15.00	645
73	Cam Porter	15.00	3752
74	bfang	15.00	3894
75	BMJ	15.00	3979
76	K.L.	15.00	22371
77	0108	15.00	3
78	Valya Barboy	15.00	5
79	Mike Honcho	15.00	8
80	An Extremely Ordinary Sloth	15.00	15
81	Ytterbium	15.00	18
82	LilThug	15.00	23
83	bchouSolver	15.00	24
84	Ravi Tandon	15.00	30
85	weezy	15.00	50
86	Sat Solver 2013	15.00	476
87	Sally Smith	15.00	1848
88	Supahaka	15.00	4001
89	Mickey Mouse	15.00	4618
90	Samuel Jerome	15.00	16
91	Blam	15.00	21
92	Tiny Wings	15.00	37
93	Khoa	15.00	80
94	Mr. Blobby	15.00	8
95	Aaron H	15.00	14
96	kt4124	15.00	18
97	The Whitman Whale	15.00	33
98	Brendan Wright	15.00	43
99	Anon_K_P	15.00	5607
100	The Kraken	15.01	80
101	Keji Xu	15.02	21
102	cmF5a3ly	15.07	5143
103	David Lackey	15.10	3872
104	Jessie Chen	15.11	4550
105	Qinlan Shen	15.11	5544
106	Bebe Shi	15.14	4689
107	Happy	15.15	76
108	TSATTER	15.15	6435
109	Gewang	15.19	5519
110	Bob Dondero	15.20	5401
111	Alex Fish	15.24	3987
112	SuperFan	15.29	5199
113	Tom T	16.79	13
114	cjt	22.50	2710
115	Jordan Ash	90.91	80
116	Miranda	-	-
117	Bar Shabtai	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist