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: