Results written on Wed Oct 14 17:00:31 2015 UTC using the PAVER 2 tools.

Documentation


Solver
dasher
dancer
comet
cupid
donner

Number of Instances: 411

Detailed Instance and Solving Data

(Raw Data)


Statistics:


PAVER options:
solufile  
writetext  
ccreltol 1e-06
timeshift 10.0
nodeshift 100
refsolver  
nosortsolver  
file ['globallib/dasher.trc', 'globallib/dancer.trc', 'globallib/comet.trc', 'globallib/cupid.trc', 'globallib/donner.trc', '../solu/globallib.solu']
ccabstol 0.0001
ignoredualbounds  
tracefile  
timerelimpr 0.1
mintime 0.1
gaptol 1e-06
writehtml globallib.localExamNo
evalgap [0.01, 0.1]
figformat png
filternodes  
failnodes  
novirt  
failtime 900.0
bw  
optfileisrunname  
eval  
boundrelimpr 0.1
ccfeastol inf
zerogaptol 1e-09
instances  
extendedprofiles  
numpts 40
setup  
filtertime 10.0
ccopttol inf