Overview of Feature Values

The following measures were taken for the results of each feature:

Instance Feature Values

obs nas min qu_1st med mean qu_3rd max sd coeff_var
Frac_Neg_Body 1294 16 0.0002 0.0093 0.029 0.13 0.17 0.93 0.22 1.6
Frac_Pos_Body 1294 16 0 0.65 0.88 0.79 0.96 1 0.21 0.26
Frac_Unary_Rules 1294 16 0 0.0039 0.013 0.1 0.072 0.89 0.2 1.9
Frac_Binary_Rules 1294 16 0 0.089 0.14 0.2 0.29 0.97 0.17 0.88
Frac_Ternary_Rules 1294 16 0 0.22 0.6 0.5 0.7 1 0.28 0.55
Frac_Integrity_Rules 1294 16 0 0.052 0.29 0.29 0.38 1 0.28 0.95
Tight 1294 16 0 0 1 0.53 1 1 0.5 0.94
Problem_Variables 1294 16 59 4.9e+03 2.2e+04 9e+04 8.7e+04 7.8e+06 3.5e+05 3.9
Free_Problem_Variables 1294 16 45 1.3e+03 8.4e+03 4.8e+04 4.5e+04 1.7e+06 9.9e+04 2.1
Assigned_Problem_Variables 1294 16 2 3.6e+02 4.2e+03 4.2e+04 2.1e+04 6.9e+06 3.1e+05 7.3
Constraints 1294 16 1.4e+02 6.5e+03 3.5e+04 2e+05 1.6e+05 7.1e+06 4.1e+05 2.1
Constraints.Vars 1294 16 0.12 1.2 1.7 2.2 3.1 18 1.8 0.82
Created_Bodies 1294 16 1e+02 4.9e+03 2.7e+04 1.1e+05 1.1e+05 8e+06 4e+05 3.5
Program_Atoms 1294 16 51 2.6e+03 1e+04 4e+04 3.9e+04 2.5e+06 9.7e+04 2.5
SCCS 1294 16 0 0 0 8.9 13 4.2e+02 28 3.1
Nodes_in_Positive_BADG 1294 16 0 0 0 1.4e+04 9.1e+03 4.1e+05 3.3e+04 2.4
Rules 1294 16 1.2e+02 7.8e+03 3.6e+04 1.6e+05 1.4e+05 1.4e+07 6.6e+05 4.2
Normal_Rules 1294 16 1e+02 6.7e+03 3.4e+04 1.5e+05 1.2e+05 1.4e+07 6.6e+05 4.4
Cardinality_Rules 1294 16 0 28 50 4.4e+03 3.2e+02 1.6e+05 1.7e+04 4
Choice_Rules 1294 16 0 18 1.3e+02 6.2e+03 2.4e+03 1.4e+05 1.7e+04 2.8
Weight_Rules 1294 16 0 0 0 6.8 0 3e+02 38 5.6
Frac_Normal_Rules 1294 16 0.42 0.86 0.94 0.9 1 1 0.13 0.14
Frac_Cardinality_Rules 1294 16 0 0.0002 0.0013 0.044 0.041 0.56 0.086 1.9
Frac_Choice_Rules 1294 16 0 0.0002 0.02 0.053 0.083 0.22 0.065 1.2
Frac_Weight_Rules 1294 16 0 0 0 0.0024 0 0.083 0.013 5.6
Equivalences 1294 16 2 3.3e+03 1.5e+04 7.3e+04 6.7e+04 3.7e+06 1.8e+05 2.5
Atom.Atom_Equivalences 1294 16 0 3e+02 2e+03 1.8e+04 1.5e+04 1.2e+06 5.2e+04 2.9
Body.Body_Equivalences 1294 16 0 24 4.7e+02 6.4e+03 3.1e+03 5.4e+05 2.1e+04 3.4
Other_Equivalences 1294 16 2 2.4e+03 1.2e+04 4.9e+04 4.7e+04 1.9e+06 1.1e+05 2.3
Frac_Atom.Atom_Equivalences 1294 16 0 0.057 0.22 0.2 0.29 0.47 0.13 0.67
Frac_Body.Body_Equivalences 1294 16 0 0.004 0.037 0.071 0.12 0.65 0.092 1.3
Frac_Other_Equivalences 1294 16 0.34 0.61 0.72 0.73 0.83 1 0.14 0.19
Binary_Constraints 1294 16 0 3.9e+03 2.3e+04 1.4e+05 1.1e+05 5.4e+06 3.3e+05 2.3
Ternary_Constraints 1294 16 0 8.9e+02 5.3e+03 3.6e+04 3.4e+04 1.7e+06 8.5e+04 2.3
Other_Constraints 1294 16 8 3e+02 1.7e+03 1.6e+04 1.2e+04 2e+05 3.1e+04 2
Frac_Binary_Constraints 1294 16 0 0.66 0.72 0.67 0.78 1 0.22 0.33
Frac_Ternary_Constraints 1294 16 0 0.063 0.2 0.2 0.25 0.98 0.2 1
Frac_Other_Constraints 1294 16 0 0.031 0.068 0.13 0.14 1 0.19 1.5
Choices.1 1294 135 14 82 1.4e+02 4e+02 2.8e+02 1.9e+04 1e+03 2.6
Conflicts.Choices.1 1294 135 0.0017 0.11 0.24 0.29 0.4 1 0.22 0.76
Avg_Conflict_Levels.1 1294 135 1 16 33 1.2e+02 67 3.5e+03 3.3e+02 2.7
Avg_LBD_Levels.1 1294 135 1 3.2 4.9 8.4 9.3 1e+02 11 1.3
Learnt_from_Conflict.1 1294 135 9 32 32 32 32 36 0.98 0.03
Learnt_from_Loop.1 1294 135 0 0 0 4.3e+02 6 1.3e+04 1.3e+03 2.9
Frac_Learnt_from_Conflict.1 1294 135 0.0025 0.84 1 0.79 1 1 0.38 0.48
Frac_Learnt_from_Loop.1 1294 135 0 0 0 0.21 0.16 1 0.38 1.8
Literals_in_Conflict_Nogoods.1 1294 135 14 2.3e+02 4.8e+02 1.6e+03 1.2e+03 3.7e+04 3.9e+03 2.4
Literals_in_Loop_Nogoods.1 1294 135 0 0 0 1.7e+05 74 1.4e+07 1e+06 6.1
Frac_Literals_in_Conflict_Nogoods.1 1294 135 0 0.86 1 0.79 1 1 0.37 0.47
Frac_Literals_in_Loop_Nogoods.1 1294 135 0 0 0 0.21 0.14 1 0.37 1.8
Removed_Nogoods.1 1294 135 0 0 0 0 0 0 0
Learnt_Binary.1 1294 135 0 0 1 3.2 3 3.6e+02 16 5.1
Learnt_Ternary.1 1294 135 0 0 2 7.4 5 7.7e+02 38 5.1
Learnt_Others.1 1294 135 0 26 32 4.6e+02 34 1.2e+04 1.2e+03 2.7
Frac_Removed_Nogood.1 1294 135 0 0 0 0 0 0 0
Frac_Learnt_Binary.1 1294 135 0 0 0.002 0.048 0.059 0.84 0.1 2.1
Frac_Learnt_Ternary.1 1294 135 0 0 0.03 0.096 0.12 1 0.15 1.5
Frac_Learnt_Others.1 1294 135 0 0.78 0.94 0.86 1 1 0.2 0.23
Skipped_Levels_while_Backjumping.1 1294 135 14 50 86 2.7e+02 2e+02 1.9e+04 8.3e+02 3.1
Avg_Skipped_Levels_while_Backjumping.1 1294 135 1 1.5 2.7 8.3 6.3 5.8e+02 26 3.1
Longest_Backjumping.1 1294 135 1 5 12 71 38 4.6e+03 2.7e+02 3.9
Running_Avg_Conflictlevel.1 1294 135 0.16 5.2 10 40 21 1.2e+03 1.1e+02 2.7
Running_Avg_LBD.1 1294 135 0.11 1 1.6 2.7 3 33 3.5 1.3
Choices.2 1294 162 63 1.9e+02 3e+02 1.3e+03 5.5e+02 5.2e+04 3.5e+03 2.7
Conflicts.Choices.2 1294 162 0.0013 0.12 0.21 0.26 0.33 1 0.2 0.79
Avg_Conflict_Levels.2 1294 162 1 18 31 1.7e+02 65 3.4e+03 4.5e+02 2.7
Avg_LBD_Levels.2 1294 162 1 3.3 4.7 7.6 8.7 89 8.8 1.2
Learnt_from_Conflict.2 1294 162 46 64 64 65 65 70 1.8 0.027
Learnt_from_Loop.2 1294 162 0 0 0 6.2e+02 21 2.4e+04 1.9e+03 3
Frac_Learnt_from_Conflict.2 1294 162 0.0027 0.76 1 0.78 1 1 0.37 0.48
Frac_Learnt_from_Loop.2 1294 162 0 0 0 0.22 0.24 1 0.37 1.7
Literals_in_Conflict_Nogoods.2 1294 162 64 4.4e+02 8.7e+02 2.4e+03 2e+03 5.6e+04 5.1e+03 2.1
Literals_in_Loop_Nogoods.2 1294 162 0 0 0 2.2e+05 2.1e+02 1.4e+07 1.1e+06 5.1
Frac_Literals_in_Conflict_Nogoods.2 1294 162 0.0001 0.74 1 0.77 1 1 0.37 0.48
Frac_Literals_in_Loop_Nogoods.2 1294 162 0 0 0 0.23 0.26 1 0.37 1.6
Removed_Nogoods.2 1294 162 0 0 0 0 0 0 0
Learnt_Binary.2 1294 162 0 0 3 7.6 10 3.7e+02 19 2.6
Learnt_Ternary.2 1294 162 0 1 6 13 12 8.7e+02 50 3.7
Learnt_Others.2 1294 162 1 45 63 6.6e+02 67 2.3e+04 1.8e+03 2.8
Frac_Removed_Nogood.2 1294 162 0 0 0 0 0 0 0
Frac_Learnt_Binary.2 1294 162 0 0 0.025 0.07 0.11 0.84 0.098 1.4
Frac_Learnt_Ternary.2 1294 162 0 0.0006 0.046 0.11 0.15 0.89 0.14 1.4
Frac_Learnt_Others.2 1294 162 0.016 0.69 0.9 0.82 1 1 0.2 0.24
Skipped_Levels_while_Backjumping.2 1294 162 59 1.3e+02 2.2e+02 9.9e+02 4.8e+02 5.1e+04 2.9e+03 2.9
Avg_Skipped_Levels_while_Backjumping.2 1294 162 1 2.1 3.5 15 7.5 7.7e+02 45 2.9
Longest_Backjumping.2 1294 162 1 11 25 2.4e+02 61 7.8e+03 7.6e+02 3.2
Running_Avg_Conflictlevel.2 1294 162 0.64 12 20 1.1e+02 42 2.2e+03 2.9e+02 2.7
Running_Avg_LBD.2 1294 162 0.64 2.1 3.1 4.9 5.7 57 5.8 1.2
Choices.3 1294 191 78 3.2e+02 4.9e+02 2.1e+03 8e+02 6.2e+04 5.6e+03 2.7
Conflicts.Choices.3 1294 191 0.0015 0.12 0.2 0.24 0.3 1 0.19 0.8
Avg_Conflict_Levels.3 1294 191 1 19 32 1.6e+02 63 4.4e+03 4.5e+02 2.8
Avg_LBD_Levels.3 1294 191 1 3.6 4.8 7.6 8.4 88 8.7 1.1
Learnt_from_Conflict.3 1294 191 68 96 97 97 98 1e+02 2.3 0.024
Learnt_from_Loop.3 1294 191 0 0 0 7.1e+02 30 3.2e+04 2.3e+03 3.2
Frac_Learnt_from_Conflict.3 1294 191 0.003 0.76 1 0.77 1 1 0.37 0.48
Frac_Learnt_from_Loop.3 1294 191 0 0 0 0.23 0.24 1 0.37 1.6
Literals_in_Conflict_Nogoods.3 1294 191 96 7.5e+02 1.3e+03 3.3e+03 2.9e+03 7.1e+04 6.2e+03 1.9
Literals_in_Loop_Nogoods.3 1294 191 0 0 0 2.3e+05 4.7e+02 1.5e+07 1.2e+06 4.9
Frac_Literals_in_Conflict_Nogoods.3 1294 191 0.0001 0.69 1 0.76 1 1 0.38 0.49
Frac_Literals_in_Loop_Nogoods.3 1294 191 0 0 0 0.24 0.31 1 0.38 1.6
Removed_Nogoods.3 1294 191 0 0 0 0.055 0 61 1.8 33
Learnt_Binary.3 1294 191 0 1 6 13 16 7e+02 37 2.9
Learnt_Ternary.3 1294 191 0 1.5 9 20 18 9.2e+02 58 2.9
Learnt_Others.3 1294 191 4 67 93 7.8e+02 1e+02 3.2e+04 2.2e+03 2.8
Frac_Removed_Nogood.3 1294 191 0 0 0 0.00058 0 0.64 0.019 33
Frac_Learnt_Binary.3 1294 191 0 0.0005 0.021 0.073 0.12 0.77 0.098 1.3
Frac_Learnt_Ternary.3 1294 191 0 0.0016 0.061 0.11 0.16 0.82 0.14 1.3
Frac_Learnt_Others.3 1294 191 0.042 0.68 0.89 0.82 1 1 0.2 0.24
Skipped_Levels_while_Backjumping.3 1294 191 76 2.2e+02 3.8e+02 1.6e+03 6.9e+02 5.2e+04 4.5e+03 2.7
Avg_Skipped_Levels_while_Backjumping.3 1294 191 1 2.3 3.9 17 7.2 5.3e+02 46 2.7
Longest_Backjumping.3 1294 191 1 14 30 2.7e+02 70 7.8e+03 8e+02 3
Running_Avg_Conflictlevel.3 1294 191 0.96 18 31 1.6e+02 61 4.3e+03 4.4e+02 2.8
Running_Avg_LBD.3 1294 191 0.96 3.4 4.6 7.4 8.1 85 8.5 1.1
Choices.4 1294 218 1.3e+02 4.3e+02 6.7e+02 2.8e+03 1.1e+03 9.1e+04 7.3e+03 2.7
Conflicts.Choices.4 1294 218 0.0014 0.12 0.19 0.24 0.3 1 0.19 0.8
Avg_Conflict_Levels.4 1294 218 1 20 32 1.5e+02 59 5.3e+03 4.2e+02 2.8
Avg_LBD_Levels.4 1294 218 1 3.7 4.7 7.5 8 84 8.4 1.1
Learnt_from_Conflict.4 1294 218 1.2e+02 1.3e+02 1.3e+02 1.3e+02 1.3e+02 1.4e+02 1.5 0.011
Learnt_from_Loop.4 1294 218 0 0 0 8.2e+02 51 3.6e+04 2.7e+03 3.3
Frac_Learnt_from_Conflict.4 1294 218 0.0035 0.72 1 0.77 1 1 0.37 0.48
Frac_Learnt_from_Loop.4 1294 218 0 0 0 0.23 0.28 1 0.37 1.6
Literals_in_Conflict_Nogoods.4 1294 218 1.3e+02 1.1e+03 1.8e+03 4.1e+03 3.7e+03 7.4e+04 7.4e+03 1.8
Literals_in_Loop_Nogoods.4 1294 218 0 0 0 2.5e+05 7.3e+02 1.6e+07 1.2e+06 4.9
Frac_Literals_in_Conflict_Nogoods.4 1294 218 0.0001 0.63 1 0.76 1 1 0.38 0.5
Frac_Literals_in_Loop_Nogoods.4 1294 218 0 0 0 0.24 0.37 1 0.38 1.6
Removed_Nogoods.4 1294 218 0 0 0 1.3 0 93 11 8.4
Learnt_Binary.4 1294 218 0 1 10 16 22 7.1e+02 39 2.4
Learnt_Ternary.4 1294 218 0 2 13 26 24 1.1e+03 65 2.5
Learnt_Others.4 1294 218 6 91 1.2e+02 9e+02 1.3e+02 3.6e+04 2.6e+03 2.9
Frac_Removed_Nogood.4 1294 218 0 0 0 0.0097 0 0.73 0.082 8.4
Frac_Learnt_Binary.4 1294 218 0 0.0012 0.022 0.072 0.12 0.77 0.094 1.3
Frac_Learnt_Ternary.4 1294 218 0 0.0027 0.061 0.11 0.16 0.8 0.14 1.3
Frac_Learnt_Others.4 1294 218 0.047 0.68 0.88 0.82 0.99 1 0.19 0.24
Skipped_Levels_while_Backjumping.4 1294 218 1.3e+02 3.2e+02 5.2e+02 2.2e+03 9.3e+02 7.8e+04 5.9e+03 2.7
Avg_Skipped_Levels_while_Backjumping.4 1294 218 1 2.5 4 17 7.2 6.1e+02 46 2.7
Longest_Backjumping.4 1294 218 1 17 33 2.8e+02 75 7.8e+03 8.2e+02 2.9
Running_Avg_Conflictlevel.4 1294 218 1 18 30 1.6e+02 58 6.3e+03 4.6e+02 2.9
Running_Avg_LBD.4 1294 218 1 3.6 4.6 7.4 7.4 83 8.6 1.2

Summary of feature steps

The following table summarizes the feature steps over all instances.
size ok timeout memout presolved crash other unknown cost_min cost_mean cost_max cost_na
Dynamic.1 2 83 0 0 16 0 1.2 0 0 0.067 1.3 0.1
Dynamic.2 2 83 0 0 16 0 1.2 0 0 0.086 5.9 0.13
Dynamic.3 2 83 0 0 16 0 1.2 0 0 0.071 6.5 0.15
Dynamic.4 2 83 0 0 16 0 1.2 0 0 0.058 2.2 0.17
Static 1 99 0 0 0 0 1.2 0 0 1.1 1.4e+02 0.012

Duplicated Features

Underneath, you'll find blocks of duplicated instnace features, i.e., observations that have equal values over all features. Please note, that only a maximum of 5 duplicates per block are shown.

block numbers instances
1 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/CarSequencing/001.benchmark1_17classes.dlv.dat.lp.gz +++++++ FolioSuite/CarSequencing/benchmark1_17classes.dlv.dat.lp.lp.gz
2 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianPath/gryzzles.15.gz +++++++ FolioSuite/HamiltonianPath/gryzzles.15.lp.gz
3 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianPath/gryzzles.30.gz +++++++ FolioSuite/HamiltonianPath/gryzzles.30.lp.gz
4 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/HamiltonianPath/hampath.ngrnd.6.gz +++++++ FolioSuite/HamiltonianPath/hampath.ngrnd.6.lp.gz
5 16 FolioSuite/ASP-Comp-2007-Lparse/SLparse/Hashiwokakero/hashiwokakero-size11-puzzle5.gz +++++++ FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-plain/stp_sequence3-ss2.gz +++++++ FolioSuite/ASP-Comp-2009-Lparse/CompMazeGeneration/maze-generation-width=12-height=12-density=0.01-run=3.gz +++++++ FolioSuite/ASP-Comp-2011-Lparse/19-MultiContextSystemQuerying/39-multi_context_system_querying-0-0.asp.gz +++++++ FolioSuite/ASP-Comp-2011-Lparse/19-MultiContextSystemQuerying/64-multi_context_system_querying-0-0.asp.gz +++++++ ...
6 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-plain/stp_sequence4-ss1.gz +++++++ FolioSuite/searchTest-plain/stp_sequence4-ss1.lp.gz
7 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-verbose/stv_sequence2-ss2.gz +++++++ FolioSuite/searchTest-plain/stp_sequence2-ss2.lp.gz
8 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-verbose/stv_sequence4-ss1.gz +++++++ FolioSuite/searchTest-verbose/stv_sequence4-ss1.lp.gz
9 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/searchTest-verbose/stv_sequence4-ss2.gz +++++++ FolioSuite/searchTest-verbose/stv_sequence4-ss2.lp.gz
10 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/SolitaireBackward2/t29.dat.gz +++++++ FolioSuite/SolitaireBackward2/t29.dat.lp.gz
11 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/Su-Doku/sudoku378.lp.gz +++++++ FolioSuite/Su-Doku/sudoku378.lp.lp.gz
12 2 FolioSuite/ASP-Comp-2007-Lparse/SLparse/WeightBoundedDominatingSetSuite/rand_150_600_1159731678_7.gph.gz +++++++ FolioSuite/WeightBoundedDominatingSetSuite/rand_150_600_1159731678_7.gph.lp.gz
13 2 FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=125-density=0.1-instance=2.gz +++++++ FolioSuite/graph_colouring/graph-colouring-nodes=125-density=0.1-instance=2.sm.gz
14 2 FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=130-density=0.1-instance=2.gz +++++++ FolioSuite/graph_colouring/graph-colouring-nodes=130-density=0.1-instance=2.sm.gz
15 2 FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=140-density=0.1-instance=7.gz +++++++ FolioSuite/graph_colouring/graph-colouring-nodes=140-density=0.1-instance=7.sm.gz
16 2 FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=140-density=0.1-instance=8.gz +++++++ FolioSuite/graph_colouring/graph-colouring-nodes=140-density=0.1-instance=8.sm.gz
17 2 FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=140-density=0.1-instance=9.gz +++++++ FolioSuite/graph_colouring/graph-colouring-nodes=140-density=0.1-instance=9.sm.gz
18 2 FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=145-density=0.1-instance=10.gz +++++++ FolioSuite/graph_colouring/graph-colouring-nodes=145-density=0.1-instance=10.sm.gz
19 2 FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=145-density=0.1-instance=7.gz +++++++ FolioSuite/graph_colouring/graph-colouring-nodes=145-density=0.1-instance=7.sm.gz
20 2 FolioSuite/ASP-Comp-2009-Lparse/CompGraphColouring/graph-colouring-nodes=150-density=0.1-instance=3.gz +++++++ FolioSuite/graph_colouring/graph-colouring-nodes=150-density=0.1-instance=3.sm.gz
21 2 FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_70_300_1155482584_14.lp.gz +++++++ FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_70_300_1155482584_7.lp.gz
22 2 FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_70_300_1155482584_3.lp.gz +++++++ FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_70_300_1155482584_4.lp.gz
23 2 FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_80_340_1159656267_11.lp.gz +++++++ FolioSuite/ASP-Comp-2009-Lparse/CompTravellingSalesperson/rand_80_340_1159656267_13.lp.gz