SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist