Spying on clasp-3.0.4-p8
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
@1:del-grow=0 @1:S:contraction=yes @1:otfs=0 @1:heuristic=None @1:F:local-restarts=yes @1:S:deletion=no @1:1:Simp:restarts=20 @1:1:lookahead=atom @1:0:strengthen=no @1:2:Ari:restarts=1 @1:S:counterCond=no @1:0:restarts=+ @1:contraction=4 @1:update-lbd=1 @1:deletion=no @1:S:Ari:aryrestarts=2 @0:sat-prepro=0 @1:2:lookahead=6 @1:save-progress=167 @1:F:update-act=yes @1:sign-def=1 @1:reverse-arcs=1 @1:rand-freq=0.0 @1:S:del-grow=no @1:F:init-moms=yes @0:S:sat-prepro=no @1:F:sign-fix=no @1:init-watches=0
- Meta Data Details
-
Solver | clasp-3.0.4-p8 |
#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 | 39.73 | 20.31 |
PAR10 | 370.50 | 89.54 |
Timeouts | 43 / 351 | 9 / 351 |
Training Performance
| Default | Configured |
Average Runtime | 42.01 | 23.08 |
PAR10 | 387.36 | 112.04 |
Timeouts | 132 / 1032 | 34 / 1032 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
@1:heuristic | 58.40 |
@1:rand-freq | 2.09 |
@1:1:lookahead | 1.34 |
@1:save-progress | 0.77 |
@1:S:deletion | 0.29 |
@1:0:restarts | 0.28 |
@0:S:sat-prepro | 0.21 |
@1:2:lookahead | 0.13 |
@1:update-lbd | 0.12 |
@1:reverse-arcs | 0.09 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
@1:heuristic | 52.66 |
@1:rand-freq | 2.49 |
@1:1:lookahead | 1.76 |
@1:save-progress | 1.32 |
@0:S:sat-prepro | 0.90 |
@1:0:restarts | 0.52 |
@1:0:strengthen | 0.29 |
@1:S:deletion | 0.27 |
@1:update-lbd | 0.26 |
@1:2:lookahead | 0.23 |
- Parameter Importance over Nothing Plots Details