Stats for formula: Sally Smith-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 Sally Smith-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Sally Smith-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:	Sally Smith-0
Rank of generator:	57 / 114
Average score:	5.20
Median score:	0.55
Best solver:	haoyu
Description:	Animals are placed in cages where only one animal can be in a cage and each animal selected must be in a cage. Some animals should be far away from other specific animals and some should be close other animals.

	Solver	Time taken	Unsat
1	haoyu	0.04	0
2	Aristotle	0.10	0
3	Elphaba	0.12	0
4	Mercury	0.12	0
5	Bar Shabtai	0.12	0
6	HashTagAlreadyFallBreak	0.14	0
7	dusty	0.15	0
8	Nihar the Great	0.15	0
9	ModifiedWalkSatBreakZero	0.17	0
10	Aaron Doll	0.17	0
11	CookieMonster	0.18	0
12	Matt Goldsmith	0.20	0
13	spl	0.20	0
14	Matt Haake	0.22	0
15	Jonathan Kwok	0.24	0
16	Tao	0.24	0
17	Quite Satisfied	0.24	0
18	Jameh	0.25	0
19	0108	0.26	0
20	Sunny	0.26	0
21	CAPS LOCK	0.27	0
22	Green "The Bean" Choi	0.28	0
23	Charlie Shucheng Zhu	0.29	0
24	John Whelchel	0.29	0
25	Yacob Y.	0.29	0
26	Anon5	0.31	0
27	NA	0.31	0
28	13a	0.32	0
29	jabreezy	0.33	0
30	Aaron H	0.34	0
31	bigwig	0.34	0
32	Solving For Clauses	0.35	0
33	jgs	0.35	0
34	KingBach	0.35	0
35	EC	0.35	0
36	Ben Chen	0.36	0
37	Absurdity	0.37	0
38	Linda	0.37	0
39	Shaheed Chagani	0.38	0
40	Mike Honcho	0.38	0
41	Valya Barboy	0.38	0
42	Deric Cheng	0.40	0
43	Mr. Blobby	0.40	0
44	Glenn Fisher	0.40	0
45	Mike Hawk	0.41	0
46	Sprt	0.42	0
47	Lisa Kim	0.42	0
48	Andrew Grasso	0.42	0
49	Sabar Dasgupta	0.44	0
50	Mark Fillmore	0.45	0
51	Joshua Zimmer	0.46	0
52	vhsiao	0.47	0
53	BH	0.47	0
54	David H.	0.47	0
55	Yan Wu	0.49	0
56	Janie Gu	0.51	0
57	Andys	0.51	0
58	Walter Little	0.55	0
59	Dr Roberto	0.56	0
60	soccer	0.57	0
61	burrito	0.58	0
62	Andrew Werner	0.65	0
63	snowflakes	0.72	0
64	T. Capote	0.72	0
65	dfshasdsf12	0.75	0
66	AFC	0.78	0
67	David Paulk	0.79	0
68	Tree Prophet	1.10	0
69	Khoa	1.17	0
70	kt4124	1.64	0
71	An Extremely Ordinary Sloth	1.77	0
72	Joel Faron	2.17	0
73	Anon_K_P	2.26	0
74	R. A. B.	2.70	0
75	ebp	3.16	0
76	Nikhilesh Sigatapu	3.25	0
77	Brendan Wright	5.80	0
78	bfang	6.17	0
79	The Whitman Whale	6.27	0
80	Blam	6.57	0
81	Samuel Jerome	9.46	0
82	bchouSolver	15.00	5
83	Boomshanka	14.95	13
84	RedOrangeBlue	14.99	35
85	George Okeowo	0.66	42
86	Supahaka	3.53	1402
87	Cam Porter	15.00	1736
88	BMJ	15.00	3286
89	cat	15.00	3513
90	K.L.	15.00	6312
91	Fanny	2.33	14137
92	Ravi Tandon	15.00	16
93	Happy	15.00	35
94	weezy	15.00	75
95	Mickey Mouse	15.00	3699
96	LilThug	15.00	1
97	Sat Solver 2013	15.00	581
98	Ytterbium	15.01	1
99	DeeEmEm	15.01	4
100	The Kraken	15.01	960
101	Sally Smith	15.02	4
102	Qinlan Shen	15.02	3106
103	Tiny Wings	15.03	45
104	Jessie Chen	15.04	1575
105	TSATTER	15.04	3681
106	Bob Dondero	15.06	2682
107	Alex Fish	15.12	119
108	SuperFan	15.13	3195
109	Bebe Shi	15.13	557
110	David Lackey	15.15	249
111	Gewang	15.17	2204
112	cmF5a3ly	15.21	2971
113	Tom T	16.22	42
114	Keji Xu	17.36	5
115	cjt	22.50	9
116	Jordan Ash	66.35	5
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist