Spying on CSCCSat2014

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
Final Configuration Details
w_t=400 sp=0.77 prob=0.65
Meta Data Details
SolverCSCCSat2014
#Instances (Test)250
#Instances (Train)250
os systemLinux
os release3.13.0-39-generic
cpu vendorGenuineIntel
cpu brandIntel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz
cpu hz2.6000 GHz
cpu archX86_64
cpu count16
cutoff300
verbosityINFO
repetitions1
budget86400
prefix-
seed0
memory2000
outputdir.
Performance Overview Details
Test Performance
DefaultConfigured
Average Runtime5.646.01
PAR1027.2427.61
Timeouts2 / 2502 / 250


Training Performance
DefaultConfigured
Average Runtime6.475.76
PAR1028.0716.56
Timeouts2 / 2501 / 250
Scatter Plot Details
Scatter Test Plot Scatter Train Plot
CDF Plot Details
Cactus Plot Cactus Plot
Cactus Plot Details
Cactus Plot Cactus Plot
Parameter Importance over Default Details
ParameterImportance
w_t22.82
sp4.54
prob2.98
Parameter Importance over Default Plots Details
Fanova Plot Fanova Plot Fanova Plot
Parameter Importance over Nothing Details
ParameterImportance
w_t46.42
sp4.02
prob3.38
Parameter Importance over Nothing Plots Details
Fanova Plot Fanova Plot Fanova Plot