0.00/0.00 c cpHydra_k_40 version 0.0
10.91/11.25 c CASE TO CLASSIFY:
10.91/11.25 c Case: 0
10.91/11.25 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 13.153700 | 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
10.91/11.26 c choco : 1801.0
10.91/11.26 c mistral : 1801.0
10.91/11.26 c abscon : 1801.0
10.91/11.26 c
10.91/11.26 c
11.01/11.33 c List of same ones: 40
11.01/11.33 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
11.01/11.33 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
11.01/11.34 c choco : 1801.0
11.01/11.34 c mistral : 9.13061
11.01/11.34 c abscon : 16.3965
11.01/11.34 c
11.01/11.34 c
11.01/11.34 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml
11.01/11.34 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
11.01/11.35 c choco : 1801.0
11.01/11.35 c mistral : 10.4224
11.01/11.35 c abscon : 16.1016
11.01/11.35 c
11.01/11.35 c
11.01/11.35 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml
11.01/11.35 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
11.01/11.36 c choco : 1801.0
11.01/11.36 c mistral : 16.71
11.01/11.36 c abscon : 16.0216
11.01/11.36 c
11.01/11.36 c
11.01/11.36 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml
11.01/11.36 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
11.01/11.37 c choco : 1801.0
11.01/11.37 c mistral : 19.43
11.01/11.37 c abscon : 19.1291
11.01/11.37 c
11.01/11.37 c
11.01/11.37 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml
11.01/11.37 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
11.01/11.38 c choco : 1801.0
11.01/11.38 c mistral : 36.3755
11.01/11.38 c abscon : 15.7406
11.01/11.38 c
11.01/11.38 c
11.01/11.38 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml
11.01/11.38 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
11.01/11.38 c choco : 1801.0
11.01/11.38 c mistral : 1800.04
11.01/11.39 c abscon : 15.5706
11.01/11.39 c
11.01/11.39 c
11.01/11.39 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-3.xml
11.01/11.39 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
11.01/11.39 c choco : 1801.0
11.01/11.39 c mistral : 1800.1
11.01/11.39 c abscon : 15.6316
11.01/11.39 c
11.01/11.39 c
11.01/11.39 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-2.xml
11.01/11.39 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
11.08/11.40 c choco : 1801.0
11.08/11.40 c mistral : 39.545
11.08/11.40 c abscon : 6.47701
11.08/11.40 c
11.08/11.40 c
11.08/11.40 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-4.xml
11.08/11.40 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
11.08/11.41 c choco : 1801.0
11.08/11.41 c mistral : 1800.05
11.08/11.41 c abscon : 14.8827
11.08/11.41 c
11.08/11.41 c
11.08/11.41 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-1.xml
11.08/11.41 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
11.08/11.42 c choco : 1801.0
11.08/11.42 c mistral : 113.7
11.08/11.42 c abscon : 6.29104
11.08/11.42 c
11.08/11.42 c
11.08/11.42 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-0.xml
11.08/11.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.615000 | c 15 > 10.756600 | 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
11.28/11.61 c choco : 1801.0
11.28/11.61 c mistral : 20.29
11.28/11.61 c abscon : 6.51901
11.28/11.61 c
11.28/11.61 c
11.28/11.61 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
11.28/11.61 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
11.28/11.62 c choco : 1801.0
11.28/11.62 c mistral : 1800.03
11.28/11.62 c abscon : 25.9351
11.28/11.62 c
11.28/11.62 c
11.28/11.62 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
11.28/11.62 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
11.28/11.63 c choco : 1801.0
11.28/11.63 c mistral : 1800.02
11.28/11.63 c abscon : 17.2824
11.28/11.63 c
11.28/11.63 c
11.28/11.63 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
11.28/11.63 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
11.28/11.63 c choco : 1801.0
11.28/11.63 c mistral : 6.79996
11.28/11.63 c abscon : 6.95294
11.28/11.63 c
11.28/11.63 c
11.28/11.63 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
11.28/11.63 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
11.28/11.64 c choco : 1801.0
11.28/11.64 c mistral : 4.03939
11.28/11.64 c abscon : 7.04993
11.28/11.64 c
11.28/11.64 c
11.28/11.64 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
11.28/11.64 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
11.28/11.65 c choco : 1801.0
11.28/11.65 c mistral : 3.81642
11.28/11.65 c abscon : 7.04593
11.28/11.65 c
11.28/11.65 c
11.28/11.65 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
11.28/11.65 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
11.28/11.66 c choco : 1801.0
11.28/11.66 c mistral : 4.28235
11.28/11.66 c abscon : 6.70698
11.28/11.66 c
11.28/11.66 c
11.28/11.66 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
11.28/11.66 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
11.28/11.66 c choco : 1801.0
11.28/11.66 c mistral : 2.73858
11.28/11.66 c abscon : 6.30204
11.28/11.66 c
11.28/11.66 c
11.28/11.66 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
11.28/11.66 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
11.28/11.67 c choco : 1801.0
11.28/11.67 c mistral : 2.6216
11.28/11.67 c abscon : 6.46502
11.28/11.67 c
11.28/11.67 c
11.28/11.67 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
11.28/11.67 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
11.28/11.68 c choco : 1801.0
11.28/11.68 c mistral : 2.35864
11.28/11.68 c abscon : 6.51701
11.28/11.68 c
11.28/11.68 c
11.28/11.68 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
11.28/11.68 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
11.28/11.68 c choco : 1801.0
11.28/11.68 c mistral : 2.40163
11.28/11.68 c abscon : 6.25705
11.28/11.68 c
11.28/11.68 c
11.28/11.68 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
11.28/11.68 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
11.28/11.69 c choco : 1801.0
11.28/11.69 c mistral : 9.48556
11.28/11.69 c abscon : 6.47801
11.28/11.69 c
11.28/11.69 c
11.28/11.69 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
11.28/11.69 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
11.28/11.69 c choco : 1801.0
11.28/11.69 c mistral : 81.4206
11.28/11.69 c abscon : 52.605
11.28/11.69 c
11.28/11.69 c
11.28/11.69 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
11.28/11.69 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
11.34/11.70 c choco : 1801.0
11.34/11.70 c mistral : 866.057
11.34/11.70 c abscon : 36.8914
11.34/11.70 c
11.34/11.70 c
11.34/11.70 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
11.34/11.70 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
11.34/11.71 c choco : 1801.0
11.34/11.71 c mistral : 1800.02
11.34/11.71 c abscon : 55.4456
11.34/11.71 c
11.34/11.71 c
11.34/11.71 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
11.34/11.71 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
11.34/11.71 c choco : 37.81
11.34/11.71 c mistral : 7.2519
11.34/11.71 c abscon : 12.7981
11.34/11.71 c
11.34/11.71 c
11.34/11.71 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
11.34/11.71 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
11.34/11.72 c choco : 67.9
11.34/11.72 c mistral : 6.572
11.34/11.72 c abscon : 12.5521
11.34/11.72 c
11.34/11.72 c
11.34/11.72 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
11.34/11.72 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
11.34/11.72 c choco : 1801.0
11.34/11.72 c mistral : 22.7995
11.34/11.72 c abscon : 8.06777
11.34/11.72 c
11.34/11.72 c
11.34/11.72 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
11.34/11.72 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
11.34/11.73 c choco : 1801.0
11.34/11.73 c mistral : 5.8841
11.34/11.73 c abscon : 12.8071
11.34/11.73 c
11.34/11.73 c
11.34/11.73 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
11.34/11.73 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
11.34/11.73 c choco : 1801.0
11.34/11.73 c mistral : 19.3181
11.34/11.73 c abscon : 8.28274
11.34/11.73 c
11.34/11.73 c
11.34/11.73 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
11.34/11.73 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
11.34/11.74 c choco : 104.95
11.34/11.74 c mistral : 7.41487
11.34/11.74 c abscon : 12.2871
11.34/11.74 c
11.34/11.74 c
11.34/11.74 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
11.34/11.74 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
11.34/11.74 c choco : 1801.0
11.34/11.74 c mistral : 28.7696
11.34/11.74 c abscon : 7.97079
11.34/11.74 c
11.34/11.74 c
11.34/11.74 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
11.34/11.74 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
11.34/11.75 c choco : 201.72
11.34/11.75 c mistral : 9.30558
11.34/11.75 c abscon : 12.6881
11.34/11.75 c
11.34/11.75 c
11.34/11.75 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
11.34/11.75 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
11.34/11.75 c choco : 1801.0
11.34/11.75 c mistral : 31.0823
11.34/11.75 c abscon : 15.9926
11.34/11.75 c
11.34/11.75 c
11.34/11.76 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
11.34/11.76 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
11.34/11.76 c choco : 1801.0
11.34/11.76 c mistral : 1800.02
11.34/11.76 c abscon : 14.5538
11.34/11.76 c
11.34/11.76 c
11.34/11.76 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-3.xml
11.34/11.76 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
11.34/11.77 c choco : 1801.0
11.34/11.77 c mistral : 48.0167
11.34/11.77 c abscon : 8.41372
11.34/11.77 c
11.34/11.77 c
11.34/11.77 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-5.xml
11.34/11.77 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
11.34/11.77 c choco : 1801.0
11.34/11.77 c mistral : 19.2201
11.34/11.77 c abscon : 8.30374
11.34/11.77 c
11.34/11.77 c
11.34/11.77 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-2.xml
11.34/11.77 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
11.34/11.78 c choco : 1801.0
11.34/11.78 c mistral : 46.72
11.34/11.78 c abscon : 8.16376
11.34/11.78 c
11.34/11.78 c
11.34/11.78 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-1.xml
11.34/11.78 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
11.34/11.79 c choco : 1801.0
11.34/11.79 c mistral : 46.277
11.34/11.79 c abscon : 8.15676
11.34/11.79 c
11.34/11.79 c
11.34/11.79 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
11.34/11.79 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
11.34/11.79 c choco : 245.07
11.34/11.79 c mistral : 279.471
11.34/11.79 c abscon : 6.48201
11.34/11.79 c
11.34/11.79 c
11.34/11.80 c Length: 40
11.34/11.80 c 1.056000000000001 1.3810000000000002 1.4725000000000001 1.5239000000000011 1.5861999999999998 1.6875999999999998 1.8306000000000004 1.8828000000000014 1.9351000000000003 1.9907000000000004 2.3971 2.4960006779975044 2.598482284827819 2.6883824773577145 2.722356953921363 2.798224961393205 2.8526125051545304 2.908890430140676 2.975097326906131 2.990131611578996 3.036626900783829 3.3001289830193006 3.351460632220077 3.6259057460613895 3.626409066738197 3.6700309936157214 3.680826664500788 3.697388332231415 3.727520744959041 3.745245942434355 3.766408614861112 3.8154105990471066 3.8402117564139613 3.8845127743515016 3.8871296266139623 3.888608038787273 3.8928130560458465 3.8984045094526816 3.9324155832415526 3.9405510393979166
11.41/11.80 c
11.41/11.80 c 1.0 0.898739731504327 0.8738280641440899 0.8604304747478034 0.8447324581257077 0.8203717664790218 0.7883115532373722 0.7772239836051373 0.766423616111702 0.7552661528770965 0.6826287860743268 0.6670173529882575 0.6515765362806275 0.6386082568400957 0.6338407727935679 0.6234473073485066 0.6162038587083163 0.6088837314287411 0.6004917136799722 0.5986181801810748 0.5928973358968572 0.5624353687088454 0.5568618802931998 0.5288429540935516 0.5287941585774707 0.5245990733754616 0.5235711171801976 0.5220019340435511 0.5191709451125757 0.5175199327855101 0.5155624379171567 0.5110862235046381 0.5088501924139502 0.5049043969114743 0.5046732328051166 0.5045427282939214 0.5041719057339915 0.5036796627445183 0.5007060842988044 0.5
11.41/11.81 c
11.41/11.81 c solver 0
11.41/11.81 c before 0.0 seconds: {} 0
11.41/11.81 c before 18.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21999
11.41/11.81 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23527
11.41/11.81 c before 54.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, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24612
11.41/11.81 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} 25141
11.41/11.81 c
11.41/11.81 c solver 1
11.41/11.81 c before 0.0 seconds: {} 0
11.41/11.81 c before 18.0 seconds: {0, 1, 2, 13, 14, 15, 16, 17, 18, 19, 20, 21, 25, 26, 28, 30, 32} 10839
11.41/11.81 c before 36.0 seconds: {0, 1, 2, 3, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 36} 14942
11.41/11.81 c before 54.0 seconds: {0, 1, 2, 3, 4, 7, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38} 18073
11.41/11.81 c before 90.0 seconds: {0, 1, 2, 3, 4, 7, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38} 18630
11.41/11.81 c before 126.0 seconds: {0, 1, 2, 3, 4, 7, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38} 19385
11.41/11.81 c before 288.0 seconds: {0, 1, 2, 3, 4, 7, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 19885
11.41/11.81 c before 882.0 seconds: {0, 1, 2, 3, 4, 7, 9, 10, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 39} 20414
11.41/11.81 c
11.41/11.81 c solver 2
11.41/11.81 c before 0.0 seconds: {} 0
11.41/11.81 c before 54.0 seconds: {25} 524
11.41/11.81 c before 72.0 seconds: {25, 26} 1048
11.41/11.81 c before 108.0 seconds: {25, 26, 30} 1563
11.41/11.81 c before 216.0 seconds: {25, 26, 30, 32} 2072
11.41/11.81 c before 252.0 seconds: {25, 26, 30, 32, 39} 2572
11.41/11.81 c
11.41/11.81 cTotal time: 67
11.41/11.81 c 1206.0 seconds unused
11.41/11.81 c 0 c 7 c 35
11.41/11.81 c 0 c 0 c 28
11.41/11.81 c 0 c 0 c 0
11.41/11.81 c is solver0 dominated by:
11.41/11.81 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)
11.41/11.81 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)
11.41/11.81 c is dominated? false
11.41/11.81 c
11.41/11.81 c is solver1 dominated by:
11.41/11.81 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)
11.41/11.81 c is dominated? true
11.41/11.81 c
11.41/11.81 c is solver2 dominated by:
11.41/11.81 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)
11.41/11.81 c is dominated? true
11.41/11.81 c
11.41/11.81 c Number of non-dominated solvers: 1
11.41/11.81 c remove dominated solvers
11.41/11.81 c solver 0 is not dominated by another solver
11.41/11.81 c solver 2 is dominated by another solver
11.41/11.81 c solver 1 is dominated by another solver
11.41/11.81 c
11.41/11.81 c solver 0: 72.0
11.41/11.81 c
11.41/11.81 c+ 4/4 of 96
11.41/11.81 c
11.41/11.81 c solver 1: 0.0
11.41/11.81 c
11.41/11.81 c solver 2: 0.0
11.41/11.81 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} 25141
11.41/11.81 c do not run mistral
11.41/11.81 c do not run choco
11.41/11.82 c Starting solver: HOME/cpHydra_k_40/solver/abscon
11.41/11.82 c On Instance: HOME/instance-1087675-1215245297.xml
11.41/11.82 c Running for: 1800 seconds
42.59/43.61 s SAT
42.59/43.61 v -2544 2600 2148 -2564 2704 2544 -2716 -2112 2564 -2676 2472 -2704 2200 -2224 -2640 -2628 -2696 2192 -2360 2568 2520 2488 2612 -2264 2512 2600 2148 -2472 -2500 -2676 2604 -2120 -2108 2628 2236 -2268 2432 2636 -2684 -2460 -2352 2676 -2208 2460 -2656 -2336 -2336 -2480 2600 2440 -2020 -2560 -2488 -2020 -2612 -2224 2220 2624 -2268 -2140 2340 2200 2392 -2148 -2696 -2360 2196 2492 -2488 -2696 -2476 -2268 -2200 -2264 2296 -2160 2272 2536 2628 -2680 2472 2648 -2716 -2248 -2516 2616 -2032 2636 2116 -2268 2580 -2624 2296 2456 -2104 -2636 -2596 2632 -2160 -2576 -2032 -2656 2616 -2252 -2704 2568 -2544 -2212 -2364 -2612 2640 2444 -2216 -2704 2552 2100 2604 2024 -2252 -2324 2620 -2504 -2280 2664 2484 -2580 -2664 2176 -2260 2528 -2540 -2240 -2580 2656 -2112 2300 2584 -2716 2636 2260 2340 -2100 2172 2624 2108 -2588 -2500 -2248 2528 -2060 2592 -2112 -2704 2124 -2560 -2328 2656 2648 2676 -2648 -2616 -2640 -2640 -2632 -2652 -2616 -2320 -2584 -2360 -2056 -2256 -2660 -2676 2220 -2212 -2432 2472 -2660 -2304 -2528 2532 -2032 2704 2464 -2588 -2320 -2260 2636 2256 2020 2404 -2200 -2596 2664 -2308 2448 -2684 2172 2484 2020 2552 -2644 -2292 -2432 -2532 -2208 2152 2064 2600 -2364 -2128 -2524 -2060 2588 -2148 -2476 -2444 2220 2620 -2020 -2420 -2108 2492 -2264 -2040 -2348 -2332 2560 2368 2616 -2160 -2380 -2676 -2688 2660 -2680 -2176 -2128 -2160 -2548 2392 -2232 2520 -2276 -2244 -2520 -2160 2516 -2304 2688 -2160 2688 -2500 -2492 -2660 -2228 -2560 -2528 2296 -2156 -2360 2648 -2080 2644 2676 2552 -2444 -2020 2020 2620 -2704 -2640 -2532 2072 2640 -2488 2336 -2616 2640 -2156 2512 2452 2020 -2704 2424 2212 2636 2576 2400 2380 -2616 2648 2620 2236 -2520 2676 -2508 -2568 2640 -2592 2412 2308 -2364 2196 -2616 -2604 -2664 -2560 -2696 -2304 -2188 -2560 -2280 -2584 -2508 2472 -2264 -2528 -2296 -2300 2576 -2336 2608 2196 -2624 -2640 -2160 -2616 2528 -2120 -2264 2552 2320 2692 2408 2096 2184 2616 2612 -2400 -2060 2508 2644 2496 -2088 2548 -2108 -2476 2076 2672 -2684 2544 -2656 -2668 -2328 2420 2060 2180 2040 2368 -2580 -2356 2648 -2392 -2296 2340 2636 2540 2524 2608 2212 2436 -2448 -2524 2716 -2020 -2484 -2216 2656 -2524 2252 -2528 -2500 -2620 2212 2612 2208 -2524 -2020 -2488 -2256 2656 -2396 -2600 -2348 -2584 -2284 -2648 -2420 -2288 2308 -2020 2076 -2408 -2152 -2484 -2680 -2488 -2312 2540 2712 2236 -2704 2680 2584 2520 -2020 -2392 2488 -2660 2584 2672 2620 2464 -2424 2588 -2452 2072 2688 2620 -2572 -2148 -2184 2364 2516 2568 -2112 -2272 2464 -2540 2224 -2516 -2240 -2248 -2380 -2516 -2200 2664 -2640 -2540 2060 2584 2652 2620 -2200 2340 -2580 2652 2300 -2484 2564 2360 2116 -2168 2596 -2588 -2248 -2404 2644 -2700 -2540 -2400 -2540 2684 -2496 -2580 2528 -2376 -2036 2696 -2232 -2224 -2600 -2312 -2360 -2072 2488 2148 2552 2220 -2616 -2588 -2412 -2604 -2276 -2476 -2400 -2648 -2688 -2308 2240 -2464 -2520 -2472 -2476 2028 -2252 2572 -2476 -2636 2456 -2324 -2172 -2600 2160 -2520 -2264 2388 -2460 -2236 -2268 2060 -2560 -2208 2656 -2396 -2656 -2336 -2432 2524 -2340 -2228 -2592 2060 2584 2648 -2716 -2600 2576 -2332 2608 2304 2576 -2616 -2108 2664 -2072 -2628 2496 -2572 -2464 2020 -2564 2620 -2224 -2624 2088 2576 2280 -2472 -2200 2576 2388 -2576 -2328 -2452 2232 2248 2492 -2456 2440 2248 2264 2588 -2512 2060 -2376 2160 -2596 2260 -2132 -2160 2288 2588 -2416 2412 -2192 2468 -2512 2464 2432 2528 2656 -2212 2512 2644 2492 2412 2272 -2300 -2208 2532 -2684 -2072 2360 -2492 2520 -2248 2560 -2656 -2268 -2568 -2688 2528 -2648 -2220 2220 2068 2344 2564 -2568 -2528 2608 -2044 -2652 2664 2680 -2428 -2628 -2500 -2616 -2604 -2592 2560 -2356 2544 2352 -2592 -2076 -2584 -2528 -2580 2292 2360 -2120 -2612 -2628 -2320 -2716 -2288 -2660 -2564 -2688 2572 -2160 -2568 -2424 2348 -2640 2320 -2504 2160 2504 -2112 2144 -2376 -2432 2496 -2280 2488 -2472 -2144 -2616 -2084 2636 2428 -2336 -2644 -2520 -2264 -2548 2320 -2340 -2596 -2180 -2164 -2424 -2216 -2152 2300 2592 2060 -2680 -2212 2556 -2140 2504 -2320 2452 -2048 -2304 -2616 -2372 2584 -2252 2260 -2120 -2136 2240 2296 -2060 2432 -2564 -2624 2360 2120 -2060 -2608 2544 2664 -2320 -2640 -2292 2432 2628 -2160 -2188 -2060 -2308 2380 2096 -2060 2116 -2684 2380 -2080 -2020 -2640 -2260 -2564 -2616 -2452 -2488 -2352 2252 2676 -2656 2584 2608 -2120 -2336 -2180 -2592 2544 -2200 2676 -2560 2232 2620 2660 2376 2060 2672 -2656 2712 -2480 2060 2644 2676 2480 -2596 -2488 2600 -2224 -2684 -2664 2632 2608 2208 2468 -2628 -2660 2644 2532 -2648 2576 2524 -2468 -2308 2520 -2264 -2312 -2484 -2632 -2608 2636 -2696 -2312 -2360 -2688
42.59/43.61 d ASSIGNMENTS 812
42.59/43.61 d CHECKS 10874045