0.00/0.00 c cpHydra_k_40 version 0.0
10.51/16.38 c CASE TO CLASSIFY:
10.51/16.38 c Case: 0
10.51/16.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.346800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.963330 | c 14 > 12.820200 | c 11 > 5.807350 | c 12 > 10.364300 | 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 > 8.997180 | 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
10.51/16.39 c choco : 1801.0
10.51/16.39 c mistral : 1801.0
10.51/16.39 c abscon : 1801.0
10.51/16.39 c
10.51/16.39 c
10.61/16.47 c List of same ones: 40
10.61/16.47 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-41_ext.xml
10.61/16.47 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
10.61/16.47 c choco : 1801.0
10.61/16.47 c mistral : 809.899
10.61/16.47 c abscon : 394.314
10.61/16.47 c
10.61/16.47 c
10.61/16.47 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-89_ext.xml
10.61/16.47 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
10.61/16.48 c choco : 14.5
10.61/16.48 c mistral : 3.85
10.61/16.48 c abscon : 3.17252
10.61/16.48 c
10.61/16.48 c
10.61/16.48 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23/rand-2-50-23-587-230-5_ext.xml
10.61/16.48 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
10.61/16.49 c choco : 1801.0
10.61/16.49 c mistral : 634.4
10.61/16.49 c abscon : 1800.06
10.61/16.49 c
10.61/16.49 c
10.61/16.49 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-4-mgd_ext.xml
10.61/16.49 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
10.70/16.50 c choco : 1001.97
10.70/16.50 c mistral : 472.64
10.70/16.50 c abscon : 2.28465
10.70/16.50 c
10.70/16.50 c
10.70/16.50 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-73_ext.xml
10.70/16.50 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
10.70/16.51 c choco : 75.7
10.70/16.51 c mistral : 2.32
10.70/16.51 c abscon : 4.17237
10.70/16.51 c
10.70/16.51 c
10.70/16.51 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-3-mgd_ext.xml
10.70/16.51 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
10.70/16.52 c choco : 625.01
10.70/16.52 c mistral : 475.168
10.70/16.52 c abscon : 156.933
10.70/16.52 c
10.70/16.52 c
10.70/16.52 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23/rand-2-50-23-587-230-39_ext.xml
10.70/16.52 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
10.70/16.53 c choco : 1801.0
10.70/16.53 c mistral : 1800.07
10.70/16.53 c abscon : 1528.42
10.70/16.53 c
10.70/16.53 c
10.70/16.53 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-2-mgd_ext.xml
10.70/16.53 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
10.70/16.54 c choco : 823.37
10.70/16.54 c mistral : 492.791
10.70/16.54 c abscon : 73.1119
10.70/16.54 c
10.70/16.54 c
10.70/16.54 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-15_ext.xml
10.70/16.54 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
10.70/16.55 c choco : 1801.0
10.70/16.55 c mistral : 1800.04
10.70/16.55 c abscon : 468.835
10.70/16.55 c
10.70/16.55 c
10.70/16.55 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-2_ext.xml
10.70/16.55 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
10.70/16.56 c choco : 8.27
10.70/16.56 c mistral : 3.5
10.70/16.56 c abscon : 0.992848
10.70/16.56 c
10.70/16.56 c
10.70/16.56 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-9_ext.xml
10.70/16.56 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
10.70/16.56 c choco : 23.66
10.70/16.56 c mistral : 2.27
10.70/16.56 c abscon : 1.3068
10.70/16.56 c
10.70/16.56 c
10.70/16.56 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-8_ext.xml
10.70/16.56 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
10.70/16.58 c choco : 42.72
10.70/16.58 c mistral : 2.6416
10.70/16.58 c abscon : 1.07583
10.70/16.58 c
10.70/16.58 c
10.70/16.58 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-1-mgd_ext.xml
10.70/16.58 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
10.70/16.59 c choco : 1801.0
10.70/16.59 c mistral : 1800.04
10.70/16.59 c abscon : 30.0294
10.70/16.59 c
10.70/16.59 c
10.70/16.59 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-45_ext.xml
10.70/16.59 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
10.70/16.59 c choco : 1801.0
10.70/16.59 c mistral : 1442.89
10.70/16.59 c abscon : 396.648
10.70/16.59 c
10.70/16.59 c
10.70/16.60 c /home/eomahony/cpZilla/CSP/frb/frb45-21/frb45-21-5-mgd_ext.xml
10.70/16.60 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
10.77/16.60 c choco : 1801.0
10.77/16.60 c mistral : 267.515
10.77/16.60 c abscon : 404.202
10.77/16.60 c
10.77/16.60 c
10.77/16.60 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-39_ext.xml
10.77/16.60 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
10.77/16.61 c choco : 1801.0
10.77/16.61 c mistral : 28.7486
10.77/16.61 c abscon : 1.58576
10.77/16.61 c
10.77/16.61 c
10.77/16.61 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml
10.77/16.61 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
10.77/16.62 c choco : 1801.0
10.77/16.62 c mistral : 8.71567
10.77/16.62 c abscon : 21.7987
10.77/16.62 c
10.77/16.62 c
10.77/16.62 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-45_ext.xml
10.77/16.62 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
10.77/16.63 c choco : 1801.0
10.77/16.63 c mistral : 93.89
10.77/16.63 c abscon : 64.1932
10.77/16.63 c
10.77/16.63 c
10.77/16.63 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-1_ext.xml
10.77/16.63 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
10.77/16.64 c choco : 1801.0
10.77/16.64 c mistral : 72.0091
10.77/16.64 c abscon : 17.3344
10.77/16.64 c
10.77/16.64 c
10.77/16.64 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-27_ext.xml
10.77/16.64 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
10.77/16.65 c choco : 1801.0
10.77/16.65 c mistral : 68.06
10.77/16.65 c abscon : 61.4207
10.77/16.65 c
10.77/16.65 c
10.77/16.65 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
10.77/16.65 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
10.77/16.65 c choco : 1801.0
10.77/16.65 c mistral : 98.2
10.77/16.65 c abscon : 82.2015
10.77/16.65 c
10.77/16.65 c
10.77/16.65 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-29_ext.xml
10.77/16.65 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
10.77/16.66 c choco : 1801.0
10.77/16.66 c mistral : 46.99
10.77/16.66 c abscon : 4.64829
10.77/16.66 c
10.77/16.66 c
10.77/16.66 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-13_ext.xml
10.77/16.66 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
10.77/16.66 c choco : 1801.0
10.77/16.66 c mistral : 81.74
10.77/16.66 c abscon : 68.6956
10.77/16.66 c
10.77/16.66 c
10.77/16.66 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml
10.77/16.66 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
10.77/16.67 c choco : 1801.0
10.77/16.67 c mistral : 43.15
10.77/16.67 c abscon : 43.5314
10.77/16.67 c
10.77/16.67 c
10.77/16.67 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-25_ext.xml
10.77/16.67 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
10.77/16.68 c choco : 394.9
10.77/16.68 c mistral : 169.9
10.77/16.68 c abscon : 138.093
10.77/16.68 c
10.77/16.68 c
10.77/16.68 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-37_ext.xml
10.77/16.68 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
10.77/16.68 c choco : 461.85
10.77/16.68 c mistral : 88.2516
10.77/16.68 c abscon : 19.3101
10.77/16.68 c
10.77/16.68 c
10.77/16.68 c /home/eomahony/cpZilla/CSP/geom/geo50-20-d4-75-55_ext.xml
10.77/16.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.311400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.727950 | c 14 > 11.969000 | c 11 > 5.643860 | c 12 > 9.741470 | 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.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 > 9.965780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.77/16.69 c choco : 31.51
10.77/16.69 c mistral : 1.9527
10.77/16.69 c abscon : 1.75573
10.77/16.69 c
10.77/16.69 c
10.77/16.69 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
10.77/16.69 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
10.77/16.69 c choco : 1801.0
10.77/16.69 c mistral : 56.7
10.77/16.69 c abscon : 365.688
10.77/16.69 c
10.77/16.69 c
10.77/16.69 c /home/eomahony/cpZilla/CSP/frb/frb40-19/frb40-19-4-mgd_ext.xml
10.77/16.69 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
10.84/16.70 c choco : 67.08
10.84/16.70 c mistral : 31.8752
10.84/16.70 c abscon : 10.2504
10.84/16.70 c
10.84/16.70 c
10.84/16.70 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml
10.84/16.70 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
10.84/16.71 c choco : 383.01
10.84/16.71 c mistral : 136.456
10.84/16.71 c abscon : 83.8203
10.84/16.71 c
10.84/16.71 c
10.84/16.71 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-35_ext.xml
10.84/16.71 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
10.84/16.71 c choco : 210.51
10.84/16.71 c mistral : 212.56
10.84/16.71 c abscon : 45.968
10.84/16.71 c
10.84/16.71 c
10.84/16.71 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-43_ext.xml
10.84/16.71 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
10.84/16.72 c choco : 874.26
10.84/16.72 c mistral : 367.294
10.84/16.72 c abscon : 311.807
10.84/16.72 c
10.84/16.72 c
10.84/16.72 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-13_ext.xml
10.84/16.72 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
10.84/16.72 c choco : 1801.0
10.84/16.72 c mistral : 23.6864
10.84/16.72 c abscon : 21.2378
10.84/16.72 c
10.84/16.72 c
10.84/16.72 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-33_ext.xml
10.84/16.72 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
10.84/16.73 c choco : 1801.0
10.84/16.73 c mistral : 508.89
10.84/16.73 c abscon : 411.682
10.84/16.73 c
10.84/16.73 c
10.84/16.73 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
10.84/16.73 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
10.84/16.74 c choco : 799.39
10.84/16.74 c mistral : 287.57
10.84/16.74 c abscon : 270.083
10.84/16.74 c
10.84/16.74 c
10.84/16.74 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-31_ext.xml
10.84/16.74 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
10.84/16.75 c choco : 101.55
10.84/16.75 c mistral : 21.2988
10.84/16.75 c abscon : 26.8099
10.84/16.75 c
10.84/16.75 c
10.84/16.75 c /home/eomahony/cpZilla/CSP/random/rand-2-50-23/rand-2-50-23-587-230-42_ext.xml
10.84/16.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.214800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.019280 | c 14 > 11.980100 | c 11 > 5.643860 | c 12 > 10.019300 | 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
10.84/16.75 c choco : 1801.0
10.84/16.75 c mistral : 1800.06
10.84/16.75 c abscon : 1201.87
10.84/16.75 c
10.84/16.75 c
10.84/16.75 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-23_ext.xml
10.84/16.75 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
10.84/16.76 c choco : 65.95
10.84/16.76 c mistral : 6.46
10.84/16.76 c abscon : 25.4031
10.84/16.76 c
10.84/16.76 c
10.84/16.76 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19/rand-2-40-19-443-230-49_ext.xml
10.84/16.76 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
10.84/16.76 c choco : 1801.0
10.84/16.76 c mistral : 56.53
10.84/16.76 c abscon : 212.71
10.84/16.76 c
10.84/16.76 c
10.84/16.76 c /home/eomahony/cpZilla/CSP/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-49_ext.xml
10.84/16.76 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
10.84/16.77 c choco : 32.14
10.84/16.77 c mistral : 2.98854
10.84/16.77 c abscon : 14.2088
10.84/16.77 c
10.84/16.77 c
10.84/16.77 c Length: 40
10.84/16.77 c 1.4116769191638718 1.4698835190585702 1.484961491790276 1.5051662332779072 1.5633836260815854 1.5724903401293135 1.5725907046971879 1.5828872849953652 1.6024798646160887 1.6066894313463325 1.628387635638395 1.6338049019390308 1.6355367347143268 1.6678720185913551 1.6697003529376166 1.691609490692223 1.692998025338482 1.707779826704836 1.7112726878846634 1.714371235322151 1.7270874021021636 1.7421107295749028 1.7427571969152786 1.755416044389477 1.7582268384938275 1.7612063344196782 1.761576696911039 1.764660709399969 1.7655990636041925 1.7667471269539397 1.7832989864854403 1.7911833673301019 1.791383417836617 1.7946398489111963 1.7968097463281967 1.797443895897727 1.7988797834763723 1.799331916934727 1.8038742164851735 1.8040075821348425
10.84/16.78 c
10.84/16.78 c 1.0 0.8708062469140249 0.8426070132082737 0.80756387443146 0.7211465327303631 0.7092739023420012 0.7091452323320163 0.6961882860679748 0.6727972068559823 0.667975179703897 0.6441773518380163 0.638498075805522 0.6367035464624253 0.604957714432203 0.603257002507932 0.5835967859571628 0.5823938731261393 0.5698889185186373 0.567012105624757 0.5644842627994399 0.5543420291990064 0.5428195178647259 0.5423344338408823 0.5330074257390852 0.5309797988590054 0.5288472509650806 0.5285833636671854 0.5263961557202902 0.5257342539613934 0.5249266870287176 0.5135535844223452 0.5083075914721474 0.5081758786528797 0.5060414101906875 0.5046290506872504 0.5042177780153693 0.5032890173924524 0.5029972763830483 0.5000849973846817 0.5
10.84/16.79 c
10.84/16.79 c solver 0
10.84/16.79 c before 0.0 seconds: {} 0
10.84/16.79 c before 18.0 seconds: {1, 3, 4, 9, 10, 11, 15, 18, 21, 26, 28, 39} 7597
10.84/16.79 c before 36.0 seconds: {1, 3, 4, 9, 10, 11, 12, 15, 16, 18, 21, 25, 26, 28, 32, 35, 37, 39} 10861
10.84/16.79 c before 54.0 seconds: {1, 3, 4, 9, 10, 11, 12, 15, 16, 18, 21, 23, 25, 26, 28, 30, 32, 35, 37, 39} 11907
10.84/16.79 c before 72.0 seconds: {1, 3, 4, 9, 10, 11, 12, 15, 16, 17, 18, 19, 21, 22, 23, 25, 26, 28, 30, 32, 35, 37, 39} 13584
10.84/16.79 c before 90.0 seconds: {1, 3, 4, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 28, 29, 30, 32, 35, 37, 39} 15359
10.84/16.79 c before 144.0 seconds: {1, 3, 4, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 32, 35, 37, 39} 15890
10.84/16.79 c before 162.0 seconds: {1, 3, 4, 5, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 32, 35, 37, 39} 16600
10.84/16.79 c before 216.0 seconds: {1, 3, 4, 5, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 32, 35, 37, 38, 39} 17100
10.84/16.79 c before 288.0 seconds: {1, 3, 4, 5, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 32, 34, 35, 37, 38, 39} 17604
10.84/16.79 c before 324.0 seconds: {1, 3, 4, 5, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 18113
10.84/16.79 c before 378.0 seconds: {1, 3, 4, 5, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 18639
10.84/16.79 c before 396.0 seconds: {0, 1, 3, 4, 5, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 19639
10.84/16.79 c before 414.0 seconds: {0, 1, 3, 4, 5, 7, 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, 37, 38, 39} 21353
10.84/16.79 c before 486.0 seconds: {0, 1, 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, 37, 38, 39} 22026
10.84/16.79 c before 1206.0 seconds: {0, 1, 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} 22529
10.84/16.79 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} 23239
10.84/16.79 c
10.84/16.79 c solver 1
10.84/16.79 c before 0.0 seconds: {} 0
10.84/16.79 c before 18.0 seconds: {1, 4, 9, 10, 11, 16, 26, 37, 39} 5656
10.84/16.79 c before 36.0 seconds: {1, 4, 9, 10, 11, 15, 16, 26, 28, 32, 35, 37, 39} 7778
10.84/16.79 c before 54.0 seconds: {1, 4, 9, 10, 11, 15, 16, 21, 23, 26, 28, 32, 35, 37, 39} 8854
10.84/16.79 c before 72.0 seconds: {1, 4, 9, 10, 11, 15, 16, 19, 21, 23, 26, 27, 28, 32, 35, 37, 38, 39} 10445
10.84/16.79 c before 90.0 seconds: {1, 4, 9, 10, 11, 15, 16, 18, 19, 21, 22, 23, 25, 26, 27, 28, 32, 35, 37, 38, 39} 12083
10.84/16.79 c before 108.0 seconds: {1, 4, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 32, 35, 37, 38, 39} 13207
10.84/16.79 c before 144.0 seconds: {1, 4, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 32, 35, 37, 38, 39} 13732
10.84/16.79 c before 180.0 seconds: {1, 4, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 32, 35, 37, 38, 39} 14263
10.84/16.79 c before 216.0 seconds: {1, 4, 9, 10, 11, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 35, 37, 38, 39} 14776
10.84/16.79 c before 270.0 seconds: {1, 4, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 35, 37, 38, 39} 15380
10.84/16.79 c before 288.0 seconds: {1, 4, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 35, 37, 38, 39} 15884
10.84/16.79 c before 378.0 seconds: {1, 4, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 16393
10.84/16.79 c before 486.0 seconds: {1, 3, 4, 5, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 17910
10.84/16.79 c before 504.0 seconds: {1, 3, 4, 5, 7, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 18606
10.84/16.79 c before 522.0 seconds: {1, 3, 4, 5, 7, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 19112
10.84/16.79 c before 648.0 seconds: {1, 2, 3, 4, 5, 7, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 19954
10.84/16.79 c before 810.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 20954
10.84/16.80 c before 1458.0 seconds: {0, 1, 2, 3, 4, 5, 7, 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, 37, 38, 39} 21559
10.84/16.80 c
10.84/16.80 c solver 2
10.84/16.80 c before 0.0 seconds: {} 0
10.84/16.80 c before 18.0 seconds: {1, 9} 1538
10.84/16.80 c before 36.0 seconds: {1, 9, 10, 26, 39} 3211
10.84/16.80 c before 54.0 seconds: {1, 9, 10, 11, 26, 39} 3850
10.84/16.80 c before 72.0 seconds: {1, 9, 10, 11, 26, 28, 37, 39} 4878
10.84/16.80 c before 90.0 seconds: {1, 4, 9, 10, 11, 26, 28, 37, 39} 5599
10.84/16.80 c before 108.0 seconds: {1, 4, 9, 10, 11, 26, 28, 35, 37, 39} 6104
10.84/16.80 c before 216.0 seconds: {1, 4, 9, 10, 11, 26, 28, 30, 35, 37, 39} 6617
10.84/16.80 c before 396.0 seconds: {1, 4, 9, 10, 11, 24, 26, 28, 29, 30, 35, 37, 39} 7673
10.84/16.80 c before 468.0 seconds: {1, 4, 9, 10, 11, 24, 25, 26, 28, 29, 30, 35, 37, 39} 8202
10.84/16.80 c before 630.0 seconds: {1, 4, 5, 9, 10, 11, 24, 25, 26, 28, 29, 30, 35, 37, 39} 8911
10.84/16.80 c before 810.0 seconds: {1, 4, 5, 9, 10, 11, 24, 25, 26, 28, 29, 30, 34, 35, 37, 39} 9416
10.84/16.80 c before 828.0 seconds: {1, 4, 5, 7, 9, 10, 11, 24, 25, 26, 28, 29, 30, 34, 35, 37, 39} 10112
10.84/16.80 c before 882.0 seconds: {1, 4, 5, 7, 9, 10, 11, 24, 25, 26, 28, 29, 30, 31, 34, 35, 37, 39} 10620
10.84/16.80 c before 1008.0 seconds: {1, 3, 4, 5, 7, 9, 10, 11, 24, 25, 26, 28, 29, 30, 31, 34, 35, 37, 39} 11428
10.84/16.80 c
10.84/16.80 cTotal time: 222
10.91/16.80 c run abscon for 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} 23239
10.91/16.80 c run mistral for 270.0 seconds {1, 4, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 35, 37, 38, 39} 15380
10.91/16.80 c do not run choco
10.91/16.80 c Starting solver: HOME/cpHydra_k_40/solver/abscon
10.91/16.80 c On Instance: HOME/instance-1046050-1215020944.xml
10.91/16.80 c Running for: 1530 seconds
1541.02/1570.07 c Starting solver: HOME/cpHydra_k_40/solver/mistral
1541.02/1570.07 c On Instance: HOME/instance-1046050-1215020944.xml
1541.02/1570.07 c Running for: 270 seconds