SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist