SatSolvers Ranklist Generators Ranklist

Stats for formula: Joshua Zimmer-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 Joshua Zimmer-1 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf Joshua Zimmer-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: Joshua Zimmer-1
Rank of generator: 90 / 114
Average score: 1.36
Median score: 0.01
Best solver: haoyu
Description: This generates CNF models corresponding to a Bar Mitzvah party where every guest can request to sit with other people or avoid other people. Every table seats a variable number of individuals and there are a fixed number of tables. The number of invited guests exactly fills up all the tables.
Solver Time taken Unsat
1haoyu 0.00 0
2bigwig 0.00 0
3burrito 0.00 0
4Glenn Fisher 0.00 0
5Keji Xu 0.01 0
6Jameh 0.01 0
7Andrew Grasso 0.01 0
8dusty 0.01 0
9Nihar the Great 0.01 0
10Aristotle 0.01 0
11Charlie Shucheng Zhu 0.01 0
12Mike Hawk 0.01 0
13Anon5 0.01 0
14Yan Wu 0.01 0
15snowflakes 0.01 0
16KingBach 0.01 0
17Absurdity 0.01 0
180108 0.01 0
19Aaron H 0.01 0
20Janie Gu 0.01 0
21R. A. B. 0.01 0
22David H. 0.01 0
23Mercury 0.01 0
24Walter Little 0.01 0
25Jonathan Kwok 0.01 0
2613a 0.01 0
27Yacob Y. 0.01 0
28Deric Cheng 0.01 0
29Matt Goldsmith 0.01 0
30ModifiedWalkSatBreakZero 0.01 0
31Ben Chen 0.01 0
32Matt Haake 0.01 0
33Ytterbium 0.01 0
34Sabar Dasgupta 0.01 0
35Aaron Doll 0.01 0
36Joshua Zimmer 0.01 0
37EC 0.01 0
38NA 0.01 0
39Bar Shabtai 0.01 0
40Tao 0.01 0
41spl 0.01 0
42Quite Satisfied 0.01 0
43jgs 0.01 0
44Solving For Clauses 0.01 0
45kt4124 0.01 0
46Lisa Kim 0.01 0
47Samuel Jerome 0.01 0
48HashTagAlreadyFallBreak 0.01 0
49Sprt 0.01 0
50Alex Fish 0.01 0
51Mike Honcho 0.01 0
52Andys 0.01 0
53Elphaba 0.01 0
54Shaheed Chagani 0.01 0
55Blam 0.01 0
56dfshasdsf12 0.01 0
57Khoa 0.01 0
58Linda 0.01 0
59Mark Fillmore 0.01 0
60Andrew Werner 0.01 0
61Valya Barboy 0.01 0
62CAPS LOCK 0.01 0
63Sally Smith 0.01 0
64David Paulk 0.01 0
65An Extremely Ordinary Sloth0.01 0
66T. Capote 0.01 0
67Jordan Ash 0.01 0
68Green "The Bean" Choi 0.01 0
69weezy 0.01 0
70Mr. Blobby 0.01 0
71BH 0.01 0
72John Whelchel 0.02 0
73Boomshanka 0.02 0
74CookieMonster 0.02 0
75Miranda 0.02 0
76jabreezy 0.02 0
77Sunny 0.02 0
78bfang 0.02 0
79Fanny 0.02 0
80soccer 0.02 0
81Gewang 0.03 0
82cjt 0.03 0
83vhsiao 0.03 0
84Jessie Chen 0.03 0
85Mickey Mouse 0.03 0
86David Lackey 0.03 0
87Nikhilesh Sigatapu 0.03 0
88Bebe Shi 0.03 0
89Tree Prophet 0.03 0
90AFC 0.03 0
91ebp 0.04 0
92cmF5a3ly 0.04 0
93Dr Roberto 0.04 0
94bchouSolver 0.05 0
95Tiny Wings 0.05 0
96The Whitman Whale 0.06 0
97Ravi Tandon 0.06 0
98Joel Faron 0.07 0
99RedOrangeBlue 0.07 0
100DeeEmEm 0.07 0
101Anon_K_P 0.07 0
102Tom T 0.09 0
103Happy 0.11 0
104Brendan Wright 0.16 0
105Qinlan Shen 0.27 0
106SuperFan 0.36 0
107Bob Dondero 6.87 0
108The Kraken 15.00 11
109cat 14.99 13
110George Okeowo 0.03 16
111BMJ 15.00 27
112Supahaka 0.03 47
113Cam Porter 15.00 78
114K.L. 15.00 195
115LilThug 15.00 1
116Sat Solver 2013 15.00 35
117TSATTER 15.00 54
118Igor - -


SatSolvers Ranklist Generators Ranklist