0.00/0.00 c cpHydra_k_40 version 0.0
71.21/71.84 c CASE TO CLASSIFY:
71.21/71.84 c Case: 0
71.21/71.84 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 12.601300 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.21/71.85 c choco : 1801.0
71.21/71.85 c mistral : 1801.0
71.21/71.85 c abscon : 1801.0
71.21/71.85 c
71.21/71.85 c
71.50/72.10 c List of same ones: 40
71.50/72.10 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-7.xml
71.50/72.10 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.409390 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.11 c choco : 289.36
71.50/72.11 c mistral : 69.4914
71.50/72.11 c abscon : 8.48671
71.50/72.11 c
71.50/72.11 c
71.50/72.11 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-1.xml
71.50/72.11 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.339850 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.12 c choco : 165.46
71.50/72.12 c mistral : 105.964
71.50/72.12 c abscon : 5.62414
71.50/72.12 c
71.50/72.12 c
71.50/72.12 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-3.xml
71.50/72.12 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.339850 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.13 c choco : 241.66
71.50/72.13 c mistral : 109.272
71.50/72.13 c abscon : 5.81612
71.50/72.13 c
71.50/72.13 c
71.50/72.13 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-6.xml
71.50/72.13 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.266790 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.13 c choco : 222.88
71.50/72.13 c mistral : 87.2887
71.50/72.13 c abscon : 8.36073
71.50/72.14 c
71.50/72.14 c
71.50/72.14 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-8.xml
71.50/72.14 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.266790 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.15 c choco : 258.16
71.50/72.15 c mistral : 67.8027
71.50/72.15 c abscon : 8.5677
71.50/72.15 c
71.50/72.15 c
71.50/72.15 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
71.50/72.15 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.238400 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.16 c choco : 162.09
71.50/72.16 c mistral : 106.35
71.50/72.16 c abscon : 8.83866
71.50/72.16 c
71.50/72.16 c
71.50/72.16 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-5.xml
71.50/72.16 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.219170 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.16 c choco : 123.79
71.50/72.16 c mistral : 119.313
71.50/72.16 c abscon : 5.86111
71.50/72.16 c
71.50/72.16 c
71.50/72.16 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-9.xml
71.50/72.16 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.199670 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.17 c choco : 1801.0
71.50/72.17 c mistral : 47.8137
71.50/72.17 c abscon : 8.48171
71.50/72.17 c
71.50/72.17 c
71.50/72.17 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-2.xml
71.50/72.17 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.189820 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.18 c choco : 178.61
71.50/72.18 c mistral : 98.855
71.50/72.18 c abscon : 5.66214
71.50/72.18 c
71.50/72.18 c
71.50/72.18 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-0.xml
71.50/72.18 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 7.159870 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.50/72.19 c choco : 159.33
71.50/72.19 c mistral : 105.658
71.50/72.19 c abscon : 5.68613
71.50/72.19 c
71.50/72.19 c
71.50/72.19 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-4.xml
71.50/72.19 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 6.954200 | c 34 > 68.285400 | c 16 > 2.000000 | c 13 > 3.875670 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 5.068670 | c 21 > 23.968700 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 10.376600 | c 24 > 3.683900 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.519900 | 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 > 17.617400 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.20 c choco : 135.43
71.59/72.20 c mistral : 106.651
71.59/72.20 c abscon : 5.69113
71.59/72.20 c
71.59/72.20 c
71.59/72.20 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
71.59/72.20 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.459430 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.21 c choco : 1801.0
71.59/72.21 c mistral : 91.925
71.59/72.21 c abscon : 8.97863
71.59/72.21 c
71.59/72.21 c
71.59/72.21 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
71.59/72.21 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.442940 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.22 c choco : 1801.0
71.59/72.22 c mistral : 1800.05
71.59/72.22 c abscon : 15.7666
71.59/72.22 c
71.59/72.22 c
71.59/72.22 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
71.59/72.22 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.400880 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.23 c choco : 1801.0
71.59/72.23 c mistral : 93.1378
71.59/72.23 c abscon : 8.34573
71.59/72.23 c
71.59/72.23 c
71.59/72.23 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
71.59/72.23 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.400880 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.24 c choco : 1801.0
71.59/72.24 c mistral : 574.22
71.59/72.24 c abscon : 8.86065
71.59/72.24 c
71.59/72.24 c
71.59/72.24 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
71.59/72.24 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.392320 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.25 c choco : 1801.0
71.59/72.25 c mistral : 81.4106
71.59/72.25 c abscon : 8.81466
71.59/72.25 c
71.59/72.25 c
71.59/72.25 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
71.59/72.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.25 c choco : 1801.0
71.59/72.25 c mistral : 1800.03
71.59/72.25 c abscon : 16.9624
71.59/72.25 c
71.59/72.25 c
71.59/72.25 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
71.59/72.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.26 c choco : 1801.0
71.59/72.26 c mistral : 69.4484
71.59/72.26 c abscon : 8.71567
71.59/72.26 c
71.59/72.26 c
71.59/72.26 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
71.59/72.26 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.27 c choco : 1801.0
71.59/72.27 c mistral : 146.325
71.59/72.27 c abscon : 9.08962
71.59/72.27 c
71.59/72.27 c
71.59/72.27 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
71.59/72.27 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.28 c choco : 1801.0
71.59/72.28 c mistral : 182.049
71.59/72.28 c abscon : 8.90564
71.59/72.28 c
71.59/72.28 c
71.59/72.28 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
71.59/72.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.28 c choco : 1801.0
71.59/72.28 c mistral : 744.68
71.59/72.28 c abscon : 15.7856
71.59/72.28 c
71.59/72.28 c
71.59/72.28 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
71.59/72.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | 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 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.29 c choco : 1801.0
71.59/72.29 c mistral : 1800.06
71.59/72.29 c abscon : 16.5685
71.59/72.29 c
71.59/72.29 c
71.59/72.29 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-5.xml
71.59/72.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 6.321930 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.59/72.30 c choco : 1801.0
71.59/72.30 c mistral : 1318.62
71.59/72.30 c abscon : 7.84581
71.59/72.30 c
71.59/72.30 c
71.59/72.30 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-6.xml
71.59/72.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 6.247930 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.30 c choco : 1801.0
71.65/72.30 c mistral : 1800.1
71.65/72.30 c abscon : 13.6839
71.65/72.30 c
71.65/72.30 c
71.65/72.30 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-0.xml
71.65/72.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 6.228820 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.31 c choco : 1801.0
71.65/72.31 c mistral : 908.571
71.65/72.31 c abscon : 7.52885
71.65/72.31 c
71.65/72.31 c
71.65/72.31 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-10.xml
71.65/72.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 6.228820 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.31 c choco : 1801.0
71.65/72.31 c mistral : 1800.07
71.65/72.31 c abscon : 19.1911
71.65/72.31 c
71.65/72.31 c
71.65/72.31 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-3.xml
71.65/72.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 6.228820 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.32 c choco : 1801.0
71.65/72.32 c mistral : 335.826
71.65/72.32 c abscon : 8.30974
71.65/72.32 c
71.65/72.32 c
71.65/72.32 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-4.xml
71.65/72.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 6.228820 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.33 c choco : 1801.0
71.65/72.33 c mistral : 716.694
71.65/72.33 c abscon : 7.93079
71.65/72.33 c
71.65/72.33 c
71.65/72.33 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-7.xml
71.65/72.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 6.228820 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.33 c choco : 1801.0
71.65/72.33 c mistral : 1800.02
71.65/72.33 c abscon : 14.6678
71.65/72.33 c
71.65/72.33 c
71.65/72.33 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-8.xml
71.65/72.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 6.228820 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.34 c choco : 1801.0
71.65/72.34 c mistral : 1800.05
71.65/72.34 c abscon : 14.6898
71.65/72.34 c
71.65/72.34 c
71.65/72.34 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-9.xml
71.65/72.34 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 6.228820 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.34 c choco : 1801.0
71.65/72.34 c mistral : 1800.04
71.65/72.34 c abscon : 18.4642
71.65/72.34 c
71.65/72.34 c
71.65/72.34 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
71.65/72.34 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.35 c choco : 1801.0
71.65/72.35 c mistral : 1800.11
71.65/72.35 c abscon : 71.1032
71.65/72.35 c
71.65/72.35 c
71.65/72.35 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
71.65/72.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.36 c choco : 1801.0
71.65/72.36 c mistral : 1800.09
71.65/72.36 c abscon : 10.1455
71.65/72.36 c
71.65/72.36 c
71.65/72.36 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
71.65/72.36 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.36 c choco : 1801.0
71.65/72.36 c mistral : 1800.04
71.65/72.36 c abscon : 10.1615
71.65/72.36 c
71.65/72.36 c
71.65/72.36 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
71.65/72.36 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.37 c choco : 1801.0
71.65/72.37 c mistral : 1800.03
71.65/72.37 c abscon : 65.728
71.65/72.37 c
71.65/72.37 c
71.65/72.37 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
71.65/72.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.37 c choco : 1801.0
71.65/72.37 c mistral : 1800.03
71.65/72.37 c abscon : 68.0856
71.65/72.37 c
71.65/72.37 c
71.65/72.37 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
71.65/72.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.38 c choco : 1801.0
71.65/72.38 c mistral : 1800.04
71.65/72.38 c abscon : 74.9176
71.65/72.38 c
71.65/72.38 c
71.65/72.38 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-1.xml
71.65/72.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.232200 | c 15 > 5.954200 | c 34 > 68.303600 | c 16 > 2.000000 | c 13 > 3.834120 | c 14 > -1.000000 | c 11 > 9.103290 | c 12 > 5.104490 | c 21 > 28.554100 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 10.555700 | c 24 > 1.233480 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.207800 | 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 > 18.774500 | c 31 > -1.000000 | c 4 > 9.103290 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.65/72.39 c choco : 1801.0
71.65/72.39 c mistral : 484.401
71.65/72.39 c abscon : 7.80381
71.65/72.39 c
71.65/72.39 c
71.65/72.39 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
71.65/72.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.727920 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.70/72.40 c choco : 1801.0
71.70/72.40 c mistral : 1800.05
71.70/72.40 c abscon : 10.0415
71.70/72.40 c
71.70/72.40 c
71.70/72.40 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-0.xml
71.70/72.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.714250 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
71.70/72.41 c choco : 1801.0
71.70/72.41 c mistral : 1800.05
71.70/72.41 c abscon : 9.72352
71.70/72.41 c
71.70/72.41 c
71.70/72.41 c Length: 40
71.70/72.41 c 5.19191 5.26145 5.26145 5.33451 5.33451 5.3629 5.38213 5.40163 5.41148 5.44143 5.6471 7.893884080520817 7.904635138284371 7.9321464280609435 7.9321464280609435 7.937761108788799 7.943420455937101 7.943420455937101 7.943420455937101 7.943420455937101 7.943420455937101 7.943420455937101 8.936558786300239 8.988709901926972 9.002227318530677 9.002227318530677 9.002227318530677 9.002227318530677 9.002227318530677 9.002227318530677 9.002227318530677 9.195928003241436 9.195928003241436 9.195928003241436 9.195928003241436 9.195928003241436 9.195928003241436 9.198670216618268 9.204568259092873 9.21329701650826
71.70/72.41 c
71.70/72.41 c 1.0 0.9830014078179878 0.9830014078179878 0.9657539758326198 0.9657539758326198 0.9592140689335203 0.9548343425076476 0.9504337755623415 0.9482263085559918 0.9415768128326055 0.8983173977971568 0.5981215285737417 0.5971666233159275 0.594736907412103 0.594736907412103 0.5942434627024056 0.5937469204086939 0.5937469204086939 0.5937469204086939 0.5937469204086939 0.5937469204086939 0.5937469204086939 0.5178172131338837 0.514363120051 0.5134753362070412 0.5134753362070412 0.5134753362070412 0.5134753362070412 0.5134753362070412 0.5134753362070412 0.5134753362070412 0.5010821268972769 0.5010821268972769 0.5010821268972769 0.5010821268972769 0.5010821268972769 0.5010821268972769 0.5009109698330916 0.5005432355131166 0.5
71.70/72.42 c
71.70/72.42 c solver 0
71.70/72.42 c before 0.0 seconds: {} 0
71.70/72.42 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 32, 33, 37, 38, 39} 23194
71.70/72.42 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 37, 38, 39} 24221
71.70/72.42 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 25724
71.70/72.42 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26226
71.70/72.42 c
71.70/72.42 c solver 1
71.70/72.42 c before 0.0 seconds: {} 0
71.70/72.42 c before 54.0 seconds: {7} 950
71.70/72.42 c before 72.0 seconds: {0, 4, 7, 17} 3509
71.70/72.42 c before 90.0 seconds: {0, 3, 4, 7, 15, 17} 5069
71.70/72.42 c before 108.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 13, 15, 17} 10993
71.70/72.42 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17} 12930
71.70/72.42 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18} 13524
71.70/72.42 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18, 19} 14118
71.70/72.42 c before 342.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18, 19, 26} 14631
71.70/72.42 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18, 19, 26, 37} 15132
71.70/72.42 c before 576.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 26, 37} 15727
71.70/72.42 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 26, 27, 37} 16241
71.70/72.42 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 26, 27, 37} 16834
71.70/72.43 c before 918.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 24, 26, 27, 37} 17348
71.70/72.43 c before 1332.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 19, 20, 22, 24, 26, 27, 37} 17866
71.70/72.43 c
71.70/72.43 c solver 2
71.70/72.43 c before 0.0 seconds: {} 0
71.70/72.43 c before 126.0 seconds: {6} 954
71.70/72.43 c before 144.0 seconds: {6, 10} 1853
71.70/72.43 c before 162.0 seconds: {6, 9, 10} 2794
71.70/72.43 c before 180.0 seconds: {1, 5, 6, 8, 9, 10} 5685
71.70/72.43 c before 234.0 seconds: {1, 3, 5, 6, 8, 9, 10} 6650
71.70/72.43 c before 252.0 seconds: {1, 2, 3, 5, 6, 8, 9, 10} 7633
71.70/72.43 c before 270.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9, 10} 8599
71.70/72.43 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10} 9599
71.70/72.43 c
71.70/72.43 cTotal time: 96
71.70/72.43 c 1728.0 seconds unused
71.70/72.43 c 0 c 16 c 30
71.70/72.43 c 0 c 0 c 14
71.70/72.43 c 0 c 0 c 0
71.70/72.43 c is solver0 dominated by:
71.70/72.43 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
71.70/72.43 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
71.70/72.43 c is dominated? false
71.70/72.43 c
71.70/72.43 c is solver1 dominated by:
71.70/72.43 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
71.70/72.43 c is dominated? true
71.70/72.43 c
71.70/72.43 c is solver2 dominated by:
71.70/72.43 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
71.70/72.43 c is dominated? true
71.70/72.43 c
71.70/72.43 c Number of non-dominated solvers: 1
71.70/72.43 c remove dominated solvers
71.70/72.43 c solver 0 is not dominated by another solver
71.70/72.43 c solver 2 is dominated by another solver
71.70/72.43 c solver 1 is dominated by another solver
71.70/72.43 c
71.70/72.43 c solver 0: 90.0
71.70/72.43 c
71.70/72.43 c+ 5/5 of 95
71.70/72.43 c
71.70/72.43 c solver 1: 0.0
71.70/72.43 c
71.70/72.43 c solver 2: 0.0
71.70/72.43 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26226
71.70/72.43 c do not run mistral
71.70/72.43 c do not run choco
71.70/72.43 c Starting solver: HOME/cpHydra_k_40/solver/abscon
71.70/72.43 c On Instance: HOME/instance-1094902-1215280227.xml
71.70/72.43 c Running for: 1800 seconds
94.04/94.82 s UNSATISFIABLE
94.04/94.82 d ASSIGNMENTS 0
94.04/94.82 d CHECKS 188151