SatSolvers Ranklist Generators Ranklist

Stats for formula: EC-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 EC-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf EC-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: EC-0
Rank of generator: 30 / 114
Average score: 10.34
Median score: 15.00
Best solver: haoyu
Description: Dinner Party Problem w/ a round table and no hosts. Each person (A) has one other person (B) that person(A) must be placed with, and two other people (C, D) that person (A) cannot be placed with.
Solver Time taken Unsat
1haoyu 0.03 0
2Aristotle 0.13 0
3Charlie Shucheng Zhu 0.21 0
4AFC 0.23 0
5DeeEmEm 0.28 0
6Dr Roberto 0.28 0
7Matt Goldsmith 0.28 0
8Shaheed Chagani 0.29 0
9Tree Prophet 0.36 0
10Green "The Bean" Choi 0.54 0
11dusty 0.66 0
12David H. 0.72 0
13Joel Faron 0.88 0
14Quite Satisfied 0.94 0
15The Whitman Whale 0.98 0
16EC 0.99 0
17Glenn Fisher 1.32 0
18spl 1.47 0
19CookieMonster 1.57 0
20ebp 1.59 0
21ModifiedWalkSatBreakZero 1.70 0
22Jonathan Kwok 1.89 0
23Brendan Wright 1.91 0
24Mike Hawk 2.04 0
25Nikhilesh Sigatapu 2.32 0
26Fanny 2.42 0
27Aaron Doll 2.65 0
28Matt Haake 2.67 0
29dfshasdsf12 3.09 0
30Andrew Werner 3.26 0
31Anon_K_P 3.27 0
32BH 3.49 0
33Walter Little 3.55 0
34Tao 3.75 0
35Yan Wu 4.34 0
36Ben Chen 4.50 0
37Deric Cheng 5.04 0
38bfang 5.92 0
39jgs 6.38 0
40Sunny 7.10 0
41Mike Honcho 8.42 0
42vhsiao 9.96 0
43snowflakes 10.46 0
44Sabar Dasgupta 14.49 0
45NA 14.99 2
46Andrew Grasso 15.00 2
4713a 15.00 2
48Bar Shabtai 15.00 2
49Samuel Jerome 15.00 4
50CAPS LOCK 13.00 4
51Janie Gu 15.00 7
52R. A. B. 9.00 7
53John Whelchel 15.00 8
54HashTagAlreadyFallBreak 15.00 10
55bchouSolver 15.00 14
56Elphaba 0.04 19
57George Okeowo 0.29 20
58soccer 15.00 26
59T. Capote 15.00 30
60bigwig 15.00 32
61RedOrangeBlue 14.99 412
62Boomshanka 15.00 561
63BMJ 15.00 786
64Cam Porter 15.00 3462
65cat 14.99 4274
66K.L. 15.00 15024
67Mr. Blobby 15.00 1
68Joshua Zimmer 15.00 1
69Sprt 15.00 1
70Anon5 15.00 1
71Aaron H 15.00 2
72An Extremely Ordinary Sloth15.00 2
73KingBach 15.00 3
74Mercury 15.00 3
75Mark Fillmore 15.00 4
76Jameh 15.00 5
77Solving For Clauses 15.00 5
78Nihar the Great 15.00 7
79Yacob Y. 15.00 8
800108 15.00 10
81Ravi Tandon 15.00 13
82weezy 15.00 16
83kt4124 15.00 17
84Happy 15.00 19
85Khoa 15.00 20
86Linda 15.00 23
87Sat Solver 2013 15.00 1083
88Supahaka 15.00 2787
89Mickey Mouse 15.00 3188
90Andys 15.00 1
91Valya Barboy 15.00 1
92burrito 15.00 19
93Blam 15.00 24
94Ytterbium 15.00 4
95Absurdity 15.00 5
96David Lackey 15.00 7
97Lisa Kim 15.00 7
98LilThug 15.01 8
99The Kraken 15.01 25
100Tiny Wings 15.01 71
101Sally Smith 15.01 19
102Alex Fish 15.01 4
103cmF5a3ly 15.01 7
104SuperFan 15.01 3146
105Bob Dondero 15.01 2686
106TSATTER 15.02 4195
107Jessie Chen 15.02 28
108Bebe Shi 15.03 9
109Gewang 15.03 502
110Keji Xu 15.14 10
111Qinlan Shen 15.22 3624
112Jordan Ash 19.28 20
113cjt 22.50 29
114Tom T 27.16 2
115David Paulk - -
116jabreezy - -
117Miranda - -
118Igor - -


SatSolvers Ranklist Generators Ranklist