Spying on cryptominisat
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
ltclean=0.6108956634373184 burst=2000 probemaxm=2984 blkrest=0 moreminimbin=64 gluehist=245 sccperc=0.00957838914883355 freq=0.011424115799304958 presimp=0 cleanconflmult=2 eratio=0.5148552276094975 lockuip=351 viviflongmaxm=5 elimcoststrategy=1 locktop=949 incclean=1.1233234007971102 clbtwsimp=5 calcreach=1 flippolf=400 updateglue=1 cachecutoff=3379 startclean=476 calcpolarall=1 calcpolar1st=1 moreminimcache=56 cachesize=3065 viviffastmaxm=735 restart=glueagility bva2lit=1 morebump=1 dompickf=229 perfmult=1.5402808535865236E-5 clean=confdep occredmax=114
- Meta Data Details
-
Solver | cryptominisat |
#Instances (Test) | 351 |
#Instances (Train) | 350 |
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 | 90.04 | 92.10 |
PAR10 | 820.81 | 807.48 |
Timeouts | 95 / 351 | 93 / 351 |
Training Performance
| Default | Configured |
Average Runtime | 84.63 | 86.66 |
PAR10 | 771.21 | 773.24 |
Timeouts | 89 / 350 | 89 / 350 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
probemaxm | 9.56 |
cachecutoff | 7.67 |
ltclean | 3.20 |
locktop | 3.16 |
moreminimcache | 2.15 |
dompickf | 2.12 |
presimp | 1.77 |
moreminimbin | 1.75 |
eratio | 1.55 |
gluehist | 1.40 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
probemaxm | 6.90 |
ltclean | 6.49 |
cachecutoff | 4.69 |
moreminimcache | 2.48 |
clean | 2.35 |
locktop | 2.00 |
gluehist | 1.91 |
lockuip | 1.70 |
presimp | 1.66 |
startclean | 1.45 |
- Parameter Importance over Nothing Plots Details