SatSolvers Ranklist Generators Ranklist

Stats for formula: The Whitman Whale-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 The Whitman Whale-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf The Whitman Whale-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: The Whitman Whale-0
Rank of generator: 58 / 114
Average score: 5.27
Median score: 0.18
Best solver: bigwig
Description: A dinner-party based cnf generator. Creates cnfs that are equivalent to a dinner party with 20 guests at a circular table, with 40 illegal adjacencies.
Solver Time taken Unsat
1bigwig 0.04 0
2Jameh 0.05 0
3Mercury 0.05 0
4Jonathan Kwok 0.05 0
513a 0.05 0
6Elphaba 0.06 0
7ModifiedWalkSatBreakZero 0.06 0
8Anon5 0.06 0
9Mr. Blobby 0.06 0
10Glenn Fisher 0.06 0
11NA 0.07 0
12dusty 0.07 0
13HashTagAlreadyFallBreak 0.07 0
14EC 0.07 0
15David H. 0.07 0
16Aaron Doll 0.08 0
17Aristotle 0.08 0
18Andrew Grasso 0.09 0
19Linda 0.09 0
20spl 0.09 0
21Lisa Kim 0.09 0
22Mike Hawk 0.09 0
23David Paulk 0.10 0
24Charlie Shucheng Zhu 0.10 0
25Sprt 0.10 0
26Shaheed Chagani 0.10 0
27John Whelchel 0.10 0
28snowflakes 0.10 0
29Matt Goldsmith 0.10 0
30KingBach 0.10 0
31Janie Gu 0.11 0
32Aaron H 0.11 0
33Andys 0.11 0
34CookieMonster 0.11 0
35Quite Satisfied 0.11 0
36Walter Little 0.12 0
37Solving For Clauses 0.12 0
38Mark Fillmore 0.12 0
39Deric Cheng 0.12 0
40Yacob Y. 0.13 0
41Absurdity 0.13 0
42burrito 0.13 0
43Andrew Werner 0.13 0
44Sabar Dasgupta 0.13 0
45Tao 0.14 0
46Bar Shabtai 0.14 0
47Ben Chen 0.14 0
48Matt Haake 0.15 0
49CAPS LOCK 0.15 0
50BH 0.15 0
51Joshua Zimmer 0.15 0
520108 0.15 0
53Khoa 0.15 0
54vhsiao 0.17 0
55jgs 0.17 0
56Yan Wu 0.17 0
57dfshasdsf12 0.18 0
58T. Capote 0.21 0
59Fanny 0.22 0
60soccer 0.28 0
61Blam 0.28 0
62Keji Xu 0.30 0
63Mike Honcho 0.35 0
64An Extremely Ordinary Sloth0.37 0
65Valya Barboy 0.37 0
66Boomshanka 0.39 0
67R. A. B. 0.40 0
68Nikhilesh Sigatapu 0.42 0
69kt4124 0.94 0
70Tiny Wings 1.09 0
71bfang 1.34 0
72Sally Smith 2.49 0
73Alex Fish 3.20 0
74Tom T 4.39 0
75David Lackey 5.74 0
76Jessie Chen 8.27 0
77Gewang 11.39 0
78Ytterbium 12.70 0
79Jordan Ash 14.28 0
80Samuel Jerome 15.00 2
81Brendan Wright 15.00 6
82bchouSolver 15.00 6
83Joel Faron 15.00 10
84Dr Roberto 14.99 10
85ebp 14.99 11
86haoyu 15.00 13
87Green "The Bean" Choi 15.00 13
88cat 14.99 14
89The Whitman Whale 15.00 14
90RedOrangeBlue 14.99 40
91George Okeowo 0.17 40
92DeeEmEm 15.00 40
93BMJ 15.00 61
94Cam Porter 15.00 1155
95Supahaka 12.96 1868
96K.L. 15.00 7459
97LilThug 15.00 3
98Nihar the Great 15.00 4
99Ravi Tandon 15.00 5
100weezy 15.00 7
101AFC 15.00 7
102Happy 15.00 31
103Sat Solver 2013 15.00 184
104Mickey Mouse 15.00 1959
105Bebe Shi 15.00 2
106The Kraken 15.00 21
107Tree Prophet 15.00 15
108SuperFan 15.01 1470
109Anon_K_P 15.01 59
110TSATTER 15.01 1919
111Bob Dondero 15.02 1445
112cmF5a3ly 15.03 500
113Qinlan Shen 15.07 1380
114cjt 15.31 0
115jabreezy - -
116Sunny - -
117Miranda - -
118Igor - -


SatSolvers Ranklist Generators Ranklist