SatSolvers Ranklist Generators Ranklist

Stats for formula: CookieMonster-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 CookieMonster-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf CookieMonster-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: CookieMonster-0
Rank of generator: 1 / 114
Average score: 14.69
Median score: 15.00
Best solver: CookieMonster
Description: PrisonBreak is a random satisfiable cnf generator which is a reduction of a prisoner trying to avoid searchlights as he makes his escape towards a goal. The prison yard (represented linearly, as a straight dashtowards the exit) is given a certain size, and the prisoner has a certain amount of time to reach the exit before the hounds areset loose. Finally, a certain number of searchlights constantlysweep different points in the yard. The prisoner must make hisway to the exit within the alloted number of time steps, withoutever occupying the same space as a searchlight.
Solver Time taken Unsat
1CookieMonster 0.82 0
2dusty 3.21 0
3BH 7.35 0
4Joel Faron 15.00 1
5Brendan Wright 15.00 1
6Andrew Werner 15.00 1
7Janie Gu 15.00 1
8Dr Roberto 14.99 1
9DeeEmEm 15.00 1
10jgs 14.98 1
11haoyu 15.00 1
12The Whitman Whale 15.00 1
1313a 15.00 1
14Aristotle 15.00 1
15Tao 15.00 1
16Samuel Jerome 15.00 1
17spl 15.00 1
18bfang 15.00 1
19Matt Goldsmith 15.00 1
20HashTagAlreadyFallBreak 15.00 1
21ModifiedWalkSatBreakZero 15.00 1
22snowflakes 15.00 2
23vhsiao 14.99 2
24Glenn Fisher 15.00 2
25John Whelchel 15.00 2
26George Okeowo 0.33 3
27NA 15.00 4
28bigwig 15.00 4
29CAPS LOCK 13.00 10
30Green "The Bean" Choi 15.00 11
31bchouSolver 15.00 12
32Nikhilesh Sigatapu 15.00 13
33Boomshanka 0.34 14
34R. A. B. 9.00 15
35cat 14.99 18
36T. Capote 15.00 23
37Elphaba 0.03 26
38RedOrangeBlue 14.99 28
39Sunny 14.98 32
40BMJ 15.00 1465
41Supahaka 8.33 1501
42Cam Porter 15.00 3018
43K.L. 15.00 14991
44Matt Haake 15.00 1
45KingBach 15.00 1
46Absurdity 15.00 1
47Aaron H 15.00 1
48Shaheed Chagani 15.00 1
49dfshasdsf12 15.00 1
50Mike Honcho 15.00 1
51Andys 15.00 1
52Valya Barboy 15.00 1
53Mr. Blobby 15.00 1
54Andrew Grasso 15.00 1
55Mike Hawk 15.00 1
56Walter Little 15.00 1
57Jonathan Kwok 15.00 1
58Charlie Shucheng Zhu 15.00 1
59Joshua Zimmer 15.00 1
60Deric Cheng 15.00 1
61Anon5 15.00 1
62Aaron Doll 15.00 2
63Yacob Y. 15.00 2
64Quite Satisfied 15.00 2
650108 15.00 3
66Fanny 15.00 3
67Mark Fillmore 15.00 3
68Lisa Kim 15.00 5
69Blam 15.00 6
70LilThug 15.00 7
71Jameh 15.00 10
72AFC 15.00 10
73Solving For Clauses 15.00 11
74burrito 15.00 13
75Ravi Tandon 15.00 15
76Linda 15.00 16
77Keji Xu 15.00 19
78weezy 15.00 21
79Happy 15.00 27
80Khoa 15.00 32
81Sat Solver 2013 15.00 351
82Mickey Mouse 15.00 3204
83David H. 15.00 4064
84An Extremely Ordinary Sloth15.00 1
85Tree Prophet 15.00 1
86Ytterbium 15.00 1
87Nihar the Great 15.00 1
88Sprt 15.00 1
89Ben Chen 15.00 1
90kt4124 15.00 3
91Mercury 15.00 1
92EC 15.00 2
93Sally Smith 15.00 21
94Tiny Wings 15.00 35
95Sabar Dasgupta 15.00 1
96The Kraken 15.00 26
97Anon_K_P 15.01 1
98Gewang 15.01 1420
99TSATTER 15.04 4203
100Jessie Chen 15.05 445
101David Lackey 15.06 10
102SuperFan 15.06 3362
103Bebe Shi 15.06 343
104Bob Dondero 15.07 1225
105Alex Fish 15.08 7
106cmF5a3ly 15.08 1032
107Qinlan Shen 15.11 3098
108cjt 22.50 21
109Jordan Ash 35.20 32
110Tom T 35.99 1
111David Paulk - -
112Yan Wu - -
113jabreezy - -
114soccer - -
115Miranda - -
116Bar Shabtai - -
117ebp - -
118Igor - -


SatSolvers Ranklist Generators Ranklist