0.00/0.00 c cpHydra_k_40 version 0.0
7.18/7.30 c CASE TO CLASSIFY:
7.18/7.30 c Case: 0
7.28/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.542200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.257200 | c 14 > 12.062400 | c 11 > 4.584960 | c 12 > 11.253700 | 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
7.28/7.31 c choco : 1801.0
7.28/7.31 c mistral : 1801.0
7.28/7.31 c abscon : 1801.0
7.28/7.31 c
7.28/7.31 c
7.28/7.38 c List of same ones: 40
7.28/7.38 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
7.28/7.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.28/7.39 c choco : 1801.0
7.28/7.39 c mistral : 1487.13
7.28/7.39 c abscon : 1800.05
7.28/7.39 c
7.28/7.39 c
7.28/7.39 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-26_ext.xml
7.28/7.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.38/7.40 c choco : 1801.0
7.38/7.40 c mistral : 1250.43
7.38/7.40 c abscon : 1800.07
7.38/7.40 c
7.38/7.40 c
7.38/7.40 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-15_ext.xml
7.38/7.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.38/7.41 c choco : 1801.0
7.38/7.41 c mistral : 1800.1
7.38/7.41 c abscon : 1341.78
7.38/7.41 c
7.38/7.41 c
7.38/7.41 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-41_ext.xml
7.38/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.38/7.42 c choco : 1801.0
7.38/7.42 c mistral : 799.067
7.38/7.42 c abscon : 1800.13
7.38/7.42 c
7.38/7.42 c
7.38/7.42 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-41_ext.xml
7.38/7.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.38/7.43 c choco : 1801.0
7.38/7.43 c mistral : 239.524
7.38/7.43 c abscon : 1800.1
7.38/7.43 c
7.38/7.43 c
7.38/7.43 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-8_ext.xml
7.38/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.38/7.44 c choco : 1801.0
7.38/7.44 c mistral : 1500.09
7.38/7.44 c abscon : 1800.07
7.38/7.44 c
7.38/7.44 c
7.38/7.44 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-13_ext.xml
7.38/7.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.38/7.45 c choco : 1801.0
7.38/7.45 c mistral : 914.54
7.38/7.45 c abscon : 1800.13
7.38/7.45 c
7.38/7.45 c
7.38/7.45 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
7.38/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.38/7.45 c choco : 1801.0
7.38/7.45 c mistral : 976.11
7.38/7.45 c abscon : 1800.09
7.38/7.45 c
7.38/7.45 c
7.38/7.45 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-38_ext.xml
7.38/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.38/7.46 c choco : 1801.0
7.38/7.46 c mistral : 864.252
7.38/7.46 c abscon : 421.256
7.38/7.46 c
7.38/7.46 c
7.38/7.46 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.38/7.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.38/7.47 c choco : 1801.0
7.38/7.47 c mistral : 62.4135
7.38/7.47 c abscon : 1800.14
7.38/7.47 c
7.38/7.47 c
7.38/7.47 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-27_ext.xml
7.38/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.55/7.67 c choco : 1801.0
7.55/7.67 c mistral : 1800.03
7.55/7.67 c abscon : 678.048
7.55/7.67 c
7.55/7.67 c
7.55/7.67 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-49_ext.xml
7.55/7.67 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
7.55/7.68 c choco : 1801.0
7.55/7.68 c mistral : 592.39
7.55/7.68 c abscon : 1800.1
7.55/7.68 c
7.55/7.68 c
7.55/7.68 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-17_ext.xml
7.55/7.68 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
7.55/7.69 c choco : 1801.0
7.55/7.69 c mistral : 1115.6
7.55/7.69 c abscon : 1800.1
7.55/7.69 c
7.55/7.69 c
7.55/7.69 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-44_ext.xml
7.55/7.69 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
7.55/7.69 c choco : 1801.0
7.55/7.69 c mistral : 922.959
7.55/7.69 c abscon : 1380.49
7.55/7.69 c
7.55/7.69 c
7.55/7.69 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
7.55/7.69 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
7.55/7.70 c choco : 1801.0
7.55/7.70 c mistral : 402.946
7.55/7.70 c abscon : 15.4397
7.55/7.70 c
7.55/7.70 c
7.55/7.70 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-32_ext.xml
7.55/7.70 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
7.64/7.71 c choco : 1801.0
7.64/7.71 c mistral : 1710.44
7.64/7.71 c abscon : 1800.07
7.64/7.71 c
7.64/7.71 c
7.64/7.71 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-23_ext.xml
7.64/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.64/7.71 c choco : 1801.0
7.64/7.71 c mistral : 1800.02
7.64/7.71 c abscon : 475.366
7.64/7.71 c
7.64/7.71 c
7.64/7.71 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.64/7.71 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.349500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.982800 | c 14 > 12.188000 | c 11 > 4.584960 | c 12 > 11.415800 | 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
7.64/7.73 c choco : 1801.0
7.64/7.73 c mistral : 772.763
7.64/7.73 c abscon : 1274.72
7.64/7.73 c
7.64/7.73 c
7.64/7.73 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-43_ext.xml
7.64/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.64/7.73 c choco : 1801.0
7.64/7.73 c mistral : 237.0
7.64/7.73 c abscon : 1800.11
7.64/7.73 c
7.64/7.73 c
7.64/7.73 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-13_ext.xml
7.64/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.64/7.74 c choco : 1801.0
7.64/7.74 c mistral : 1146.98
7.64/7.74 c abscon : 1800.07
7.64/7.74 c
7.64/7.74 c
7.64/7.74 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
7.64/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.64/7.75 c choco : 1801.0
7.64/7.75 c mistral : 1232.27
7.64/7.75 c abscon : 1800.12
7.64/7.75 c
7.64/7.75 c
7.64/7.75 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
7.64/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.64/7.75 c choco : 1801.0
7.64/7.75 c mistral : 91.53
7.64/7.75 c abscon : 25.5821
7.64/7.75 c
7.64/7.75 c
7.64/7.75 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
7.64/7.75 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.029500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.902200 | c 14 > 11.847800 | c 11 > 4.584960 | c 12 > 11.158100 | 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
7.64/7.76 c choco : 1801.0
7.64/7.76 c mistral : 40.01
7.64/7.76 c abscon : 320.414
7.64/7.76 c
7.64/7.76 c
7.64/7.76 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-11_ext.xml
7.64/7.76 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
7.64/7.77 c choco : 1801.0
7.64/7.77 c mistral : 236.79
7.64/7.77 c abscon : 313.039
7.64/7.77 c
7.64/7.77 c
7.64/7.77 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-18_ext.xml
7.64/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.64/7.77 c choco : 1801.0
7.64/7.77 c mistral : 44.47
7.64/7.77 c abscon : 680.721
7.64/7.77 c
7.64/7.77 c
7.64/7.77 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-25_ext.xml
7.64/7.77 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.235900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.551780 | c 14 > 11.836400 | c 11 > 4.584960 | c 12 > 10.878700 | 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
7.64/7.78 c choco : 1801.0
7.64/7.78 c mistral : 876.192
7.64/7.78 c abscon : 1800.07
7.64/7.78 c
7.64/7.78 c
7.64/7.78 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
7.64/7.78 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
7.64/7.78 c choco : 1801.0
7.64/7.78 c mistral : 699.298
7.64/7.78 c abscon : 1438.19
7.64/7.78 c
7.64/7.78 c
7.64/7.78 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-49_ext.xml
7.64/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.64/7.79 c choco : 1801.0
7.64/7.79 c mistral : 760.624
7.64/7.79 c abscon : 407.519
7.64/7.79 c
7.64/7.79 c
7.64/7.79 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-31_ext.xml
7.64/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.64/7.79 c choco : 1801.0
7.64/7.79 c mistral : 980.19
7.64/7.79 c abscon : 1800.07
7.64/7.79 c
7.64/7.79 c
7.64/7.79 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-21_ext.xml
7.64/7.79 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.70/7.80 c choco : 1801.0
7.70/7.80 c mistral : 77.8422
7.70/7.80 c abscon : 622.444
7.70/7.80 c
7.70/7.80 c
7.70/7.80 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-25_ext.xml
7.70/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.70/7.80 c choco : 1801.0
7.70/7.81 c mistral : 308.313
7.70/7.81 c abscon : 831.23
7.70/7.81 c
7.70/7.81 c
7.70/7.81 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-7_ext.xml
7.70/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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
7.70/7.81 c choco : 1801.0
7.70/7.81 c mistral : 238.984
7.70/7.81 c abscon : 3.9484
7.70/7.81 c
7.70/7.81 c
7.70/7.81 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-28_ext.xml
7.70/7.81 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.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
7.70/7.82 c choco : 1801.0
7.70/7.82 c mistral : 144.908
7.70/7.82 c abscon : 915.008
7.70/7.82 c
7.70/7.82 c
7.70/7.82 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
7.70/7.82 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
7.70/7.83 c choco : 1801.0
7.70/7.83 c mistral : 109.18
7.70/7.83 c abscon : 77.3452
7.70/7.83 c
7.70/7.83 c
7.70/7.83 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext.xml
7.70/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.407000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.407800 | c 14 > 12.109800 | c 11 > 4.321930 | c 12 > 11.221300 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | 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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.83 c choco : 1801.0
7.70/7.83 c mistral : 29.3825
7.70/7.83 c abscon : 7.79681
7.70/7.83 c
7.70/7.83 c
7.70/7.83 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-37_ext.xml
7.70/7.83 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.459800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.150100 | c 14 > 12.133500 | c 11 > 4.321930 | c 12 > 11.418900 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | 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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.84 c choco : 1801.0
7.70/7.84 c mistral : 17.3974
7.70/7.84 c abscon : 624.571
7.70/7.84 c
7.70/7.84 c
7.70/7.84 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext.xml
7.70/7.84 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
7.70/7.84 c choco : 1801.0
7.70/7.84 c mistral : 146.429
7.70/7.84 c abscon : 545.603
7.70/7.84 c
7.70/7.84 c
7.70/7.84 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-29_ext.xml
7.70/7.84 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.315900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.304100 | c 14 > 12.100300 | c 11 > 4.321930 | c 12 > 11.239800 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | 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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.85 c choco : 1801.0
7.70/7.85 c mistral : 14.6028
7.70/7.85 c abscon : 20.3459
7.70/7.85 c
7.70/7.85 c
7.70/7.85 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-13_ext.xml
7.70/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.360500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.395800 | c 14 > 12.194100 | c 11 > 4.321930 | c 12 > 11.178600 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | 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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.85 c choco : 1801.0
7.70/7.85 c mistral : 5.33019
7.70/7.85 c abscon : 11.7452
7.70/7.85 c
7.70/7.85 c
7.70/7.85 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-41_ext.xml
7.70/7.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.454400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.533600 | c 14 > 12.194800 | c 11 > 4.321930 | c 12 > 11.298600 | 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 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | 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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.70/7.86 c choco : 1801.0
7.70/7.86 c mistral : 6.39
7.70/7.86 c abscon : 15.0097
7.70/7.86 c
7.70/7.86 c
7.70/7.86 c Length: 40
7.70/7.86 c 0.47319621765183295 0.5167609622446349 0.5208729019636172 0.5331967741837914 0.552533709378894 0.587323360679618 0.6595519391223116 0.6744259784438937 0.6826999476343906 0.6894131199795974 0.6947966695372109 0.7088007291898057 0.7238498880292801 0.7377726953472873 0.7503867069718143 0.7556987699473907 0.7790710266721507 0.7804796295227705 0.7874770472845553 0.8154662104587803 0.8464227078711933 0.8502096978981128 0.8588054739578717 0.8690978600825124 0.8799034551585759 0.8883817121035295 0.8891981624474943 0.905224645985735 0.909899214199025 0.9170322679164571 0.9260500628475776 0.9315645551436579 0.9372088988053856 0.9409638305482312 0.9449602846151798 0.9630281410218502 0.9703878771398587 0.9737252484659119 0.9757184688218226 0.9758819546953421
7.70/7.87 c
7.70/7.87 c 1.0 0.9202476774715104 0.9133722026398928 0.8933676593565165 0.8636867262245724 0.8149728277162539 0.7295435286689711 0.7141279579568701 0.7058314680538661 0.6992403553882346 0.6940429691016303 0.6808782020477003 0.6672765716112538 0.6551681125266047 0.644571176874436 0.6402104359791781 0.6217045086983848 0.6206233135141368 0.6153075995369667 0.5949255319358286 0.5738996687080706 0.5714291057257077 0.5658995500447453 0.5594177578341434 0.5527706405386699 0.5476647701711248 0.5471780529778689 0.5377962115729131 0.5351200403714158 0.5310873387004915 0.5260752630105527 0.523056662848608 0.5200026477554829 0.5179906247679361 0.5158662200726066 0.5064753576617148 0.5027473756155213 0.5010748975685615 0.5000813194261469 0.5
7.70/7.88 c
7.70/7.88 c solver 0
7.70/7.88 c before 0.0 seconds: {} 0
7.70/7.88 c before 18.0 seconds: {14, 31, 34, 38, 39} 2683
7.70/7.88 c before 36.0 seconds: {14, 21, 31, 34, 37, 38, 39} 3756
7.70/7.88 c before 90.0 seconds: {14, 21, 31, 33, 34, 37, 38, 39} 4274
7.70/7.88 c before 324.0 seconds: {14, 21, 22, 23, 31, 33, 34, 37, 38, 39} 5399
7.70/7.88 c before 414.0 seconds: {14, 21, 22, 23, 27, 31, 33, 34, 37, 38, 39} 5937
7.70/7.88 c before 432.0 seconds: {8, 14, 21, 22, 23, 27, 31, 33, 34, 37, 38, 39} 6643
7.70/7.88 c before 486.0 seconds: {8, 14, 16, 21, 22, 23, 27, 31, 33, 34, 37, 38, 39} 7264
7.70/7.88 c before 558.0 seconds: {8, 14, 16, 21, 22, 23, 27, 31, 33, 34, 36, 37, 38, 39} 7767
7.70/7.88 c before 630.0 seconds: {8, 14, 16, 21, 22, 23, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 8805
7.70/7.88 c before 684.0 seconds: {8, 10, 14, 16, 21, 22, 23, 24, 27, 29, 31, 33, 34, 35, 36, 37, 38, 39} 10051
7.70/7.88 c before 846.0 seconds: {8, 10, 14, 16, 21, 22, 23, 24, 27, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 10577
7.70/7.88 c before 918.0 seconds: {8, 10, 14, 16, 21, 22, 23, 24, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11097
7.70/7.88 c before 1278.0 seconds: {8, 10, 14, 16, 17, 21, 22, 23, 24, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11718
7.70/7.88 c before 1350.0 seconds: {2, 8, 10, 14, 16, 17, 21, 22, 23, 24, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12631
7.70/7.88 c before 1386.0 seconds: {2, 8, 10, 13, 14, 16, 17, 21, 22, 23, 24, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13287
7.70/7.88 c before 1440.0 seconds: {2, 8, 10, 13, 14, 16, 17, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13834
7.70/7.88 c
7.70/7.88 c solver 1
7.70/7.88 c before 0.0 seconds: {} 0
7.70/7.88 c before 18.0 seconds: {35, 37, 38, 39} 2007
7.70/7.88 c before 36.0 seconds: {34, 35, 37, 38, 39} 2523
7.70/7.88 c before 54.0 seconds: {22, 24, 34, 35, 37, 38, 39} 3642
7.70/7.88 c before 72.0 seconds: {9, 22, 24, 34, 35, 37, 38, 39} 4341
7.70/7.88 c before 90.0 seconds: {9, 22, 24, 29, 34, 35, 37, 38, 39} 4872
7.70/7.88 c before 108.0 seconds: {9, 21, 22, 24, 29, 34, 35, 37, 38, 39} 5443
7.70/7.88 c before 126.0 seconds: {9, 21, 22, 24, 29, 33, 34, 35, 37, 38, 39} 5961
7.70/7.88 c before 162.0 seconds: {9, 21, 22, 24, 29, 32, 33, 34, 35, 36, 37, 38, 39} 6984
7.70/7.88 c before 252.0 seconds: {4, 9, 18, 21, 22, 23, 24, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 9546
7.70/7.88 c before 324.0 seconds: {4, 9, 18, 21, 22, 23, 24, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 10072
7.70/7.88 c before 414.0 seconds: {4, 9, 14, 18, 21, 22, 23, 24, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 10716
7.70/7.88 c before 594.0 seconds: {4, 9, 11, 14, 18, 21, 22, 23, 24, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11397
7.70/7.88 c before 702.0 seconds: {4, 9, 11, 14, 18, 21, 22, 23, 24, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11944
7.70/7.88 c before 774.0 seconds: {4, 9, 11, 14, 17, 18, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13103
7.70/7.88 c before 810.0 seconds: {3, 4, 9, 11, 14, 17, 18, 21, 22, 23, 24, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13996
7.70/7.88 c before 882.0 seconds: {3, 4, 8, 9, 11, 14, 17, 18, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15250
7.70/7.88 c before 918.0 seconds: {3, 4, 6, 8, 9, 11, 14, 17, 18, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15979
7.70/7.88 c before 936.0 seconds: {3, 4, 6, 8, 9, 11, 13, 14, 17, 18, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16634
7.70/7.88 c before 990.0 seconds: {3, 4, 6, 7, 8, 9, 11, 13, 14, 17, 18, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17884
7.70/7.88 c before 1116.0 seconds: {3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 17, 18, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18551
7.70/7.88 c before 1152.0 seconds: {3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19146
7.70/7.88 c before 1242.0 seconds: {3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19720
7.70/7.88 c before 1260.0 seconds: {1, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20640
7.70/7.89 c before 1494.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21640
7.70/7.89 c before 1512.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22455
7.70/7.89 c before 1728.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23095
7.70/7.89 c
7.70/7.89 c solver 2
7.70/7.89 c before 0.0 seconds: {} 0
7.70/7.89 c
7.70/7.89 cTotal time: 176
7.70/7.89 c run abscon for 36.0 seconds {14, 21, 31, 34, 37, 38, 39} 3756
7.70/7.89 c run mistral for 1728.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23095
7.70/7.89 c do not run choco
7.70/7.89 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.70/7.89 c On Instance: HOME/instance-1056974-1215107562.xml
7.70/7.89 c Running for: 36 seconds
44.09/44.98 c Starting solver: HOME/cpHydra_k_40/solver/mistral
44.09/44.98 c On Instance: HOME/instance-1056974-1215107562.xml
44.09/44.98 c Running for: 1728 seconds
1376.95/1378.16 c mistral-prime version 1.313
1376.95/1378.16 s UNSATISFIABLE
1376.95/1378.16 d CHECKS 733600906
1376.95/1378.16 d ASSIGNMENTS 4144988