0.00/0.00 c cpHydra_k_40 version 0.0
85.69/88.15 c CASE TO CLASSIFY:
85.69/88.15 c Case: 0
85.69/88.15 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 14.658500 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.69/88.16 c choco : 1801.0
85.69/88.16 c mistral : 1801.0
85.69/88.16 c abscon : 1801.0
85.69/88.16 c
85.69/88.16 c
85.79/88.23 c List of same ones: 40
85.79/88.23 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
85.79/88.23 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.695200 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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.315100 | 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.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.79/88.24 c choco : 1801.0
85.79/88.24 c mistral : 1800.04
85.79/88.24 c abscon : 331.113
85.79/88.24 c
85.79/88.24 c
85.79/88.24 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
85.79/88.24 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.502800 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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.315100 | 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.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.79/88.25 c choco : 1801.0
85.79/88.25 c mistral : 1800.09
85.79/88.25 c abscon : 506.936
85.79/88.25 c
85.79/88.25 c
85.79/88.25 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
85.79/88.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.703900 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.79/88.26 c choco : 1801.0
85.79/88.26 c mistral : 1800.02
85.79/88.26 c abscon : 20.4989
85.79/88.26 c
85.79/88.26 c
85.79/88.26 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
85.79/88.26 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.703900 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.79/88.27 c choco : 1801.0
85.79/88.27 c mistral : 1800.04
85.79/88.27 c abscon : 18.3632
85.79/88.27 c
85.79/88.27 c
85.79/88.27 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
85.79/88.27 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.630300 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.79/88.28 c choco : 1801.0
85.79/88.28 c mistral : 228.6
85.79/88.28 c abscon : 55.2496
85.79/88.28 c
85.79/88.28 c
85.79/88.28 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-5.xml
85.79/88.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.682990 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.79/88.29 c choco : 1801.0
85.79/88.29 c mistral : 44.9202
85.79/88.29 c abscon : 8.17176
85.79/88.29 c
85.79/88.29 c
85.79/88.29 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
85.79/88.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.682990 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.79/88.29 c choco : 1801.0
85.79/88.29 c mistral : 1800.06
85.79/88.29 c abscon : 19.3081
85.79/88.29 c
85.79/88.29 c
85.79/88.30 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
85.79/88.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.672430 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.30 c choco : 1801.0
85.86/88.30 c mistral : 91.75
85.86/88.30 c abscon : 7.97579
85.86/88.30 c
85.86/88.30 c
85.86/88.30 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
85.86/88.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.665340 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.31 c choco : 1801.0
85.86/88.31 c mistral : 1800.05
85.86/88.31 c abscon : 19.2911
85.86/88.31 c
85.86/88.31 c
85.86/88.31 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
85.86/88.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.661780 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.32 c choco : 1801.0
85.86/88.32 c mistral : 93.34
85.86/88.32 c abscon : 7.92479
85.86/88.32 c
85.86/88.32 c
85.86/88.32 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-3.xml
85.86/88.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.661780 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.33 c choco : 1801.0
85.86/88.33 c mistral : 108.08
85.86/88.33 c abscon : 8.13076
85.86/88.33 c
85.86/88.33 c
85.86/88.33 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
85.86/88.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.661780 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.34 c choco : 1801.0
85.86/88.34 c mistral : 41.0328
85.86/88.34 c abscon : 8.14076
85.86/88.34 c
85.86/88.34 c
85.86/88.34 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-0.xml
85.86/88.34 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.658210 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.35 c choco : 1801.0
85.86/88.35 c mistral : 21.6927
85.86/88.35 c abscon : 8.00678
85.86/88.35 c
85.86/88.35 c
85.86/88.35 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-4.xml
85.86/88.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 8.658210 | c 34 > 67.891400 | c 16 > 2.000000 | c 13 > 2.295360 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.217230 | c 21 > 19.377600 | c 20 > 0.000000 | c 22 > 21.307300 | c 23 > 7.439290 | c 24 > 0.816037 | 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.183000 | 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.518400 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.36 c choco : 1801.0
85.86/88.36 c mistral : 199.044
85.86/88.36 c abscon : 8.15376
85.86/88.36 c
85.86/88.36 c
85.86/88.36 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
85.86/88.36 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.001400 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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.315100 | 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.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.37 c choco : 1801.0
85.86/88.37 c mistral : 1800.08
85.86/88.37 c abscon : 15.1547
85.86/88.37 c
85.86/88.37 c
85.86/88.37 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
85.86/88.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 9.977280 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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.315100 | 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.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.38 c choco : 1801.0
85.86/88.38 c mistral : 1800.08
85.86/88.38 c abscon : 12.863
85.86/88.38 c
85.86/88.38 c
85.86/88.38 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
85.86/88.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.433600 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.38 c choco : 1801.0
85.86/88.38 c mistral : 1800.03
85.86/88.38 c abscon : 129.181
85.86/88.38 c
85.86/88.38 c
85.86/88.38 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
85.86/88.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.260900 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.39 c choco : 1801.0
85.86/88.39 c mistral : 1800.02
85.86/88.39 c abscon : 85.215
85.86/88.39 c
85.86/88.39 c
85.86/88.39 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
85.86/88.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.177400 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.86/88.39 c choco : 1801.0
85.86/88.39 c mistral : 1800.1
85.86/88.39 c abscon : 11.7712
85.86/88.39 c
85.86/88.39 c
85.86/88.39 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
85.86/88.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 9.658210 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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.315100 | 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.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.92/88.40 c choco : 1801.0
85.92/88.40 c mistral : 1800.05
85.92/88.40 c abscon : 13.29
85.92/88.40 c
85.92/88.40 c
85.92/88.40 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
85.92/88.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.049800 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.92/88.41 c choco : 1801.0
85.92/88.41 c mistral : 80.98
85.92/88.41 c abscon : 8.12576
85.92/88.41 c
85.92/88.41 c
85.92/88.41 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
85.92/88.41 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
85.92/88.42 c choco : 1801.0
85.92/88.42 c mistral : 1800.05
85.92/88.42 c abscon : 156.38
85.92/88.42 c
85.92/88.42 c
85.92/88.42 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-5.xml
85.92/88.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.911390 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.92/88.42 c choco : 1801.0
85.92/88.42 c mistral : 108.251
85.92/88.42 c abscon : 8.62069
85.92/88.42 c
85.92/88.42 c
85.92/88.42 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-4.xml
85.92/88.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.879580 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.92/88.43 c choco : 1801.0
85.92/88.43 c mistral : 233.323
85.92/88.43 c abscon : 8.47971
85.92/88.43 c
85.92/88.43 c
85.92/88.43 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-0.xml
85.92/88.43 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 9.434630 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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.315100 | 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.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.92/88.43 c choco : 1801.0
85.92/88.43 c mistral : 244.12
85.92/88.43 c abscon : 11.5512
85.92/88.43 c
85.92/88.43 c
85.92/88.43 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-3.xml
85.92/88.43 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.848620 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.92/88.44 c choco : 1801.0
85.92/88.44 c mistral : 158.535
85.92/88.44 c abscon : 8.39572
85.92/88.44 c
85.92/88.44 c
85.92/88.44 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
85.92/88.44 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
85.92/88.44 c choco : 1801.0
85.92/88.44 c mistral : 1800.06
85.92/88.44 c abscon : 441.864
85.92/88.44 c
85.92/88.44 c
85.92/88.44 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-2.xml
85.92/88.44 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.807350 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.92/88.45 c choco : 1801.0
85.92/88.45 c mistral : 1800.05
85.92/88.45 c abscon : 8.65568
85.92/88.45 c
85.92/88.45 c
85.92/88.45 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-1.xml
85.92/88.45 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.800900 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.92/88.45 c choco : 1801.0
85.92/88.45 c mistral : 79.088
85.92/88.46 c abscon : 8.44271
85.92/88.46 c
85.92/88.46 c
85.92/88.46 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
85.92/88.46 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
85.92/88.46 c choco : 1801.0
85.92/88.46 c mistral : 1800.07
85.92/88.46 c abscon : 349.37
85.92/88.46 c
85.92/88.46 c
85.92/88.46 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-0.xml
85.92/88.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 9.385860 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
85.92/88.47 c choco : 1801.0
85.92/88.47 c mistral : 60.79
85.92/88.47 c abscon : 7.75582
85.92/88.47 c
85.92/88.47 c
85.92/88.47 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
85.92/88.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.047100 | 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
85.92/88.47 c choco : 1801.0
85.92/88.47 c mistral : 1800.03
85.92/88.47 c abscon : 20.0829
85.92/88.47 c
85.92/88.47 c
85.92/88.47 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-0.xml
85.92/88.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 9.684750 | 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
85.92/88.48 c choco : 1801.0
85.92/88.48 c mistral : 71.15
85.92/88.48 c abscon : 8.93264
85.92/88.48 c
85.92/88.48 c
85.92/88.48 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
85.92/88.48 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
85.92/88.48 c choco : 1801.0
85.92/88.48 c mistral : 155.051
85.92/88.48 c abscon : 7.09492
85.92/88.48 c
85.92/88.48 c
85.92/88.48 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
85.92/88.48 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
85.92/88.49 c choco : 1801.0
85.92/88.49 c mistral : 71.9411
85.92/88.49 c abscon : 6.95394
85.92/88.49 c
85.92/88.49 c
85.92/88.49 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
85.92/88.49 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
85.92/88.49 c choco : 1801.0
85.92/88.49 c mistral : 1800.03
85.92/88.49 c abscon : 11.3953
85.92/88.49 c
85.92/88.49 c
85.92/88.49 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
85.92/88.49 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
85.97/88.50 c choco : 1801.0
85.97/88.50 c mistral : 152.693
85.97/88.50 c abscon : 6.91295
85.97/88.50 c
85.97/88.50 c
85.97/88.50 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
85.97/88.50 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
85.97/88.51 c choco : 1801.0
85.97/88.51 c mistral : 145.44
85.97/88.51 c abscon : 7.14491
85.97/88.51 c
85.97/88.51 c
85.97/88.51 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
85.97/88.51 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
85.97/88.51 c choco : 1801.0
85.97/88.51 c mistral : 73.3329
85.97/88.51 c abscon : 6.84696
85.97/88.51 c
85.97/88.51 c
85.97/88.51 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
85.97/88.51 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
85.97/88.52 c choco : 1801.0
85.97/88.52 c mistral : 1800.04
85.97/88.52 c abscon : 11.0943
85.97/88.52 c
85.97/88.52 c
85.97/88.52 c Length: 40
85.97/88.52 c 5.557570665893508 5.696374926775801 5.954599999999999 5.954599999999999 5.967717391100974 5.97551 5.97551 5.98607 5.99316 5.99672 5.99672 5.99672 6.00029 6.00029 6.071855171724702 6.090374824655705 6.102215632870491 6.223033133452611 6.2823174728796545 6.33890723236269 6.373960410141329 6.413276862406926 6.47474393100986 6.49810218344164 6.516721767368929 6.520904939841479 6.527340290185891 6.551405341035541 6.556182836075349 6.6046587340970175 6.869351366006038 6.9365009092397605 7.182494271935345 7.22464900129162 7.236523631680063 7.259395651923376 7.266234199305994 7.271745016889963 7.281471518365228 7.299815534598392
85.97/88.53 c
85.97/88.53 c 1.0 0.9262091251637029 0.814409329302094 0.814409329302094 0.8094460476581062 0.8065260668221885 0.8065260668221885 0.80260256664441 0.7999896715993404 0.7986841014152704 0.7986841014152704 0.7986841014152704 0.7973791362179533 0.7973791362179533 0.7720904892111468 0.765805416793416 0.7618403132153543 0.7236115629436534 0.7062224351514532 0.6903858319851331 0.6809275774997453 0.670622665696163 0.6551225798409918 0.6494185939731805 0.6449424253004263 0.6439452615666568 0.6424172412070659 0.6367668924768519 0.6356569656812691 0.6246098648359746 0.5704748796125894 0.5582015767003654 0.5174213532145688 0.5110236737332958 0.5092499624371675 0.5058680404840581 0.5048655790561978 0.5040606355774827 0.5026461692191835 0.5
85.97/88.54 c
85.97/88.54 c solver 0
85.97/88.54 c before 0.0 seconds: {} 0
85.97/88.54 c before 18.0 seconds: {5, 7, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39} 17706
85.97/88.54 c before 36.0 seconds: {2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21500
85.97/88.54 c before 72.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22309
85.97/88.54 c before 90.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23033
85.97/88.54 c before 144.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23795
85.97/88.54 c before 162.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24465
85.97/88.54 c before 342.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25465
85.97/88.54 c before 360.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26090
85.97/88.54 c before 450.0 seconds: {0, 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} 26732
85.97/88.54 c before 522.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} 27659
85.97/88.54 c
85.97/88.54 c solver 1
85.97/88.54 c before 0.0 seconds: {} 0
85.97/88.54 c before 36.0 seconds: {12} 797
85.97/88.54 c before 54.0 seconds: {5, 11, 12} 2402
85.97/88.54 c before 72.0 seconds: {5, 11, 12, 30, 32, 34} 3999
85.97/88.54 c before 90.0 seconds: {5, 11, 12, 20, 28, 30, 32, 34, 38} 5818
85.97/88.54 c before 108.0 seconds: {5, 7, 9, 11, 12, 20, 28, 30, 32, 34, 38} 7420
85.97/88.54 c before 126.0 seconds: {5, 7, 9, 10, 11, 12, 20, 22, 28, 30, 32, 34, 38} 8874
85.97/88.54 c before 162.0 seconds: {5, 7, 9, 10, 11, 12, 20, 22, 25, 28, 30, 32, 33, 34, 36, 37, 38} 11037
85.97/88.54 c before 216.0 seconds: {5, 7, 9, 10, 11, 12, 13, 20, 22, 25, 28, 30, 32, 33, 34, 36, 37, 38} 11835
85.97/88.54 c before 234.0 seconds: {4, 5, 7, 9, 10, 11, 12, 13, 20, 22, 23, 25, 28, 30, 32, 33, 34, 36, 37, 38} 13294
85.97/88.54 c before 252.0 seconds: {4, 5, 7, 9, 10, 11, 12, 13, 20, 22, 23, 24, 25, 28, 30, 32, 33, 34, 36, 37, 38} 13939
85.97/88.54 c
85.97/88.54 c solver 2
85.97/88.54 c before 0.0 seconds: {} 0
85.97/88.54 c
85.97/88.54 cTotal time: 43
85.97/88.54 c 774.0 seconds unused
85.97/88.54 c 0 c 19 c 40
85.97/88.54 c 0 c 0 c 21
85.97/88.54 c 0 c 0 c 0
85.97/88.54 c is solver0 dominated by:
85.97/88.54 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
85.97/88.54 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)
85.97/88.54 c is dominated? false
85.97/88.54 c
85.97/88.54 c is solver1 dominated by:
85.97/88.54 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
85.97/88.54 c is dominated? true
85.97/88.54 c
85.97/88.54 c is solver2 dominated by:
85.97/88.54 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)
85.97/88.54 c is dominated? true
85.97/88.54 c
85.97/88.54 c Number of non-dominated solvers: 1
85.97/88.54 c remove dominated solvers
85.97/88.54 c solver 0 is not dominated by another solver
85.97/88.54 c solver 2 is dominated by another solver
85.97/88.54 c solver 1 is dominated by another solver
85.97/88.54 c
85.97/88.54 c solver 0: 522.0
85.97/88.54 c
85.97/88.54 c+ 29/29 of 71
85.97/88.54 c
85.97/88.54 c solver 1: 0.0
85.97/88.54 c
85.97/88.54 c solver 2: 0.0
85.97/88.54 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} 27659
85.97/88.54 c do not run mistral
85.97/88.54 c do not run choco
85.97/88.55 c Starting solver: HOME/cpHydra_k_40/solver/abscon
85.97/88.55 c On Instance: HOME/instance-1087570-1215244728.xml
85.97/88.55 c Running for: 1800 seconds
112.20/114.95 s UNSATISFIABLE
112.20/114.95 d ASSIGNMENTS 0
112.20/114.95 d CHECKS 238659