Spying on clasp-3.0.4-p8
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
@1:rand-freq=0.01 @1:S:contraction=yes @1:otfs=2 @1:heuristic=Vsids @1:del-on-restart=0 @1:vsids-decay=96 @0:3:sat-prepro=-1 @1:F:local-restarts=no @1:2:del-grow=40.654454297154885 @1:0:del-cfl=no @1:1:lookahead=body @1:1:Dyn:restarts=100 @1:2:deletion=75 @1:S:deletion=yes @1:3:Dyn:restarts=30 @0:2:sat-prepro=25 @1:save-progress=180 @1:0:restarts=D @1:3:deletion=0 @1:1:del-init=3.0 @1:contraction=250 @1:update-lbd=2 @1:0:strengthen=no @1:2:del-glue=0 @1:1:del-grow=1.1 @1:del-max=901714858 @1:2:Dyn:restarts=0.7 @1:3:del-init=9000 @1:2:lookahead=1 @1:S:counterCond=no @1:init-watches=1 @1:F:update-act=yes @1:sign-def=3 @0:S:sat-prepro=yes @0:4:sat-prepro=100 @0:5:sat-prepro=1 @1:2:del-init=191 @1:S:Dyn:aryrestarts=2 @1:S:del-grow=yes @1:S:growSched=no @1:F:init-moms=yes @1:1:del-glue=2 @1:1:deletion=basic @1:F:sign-fix=no @1:reverse-arcs=2 @0:1:sat-prepro=10
- Meta Data Details
-
Solver | clasp-3.0.4-p8 |
#Instances (Test) | 302 |
#Instances (Train) | 684 |
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 | 57.75 | 47.29 |
PAR10 | 451.13 | 315.50 |
Timeouts | 44 / 302 | 30 / 302 |
Training Performance
| Default | Configured |
Average Runtime | 79.57 | 75.16 |
PAR10 | 675.62 | 604.10 |
Timeouts | 151 / 684 | 134 / 684 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
@1:save-progress | 2.37 |
@1:heuristic | 2.06 |
@1:1:lookahead | 1.23 |
@1:0:restarts | 1.14 |
@1:rand-freq | 0.63 |
@1:sign-def | 0.38 |
@1:update-lbd | 0.26 |
@1:1:Simp:restarts | 0.25 |
@1:reverse-arcs | 0.22 |
@1:1:Dyn:restarts | 0.21 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
@1:heuristic | 34.43 |
@1:1:lookahead | 7.96 |
@1:rand-freq | 3.16 |
@1:0:restarts | 2.54 |
@1:save-progress | 1.73 |
@1:F:sign-fix | 0.88 |
@1:sign-def | 0.60 |
@1:reverse-arcs | 0.57 |
@1:2:lookahead | 0.40 |
@1:update-lbd | 0.31 |
- Parameter Importance over Nothing Plots Details