0.00/0.00 c cpHydra_k_40 version 0.0
14.90/15.09 c CASE TO CLASSIFY:
14.90/15.09 c Case: 0
14.90/15.09 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.855600 | c 15 > 13.474300 | c 34 > 68.221600 | c 16 > 2.000000 | c 13 > 2.899910 | c 14 > -1.000000 | c 11 > 9.813780 | c 12 > 4.660560 | c 21 > 14.819800 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 4.138970 | c 24 > 0.847926 | 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.474300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.592700 | c 31 > -1.000000 | c 4 > 9.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.00/15.10 c choco : 1801.0
15.00/15.10 c mistral : 1801.0
15.00/15.10 c abscon : 1801.0
15.00/15.10 c
15.00/15.10 c
15.00/15.17 c List of same ones: 40
15.00/15.17 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
15.00/15.17 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 11.340400 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.00/15.18 c choco : 1801.0
15.00/15.18 c mistral : 81.4206
15.00/15.18 c abscon : 52.605
15.00/15.18 c
15.00/15.18 c
15.00/15.18 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
15.00/15.18 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.872700 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.00/15.19 c choco : 1801.0
15.00/15.19 c mistral : 866.057
15.00/15.19 c abscon : 36.8914
15.00/15.19 c
15.00/15.19 c
15.00/15.19 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
15.00/15.19 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.871900 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.00/15.20 c choco : 1801.0
15.00/15.20 c mistral : 1800.02
15.00/15.20 c abscon : 55.4456
15.00/15.20 c
15.00/15.20 c
15.00/15.20 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
15.00/15.20 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.760700 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.10/15.21 c choco : 1801.0
15.10/15.21 c mistral : 22.7995
15.10/15.21 c abscon : 8.06777
15.10/15.21 c
15.10/15.21 c
15.10/15.21 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
15.10/15.21 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
15.10/15.22 c choco : 1801.0
15.10/15.22 c mistral : 1800.03
15.10/15.22 c abscon : 25.9351
15.10/15.22 c
15.10/15.22 c
15.10/15.22 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
15.10/15.22 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.687400 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.10/15.22 c choco : 1801.0
15.10/15.22 c mistral : 19.3181
15.10/15.22 c abscon : 8.28274
15.10/15.23 c
15.10/15.23 c
15.10/15.23 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
15.10/15.23 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
15.10/15.23 c choco : 1801.0
15.10/15.23 c mistral : 1800.02
15.10/15.23 c abscon : 17.2824
15.10/15.23 c
15.10/15.23 c
15.10/15.23 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
15.10/15.23 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.582100 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.10/15.24 c choco : 1801.0
15.10/15.24 c mistral : 28.7696
15.10/15.24 c abscon : 7.97079
15.10/15.24 c
15.10/15.24 c
15.10/15.24 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
15.10/15.24 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
15.10/15.25 c choco : 1801.0
15.10/15.25 c mistral : 6.79996
15.10/15.25 c abscon : 6.95294
15.10/15.25 c
15.10/15.25 c
15.10/15.25 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
15.10/15.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 12.097700 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.10/15.26 c choco : 1801.0
15.10/15.26 c mistral : 9.13061
15.10/15.26 c abscon : 16.3965
15.10/15.26 c
15.10/15.26 c
15.10/15.26 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
15.10/15.26 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
15.28/15.44 c choco : 1801.0
15.28/15.44 c mistral : 4.03939
15.28/15.45 c abscon : 7.04993
15.28/15.45 c
15.28/15.45 c
15.28/15.45 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-3.xml
15.28/15.45 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.474700 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.28/15.46 c choco : 1801.0
15.28/15.46 c mistral : 48.0167
15.28/15.46 c abscon : 8.41372
15.28/15.46 c
15.28/15.46 c
15.28/15.46 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-5.xml
15.28/15.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.468600 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.28/15.47 c choco : 1801.0
15.28/15.47 c mistral : 19.2201
15.28/15.47 c abscon : 8.30374
15.28/15.47 c
15.28/15.47 c
15.28/15.47 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-2.xml
15.28/15.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.460500 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.28/15.47 c choco : 1801.0
15.28/15.47 c mistral : 46.72
15.28/15.47 c abscon : 8.16376
15.28/15.47 c
15.28/15.47 c
15.28/15.47 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
15.28/15.47 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
15.28/15.48 c choco : 1801.0
15.28/15.48 c mistral : 3.81642
15.28/15.48 c abscon : 7.04593
15.28/15.48 c
15.28/15.48 c
15.28/15.48 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-1.xml
15.28/15.48 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.411500 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.28/15.49 c choco : 1801.0
15.28/15.49 c mistral : 46.277
15.28/15.49 c abscon : 8.15676
15.28/15.49 c
15.28/15.49 c
15.28/15.49 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
15.28/15.49 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
15.28/15.49 c choco : 1801.0
15.28/15.49 c mistral : 4.28235
15.28/15.50 c abscon : 6.70698
15.28/15.50 c
15.28/15.50 c
15.28/15.50 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml
15.28/15.50 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.772700 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.35/15.50 c choco : 1801.0
15.35/15.50 c mistral : 10.4224
15.35/15.50 c abscon : 16.1016
15.35/15.50 c
15.35/15.50 c
15.35/15.50 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
15.35/15.50 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
15.35/15.51 c choco : 1801.0
15.35/15.51 c mistral : 2.73858
15.35/15.51 c abscon : 6.30204
15.35/15.51 c
15.35/15.51 c
15.35/15.51 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml
15.35/15.51 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.681200 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.35/15.52 c choco : 1801.0
15.35/15.52 c mistral : 16.71
15.35/15.52 c abscon : 16.0216
15.35/15.52 c
15.35/15.52 c
15.35/15.52 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml
15.35/15.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.629800 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.35/15.52 c choco : 1801.0
15.35/15.52 c mistral : 19.43
15.35/15.52 c abscon : 19.1291
15.35/15.52 c
15.35/15.52 c
15.35/15.52 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
15.35/15.52 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
15.35/15.53 c choco : 1801.0
15.35/15.53 c mistral : 2.6216
15.35/15.53 c abscon : 6.46502
15.35/15.53 c
15.35/15.53 c
15.35/15.53 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml
15.35/15.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.567500 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.35/15.53 c choco : 1801.0
15.35/15.53 c mistral : 36.3755
15.35/15.53 c abscon : 15.7406
15.35/15.53 c
15.35/15.53 c
15.35/15.53 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
15.35/15.53 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
15.35/15.54 c choco : 1801.0
15.35/15.54 c mistral : 2.35864
15.35/15.54 c abscon : 6.51701
15.35/15.54 c
15.35/15.54 c
15.35/15.54 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
15.35/15.54 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
15.35/15.55 c choco : 37.81
15.35/15.55 c mistral : 7.2519
15.35/15.55 c abscon : 12.7981
15.35/15.55 c
15.35/15.55 c
15.35/15.55 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
15.35/15.55 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
15.35/15.55 c choco : 67.9
15.35/15.55 c mistral : 6.572
15.35/15.55 c abscon : 12.5521
15.35/15.55 c
15.35/15.55 c
15.35/15.55 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
15.35/15.55 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
15.35/15.56 c choco : 1801.0
15.35/15.56 c mistral : 2.40163
15.35/15.56 c abscon : 6.25705
15.35/15.56 c
15.35/15.56 c
15.35/15.56 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml
15.35/15.56 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.466100 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.35/15.56 c choco : 1801.0
15.35/15.56 c mistral : 1800.04
15.35/15.56 c abscon : 15.5706
15.35/15.56 c
15.35/15.56 c
15.35/15.56 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
15.35/15.56 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
15.35/15.57 c choco : 1801.0
15.35/15.57 c mistral : 5.8841
15.35/15.57 c abscon : 12.8071
15.35/15.57 c
15.35/15.57 c
15.35/15.57 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-3.xml
15.35/15.57 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.323100 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.35/15.57 c choco : 1801.0
15.35/15.57 c mistral : 1800.1
15.35/15.57 c abscon : 15.6316
15.35/15.57 c
15.35/15.57 c
15.35/15.57 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
15.35/15.57 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
15.35/15.58 c choco : 104.95
15.35/15.58 c mistral : 7.41487
15.35/15.58 c abscon : 12.2871
15.35/15.58 c
15.35/15.58 c
15.35/15.58 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-2.xml
15.35/15.58 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.270900 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.35/15.58 c choco : 1801.0
15.35/15.59 c mistral : 39.545
15.35/15.59 c abscon : 6.47701
15.35/15.59 c
15.35/15.59 c
15.35/15.59 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-4.xml
15.35/15.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.218600 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.35/15.59 c choco : 1801.0
15.35/15.59 c mistral : 1800.05
15.35/15.59 c abscon : 14.8827
15.35/15.59 c
15.35/15.59 c
15.35/15.59 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-0.xml
15.35/15.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 10.000000 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.35/15.60 c choco : 1801.0
15.35/15.60 c mistral : 56.79
15.35/15.60 c abscon : 7.94879
15.35/15.60 c
15.35/15.60 c
15.35/15.60 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-1.xml
15.35/15.60 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 11.163000 | c 34 > 68.221700 | c 16 > 2.000000 | c 13 > 2.578290 | c 14 > -1.000000 | c 11 > 9.643860 | c 12 > 4.487840 | c 21 > 12.340200 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 2.904140 | c 24 > 0.789325 | 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.131700 | 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.894400 | c 31 > -1.000000 | c 4 > 9.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
15.42/15.60 c choco : 1801.0
15.42/15.60 c mistral : 113.7
15.42/15.60 c abscon : 6.29104
15.42/15.60 c
15.42/15.60 c
15.42/15.60 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
15.42/15.60 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
15.42/15.61 c choco : 201.72
15.42/15.61 c mistral : 9.30558
15.42/15.61 c abscon : 12.6881
15.42/15.61 c
15.42/15.61 c
15.42/15.61 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
15.42/15.61 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
15.42/15.61 c choco : 1801.0
15.42/15.61 c mistral : 31.0823
15.42/15.61 c abscon : 15.9926
15.42/15.61 c
15.42/15.61 c
15.42/15.61 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
15.42/15.61 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
15.42/15.62 c choco : 1801.0
15.42/15.62 c mistral : 1800.02
15.42/15.62 c abscon : 14.5538
15.42/15.62 c
15.42/15.62 c
15.42/15.62 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
15.42/15.62 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
15.42/15.63 c choco : 1801.0
15.42/15.63 c mistral : 9.48556
15.42/15.63 c abscon : 6.47801
15.42/15.63 c
15.42/15.63 c
15.42/15.63 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
15.42/15.63 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
15.42/15.63 c choco : 245.07
15.42/15.63 c mistral : 279.471
15.42/15.63 c abscon : 6.48201
15.42/15.63 c
15.42/15.63 c
15.42/15.64 c Length: 40
15.42/15.64 c 2.503515992927546 2.912453549302375 2.913168185471618 3.0129201909184387 3.0160566026653073 3.0791029094273545 3.120733463543626 3.174725808135877 3.2112082072766626 3.244489201970165 3.245162465960833 3.2728677450890067 3.278459334328245 3.285887027401277 3.32062319158332 3.3308868123735453 3.374467221722712 3.3951620258392676 3.4300062537087306 3.4419311776531787 3.46898585637085 3.4951570480424765 3.5025089381329204 3.5099275691217615 3.539298063447184 3.5522245511680404 3.555558800031437 3.55872868616041 3.6078541090128615 3.641338224018884 3.6538574167475373 3.6724180292691355 3.704033627236799 3.7127918884370557 3.7381533290785436 3.7404285666111825 3.791972729585616 3.7950082294931837 3.8131958762278386 3.856763796490652
15.42/15.64 c
15.42/15.64 c 1.0 0.7679372637681929 0.7676259609457924 0.7265167097418628 0.7252954268104829 0.7015882643998476 0.686765618910393 0.6684495595340438 0.65661678253692 0.6461819432703206 0.6459742711989019 0.6375426772861845 0.6358676036997237 0.6336560529720163 0.623514495176873 0.6205797700176091 0.608420282481773 0.60281149227445 0.5935979333451774 0.5905090802961483 0.5836190506583848 0.5771053065286933 0.5753015733068995 0.5734928588304471 0.5664423949837291 0.5633940004417767 0.5626130154758492 0.5618725344938654 0.5506410956963408 0.5432395656233832 0.5405230973044258 0.5365453638607931 0.5299029360701777 0.5280918198153056 0.5229164860510795 0.5224571480016095 0.5122631176042896 0.5116751677027702 0.5081804550077984 0.5
15.42/15.65 c
15.42/15.65 c solver 0
15.42/15.65 c before 0.0 seconds: {} 0
15.42/15.65 c before 18.0 seconds: {3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20565
15.42/15.65 c before 36.0 seconds: {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} 21874
15.42/15.65 c before 54.0 seconds: {0, 1, 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} 23642
15.42/15.65 c before 72.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} 24409
15.42/15.65 c
15.42/15.65 c solver 1
15.42/15.65 c before 0.0 seconds: {} 0
15.42/15.65 c before 18.0 seconds: {8, 9, 10, 14, 16, 17, 18, 19, 21, 23, 24, 25, 26, 28, 30, 35, 38} 9932
15.42/15.65 c before 36.0 seconds: {3, 5, 7, 8, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 28, 30, 35, 36, 38} 13760
15.42/15.65 c before 54.0 seconds: {3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 35, 36, 38} 16764
15.42/15.65 c before 72.0 seconds: {3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 35, 36, 38} 17292
15.42/15.65 c before 90.0 seconds: {0, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 35, 36, 38} 18292
15.42/15.65 c before 126.0 seconds: {0, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 34, 35, 36, 38} 18815
15.42/15.65 c before 288.0 seconds: {0, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 34, 35, 36, 38, 39} 19315
15.42/15.65 c before 882.0 seconds: {0, 1, 3, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 33, 34, 35, 36, 38, 39} 20083
15.42/15.65 c
15.42/15.65 c solver 2
15.42/15.65 c before 0.0 seconds: {} 0
15.42/15.65 c before 54.0 seconds: {24} 566
15.42/15.65 c before 72.0 seconds: {24, 25} 1129
15.42/15.65 c before 108.0 seconds: {24, 25, 30} 1670
15.42/15.65 c before 216.0 seconds: {24, 25, 30, 35} 2192
15.42/15.65 c before 252.0 seconds: {24, 25, 30, 35, 39} 2692
15.42/15.65 c
15.42/15.65 cTotal time: 67
15.42/15.65 c 1206.0 seconds unused
15.42/15.65 c 0 c 7 c 35
15.42/15.65 c 0 c 0 c 28
15.42/15.65 c 0 c 0 c 0
15.42/15.65 c is solver0 dominated by:
15.42/15.65 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)
15.42/15.65 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)
15.42/15.65 c is dominated? false
15.42/15.65 c
15.42/15.65 c is solver1 dominated by:
15.42/15.65 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)
15.42/15.65 c is dominated? true
15.42/15.65 c
15.42/15.65 c is solver2 dominated by:
15.42/15.65 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)
15.42/15.66 c is dominated? true
15.42/15.66 c
15.42/15.66 c Number of non-dominated solvers: 1
15.42/15.66 c remove dominated solvers
15.42/15.66 c solver 0 is not dominated by another solver
15.42/15.66 c solver 2 is dominated by another solver
15.42/15.66 c solver 1 is dominated by another solver
15.42/15.66 c
15.42/15.66 c solver 0: 72.0
15.42/15.66 c
15.42/15.66 c+ 4/4 of 96
15.42/15.66 c
15.42/15.66 c solver 1: 0.0
15.42/15.66 c
15.42/15.66 c solver 2: 0.0
15.42/15.66 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} 24409
15.42/15.66 c do not run mistral
15.42/15.66 c do not run choco
15.42/15.66 c Starting solver: HOME/cpHydra_k_40/solver/abscon
15.42/15.66 c On Instance: HOME/instance-1085869-1215235878.xml
15.42/15.66 c Running for: 1800 seconds
66.86/67.35 s SAT
66.86/67.35 v 2528 2640 2228 2364 -2484 -2312 -2256 2672 -2460 2540 -2284 2320 -2528 -2388 -2416 -2428 2612 2172 -2040 2672 2536 -2692 -2728 -2360 -2556 -2096 2672 -2424 2608 2684 -2324 -2220 -2420 2216 2592 2380 2488 2544 -2576 2172 -2032 2384 -2516 -2572 -2544 -2092 -2212 -2432 -2344 2656 -2176 -2584 2296 -2140 2028 -2420 2488 -2708 -2688 -2256 -2616 -2696 -2064 -2648 -2168 -2528 2544 -2072 2444 -2720 -2648 -2344 2236 -2352 -2656 2652 -2332 2472 -2108 -2528 -2684 -2504 2688 2104 2312 -2080 -2532 2340 -2456 -2592 2724 2700 -2656 2572 2048 -2584 2604 -2620 -2556 -2608 2656 -2740 -2384 2556 -2324 -2668 -2720 2696 2448 2340 2256 -2464 -2720 -2508 2268 -2144 2120 2584 -2712 -2060 2376 2340 -2604 -2136 2300 2696 -2692 -2100 2536 -2172 2192 2544 2408 2512 -2400 -2740 -2112 -2312 -2708 -2504 -2536 -2292 -2240 2216 -2364 -2632 -2716 -2400 -2728 2632 2660 -2308 -2476 -2040 2100 2692 -2700 2200 -2224 -2112 -2300 2424 -2628 -2476 2608 -2192 2068 -2060 -2296 -2060 -2620 -2476 -2132 -2080 -2284 -2428 -2740 2192 -2436 -2240 -2484 -2344 2564 -2696 -2532 -2264 -2076 2256 -2524 2652 -2496 2404 -2364 -2068 -2660 2564 -2400 -2344 -2268 -2672 -2112 2128 2420 2668 2676 2568 2456 2024 2088 -2456 -2268 -2176 2412 -2440 2664 -2396 -2024 -2684 2400 -2428 -2384 -2156 -2536 2644 -2472 -2252 -2160 2280 -2572 -2248 -2496 -2604 2060 -2672 -2216 2172 -2400 -2340 -2348 2444 2228 2588 2656 -2216 -2636 -2588 2476 2576 -2740 2644 2272 -2360 -2152 -2532 -2244 -2580 -2312 -2584 2728 -2540 -2300 -2468 2308 -2396 2656 -2020 2456 2552 -2316 -2204 -2740 2680 2216 -2476 2620 -2480 2464 2656 2040 -2216 -2712 -2368 2548 -2644 2212 -2680 -2548 -2268 -2204 2420 2532 2472 2604 -2072 -2292 -2432 -2740 2568 2216 -2068 2352 -2108 2528 -2460 2624 2280 2344 2420 2020 -2020 -2404 -2740 -2708 2672 -2484 2020 2656 2720 -2680 -2152 2680 2660 2500 2572 -2700 -2444 -2332 2664 2660 -2692 -2216 2672 2680 -2060 2216 -2136 2692 2644 -2380 2324 2132 -2432 2608 2424 -2584 2596 2444 -2160 -2420 -2456 2700 -2584 -2060 -2532 2532 -2088 -2336 2256 -2176 2540 2324 -2344 2136 2472 -2060 2516 -2216 -2060 -2180 2360 -2084 -2740 -2700 2456 -2108 -2500 -2412 -2696 -2664 -2064 -2396 -2688 -2452 -2712 2556 2020 -2088 -2184 -2684 -2584 -2540 2064 -2544 2020 2544 2096 2044 2668 2456 2020 -2084 2496 -2432 2216 -2676 2740 -2032 -2712 -2700 -2496 -2544 -2440 -2608 -2700 2672 -2204 -2644 -2180 2496 -2724 -2352 -2372 2456 -2392 -2060 -2680 2544 2312 -2020 -2664 -2408 -2200 -2332 -2372 2708 2080 2568 -2256 2700 -2676 -2464 -2584 2120 2616 -2712 2524 2368 -2580 -2576 -2592 -2440 -2632 -2532 -2700 2472 2060 2068 2600 2572 -2304 2632 -2512 2560 2272 -2596 -2060 2044 2636 -2628 -2712 -2264 -2292 -2496 -2020 -2472 2492 -2436 -2436 -2216 2484 2644 -2060 -2256 -2024 2372 2740 -2656 -2576 2552 2648 -2292 2396 -2644 -2356 -2700 -2712 -2524 2280 2684 -2528 2196 2540 -2460 -2648 -2284 -2616 -2060 -2368 -2284 2656 2040 2384 -2260 2420 2448 2644 -2672 2684 -2272 2732 2616 2168 -2060 -2240 2068 2364 -2496 2516 2412 -2700 2184 -2552 -2436 -2256 -2700 2356 -2196 -2516 -2384 -2392 2688 -2336 2076 -2096 2676 -2340 2360 -2512 -2740 2588 2136 -2388 -2164 -2116 2080 -2536 2536 -2716 -2068 2128 -2512 -2524 2564 2300 2704 2672 2500 -2584 2596 2672 -2528 -2492 -2256 2408 -2332 2028 -2432 2252 -2440 -2392 2244 -2464 -2320 2628 -2720 2020 -2136 -2568 -2740 -2464 2692 -2460 2524 -2472 2476 2020 -2704 -2052 2692 -2060 2604 -2280 2528 -2640 -2712 2140 -2144 2508 -2644 -2636 -2136 -2388 -2500 -2080 -2644 2564 -2332 -2468 -2584 -2028 2696 -2024 -2460 2716 2188 -2092 -2476 -2124 2568 -2072 2448 2304 -2572 2372 -2068 -2168 2048 2684 2500 -2608 -2532 2424 -2420 -2144 -2488 -2700 -2500 -2544 -2348 2700 2552 -2020 2656 -2396 -2668 2408 -2276 -2060 2512 -2148 -2288 2704 2164 2620 2084 -2588 -2644 -2684 -2500 2652 -2712 -2652 2740 -2412 -2532 -2128 -2656 2328 2660 2644 2556 -2332 2576 -2364 2028 2712 -2260 -2516 -2740 2304 -2212 2656 -2380 -2700 2356 2540 -2560 -2448 -2484 -2700 -2660 -2516 2656 -2232 -2696 -2596 -2164 -2580 -2328 -2020 -2120 -2448 -2264 -2684 -2484 -2512 2308 -2176 -2176 -2624 2312 2068 -2572 -2064 -2596 -2072 2696 2424 -2544 2632 -2252 -2708 2540 -2364 -2372 -2480 2172 -2060 -2216 -2488 2568 2672 -2724 2424 2520 -2740 -2516 -2020 -2244 -2696 -2380 2300 2452 -2212 -2160 -2328 -2488 -2120 -2228 -2672 2708 -2080 -2684 2740 2052 -2068 -2524 2192 2200 -2208 -2152 -2700 -2608 2444 -2468 -2732 -2256 -2496 -2220 -2324 -2512 2212 -2068 -2456 2500 -2724 2512 -2696 -2160 -2100 2324 -2436 2528 -2120 2644 2680 -2216 2700 2580 -2636 2044 -2372 -2548 -2384 -2408 2368 2268 -2060 -2564 2292 -2684 2728 -2720 -2696 -2344 2568 -2540 -2496 -2464 -2680 2552 2020 2256 2092 -2436 -2496 -2260 2256 -2688 -2232 -2620 -2020 2552 2160 2712 2028 -2488 -2028 2444 -2096 -2256 -2060 2380 2716 2676 2656 -2508 -2720 -2556 -2628 -2608 -2116 2692 2516 -2224 -2652 2320 -2488 2472 -2604 2584 -2732 -2624 -2608 2668 -2696 2700 -2524 2324 -2416 -2672 2556 2540 2028 -2440 2684 -2684 -2316 2644 -2324 -2320 2484 2440 -2648 -2332 2056 2456 -2352 2572 2020 2672 2668 -2028 2432 -2380 -2668 -2400 -2676 2520 -2648
66.86/67.35 d ASSIGNMENTS 1872
66.86/67.35 d CHECKS 59243294