0.00/0.00 c cpHydra_k_40 version 0.0
7.59/8.31 c CASE TO CLASSIFY:
7.59/8.31 c Case: 0
7.59/8.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.335700 | c 34 > 30.000000 | c 16 > 2.000000 | c 13 > 8.317570 | c 14 > 11.194800 | c 11 > 9.409390 | c 12 > 6.172100 | 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.59/8.32 c choco : 1801.0
7.59/8.32 c mistral : 1801.0
7.59/8.32 c abscon : 1801.0
7.59/8.32 c
7.59/8.32 c
7.78/8.59 c List of same ones: 40
7.78/8.59 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph8-f10.xml
7.78/8.59 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.89/8.60 c choco : 24.3
7.89/8.60 c mistral : 2.27065
7.89/8.60 c abscon : 2.41763
7.89/8.60 c
7.89/8.60 c
7.89/8.60 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph8-f11.xml
7.89/8.60 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.89/8.61 c choco : 32.61
7.89/8.61 c mistral : 0.92
7.89/8.61 c abscon : 2.11368
7.89/8.61 c
7.89/8.61 c
7.89/8.61 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph9-f10.xml
7.89/8.61 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.89/8.62 c choco : 26.33
7.89/8.62 c mistral : 3.75343
7.89/8.62 c abscon : 2.32565
7.89/8.62 c
7.89/8.62 c
7.89/8.62 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f8.xml
7.89/8.62 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.89/8.63 c choco : 1801.0
7.89/8.63 c mistral : 2.3
7.89/8.63 c abscon : 2.02669
7.89/8.63 c
7.89/8.63 c
7.89/8.63 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f9.xml
7.89/8.63 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.89/8.64 c choco : 1801.0
7.89/8.64 c mistral : 3.0
7.89/8.64 c abscon : 2.00269
7.89/8.64 c
7.89/8.64 c
7.89/8.64 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f6.xml
7.89/8.64 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.89/8.65 c choco : 1801.0
7.89/8.65 c mistral : 16.6
7.89/8.65 c abscon : 2.5956
7.89/8.65 c
7.89/8.65 c
7.89/8.65 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f7.xml
7.89/8.65 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.89/8.66 c choco : 1801.0
7.89/8.66 c mistral : 10.91
7.89/8.66 c abscon : 2.27165
7.89/8.66 c
7.89/8.66 c
7.89/8.66 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f4.xml
7.89/8.66 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.89/8.67 c choco : 1801.0
7.89/8.67 c mistral : 502.3
7.89/8.67 c abscon : 74.9826
7.89/8.67 c
7.89/8.67 c
7.89/8.67 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f3.xml
7.89/8.67 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.89/8.67 c choco : 1801.0
7.89/8.67 c mistral : 1800.09
7.89/8.67 c abscon : 159.537
7.89/8.67 c
7.89/8.67 c
7.89/8.67 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph14-f27.xml
7.89/8.67 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.89/8.68 c choco : 19.26
7.89/8.68 c mistral : 1.64
7.89/8.68 c abscon : 3.2545
7.89/8.68 c
7.89/8.68 c
7.89/8.68 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f5.xml
7.89/8.68 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.89/8.69 c choco : 1801.0
7.89/8.69 c mistral : 83.25
7.89/8.69 c abscon : 8.94164
7.89/8.69 c
7.89/8.69 c
7.89/8.69 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph9-f9.xml
7.89/8.69 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.96/8.71 c choco : 111.79
7.96/8.71 c mistral : 1.72
7.96/8.71 c abscon : 4.20436
7.96/8.71 c
7.96/8.71 c
7.96/8.71 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph2-f25.xml
7.96/8.71 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.96/8.72 c choco : 1801.0
7.96/8.72 c mistral : 0.824874
7.96/8.72 c abscon : 1.84172
7.96/8.72 c
7.96/8.72 c
7.96/8.72 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph14-f28.xml
7.96/8.72 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.96/8.73 c choco : 14.53
7.96/8.73 c mistral : 2.93755
7.96/8.73 c abscon : 3.07553
7.96/8.73 c
7.96/8.73 c
7.96/8.73 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen3-f11.xml
7.96/8.73 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.96/8.74 c choco : 18.62
7.96/8.74 c mistral : 1.03
7.96/8.74 c abscon : 1.51377
7.96/8.74 c
7.96/8.74 c
7.96/8.74 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f10.xml
7.96/8.74 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.96/8.75 c choco : 20.39
7.96/8.75 c mistral : 1.28
7.96/8.75 c abscon : 1.67974
7.96/8.75 c
7.96/8.75 c
7.96/8.75 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f2.xml
7.96/8.75 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.96/8.76 c choco : 1801.0
7.96/8.76 c mistral : 1800.08
7.96/8.76 c abscon : 912.382
7.96/8.76 c
7.96/8.76 c
7.96/8.76 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen1-f9.xml
7.96/8.76 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.96/8.76 c choco : 18.71
7.96/8.76 c mistral : 1.48
7.96/8.76 c abscon : 2.33265
7.96/8.76 c
7.96/8.76 c
7.96/8.76 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f12.xml
7.96/8.76 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.96/8.77 c choco : 17.41
7.96/8.77 c mistral : 1.1
7.96/8.77 c abscon : 1.76073
7.96/8.77 c
7.96/8.77 c
7.96/8.77 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens11/scen11-f11.xml
7.96/8.77 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.96/8.78 c choco : 17.95
7.96/8.78 c mistral : 1.11
7.96/8.78 c abscon : 1.67974
7.96/8.78 c
7.96/8.78 c
7.96/8.78 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen2-f25.xml
7.96/8.78 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.96/8.79 c choco : 30.1
7.96/8.79 c mistral : 0.679895
7.96/8.79 c abscon : 1.3368
7.96/8.79 c
7.96/8.79 c
7.96/8.79 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen3-f10.xml
7.96/8.79 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.96/8.79 c choco : 7.58
7.96/8.79 c mistral : 0.6
7.96/8.79 c abscon : 1.48277
7.96/8.79 c
7.96/8.79 c
7.96/8.79 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen6-w2.xml
7.96/8.79 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.96/8.80 c choco : 4.65
7.96/8.80 c mistral : 0.271958
7.96/8.80 c abscon : 1.12583
7.96/8.80 c
7.96/8.80 c
7.96/8.80 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen11.xml
7.96/8.80 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
8.03/8.80 c choco : 12.46
8.03/8.80 c mistral : 1.17
8.03/8.80 c abscon : 1.77373
8.03/8.80 c
8.03/8.80 c
8.03/8.80 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen6-w1-f2.xml
8.03/8.80 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
8.03/8.81 c choco : 27.49
8.03/8.81 c mistral : 0.200968
8.03/8.81 c abscon : 1.02984
8.03/8.81 c
8.03/8.81 c
8.03/8.81 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen1-f8.xml
8.03/8.81 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
8.03/8.82 c choco : 10.19
8.03/8.82 c mistral : 1.66
8.03/8.82 c abscon : 2.15167
8.03/8.82 c
8.03/8.82 c
8.03/8.82 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen1.xml
8.03/8.82 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
8.03/8.82 c choco : 11.5
8.03/8.82 c mistral : 1.28
8.03/8.82 c abscon : 1.92271
8.03/8.82 c
8.03/8.82 c
8.03/8.82 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph10.xml
8.03/8.82 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
8.03/8.83 c choco : 16.2
8.03/8.83 c mistral : 1.56
8.03/8.83 c abscon : 2.20066
8.03/8.83 c
8.03/8.83 c
8.03/8.83 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph9.xml
8.03/8.83 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
8.03/8.83 c choco : 11.26
8.03/8.83 c mistral : 1.25
8.03/8.83 c abscon : 2.11568
8.03/8.83 c
8.03/8.83 c
8.03/8.83 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen4.xml
8.03/8.83 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
8.03/8.84 c choco : 9.37
8.03/8.84 c mistral : 0.93
8.03/8.84 c abscon : 2.11768
8.03/8.84 c
8.03/8.84 c
8.03/8.84 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen7-w1-f5.xml
8.03/8.84 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
8.03/8.85 c choco : 4.24
8.03/8.85 c mistral : 0.25
8.03/8.85 c abscon : 1.08183
8.03/8.85 c
8.03/8.85 c
8.03/8.85 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen10-w1-f3.xml
8.03/8.85 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
8.03/8.85 c choco : 4.76
8.03/8.85 c mistral : 0.39
8.03/8.85 c abscon : 1.20582
8.03/8.85 c
8.03/8.85 c
8.03/8.85 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScensMod/scen9-w1-f3.xml
8.03/8.85 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
8.03/8.86 c choco : 4.72
8.03/8.86 c mistral : 0.39
8.03/8.86 c abscon : 1.23281
8.03/8.86 c
8.03/8.86 c
8.03/8.86 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph8.xml
8.03/8.86 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
8.03/8.86 c choco : 8.44
8.03/8.86 c mistral : 0.9
8.03/8.86 c abscon : 2.07868
8.03/8.86 c
8.03/8.86 c
8.03/8.86 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen3.xml
8.03/8.86 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
8.03/8.87 c choco : 6.88
8.03/8.87 c mistral : 0.61
8.03/8.87 c abscon : 1.44578
8.03/8.87 c
8.03/8.87 c
8.03/8.87 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph14.xml
8.03/8.87 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
8.03/8.87 c choco : 10.23
8.03/8.87 c mistral : 1.08
8.03/8.87 c abscon : 1.90671
8.03/8.87 c
8.03/8.87 c
8.03/8.88 c /home/eomahony/cpZilla/CSP/rlfap/rlfapScens/scen5.xml
8.03/8.88 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
8.03/8.88 c choco : 6.81
8.03/8.88 c mistral : 0.56
8.03/8.88 c abscon : 1.89271
8.03/8.88 c
8.03/8.88 c
8.03/8.88 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphsMod/graph2-f24.xml
8.03/8.88 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
8.03/8.89 c choco : 4.82
8.03/8.89 c mistral : 0.31
8.03/8.89 c abscon : 1.41978
8.03/8.89 c
8.03/8.89 c
8.03/8.89 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph4.xml
8.03/8.89 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
8.03/8.90 c choco : 6.34
8.03/8.90 c mistral : 0.6
8.03/8.90 c abscon : 1.77073
8.03/8.90 c
8.03/8.90 c
8.03/8.90 c /home/eomahony/cpZilla/CSP/rlfap/rlfapGraphs/graph2.xml
8.03/8.90 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
8.08/8.90 c choco : 5.81
8.08/8.90 c mistral : 0.53
8.08/8.90 c abscon : 1.47977
8.08/8.90 c
8.08/8.90 c
8.08/8.91 c Length: 40
8.08/8.91 c 0.9602571566512801 1.2790508267070546 2.3541880766200474 2.6236089196943975 2.6463205416011117 3.074875056242123 3.110540463536844 3.1673957768804324 3.1977570932764734 3.224276759259352 3.397479554581602 3.4882792262231535 3.608855455584221 3.7219812857670305 3.775689697035497 3.788681401371722 3.8701359773139763 4.3932243033448675 4.637315619428981 4.638278374246203 5.749442410921254 6.519660850673138 6.666107519264896 7.03556156547578 7.509771917175647 7.92631305466167 8.194499788736344 8.376201628417261 8.451310499472847 8.48396262996838 8.730361289912349 8.868080102790005 8.868080102790005 8.895920827098227 8.934948414713988 9.19148248796678 9.326645480058733 9.53796627328908 9.699084872368113 9.739445658357564
8.08/8.91 c
8.08/8.91 c 1.0 0.9649599588087528 0.8629790075010001 0.8407138760423986 0.8388893642302415 0.8058880595363751 0.8032582594526491 0.7991013196919695 0.7968990455570992 0.7949853356721979 0.7827092445401332 0.7764238975089585 0.7682317368062213 0.7607014091987768 0.7571777007490194 0.7563302371892842 0.7510597945574189 0.7188893389887804 0.7048020584962745 0.7047475879051635 0.6470332155936851 0.6122768805937477 0.6060866376638805 0.5910123324023037 0.57272871367651 0.5575771502069704 0.5482390643427159 0.5420880777012854 0.539585618062523 0.5385049130023365 0.5304872356390962 0.5261090956367771 0.5261090956367771 0.5252327936427892 0.5240092818851252 0.5161066972200006 0.5120380953790422 0.5058040149080428 0.5011519793533845 0.5
8.08/8.92 c
8.08/8.92 c solver 0
8.08/8.92 c before 0.0 seconds: {} 0
8.08/8.92 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24563
8.08/8.92 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25362
8.08/8.92 c before 162.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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26159
8.08/8.92 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} 26910
8.08/8.92 c
8.08/8.92 c solver 1
8.08/8.92 c before 0.0 seconds: {} 0
8.08/8.92 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23781
8.08/8.92 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24563
8.08/8.92 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25362
8.08/8.92 c
8.08/8.92 c solver 2
8.08/8.92 c before 0.0 seconds: {} 0
8.08/8.92 c before 18.0 seconds: {13, 18, 19, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11872
8.08/8.92 c before 36.0 seconds: {0, 1, 2, 9, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18947
8.08/8.92 c before 126.0 seconds: {0, 1, 2, 9, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19724
8.08/8.92 c
8.08/8.92 cTotal time: 86
8.08/8.92 c 1548.0 seconds unused
8.08/8.92 c 0 c 2 c 9
8.08/8.92 c 0 c 0 c 7
8.08/8.92 c 0 c 0 c 0
8.08/8.92 c is solver0 dominated by:
8.08/8.92 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)
8.08/8.92 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)
8.08/8.92 c is dominated? false
8.08/8.92 c
8.08/8.92 c is solver1 dominated by:
8.08/8.92 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)
8.08/8.92 c is dominated? true
8.08/8.92 c
8.08/8.92 c is solver2 dominated by:
8.08/8.92 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)
8.08/8.92 c is dominated? true
8.08/8.92 c
8.08/8.92 c Number of non-dominated solvers: 1
8.08/8.92 c remove dominated solvers
8.08/8.93 c solver 0 is not dominated by another solver
8.08/8.93 c solver 2 is dominated by another solver
8.08/8.93 c solver 1 is dominated by another solver
8.08/8.93 c
8.08/8.93 c solver 0: 918.0
8.08/8.93 c
8.08/8.93 c+ 51/51 of 49
8.08/8.93 c
8.08/8.93 c solver 1: 0.0
8.08/8.93 c
8.08/8.93 c solver 2: 0.0
8.08/8.93 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} 26910
8.08/8.93 c do not run mistral
8.08/8.93 c do not run choco
8.08/8.93 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.08/8.93 c On Instance: HOME/instance-1075219-1215180345.xml
8.08/8.93 c Running for: 1800 seconds
12.87/13.89 s UNSATISFIABLE
12.87/13.89 d ASSIGNMENTS 5841
12.87/13.89 d CHECKS 4604288