Stats for formula: Sunny-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 Sunny-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Sunny-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:	Sunny-0
Rank of generator:	63 / 114
Average score:	4.18
Median score:	0.23
Best solver:	Green "The Bean" Choi
Description:	This is the farmer sheep, cabbage, and wolf problem: The farmer wants to carry his sheep, cabbage and wolf across the river, but he can only carry 1 at a time using his boat.If the farmer is not present, the sheep will eat the cabbage and the wolf will eat the sheep

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

SatSolvers Ranklist

Generators Ranklist