Spying on cryptominisat
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
ltclean=0.5460628486303287 burst=300 probemaxm=2877 blkrest=0 moreminimbin=749 gluehist=82 sccperc=0.014829804097617983 freq=0.0499956702445943 presimp=0 cleanconflmult=0 eratio=0.12893402226628603 lockuip=377 viviflongmaxm=26 elimcoststrategy=1 locktop=1251 incclean=1.034347210789115 clbtwsimp=4 calcreach=1 flippolf=0 updateglue=0 cachecutoff=1756 startclean=23956 calcpolarall=0 calcpolar1st=0 moreminimcache=62 cachesize=3032 viviffastmaxm=117 restart=glue bva2lit=1 morebump=1 dompickf=103 perfmult=1.0298406542082357E-4 clean=size occredmax=191
- Meta Data Details
-
Solver | cryptominisat |
#Instances (Test) | 351 |
#Instances (Train) | 484 |
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 | 22.55 | 11.96 |
PAR10 | 37.94 | 27.34 |
Timeouts | 2 / 351 | 2 / 351 |
Training Performance
| Default | Configured |
Average Runtime | 19.50 | 9.77 |
PAR10 | 41.82 | 9.77 |
Timeouts | 4 / 484 | 0 / 484 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
restart | 30.33 |
freq | 7.16 |
startclean | 1.54 |
gluehist | 1.16 |
incclean | 0.56 |
moreminimcache | 0.48 |
clean | 0.31 |
locktop | 0.20 |
updateglue | 0.18 |
occredmax | 0.16 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
restart | 39.55 |
startclean | 7.11 |
incclean | 3.64 |
freq | 3.45 |
gluehist | 1.69 |
lockuip | 1.55 |
clean | 0.61 |
viviffastmaxm | 0.53 |
cachesize | 0.44 |
moreminimcache | 0.44 |
- Parameter Importance over Nothing Plots Details