Stats for formula: Jonathan Kwok-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 Jonathan Kwok-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Jonathan Kwok-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:	Jonathan Kwok-0
Rank of generator:	95 / 114
Average score:	1.02
Median score:	0.01
Best solver:	Elphaba
Description:	This generator generates logic for a 3x3 latin square with either a square filled in as a constraint or a specification of what number the square cannot be.

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

SatSolvers Ranklist

Generators Ranklist