Spying on cryptominisat
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
ltclean=0.5197314748950986 burst=100 probemaxm=1248 blkrestmultip=1.616462490539555 blkrest=1 moreminimbin=86 gluehist=104 sccperc=0.0076618491996387275 freq=0.007952764044192847 presimp=0 cleanconflmult=0 eratio=0.3378308335657559 lockuip=722 viviflongmaxm=21 elimcoststrategy=0 locktop=941 incclean=1.3895828182615204 clbtwsimp=2 calcreach=1 flippolf=0 updateglue=1 cachecutoff=2040 startclean=437 calcpolarall=1 calcpolar1st=0 moreminimcache=546 cachesize=1392 viviffastmaxm=204 restart=glue bva2lit=1 blkrestlen=4447 morebump=0 dompickf=630 perfmult=0.17508489465599686 clean=activity occredmax=171
- Meta Data Details
-
Solver | cryptominisat |
#Instances (Test) | 302 |
#Instances (Train) | 382 |
os system | Linux |
os release | 3.13.0-39-generic |
cpu vendor | GenuineIntel |
cpu brand | Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz |
cpu hz | 2.6000 GHz |
cpu arch | X86_64 |
cpu count | 16 |
cutoff | 300 |
verbosity | INFO |
repetitions | 1 |
budget | 86400 |
prefix | - |
seed | 0 |
memory | 2000 |
outputdir | . |
- Performance Overview Details
-
Test Performance
| Default | Configured |
Average Runtime | 77.48 | 78.58 |
PAR10 | 703.30 | 695.47 |
Timeouts | 70 / 302 | 69 / 302 |
Training Performance
| Default | Configured |
Average Runtime | 74.55 | 75.26 |
PAR10 | 647.06 | 640.71 |
Timeouts | 81 / 382 | 80 / 382 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
eratio | 5.42 |
freq | 4.36 |
lockuip | 4.20 |
startclean | 3.79 |
viviffastmaxm | 3.46 |
ltclean | 3.15 |
restart | 2.67 |
calcpolar1st | 2.34 |
viviflongmaxm | 2.18 |
incclean | 1.69 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
eratio | 4.73 |
cachecutoff | 3.91 |
startclean | 3.79 |
restart | 3.64 |
ltclean | 3.34 |
dompickf | 3.31 |
freq | 3.23 |
lockuip | 2.84 |
viviffastmaxm | 2.23 |
sccperc | 2.19 |
- Parameter Importance over Nothing Plots Details