Spying on clasp-3.0.4-p8
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
@1:S:contraction=no @1:1:del-cfl=9 @1:otfs=0 @1:heuristic=Berkmin @1:del-on-restart=14 @1:F:local-restarts=no @1:2:del-grow=43.18494065115549 @1:0:del-cfl=L @1:1:lookahead=hybrid @1:0:strengthen=no @1:S:deletion=yes @1:2:deletion=66 @1:save-progress=176 @1:0:restarts=no @1:3:deletion=0 @1:F:berk-once=no @1:update-lbd=0 @0:S:sat-prepro=no @1:2:del-glue=1 @1:1:del-grow=1.2297587679130648 @1:del-max=258278056 @1:berk-max=2 @1:3:del-init=904 @0:sat-prepro=0 @1:F:berk-huang=yes @1:2:lookahead=1 @1:S:counterCond=no @1:F:update-act=yes @1:sign-def=3 @1:2:del-init=46 @1:rand-freq=0.0 @1:S:del-grow=yes @1:No:contraction=no @1:S:growSched=no @1:init-watches=0 @1:1:del-glue=5 @1:1:deletion=basic @1:F:init-moms=yes @1:1:del-init=5.67461970229492 @1:F:sign-fix=no @1:reverse-arcs=2
- Meta Data Details
-
Solver | clasp-3.0.4-p8 |
#Instances (Test) | 250 |
#Instances (Train) | 300 |
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 | 7.91 | 2.66 |
PAR10 | 7.91 | 2.66 |
Timeouts | 0 / 250 | 0 / 250 |
Training Performance
| Default | Configured |
Average Runtime | 11.36 | 4.11 |
PAR10 | 11.36 | 4.11 |
Timeouts | 0 / 300 | 0 / 300 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
@1:0:restarts | 20.48 |
@1:heuristic | 4.67 |
@1:S:del-grow | 2.46 |
@1:rand-freq | 1.29 |
@1:save-progress | 0.94 |
@1:S:deletion | 0.26 |
@1:1:lookahead | 0.22 |
@1:reverse-arcs | 0.22 |
@1:sign-def | 0.18 |
@0:S:sat-prepro | 0.14 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
@1:0:restarts | 13.72 |
@1:heuristic | 5.10 |
@1:save-progress | 5.05 |
@1:S:del-grow | 2.98 |
@1:rand-freq | 2.40 |
@1:S:deletion | 0.77 |
@1:reverse-arcs | 0.55 |
@1:1:lookahead | 0.54 |
@1:sign-def | 0.38 |
@1:otfs | 0.30 |
- Parameter Importance over Nothing Plots Details