SAT 2005 competition: solver's view of the contest

Competition division

SelectedSolvernameResultTrialsSolvedDiscardedIncorrectEarly exit (Seg. fault)RandomCraftedIndustrialSignaled Problems
adaptnovelty (pdf)
2941657
1657294000(0)107
(107,0)
87
(87,0)
100
(100,0)
0
compsat (pdf)
5441657
1657544008(1)3
(3,0)
226
(143,83)
315
(182,133)
0
csat (pdf)
6411657
1657641001016(0)27
(20,7)
271
(158,113)
343
(186,157)
0
Dew_Satz_1a (pdf)
4481657
16574482020(20)87
(51,36)
193
(127,66)
168
(119,49)
0
Dew_Satz_1b (pdf)
4051657
16574050020(20)84
(50,34)
192
(125,67)
129
(118,11)
0
Dew_Satz_1c (pdf)
4011657
16574011022(22)85
(50,35)
187
(124,63)
129
(118,11)
0
g2wsat (pdf)
4161657
165741610135(0)158
(158,0)
127
(127,0)
131
(131,0)
0
HaifaSat (pdf)
6101657
1657610001006(0)3
(3,0)
251
(156,95)
356
(199,157)
0
HaifaSat2 (pdf)
5941657
1657594001056(0)5
(5,0)
249
(153,96)
340
(193,147)
0
hsat.1 (pdf)
5471657
1657547001(1)17
(17,0)
263
(158,105)
267
(178,89)
0
hsat.5 (pdf)
5461657
1657546101(1)19
(19,0)
262
(157,105)
265
(175,90)
0
hsatrr (pdf)
3731657
1657373001264(1)5
(5,0)
177
(111,66)
191
(139,52)
0
Jerusat1.31_A (pdf)
5961657
1657596100(0)7
(7,0)
276
(167,109)
313
(187,126)
1
Jerusat1.31_B (pdf)
5961657
1657596100(0)11
(10,1)
267
(167,100)
318
(192,126)
1
lsatv1.1 (pdf)
2111657
1657211001390(241)3
(3,0)
97
(61,36)
111
(111,0)
0
minisat_static (pdf)
7311657
1657731002(0)56
(34,22)
299
(163,136)
376
(236,140)
0
ranov (pdf)
4281657
16574280054(28)178
(178,0)
134
(134,0)
116
(116,0)
0
rpaws10 (pdf)
3751657
16573750054(28)151
(151,0)
99
(99,0)
125
(125,0)
0
rrsaps (pdf)
4021657
16574020054(28)116
(116,0)
146
(146,0)
140
(140,0)
0
saps (pdf)
3081657
1657308000(0)101
(101,0)
96
(96,0)
111
(111,0)
0
sat4j.jar (pdf)
5491657
16575490017(0)50
(35,15)
209
(136,73)
290
(181,109)
0
SatELiteGTI (pdf)
7681657
1657768100(0)54
(33,21)
312
(167,145)
402
(250,152)
0
tts-3-0 (pdf)
1531657
16571530095(0)0
(0,0)
98
(20,78)
55
(55,0)
1
vallst.sh
6231657
165762313099(0)17
(17,0)
324
(195,129)
282
(161,121)
4
wllsatv1 (pdf)
3561657
165735600226(0)67
(38,29)
136
(86,50)
153
(143,10)
0
zchaff
5841657
1657584101(0)16
(16,0)
266
(169,97)
302
(185,117)
0
zchaff_rand
6111657
165761100902(24)12
(12,0)
276
(159,117)
323
(180,143)
1
vw
4091657
16574090058(0)148
(148,0)
130
(130,0)
131
(131,0)
0
march_dl (pdf)
5771657
1657577000(0)74
(44,30)
293
(182,111)
210
(132,78)
0
kcnfs-2004
3051657
165730500750(1)140
(80,60)
84
(49,35)
81
(80,1)
0

Demonstration division

SelectedSolvernameResultTrialsSolvedDiscardedIncorrectEarly exit (Seg. fault)RandomCraftedIndustrialSignaled Problems
CirCUsA (pdf)
5831657
1657583000(0)3
(3,0)
280
(133,147)
300
(172,128)
0
CirCUsB (pdf)
5681657
1657568000(0)5
(5,0)
271
(128,143)
292
(166,126)
0
CirCUsD (pdf)
6021657
1657602001(1)4
(4,0)
279
(133,146)
319
(174,145)
0
Dew_Satz_1d (pdf)
4361657
16574360021(21)73
(39,34)
194
(128,66)
169
(120,49)
0
Dew_Satz_1e (pdf)
4311657
16574310020(20)107
(67,40)
156
(107,49)
168
(118,50)
0
eureka_A
6591657
1657659001(1)9
(9,0)
291
(163,128)
359
(200,159)
1
eureka_B
6441657
1657644101(1)5
(5,0)
285
(157,128)
354
(190,164)
1
eureka_C
6461657
1657646102(0)9
(9,0)
265
(162,103)
372
(221,151)
3
kcnfs
3571657
165735700580(494)140
(80,60)
100
(57,43)
117
(91,26)
0
midisat_static (pdf)
5981657
1657598000(0)46
(31,15)
279
(162,117)
273
(168,105)
0
rpaws40 (pdf)
3651657
16573650054(28)112
(112,0)
119
(119,0)
134
(134,0)
0
rpaws5 (pdf)
3161657
16573161054(28)139
(139,0)
76
(76,0)
101
(101,0)
0
SatELite_release
2761657
165727644102(2)12
(0,12)
122
(0,122)
142
(0,142)
0

Please select the category on which you would like to compare the selected solvers: