0.00/0.00 c cpHydra_k_40 version 0.0
92.46/92.92 c CASE TO CLASSIFY:
92.46/92.92 c Case: 0
92.46/92.93 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.198400 | c 15 > 14.668800 | 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
92.46/92.94 c choco : 1801.0
92.46/92.94 c mistral : 1801.0
92.46/92.94 c abscon : 1801.0
92.46/92.94 c
92.46/92.94 c
92.76/93.23 c List of same ones: 40
92.76/93.23 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
92.76/93.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
92.76/93.24 c choco : 1801.0
92.76/93.24 c mistral : 1800.04
92.76/93.24 c abscon : 331.113
92.76/93.24 c
92.76/93.24 c
92.76/93.24 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
92.76/93.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
92.76/93.25 c choco : 1801.0
92.76/93.25 c mistral : 1800.09
92.76/93.25 c abscon : 506.936
92.76/93.25 c
92.76/93.25 c
92.76/93.25 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
92.76/93.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
92.76/93.26 c choco : 1801.0
92.76/93.26 c mistral : 1800.02
92.76/93.26 c abscon : 20.4989
92.76/93.26 c
92.76/93.26 c
92.76/93.26 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
92.76/93.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
92.76/93.27 c choco : 1801.0
92.76/93.27 c mistral : 1800.04
92.76/93.27 c abscon : 18.3632
92.76/93.27 c
92.76/93.27 c
92.76/93.27 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
92.76/93.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
92.76/93.28 c choco : 1801.0
92.76/93.28 c mistral : 228.6
92.76/93.28 c abscon : 55.2496
92.76/93.28 c
92.76/93.28 c
92.76/93.28 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-5.xml
92.76/93.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
92.76/93.29 c choco : 1801.0
92.76/93.29 c mistral : 44.9202
92.76/93.29 c abscon : 8.17176
92.76/93.29 c
92.76/93.29 c
92.76/93.29 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
92.76/93.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
92.76/93.30 c choco : 1801.0
92.76/93.30 c mistral : 1800.06
92.76/93.30 c abscon : 19.3081
92.76/93.30 c
92.76/93.30 c
92.76/93.30 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
92.76/93.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
92.83/93.30 c choco : 1801.0
92.83/93.30 c mistral : 91.75
92.83/93.30 c abscon : 7.97579
92.83/93.30 c
92.83/93.30 c
92.83/93.30 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
92.83/93.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
92.83/93.31 c choco : 1801.0
92.83/93.31 c mistral : 1800.05
92.83/93.31 c abscon : 19.2911
92.83/93.31 c
92.83/93.31 c
92.83/93.31 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
92.83/93.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
92.83/93.32 c choco : 1801.0
92.83/93.32 c mistral : 93.34
92.83/93.32 c abscon : 7.92479
92.83/93.32 c
92.83/93.32 c
92.83/93.32 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-3.xml
92.83/93.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
92.83/93.33 c choco : 1801.0
92.83/93.33 c mistral : 108.08
92.83/93.33 c abscon : 8.13076
92.83/93.33 c
92.83/93.33 c
92.83/93.33 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
92.83/93.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
92.83/93.35 c choco : 1801.0
92.83/93.35 c mistral : 41.0328
92.83/93.35 c abscon : 8.14076
92.83/93.35 c
92.83/93.35 c
92.83/93.35 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-0.xml
92.83/93.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
92.83/93.36 c choco : 1801.0
92.83/93.36 c mistral : 21.6927
92.83/93.36 c abscon : 8.00678
92.83/93.36 c
92.83/93.36 c
92.83/93.36 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-4.xml
92.83/93.36 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
92.83/93.36 c choco : 1801.0
92.83/93.36 c mistral : 199.044
92.83/93.36 c abscon : 8.15376
92.83/93.36 c
92.83/93.36 c
92.83/93.36 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
92.83/93.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
92.83/93.38 c choco : 1801.0
92.83/93.38 c mistral : 1800.08
92.83/93.38 c abscon : 15.1547
92.83/93.38 c
92.83/93.38 c
92.83/93.38 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
92.83/93.38 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
92.83/93.38 c choco : 1801.0
92.83/93.38 c mistral : 1800.08
92.83/93.38 c abscon : 12.863
92.83/93.38 c
92.83/93.38 c
92.83/93.38 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
92.83/93.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
92.83/93.39 c choco : 1801.0
92.83/93.39 c mistral : 1800.03
92.83/93.39 c abscon : 129.181
92.83/93.39 c
92.83/93.39 c
92.83/93.39 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
92.83/93.39 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
92.83/93.40 c choco : 1801.0
92.83/93.40 c mistral : 1800.02
92.83/93.40 c abscon : 85.215
92.91/93.40 c
92.91/93.40 c
92.91/93.40 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
92.91/93.40 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
92.91/93.41 c choco : 1801.0
92.91/93.41 c mistral : 1800.1
92.91/93.41 c abscon : 11.7712
92.91/93.41 c
92.91/93.41 c
92.91/93.41 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
92.91/93.41 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
92.91/93.42 c choco : 1801.0
92.91/93.42 c mistral : 1800.05
92.91/93.42 c abscon : 13.29
92.91/93.42 c
92.91/93.42 c
92.91/93.42 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
92.91/93.42 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
92.91/93.43 c choco : 1801.0
92.91/93.43 c mistral : 80.98
92.91/93.43 c abscon : 8.12576
92.91/93.43 c
92.91/93.43 c
92.91/93.43 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
92.91/93.43 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
92.91/93.43 c choco : 1801.0
92.91/93.43 c mistral : 1800.05
92.91/93.43 c abscon : 156.38
92.91/93.43 c
92.91/93.43 c
92.91/93.43 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-5.xml
92.91/93.43 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
92.91/93.44 c choco : 1801.0
92.91/93.44 c mistral : 108.251
92.91/93.44 c abscon : 8.62069
92.91/93.44 c
92.91/93.44 c
92.91/93.44 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-4.xml
92.91/93.44 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
92.91/93.44 c choco : 1801.0
92.91/93.44 c mistral : 233.323
92.91/93.44 c abscon : 8.47971
92.91/93.45 c
92.91/93.45 c
92.91/93.45 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-0.xml
92.91/93.45 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
92.91/93.45 c choco : 1801.0
92.91/93.45 c mistral : 244.12
92.91/93.45 c abscon : 11.5512
92.91/93.45 c
92.91/93.45 c
92.91/93.45 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-3.xml
92.91/93.45 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
92.91/93.46 c choco : 1801.0
92.91/93.46 c mistral : 158.535
92.91/93.46 c abscon : 8.39572
92.91/93.46 c
92.91/93.46 c
92.91/93.46 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
92.91/93.46 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
92.91/93.46 c choco : 1801.0
92.91/93.46 c mistral : 1800.06
92.91/93.46 c abscon : 441.864
92.91/93.46 c
92.91/93.46 c
92.91/93.46 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-2.xml
92.91/93.46 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
92.91/93.47 c choco : 1801.0
92.91/93.47 c mistral : 1800.05
92.91/93.47 c abscon : 8.65568
92.91/93.47 c
92.91/93.47 c
92.91/93.47 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-1.xml
92.91/93.47 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
92.91/93.47 c choco : 1801.0
92.91/93.48 c mistral : 79.088
92.91/93.48 c abscon : 8.44271
92.91/93.48 c
92.91/93.48 c
92.91/93.48 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
92.91/93.48 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
92.91/93.48 c choco : 1801.0
92.91/93.48 c mistral : 1800.07
92.91/93.48 c abscon : 349.37
92.91/93.48 c
92.91/93.48 c
92.91/93.48 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-0.xml
92.91/93.48 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
92.91/93.49 c choco : 1801.0
92.91/93.49 c mistral : 60.79
92.91/93.49 c abscon : 7.75582
92.91/93.49 c
92.91/93.49 c
92.91/93.49 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
92.91/93.49 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
92.91/93.49 c choco : 1801.0
92.91/93.49 c mistral : 1800.03
92.91/93.49 c abscon : 20.0829
92.91/93.49 c
92.91/93.49 c
92.91/93.49 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-0.xml
92.91/93.49 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
92.91/93.50 c choco : 1801.0
92.91/93.50 c mistral : 71.15
92.91/93.50 c abscon : 8.93264
92.91/93.50 c
92.91/93.50 c
92.91/93.50 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
92.91/93.50 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
92.96/93.51 c choco : 1801.0
92.96/93.51 c mistral : 155.051
92.96/93.51 c abscon : 7.09492
92.96/93.51 c
92.96/93.51 c
92.96/93.51 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
92.96/93.51 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
92.96/93.51 c choco : 1801.0
92.96/93.51 c mistral : 71.9411
92.96/93.51 c abscon : 6.95394
92.96/93.51 c
92.96/93.51 c
92.96/93.51 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
92.96/93.51 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
92.96/93.52 c choco : 1801.0
92.96/93.52 c mistral : 1800.03
92.96/93.52 c abscon : 11.3953
92.96/93.52 c
92.96/93.52 c
92.96/93.52 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
92.96/93.52 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
92.96/93.53 c choco : 1801.0
92.96/93.53 c mistral : 152.693
92.96/93.53 c abscon : 6.91295
92.96/93.53 c
92.96/93.53 c
92.96/93.53 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
92.96/93.53 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
92.96/93.54 c choco : 1801.0
92.96/93.54 c mistral : 145.44
92.96/93.54 c abscon : 7.14491
92.96/93.54 c
92.96/93.54 c
92.96/93.54 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
92.96/93.54 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
92.96/93.54 c choco : 1801.0
92.96/93.54 c mistral : 73.3329
92.96/93.54 c abscon : 6.84696
92.96/93.54 c
92.96/93.54 c
92.96/93.54 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
92.96/93.54 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
92.96/93.55 c choco : 1801.0
92.96/93.55 c mistral : 1800.04
92.96/93.55 c abscon : 11.0943
92.96/93.55 c
92.96/93.55 c
92.96/93.55 c Length: 40
92.96/93.55 c 5.564920644214075 5.703893478703822 5.964899999999998 5.964899999999998 5.974674708304127 5.985809999999999 5.985809999999999 5.996369999999999 6.003459999999999 6.007019999999999 6.007019999999999 6.007019999999999 6.010589999999999 6.010589999999999 6.079758841960757 6.098295231193714 6.109351410751309 6.230316045759558 6.2896684793436455 6.3470352893693605 6.381411804612598 6.419351333576004 6.482299401304216 6.505680888919238 6.524981257084192 6.528506019944303 6.533609032830479 6.559035883614985 6.563817946138436 6.6110503147294235 6.877260403943493 6.943352633554198 7.189630679414905 7.231875255137079 7.243762098375678 7.266657416113959 7.273502872149292 7.279019238102342 7.288755491355435 7.307117758128988
92.96/93.56 c
92.96/93.56 c 1.0 0.9261242533628585 0.8132836573254947 0.8132836573254947 0.809589516584699 0.8054218535960171 0.8054218535960171 0.8015089565851501 0.7989030944917042 0.7976010299341488 0.7976010299341488 0.7976010299341488 0.7962995630867438 0.7962995630867438 0.7718962591827302 0.7656085339917156 0.7619067049818439 0.7236262377156286 0.706216453913864 0.6901671743416634 0.6808946331621388 0.6709460291984585 0.6550657692861893 0.6493569897104053 0.6447190794001969 0.6438792181493491 0.6426671699295742 0.6366952631718904 0.6355844964141752 0.6248181252079805 0.5703637526681152 0.5582839409200145 0.5174473297763704 0.5110353702423565 0.50925971141403 0.5058741461590888 0.5048706223507287 0.5040648316003762 0.5026488888417459 0.5
92.96/93.57 c
92.96/93.57 c solver 0
92.96/93.57 c before 0.0 seconds: {} 0
92.96/93.57 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} 17697
92.96/93.57 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} 21487
92.96/93.57 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} 22296
92.96/93.57 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} 23020
92.96/93.57 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} 23782
92.96/93.57 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} 24453
92.96/93.57 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} 25453
92.96/93.57 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} 26078
92.96/93.57 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} 26720
92.96/93.57 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} 27646
92.96/93.57 c
92.96/93.57 c solver 1
92.96/93.57 c before 0.0 seconds: {} 0
92.96/93.57 c before 36.0 seconds: {12} 796
92.96/93.57 c before 54.0 seconds: {5, 11, 12} 2399
92.96/93.57 c before 72.0 seconds: {5, 11, 12, 30, 32, 34} 3996
92.96/93.57 c before 90.0 seconds: {5, 11, 12, 20, 28, 30, 32, 34, 38} 5815
92.96/93.57 c before 108.0 seconds: {5, 7, 9, 11, 12, 20, 28, 30, 32, 34, 38} 7414
92.96/93.57 c before 126.0 seconds: {5, 7, 9, 10, 11, 12, 20, 22, 28, 30, 32, 34, 38} 8867
92.96/93.57 c before 162.0 seconds: {5, 7, 9, 10, 11, 12, 20, 22, 25, 28, 30, 32, 33, 34, 36, 37, 38} 11031
92.96/93.57 c before 216.0 seconds: {5, 7, 9, 10, 11, 12, 13, 20, 22, 25, 28, 30, 32, 33, 34, 36, 37, 38} 11827
92.96/93.57 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} 13286
92.96/93.57 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} 13931
92.96/93.57 c
92.96/93.57 c solver 2
92.96/93.57 c before 0.0 seconds: {} 0
92.96/93.57 c
92.96/93.57 cTotal time: 43
92.96/93.57 c 774.0 seconds unused
92.96/93.57 c 0 c 19 c 40
92.96/93.57 c 0 c 0 c 21
92.96/93.57 c 0 c 0 c 0
92.96/93.57 c is solver0 dominated by:
92.96/93.57 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)
92.96/93.57 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)
92.96/93.57 c is dominated? false
92.96/93.57 c
92.96/93.57 c is solver1 dominated by:
92.96/93.57 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)
92.96/93.57 c is dominated? true
92.96/93.57 c
92.96/93.57 c is solver2 dominated by:
92.96/93.57 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)
92.96/93.57 c is dominated? true
92.96/93.57 c
92.96/93.57 c Number of non-dominated solvers: 1
92.96/93.57 c remove dominated solvers
92.96/93.57 c solver 0 is not dominated by another solver
92.96/93.57 c solver 2 is dominated by another solver
92.96/93.57 c solver 1 is dominated by another solver
92.96/93.57 c
92.96/93.57 c solver 0: 522.0
92.96/93.57 c
92.96/93.57 c+ 29/29 of 71
92.96/93.57 c
92.96/93.57 c solver 1: 0.0
92.96/93.57 c
92.96/93.57 c solver 2: 0.0
92.96/93.57 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27646
92.96/93.57 c do not run mistral
92.96/93.57 c do not run choco
92.96/93.58 c Starting solver: HOME/cpHydra_k_40/solver/abscon
92.96/93.58 c On Instance: HOME/instance-1087612-1215244930.xml
92.96/93.58 c Running for: 1800 seconds
119.89/120.67 s UNSATISFIABLE
119.89/120.67 d ASSIGNMENTS 0
119.89/120.67 d CHECKS 207354