| 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 |
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 |