0.00/0.00 c cpHydra_k_40 version 0.0
45.36/45.89 c CASE TO CLASSIFY:
45.36/45.89 c Case: 0
45.36/45.89 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.868500 | c 15 > 13.231100 | 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
45.47/45.90 c choco : 1801.0
45.47/45.90 c mistral : 1801.0
45.47/45.90 c abscon : 1801.0
45.47/45.90 c
45.47/45.90 c
45.47/45.98 c List of same ones: 40
45.47/45.98 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
45.47/45.98 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
45.47/45.99 c choco : 1801.0
45.47/45.99 c mistral : 228.6
45.47/45.99 c abscon : 55.2496
45.47/45.99 c
45.47/45.99 c
45.47/45.99 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
45.47/45.99 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
45.47/45.99 c choco : 1801.0
45.47/45.99 c mistral : 1800.03
45.47/45.99 c abscon : 129.181
45.47/45.99 c
45.47/45.99 c
45.47/45.99 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
45.47/45.99 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
45.56/46.01 c choco : 1801.0
45.56/46.01 c mistral : 1800.02
45.56/46.01 c abscon : 85.215
45.56/46.01 c
45.56/46.01 c
45.56/46.01 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
45.56/46.01 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
45.56/46.01 c choco : 1801.0
45.56/46.01 c mistral : 1800.1
45.56/46.01 c abscon : 11.7712
45.56/46.01 c
45.56/46.01 c
45.56/46.01 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
45.56/46.02 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
45.56/46.03 c choco : 1801.0
45.56/46.03 c mistral : 80.98
45.56/46.03 c abscon : 8.12576
45.56/46.03 c
45.56/46.03 c
45.56/46.03 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-5.xml
45.56/46.03 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
45.56/46.04 c choco : 1801.0
45.56/46.04 c mistral : 108.251
45.56/46.04 c abscon : 8.62069
45.56/46.04 c
45.56/46.04 c
45.56/46.04 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-4.xml
45.56/46.04 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
45.56/46.04 c choco : 1801.0
45.56/46.04 c mistral : 233.323
45.56/46.04 c abscon : 8.47971
45.56/46.04 c
45.56/46.04 c
45.56/46.04 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-3.xml
45.56/46.04 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
45.56/46.05 c choco : 1801.0
45.56/46.05 c mistral : 158.535
45.56/46.05 c abscon : 8.39572
45.56/46.05 c
45.56/46.05 c
45.56/46.05 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-2.xml
45.56/46.05 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
45.56/46.06 c choco : 1801.0
45.56/46.06 c mistral : 1800.05
45.56/46.06 c abscon : 8.65568
45.56/46.06 c
45.56/46.06 c
45.56/46.06 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-1.xml
45.56/46.06 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
45.56/46.07 c choco : 1801.0
45.56/46.07 c mistral : 79.088
45.56/46.07 c abscon : 8.44271
45.56/46.07 c
45.56/46.07 c
45.56/46.07 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-0.xml
45.56/46.07 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
45.56/46.08 c choco : 1801.0
45.56/46.08 c mistral : 60.79
45.56/46.08 c abscon : 7.75582
45.56/46.08 c
45.56/46.08 c
45.56/46.08 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
45.56/46.08 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
45.56/46.10 c choco : 1801.0
45.56/46.10 c mistral : 1800.04
45.56/46.10 c abscon : 331.113
45.56/46.10 c
45.56/46.10 c
45.56/46.10 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
45.56/46.10 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
45.62/46.11 c choco : 1801.0
45.62/46.11 c mistral : 1800.02
45.62/46.11 c abscon : 20.4989
45.62/46.11 c
45.62/46.11 c
45.62/46.11 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
45.62/46.11 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
45.62/46.12 c choco : 1801.0
45.62/46.12 c mistral : 1800.04
45.62/46.12 c abscon : 18.3632
45.62/46.12 c
45.62/46.12 c
45.62/46.12 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-5.xml
45.62/46.12 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
45.62/46.13 c choco : 1801.0
45.62/46.13 c mistral : 44.9202
45.62/46.13 c abscon : 8.17176
45.62/46.13 c
45.62/46.13 c
45.62/46.13 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
45.62/46.13 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
45.62/46.14 c choco : 1801.0
45.62/46.14 c mistral : 1800.06
45.62/46.14 c abscon : 19.3081
45.62/46.14 c
45.62/46.14 c
45.62/46.14 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
45.62/46.14 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
45.62/46.14 c choco : 1801.0
45.62/46.14 c mistral : 91.75
45.62/46.14 c abscon : 7.97579
45.62/46.14 c
45.62/46.14 c
45.62/46.14 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
45.62/46.14 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
45.62/46.15 c choco : 1801.0
45.62/46.15 c mistral : 1800.05
45.62/46.15 c abscon : 19.2911
45.62/46.15 c
45.62/46.15 c
45.62/46.15 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
45.62/46.15 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
45.62/46.16 c choco : 1801.0
45.62/46.16 c mistral : 93.34
45.62/46.16 c abscon : 7.92479
45.62/46.16 c
45.62/46.16 c
45.62/46.16 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-3.xml
45.62/46.16 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
45.62/46.17 c choco : 1801.0
45.62/46.17 c mistral : 108.08
45.62/46.17 c abscon : 8.13076
45.62/46.17 c
45.62/46.17 c
45.62/46.17 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
45.62/46.17 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
45.62/46.17 c choco : 1801.0
45.62/46.17 c mistral : 41.0328
45.62/46.17 c abscon : 8.14076
45.62/46.17 c
45.62/46.17 c
45.62/46.17 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-0.xml
45.62/46.17 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
45.62/46.18 c choco : 1801.0
45.62/46.18 c mistral : 21.6927
45.62/46.18 c abscon : 8.00678
45.62/46.18 c
45.62/46.18 c
45.62/46.18 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp36/fapp36-2000-4.xml
45.62/46.18 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
45.62/46.18 c choco : 1801.0
45.62/46.18 c mistral : 199.044
45.62/46.18 c abscon : 8.15376
45.62/46.18 c
45.62/46.18 c
45.62/46.18 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
45.62/46.18 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
45.62/46.19 c choco : 1801.0
45.62/46.19 c mistral : 1800.09
45.62/46.19 c abscon : 506.936
45.62/46.19 c
45.62/46.19 c
45.62/46.19 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
45.62/46.19 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
45.62/46.20 c choco : 1801.0
45.62/46.20 c mistral : 1800.05
45.62/46.20 c abscon : 156.38
45.62/46.20 c
45.62/46.20 c
45.62/46.20 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
45.62/46.20 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
45.62/46.20 c choco : 1801.0
45.62/46.20 c mistral : 1800.08
45.62/46.20 c abscon : 15.1547
45.62/46.20 c
45.62/46.20 c
45.62/46.20 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
45.62/46.20 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
45.69/46.21 c choco : 1801.0
45.69/46.21 c mistral : 1800.08
45.69/46.21 c abscon : 12.863
45.69/46.21 c
45.69/46.21 c
45.69/46.21 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
45.69/46.21 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
45.69/46.21 c choco : 1801.0
45.69/46.21 c mistral : 1800.06
45.69/46.21 c abscon : 441.864
45.69/46.21 c
45.69/46.21 c
45.69/46.21 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
45.69/46.21 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
45.69/46.22 c choco : 1801.0
45.69/46.22 c mistral : 1800.07
45.69/46.22 c abscon : 349.37
45.69/46.22 c
45.69/46.22 c
45.69/46.22 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-10.xml
45.69/46.22 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
45.69/46.23 c choco : 72.82
45.69/46.23 c mistral : 8.42672
45.69/46.23 c abscon : 13.097
45.69/46.23 c
45.69/46.23 c
45.69/46.23 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-9.xml
45.69/46.23 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
45.69/46.23 c choco : 1801.0
45.69/46.23 c mistral : 12.12
45.69/46.23 c abscon : 14.4028
45.69/46.23 c
45.69/46.23 c
45.69/46.23 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
45.69/46.23 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
45.69/46.24 c choco : 1801.0
45.69/46.24 c mistral : 1800.05
45.69/46.24 c abscon : 13.29
45.69/46.24 c
45.69/46.24 c
45.69/46.24 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-8.xml
45.69/46.24 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
45.69/46.24 c choco : 1801.0
45.69/46.24 c mistral : 13.8559
45.69/46.24 c abscon : 15.2897
45.69/46.24 c
45.69/46.24 c
45.69/46.24 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-7.xml
45.69/46.24 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
45.69/46.25 c choco : 1801.0
45.69/46.25 c mistral : 133.496
45.69/46.25 c abscon : 21.5037
45.69/46.25 c
45.69/46.25 c
45.69/46.25 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-6.xml
45.69/46.25 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
45.69/46.26 c choco : 1801.0
45.69/46.26 c mistral : 20.4499
45.69/46.26 c abscon : 5.44717
45.69/46.26 c
45.69/46.26 c
45.69/46.26 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
45.69/46.26 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
45.69/46.26 c choco : 1801.0
45.69/46.26 c mistral : 1800.03
45.69/46.26 c abscon : 20.0829
45.69/46.26 c
45.69/46.26 c
45.69/46.26 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-5.xml
45.69/46.26 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
45.69/46.27 c choco : 1801.0
45.69/46.27 c mistral : 44.24
45.69/46.27 c abscon : 5.43717
45.69/46.27 c
45.69/46.27 c
45.69/46.27 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-0.xml
45.69/46.27 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
45.69/46.28 c choco : 1801.0
45.69/46.28 c mistral : 244.12
45.69/46.28 c abscon : 11.5512
45.69/46.28 c
45.69/46.28 c
45.69/46.28 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-4.xml
45.69/46.28 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
45.69/46.28 c choco : 1801.0
45.69/46.28 c mistral : 12.899
45.69/46.28 c abscon : 5.45517
45.69/46.28 c
45.69/46.28 c
45.69/46.29 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test02/test02-0250-3.xml
45.69/46.29 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
45.69/46.29 c choco : 1801.0
45.69/46.29 c mistral : 9.32058
45.69/46.29 c abscon : 5.39818
45.69/46.29 c
45.69/46.29 c
45.69/46.30 c Length: 40
45.69/46.30 c 4.7859243766637185 4.895601878129389 4.996298583866261 5.046384367955338 5.124605466681704 5.211658659509849 5.2319783838949485 5.251864664054473 5.278539150337336 5.28272501074436 5.561185319403051 5.928787901782369 5.950931321974819 5.950931321974819 5.966854140245174 5.966854140245174 5.9749071898868 5.98031839758227 5.983036772514521 5.983036772514521 5.983036772514521 5.985763669822004 5.985763669822004 6.013597763761805 6.197623426409595 6.25705196273141 6.269536008886223 6.272379762544756 6.324450513331653 6.3573280064898325 6.42755078798293 6.44090677827439 6.47324998606573 6.536481403025636 6.546240553332881 6.558874894795678 6.566916447016817 6.567565883584342 6.59745311632451 6.64386149555362
45.69/46.30 c
45.75/46.30 c 1.0 0.9442586468249304 0.8982869723002525 0.8770485523985155 0.8458170433785257 0.8135746313929006 0.8063994248180195 0.7994987661003652 0.7904259100885578 0.7890208226143574 0.7055819863927529 0.6191471341488444 0.6146118086974841 0.6146118086974841 0.611391413558377 0.611391413558377 0.6097754979736065 0.6086944809685673 0.6081528662384358 0.6081528662384358 0.6081528662384358 0.6076105210208622 0.6076105210208622 0.6021295025034292 0.5682397132476995 0.5580958267717324 0.5560107774191209 0.5555379986767293 0.5470211155235222 0.5417767597418058 0.5309053837290625 0.5288869010654577 0.524061899295414 0.5148787954484113 0.5134900647144516 0.5117032815738206 0.5105724849997437 0.5104813798262549 0.5063235878215038 0.5
45.75/46.31 c
45.75/46.31 c solver 0
45.75/46.31 c before 0.0 seconds: {} 0
45.75/46.31 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} 16468
45.75/46.31 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} 19944
45.75/46.31 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} 20944
45.75/46.31 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} 21842
45.75/46.31 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} 22787
45.75/46.31 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} 23355
45.75/46.31 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} 23974
45.75/46.31 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} 24521
45.75/46.31 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} 25077
45.75/46.31 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} 25679
45.75/46.31 c
45.75/46.31 c solver 1
45.75/46.31 c before 0.0 seconds: {} 0
45.75/46.31 c before 18.0 seconds: {29, 30, 32, 38, 39} 2603
45.75/46.31 c before 36.0 seconds: {21, 29, 30, 32, 34, 38, 39} 3724
45.75/46.31 c before 54.0 seconds: {14, 20, 21, 29, 30, 32, 34, 36, 38, 39} 5454
45.75/46.31 c before 72.0 seconds: {10, 14, 20, 21, 29, 30, 32, 34, 36, 38, 39} 6159
45.75/46.31 c before 90.0 seconds: {4, 9, 10, 14, 20, 21, 29, 30, 32, 34, 36, 38, 39} 7794
45.75/46.31 c before 108.0 seconds: {4, 9, 10, 14, 16, 18, 20, 21, 29, 30, 32, 34, 36, 38, 39} 9012
45.75/46.31 c before 126.0 seconds: {4, 5, 9, 10, 14, 16, 18, 19, 20, 21, 29, 30, 32, 34, 36, 38, 39} 10434
45.75/46.31 c before 144.0 seconds: {4, 5, 9, 10, 14, 16, 18, 19, 20, 21, 29, 30, 32, 33, 34, 36, 38, 39} 10949
45.75/46.31 c before 162.0 seconds: {4, 5, 7, 9, 10, 14, 16, 18, 19, 20, 21, 29, 30, 32, 33, 34, 36, 38, 39} 11748
45.75/46.31 c before 216.0 seconds: {4, 5, 7, 9, 10, 14, 16, 18, 19, 20, 21, 22, 29, 30, 32, 33, 34, 36, 38, 39} 12356
45.75/46.31 c before 234.0 seconds: {0, 4, 5, 6, 7, 9, 10, 14, 16, 18, 19, 20, 21, 22, 29, 30, 32, 33, 34, 36, 38, 39} 14162
45.75/46.31 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} 14673
45.75/46.31 c
45.75/46.31 c solver 2
45.75/46.31 c before 0.0 seconds: {} 0
45.75/46.31 c before 90.0 seconds: {29} 541
45.75/46.31 c
45.75/46.31 cTotal time: 48
45.75/46.31 c 864.0 seconds unused
45.75/46.31 c 0 c 17 c 39
45.75/46.31 c 0 c 0 c 22
45.75/46.31 c 0 c 0 c 0
45.75/46.31 c is solver0 dominated by:
45.75/46.31 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)
45.75/46.31 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)
45.75/46.31 c is dominated? false
45.75/46.31 c
45.75/46.31 c is solver1 dominated by:
45.75/46.31 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)
45.75/46.31 c is dominated? true
45.75/46.31 c
45.75/46.31 c is solver2 dominated by:
45.75/46.31 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)
45.75/46.31 c is dominated? true
45.75/46.31 c
45.75/46.32 c Number of non-dominated solvers: 1
45.75/46.32 c remove dominated solvers
45.75/46.32 c solver 0 is not dominated by another solver
45.75/46.32 c solver 2 is dominated by another solver
45.75/46.32 c solver 1 is dominated by another solver
45.75/46.32 c
45.75/46.32 c solver 0: 522.0
45.75/46.32 c
45.75/46.32 c+ 29/29 of 71
45.75/46.32 c
45.75/46.32 c solver 1: 0.0
45.75/46.32 c
45.75/46.32 c solver 2: 0.0
45.75/46.32 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} 25679
45.75/46.32 c do not run mistral
45.75/46.32 c do not run choco
45.75/46.32 c Starting solver: HOME/cpHydra_k_40/solver/abscon
45.75/46.32 c On Instance: HOME/instance-1086478-1215239473.xml
45.75/46.32 c Running for: 1800 seconds
69.63/70.26 s UNSATISFIABLE
69.63/70.26 d ASSIGNMENTS 0
69.63/70.26 d CHECKS 241982