SatSolvers Ranklist Generators Ranklist

Stats for formula: DeeEmEm-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 DeeEmEm-0 and how many clauses it left unsatisfied. A blank symbol denotes the satsolver took more than 150 seconds for cnf DeeEmEm-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: DeeEmEm-0
Rank of generator: * / 114
Average score: 14.98
Median score: 15.00
Best solver: CAPS LOCK
Description: Two groups of people at a dance select members of the other group they'd like to dance with. 10 people per group, each choose between 4 and 6 from other group.
Solver Time taken Unsat
1CAPS LOCK 13.00 1
2jgs 14.98 1
3NA 14.99 1
4Andrew Werner 15.00 1
5Andrew Grasso 15.00 1
6CookieMonster 15.00 1
713a 15.00 1
8Aristotle 15.00 1
9Tao 15.00 1
10spl 15.00 1
11ModifiedWalkSatBreakZero 15.00 1
12Mercury 15.00 1
13Joel Faron 15.00 2
14R. A. B. 9.00 2
15haoyu 14.99 2
16Glenn Fisher 15.00 2
17John Whelchel 15.00 2
18HashTagAlreadyFallBreak 15.00 2
19Janie Gu 15.00 3
20Dr Roberto 14.99 3
21bfang 15.00 3
22Matt Goldsmith 15.00 3
23Boomshanka 1.90 3
24snowflakes 15.00 4
25T. Capote 15.00 5
26Samuel Jerome 15.00 5
27Tree Prophet 0.26 6
28The Whitman Whale 0.81 6
29Brendan Wright 1.91 7
30vhsiao 14.98 7
31soccer 15.00 8
32bigwig 15.00 10
33bchouSolver 15.00 10
34DeeEmEm 0.15 12
35Bar Shabtai 15.00 12
36Elphaba 0.02 16
37Nikhilesh Sigatapu 2.71 17
38George Okeowo 0.07 20
39ebp 2.03 20
40Green "The Bean" Choi 0.20 20
41The Kraken 15.00 22
42RedOrangeBlue 14.99 46
43cat 14.99 211
44BMJ 15.00 252
45Anon_K_P 15.00 255
46Cam Porter 15.00 315
47Supahaka 1.62 357
48K.L. 15.00 1732
49Matt Haake 15.00 1
50KingBach 15.00 1
51Aaron H 15.00 1
52An Extremely Ordinary Sloth15.00 1
53Fanny 15.00 1
54Mike Honcho 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
60Mike Hawk 15.00 1
61BH 15.00 1
62dusty 15.00 1
63Solving For Clauses 15.00 1
64Jonathan Kwok 15.00 1
65Yacob Y. 15.00 1
66Mark Fillmore 15.00 1
67Joshua Zimmer 15.00 1
68Deric Cheng 15.00 1
69Sprt 15.00 1
70Ben Chen 15.00 1
71Anon5 15.00 1
72Absurdity 15.00 2
73dfshasdsf12 15.00 2
74Gewang 15.00 2
75Aaron Doll 15.00 2
76EC 15.00 2
770108 15.00 3
78Shaheed Chagani 15.00 3
79Ytterbium 15.00 3
80Keji Xu 15.00 3
81Walter Little 15.00 3
82Lisa Kim 15.00 3
83Sally Smith 15.00 4
84Quite Satisfied 15.00 4
85burrito 15.00 5
86weezy 15.00 6
87Happy 15.00 6
88AFC 15.00 6
89Ravi Tandon 15.00 6
90Bebe Shi 15.00 7
91SuperFan 15.00 7
92Nihar the Great 15.00 7
93kt4124 15.00 7
94Linda 15.00 7
95Tiny Wings 15.00 8
96LilThug 15.00 9
97Blam 15.00 11
98Khoa 15.00 20
99Bob Dondero 15.00 114
100Sat Solver 2013 15.00 186
101Mickey Mouse 15.00 403
102David H. 15.00 473
103Alex Fish 15.00 3
104David Lackey 15.00 4
105Jessie Chen 15.00 8
106cmF5a3ly 15.00 6
107Qinlan Shen 15.00 7
108TSATTER 15.01 478
109Jordan Ash 15.69 4
110Tom T 15.94 1
111Yan Wu 16.01 6
112cjt 19.39 7
113Charlie Shucheng Zhu 22.50 1
114David Paulk - -
115jabreezy - -
116Sunny - -
117Miranda - -
118Igor - -


SatSolvers Ranklist Generators Ranklist