0.00/0.00 c cpHydra_k_40 version 0.0
26.47/27.14 c CASE TO CLASSIFY:
26.47/27.14 c Case: 0
26.47/27.14 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.416700 | c 15 > 13.617900 | c 34 > 66.618600 | c 16 > 2.000000 | c 13 > 1.908790 | c 14 > -1.000000 | c 11 > 11.316300 | c 12 > 3.093900 | c 21 > 15.187600 | c 20 > 0.000000 | c 22 > 15.556300 | c 23 > 5.322870 | c 24 > 0.839832 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.410200 | 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.165900 | c 31 > -1.000000 | c 4 > 11.316300 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.47/27.15 c choco : 1801.0
26.47/27.15 c mistral : 1801.0
26.47/27.15 c abscon : 1801.0
26.47/27.15 c
26.47/27.15 c
26.57/27.22 c List of same ones: 40
26.57/27.22 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
26.57/27.22 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 12.227300 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.57/27.23 c choco : 1801.0
26.57/27.23 c mistral : 1800.05
26.57/27.23 c abscon : 64.5562
26.57/27.23 c
26.57/27.23 c
26.57/27.23 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
26.57/27.23 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 12.083100 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.57/27.24 c choco : 1801.0
26.57/27.24 c mistral : 1800.09
26.57/27.24 c abscon : 128.934
26.57/27.24 c
26.57/27.24 c
26.57/27.24 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
26.57/27.24 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.964300 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.57/27.25 c choco : 1801.0
26.57/27.25 c mistral : 1800.07
26.57/27.25 c abscon : 77.7912
26.57/27.25 c
26.57/27.25 c
26.57/27.25 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
26.57/27.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.758600 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.57/27.26 c choco : 1801.0
26.57/27.26 c mistral : 1800.08
26.57/27.26 c abscon : 213.954
26.57/27.26 c
26.57/27.26 c
26.57/27.26 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
26.57/27.26 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.756600 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.57/27.27 c choco : 1801.0
26.57/27.27 c mistral : 1800.03
26.57/27.27 c abscon : 378.267
26.57/27.27 c
26.57/27.27 c
26.57/27.27 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-3.xml
26.57/27.27 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.602700 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.57/27.28 c choco : 1801.0
26.57/27.28 c mistral : 811.31
26.57/27.28 c abscon : 9.81851
26.57/27.28 c
26.57/27.28 c
26.57/27.28 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-2.xml
26.57/27.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.592900 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.57/27.29 c choco : 1801.0
26.57/27.29 c mistral : 310.611
26.57/27.29 c abscon : 9.8545
26.57/27.29 c
26.57/27.29 c
26.57/27.29 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-4.xml
26.57/27.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.513200 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.30 c choco : 1801.0
26.64/27.30 c mistral : 1078.26
26.64/27.30 c abscon : 12.6221
26.64/27.30 c
26.64/27.30 c
26.64/27.30 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
26.64/27.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.491900 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.31 c choco : 1801.0
26.64/27.31 c mistral : 126.293
26.64/27.31 c abscon : 10.1565
26.64/27.31 c
26.64/27.31 c
26.64/27.31 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-0.xml
26.64/27.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.153600 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.32 c choco : 1801.0
26.64/27.32 c mistral : 44.86
26.64/27.32 c abscon : 9.39257
26.64/27.32 c
26.64/27.32 c
26.64/27.32 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
26.64/27.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 12.460500 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.33 c choco : 1801.0
26.64/27.33 c mistral : 1800.11
26.64/27.33 c abscon : 39.9029
26.64/27.33 c
26.64/27.33 c
26.64/27.33 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-9.xml
26.64/27.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 12.322500 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.34 c choco : 1801.0
26.64/27.34 c mistral : 1800.06
26.64/27.34 c abscon : 41.6947
26.64/27.34 c
26.64/27.34 c
26.64/27.34 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-8.xml
26.64/27.34 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 12.175200 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.35 c choco : 1801.0
26.64/27.35 c mistral : 1800.08
26.64/27.35 c abscon : 49.3535
26.64/27.35 c
26.64/27.35 c
26.64/27.35 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-7.xml
26.64/27.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 12.045400 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.36 c choco : 1801.0
26.64/27.36 c mistral : 1800.04
26.64/27.36 c abscon : 176.285
26.64/27.36 c
26.64/27.36 c
26.64/27.36 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-2.xml
26.64/27.36 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 11.748600 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.37 c choco : 1801.0
26.64/27.37 c mistral : 22.6026
26.64/27.37 c abscon : 8.82166
26.64/27.37 c
26.64/27.37 c
26.64/27.37 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-1.xml
26.64/27.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 11.706100 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.38 c choco : 1801.0
26.64/27.38 c mistral : 22.5536
26.64/27.38 c abscon : 9.1856
26.64/27.38 c
26.64/27.38 c
26.64/27.38 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-0.xml
26.64/27.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.854000 | c 15 > 11.346000 | c 34 > 68.271900 | c 16 > 2.000000 | c 13 > 2.596710 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.681000 | c 21 > 12.658900 | c 20 > 0.000000 | c 22 > 13.784000 | c 23 > 3.099670 | c 24 > 0.791706 | 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.646800 | 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.289900 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.38 c choco : 1801.0
26.64/27.38 c mistral : 31.97
26.64/27.38 c abscon : 8.58269
26.64/27.38 c
26.64/27.38 c
26.64/27.38 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
26.64/27.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.879600 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | 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.633100 | 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.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.39 c choco : 1801.0
26.64/27.39 c mistral : 1800.05
26.64/27.39 c abscon : 156.38
26.64/27.39 c
26.64/27.39 c
26.64/27.39 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
26.64/27.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.592460 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.64/27.40 c choco : 1801.0
26.64/27.40 c mistral : 155.051
26.64/27.40 c abscon : 7.09492
26.64/27.40 c
26.64/27.40 c
26.64/27.40 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
26.64/27.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.575540 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.41 c choco : 1801.0
26.71/27.41 c mistral : 71.9411
26.71/27.41 c abscon : 6.95394
26.71/27.41 c
26.71/27.41 c
26.71/27.41 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
26.71/27.41 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.689100 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | 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.633100 | 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.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.41 c choco : 1801.0
26.71/27.41 c mistral : 1800.06
26.71/27.41 c abscon : 441.864
26.71/27.41 c
26.71/27.41 c
26.71/27.41 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
26.71/27.41 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.543030 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.42 c choco : 1801.0
26.71/27.42 c mistral : 1800.03
26.71/27.42 c abscon : 11.3953
26.71/27.42 c
26.71/27.42 c
26.71/27.42 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
26.71/27.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.533330 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.43 c choco : 1801.0
26.71/27.43 c mistral : 152.693
26.71/27.43 c abscon : 6.91295
26.71/27.43 c
26.71/27.43 c
26.71/27.43 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
26.71/27.43 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.525520 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.43 c choco : 1801.0
26.71/27.43 c mistral : 145.44
26.71/27.43 c abscon : 7.14491
26.71/27.43 c
26.71/27.43 c
26.71/27.43 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
26.71/27.43 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.511750 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.44 c choco : 1801.0
26.71/27.44 c mistral : 73.3329
26.71/27.44 c abscon : 6.84696
26.71/27.44 c
26.71/27.44 c
26.71/27.44 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
26.71/27.44 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.485830 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.44 c choco : 1801.0
26.71/27.44 c mistral : 1800.04
26.71/27.44 c abscon : 11.0943
26.71/27.44 c
26.71/27.44 c
26.71/27.44 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
26.71/27.44 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.563200 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | 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.633100 | 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.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.45 c choco : 1801.0
26.71/27.45 c mistral : 1800.07
26.71/27.45 c abscon : 349.37
26.71/27.45 c
26.71/27.45 c
26.71/27.45 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
26.71/27.45 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 11.340400 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | 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.164200 | 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.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.46 c choco : 1801.0
26.71/27.46 c mistral : 81.4206
26.71/27.46 c abscon : 52.605
26.71/27.46 c
26.71/27.46 c
26.71/27.46 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-0.xml
26.71/27.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.428360 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.46 c choco : 1801.0
26.71/27.46 c mistral : 72.111
26.71/27.46 c abscon : 6.68698
26.71/27.46 c
26.71/27.46 c
26.71/27.46 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-7.xml
26.71/27.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.405140 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.47 c choco : 1801.0
26.71/27.47 c mistral : 113.54
26.71/27.47 c abscon : 11.2793
26.71/27.47 c
26.71/27.47 c
26.71/27.47 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-4.xml
26.71/27.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.400880 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.47 c choco : 1801.0
26.71/27.47 c mistral : 146.632
26.71/27.47 c abscon : 6.95894
26.71/27.47 c
26.71/27.47 c
26.71/27.47 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-3.xml
26.71/27.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.419960 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.48 c choco : 1801.0
26.71/27.48 c mistral : 9.51455
26.71/27.48 c abscon : 7.00294
26.71/27.48 c
26.71/27.48 c
26.71/27.48 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-4.xml
26.71/27.48 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.407270 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.49 c choco : 1801.0
26.71/27.49 c mistral : 1800.04
26.71/27.49 c abscon : 7.55785
26.71/27.49 c
26.71/27.49 c
26.71/27.49 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-8.xml
26.71/27.49 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.407270 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.71/27.49 c choco : 1801.0
26.71/27.49 c mistral : 1800.03
26.71/27.49 c abscon : 11.9272
26.71/27.49 c
26.71/27.49 c
26.71/27.49 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-9.xml
26.71/27.49 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.407270 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.76/27.50 c choco : 1801.0
26.76/27.50 c mistral : 1800.06
26.76/27.50 c abscon : 12.5081
26.76/27.50 c
26.76/27.50 c
26.76/27.50 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-5.xml
26.76/27.50 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.405140 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.76/27.51 c choco : 1801.0
26.76/27.51 c mistral : 1800.07
26.76/27.51 c abscon : 7.75882
26.76/27.51 c
26.76/27.51 c
26.76/27.51 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-6.xml
26.76/27.51 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.405140 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.76/27.52 c choco : 1801.0
26.76/27.52 c mistral : 1800.06
26.76/27.52 c abscon : 7.56185
26.76/27.52 c
26.76/27.52 c
26.76/27.52 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-2.xml
26.76/27.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.375040 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.76/27.53 c choco : 1801.0
26.76/27.53 c mistral : 10.6574
26.76/27.53 c abscon : 6.70498
26.76/27.53 c
26.76/27.53 c
26.76/27.53 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-1.xml
26.76/27.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.330920 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.76/27.53 c choco : 1801.0
26.76/27.53 c mistral : 9.8375
26.76/27.53 c abscon : 6.67098
26.76/27.53 c
26.76/27.53 c
26.76/27.53 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-7.xml
26.76/27.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.328670 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
26.76/27.54 c choco : 1801.0
26.76/27.54 c mistral : 1800.11
26.76/27.54 c abscon : 11.9342
26.76/27.54 c
26.76/27.54 c
26.76/27.54 c Length: 40
26.76/27.54 c 5.319468420227718 5.3589725651285045 5.394197704367164 5.460766649821249 5.4614479402261065 5.515796130550872 5.519384106383608 5.549120471191807 5.557234196414615 5.6952392753772845 5.991885234905289 6.020064374097341 6.053469847804316 6.085710324873836 6.169067709004012 6.182078384190548 6.302748885865278 6.379801728794478 6.4477155111922375 6.458292536674766 6.46385741246889 6.478690734752585 6.48479608041525 6.489718189880743 6.498410262684943 6.514819307131164 6.521869003493478 6.540501721139139 6.551420726168408 6.566293850968672 6.569027766729943 6.583293818547447 6.591393043554984 6.591393043554984 6.591393043554984 6.592753906777125 6.592753906777125 6.612028299797652 6.640425797953398 6.641878593487314
26.76/27.55 c
26.76/27.55 c 1.0 0.9709936635704461 0.9465126521596032 0.9034655882837689 0.9030452613453518 0.8707296944091426 0.8686774681521537 0.8520342500578822 0.8476032294490571 0.778721556263301 0.6629197325162964 0.653685698488805 0.6430668708160696 0.6331404771758699 0.6088418104864335 0.6052164695107248 0.5735418928066268 0.5549947710888199 0.539614491412072 0.5372955263910348 0.5360834362821516 0.5328791349117972 0.5315713559041716 0.5305216931092442 0.528678156832967 0.5252325942216141 0.5237660564625828 0.5199290594380549 0.5177065447945403 0.5147095778995411 0.5141624591966621 0.5113262642397443 0.5097299604505073 0.5097299604505073 0.5097299604505073 0.509462720817163 0.509462720817163 0.5057075784973832 0.5002748001376831 0.5
26.76/27.56 c
26.76/27.56 c solver 0
26.76/27.56 c before 0.0 seconds: {} 0
26.76/27.56 c before 18.0 seconds: {5, 6, 7, 8, 9, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15843
26.76/27.56 c before 54.0 seconds: {5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18322
26.76/27.56 c before 72.0 seconds: {0, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19322
26.76/27.56 c before 90.0 seconds: {0, 2, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20269
26.76/27.56 c before 144.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 19, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21240
26.76/27.56 c before 162.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21795
26.76/27.56 c before 180.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22428
26.76/27.56 c before 216.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23331
26.76/27.56 c before 360.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23855
26.76/27.56 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24758
26.76/27.56 c before 450.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} 25294
26.76/27.56 c
26.76/27.56 c solver 1
26.76/27.56 c before 0.0 seconds: {} 0
26.76/27.56 c before 18.0 seconds: {31, 37, 38} 1517
26.76/27.56 c before 36.0 seconds: {14, 15, 16, 31, 37, 38} 3304
26.76/27.56 c before 54.0 seconds: {9, 14, 15, 16, 31, 37, 38} 4083
26.76/27.56 c before 72.0 seconds: {9, 14, 15, 16, 19, 31, 37, 38} 4620
26.76/27.56 c before 90.0 seconds: {9, 14, 15, 16, 19, 24, 27, 28, 31, 37, 38} 6187
26.76/27.56 c before 126.0 seconds: {9, 14, 15, 16, 19, 24, 27, 28, 29, 31, 37, 38} 6701
26.76/27.56 c before 144.0 seconds: {8, 9, 14, 15, 16, 19, 24, 27, 28, 29, 31, 37, 38} 7549
26.76/27.56 c before 162.0 seconds: {8, 9, 14, 15, 16, 18, 19, 22, 23, 24, 27, 28, 29, 30, 31, 37, 38} 9665
26.76/27.56 c before 324.0 seconds: {6, 8, 9, 14, 15, 16, 18, 19, 22, 23, 24, 27, 28, 29, 30, 31, 37, 38} 10534
26.76/27.56 c before 828.0 seconds: {5, 6, 8, 9, 14, 15, 16, 18, 19, 22, 23, 24, 27, 28, 29, 30, 31, 37, 38} 11404
26.76/27.56 c before 1080.0 seconds: {5, 6, 7, 8, 9, 14, 15, 16, 18, 19, 22, 23, 24, 27, 28, 29, 30, 31, 37, 38} 12256
26.76/27.56 c
26.76/27.56 c solver 2
26.76/27.56 c before 0.0 seconds: {} 0
26.76/27.56 c
26.76/27.56 cTotal time: 85
26.76/27.56 c 1530.0 seconds unused
26.76/27.56 c 0 c 20 c 40
26.76/27.56 c 0 c 0 c 20
26.76/27.56 c 0 c 0 c 0
26.76/27.56 c is solver0 dominated by:
26.76/27.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)
26.76/27.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: false) (0 is equally as fast as 2: false) (0 < 2: false)
26.76/27.56 c is dominated? false
26.76/27.56 c
26.76/27.56 c is solver1 dominated by:
26.76/27.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)
26.76/27.56 c is dominated? true
26.76/27.56 c
26.76/27.56 c is solver2 dominated by:
26.76/27.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: true) (2 is equally as fast as 0: false) (2 < 0: true)
26.76/27.56 c is dominated? true
26.76/27.56 c
26.76/27.56 c Number of non-dominated solvers: 1
26.76/27.56 c remove dominated solvers
26.76/27.56 c solver 0 is not dominated by another solver
26.76/27.56 c solver 2 is dominated by another solver
26.76/27.56 c solver 1 is dominated by another solver
26.76/27.56 c
26.76/27.56 c solver 0: 450.0
26.76/27.56 c
26.76/27.56 c+ 25/25 of 75
26.76/27.56 c
26.76/27.56 c solver 1: 0.0
26.76/27.56 c
26.76/27.56 c solver 2: 0.0
26.76/27.57 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} 25294
26.76/27.57 c do not run mistral
26.76/27.57 c do not run choco
26.76/27.57 c Starting solver: HOME/cpHydra_k_40/solver/abscon
26.76/27.57 c On Instance: HOME/instance-1087444-1215243972.xml
26.76/27.57 c Running for: 1800 seconds
49.23/50.12 s UNSATISFIABLE
49.23/50.12 d ASSIGNMENTS 0
49.23/50.12 d CHECKS 535609