Spying on minisat-HACK-999ED-CSSC
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
ccmin-mode=1 K-val=0.9 luby=0 cp-increase=15000 R-val=1.4 cla-decay=0.99 lbd-cut-max=6 core-tolerance=0.04 lbd-cut=5
- Meta Data Details
-
Solver | minisat-HACK-999ED-CSSC |
#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 | 45.07 | 44.46 |
PAR10 | 429.69 | 429.07 |
Timeouts | 50 / 351 | 50 / 351 |
Training Performance
| Default | Configured |
Average Runtime | 44.76 | 43.83 |
PAR10 | 418.89 | 415.34 |
Timeouts | 143 / 1032 | 142 / 1032 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
ccmin-mode | 19.07 |
lbd-cut-max | 14.65 |
cp-increase | 12.38 |
core-tolerance | 9.70 |
cla-decay | 3.58 |
luby | 2.59 |
lbd-cut | 1.07 |
R-val | 0.01 |
K-val | 0.00 |
rfirst | 0.00 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
cp-increase | 20.63 |
lbd-cut-max | 9.26 |
cla-decay | 5.94 |
ccmin-mode | 3.81 |
luby | 2.94 |
lbd-cut | 2.41 |
core-tolerance | 2.36 |
R-val | 0.00 |
rfirst | 0.00 |
K-val | 0.00 |
- Parameter Importance over Nothing Plots Details