0.00/0.00 c cpHydra_k_40 version 0.0
7.01/8.45 c CASE TO CLASSIFY:
7.01/8.45 c Case: 0
7.01/8.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.387700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.880070 | c 14 > 12.851200 | c 11 > 5.807350 | c 12 > 10.669200 | 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.000000 | 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
7.01/8.46 c choco : 1801.0
7.01/8.46 c mistral : 1801.0
7.01/8.46 c abscon : 1801.0
7.01/8.46 c
7.01/8.46 c
7.11/8.54 c List of same ones: 40
7.11/8.54 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-41_ext.xml
7.11/8.54 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
7.11/8.54 c choco : 1801.0
7.11/8.54 c mistral : 809.899
7.11/8.54 c abscon : 394.314
7.11/8.54 c
7.11/8.54 c
7.11/8.54 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-4-mgd_ext.xml
7.11/8.54 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
7.11/8.55 c choco : 1001.97
7.11/8.55 c mistral : 472.64
7.11/8.55 c abscon : 2.28465
7.11/8.55 c
7.11/8.55 c
7.11/8.55 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23/rand-2-50-23-587-230-5_ext.xml
7.11/8.55 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
7.11/8.56 c choco : 1801.0
7.11/8.56 c mistral : 634.4
7.11/8.56 c abscon : 1800.06
7.11/8.56 c
7.11/8.56 c
7.11/8.56 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-2_ext.xml
7.11/8.56 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
7.11/8.57 c choco : 8.27
7.11/8.57 c mistral : 3.5
7.11/8.57 c abscon : 0.992848
7.11/8.57 c
7.11/8.57 c
7.11/8.57 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-89_ext.xml
7.11/8.57 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
7.11/8.58 c choco : 14.5
7.11/8.58 c mistral : 3.85
7.11/8.58 c abscon : 3.17252
7.11/8.58 c
7.11/8.58 c
7.11/8.58 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-3-mgd_ext.xml
7.11/8.58 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
7.11/8.59 c choco : 625.01
7.11/8.59 c mistral : 475.168
7.11/8.59 c abscon : 156.933
7.11/8.59 c
7.11/8.59 c
7.11/8.59 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-73_ext.xml
7.11/8.59 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
7.18/8.60 c choco : 75.7
7.18/8.60 c mistral : 2.32
7.18/8.60 c abscon : 4.17237
7.18/8.60 c
7.18/8.60 c
7.18/8.60 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23/rand-2-50-23-587-230-39_ext.xml
7.18/8.60 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/8.61 c choco : 1801.0
7.18/8.61 c mistral : 1800.07
7.18/8.61 c abscon : 1528.42
7.18/8.61 c
7.18/8.61 c
7.18/8.61 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-2-mgd_ext.xml
7.18/8.61 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/8.61 c choco : 823.37
7.18/8.61 c mistral : 492.791
7.18/8.61 c abscon : 73.1119
7.18/8.61 c
7.18/8.61 c
7.18/8.62 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml
7.18/8.62 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
7.18/8.62 c choco : 1801.0
7.18/8.62 c mistral : 8.71567
7.18/8.62 c abscon : 21.7987
7.18/8.62 c
7.18/8.62 c
7.18/8.62 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-1-mgd_ext.xml
7.18/8.63 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.38/8.83 c choco : 1801.0
7.38/8.83 c mistral : 1800.04
7.38/8.83 c abscon : 30.0294
7.38/8.83 c
7.38/8.83 c
7.38/8.83 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-45_ext.xml
7.38/8.83 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.38/8.84 c choco : 1801.0
7.38/8.85 c mistral : 93.89
7.38/8.85 c abscon : 64.1932
7.38/8.85 c
7.38/8.85 c
7.38/8.85 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-15_ext.xml
7.38/8.85 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.38/8.85 c choco : 1801.0
7.38/8.85 c mistral : 1800.04
7.38/8.85 c abscon : 468.835
7.38/8.85 c
7.38/8.85 c
7.38/8.85 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-37_ext.xml
7.38/8.85 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.38/8.86 c choco : 461.85
7.38/8.86 c mistral : 88.2516
7.38/8.86 c abscon : 19.3101
7.38/8.86 c
7.38/8.86 c
7.38/8.86 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml
7.38/8.86 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.38/8.87 c choco : 383.01
7.38/8.87 c mistral : 136.456
7.38/8.87 c abscon : 83.8203
7.38/8.87 c
7.38/8.87 c
7.38/8.87 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-27_ext.xml
7.38/8.87 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.38/8.87 c choco : 1801.0
7.38/8.87 c mistral : 68.06
7.38/8.87 c abscon : 61.4207
7.38/8.87 c
7.38/8.87 c
7.38/8.87 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-49_ext.xml
7.38/8.87 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.38/8.88 c choco : 32.14
7.38/8.88 c mistral : 2.98854
7.38/8.88 c abscon : 14.2088
7.38/8.88 c
7.38/8.88 c
7.38/8.88 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
7.38/8.88 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.38/8.89 c choco : 1801.0
7.38/8.89 c mistral : 56.7
7.38/8.89 c abscon : 365.688
7.38/8.89 c
7.38/8.89 c
7.38/8.89 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-39_ext.xml
7.38/8.89 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.38/8.90 c choco : 1801.0
7.38/8.90 c mistral : 28.7486
7.38/8.90 c abscon : 1.58576
7.38/8.90 c
7.38/8.90 c
7.44/8.90 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-29_ext.xml
7.44/8.90 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.44/8.91 c choco : 1801.0
7.44/8.91 c mistral : 46.99
7.44/8.91 c abscon : 4.64829
7.44/8.91 c
7.44/8.91 c
7.44/8.91 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-21_ext.xml
7.44/8.91 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.44/8.91 c choco : 417.75
7.44/8.91 c mistral : 124.962
7.44/8.91 c abscon : 17.8703
7.44/8.91 c
7.44/8.91 c
7.44/8.91 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml
7.44/8.91 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.44/8.92 c choco : 1801.0
7.44/8.92 c mistral : 43.15
7.44/8.92 c abscon : 43.5314
7.44/8.92 c
7.44/8.92 c
7.44/8.92 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-31_ext.xml
7.44/8.92 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.44/8.93 c choco : 101.55
7.44/8.93 c mistral : 21.2988
7.44/8.93 c abscon : 26.8099
7.44/8.93 c
7.44/8.93 c
7.44/8.93 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-8_ext.xml
7.44/8.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
7.44/8.93 c choco : 42.72
7.44/8.93 c mistral : 2.6416
7.44/8.93 c abscon : 1.07583
7.44/8.93 c
7.44/8.93 c
7.44/8.93 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-49_ext.xml
7.44/8.93 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.44/8.94 c choco : 1801.0
7.44/8.94 c mistral : 56.53
7.44/8.94 c abscon : 212.71
7.44/8.94 c
7.44/8.94 c
7.44/8.94 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-4-mgd_ext.xml
7.44/8.94 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.44/8.94 c choco : 67.08
7.44/8.94 c mistral : 31.8752
7.44/8.94 c abscon : 10.2504
7.44/8.94 c
7.44/8.94 c
7.44/8.94 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
7.44/8.94 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.44/8.95 c choco : 1801.0
7.44/8.95 c mistral : 98.2
7.44/8.95 c abscon : 82.2015
7.44/8.95 c
7.44/8.95 c
7.44/8.95 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-23_ext.xml
7.44/8.95 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.44/8.95 c choco : 65.95
7.44/8.95 c mistral : 6.46
7.44/8.96 c abscon : 25.4031
7.44/8.96 c
7.44/8.96 c
7.44/8.96 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
7.44/8.96 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.44/8.96 c choco : 799.39
7.44/8.96 c mistral : 287.57
7.44/8.96 c abscon : 270.083
7.44/8.96 c
7.44/8.96 c
7.44/8.96 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-33_ext.xml
7.44/8.96 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.44/8.97 c choco : 1801.0
7.44/8.97 c mistral : 508.89
7.44/8.97 c abscon : 411.682
7.44/8.97 c
7.44/8.97 c
7.44/8.97 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-13_ext.xml
7.44/8.97 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.44/8.97 c choco : 1801.0
7.44/8.97 c mistral : 81.74
7.44/8.97 c abscon : 68.6956
7.44/8.97 c
7.44/8.97 c
7.44/8.97 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-43_ext.xml
7.44/8.97 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.44/8.98 c choco : 874.26
7.44/8.98 c mistral : 367.294
7.44/8.98 c abscon : 311.807
7.44/8.98 c
7.44/8.98 c
7.44/8.98 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-5-mgd_ext.xml
7.44/8.98 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.44/8.98 c choco : 1801.0
7.44/8.98 c mistral : 267.515
7.44/8.98 c abscon : 404.202
7.44/8.98 c
7.44/8.98 c
7.44/8.98 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-35_ext.xml
7.44/8.99 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.44/8.99 c choco : 210.51
7.44/8.99 c mistral : 212.56
7.44/8.99 c abscon : 45.968
7.44/8.99 c
7.44/8.99 c
7.44/8.99 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-9_ext.xml
7.44/8.99 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
7.49/9.00 c choco : 23.66
7.49/9.00 c mistral : 2.27
7.49/9.00 c abscon : 1.3068
7.49/9.00 c
7.49/9.00 c
7.49/9.00 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-25_ext.xml
7.49/9.00 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.49/9.01 c choco : 394.9
7.49/9.01 c mistral : 169.9
7.49/9.01 c abscon : 138.093
7.49/9.01 c
7.49/9.01 c
7.49/9.01 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-37_ext.xml
7.49/9.01 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.49/9.01 c choco : 839.83
7.49/9.01 c mistral : 346.46
7.49/9.01 c abscon : 305.646
7.49/9.01 c
7.49/9.01 c
7.49/9.01 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-13_ext.xml
7.49/9.01 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.49/9.02 c choco : 1801.0
7.49/9.02 c mistral : 23.6864
7.49/9.02 c abscon : 21.2378
7.49/9.02 c
7.49/9.02 c
7.49/9.02 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-45_ext.xml
7.49/9.02 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.49/9.02 c choco : 1801.0
7.49/9.02 c mistral : 1442.89
7.49/9.02 c abscon : 396.648
7.49/9.02 c
7.49/9.02 c
7.49/9.02 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml
7.49/9.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.733100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.911780 | c 14 > 12.824800 | c 11 > 5.321930 | c 12 > 11.179700 | 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.49/9.03 c choco : 1056.91
7.49/9.03 c mistral : 387.366
7.49/9.03 c abscon : 379.2
7.49/9.03 c
7.49/9.03 c
7.49/9.03 c Length: 40
7.49/9.03 c 1.4776565597255666 1.5462663423226932 1.6081668275710699 1.6222339451509438 1.6242347395619883 1.6280260437106036 1.6468832894592143 1.6539360413570994 1.6544552354778281 1.6718600085533464 1.6801957302052635 1.681852722951685 1.6903085915003788 1.6906250516303125 1.6944892739111679 1.6967771790367745 1.6981565888927905 1.7014038988141527 1.7034278469603574 1.7119495212476321 1.716430288593159 1.7250960215883622 1.7283772370926422 1.7291502477228518 1.7308253990798712 1.7309555053206878 1.731210173635771 1.7314145337555638 1.7332841357665498 1.7351912423995224 1.7352338814695831 1.7378682431645958 1.7379916184492943 1.74031721981942 1.745699641605049 1.7494150902515953 1.7582827316447136 1.7616016020939569 1.7675816982532937 1.7737042726734347
7.49/9.04 c
7.49/9.04 c 1.0 0.8118514402272559 0.6940386214254806 0.6718811843466339 0.6688440910801949 0.6631637736669966 0.6362862125881159 0.6267852377449776 0.6260970159076673 0.6038694775869751 0.5937735684353961 0.5918067707537547 0.5819694545143907 0.5816076386675919 0.5772256013014632 0.5746620947170078 0.5731274939575782 0.5695470008573797 0.5673379329695522 0.5582217755478828 0.5535449587490903 0.5447188575351445 0.5414499414959629 0.5406855306956467 0.5390363995894027 0.5389087352111395 0.538659021513459 0.5384588045554115 0.5366339925982272 0.534785273681483 0.5347440856113578 0.5322116172253508 0.5320936017814187 0.5298787833375835 0.5248228045247193 0.5213886186538172 0.5133711109809294 0.5104334670291515 0.5052242816409696 0.5
7.49/9.05 c
7.49/9.05 c solver 0
7.49/9.05 c before 0.0 seconds: {} 0
7.49/9.05 c before 18.0 seconds: {1, 3, 4, 6, 16, 18, 19, 20, 23, 25, 34} 6645
7.49/9.05 c before 36.0 seconds: {1, 3, 4, 6, 9, 10, 13, 16, 18, 19, 20, 22, 23, 25, 27, 34, 37} 10015
7.49/9.05 c before 54.0 seconds: {1, 3, 4, 6, 9, 10, 13, 16, 18, 19, 20, 21, 22, 23, 25, 27, 33, 34, 37} 11089
7.49/9.05 c before 72.0 seconds: {1, 3, 4, 6, 9, 10, 11, 13, 15, 16, 18, 19, 20, 21, 22, 23, 25, 27, 30, 33, 34, 37} 12790
7.49/9.05 c before 90.0 seconds: {1, 3, 4, 6, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 26, 27, 30, 33, 34, 37} 14532
7.49/9.05 c before 144.0 seconds: {1, 3, 4, 6, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 26, 27, 30, 33, 34, 35, 37} 15054
7.49/9.05 c before 162.0 seconds: {1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 25, 26, 27, 30, 33, 34, 35, 37} 15717
7.49/9.05 c before 216.0 seconds: {1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 33, 34, 35, 37} 16256
7.49/9.05 c before 288.0 seconds: {1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 33, 34, 35, 37} 16793
7.49/9.05 c before 306.0 seconds: {1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 33, 34, 35, 36, 37} 17306
7.49/9.05 c before 324.0 seconds: {1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 35, 36, 37} 17838
7.49/9.05 c before 378.0 seconds: {1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 35, 36, 37} 18408
7.49/9.05 c before 396.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 35, 36, 37, 39} 19908
7.49/9.05 c before 414.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 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} 21480
7.49/9.05 c before 486.0 seconds: {0, 1, 3, 4, 5, 6, 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} 22062
7.49/9.05 c before 1530.0 seconds: {0, 1, 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} 22689
7.49/9.05 c
7.49/9.05 c solver 1
7.49/9.05 c before 0.0 seconds: {} 0
7.49/9.05 c before 18.0 seconds: {3, 4, 6, 9, 16, 23, 27, 34} 4757
7.49/9.05 c before 36.0 seconds: {3, 4, 6, 9, 16, 18, 22, 23, 25, 27, 34, 37} 6916
7.49/9.05 c before 54.0 seconds: {3, 4, 6, 9, 16, 18, 19, 21, 22, 23, 25, 27, 34, 37} 8019
7.49/9.05 c before 72.0 seconds: {3, 4, 6, 9, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 27, 34, 37} 9702
7.49/9.05 c before 90.0 seconds: {3, 4, 6, 9, 13, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 27, 30, 34, 37} 10818
7.49/9.05 c before 108.0 seconds: {3, 4, 6, 9, 11, 13, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 30, 34, 37} 11949
7.49/9.05 c before 126.0 seconds: {3, 4, 6, 9, 11, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 34, 37} 12502
7.49/9.05 c before 144.0 seconds: {3, 4, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 34, 37} 13079
7.49/9.05 c before 180.0 seconds: {3, 4, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 34, 35, 37} 13601
7.49/9.05 c before 216.0 seconds: {3, 4, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 33, 34, 35, 37} 14131
7.49/9.05 c before 270.0 seconds: {3, 4, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 32, 33, 34, 35, 37} 14663
7.49/9.05 c before 288.0 seconds: {3, 4, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 37} 15199
7.49/9.05 c before 360.0 seconds: {3, 4, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 37} 15713
7.49/9.05 c before 378.0 seconds: {3, 4, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37} 16245
7.49/9.05 c before 396.0 seconds: {3, 4, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 39} 16745
7.49/9.05 c before 486.0 seconds: {1, 3, 4, 5, 6, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 39} 18220
7.49/9.05 c before 504.0 seconds: {1, 3, 4, 5, 6, 8, 9, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 39} 18846
7.49/9.05 c before 522.0 seconds: {1, 3, 4, 5, 6, 8, 9, 11, 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, 39} 19381
7.49/9.05 c before 648.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9, 11, 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, 39} 20075
7.49/9.05 c before 810.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 11, 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, 39} 21075
7.49/9.05 c before 1458.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 11, 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} 21580
7.49/9.05 c
7.49/9.05 c solver 2
7.49/9.05 c before 0.0 seconds: {} 0
7.49/9.05 c before 18.0 seconds: {3, 4} 1340
7.49/9.06 c before 36.0 seconds: {3, 4, 16, 34} 2438
7.49/9.06 c before 54.0 seconds: {3, 4, 16, 23, 34} 2979
7.49/9.06 c before 72.0 seconds: {3, 4, 16, 23, 25, 27, 34} 4056
7.49/9.06 c before 90.0 seconds: {3, 4, 6, 16, 23, 25, 27, 34} 4693
7.49/9.06 c before 108.0 seconds: {3, 4, 6, 16, 22, 23, 25, 27, 34} 5234
7.49/9.06 c before 216.0 seconds: {3, 4, 6, 16, 22, 23, 25, 27, 33, 34} 5764
7.49/9.06 c before 396.0 seconds: {3, 4, 6, 14, 16, 22, 23, 25, 27, 33, 34, 35} 6862
7.49/9.06 c before 432.0 seconds: {3, 4, 6, 14, 16, 20, 22, 23, 25, 27, 33, 34, 35} 7416
7.49/9.06 c before 468.0 seconds: {3, 4, 6, 13, 14, 16, 20, 22, 23, 25, 27, 33, 34, 35} 7998
7.49/9.06 c before 630.0 seconds: {3, 4, 5, 6, 13, 14, 16, 20, 22, 23, 25, 27, 33, 34, 35} 8661
7.49/9.06 c before 810.0 seconds: {3, 4, 5, 6, 13, 14, 16, 20, 22, 23, 25, 27, 28, 33, 34, 35} 9197
7.49/9.06 c before 828.0 seconds: {3, 4, 5, 6, 8, 13, 14, 16, 20, 22, 23, 25, 27, 28, 33, 34, 35} 9824
7.49/9.06 c before 846.0 seconds: {3, 4, 5, 6, 8, 13, 14, 16, 20, 22, 23, 25, 27, 28, 33, 34, 35, 36} 10337
7.49/9.06 c before 882.0 seconds: {3, 4, 5, 6, 8, 13, 14, 16, 20, 22, 23, 25, 27, 28, 31, 33, 34, 35, 36} 10869
7.49/9.06 c before 1008.0 seconds: {1, 3, 4, 5, 6, 8, 13, 14, 16, 20, 22, 23, 25, 27, 28, 31, 33, 34, 35, 36} 11681
7.49/9.06 c before 1062.0 seconds: {1, 3, 4, 5, 6, 8, 13, 14, 16, 20, 22, 23, 25, 27, 28, 31, 33, 34, 35, 36, 39} 12181
7.49/9.06 c
7.49/9.06 cTotal time: 225
7.49/9.06 c run abscon for 486.0 seconds {0, 1, 3, 4, 5, 6, 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} 22062
7.49/9.06 c run mistral for 810.0 seconds {0, 1, 2, 3, 4, 5, 6, 8, 9, 11, 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, 39} 21075
7.49/9.06 c run choco for 468.0 seconds {3, 4, 6, 13, 14, 16, 20, 22, 23, 25, 27, 33, 34, 35} 7998
7.49/9.06 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.49/9.06 c On Instance: HOME/instance-1046057-1215020947.xml
7.49/9.06 c Running for: 486 seconds
493.70/495.59 c Starting solver: HOME/cpHydra_k_40/solver/mistral
493.70/495.59 c On Instance: HOME/instance-1046057-1215020947.xml
493.70/495.59 c Running for: 810 seconds
1303.64/1313.25 c Starting solver: HOME/cpHydra_k_40/solver/choco
1303.64/1313.25 c On Instance: HOME/instance-1046057-1215020947.xml
1303.64/1313.25 c Running for: 468 seconds