Stats for formula: The Kraken-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 The Kraken-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf The Kraken-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:	The Kraken-0
Rank of generator:	75 / 114
Average score:	2.59
Median score:	0.04
Best solver:	haoyu
Description:	This generator creates a CNF that represents a variant of the dinner table problem. First it creates large clauses to ensure everyone is seated. Then it ensures no seat is occupied twice. Then it takes care of specific pairs.

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

SatSolvers Ranklist

Generators Ranklist