0.00/0.00 c cpHydra_k_40 version 0.0
27.53/27.85 c CASE TO CLASSIFY:
27.53/27.85 c Case: 0
27.53/27.85 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.416700 | c 15 > 13.616700 | 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
27.53/27.86 c choco : 1801.0
27.53/27.86 c mistral : 1801.0
27.53/27.86 c abscon : 1801.0
27.53/27.86 c
27.53/27.86 c
27.63/27.94 c List of same ones: 40
27.63/27.94 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
27.63/27.94 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
27.63/27.95 c choco : 1801.0
27.63/27.95 c mistral : 1800.05
27.63/27.95 c abscon : 64.5562
27.63/27.95 c
27.63/27.95 c
27.63/27.95 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
27.63/27.95 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
27.63/27.96 c choco : 1801.0
27.63/27.96 c mistral : 1800.09
27.63/27.96 c abscon : 128.934
27.63/27.96 c
27.63/27.96 c
27.63/27.96 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
27.63/27.96 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
27.63/27.97 c choco : 1801.0
27.63/27.97 c mistral : 1800.07
27.63/27.97 c abscon : 77.7912
27.63/27.97 c
27.63/27.97 c
27.63/27.97 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
27.63/27.97 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
27.63/27.98 c choco : 1801.0
27.63/27.98 c mistral : 1800.08
27.63/27.98 c abscon : 213.954
27.63/27.98 c
27.63/27.98 c
27.63/27.98 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
27.63/27.98 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
27.63/27.99 c choco : 1801.0
27.63/27.99 c mistral : 1800.03
27.63/27.99 c abscon : 378.267
27.63/27.99 c
27.63/27.99 c
27.63/27.99 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-3.xml
27.63/27.99 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
27.72/28.00 c choco : 1801.0
27.72/28.00 c mistral : 811.31
27.72/28.00 c abscon : 9.81851
27.72/28.00 c
27.72/28.00 c
27.72/28.00 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-2.xml
27.72/28.00 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
27.72/28.01 c choco : 1801.0
27.72/28.01 c mistral : 310.611
27.72/28.01 c abscon : 9.8545
27.72/28.01 c
27.72/28.01 c
27.72/28.01 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-4.xml
27.72/28.01 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
27.72/28.02 c choco : 1801.0
27.72/28.02 c mistral : 1078.26
27.72/28.02 c abscon : 12.6221
27.72/28.02 c
27.72/28.02 c
27.72/28.02 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
27.72/28.02 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
27.72/28.02 c choco : 1801.0
27.72/28.02 c mistral : 126.293
27.72/28.02 c abscon : 10.1565
27.72/28.02 c
27.72/28.02 c
27.72/28.02 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-0.xml
27.72/28.02 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
27.72/28.03 c choco : 1801.0
27.72/28.03 c mistral : 44.86
27.72/28.03 c abscon : 9.39257
27.72/28.03 c
27.72/28.03 c
27.72/28.03 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
27.72/28.03 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
27.90/28.26 c choco : 1801.0
27.90/28.26 c mistral : 1800.11
27.90/28.26 c abscon : 39.9029
27.90/28.26 c
27.90/28.26 c
27.90/28.26 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-9.xml
27.90/28.26 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
27.90/28.28 c choco : 1801.0
27.90/28.28 c mistral : 1800.06
27.90/28.28 c abscon : 41.6947
27.90/28.28 c
27.90/28.28 c
27.90/28.28 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-8.xml
27.90/28.28 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
27.90/28.29 c choco : 1801.0
27.90/28.29 c mistral : 1800.08
27.90/28.29 c abscon : 49.3535
27.90/28.29 c
27.90/28.29 c
27.90/28.29 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-7.xml
27.90/28.29 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
27.90/28.29 c choco : 1801.0
27.90/28.29 c mistral : 1800.04
27.90/28.29 c abscon : 176.285
27.90/28.29 c
27.90/28.29 c
27.90/28.29 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-2.xml
27.90/28.29 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
27.99/28.31 c choco : 1801.0
27.99/28.31 c mistral : 22.6026
27.99/28.31 c abscon : 8.82166
27.99/28.31 c
27.99/28.31 c
27.99/28.31 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-1.xml
27.99/28.31 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
27.99/28.31 c choco : 1801.0
27.99/28.31 c mistral : 22.5536
27.99/28.31 c abscon : 9.1856
27.99/28.31 c
27.99/28.31 c
27.99/28.31 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp13/fapp13-2000-0.xml
27.99/28.31 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
27.99/28.32 c choco : 1801.0
27.99/28.32 c mistral : 31.97
27.99/28.32 c abscon : 8.58269
27.99/28.32 c
27.99/28.32 c
27.99/28.32 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
27.99/28.32 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
27.99/28.33 c choco : 1801.0
27.99/28.33 c mistral : 1800.05
27.99/28.33 c abscon : 156.38
27.99/28.33 c
27.99/28.33 c
27.99/28.33 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
27.99/28.33 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
27.99/28.33 c choco : 1801.0
27.99/28.33 c mistral : 155.051
27.99/28.33 c abscon : 7.09492
27.99/28.33 c
27.99/28.33 c
27.99/28.33 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
27.99/28.33 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
27.99/28.34 c choco : 1801.0
27.99/28.34 c mistral : 71.9411
27.99/28.34 c abscon : 6.95394
27.99/28.34 c
27.99/28.34 c
27.99/28.34 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
27.99/28.34 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
27.99/28.35 c choco : 1801.0
27.99/28.35 c mistral : 1800.06
27.99/28.35 c abscon : 441.864
27.99/28.35 c
27.99/28.35 c
27.99/28.35 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
27.99/28.35 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
27.99/28.36 c choco : 1801.0
27.99/28.36 c mistral : 1800.03
27.99/28.36 c abscon : 11.3953
27.99/28.36 c
27.99/28.36 c
27.99/28.36 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
27.99/28.36 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
27.99/28.36 c choco : 1801.0
27.99/28.36 c mistral : 152.693
27.99/28.36 c abscon : 6.91295
27.99/28.36 c
27.99/28.36 c
27.99/28.36 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
27.99/28.36 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
27.99/28.37 c choco : 1801.0
27.99/28.37 c mistral : 145.44
27.99/28.37 c abscon : 7.14491
27.99/28.37 c
27.99/28.37 c
27.99/28.37 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
27.99/28.37 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
27.99/28.37 c choco : 1801.0
27.99/28.37 c mistral : 73.3329
27.99/28.37 c abscon : 6.84696
27.99/28.37 c
27.99/28.37 c
27.99/28.37 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
27.99/28.38 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
27.99/28.38 c choco : 1801.0
27.99/28.38 c mistral : 1800.04
27.99/28.38 c abscon : 11.0943
27.99/28.38 c
27.99/28.38 c
27.99/28.38 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
27.99/28.38 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
27.99/28.39 c choco : 1801.0
27.99/28.39 c mistral : 1800.07
27.99/28.39 c abscon : 349.37
27.99/28.39 c
27.99/28.39 c
27.99/28.39 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
27.99/28.39 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
27.99/28.39 c choco : 1801.0
27.99/28.39 c mistral : 81.4206
27.99/28.39 c abscon : 52.605
27.99/28.39 c
27.99/28.39 c
27.99/28.39 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-0.xml
27.99/28.39 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
28.05/28.40 c choco : 1801.0
28.05/28.40 c mistral : 72.111
28.05/28.40 c abscon : 6.68698
28.05/28.40 c
28.05/28.40 c
28.05/28.40 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-7.xml
28.05/28.40 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
28.05/28.41 c choco : 1801.0
28.05/28.41 c mistral : 113.54
28.05/28.41 c abscon : 11.2793
28.05/28.41 c
28.05/28.41 c
28.05/28.41 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-4.xml
28.05/28.41 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
28.05/28.41 c choco : 1801.0
28.05/28.41 c mistral : 146.632
28.05/28.41 c abscon : 6.95894
28.05/28.41 c
28.05/28.41 c
28.05/28.41 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-3.xml
28.05/28.41 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
28.05/28.42 c choco : 1801.0
28.05/28.42 c mistral : 9.51455
28.05/28.42 c abscon : 7.00294
28.05/28.42 c
28.05/28.42 c
28.05/28.42 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-4.xml
28.05/28.42 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
28.05/28.42 c choco : 1801.0
28.05/28.42 c mistral : 1800.04
28.05/28.42 c abscon : 7.55785
28.05/28.42 c
28.05/28.42 c
28.05/28.42 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-8.xml
28.05/28.42 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
28.05/28.43 c choco : 1801.0
28.05/28.43 c mistral : 1800.03
28.05/28.43 c abscon : 11.9272
28.05/28.43 c
28.05/28.43 c
28.05/28.43 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-9.xml
28.05/28.43 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
28.05/28.44 c choco : 1801.0
28.05/28.44 c mistral : 1800.06
28.05/28.44 c abscon : 12.5081
28.05/28.44 c
28.05/28.44 c
28.05/28.44 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-5.xml
28.05/28.44 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
28.05/28.44 c choco : 1801.0
28.05/28.44 c mistral : 1800.07
28.05/28.44 c abscon : 7.75882
28.05/28.44 c
28.05/28.44 c
28.05/28.44 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-6.xml
28.05/28.44 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
28.05/28.45 c choco : 1801.0
28.05/28.45 c mistral : 1800.06
28.05/28.45 c abscon : 7.56185
28.05/28.45 c
28.05/28.45 c
28.05/28.45 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-2.xml
28.05/28.45 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
28.05/28.46 c choco : 1801.0
28.05/28.46 c mistral : 10.6574
28.05/28.46 c abscon : 6.70498
28.05/28.46 c
28.05/28.46 c
28.05/28.46 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-1.xml
28.05/28.46 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
28.05/28.46 c choco : 1801.0
28.05/28.46 c mistral : 9.8375
28.05/28.46 c abscon : 6.67098
28.05/28.46 c
28.05/28.46 c
28.05/28.46 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-7.xml
28.05/28.46 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
28.05/28.47 c choco : 1801.0
28.05/28.47 c mistral : 1800.11
28.05/28.47 c abscon : 11.9342
28.05/28.47 c
28.05/28.47 c
28.05/28.47 c Length: 40
28.05/28.48 c 5.319154845819021 5.358629010651883 5.393829963374817 5.460358186401326 5.4610390882871345 5.515357822825276 5.518943952768499 5.548665439887323 5.556775229735316 5.694720144467151 5.99165355709724 6.01980627165659 6.053183968646254 6.085400364665911 6.168704200906055 6.181707391026852 6.302316431144663 6.37928676410843 6.446966394923194 6.4575415031782 6.463313776131328 6.477936043877632 6.484040304977213 6.488961543426574 6.497652085343519 6.51405826475086 6.521307036072524 6.540083960028651 6.550653408269207 6.5655240273164015 6.568257485213942 6.582528684732413 6.590626539459281 6.590626539459281 6.590626539459281 6.591987173176616 6.591987173176616 6.611258338117262 6.6396511554542545 6.641103713888604
28.05/28.48 c
28.05/28.48 c 1.0 0.9710052174240761 0.9465316947693997 0.903493744705887 0.9030734846433442 0.8707619546472614 0.8687099157481595 0.852067940111023 0.8476371705753234 0.7787557205638422 0.6628145466234162 0.6535887847202437 0.6429781222964116 0.6330583380322345 0.6087727146043531 0.6051490102202586 0.5734861278002833 0.5549555143720295 0.5396237357752279 0.5373043043953151 0.5360466679262623 0.532887026331252 0.5315789852166147 0.5305291121965822 0.5286852070335388 0.5252389561743225 0.5237305628911049 0.519863271962701 0.517711409394668 0.5147138487355463 0.5141666218010741 0.5113283786581033 0.5097317757047557 0.5097317757047557 0.5097317757047557 0.5094644860226649 0.5094644860226649 0.505708641537529 0.5002748511958934 0.5
28.05/28.49 c
28.05/28.49 c solver 0
28.05/28.49 c before 0.0 seconds: {} 0
28.05/28.49 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
28.05/28.49 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
28.05/28.49 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
28.05/28.49 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} 20268
28.05/28.49 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} 21239
28.05/28.49 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} 21794
28.05/28.49 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
28.05/28.49 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
28.05/28.49 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
28.05/28.49 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
28.05/28.49 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
28.05/28.49 c
28.05/28.49 c solver 1
28.05/28.49 c before 0.0 seconds: {} 0
28.05/28.49 c before 18.0 seconds: {31, 37, 38} 1517
28.05/28.49 c before 36.0 seconds: {14, 15, 16, 31, 37, 38} 3304
28.05/28.49 c before 54.0 seconds: {9, 14, 15, 16, 31, 37, 38} 4083
28.05/28.49 c before 72.0 seconds: {9, 14, 15, 16, 19, 31, 37, 38} 4620
28.05/28.49 c before 90.0 seconds: {9, 14, 15, 16, 19, 24, 27, 28, 31, 37, 38} 6187
28.05/28.49 c before 126.0 seconds: {9, 14, 15, 16, 19, 24, 27, 28, 29, 31, 37, 38} 6701
28.05/28.49 c before 144.0 seconds: {8, 9, 14, 15, 16, 19, 24, 27, 28, 29, 31, 37, 38} 7549
28.05/28.49 c before 162.0 seconds: {8, 9, 14, 15, 16, 18, 19, 22, 23, 24, 27, 28, 29, 30, 31, 37, 38} 9665
28.05/28.49 c before 324.0 seconds: {6, 8, 9, 14, 15, 16, 18, 19, 22, 23, 24, 27, 28, 29, 30, 31, 37, 38} 10533
28.05/28.49 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
28.05/28.49 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
28.05/28.49 c
28.05/28.49 c solver 2
28.05/28.49 c before 0.0 seconds: {} 0
28.05/28.49 c
28.05/28.49 cTotal time: 85
28.05/28.49 c 1530.0 seconds unused
28.05/28.49 c 0 c 20 c 40
28.05/28.49 c 0 c 0 c 20
28.05/28.49 c 0 c 0 c 0
28.05/28.49 c is solver0 dominated by:
28.05/28.49 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)
28.05/28.49 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)
28.05/28.49 c is dominated? false
28.05/28.49 c
28.05/28.49 c is solver1 dominated by:
28.05/28.49 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)
28.05/28.49 c is dominated? true
28.05/28.49 c
28.05/28.49 c is solver2 dominated by:
28.05/28.49 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)
28.05/28.49 c is dominated? true
28.05/28.49 c
28.05/28.49 c Number of non-dominated solvers: 1
28.05/28.49 c remove dominated solvers
28.05/28.49 c solver 0 is not dominated by another solver
28.05/28.49 c solver 2 is dominated by another solver
28.05/28.50 c solver 1 is dominated by another solver
28.05/28.50 c
28.05/28.50 c solver 0: 450.0
28.05/28.50 c
28.05/28.50 c+ 25/25 of 75
28.05/28.50 c
28.05/28.50 c solver 1: 0.0
28.05/28.50 c
28.05/28.50 c solver 2: 0.0
28.05/28.50 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
28.12/28.50 c do not run mistral
28.12/28.50 c do not run choco
28.12/28.50 c Starting solver: HOME/cpHydra_k_40/solver/abscon
28.12/28.50 c On Instance: HOME/instance-1087465-1215244182.xml
28.12/28.50 c Running for: 1800 seconds
60.16/60.63 s SAT
60.16/60.63 v -2632 -2256 -2356 -2240 -2240 2612 -2240 -2280 2640 -2240 -2420 2588 -2240 -2376 2680 2700 -2344 -2640 2280 -2280 2648 -2240 -2240 2240 -2680 -2676 2712 -2720 -2352 -2680 -2672 -2364 -2680 -2680 2240 -2412 -2352 -2720 -2592 -2404 -2240 -2568 -2720 -2720 2616 2476 -2300 -2528 -2352 -2632 -2528 -2492 2648 2416 -2380 -2680 -2244 2596 -2544 -2240 -2240 -2548 2568 -2488 -2616 -2508 -2388 -2240 -2240 -2240 -2280 -2720 -2720 -2444 -2720 -2280 -2328 -2340 -2284 -2456 2604 2656 -2280 -2720 -2720 -2484 -2720 -2328 -2272 -2424 -2312 -2720 -2600 -2368 -2352 -2680 -2252 -2376 2520 -2280 -2572 -2240 2464 -2256 -2240 -2260 -2556 2680 -2308 2668 -2432 -2240 -2684 -2488 -2368 -2408 2704 -2240 -2536 -2460 -2676 -2456 -2544 -2720 -2412 -2252 -2280 2720 -2408 -2316 -2680 -2312 2280 -2428 -2372 -2520 -2636 -2540 -2280 -2696 -2684 2240 -2280 2700 -2240 -2680 -2720 -2240 -2416 -2720 2680 -2420 -2240 -2252 -2340 2572 -2396 -2536 -2544 -2240 -2476 2636 -2240 -2640 -2332 -2280 -2568 2644 -2680 -2240 -2308 -2720 -2720 -2720 -2624 -2576 -2448 -2348 -2636 -2672 2240 -2680 -2680 -2280 -2720 -2280 -2384 -2532 -2424 2680 -2240 -2720 -2324 -2720 -2436 2720 -2564 -2720 2240 2564 -2644 -2460 -2412 -2280 -2464 -2240 -2356 -2596 2680 -2280 2400 -2720 2720 2680 -2680 -2360 -2360 -2316 -2388 -2580 -2492 -2288 -2520 -2720 2680 -2244 -2240 -2280 -2240 -2240 2664 2268 -2280 -2400 -2540 -2720 -2280 -2456 2624 -2500 -2720 -2280 -2340 -2552 -2544 -2608 -2240 -2640 -2280 -2332 -2412 -2632 -2252 -2408 -2244 2240 -2516 -2680 -2240 -2568 2548 -2304 -2496 2656 -2720 -2680 -2720 -2544 -2720 -2300 -2720 -2424 -2280 -2720 -2240 -2644 2560 -2392 -2300 2588 -2436 -2240 -2400 -2328 -2536 2640 -2644 -2720 2680 -2368 -2264 -2556 -2296 -2356 -2280 -2348 -2312 -2512 2568 2620 -2680 -2376 -2364 -2280 -2540 -2372 -2272 -2404 -2240 -2680 -2240 -2524 -2500 -2720 -2680 -2680 -2408 -2244 -2720 -2316 -2336 -2616 -2356 -2400 -2372 -2580 -2520 -2680 -2508 -2420 -2580 -2720 -2296 2680 -2288 -2280 -2604 -2424 -2240 -2540 -2720 2596 -2672 -2468 -2388 -2388 -2364 -2408 -2680 2412 -2680 2292 -2720 -2704 -2280 -2680 2720 -2288 -2240 2364 -2516 -2680 -2696 -2528 -2240 -2720 -2280 -2464 -2380 -2572 -2376 -2656 -2240 -2476 2712 -2240 -2476 -2244 -2368 -2692 -2720 -2372 -2440 -2552 -2660 -2588 -2696 -2688 2556 -2612 -2292 -2284 -2428 -2280 -2632 -2476 -2548 -2252 -2288 -2520 -2680 -2460 2680 -2688 -2336 -2332 -2312 -2680 -2616 -2600 -2432 -2468 2664 -2240 -2244 -2648 -2620 -2276 -2244 -2476 -2288 -2628 -2240 2680 -2584 -2680 -2560 -2720 -2320 -2308 -2564 -2720 -2720 -2280 2564 -2284 -2348 -2292 -2696 -2280 2628 -2600 -2292 -2404 -2280 -2432 -2676 -2436 -2600 -2708 -2720 -2644 -2284 -2544 -2492 -2592 -2568 -2504 -2272 -2720 -2300 -2528 -2492 -2412 2652 -2360 -2420 -2336 2596 -2284 2648 -2308 -2388 -2524 -2680 -2628 -2400 2624 -2240 -2720 2280 -2240 -2256 -2280 -2564 -2284 -2460 -2300 -2680 -2392 -2676 -2392 -2680 -2280 -2500 -2720 -2616 -2452 2252 -2460 2632 -2720 -2464 -2680 2596 -2332 -2328 -2256 -2720 -2572 -2720 -2288 -2680 -2680 -2348 -2324 -2280 -2524 -2720 -2300 -2240 -2444 -2252 -2380 -2720 -2720 -2460 -2240 -2288 2696 2680 -2312 -2532 -2388 -2680 -2588 -2700 -2720 -2680 -2280 -2240 -2680 -2252 -2396 -2508 -2240 -2456 -2680 -2280 -2240 -2720 -2400 -2268 -2308 -2680 -2680 -2372 -2508 -2512 -2416 -2488 -2580 -2512 -2240 -2564 -2240 -2324 -2280 -2492 2680 -2516 -2280 -2500 -2680 -2484 -2392 -2596 -2504 -2496 2240 -2472 -2280 -2432 -2720 -2720 -2280 -2452 -2668 -2720 -2720 -2280 -2296 -2528 -2292 -2288 -2436 -2344 -2304 2240 -2244 -2416 -2520 -2280 -2440 2640 -2404 -2532 -2528 -2416 -2556 -2656 -2720 -2476 -2720 -2240 -2508 -2324 -2480 -2588 -2620 -2664 -2488 -2240 -2600 -2296 -2404 -2240 -2400 -2492 2652 -2720 -2268 -2544 -2428 -2260 -2668 -2448 -2692 -2680 -2244 -2568 -2680 -2388 -2680 -2548 -2280 -2576 -2476 -2280 -2308 -2600 -2292 -2424 -2360 -2364 2652 -2492 -2360 -2532 2240 -2484 2604 -2332 -2280 -2300 -2308 -2480 -2304 -2536 -2604 -2720 -2420 -2468 -2452 -2584 -2680 2492 -2432 -2592 2668 -2720 -2680 -2688 -2516 -2396 -2240 -2548 -2680 -2452 -2480 -2720 -2280 2328 -2316 -2588 -2416 -2348 -2720 -2668 -2356 -2344 -2272 -2680 -2412 -2512 -2344 -2388 -2308 -2680 -2240 -2552 -2720 -2428 2516 -2280 -2580 -2472 -2356 -2660 -2660 -2660 2240 -2720 -2252 -2388 -2312 -2592 -2720 -2660 -2264 -2720 2328 -2360 -2680 -2680 -2448 -2648 -2240 -2392 -2680 -2296 -2680 2700 -2280 -2284 -2388 -2240 -2720 -2588 -2708 -2284 -2288 2668 -2332 -2448 -2680 -2664 -2268 -2720 -2556 -2680 -2636 -2680 -2432 -2516 -2580 -2304 -2356 2672 -2492 -2296 -2444 -2680 -2680 -2592 -2380 -2344 -2280 -2580 -2720 -2328 -2240 -2680 -2464 -2492 -2372 -2720 2632 -2596 -2624 -2720 -2700 -2680 -2352 -2692 -2500 -2680 2440 -2340 -2292 -2628 2588 -2512 -2404 -2720 -2704 -2532 -2636 -2720 -2280 -2280 -2556 -2396 -2680 2680 -2660 -2564 -2720 -2360 -2604 -2240 -2280 -2720 -2384 -2500 -2440 -2296 -2720 -2532 -2240 -2688 -2720 -2436 -2656 -2292 -2280 -2720 -2340 -2644 2528 -2368 -2508 -2324 -2548 -2492 -2504 2304 -2540 -2424 -2680 -2384 -2336 -2336 -2632 -2680 -2240 -2720 -2240 -2280 -2720 -2472 -2500 -2672 -2436 -2612 -2256 -2280 -2680 -2680 -2720 -2484 -2504 -2260 -2340 -2280 -2688 -2240 -2324 2672 -2320 -2264 -2668 -2528 -2436 -2720 -2472 -2680 -2332 -2400 -2380 -2720 -2544 -2660 -2552 -2556 -2720 -2680 -2720 -2344 2384 -2308 -2264 -2256 -2680 -2280 -2504 2280 -2248 -2532 -2492 -2308 -2280 -2464 -2296 -2252 -2680 2596 -2504 -2720 -2720 -2680 -2580 -2652 -2432 -2680 2280 -2280 -2428 2680 -2360 -2680 2680 -2520 -2720 -2680 -2476 -2652 -2304 -2404 -2360 -2408 2564 -2240 -2296 -2472 -2640 -2300 -2720 -2568 -2680 -2316 -2348 -2296 -2656 -2564 2600 -2296 -2284 -2452 -2524 -2500 -2388 -2384 -2276 2500 2680 -2692 -2720 2680 -2280 -2440 -2460 -2508 -2312 -2296 -2252 -2240 2252 -2720 -2424 -2664 -2680 -2376 -2284 -2280 -2280 -2676 -2436 -2552 -2392 -2560 -2308 -2280 -2608 2572 -2492 -2424 -2284 -2432 2680 -2260 -2652 -2324 -2680 -2720 -2240 2664 -2640 -2244 -2680 -2680 -2516 -2680 -2272 -2612 -2548 -2720 2256 2680 -2680 -2360 -2284 -2240 -2720 -2280 -2280 -2328 -2424 -2448 -2644 -2256 -2296 -2648 -2428 -2396 2372 -2296 2364 -2292 -2648 -2292 -2488 -2680 -2408 2680 -2632 -2596 -2720 -2292 -2436 -2240 -2300 -2648 -2312 -2552 -2496 -2708 -2252 2680 -2680 -2680 -2656 -2720 -2416 -2456 -2464 -2296 -2720 -2240 -2280 -2280 -2320 -2396 -2640 -2280 -2400 -2720 -2280 -2376 -2384 -2320 -2720 -2244 -2280 -2460 -2380 -2256 2600 -2552 -2720 -2408 -2240 2428 -2580 -2568 -2312 -2524 -2688 2680 -2316 -2344 -2680 -2460 -2556 -2680 -2648 -2476 -2468 -2292 -2452 -2672 -2680 -2640 -2348 -2548 -2436 2668 -2372 -2576 2240 -2388 -2592 -2600 -2384 -2444 -2680 -2680 -2480 -2284 -2652 -2280 -2352 -2680 -2364 -2440 -2560 -2720 -2476 -2352 -2420 -2448 -2680 -2272 2556 -2364 -2660 -2720 2680 -2620 2680 -2720 -2568 -2720 -2372 -2376 -2720 -2680 -2572 -2280 -2320 -2592 -2680 2408 -2340 -2680 -2720 -2720 -2280 -2720 -2364 -2360 -2396 2680 -2532 -2512 -2292 -2384 -2660 -2604 -2692 -2600 -2396 -2680 -2720 -2548 2324 -2484 -2696 -2284 -2284 -2396 2320 -2400 -2720 -2356 -2620 -2480 -2348 -2680 -2304 -2720 -2416 -2568 -2608 -2280 -2680 -2524 -2680 -2604 -2244 2280 -2528 -2288 -2244 -2720 -2280 -2392 2272 -2680 -2404 -2432 -2364 -2304 -2356 -2256 -2348 -2416 -2240 -2636 -2720 2720 -2280 -2292 -2280 -2404 -2284 -2680 -2364 -2356 -2392 2680 -2296 -2456 -2448 -2476 -2488 -2596 -2640 2680 -2720 -2364 -2576 -2620 -2396 -2688 -2372 -2644 -2284 -2620 -2384 -2604 -2568 -2420 -2348 -2296 -2308 -2680 -2608 -2280 2500 -2312 -2328 -2608 -2372 -2680 -2388 -2428 -2292 -2260 -2648 -2392 -2720 -2280 -2240 -2524 -2716 -2680 -2720 2268 -2564 -2368 -2372 -2240 2360 -2636 -2612 2692 -2672 -2336 -2300 -2720 -2720 -2452 -2720 -2280 -2680 -2680 2656 -2524 -2384 -2600 -2720 -2420 -2240 -2720 -2720 -2536 -2680 -2336 -2296 2588 -2712 -2612 -2700 -2680 2660 -2240 -2280 -2600 -2516 -2532 -2488 -2576 -2272 -2364 -2680 -2284 -2348 -2568 2680 -2564 -2240 -2284 -2680 -2572 -2680 -2584 -2680 -2580 -2452 -2720 -2280 -2500 -2268 -2280 -2528 -2696 -2292 -2708 -2308 -2428 -2720 -2296 -2720 -2292 -2628 -2304 -2628 -2448 2680 -2608 2280 -2256 2240 -2680 -2680 -2240 -2696 -2680 2400 -2596 -2680 -2468 -2460 -2680 -2720 -2280 -2528 2556 -2680 -2680 -2240 -2648 -2416 -2312 -2300 -2720 2680 -2720 -2500 -2240 -2248 -2448 -2240 -2400 -2568 -2492 -2680 -2720 -2332 -2280 -2720 -2700 2680 -2444 -2400 -2680 -2456 -2720 -2520 2240 -2472 -2460 -2720 -2484 -2548 -2240 -2680 -2380 -2680 -2280 -2608 -2368 -2604 -2720 2504 -2292 -2608 -2340 2624 -2720 -2720 -2432 -2240 -2560 -2712 -2280 -2652 -2720 -2392 -2680 -2280 -2320 -2396 -2248 -2404 2680 -2720 -2680 2628 -2612 -2288 -2680 -2248 -2240 -2244 -2680 -2656 -2680 2400 -2680 -2596 -2612 -2720 -2244 -2360 -2256 -2680 -2640 -2344 -2280 -2596 -2680 -2528 -2664 -2504 2492 -2424 -2240 -2296 -2720 -2720 -2512 -2720 -2680 -2672 -2720 2240 -2672 -2492 -2292 -2720 -2680 2720 -2576 -2660 -2240 -2420 -2348 -2460 -2584 -2496 -2680 -2280 -2720 -2280 -2504 -2344 -2568 -2596 -2552 -2528 -2460 -2324 -2344 -2716 -2240 2592 -2720 -2540 -2280 -2280 -2252 -2360 -2252 2240 -2636 -2480 -2316 -2636 -2252 -2720 -2524 2448 -2568 -2712 -2528 -2264 -2328 -2288 -2300 -2360 -2680 -2352 -2720 -2556 2240 -2576 -2260 -2492 -2440 -2532 2364 -2604 2280 -2240 -2240 -2420 -2244 -2440 -2720 -2720 -2720 -2596 -2504 -2428 -2720 -2404 -2432 -2380 -2268 -2256 -2360 -2280 -2248 -2552 -2356 -2416 -2284 -2504 -2720 -2488 -2680 -2720 -2688 -2508 -2588 -2680 -2280 -2624 -2628 -2680 -2536 -2356 -2272 -2584 -2588 -2504 -2508 -2552 -2280 2680 -2424 -2480 -2632 -2720 -2532 -2364 -2340 -2680 -2560 -2532 -2468 -2240 -2684 -2424 -2680 -2420 -2296 -2680 -2240 2384 -2660 -2388 -2672 -2720 -2680 -2564 -2640 -2508 -2680 -2680 -2280 -2428 -2520 -2664 -2524 -2560 2288 -2552 -2296 2720 -2296 -2632 -2304 -2368 2588 -2516 -2288 -2280 -2636 -2720 -2512 -2548 -2392 -2656 -2292 -2596 -2308 -2628 -2308 -2720 -2556 -2592 -2508 -2600 -2692 -2264 -2312 -2688 -2636 -2648 -2672 -2400 -2472 -2384 -2552 -2292 -2280 -2312 -2324 2680 -2548 -2272 -2404 -2420 -2316 -2480 -2712 -2248 -2280 -2256 -2284 -2528 -2652 -2468 2436 -2260 -2560 -2644 -2648 -2260 -2376 -2280 -2564 -2680 -2444 -2720 -2688 -2296 2680 -2440 -2320 2620 -2496 -2720 -2308 -2680 -2564 -2488 2240 -2660 -2340 -2396 -2680 -2372 -2280 -2596 -2296 -2660 -2244 -2436 -2252 -2280 -2240 -2464 -2720 -2444 -2608 -2416 -2492 -2544 -2276 -2364 -2508 -2552 -2408 -2332 -2448 2680 -2520 -2292 -2720 -2696 -2280 -2568 -2280 -2480 -2636 -2612 -2284 -2268 -2300 -2300 -2528 -2680 -2720 -2544 -2280 2704 -2584 -2652 2680 -2448 -2572 2240 -2516 -2532 -2336 -2568 -2540 2400 -2680 -2640 -2436 -2440 2720 -2532 -2312 -2640 -2716 -2632 -2288 -2552 -2720 -2392 -2512 2684 -2660 -2504 -2480 -2680 -2680 -2720 -2636 -2260 -2468 2680 -2720 -2680 -2240 -2488 -2552 -2444 -2240 2600 -2680 -2648 -2680 -2436 -2324 2648 -2520 -2240 -2300 -2628 -2252 -2720 -2324 -2636 -2240 -2720 -2332 -2424 -2644 -2464 -2680 -2680 -2620 2680 -2424 -2720 -2636 -2280 -2548 -2512 -2468 -2680 2492 -2320 -2420 -2680 2680 -2680 -2680 -2568 -2288 -2632 -2572 -2444 -2680 -2452 -2720 2344 -2240 -2720 -2472 -2240 -2720 -2280 -2352 -2280 -2280 -2512 2644 -2512 -2640 -2544 -2364 2712 -2444 -2560 -2680 -2720 2256 2560 -2720 -2284 -2440 -2568 -2456 -2680 -2372 -2720 2404 -2456 -2568 -2336 -2360 -2624 2620 -2720 -2720 -2720 -2340 -2240 -2456 -2636 -2680 -2484 -2648 -2240 -2300 -2292 -2528 -2240 -2396 -2680 -2240 -2500 -2608 -2720 -2720 -2324 -2296 -2300 -2240 -2412 2648 -2396 2240 -2712 2704 -2636 2684 2720 2396 2468 -2280 -2720 2280 -2720 -2280 -2680 -2720 -2440 -2328 2688 -2656 2680 2680 -2720 2676 -2280 -2608 -2720 -2280 -2296 -2396 -2680 -2428 -2584 -2460 -2272 -2588 2692 -2528 -2484 -2680 -2400 -2416 -2720 -2720 -2548 2240 -2240 2332 -2368 -2280 -2400 -2680 -2676 -2280 -2480 -2304 -2292 -2720 -2680 2568 -2284 -2492 -2508 -2720 -2280 -2488 -2512 -2572 -2584 -2460 -2280 2700 -2508 -2356 -2252 -2240 -2256 -2720 -2340 -2452 -2680 -2720 -2528 -2324 -2672 -2388 2508 -2296 -2720 2680 -2280 -2680 -2280 -2680 -2680 -2436 -2296 -2240 -2296 2536 2280 -2384 -2720 -2240 -2556 -2552 2680 2588 -2428 -2380 -2720 -2720 -2588 -2636 -2484 -2280 -2368 -2336 -2720 -2488 -2252 -2720 2616 -2376 -2364 -2720 -2680 -2720 -2280 -2280 -2344 -2720 -2680 -2720 -2712 -2720 -2436 -2248 -2672 -2680 -2420 -2364 -2472 -2240 -2460 -2720 -2516 -2280 -2240 -2720 -2240 2712 -2720 -2536 -2620 -2352 -2280 -2656 -2280 -2608 -2708 -2652 -2448 -2264 -2332 -2380 -2480 -2308 -2244 -2244 -2396 -2612 -2460 -2680 -2300 -2252 -2476 -2280 -2644 -2288 2240 -2584 -2520 -2248 -2280 -2680 -2448 -2680 -2720 -2672 -2260 -2412 -2488 -2548 -2676 -2484 -2680 -2720 -2284 -2656 -2348 2688 -2400 -2680 -2240 -2608 -2696 2336 -2316 -2528 -2428 2588 -2680 -2616 -2520 2680 -2548 -2568 -2680 -2256 -2680 -2512 -2512 -2368 -2324 -2468 -2528 2240 -2568 -2248 2680 -2240 -2428 -2256 -2704 -2288 -2484 -2560 -2680 -2324 -2496 -2668 -2576 -2720 -2312 -2720 -2240 -2680 -2560 -2536 -2280 -2280 -2420 -2540 -2720 -2296 -2280 -2364 -2616 -2528 -2288 -2660 -2720 2680 -2404 -2612 -2324 2680 -2644 -2240 2500 -2320 2380 -2516 -2240 -2696 -2680 -2608 -2680 -2560 -2720 -2492 -2544 -2696 -2240 -2280 -2676 -2476 -2680 -2452 -2360 -2720 -2680 -2280 -2240 -2664 -2240 -2476 -2240 -2472 -2324 -2720 -2720 2680 -2548 -2620 -2280 -2348 2720 -2560 -2332 -2328 -2280 -2480 -2720 -2416 -2272 -2244 -2312 -2720 -2720 -2680 -2568 -2544 -2528 -2416 2676 -2240 -2488 2688 -2524 -2296 -2644 -2464 -2320 -2280 2440 -2616 -2720 -2352 -2568 -2592 -2548 -2328 -2560 -2680 -2680 -2556 -2424 -2532 -2720 -2372 -2288 -2452 -2404 -2280 2284 2260 -2524 2280 -2528 -2364 -2332 -2680 -2388 -2364 -2240 -2280 -2680 -2612 -2436 2572 -2280 -2352 -2448 -2404 -2428 -2552 2240 -2524 -2720 -2240 -2404 -2720 -2720 -2360 -2660 -2548 -2680 -2680 -2280 -2680 -2332 -2340 -2540 -2312 -2512 -2404 -2324 -2360 -2240 -2436 -2308 2240 -2424 -2356 -2616 -2664 -2624 -2444 2240 -2348 -2280 -2416 -2544 -2520 -2468 -2448 -2256 -2280 -2408 -2552 -2524 -2720 -2292 -2324 -2664 -2568 -2656 -2400 -2432 -2548 -2648 -2324 2376 -2600 -2616 -2304 -2444 -2336 -2348 -2420 -2284 -2568 -2392 -2248 -2720 -2388 -2540 -2248 -2396 -2524 -2304 -2680 -2400 -2444 -2432 -2580 -2600 -2360 -2680 -2460 -2400 -2596 -2240 2680 -2464 -2360 -2312 -2296 -2668 -2280 -2364 -2720 2704 -2448 -2404 -2656 -2320 -2240 -2432 -2248 2656 -2680 -2284 -2260 -2240 -2396 2240 2548 -2720 -2672 2700 2240 -2240 -2680 2680 -2720 2280 -2352 -2720 -2440 -2380 -2604 -2304 -2280 -2528 -2680 -2380 2676 -2720 -2380 -2588 -2336 -2280 -2680 -2720 -2680 2620 -2680 -2292 -2640 -2284 -2240 -2720 2680 -2256 -2596 -2560 -2240 -2704 -2432 -2256 -2720 -2280 -2720 -2300 -2540 -2580 -2480 -2720 -2540 -2256 -2436 -2328 -2548 -2268 -2656 -2584 -2680 -2508 -2540 -2428 -2280 2720 -2680 -2240 -2680 -2364 -2312 -2488 -2676 -2720 -2380 -2484 -2240 -2720 -2720 -2472 -2496 -2260 -2328 -2420 -2456 -2652 -2280 -2332 -2720 -2432 -2304 -2468 -2720 -2280 -2280 2716 -2596 2340 -2720 -2476 2280 2416 -2656 -2720 -2648 -2336 -2680 -2604 -2292 -2720 -2680 -2348 -2280 -2688 -2388 -2408 -2680 -2440 -2680 -2604 -2452 -2364
60.16/60.63 d ASSIGNMENTS 2550
60.16/60.63 d CHECKS 21987765