Stats for formula: Miranda-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 Miranda-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Miranda-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:	Miranda-1
Rank of generator:	99 / 114
Average score:	0.40
Median score:	0.01
Best solver:	cat
Description:	My generator creates a cnf representing a simple sudoku puzzle. The clauses and literals represent a standard Sudoku puzzle with some squares filled in and is always satisfiable. Unlike a regular Sudoku, the generated puzzles can have multiple different solutions.

	Solver	Time taken	Unsat
1	cat	0.00	0
2	The Kraken	0.00	0
3	Elphaba	0.00	0
4	Glenn Fisher	0.00	0
5	Nihar the Great	0.00	0
6	Happy	0.00	0
7	Nikhilesh Sigatapu	0.00	0
8	Andrew Grasso	0.00	0
9	Jonathan Kwok	0.00	0
10	13a	0.00	0
11	Bar Shabtai	0.00	0
12	Lisa Kim	0.00	0
13	Igor	0.00	0
14	EC	0.00	0
15	bchouSolver	0.00	0
16	HashTagAlreadyFallBreak	0.00	0
17	LilThug	0.00	0
18	snowflakes	0.00	0
19	burrito	0.00	0
20	Andrew Werner	0.00	0
21	KingBach	0.00	0
22	Absurdity	0.00	0
23	0108	0.00	0
24	Keji Xu	0.00	0
25	Valya Barboy	0.00	0
26	haoyu	0.00	0
27	Solving For Clauses	0.00	0
28	Khoa	0.00	0
29	Deric Cheng	0.00	0
30	Sprt	0.00	0
31	Anon5	0.00	0
32	Janie Gu	0.00	0
33	NA	0.00	0
34	Jameh	0.00	0
35	Mickey Mouse	0.00	0
36	Mike Hawk	0.00	0
37	Yacob Y.	0.00	0
38	ebp	0.00	0
39	Joshua Zimmer	0.00	0
40	bigwig	0.00	0
41	Ben Chen	0.00	0
42	Mike Honcho	0.00	0
43	Ytterbium	0.00	0
44	R. A. B.	0.00	0
45	John Whelchel	0.00	0
46	Charlie Shucheng Zhu	0.00	0
47	CAPS LOCK	0.00	0
48	Yan Wu	0.01	0
49	Aaron H	0.01	0
50	Andys	0.01	0
51	jabreezy	0.01	0
52	Mr. Blobby	0.01	0
53	Samuel Jerome	0.01	0
54	T. Capote	0.01	0
55	jgs	0.01	0
56	Sabar Dasgupta	0.01	0
57	Mercury	0.01	0
58	Walter Little	0.01	0
59	dusty	0.01	0
60	Linda	0.01	0
61	Matt Goldsmith	0.01	0
62	weezy	0.01	0
63	An Extremely Ordinary Sloth	0.01	0
64	Aaron Doll	0.01	0
65	Aristotle	0.01	0
66	Tao	0.01	0
67	Green "The Bean" Choi	0.01	0
68	Quite Satisfied	0.01	0
69	ModifiedWalkSatBreakZero	0.01	0
70	Matt Haake	0.01	0
71	Blam	0.01	0
72	Sat Solver 2013	0.01	0
73	George Okeowo	0.01	0
74	Sunny	0.01	0
75	kt4124	0.01	0
76	David Paulk	0.01	0
77	Supahaka	0.01	0
78	David H.	0.01	0
79	Jordan Ash	0.01	0
80	spl	0.01	0
81	Cam Porter	0.01	0
82	BH	0.01	0
83	Mark Fillmore	0.01	0
84	soccer	0.01	0
85	Boomshanka	0.01	0
86	Alex Fish	0.01	0
87	Sally Smith	0.01	0
88	Ravi Tandon	0.01	0
89	RedOrangeBlue	0.01	0
90	AFC	0.01	0
91	DeeEmEm	0.02	0
92	David Lackey	0.02	0
93	Dr Roberto	0.02	0
94	Fanny	0.02	0
95	CookieMonster	0.02	0
96	Bebe Shi	0.02	0
97	Tree Prophet	0.02	0
98	Miranda	0.02	0
99	Gewang	0.02	0
100	dfshasdsf12	0.03	0
101	Jessie Chen	0.03	0
102	Shaheed Chagani	0.03	0
103	cjt	0.03	0
104	bfang	0.03	0
105	Tiny Wings	0.04	0
106	Bob Dondero	0.04	0
107	cmF5a3ly	0.05	0
108	vhsiao	0.06	0
109	The Whitman Whale	0.09	0
110	Anon_K_P	0.14	0
111	SuperFan	0.14	0
112	Brendan Wright	0.30	0
113	Qinlan Shen	0.30	0
114	Tom T	0.32	0
115	Joel Faron	15.00	0
116	BMJ	15.00	71
117	TSATTER	15.00	109
118	K.L.	-	-

SatSolvers Ranklist

Generators Ranklist