SatSolvers Ranklist Generators Ranklist

Stats for formula: Sunny-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 Sunny-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Sunny-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: Sunny-1
Rank of generator: 63 / 114
Average score: 3.91
Median score: 0.20
Best solver: jabreezy
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
1jabreezy 0.01 0
2Deric Cheng 0.02 0
3Green "The Bean" Choi 0.02 0
4Sunny 0.02 0
5Mercury 0.03 0
6Solving For Clauses 0.03 0
7dusty 0.03 0
8EC 0.03 0
9jgs 0.03 0
10AFC 0.03 0
11Aaron H 0.04 0
12Jonathan Kwok 0.04 0
13Anon5 0.04 0
14bfang 0.05 0
15Ben Chen 0.05 0
16Nikhilesh Sigatapu 0.05 0
17HashTagAlreadyFallBreak 0.05 0
18T. Capote 0.05 0
19Jameh 0.06 0
20Janie Gu 0.06 0
21R. A. B. 0.06 0
22NA 0.06 0
23Mike Hawk 0.06 0
24KingBach 0.07 0
25Dr Roberto 0.07 0
26Keji Xu 0.07 0
27snowflakes 0.07 0
28dfshasdsf12 0.07 0
29CAPS LOCK 0.07 0
30Charlie Shucheng Zhu 0.08 0
31Aristotle 0.08 0
32John Whelchel 0.08 0
33Sprt 0.09 0
34burrito 0.09 0
35Matt Haake 0.09 0
36Tree Prophet 0.09 0
37Shaheed Chagani 0.09 0
38Lisa Kim 0.09 0
39spl 0.10 0
40BH 0.10 0
41Walter Little 0.11 0
42Linda 0.11 0
43Fanny 0.11 0
44kt4124 0.12 0
45Joshua Zimmer 0.12 0
46Andys 0.12 0
47Mr. Blobby 0.13 0
48Matt Goldsmith 0.13 0
49David H. 0.15 0
50Yan Wu 0.16 0
51DeeEmEm 0.17 0
52Andrew Grasso 0.18 0
530108 0.18 0
54An Extremely Ordinary Sloth0.20 0
55Quite Satisfied 0.20 0
56Sabar Dasgupta 0.20 0
57Aaron Doll 0.20 0
58CookieMonster 0.24 0
59Brendan Wright 0.25 0
60ModifiedWalkSatBreakZero 0.25 0
61Mark Fillmore 0.26 0
62Khoa 0.30 0
63cjt 0.31 0
64Yacob Y. 0.31 0
65The Whitman Whale 0.32 0
66Andrew Werner 0.34 0
67Anon_K_P 0.37 0
68Valya Barboy 0.43 0
69Mike Honcho 0.46 0
70bigwig 0.47 0
71Jessie Chen 0.52 0
72Tao 0.68 0
73Joel Faron 0.85 0
74Gewang 0.89 0
75Glenn Fisher 0.95 0
76David Lackey 0.95 0
77Blam 1.27 0
78haoyu 1.59 0
79Sally Smith 1.88 0
80weezy 1.94 0
81vhsiao 2.27 0
8213a 2.31 0
83Qinlan Shen 3.92 0
84Absurdity 3.94 0
85Tom T 4.67 0
86Tiny Wings 9.77 0
87Samuel Jerome 15.00 3
88Boomshanka 0.08 9
89bchouSolver 15.00 11
90cat 14.99 18
91Elphaba 0.01 21
92George Okeowo 0.05 46
93RedOrangeBlue 14.99 58
94Supahaka 0.04 59
95The Kraken 15.00 67
96BMJ 15.00 71
97Cam Porter 15.00 87
98K.L. 15.00 292
99Alex Fish 15.00 1
100Ytterbium 15.00 1
101Nihar the Great 15.00 1
102Happy 15.00 1
103cmF5a3ly 15.00 4
104SuperFan 15.00 6
105Bob Dondero 15.00 6
106Bebe Shi 15.00 9
107LilThug 15.00 10
108Miranda 15.00 13
109Ravi Tandon 15.00 19
110TSATTER 15.00 126
111Mickey Mouse 15.00 134
112Jordan Ash 15.05 66
113David Paulk - -
114soccer - -
115Bar Shabtai - -
116ebp - -
117Igor - -
118Sat Solver 2013 - -


SatSolvers Ranklist Generators Ranklist