Stats for formula: kt4124-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 kt4124-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf kt4124-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:	kt4124-0
Rank of generator:	59 / 114
Average score:	5.11
Median score:	0.43
Best solver:	haoyu
Description:	Problem: Given an empty NxN zoo with different habitats, place an animal in each habitat such that lions and antelope reside in grassland habitats, owls and mice reside in forest habitats and sharks and fish reside in water habitats. Ensure that predatory animals are not placed adjacent to their prey (i.e. lions and antelopes, owls and mice, or sharks and fish).

	Solver	Time taken	Unsat
1	haoyu	0.03	0
2	Mercury	0.06	0
3	Jonathan Kwok	0.07	0
4	Matt Goldsmith	0.07	0
5	Aristotle	0.07	0
6	jabreezy	0.08	0
7	bigwig	0.09	0
8	Green "The Bean" Choi	0.09	0
9	ModifiedWalkSatBreakZero	0.09	0
10	David H.	0.10	0
11	Aaron Doll	0.11	0
12	Elphaba	0.12	0
13	spl	0.13	0
14	Glenn Fisher	0.14	0
15	dusty	0.14	0
16	CAPS LOCK	0.15	0
17	Andrew Grasso	0.16	0
18	Shaheed Chagani	0.17	0
19	Sunny	0.17	0
20	KingBach	0.18	0
21	HashTagAlreadyFallBreak	0.18	0
22	CookieMonster	0.19	0
23	Matt Haake	0.19	0
24	Quite Satisfied	0.19	0
25	Sprt	0.20	0
26	Solving For Clauses	0.21	0
27	AFC	0.22	0
28	Ben Chen	0.22	0
29	Yacob Y.	0.23	0
30	Jameh	0.24	0
31	Anon5	0.24	0
32	0108	0.24	0
33	jgs	0.25	0
34	Dr Roberto	0.25	0
35	NA	0.26	0
36	Joshua Zimmer	0.26	0
37	burrito	0.26	0
38	Sabar Dasgupta	0.26	0
39	Yan Wu	0.27	0
40	Janie Gu	0.27	0
41	Charlie Shucheng Zhu	0.28	0
42	Lisa Kim	0.29	0
43	Andys	0.29	0
44	Mark Fillmore	0.30	0
45	dfshasdsf12	0.31	0
46	Deric Cheng	0.32	0
47	EC	0.35	0
48	BH	0.36	0
49	Walter Little	0.36	0
50	Linda	0.37	0
51	Tao	0.37	0
52	Tree Prophet	0.38	0
53	Mr. Blobby	0.40	0
54	snowflakes	0.40	0
55	Mike Hawk	0.41	0
56	DeeEmEm	0.44	0
57	Valya Barboy	0.44	0
58	Aaron H	0.46	0
59	Khoa	0.50	0
60	Absurdity	0.52	0
61	vhsiao	0.56	0
62	Andrew Werner	0.58	0
63	Mike Honcho	0.58	0
64	kt4124	0.70	0
65	Joel Faron	0.86	0
66	R. A. B.	0.88	0
67	An Extremely Ordinary Sloth	0.95	0
68	Nikhilesh Sigatapu	1.00	0
69	Tom T	1.00	0
70	13a	1.05	0
71	Blam	1.17	0
72	The Whitman Whale	1.17	0
73	John Whelchel	1.64	0
74	Brendan Wright	2.98	0
75	Keji Xu	3.04	0
76	bfang	9.54	0
77	Fanny	0.43	1
78	Boomshanka	15.00	36
79	Samuel Jerome	15.00	84
80	bchouSolver	15.00	113
81	George Okeowo	0.31	242
82	RedOrangeBlue	14.99	413
83	Cam Porter	15.00	791
84	cat	14.99	1095
85	BMJ	15.00	1407
86	Supahaka	8.82	1582
87	K.L.	15.00	5542
88	weezy	15.00	19
89	LilThug	15.00	45
90	Nihar the Great	15.00	57
91	Ytterbium	15.00	67
92	Tiny Wings	15.00	76
93	Ravi Tandon	15.00	211
94	The Kraken	15.00	272
95	Sat Solver 2013	15.00	437
96	Gewang	15.00	808
97	Mickey Mouse	15.00	1496
98	Anon_K_P	15.00	1559
99	Sally Smith	15.00	150
100	TSATTER	15.01	1660
101	Happy	15.02	210
102	cmF5a3ly	15.02	548
103	Bob Dondero	15.02	1453
104	David Lackey	15.02	120
105	Alex Fish	15.02	158
106	Bebe Shi	15.03	340
107	Jessie Chen	15.05	638
108	SuperFan	15.08	1462
109	Qinlan Shen	15.10	1502
110	cjt	22.50	145
111	Jordan Ash	28.25	242
112	David Paulk	-	-
113	T. Capote	-	-
114	soccer	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist