0.00/0.00 c cpHydra_k_40 version 0.0
42.26/42.72 c CASE TO CLASSIFY:
42.26/42.72 c Case: 0
42.26/42.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.868500 | c 15 > 13.209000 | c 34 > 68.211700 | c 16 > 2.000000 | c 13 > 3.462570 | c 14 > -1.000000 | c 11 > 9.344300 | c 12 > 4.739850 | c 21 > 18.965100 | c 20 > 0.000000 | c 22 > 22.315900 | c 23 > 5.946110 | c 24 > 0.700818 | 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.084100 | 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.834800 | c 31 > -1.000000 | c 4 > 9.344300 | c 9 > -1.000000 | c 8 > -1.000000 | c
42.26/42.73 c choco : 1801.0
42.26/42.73 c mistral : 1801.0
42.26/42.73 c abscon : 1801.0
42.26/42.73 c
42.26/42.73 c
42.36/42.81 c List of same ones: 40
42.36/42.81 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
42.36/42.81 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
42.36/42.82 c choco : 1801.0
42.36/42.82 c mistral : 228.6
42.36/42.82 c abscon : 55.2496
42.36/42.82 c
42.36/42.82 c
42.36/42.82 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
42.36/42.82 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
42.36/42.83 c choco : 1801.0
42.36/42.83 c mistral : 1800.03
42.36/42.83 c abscon : 129.181
42.36/42.83 c
42.36/42.83 c
42.36/42.83 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
42.36/42.83 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
42.36/42.84 c choco : 1801.0
42.36/42.84 c mistral : 1800.02
42.36/42.84 c abscon : 85.215
42.36/42.84 c
42.36/42.84 c
42.36/42.84 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
42.36/42.84 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
42.36/42.84 c choco : 1801.0
42.36/42.84 c mistral : 1800.1
42.36/42.84 c abscon : 11.7712
42.36/42.85 c
42.36/42.85 c
42.36/42.85 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
42.36/42.85 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
42.36/42.86 c choco : 1801.0
42.36/42.86 c mistral : 80.98
42.36/42.86 c abscon : 8.12576
42.36/42.86 c
42.36/42.86 c
42.36/42.86 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-5.xml
42.36/42.86 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
42.36/42.87 c choco : 1801.0
42.36/42.87 c mistral : 108.251
42.36/42.87 c abscon : 8.62069
42.36/42.87 c
42.36/42.87 c
42.36/42.87 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-4.xml
42.36/42.87 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
42.36/42.87 c choco : 1801.0
42.36/42.87 c mistral : 233.323
42.36/42.87 c abscon : 8.47971
42.36/42.87 c
42.36/42.87 c
42.36/42.87 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-3.xml
42.36/42.87 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
42.36/42.88 c choco : 1801.0
42.36/42.88 c mistral : 158.535
42.36/42.88 c abscon : 8.39572
42.36/42.88 c
42.36/42.88 c
42.36/42.88 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-2.xml
42.36/42.88 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
42.36/42.89 c choco : 1801.0
42.36/42.89 c mistral : 1800.05
42.36/42.89 c abscon : 8.65568
42.36/42.89 c
42.36/42.89 c
42.36/42.89 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-1.xml
42.36/42.89 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
42.36/42.90 c choco : 1801.0
42.36/42.90 c mistral : 79.088
42.36/42.90 c abscon : 8.44271
42.36/42.90 c
42.36/42.90 c
42.36/42.90 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-0.xml
42.36/42.90 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
42.44/42.91 c choco : 1801.0
42.44/42.91 c mistral : 60.79
42.44/42.91 c abscon : 7.75582
42.44/42.91 c
42.44/42.91 c
42.44/42.91 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
42.44/42.91 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
42.44/42.93 c choco : 1801.0
42.44/42.93 c mistral : 1800.04
42.44/42.93 c abscon : 331.113
42.44/42.93 c
42.44/42.93 c
42.44/42.93 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
42.44/42.93 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
42.44/42.93 c choco : 1801.0
42.44/42.93 c mistral : 1800.02
42.44/42.93 c abscon : 20.4989
42.44/42.93 c
42.44/42.93 c
42.44/42.93 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
42.44/42.93 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
42.44/42.94 c choco : 1801.0
42.44/42.94 c mistral : 1800.04
42.44/42.94 c abscon : 18.3632
42.44/42.94 c
42.44/42.94 c
42.44/42.94 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-5.xml
42.44/42.94 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
42.44/42.95 c choco : 1801.0
42.44/42.95 c mistral : 44.9202
42.44/42.95 c abscon : 8.17176
42.44/42.95 c
42.44/42.95 c
42.44/42.95 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
42.44/42.95 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
42.44/42.96 c choco : 1801.0
42.44/42.96 c mistral : 1800.06
42.44/42.96 c abscon : 19.3081
42.44/42.96 c
42.44/42.96 c
42.44/42.96 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
42.44/42.96 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
42.44/42.97 c choco : 1801.0
42.44/42.97 c mistral : 91.75
42.44/42.97 c abscon : 7.97579
42.44/42.97 c
42.44/42.97 c
42.44/42.97 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
42.44/42.97 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
42.44/42.97 c choco : 1801.0
42.44/42.97 c mistral : 1800.05
42.44/42.97 c abscon : 19.2911
42.44/42.97 c
42.44/42.97 c
42.44/42.97 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
42.44/42.97 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
42.44/42.98 c choco : 1801.0
42.44/42.98 c mistral : 93.34
42.44/42.98 c abscon : 7.92479
42.44/42.98 c
42.44/42.98 c
42.44/42.98 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-3.xml
42.44/42.98 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
42.44/42.99 c choco : 1801.0
42.44/42.99 c mistral : 108.08
42.44/42.99 c abscon : 8.13076
42.44/42.99 c
42.44/42.99 c
42.44/42.99 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
42.44/42.99 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
42.44/43.00 c choco : 1801.0
42.44/43.00 c mistral : 41.0328
42.44/43.00 c abscon : 8.14076
42.44/43.00 c
42.44/43.00 c
42.44/43.00 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-0.xml
42.44/43.00 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
42.50/43.00 c choco : 1801.0
42.50/43.00 c mistral : 21.6927
42.50/43.00 c abscon : 8.00678
42.50/43.00 c
42.50/43.00 c
42.50/43.00 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-4.xml
42.50/43.00 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
42.50/43.01 c choco : 1801.0
42.50/43.01 c mistral : 199.044
42.50/43.01 c abscon : 8.15376
42.50/43.01 c
42.50/43.01 c
42.50/43.01 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
42.50/43.01 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
42.50/43.01 c choco : 1801.0
42.50/43.01 c mistral : 1800.09
42.50/43.01 c abscon : 506.936
42.50/43.01 c
42.50/43.01 c
42.50/43.02 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
42.50/43.02 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
42.50/43.02 c choco : 1801.0
42.50/43.02 c mistral : 1800.05
42.50/43.02 c abscon : 156.38
42.50/43.02 c
42.50/43.02 c
42.50/43.02 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
42.50/43.02 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
42.50/43.03 c choco : 1801.0
42.50/43.03 c mistral : 1800.08
42.50/43.03 c abscon : 15.1547
42.50/43.03 c
42.50/43.03 c
42.50/43.03 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
42.50/43.03 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
42.50/43.03 c choco : 1801.0
42.50/43.03 c mistral : 1800.08
42.50/43.03 c abscon : 12.863
42.50/43.03 c
42.50/43.03 c
42.50/43.03 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
42.50/43.03 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
42.50/43.04 c choco : 1801.0
42.50/43.04 c mistral : 1800.06
42.50/43.04 c abscon : 441.864
42.50/43.04 c
42.50/43.04 c
42.50/43.04 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
42.50/43.04 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
42.50/43.04 c choco : 1801.0
42.50/43.04 c mistral : 1800.07
42.50/43.04 c abscon : 349.37
42.50/43.04 c
42.50/43.04 c
42.50/43.04 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-10.xml
42.50/43.04 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.197400 | c 15 > 10.848600 | c 34 > 67.948800 | c 16 > 2.000000 | c 13 > 2.677290 | c 14 > -1.000000 | c 11 > 7.965780 | c 12 > 4.299830 | c 21 > 16.130100 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.613500 | c 24 > 0.961338 | 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 > 11.265600 | 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 > 15.989200 | c 31 > -1.000000 | c 4 > 7.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
42.50/43.05 c choco : 72.82
42.50/43.05 c mistral : 8.42672
42.50/43.05 c abscon : 13.097
42.50/43.05 c
42.50/43.05 c
42.50/43.05 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-9.xml
42.50/43.05 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.197400 | c 15 > 10.667100 | c 34 > 67.948800 | c 16 > 2.000000 | c 13 > 2.677290 | c 14 > -1.000000 | c 11 > 7.965780 | c 12 > 4.299830 | c 21 > 16.130100 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.613500 | c 24 > 0.961338 | 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 > 11.265600 | 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 > 15.989200 | c 31 > -1.000000 | c 4 > 7.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
42.50/43.06 c choco : 1801.0
42.50/43.06 c mistral : 12.12
42.50/43.06 c abscon : 14.4028
42.50/43.06 c
42.50/43.06 c
42.50/43.06 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
42.50/43.06 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
42.50/43.06 c choco : 1801.0
42.50/43.06 c mistral : 1800.05
42.50/43.06 c abscon : 13.29
42.50/43.06 c
42.50/43.06 c
42.50/43.06 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-8.xml
42.50/43.06 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.197400 | c 15 > 10.554600 | c 34 > 67.948800 | c 16 > 2.000000 | c 13 > 2.677290 | c 14 > -1.000000 | c 11 > 7.965780 | c 12 > 4.299830 | c 21 > 16.130100 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.613500 | c 24 > 0.961338 | 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 > 11.265600 | 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 > 15.989200 | c 31 > -1.000000 | c 4 > 7.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
42.50/43.07 c choco : 1801.0
42.50/43.07 c mistral : 13.8559
42.50/43.07 c abscon : 15.2897
42.50/43.07 c
42.50/43.07 c
42.50/43.07 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-7.xml
42.50/43.07 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.197400 | c 15 > 10.405100 | c 34 > 67.948800 | c 16 > 2.000000 | c 13 > 2.677290 | c 14 > -1.000000 | c 11 > 7.965780 | c 12 > 4.299830 | c 21 > 16.130100 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.613500 | c 24 > 0.961338 | 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 > 11.265600 | 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 > 15.989200 | c 31 > -1.000000 | c 4 > 7.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
42.50/43.07 c choco : 1801.0
42.50/43.07 c mistral : 133.496
42.50/43.07 c abscon : 21.5037
42.50/43.07 c
42.50/43.07 c
42.50/43.07 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-6.xml
42.50/43.07 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.197400 | c 15 > 10.382600 | c 34 > 67.948800 | c 16 > 2.000000 | c 13 > 2.677290 | c 14 > -1.000000 | c 11 > 7.965780 | c 12 > 4.299830 | c 21 > 16.130100 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.613500 | c 24 > 0.961338 | 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 > 11.265600 | 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 > 15.989200 | c 31 > -1.000000 | c 4 > 7.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
42.50/43.08 c choco : 1801.0
42.50/43.08 c mistral : 20.4499
42.50/43.08 c abscon : 5.44717
42.50/43.08 c
42.50/43.08 c
42.50/43.08 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
42.50/43.08 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
42.50/43.08 c choco : 1801.0
42.50/43.08 c mistral : 1800.03
42.50/43.08 c abscon : 20.0829
42.50/43.09 c
42.50/43.09 c
42.50/43.09 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-0.xml
42.50/43.09 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
42.50/43.09 c choco : 1801.0
42.50/43.09 c mistral : 244.12
42.50/43.09 c abscon : 11.5512
42.50/43.09 c
42.50/43.09 c
42.50/43.09 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-5.xml
42.50/43.09 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.197400 | c 15 > 10.335400 | c 34 > 67.948800 | c 16 > 2.000000 | c 13 > 2.677290 | c 14 > -1.000000 | c 11 > 7.965780 | c 12 > 4.299830 | c 21 > 16.130100 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.613500 | c 24 > 0.961338 | 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 > 11.265600 | 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 > 15.989200 | c 31 > -1.000000 | c 4 > 7.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
42.55/43.10 c choco : 1801.0
42.55/43.10 c mistral : 44.24
42.55/43.10 c abscon : 5.43717
42.55/43.10 c
42.55/43.10 c
42.55/43.10 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-4.xml
42.55/43.10 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.197400 | c 15 > 10.266800 | c 34 > 67.948800 | c 16 > 2.000000 | c 13 > 2.677290 | c 14 > -1.000000 | c 11 > 7.965780 | c 12 > 4.299830 | c 21 > 16.130100 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.613500 | c 24 > 0.961338 | 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 > 11.265600 | 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 > 15.989200 | c 31 > -1.000000 | c 4 > 7.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
42.55/43.11 c choco : 1801.0
42.55/43.11 c mistral : 12.899
42.55/43.11 c abscon : 5.45517
42.55/43.11 c
42.55/43.11 c
42.55/43.11 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-3.xml
42.55/43.11 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.197400 | c 15 > 10.164900 | c 34 > 67.948800 | c 16 > 2.000000 | c 13 > 2.677290 | c 14 > -1.000000 | c 11 > 7.965780 | c 12 > 4.299830 | c 21 > 16.130100 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.613500 | c 24 > 0.961338 | 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 > 11.265600 | 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 > 15.989200 | c 31 > -1.000000 | c 4 > 7.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
42.55/43.12 c choco : 1801.0
42.55/43.12 c mistral : 9.32058
42.55/43.12 c abscon : 5.39818
42.55/43.12 c
42.55/43.12 c
42.55/43.12 c Length: 40
42.55/43.12 c 4.7739506898525885 4.883006928025395 4.983192260905052 5.033041829663648 5.110915391507084 5.1976093746302245 5.217849081330735 5.237658374077484 5.26423158890678 5.268401760415012 5.545927420976947 5.919368852700512 5.934135974921789 5.934135974921789 5.950026073805137 5.950026073805137 5.958062698877964 5.963462916331498 5.966175784140204 5.966175784140204 5.966175784140204 5.968897166391876 5.968897166391876 6.00360355239426 6.189272028726885 6.245673297117052 6.2580948644712135 6.263455906732402 6.315159659547889 6.34907877507438 6.418766917570694 6.428673797792277 6.46414360082602 6.526957050731986 6.536654350055538 6.548174974416995 6.5548154871987805 6.557201391760054 6.587552957821287 6.633691125014789
42.55/43.12 c
42.55/43.12 c 1.0 0.9446076684048471 0.8988673799849596 0.8777198042207157 0.8466044914235509 0.8144613961361259 0.8073055609478795 0.800422621725155 0.7913717241985491 0.7899699028901939 0.706664249101797 0.618849346717885 0.6158232378707973 0.6158232378707973 0.6125998894440523 0.6125998894440523 0.6109824537367077 0.6099004056165314 0.6093582700121322 0.6093582700121322 0.6093582700121322 0.6088154003731624 0.6088154003731624 0.6019759402418637 0.5678489639204821 0.5582353492979322 0.556161665902729 0.5552714337416036 0.5468297859726977 0.5414298754452167 0.5306635372343296 0.5291676559890507 0.5238803813560802 0.5147718730800273 0.5133938264338446 0.5117662329154682 0.5108327644414309 0.5104982046863092 0.5062801337803545 0.5
42.55/43.13 c
42.55/43.13 c solver 0
42.55/43.13 c before 0.0 seconds: {} 0
42.55/43.13 c before 18.0 seconds: {3, 4, 5, 6, 7, 8, 9, 10, 14, 16, 18, 19, 20, 21, 22, 25, 26, 29, 30, 31, 32, 34, 36, 37, 38, 39} 16484
42.55/43.13 c before 36.0 seconds: {3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19965
42.55/43.13 c before 72.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20965
42.55/43.13 c before 90.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21863
42.55/43.13 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22808
42.55/43.13 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23376
42.55/43.13 c before 342.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, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23995
42.55/43.13 c before 360.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, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24542
42.55/43.13 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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25097
42.55/43.13 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} 25699
42.55/43.13 c
42.55/43.13 c solver 1
42.55/43.13 c before 0.0 seconds: {} 0
42.55/43.13 c before 18.0 seconds: {29, 30, 32, 38, 39} 2602
42.55/43.13 c before 36.0 seconds: {21, 29, 30, 32, 34, 38, 39} 3724
42.55/43.13 c before 54.0 seconds: {14, 20, 21, 29, 30, 32, 34, 37, 38, 39} 5456
42.55/43.13 c before 72.0 seconds: {10, 14, 20, 21, 29, 30, 32, 34, 37, 38, 39} 6163
42.55/43.14 c before 90.0 seconds: {4, 9, 10, 14, 20, 21, 29, 30, 32, 34, 37, 38, 39} 7800
42.55/43.14 c before 108.0 seconds: {4, 9, 10, 14, 16, 18, 20, 21, 29, 30, 32, 34, 37, 38, 39} 9020
42.55/43.14 c before 126.0 seconds: {4, 5, 9, 10, 14, 16, 18, 19, 20, 21, 29, 30, 32, 34, 37, 38, 39} 10444
42.55/43.14 c before 144.0 seconds: {4, 5, 9, 10, 14, 16, 18, 19, 20, 21, 29, 30, 32, 33, 34, 37, 38, 39} 10959
42.55/43.14 c before 162.0 seconds: {4, 5, 7, 9, 10, 14, 16, 18, 19, 20, 21, 29, 30, 32, 33, 34, 37, 38, 39} 11759
42.55/43.14 c before 216.0 seconds: {4, 5, 7, 9, 10, 14, 16, 18, 19, 20, 21, 22, 29, 30, 32, 33, 34, 37, 38, 39} 12368
42.55/43.14 c before 234.0 seconds: {0, 4, 5, 6, 7, 9, 10, 14, 16, 18, 19, 20, 21, 22, 29, 30, 32, 33, 34, 37, 38, 39} 14175
42.55/43.14 c before 252.0 seconds: {0, 4, 5, 6, 7, 9, 10, 14, 16, 18, 19, 20, 21, 22, 29, 30, 32, 33, 34, 36, 37, 38, 39} 14686
42.55/43.14 c
42.55/43.14 c solver 2
42.55/43.14 c before 0.0 seconds: {} 0
42.55/43.14 c before 90.0 seconds: {29} 541
42.55/43.14 c
42.55/43.14 cTotal time: 48
42.55/43.14 c 864.0 seconds unused
42.55/43.14 c 0 c 17 c 39
42.55/43.14 c 0 c 0 c 22
42.55/43.14 c 0 c 0 c 0
42.55/43.14 c is solver0 dominated by:
42.55/43.14 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)
42.55/43.14 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)
42.55/43.14 c is dominated? false
42.55/43.14 c
42.55/43.14 c is solver1 dominated by:
42.55/43.14 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)
42.55/43.14 c is dominated? true
42.55/43.14 c
42.55/43.14 c is solver2 dominated by:
42.55/43.14 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)
42.55/43.14 c is dominated? true
42.55/43.14 c
42.55/43.14 c Number of non-dominated solvers: 1
42.55/43.14 c remove dominated solvers
42.55/43.14 c solver 0 is not dominated by another solver
42.55/43.14 c solver 2 is dominated by another solver
42.55/43.14 c solver 1 is dominated by another solver
42.55/43.14 c
42.55/43.14 c solver 0: 522.0
42.55/43.14 c
42.55/43.14 c+ 29/29 of 71
42.55/43.14 c
42.55/43.14 c solver 1: 0.0
42.55/43.14 c
42.55/43.14 c solver 2: 0.0
42.55/43.14 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} 25699
42.55/43.14 c do not run mistral
42.55/43.14 c do not run choco
42.55/43.14 c Starting solver: HOME/cpHydra_k_40/solver/abscon
42.55/43.14 c On Instance: HOME/instance-1086436-1215239323.xml
42.55/43.14 c Running for: 1800 seconds
71.21/71.87 s SAT
71.21/71.87 v 3132 -2956 3168 -2632 -3208 3164 2256 -2872 3120 -2224 -2216 2372 -2252 3068 -2248 2436 -2740 -2624 -2256 2940 -2960 -2788 2968 -2912 -2668 -2932 -3208 -2964 -3208 2744 -2536 -2252 -2780 2932 -2488 -2488 -2912 -2996 -2312 -2272 -2288 -2440 -2860 -2736 2528 -2592 -2476 -2856 2972 2268 -2900 3208 2460 -2960 3208 2292 2648 -2620 -2216 -2740 -3100 -2256 -3136 2256 2496 -2956 -2584 -2240 -2856 2664 2904 -3208 2284 -2488 -3168 -2428 -2932 2712 3072 -3172 2896 -2704 -2440 3164 2976 2292 -2448 -2916 3032 -2228 -2488 2232 -2996 -2996 -2244 2736 2264 -2256 -2960 2980 2972 -3056 -2472 2816 3012 2556 2304 2344 2740 -2680 -2956 -2956 2860 -3136 -2952 2608 2252 -2492 2776 -3104 3092 2376 -2616 -2868 -2460 -3168 -2956 -3064 -2872 -2532 2216 -3056 -3168 -2960 2924 -2596 -3168 2780 2868 -2920 -2532 2256 3168 2912 2348 3008 2620 3016 -2604 -3040 -2448 -2400 -3068 2996 2956 -2964 -2960 -2988 -2440 3148 3164 2972 -3076 -2216 -3208 2216 -2728 -2500 -2268 -2244 3068 2648 -2540 -2448 -2448 -2956 3148 -2820 3128 3108 -2728 -3100 -2272 2496 -3068 -2284 2924 -3208 -2688 -2716 -2972 -2376 -2976 3164 -2620 2488 2624 2308 2516 -2344 -3176 -2332 2980 2916 -3068 2672 -2448 -2920 2636 -3108 2776 2956 2620 2964 3208 -2996 -2768 -2900 -2584 -2976 2476 -2912 -2784 3108 -2292 -2392 -2936 -2828 -2448 -2300 -2576 2620 -2692 -2612 -2864 -2996 -2916 -2864 -2308 -3204 2756 3068 2516 -2916 2216 -2448 2272 2292 -3108 -2916 -2580 -2872 -2816 3176 -2604 -2516 -3104 -2716 -3024 -2352 -2684 -2780 -2400 2488 2996 -2580 -2256 -2248 -3168 2428 -2776 -2884 -3068 2556 2268 2596 2564 -2724 2388 -2956 -2920 -2916 -2488 2956 -2996 -2712 -2256 -2908 2252 -3208 3128 2900 2940 -2896 -2792 -2660 3132 -3068 2876 -2316 -2216 -2964 -2520 -2744 -2956 -2836 -2916 -2872 3108 -2932 -2216 -2996 2728 -2388 2620 -2396 2936 3016 -3080 -2712 -3188 -3068 -3168 -3068 -2824 3136 -3200 2624 3092 -2568 -3204 -2868 -2716 -2756 -2268 -3064 2908 -2324 -2256 -2500 -2660 -2956 -2872 -3108 2856 -2920 -2884 2332 2384 -2488 -3020 -2956 -2972 3052 2912 2976 -2440 -2256 -3208 2644 -2400 2364 -3004 -2332 2824 -2456 -2652 -2536 -2608 -2440 -2664 -2996 -3208 2216 -3208 -2500 -2560 2744 2256 -2476 -2784 2776 -2892 -3208 -3012 -2912 2308 2936 -3080 -2488 -2916 -2492 -2300 -2872 -2636 -2232 -2996 2872 -2712 -2672 -2496 -2864 -2304 2396 -2596 -2280 -3168 -3020 2500 -2688 -2856 2756 -2496 2960 -2912 -2216 -2592 2768 -3120 -2856 2704 -2908 3012 -2924 -2456 -2956 3176 2868 2960 -2920 -2820 -3204 -2400 -2860 -2912 2904 -2872 -3108 -2644 -3060 -2384 -2956 -2872 -2872 2300 -2432 2448 2956 -3168 2912 2784 -2272 2488 -2920 2960 3108 -3160 -2996 2216 -2912 -3168 -2964 -2452 -2480 -2816 -2268 -3004 -3168 2912 -2516 2988 2256 2776 2864 -2632 -2784 -2832 -3032 3208 -3068 -2912 -2960 3040 -2572 -2824 -2752 2752 2776 2640 2996 2992 -3108 -2684 2968 -2656 -2952 -2920 -2956 2920 -2944 -2856 -2912 -2896 -2728 2600 3068 -2344 -2936 -2228 -2768 -3168 2336 -2780 -2956 2972 2616 -2488 -2744 -2956 2344 -3080 2948 2924 -3108 -2972 -2960 -2912 -3168 -2728 -3080 -3140 3188 2924 -3068 -2916 -3168 -2824 -2644 -2732 -2436 -3080 -2340 -2920 -2216 -2340 2632 2592 2336 -2912 -2940 -2288 -2256 -3064 3012 2956 3168 2252 3128 -2256 2564 -2216 -2460 -2392 2912 2920 -2616 -2816 2824 -2656 -2956 -2872 -2864 -2448 2292 -3208 -2292 -2624 -3204 -2276 -2400 -2912 2872 2560 -2440 -2920 2312 -2664 2960 2608 3008 2604 -2816 2948 -3088 -2944 -2488 -2920 -2872 2956 2216 2916 -2960 -2872 -2396 -2816 2692 2260 -3108 -3116 -2744 2960 -3168 -3208 -3108 -2492 -2904 -2256 -2228 2920 -2744 -2912 -2872 -2660 -3168 -2740 2876 -2828 -2216 -3108 2784 -2904 -2872 -2448 -3168 -2524 -2352 2816 -3040 3016 -2816 2292 -2436 -2392 2660 -2448 -2704 -2784 2628 -2980 -2512
71.21/71.87 d ASSIGNMENTS 654
71.21/71.87 d CHECKS 6946898