Spying on clasp-3.0.4-p8
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
@1:S:contraction=yes @1:1:del-cfl=128 @1:otfs=2 @1:heuristic=Vsids @1:del-on-restart=0 @1:vsids-decay=95 @0:3:sat-prepro=-1 @1:F:local-restarts=no @1:3:del-cfl=10 @1:2:del-grow=21.805215304551833 @1:0:del-cfl=x @1:1:lookahead=body @1:0:strengthen=local @1:S:deletion=yes @1:2:deletion=75 @0:2:sat-prepro=25 @1:save-progress=180 @1:0:restarts=no @1:3:deletion=0 @1:1:del-init=3.0 @1:contraction=190 @1:update-lbd=2 @0:S:sat-prepro=yes @1:2:del-glue=0 @1:1:del-grow=1.9243414508002585 @1:del-max=250000 @0:1:sat-prepro=6 @1:3:del-init=9000 @1:2:lookahead=7 @1:S:counterCond=yes @1:F:update-act=no @1:sign-def=0 @0:4:sat-prepro=86 @0:5:sat-prepro=1 @1:2:del-init=1000 @1:rand-freq=0.0 @1:2:G:del-cfl=1.5 @1:S:del-grow=yes @1:1:strengthen=0 @1:S:growSched=no @1:reverse-arcs=2 @1:1:del-glue=2 @1:1:deletion=basic @1:F:init-moms=no @1:F:sign-fix=no @1:init-watches=0
- Meta Data Details
-
Solver | clasp-3.0.4-p8 |
#Instances (Test) | 302 |
#Instances (Train) | 299 |
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 | 32.60 | 30.17 |
PAR10 | 193.53 | 164.27 |
Timeouts | 18 / 302 | 15 / 302 |
Training Performance
| Default | Configured |
Average Runtime | 24.87 | 22.01 |
PAR10 | 124.20 | 94.25 |
Timeouts | 11 / 299 | 8 / 299 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
@1:0:restarts | 2.18 |
@1:save-progress | 1.22 |
@1:heuristic | 0.87 |
@1:rand-freq | 0.35 |
@1:vsids-decay | 0.09 |
@0:S:sat-prepro | 0.06 |
@1:update-lbd | 0.06 |
@1:reverse-arcs | 0.05 |
@1:sign-def | 0.04 |
@1:1:Simp:restarts | 0.03 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
@1:heuristic | 30.41 |
@1:0:restarts | 10.92 |
@1:save-progress | 4.53 |
@1:rand-freq | 2.76 |
@0:S:sat-prepro | 1.57 |
@1:sign-def | 1.55 |
@1:reverse-arcs | 1.39 |
@1:update-lbd | 0.85 |
@1:S:del-grow | 0.73 |
@1:1:lookahead | 0.40 |
- Parameter Importance over Nothing Plots Details