0.00/0.00 c cpHydra_k_40 version 0.0
15.47/15.67 c CASE TO CLASSIFY:
15.47/15.67 c Case: 0
15.47/15.68 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.47/15.69 c choco : 1801.0
15.47/15.69 c mistral : 1801.0
15.47/15.69 c abscon : 1801.0
15.47/15.69 c
15.47/15.69 c
15.58/15.76 c List of same ones: 40
15.58/15.76 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
15.58/15.76 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.58/15.77 c choco : 1801.0
15.58/15.77 c mistral : 81.4206
15.58/15.77 c abscon : 52.605
15.58/15.77 c
15.58/15.77 c
15.58/15.77 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
15.58/15.77 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.58/15.78 c choco : 1801.0
15.58/15.78 c mistral : 866.057
15.58/15.78 c abscon : 36.8914
15.58/15.78 c
15.58/15.78 c
15.58/15.78 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
15.58/15.78 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.58/15.79 c choco : 1801.0
15.58/15.79 c mistral : 1800.02
15.58/15.79 c abscon : 55.4456
15.58/15.79 c
15.58/15.79 c
15.58/15.79 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
15.58/15.79 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.58/15.80 c choco : 1801.0
15.58/15.80 c mistral : 22.7995
15.58/15.80 c abscon : 8.06777
15.66/15.80 c
15.66/15.80 c
15.66/15.80 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
15.66/15.80 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.66/15.81 c choco : 1801.0
15.66/15.81 c mistral : 1800.03
15.66/15.81 c abscon : 25.9351
15.66/15.81 c
15.66/15.81 c
15.66/15.81 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
15.66/15.81 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.66/15.82 c choco : 1801.0
15.66/15.82 c mistral : 19.3181
15.66/15.82 c abscon : 8.28274
15.66/15.82 c
15.66/15.82 c
15.66/15.82 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
15.66/15.82 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.66/15.83 c choco : 1801.0
15.66/15.83 c mistral : 1800.02
15.66/15.83 c abscon : 17.2824
15.66/15.83 c
15.66/15.83 c
15.66/15.83 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
15.66/15.83 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.66/15.83 c choco : 1801.0
15.66/15.83 c mistral : 28.7696
15.66/15.83 c abscon : 7.97079
15.66/15.83 c
15.66/15.83 c
15.66/15.83 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
15.66/15.83 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.66/15.84 c choco : 1801.0
15.66/15.84 c mistral : 6.79996
15.66/15.84 c abscon : 6.95294
15.66/15.84 c
15.66/15.84 c
15.66/15.84 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
15.66/15.84 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.66/15.85 c choco : 1801.0
15.66/15.85 c mistral : 9.13061
15.66/15.85 c abscon : 16.3965
15.66/15.85 c
15.66/15.85 c
15.66/15.85 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
15.66/15.85 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.66/15.86 c choco : 1801.0
15.66/15.86 c mistral : 4.03939
15.66/15.86 c abscon : 7.04993
15.66/15.86 c
15.66/15.86 c
15.66/15.86 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-3.xml
15.66/15.86 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.66/15.88 c choco : 1801.0
15.66/15.88 c mistral : 48.0167
15.66/15.88 c abscon : 8.41372
15.66/15.88 c
15.66/15.88 c
15.66/15.88 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-5.xml
15.66/15.88 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.66/15.89 c choco : 1801.0
15.66/15.89 c mistral : 19.2201
15.66/15.89 c abscon : 8.30374
15.66/15.89 c
15.66/15.89 c
15.66/15.89 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-2.xml
15.66/15.89 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.66/15.89 c choco : 1801.0
15.66/15.89 c mistral : 46.72
15.66/15.89 c abscon : 8.16376
15.66/15.89 c
15.66/15.89 c
15.66/15.89 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
15.66/15.89 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.74/15.91 c choco : 1801.0
15.74/15.91 c mistral : 3.81642
15.74/15.91 c abscon : 7.04593
15.74/15.91 c
15.74/15.91 c
15.74/15.91 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-1.xml
15.74/15.91 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.74/15.91 c choco : 1801.0
15.74/15.91 c mistral : 46.277
15.74/15.91 c abscon : 8.15676
15.74/15.91 c
15.74/15.91 c
15.74/15.91 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
15.74/15.91 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.74/15.92 c choco : 1801.0
15.74/15.92 c mistral : 4.28235
15.74/15.92 c abscon : 6.70698
15.74/15.92 c
15.74/15.92 c
15.74/15.92 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml
15.74/15.92 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.74/15.92 c choco : 1801.0
15.74/15.92 c mistral : 10.4224
15.74/15.92 c abscon : 16.1016
15.74/15.92 c
15.74/15.92 c
15.74/15.92 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
15.74/15.93 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.74/15.93 c choco : 1801.0
15.74/15.93 c mistral : 2.73858
15.74/15.93 c abscon : 6.30204
15.74/15.93 c
15.74/15.93 c
15.74/15.93 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml
15.74/15.93 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.74/15.94 c choco : 1801.0
15.74/15.94 c mistral : 16.71
15.74/15.94 c abscon : 16.0216
15.74/15.94 c
15.74/15.94 c
15.74/15.94 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml
15.74/15.94 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.74/15.95 c choco : 1801.0
15.74/15.95 c mistral : 19.43
15.74/15.95 c abscon : 19.1291
15.74/15.95 c
15.74/15.95 c
15.74/15.95 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
15.74/15.95 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.74/15.95 c choco : 1801.0
15.74/15.95 c mistral : 2.6216
15.74/15.95 c abscon : 6.46502
15.74/15.95 c
15.74/15.95 c
15.74/15.95 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml
15.74/15.95 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.74/15.96 c choco : 1801.0
15.74/15.96 c mistral : 36.3755
15.74/15.96 c abscon : 15.7406
15.74/15.96 c
15.74/15.96 c
15.74/15.96 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
15.74/15.96 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.74/15.97 c choco : 1801.0
15.74/15.97 c mistral : 2.35864
15.74/15.97 c abscon : 6.51701
15.74/15.97 c
15.74/15.97 c
15.74/15.97 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
15.74/15.97 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.74/15.97 c choco : 37.81
15.74/15.97 c mistral : 7.2519
15.74/15.97 c abscon : 12.7981
15.74/15.97 c
15.74/15.97 c
15.74/15.97 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
15.74/15.97 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.74/15.98 c choco : 67.9
15.74/15.98 c mistral : 6.572
15.74/15.98 c abscon : 12.5521
15.74/15.98 c
15.74/15.98 c
15.74/15.98 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
15.74/15.98 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.74/15.98 c choco : 1801.0
15.74/15.98 c mistral : 2.40163
15.74/15.98 c abscon : 6.25705
15.74/15.98 c
15.74/15.98 c
15.74/15.98 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml
15.74/15.98 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.74/15.99 c choco : 1801.0
15.74/15.99 c mistral : 1800.04
15.74/15.99 c abscon : 15.5706
15.74/15.99 c
15.74/15.99 c
15.74/15.99 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
15.74/15.99 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.74/16.00 c choco : 1801.0
15.74/16.00 c mistral : 5.8841
15.74/16.00 c abscon : 12.8071
15.74/16.00 c
15.74/16.00 c
15.74/16.00 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-3.xml
15.74/16.00 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.80/16.00 c choco : 1801.0
15.80/16.00 c mistral : 1800.1
15.80/16.00 c abscon : 15.6316
15.80/16.00 c
15.80/16.00 c
15.80/16.00 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
15.80/16.00 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.80/16.01 c choco : 104.95
15.80/16.01 c mistral : 7.41487
15.80/16.01 c abscon : 12.2871
15.80/16.01 c
15.80/16.01 c
15.80/16.01 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-2.xml
15.80/16.01 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.80/16.01 c choco : 1801.0
15.80/16.01 c mistral : 39.545
15.80/16.01 c abscon : 6.47701
15.80/16.01 c
15.80/16.01 c
15.80/16.01 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-4.xml
15.80/16.01 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.80/16.02 c choco : 1801.0
15.80/16.02 c mistral : 1800.05
15.80/16.02 c abscon : 14.8827
15.80/16.02 c
15.80/16.02 c
15.80/16.02 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-0.xml
15.80/16.02 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.80/16.03 c choco : 1801.0
15.80/16.03 c mistral : 56.79
15.80/16.03 c abscon : 7.94879
15.80/16.03 c
15.80/16.03 c
15.80/16.03 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-1.xml
15.80/16.03 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.80/16.03 c choco : 1801.0
15.80/16.03 c mistral : 113.7
15.80/16.03 c abscon : 6.29104
15.80/16.03 c
15.80/16.03 c
15.80/16.03 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
15.80/16.03 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.80/16.04 c choco : 201.72
15.80/16.04 c mistral : 9.30558
15.80/16.04 c abscon : 12.6881
15.80/16.04 c
15.80/16.04 c
15.80/16.04 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
15.80/16.04 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.80/16.04 c choco : 1801.0
15.80/16.04 c mistral : 31.0823
15.80/16.04 c abscon : 15.9926
15.80/16.04 c
15.80/16.04 c
15.80/16.05 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
15.80/16.05 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.80/16.05 c choco : 1801.0
15.80/16.05 c mistral : 1800.02
15.80/16.05 c abscon : 14.5538
15.80/16.05 c
15.80/16.05 c
15.80/16.05 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
15.80/16.05 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.80/16.06 c choco : 1801.0
15.80/16.06 c mistral : 9.48556
15.80/16.06 c abscon : 6.47801
15.80/16.06 c
15.80/16.06 c
15.80/16.06 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
15.80/16.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
15.80/16.07 c choco : 245.07
15.80/16.07 c mistral : 279.471
15.80/16.07 c abscon : 6.48201
15.80/16.07 c
15.80/16.07 c
15.80/16.07 c Length: 40
15.80/16.07 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.80/16.07 c
15.80/16.07 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.80/16.09 c
15.80/16.09 c solver 0
15.80/16.09 c before 0.0 seconds: {} 0
15.80/16.09 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.80/16.09 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.80/16.09 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.80/16.09 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.80/16.09 c
15.80/16.09 c solver 1
15.80/16.09 c before 0.0 seconds: {} 0
15.80/16.09 c before 18.0 seconds: {8, 9, 10, 14, 16, 17, 18, 19, 21, 23, 24, 25, 26, 28, 30, 35, 38} 9932
15.80/16.09 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.80/16.09 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.80/16.09 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.80/16.09 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.80/16.09 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.80/16.09 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.80/16.09 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.80/16.09 c
15.80/16.09 c solver 2
15.80/16.09 c before 0.0 seconds: {} 0
15.80/16.09 c before 54.0 seconds: {24} 566
15.80/16.09 c before 72.0 seconds: {24, 25} 1129
15.80/16.09 c before 108.0 seconds: {24, 25, 30} 1670
15.80/16.09 c before 216.0 seconds: {24, 25, 30, 35} 2192
15.80/16.09 c before 252.0 seconds: {24, 25, 30, 35, 39} 2692
15.80/16.09 c
15.80/16.09 cTotal time: 67
15.80/16.09 c 1206.0 seconds unused
15.80/16.09 c 0 c 7 c 35
15.80/16.09 c 0 c 0 c 28
15.80/16.09 c 0 c 0 c 0
15.80/16.09 c is solver0 dominated by:
15.80/16.09 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.80/16.09 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.80/16.09 c is dominated? false
15.80/16.09 c
15.80/16.09 c is solver1 dominated by:
15.80/16.09 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.80/16.09 c is dominated? true
15.80/16.09 c
15.80/16.09 c is solver2 dominated by:
15.80/16.09 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.80/16.09 c is dominated? true
15.80/16.09 c
15.80/16.09 c Number of non-dominated solvers: 1
15.80/16.09 c remove dominated solvers
15.80/16.09 c solver 0 is not dominated by another solver
15.80/16.09 c solver 2 is dominated by another solver
15.80/16.09 c solver 1 is dominated by another solver
15.80/16.09 c
15.80/16.09 c solver 0: 72.0
15.80/16.09 c
15.80/16.09 c+ 4/4 of 96
15.80/16.09 c
15.80/16.09 c solver 1: 0.0
15.80/16.09 c
15.80/16.09 c solver 2: 0.0
15.80/16.09 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.80/16.09 c do not run mistral
15.80/16.09 c do not run choco
15.80/16.09 c Starting solver: HOME/cpHydra_k_40/solver/abscon
15.80/16.09 c On Instance: HOME/instance-1085890-1215235988.xml
15.80/16.09 c Running for: 1800 seconds
58.73/59.25 s SAT
58.73/59.25 v 2664 -2656 2532 -2364 -2504 2444 -2256 -2660 -2408 -2528 -2288 -2396 -2528 -2492 -2392 -2364 2696 2060 2020 -2684 2248 2708 -2684 -2680 -2504 -2104 2672 2588 2608 2672 2324 2248 -2420 -2240 -2716 -2380 -2488 2520 -2584 2144 -2020 -2384 -2544 2520 -2472 -2084 -2104 2440 -2344 2656 -2140 2632 2420 2140 -2032 -2420 2464 2628 2712 -2280 2552 -2548 -2100 -2692 -2312 -2528 2020 -2124 -2420 -2720 -2648 -2272 2524 -2340 -2656 -2712 -2332 2480 2448 -2536 -2112 2092 2688 -2116 -2268 2188 2480 -2344 -2428 -2524 -2660 2700 2656 -2528 -2064 2560 -2408 -2620 -2584 -2640 2656 -2740 -2384 2456 2324 2680 -2700 2020 2444 2356 2568 -2572 -2720 -2616 2356 -2156 -2020 -2584 2712 2708 2208 2260 -2740 -2060 -2516 2696 2712 -2092 2668 -2036 2188 2544 2512 2740 -2332 -2740 -2084 -2392 2644 -2504 -2532 -2284 -2316 -2220 -2448 2644 -2716 -2424 -2728 2632 2532 -2316 -2432 -2344 -2168 2672 -2700 -2228 -2596 -2652 2396 -2436 2664 -2484 -2652 -2156 2020 -2076 -2528 -2092 -2620 -2484 -2052 -2304 -2284 -2488 -2740 -2240 2620 -2256 -2568 -2344 2692 2628 -2496 2556 2020 -2344 -2532 2212 -2480 -2328 -2412 -2088 -2660 -2572 2356 -2344 2352 -2672 2112 -2288 2356 2684 -2224 2556 2208 -2060 2104 2504 -2168 2584 -2292 -2476 2568 -2404 -2740 2600 -2408 2408 -2384 2124 -2404 2640 -2060 -2156 -2092 2276 -2532 2588 -2628 -2648 -2380 -2652 -2312 2264 -2420 2568 -2324 -2536 -2356 -2624 -2060 -2216 -2184 -2576 2660 -2504 -2508 2644 -2376 -2436 2072 2488 -2256 -2580 -2416 2688 -2628 2620 2228 -2448 -2208 2628 2592 -2036 -2284 -2484 2304 -2216 -2540 -2672 -2384 -2476 2620 -2376 -2052 -2656 -2228 2252 -2688 -2296 2584 -2688 -2020 -2680 -2548 2316 -2216 2372 -2708 2700 -2544 -2736 -2332 2556 -2172 2608 2236 -2120 -2348 -2128 -2548 -2456 -2728 -2216 -2376 -2496 2080 2088 -2380 -2740 -2708 2728 -2484 -2128 2588 -2712 -2680 2116 -2700 2660 -2432 -2440 -2700 -2476 -2412 -2712 -2740 -2672 -2216 2636 2660 2020 -2216 -2144 -2740 2644 -2376 2384 -2060 2384 2564 -2424 -2584 2608 -2288 2060 2448 2432 -2132 -2432 2340 -2540 -2480 2328 -2460 -2592 -2172 -2472 -2372 -2344 -2624 -2700 -2052 2620 2256 -2060 2100 2292 -2060 -2064 -2700 -2496 2080 -2488 -2432 2648 -2584 -2700 2348 2132 -2392 -2712 2540 -2452 -2088 -2156 -2740 -2616 -2228 -2088 -2544 2684 2544 2020 2020 -2668 2300 2020 2068 2244 -2532 -2256 -2676 2740 2696 -2712 -2060 -2496 -2592 2432 -2648 -2700 -2672 -2356 -2456 -2288 -2544 2700 -2484 -2124 2456 -2440 -2724 2584 2532 -2384 2140 -2664 -2408 -2052 -2164 -2312 -2740 2060 2576 -2292 -2572 -2684 -2476 -2600 -2108 2616 2704 2524 2140 -2688 -2512 -2256 2464 -2640 -2464 -2468 -2516 2492 -2072 -2616 2580 -2316 -2676 -2020 -2436 -2352 2156 2040 -2040 2644 -2628 -2712 -2260 2112 2340 2668 -2572 -2504 -2436 2388 -2552 -2532 -2700 -2700 -2276 2740 2332 -2740 -2616 -2444 -2544 2600 -2372 -2428 -2512 -2356 2696 -2676 -2464 -2292 -2724 -2528 -2564 -2740 -2316 2092 -2296 2632 -2064 -2472 -2284 -2692 2020 -2552 -2188 -2436 2448 2604 2728 2708 -2228 2740 2616 -2260 -2060 2500 -2076 2364 -2492 -2444 2300 2500 -2192 -2552 -2436 2316 -2700 -2468 -2164 2532 -2384 -2388 -2724 -2168 -2172 -2020 2720 -2436 -2448 -2648 -2612 2508 -2160 -2324 -2232 2132 2060 -2464 -2544 -2680 -2076 -2084 -2700 -2732 -2644 2300 -2544 2672 -2700 2572 2580 2664 -2528 -2444 -2256 -2680 -2464 -2048 -2400 -2244 2380 2424 2176 2548 2332 2616 -2720 -2380 -2132 2588 -2736 -2572 -2700 -2412 2684 -2596 -2660 -2680 2608 2044 -2252 -2720 2552 -2180 2528 2544 2700 -2128 -2152 -2544 2632 -2704 2180 -2364 2268 2020 2656 2544 -2332 -2656 -2584 -2096 -2652 -2128 2388 -2556 -2572 -2092 2396 2192 2644 -2060 2640 -2312 -2668 2656 -2068 2124 -2048 -2740 -2588 -2712 -2572 2592 -2416 2116 2624 2104 -2500 -2560 -2532 2700 -2688 -2740 2656 -2396 2700 -2404 -2344 -2128 -2584 -2168 -2628 2672 -2396 -2700 2080 -2524 -2152 -2684 -2428 2668 -2712 -2736 -2020 2616 -2484 -2352 -2688 2356 2648 -2668 2116 -2352 2208 -2424 2060 -2692 2172 -2424 -2740 2336 -2076 -2668 -2380 2680 2260 -2628 2376 -2424 -2216 -2700 2672 2544 2544 -2228 -2708 -2664 -2256 -2580 -2180 2052 2020 2424 -2276 -2644 2576 2556 2312 -2176 -2272 2656 -2300 -2488 -2456 -2700 2496 2692 2504 -2532 -2544 -2668 2072 2640 2540 2500 -2372 -2472 -2020 2168 -2316 -2488 2204 2672 -2684 -2532 2336 -2740 -2444 -2060 2248 -2696 2608 2316 -2340 2116 -2268 -2336 -2488 -2060 -2256 -2680 2644 2060 2696 -2720 -2068 -2052 -2584 2152 -2540 -2300 -2112 -2700 -2596 -2572 -2448 -2672 -2356 -2472 2132 -2324 -2520 2224 -2056 -2520 2480 -2700 2512 2696 -2228 -2104 2324 -2444 2684 -2188 -2644 2680 -2356 -2712 2580 -2648 -2028 -2424 -2440 -2384 2464 -2396 2216 -2180 -2448 -2292 -2684 2672 -2740 2616 -2344 -2672 2648 -2456 -2464 -2720 2216 2420 -2216 -2028 2668 -2248 2556 2260 -2668 -2280 -2572 -2020 -2560 2148 2688 -2028 -2488 2092 2256 -2200 -2216 -2068 2396 2728 2688 2508 -2480 -2680 -2384 -2564 2164 -2060 2696 2472 2220 -2712 -2640 -2488 2740 -2496 2060 -2700 2624 -2608 -2668 -2656 2688 -2608 -2460 -2468 -2708 2572 2440 2036 2416 2700 -2684 -2220 2584 -2408 -2220 -2436 2396 -2604 -2292 2060 -2432 -2424 -2656 2028 2672 -2668 -2116 -2740 2384 2684 -2436 -2596 -2396 -2648
58.73/59.25 d ASSIGNMENTS 905
58.73/59.25 d CHECKS 45848915