0.00/0.00 c cpHydra_k_40 version 0.0
56.39/56.97 c CASE TO CLASSIFY:
56.39/56.97 c Case: 0
56.39/56.97 c 19 > 99.884200 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.616000 | c 15 > 13.222900 | 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
56.39/56.98 c choco : 1801.0
56.39/56.98 c mistral : 1801.0
56.39/56.98 c abscon : 1801.0
56.39/56.98 c
56.39/56.98 c
56.49/57.06 c List of same ones: 40
56.49/57.06 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-10.xml
56.49/57.06 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
56.49/57.06 c choco : 1801.0
56.49/57.06 c mistral : 1800.05
56.49/57.06 c abscon : 12.839
56.49/57.06 c
56.49/57.06 c
56.49/57.06 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-4.xml
56.49/57.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
56.49/57.08 c choco : 1801.0
56.49/57.08 c mistral : 1800.06
56.49/57.08 c abscon : 10.8833
56.49/57.08 c
56.49/57.08 c
56.49/57.08 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-7.xml
56.49/57.08 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
56.49/57.08 c choco : 1801.0
56.49/57.08 c mistral : 1800.02
56.49/57.08 c abscon : 11.0383
56.49/57.08 c
56.49/57.08 c
56.49/57.08 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-8.xml
56.49/57.08 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
56.49/57.09 c choco : 1801.0
56.49/57.09 c mistral : 1800.03
56.49/57.09 c abscon : 11.1703
56.49/57.09 c
56.49/57.09 c
56.49/57.10 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-2.xml
56.49/57.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
56.57/57.11 c choco : 1801.0
56.57/57.11 c mistral : 1800.02
56.57/57.11 c abscon : 8.32673
56.57/57.11 c
56.57/57.11 c
56.57/57.11 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-5.xml
56.57/57.11 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
56.57/57.12 c choco : 1801.0
56.57/57.12 c mistral : 1800.07
56.57/57.12 c abscon : 10.7124
56.57/57.12 c
56.57/57.12 c
56.57/57.12 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-6.xml
56.57/57.12 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
56.57/57.13 c choco : 1801.0
56.57/57.13 c mistral : 1800.04
56.57/57.13 c abscon : 11.1603
56.57/57.13 c
56.57/57.13 c
56.57/57.13 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-3.xml
56.57/57.13 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
56.57/57.14 c choco : 1801.0
56.57/57.14 c mistral : 1800.03
56.57/57.14 c abscon : 8.19975
56.57/57.14 c
56.57/57.14 c
56.57/57.14 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-1.xml
56.57/57.14 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
56.57/57.15 c choco : 1801.0
56.57/57.15 c mistral : 176.95
56.57/57.15 c abscon : 7.68983
56.57/57.15 c
56.57/57.15 c
56.57/57.15 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-0.xml
56.57/57.15 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
56.57/57.16 c choco : 1801.0
56.57/57.16 c mistral : 421.415
56.57/57.16 c abscon : 7.29189
56.57/57.16 c
56.57/57.16 c
56.57/57.16 c /home/eomahony/cpZilla/CSP/fapp/fapp31-35/fapp34/fapp34-0750-9.xml
56.57/57.16 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
56.57/57.17 c choco : 1801.0
56.57/57.17 c mistral : 1800.09
56.57/57.17 c abscon : 12.1392
56.57/57.17 c
56.57/57.17 c
56.57/57.17 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
56.57/57.17 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
56.57/57.18 c choco : 1801.0
56.57/57.18 c mistral : 91.925
56.57/57.18 c abscon : 8.97863
56.57/57.18 c
56.57/57.18 c
56.57/57.18 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
56.57/57.18 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
56.57/57.19 c choco : 1801.0
56.57/57.19 c mistral : 1800.05
56.57/57.19 c abscon : 15.7666
56.57/57.19 c
56.57/57.19 c
56.57/57.19 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
56.57/57.19 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
56.57/57.20 c choco : 1801.0
56.57/57.20 c mistral : 93.1378
56.57/57.20 c abscon : 8.34573
56.57/57.20 c
56.57/57.20 c
56.57/57.20 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
56.57/57.20 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
56.65/57.21 c choco : 1801.0
56.65/57.21 c mistral : 574.22
56.65/57.21 c abscon : 8.86065
56.65/57.21 c
56.65/57.21 c
56.65/57.21 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
56.65/57.21 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
56.65/57.21 c choco : 1801.0
56.65/57.21 c mistral : 81.4106
56.65/57.21 c abscon : 8.81466
56.65/57.21 c
56.65/57.21 c
56.65/57.21 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
56.65/57.21 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
56.65/57.22 c choco : 1801.0
56.65/57.22 c mistral : 1800.03
56.65/57.22 c abscon : 16.9624
56.65/57.22 c
56.65/57.22 c
56.65/57.22 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
56.65/57.22 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
56.65/57.23 c choco : 1801.0
56.65/57.23 c mistral : 69.4484
56.65/57.23 c abscon : 8.71567
56.65/57.23 c
56.65/57.23 c
56.65/57.23 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
56.65/57.23 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
56.65/57.23 c choco : 1801.0
56.65/57.23 c mistral : 146.325
56.65/57.23 c abscon : 9.08962
56.65/57.23 c
56.65/57.23 c
56.65/57.23 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
56.65/57.23 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
56.65/57.24 c choco : 1801.0
56.65/57.24 c mistral : 182.049
56.65/57.24 c abscon : 8.90564
56.65/57.24 c
56.65/57.24 c
56.65/57.24 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
56.65/57.24 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
56.65/57.25 c choco : 1801.0
56.65/57.25 c mistral : 744.68
56.65/57.25 c abscon : 15.7856
56.65/57.25 c
56.65/57.25 c
56.65/57.25 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
56.65/57.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
56.65/57.26 c choco : 1801.0
56.65/57.26 c mistral : 1800.06
56.65/57.26 c abscon : 16.5685
56.65/57.26 c
56.65/57.26 c
56.65/57.26 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-7.xml
56.65/57.26 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
56.65/57.26 c choco : 289.36
56.65/57.26 c mistral : 69.4914
56.65/57.26 c abscon : 8.48671
56.65/57.26 c
56.65/57.26 c
56.65/57.26 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-1.xml
56.65/57.26 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
56.65/57.27 c choco : 165.46
56.65/57.27 c mistral : 105.964
56.65/57.27 c abscon : 5.62414
56.65/57.27 c
56.65/57.27 c
56.65/57.27 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-3.xml
56.65/57.27 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
56.65/57.27 c choco : 241.66
56.65/57.27 c mistral : 109.272
56.65/57.27 c abscon : 5.81612
56.65/57.27 c
56.65/57.27 c
56.65/57.27 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-6.xml
56.65/57.27 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
56.65/57.28 c choco : 222.88
56.65/57.28 c mistral : 87.2887
56.65/57.28 c abscon : 8.36073
56.65/57.28 c
56.65/57.28 c
56.65/57.28 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-8.xml
56.65/57.28 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
56.65/57.29 c choco : 258.16
56.65/57.29 c mistral : 67.8027
56.65/57.29 c abscon : 8.5677
56.65/57.29 c
56.65/57.29 c
56.65/57.29 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-10.xml
56.65/57.29 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
56.65/57.29 c choco : 162.09
56.65/57.29 c mistral : 106.35
56.65/57.29 c abscon : 8.83866
56.65/57.29 c
56.65/57.29 c
56.65/57.29 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-5.xml
56.65/57.29 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
56.71/57.30 c choco : 123.79
56.71/57.30 c mistral : 119.313
56.71/57.30 c abscon : 5.86111
56.71/57.30 c
56.71/57.30 c
56.71/57.30 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-9.xml
56.71/57.30 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
56.71/57.30 c choco : 1801.0
56.71/57.30 c mistral : 47.8137
56.71/57.30 c abscon : 8.48171
56.71/57.30 c
56.71/57.30 c
56.71/57.30 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-2.xml
56.71/57.30 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
56.71/57.31 c choco : 178.61
56.71/57.31 c mistral : 98.855
56.71/57.31 c abscon : 5.66214
56.71/57.31 c
56.71/57.31 c
56.71/57.31 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-0.xml
56.71/57.31 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
56.71/57.32 c choco : 159.33
56.71/57.32 c mistral : 105.658
56.71/57.32 c abscon : 5.68613
56.71/57.32 c
56.71/57.32 c
56.71/57.32 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp19/fapp19-0350-4.xml
56.71/57.32 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
56.71/57.32 c choco : 135.43
56.71/57.32 c mistral : 106.651
56.71/57.32 c abscon : 5.69113
56.71/57.32 c
56.71/57.32 c
56.71/57.32 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-10.xml
56.71/57.32 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
56.71/57.33 c choco : 1801.0
56.71/57.33 c mistral : 1800.11
56.71/57.33 c abscon : 63.4264
56.71/57.33 c
56.71/57.33 c
56.71/57.33 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
56.71/57.33 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
56.71/57.33 c choco : 1801.0
56.71/57.33 c mistral : 1800.07
56.71/57.33 c abscon : 60.5128
56.71/57.33 c
56.71/57.33 c
56.71/57.33 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
56.71/57.33 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
56.71/57.34 c choco : 1801.0
56.71/57.34 c mistral : 1800.05
56.71/57.34 c abscon : 61.2877
56.71/57.34 c
56.71/57.34 c
56.71/57.34 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-7.xml
56.71/57.34 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
56.71/57.35 c choco : 1801.0
56.71/57.35 c mistral : 1800.03
56.71/57.35 c abscon : 47.3168
56.71/57.35 c
56.71/57.35 c
56.71/57.35 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-3.xml
56.71/57.35 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
56.71/57.35 c choco : 1801.0
56.71/57.35 c mistral : 1800.03
56.71/57.35 c abscon : 40.7268
56.71/57.35 c
56.71/57.35 c
56.71/57.35 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-4.xml
56.71/57.35 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
56.71/57.36 c choco : 1801.0
56.71/57.36 c mistral : 1800.08
56.71/57.36 c abscon : 44.5392
56.71/57.36 c
56.71/57.36 c
56.71/57.36 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-5.xml
56.71/57.36 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
56.71/57.37 c choco : 1801.0
56.71/57.37 c mistral : 1800.04
56.71/57.37 c abscon : 45.897
56.71/57.37 c
56.71/57.37 c
56.71/57.37 c Length: 40
56.71/57.37 c 4.946779999999999 4.96551 4.96551 4.96551 4.97973 4.97973 4.97973 4.984499999999999 4.998899999999999 5.09878 5.262899999999999 11.024884467345496 11.033513886292797 11.055605273245604 11.055605273245604 11.060115470184567 11.064662114923166 11.064662114923166 11.064662114923166 11.064662114923166 11.064662114923166 11.064662114923166 11.66609618123029 11.700905045855041 11.700905045855041 11.737808480364466 11.737808480364466 11.752239864792411 11.76204384886045 11.772009226233047 11.777052087683742 11.792422752365859 11.899474832093052 12.723168909388926 12.769779625981844 12.769779625981844 12.786172156812258 12.791734385908777 12.814522108952835 12.826249714368616
56.71/57.38 c
56.71/57.38 c 1.0 0.9976285735132873 0.9976285735132873 0.9976285735132873 0.9958356607473483 0.9958356607473483 0.9958356607473483 0.9952356831955733 0.9934288078585832 0.9810744477155822 0.9614280349532658 0.5645300259046123 0.5641812148575193 0.5632902166665348 0.5632902166665348 0.5631086555158256 0.5629257455599221 0.5629257455599221 0.5629257455599221 0.5629257455599221 0.5629257455599221 0.5629257455599221 0.5397345896239247 0.5384507254352988 0.5384507254352988 0.5370962601118384 0.5370962601118384 0.5365684371786263 0.5362104512112812 0.5358470612827261 0.5356633597245903 0.535104212763681 0.5312420644799499 0.50329208405163 0.5017981276435822 0.5017981276435822 0.5012748237717465 0.5010975069178919 0.5003723708535632 0.5
56.71/57.39 c
56.71/57.39 c solver 0
56.71/57.39 c before 0.0 seconds: {} 0
56.71/57.39 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} 23008
56.71/57.39 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} 25011
56.71/57.39 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} 26518
56.71/57.39 c
56.71/57.39 c solver 1
56.71/57.39 c before 0.0 seconds: {} 0
56.71/57.39 c before 54.0 seconds: {29} 535
56.71/57.39 c before 72.0 seconds: {17, 22, 26, 29} 2175
56.71/57.39 c before 90.0 seconds: {15, 17, 22, 25, 26, 29} 3275
56.71/57.39 c before 108.0 seconds: {11, 13, 15, 17, 22, 23, 25, 26, 27, 29, 30, 31, 32} 7080
56.71/57.39 c before 126.0 seconds: {11, 13, 15, 17, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 8155
56.71/57.39 c before 162.0 seconds: {11, 13, 15, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 8718
56.71/57.39 c before 180.0 seconds: {8, 11, 13, 15, 17, 18, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 9711
56.71/57.39 c before 198.0 seconds: {8, 11, 13, 15, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 10274
56.71/57.39 c before 432.0 seconds: {8, 9, 11, 13, 15, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32} 11255
56.71/57.39 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} 11818
56.71/57.39 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} 12381
56.71/57.39 c
56.71/57.39 c solver 2
56.71/57.39 c before 0.0 seconds: {} 0
56.71/57.39 c before 126.0 seconds: {28} 536
56.71/57.39 c before 144.0 seconds: {28, 32} 1067
56.71/57.39 c before 162.0 seconds: {28, 31, 32} 1602
56.71/57.39 c before 180.0 seconds: {23, 27, 28, 30, 31, 32} 3213
56.71/57.39 c before 234.0 seconds: {23, 25, 27, 28, 30, 31, 32} 3750
56.71/57.39 c before 252.0 seconds: {23, 24, 25, 27, 28, 30, 31, 32} 4288
56.71/57.39 c before 270.0 seconds: {23, 24, 25, 26, 27, 28, 30, 31, 32} 4825
56.71/57.39 c before 306.0 seconds: {22, 23, 24, 25, 26, 27, 28, 30, 31, 32} 5365
56.71/57.39 c
56.71/57.39 cTotal time: 63
56.71/57.39 c 1134.0 seconds unused
56.71/57.39 c 0 c 19 c 30
56.71/57.39 c 0 c 0 c 11
56.71/57.39 c 0 c 0 c 0
56.71/57.39 c is solver0 dominated by:
56.71/57.39 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)
56.71/57.39 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)
56.71/57.39 c is dominated? false
56.71/57.39 c
56.71/57.39 c is solver1 dominated by:
56.71/57.39 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)
56.71/57.39 c is dominated? true
56.71/57.39 c
56.71/57.39 c is solver2 dominated by:
56.71/57.39 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)
56.71/57.39 c is dominated? true
56.71/57.39 c
56.71/57.39 c Number of non-dominated solvers: 1
56.71/57.39 c remove dominated solvers
56.71/57.39 c solver 0 is not dominated by another solver
56.71/57.39 c solver 2 is dominated by another solver
56.71/57.39 c solver 1 is dominated by another solver
56.71/57.39 c
56.71/57.39 c solver 0: 72.0
56.71/57.39 c
56.71/57.39 c+ 4/4 of 96
56.71/57.39 c
56.71/57.39 c solver 1: 0.0
56.71/57.39 c
56.71/57.39 c solver 2: 0.0
56.71/57.40 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} 26518
56.71/57.40 c do not run mistral
56.71/57.40 c do not run choco
56.77/57.40 c Starting solver: HOME/cpHydra_k_40/solver/abscon
56.77/57.40 c On Instance: HOME/instance-1085680-1215235029.xml
56.77/57.40 c Running for: 1800 seconds
85.22/85.99 s SAT
85.22/85.99 v -2518 -2558 -3092 -3312 -3352 -3132 -2554 -2478 2992 -2758 -2624 2586 -2590 -2758 -3036 -2616 -3044 2566 -3190 -2616 -2584 -2568 2570 -2518 -3044 -2564 3250 -3352 -2626 2616 -2828 2752 -2580 -2848 -3150 -2478 -3108 3302 -3096 3292 -2780 -2792 -2994 -3074 -2788 -2610 3290 -2736 -2580 -2788 -2518 -3190 -2892 -3150 -2604 3004 -2798 -2518 -2584 -2518 -2568 2576 2356 2784 -2828 -2478 -3150 -2828 -2558 3038 2916 -3260 -2608 -2518 -3312 -2594 -3190 -3004 -2624 -3150 -2758 -2814 -3124 -2436 -2828 2610 -3174 -3042 3186 -2852 -2828 -2478 2696 -2576 -2478 -2788 -3004 -3102 -3052 -2566 -3352 -2932 -3312 -3106 3002 -3044 -3004 -2982 -3150 -2758 -2562 -2558 -2356 2624 3056 -3004 -2828 -2518 3144 -2478 -2422 3032 -3256 -3296 -3038 3312 2992 -2610 -3044 -2602 -3102 -2558 -3312 -3150 -2606 3146 -2774 -3012 -2616 -3076 -2606 3144 -3004 3040 -2706 -2518 -2604 -2758 -2540 -3352 -2478 -3004 -3190 -2758 2976 -2828 -2578 -2586 -2478 -3020 -2618 3150 -3150 -3134 3164 -2568 -2598 -2828 -2478 -2620 -3190 -3150 -2518 -2618 -2540 2908 -3110 -2514 -2604 -2584 -2782 -2710 -2728 -3150 -2590 -3060 -2518 -2478 -2788 -3148 -2478 2576 2984 -2786 -2378 -3352 -2626 2980 -2992 3150 -3150 2626 -3142 -2558 -3044 -2356 -2518 -3274 2680 -2952 -3190 3352 -2612 -2518 -3314 -2608 -2518 -3190 -2798 -2558 2832 -2942 -2786 -2678 -2604 -2578 2630 -2396 -3150 -2478 -2558 -3190 -3066 -2854 2928 -2798 -2744 -2540 -2976 2822 -2828 -2828 2588 -2558 3290 3226 -3142 -2564 2618 3210 -3142 -2518 2480 -2478 -2478 -2616 -3102 -2396 -2736 -3004 -2936 -2828 -3190 -2624 -2584 -3256 -2566 -3312 -2652 -2788 -2602 -3352 -2788 2356 3058 -2518 -2356 3000 -3142 -2788 -2586 -2518 3024 -3146 -3044 -3352 -2518 2914 -3300 2854 -2768 -3190 -2736 -3332 -3036 -3002 -2396 -2518 3166 -3020 -3102 -2626 -2828 3214 2696 -2632 -3150 -3004 -3044 -3004 -3136 -2630 -3190 2554 2586 3190 -3190 -2582 -2982 -3270 -3004 2396 -3312 2592 -3190 -2356 -2876 -3096 -3286 2792 -2676 -3004 -2514 2592 3120 -2640 3250 3148 -3078 -2758 -2558 -2558 -3150 -3142 -3160 -2746 -2396 -2750 -2826 3312 -2930 -2758 -2478 -2566 -3150 -2404 -3150 3190 -2978 3142 -3230 2356 -3106 -2624 -2584 -2798 -2628 -3004 -3280 -2518 -2630 -2518 3352 -2616 2356 -2952 2950 -3190 -2586 -2626 -2632 -2594 -3216 3342 2822 -3190 2788 -2628 -2798 -2676 -2832 -3312 -2518 -2610 -2658 -2536 -3146 -3322 -3106 2588 -3038 2650 -2578 -2828 -2826 -3352 -2718 -2356 -2622 -2710 -2798 3040 -2382 -2788 -3042 -2518 -3282 -3150 -3326 -3044 -2508 -2576 2628 -2578 -3004 -2626 -3004 -2518 -2938 -3104 2564 2992 -2634 -2788 2950 -2558 -2558 -2558 2734 -3044 -2558 2788 2590 -3150 -2866 -2478 2414 -3004 -2624 2942 -2798 2954 -2788 -3150 2396 -3044 -2828 -3076 -2798 -2576 -3312 -3190 2588 -3312 2670 -3330 -3110 -2588 -2776 -2578 -2788 -2518 -3148 -2478 -2606 -2798 2600 -2952 -2996 2990 3190 -2518 -3352 -2396 2924 -2580 -3016 -2644 -2562 -2586 2788 2812 3026 -2586 -3056 -3150 -3150 -3004 -2894 -2630 -2490 2964 -2884 -2720 -2604 2828 -2758 -2518 -2758 -2518 3312 -3312 3282 2610 -3036 -2356 2948 -2518 -2758 3170 -2798 -2808 -3150 -2620 -3004 -2798 3110 -2954 -3044 -3108 -3290 2716 -2584 -2404 -3002 -2828 -2518 -3190 -2758 2634 -2790 2396 -2758 -2518 -3150 -3312 -3146 -2608 -2562 -3150 -2518 -3190 -2518 -2530 -3352 3002 -2788 2564 -2758 -2570 -2828 -3150 -2518 2520 -2396 -2626 -2618 -2798 2820 2478 -2558 3042 -2518 -3146 -2554 2518 -2558 -2514 -2576 -2580 -2618 -3080 -3044 -3110 -2606 -2518 -2576 -2990 -2558 -3240 -2444 3020 -2450 2396 -2518 -2620 -2514 -2518 -3142 -2566 -3150 -3312 -2634 -3096 3042 -2994 -2478 -2788 -2890 -3060 -2626 -2782 -2788 -2558 2478 -2924 -2748 -2518 2548 -2478 -2478 -2620 -3004 -2594 -2604 -3104 -2518 -2828 2582 -2798 -3202 -3102 2554 -2754 -2364 -2626 -3242 -2788 -2518 -2518 2974 2670 -3102 -3150 -2628 -2570 -2518 2576 -2758 -2828 -2478 -2580 -3044 -2602 3060 -2588 -3142 -2562 -2758 -2826 -3190 2964 -2580 -3150 -2626 -2590 3242 -3044 -2518 -3078 -3352 2866 -2788 2396 -2750 -2602 -3044 3188 2798 -2620 -2586 -3106 -3352 -2558 -3044 -2954 2822 -2374 2792 2732 -2788 -2772 -2606 -3190 -3044 -2616 -2794 -3174 -2500 2790 3034 2500 -2788 3014 -2490 -3142 3126 -3102 -3102 -2558 2624 -2478 -2622 -2576 -3018 -2478 -3186 -3078 -3190 -2618 2418 -3044 -2798 -2828 -2518 3020 -2564 -3352 -3312 2888 2356 -2716 -2586 -2616 -2782 2906 -2570 -2798 -3352 2396 -3190 -2518 -2478 -2584 -2468 -3102 -2586 -2518 -2478 -2478
85.22/85.99 d ASSIGNMENTS 750
85.22/85.99 d CHECKS 8889796