SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist