0.00/0.00 c cpHydra_k_40 version 0.0
6.90/6.82 c CASE TO CLASSIFY:
6.90/6.82 c Case: 0
6.90/6.82 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.425500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.156700 | c 14 > 12.944500 | c 11 > 5.807350 | c 12 > 10.494900 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | 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 > 9.292320 | 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.451200 | c 31 > -1.000000 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.90/6.83 c choco : 1801.0
6.90/6.83 c mistral : 1801.0
6.90/6.83 c abscon : 1801.0
6.90/6.83 c
6.90/6.83 c
6.99/6.90 c List of same ones: 40
6.99/6.90 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-89_ext.xml
6.99/6.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.413700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.133600 | c 14 > 12.356200 | c 11 > 5.643860 | c 12 > 9.970050 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 8.787900 | 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 > 9.965780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.91 c choco : 14.5
6.99/6.91 c mistral : 3.85
6.99/6.91 c abscon : 3.17252
6.99/6.91 c
6.99/6.91 c
6.99/6.91 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-2_ext.xml
6.99/6.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.313400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.395100 | c 14 > 12.269400 | c 11 > 5.643860 | c 12 > 10.763900 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 8.864190 | 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 > 9.965780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.92 c choco : 8.27
6.99/6.92 c mistral : 3.5
6.99/6.92 c abscon : 0.992848
6.99/6.92 c
6.99/6.92 c
6.99/6.92 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-41_ext.xml
6.99/6.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.444800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.235880 | c 14 > 12.199100 | c 11 > 5.643860 | c 12 > 10.206700 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | 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 > 8.848620 | 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.167400 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.93 c choco : 1801.0
6.99/6.93 c mistral : 809.899
6.99/6.93 c abscon : 394.314
6.99/6.93 c
6.99/6.93 c
6.99/6.93 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-73_ext.xml
6.99/6.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.317800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.030300 | c 14 > 12.100300 | c 11 > 5.643860 | c 12 > 10.323500 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 8.876520 | 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 > 9.965780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.93 c choco : 75.7
6.99/6.93 c mistral : 2.32
6.99/6.93 c abscon : 4.17237
6.99/6.93 c
6.99/6.93 c
6.99/6.93 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-8_ext.xml
6.99/6.93 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.256300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.404600 | c 14 > 12.165500 | c 11 > 5.643860 | c 12 > 10.340900 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 8.897850 | 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 > 9.965780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.94 c choco : 42.72
6.99/6.94 c mistral : 2.6416
6.99/6.94 c abscon : 1.07583
6.99/6.94 c
6.99/6.94 c
6.99/6.94 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-4-mgd_ext.xml
6.99/6.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.491000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.529080 | c 14 > 12.285400 | c 11 > 5.491850 | c 12 > 10.381400 | c 21 > 4.582580 | c 20 > 0.000000 | c 22 > 4.582580 | 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 > 8.562240 | 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 > 9.884170 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.95 c choco : 1001.97
6.99/6.95 c mistral : 472.64
6.99/6.95 c abscon : 2.28465
6.99/6.95 c
6.99/6.95 c
6.99/6.95 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23/rand-2-50-23-587-230-5_ext.xml
6.99/6.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.486500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.177660 | c 14 > 12.210100 | c 11 > 5.643860 | c 12 > 9.871540 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | 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 > 8.873440 | 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.167400 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.96 c choco : 1801.0
6.99/6.96 c mistral : 634.4
6.99/6.96 c abscon : 1800.06
6.99/6.96 c
6.99/6.96 c
6.99/6.96 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml
6.99/6.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.798100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.095100 | c 14 > 12.699100 | c 11 > 5.321930 | c 12 > 10.776000 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.455330 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.97 c choco : 1801.0
6.99/6.97 c mistral : 8.71567
6.99/6.97 c abscon : 21.7987
6.99/6.97 c
6.99/6.97 c
6.99/6.97 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-9_ext.xml
6.99/6.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.236100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.954520 | c 14 > 12.134700 | c 11 > 5.643860 | c 12 > 10.101300 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 8.816980 | 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 > 9.965780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.97 c choco : 23.66
6.99/6.97 c mistral : 2.27
6.99/6.97 c abscon : 1.3068
6.99/6.97 c
6.99/6.97 c
6.99/6.97 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-3-mgd_ext.xml
6.99/6.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.458000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.378140 | c 14 > 12.331800 | c 11 > 5.491850 | c 12 > 10.254400 | c 21 > 4.582580 | c 20 > 0.000000 | c 22 > 4.582580 | 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 > 8.527480 | 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 > 9.884170 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.99/6.98 c choco : 625.01
6.99/6.98 c mistral : 475.168
6.99/6.98 c abscon : 156.933
6.99/6.98 c
6.99/6.98 c
6.99/6.98 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23/rand-2-50-23-587-230-39_ext.xml
6.99/6.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.311800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.177290 | c 14 > 12.131500 | c 11 > 5.643860 | c 12 > 10.097600 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | 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 > 8.851750 | 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.167400 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.17 c choco : 1801.0
7.18/7.17 c mistral : 1800.07
7.18/7.17 c abscon : 1528.42
7.18/7.17 c
7.18/7.17 c
7.18/7.17 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-2-mgd_ext.xml
7.18/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.532800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.278800 | c 14 > 12.302100 | c 11 > 5.491850 | c 12 > 10.131400 | c 21 > 4.582580 | c 20 > 0.000000 | c 22 > 4.582580 | 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 > 8.569860 | 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 > 9.884170 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.18 c choco : 823.37
7.18/7.18 c mistral : 492.791
7.18/7.18 c abscon : 73.1119
7.18/7.18 c
7.18/7.18 c
7.18/7.18 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-39_ext.xml
7.18/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.713900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.790420 | c 14 > 12.620000 | c 11 > 5.321930 | c 12 > 10.529700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.455330 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.19 c choco : 1801.0
7.18/7.19 c mistral : 28.7486
7.18/7.19 c abscon : 1.58576
7.18/7.19 c
7.18/7.19 c
7.18/7.19 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-15_ext.xml
7.18/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.327200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.221800 | c 14 > 12.006000 | c 11 > 5.643860 | c 12 > 10.076400 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | 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 > 8.873440 | 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.167400 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.20 c choco : 1801.0
7.18/7.20 c mistral : 1800.04
7.18/7.20 c abscon : 468.835
7.18/7.20 c
7.18/7.20 c
7.18/7.20 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml
7.18/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.814500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.956240 | c 14 > 12.898800 | c 11 > 5.321930 | c 12 > 11.009500 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.409390 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.20 c choco : 383.01
7.28/7.20 c mistral : 136.456
7.28/7.20 c abscon : 83.8203
7.28/7.20 c
7.28/7.20 c
7.28/7.20 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-45_ext.xml
7.28/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.759300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.732990 | c 14 > 12.706900 | c 11 > 5.321930 | c 12 > 10.709200 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.434630 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.21 c choco : 1801.0
7.28/7.21 c mistral : 93.89
7.28/7.21 c abscon : 64.1932
7.28/7.21 c
7.28/7.21 c
7.28/7.21 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-37_ext.xml
7.28/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.833700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.922950 | c 14 > 12.801300 | c 11 > 5.321930 | c 12 > 10.997300 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.392320 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.21 c choco : 461.85
7.28/7.21 c mistral : 88.2516
7.28/7.21 c abscon : 19.3101
7.28/7.21 c
7.28/7.21 c
7.28/7.21 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml
7.28/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.744900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.080800 | c 14 > 12.699800 | c 11 > 5.321930 | c 12 > 10.836400 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.366320 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.23 c choco : 1801.0
7.28/7.23 c mistral : 43.15
7.28/7.23 c abscon : 43.5314
7.28/7.23 c
7.28/7.23 c
7.28/7.23 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-1_ext.xml
7.28/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.211200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.093400 | c 14 > 12.013700 | c 11 > 5.643860 | c 12 > 10.029600 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 8.882640 | 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 > 9.965780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.23 c choco : 1801.0
7.28/7.23 c mistral : 72.0091
7.28/7.23 c abscon : 17.3344
7.28/7.23 c
7.28/7.23 c
7.28/7.23 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-23_ext.xml
7.28/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.821200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.156000 | c 14 > 12.858800 | c 11 > 5.321930 | c 12 > 11.050600 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.379380 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.24 c choco : 65.95
7.28/7.24 c mistral : 6.46
7.28/7.24 c abscon : 25.4031
7.28/7.24 c
7.28/7.24 c
7.28/7.24 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-27_ext.xml
7.28/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.751100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.713620 | c 14 > 12.720900 | c 11 > 5.321930 | c 12 > 10.658200 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.400880 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.25 c choco : 1801.0
7.28/7.25 c mistral : 68.06
7.28/7.25 c abscon : 61.4207
7.28/7.25 c
7.28/7.25 c
7.28/7.25 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-29_ext.xml
7.28/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.728700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.892020 | c 14 > 12.740200 | c 11 > 5.321930 | c 12 > 10.780700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.366320 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.25 c choco : 1801.0
7.28/7.25 c mistral : 46.99
7.28/7.25 c abscon : 4.64829
7.28/7.25 c
7.28/7.25 c
7.28/7.25 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-1-mgd_ext.xml
7.28/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.400700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.326730 | c 14 > 12.218900 | c 11 > 5.491850 | c 12 > 10.307300 | c 21 > 4.582580 | c 20 > 0.000000 | c 22 > 4.582580 | 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 > 8.622050 | 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 > 9.884170 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.26 c choco : 1801.0
7.28/7.26 c mistral : 1800.04
7.28/7.26 c abscon : 30.0294
7.28/7.26 c
7.28/7.26 c
7.28/7.26 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
7.28/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.652300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.801770 | c 14 > 12.620700 | c 11 > 5.321930 | c 12 > 10.583600 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.434630 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.26 c choco : 1801.0
7.28/7.26 c mistral : 98.2
7.28/7.26 c abscon : 82.2015
7.28/7.26 c
7.28/7.26 c
7.28/7.26 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-4-mgd_ext.xml
7.28/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.719700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.971580 | c 14 > 12.709700 | c 11 > 5.321930 | c 12 > 10.834700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.348730 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.27 c choco : 67.08
7.28/7.27 c mistral : 31.8752
7.28/7.27 c abscon : 10.2504
7.28/7.27 c
7.28/7.27 c
7.28/7.27 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-49_ext.xml
7.28/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.878800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.742350 | c 14 > 12.938500 | c 11 > 5.321930 | c 12 > 11.135900 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.442940 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.27 c choco : 32.14
7.28/7.27 c mistral : 2.98854
7.28/7.27 c abscon : 14.2088
7.28/7.27 c
7.28/7.27 c
7.28/7.27 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
7.28/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.799500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.663360 | c 14 > 12.864600 | c 11 > 5.321930 | c 12 > 10.884700 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.379380 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.28 c choco : 1801.0
7.28/7.28 c mistral : 56.7
7.28/7.28 c abscon : 365.688
7.28/7.28 c
7.28/7.28 c
7.28/7.28 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-13_ext.xml
7.28/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.662500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.680320 | c 14 > 12.670000 | c 11 > 5.321930 | c 12 > 10.610500 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.417850 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.28 c choco : 1801.0
7.28/7.28 c mistral : 81.74
7.28/7.28 c abscon : 68.6956
7.28/7.28 c
7.28/7.28 c
7.28/7.28 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-21_ext.xml
7.28/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.831600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.805410 | c 14 > 12.868200 | c 11 > 5.321930 | c 12 > 11.082000 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.375040 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.29 c choco : 417.75
7.28/7.29 c mistral : 124.962
7.28/7.29 c abscon : 17.8703
7.28/7.29 c
7.28/7.29 c
7.28/7.29 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-5-mgd_ext.xml
7.28/7.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.333600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.506930 | c 14 > 12.136000 | c 11 > 5.491850 | c 12 > 10.235800 | c 21 > 4.582580 | c 20 > 0.000000 | c 22 > 4.582580 | 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 > 8.550750 | 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 > 9.884170 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.29 c choco : 1801.0
7.28/7.29 c mistral : 267.515
7.28/7.30 c abscon : 404.202
7.28/7.30 c
7.28/7.30 c
7.28/7.30 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-13_ext.xml
7.28/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.639700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.984510 | c 14 > 12.543500 | c 11 > 5.321930 | c 12 > 10.840100 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.417850 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.30 c choco : 1801.0
7.34/7.30 c mistral : 23.6864
7.34/7.30 c abscon : 21.2378
7.34/7.30 c
7.34/7.30 c
7.34/7.30 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-45_ext.xml
7.34/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.289800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.243510 | c 14 > 11.934400 | c 11 > 5.643860 | c 12 > 10.007200 | c 21 > 4.795830 | c 20 > 0.000000 | c 22 > 4.795830 | 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 > 8.867280 | 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.167400 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.31 c choco : 1801.0
7.34/7.31 c mistral : 1442.89
7.34/7.31 c abscon : 396.648
7.34/7.31 c
7.34/7.31 c
7.34/7.31 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-43_ext.xml
7.34/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.682100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.790560 | c 14 > 12.652200 | c 11 > 5.321930 | c 12 > 10.905500 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.409390 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.31 c choco : 874.26
7.34/7.31 c mistral : 367.294
7.34/7.31 c abscon : 311.807
7.34/7.31 c
7.34/7.31 c
7.34/7.31 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-31_ext.xml
7.34/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.758600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.747300 | c 14 > 12.733000 | c 11 > 5.321930 | c 12 > 10.966400 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.366320 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.32 c choco : 101.55
7.34/7.32 c mistral : 21.2988
7.34/7.32 c abscon : 26.8099
7.34/7.32 c
7.34/7.32 c
7.34/7.32 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-37_ext.xml
7.34/7.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.681200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.887010 | c 14 > 12.807800 | c 11 > 5.321930 | c 12 > 11.058000 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.392320 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.33 c choco : 839.83
7.34/7.33 c mistral : 346.46
7.34/7.33 c abscon : 305.646
7.34/7.33 c
7.34/7.33 c
7.34/7.33 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
7.34/7.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.718000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.642020 | c 14 > 12.741700 | c 11 > 5.321930 | c 12 > 10.910300 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.400880 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.33 c choco : 799.39
7.34/7.33 c mistral : 287.57
7.34/7.33 c abscon : 270.083
7.34/7.33 c
7.34/7.33 c
7.34/7.33 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-35_ext.xml
7.34/7.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.688500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.571510 | c 14 > 12.683900 | c 11 > 5.321930 | c 12 > 10.781300 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.422060 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.34 c choco : 210.51
7.34/7.34 c mistral : 212.56
7.34/7.34 c abscon : 45.968
7.34/7.34 c
7.34/7.34 c
7.34/7.34 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-49_ext.xml
7.34/7.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.734400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.543060 | c 14 > 12.776800 | c 11 > 5.321930 | c 12 > 10.932800 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.442940 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.34 c choco : 1801.0
7.34/7.34 c mistral : 56.53
7.34/7.34 c abscon : 212.71
7.34/7.34 c
7.34/7.34 c
7.34/7.34 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-25_ext.xml
7.34/7.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.722200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.491670 | c 14 > 12.676600 | c 11 > 5.321930 | c 12 > 10.558200 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.405140 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.35 c choco : 394.9
7.34/7.35 c mistral : 169.9
7.34/7.35 c abscon : 138.093
7.34/7.35 c
7.34/7.35 c
7.34/7.35 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-33_ext.xml
7.34/7.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.745900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.587500 | c 14 > 12.718500 | c 11 > 5.321930 | c 12 > 10.870600 | c 21 > 4.358900 | c 20 > 0.000000 | c 22 > 4.358900 | 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 > 8.379380 | 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 > 9.569860 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.34/7.35 c choco : 1801.0
7.34/7.35 c mistral : 508.89
7.34/7.35 c abscon : 411.682
7.34/7.35 c
7.34/7.35 c
7.34/7.36 c Length: 40
7.34/7.36 c 1.6572989153137103 1.6886030240112668 1.6919229386706707 1.733286008078298 1.7495740986594421 1.7653870438235355 1.7779181656083047 1.8185872864671622 1.8271718922422149 1.8518952785997382 1.8519883992617219 1.8717538821383533 1.875538033978517 1.8785784605387112 1.8788336847363578 1.8792037565415836 1.886218988055204 1.8902373603333515 1.8909322325773583 1.8933645111282713 1.8953912889954927 1.8990854748536197 1.9023928793758667 1.9084558101774318 1.9140073121333678 1.9165004475084269 1.9227822595395458 1.9319839708703581 1.933410546392048 1.937591345330588 1.939545468763235 1.944200078618453 1.9468802898226694 1.9511351153623364 1.9602365812574762 1.960572823029024 1.9654388548362416 1.9660984493152924 1.967182048438832 1.9701711859632909
7.34/7.36 c
7.34/7.36 c 1.0 0.9090463187597685 0.9003614600957194 0.8045897825439402 0.772242963800534 0.7432344497827804 0.721749458831681 0.6598444557942633 0.648110514229294 0.616535190013892 0.6164220763592277 0.5933171063724434 0.5890897407669378 0.5857366039976971 0.5854568656267967 0.5850517228592169 0.5774763605762964 0.5732248592187605 0.5724960138911825 0.5699593519843624 0.5678627002087849 0.5640805728139098 0.5607369248987267 0.554709383449785 0.5493028266562052 0.5469089286976769 0.5409686749855045 0.5324965866220255 0.5312068287973554 0.5274627271279776 0.5257307582619466 0.5216507650010519 0.5193300317192806 0.5156879881527346 0.5080662913307089 0.5077890306483265 0.503810175588768 0.5032756324297865 0.5023999290141369 0.5
7.34/7.37 c
7.34/7.37 c solver 0
7.34/7.37 c before 0.0 seconds: {} 0
7.34/7.37 c before 18.0 seconds: {0, 1, 3, 4, 5, 8, 12, 18, 21, 24, 25, 28} 8230
7.34/7.37 c before 36.0 seconds: {0, 1, 3, 4, 5, 7, 8, 12, 16, 18, 19, 21, 22, 24, 25, 28, 30, 33} 11639
7.34/7.37 c before 54.0 seconds: {0, 1, 3, 4, 5, 7, 8, 12, 16, 17, 18, 19, 21, 22, 24, 25, 28, 30, 33, 36} 12716
7.34/7.37 c before 72.0 seconds: {0, 1, 3, 4, 5, 7, 8, 12, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 30, 33, 36} 14402
7.34/7.37 c before 90.0 seconds: {0, 1, 3, 4, 5, 7, 8, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 33, 36} 16135
7.34/7.37 c before 144.0 seconds: {0, 1, 3, 4, 5, 7, 8, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 33, 36, 38} 16638
7.34/7.37 c before 162.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 33, 36, 38} 17254
7.34/7.37 c before 216.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 33, 36, 37, 38} 17757
7.34/7.37 c before 288.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 33, 35, 36, 37, 38} 18265
7.34/7.37 c before 306.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 33, 34, 35, 36, 37, 38} 18773
7.34/7.37 c before 324.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38} 19293
7.34/7.37 c before 378.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38} 19834
7.34/7.37 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38} 20734
7.34/7.37 c before 414.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 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} 22283
7.34/7.37 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 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} 22869
7.34/7.37 c before 1530.0 seconds: {0, 1, 2, 3, 4, 5, 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} 23485
7.34/7.37 c
7.34/7.37 c solver 1
7.34/7.37 c before 0.0 seconds: {} 0
7.34/7.37 c before 18.0 seconds: {0, 1, 3, 4, 7, 8, 19, 25} 5910
7.34/7.37 c before 36.0 seconds: {0, 1, 3, 4, 7, 8, 12, 19, 24, 25, 30, 33} 8090
7.34/7.37 c before 54.0 seconds: {0, 1, 3, 4, 7, 8, 12, 17, 19, 21, 24, 25, 30, 33} 9227
7.34/7.37 c before 72.0 seconds: {0, 1, 3, 4, 7, 8, 12, 17, 19, 20, 21, 24, 25, 26, 30, 33, 37} 10839
7.34/7.37 c before 90.0 seconds: {0, 1, 3, 4, 7, 8, 12, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 30, 33, 37} 12522
7.34/7.37 c before 108.0 seconds: {0, 1, 3, 4, 7, 8, 12, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 30, 33, 37} 13662
7.34/7.37 c before 126.0 seconds: {0, 1, 3, 4, 7, 8, 12, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 33, 37} 14193
7.34/7.37 c before 144.0 seconds: {0, 1, 3, 4, 7, 8, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 33, 37} 14778
7.34/7.37 c before 180.0 seconds: {0, 1, 3, 4, 7, 8, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 33, 37, 38} 15281
7.34/7.37 c before 216.0 seconds: {0, 1, 3, 4, 7, 8, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 33, 36, 37, 38} 15785
7.34/7.37 c before 270.0 seconds: {0, 1, 3, 4, 7, 8, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 36, 37, 38} 16312
7.34/7.37 c before 288.0 seconds: {0, 1, 3, 4, 7, 8, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 35, 36, 37, 38} 16820
7.34/7.37 c before 360.0 seconds: {0, 1, 3, 4, 7, 8, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38} 17328
7.34/7.37 c before 378.0 seconds: {0, 1, 3, 4, 7, 8, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38} 17847
7.34/7.37 c before 486.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38} 19207
7.34/7.37 c before 504.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38} 19800
7.34/7.37 c before 522.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 20300
7.34/7.38 c before 648.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 21022
7.34/7.38 c before 810.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 21922
7.34/7.38 c before 1458.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22444
7.34/7.38 c
7.34/7.38 c solver 2
7.34/7.38 c before 0.0 seconds: {} 0
7.34/7.38 c before 18.0 seconds: {0, 1} 1909
7.34/7.38 c before 36.0 seconds: {0, 1, 8, 25} 3104
7.34/7.38 c before 54.0 seconds: {0, 1, 4, 8, 25} 3876
7.34/7.38 c before 72.0 seconds: {0, 1, 4, 8, 19, 24, 25} 4995
7.34/7.38 c before 90.0 seconds: {0, 1, 3, 4, 8, 19, 24, 25} 5800
7.34/7.38 c before 108.0 seconds: {0, 1, 3, 4, 8, 19, 24, 25, 33} 6315
7.34/7.38 c before 216.0 seconds: {0, 1, 3, 4, 8, 19, 24, 25, 33, 36} 6819
7.34/7.38 c before 396.0 seconds: {0, 1, 3, 4, 8, 14, 19, 24, 25, 33, 36, 38} 7907
7.34/7.38 c before 432.0 seconds: {0, 1, 3, 4, 8, 14, 19, 24, 25, 28, 33, 36, 38} 8438
7.34/7.38 c before 468.0 seconds: {0, 1, 3, 4, 8, 14, 16, 19, 24, 25, 28, 33, 36, 38} 9016
7.34/7.38 c before 630.0 seconds: {0, 1, 3, 4, 8, 9, 14, 16, 19, 24, 25, 28, 33, 36, 38} 9632
7.34/7.38 c before 810.0 seconds: {0, 1, 3, 4, 8, 9, 14, 16, 19, 24, 25, 28, 33, 35, 36, 38} 10140
7.34/7.38 c before 828.0 seconds: {0, 1, 3, 4, 8, 9, 11, 14, 16, 19, 24, 25, 28, 33, 35, 36, 38} 10733
7.34/7.38 c before 846.0 seconds: {0, 1, 3, 4, 8, 9, 11, 14, 16, 19, 24, 25, 28, 33, 34, 35, 36, 38} 11241
7.34/7.38 c before 882.0 seconds: {0, 1, 3, 4, 8, 9, 11, 14, 16, 19, 24, 25, 28, 32, 33, 34, 35, 36, 38} 11761
7.34/7.38 c before 1008.0 seconds: {0, 1, 3, 4, 5, 8, 9, 11, 14, 16, 19, 24, 25, 28, 32, 33, 34, 35, 36, 38} 12504
7.34/7.38 c
7.34/7.38 cTotal time: 222
7.34/7.38 c run abscon for 486.0 seconds {0, 1, 2, 3, 4, 5, 7, 8, 9, 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} 22869
7.34/7.38 c run mistral for 810.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 21922
7.34/7.38 c run choco for 468.0 seconds {0, 1, 3, 4, 8, 14, 16, 19, 24, 25, 28, 33, 36, 38} 9016
7.34/7.38 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.34/7.38 c On Instance: HOME/instance-1046054-1215020944.xml
7.34/7.38 c Running for: 486 seconds
493.58/502.28 c Starting solver: HOME/cpHydra_k_40/solver/mistral
493.58/502.28 c On Instance: HOME/instance-1046054-1215020944.xml
493.58/502.28 c Running for: 810 seconds
1303.47/1312.39 c Starting solver: HOME/cpHydra_k_40/solver/choco
1303.47/1312.39 c On Instance: HOME/instance-1046054-1215020944.xml
1303.47/1312.39 c Running for: 468 seconds