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

SatSolvers Ranklist

Generators Ranklist