0.00/0.00 c cpHydra_k_40 version 0.0
11.26/11.49 c CASE TO CLASSIFY:
11.26/11.49 c Case: 0
11.26/11.49 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 40.676700 | c 15 > 11.679900 | c 34 > 67.254600 | c 16 > 2.000000 | c 13 > 1.774560 | c 14 > -1.000000 | c 11 > 8.965780 | c 12 > 3.511970 | c 21 > 15.072800 | c 20 > 0.000000 | c 22 > 15.556300 | c 23 > 4.853100 | 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 > 11.477800 | 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.793500 | c 31 > -1.000000 | c 4 > 8.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.36/11.50 c choco : 1801.0
11.36/11.50 c mistral : 1801.0
11.36/11.50 c abscon : 1801.0
11.36/11.50 c
11.36/11.50 c
11.36/11.58 c List of same ones: 40
11.36/11.58 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml
11.36/11.58 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
11.36/11.59 c choco : 1801.0
11.36/11.59 c mistral : 1800.04
11.36/11.59 c abscon : 11.0623
11.36/11.59 c
11.36/11.59 c
11.36/11.59 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml
11.36/11.59 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
11.36/11.60 c choco : 1801.0
11.36/11.60 c mistral : 1800.06
11.36/11.60 c abscon : 11.9282
11.36/11.60 c
11.36/11.60 c
11.36/11.60 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml
11.36/11.60 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
11.44/11.61 c choco : 1801.0
11.44/11.61 c mistral : 1800.03
11.44/11.61 c abscon : 12.0042
11.44/11.61 c
11.44/11.61 c
11.44/11.61 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml
11.44/11.61 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
11.44/11.62 c choco : 1801.0
11.44/11.62 c mistral : 1800.01
11.44/11.62 c abscon : 6.594
11.44/11.62 c
11.44/11.62 c
11.44/11.62 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml
11.44/11.62 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
11.44/11.63 c choco : 1801.0
11.44/11.63 c mistral : 1800.03
11.44/11.63 c abscon : 5.97909
11.44/11.63 c
11.44/11.63 c
11.44/11.63 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml
11.44/11.63 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
11.44/11.64 c choco : 1801.0
11.44/11.64 c mistral : 1800.05
11.44/11.64 c abscon : 5.9181
11.44/11.64 c
11.44/11.64 c
11.44/11.64 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml
11.44/11.64 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
11.44/11.65 c choco : 1801.0
11.44/11.65 c mistral : 1800.09
11.44/11.65 c abscon : 6.03108
11.44/11.65 c
11.44/11.65 c
11.44/11.65 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml
11.44/11.65 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
11.44/11.65 c choco : 1801.0
11.44/11.65 c mistral : 1800.05
11.44/11.65 c abscon : 5.67014
11.44/11.65 c
11.44/11.65 c
11.44/11.65 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml
11.44/11.65 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
11.44/11.66 c choco : 1801.0
11.44/11.66 c mistral : 514.646
11.44/11.66 c abscon : 5.76312
11.44/11.66 c
11.44/11.66 c
11.44/11.66 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml
11.44/11.66 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
11.44/11.67 c choco : 1801.0
11.44/11.67 c mistral : 1800.06
11.44/11.67 c abscon : 5.79212
11.44/11.67 c
11.44/11.67 c
11.44/11.67 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-0.xml
11.44/11.67 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
11.72/11.90 c choco : 281.41
11.72/11.90 c mistral : 45.1561
11.72/11.90 c abscon : 5.50616
11.72/11.90 c
11.72/11.90 c
11.72/11.90 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
11.72/11.90 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
11.72/11.92 c choco : 37.81
11.72/11.92 c mistral : 7.2519
11.72/11.92 c abscon : 12.7981
11.72/11.92 c
11.72/11.92 c
11.72/11.92 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
11.72/11.92 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
11.72/11.92 c choco : 67.9
11.72/11.92 c mistral : 6.572
11.72/11.92 c abscon : 12.5521
11.72/11.92 c
11.72/11.92 c
11.72/11.92 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
11.72/11.92 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
11.72/11.93 c choco : 1801.0
11.72/11.93 c mistral : 5.8841
11.72/11.93 c abscon : 12.8071
11.72/11.93 c
11.72/11.93 c
11.72/11.93 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml
11.72/11.93 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
11.72/11.94 c choco : 115.65
11.72/11.94 c mistral : 1800.08
11.72/11.94 c abscon : 11.0983
11.72/11.94 c
11.72/11.94 c
11.72/11.94 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml
11.72/11.94 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
11.72/11.95 c choco : 1801.0
11.72/11.95 c mistral : 39.28
11.72/11.95 c abscon : 9.8585
11.72/11.95 c
11.72/11.95 c
11.72/11.95 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml
11.72/11.95 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
11.72/11.96 c choco : 30.96
11.72/11.96 c mistral : 2.38464
11.72/11.96 c abscon : 5.81212
11.72/11.96 c
11.72/11.96 c
11.72/11.96 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml
11.72/11.96 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
11.72/11.96 c choco : 80.85
11.72/11.96 c mistral : 12.5891
11.72/11.96 c abscon : 10.0495
11.72/11.96 c
11.72/11.96 c
11.72/11.96 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml
11.72/11.96 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
11.72/11.97 c choco : 30.87
11.72/11.97 c mistral : 2.28165
11.72/11.97 c abscon : 5.48517
11.72/11.97 c
11.72/11.97 c
11.72/11.97 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
11.72/11.97 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
11.72/11.98 c choco : 104.95
11.72/11.98 c mistral : 7.41487
11.72/11.98 c abscon : 12.2871
11.72/11.98 c
11.72/11.98 c
11.72/11.98 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml
11.72/11.98 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
11.72/11.99 c choco : 1801.0
11.72/11.99 c mistral : 8.45871
11.72/11.99 c abscon : 6.12907
11.72/11.99 c
11.72/11.99 c
11.72/11.99 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml
11.72/11.99 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
11.72/11.99 c choco : 31.97
11.72/11.99 c mistral : 2.46962
11.72/11.99 c abscon : 5.44917
11.72/11.99 c
11.72/11.99 c
11.72/11.99 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml
11.72/11.99 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.405100 | 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
11.78/12.00 c choco : 32.16
11.78/12.00 c mistral : 2.42163
11.78/12.00 c abscon : 5.54416
11.78/12.00 c
11.78/12.00 c
11.78/12.00 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml
11.78/12.00 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.357600 | 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
11.78/12.01 c choco : 32.23
11.78/12.01 c mistral : 8.82966
11.78/12.01 c abscon : 5.43717
11.78/12.01 c
11.78/12.01 c
11.78/12.01 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml
11.78/12.01 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
11.78/12.02 c choco : 33.36
11.78/12.02 c mistral : 6.83796
11.78/12.02 c abscon : 10.5184
11.78/12.02 c
11.78/12.02 c
11.78/12.02 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
11.78/12.02 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
11.78/12.02 c choco : 201.72
11.78/12.02 c mistral : 9.30558
11.78/12.02 c abscon : 12.6881
11.78/12.02 c
11.78/12.02 c
11.78/12.02 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-0.xml
11.78/12.02 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
11.78/12.03 c choco : 49.0
11.78/12.03 c mistral : 18.2302
11.78/12.03 c abscon : 5.2362
11.78/12.03 c
11.78/12.03 c
11.78/12.03 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
11.78/12.03 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
11.78/12.03 c choco : 1801.0
11.78/12.03 c mistral : 31.0823
11.78/12.03 c abscon : 15.9926
11.78/12.03 c
11.78/12.03 c
11.78/12.04 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
11.78/12.04 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
11.78/12.04 c choco : 1801.0
11.78/12.04 c mistral : 1800.02
11.78/12.04 c abscon : 14.5538
11.78/12.04 c
11.78/12.04 c
11.78/12.04 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-0.xml
11.78/12.04 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.043200 | c 15 > 11.003500 | 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
11.78/12.05 c choco : 38.64
11.78/12.05 c mistral : 6.43
11.78/12.05 c abscon : 5.53516
11.78/12.05 c
11.78/12.05 c
11.78/12.05 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-4.xml
11.78/12.05 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
11.78/12.05 c choco : 47.79
11.78/12.05 c mistral : 4.87226
11.78/12.05 c abscon : 5.55215
11.78/12.05 c
11.78/12.05 c
11.78/12.05 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-9.xml
11.78/12.05 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
11.78/12.06 c choco : 47.84
11.78/12.06 c mistral : 4.67629
11.78/12.06 c abscon : 5.53016
11.78/12.06 c
11.78/12.06 c
11.78/12.06 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
11.78/12.06 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
11.78/12.06 c choco : 245.07
11.78/12.06 c mistral : 279.471
11.78/12.06 c abscon : 6.48201
11.78/12.06 c
11.78/12.06 c
11.78/12.07 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-6.xml
11.78/12.07 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
11.78/12.07 c choco : 47.53
11.78/12.07 c mistral : 4.74228
11.78/12.07 c abscon : 5.53016
11.78/12.07 c
11.78/12.07 c
11.78/12.07 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-10.xml
11.78/12.07 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
11.78/12.08 c choco : 47.67
11.78/12.08 c mistral : 5.35519
11.78/12.08 c abscon : 5.65114
11.78/12.08 c
11.78/12.08 c
11.78/12.08 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-1.xml
11.78/12.08 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
11.78/12.08 c choco : 49.15
11.78/12.08 c mistral : 19.3991
11.78/12.08 c abscon : 5.2442
11.78/12.08 c
11.78/12.08 c
11.78/12.08 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-5.xml
11.78/12.08 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
11.78/12.09 c choco : 47.76
11.78/12.09 c mistral : 4.6153
11.78/12.09 c abscon : 5.52716
11.78/12.09 c
11.78/12.09 c
11.78/12.09 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-2.xml
11.78/12.09 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
11.78/12.10 c choco : 183.12
11.78/12.10 c mistral : 246.183
11.78/12.10 c abscon : 6.94994
11.78/12.10 c
11.78/12.10 c
11.78/12.10 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-1.xml
11.78/12.10 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
11.84/12.11 c choco : 146.7
11.84/12.11 c mistral : 255.495
11.84/12.11 c abscon : 6.25605
11.84/12.11 c
11.84/12.11 c
11.84/12.11 c /home/eomahony/cpZilla/CSP/fapp/fapp16-20/fapp17/fapp17-0300-8.xml
11.84/12.11 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
11.84/12.11 c choco : 47.94
11.84/12.11 c mistral : 4.84926
11.84/12.11 c abscon : 5.64914
11.84/12.11 c
11.84/12.11 c
11.84/12.12 c Length: 40
11.84/12.12 c 3.2872304536214063 3.311059366005991 3.3214298013379713 3.3383366240114247 3.3495063479886102 3.376886799289546 3.387313008154988 3.39768857537238 3.411168840033574 3.418471795293329 3.5915873893330224 4.1442813984014215 4.14702686621826 4.159680141445499 4.166028631659777 4.166247581434525 4.170122956197939 4.170279693235099 4.17101883354763 4.1711325115771665 4.172008235827086 4.174153892684005 4.175070719138663 4.178465957718099 4.181456859733104 4.194970039122573 4.209057940929423 4.210504614548717 4.211449445159712 4.220570746926183 4.225327703717314 4.227332295502808 4.231372792503167 4.232041804862168 4.233397152146375 4.234758718298014 4.2374962209069915 4.244458542515882 4.2475978810541895 4.248645201543785
11.84/12.12 c
11.84/12.12 c 1.0 0.9758141936410324 0.9656499964530763 0.9495258127849855 0.939165318315387 0.9147000177106304 0.9057156769951057 0.8969484862653206 0.8858082383590693 0.8798877863567742 0.7595483137702876 0.5286955655971903 0.5278985593566627 0.5242561713843568 0.5224475572143031 0.5223854034467675 0.5212877342765434 0.5212434368028432 0.5210346402584584 0.5210025426852741 0.5207554099764945 0.5201508872630312 0.5198930060674197 0.5189402300162167 0.5181038078576282 0.5143581408611937 0.5105104005936653 0.5101185364905518 0.5098629324469744 0.5074084654762073 0.5061377600801673 0.5056041861941306 0.5045321153483747 0.5043550438977061 0.5039966968188457 0.5036372178619583 0.5029160156595467 0.5010910470014442 0.5002724867841492 0.5
11.84/12.13 c
11.84/12.13 c solver 0
11.84/12.13 c before 0.0 seconds: {} 0
11.84/12.13 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} 24965
11.84/12.13 c
11.84/12.13 c solver 1
11.84/12.13 c before 0.0 seconds: {} 0
11.84/12.13 c before 18.0 seconds: {11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 29, 30, 31, 33, 34, 36, 39} 10308
11.84/12.13 c before 36.0 seconds: {11, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 33, 34, 35, 36, 39} 11832
11.84/12.13 c before 54.0 seconds: {10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 33, 34, 35, 36, 39} 13114
11.84/12.13 c before 252.0 seconds: {10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 33, 34, 35, 36, 37, 39} 13615
11.84/12.13 c before 270.0 seconds: {10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 14115
11.84/12.13 c before 288.0 seconds: {10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14620
11.84/12.13 c before 522.0 seconds: {8, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15505
11.84/12.13 c
11.84/12.13 c solver 2
11.84/12.13 c before 0.0 seconds: {} 0
11.84/12.13 c before 36.0 seconds: {16, 18, 21, 22, 23, 24} 3119
11.84/12.13 c before 54.0 seconds: {11, 16, 18, 21, 22, 23, 24, 26, 29, 30, 31, 33, 34, 35, 36, 39} 8192
11.84/12.13 c before 72.0 seconds: {11, 12, 16, 18, 21, 22, 23, 24, 26, 29, 30, 31, 33, 34, 35, 36, 39} 8720
11.84/12.13 c before 90.0 seconds: {11, 12, 16, 17, 18, 21, 22, 23, 24, 26, 29, 30, 31, 33, 34, 35, 36, 39} 9241
11.84/12.13 c before 108.0 seconds: {11, 12, 16, 17, 18, 19, 21, 22, 23, 24, 26, 29, 30, 31, 33, 34, 35, 36, 39} 9762
11.84/12.13 c before 126.0 seconds: {11, 12, 14, 16, 17, 18, 19, 21, 22, 23, 24, 26, 29, 30, 31, 33, 34, 35, 36, 39} 10285
11.84/12.13 c before 162.0 seconds: {11, 12, 14, 16, 17, 18, 19, 21, 22, 23, 24, 26, 29, 30, 31, 33, 34, 35, 36, 38, 39} 10785
11.84/12.13 c before 198.0 seconds: {11, 12, 14, 16, 17, 18, 19, 21, 22, 23, 24, 26, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 11286
11.84/12.13 c before 216.0 seconds: {11, 12, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 11800
11.84/12.13 c before 252.0 seconds: {11, 12, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12305
11.84/12.13 c before 288.0 seconds: {10, 11, 12, 14, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13065
11.84/12.13 c
11.84/12.13 cTotal time: 46
11.84/12.13 c 828.0 seconds unused
11.84/12.13 c 0 c 11 c 15
11.84/12.13 c 0 c 0 c 5
11.84/12.14 c 0 c 1 c 0
11.84/12.14 c is solver0 dominated by:
11.84/12.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: true) (0 is equally as fast as 1: false) (0 < 1: false)
11.84/12.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: true) (0 is equally as fast as 2: false) (0 < 2: false)
11.84/12.14 c is dominated? false
11.84/12.14 c
11.84/12.14 c is solver1 dominated by:
11.84/12.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: false) (1 is equally as fast as 0: false) (1 < 0: true)
11.84/12.14 c is dominated? true
11.84/12.14 c
11.84/12.14 c is solver2 dominated by:
11.84/12.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: false) (2 is equally as fast as 0: false) (2 < 0: true)
11.84/12.14 c is dominated? true
11.84/12.14 c
11.84/12.14 c Number of non-dominated solvers: 1
11.84/12.14 c remove dominated solvers
11.84/12.14 c solver 0 is not dominated by another solver
11.84/12.14 c solver 2 is dominated by another solver
11.84/12.14 c solver 1 is dominated by another solver
11.84/12.14 c
11.84/12.14 c solver 0: 18.0
11.84/12.14 c
11.84/12.14 c+ 1/1 of 99
11.84/12.14 c
11.84/12.14 c solver 1: 0.0
11.84/12.14 c
11.84/12.14 c solver 2: 0.0
11.84/12.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} 24965
11.84/12.14 c do not run mistral
11.84/12.14 c do not run choco
11.84/12.14 c Starting solver: HOME/cpHydra_k_40/solver/abscon
11.84/12.14 c On Instance: HOME/instance-1086247-1215238296.xml
11.84/12.14 c Running for: 1800 seconds
33.69/34.49 s SAT
33.69/34.49 v -2632 -2324 -2588 -2404 2660 2660 -2384 -2296 -2624 -2220 -2332 -2480 -2220 -2400 -2528 -2496 -2332 -2232 -2276 -2660 -2416 2680 -2492 -2700 -2660 -2424 -2260 -2456 -2276 -2256 -2700 -2548 -2700 -2220 -2700 -2260 -2588 -2372 -2472 -2612 -2648 -2416 -2696 -2688 -2228 2700 -2600 -2512 -2568 -2372 -2424 -2480 -2284 -2376 -2276 -2296 -2260 -2628 -2336 -2688 -2264 -2612 -2360 -2268 -2536 -2608 -2280 -2476 -2260 -2440 -2416 -2236 -2700 -2344 -2384 -2700 -2408 -2700 2220 -2404 -2356 -2452 -2700 -2432 -2220 2220 -2260 -2700 -2228 -2332 -2580 -2368 -2592 -2600 -2260 -2260 -2292 -2632 -2624 -2220 -2352 -2660 -2220 -2276 -2276 -2360 -2504 -2700 -2296 2636 -2260 -2384 -2648 -2628 -2632 -2220 -2440 -2260 -2244 -2428 -2364 -2364 -2304 -2660 -2440 -2260 -2340 -2220 -2636 -2280 -2488 -2236 2408 -2460 -2260 -2460 -2392 -2592 -2260 -2700 -2548 -2412 -2460 -2416 -2600 -2420 -2660 -2700 -2336 -2236 -2560 -2700 -2360 -2288 2260 -2628 -2412 -2260 -2364 -2660 -2220 -2500 -2336 -2424 -2660 -2660 -2424 2428 -2596 -2260 -2364 2532 -2660 -2456 -2660 -2220 -2464 -2524 -2424 -2700 -2660 -2308 -2588 2660 -2400 -2220 -2628 2404 -2564 -2412 -2400 -2336 -2260 2676 -2260 -2584 -2660 -2648 -2280 -2220 -2380 2600 -2700 -2608 -2220 2660 2648 2584 -2660 -2260 -2304 -2400 2260 2648 -2408 -2408 -2260 -2648 -2512 2624 2612 -2472 2316 -2220 -2296 2652 -2660 -2672 -2228 -2700 -2372 -2220 -2660 -2660 -2544 -2604 -2660 2568 2676 -2412 -2660 -2420 -2360 2688 -2528 -2552 -2444 -2384 -2368 -2448 -2220 2660 -2248 -2324 -2504 -2220 -2468 -2700 2660 -2592 -2660 -2660 -2604 -2356 -2668 -2292 2660 2236 2660 -2220 -2620 -2448 -2220 -2572 -2308 -2296 -2700 -2700 -2244 -2516 -2260 2220 -2500 -2220 2636 -2700 -2660 -2656 -2444 -2560 -2700 -2508 -2288 -2552 -2300 -2260 -2700 -2464 -2384 2700 -2504 -2364 -2572 -2572 -2584 -2312 -2696 -2540 -2220 -2608 -2268 -2372 -2344 -2260 -2400 -2496 -2672 -2316 -2220 -2560 -2400 -2272 -2260 -2420 -2660 -2700 -2456 -2348 -2324 -2424 -2260 -2700 -2656 -2544 -2464 -2444 -2256 -2548 -2260 -2432 -2540 2528 -2460 2520 -2384 -2328 -2316 -2700 -2376 -2660 2492 -2660 -2484 -2220 -2240 2500 -2584 -2384 2700 2588 -2344 -2584 -2596 -2700 -2380 -2464 -2492 -2260 -2220 -2512 -2460 -2684 -2260 -2524 -2352 -2568 -2644 -2452 -2348 2660 -2588 -2220 -2256 -2296 -2520 -2260 -2348 -2532 -2260 -2276 -2588 -2628 -2220 -2252 -2636 -2336 -2632 -2284 -2320 2360 -2572 -2668 -2336 -2660 -2576 2640 -2460 -2220 -2344 -2224 2628 -2236 -2608 -2700 -2456 -2532 -2700 -2660 -2260 -2260 -2464 -2640 2636 -2300 -2448 -2640 -2500 -2392 -2700 -2220 -2484 -2340 -2220 -2268 -2260 -2520 -2404 -2392 -2700 2552 -2388 -2436 -2484 -2688 -2672 2220 -2288 -2392 2660 -2344 -2504 -2660 -2468 -2596 -2700 -2260 -2220 -2588 -2220 -2700 -2304 -2296 -2660 -2260 -2648 -2628 -2480 -2260 -2420 2396 -2420 -2700 -2564 -2504 -2220 -2248 -2352 -2660 -2700 -2336 -2240 -2272 -2700 -2380 -2240 -2408 -2276 -2700 2532 -2260 -2220 -2420 -2260 -2624 -2236 -2296 -2536 -2552 -2296 -2372
33.69/34.49 d ASSIGNMENTS 500
33.69/34.49 d CHECKS 990034