0.00/0.00 c cpHydra_k_40 version 0.0
72.70/73.12 c CASE TO CLASSIFY:
72.70/73.12 c Case: 0
72.70/73.12 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
72.70/73.13 c choco : 1801.0
72.70/73.13 c mistral : 1801.0
72.70/73.13 c abscon : 1801.0
72.70/73.13 c
72.70/73.13 c
72.79/73.21 c List of same ones: 40
72.79/73.21 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-7.xml
72.79/73.21 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
72.79/73.21 c choco : 289.36
72.79/73.21 c mistral : 69.4914
72.79/73.21 c abscon : 8.48671
72.79/73.21 c
72.79/73.21 c
72.79/73.21 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-1.xml
72.79/73.21 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
72.79/73.22 c choco : 165.46
72.79/73.22 c mistral : 105.964
72.79/73.22 c abscon : 5.62414
72.79/73.22 c
72.79/73.22 c
72.79/73.22 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-3.xml
72.79/73.22 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
72.79/73.23 c choco : 241.66
72.79/73.23 c mistral : 109.272
72.79/73.23 c abscon : 5.81612
72.79/73.23 c
72.79/73.23 c
72.79/73.23 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-6.xml
72.79/73.23 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
72.79/73.24 c choco : 222.88
72.79/73.24 c mistral : 87.2887
72.79/73.24 c abscon : 8.36073
72.79/73.24 c
72.79/73.24 c
72.79/73.24 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-8.xml
72.79/73.24 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
72.79/73.25 c choco : 258.16
72.79/73.25 c mistral : 67.8027
72.79/73.25 c abscon : 8.5677
72.79/73.25 c
72.79/73.25 c
72.79/73.25 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
72.79/73.25 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
72.79/73.26 c choco : 162.09
72.79/73.26 c mistral : 106.35
72.79/73.26 c abscon : 8.83866
72.79/73.26 c
72.79/73.26 c
72.79/73.26 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-5.xml
72.79/73.26 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
72.79/73.27 c choco : 123.79
72.79/73.27 c mistral : 119.313
72.79/73.27 c abscon : 5.86111
72.79/73.27 c
72.79/73.27 c
72.79/73.27 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-9.xml
72.79/73.27 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
72.79/73.28 c choco : 1801.0
72.79/73.28 c mistral : 47.8137
72.79/73.28 c abscon : 8.48171
72.79/73.28 c
72.79/73.28 c
72.79/73.28 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-2.xml
72.79/73.28 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
72.79/73.29 c choco : 178.61
72.79/73.29 c mistral : 98.855
72.79/73.29 c abscon : 5.66214
72.79/73.29 c
72.79/73.29 c
72.79/73.29 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-0.xml
72.79/73.29 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
72.79/73.30 c choco : 159.33
72.79/73.30 c mistral : 105.658
72.79/73.30 c abscon : 5.68613
72.79/73.30 c
72.79/73.30 c
72.79/73.30 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-4.xml
72.79/73.30 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
72.86/73.31 c choco : 135.43
72.86/73.31 c mistral : 106.651
72.86/73.31 c abscon : 5.69113
72.86/73.31 c
72.86/73.31 c
72.86/73.31 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
72.86/73.31 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
72.86/73.32 c choco : 1801.0
72.86/73.32 c mistral : 91.925
72.86/73.32 c abscon : 8.97863
72.86/73.32 c
72.86/73.32 c
72.86/73.32 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
72.86/73.32 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
72.86/73.33 c choco : 1801.0
72.86/73.33 c mistral : 1800.05
72.86/73.33 c abscon : 15.7666
72.86/73.33 c
72.86/73.33 c
72.86/73.33 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
72.86/73.33 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
72.86/73.34 c choco : 1801.0
72.86/73.34 c mistral : 93.1378
72.86/73.34 c abscon : 8.34573
72.86/73.34 c
72.86/73.34 c
72.86/73.34 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
72.86/73.34 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
72.86/73.35 c choco : 1801.0
72.86/73.35 c mistral : 574.22
72.86/73.35 c abscon : 8.86065
72.86/73.35 c
72.86/73.35 c
72.86/73.35 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
72.86/73.35 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
72.86/73.36 c choco : 1801.0
72.86/73.36 c mistral : 81.4106
72.86/73.36 c abscon : 8.81466
72.86/73.36 c
72.86/73.36 c
72.86/73.36 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
72.86/73.36 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
72.86/73.36 c choco : 1801.0
72.86/73.36 c mistral : 1800.03
72.86/73.36 c abscon : 16.9624
72.86/73.36 c
72.86/73.36 c
72.86/73.36 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
72.86/73.36 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
72.86/73.37 c choco : 1801.0
72.86/73.37 c mistral : 69.4484
72.86/73.37 c abscon : 8.71567
72.86/73.37 c
72.86/73.37 c
72.86/73.37 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
72.86/73.37 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
72.86/73.38 c choco : 1801.0
72.86/73.38 c mistral : 146.325
72.86/73.38 c abscon : 9.08962
72.86/73.38 c
72.86/73.38 c
72.86/73.38 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
72.86/73.38 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
72.86/73.39 c choco : 1801.0
72.86/73.39 c mistral : 182.049
72.86/73.39 c abscon : 8.90564
72.86/73.39 c
72.86/73.39 c
72.86/73.39 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
72.86/73.39 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
72.86/73.39 c choco : 1801.0
72.86/73.39 c mistral : 744.68
72.86/73.39 c abscon : 15.7856
72.86/73.39 c
72.86/73.39 c
72.86/73.40 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
72.86/73.40 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
72.91/73.40 c choco : 1801.0
72.91/73.40 c mistral : 1800.06
72.91/73.40 c abscon : 16.5685
72.91/73.40 c
72.91/73.40 c
72.91/73.40 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-5.xml
72.91/73.40 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
72.91/73.41 c choco : 1801.0
72.91/73.41 c mistral : 1318.62
72.91/73.41 c abscon : 7.84581
72.91/73.41 c
72.91/73.41 c
72.91/73.41 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-6.xml
72.91/73.41 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
72.91/73.41 c choco : 1801.0
72.91/73.41 c mistral : 1800.1
72.91/73.41 c abscon : 13.6839
72.91/73.41 c
72.91/73.41 c
72.91/73.41 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-0.xml
72.91/73.41 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
72.91/73.42 c choco : 1801.0
72.91/73.42 c mistral : 908.571
72.91/73.42 c abscon : 7.52885
72.91/73.42 c
72.91/73.42 c
72.91/73.42 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-10.xml
72.91/73.42 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
72.91/73.43 c choco : 1801.0
72.91/73.43 c mistral : 1800.07
72.91/73.43 c abscon : 19.1911
72.91/73.43 c
72.91/73.43 c
72.91/73.43 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-3.xml
72.91/73.43 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
72.91/73.43 c choco : 1801.0
72.91/73.43 c mistral : 335.826
72.91/73.43 c abscon : 8.30974
72.91/73.43 c
72.91/73.43 c
72.91/73.43 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-4.xml
72.91/73.43 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
72.91/73.44 c choco : 1801.0
72.91/73.44 c mistral : 716.694
72.91/73.44 c abscon : 7.93079
72.91/73.44 c
72.91/73.44 c
72.91/73.44 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-7.xml
72.91/73.44 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
72.91/73.44 c choco : 1801.0
72.91/73.44 c mistral : 1800.02
72.91/73.44 c abscon : 14.6678
72.91/73.44 c
72.91/73.44 c
72.91/73.44 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-8.xml
72.91/73.44 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
72.91/73.45 c choco : 1801.0
72.91/73.45 c mistral : 1800.05
72.91/73.45 c abscon : 14.6898
72.91/73.45 c
72.91/73.45 c
72.91/73.45 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-9.xml
72.91/73.45 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
72.91/73.46 c choco : 1801.0
72.91/73.46 c mistral : 1800.04
72.91/73.46 c abscon : 18.4642
72.91/73.46 c
72.91/73.46 c
72.91/73.46 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
72.91/73.46 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
72.91/73.46 c choco : 1801.0
72.91/73.46 c mistral : 1800.11
72.91/73.46 c abscon : 71.1032
72.91/73.46 c
72.91/73.46 c
72.91/73.46 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
72.91/73.46 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
72.91/73.47 c choco : 1801.0
72.91/73.47 c mistral : 1800.09
72.91/73.47 c abscon : 10.1455
72.91/73.47 c
72.91/73.47 c
72.91/73.47 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
72.91/73.47 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
72.91/73.47 c choco : 1801.0
72.91/73.47 c mistral : 1800.04
72.91/73.47 c abscon : 10.1615
72.91/73.47 c
72.91/73.47 c
72.91/73.47 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
72.91/73.47 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
72.91/73.48 c choco : 1801.0
72.91/73.48 c mistral : 1800.03
72.91/73.48 c abscon : 65.728
72.91/73.48 c
72.91/73.48 c
72.91/73.48 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
72.91/73.48 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
72.91/73.49 c choco : 1801.0
72.91/73.49 c mistral : 1800.03
72.91/73.49 c abscon : 68.0856
72.91/73.49 c
72.91/73.49 c
72.91/73.49 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
72.91/73.49 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
72.91/73.49 c choco : 1801.0
72.91/73.49 c mistral : 1800.04
72.91/73.49 c abscon : 74.9176
72.91/73.49 c
72.91/73.49 c
72.91/73.49 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-1.xml
72.91/73.49 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
72.96/73.50 c choco : 1801.0
72.96/73.50 c mistral : 484.401
72.96/73.50 c abscon : 7.80381
72.96/73.50 c
72.96/73.50 c
72.96/73.50 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
72.96/73.50 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
72.96/73.51 c choco : 1801.0
72.96/73.51 c mistral : 1800.05
72.96/73.51 c abscon : 10.0415
72.96/73.51 c
72.96/73.51 c
72.96/73.51 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-0.xml
72.96/73.51 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
72.96/73.52 c choco : 1801.0
72.96/73.52 c mistral : 1800.05
72.96/73.52 c abscon : 9.72352
72.96/73.52 c
72.96/73.52 c
72.96/73.52 c Length: 40
72.96/73.52 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
72.96/73.52 c
72.96/73.52 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
72.96/73.53 c
72.96/73.53 c solver 0
72.96/73.53 c before 0.0 seconds: {} 0
72.96/73.53 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
72.96/73.53 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
72.96/73.53 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
72.96/73.53 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
72.96/73.53 c
72.96/73.53 c solver 1
72.96/73.53 c before 0.0 seconds: {} 0
72.96/73.53 c before 54.0 seconds: {7} 950
72.96/73.53 c before 72.0 seconds: {0, 4, 7, 17} 3509
72.96/73.53 c before 90.0 seconds: {0, 3, 4, 7, 15, 17} 5069
72.96/73.53 c before 108.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 13, 15, 17} 10993
72.96/73.54 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17} 12930
72.96/73.54 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18} 13524
72.96/73.54 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18, 19} 14118
72.96/73.54 c before 342.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18, 19, 26} 14631
72.96/73.54 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
72.96/73.54 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
72.96/73.54 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
72.96/73.54 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
72.96/73.54 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
72.96/73.54 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
72.96/73.54 c
72.96/73.54 c solver 2
72.96/73.54 c before 0.0 seconds: {} 0
72.96/73.54 c before 126.0 seconds: {6} 954
72.96/73.54 c before 144.0 seconds: {6, 10} 1853
72.96/73.54 c before 162.0 seconds: {6, 9, 10} 2794
72.96/73.54 c before 180.0 seconds: {1, 5, 6, 8, 9, 10} 5685
72.96/73.54 c before 234.0 seconds: {1, 3, 5, 6, 8, 9, 10} 6650
72.96/73.54 c before 252.0 seconds: {1, 2, 3, 5, 6, 8, 9, 10} 7633
72.96/73.54 c before 270.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9, 10} 8599
72.96/73.54 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10} 9599
72.96/73.54 c
72.96/73.54 cTotal time: 96
72.96/73.54 c 1728.0 seconds unused
72.96/73.54 c 0 c 16 c 30
72.96/73.54 c 0 c 0 c 14
72.96/73.54 c 0 c 0 c 0
72.96/73.54 c is solver0 dominated by:
72.96/73.54 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)
72.96/73.54 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)
72.96/73.54 c is dominated? false
72.96/73.54 c
72.96/73.54 c is solver1 dominated by:
72.96/73.54 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)
72.96/73.54 c is dominated? true
72.96/73.54 c
72.96/73.54 c is solver2 dominated by:
72.96/73.54 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)
72.96/73.54 c is dominated? true
72.96/73.54 c
72.96/73.54 c Number of non-dominated solvers: 1
72.96/73.54 c remove dominated solvers
72.96/73.54 c solver 0 is not dominated by another solver
72.96/73.54 c solver 2 is dominated by another solver
72.96/73.54 c solver 1 is dominated by another solver
72.96/73.54 c
72.96/73.54 c solver 0: 90.0
72.96/73.54 c
72.96/73.54 c+ 5/5 of 95
72.96/73.54 c
72.96/73.54 c solver 1: 0.0
72.96/73.54 c
72.96/73.54 c solver 2: 0.0
72.96/73.54 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
72.96/73.54 c do not run mistral
72.96/73.54 c do not run choco
72.96/73.54 c Starting solver: HOME/cpHydra_k_40/solver/abscon
72.96/73.54 c On Instance: HOME/instance-1094881-1215280135.xml
72.96/73.54 c Running for: 1800 seconds
95.57/96.51 s UNSATISFIABLE
95.57/96.51 d ASSIGNMENTS 0
95.57/96.51 d CHECKS 254715