0.00/0.00 c cpHydra_k_40 version 0.0
7.12/7.28 c CASE TO CLASSIFY:
7.12/7.28 c Case: 0
7.12/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.506000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.887980 | c 14 > 12.350900 | c 11 > 5.321930 | c 12 > 10.067600 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.30 c choco : 1801.0
7.12/7.30 c mistral : 1801.0
7.12/7.30 c abscon : 1801.0
7.12/7.30 c
7.12/7.30 c
7.21/7.37 c List of same ones: 40
7.21/7.37 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-19_ext.xml
7.21/7.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.886700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.196500 | c 14 > 12.059000 | c 11 > 5.321930 | c 12 > 10.253400 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.38 c choco : 1801.0
7.21/7.38 c mistral : 6.87895
7.21/7.38 c abscon : 1.3238
7.21/7.38 c
7.21/7.38 c
7.21/7.38 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-27_ext.xml
7.21/7.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.958000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.176650 | c 14 > 11.878100 | c 11 > 5.321930 | c 12 > 9.740960 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.39 c choco : 278.95
7.21/7.39 c mistral : 309.05
7.21/7.39 c abscon : 3.08053
7.21/7.39 c
7.21/7.39 c
7.21/7.39 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-69_ext.xml
7.21/7.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.948800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.254750 | c 14 > 11.910600 | c 11 > 5.321930 | c 12 > 9.532160 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.40 c choco : 79.14
7.21/7.40 c mistral : 5.3
7.21/7.40 c abscon : 3.2945
7.21/7.40 c
7.21/7.40 c
7.21/7.40 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-65_ext.xml
7.21/7.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.719100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.498510 | c 14 > 11.694800 | c 11 > 5.321930 | c 12 > 9.842430 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.41 c choco : 118.4
7.31/7.41 c mistral : 7.33
7.31/7.41 c abscon : 1.47677
7.31/7.41 c
7.31/7.41 c
7.31/7.41 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-5_ext.xml
7.31/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.562200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.894820 | c 14 > 11.719400 | c 11 > 5.321930 | c 12 > 9.878820 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.42 c choco : 112.97
7.31/7.42 c mistral : 8.14
7.31/7.42 c abscon : 3.86041
7.31/7.42 c
7.31/7.42 c
7.31/7.42 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-37_ext.xml
7.31/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.675900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.426330 | c 14 > 11.789500 | c 11 > 5.321930 | c 12 > 9.402160 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.43 c choco : 1801.0
7.31/7.43 c mistral : 44.63
7.31/7.43 c abscon : 1.2818
7.31/7.43 c
7.31/7.43 c
7.31/7.43 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-17_ext.xml
7.31/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.738800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.237070 | c 14 > 11.675100 | c 11 > 5.321930 | c 12 > 9.437340 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.43 c choco : 27.86
7.31/7.43 c mistral : 2.71359
7.31/7.43 c abscon : 1.42178
7.31/7.43 c
7.31/7.43 c
7.31/7.43 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-47_ext.xml
7.31/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.595100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.297090 | c 14 > 11.596200 | c 11 > 5.321930 | c 12 > 9.381110 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.44 c choco : 103.59
7.31/7.44 c mistral : 11.32
7.31/7.44 c abscon : 7.35088
7.31/7.44 c
7.31/7.44 c
7.31/7.44 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-67_ext.xml
7.31/7.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.477100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.500660 | c 14 > 11.577400 | c 11 > 5.321930 | c 12 > 9.271930 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.45 c choco : 1801.0
7.31/7.45 c mistral : 17.84
7.31/7.45 c abscon : 10.3944
7.31/7.45 c
7.31/7.45 c
7.31/7.45 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-57_ext.xml
7.31/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.718200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.011530 | c 14 > 11.526000 | c 11 > 5.321930 | c 12 > 9.323730 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.46 c choco : 1801.0
7.31/7.46 c mistral : 11.51
7.31/7.46 c abscon : 4.45932
7.31/7.46 c
7.31/7.46 c
7.31/7.46 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-31_ext.xml
7.31/7.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.427600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.367970 | c 14 > 11.404100 | c 11 > 5.321930 | c 12 > 9.371450 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.47 c choco : 76.71
7.31/7.47 c mistral : 5.27
7.31/7.47 c abscon : 1.85672
7.31/7.47 c
7.31/7.47 c
7.31/7.47 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-59_ext.xml
7.31/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.523700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.298130 | c 14 > 11.457900 | c 11 > 5.321930 | c 12 > 9.202610 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.48 c choco : 68.06
7.31/7.48 c mistral : 17.36
7.31/7.48 c abscon : 9.13661
7.31/7.48 c
7.31/7.48 c
7.31/7.48 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-13_ext.xml
7.31/7.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.477200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.018250 | c 14 > 11.454800 | c 11 > 5.321930 | c 12 > 9.476950 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.49 c choco : 27.35
7.31/7.49 c mistral : 9.25
7.31/7.49 c abscon : 6.74597
7.31/7.49 c
7.31/7.49 c
7.31/7.49 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-53_ext.xml
7.31/7.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.448300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.189910 | c 14 > 11.382100 | c 11 > 5.321930 | c 12 > 9.226890 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.50 c choco : 25.26
7.31/7.50 c mistral : 5.02
7.31/7.50 c abscon : 3.53046
7.31/7.50 c
7.31/7.50 c
7.31/7.50 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-39_ext.xml
7.31/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.622200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.850080 | c 14 > 11.440900 | c 11 > 5.321930 | c 12 > 9.258920 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.50 c choco : 9.63
7.38/7.50 c mistral : 4.71
7.38/7.50 c abscon : 3.12652
7.38/7.50 c
7.38/7.50 c
7.38/7.50 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-63_ext.xml
7.38/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.373600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.108580 | c 14 > 11.161100 | c 11 > 5.321930 | c 12 > 9.338290 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.71 c choco : 1801.0
7.57/7.71 c mistral : 55.35
7.57/7.71 c abscon : 28.7716
7.57/7.71 c
7.57/7.71 c
7.57/7.71 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-43_ext.xml
7.57/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.355000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.169980 | c 14 > 11.280800 | c 11 > 5.321930 | c 12 > 9.116990 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.71 c choco : 36.48
7.57/7.71 c mistral : 4.72
7.57/7.71 c abscon : 3.2785
7.57/7.71 c
7.57/7.71 c
7.57/7.71 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-45_ext.xml
7.57/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.421800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.989500 | c 14 > 11.417900 | c 11 > 5.321930 | c 12 > 8.950990 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.72 c choco : 4.53
7.57/7.72 c mistral : 3.26
7.57/7.72 c abscon : 1.13383
7.57/7.72 c
7.57/7.72 c
7.57/7.72 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-25_ext.xml
7.57/7.72 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.255100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.266830 | c 14 > 11.196000 | c 11 > 5.321930 | c 12 > 9.071190 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.73 c choco : 36.45
7.57/7.73 c mistral : 3.2
7.57/7.73 c abscon : 2.92255
7.57/7.73 c
7.57/7.73 c
7.57/7.73 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-1_ext.xml
7.57/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.459900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.804970 | c 14 > 11.316800 | c 11 > 5.321930 | c 12 > 8.974990 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.74 c choco : 26.0
7.57/7.74 c mistral : 2.53661
7.57/7.74 c abscon : 1.23981
7.57/7.74 c
7.57/7.74 c
7.57/7.74 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-11_ext.xml
7.57/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.334300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.985950 | c 14 > 11.270300 | c 11 > 5.321930 | c 12 > 8.945590 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.75 c choco : 24.17
7.57/7.75 c mistral : 2.92
7.57/7.75 c abscon : 2.77958
7.57/7.75 c
7.57/7.75 c
7.57/7.75 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-23_ext.xml
7.57/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.350900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.867200 | c 14 > 11.235400 | c 11 > 5.321930 | c 12 > 8.981850 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.75 c choco : 31.67
7.57/7.75 c mistral : 5.85
7.57/7.75 c abscon : 3.99339
7.57/7.75 c
7.57/7.75 c
7.57/7.75 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-77_ext.xml
7.57/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.274700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.876490 | c 14 > 11.121500 | c 11 > 5.321930 | c 12 > 8.851750 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.76 c choco : 26.06
7.57/7.76 c mistral : 7.22
7.57/7.76 c abscon : 4.30934
7.57/7.76 c
7.57/7.76 c
7.57/7.76 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-75_ext.xml
7.57/7.76 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.985600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.163130 | c 14 > 10.949100 | c 11 > 5.321930 | c 12 > 8.955800 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.77 c choco : 14.7
7.57/7.77 c mistral : 2.37
7.57/7.77 c abscon : 1.01584
7.57/7.77 c
7.57/7.77 c
7.57/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-41_ext.xml
7.57/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.375900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.708800 | c 14 > 11.115700 | c 11 > 5.321930 | c 12 > 8.663380 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.77 c choco : 76.94
7.57/7.77 c mistral : 7.99
7.57/7.77 c abscon : 4.75428
7.57/7.77 c
7.57/7.77 c
7.57/7.77 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-71_ext.xml
7.57/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.242600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.763360 | c 14 > 11.131200 | c 11 > 5.321930 | c 12 > 8.680360 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.78 c choco : 21.45
7.57/7.78 c mistral : 3.65
7.57/7.78 c abscon : 3.12252
7.57/7.78 c
7.57/7.78 c
7.57/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-29_ext.xml
7.57/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.212300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.725130 | c 14 > 11.178000 | c 11 > 5.321930 | c 12 > 8.606780 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.78 c choco : 43.04
7.57/7.78 c mistral : 8.04
7.57/7.78 c abscon : 5.02423
7.57/7.78 c
7.57/7.78 c
7.57/7.78 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-61_ext.xml
7.57/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.349900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.472360 | c 14 > 11.233000 | c 11 > 5.321930 | c 12 > 8.581010 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.79 c choco : 1801.0
7.57/7.79 c mistral : 19.19
7.57/7.79 c abscon : 11.7622
7.57/7.79 c
7.57/7.79 c
7.57/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-3_ext.xml
7.57/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.139300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.023100 | c 14 > 10.933700 | c 11 > 5.321930 | c 12 > 8.503630 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.57/7.79 c choco : 8.93
7.57/7.79 c mistral : 2.12
7.57/7.79 c abscon : 1.9477
7.57/7.79 c
7.57/7.79 c
7.57/7.79 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-79_ext.xml
7.57/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.238700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.525690 | c 14 > 11.087500 | c 11 > 5.321930 | c 12 > 8.515310 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.80 c choco : 28.55
7.64/7.80 c mistral : 6.32
7.64/7.80 c abscon : 4.50131
7.64/7.80 c
7.64/7.80 c
7.64/7.80 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-35_ext.xml
7.64/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.106800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.818460 | c 14 > 10.899400 | c 11 > 5.321930 | c 12 > 8.418270 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.81 c choco : 11.21
7.64/7.81 c mistral : 2.28
7.64/7.81 c abscon : 1.9827
7.64/7.81 c
7.64/7.81 c
7.64/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-73_ext.xml
7.64/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.171500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.368530 | c 14 > 10.995800 | c 11 > 5.321930 | c 12 > 8.314020 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.81 c choco : 37.93
7.64/7.81 c mistral : 7.61
7.64/7.81 c abscon : 4.6253
7.64/7.81 c
7.64/7.81 c
7.64/7.81 c /home/eomahony/cpZilla/CSP/tightness/tightness0.8/rand-2-40-80-103-800-33_ext.xml
7.64/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.990700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 8.242360 | c 14 > 11.143400 | c 11 > 5.321930 | c 12 > 7.881880 | c 21 > 8.944270 | c 20 > 0.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.686500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.82 c choco : 8.52
7.64/7.82 c mistral : 1.23
7.64/7.82 c abscon : 1.53877
7.64/7.82 c
7.64/7.82 c
7.64/7.82 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-33_ext.xml
7.64/7.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.613300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.777540 | c 14 > 12.291200 | c 11 > 5.321930 | c 12 > 10.068700 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.83 c choco : 44.26
7.64/7.83 c mistral : 8.45
7.64/7.83 c abscon : 6.88795
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-73_ext.xml
7.64/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.538300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.728300 | c 14 > 12.221600 | c 11 > 5.321930 | c 12 > 10.101400 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.83 c choco : 65.68
7.64/7.83 c mistral : 11.34
7.64/7.83 c abscon : 11.6192
7.64/7.83 c
7.64/7.83 c
7.64/7.83 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-69_ext.xml
7.64/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.670000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.842690 | c 14 > 12.390400 | c 11 > 5.321930 | c 12 > 10.211900 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.84 c choco : 74.54
7.64/7.84 c mistral : 2.13
7.64/7.84 c abscon : 8.5777
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-39_ext.xml
7.64/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.723100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.950350 | c 14 > 12.332300 | c 11 > 5.321930 | c 12 > 10.054800 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.84 c choco : 20.0
7.64/7.84 c mistral : 4.93
7.64/7.84 c abscon : 4.99224
7.64/7.84 c
7.64/7.84 c
7.64/7.84 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-47_ext.xml
7.64/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.457900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.979570 | c 14 > 12.256800 | c 11 > 5.321930 | c 12 > 10.259400 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.85 c choco : 13.27
7.64/7.85 c mistral : 3.56
7.64/7.85 c abscon : 4.70028
7.64/7.85 c
7.64/7.85 c
7.64/7.85 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-41_ext.xml
7.64/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.636500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.727940 | c 14 > 12.258300 | c 11 > 5.321930 | c 12 > 9.891630 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.86 c choco : 37.28
7.64/7.86 c mistral : 3.33
7.64/7.86 c abscon : 3.64345
7.64/7.86 c
7.64/7.86 c
7.64/7.86 c /home/eomahony/cpZilla/CSP/tightness/tightness0.65/rand-2-40-40-135-650-79_ext.xml
7.64/7.86 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.709300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.795510 | c 14 > 12.490900 | c 11 > 5.321930 | c 12 > 10.209000 | c 21 > 6.324560 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.076820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.64/7.86 c choco : 1801.0
7.64/7.86 c mistral : 21.31
7.64/7.86 c abscon : 18.4882
7.64/7.86 c
7.64/7.86 c
7.64/7.87 c Length: 40
7.64/7.87 c 0.773591837082061 1.0660806247653143 1.0917930923485473 1.1189581001092033 1.1511886743709732 1.2884747130231164 1.3660940581453382 1.4898759720862684 1.5620643364791351 1.6194431232371214 1.677620941273683 1.6907078436560223 1.7224175874044017 1.8031632646546472 1.827676719882377 1.9589056220502308 1.972079709874832 2.024861190921492 2.068140476515076 2.1284725255920023 2.147822574376199 2.1907626824692814 2.3513671114056196 2.4572680282175154 2.482970867891929 2.5046062788390517 2.556475952341426 2.607718817760074 2.6590119039410123 2.7327032656693624 2.8158081201140117 3.0001595589068266 3.352555360139487 3.8607494420384234 3.8629668123089016 3.863863428577671 3.863889607312817 3.8645122665997578 3.8678539169803194 3.8687964823055756
7.64/7.87 c
7.64/7.87 c 1.0 0.913661376545431 0.906778957867036 0.8996194898355568 0.8912702499148507 0.8573766223332557 0.8393304450307688 0.8120723485479047 0.7969778459856752 0.7853744527144575 0.7739494211050227 0.7714250464595587 0.7653762070217403 0.7503933766579817 0.7459601515678417 0.7230910684538062 0.7208724500499444 0.7121185231732224 0.7050976318059057 0.6955382679429999 0.6925269928569752 0.6859368533633687 0.6623620684258186 0.6476839978252632 0.6442191153134178 0.641331151661416 0.6345117518765939 0.6279156851528388 0.6214490800149783 0.6123884220975945 0.6024821965044951 0.5816116195402528 0.5454904672240698 0.5006508062728707 0.5004713068918538 0.5003987610281825 0.5003966432039942 0.5003462761950378 0.5000761426926676 0.5
7.64/7.88 c
7.64/7.88 c solver 0
7.64/7.88 c before 0.0 seconds: {} 0
7.64/7.88 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 26545
7.64/7.88 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27768
7.64/7.88 c
7.64/7.88 c solver 1
7.64/7.88 c before 0.0 seconds: {} 0
7.64/7.88 c before 18.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 24146
7.64/7.88 c before 36.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25274
7.64/7.88 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26131
7.64/7.88 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26854
7.64/7.88 c before 324.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27768
7.64/7.88 c
7.64/7.88 c solver 2
7.64/7.88 c before 0.0 seconds: {} 0
7.64/7.88 c before 18.0 seconds: {14, 17, 23, 28, 30, 32, 37} 4375
7.64/7.88 c before 36.0 seconds: {6, 12, 13, 14, 17, 19, 20, 21, 22, 23, 25, 28, 29, 30, 32, 36, 37} 11221
7.64/7.88 c before 54.0 seconds: {6, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 28, 29, 30, 31, 32, 33, 36, 37, 38} 14863
7.64/7.88 c before 72.0 seconds: {6, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38} 16135
7.64/7.88 c before 90.0 seconds: {2, 6, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 18961
7.64/7.88 c before 108.0 seconds: {2, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 19773
7.64/7.88 c before 126.0 seconds: {2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 21564
7.64/7.88 c before 288.0 seconds: {1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 22477
7.64/7.88 c
7.64/7.88 cTotal time: 36
7.64/7.88 c 648.0 seconds unused
7.64/7.88 c 0 c 0 c 7
7.64/7.88 c 0 c 0 c 7
7.64/7.88 c 0 c 0 c 0
7.64/7.88 c is solver0 dominated by:
7.64/7.88 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.64/7.88 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
7.64/7.88 c is dominated? false
7.64/7.88 c
7.64/7.88 c is solver1 dominated by:
7.64/7.88 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.64/7.88 c is dominated? true
7.64/7.88 c
7.64/7.88 c is solver2 dominated by:
7.64/7.88 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.64/7.88 c is dominated? true
7.64/7.88 c
7.64/7.88 c Number of non-dominated solvers: 1
7.64/7.88 c remove dominated solvers
7.64/7.88 c solver 0 is not dominated by another solver
7.64/7.88 c solver 2 is dominated by another solver
7.64/7.88 c solver 1 is dominated by another solver
7.64/7.88 c
7.64/7.88 c solver 0: 36.0
7.64/7.88 c
7.64/7.88 c+ 2/2 of 98
7.64/7.89 c
7.64/7.89 c solver 1: 0.0
7.64/7.89 c
7.64/7.89 c solver 2: 0.0
7.64/7.89 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27768
7.64/7.89 c do not run mistral
7.64/7.89 c do not run choco
7.64/7.89 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.64/7.89 c On Instance: HOME/instance-1103433-1215301100.xml
7.64/7.89 c Running for: 1800 seconds
12.56/12.89 s SAT
12.56/12.89 v 25 72 3 54 18 69 5 22 70 71 68 14 58 48 75 68 7 34 44 51 7 71 20 1 33 34 39 3 16 31 77 18 7 41 13 45 22 20 30 19
12.56/12.89 d ASSIGNMENTS 10314
12.56/12.89 d CHECKS 47310044