0.00/0.13 c cpHydra_k_40 version 0.0
61.24/61.52 c CASE TO CLASSIFY:
61.24/61.52 c Case: 0
61.24/61.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 14.945600 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.24/61.53 c choco : 1801.0
61.24/61.53 c mistral : 1801.0
61.24/61.53 c abscon : 1801.0
61.24/61.53 c
61.24/61.53 c
61.24/61.60 c List of same ones: 40
61.24/61.60 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
61.24/61.60 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.879600 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.60 c choco : 1801.0
61.33/61.60 c mistral : 1800.05
61.33/61.60 c abscon : 156.38
61.33/61.60 c
61.33/61.60 c
61.33/61.61 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
61.33/61.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.689100 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.61 c choco : 1801.0
61.33/61.61 c mistral : 1800.06
61.33/61.61 c abscon : 441.864
61.33/61.61 c
61.33/61.61 c
61.33/61.61 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
61.33/61.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.563200 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.62 c choco : 1801.0
61.33/61.62 c mistral : 1800.07
61.33/61.62 c abscon : 349.37
61.33/61.62 c
61.33/61.62 c
61.33/61.62 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
61.33/61.62 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.695200 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.63 c choco : 1801.0
61.33/61.63 c mistral : 1800.04
61.33/61.63 c abscon : 331.113
61.33/61.63 c
61.33/61.63 c
61.33/61.63 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
61.33/61.63 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.502800 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.64 c choco : 1801.0
61.33/61.64 c mistral : 1800.09
61.33/61.64 c abscon : 506.936
61.33/61.64 c
61.33/61.64 c
61.33/61.64 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
61.33/61.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.047100 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.65 c choco : 1801.0
61.33/61.65 c mistral : 1800.03
61.33/61.65 c abscon : 20.0829
61.33/61.65 c
61.33/61.65 c
61.33/61.65 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
61.33/61.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.630300 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.66 c choco : 1801.0
61.33/61.66 c mistral : 228.6
61.33/61.66 c abscon : 55.2496
61.33/61.66 c
61.33/61.66 c
61.33/61.66 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
61.33/61.66 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
61.33/61.66 c choco : 1801.0
61.33/61.66 c mistral : 81.4206
61.33/61.66 c abscon : 52.605
61.33/61.66 c
61.33/61.66 c
61.33/61.66 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
61.33/61.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.433600 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.67 c choco : 1801.0
61.33/61.67 c mistral : 1800.03
61.33/61.67 c abscon : 129.181
61.33/61.67 c
61.33/61.67 c
61.33/61.67 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
61.33/61.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.592460 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.68 c choco : 1801.0
61.33/61.68 c mistral : 155.051
61.33/61.68 c abscon : 7.09492
61.33/61.68 c
61.33/61.68 c
61.33/61.68 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-1.xml
61.33/61.68 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.575540 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.33/61.69 c choco : 1801.0
61.33/61.69 c mistral : 71.9411
61.33/61.69 c abscon : 6.95394
61.33/61.69 c
61.33/61.69 c
61.33/61.69 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
61.33/61.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.001400 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.71 c choco : 1801.0
61.41/61.71 c mistral : 1800.08
61.41/61.71 c abscon : 15.1547
61.41/61.71 c
61.41/61.71 c
61.41/61.71 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-2.xml
61.41/61.71 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 9.977280 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.72 c choco : 1801.0
61.41/61.72 c mistral : 1800.08
61.41/61.72 c abscon : 12.863
61.41/61.72 c
61.41/61.72 c
61.41/61.72 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
61.41/61.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.543030 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.73 c choco : 1801.0
61.41/61.73 c mistral : 1800.03
61.41/61.73 c abscon : 11.3953
61.41/61.73 c
61.41/61.73 c
61.41/61.73 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-0.xml
61.41/61.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 9.684750 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | 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 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.74 c choco : 1801.0
61.41/61.74 c mistral : 71.15
61.41/61.74 c abscon : 8.93264
61.41/61.74 c
61.41/61.74 c
61.41/61.74 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-5.xml
61.41/61.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.533330 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.74 c choco : 1801.0
61.41/61.74 c mistral : 152.693
61.41/61.74 c abscon : 6.91295
61.41/61.74 c
61.41/61.74 c
61.41/61.74 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-6.xml
61.41/61.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.525520 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.75 c choco : 1801.0
61.41/61.75 c mistral : 145.44
61.41/61.75 c abscon : 7.14491
61.41/61.75 c
61.41/61.75 c
61.41/61.75 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-2.xml
61.41/61.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.511750 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.76 c choco : 1801.0
61.41/61.76 c mistral : 73.3329
61.41/61.76 c abscon : 6.84696
61.41/61.76 c
61.41/61.76 c
61.41/61.76 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-3.xml
61.41/61.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.419960 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.76 c choco : 1801.0
61.41/61.76 c mistral : 9.51455
61.41/61.76 c abscon : 7.00294
61.41/61.76 c
61.41/61.76 c
61.41/61.76 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-8.xml
61.41/61.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.260900 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.77 c choco : 1801.0
61.41/61.77 c mistral : 1800.02
61.41/61.77 c abscon : 85.215
61.41/61.77 c
61.41/61.77 c
61.41/61.77 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
61.41/61.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.485830 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.78 c choco : 1801.0
61.41/61.78 c mistral : 1800.04
61.41/61.78 c abscon : 11.0943
61.41/61.78 c
61.41/61.78 c
61.41/61.78 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-4.xml
61.41/61.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.407270 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.78 c choco : 1801.0
61.41/61.78 c mistral : 1800.04
61.41/61.78 c abscon : 7.55785
61.41/61.78 c
61.41/61.78 c
61.41/61.78 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-8.xml
61.41/61.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.407270 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.79 c choco : 1801.0
61.41/61.79 c mistral : 1800.03
61.41/61.79 c abscon : 11.9272
61.41/61.79 c
61.41/61.79 c
61.41/61.79 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-9.xml
61.41/61.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.407270 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.41/61.79 c choco : 1801.0
61.41/61.79 c mistral : 1800.06
61.41/61.79 c abscon : 12.5081
61.41/61.79 c
61.41/61.79 c
61.41/61.79 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-5.xml
61.41/61.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.405140 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.80 c choco : 1801.0
61.46/61.80 c mistral : 1800.07
61.46/61.80 c abscon : 7.75882
61.46/61.80 c
61.46/61.80 c
61.46/61.80 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-6.xml
61.46/61.80 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.405140 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.81 c choco : 1801.0
61.46/61.81 c mistral : 1800.06
61.46/61.81 c abscon : 7.56185
61.46/61.81 c
61.46/61.81 c
61.46/61.81 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-2.xml
61.46/61.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.375040 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.82 c choco : 1801.0
61.46/61.82 c mistral : 10.6574
61.46/61.82 c abscon : 6.70498
61.46/61.82 c
61.46/61.82 c
61.46/61.82 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-0.xml
61.46/61.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.428360 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.82 c choco : 1801.0
61.46/61.82 c mistral : 72.111
61.46/61.82 c abscon : 6.68698
61.46/61.82 c
61.46/61.82 c
61.46/61.82 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
61.46/61.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.177400 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.83 c choco : 1801.0
61.46/61.83 c mistral : 1800.1
61.46/61.83 c abscon : 11.7712
61.46/61.83 c
61.46/61.83 c
61.46/61.83 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-1.xml
61.46/61.83 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.330920 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.83 c choco : 1801.0
61.46/61.83 c mistral : 9.8375
61.46/61.83 c abscon : 6.67098
61.46/61.83 c
61.46/61.83 c
61.46/61.83 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-7.xml
61.46/61.83 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.328670 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.84 c choco : 1801.0
61.46/61.84 c mistral : 1800.11
61.46/61.84 c abscon : 11.9342
61.46/61.84 c
61.46/61.84 c
61.46/61.84 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-7.xml
61.46/61.84 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.405140 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.84 c choco : 1801.0
61.46/61.84 c mistral : 113.54
61.46/61.84 c abscon : 11.2793
61.46/61.84 c
61.46/61.84 c
61.46/61.84 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-4.xml
61.46/61.84 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.400880 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | 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.707400 | 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 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.85 c choco : 1801.0
61.46/61.85 c mistral : 146.632
61.46/61.85 c abscon : 6.95894
61.46/61.85 c
61.46/61.85 c
61.46/61.85 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-0.xml
61.46/61.85 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.319670 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.85 c choco : 1801.0
61.46/61.85 c mistral : 10.6784
61.46/61.85 c abscon : 6.71798
61.46/61.85 c
61.46/61.85 c
61.46/61.85 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp26/fapp26-2300-10.xml
61.46/61.85 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 9.319670 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | 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.565900 | 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 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.86 c choco : 1801.0
61.46/61.86 c mistral : 1800.05
61.46/61.86 c abscon : 13.145
61.46/61.86 c
61.46/61.86 c
61.46/61.86 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
61.46/61.86 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
61.46/61.86 c choco : 1801.0
61.46/61.86 c mistral : 866.057
61.46/61.86 c abscon : 36.8914
61.46/61.86 c
61.46/61.86 c
61.46/61.86 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
61.46/61.86 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
61.46/61.87 c choco : 1801.0
61.46/61.87 c mistral : 1800.02
61.46/61.87 c abscon : 55.4456
61.46/61.87 c
61.46/61.87 c
61.46/61.87 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-6.xml
61.46/61.87 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.049800 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | 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.875700 | 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 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.88 c choco : 1801.0
61.46/61.88 c mistral : 80.98
61.46/61.88 c abscon : 8.12576
61.46/61.88 c
61.46/61.88 c
61.46/61.88 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
61.46/61.88 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
61.46/61.89 c choco : 1801.0
61.46/61.89 c mistral : 22.7995
61.46/61.89 c abscon : 8.06777
61.46/61.89 c
61.46/61.89 c
61.46/61.89 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-1.xml
61.46/61.89 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 9.658210 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | 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 > 15.315100 | 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 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
61.46/61.89 c choco : 1801.0
61.46/61.89 c mistral : 1800.05
61.46/61.89 c abscon : 13.29
61.46/61.89 c
61.46/61.89 c
61.46/61.90 c Length: 40
61.46/61.90 c 4.347707616887779 4.5263669506508215 4.644958049535433 4.839600326524909 5.0094214237274945 5.1347354140154104 5.218565425688271 5.3387652331685285 5.3823558979492425 5.432595196165826 5.449268493055193 5.459024161926744 5.480879015532089 5.481308722440656 5.481491425191142 5.490869626817234 5.498567987413088 5.512141918374746 5.525640000000001 5.527931358310178 5.537695473633777 5.53833 5.53833 5.53833 5.540460000000001 5.540460000000001 5.57056 5.594365015209861 5.598869729882006 5.61468 5.61693 5.617266213862757 5.621468009710988 5.62593 5.62593 5.665109141480772 5.6656843245003525 5.707930330004827 5.7461582979316725 5.771682958427291
61.46/61.90 c
61.46/61.90 c 1.0 0.8885214849545706 0.827303055121849 0.7432533470480749 0.6827361319140351 0.6440403980601879 0.620513670603257 0.589629775829126 0.5791758154642189 0.5675779771481032 0.5638308932399385 0.5616613018318962 0.5568610198088 0.5567674597404019 0.5567276894022596 0.5546938658053044 0.5530354169266951 0.5501352327966679 0.5472812613791334 0.5467997246661879 0.5447572262966414 0.5446250213229978 0.5446250213229978 0.5446250213229978 0.544181699962319 0.544181699962319 0.5379932091072821 0.533197740103085 0.5322998783207207 0.5291724281726079 0.5287303373626796 0.5286643398764257 0.5278409309709107 0.5269693363105166 0.5269693363105166 0.5194380091010382 0.5193290458816953 0.5114490110205769 0.5045217589923322 0.5
61.52/61.91 c
61.52/61.91 c solver 0
61.52/61.91 c before 0.0 seconds: {} 0
61.52/61.91 c before 18.0 seconds: {9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39} 15123
61.52/61.91 c before 36.0 seconds: {5, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39} 15767
61.52/61.91 c before 54.0 seconds: {5, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 16876
61.52/61.91 c before 72.0 seconds: {5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18016
61.52/61.91 c before 90.0 seconds: {5, 6, 7, 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} 18563
61.52/61.91 c before 144.0 seconds: {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} 19142
61.52/61.91 c before 162.0 seconds: {0, 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} 20142
61.52/61.91 c before 342.0 seconds: {0, 3, 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} 20885
61.52/61.91 c before 360.0 seconds: {0, 2, 3, 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} 21712
61.52/61.91 c before 450.0 seconds: {0, 1, 2, 3, 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} 22601
61.52/61.91 c before 522.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} 23284
61.52/61.91 c
61.52/61.91 c solver 1
61.52/61.91 c before 0.0 seconds: {} 0
61.52/61.91 c before 18.0 seconds: {18, 26, 29, 33} 2141
61.52/61.91 c before 36.0 seconds: {18, 26, 29, 33, 38} 2645
61.52/61.91 c before 72.0 seconds: {10, 14, 18, 26, 29, 33, 38} 3766
61.52/61.91 c before 90.0 seconds: {7, 10, 14, 17, 18, 26, 27, 29, 33, 37, 38} 5950
61.52/61.91 c before 126.0 seconds: {7, 10, 14, 17, 18, 26, 27, 29, 31, 33, 37, 38} 6479
61.52/61.91 c before 162.0 seconds: {7, 9, 10, 14, 15, 16, 17, 18, 26, 27, 29, 31, 32, 33, 37, 38} 8682
61.52/61.91 c before 234.0 seconds: {6, 7, 9, 10, 14, 15, 16, 17, 18, 26, 27, 29, 31, 32, 33, 37, 38} 9303
61.52/61.91 c before 882.0 seconds: {6, 7, 9, 10, 14, 15, 16, 17, 18, 26, 27, 29, 31, 32, 33, 35, 37, 38} 9822
61.52/61.91 c
61.52/61.91 c solver 2
61.52/61.91 c before 0.0 seconds: {} 0
61.52/61.91 c
61.52/61.91 cTotal time: 78
61.52/61.91 c 1404.0 seconds unused
61.52/61.91 c 0 c 22 c 40
61.52/61.91 c 0 c 0 c 18
61.52/61.91 c 0 c 0 c 0
61.52/61.91 c is solver0 dominated by:
61.52/61.91 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)
61.52/61.91 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: false) (0 is equally as fast as 2: false) (0 < 2: false)
61.52/61.91 c is dominated? false
61.52/61.91 c
61.52/61.91 c is solver1 dominated by:
61.52/61.91 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)
61.52/61.91 c is dominated? true
61.52/61.91 c
61.52/61.91 c is solver2 dominated by:
61.52/61.91 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: true) (2 is equally as fast as 0: false) (2 < 0: true)
61.52/61.91 c is dominated? true
61.52/61.91 c
61.52/61.91 c Number of non-dominated solvers: 1
61.52/61.91 c remove dominated solvers
61.52/61.91 c solver 0 is not dominated by another solver
61.52/61.91 c solver 2 is dominated by another solver
61.52/61.91 c solver 1 is dominated by another solver
61.52/61.91 c
61.52/61.91 c solver 0: 522.0
61.52/61.91 c
61.52/61.91 c+ 29/29 of 71
61.52/61.91 c
61.52/61.91 c solver 1: 0.0
61.52/61.91 c
61.52/61.91 c solver 2: 0.0
61.52/61.92 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} 23284
61.52/61.92 c do not run mistral
61.52/61.92 c do not run choco
61.52/61.92 c Starting solver: HOME/cpHydra_k_40/solver/abscon
61.52/61.92 c On Instance: HOME/instance-1086058-1215237168.xml
61.52/61.92 c Running for: 1800 seconds
86.88/87.39 s UNSATISFIABLE
86.88/87.39 d ASSIGNMENTS 0
86.88/87.39 d CHECKS 939296