0.00/0.00 c cpHydra_k_40 version 0.0
11.32/11.50 c CASE TO CLASSIFY:
11.32/11.50 c Case: 0
11.32/11.51 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
11.32/11.52 c choco : 1801.0
11.32/11.52 c mistral : 1801.0
11.32/11.52 c abscon : 1801.0
11.32/11.52 c
11.32/11.52 c
11.32/11.59 c List of same ones: 40
11.32/11.59 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-10.xml
11.32/11.59 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.40/11.60 c choco : 1801.0
11.40/11.60 c mistral : 9.13061
11.40/11.60 c abscon : 16.3965
11.40/11.60 c
11.40/11.60 c
11.40/11.60 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-9.xml
11.40/11.60 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.40/11.61 c choco : 1801.0
11.40/11.61 c mistral : 10.4224
11.40/11.61 c abscon : 16.1016
11.40/11.61 c
11.40/11.61 c
11.40/11.61 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-8.xml
11.40/11.61 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.40/11.62 c choco : 1801.0
11.40/11.62 c mistral : 16.71
11.40/11.62 c abscon : 16.0216
11.40/11.62 c
11.40/11.62 c
11.40/11.62 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-7.xml
11.40/11.62 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.40/11.63 c choco : 1801.0
11.40/11.63 c mistral : 19.43
11.40/11.63 c abscon : 19.1291
11.40/11.63 c
11.40/11.63 c
11.40/11.63 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-6.xml
11.40/11.63 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.40/11.64 c choco : 1801.0
11.40/11.64 c mistral : 36.3755
11.40/11.64 c abscon : 15.7406
11.40/11.64 c
11.40/11.64 c
11.40/11.64 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-5.xml
11.40/11.64 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.40/11.65 c choco : 1801.0
11.40/11.65 c mistral : 1800.04
11.40/11.65 c abscon : 15.5706
11.40/11.65 c
11.40/11.65 c
11.40/11.65 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-3.xml
11.40/11.65 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.40/11.66 c choco : 1801.0
11.40/11.66 c mistral : 1800.1
11.40/11.66 c abscon : 15.6316
11.40/11.66 c
11.40/11.66 c
11.40/11.66 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-2.xml
11.40/11.66 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.40/11.67 c choco : 1801.0
11.40/11.67 c mistral : 39.545
11.40/11.67 c abscon : 6.47701
11.40/11.67 c
11.40/11.67 c
11.40/11.67 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-4.xml
11.40/11.67 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.40/11.68 c choco : 1801.0
11.40/11.68 c mistral : 1800.05
11.40/11.68 c abscon : 14.8827
11.40/11.68 c
11.40/11.68 c
11.40/11.68 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-1.xml
11.40/11.68 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.40/11.69 c choco : 1801.0
11.40/11.69 c mistral : 113.7
11.40/11.69 c abscon : 6.29104
11.40/11.69 c
11.40/11.69 c
11.40/11.69 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp09/fapp09-0800-0.xml
11.40/11.69 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.68/11.91 c choco : 1801.0
11.68/11.91 c mistral : 20.29
11.68/11.91 c abscon : 6.51901
11.68/11.91 c
11.68/11.91 c
11.68/11.91 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-10.xml
11.68/11.91 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.68/11.92 c choco : 1801.0
11.68/11.92 c mistral : 1800.03
11.68/11.92 c abscon : 25.9351
11.68/11.92 c
11.68/11.92 c
11.68/11.92 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-9.xml
11.68/11.92 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.68/11.93 c choco : 1801.0
11.68/11.93 c mistral : 1800.02
11.68/11.93 c abscon : 17.2824
11.68/11.93 c
11.68/11.93 c
11.68/11.93 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-8.xml
11.68/11.93 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.68/11.94 c choco : 1801.0
11.68/11.94 c mistral : 6.79996
11.68/11.94 c abscon : 6.95294
11.68/11.94 c
11.68/11.94 c
11.68/11.94 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-7.xml
11.68/11.94 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.68/11.94 c choco : 1801.0
11.68/11.94 c mistral : 4.03939
11.68/11.94 c abscon : 7.04993
11.68/11.94 c
11.68/11.94 c
11.68/11.94 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-6.xml
11.68/11.94 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.68/11.95 c choco : 1801.0
11.68/11.95 c mistral : 3.81642
11.68/11.95 c abscon : 7.04593
11.68/11.95 c
11.68/11.95 c
11.68/11.95 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-5.xml
11.68/11.95 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.68/11.96 c choco : 1801.0
11.68/11.96 c mistral : 4.28235
11.68/11.96 c abscon : 6.70698
11.68/11.96 c
11.68/11.96 c
11.68/11.96 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-4.xml
11.68/11.96 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.68/11.97 c choco : 1801.0
11.68/11.97 c mistral : 2.73858
11.68/11.97 c abscon : 6.30204
11.68/11.97 c
11.68/11.97 c
11.68/11.97 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-3.xml
11.68/11.97 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.68/11.98 c choco : 1801.0
11.68/11.98 c mistral : 2.6216
11.68/11.98 c abscon : 6.46502
11.68/11.98 c
11.68/11.98 c
11.68/11.98 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-2.xml
11.68/11.98 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.68/11.99 c choco : 1801.0
11.68/11.99 c mistral : 2.35864
11.68/11.99 c abscon : 6.51701
11.68/11.99 c
11.68/11.99 c
11.68/11.99 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-1.xml
11.68/11.99 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.68/12.00 c choco : 1801.0
11.68/12.00 c mistral : 2.40163
11.68/12.00 c abscon : 6.25705
11.68/12.00 c
11.68/12.00 c
11.68/12.00 c /home/eomahony/cpZilla/CSP/fapp/fapp06-10/fapp07/fapp07-0600-0.xml
11.68/12.00 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.74/12.01 c choco : 1801.0
11.74/12.01 c mistral : 9.48556
11.74/12.01 c abscon : 6.47801
11.74/12.01 c
11.74/12.01 c
11.74/12.01 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
11.74/12.01 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.74/12.01 c choco : 1801.0
11.74/12.01 c mistral : 81.4206
11.74/12.01 c abscon : 52.605
11.74/12.01 c
11.74/12.01 c
11.74/12.01 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-9.xml
11.74/12.01 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.74/12.02 c choco : 1801.0
11.74/12.02 c mistral : 866.057
11.74/12.02 c abscon : 36.8914
11.74/12.02 c
11.74/12.02 c
11.74/12.02 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-8.xml
11.74/12.02 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.74/12.03 c choco : 1801.0
11.74/12.03 c mistral : 1800.02
11.74/12.03 c abscon : 55.4456
11.74/12.03 c
11.74/12.03 c
11.74/12.03 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-10.xml
11.74/12.03 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.74/12.03 c choco : 37.81
11.74/12.03 c mistral : 7.2519
11.74/12.03 c abscon : 12.7981
11.74/12.03 c
11.74/12.03 c
11.74/12.03 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-9.xml
11.74/12.03 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.74/12.04 c choco : 67.9
11.74/12.04 c mistral : 6.572
11.74/12.04 c abscon : 12.5521
11.74/12.04 c
11.74/12.04 c
11.74/12.04 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-7.xml
11.74/12.04 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.74/12.04 c choco : 1801.0
11.74/12.04 c mistral : 22.7995
11.74/12.04 c abscon : 8.06777
11.74/12.04 c
11.74/12.04 c
11.74/12.04 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-8.xml
11.74/12.04 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.74/12.05 c choco : 1801.0
11.74/12.05 c mistral : 5.8841
11.74/12.05 c abscon : 12.8071
11.74/12.05 c
11.74/12.05 c
11.74/12.05 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-6.xml
11.74/12.05 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.74/12.06 c choco : 1801.0
11.74/12.06 c mistral : 19.3181
11.74/12.06 c abscon : 8.28274
11.74/12.06 c
11.74/12.06 c
11.74/12.06 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-7.xml
11.74/12.06 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.74/12.06 c choco : 104.95
11.74/12.06 c mistral : 7.41487
11.74/12.06 c abscon : 12.2871
11.74/12.06 c
11.74/12.06 c
11.74/12.06 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-4.xml
11.74/12.06 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.74/12.07 c choco : 1801.0
11.74/12.07 c mistral : 28.7696
11.74/12.07 c abscon : 7.97079
11.74/12.07 c
11.74/12.07 c
11.74/12.07 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-6.xml
11.74/12.07 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.74/12.07 c choco : 201.72
11.74/12.07 c mistral : 9.30558
11.74/12.07 c abscon : 12.6881
11.74/12.07 c
11.74/12.07 c
11.74/12.07 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-5.xml
11.74/12.07 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.74/12.08 c choco : 1801.0
11.74/12.08 c mistral : 31.0823
11.74/12.08 c abscon : 15.9926
11.74/12.08 c
11.74/12.08 c
11.74/12.08 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-4.xml
11.74/12.08 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.74/12.09 c choco : 1801.0
11.74/12.09 c mistral : 1800.02
11.74/12.09 c abscon : 14.5538
11.74/12.09 c
11.74/12.09 c
11.74/12.09 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-3.xml
11.74/12.09 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.74/12.09 c choco : 1801.0
11.74/12.09 c mistral : 48.0167
11.74/12.09 c abscon : 8.41372
11.74/12.09 c
11.74/12.09 c
11.74/12.09 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-5.xml
11.74/12.09 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.74/12.10 c choco : 1801.0
11.74/12.10 c mistral : 19.2201
11.74/12.10 c abscon : 8.30374
11.74/12.10 c
11.74/12.10 c
11.74/12.10 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-2.xml
11.74/12.10 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.80/12.11 c choco : 1801.0
11.80/12.11 c mistral : 46.72
11.80/12.11 c abscon : 8.16376
11.80/12.11 c
11.80/12.11 c
11.80/12.11 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-1.xml
11.80/12.11 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.80/12.11 c choco : 1801.0
11.80/12.11 c mistral : 46.277
11.80/12.11 c abscon : 8.15676
11.80/12.11 c
11.80/12.11 c
11.80/12.11 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test03/test03-0400-3.xml
11.80/12.11 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.80/12.12 c choco : 245.07
11.80/12.12 c mistral : 279.471
11.80/12.12 c abscon : 6.48201
11.80/12.12 c
11.80/12.12 c
11.80/12.12 c Length: 40
11.80/12.12 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.80/12.13 c
11.80/12.13 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.80/12.14 c
11.80/12.14 c solver 0
11.80/12.14 c before 0.0 seconds: {} 0
11.80/12.14 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.80/12.14 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.80/12.14 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.80/12.14 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.80/12.14 c
11.80/12.14 c solver 1
11.80/12.14 c before 0.0 seconds: {} 0
11.80/12.14 c before 18.0 seconds: {0, 1, 2, 13, 14, 15, 16, 17, 18, 19, 20, 21, 25, 26, 28, 30, 32} 10839
11.80/12.14 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.80/12.14 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.80/12.14 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.80/12.14 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.80/12.14 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.80/12.14 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.80/12.14 c
11.80/12.14 c solver 2
11.80/12.14 c before 0.0 seconds: {} 0
11.80/12.14 c before 54.0 seconds: {25} 524
11.80/12.14 c before 72.0 seconds: {25, 26} 1048
11.80/12.14 c before 108.0 seconds: {25, 26, 30} 1563
11.80/12.14 c before 216.0 seconds: {25, 26, 30, 32} 2072
11.80/12.14 c before 252.0 seconds: {25, 26, 30, 32, 39} 2572
11.80/12.14 c
11.80/12.14 cTotal time: 67
11.80/12.14 c 1206.0 seconds unused
11.80/12.14 c 0 c 7 c 35
11.80/12.14 c 0 c 0 c 28
11.80/12.14 c 0 c 0 c 0
11.80/12.14 c is solver0 dominated by:
11.80/12.14 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.80/12.14 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.80/12.14 c is dominated? false
11.80/12.14 c
11.80/12.14 c is solver1 dominated by:
11.80/12.14 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.80/12.14 c is dominated? true
11.80/12.14 c
11.80/12.14 c is solver2 dominated by:
11.80/12.14 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.80/12.14 c is dominated? true
11.80/12.14 c
11.80/12.14 c Number of non-dominated solvers: 1
11.80/12.14 c remove dominated solvers
11.80/12.14 c solver 0 is not dominated by another solver
11.80/12.14 c solver 2 is dominated by another solver
11.80/12.14 c solver 1 is dominated by another solver
11.80/12.14 c
11.80/12.14 c solver 0: 72.0
11.80/12.14 c
11.80/12.14 c+ 4/4 of 96
11.80/12.14 c
11.80/12.14 c solver 1: 0.0
11.80/12.14 c
11.80/12.14 c solver 2: 0.0
11.80/12.14 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.80/12.14 c do not run mistral
11.80/12.14 c do not run choco
11.80/12.14 c Starting solver: HOME/cpHydra_k_40/solver/abscon
11.80/12.14 c On Instance: HOME/instance-1087654-1215245151.xml
11.80/12.14 c Running for: 1800 seconds
42.71/43.18 s SAT
42.71/43.18 v -2564 -2600 -2164 2560 -2636 2584 2484 -2144 -2624 -2716 2496 -2704 -2200 -2392 -2640 2580 -2696 2192 -2360 -2640 -2532 -2488 2620 -2256 -2544 2600 -2080 2520 -2472 2528 2584 -2120 -2148 2648 2228 -2228 2084 -2660 2648 -2460 -2212 -2640 -2272 -2716 -2656 -2360 -2412 -2480 -2640 2516 -2052 -2560 -2488 -2020 2620 -2404 -2168 -2580 -2256 -2100 2308 -2160 2292 -2256 -2696 -2252 2020 2412 2548 -2696 -2476 -2268 -2200 -2352 -2360 -2120 2232 -2464 -2628 -2344 2576 2648 -2716 -2208 -2532 2612 -2060 2652 -2116 2320 -2584 -2624 -2020 2496 2020 2616 2620 -2716 -2160 2548 -2060 -2656 -2664 -2340 -2704 -2588 -2696 2380 -2324 2628 2640 2512 -2204 -2704 2584 2084 2620 -2088 2248 -2368 2620 2056 2272 2664 2472 2672 2664 -2120 -2208 2528 -2580 -2328 -2580 2704 -2192 -2276 2576 2676 2680 -2208 -2412 -2140 -2132 2632 -2120 -2588 2540 -2280 -2536 -2180 -2624 2164 -2704 -2156 -2536 -2272 2656 2672 2700 2640 2648 2304 2640 -2636 2664 2616 -2308 2656 -2360 2068 2112 -2660 -2676 -2160 2260 -2488 -2504 -2660 -2320 -2528 2548 -2024 -2704 -2592 -2448 -2256 -2088 2580 -2060 2020 2264 -2232 -2592 2664 2440 -2384 -2684 2264 -2496 -2304 -2552 -2704 -2292 -2408 -2560 2264 -2124 2048 2620 -2368 2192 -2444 -2060 -2628 -2392 2472 -2464 -2048 2624 -2028 -2420 -2108 -2520 -2264 -2076 -2308 -2320 -2560 2312 2680 -2224 -2380 -2716 -2644 -2684 -2680 2164 -2160 -2168 -2584 2464 -2232 -2484 2236 -2168 -2520 -2160 -2604 -2336 -2660 -2120 -2704 -2472 -2496 -2700 2200 2548 -2508 2296 -2060 2348 2684 2048 -2644 2700 -2592 -2608 -2020 2096 2620 -2704 2700 -2520 -2020 2620 -2496 -2224 -2576 2640 -2156 -2548 2276 2220 -2668 -2540 -2208 -2684 -2464 2324 -2424 2508 2620 2620 -2200 -2496 2656 2444 2636 2620 -2592 2316 2360 -2328 -2188 -2424 2488 2708 -2476 -2696 -2312 -2160 -2560 2216 -2592 -2520 -2448 2296 -2472 -2320 -2252 -2588 -2400 -2640 2240 -2548 -2660 -2160 -2688 -2536 -2160 -2264 2552 2212 -2704 -2328 2124 -2204 2628 2592 -2400 -2164 -2380 2684 -2536 2020 2480 -2296 2564 2060 2676 -2684 -2544 -2688 2616 2268 2676 -2024 -2196 2088 2292 -2580 2244 -2680 -2124 -2288 2288 -2660 -2540 2516 -2636 -2240 -2524 -2368 2340 2676 -2020 2380 -2160 2628 2520 2336 -2540 -2500 -2620 -2240 2652 -2208 -2536 -2064 -2488 -2276 2656 -2284 2600 -2324 -2524 2208 -2648 2268 -2308 -2268 -2060 -2656 -2252 -2152 2424 2660 -2488 -2272 2540 2680 -2252 2652 -2680 -2624 -2520 -2020 -2464 2344 -2660 2584 2640 2632 -2612 2652 -2620 -2404 -2020 2688 2616 2580 -2148 2160 -2224 2568 2592 -2148 2224 -2580 -2540 2120 -2512 -2160 2264 -2228 -2516 -2216 2664 2640 -2540 -2044 -2584 2668 2640 -2200 2384 -2580 -2660 2336 -2568 2528 -2360 2616 -2152 -2640 -2608 -2248 -2364 -2608 2660 -2512 -2408 -2512 2664 -2556 -2580 -2528 -2372 -2020 2696 -2264 -2244 2600 2252 -2364 -2108 -2488 -2108 -2508 2168 -2616 -2628 -2588 -2588 -2212 -2484 -2400 2664 2664 -2308 2312 2020 -2520 -2472 -2528 2060 2200 2580 -2572 2656 2524 2328 2200 -2600 -2160 -2520 2360 2344 -2460 -2276 2400 2020 -2560 -2248 2656 -2268 -2656 -2336 2424 2528 2316 2268 -2592 -2092 2616 2648 2488 2648 -2616 -2332 -2600 2416 2572 -2628 -2124 2676 -2064 2488 2424 -2556 2096 2084 2404 2648 2224 -2672 -2120 -2640 -2288 -2512 -2208 2668 -2364 -2588 -2432 2372 2196 -2312 -2484 2516 2440 -2276 2160 2620 -2512 -2060 2264 2160 2540 -2376 -2092 -2176 -2392 -2624 2284 -2436 -2236 2420 2552 2548 2456 2532 2648 -2376 -2480 2604 -2508 -2444 2432 2268 -2236 2516 2644 2184 2356 -2560 2520 2224 2560 2640 -2300 2648 -2688 2340 2624 2156 -2324 2020 -2352 2488 -2380 2528 2632 2060 2612 2692 2660 -2440 -2588 -2500 2628 2676 2596 2524 -2308 2528 2260 2600 -2024 -2588 -2528 -2580 -2112 -2216 2264 2620 -2588 -2320 2676 2224 2656 2488 2680 -2552 -2192 -2512 2060 -2304 -2608 2320 -2460 -2160 -2488 -2144 -2120 2364 -2332 -2564 -2280 2580 2448 -2060 -2616 -2020 2600 -2572 -2328 2644 -2508 -2456 2404 -2176 -2364 -2612 -2200 -2116 -2508 -2152 2184 -2248 -2620 2136 2680 -2224 2632 -2028 2552 -2320 -2524 -2060 -2304 -2660 -2476 2620 -2220 -2292 -2120 -2164 -2240 2316 -2060 2504 2636 2536 -2368 -2120 -2068 2688 -2420 -2664 -2316 -2640 -2280 -2616 2656 -2200 -2352 -2060 2216 -2404 -2028 -2060 -2064 2604 -2372 -2036 2204 -2600 2284 -2628 2680 -2628 -2496 2312 -2072 2644 2620 -2632 2596 2160 -2324 2068 -2552 -2576 -2200 -2716 -2560 -2392 2644 2608 2324 2124 -2676 2656 -2716 -2492 2264 2644 -2524 -2556 2616 -2492 2660 2296 2564 -2664 -2660 -2552 -2240 2532 -2580 2600 -2660 -2536 -2676 2576 -2528 2480 -2340 -2516 -2444 2220 -2476 -2640 -2628 2660 -2668 -2272 2360 -2688
42.71/43.18 d ASSIGNMENTS 801
42.71/43.18 d CHECKS 12220187