0.00/0.00 c cpHydra_k_40 version 0.0
7.48/7.70 c CASE TO CLASSIFY:
7.48/7.70 c Case: 0
7.48/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.364000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.569000 | c 14 > 12.001400 | c 11 > 4.584960 | c 12 > 11.222600 | 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.58/7.71 c choco : 1801.0
7.58/7.71 c mistral : 1801.0
7.58/7.71 c abscon : 1801.0
7.58/7.71 c
7.58/7.71 c
7.58/7.78 c List of same ones: 40
7.58/7.78 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
7.58/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.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.58/7.79 c choco : 1801.0
7.58/7.79 c mistral : 976.11
7.58/7.79 c abscon : 1800.09
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
7.58/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.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.67/7.80 c choco : 1801.0
7.67/7.80 c mistral : 1487.13
7.67/7.80 c abscon : 1800.05
7.67/7.80 c
7.67/7.80 c
7.67/7.80 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.67/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.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.67/7.81 c choco : 1801.0
7.67/7.81 c mistral : 772.763
7.67/7.81 c abscon : 1274.72
7.67/7.81 c
7.67/7.81 c
7.67/7.81 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
7.67/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.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.67/7.82 c choco : 1801.0
7.67/7.82 c mistral : 40.01
7.67/7.82 c abscon : 320.414
7.67/7.82 c
7.67/7.82 c
7.67/7.82 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.67/7.82 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.67/7.83 c choco : 1801.0
7.67/7.83 c mistral : 62.4135
7.67/7.83 c abscon : 1800.14
7.67/7.83 c
7.67/7.83 c
7.67/7.83 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
7.67/7.83 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.67/7.84 c choco : 1801.0
7.67/7.84 c mistral : 402.946
7.67/7.84 c abscon : 15.4397
7.67/7.84 c
7.67/7.84 c
7.67/7.84 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-8_ext.xml
7.67/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.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.67/7.85 c choco : 1801.0
7.67/7.85 c mistral : 1500.09
7.67/7.85 c abscon : 1800.07
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-41_ext.xml
7.67/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.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.67/7.85 c choco : 1801.0
7.67/7.85 c mistral : 239.524
7.67/7.85 c abscon : 1800.1
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-26_ext.xml
7.67/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.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.67/7.86 c choco : 1801.0
7.67/7.86 c mistral : 1250.43
7.67/7.86 c abscon : 1800.07
7.67/7.86 c
7.67/7.86 c
7.67/7.86 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-41_ext.xml
7.67/7.86 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.67/7.87 c choco : 1801.0
7.67/7.87 c mistral : 799.067
7.67/7.87 c abscon : 1800.13
7.67/7.87 c
7.67/7.87 c
7.67/7.87 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-15_ext.xml
7.67/7.87 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.67/7.88 c choco : 1801.0
7.67/7.88 c mistral : 1800.1
7.67/7.88 c abscon : 1341.78
7.67/7.88 c
7.67/7.88 c
7.67/7.88 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-13_ext.xml
7.67/7.88 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.75/7.90 c choco : 1801.0
7.75/7.90 c mistral : 914.54
7.75/7.90 c abscon : 1800.13
7.75/7.90 c
7.75/7.90 c
7.75/7.90 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
7.75/7.90 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.75/7.91 c choco : 1801.0
7.75/7.91 c mistral : 1232.27
7.75/7.91 c abscon : 1800.12
7.75/7.91 c
7.75/7.91 c
7.75/7.91 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
7.75/7.91 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.75/7.92 c choco : 1801.0
7.75/7.92 c mistral : 109.18
7.75/7.92 c abscon : 77.3452
7.75/7.92 c
7.75/7.92 c
7.75/7.92 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
7.75/7.92 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.75/7.92 c choco : 1801.0
7.75/7.92 c mistral : 699.298
7.75/7.93 c abscon : 1438.19
7.75/7.93 c
7.75/7.93 c
7.75/7.93 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
7.75/7.93 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.75/7.93 c choco : 1801.0
7.75/7.93 c mistral : 91.53
7.75/7.93 c abscon : 25.5821
7.75/7.93 c
7.75/7.93 c
7.75/7.93 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-28_ext.xml
7.75/7.93 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.75/7.94 c choco : 1801.0
7.75/7.94 c mistral : 144.908
7.75/7.94 c abscon : 915.008
7.75/7.94 c
7.75/7.94 c
7.75/7.94 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-44_ext.xml
7.75/7.94 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.75/7.95 c choco : 1801.0
7.75/7.95 c mistral : 922.959
7.75/7.95 c abscon : 1380.49
7.75/7.95 c
7.75/7.95 c
7.75/7.95 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-11_ext.xml
7.75/7.95 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.75/7.96 c choco : 1801.0
7.75/7.96 c mistral : 236.79
7.75/7.96 c abscon : 313.039
7.75/7.96 c
7.75/7.96 c
7.75/7.96 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-17_ext.xml
7.75/7.96 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.75/7.97 c choco : 1801.0
7.75/7.97 c mistral : 1115.6
7.75/7.97 c abscon : 1800.1
7.75/7.97 c
7.75/7.97 c
7.75/7.97 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-27_ext.xml
7.75/7.97 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.75/7.97 c choco : 1801.0
7.75/7.97 c mistral : 1800.03
7.75/7.97 c abscon : 678.048
7.75/7.97 c
7.75/7.97 c
7.75/7.97 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-38_ext.xml
7.75/7.97 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.75/7.98 c choco : 1801.0
7.75/7.98 c mistral : 864.252
7.75/7.98 c abscon : 421.256
7.75/7.98 c
7.75/7.98 c
7.75/7.98 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-43_ext.xml
7.75/7.98 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.75/7.98 c choco : 1801.0
7.75/7.98 c mistral : 237.0
7.75/7.98 c abscon : 1800.11
7.75/7.98 c
7.75/7.98 c
7.75/7.98 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-21_ext.xml
7.75/7.98 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.75/7.99 c choco : 1801.0
7.75/7.99 c mistral : 77.8422
7.75/7.99 c abscon : 622.444
7.75/7.99 c
7.75/7.99 c
7.75/7.99 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-13_ext.xml
7.75/7.99 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.75/8.00 c choco : 1801.0
7.75/8.00 c mistral : 1146.98
7.75/8.00 c abscon : 1800.07
7.75/8.00 c
7.75/8.00 c
7.75/8.00 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-20_ext.xml
7.75/8.00 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
7.81/8.00 c choco : 1801.0
7.81/8.00 c mistral : 633.91
7.81/8.00 c abscon : 1745.68
7.81/8.00 c
7.81/8.00 c
7.81/8.00 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-49_ext.xml
7.81/8.00 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.81/8.01 c choco : 1801.0
7.81/8.01 c mistral : 592.39
7.81/8.01 c abscon : 1800.1
7.81/8.01 c
7.81/8.01 c
7.81/8.01 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-32_ext.xml
7.81/8.01 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.81/8.01 c choco : 1801.0
7.81/8.01 c mistral : 1710.44
7.81/8.01 c abscon : 1800.07
7.81/8.01 c
7.81/8.01 c
7.81/8.01 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-18_ext.xml
7.81/8.01 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.81/8.02 c choco : 1801.0
7.81/8.02 c mistral : 44.47
7.81/8.02 c abscon : 680.721
7.81/8.02 c
7.81/8.02 c
7.81/8.02 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-31_ext.xml
7.81/8.02 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.81/8.03 c choco : 1801.0
7.81/8.03 c mistral : 980.19
7.81/8.03 c abscon : 1800.07
7.81/8.03 c
7.81/8.03 c
7.81/8.03 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-22_ext.xml
7.81/8.03 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
7.81/8.03 c choco : 1801.0
7.81/8.03 c mistral : 368.01
7.81/8.03 c abscon : 1052.28
7.81/8.03 c
7.81/8.03 c
7.81/8.03 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext.xml
7.81/8.03 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.81/8.04 c choco : 1801.0
7.81/8.04 c mistral : 146.429
7.81/8.04 c abscon : 545.603
7.81/8.04 c
7.81/8.04 c
7.81/8.04 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-23_ext.xml
7.81/8.04 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.81/8.04 c choco : 1801.0
7.81/8.04 c mistral : 1800.02
7.81/8.04 c abscon : 475.366
7.81/8.04 c
7.81/8.04 c
7.81/8.04 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-7_ext.xml
7.81/8.04 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.81/8.05 c choco : 1801.0
7.81/8.05 c mistral : 238.984
7.81/8.05 c abscon : 3.9484
7.81/8.05 c
7.81/8.05 c
7.81/8.05 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-33_ext.xml
7.81/8.05 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
7.81/8.06 c choco : 1801.0
7.81/8.06 c mistral : 1191.79
7.81/8.06 c abscon : 1800.06
7.81/8.06 c
7.81/8.06 c
7.81/8.06 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext.xml
7.81/8.06 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.81/8.06 c choco : 1801.0
7.81/8.06 c mistral : 29.3825
7.81/8.06 c abscon : 7.79681
7.81/8.06 c
7.81/8.06 c
7.81/8.06 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-41_ext.xml
7.81/8.06 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.81/8.07 c choco : 1801.0
7.81/8.07 c mistral : 6.39
7.81/8.07 c abscon : 15.0097
7.81/8.07 c
7.81/8.07 c
7.81/8.07 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-45_ext.xml
7.81/8.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.196800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.574500 | c 14 > 12.037900 | c 11 > 4.321930 | c 12 > 11.142300 | 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.81/8.08 c choco : 1801.0
7.81/8.08 c mistral : 6.51901
7.81/8.08 c abscon : 39.315
7.81/8.08 c
7.81/8.08 c
7.81/8.08 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-39_ext.xml
7.81/8.08 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.319500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.711900 | c 14 > 12.207300 | c 11 > 4.321930 | c 12 > 11.348800 | 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.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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.81/8.08 c choco : 1801.0
7.81/8.08 c mistral : 19.81
7.81/8.08 c abscon : 89.5534
7.81/8.08 c
7.81/8.08 c
7.81/8.08 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-27_ext.xml
7.81/8.08 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.154300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.769500 | c 14 > 12.065400 | c 11 > 4.321930 | c 12 > 11.327200 | 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.81/8.09 c choco : 1801.0
7.81/8.09 c mistral : 47.85
7.81/8.09 c abscon : 8.06377
7.81/8.09 c
7.81/8.09 c
7.81/8.09 c Length: 40
7.81/8.09 c 0.3885789752418438 0.4297356862072321 0.4939247785847549 0.5010398156833462 0.5079937109846948 0.5393885894232481 0.5863202967661969 0.5863804570413311 0.5924719460869029 0.6261088726411729 0.6268588680077845 0.661419851531537 0.6745911057818667 0.7116227301035286 0.7204141356886324 0.7376515640870014 0.7573349459783314 0.7606891417655449 0.7662405692731239 0.772425284412675 0.7806687873868156 0.7916380873227361 0.7941040110715987 0.8121849419928935 0.8196391767113155 0.8201516813370565 0.8334202088382552 0.8506359616780851 0.8941240909404019 0.9071492712889112 0.9194313190227976 0.9224304672440095 0.9359615266665614 0.9407610642453276 0.947525493271817 0.9542710419477275 0.9610678495819124 0.9782984419388603 0.983377172808074 0.9850167671161755
7.81/8.09 c
7.81/8.09 c 1.0 0.9354500222600972 0.8498884783559233 0.841358361668558 0.8331852844882172 0.7981798090441873 0.7510116821404176 0.7509547961730219 0.745239118196251 0.7151809351196756 0.7145383437411786 0.6861295620356685 0.6758885424823848 0.648667495276628 0.6425241523874587 0.6308104110083597 0.6179461730678677 0.6158061526048054 0.6122966511469757 0.6084336073985281 0.6033597741218815 0.5967380084061283 0.5952693806426119 0.5847178484559287 0.5804758702577457 0.580186479663753 0.5727934369989764 0.5634773114575827 0.5412405108786869 0.5349179062783415 0.5290898704862939 0.5276859653386772 0.5214435950265263 0.5192647296149123 0.5162245901744432 0.5132281796829531 0.5102439777560308 0.5028319706888642 0.5006881903848756 0.5
7.87/8.11 c
7.87/8.11 c solver 0
7.87/8.11 c before 0.0 seconds: {} 0
7.87/8.11 c before 18.0 seconds: {5, 33, 35, 36, 39} 2840
7.87/8.11 c before 36.0 seconds: {5, 15, 33, 35, 36, 39} 3471
7.87/8.11 c before 54.0 seconds: {5, 15, 33, 35, 36, 37, 39} 3974
7.87/8.11 c before 90.0 seconds: {5, 13, 15, 33, 35, 36, 37, 38, 39} 5123
7.87/8.11 c before 324.0 seconds: {3, 5, 13, 15, 18, 33, 35, 36, 37, 38, 39} 6577
7.87/8.11 c before 432.0 seconds: {3, 5, 13, 15, 18, 21, 33, 35, 36, 37, 38, 39} 7174
7.87/8.11 c before 486.0 seconds: {3, 5, 13, 15, 18, 21, 32, 33, 35, 36, 37, 38, 39} 7695
7.87/8.11 c before 558.0 seconds: {3, 5, 13, 15, 18, 21, 31, 32, 33, 35, 36, 37, 38, 39} 8223
7.87/8.11 c before 630.0 seconds: {3, 5, 13, 15, 18, 21, 23, 31, 32, 33, 35, 36, 37, 38, 39} 8808
7.87/8.11 c before 684.0 seconds: {3, 5, 13, 15, 18, 20, 21, 23, 28, 31, 32, 33, 35, 36, 37, 38, 39} 9952
7.87/8.11 c before 918.0 seconds: {3, 5, 13, 15, 16, 18, 20, 21, 23, 28, 31, 32, 33, 35, 36, 37, 38, 39} 10570
7.87/8.11 c before 1062.0 seconds: {3, 5, 13, 15, 16, 18, 20, 21, 23, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 11099
7.87/8.11 c before 1278.0 seconds: {2, 3, 5, 13, 15, 16, 18, 20, 21, 23, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 11949
7.87/8.11 c before 1350.0 seconds: {2, 3, 5, 10, 13, 15, 16, 18, 20, 21, 23, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 12664
7.87/8.11 c before 1386.0 seconds: {2, 3, 5, 10, 13, 15, 16, 17, 18, 20, 21, 23, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 13280
7.87/8.11 c before 1440.0 seconds: {2, 3, 5, 10, 13, 14, 15, 16, 17, 18, 20, 21, 23, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 13922
7.87/8.11 c before 1746.0 seconds: {2, 3, 5, 10, 13, 14, 15, 16, 17, 18, 20, 21, 23, 25, 28, 30, 31, 32, 33, 35, 36, 37, 38, 39} 14502
7.87/8.11 c
7.87/8.11 c solver 1
7.87/8.11 c before 0.0 seconds: {} 0
7.87/8.11 c before 18.0 seconds: {36, 37} 1013
7.87/8.11 c before 36.0 seconds: {35, 36, 37, 38} 2026
7.87/8.11 c before 54.0 seconds: {3, 28, 35, 36, 37, 38, 39} 3909
7.87/8.11 c before 72.0 seconds: {3, 4, 28, 35, 36, 37, 38, 39} 4742
7.87/8.11 c before 90.0 seconds: {3, 4, 23, 28, 35, 36, 37, 38, 39} 5327
7.87/8.11 c before 108.0 seconds: {3, 4, 15, 23, 28, 35, 36, 37, 38, 39} 5958
7.87/8.11 c before 126.0 seconds: {3, 4, 13, 15, 23, 28, 35, 36, 37, 38, 39} 6606
7.87/8.11 c before 162.0 seconds: {3, 4, 13, 15, 16, 23, 28, 31, 35, 36, 37, 38, 39} 7752
7.87/8.11 c before 252.0 seconds: {3, 4, 7, 13, 15, 16, 18, 22, 23, 28, 31, 33, 35, 36, 37, 38, 39} 10230
7.87/8.11 c before 378.0 seconds: {3, 4, 7, 13, 15, 16, 18, 22, 23, 28, 30, 31, 33, 35, 36, 37, 38, 39} 10759
7.87/8.11 c before 414.0 seconds: {3, 4, 5, 7, 13, 15, 16, 18, 22, 23, 28, 30, 31, 33, 35, 36, 37, 38, 39} 11557
7.87/8.11 c before 594.0 seconds: {3, 4, 5, 7, 13, 15, 16, 18, 22, 23, 26, 28, 30, 31, 33, 35, 36, 37, 38, 39} 12130
7.87/8.11 c before 648.0 seconds: {3, 4, 5, 7, 13, 15, 16, 18, 22, 23, 25, 26, 28, 30, 31, 33, 35, 36, 37, 38, 39} 12710
7.87/8.11 c before 702.0 seconds: {3, 4, 5, 7, 13, 14, 15, 16, 18, 22, 23, 25, 26, 28, 30, 31, 33, 35, 36, 37, 38, 39} 13353
7.87/8.11 c before 774.0 seconds: {2, 3, 4, 5, 7, 13, 14, 15, 16, 18, 22, 23, 25, 26, 28, 30, 31, 33, 35, 36, 37, 38, 39} 14203
7.87/8.11 c before 810.0 seconds: {2, 3, 4, 5, 7, 9, 13, 14, 15, 16, 18, 22, 23, 25, 26, 28, 30, 31, 33, 35, 36, 37, 38, 39} 14918
7.87/8.11 c before 882.0 seconds: {2, 3, 4, 5, 7, 9, 13, 14, 15, 16, 18, 21, 22, 23, 25, 26, 28, 30, 31, 33, 35, 36, 37, 38, 39} 15514
7.87/8.11 c before 918.0 seconds: {2, 3, 4, 5, 7, 9, 11, 13, 14, 15, 16, 18, 21, 22, 23, 25, 26, 28, 30, 31, 33, 35, 36, 37, 38, 39} 16201
7.87/8.11 c before 936.0 seconds: {2, 3, 4, 5, 7, 9, 11, 13, 14, 15, 16, 17, 18, 21, 22, 23, 25, 26, 28, 30, 31, 33, 35, 36, 37, 38, 39} 16816
7.87/8.11 c before 990.0 seconds: {0, 2, 3, 4, 5, 7, 9, 11, 13, 14, 15, 16, 17, 18, 21, 22, 23, 25, 26, 28, 29, 30, 31, 33, 35, 36, 37, 38, 39} 18351
7.87/8.11 c before 1116.0 seconds: {0, 2, 3, 4, 5, 7, 9, 11, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 25, 26, 28, 29, 30, 31, 33, 35, 36, 37, 38, 39} 18960
7.87/8.11 c before 1152.0 seconds: {0, 2, 3, 4, 5, 7, 9, 11, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 33, 35, 36, 37, 38, 39} 19540
7.87/8.11 c before 1206.0 seconds: {0, 2, 3, 4, 5, 7, 9, 11, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20056
7.87/8.11 c before 1242.0 seconds: {0, 2, 3, 4, 5, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20732
7.87/8.11 c before 1260.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21478
7.87/8.11 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 22413
7.87/8.11 c before 1512.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 23164
7.87/8.11 c before 1728.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 23728
7.87/8.11 c
7.87/8.11 c solver 2
7.87/8.11 c before 0.0 seconds: {} 0
7.87/8.12 c
7.87/8.12 cTotal time: 193
7.87/8.12 c run abscon for 54.0 seconds {5, 15, 33, 35, 36, 37, 39} 3974
7.87/8.12 c run mistral for 1728.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 23728
7.87/8.12 c do not run choco
7.87/8.12 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.87/8.12 c On Instance: HOME/instance-1056813-1215105958.xml
7.87/8.12 c Running for: 54 seconds
62.22/62.57 c Starting solver: HOME/cpHydra_k_40/solver/mistral
62.22/62.57 c On Instance: HOME/instance-1056813-1215105958.xml
62.22/62.57 c Running for: 1728 seconds