0.00/0.00 c cpHydra_k_40 version 0.0
12.95/13.16 c CASE TO CLASSIFY:
12.95/13.16 c Case: 0
12.95/13.17 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 11.916300 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
12.95/13.18 c choco : 1801.0
12.95/13.18 c mistral : 1801.0
12.95/13.18 c abscon : 1801.0
12.95/13.18 c
12.95/13.18 c
13.05/13.25 c List of same ones: 40
13.05/13.25 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml
13.05/13.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.398200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.05/13.26 c choco : 1801.0
13.05/13.26 c mistral : 1800.04
13.05/13.26 c abscon : 11.0623
13.05/13.26 c
13.05/13.26 c
13.05/13.26 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml
13.05/13.26 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.193500 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.05/13.27 c choco : 1801.0
13.05/13.27 c mistral : 1800.06
13.05/13.27 c abscon : 11.9282
13.05/13.27 c
13.05/13.27 c
13.05/13.27 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml
13.05/13.27 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.127300 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.05/13.28 c choco : 1801.0
13.05/13.28 c mistral : 1800.03
13.05/13.28 c abscon : 12.0042
13.05/13.28 c
13.05/13.28 c
13.05/13.28 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml
13.05/13.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 11.033400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.05/13.29 c choco : 1801.0
13.05/13.29 c mistral : 1800.01
13.05/13.29 c abscon : 6.594
13.05/13.29 c
13.05/13.29 c
13.05/13.29 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml
13.05/13.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.978000 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.30 c choco : 1801.0
13.12/13.30 c mistral : 1800.03
13.12/13.30 c abscon : 5.97909
13.12/13.30 c
13.12/13.30 c
13.12/13.30 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml
13.12/13.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.857200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.31 c choco : 1801.0
13.12/13.31 c mistral : 1800.05
13.12/13.31 c abscon : 5.9181
13.12/13.31 c
13.12/13.31 c
13.12/13.31 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml
13.12/13.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.815400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.32 c choco : 1801.0
13.12/13.32 c mistral : 1800.09
13.12/13.32 c abscon : 6.03108
13.12/13.32 c
13.12/13.32 c
13.12/13.32 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml
13.12/13.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.775600 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.33 c choco : 1801.0
13.12/13.33 c mistral : 1800.05
13.12/13.33 c abscon : 5.67014
13.12/13.33 c
13.12/13.33 c
13.12/13.33 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml
13.12/13.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.726200 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.33 c choco : 1801.0
13.12/13.33 c mistral : 514.646
13.12/13.33 c abscon : 5.76312
13.12/13.33 c
13.12/13.33 c
13.12/13.33 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml
13.12/13.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.700400 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.34 c choco : 1801.0
13.12/13.34 c mistral : 1800.06
13.12/13.34 c abscon : 5.79212
13.12/13.34 c
13.12/13.34 c
13.12/13.34 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
13.12/13.34 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 11.096700 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.35 c choco : 37.81
13.12/13.35 c mistral : 7.2519
13.12/13.35 c abscon : 12.7981
13.12/13.35 c
13.12/13.35 c
13.12/13.35 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
13.12/13.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 11.077500 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.37 c choco : 67.9
13.12/13.37 c mistral : 6.572
13.12/13.37 c abscon : 12.5521
13.12/13.37 c
13.12/13.37 c
13.12/13.37 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
13.12/13.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.995800 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.38 c choco : 1801.0
13.12/13.38 c mistral : 5.8841
13.12/13.38 c abscon : 12.8071
13.12/13.38 c
13.12/13.38 c
13.12/13.38 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
13.12/13.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.929300 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.38 c choco : 104.95
13.12/13.38 c mistral : 7.41487
13.12/13.38 c abscon : 12.2871
13.12/13.38 c
13.12/13.38 c
13.12/13.38 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-0.xml
13.12/13.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.902380 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.12/13.40 c choco : 49.0
13.12/13.40 c mistral : 18.2302
13.12/13.40 c abscon : 5.2362
13.12/13.40 c
13.12/13.40 c
13.12/13.40 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
13.12/13.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.806500 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.40 c choco : 201.72
13.19/13.40 c mistral : 9.30558
13.19/13.40 c abscon : 12.6881
13.19/13.40 c
13.19/13.40 c
13.19/13.40 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-4.xml
13.19/13.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.864190 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.41 c choco : 47.79
13.19/13.41 c mistral : 4.87226
13.19/13.41 c abscon : 5.55215
13.19/13.41 c
13.19/13.41 c
13.19/13.41 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-9.xml
13.19/13.41 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.859530 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.42 c choco : 47.84
13.19/13.42 c mistral : 4.67629
13.19/13.42 c abscon : 5.53016
13.19/13.42 c
13.19/13.42 c
13.19/13.42 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-6.xml
13.19/13.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.848620 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.42 c choco : 47.53
13.19/13.42 c mistral : 4.74228
13.19/13.42 c abscon : 5.53016
13.19/13.42 c
13.19/13.42 c
13.19/13.42 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-10.xml
13.19/13.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.845490 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.43 c choco : 47.67
13.19/13.43 c mistral : 5.35519
13.19/13.43 c abscon : 5.65114
13.19/13.43 c
13.19/13.43 c
13.19/13.43 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-1.xml
13.19/13.43 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.842350 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.44 c choco : 49.15
13.19/13.44 c mistral : 19.3991
13.19/13.44 c abscon : 5.2442
13.19/13.44 c
13.19/13.44 c
13.19/13.44 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-5.xml
13.19/13.44 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.836050 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.45 c choco : 47.76
13.19/13.45 c mistral : 4.6153
13.19/13.45 c abscon : 5.52716
13.19/13.45 c
13.19/13.45 c
13.19/13.45 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
13.19/13.45 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.734700 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.46 c choco : 1801.0
13.19/13.46 c mistral : 31.0823
13.19/13.46 c abscon : 15.9926
13.19/13.46 c
13.19/13.46 c
13.19/13.46 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
13.19/13.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.730500 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.46 c choco : 1801.0
13.19/13.46 c mistral : 1800.02
13.19/13.46 c abscon : 14.5538
13.19/13.46 c
13.19/13.46 c
13.19/13.46 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-8.xml
13.19/13.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.810570 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.47 c choco : 47.94
13.19/13.47 c mistral : 4.84926
13.19/13.47 c abscon : 5.64914
13.19/13.47 c
13.19/13.47 c
13.19/13.47 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-0.xml
13.19/13.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.938900 | c 15 > 10.205800 | c 34 > 68.192900 | c 16 > 2.000000 | c 13 > 2.725340 | c 14 > -1.000000 | c 11 > 8.451210 | c 12 > 4.736450 | c 21 > 15.053300 | c 20 > 0.000000 | c 22 > 16.431700 | c 23 > 4.379970 | c 24 > 0.967305 | 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 > 12.187700 | 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 > 16.275200 | c 31 > -1.000000 | c 4 > 8.451210 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.47 c choco : 281.41
13.19/13.47 c mistral : 45.1561
13.19/13.47 c abscon : 5.50616
13.19/13.47 c
13.19/13.47 c
13.19/13.47 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-3.xml
13.19/13.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.804130 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.48 c choco : 48.71
13.19/13.48 c mistral : 6.76797
13.19/13.48 c abscon : 5.33119
13.19/13.48 c
13.19/13.48 c
13.19/13.48 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-7.xml
13.19/13.48 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.802520 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.49 c choco : 47.34
13.19/13.49 c mistral : 4.98124
13.19/13.49 c abscon : 5.61215
13.19/13.49 c
13.19/13.49 c
13.19/13.49 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
13.19/13.49 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.645700 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.49 c choco : 245.07
13.19/13.49 c mistral : 279.471
13.19/13.49 c abscon : 6.48201
13.19/13.49 c
13.19/13.49 c
13.19/13.49 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-2.xml
13.19/13.49 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.869300 | c 15 > 9.764870 | c 34 > 68.349300 | c 16 > 2.000000 | c 13 > 2.756830 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.687430 | c 21 > 14.609800 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 4.132560 | c 24 > 1.222160 | 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.916300 | 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.966600 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.19/13.50 c choco : 49.45
13.19/13.50 c mistral : 20.1399
13.19/13.50 c abscon : 5.41218
13.19/13.50 c
13.19/13.50 c
13.19/13.50 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-2.xml
13.19/13.50 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.593400 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.50 c choco : 183.12
13.23/13.50 c mistral : 246.183
13.23/13.50 c abscon : 6.94994
13.23/13.50 c
13.23/13.50 c
13.23/13.50 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-1.xml
13.23/13.50 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.405000 | c 15 > 10.581200 | c 34 > 68.089200 | c 16 > 2.000000 | c 13 > 2.526390 | c 14 > -1.000000 | c 11 > 8.643860 | c 12 > 4.449560 | c 21 > 14.427800 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 4.100630 | c 24 > 0.735165 | 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 > 12.093400 | 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 > 16.345400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.51 c choco : 146.7
13.23/13.51 c mistral : 255.495
13.23/13.51 c abscon : 6.25605
13.23/13.51 c
13.23/13.51 c
13.23/13.51 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml
13.23/13.51 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.868400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.52 c choco : 80.85
13.23/13.52 c mistral : 12.5891
13.23/13.52 c abscon : 10.0495
13.23/13.52 c
13.23/13.52 c
13.23/13.52 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml
13.23/13.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 12.038900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.52 c choco : 33.36
13.23/13.52 c mistral : 6.83796
13.23/13.52 c abscon : 10.5184
13.23/13.52 c
13.23/13.52 c
13.23/13.52 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml
13.23/13.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.723700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.53 c choco : 1801.0
13.23/13.53 c mistral : 39.28
13.23/13.53 c abscon : 9.8585
13.23/13.53 c
13.23/13.53 c
13.23/13.53 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml
13.23/13.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.670200 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.53 c choco : 115.65
13.23/13.53 c mistral : 1800.08
13.23/13.53 c abscon : 11.0983
13.23/13.53 c
13.23/13.53 c
13.23/13.53 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml
13.23/13.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.494900 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.54 c choco : 30.96
13.23/13.54 c mistral : 2.38464
13.23/13.54 c abscon : 5.81212
13.23/13.54 c
13.23/13.54 c
13.23/13.54 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml
13.23/13.54 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.475700 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.55 c choco : 30.87
13.23/13.55 c mistral : 2.28165
13.23/13.55 c abscon : 5.48517
13.23/13.55 c
13.23/13.55 c
13.23/13.55 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml
13.23/13.55 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.456400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.55 c choco : 1801.0
13.23/13.55 c mistral : 8.45871
13.23/13.56 c abscon : 6.12907
13.23/13.56 c
13.23/13.56 c
13.23/13.56 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml
13.23/13.56 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.419400 | c 34 > 68.279600 | c 16 > 2.000000 | c 13 > 2.796090 | c 14 > -1.000000 | c 11 > 8.228820 | c 12 > 4.866910 | c 21 > 13.358600 | c 20 > 0.000000 | c 22 > 15.811400 | c 23 > 3.378010 | c 24 > 0.791706 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.095700 | 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.708200 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
13.23/13.56 c choco : 31.97
13.23/13.56 c mistral : 2.46962
13.23/13.56 c abscon : 5.44917
13.23/13.56 c
13.23/13.56 c
13.23/13.57 c Length: 40
13.23/13.57 c 1.3369599260355571 1.4288016215783776 1.4634053552672963 1.5160958557508826 1.5490129514710334 1.6250313977966702 1.6525783018740747 1.6793542579887661 1.713292807381447 1.731313675745964 1.9038816503724705 1.912225566878814 1.9494464415892538 1.9817139497477942 2.013919999999999 2.0456483614309184 2.052109999999999 2.05677 2.0676799999999993 2.07081 2.07395 2.0802499999999995 2.0854735046566764 2.0878560339795946 2.1057299999999994 2.1082799823137823 2.112169999999999 2.11378 2.1371582858143667 2.1514299999999995 2.1686598600575886 2.1761234313854994 2.2236883159777583 2.226550263662601 2.2314995130216806 2.236752227363594 2.262757891736541 2.266412071229766 2.2702430104761904 2.278026542122808
13.23/13.57 c
13.23/13.57 c 1.0 0.9110843677907078 0.8815512857337782 0.8400861251507133 0.8161049228547922 0.7656313195327068 0.7488484561633398 0.7332257498944835 0.7143365531267107 0.7046969180563185 0.6240543052359074 0.6206203236698533 0.6057511628799235 0.5934256324260225 0.5816137779885361 0.5704280858188779 0.5682025919313003 0.5666083591419184 0.5629107000834851 0.5618587609024341 0.5608074039848205 0.558709815827887 0.5569825090484585 0.5561981967575832 0.5503839176938002 0.5495643193644282 0.5483187073168877 0.5478048241114976 0.5404499769595311 0.5360563646548113 0.5308463294443584 0.5286207691663597 0.5148644202347094 0.5140595097174718 0.5126734778470532 0.5112106132546993 0.5040893834869483 0.503104612242725 0.5020763285646285 0.5
13.23/13.58 c
13.23/13.58 c solver 0
13.23/13.58 c before 0.0 seconds: {} 0
13.23/13.58 c before 18.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} 24597
13.23/13.58 c
13.23/13.58 c solver 1
13.23/13.58 c before 0.0 seconds: {} 0
13.23/13.58 c before 18.0 seconds: {10, 11, 12, 13, 15, 16, 17, 18, 19, 21, 24, 26, 27, 32, 33, 36, 37, 38, 39} 10517
13.23/13.58 c before 36.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 29, 32, 33, 36, 37, 38, 39} 12752
13.23/13.58 c before 54.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 32, 33, 34, 36, 37, 38, 39} 13814
13.23/13.58 c before 252.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 30, 32, 33, 34, 36, 37, 38, 39} 14345
13.23/13.58 c before 270.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 14874
13.23/13.58 c before 288.0 seconds: {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 15414
13.23/13.58 c before 522.0 seconds: {8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 16129
13.23/13.58 c
13.23/13.58 c solver 2
13.23/13.58 c before 0.0 seconds: {} 0
13.23/13.58 c before 36.0 seconds: {33, 36, 37, 39} 2021
13.23/13.58 c before 54.0 seconds: {10, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 33, 36, 37, 39} 8788
13.23/13.58 c before 72.0 seconds: {10, 11, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 33, 36, 37, 39} 9409
13.23/13.58 c before 90.0 seconds: {10, 11, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 36, 37, 39} 9924
13.23/13.58 c before 108.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 36, 37, 39} 10517
13.23/13.58 c before 126.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 32, 33, 35, 36, 37, 39} 11028
13.23/13.58 c before 162.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 31, 32, 33, 35, 36, 37, 39} 11557
13.23/13.58 c before 198.0 seconds: {10, 11, 13, 14, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 39} 12088
13.23/13.58 c before 216.0 seconds: {10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 26, 27, 29, 30, 31, 32, 33, 35, 36, 37, 39} 12658
13.23/13.59 c before 252.0 seconds: {10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 13199
13.23/13.59 c before 288.0 seconds: {10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 39} 13748
13.23/13.59 c
13.23/13.59 cTotal time: 46
13.23/13.59 c 828.0 seconds unused
13.23/13.59 c 0 c 11 c 15
13.23/13.59 c 0 c 0 c 5
13.23/13.59 c 0 c 1 c 0
13.23/13.59 c is solver0 dominated by:
13.23/13.59 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
13.23/13.59 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: true) (0 is equally as fast as 2: false) (0 < 2: false)
13.23/13.59 c is dominated? false
13.23/13.59 c
13.23/13.59 c is solver1 dominated by:
13.23/13.59 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
13.23/13.59 c is dominated? true
13.23/13.59 c
13.23/13.59 c is solver2 dominated by:
13.23/13.59 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: false) (2 is equally as fast as 0: false) (2 < 0: true)
13.23/13.59 c is dominated? true
13.23/13.59 c
13.23/13.59 c Number of non-dominated solvers: 1
13.23/13.59 c remove dominated solvers
13.23/13.59 c solver 0 is not dominated by another solver
13.23/13.59 c solver 2 is dominated by another solver
13.23/13.59 c solver 1 is dominated by another solver
13.23/13.59 c
13.23/13.59 c solver 0: 18.0
13.23/13.59 c
13.23/13.59 c+ 1/1 of 99
13.23/13.59 c
13.23/13.59 c solver 1: 0.0
13.23/13.59 c
13.23/13.59 c solver 2: 0.0
13.23/13.59 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} 24597
13.23/13.59 c do not run mistral
13.23/13.59 c do not run choco
13.23/13.59 c Starting solver: HOME/cpHydra_k_40/solver/abscon
13.23/13.59 c On Instance: HOME/instance-1095007-1215280454.xml
13.23/13.59 c Running for: 1800 seconds
34.86/35.25 s SAT
34.86/35.25 v -2640 -2180 -2356 -2592 -2544 -2400 -2608 -2460 -2396 -2132 -2176 -2460 -2608 -2460 -2416 -2136 -2544 -2628 -2380 -2136 -2600 -2520 -2200 -2456 -2372 -2284 -2492 -2692 -2380 -2496 -2424 -2460 2528 -2504 -2720 -2588 -2440 -2128 -2680 -2604 -2424 -2600 -2652 -2504 -2536 -2304 -2560 -2536 -2420 -2456 -2500 -2652 -2496 2284 -2176 -2720 2220 2680 -2228 -2456 -2664 -2288 2504 -2136 -2396 -2176 -2536 -2568 -2296 -2680 -2628 -2376 -2176 -2328 -2176 -2416 -2536 -2160 -2256 -2256 -2420 -2628 -2692 -2504 -2544 -2516 -2460 2676 -2552 -2504 -2612 -2136 -2168 -2120 -2316 -2168 -2416 -2416 2720 -2456 -2456 -2420 -2356 -2456 -2368 -2680 -2380 -2668 -2496 2576 -2184 -2360 -2120 -2720 -2176 2160 -2380 -2164 -2140 -2324 -2256 -2680 -2336 -2656 -2544 -2420 -2136 -2504 -2264 -2504 -2416 -2720 -2500 -2240 -2152 -2504 -2160 -2232 -2612 -2416 -2324 2316 -2504 -2568 -2144 -2668 -2176 -2692 -2420 -2368 -2544 2480 -2568 -2456 -2528 -2180 -2544 -2136 -2420 -2644 -2324 -2120 -2616 -2184 -2456 -2456 -2208 -2276 -2544 -2376 -2456 -2668 -2692 -2616 -2704 -2568 -2328 -2652 -2668 -2544 -2160 -2420 -2652 -2276 2524 -2400 -2200 -2460 -2268 -2396 -2420 -2652 2168 -2476 -2324 2244 2636 -2608 -2332 -2504 2524 -2288 -2436 -2628 -2284 -2416 -2144 -2204 -2496 -2136 -2396 -2416 -2652 -2640 -2484 -2120 -2416 -2296 -2384 -2120 2668 -2420 2440 -2124 2316 -2272 -2548 -2304 -2416 -2396 -2504 -2480 -2284 -2380 2708 -2496 -2172 -2472 -2208 -2132 -2456 -2536 -2416 -2160 -2488 -2628 -2608 -2416 -2416 -2544 -2132 -2628 -2384 -2264 2568 -2416 -2484 -2172 -2524 -2544 -2220 -2172 -2496 -2376 -2588 -2296 -2332 -2136 -2628 -2568 -2456 -2292 -2668 -2544 -2448 -2144 -2456 -2184 -2176 -2456 2440 -2628 -2508 -2512 -2416 -2192 -2532 -2180 -2484 -2164 -2532 2492 -2284 -2248 -2436 -2276 -2248 -2240 2668 -2436
34.86/35.25 d ASSIGNMENTS 300
34.86/35.25 d CHECKS 315956