Stats for formula: Sally Smith-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 Sally Smith-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Sally Smith-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:	Sally Smith-1
Rank of generator:	57 / 114
Average score:	5.49
Median score:	0.78
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.09	0
3	Elphaba	0.12	0
4	dusty	0.13	0
5	Bar Shabtai	0.16	0
6	ModifiedWalkSatBreakZero	0.17	0
7	CookieMonster	0.17	0
8	Matt Goldsmith	0.17	0
9	Mercury	0.17	0
10	Aaron Doll	0.20	0
11	jabreezy	0.21	0
12	Matt Haake	0.23	0
13	Quite Satisfied	0.24	0
14	Sunny	0.25	0
15	Green "The Bean" Choi	0.25	0
16	spl	0.25	0
17	HashTagAlreadyFallBreak	0.25	0
18	Tao	0.27	0
19	Ben Chen	0.29	0
20	jgs	0.30	0
21	Glenn Fisher	0.31	0
22	Linda	0.33	0
23	NA	0.33	0
24	Andrew Grasso	0.33	0
25	Yan Wu	0.34	0
26	Deric Cheng	0.35	0
27	Anon5	0.36	0
28	Shaheed Chagani	0.38	0
29	Valya Barboy	0.39	0
30	Sabar Dasgupta	0.39	0
31	Joshua Zimmer	0.40	0
32	Janie Gu	0.40	0
33	Jameh	0.42	0
34	Yacob Y.	0.43	0
35	Dr Roberto	0.45	0
36	BH	0.46	0
37	Andys	0.46	0
38	EC	0.46	0
39	Mike Honcho	0.46	0
40	Aaron H	0.46	0
41	Jonathan Kwok	0.46	0
42	KingBach	0.46	0
43	David H.	0.48	0
44	Mr. Blobby	0.48	0
45	Sprt	0.49	0
46	Walter Little	0.50	0
47	Charlie Shucheng Zhu	0.52	0
48	burrito	0.55	0
49	Absurdity	0.58	0
50	Mike Hawk	0.58	0
51	Mark Fillmore	0.58	0
52	vhsiao	0.60	0
53	AFC	0.68	0
54	0108	0.69	0
55	John Whelchel	0.69	0
56	Solving For Clauses	0.70	0
57	Andrew Werner	0.73	0
58	CAPS LOCK	0.78	0
59	snowflakes	0.80	0
60	Lisa Kim	0.89	0
61	dfshasdsf12	0.97	0
62	Tree Prophet	1.21	0
63	bigwig	1.27	0
64	David Paulk	1.29	0
65	T. Capote	1.34	0
66	13a	1.69	0
67	soccer	1.74	0
68	An Extremely Ordinary Sloth	1.92	0
69	Joel Faron	2.25	0
70	Anon_K_P	2.55	0
71	ebp	3.20	0
72	Nikhilesh Sigatapu	3.28	0
73	kt4124	3.65	0
74	Khoa	3.77	0
75	The Whitman Whale	6.17	0
76	Brendan Wright	6.66	0
77	bfang	7.73	0
78	Tom T	7.75	0
79	R. A. B.	7.76	0
80	LilThug	8.74	0
81	Blam	12.47	0
82	Samuel Jerome	15.00	2
83	bchouSolver	15.00	8
84	DeeEmEm	15.00	9
85	Boomshanka	4.39	10
86	RedOrangeBlue	15.00	36
87	George Okeowo	1.65	44
88	Cam Porter	15.00	1360
89	Supahaka	3.86	1392
90	cat	15.00	3149
91	BMJ	15.00	3279
92	K.L.	15.00	5689
93	Fanny	2.50	14137
94	Nihar the Great	15.00	2
95	Ravi Tandon	15.00	15
96	Happy	15.00	35
97	weezy	15.00	43
98	Mickey Mouse	15.00	1678
99	Ytterbium	15.00	2
100	Sat Solver 2013	15.00	460
101	David Lackey	15.01	22
102	SuperFan	15.01	3029
103	The Kraken	15.01	1305
104	Tiny Wings	15.01	15
105	Jessie Chen	15.01	986
106	Sally Smith	15.02	2
107	TSATTER	15.06	3518
108	Alex Fish	15.06	11
109	Gewang	15.07	2343
110	Bebe Shi	15.07	640
111	Bob Dondero	15.07	2927
112	cmF5a3ly	15.20	2072
113	Qinlan Shen	15.23	3433
114	Keji Xu	18.51	3
115	cjt	22.50	8
116	Jordan Ash	66.33	10
117	Miranda	-	-
118	Igor	-	-

SatSolvers Ranklist

Generators Ranklist