0.00/0.00 c cpHydra_k_40 version 0.0
9.89/9.87 c CASE TO CLASSIFY:
9.89/9.87 c Case: 0
9.89/9.88 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.008700 | c 15 > 12.699600 | c 34 > 68.217700 | c 16 > 2.000000 | c 13 > 2.669860 | c 14 > -1.000000 | c 11 > 8.965780 | c 12 > 4.707300 | c 21 > 14.698600 | c 20 > 0.000000 | c 22 > 17.029400 | c 23 > 4.014750 | c 24 > 0.861907 | 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.673100 | 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.721000 | c 31 > -1.000000 | c 4 > 8.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.89/9.89 c choco : 1801.0
9.89/9.89 c mistral : 1801.0
9.89/9.89 c abscon : 1801.0
9.89/9.89 c
9.89/9.89 c
9.99/9.95 c List of same ones: 40
9.99/9.96 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
9.99/9.96 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.856000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.99/9.96 c choco : 1801.0
9.99/9.96 c mistral : 1800.03
9.99/9.96 c abscon : 25.9351
9.99/9.96 c
9.99/9.96 c
9.99/9.96 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-10.xml
9.99/9.96 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
9.99/9.97 c choco : 1801.0
9.99/9.97 c mistral : 1800.04
9.99/9.97 c abscon : 11.0623
9.99/9.97 c
9.99/9.97 c
9.99/9.97 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
9.99/9.97 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.668400 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.99/9.98 c choco : 1801.0
9.99/9.98 c mistral : 1800.02
9.99/9.98 c abscon : 17.2824
9.99/9.98 c
9.99/9.98 c
9.99/9.98 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
9.99/9.98 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.516200 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.99/9.99 c choco : 1801.0
9.99/9.99 c mistral : 6.79996
9.99/9.99 c abscon : 6.95294
9.99/9.99 c
9.99/9.99 c
9.99/9.99 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
9.99/9.99 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.461000 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.07/10.00 c choco : 1801.0
10.07/10.00 c mistral : 4.03939
10.07/10.00 c abscon : 7.04993
10.07/10.00 c
10.07/10.00 c
10.07/10.00 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-9.xml
10.07/10.00 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
10.07/10.01 c choco : 1801.0
10.07/10.01 c mistral : 1800.06
10.07/10.01 c abscon : 11.9282
10.07/10.01 c
10.07/10.01 c
10.07/10.01 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-8.xml
10.07/10.01 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
10.07/10.02 c choco : 1801.0
10.07/10.02 c mistral : 1800.03
10.07/10.02 c abscon : 12.0042
10.07/10.02 c
10.07/10.02 c
10.07/10.02 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
10.07/10.02 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.341500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.07/10.02 c choco : 1801.0
10.07/10.02 c mistral : 3.81642
10.07/10.02 c abscon : 7.04593
10.07/10.02 c
10.07/10.02 c
10.07/10.02 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-7.xml
10.07/10.02 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
10.07/10.03 c choco : 1801.0
10.07/10.03 c mistral : 1800.01
10.07/10.03 c abscon : 6.594
10.07/10.03 c
10.07/10.03 c
10.07/10.03 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
10.07/10.03 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.258600 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.07/10.04 c choco : 1801.0
10.07/10.04 c mistral : 4.28235
10.07/10.04 c abscon : 6.70698
10.07/10.04 c
10.07/10.04 c
10.07/10.04 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-6.xml
10.07/10.04 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
10.26/10.23 c choco : 1801.0
10.26/10.23 c mistral : 1800.03
10.26/10.23 c abscon : 5.97909
10.26/10.23 c
10.26/10.23 c
10.26/10.23 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
10.26/10.23 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.174900 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.26/10.24 c choco : 1801.0
10.26/10.24 c mistral : 2.73858
10.26/10.24 c abscon : 6.30204
10.26/10.24 c
10.26/10.24 c
10.26/10.24 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
10.26/10.24 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.078800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.26/10.25 c choco : 1801.0
10.26/10.25 c mistral : 2.6216
10.26/10.25 c abscon : 6.46502
10.26/10.25 c
10.26/10.25 c
10.26/10.25 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-5.xml
10.26/10.25 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
10.26/10.26 c choco : 1801.0
10.26/10.26 c mistral : 1800.05
10.26/10.26 c abscon : 5.9181
10.26/10.26 c
10.26/10.26 c
10.26/10.26 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
10.26/10.26 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 11.057300 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.26/10.27 c choco : 1801.0
10.26/10.27 c mistral : 2.35864
10.26/10.27 c abscon : 6.51701
10.26/10.27 c
10.26/10.27 c
10.26/10.27 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-4.xml
10.26/10.27 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
10.26/10.27 c choco : 1801.0
10.26/10.27 c mistral : 1800.09
10.26/10.27 c abscon : 6.03108
10.26/10.27 c
10.26/10.27 c
10.26/10.27 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
10.26/10.27 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.991500 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.26/10.28 c choco : 1801.0
10.26/10.28 c mistral : 2.40163
10.26/10.28 c abscon : 6.25705
10.26/10.28 c
10.26/10.28 c
10.26/10.28 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-3.xml
10.26/10.28 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
10.26/10.29 c choco : 1801.0
10.26/10.29 c mistral : 1800.05
10.26/10.29 c abscon : 5.67014
10.26/10.29 c
10.26/10.29 c
10.26/10.29 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-2.xml
10.26/10.29 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
10.26/10.29 c choco : 1801.0
10.26/10.29 c mistral : 514.646
10.26/10.29 c abscon : 5.76312
10.26/10.29 c
10.26/10.29 c
10.26/10.29 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-1.xml
10.26/10.29 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
10.33/10.30 c choco : 1801.0
10.33/10.30 c mistral : 1800.06
10.33/10.30 c abscon : 5.79212
10.33/10.30 c
10.33/10.30 c
10.33/10.30 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
10.33/10.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.125800 | c 15 > 10.634800 | c 34 > 68.280300 | c 16 > 2.000000 | c 13 > 3.031350 | c 14 > -1.000000 | c 11 > 9.228820 | c 12 > 4.906250 | c 21 > 13.519000 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 3.512160 | c 24 > 0.860617 | 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.135100 | 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.742700 | c 31 > -1.000000 | c 4 > 9.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.33/10.31 c choco : 1801.0
10.33/10.31 c mistral : 9.48556
10.33/10.31 c abscon : 6.47801
10.33/10.31 c
10.33/10.31 c
10.33/10.31 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-10.xml
10.33/10.31 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
10.33/10.31 c choco : 33.36
10.33/10.31 c mistral : 6.83796
10.33/10.31 c abscon : 10.5184
10.33/10.31 c
10.33/10.31 c
10.33/10.31 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
10.33/10.31 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
10.33/10.32 c choco : 37.81
10.33/10.32 c mistral : 7.2519
10.33/10.32 c abscon : 12.7981
10.33/10.32 c
10.33/10.32 c
10.33/10.32 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
10.33/10.32 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
10.33/10.33 c choco : 67.9
10.33/10.33 c mistral : 6.572
10.33/10.33 c abscon : 12.5521
10.33/10.33 c
10.33/10.33 c
10.33/10.33 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-9.xml
10.33/10.33 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
10.33/10.33 c choco : 80.85
10.33/10.33 c mistral : 12.5891
10.33/10.33 c abscon : 10.0495
10.33/10.33 c
10.33/10.33 c
10.33/10.33 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
10.33/10.33 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
10.33/10.34 c choco : 1801.0
10.33/10.34 c mistral : 5.8841
10.33/10.34 c abscon : 12.8071
10.33/10.34 c
10.33/10.34 c
10.33/10.34 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-8.xml
10.33/10.34 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
10.33/10.34 c choco : 1801.0
10.33/10.34 c mistral : 39.28
10.33/10.34 c abscon : 9.8585
10.33/10.34 c
10.33/10.34 c
10.33/10.34 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
10.33/10.34 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
10.33/10.35 c choco : 104.95
10.33/10.35 c mistral : 7.41487
10.33/10.35 c abscon : 12.2871
10.33/10.35 c
10.33/10.35 c
10.33/10.35 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-7.xml
10.33/10.35 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
10.33/10.35 c choco : 115.65
10.33/10.35 c mistral : 1800.08
10.33/10.35 c abscon : 11.0983
10.33/10.35 c
10.33/10.35 c
10.33/10.35 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-5.xml
10.33/10.35 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
10.33/10.36 c choco : 30.96
10.33/10.36 c mistral : 2.38464
10.33/10.36 c abscon : 5.81212
10.33/10.36 c
10.33/10.36 c
10.33/10.36 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
10.33/10.36 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
10.33/10.36 c choco : 201.72
10.33/10.36 c mistral : 9.30558
10.33/10.36 c abscon : 12.6881
10.33/10.36 c
10.33/10.36 c
10.33/10.36 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-4.xml
10.33/10.36 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
10.33/10.37 c choco : 30.87
10.33/10.37 c mistral : 2.28165
10.33/10.37 c abscon : 5.48517
10.33/10.37 c
10.33/10.37 c
10.33/10.37 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-6.xml
10.33/10.37 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
10.33/10.37 c choco : 1801.0
10.33/10.37 c mistral : 8.45871
10.33/10.37 c abscon : 6.12907
10.33/10.37 c
10.33/10.37 c
10.33/10.37 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp05/fapp05-0350-0.xml
10.33/10.37 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
10.33/10.38 c choco : 281.41
10.33/10.38 c mistral : 45.1561
10.33/10.38 c abscon : 5.50616
10.33/10.38 c
10.33/10.38 c
10.33/10.38 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-3.xml
10.33/10.38 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
10.33/10.39 c choco : 31.97
10.33/10.39 c mistral : 2.46962
10.33/10.39 c abscon : 5.44917
10.33/10.39 c
10.33/10.39 c
10.33/10.39 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-2.xml
10.33/10.39 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
10.33/10.39 c choco : 32.16
10.33/10.39 c mistral : 2.42163
10.33/10.39 c abscon : 5.54416
10.33/10.39 c
10.33/10.39 c
10.33/10.39 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
10.33/10.39 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
10.33/10.40 c choco : 1801.0
10.33/10.40 c mistral : 31.0823
10.33/10.40 c abscon : 15.9926
10.33/10.40 c
10.33/10.40 c
10.33/10.40 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
10.38/10.40 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
10.38/10.41 c choco : 1801.0
10.38/10.41 c mistral : 1800.02
10.38/10.41 c abscon : 14.5538
10.38/10.41 c
10.38/10.41 c
10.38/10.41 c /home/eomahony/cpZilla/CSP/fapp/fapp01-05/fapp03/fapp03-0300-1.xml
10.38/10.41 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
10.38/10.41 c choco : 32.23
10.38/10.41 c mistral : 8.82966
10.38/10.41 c abscon : 5.43717
10.38/10.41 c
10.38/10.41 c
10.38/10.41 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
10.38/10.41 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
10.38/10.42 c choco : 245.07
10.38/10.42 c mistral : 279.471
10.38/10.42 c abscon : 6.48201
10.38/10.42 c
10.38/10.42 c
10.38/10.42 c Length: 40
10.38/10.42 c 1.7370922393471233 1.8150823478575295 1.8355385934379052 1.9251659793378868 1.9595811919897586 1.9670330905971054 2.018169779652842 2.037219698019829 2.092153055945955 2.0933966389578456 2.1365365734065964 2.151868624707374 2.2209955263349825 2.235021192182302 2.2367337297944085 2.269601641148508 2.2854833401274233 2.302750088373464 2.344182059803376 2.3659422244644945 2.5630504341506826 2.572512469590964 2.5762641712883405 2.588253673862745 2.6214860968925624 2.640224064405141 2.6708943682221884 2.683618967041335 2.690903245417977 2.762715694059199 2.76616635079382 2.7711418451968495 2.7797197981453095 2.7964120600340716 2.796463473067546 2.8030387379058825 2.815791306234182 2.8187237325186736 2.8252893508808974 2.878602765277627
10.38/10.42 c
10.38/10.42 c 1.0 0.9360475047672596 0.9206050180639411 0.8585469572622781 0.8368848697248932 0.8323375840544134 0.8024181792489145 0.7918149619543275 0.7627504907325378 0.7621172058477291 0.7407812879982277 0.7334833427235835 0.702289175136865 0.6962809793929907 0.6955544121073858 0.6818978119795289 0.6754893349338451 0.6686572588127752 0.6528138509690216 0.6447898712194188 0.5801924645107475 0.5774155328229587 0.5763218235178784 0.5728542121277899 0.5634572565423638 0.5582934958667067 0.5500426758769267 0.546690689521418 0.5447901472382541 0.5267374034677972 0.5259000300075071 0.5246972994473942 0.5226366107124131 0.5186726581105803 0.5186605418146382 0.5171156281942176 0.5141453895268812 0.5134672081775368 0.5119552477421121 0.5
10.38/10.43 c
10.38/10.43 c solver 0
10.38/10.43 c before 0.0 seconds: {} 0
10.38/10.44 c before 18.0 seconds: {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} 25159
10.38/10.44 c before 36.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} 26159
10.38/10.44 c
10.38/10.44 c solver 1
10.38/10.44 c before 0.0 seconds: {} 0
10.38/10.44 c before 18.0 seconds: {3, 4, 7, 9, 11, 12, 14, 16, 20, 21, 22, 23, 24, 25, 27, 29, 30, 31, 32, 34, 35, 38} 13679
10.38/10.44 c before 36.0 seconds: {3, 4, 7, 9, 11, 12, 14, 16, 20, 21, 22, 23, 24, 25, 27, 29, 30, 31, 32, 34, 35, 36, 38} 14193
10.38/10.44 c before 54.0 seconds: {3, 4, 7, 9, 11, 12, 14, 16, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 38} 15261
10.38/10.44 c before 288.0 seconds: {3, 4, 7, 9, 11, 12, 14, 16, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 15761
10.38/10.44 c before 522.0 seconds: {3, 4, 7, 9, 11, 12, 14, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 16414
10.38/10.44 c
10.38/10.44 c solver 2
10.38/10.44 c before 0.0 seconds: {} 0
10.38/10.44 c before 36.0 seconds: {21, 29, 31, 34, 35, 38} 3176
10.38/10.44 c before 54.0 seconds: {21, 22, 29, 31, 34, 35, 38} 3752
10.38/10.44 c before 72.0 seconds: {21, 22, 23, 29, 31, 34, 35, 38} 4325
10.38/10.44 c before 90.0 seconds: {21, 22, 23, 24, 29, 31, 34, 35, 38} 4889
10.38/10.44 c before 108.0 seconds: {21, 22, 23, 24, 27, 29, 31, 34, 35, 38} 5435
10.38/10.44 c before 126.0 seconds: {21, 22, 23, 24, 27, 28, 29, 31, 34, 35, 38} 5980
10.38/10.44 c before 216.0 seconds: {21, 22, 23, 24, 27, 28, 29, 30, 31, 34, 35, 38} 6506
10.38/10.44 c before 252.0 seconds: {21, 22, 23, 24, 27, 28, 29, 30, 31, 34, 35, 38, 39} 7006
10.38/10.44 c before 288.0 seconds: {21, 22, 23, 24, 27, 28, 29, 30, 31, 33, 34, 35, 38, 39} 7525
10.38/10.44 c
10.38/10.44 cTotal time: 47
10.38/10.44 c 846.0 seconds unused
10.38/10.44 c 0 c 13 c 26
10.38/10.44 c 0 c 0 c 14
10.38/10.44 c 0 c 1 c 0
10.38/10.44 c is solver0 dominated by:
10.38/10.44 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)
10.38/10.44 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)
10.38/10.44 c is dominated? false
10.38/10.44 c
10.38/10.44 c is solver1 dominated by:
10.38/10.44 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)
10.38/10.44 c is dominated? true
10.38/10.44 c
10.38/10.44 c is solver2 dominated by:
10.38/10.44 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)
10.38/10.44 c is dominated? true
10.38/10.44 c
10.38/10.44 c Number of non-dominated solvers: 1
10.38/10.44 c remove dominated solvers
10.38/10.44 c solver 0 is not dominated by another solver
10.38/10.44 c solver 2 is dominated by another solver
10.38/10.44 c solver 1 is dominated by another solver
10.38/10.44 c
10.38/10.44 c solver 0: 36.0
10.38/10.44 c
10.38/10.44 c+ 2/2 of 98
10.38/10.44 c
10.38/10.44 c solver 1: 0.0
10.38/10.44 c
10.38/10.44 c solver 2: 0.0
10.38/10.44 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} 26159
10.38/10.44 c do not run mistral
10.38/10.44 c do not run choco
10.38/10.44 c Starting solver: HOME/cpHydra_k_40/solver/abscon
10.38/10.44 c On Instance: HOME/instance-1086226-1215238196.xml
10.38/10.44 c Running for: 1800 seconds
47.07/47.35 s SAT
47.07/47.35 v 2612 2236 -2644 2464 2228 -2580 -2360 -2404 -2300 2608 2648 -2388 2592 -2580 2668 -2564 -2360 2568 -2276 -2304 2456 -2340 -2324 -2628 2532 2656 -2416 2140 -2160 -2416 2628 -2452 2572 2532 -2616 2584 2204 -2348 -2300 -2148 2308 -2188 -2488 2216 2296 2716 -2560 2532 -2276 2396 -2308 -2500 -2660 -2348 2248 2232 2296 -2676 -2552 -2428 -2596 2652 2256 2532 2496 2524 -2612 2676 2408 -2572 2232 -2252 2140 2316 2656 -2272 -2348 -2716 -2180 -2436 -2284 2340 -2380 2544 -2716 2484 -2632 -2456 2640 2228 -2460 2552 -2708 2576 2424 -2460 -2280 -2184 -2716 -2416 2188 2164 -2668 2180 2716 -2216 -2660 2400 -2696 2688 -2524 2604 2620 -2524 -2716 2364 -2576 -2172 2676 -2308 2580 -2592 2148 -2180 -2164 2620 -2692 -2252 2656 -2632 -2492 2540 2540 2268 -2300 -2508 -2284 2392 2152 -2288 2272 2612 -2188 2140 2316 -2628 -2228 2512 -2676 2212 -2172 -2552 2552 2464 2256 2676 -2188 -2448 -2280 2212 2604 -2624 -2644 -2576 2388 2708 2444 -2676 -2164 -2236 2312 -2468 2676 2616 2404 -2140 -2676 -2140 2208 -2324 2644 2628 2564 -2196 2676 2348 2696 -2584 -2392 2180 2632 -2356 2348 2612 -2604 -2180 -2268 -2412 -2300 -2716 2596 2184 -2180 -2204 -2652 2716 -2572 -2592 -2320 2604 -2340 2620 2360 -2392 -2580 -2556 2500 2532 -2380 -2436 -2668 2640 2388 -2668 2528 -2608 -2452 2576 -2476 2632 -2600 -2616 -2140 2656 -2380 -2284 2616 -2588 2324 -2660 -2240 -2348 -2200 2692 -2440 -2524 -2380 2636 -2236 2420 -2580 2504 2392 -2512 2636 -2348 -2580 -2420 -2252 2516 2480 2432 -2676 -2308 -2372 -2360 2628 -2192 2148 2488 -2620 2272 2352 -2276 2212 -2440 -2556 -2428 -2608 2692 2256 2536 -2264 -2572 2672 2496 -2180 -2268 -2256 -2668 -2220 2672 -2324 -2356 2680 -2312 -2256 -2380 2396 -2376 2424 2576 -2140 -2404 -2568 -2308 -2140 2648 -2324 2636 2296 -2592 -2644 2324 2552 -2580 2632 -2308 -2540 -2676 2216 -2448 -2180 2648 2572 2592 2204 -2652 2184 2344 2524 -2676 -2180 -2140 2548 -2652 2612 2396 -2284 -2180 2320 -2552 2604 -2536 -2268 2656 2620 -2144 -2496 -2688 2708 2672 2676 -2576 -2492 -2144 -2140 2224 2228 2712 -2444 -2180 -2592 2188 2536 2708 2544 -2352 -2340 -2336 2552 -2668 2388 2672 -2488 -2600 -2352 2292 -2544 2212 -2272 2640 2180 -2584 -2264 -2540 -2356 2588 -2188 2648 -2420 2676 2184 -2284 2476 2364 -2652 2416 2340 2492 -2616 2484 -2436 2420 -2180 -2296 -2612 2652 2668 2272 2552 2688 -2560 2452 -2144 -2680 -2140 2516 -2716 2412 -2140 -2584 2232 -2624 -2696 2396 -2576 2492 -2680 -2628 -2304 -2276 -2652 2448 -2376 -2468 2456 -2460 2400 -2716 -2320 -2180 2696 -2552 2576 -2236 2508 2656 -2436 -2716 2564 -2228 2440 -2168 2376 -2540 2356 -2428 -2692 -2716 -2260 -2384 2468 2620 -2316 2676 2148 -2512 -2156 2588 2144 -2248 -2476 2612 -2696 2196 -2288 2512 -2384 2492 2184 -2400 2344 2616 2572 2532 -2256 2140 -2340 2428 2424 -2668 -2572 2628 -2672 2320 -2716 2144 -2564 -2696
47.07/47.35 d ASSIGNMENTS 1727
47.07/47.35 d CHECKS 33099519