Stats for formula: kt4124-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 kt4124-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf kt4124-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:	kt4124-1
Rank of generator:	59 / 114
Average score:	5.30
Median score:	0.52
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.04	0
2	Aristotle	0.06	0
3	Mercury	0.07	0
4	jabreezy	0.08	0
5	Matt Goldsmith	0.09	0
6	Green "The Bean" Choi	0.09	0
7	ModifiedWalkSatBreakZero	0.10	0
8	Aaron Doll	0.10	0
9	David H.	0.10	0
10	bigwig	0.11	0
11	Elphaba	0.11	0
12	Sunny	0.12	0
13	spl	0.12	0
14	dusty	0.13	0
15	Jonathan Kwok	0.14	0
16	Andrew Grasso	0.15	0
17	HashTagAlreadyFallBreak	0.17	0
18	Shaheed Chagani	0.17	0
19	Ben Chen	0.18	0
20	Glenn Fisher	0.19	0
21	KingBach	0.20	0
22	CookieMonster	0.21	0
23	Quite Satisfied	0.21	0
24	Matt Haake	0.22	0
25	Solving For Clauses	0.22	0
26	NA	0.24	0
27	AFC	0.24	0
28	Joshua Zimmer	0.26	0
29	Yacob Y.	0.26	0
30	Sabar Dasgupta	0.27	0
31	Dr Roberto	0.27	0
32	Mark Fillmore	0.28	0
33	burrito	0.28	0
34	jgs	0.29	0
35	dfshasdsf12	0.30	0
36	0108	0.31	0
37	Sprt	0.31	0
38	CAPS LOCK	0.32	0
39	Linda	0.33	0
40	Jameh	0.34	0
41	Tao	0.36	0
42	Tree Prophet	0.36	0
43	snowflakes	0.36	0
44	Anon5	0.37	0
45	Yan Wu	0.40	0
46	Mr. Blobby	0.40	0
47	DeeEmEm	0.41	0
48	Deric Cheng	0.41	0
49	Walter Little	0.41	0
50	Charlie Shucheng Zhu	0.43	0
51	Absurdity	0.47	0
52	Janie Gu	0.47	0
53	BH	0.49	0
54	EC	0.49	0
55	Andys	0.50	0
56	Aaron H	0.54	0
57	Khoa	0.55	0
58	Valya Barboy	0.58	0
59	Andrew Werner	0.59	0
60	Mike Honcho	0.60	0
61	Lisa Kim	0.69	0
62	Joel Faron	0.95	0
63	Nikhilesh Sigatapu	1.00	0
64	Mike Hawk	1.11	0
65	kt4124	1.15	0
66	The Whitman Whale	1.18	0
67	An Extremely Ordinary Sloth	1.29	0
68	R. A. B.	1.37	0
69	John Whelchel	1.41	0
70	vhsiao	1.47	0
71	13a	1.78	0
72	Blam	2.09	0
73	Brendan Wright	2.82	0
74	Tom T	4.55	0
75	bfang	8.74	0
76	Keji Xu	14.95	0
77	Fanny	0.45	1
78	Boomshanka	15.00	58
79	Samuel Jerome	15.00	82
80	bchouSolver	15.00	98
81	George Okeowo	0.33	242
82	RedOrangeBlue	14.99	422
83	Cam Porter	15.00	947
84	cat	14.99	1223
85	Supahaka	10.65	1422
86	BMJ	15.00	1543
87	Anon_K_P	15.00	1668
88	K.L.	15.00	5230
89	weezy	15.00	39
90	LilThug	15.00	45
91	Nihar the Great	15.00	52
92	Ytterbium	15.00	68
93	Ravi Tandon	15.00	207
94	The Kraken	15.00	283
95	Sat Solver 2013	15.00	543
96	Mickey Mouse	15.00	1300
97	Tiny Wings	15.00	116
98	Sally Smith	15.00	122
99	Happy	15.04	210
100	Bob Dondero	15.04	1411
101	TSATTER	15.04	1805
102	cmF5a3ly	15.04	1485
103	Alex Fish	15.04	115
104	Bebe Shi	15.05	361
105	Jessie Chen	15.05	774
106	David Lackey	15.06	138
107	Gewang	15.07	714
108	Qinlan Shen	15.08	1359
109	SuperFan	15.12	1498
110	cjt	22.50	108
111	Jordan Ash	26.47	242
112	David Paulk	-	-
113	T. Capote	-	-
114	soccer	-	-
115	Miranda	-	-
116	Bar Shabtai	-	-
117	ebp	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist