0.00/0.00 c cpHydra_k_40 version 0.0
7.28/7.47 c CASE TO CLASSIFY:
7.28/7.47 c Case: 0
7.28/7.48 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.409800 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 7.684080 | c 14 > 11.376100 | c 11 > 9.839200 | c 12 > 5.494930 | c 21 > 5.563450 | c 20 > 0.000000 | c 22 > 5.916080 | c 23 > 4.852260 | c 24 > 1.780420 | 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.357000 | 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 > 14.791200 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.49 c choco : 1801.0
7.28/7.49 c mistral : 1801.0
7.28/7.49 c abscon : 1801.0
7.28/7.49 c
7.28/7.49 c
7.38/7.56 c List of same ones: 40
7.38/7.56 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph8-f10.xml
7.38/7.56 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.741600 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 7.894650 | c 14 > 10.954200 | c 11 > 9.409390 | c 12 > 6.000400 | c 21 > 5.397440 | c 20 > 0.000000 | c 22 > 5.830950 | c 23 > 4.925590 | c 24 > 1.780420 | 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 > 11.875400 | 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 > 14.273900 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.57 c choco : 24.3
7.38/7.57 c mistral : 2.27065
7.38/7.57 c abscon : 2.41763
7.38/7.57 c
7.38/7.57 c
7.38/7.57 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph8-f11.xml
7.38/7.57 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.841100 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 7.472100 | c 14 > 10.696100 | c 11 > 9.409390 | c 12 > 5.518020 | c 21 > 5.330540 | c 20 > 0.000000 | c 22 > 5.744560 | c 23 > 5.463810 | c 24 > 1.780420 | 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 > 11.875400 | 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 > 14.238000 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.58 c choco : 32.61
7.38/7.58 c mistral : 0.92
7.38/7.58 c abscon : 2.11368
7.38/7.58 c
7.38/7.58 c
7.38/7.58 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph9-f10.xml
7.38/7.58 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.508600 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 7.285910 | c 14 > 9.933690 | c 11 > 9.839200 | c 12 > 5.049440 | c 21 > 5.474240 | c 20 > 0.000000 | c 22 > 5.830950 | c 23 > 5.225160 | c 24 > 1.780420 | 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.357000 | 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 > 14.744500 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.59 c choco : 26.33
7.38/7.59 c mistral : 3.75343
7.38/7.59 c abscon : 2.32565
7.38/7.59 c
7.38/7.59 c
7.38/7.59 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f8.xml
7.38/7.59 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.489600 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.592420 | c 14 > 10.458400 | c 11 > 9.409390 | c 12 > 4.714250 | c 21 > 5.670360 | c 20 > 0.000000 | c 22 > 6.000000 | c 23 > 4.920660 | c 24 > 1.780420 | 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.002500 | 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 > 14.416300 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.60 c choco : 1801.0
7.47/7.60 c mistral : 2.3
7.47/7.60 c abscon : 2.02669
7.47/7.60 c
7.47/7.60 c
7.47/7.60 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f9.xml
7.47/7.60 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.509800 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.605810 | c 14 > 10.176200 | c 11 > 9.409390 | c 12 > 4.801890 | c 21 > 5.583060 | c 20 > 0.000000 | c 22 > 5.916080 | c 23 > 4.873390 | c 24 > 1.780420 | 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.002500 | 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 > 14.371500 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.61 c choco : 1801.0
7.47/7.61 c mistral : 3.0
7.47/7.61 c abscon : 2.00269
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f7.xml
7.47/7.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.491200 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.093760 | c 14 > 10.323100 | c 11 > 9.409390 | c 12 > 4.544620 | c 21 > 5.755820 | c 20 > 0.000000 | c 22 > 6.082760 | c 23 > 4.965830 | c 24 > 1.780420 | 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.002500 | 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 > 14.459400 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.62 c choco : 1801.0
7.47/7.62 c mistral : 10.91
7.47/7.62 c abscon : 2.27165
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f6.xml
7.47/7.62 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.262600 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.414290 | c 14 > 10.092800 | c 11 > 9.409390 | c 12 > 4.517460 | c 21 > 5.840530 | c 20 > 0.000000 | c 22 > 6.164410 | c 23 > 5.009280 | c 24 > 1.780420 | 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.002500 | 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 > 14.501600 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.63 c choco : 1801.0
7.47/7.63 c mistral : 16.6
7.47/7.63 c abscon : 2.5956
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph9-f9.xml
7.47/7.63 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.646600 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 5.638570 | c 14 > 10.539200 | c 11 > 9.839200 | c 12 > 4.522470 | c 21 > 5.563450 | c 20 > 0.000000 | c 22 > 5.916080 | c 23 > 4.852260 | c 24 > 1.780420 | 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.357000 | 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 > 14.791200 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.64 c choco : 111.79
7.47/7.64 c mistral : 1.72
7.47/7.64 c abscon : 4.20436
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f4.xml
7.47/7.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.324000 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.272280 | c 14 > 10.210700 | c 11 > 9.409390 | c 12 > 4.501440 | c 21 > 6.005880 | c 20 > 0.000000 | c 22 > 6.324560 | c 23 > 5.090920 | c 24 > 1.780420 | 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.002500 | 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 > 14.582100 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.65 c choco : 1801.0
7.47/7.65 c mistral : 502.3
7.47/7.65 c abscon : 74.9826
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f3.xml
7.47/7.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.218700 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.243000 | c 14 > 10.421000 | c 11 > 9.409390 | c 12 > 4.500130 | c 21 > 6.086630 | c 20 > 0.000000 | c 22 > 6.403120 | c 23 > 5.129320 | c 24 > 1.780420 | 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.002500 | 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 > 14.620700 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.66 c choco : 1801.0
7.47/7.66 c mistral : 1800.09
7.47/7.66 c abscon : 159.537
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f5.xml
7.47/7.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.327900 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.046380 | c 14 > 10.092800 | c 11 > 9.409390 | c 12 > 4.362920 | c 21 > 5.923530 | c 20 > 0.000000 | c 22 > 6.245000 | c 23 > 5.050850 | c 24 > 1.780420 | 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.002500 | 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 > 14.542300 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.67 c choco : 1801.0
7.47/7.67 c mistral : 83.25
7.47/7.67 c abscon : 8.94164
7.47/7.67 c
7.47/7.67 c
7.47/7.67 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f2.xml
7.47/7.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.005000 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 5.761700 | c 14 > 10.005600 | c 11 > 9.409390 | c 12 > 4.238740 | c 21 > 6.166800 | c 20 > 0.000000 | c 22 > 6.480740 | c 23 > 5.166390 | c 24 > 1.780420 | 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.002500 | 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 > 14.658400 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.68 c choco : 1801.0
7.47/7.68 c mistral : 1800.08
7.47/7.68 c abscon : 912.382
7.47/7.68 c
7.47/7.68 c
7.47/7.68 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f10.xml
7.47/7.68 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.608000 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.281450 | c 14 > 9.266790 | c 11 > 9.409390 | c 12 > 4.323090 | c 21 > 5.494920 | c 20 > 0.000000 | c 22 > 5.830950 | c 23 > 5.293510 | c 24 > 1.780420 | 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.002500 | 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 > 14.325600 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.69 c choco : 20.39
7.47/7.69 c mistral : 1.28
7.47/7.69 c abscon : 1.67974
7.47/7.69 c
7.47/7.69 c
7.47/7.69 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen1-f9.xml
7.47/7.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.658600 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 5.975210 | c 14 > 8.891780 | c 11 > 9.839200 | c 12 > 4.111720 | c 21 > 5.587340 | c 20 > 0.000000 | c 22 > 5.916080 | c 23 > 4.871260 | c 24 > 1.780420 | 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.437800 | 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 > 14.803500 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.70 c choco : 18.71
7.47/7.70 c mistral : 1.48
7.47/7.70 c abscon : 2.33265
7.47/7.70 c
7.47/7.70 c
7.47/7.70 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph14-f27.xml
7.47/7.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.359500 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 9.470450 | c 14 > 11.537700 | c 11 > 9.839200 | c 12 > 6.658310 | c 21 > 4.184340 | c 20 > 0.000000 | c 22 > 4.358900 | c 23 > 5.297630 | c 24 > 2.786380 | 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.179300 | 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 > 13.969200 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.70 c choco : 19.26
7.47/7.70 c mistral : 1.64
7.47/7.70 c abscon : 3.2545
7.47/7.70 c
7.47/7.70 c
7.47/7.70 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen3-f11.xml
7.47/7.70 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.357800 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.958450 | c 14 > 8.867280 | c 11 > 8.643860 | c 12 > 5.099720 | c 21 > 5.469460 | c 20 > 0.000000 | c 22 > 5.744560 | c 23 > 5.712780 | c 24 > 1.780420 | 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 > 11.430500 | 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 > 13.546700 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.72 c choco : 18.62
7.54/7.72 c mistral : 1.03
7.54/7.72 c abscon : 1.51377
7.54/7.72 c
7.54/7.72 c
7.54/7.72 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f11.xml
7.54/7.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.234500 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 5.720890 | c 14 > 8.721100 | c 11 > 9.409390 | c 12 > 4.133040 | c 21 > 5.450310 | c 20 > 0.000000 | c 22 > 5.744560 | c 23 > 5.674220 | c 24 > 1.780420 | 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.002500 | 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 > 14.302100 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.72 c choco : 17.95
7.54/7.72 c mistral : 1.11
7.54/7.72 c abscon : 1.67974
7.54/7.72 c
7.54/7.72 c
7.54/7.72 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f12.xml
7.54/7.72 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.234500 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 5.720890 | c 14 > 8.721100 | c 11 > 9.409390 | c 12 > 4.133040 | c 21 > 5.405340 | c 20 > 0.000000 | c 22 > 5.656850 | c 23 > 5.661020 | c 24 > 1.780420 | 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.002500 | 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 > 14.278200 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.73 c choco : 17.41
7.54/7.73 c mistral : 1.1
7.54/7.73 c abscon : 1.76073
7.54/7.73 c
7.54/7.73 c
7.54/7.73 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph14-f28.xml
7.54/7.73 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.370700 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 10.637200 | c 14 > 11.360800 | c 11 > 9.839200 | c 12 > 7.633500 | c 21 > 4.063090 | c 20 > 0.000000 | c 22 > 4.242640 | c 23 > 5.216110 | c 24 > 2.711860 | 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.179300 | 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 > 13.884400 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.74 c choco : 14.53
7.54/7.74 c mistral : 2.93755
7.54/7.74 c abscon : 3.07553
7.54/7.74 c
7.54/7.74 c
7.54/7.74 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph2-f25.xml
7.54/7.74 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.966500 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 10.066600 | c 14 > 11.118300 | c 11 > 8.643860 | c 12 > 7.898030 | c 21 > 4.175520 | c 20 > 0.000000 | c 22 > 4.582580 | c 23 > 4.951360 | c 24 > 1.673640 | 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 > 11.132500 | 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 > 12.767800 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.75 c choco : 1801.0
7.54/7.75 c mistral : 0.824874
7.54/7.75 c abscon : 1.84172
7.54/7.75 c
7.54/7.75 c
7.54/7.75 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen3-f10.xml
7.54/7.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.096900 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 4.505340 | c 14 > 8.527480 | c 11 > 8.643860 | c 12 > 3.258900 | c 21 > 5.516790 | c 20 > 0.000000 | c 22 > 5.830950 | c 23 > 5.304620 | c 24 > 1.780420 | 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 > 11.430500 | 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 > 13.571500 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.75 c choco : 7.58
7.54/7.75 c mistral : 0.6
7.54/7.75 c abscon : 1.48277
7.54/7.75 c
7.54/7.75 c
7.54/7.75 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen11.xml
7.54/7.75 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.073900 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 3.776440 | c 14 > 9.036170 | c 11 > 9.409390 | c 12 > 2.769900 | c 21 > 6.284430 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.215170 | c 24 > 1.780420 | 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.002500 | 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 > 14.713000 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.76 c choco : 12.46
7.54/7.76 c mistral : 1.17
7.54/7.76 c abscon : 1.77373
7.54/7.76 c
7.54/7.76 c
7.54/7.76 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen2-f25.xml
7.54/7.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.228500 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 7.085500 | c 14 > 9.696970 | c 11 > 7.643860 | c 12 > 5.408880 | c 21 > 4.426060 | c 20 > 0.000000 | c 22 > 4.582580 | c 23 > 5.459570 | c 24 > 5.128210 | 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 > 10.270300 | 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 > 11.935900 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.76 c choco : 30.1
7.54/7.76 c mistral : 0.679895
7.54/7.76 c abscon : 1.3368
7.54/7.76 c
7.54/7.76 c
7.54/7.76 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen1-f8.xml
7.54/7.76 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.734000 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.845360 | c 14 > 8.826550 | c 11 > 9.839200 | c 12 > 2.600110 | c 21 > 5.674580 | c 20 > 0.000000 | c 22 > 6.000000 | c 23 > 4.916390 | c 24 > 1.780420 | 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.437800 | 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 > 14.848200 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.77 c choco : 10.19
7.54/7.77 c mistral : 1.66
7.54/7.77 c abscon : 2.15167
7.54/7.77 c
7.54/7.77 c
7.54/7.77 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen6-w2.xml
7.54/7.77 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.604600 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 7.969020 | c 14 > 9.025140 | c 11 > 7.643860 | c 12 > 5.518850 | c 21 > 6.332460 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.270280 | c 24 > 4.806410 | 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 > 9.339850 | 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 > 12.969400 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.78 c choco : 4.65
7.54/7.78 c mistral : 0.271958
7.54/7.78 c abscon : 1.12583
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen1.xml
7.54/7.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.369100 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.858520 | c 14 > 8.836050 | c 11 > 9.839200 | c 12 > 2.598550 | c 21 > 6.286470 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.197180 | c 24 > 1.780420 | 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.437800 | 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 > 15.143700 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.78 c choco : 11.5
7.54/7.78 c mistral : 1.28
7.54/7.78 c abscon : 1.92271
7.54/7.78 c
7.54/7.78 c
7.54/7.78 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph9.xml
7.54/7.78 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.414700 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.490880 | c 14 > 8.832890 | c 11 > 9.839200 | c 12 > 2.517800 | c 21 > 6.277080 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.203190 | c 24 > 1.780420 | 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.357000 | 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 > 15.139400 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.79 c choco : 11.26
7.54/7.79 c mistral : 1.25
7.54/7.79 c abscon : 2.11568
7.54/7.79 c
7.54/7.79 c
7.54/7.79 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph10.xml
7.54/7.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.833100 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.329470 | c 14 > 7.748190 | c 11 > 9.409390 | c 12 > 2.574320 | c 21 > 6.298930 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.268570 | c 24 > 2.883360 | 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 > 11.931800 | 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 > 14.719600 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.54/7.79 c choco : 16.2
7.54/7.79 c mistral : 1.56
7.54/7.79 c abscon : 2.20066
7.54/7.79 c
7.54/7.79 c
7.54/7.79 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen4.xml
7.54/7.79 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.342300 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.710090 | c 14 > 8.108520 | c 11 > 9.409390 | c 12 > 2.557110 | c 21 > 6.284430 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.215170 | c 24 > 1.780420 | 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 > 11.953800 | 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 > 14.713000 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.80 c choco : 9.37
7.59/7.80 c mistral : 0.93
7.59/7.80 c abscon : 2.11768
7.59/7.80 c
7.59/7.80 c
7.59/7.80 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph8.xml
7.59/7.80 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.923300 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.285180 | c 14 > 8.405140 | c 11 > 9.409390 | c 12 > 2.465970 | c 21 > 6.139070 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.074790 | c 24 > 1.780420 | 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 > 11.875400 | 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 > 14.645400 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.81 c choco : 8.44
7.59/7.81 c mistral : 0.9
7.59/7.81 c abscon : 2.07868
7.59/7.81 c
7.59/7.81 c
7.59/7.81 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph14.xml
7.59/7.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.754800 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.081200 | c 14 > 8.839200 | c 11 > 9.839200 | c 12 > 2.340080 | c 21 > 6.331110 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.248660 | c 24 > 2.883360 | 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.179300 | 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 > 15.164100 | c 31 > -1.000000 | c 4 > 9.839200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.81 c choco : 10.23
7.59/7.81 c mistral : 1.08
7.59/7.81 c abscon : 1.90671
7.59/7.81 c
7.59/7.81 c
7.59/7.81 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen3.xml
7.59/7.81 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.356700 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 3.050330 | c 14 > 7.643860 | c 11 > 8.643860 | c 12 > 2.786600 | c 21 > 6.303170 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.256570 | c 24 > 1.780420 | 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 > 11.430500 | 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 > 13.956000 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.82 c choco : 6.88
7.59/7.82 c mistral : 0.61
7.59/7.82 c abscon : 1.44578
7.59/7.82 c
7.59/7.82 c
7.59/7.82 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen6-w1-f2.xml
7.59/7.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.462600 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 11.735400 | c 14 > 12.162400 | c 11 > 7.643860 | c 12 > 9.230980 | c 21 > 6.211280 | c 20 > 0.000000 | c 22 > 6.480740 | c 23 > 5.220490 | c 24 > 4.761900 | 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 > 8.317410 | 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 > 12.913600 | c 31 > -1.000000 | c 4 > 7.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.82 c choco : 27.49
7.59/7.82 c mistral : 0.200968
7.59/7.82 c abscon : 1.02984
7.59/7.82 c
7.59/7.82 c
7.59/7.82 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen10-w1-f3.xml
7.59/7.82 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.118800 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 5.774900 | c 14 > 6.977280 | c 11 > 9.409390 | c 12 > 2.779820 | c 21 > 6.086630 | c 20 > 0.000000 | c 22 > 6.403120 | c 23 > 5.129320 | c 24 > 1.780420 | 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 > 10.152300 | 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 > 14.620700 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.83 c choco : 4.76
7.59/7.83 c mistral : 0.39
7.59/7.83 c abscon : 1.20582
7.59/7.83 c
7.59/7.83 c
7.59/7.83 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen9-w1-f3.xml
7.59/7.83 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.118800 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 5.774900 | c 14 > 6.977280 | c 11 > 9.409390 | c 12 > 2.779820 | c 21 > 6.086630 | c 20 > 0.000000 | c 22 > 6.403120 | c 23 > 5.129320 | c 24 > 1.780420 | 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 > 10.152300 | 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 > 14.620700 | c 31 > -1.000000 | c 4 > 9.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.83 c choco : 4.72
7.59/7.83 c mistral : 0.39
7.59/7.83 c abscon : 1.23281
7.59/7.83 c
7.59/7.83 c
7.59/7.83 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen7-w1-f5.xml
7.59/7.83 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.630000 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 6.014590 | c 14 > 7.383700 | c 11 > 8.643860 | c 12 > 3.460090 | c 21 > 5.953150 | c 20 > 0.000000 | c 22 > 6.245000 | c 23 > 5.108650 | c 24 > 4.617600 | 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 > 9.366320 | 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 > 13.791200 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.84 c choco : 4.24
7.59/7.84 c mistral : 0.25
7.59/7.84 c abscon : 1.08183
7.59/7.84 c
7.59/7.84 c
7.59/7.84 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen5.xml
7.59/7.84 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.459400 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.857260 | c 14 > 6.942510 | c 11 > 8.643860 | c 12 > 2.703770 | c 21 > 6.278530 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.235870 | c 24 > 1.780420 | 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 > 11.343200 | 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 > 13.944700 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.85 c choco : 6.81
7.59/7.85 c mistral : 0.56
7.59/7.85 c abscon : 1.89271
7.59/7.85 c
7.59/7.85 c
7.59/7.85 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph2-f24.xml
7.59/7.85 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.579000 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.231860 | c 14 > 7.748190 | c 11 > 8.643860 | c 12 > 2.537920 | c 21 > 4.256760 | c 20 > 0.000000 | c 22 > 4.690420 | c 23 > 4.990870 | c 24 > 1.673640 | 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 > 11.132500 | 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 > 12.823400 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.86 c choco : 4.82
7.59/7.86 c mistral : 0.31
7.59/7.86 c abscon : 1.41978
7.59/7.86 c
7.59/7.86 c
7.59/7.86 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph4.xml
7.59/7.86 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.546400 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.110280 | c 14 > 7.409390 | c 11 > 8.643860 | c 12 > 2.488000 | c 21 > 6.243400 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 5.258220 | c 24 > 2.883360 | 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 > 11.131900 | 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 > 13.928500 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.86 c choco : 6.34
7.59/7.86 c mistral : 0.6
7.59/7.86 c abscon : 1.77073
7.59/7.86 c
7.59/7.86 c
7.59/7.86 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph2.xml
7.59/7.86 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.041600 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 2.222380 | c 14 > 7.643860 | c 11 > 8.643860 | c 12 > 2.488640 | c 21 > 6.046490 | c 20 > 0.000000 | c 22 > 6.633250 | c 23 > 4.904290 | c 24 > 1.780420 | 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 > 11.132500 | 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 > 13.836100 | c 31 > -1.000000 | c 4 > 8.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.87 c choco : 5.81
7.59/7.87 c mistral : 0.53
7.59/7.87 c abscon : 1.47977
7.59/7.87 c
7.59/7.87 c
7.59/7.87 c Length: 40
7.59/7.87 c 1.3540773035170484 1.4820222709865047 1.8455756766114995 2.0369017047221503 2.136551727831555 2.463282993263259 2.504565641563423 2.532324122560144 2.54474862475648 2.5513085105882443 2.759574808407991 3.22794371507621 3.4575748352132596 3.7522880413822173 3.8754019977674568 4.1510501641753255 4.352242500366907 4.35825867325472 4.612989775471002 4.887871197658547 6.293803307714659 6.400472442327988 6.432351192161384 7.199874141504142 7.251660024766743 7.465989709087469 7.715527595809634 7.746184483569959 7.8928452137679725 8.294327322308904 8.491060323363627 8.597019673328658 8.603904019804034 8.705746499106208 8.705746499106208 8.800587447449175 9.00148892543339 9.297235023919745 9.325077155541395 9.361345649761041
7.59/7.87 c
7.59/7.87 c 1.0 0.9842726966662595 0.9421682710767816 0.9214249581622084 0.9109786890538564 0.8783295290078966 0.8743700692528799 0.8717277367854337 0.8705502140388357 0.8699297881284606 0.8506817733364231 0.8103591887480974 0.7919546790925455 0.7695242363681628 0.760525961583561 0.7411226936629816 0.7275740946406175 0.727176580084864 0.710734939857354 0.6938068766516363 0.6184654236734781 0.6134115802365727 0.6119171985777727 0.5780141968406132 0.5758614966371792 0.5671198978889057 0.5572708706793577 0.5560844171068874 0.550477683751729 0.535692156430061 0.5287331907454358 0.5250595218211539 0.524822603085733 0.521342594462318 0.521342594462318 0.5181430775220551 0.5114935829112941 0.5020096838032231 0.5011349319516234 0.5
7.59/7.89 c
7.59/7.89 c solver 0
7.59/7.89 c before 0.0 seconds: {} 0
7.59/7.89 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 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} 25074
7.59/7.89 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 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} 25945
7.59/7.89 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 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} 26815
7.59/7.89 c before 918.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} 27625
7.59/7.89 c
7.59/7.89 c solver 1
7.59/7.89 c before 0.0 seconds: {} 0
7.59/7.89 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 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} 24224
7.59/7.89 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 10, 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} 25074
7.59/7.89 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 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} 25945
7.59/7.89 c
7.59/7.89 c solver 2
7.59/7.89 c before 0.0 seconds: {} 0
7.59/7.89 c before 18.0 seconds: {16, 17, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 11947
7.59/7.89 c before 36.0 seconds: {0, 1, 2, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19073
7.59/7.89 c before 126.0 seconds: {0, 1, 2, 7, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19945
7.59/7.89 c
7.59/7.89 cTotal time: 86
7.59/7.89 c 1548.0 seconds unused
7.59/7.89 c 0 c 2 c 9
7.59/7.89 c 0 c 0 c 7
7.59/7.89 c 0 c 0 c 0
7.59/7.89 c is solver0 dominated by:
7.59/7.89 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.59/7.89 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)
7.59/7.89 c is dominated? false
7.59/7.89 c
7.59/7.89 c is solver1 dominated by:
7.59/7.89 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.59/7.89 c is dominated? true
7.59/7.89 c
7.59/7.89 c is solver2 dominated by:
7.59/7.89 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)
7.59/7.89 c is dominated? true
7.59/7.89 c
7.59/7.89 c Number of non-dominated solvers: 1
7.59/7.89 c remove dominated solvers
7.59/7.89 c solver 0 is not dominated by another solver
7.59/7.89 c solver 2 is dominated by another solver
7.59/7.89 c solver 1 is dominated by another solver
7.59/7.89 c
7.59/7.89 c solver 0: 918.0
7.59/7.89 c
7.59/7.89 c+ 51/51 of 49
7.59/7.89 c
7.59/7.89 c solver 1: 0.0
7.59/7.89 c
7.59/7.89 c solver 2: 0.0
7.59/7.89 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} 27625
7.59/7.89 c do not run mistral
7.59/7.89 c do not run choco
7.59/7.89 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.59/7.89 c On Instance: HOME/instance-1075177-1215180304.xml
7.59/7.89 c Running for: 1800 seconds
12.94/13.27 s SAT
12.94/13.27 v 414 652 16 254 156 394 414 652 254 16 254 16 254 16 254 16 366 128 254 16 268 30 114 352 72 310 254 16 16 254 254 16 254 16 652 414 156 394 142 380 254 16 254 16 30 268 394 156 666 428 428 666 30 268 114 352 268 30 128 366 296 58 254 16 666 428 268 30 394 156 30 268 282 44 428 666 254 16 170 408 414 652 156 394 268 30 16 254 156 394 268 30 100 338 156 394 72 310 666 428 428 666 414 652 338 100 254 16 16 254 30 268 652 414 16 254 254 16 30 268 268 30 666 428 30 268 16 254 428 666 666 428 414 652 428 666 156 394 142 380 254 16 394 156 268 30 254 16 380 142 268 30 254 16 58 296 114 352 414 652 142 380 254 16 414 652 254 16 366 128 128 366 652 414 268 30 338 100 16 254 16 254 666 428 652 414 352 114 142 380 310 72 380 142 666 428 16 254 128 366 30 268 142 380 310 72 16 254 666 428 30 268 142 380 156 394 666 428 652 414 142 380 394 156 414 652 428 666 414 652 142 380 394 156 142 380 652 414 268 30 30 268 156 394 30 268 114 352 666 428 142 380 72 310 414 652 16 254 44 282 414 652 268 30 394 156 366 128 666 428 268 30 86 324 394 156 414 652 254 16 394 156 666 428 156 394 394 156 414 652 428 666 30 268 268 30 666 428 268 30 254 16 666 428 380 142 16 254 394 156 58 296 268 30 652 414 652 414 142 380 414 652 414 652 366 128 414 652 666 428 44 282 156 394 414 652 652 414 268 30 254 16 44 282 100 338 352 114 652 414 268 30 142 380 156 394 156 394 414 652 268 30 394 156 142 380 666 428 428 666 666 428 414 652 366 128 666 428 666 428 394 156 128 366 254 16 44 282 254 16 296 58 652 414 380 142 142 380 652 414 394 156 268 30 652 414 324 86 352 114 394 156 16 254 652 414 428 666 428 666 338 100 16 254 156 394 30 268 156 394 428 666 666 428 394 156 394 156 282 44 58 296 428 666 666 428 30 268 666 428 394 156 666 428 268 30 30 268 666 428 666 428 142 380 268 30 380 142 380 142 142 380 666 428 156 394 652 414 30 268 30 268 30 268 414 652 30 268 666 428 142 380 414 652 652 414 16 254 366 128 366 128 414 652 142 380 428 666 414 652 428 666 156 394 394 156 414 652 268 30 666 428 30 268 30 268 666 428 254 16 156 394 324 86 652 414 666 428 282 44 666 428 324 86 652 414 652 414 666 428 156 394 380 142 268 30 394 156 254 16 142 380 380 142 652 414 338 100 428 666 254 16 142 380 652 414 394 156 142 380 428 666 296 58 380 142 652 414 268 30 268 30 142 380 394 156 86 324 310 72 666 428 652 414 666 428 268 30 414 652 428 666 324 86 128 366 142 380 296 58 652 414 428 666 428 666 156 394 268 30 268 30 394 156 414 652 268 30 44 282 352 114 142 380 666 428 296 58 30 268 380 142 44 282 156 394 268 30 16 254 666 428 296 58 394 156 352 114 30 268 380 142 30 268 30 268 268 30 142 380 414 652 666 428 282 44 428 666 666 428 268 30 652 414 414 652 666 428 30 268 666 428 666 428 268 30 666 428 156 394 666 428 428 666 44 282 414 652 156 394 254 16 428 666 428 666 394 156 282 44 380 142 666 428 666 428 114 352 310 72 142 380 254 16 30 268 156 394 366 128 652 414 414 652 366 128 30 268 310 72 44 282 142 380 666 428 156 394 30 268 428 666 296 58 366 128 296 58 666 428 282 44 44 282 268 30 394 156 310 72 72 310 268 30 296 58 254 16 72 310 414 652 114 352 282 44 352 114 380 142 366 128 30 268 86 324 58 296 366 128 394 156 142 380 142 380 268 30 44 282 366 128 268 30 380 142 268 30 114 352 296 58 268 30 428 666 156 394 44 282 380 142 30 268 44 282 666 428 142 380 86 324 652 414 338 100 414 652 428 666 114 352 142 380 142 380 100 338 366 128 30 268 268 30 114 352 30 268 58 296 30 268 100 338 268 30 30 268 652 414 156 394 142 380 268 30 268 30 30 268 44 282 428 666 394 156
12.94/13.27 d ASSIGNMENTS 6974
12.94/13.27 d CHECKS 4193913