0.00/0.00 c cpHydra_k_40 version 0.0
57.42/57.95 c CASE TO CLASSIFY:
57.42/57.95 c Case: 0
57.42/57.95 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 13.231400 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.42/57.96 c choco : 1801.0
57.42/57.96 c mistral : 1801.0
57.42/57.96 c abscon : 1801.0
57.42/57.96 c
57.42/57.96 c
57.52/58.04 c List of same ones: 40
57.52/58.04 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-10.xml
57.52/58.04 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.276120 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.52/58.05 c choco : 1801.0
57.52/58.05 c mistral : 1800.05
57.52/58.05 c abscon : 12.839
57.52/58.05 c
57.52/58.05 c
57.52/58.05 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-4.xml
57.52/58.05 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.257390 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.52/58.06 c choco : 1801.0
57.52/58.06 c mistral : 1800.06
57.52/58.06 c abscon : 10.8833
57.52/58.06 c
57.52/58.06 c
57.52/58.06 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-7.xml
57.52/58.06 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.257390 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.52/58.06 c choco : 1801.0
57.52/58.06 c mistral : 1800.02
57.52/58.06 c abscon : 11.0383
57.52/58.06 c
57.52/58.06 c
57.52/58.06 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-8.xml
57.52/58.06 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.257390 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.52/58.07 c choco : 1801.0
57.52/58.07 c mistral : 1800.03
57.52/58.07 c abscon : 11.1703
57.52/58.07 c
57.52/58.07 c
57.52/58.07 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-2.xml
57.52/58.07 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.243170 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.52/58.09 c choco : 1801.0
57.52/58.09 c mistral : 1800.02
57.52/58.09 c abscon : 8.32673
57.52/58.09 c
57.52/58.09 c
57.52/58.09 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-5.xml
57.52/58.09 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.243170 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.52/58.10 c choco : 1801.0
57.52/58.10 c mistral : 1800.07
57.52/58.10 c abscon : 10.7124
57.52/58.10 c
57.52/58.10 c
57.52/58.10 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-6.xml
57.52/58.10 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.243170 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.60/58.10 c choco : 1801.0
57.60/58.10 c mistral : 1800.04
57.60/58.10 c abscon : 11.1603
57.60/58.10 c
57.60/58.10 c
57.60/58.10 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-3.xml
57.60/58.10 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.238400 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.60/58.11 c choco : 1801.0
57.60/58.11 c mistral : 1800.03
57.60/58.11 c abscon : 8.19975
57.60/58.11 c
57.60/58.11 c
57.60/58.11 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-1.xml
57.60/58.11 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.224000 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.60/58.12 c choco : 1801.0
57.60/58.12 c mistral : 176.95
57.60/58.12 c abscon : 7.68983
57.60/58.12 c
57.60/58.12 c
57.60/58.12 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-0.xml
57.60/58.12 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 8.124120 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.60/58.13 c choco : 1801.0
57.60/58.13 c mistral : 421.415
57.60/58.13 c abscon : 7.29189
57.60/58.13 c
57.60/58.13 c
57.60/58.13 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-9.xml
57.60/58.13 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 7.960000 | c 34 > 68.173400 | c 16 > 2.000000 | c 13 > 2.612610 | c 14 > -1.000000 | c 11 > 9.550750 | c 12 > 4.525900 | c 21 > 20.971100 | c 20 > 0.115754 | c 22 > 31.591100 | c 23 > 7.420790 | c 24 > 1.410440 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 4.247930 | c 2 > -1.000000 | c 10 > 13.081600 | 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.499900 | c 31 > -1.000000 | c 4 > 9.513730 | c 9 > -1.000000 | c 8 > 4.954200 | c
57.60/58.14 c choco : 1801.0
57.60/58.14 c mistral : 1800.09
57.60/58.14 c abscon : 12.1392
57.60/58.14 c
57.60/58.14 c
57.60/58.14 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
57.60/58.14 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
57.60/58.15 c choco : 1801.0
57.60/58.15 c mistral : 91.925
57.60/58.15 c abscon : 8.97863
57.60/58.15 c
57.60/58.15 c
57.60/58.15 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
57.60/58.15 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
57.60/58.17 c choco : 1801.0
57.60/58.17 c mistral : 1800.05
57.60/58.17 c abscon : 15.7666
57.60/58.17 c
57.60/58.17 c
57.60/58.17 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
57.60/58.17 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
57.60/58.17 c choco : 1801.0
57.60/58.17 c mistral : 93.1378
57.60/58.17 c abscon : 8.34573
57.60/58.17 c
57.60/58.17 c
57.60/58.17 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
57.60/58.18 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
57.60/58.18 c choco : 1801.0
57.60/58.18 c mistral : 574.22
57.60/58.18 c abscon : 8.86065
57.60/58.18 c
57.60/58.18 c
57.60/58.18 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
57.60/58.18 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
57.77/58.38 c choco : 1801.0
57.77/58.38 c mistral : 81.4106
57.77/58.38 c abscon : 8.81466
57.77/58.38 c
57.77/58.38 c
57.77/58.38 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
57.77/58.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
57.77/58.39 c choco : 1801.0
57.77/58.39 c mistral : 1800.03
57.77/58.39 c abscon : 16.9624
57.77/58.39 c
57.77/58.39 c
57.77/58.39 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
57.77/58.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
57.77/58.39 c choco : 1801.0
57.77/58.39 c mistral : 69.4484
57.77/58.39 c abscon : 8.71567
57.77/58.39 c
57.77/58.39 c
57.77/58.39 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
57.77/58.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
57.85/58.40 c choco : 1801.0
57.85/58.40 c mistral : 146.325
57.85/58.40 c abscon : 9.08962
57.85/58.40 c
57.85/58.40 c
57.85/58.40 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
57.85/58.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
57.85/58.41 c choco : 1801.0
57.85/58.41 c mistral : 182.049
57.85/58.41 c abscon : 8.90564
57.85/58.41 c
57.85/58.41 c
57.85/58.41 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
57.85/58.41 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
57.85/58.42 c choco : 1801.0
57.85/58.42 c mistral : 744.68
57.85/58.42 c abscon : 15.7856
57.85/58.42 c
57.85/58.42 c
57.85/58.42 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
57.85/58.42 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
57.85/58.42 c choco : 1801.0
57.85/58.42 c mistral : 1800.06
57.85/58.42 c abscon : 16.5685
57.85/58.42 c
57.85/58.42 c
57.85/58.42 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-7.xml
57.85/58.42 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
57.85/58.43 c choco : 289.36
57.85/58.43 c mistral : 69.4914
57.85/58.43 c abscon : 8.48671
57.85/58.43 c
57.85/58.43 c
57.85/58.43 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-1.xml
57.85/58.43 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
57.85/58.43 c choco : 165.46
57.85/58.44 c mistral : 105.964
57.85/58.44 c abscon : 5.62414
57.85/58.44 c
57.85/58.44 c
57.85/58.44 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-3.xml
57.85/58.44 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
57.85/58.44 c choco : 241.66
57.85/58.44 c mistral : 109.272
57.85/58.44 c abscon : 5.81612
57.85/58.44 c
57.85/58.44 c
57.85/58.44 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-6.xml
57.85/58.44 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
57.85/58.45 c choco : 222.88
57.85/58.45 c mistral : 87.2887
57.85/58.45 c abscon : 8.36073
57.85/58.45 c
57.85/58.45 c
57.85/58.45 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-8.xml
57.85/58.45 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
57.85/58.45 c choco : 258.16
57.85/58.45 c mistral : 67.8027
57.85/58.45 c abscon : 8.5677
57.85/58.45 c
57.85/58.45 c
57.85/58.45 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
57.85/58.45 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
57.85/58.46 c choco : 162.09
57.85/58.46 c mistral : 106.35
57.85/58.46 c abscon : 8.83866
57.85/58.46 c
57.85/58.46 c
57.85/58.46 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-5.xml
57.85/58.46 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
57.85/58.46 c choco : 123.79
57.85/58.46 c mistral : 119.313
57.85/58.46 c abscon : 5.86111
57.85/58.46 c
57.85/58.46 c
57.85/58.46 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-9.xml
57.85/58.46 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
57.85/58.47 c choco : 1801.0
57.85/58.47 c mistral : 47.8137
57.85/58.47 c abscon : 8.48171
57.85/58.47 c
57.85/58.47 c
57.85/58.47 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-2.xml
57.85/58.47 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
57.85/58.48 c choco : 178.61
57.85/58.48 c mistral : 98.855
57.85/58.48 c abscon : 5.66214
57.85/58.48 c
57.85/58.48 c
57.85/58.48 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-0.xml
57.85/58.48 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
57.85/58.48 c choco : 159.33
57.85/58.48 c mistral : 105.658
57.85/58.48 c abscon : 5.68613
57.85/58.48 c
57.85/58.48 c
57.85/58.48 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-4.xml
57.85/58.48 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
57.85/58.49 c choco : 135.43
57.85/58.49 c mistral : 106.651
57.85/58.49 c abscon : 5.69113
57.85/58.49 c
57.85/58.49 c
57.85/58.49 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-10.xml
57.85/58.49 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 7.118940 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
57.85/58.49 c choco : 1801.0
57.85/58.49 c mistral : 1800.11
57.85/58.49 c abscon : 63.4264
57.85/58.49 c
57.85/58.49 c
57.85/58.49 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
57.85/58.49 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 7.022370 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
57.91/58.50 c choco : 1801.0
57.91/58.50 c mistral : 1800.07
57.91/58.50 c abscon : 60.5128
57.91/58.50 c
57.91/58.50 c
57.91/58.50 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
57.91/58.50 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 7.022370 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
57.91/58.51 c choco : 1801.0
57.91/58.51 c mistral : 1800.05
57.91/58.51 c abscon : 61.2877
57.91/58.51 c
57.91/58.51 c
57.91/58.51 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-7.xml
57.91/58.51 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 6.988680 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
57.91/58.51 c choco : 1801.0
57.91/58.51 c mistral : 1800.03
57.91/58.51 c abscon : 47.3168
57.91/58.51 c
57.91/58.51 c
57.91/58.51 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-3.xml
57.91/58.51 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 6.977280 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
57.91/58.52 c choco : 1801.0
57.91/58.52 c mistral : 1800.03
57.91/58.52 c abscon : 40.7268
57.91/58.52 c
57.91/58.52 c
57.91/58.52 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-4.xml
57.91/58.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 6.930740 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
57.91/58.53 c choco : 1801.0
57.91/58.53 c mistral : 1800.08
57.91/58.53 c abscon : 44.5392
57.91/58.53 c
57.91/58.53 c
57.91/58.53 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-5.xml
57.91/58.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 6.906890 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
57.91/58.53 c choco : 1801.0
57.91/58.53 c mistral : 1800.04
57.91/58.54 c abscon : 45.897
57.91/58.54 c
57.91/58.54 c
57.91/58.54 c Length: 40
57.91/58.54 c 4.95528 4.974010000000002 4.974010000000002 4.974010000000002 4.9882300000000015 4.9882300000000015 4.9882300000000015 4.993 5.0074000000000005 5.107280000000001 5.271400000000001 11.029330385763044 11.037969027362596 11.060083839999406 11.060083839999406 11.064598787295271 11.069150209813579 11.069150209813579 11.069150209813579 11.069150209813579 11.069150209813579 11.069150209813579 11.670334272406938 11.705181032009543 11.705181032009543 11.742123915276826 11.742123915276826 11.756570528415843 11.76638479578651 11.776360574579737 11.781408680035506 11.796795248308584 11.903954865069675 12.727248982668684 12.773909071076913 12.773909071076913 12.79031869867366 12.79588669806204 12.818697899975685 12.830437488852088
57.91/58.54 c
57.91/58.54 c 1.0 0.9976272780646478 0.9976272780646478 0.9976272780646478 0.9958333899676439 0.9958333899676439 0.9958333899676439 0.9952330868191576 0.993425233306984 0.9810642808228074 0.961407729083745 0.5645594760390198 0.5642100649053275 0.5633175445628404 0.5633175445628404 0.5631356751117209 0.5629524552019618 0.5629524552019618 0.5629524552019618 0.5629524552019618 0.5629524552019618 0.5629524552019618 0.5397562158599212 0.5384701522813549 0.5384701522813549 0.5371134043565425 0.5371134043565425 0.5365847022103973 0.5362261231769824 0.5358621338917738 0.5356781303610241 0.5351180684317822 0.5312497673227297 0.5032973628215768 0.5018009808391146 0.5018009808391146 0.5012768392482038 0.5010992399217474 0.500372955892969 0.5
57.91/58.55 c
57.91/58.55 c solver 0
57.91/58.55 c before 0.0 seconds: {} 0
57.91/58.55 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, 25, 26, 27, 28, 29, 30, 31, 32} 23009
57.91/58.55 c before 54.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, 36, 37, 38, 39} 25012
57.91/58.55 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, 36, 37, 38, 39} 26519
57.91/58.55 c
57.91/58.55 c solver 1
57.91/58.55 c before 0.0 seconds: {} 0
57.91/58.55 c before 54.0 seconds: {29} 535
57.91/58.55 c before 72.0 seconds: {17, 22, 26, 29} 2175
57.91/58.55 c before 90.0 seconds: {15, 17, 22, 25, 26, 29} 3275
57.91/58.55 c before 108.0 seconds: {11, 13, 15, 17, 22, 23, 25, 26, 27, 29, 30, 31, 32} 7080
57.91/58.55 c before 126.0 seconds: {11, 13, 15, 17, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 8155
57.91/58.55 c before 162.0 seconds: {11, 13, 15, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 8718
57.91/58.55 c before 180.0 seconds: {8, 11, 13, 15, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 9711
57.91/58.55 c before 198.0 seconds: {8, 11, 13, 15, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 10274
57.91/58.55 c before 432.0 seconds: {8, 9, 11, 13, 15, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 11256
57.91/58.55 c before 576.0 seconds: {8, 9, 11, 13, 14, 15, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 11819
57.91/58.55 c before 756.0 seconds: {8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 12382
57.91/58.55 c
57.91/58.55 c solver 2
57.91/58.55 c before 0.0 seconds: {} 0
57.91/58.56 c before 126.0 seconds: {28} 536
57.91/58.56 c before 144.0 seconds: {28, 32} 1067
57.91/58.56 c before 162.0 seconds: {28, 31, 32} 1602
57.91/58.56 c before 180.0 seconds: {23, 27, 28, 30, 31, 32} 3213
57.91/58.56 c before 234.0 seconds: {23, 25, 27, 28, 30, 31, 32} 3750
57.91/58.56 c before 252.0 seconds: {23, 24, 25, 27, 28, 30, 31, 32} 4288
57.91/58.56 c before 270.0 seconds: {23, 24, 25, 26, 27, 28, 30, 31, 32} 4826
57.91/58.56 c before 306.0 seconds: {22, 23, 24, 25, 26, 27, 28, 30, 31, 32} 5365
57.91/58.56 c
57.91/58.56 cTotal time: 63
57.91/58.56 c 1134.0 seconds unused
57.91/58.56 c 0 c 19 c 30
57.91/58.56 c 0 c 0 c 11
57.91/58.56 c 0 c 0 c 0
57.91/58.56 c is solver0 dominated by:
57.91/58.56 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)
57.91/58.56 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)
57.91/58.56 c is dominated? false
57.91/58.56 c
57.91/58.56 c is solver1 dominated by:
57.91/58.56 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)
57.91/58.56 c is dominated? true
57.91/58.56 c
57.91/58.56 c is solver2 dominated by:
57.91/58.56 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)
57.91/58.56 c is dominated? true
57.91/58.56 c
57.91/58.56 c Number of non-dominated solvers: 1
57.91/58.56 c remove dominated solvers
57.91/58.56 c solver 0 is not dominated by another solver
57.91/58.56 c solver 2 is dominated by another solver
57.91/58.56 c solver 1 is dominated by another solver
57.91/58.56 c
57.91/58.56 c solver 0: 72.0
57.91/58.56 c
57.91/58.56 c+ 4/4 of 96
57.91/58.56 c
57.91/58.56 c solver 1: 0.0
57.91/58.56 c
57.91/58.56 c solver 2: 0.0
57.91/58.56 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} 26519
57.91/58.56 c do not run mistral
57.91/58.56 c do not run choco
57.91/58.56 c Starting solver: HOME/cpHydra_k_40/solver/abscon
57.91/58.56 c On Instance: HOME/instance-1085722-1215235259.xml
57.91/58.56 c Running for: 1800 seconds
85.79/87.01 s SAT
85.79/87.01 v -2512 -2558 -3090 -3312 -3352 -3130 2554 -2478 2992 -2758 -2624 -2576 2588 -2758 -3036 -2616 -3044 2562 -3142 -2620 -2584 -2564 2564 -2518 -3044 -2562 3272 -3352 2616 2616 -2828 2756 -2578 -2854 3150 -2482 -3102 3302 -3096 -3352 -2788 -2796 -2996 -3076 -2788 -2604 3352 -2732 2582 -2788 -2518 -3190 -2890 -3150 -2604 3012 -2798 -2506 -2584 -2518 -2568 2576 2796 2784 -2828 -2478 -3150 -2828 -2558 -3038 2916 -3254 -2604 -2518 -3312 -2590 -3190 -3004 -2624 -3150 -2758 2814 3102 -2438 -2828 2612 -3218 -3044 3188 -2854 -2828 -2478 2686 -2574 -2478 -2788 -3004 -3102 -3056 -2562 -3352 -2930 -3312 -3104 -3002 -3044 -3004 -2982 -3150 2758 -2568 -2558 -2356 -2628 -3052 -3004 -2828 -2518 3144 -2478 -2408 3038 3152 3192 -3038 3312 -2992 2608 -3044 -2602 -3102 2558 -3312 -3150 -2602 -3150 2772 -3016 -2618 -3076 -2604 3144 -3004 3032 -2704 -2518 2604 -2758 -2540 3126 -2478 2998 -3190 -2758 2976 -2828 -2578 2584 -2478 -3008 -2620 -3150 -3150 -3148 3142 -2564 -2596 -2828 -2478 -2618 3190 -3150 -2518 -2618 -2542 2906 -3110 -2518 2598 2640 -2784 -2734 2726 3150 -2570 -3058 -2518 -2478 2788 -3142 -2478 -2578 2980 -2786 -2374 -3334 2628 2968 2992 -3150 -3150 -2628 -3142 -2558 -3044 -2362 -2518 -3352 -2680 -2952 -3190 -3352 -2614 -2522 -3312 -2608 -2518 -3190 -2798 -2558 -2828 -2942 -2788 2678 2602 -2578 2628 2404 -3150 -2478 -2558 -3190 -3062 -2854 2938 -2794 -2744 -2494 -2978 2818 -2828 -2828 -2584 -2556 3258 3228 -3142 2564 2620 3210 -3142 -2518 2480 -2478 -2478 -2616 -3102 -2402 2734 -3004 2938 -2828 -3190 -2624 -2590 -3256 -2564 3294 -2654 -2788 -2602 -3352 -2788 2396 3056 -2518 -2374 -3004 -3142 -2788 -2588 -2518 3020 -3144 -3044 -3352 -2518 2920 3214 -2858 -2766 -3190 2726 -3312 -3036 -3004 -2398 -2518 -3170 -3018 -3102 2620 2828 3258 2692 -2628 -3150 -3004 -3044 -3004 3136 -2628 -3190 -2558 -2584 -3190 -3190 -2582 2982 -3268 -3004 2356 -3312 2588 -3190 -2356 2876 3016 -3340 2788 -2678 -3004 -2516 -2586 3084 -2632 3218 3148 -3078 -2758 -2558 -2558 -3150 3148 3124 -2744 2756 -2758 -2826 3312 -2926 -2758 -2478 -2566 -3142 -2398 -3150 -3190 -2978 -3144 -3228 2356 -3106 -2624 -2584 -2798 -2620 -3004 -3280 -2518 -2626 -2518 3352 -2614 2364 -2952 2950 -3190 -2586 -2624 -2626 -2582 -3216 3342 2824 -3190 -2788 -2620 -2798 2676 -2832 -3312 -2518 -2610 -2580 2356 -3142 -3352 -3102 -2588 -3038 -2652 -2580 -2828 2818 -3352 -2718 -2356 -2620 -2710 -2798 -3044 -2368 2788 -3028 -2518 -3192 -3150 3300 -3044 -2500 -2576 -2628 -2562 -3004 -2626 -3004 -2516 2938 -3104 -2562 -2998 -2622 -2788 2960 -2558 -2546 -2558 2732 -3044 2544 -2788 -2588 -3150 -2866 -2478 2420 -3004 -2630 2942 -2798 -2960 -2788 3150 2396 -3044 2824 -3076 -2794 2580 -3312 -3190 2596 -3312 -2694 -3312 -3104 -2580 -2774 -2576 -2784 -2518 -3142 -2478 -2602 -2798 -2592 -2952 -2996 3000 -3190 -2518 -3352 -2396 2916 -2580 3016 -2638 -2562 2578 -2798 2814 3022 -2588 -3056 -3150 3142 -3004 -2898 -2610 -2494 2966 2876 -2720 -2602 -2828 -2758 -2518 2758 -2518 3312 -3312 -3312 -2604 -3036 2356 2946 -2518 -2754 3170 -2798 2814 -3102 -2618 -3004 -2798 -3102 2954 -3044 3102 -3312 2716 -2584 -2408 2988 -2828 -2518 -3190 -2758 -2630 -2788 2396 -2758 -2518 -3150 -3312 3146 -2604 -2562 3150 -2518 -3190 -2518 -2458 3352 -3004 -2788 2564 -2758 -2570 -2828 -3150 -2504 2520 -2396 -2622 2602 -2798 -2828 -2478 -2558 -3044 -2518 -3142 -2556 -2518 2558 2514 -2396 -2580 2618 3072 -3044 -3110 2606 -2518 -2576 -2990 -2558 -3240 -2438 3020 -2454 2396 -2518 -2620 2516 -2518 -3142 -2566 -3150 -3166 -2626 3092 3042 -2994 -2478 -2788 -2886 -3060 -2626 2778 -2788 2556 -2478 2926 -2758 -2518 -2556 -2478 -2478 -2620 -3004 -2586 -2604 -3104 -2518 -2828 -2580 -2798 -3202 -3102 2556 -2758 2368 -2618 -3242 -2786 -2518 -2518 2976 -2670 -3104 -3150 -2624 2568 -2518 -2582 -2758 -2828 -2478 -2578 -3044 -2608 3234 2580 -3142 -2562 -2754 -2828 -3190 2972 -2580 -3144 -2624 -2586 -3152 -3044 -2518 -3078 -3352 2858 -2788 2396 -2828 -2602 -3044 3188 -2798 -2622 -2580 -3102 -3352 2552 -3038 -2956 -2828 2380 2792 2728 -2788 -2768 2606 3182 -3044 -2616 -2798 3188 -2454 -2798 3036 2502 -2788 3016 -2498 -3142 3130 -3108 -3102 -2558 -2600 -2478 -2622 -2576 3016 -2478 -3190 -3078 3190 -2616 2414 -3044 -2798 -2826 -2518 3274 -2564 -3352 -3312 2898 2356 -2718 -2586 -2622 -2788 2906 -2564 -2798 -3352 -2414 -3190 -2518 -2478 -2588 -2460 -3102 -2582 -2518 -2478 -2478
85.79/87.01 d ASSIGNMENTS 750
85.79/87.01 d CHECKS 6436053