Results written on Wed Oct 14 17:01:01 2015 UTC using the PAVER 2 tools.
| 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.localExamYes |
| evalgap | [0.01, 0.1] |
| figformat | png |
| filternodes | |
| failnodes | |
| novirt | |
| failtime | 900.0 |
| bw | |
| optfileisrunname | |
| eval | |
| boundrelimpr | 0.1 |
| ccfeastol | 1e-05 |
| zerogaptol | 1e-09 |
| instances | |
| extendedprofiles | |
| numpts | 40 |
| setup | |
| filtertime | 10.0 |
| ccopttol | 1e-05 |