0.00/0.00 c cpHydra_k_40 version 0.0
68.09/68.52 c CASE TO CLASSIFY:
68.09/68.52 c Case: 0
68.09/68.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.209600 | c 15 > 12.596200 | 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
68.09/68.54 c choco : 1801.0
68.09/68.54 c mistral : 1801.0
68.09/68.54 c abscon : 1801.0
68.09/68.54 c
68.09/68.54 c
68.19/68.61 c List of same ones: 40
68.19/68.61 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-7.xml
68.19/68.61 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
68.19/68.61 c choco : 289.36
68.19/68.61 c mistral : 69.4914
68.19/68.61 c abscon : 8.48671
68.19/68.61 c
68.19/68.61 c
68.19/68.61 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-1.xml
68.19/68.61 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
68.19/68.62 c choco : 165.46
68.19/68.62 c mistral : 105.964
68.19/68.62 c abscon : 5.62414
68.19/68.62 c
68.19/68.62 c
68.19/68.62 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-3.xml
68.19/68.62 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
68.19/68.63 c choco : 241.66
68.19/68.63 c mistral : 109.272
68.19/68.63 c abscon : 5.81612
68.19/68.63 c
68.19/68.63 c
68.19/68.63 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-6.xml
68.19/68.63 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
68.19/68.64 c choco : 222.88
68.19/68.64 c mistral : 87.2887
68.19/68.64 c abscon : 8.36073
68.19/68.64 c
68.19/68.64 c
68.19/68.64 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-8.xml
68.19/68.64 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
68.19/68.65 c choco : 258.16
68.19/68.65 c mistral : 67.8027
68.19/68.65 c abscon : 8.5677
68.19/68.65 c
68.19/68.65 c
68.19/68.65 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
68.19/68.65 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
68.19/68.66 c choco : 162.09
68.19/68.66 c mistral : 106.35
68.19/68.66 c abscon : 8.83866
68.19/68.66 c
68.19/68.66 c
68.19/68.66 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-5.xml
68.19/68.66 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
68.19/68.67 c choco : 123.79
68.19/68.67 c mistral : 119.313
68.19/68.67 c abscon : 5.86111
68.19/68.67 c
68.19/68.67 c
68.19/68.67 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-9.xml
68.19/68.67 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
68.19/68.67 c choco : 1801.0
68.19/68.67 c mistral : 47.8137
68.19/68.67 c abscon : 8.48171
68.19/68.67 c
68.19/68.67 c
68.19/68.67 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-2.xml
68.19/68.67 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
68.19/68.68 c choco : 178.61
68.19/68.68 c mistral : 98.855
68.19/68.68 c abscon : 5.66214
68.19/68.68 c
68.19/68.68 c
68.19/68.68 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-0.xml
68.19/68.68 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
68.19/68.69 c choco : 159.33
68.19/68.69 c mistral : 105.658
68.19/68.69 c abscon : 5.68613
68.19/68.69 c
68.19/68.69 c
68.19/68.69 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-4.xml
68.19/68.69 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
68.37/68.88 c choco : 135.43
68.37/68.88 c mistral : 106.651
68.37/68.88 c abscon : 5.69113
68.37/68.88 c
68.37/68.88 c
68.37/68.88 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
68.37/68.88 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
68.37/68.89 c choco : 1801.0
68.37/68.89 c mistral : 91.925
68.37/68.89 c abscon : 8.97863
68.37/68.89 c
68.37/68.89 c
68.37/68.89 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
68.37/68.89 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
68.46/68.90 c choco : 1801.0
68.46/68.90 c mistral : 1800.05
68.46/68.90 c abscon : 15.7666
68.46/68.90 c
68.46/68.90 c
68.46/68.90 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
68.46/68.90 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
68.46/68.90 c choco : 1801.0
68.46/68.90 c mistral : 93.1378
68.46/68.90 c abscon : 8.34573
68.46/68.90 c
68.46/68.90 c
68.46/68.90 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
68.46/68.90 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
68.46/68.92 c choco : 1801.0
68.46/68.92 c mistral : 574.22
68.46/68.92 c abscon : 8.86065
68.46/68.92 c
68.46/68.92 c
68.46/68.92 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
68.46/68.92 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
68.46/68.92 c choco : 1801.0
68.46/68.92 c mistral : 81.4106
68.46/68.92 c abscon : 8.81466
68.46/68.92 c
68.46/68.92 c
68.46/68.92 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
68.46/68.92 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
68.46/68.93 c choco : 1801.0
68.46/68.93 c mistral : 1800.03
68.46/68.93 c abscon : 16.9624
68.46/68.93 c
68.46/68.93 c
68.46/68.93 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
68.46/68.93 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
68.46/68.93 c choco : 1801.0
68.46/68.93 c mistral : 69.4484
68.46/68.93 c abscon : 8.71567
68.46/68.93 c
68.46/68.93 c
68.46/68.94 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
68.46/68.94 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
68.46/68.94 c choco : 1801.0
68.46/68.94 c mistral : 146.325
68.46/68.94 c abscon : 9.08962
68.46/68.94 c
68.46/68.94 c
68.46/68.94 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
68.46/68.94 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
68.46/68.95 c choco : 1801.0
68.46/68.95 c mistral : 182.049
68.46/68.95 c abscon : 8.90564
68.46/68.95 c
68.46/68.95 c
68.46/68.95 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
68.46/68.95 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
68.46/68.96 c choco : 1801.0
68.46/68.96 c mistral : 744.68
68.46/68.96 c abscon : 15.7856
68.46/68.96 c
68.46/68.96 c
68.46/68.96 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
68.46/68.96 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
68.46/68.96 c choco : 1801.0
68.46/68.96 c mistral : 1800.06
68.46/68.96 c abscon : 16.5685
68.46/68.96 c
68.46/68.96 c
68.46/68.96 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-5.xml
68.46/68.96 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
68.46/68.97 c choco : 1801.0
68.46/68.97 c mistral : 1318.62
68.46/68.97 c abscon : 7.84581
68.46/68.97 c
68.46/68.97 c
68.46/68.97 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-6.xml
68.46/68.97 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
68.46/68.97 c choco : 1801.0
68.46/68.97 c mistral : 1800.1
68.46/68.97 c abscon : 13.6839
68.46/68.97 c
68.46/68.97 c
68.46/68.97 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-0.xml
68.46/68.97 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
68.46/68.98 c choco : 1801.0
68.46/68.98 c mistral : 908.571
68.46/68.98 c abscon : 7.52885
68.46/68.98 c
68.46/68.98 c
68.46/68.98 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-10.xml
68.46/68.98 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
68.46/68.98 c choco : 1801.0
68.46/68.98 c mistral : 1800.07
68.46/68.98 c abscon : 19.1911
68.46/68.98 c
68.46/68.98 c
68.46/68.98 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-3.xml
68.46/68.98 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
68.46/68.99 c choco : 1801.0
68.46/68.99 c mistral : 335.826
68.46/68.99 c abscon : 8.30974
68.46/68.99 c
68.46/68.99 c
68.46/68.99 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-4.xml
68.46/68.99 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
68.46/69.00 c choco : 1801.0
68.46/69.00 c mistral : 716.694
68.46/69.00 c abscon : 7.93079
68.46/69.00 c
68.46/69.00 c
68.46/69.00 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-7.xml
68.46/69.00 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
68.53/69.00 c choco : 1801.0
68.53/69.00 c mistral : 1800.02
68.53/69.00 c abscon : 14.6678
68.53/69.00 c
68.53/69.00 c
68.53/69.00 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-8.xml
68.53/69.00 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
68.53/69.01 c choco : 1801.0
68.53/69.01 c mistral : 1800.05
68.53/69.01 c abscon : 14.6898
68.53/69.01 c
68.53/69.01 c
68.53/69.01 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-9.xml
68.53/69.01 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
68.53/69.01 c choco : 1801.0
68.53/69.01 c mistral : 1800.04
68.53/69.01 c abscon : 18.4642
68.53/69.01 c
68.53/69.01 c
68.53/69.01 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
68.53/69.01 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
68.53/69.02 c choco : 1801.0
68.53/69.02 c mistral : 1800.11
68.53/69.02 c abscon : 71.1032
68.53/69.02 c
68.53/69.02 c
68.53/69.02 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
68.53/69.02 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
68.53/69.02 c choco : 1801.0
68.53/69.02 c mistral : 1800.09
68.53/69.02 c abscon : 10.1455
68.53/69.02 c
68.53/69.02 c
68.53/69.02 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
68.53/69.02 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
68.53/69.03 c choco : 1801.0
68.53/69.03 c mistral : 1800.04
68.53/69.03 c abscon : 10.1615
68.53/69.03 c
68.53/69.03 c
68.53/69.03 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
68.53/69.03 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
68.53/69.03 c choco : 1801.0
68.53/69.03 c mistral : 1800.03
68.53/69.03 c abscon : 65.728
68.53/69.03 c
68.53/69.03 c
68.53/69.03 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
68.53/69.03 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
68.53/69.04 c choco : 1801.0
68.53/69.04 c mistral : 1800.03
68.53/69.04 c abscon : 68.0856
68.53/69.04 c
68.53/69.04 c
68.53/69.04 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
68.53/69.04 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
68.53/69.05 c choco : 1801.0
68.53/69.05 c mistral : 1800.04
68.53/69.05 c abscon : 74.9176
68.53/69.05 c
68.53/69.05 c
68.53/69.05 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp32/fapp32-0550-1.xml
68.53/69.05 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
68.53/69.05 c choco : 1801.0
68.53/69.05 c mistral : 484.401
68.53/69.05 c abscon : 7.80381
68.53/69.05 c
68.53/69.05 c
68.53/69.05 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
68.53/69.05 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
68.53/69.06 c choco : 1801.0
68.53/69.06 c mistral : 1800.05
68.53/69.06 c abscon : 10.0415
68.53/69.06 c
68.53/69.06 c
68.53/69.06 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-0.xml
68.53/69.06 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
68.53/69.07 c choco : 1801.0
68.53/69.07 c mistral : 1800.05
68.53/69.07 c abscon : 9.72352
68.53/69.07 c
68.53/69.07 c
68.53/69.07 c Length: 40
68.53/69.07 c 5.1868099999999995 5.256349999999999 5.256349999999999 5.329409999999999 5.329409999999999 5.357799999999999 5.3770299999999995 5.396529999999999 5.4063799999999995 5.43633 5.6419999999999995 7.890563022541546 7.901307955484331 7.928803735886012 7.928803735886012 7.934415279918237 7.940071475106504 7.940071475106504 7.940071475106504 7.940071475106504 7.940071475106504 7.940071475106504 8.932975953006926 8.985105861201635 8.998617861010656 8.998617861010656 8.998617861010656 8.998617861010656 8.998617861010656 8.998617861010656 8.998617861010656 9.192679021090642 9.192679021090642 9.192679021090642 9.192679021090642 9.192679021090642 9.192679021090642 9.19498555431709 9.201314817475817 9.210039088646694
68.53/69.07 c
68.53/69.07 c 1.0 0.9830090585386546 0.9830090585386546 0.9657691189519433 0.9657691189519433 0.9592319818335547 0.9548540884206824 0.9504553455267167 0.9482487868474501 0.9416020002992895 0.8983592220848738 0.5980734038158515 0.597119631337867 0.5946927681461239 0.5946927681461239 0.5941998976264149 0.5937039313780739 0.5937039313780739 0.5937039313780739 0.5937039313780739 0.5937039313780739 0.5937039313780739 0.5178304188520705 0.5143791158941083 0.5134920376888129 0.5134920376888129 0.5134920376888129 0.5134920376888129 0.5134920376888129 0.5134920376888129 0.5134920376888129 0.5010810720780082 0.5010810720780082 0.5010810720780082 0.5010810720780082 0.5010810720780082 0.5010810720780082 0.5009371669713336 0.5005427071406428 0.5
68.53/69.08 c
68.53/69.08 c solver 0
68.53/69.08 c before 0.0 seconds: {} 0
68.53/69.08 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
68.53/69.08 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
68.53/69.08 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
68.53/69.08 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} 26225
68.53/69.08 c
68.53/69.08 c solver 1
68.53/69.08 c before 0.0 seconds: {} 0
68.53/69.08 c before 54.0 seconds: {7} 950
68.53/69.08 c before 72.0 seconds: {0, 4, 7, 17} 3509
68.53/69.08 c before 90.0 seconds: {0, 3, 4, 7, 15, 17} 5069
68.53/69.08 c before 108.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9, 10, 11, 13, 15, 17} 10993
68.53/69.08 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17} 12930
68.53/69.08 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18} 13524
68.53/69.08 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18, 19} 14118
68.53/69.08 c before 342.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18, 19, 26} 14631
68.53/69.08 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
68.53/69.09 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
68.53/69.09 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} 16240
68.53/69.09 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
68.53/69.09 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
68.53/69.09 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
68.53/69.09 c
68.53/69.09 c solver 2
68.53/69.09 c before 0.0 seconds: {} 0
68.53/69.09 c before 126.0 seconds: {6} 954
68.53/69.09 c before 144.0 seconds: {6, 10} 1853
68.53/69.09 c before 162.0 seconds: {6, 9, 10} 2794
68.53/69.09 c before 180.0 seconds: {1, 5, 6, 8, 9, 10} 5685
68.53/69.09 c before 234.0 seconds: {1, 3, 5, 6, 8, 9, 10} 6651
68.53/69.09 c before 252.0 seconds: {1, 2, 3, 5, 6, 8, 9, 10} 7634
68.53/69.09 c before 270.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9, 10} 8599
68.53/69.09 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9, 10} 9599
68.53/69.09 c
68.53/69.09 cTotal time: 96
68.53/69.09 c 1728.0 seconds unused
68.53/69.09 c 0 c 16 c 30
68.53/69.09 c 0 c 0 c 14
68.53/69.09 c 0 c 0 c 0
68.53/69.09 c is solver0 dominated by:
68.53/69.09 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)
68.53/69.09 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)
68.53/69.09 c is dominated? false
68.53/69.09 c
68.53/69.09 c is solver1 dominated by:
68.53/69.09 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)
68.53/69.09 c is dominated? true
68.53/69.09 c
68.53/69.09 c is solver2 dominated by:
68.53/69.09 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)
68.53/69.09 c is dominated? true
68.53/69.09 c
68.53/69.09 c Number of non-dominated solvers: 1
68.53/69.09 c remove dominated solvers
68.53/69.09 c solver 0 is not dominated by another solver
68.53/69.09 c solver 2 is dominated by another solver
68.53/69.09 c solver 1 is dominated by another solver
68.53/69.09 c
68.53/69.09 c solver 0: 90.0
68.53/69.09 c
68.53/69.09 c+ 5/5 of 95
68.53/69.09 c
68.53/69.09 c solver 1: 0.0
68.53/69.09 c
68.53/69.09 c solver 2: 0.0
68.53/69.09 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} 26225
68.53/69.09 c do not run mistral
68.53/69.09 c do not run choco
68.53/69.09 c Starting solver: HOME/cpHydra_k_40/solver/abscon
68.53/69.09 c On Instance: HOME/instance-1094860-1215280062.xml
68.53/69.09 c Running for: 1800 seconds
91.04/91.63 s UNSATISFIABLE
91.04/91.63 d ASSIGNMENTS 0
91.04/91.63 d CHECKS 249898