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

SatSolvers Ranklist

Generators Ranklist