Spying on YalSAT
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
correct=1 weight=1 unfairfreq=27 pol=1 crit=1 cacheduni=0 best=1 reluctant=1 unirestarts=217730034 defrag=0 hitlim=1389534665 cachemin=1024 prep=1 unipick=4 geomfreq=74 rbfsrate=575769 cachemax=1040085 restart=1996734017 restartouterfactor=1 cached=0 keep=1 toggleuniform=0 restartouter=1 pick=-1 uni=0 fixed=6780014 minchunksize=209
- Meta Data Details
-
Solver | YalSAT |
#Instances (Test) | 250 |
#Instances (Train) | 250 |
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 | 4.89 | 4.47 |
PAR10 | 4.89 | 4.47 |
Timeouts | 0 / 250 | 0 / 250 |
Training Performance
| Default | Configured |
Average Runtime | 6.80 | 4.51 |
PAR10 | 6.80 | 4.51 |
Timeouts | 0 / 250 | 0 / 250 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
unipick | 4.04 |
toggleuniform | 1.39 |
fixed | 1.25 |
hitlim | 0.87 |
minchunksize | 0.80 |
restart | 0.78 |
crit | 0.73 |
cachemax | 0.65 |
unirestarts | 0.47 |
cachemin | 0.44 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
unipick | 15.59 |
hitlim | 3.58 |
toggleuniform | 2.45 |
fixed | 2.03 |
crit | 1.25 |
minchunksize | 0.98 |
restartouterfactor | 0.70 |
unirestarts | 0.67 |
restart | 0.61 |
pick | 0.56 |
- Parameter Importance over Nothing Plots Details