0.00/0.00 c cpHydra_k_40 version 0.0
225.83/227.90 c CASE TO CLASSIFY:
225.83/227.90 c Case: 0
225.83/227.90 c 19 > 99.963700 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.068800 | c 15 > 14.612300 | c 34 > 68.297000 | c 16 > 2.000000 | c 13 > 4.157750 | c 14 > -1.000000 | c 11 > 10.566100 | c 12 > 4.864860 | c 21 > 23.733300 | c 20 > 0.036253 | c 22 > 26.419700 | c 23 > 12.647300 | c 24 > 1.981940 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 2.584960 | c 2 > -1.000000 | c 10 > 14.432700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 3.000000 | c 6 > 4.000000 | c 32 > -1.000000 | c 5 > 24.483200 | c 31 > -1.000000 | c 4 > 10.545000 | c 9 > -1.000000 | c 8 > 4.584960 | c
225.83/227.91 c choco : 1801.0
225.83/227.91 c mistral : 1801.0
225.83/227.91 c abscon : 1801.0
225.83/227.91 c
225.83/227.91 c
225.83/227.99 c List of same ones: 40
225.83/227.99 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-0.xml
225.83/227.99 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.285400 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.83/227.99 c choco : 1801.0
225.83/227.99 c mistral : 777.11
225.83/227.99 c abscon : 10.5744
225.83/227.99 c
225.83/227.99 c
225.83/227.99 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-8.xml
225.83/227.99 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.285400 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.93/228.00 c choco : 1801.0
225.93/228.00 c mistral : 1800.06
225.93/228.00 c abscon : 34.5727
225.93/228.00 c
225.93/228.00 c
225.93/228.00 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-9.xml
225.93/228.00 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.285400 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.93/228.01 c choco : 1801.0
225.93/228.01 c mistral : 1800.07
225.93/228.01 c abscon : 35.1737
225.93/228.01 c
225.93/228.01 c
225.93/228.01 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-10.xml
225.93/228.01 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.93/228.02 c choco : 1801.0
225.93/228.02 c mistral : 1800.03
225.93/228.02 c abscon : 37.0364
225.93/228.02 c
225.93/228.02 c
225.93/228.02 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-3.xml
225.93/228.02 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.93/228.03 c choco : 1801.0
225.93/228.03 c mistral : 1800.1
225.93/228.03 c abscon : 30.6403
225.93/228.03 c
225.93/228.03 c
225.93/228.03 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-4.xml
225.93/228.03 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.93/228.04 c choco : 1801.0
225.93/228.04 c mistral : 1800.04
225.93/228.04 c abscon : 31.5692
225.93/228.04 c
225.93/228.04 c
225.93/228.04 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-5.xml
225.93/228.04 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.93/228.05 c choco : 1801.0
225.93/228.05 c mistral : 1800.03
225.93/228.05 c abscon : 30.3754
225.93/228.05 c
225.93/228.05 c
225.93/228.05 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-6.xml
225.93/228.05 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.93/228.05 c choco : 1801.0
225.93/228.05 c mistral : 1800.03
225.93/228.05 c abscon : 32.5501
225.93/228.05 c
225.93/228.05 c
225.93/228.05 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-7.xml
225.93/228.05 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.266790 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.93/228.06 c choco : 1801.0
225.93/228.06 c mistral : 1800.05
225.93/228.06 c abscon : 33.2009
225.93/228.06 c
225.93/228.06 c
225.93/228.06 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-1.xml
225.93/228.06 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.247930 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
225.93/228.07 c choco : 1801.0
225.93/228.07 c mistral : 775.35
225.93/228.07 c abscon : 10.8104
225.93/228.07 c
225.93/228.07 c
225.93/228.07 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp28/fapp28-2800-2.xml
225.93/228.07 c 19 > 99.548100 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.128100 | c 15 > 6.247930 | c 34 > 68.561700 | c 16 > 2.000000 | c 13 > 3.483770 | c 14 > -1.000000 | c 11 > 11.473700 | c 12 > 3.992560 | c 21 > 27.307400 | c 20 > 0.451947 | c 22 > 31.591100 | c 23 > 12.944500 | c 24 > 1.406030 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 14.485600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.459430 | c 6 > 5.459430 | c 32 > -1.000000 | c 5 > 26.857800 | c 31 > -1.000000 | c 4 > 11.366900 | c 9 > -1.000000 | c 8 > 8.262090 | c
226.11/228.28 c choco : 1801.0
226.11/228.28 c mistral : 1800.1
226.11/228.28 c abscon : 10.3014
226.11/228.28 c
226.11/228.28 c
226.11/228.28 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-10.xml
226.11/228.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.11/228.29 c choco : 1801.0
226.11/228.29 c mistral : 1800.11
226.11/228.29 c abscon : 71.1032
226.11/228.29 c
226.11/228.29 c
226.11/228.29 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-4.xml
226.11/228.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.11/228.30 c choco : 1801.0
226.11/228.30 c mistral : 1800.09
226.11/228.30 c abscon : 10.1455
226.11/228.30 c
226.11/228.30 c
226.11/228.30 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-6.xml
226.11/228.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.30 c choco : 1801.0
226.20/228.30 c mistral : 1800.04
226.20/228.30 c abscon : 10.1615
226.20/228.30 c
226.20/228.30 c
226.20/228.30 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-7.xml
226.20/228.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.31 c choco : 1801.0
226.20/228.31 c mistral : 1800.03
226.20/228.31 c abscon : 65.728
226.20/228.31 c
226.20/228.31 c
226.20/228.31 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-8.xml
226.20/228.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.31 c choco : 1801.0
226.20/228.31 c mistral : 1800.03
226.20/228.31 c abscon : 68.0856
226.20/228.31 c
226.20/228.31 c
226.20/228.31 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-9.xml
226.20/228.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.741470 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.32 c choco : 1801.0
226.20/228.32 c mistral : 1800.04
226.20/228.32 c abscon : 74.9176
226.20/228.32 c
226.20/228.32 c
226.20/228.32 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-5.xml
226.20/228.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.727920 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.33 c choco : 1801.0
226.20/228.33 c mistral : 1800.05
226.20/228.33 c abscon : 10.0415
226.20/228.33 c
226.20/228.33 c
226.20/228.33 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-0.xml
226.20/228.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.714250 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.33 c choco : 1801.0
226.20/228.33 c mistral : 1800.05
226.20/228.33 c abscon : 9.72352
226.20/228.33 c
226.20/228.33 c
226.20/228.33 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-1.xml
226.20/228.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.700440 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.34 c choco : 1801.0
226.20/228.34 c mistral : 1800.1
226.20/228.34 c abscon : 9.81651
226.20/228.34 c
226.20/228.34 c
226.20/228.34 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-3.xml
226.20/228.34 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.629360 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.35 c choco : 1801.0
226.20/228.35 c mistral : 1800.05
226.20/228.35 c abscon : 9.97948
226.20/228.35 c
226.20/228.35 c
226.20/228.35 c /home/eomahony/cpZilla/CSP/fapp/fapp26-30/fapp30/fapp30-3000-2.xml
226.20/228.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.464500 | c 15 > 6.475730 | c 34 > 68.477500 | c 16 > 2.000000 | c 13 > 4.584070 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.396980 | c 21 > 25.444400 | c 20 > 0.000000 | c 22 > 27.892700 | c 23 > 11.054800 | c 24 > 1.441740 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.947700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.889300 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.35 c choco : 1801.0
226.20/228.35 c mistral : 1800.07
226.20/228.35 c abscon : 9.51055
226.20/228.35 c
226.20/228.35 c
226.20/228.35 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-2.xml
226.20/228.35 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.459430 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.36 c choco : 1801.0
226.20/228.36 c mistral : 91.925
226.20/228.36 c abscon : 8.97863
226.20/228.36 c
226.20/228.36 c
226.20/228.36 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-8.xml
226.20/228.36 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.442940 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.37 c choco : 1801.0
226.20/228.37 c mistral : 1800.05
226.20/228.37 c abscon : 15.7666
226.20/228.37 c
226.20/228.37 c
226.20/228.37 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-10.xml
226.20/228.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.199670 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.708500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.37 c choco : 1801.0
226.20/228.37 c mistral : 1800.08
226.20/228.37 c abscon : 76.7213
226.20/228.37 c
226.20/228.37 c
226.20/228.37 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-9.xml
226.20/228.37 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.199670 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.708500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.38 c choco : 1801.0
226.20/228.38 c mistral : 1800.06
226.20/228.38 c abscon : 72.15
226.20/228.38 c
226.20/228.38 c
226.20/228.38 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-8.xml
226.20/228.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.179910 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.708500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.38 c choco : 1801.0
226.20/228.38 c mistral : 1800.08
226.20/228.38 c abscon : 61.9576
226.20/228.38 c
226.20/228.38 c
226.20/228.38 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-1.xml
226.20/228.38 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.400880 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.39 c choco : 1801.0
226.20/228.39 c mistral : 93.1378
226.20/228.39 c abscon : 8.34573
226.20/228.39 c
226.20/228.39 c
226.20/228.39 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-6.xml
226.20/228.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.400880 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.20/228.39 c choco : 1801.0
226.20/228.39 c mistral : 574.22
226.20/228.39 c abscon : 8.86065
226.20/228.39 c
226.20/228.39 c
226.20/228.39 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-0.xml
226.20/228.39 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.392320 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.40 c choco : 1801.0
226.26/228.40 c mistral : 81.4106
226.26/228.40 c abscon : 8.81466
226.26/228.40 c
226.26/228.40 c
226.26/228.40 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
226.26/228.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.40 c choco : 1801.0
226.26/228.40 c mistral : 1800.03
226.26/228.40 c abscon : 16.9624
226.26/228.40 c
226.26/228.40 c
226.26/228.40 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-3.xml
226.26/228.40 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.41 c choco : 1801.0
226.26/228.41 c mistral : 69.4484
226.26/228.41 c abscon : 8.71567
226.26/228.41 c
226.26/228.41 c
226.26/228.41 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-4.xml
226.26/228.41 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.42 c choco : 1801.0
226.26/228.42 c mistral : 146.325
226.26/228.42 c abscon : 9.08962
226.26/228.42 c
226.26/228.42 c
226.26/228.42 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-5.xml
226.26/228.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.42 c choco : 1801.0
226.26/228.42 c mistral : 182.049
226.26/228.42 c abscon : 8.90564
226.26/228.42 c
226.26/228.42 c
226.26/228.42 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-7.xml
226.26/228.42 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.43 c choco : 1801.0
226.26/228.43 c mistral : 744.68
226.26/228.43 c abscon : 15.7856
226.26/228.43 c
226.26/228.43 c
226.26/228.43 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp22/fapp22-1750-9.xml
226.26/228.43 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.359500 | c 15 > 7.383700 | c 34 > 68.430200 | c 16 > 2.000000 | c 13 > 4.643650 | c 14 > -1.000000 | c 11 > 10.773100 | c 12 > 5.194850 | c 21 > 21.554400 | c 20 > 0.000000 | c 22 > 28.319600 | c 23 > 8.494280 | c 24 > 1.444420 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.968000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.633000 | c 31 > -1.000000 | c 4 > 10.773100 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.43 c choco : 1801.0
226.26/228.43 c mistral : 1800.06
226.26/228.43 c abscon : 16.5685
226.26/228.43 c
226.26/228.43 c
226.26/228.43 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-2.xml
226.26/228.43 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.118940 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.708500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.44 c choco : 1801.0
226.26/228.44 c mistral : 1800.09
226.26/228.44 c abscon : 15.7326
226.26/228.44 c
226.26/228.44 c
226.26/228.44 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-3.xml
226.26/228.44 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.108520 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.708500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.44 c choco : 1801.0
226.26/228.44 c mistral : 1800.08
226.26/228.44 c abscon : 16.2085
226.26/228.44 c
226.26/228.44 c
226.26/228.44 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-6.xml
226.26/228.44 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.108520 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.708500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.45 c choco : 1801.0
226.26/228.45 c mistral : 1800.11
226.26/228.45 c abscon : 56.2494
226.26/228.45 c
226.26/228.45 c
226.26/228.45 c /home/eomahony/cpZilla/CSP/fapp/fapp36-40/fapp40/fapp40-3000-7.xml
226.26/228.45 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.296300 | c 15 > 7.108520 | c 34 > 68.401800 | c 16 > 2.000000 | c 13 > 4.336890 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 5.157800 | c 21 > 24.988200 | c 20 > 0.000000 | c 22 > 26.419700 | c 23 > 7.477540 | c 24 > 0.741730 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.708500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.837100 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
226.26/228.46 c choco : 1801.0
226.26/228.46 c mistral : 1800.05
226.26/228.46 c abscon : 57.1643
226.26/228.46 c
226.26/228.46 c
226.26/228.46 c Length: 40
226.26/228.46 c 12.612123592280502 12.612123592280502 12.612123592280502 12.624418206676237 12.624418206676237 12.624418206676237 12.624418206676237 12.624418206676237 12.624418206676237 12.63689373991324 12.63689373991324 13.144126019382584 13.144126019382584 13.144126019382584 13.144126019382584 13.144126019382584 13.144126019382584 13.152244367746146 13.160443675158154 13.168736180215255 13.211563683686737 13.304956042370462 13.654916015688645 13.663561211053663 13.671721544469454 13.671721544469454 13.682445234120626 13.685677205568245 13.685677205568245 13.690189675786462 13.694737679802786 13.694737679802786 13.694737679802786 13.694737679802786 13.694737679802786 13.694737679802786 13.715660048361151 13.721355645890467 13.721355645890467 13.721355645890467
226.26/228.47 c
226.26/228.47 c 1.0 1.0 1.0 0.9890376085148316 0.9890376085148316 0.9890376085148316 0.9890376085148316 0.9890376085148316 0.9890376085148316 0.9781568787030627 0.9781568787030627 0.675852272570295 0.675852272570295 0.675852272570295 0.675852272570295 0.675852272570295 0.675852272570295 0.6725256319059651 0.6691988922655838 0.6658676481267709 0.6491778173158247 0.6155340451646074 0.5154365414778838 0.5133741949487955 0.5114425983798416 0.5114425983798416 0.5089262338090289 0.5081726852212958 0.5081726852212958 0.5071243077418562 0.5060720425553983 0.5060720425553983 0.5060720425553983 0.5060720425553983 0.5060720425553983 0.5060720425553983 0.501286984495751 0.5 0.5 0.5
226.26/228.48 c
226.26/228.48 c solver 0
226.26/228.48 c before 0.0 seconds: {} 0
226.26/228.48 c before 18.0 seconds: {0, 9, 10, 12, 13, 17, 18, 19, 20, 21, 22, 23, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 14170
226.26/228.48 c before 36.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 12, 13, 17, 18, 19, 20, 21, 22, 23, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 21115
226.26/228.48 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 17, 18, 19, 20, 21, 22, 23, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37} 22104
226.26/228.48 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25641
226.26/228.48 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 27339
226.26/228.48 c
226.26/228.48 c solver 1
226.26/228.48 c before 0.0 seconds: {} 0
226.26/228.48 c before 72.0 seconds: {31} 506
226.26/228.48 c before 90.0 seconds: {29, 31} 1013
226.26/228.48 c before 108.0 seconds: {22, 27, 29, 31} 2036
226.26/228.48 c before 162.0 seconds: {22, 27, 29, 31, 32} 2542
226.26/228.48 c before 198.0 seconds: {22, 27, 29, 31, 32, 33} 3048
226.26/228.48 c before 576.0 seconds: {22, 27, 28, 29, 31, 32, 33} 3557
226.26/228.48 c before 756.0 seconds: {22, 27, 28, 29, 31, 32, 33, 34} 4063
226.26/228.48 c before 792.0 seconds: {0, 9, 22, 27, 28, 29, 31, 32, 33, 34} 6041
226.26/228.48 c
226.26/228.48 c solver 2
226.26/228.48 c before 0.0 seconds: {} 0
226.26/228.48 c
226.26/228.48 cTotal time: 49
226.26/228.48 c 882.0 seconds unused
226.26/228.48 c 0 c 30 c 40
226.26/228.48 c 0 c 0 c 10
226.26/228.48 c 0 c 0 c 0
226.26/228.48 c is solver0 dominated by:
226.26/228.48 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)
226.26/228.48 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
226.26/228.48 c is dominated? false
226.26/228.48 c
226.26/228.48 c is solver1 dominated by:
226.26/228.48 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)
226.26/228.48 c is dominated? true
226.26/228.48 c
226.26/228.48 c is solver2 dominated by:
226.26/228.48 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
226.26/228.48 c is dominated? true
226.26/228.48 c
226.26/228.48 c Number of non-dominated solvers: 1
226.26/228.48 c remove dominated solvers
226.26/228.48 c solver 0 is not dominated by another solver
226.26/228.48 c solver 2 is dominated by another solver
226.26/228.48 c solver 1 is dominated by another solver
226.26/228.48 c
226.26/228.48 c solver 0: 90.0
226.26/228.48 c
226.26/228.48 c+ 5/5 of 95
226.26/228.48 c
226.26/228.48 c solver 1: 0.0
226.26/228.48 c
226.26/228.48 c solver 2: 0.0
226.26/228.48 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} 27339
226.26/228.48 c do not run mistral
226.26/228.48 c do not run choco
226.26/228.48 c Starting solver: HOME/cpHydra_k_40/solver/abscon
226.26/228.48 c On Instance: HOME/instance-1086604-1215240226.xml
226.26/228.48 c Running for: 1800 seconds
255.04/257.86 s UNSATISFIABLE
255.04/257.86 d ASSIGNMENTS 0
255.04/257.86 d CHECKS 2478421