0.00/0.00 c cpHydra_k_40 version 0.0
810.02/816.35 c CASE TO CLASSIFY:
810.02/816.35 c Case: 0
810.02/816.36 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.385100 | c 15 > 15.713400 | c 34 > 68.403700 | c 16 > 2.000000 | c 13 > 4.721500 | c 14 > -1.000000 | c 11 > 11.135700 | c 12 > 5.246210 | c 21 > 26.091600 | c 20 > 0.000000 | c 22 > 31.591100 | c 23 > 8.696730 | c 24 > 0.521804 | 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.381900 | 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 > 20.546700 | c 31 > -1.000000 | c 4 > 11.135700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.02/816.37 c choco : 1801.0
810.02/816.37 c mistral : 1801.0
810.02/816.37 c abscon : 1801.0
810.02/816.37 c
810.02/816.37 c
810.12/816.44 c List of same ones: 40
810.12/816.44 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
810.12/816.44 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.459430 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.12/816.45 c choco : 1801.0
810.12/816.45 c mistral : 91.925
810.12/816.45 c abscon : 8.97863
810.12/816.45 c
810.12/816.45 c
810.12/816.45 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
810.12/816.45 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.12/816.46 c choco : 1801.0
810.12/816.46 c mistral : 1800.11
810.12/816.46 c abscon : 71.1032
810.12/816.46 c
810.12/816.46 c
810.12/816.46 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
810.12/816.46 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.12/816.47 c choco : 1801.0
810.12/816.47 c mistral : 1800.09
810.12/816.47 c abscon : 10.1455
810.12/816.47 c
810.12/816.47 c
810.12/816.47 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
810.12/816.47 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.12/816.48 c choco : 1801.0
810.12/816.48 c mistral : 1800.04
810.12/816.48 c abscon : 10.1615
810.12/816.48 c
810.12/816.48 c
810.12/816.48 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
810.12/816.48 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.12/816.49 c choco : 1801.0
810.12/816.49 c mistral : 1800.03
810.12/816.49 c abscon : 65.728
810.12/816.49 c
810.12/816.49 c
810.12/816.49 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
810.12/816.49 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.20/816.50 c choco : 1801.0
810.20/816.50 c mistral : 1800.03
810.20/816.50 c abscon : 68.0856
810.20/816.50 c
810.20/816.50 c
810.20/816.50 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
810.20/816.50 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.20/816.51 c choco : 1801.0
810.20/816.51 c mistral : 1800.04
810.20/816.51 c abscon : 74.9176
810.20/816.51 c
810.20/816.51 c
810.20/816.51 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
810.20/816.51 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.442940 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.20/816.52 c choco : 1801.0
810.20/816.52 c mistral : 1800.05
810.20/816.52 c abscon : 15.7666
810.20/816.52 c
810.20/816.52 c
810.20/816.52 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
810.20/816.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.727920 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.20/816.53 c choco : 1801.0
810.20/816.53 c mistral : 1800.05
810.20/816.53 c abscon : 10.0415
810.20/816.53 c
810.20/816.53 c
810.20/816.53 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-0.xml
810.20/816.53 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.714250 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.20/816.54 c choco : 1801.0
810.20/816.54 c mistral : 1800.05
810.20/816.54 c abscon : 9.72352
810.20/816.54 c
810.20/816.54 c
810.20/816.54 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
810.20/816.54 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.400880 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.20/816.55 c choco : 1801.0
810.20/816.55 c mistral : 93.1378
810.20/816.55 c abscon : 8.34573
810.20/816.55 c
810.20/816.55 c
810.20/816.55 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
810.20/816.55 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.400880 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.20/816.56 c choco : 1801.0
810.20/816.56 c mistral : 574.22
810.20/816.56 c abscon : 8.86065
810.20/816.57 c
810.20/816.57 c
810.20/816.57 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-1.xml
810.20/816.57 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.700440 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.20/816.57 c choco : 1801.0
810.20/816.57 c mistral : 1800.1
810.20/816.57 c abscon : 9.81651
810.20/816.57 c
810.20/816.57 c
810.20/816.57 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-10.xml
810.20/816.57 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.199670 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.20/816.58 c choco : 1801.0
810.20/816.59 c mistral : 1800.08
810.20/816.59 c abscon : 76.7213
810.20/816.59 c
810.20/816.59 c
810.20/816.59 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-9.xml
810.20/816.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.199670 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.60 c choco : 1801.0
810.26/816.60 c mistral : 1800.06
810.26/816.60 c abscon : 72.15
810.26/816.60 c
810.26/816.60 c
810.26/816.60 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
810.26/816.60 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.392320 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.61 c choco : 1801.0
810.26/816.61 c mistral : 81.4106
810.26/816.61 c abscon : 8.81466
810.26/816.61 c
810.26/816.61 c
810.26/816.61 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
810.26/816.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.61 c choco : 1801.0
810.26/816.61 c mistral : 1800.03
810.26/816.61 c abscon : 16.9624
810.26/816.61 c
810.26/816.61 c
810.26/816.61 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
810.26/816.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.62 c choco : 1801.0
810.26/816.62 c mistral : 69.4484
810.26/816.62 c abscon : 8.71567
810.26/816.62 c
810.26/816.62 c
810.26/816.62 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
810.26/816.62 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.62 c choco : 1801.0
810.26/816.62 c mistral : 146.325
810.26/816.63 c abscon : 9.08962
810.26/816.63 c
810.26/816.63 c
810.26/816.63 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
810.26/816.63 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.64 c choco : 1801.0
810.26/816.64 c mistral : 182.049
810.26/816.64 c abscon : 8.90564
810.26/816.64 c
810.26/816.64 c
810.26/816.64 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
810.26/816.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.64 c choco : 1801.0
810.26/816.64 c mistral : 744.68
810.26/816.64 c abscon : 15.7856
810.26/816.64 c
810.26/816.64 c
810.26/816.64 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
810.26/816.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | 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.968000 | 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.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.65 c choco : 1801.0
810.26/816.65 c mistral : 1800.06
810.26/816.65 c abscon : 16.5685
810.26/816.65 c
810.26/816.65 c
810.26/816.65 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-8.xml
810.26/816.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.179910 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.65 c choco : 1801.0
810.26/816.65 c mistral : 1800.08
810.26/816.65 c abscon : 61.9576
810.26/816.65 c
810.26/816.65 c
810.26/816.65 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-3.xml
810.26/816.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.629360 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.66 c choco : 1801.0
810.26/816.66 c mistral : 1800.05
810.26/816.66 c abscon : 9.97948
810.26/816.66 c
810.26/816.66 c
810.26/816.66 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-2.xml
810.26/816.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.118940 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.67 c choco : 1801.0
810.26/816.67 c mistral : 1800.09
810.26/816.67 c abscon : 15.7326
810.26/816.67 c
810.26/816.67 c
810.26/816.67 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-3.xml
810.26/816.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.108520 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.67 c choco : 1801.0
810.26/816.67 c mistral : 1800.08
810.26/816.67 c abscon : 16.2085
810.26/816.67 c
810.26/816.67 c
810.26/816.67 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-6.xml
810.26/816.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.108520 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.68 c choco : 1801.0
810.26/816.68 c mistral : 1800.11
810.26/816.68 c abscon : 56.2494
810.26/816.68 c
810.26/816.68 c
810.26/816.68 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-7.xml
810.26/816.68 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.108520 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.68 c choco : 1801.0
810.26/816.68 c mistral : 1800.05
810.26/816.69 c abscon : 57.1643
810.26/816.69 c
810.26/816.69 c
810.26/816.69 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-1.xml
810.26/816.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.076820 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.26/816.69 c choco : 1801.0
810.26/816.69 c mistral : 1800.03
810.26/816.69 c abscon : 16.8424
810.26/816.69 c
810.26/816.69 c
810.26/816.69 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-0.xml
810.26/816.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.066090 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.70 c choco : 1801.0
810.32/816.70 c mistral : 1800.04
810.32/816.70 c abscon : 16.5865
810.32/816.70 c
810.32/816.70 c
810.32/816.70 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-4.xml
810.32/816.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.066090 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.70 c choco : 1801.0
810.32/816.70 c mistral : 1800.05
810.32/816.70 c abscon : 50.0494
810.32/816.70 c
810.32/816.70 c
810.32/816.70 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-5.xml
810.32/816.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.066090 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | 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.708500 | 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 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.71 c choco : 1801.0
810.32/816.71 c mistral : 1800.05
810.32/816.71 c abscon : 50.7403
810.32/816.71 c
810.32/816.71 c
810.32/816.71 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-10.xml
810.32/816.71 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 7.118940 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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 > 20.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.72 c choco : 1801.0
810.32/816.72 c mistral : 1800.11
810.32/816.72 c abscon : 63.4264
810.32/816.72 c
810.32/816.72 c
810.32/816.72 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-2.xml
810.32/816.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.475730 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | 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.947700 | 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 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.72 c choco : 1801.0
810.32/816.72 c mistral : 1800.07
810.32/816.72 c abscon : 9.51055
810.32/816.72 c
810.32/816.72 c
810.32/816.72 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
810.32/816.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 7.022370 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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 > 20.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.73 c choco : 1801.0
810.32/816.73 c mistral : 1800.07
810.32/816.73 c abscon : 60.5128
810.32/816.73 c
810.32/816.73 c
810.32/816.73 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
810.32/816.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 7.022370 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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 > 20.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.73 c choco : 1801.0
810.32/816.73 c mistral : 1800.05
810.32/816.73 c abscon : 61.2877
810.32/816.73 c
810.32/816.73 c
810.32/816.73 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-7.xml
810.32/816.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 6.988680 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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 > 20.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.74 c choco : 1801.0
810.32/816.74 c mistral : 1800.03
810.32/816.74 c abscon : 47.3168
810.32/816.74 c
810.32/816.74 c
810.32/816.74 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-3.xml
810.32/816.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 6.977280 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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 > 20.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.75 c choco : 1801.0
810.32/816.75 c mistral : 1800.03
810.32/816.75 c abscon : 40.7268
810.32/816.75 c
810.32/816.75 c
810.32/816.75 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-4.xml
810.32/816.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 6.930740 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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 > 20.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.76 c choco : 1801.0
810.32/816.76 c mistral : 1800.08
810.32/816.76 c abscon : 44.5392
810.32/816.76 c
810.32/816.76 c
810.32/816.76 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp38/fapp38-2500-5.xml
810.32/816.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.642200 | c 15 > 6.906890 | c 34 > 68.545000 | c 16 > 2.000000 | c 13 > 4.415590 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.635340 | c 21 > 24.170300 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.500210 | c 24 > 0.519995 | 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.923000 | 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 > 20.478000 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
810.32/816.76 c choco : 1801.0
810.32/816.76 c mistral : 1800.04
810.32/816.76 c abscon : 45.897
810.32/816.76 c
810.32/816.76 c
810.32/816.77 c Length: 40
810.32/816.77 c 10.079102025426472 10.091315994046367 10.091315994046367 10.091315994046367 10.091315994046367 10.091315994046367 10.091315994046367 10.092610439804758 10.103364855195322 10.115524271598384 10.127105491129042 10.127105491129042 10.127812129398729 10.133032107157067 10.133032107157067 10.134132880738047 10.141211908251202 10.141211908251202 10.141211908251202 10.141211908251202 10.141211908251202 10.141211908251202 10.149640030655078 10.191119334420335 10.200955046630488 10.209735598250134 10.209735598250134 10.209735598250134 10.23646693289125 10.24552152932568 10.24552152932568 10.24552152932568 10.315326645796585 10.328294999451554 10.395923411548445 10.395923411548445 10.42410476713857 10.433648152601323 10.47264712446099 10.492656455730408
810.32/816.77 c
810.32/816.77 c 1.0 0.9713131161195465 0.9713131161195465 0.9713131161195465 0.9713131161195465 0.9713131161195465 0.9713131161195465 0.968369024497231 0.9445822904176601 0.9190574799183703 0.8959968703430158 0.8959968703430158 0.8946272093996438 0.884637714529008 0.884637714529008 0.8825595745301968 0.8694249681751307 0.8694249681751307 0.8694249681751307 0.8694249681751307 0.8694249681751307 0.8694249681751307 0.854288148190111 0.7868658060961836 0.7724106736639127 0.7599477164640257 0.7599477164640257 0.7599477164640257 0.7243657780452893 0.7130569253463773 0.7130569253463773 0.7130569253463773 0.6364539298011149 0.624000075447491 0.5662214178005825 0.5662214178005825 0.5451855780426198 0.5384118345928388 0.5123958263770887 0.5
810.32/816.78 c
810.32/816.78 c solver 0
810.32/816.78 c before 0.0 seconds: {} 0
810.32/816.78 c before 18.0 seconds: {0, 2, 3, 7, 8, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 28, 29, 33} 18941
810.32/816.78 c before 54.0 seconds: {0, 2, 3, 7, 8, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 28, 29, 30, 31, 33, 36, 37, 38, 39} 22463
810.32/816.78 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 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} 29520
810.32/816.78 c before 90.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} 32260
810.32/816.78 c
810.32/816.78 c solver 1
810.32/816.78 c before 0.0 seconds: {} 0
810.32/816.78 c before 72.0 seconds: {17} 869
810.32/816.78 c before 90.0 seconds: {15, 17} 1751
810.32/816.78 c before 108.0 seconds: {0, 10, 15, 17} 3647
810.32/816.78 c before 162.0 seconds: {0, 10, 15, 17, 18} 4517
810.32/816.78 c before 198.0 seconds: {0, 10, 15, 17, 18, 19} 5386
810.32/816.78 c before 576.0 seconds: {0, 10, 11, 15, 17, 18, 19} 6282
810.32/816.78 c before 756.0 seconds: {0, 10, 11, 15, 17, 18, 19, 20} 7152
810.32/816.78 c
810.32/816.78 c solver 2
810.32/816.78 c before 0.0 seconds: {} 0
810.32/816.78 c
810.32/816.78 cTotal time: 47
810.32/816.78 c 846.0 seconds unused
810.32/816.78 c 0 c 32 c 40
810.32/816.78 c 0 c 0 c 8
810.32/816.78 c 0 c 0 c 0
810.32/816.78 c is solver0 dominated by:
810.32/816.78 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)
810.32/816.78 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)
810.32/816.78 c is dominated? false
810.32/816.78 c
810.32/816.78 c is solver1 dominated by:
810.32/816.78 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)
810.32/816.78 c is dominated? true
810.32/816.78 c
810.32/816.78 c is solver2 dominated by:
810.32/816.78 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)
810.32/816.78 c is dominated? true
810.32/816.78 c
810.32/816.78 c Number of non-dominated solvers: 1
810.32/816.78 c remove dominated solvers
810.32/816.78 c solver 0 is not dominated by another solver
810.32/816.79 c solver 2 is dominated by another solver
810.32/816.79 c solver 1 is dominated by another solver
810.32/816.79 c
810.32/816.79 c solver 0: 90.0
810.32/816.79 c
810.32/816.79 c+ 5/5 of 95
810.32/816.79 c
810.32/816.79 c solver 1: 0.0
810.32/816.79 c
810.32/816.79 c solver 2: 0.0
810.32/816.79 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} 32260
810.32/816.79 c do not run mistral
810.32/816.79 c do not run choco
810.32/816.79 c Starting solver: HOME/cpHydra_k_40/solver/abscon
810.32/816.79 c On Instance: HOME/instance-1086394-1215239153.xml
810.32/816.79 c Running for: 1800 seconds
848.74/855.23 s UNSATISFIABLE
848.74/855.23 d ASSIGNMENTS 0
848.74/855.23 d CHECKS 2118758