SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist