Spying on cryptominisat
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
ltclean=0.467953542778599 burst=300 probemaxm=1128 blkrest=0 moreminimbin=4727 gluehist=80 sccperc=0.008561938004522185 freq=0.024912371223690614 presimp=0 cleanconflmult=0 eratio=0.9155715749545057 lockuip=561 viviflongmaxm=6 elimcoststrategy=1 locktop=1931 incclean=1.1228698988857637 clbtwsimp=5 calcreach=0 flippolf=400 updateglue=1 cachecutoff=607 startclean=7809 calcpolarall=0 calcpolar1st=0 moreminimcache=22 cachesize=2487 viviffastmaxm=647 restart=geom bva2lit=1 morebump=0 dompickf=3618 perfmult=0.6310402857899134 clean=confdep occredmax=114
- Meta Data Details
-
Solver | cryptominisat |
#Instances (Test) | 351 |
#Instances (Train) | 1032 |
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 | 38.83 | 35.07 |
PAR10 | 369.60 | 219.69 |
Timeouts | 43 / 351 | 24 / 351 |
Training Performance
| Default | Configured |
Average Runtime | 40.16 | 36.45 |
PAR10 | 341.04 | 245.75 |
Timeouts | 115 / 1032 | 80 / 1032 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
sccperc | 9.66 |
moreminimbin | 8.69 |
moreminimcache | 4.00 |
viviffastmaxm | 3.53 |
cachecutoff | 2.83 |
gluehist | 1.51 |
probemaxm | 1.20 |
startclean | 1.13 |
dompickf | 1.09 |
perfmult | 1.09 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
sccperc | 11.11 |
moreminimbin | 10.20 |
moreminimcache | 4.04 |
viviffastmaxm | 3.14 |
gluehist | 2.50 |
startclean | 1.86 |
dompickf | 1.85 |
probemaxm | 1.28 |
clean | 1.22 |
occredmax | 1.19 |
- Parameter Importance over Nothing Plots Details