0.00/0.00 c cpHydra_k_40 version 0.0
7.96/8.12 c CASE TO CLASSIFY:
7.96/8.12 c Case: 0
7.96/8.12 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.187300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.354200 | c 14 > 11.780100 | c 11 > 4.807350 | c 12 > 10.684900 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | 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.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.96/8.13 c choco : 1801.0
7.96/8.13 c mistral : 1801.0
7.96/8.13 c abscon : 1801.0
7.96/8.13 c
7.96/8.13 c
8.05/8.21 c List of same ones: 40
8.05/8.21 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-23_ext.xml
8.05/8.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.092800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.871190 | c 14 > 11.604100 | c 11 > 4.807350 | c 12 > 10.362000 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | 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.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.22 c choco : 1801.0
8.05/8.22 c mistral : 84.17
8.05/8.22 c abscon : 1800.06
8.05/8.22 c
8.05/8.22 c
8.05/8.22 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28/rand-3-28-28-93-632-46_ext.xml
8.05/8.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.740600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.363600 | c 14 > 11.318500 | c 11 > 4.807350 | c 12 > 10.665900 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | 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.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.23 c choco : 1801.0
8.05/8.23 c mistral : 81.2966
8.05/8.23 c abscon : 1800.06
8.05/8.23 c
8.05/8.23 c
8.05/8.23 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-11_ext.xml
8.05/8.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.078000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.339600 | c 14 > 11.700900 | c 11 > 4.584960 | c 12 > 10.620600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.24 c choco : 1801.0
8.05/8.24 c mistral : 236.79
8.05/8.24 c abscon : 313.039
8.05/8.24 c
8.05/8.24 c
8.05/8.24 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
8.05/8.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.074700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.378700 | c 14 > 11.838800 | c 11 > 4.584960 | c 12 > 10.591900 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.25 c choco : 1801.0
8.05/8.25 c mistral : 91.53
8.05/8.25 c abscon : 25.5821
8.05/8.25 c
8.05/8.25 c
8.05/8.25 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-21_ext.xml
8.05/8.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.053300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.345200 | c 14 > 11.724100 | c 11 > 4.584960 | c 12 > 10.562200 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.26 c choco : 1801.0
8.05/8.26 c mistral : 77.8422
8.05/8.26 c abscon : 622.444
8.05/8.26 c
8.05/8.26 c
8.05/8.26 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-43_ext.xml
8.05/8.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.159900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.121200 | c 14 > 11.833300 | c 11 > 4.584960 | c 12 > 10.623700 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.27 c choco : 1801.0
8.05/8.27 c mistral : 237.0
8.05/8.27 c abscon : 1800.11
8.05/8.27 c
8.05/8.27 c
8.05/8.27 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
8.05/8.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.032400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.473800 | c 14 > 11.703000 | c 11 > 4.584960 | c 12 > 10.725600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.28 c choco : 1801.0
8.05/8.28 c mistral : 1232.27
8.05/8.28 c abscon : 1800.12
8.05/8.28 c
8.05/8.28 c
8.05/8.28 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
8.05/8.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.973600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.455600 | c 14 > 11.724500 | c 11 > 4.584960 | c 12 > 10.696600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.28 c choco : 1801.0
8.05/8.28 c mistral : 699.298
8.05/8.28 c abscon : 1438.19
8.05/8.28 c
8.05/8.28 c
8.05/8.28 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-44_ext.xml
8.05/8.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.173500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.087500 | c 14 > 11.769000 | c 11 > 4.584960 | c 12 > 10.717600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.05/8.29 c choco : 1801.0
8.05/8.29 c mistral : 922.959
8.05/8.29 c abscon : 1380.49
8.05/8.29 c
8.05/8.29 c
8.05/8.29 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-13_ext.xml
8.05/8.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.201500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.193400 | c 14 > 11.948400 | c 11 > 4.584960 | c 12 > 10.705700 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.30 c choco : 1801.0
8.12/8.30 c mistral : 914.54
8.12/8.30 c abscon : 1800.13
8.12/8.30 c
8.12/8.30 c
8.12/8.30 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-8_ext.xml
8.12/8.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.143000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.163400 | c 14 > 11.867300 | c 11 > 4.584960 | c 12 > 10.889500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.31 c choco : 1801.0
8.12/8.31 c mistral : 1500.09
8.12/8.31 c abscon : 1800.07
8.12/8.31 c
8.12/8.31 c
8.12/8.31 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext.xml
8.12/8.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.065600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.182400 | c 14 > 11.623000 | c 11 > 4.584960 | c 12 > 10.537900 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.33 c choco : 1801.0
8.12/8.33 c mistral : 146.429
8.12/8.33 c abscon : 545.603
8.12/8.33 c
8.12/8.33 c
8.12/8.33 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-13_ext.xml
8.12/8.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.090700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.085300 | c 14 > 11.776800 | c 11 > 4.584960 | c 12 > 10.663400 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.34 c choco : 1801.0
8.12/8.34 c mistral : 1146.98
8.12/8.34 c abscon : 1800.07
8.12/8.34 c
8.12/8.34 c
8.12/8.34 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-41_ext.xml
8.12/8.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.202600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.126500 | c 14 > 11.807000 | c 11 > 4.584960 | c 12 > 10.935000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.34 c choco : 1801.0
8.12/8.34 c mistral : 239.524
8.12/8.34 c abscon : 1800.1
8.12/8.34 c
8.12/8.34 c
8.12/8.34 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
8.12/8.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.980700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.492000 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.925300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.35 c choco : 1801.0
8.12/8.35 c mistral : 402.946
8.12/8.35 c abscon : 15.4397
8.12/8.35 c
8.12/8.35 c
8.12/8.35 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-22_ext.xml
8.12/8.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.949500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.266900 | c 14 > 11.553100 | c 11 > 4.584960 | c 12 > 10.606300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.36 c choco : 1801.0
8.12/8.36 c mistral : 368.01
8.12/8.36 c abscon : 1052.28
8.12/8.36 c
8.12/8.36 c
8.12/8.36 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-17_ext.xml
8.12/8.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.178600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.046100 | c 14 > 11.834900 | c 11 > 4.584960 | c 12 > 10.711600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.36 c choco : 1801.0
8.12/8.36 c mistral : 1115.6
8.12/8.36 c abscon : 1800.1
8.12/8.36 c
8.12/8.36 c
8.12/8.36 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
8.12/8.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.061600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.457500 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.899500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.37 c choco : 1801.0
8.12/8.37 c mistral : 62.4135
8.12/8.37 c abscon : 1800.14
8.12/8.37 c
8.12/8.37 c
8.12/8.38 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-20_ext.xml
8.12/8.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.922100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.430100 | c 14 > 11.549300 | c 11 > 4.584960 | c 12 > 10.720400 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.38 c choco : 1801.0
8.12/8.38 c mistral : 633.91
8.12/8.38 c abscon : 1745.68
8.12/8.38 c
8.12/8.38 c
8.12/8.38 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-41_ext.xml
8.12/8.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.293400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.066000 | c 14 > 11.811000 | c 11 > 4.584960 | c 12 > 10.912300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.39 c choco : 1801.0
8.12/8.39 c mistral : 799.067
8.12/8.39 c abscon : 1800.13
8.12/8.39 c
8.12/8.39 c
8.12/8.39 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-33_ext.xml
8.12/8.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.915600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.084600 | c 14 > 11.731700 | c 11 > 4.584960 | c 12 > 10.599800 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.12/8.40 c choco : 1801.0
8.12/8.40 c mistral : 1191.79
8.12/8.40 c abscon : 1800.06
8.12/8.40 c
8.12/8.40 c
8.12/8.40 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-18_ext.xml
8.18/8.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.041400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.021100 | c 14 > 11.752800 | c 11 > 4.584960 | c 12 > 10.645200 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.40 c choco : 1801.0
8.18/8.40 c mistral : 44.47
8.18/8.40 c abscon : 680.721
8.18/8.40 c
8.18/8.40 c
8.18/8.40 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-15_ext.xml
8.18/8.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.302900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.081000 | c 14 > 12.013000 | c 11 > 4.584960 | c 12 > 10.836000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.41 c choco : 1801.0
8.18/8.41 c mistral : 1800.1
8.18/8.41 c abscon : 1341.78
8.18/8.41 c
8.18/8.41 c
8.18/8.41 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-7_ext.xml
8.18/8.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.044600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.017600 | c 14 > 11.677300 | c 11 > 4.584960 | c 12 > 10.611100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.42 c choco : 1801.0
8.18/8.42 c mistral : 238.984
8.18/8.42 c abscon : 3.9484
8.18/8.42 c
8.18/8.42 c
8.18/8.42 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-31_ext.xml
8.18/8.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.016000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.046500 | c 14 > 11.679000 | c 11 > 4.584960 | c 12 > 10.654000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.42 c choco : 1801.0
8.18/8.42 c mistral : 980.19
8.18/8.42 c abscon : 1800.07
8.18/8.42 c
8.18/8.42 c
8.18/8.42 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
8.18/8.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.913900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.591000 | c 14 > 11.644300 | c 11 > 4.584960 | c 12 > 10.803300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.43 c choco : 1801.0
8.18/8.43 c mistral : 109.18
8.18/8.43 c abscon : 77.3452
8.18/8.43 c
8.18/8.43 c
8.18/8.43 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-27_ext.xml
8.18/8.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.158200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.957160 | c 14 > 11.827700 | c 11 > 4.584960 | c 12 > 10.819400 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.43 c choco : 1801.0
8.18/8.43 c mistral : 1800.03
8.18/8.43 c abscon : 678.048
8.18/8.43 c
8.18/8.43 c
8.18/8.43 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-28_ext.xml
8.18/8.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.843100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.442100 | c 14 > 11.673300 | c 11 > 4.584960 | c 12 > 10.802000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.44 c choco : 1801.0
8.18/8.44 c mistral : 144.908
8.18/8.44 c abscon : 915.008
8.18/8.44 c
8.18/8.44 c
8.18/8.44 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-38_ext.xml
8.18/8.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.188800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.937620 | c 14 > 11.948000 | c 11 > 4.584960 | c 12 > 10.782000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.44 c choco : 1801.0
8.18/8.44 c mistral : 864.252
8.18/8.44 c abscon : 421.256
8.18/8.44 c
8.18/8.44 c
8.18/8.44 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
8.18/8.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.298700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.376100 | c 14 > 12.166500 | c 11 > 4.584960 | c 12 > 10.882100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.45 c choco : 1801.0
8.18/8.45 c mistral : 1487.13
8.18/8.45 c abscon : 1800.05
8.18/8.45 c
8.18/8.45 c
8.18/8.45 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-4_ext.xml
8.18/8.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.028000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.064200 | c 14 > 11.615200 | c 11 > 4.584960 | c 12 > 10.379000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.46 c choco : 1801.0
8.18/8.46 c mistral : 290.634
8.18/8.46 c abscon : 913.892
8.18/8.46 c
8.18/8.46 c
8.18/8.46 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-26_ext.xml
8.18/8.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.186000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.061300 | c 14 > 11.823000 | c 11 > 4.584960 | c 12 > 11.051200 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.46 c choco : 1801.0
8.18/8.46 c mistral : 1250.43
8.18/8.46 c abscon : 1800.07
8.18/8.46 c
8.18/8.46 c
8.18/8.46 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-49_ext.xml
8.18/8.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.293800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.934240 | c 14 > 11.900900 | c 11 > 4.584960 | c 12 > 10.697000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.189820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.47 c choco : 1801.0
8.18/8.47 c mistral : 592.39
8.18/8.47 c abscon : 1800.1
8.18/8.47 c
8.18/8.47 c
8.18/8.47 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
8.18/8.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.050900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.626600 | c 14 > 11.937000 | c 11 > 4.584960 | c 12 > 11.009300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.48 c choco : 1801.0
8.18/8.48 c mistral : 976.11
8.18/8.48 c abscon : 1800.09
8.18/8.48 c
8.18/8.48 c
8.18/8.48 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-32_ext.xml
8.18/8.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.159500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.898170 | c 14 > 11.687800 | c 11 > 4.584960 | c 12 > 10.859500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.48 c choco : 1801.0
8.18/8.48 c mistral : 1710.44
8.18/8.48 c abscon : 1800.07
8.18/8.48 c
8.18/8.48 c
8.18/8.48 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-42_ext.xml
8.18/8.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.144200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.852050 | c 14 > 11.667600 | c 11 > 4.584960 | c 12 > 10.548700 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.49 c choco : 1801.0
8.18/8.49 c mistral : 539.028
8.18/8.49 c abscon : 1663.45
8.18/8.49 c
8.18/8.49 c
8.18/8.49 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-49_ext.xml
8.18/8.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.150300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.748460 | c 14 > 11.726600 | c 11 > 4.584960 | c 12 > 10.711600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.189820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.49 c choco : 1801.0
8.18/8.49 c mistral : 760.624
8.18/8.49 c abscon : 407.519
8.18/8.49 c
8.18/8.49 c
8.18/8.49 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-23_ext.xml
8.18/8.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.146100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.727750 | c 14 > 11.813000 | c 11 > 4.584960 | c 12 > 10.931100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.24/8.50 c choco : 1801.0
8.24/8.50 c mistral : 1800.02
8.24/8.50 c abscon : 475.366
8.24/8.50 c
8.24/8.50 c
8.24/8.50 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-25_ext.xml
8.24/8.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.213900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.675370 | c 14 > 11.666200 | c 11 > 4.584960 | c 12 > 10.755500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | 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.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.24/8.51 c choco : 1801.0
8.24/8.51 c mistral : 308.313
8.24/8.51 c abscon : 831.23
8.24/8.51 c
8.24/8.51 c
8.24/8.51 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28/rand-3-28-28-93-632-49_ext.xml
8.24/8.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.700400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.952290 | c 14 > 11.111800 | c 11 > 4.807350 | c 12 > 10.096900 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | 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.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.24/8.51 c choco : 1801.0
8.24/8.51 c mistral : 444.223
8.24/8.51 c abscon : 1800.13
8.24/8.51 c
8.24/8.51 c
8.24/8.52 c Length: 40
8.24/8.52 c 0.6143853189163947 0.6427011825101918 0.8579995556525655 0.8596337345055741 0.8659242157948926 0.866786090278334 0.8714904058565418 0.8719957505630399 0.8730489770339346 0.8765912773351099 0.8817793467188942 0.8898394400115116 0.8920248693282045 0.8972500689885735 0.899538846465232 0.9008772259858717 0.9012844653604103 0.9020787084839104 0.9057170785074106 0.9147047098927604 0.9196696723824264 0.9209561648091616 0.9245419981266403 0.9291251732140294 0.9361717611101079 0.9364178861491264 0.944690446178006 0.9447419045961706 0.9551746727169853 0.9563884291960035 0.9591381528747573 0.9607324752500043 0.9640404092152983 0.9676033006868048 0.9944642865382346 1.0131325129517856 1.0482324630538784 1.0756544898339802 1.0812853393993656 1.0913167038490714
8.24/8.52 c
8.24/8.52 c 1.0 0.9439564219768067 0.6619031059102981 0.6604053236992231 0.6547025964420896 0.6539289140296987 0.6497379942386676 0.6492909922456045 0.648361336089262 0.6452540779094956 0.64075655186902 0.6338923080145812 0.632056394691298 0.6277096749506745 0.6258244680106375 0.6247273169801731 0.6243942410538081 0.6237456604050393 0.6207917018176947 0.6136132632030843 0.6097184721813624 0.6087173286414448 0.6059441206899991 0.6024361645325969 0.5971212469972911 0.5969373006630195 0.5908198870195399 0.5907822267819135 0.5832448198287009 0.5823803829499766 0.5804314771632737 0.5793074409532255 0.5769890982054326 0.5745127371798106 0.5565059786163293 0.5446420597552021 0.5236524245027926 0.5083469434746268 0.5053141717854198 0.5
8.24/8.53 c
8.24/8.53 c solver 0
8.24/8.53 c before 0.0 seconds: {} 0
8.24/8.53 c before 18.0 seconds: {14, 23} 1228
8.24/8.53 c before 36.0 seconds: {3, 14, 23} 1888
8.24/8.53 c before 90.0 seconds: {3, 14, 23, 25} 2485
8.24/8.53 c before 324.0 seconds: {2, 3, 14, 23, 25} 3147
8.24/8.53 c before 414.0 seconds: {2, 3, 14, 23, 25, 36} 3671
8.24/8.53 c before 432.0 seconds: {2, 3, 14, 23, 25, 28, 36} 4254
8.24/8.53 c before 486.0 seconds: {2, 3, 14, 23, 25, 28, 36, 37} 4762
8.24/8.53 c before 558.0 seconds: {2, 3, 11, 14, 23, 25, 28, 36, 37} 5396
8.24/8.53 c before 630.0 seconds: {2, 3, 4, 11, 14, 23, 25, 28, 36, 37} 6051
8.24/8.53 c before 684.0 seconds: {2, 3, 4, 11, 14, 21, 23, 25, 26, 28, 36, 37} 7250
8.24/8.53 c before 846.0 seconds: {2, 3, 4, 11, 14, 21, 23, 25, 26, 28, 36, 37, 38} 7756
8.24/8.53 c before 918.0 seconds: {2, 3, 4, 11, 14, 21, 23, 25, 26, 27, 28, 30, 36, 37, 38} 8927
8.24/8.53 c before 1062.0 seconds: {2, 3, 4, 11, 14, 15, 21, 23, 25, 26, 27, 28, 30, 36, 37, 38} 9552
8.24/8.53 c before 1350.0 seconds: {2, 3, 4, 11, 14, 15, 21, 22, 23, 25, 26, 27, 28, 30, 36, 37, 38} 10158
8.24/8.53 c before 1386.0 seconds: {2, 3, 4, 8, 11, 14, 15, 21, 22, 23, 25, 26, 27, 28, 30, 36, 37, 38} 10806
8.24/8.53 c before 1440.0 seconds: {2, 3, 4, 7, 8, 11, 14, 15, 21, 22, 23, 25, 26, 27, 28, 30, 36, 37, 38} 11455
8.24/8.53 c before 1674.0 seconds: {2, 3, 4, 7, 8, 11, 14, 15, 21, 22, 23, 25, 26, 27, 28, 30, 35, 36, 37, 38} 12000
8.24/8.53 c before 1746.0 seconds: {2, 3, 4, 7, 8, 11, 14, 15, 18, 21, 22, 23, 25, 26, 27, 28, 30, 35, 36, 37, 38} 12621
8.24/8.53 c
8.24/8.53 c solver 1
8.24/8.53 c before 0.0 seconds: {} 0
8.24/8.53 c before 54.0 seconds: {21} 608
8.24/8.53 c before 72.0 seconds: {17, 21} 1232
8.24/8.53 c before 90.0 seconds: {0, 1, 4, 17, 21} 3831
8.24/8.53 c before 108.0 seconds: {0, 1, 3, 4, 17, 21} 4491
8.24/8.53 c before 126.0 seconds: {0, 1, 3, 4, 17, 21, 25} 5088
8.24/8.53 c before 162.0 seconds: {0, 1, 3, 4, 11, 17, 21, 25, 27} 6313
8.24/8.53 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 11, 13, 17, 21, 23, 25, 27} 8859
8.24/8.53 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 11, 13, 17, 21, 23, 25, 27, 30} 9439
8.24/8.53 c before 324.0 seconds: {0, 1, 2, 3, 4, 5, 11, 13, 17, 21, 23, 25, 27, 30, 38} 9944
8.24/8.53 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 11, 13, 15, 17, 21, 23, 25, 27, 30, 38} 10569
8.24/8.53 c before 414.0 seconds: {0, 1, 2, 3, 4, 5, 11, 13, 14, 15, 17, 21, 23, 25, 27, 30, 38} 11195
8.24/8.54 c before 450.0 seconds: {0, 1, 2, 3, 4, 5, 11, 13, 14, 15, 17, 21, 23, 25, 27, 30, 38, 39} 11695
8.24/8.54 c before 540.0 seconds: {0, 1, 2, 3, 4, 5, 11, 13, 14, 15, 17, 21, 23, 25, 27, 30, 35, 38, 39} 12240
8.24/8.54 c before 594.0 seconds: {0, 1, 2, 3, 4, 5, 11, 13, 14, 15, 17, 21, 23, 25, 27, 30, 32, 35, 38, 39} 12817
8.24/8.54 c before 648.0 seconds: {0, 1, 2, 3, 4, 5, 11, 13, 14, 15, 17, 18, 21, 23, 25, 27, 30, 32, 35, 38, 39} 13437
8.24/8.54 c before 702.0 seconds: {0, 1, 2, 3, 4, 5, 7, 11, 13, 14, 15, 17, 18, 21, 23, 25, 27, 30, 32, 35, 38, 39} 14087
8.24/8.54 c before 774.0 seconds: {0, 1, 2, 3, 4, 5, 7, 11, 13, 14, 15, 17, 18, 21, 23, 25, 27, 30, 32, 35, 36, 38, 39} 14610
8.24/8.54 c before 810.0 seconds: {0, 1, 2, 3, 4, 5, 7, 11, 13, 14, 15, 17, 18, 19, 21, 23, 25, 27, 30, 32, 35, 36, 38, 39} 15224
8.24/8.54 c before 882.0 seconds: {0, 1, 2, 3, 4, 5, 7, 11, 13, 14, 15, 17, 18, 19, 21, 23, 25, 27, 28, 30, 32, 35, 36, 38, 39} 15807
8.24/8.54 c before 918.0 seconds: {0, 1, 2, 3, 4, 5, 7, 9, 11, 13, 14, 15, 17, 18, 19, 21, 23, 25, 27, 28, 30, 32, 35, 36, 38, 39} 16452
8.24/8.54 c before 936.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 13, 14, 15, 17, 18, 19, 21, 23, 25, 27, 28, 30, 32, 35, 36, 38, 39} 17101
8.24/8.54 c before 990.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 13, 14, 15, 17, 18, 19, 21, 23, 24, 25, 27, 28, 30, 32, 33, 35, 36, 38, 39} 18272
8.24/8.54 c before 1116.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 13, 14, 15, 16, 17, 18, 19, 21, 23, 24, 25, 27, 28, 30, 32, 33, 35, 36, 38, 39} 18897
8.24/8.54 c before 1152.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 23, 24, 25, 27, 28, 30, 32, 33, 35, 36, 38, 39} 19529
8.24/8.54 c before 1206.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 30, 32, 33, 35, 36, 38, 39} 20139
8.24/8.54 c before 1242.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 30, 32, 33, 35, 36, 38, 39} 20788
8.24/8.54 c before 1260.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 30, 31, 32, 33, 35, 36, 38, 39} 21368
8.24/8.54 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 21950
8.24/8.54 c before 1512.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 35, 36, 38, 39} 22591
8.24/8.54 c before 1728.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 23147
8.24/8.54 c
8.24/8.54 c solver 2
8.24/8.54 c before 0.0 seconds: {} 0
8.24/8.54 c
8.24/8.54 cTotal time: 193
8.24/8.54 c run abscon for 36.0 seconds {3, 14, 23} 1888
8.24/8.54 c run mistral for 1728.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 23147
8.24/8.54 c do not run choco
8.24/8.54 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.24/8.54 c On Instance: HOME/instance-1059159-1215121576.xml
8.24/8.54 c Running for: 36 seconds
44.84/45.98 c Starting solver: HOME/cpHydra_k_40/solver/mistral
44.84/45.98 c On Instance: HOME/instance-1059159-1215121576.xml
44.84/45.98 c Running for: 1728 seconds