0.00/0.00 c cpHydra_k_40 version 0.0
35.16/35.58 c CASE TO CLASSIFY:
35.16/35.58 c Case: 0
35.16/35.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.278600 | c 34 > -1.000000 | c 16 > 700.000000 | c 13 > 6.450120 | c 14 > 8.447080 | c 11 > 10.643900 | c 12 > 9.379880 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.327300 | c 1 > 10.643900 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 18.327000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 20.219900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.16/35.59 c choco : 1801.0
35.16/35.59 c mistral : 1801.0
35.16/35.59 c abscon : 1801.0
35.16/35.59 c
35.16/35.59 c
35.25/35.66 c List of same ones: 40
35.25/35.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml
35.25/35.66 c 19 > 15.789500 | c 35 > 51.722500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.320600 | c 15 > 20.282800 | c 34 > 59.250400 | c 16 > 694.000000 | c 13 > 5.174160 | c 14 > 7.055280 | c 11 > 10.757400 | c 12 > 3.794020 | c 21 > 1.414210 | c 20 > 84.210500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.536800 | c 1 > 10.757400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.524700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.486200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.25/35.67 c choco : 9.63
35.25/35.67 c mistral : 3.51
35.25/35.67 c abscon : 4.6213
35.25/35.67 c
35.25/35.67 c
35.25/35.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml
35.25/35.67 c 19 > 0.000000 | c 35 > 15.384600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.076920 | c 15 > 20.617800 | c 34 > 26.666700 | c 16 > 780.000000 | c 13 > 4.806450 | c 14 > 7.228820 | c 11 > 10.510800 | c 12 > 3.404840 | c 21 > 1.259340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.021000 | c 1 > 10.510800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.021000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.184100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.25/35.67 c choco : 72.65
35.25/35.67 c mistral : 61.66
35.25/35.67 c abscon : 1800.1
35.25/35.67 c
35.25/35.67 c
35.25/35.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-protfold.xml
35.25/35.67 c 19 > 0.000000 | c 35 > 65.826000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.607700 | c 15 > 20.460600 | c 34 > 74.695200 | c 16 > 882.000000 | c 13 > 2.621820 | c 14 > 9.475730 | c 11 > 10.841600 | c 12 > 3.874880 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.131800 | c 1 > 10.841600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.131800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.763000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.25/35.68 c choco : 17.09
35.25/35.68 c mistral : 1800.04
35.25/35.68 c abscon : 1800.1
35.25/35.68 c
35.25/35.68 c
35.25/35.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml
35.25/35.68 c 19 > 1.395350 | c 35 > 90.186000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.209300 | c 15 > 19.905000 | c 34 > 134.605000 | c 16 > 518.000000 | c 13 > 1.408240 | c 14 > 8.321930 | c 11 > 12.922000 | c 12 > 0.764474 | c 21 > 1.414210 | c 20 > 98.604700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.186700 | c 1 > 9.159870 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.186000 | c 6 > 1.000000 | c 32 > -1.000000 | c 5 > 21.497500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.25/35.69 c choco : 5.58
35.25/35.69 c mistral : 2.07
35.25/35.69 c abscon : 24.1083
35.25/35.69 c
35.25/35.69 c
35.25/35.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml
35.25/35.69 c 19 > 47.696500 | c 35 > 88.807600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.617900 | c 15 > 19.332400 | c 34 > 177.615000 | c 16 > 535.000000 | c 13 > 0.206131 | c 14 > 11.278400 | c 11 > 11.416800 | c 12 > 1.604700 | c 21 > 1.414210 | c 20 > 52.303500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.872100 | c 1 > 11.416800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.837800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.224000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.70 c choco : 8.43
35.35/35.70 c mistral : 1.57
35.35/35.70 c abscon : 42.6915
35.35/35.70 c
35.35/35.70 c
35.35/35.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
35.35/35.70 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.676700 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 2.561350 | c 14 > 9.411510 | c 11 > 9.590590 | c 12 > 3.493060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.621000 | c 1 > 9.590590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.621000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.274900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.71 c choco : 8.61
35.35/35.71 c mistral : 2.26
35.35/35.71 c abscon : 5.2622
35.35/35.71 c
35.35/35.71 c
35.35/35.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
35.35/35.71 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.719800 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 2.561350 | c 14 > 9.411510 | c 11 > 9.590590 | c 12 > 3.493060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.621000 | c 1 > 9.590590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.621000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.274900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.72 c choco : 8.6
35.35/35.72 c mistral : 2.27
35.35/35.72 c abscon : 5.8991
35.35/35.72 c
35.35/35.72 c
35.35/35.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
35.35/35.72 c 19 > 0.704225 | c 35 > 12.136200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.070420 | c 15 > 19.949500 | c 34 > 24.272300 | c 16 > 404.000000 | c 13 > 1.924370 | c 14 > 8.271460 | c 11 > 12.812800 | c 12 > 3.856800 | c 21 > 1.414210 | c 20 > 99.295800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 17.663500 | c 1 > 12.812800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.663400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.213000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.73 c choco : 81.31
35.35/35.73 c mistral : 24.24
35.35/35.73 c abscon : 29.0936
35.35/35.73 c
35.35/35.73 c
35.35/35.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
35.35/35.73 c 19 > 0.486027 | c 35 > 8.554070 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.499390 | c 15 > 19.789900 | c 34 > 17.108100 | c 16 > 368.000000 | c 13 > 2.173930 | c 14 > 7.467610 | c 11 > 13.120200 | c 12 > 4.034680 | c 21 > 1.414210 | c 20 > 99.514000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 18.146600 | c 1 > 13.120200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.146600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.201400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.73 c choco : 83.64
35.35/35.73 c mistral : 28.58
35.35/35.73 c abscon : 31.3522
35.35/35.73 c
35.35/35.73 c
35.35/35.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-lp4l.xml
35.35/35.73 c 19 > 0.591716 | c 35 > 26.982200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.615380 | c 15 > 20.766200 | c 34 > 40.473400 | c 16 > 1086.000000 | c 13 > 2.780560 | c 14 > 9.548820 | c 11 > 10.084800 | c 12 > 3.155980 | c 21 > 1.414210 | c 20 > 99.408300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.744600 | c 1 > 10.084800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.744500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.507400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.74 c choco : 60.08
35.35/35.74 c mistral : 1800.03
35.35/35.74 c abscon : 1800.09
35.35/35.74 c
35.35/35.74 c
35.35/35.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml
35.35/35.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.941180 | c 15 > 20.102000 | c 34 > 40.000000 | c 16 > 300.000000 | c 13 > 5.660250 | c 14 > 10.213100 | c 11 > 12.164900 | c 12 > 2.805870 | c 21 > 1.303770 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.114400 | c 1 > 9.583080 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.469400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.75 c choco : 9.38
35.35/35.75 c mistral : 8.53
35.35/35.75 c abscon : 853.293
35.35/35.75 c
35.35/35.75 c
35.35/35.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-egout.xml
35.35/35.75 c 19 > 0.000000 | c 35 > 163.475000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.914900 | c 15 > 19.912300 | c 34 > 271.277000 | c 16 > 420.000000 | c 13 > 6.871680 | c 14 > 8.554590 | c 11 > 12.431800 | c 12 > 2.674230 | c 21 > 1.237960 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.626800 | c 1 > 9.826550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.626800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.963300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.77 c choco : 6.17
35.35/35.77 c mistral : 3.48
35.35/35.77 c abscon : 1800.07
35.35/35.77 c
35.35/35.77 c
35.35/35.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
35.35/35.77 c 19 > 0.000000 | c 35 > 17.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.428570 | c 15 > 20.952800 | c 34 > 27.428600 | c 16 > 270.000000 | c 13 > 10.165400 | c 14 > 10.695200 | c 11 > 10.998600 | c 12 > 5.181450 | c 21 > 1.299440 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.819400 | c 1 > 9.368510 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.819400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.652100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.78 c choco : 11.35
35.35/35.78 c mistral : 6.16
35.35/35.78 c abscon : 1800.07
35.35/35.78 c
35.35/35.78 c
35.35/35.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-noswot.xml
35.35/35.78 c 19 > 0.000000 | c 35 > 156.986000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.004800 | c 15 > 17.340600 | c 34 > 292.201000 | c 16 > 425.000000 | c 13 > 1.119930 | c 14 > 8.861090 | c 11 > 12.659100 | c 12 > 0.682554 | c 21 > 1.197630 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.528000 | c 1 > 9.184880 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.528000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.994700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.79 c choco : 5.46
35.35/35.79 c mistral : 1.12
35.35/35.79 c abscon : 18.4442
35.35/35.79 c
35.35/35.79 c
35.35/35.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml
35.35/35.79 c 19 > 0.000000 | c 35 > 69.635600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 24.534400 | c 15 > 19.531800 | c 34 > 120.081000 | c 16 > 263.000000 | c 13 > 2.690570 | c 14 > 7.339850 | c 11 > 13.434100 | c 12 > 1.502390 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.479500 | c 1 > 8.179910 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.479500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.479800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.35/35.79 c choco : 5.96
35.35/35.79 c mistral : 22.01
35.35/35.79 c abscon : 1008.63
35.35/35.79 c
35.35/35.79 c
35.35/35.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml
35.35/35.79 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.011100 | c 34 > 0.000000 | c 16 > 239.000000 | c 13 > 2.447610 | c 14 > 7.807350 | c 11 > 9.152280 | c 12 > 2.421360 | c 21 > 1.396420 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.506800 | c 1 > 7.832890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.506800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.090300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.80 c choco : 2.83
35.42/35.80 c mistral : 0.65
35.42/35.80 c abscon : 8.5807
35.42/35.80 c
35.42/35.80 c
35.42/35.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml
35.42/35.80 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.961600 | c 34 > 0.000000 | c 16 > 239.000000 | c 13 > 2.356230 | c 14 > 7.807350 | c 11 > 9.139550 | c 12 > 2.362290 | c 21 > 1.396420 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.432000 | c 1 > 7.832890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.432000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.025100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.81 c choco : 2.67
35.42/35.81 c mistral : 0.58
35.42/35.81 c abscon : 8.38772
35.42/35.81 c
35.42/35.81 c
35.42/35.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
35.42/35.81 c 19 > 0.000000 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.333330 | c 15 > 20.214000 | c 34 > 47.555600 | c 16 > 240.000000 | c 13 > 7.046300 | c 14 > 10.579300 | c 11 > 10.957100 | c 12 > 4.699830 | c 21 > 1.263720 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.875400 | c 1 > 10.957100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.875400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.633500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.81 c choco : 1801.0
35.42/35.81 c mistral : 18.05
35.42/35.81 c abscon : 1800.09
35.42/35.81 c
35.42/35.81 c
35.42/35.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml
35.42/35.81 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.023400 | c 34 > 0.000000 | c 16 > 231.000000 | c 13 > 0.672413 | c 14 > 8.299210 | c 11 > 9.290020 | c 12 > 1.306170 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.255000 | c 1 > 8.317410 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.255000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.331200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.82 c choco : 2.44
35.42/35.82 c mistral : 0.44
35.42/35.82 c abscon : 1.3238
35.42/35.82 c
35.42/35.82 c
35.42/35.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml
35.42/35.82 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.049400 | c 34 > 0.000000 | c 16 > 231.000000 | c 13 > -0.085970 | c 14 > 8.290020 | c 11 > 8.317410 | c 12 > 1.959870 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.276100 | c 1 > 8.317410 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.276100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.679100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.83 c choco : 2.41
35.42/35.83 c mistral : 0.4
35.42/35.83 c abscon : 1.3208
35.42/35.83 c
35.42/35.83 c
35.42/35.83 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml
35.42/35.83 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.120480 | c 33 > 60.000000 | c 15 > 19.466200 | c 34 > 20.000000 | c 16 > 210.000000 | c 13 > 14.040200 | c 14 > 12.696100 | c 11 > 12.521600 | c 12 > 12.045800 | c 21 > 1.414210 | c 20 > 94.879500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.182400 | c 1 > 12.521600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.521600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.83 c choco : 1801.0
35.42/35.83 c mistral : 4.54
35.42/35.83 c abscon : 1801.0
35.42/35.83 c
35.42/35.83 c
35.42/35.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml
35.42/35.83 c 19 > 21.689000 | c 35 > 111.094000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.771300 | c 15 > 19.752000 | c 34 > 202.328000 | c 16 > 270.000000 | c 13 > 4.428430 | c 14 > 6.965780 | c 11 > 11.941400 | c 12 > 3.092220 | c 21 > 1.211450 | c 20 > 78.311000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.686100 | c 1 > 11.941400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.666900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.855700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.84 c choco : 23.83
35.42/35.84 c mistral : 4.90325
35.42/35.84 c abscon : 7.12692
35.42/35.84 c
35.42/35.84 c
35.42/35.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml
35.42/35.84 c 19 > 0.000000 | c 35 > 99.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.200000 | c 15 > 19.988500 | c 34 > 160.000000 | c 16 > 240.000000 | c 13 > -1.511630 | c 14 > 10.840000 | c 11 > 12.173100 | c 12 > 1.984930 | c 21 > 1.365340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.889900 | c 1 > 12.173100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.889900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.609200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.84 c choco : 18.53
35.42/35.84 c mistral : 1800.06
35.42/35.84 c abscon : 1348.66
35.42/35.84 c
35.42/35.84 c
35.42/35.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-rout.xml
35.42/35.84 c 19 > 4.451040 | c 35 > 237.092000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.673600 | c 15 > 20.048000 | c 34 > 385.460000 | c 16 > 917.000000 | c 13 > 6.168340 | c 14 > 8.092760 | c 11 > 11.955300 | c 12 > 3.093840 | c 21 > 1.234990 | c 20 > 95.549000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.713900 | c 1 > 11.955300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.713100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.990400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.85 c choco : 47.8
35.42/35.85 c mistral : 24.86
35.42/35.85 c abscon : 1800.13
35.42/35.85 c
35.42/35.85 c
35.42/35.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml
35.42/35.85 c 19 > 0.000000 | c 35 > 28.957800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.008300 | c 15 > 20.379700 | c 34 > 53.567200 | c 16 > 198.000000 | c 13 > 5.032800 | c 14 > -1.000000 | c 11 > 13.358500 | c 12 > 5.009860 | c 21 > 1.411570 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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 > 19.288000 | c 1 > 13.358500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 19.288000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.315800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.86 c choco : 1801.0
35.42/35.86 c mistral : 14.2628
35.42/35.86 c abscon : 40.6598
35.42/35.86 c
35.42/35.86 c
35.42/35.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml
35.42/35.86 c 19 > 47.631600 | c 35 > 46.561400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 38.842100 | c 15 > 17.622800 | c 34 > 73.008800 | c 16 > 195.000000 | c 13 > 0.050395 | c 14 > 9.411510 | c 11 > 13.409800 | c 12 > 1.282170 | c 21 > 1.412980 | c 20 > 52.368400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.572500 | c 1 > 11.155500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.506800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.835000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.86 c choco : 1801.0
35.42/35.86 c mistral : 4.13
35.42/35.86 c abscon : 1800.06
35.42/35.86 c
35.42/35.86 c
35.42/35.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran17x17.xml
35.42/35.86 c 19 > 0.000000 | c 35 > 250.952000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.571400 | c 15 > 19.895800 | c 34 > 402.941000 | c 16 > 510.000000 | c 13 > -0.068922 | c 14 > 10.591500 | c 11 > 12.222800 | c 12 > 2.250400 | c 21 > 1.238360 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.993300 | c 1 > 12.222800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.993300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.249400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.87 c choco : 52.93
35.42/35.87 c mistral : 5.61
35.42/35.87 c abscon : 1800.08
35.42/35.87 c
35.42/35.87 c
35.42/35.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran16x16.xml
35.42/35.87 c 19 > 0.000000 | c 35 > 248.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.000000 | c 15 > 19.951800 | c 34 > 397.625000 | c 16 > 480.000000 | c 13 > -0.070166 | c 14 > 10.659100 | c 11 > 12.050500 | c 12 > 2.250540 | c 21 > 1.238760 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.820400 | c 1 > 12.050500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.820400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.996800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.87 c choco : 40.89
35.42/35.87 c mistral : 4.67
35.42/35.87 c abscon : 1800.1
35.42/35.87 c
35.42/35.87 c
35.42/35.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
35.42/35.87 c 19 > 0.000000 | c 35 > 32.220000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.767400 | c 34 > 32.220000 | c 16 > 166.000000 | c 13 > 2.574380 | c 14 > 9.920350 | c 11 > 12.191100 | c 12 > 2.458080 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.620300 | c 1 > 12.191100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.620300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.826000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.88 c choco : 16.5
35.42/35.88 c mistral : 4.84
35.42/35.88 c abscon : 6.63899
35.42/35.88 c
35.42/35.88 c
35.42/35.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
35.42/35.88 c 19 > 39.091900 | c 35 > 43.768600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.854300 | c 15 > 19.496800 | c 34 > 53.144200 | c 16 > 160.000000 | c 13 > 3.581130 | c 14 > 10.985800 | c 11 > 12.007400 | c 12 > 3.551250 | c 21 > 1.397820 | c 20 > 60.908100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.649000 | c 1 > 12.007400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.517500 | c 6 > 6.954200 | c 32 > -1.000000 | c 5 > 18.803500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.88 c choco : 24.35
35.42/35.88 c mistral : 3.62
35.42/35.88 c abscon : 12.2411
35.42/35.88 c
35.42/35.88 c
35.42/35.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran13x13.xml
35.42/35.88 c 19 > 0.000000 | c 35 > 237.059000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.882400 | c 15 > 20.130300 | c 34 > 380.000000 | c 16 > 390.000000 | c 13 > 0.047139 | c 14 > 11.171800 | c 11 > 11.441400 | c 12 > 2.239740 | c 21 > 1.237270 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.208600 | c 1 > 11.441400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.208600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.089400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.89 c choco : 22.91
35.42/35.89 c mistral : 2.5
35.42/35.89 c abscon : 1800.1
35.42/35.89 c
35.42/35.89 c
35.42/35.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml
35.42/35.89 c 19 > 0.000000 | c 35 > 26.343200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.089900 | c 34 > 26.343200 | c 16 > 146.000000 | c 13 > 3.630320 | c 14 > 8.791160 | c 11 > 11.247300 | c 12 > 4.063740 | c 21 > 1.410180 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.280800 | c 1 > 11.247300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.280800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.356000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.42/35.89 c choco : 10.89
35.42/35.89 c mistral : 4.98
35.42/35.89 c abscon : 7.27989
35.42/35.89 c
35.42/35.89 c
35.42/35.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
35.42/35.89 c 19 > 0.000000 | c 35 > 33.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 18.319300 | c 34 > 66.000000 | c 16 > 150.000000 | c 13 > 1.599130 | c 14 > 7.592460 | c 11 > 11.148500 | c 12 > 0.825579 | c 21 > 1.345020 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.832500 | c 1 > 8.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.832500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.353800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.48/35.90 c choco : 2.64
35.48/35.90 c mistral : 0.55
35.48/35.90 c abscon : 199.342
35.48/35.90 c
35.48/35.90 c
35.48/35.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-ran12x12.xml
35.48/35.90 c 19 > 0.000000 | c 35 > 232.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 45.000000 | c 15 > 19.813800 | c 34 > 373.802000 | c 16 > 360.000000 | c 13 > -0.005693 | c 14 > 10.966500 | c 11 > 11.219200 | c 12 > 2.242570 | c 21 > 1.238570 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.989500 | c 1 > 11.219200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.989500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.772400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.48/35.91 c choco : 19.38
35.48/35.91 c mistral : 1.98
35.48/35.91 c abscon : 1800.08
35.48/35.91 c
35.48/35.91 c
35.48/35.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml
35.48/35.91 c 19 > 0.000000 | c 35 > 77.081900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.736700 | c 15 > 19.866700 | c 34 > 81.660700 | c 16 > 149.000000 | c 13 > 5.599960 | c 14 > 6.807350 | c 11 > 8.854870 | c 12 > 6.012360 | c 21 > 1.413450 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.865400 | c 1 > 8.854870 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.865400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.590000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.48/35.91 c choco : 6.4
35.48/35.91 c mistral : 2.56
35.48/35.91 c abscon : 3.13052
35.48/35.91 c
35.48/35.91 c
35.48/35.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
35.48/35.91 c 19 > 58.459200 | c 35 > 31.284000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 35.075500 | c 15 > 19.950800 | c 34 > 48.836900 | c 16 > 134.000000 | c 13 > 4.497660 | c 14 > 10.391200 | c 11 > 11.696100 | c 12 > 2.707310 | c 21 > 1.411090 | c 20 > 41.540800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.857600 | c 1 > 9.812180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.700400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.912900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.48/35.92 c choco : 1801.0
35.48/35.92 c mistral : 0.71
35.48/35.92 c abscon : 1800.1
35.48/35.92 c
35.48/35.92 c
35.48/35.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml
35.48/35.92 c 19 > 0.000000 | c 35 > 105.366000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 40.000000 | c 15 > 19.853600 | c 34 > 171.951000 | c 16 > 169.000000 | c 13 > 4.829990 | c 14 > 8.442940 | c 11 > 11.734700 | c 12 > 3.200360 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.866500 | c 1 > 7.569860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.866500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.843600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.48/35.93 c choco : 2.64
35.48/35.93 c mistral : 1.78
35.48/35.93 c abscon : 65.1051
35.48/35.93 c
35.48/35.93 c
35.48/35.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml
35.48/35.93 c 19 > 0.000000 | c 35 > 64.598900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.534800 | c 15 > 20.157300 | c 34 > 127.487000 | c 16 > 147.000000 | c 13 > -0.784144 | c 14 > 10.462500 | c 11 > 12.167400 | c 12 > 2.516780 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.436900 | c 1 > 12.167400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.436900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.838100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.48/35.93 c choco : 482.24
35.48/35.93 c mistral : 1800.08
35.48/35.93 c abscon : 1800.1
35.48/35.93 c
35.48/35.93 c
35.48/35.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
35.48/35.93 c 19 > 12.605000 | c 35 > 46.554600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.243700 | c 15 > 20.294600 | c 34 > 90.756300 | c 16 > 135.000000 | c 13 > 9.222100 | c 14 > 10.246700 | c 11 > 11.626200 | c 12 > 4.995200 | c 21 > 1.335460 | c 20 > 87.395000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | 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.449700 | c 1 > 10.382600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.445800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.299100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.48/35.94 c choco : 1801.0
35.48/35.94 c mistral : 247.62
35.48/35.94 c abscon : 437.054
35.48/35.94 c
35.48/35.94 c
35.48/35.94 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
35.48/35.94 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.696000 | c 34 > -1.000000 | c 16 > 100.000000 | c 13 > 12.108300 | c 14 > 14.463800 | c 11 > 6.643860 | c 12 > 14.945800 | c 21 > 10.000000 | c 20 > 0.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.347830 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 12.279900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.652200 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.287700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
35.48/35.94 c choco : 1801.0
35.48/35.94 c mistral : 197.92
35.48/35.94 c abscon : 1801.0
35.48/35.94 c
35.48/35.94 c
35.48/35.95 c Length: 40
35.48/35.95 c 186.69824529904184 194.40961499921087 272.67656386371476 301.1940937351447 310.06002555477374 314.5606196510657 314.56067715004116 344.38151024636954 375.286522917089 426.27843204607507 438.7622294233812 459.3402291550362 465.17153296460174 466.8794987436622 491.5821570165008 492.84773943479945 492.8517314010065 495.00912975406055 500.444546208342 500.4523841556633 513.5892180592712 517.6664894088465 527.6883453288676 534.00802394689 535.221401247819 538.272408674091 543.6320848698793 549.577490502819 563.6185994202999 569.0168626692513 574.864956339903 581.9553032725254 582.1544953176684 585.7102482395956 589.0648789017117 592.1834660140333 596.0188854834454 597.9537754507936 599.114408231758 600.7942883172121
35.48/35.95 c
35.48/35.95 c 1.0 0.9817182688884648 0.8280689330032178 0.7833946182543597 0.7704717004503187 0.7640734597822748 0.7640733787180545 0.7242235548740029 0.6870861391931253 0.63348799323315 0.6216164677343871 0.6029898255423792 0.5979127643572656 0.5964418613829229 0.5759493575456279 0.5749373257548854 0.5749341391781745 0.5732171540305985 0.5689364550895585 0.56893032842493 0.5588438585299184 0.5557856552411076 0.5484090084697115 0.5438572062820509 0.5429918936988597 0.5408282045723302 0.5370687341295971 0.5329590905854927 0.5234986841178967 0.5199503017890607 0.5161601245016799 0.5116382979330063 0.5115124082532223 0.509275544715482 0.507183065283551 0.5052531839636968 0.502899748651675 0.5017207896360512 0.5010162463865379 0.5
35.48/35.96 c
35.48/35.96 c solver 0
35.48/35.96 c before 0.0 seconds: {} 0
35.48/35.96 c before 18.0 seconds: {0, 5, 6, 15, 16, 18, 19, 21, 28, 29, 31, 34} 7433
35.48/35.96 c before 36.0 seconds: {0, 3, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 28, 29, 31, 34} 10225
35.48/35.96 c before 54.0 seconds: {0, 3, 4, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 34} 11538
35.48/35.96 c before 72.0 seconds: {0, 3, 4, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 34, 36} 12041
35.48/35.96 c before 216.0 seconds: {0, 3, 4, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36} 12552
35.48/35.96 c before 450.0 seconds: {0, 3, 4, 5, 6, 7, 8, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36, 38} 13053
35.48/35.96 c before 864.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 13, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36, 38} 13675
35.48/35.96 c before 1026.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 13, 14, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36, 38} 14251
35.48/35.96 c before 1350.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 13, 14, 15, 16, 18, 19, 21, 22, 24, 28, 29, 31, 32, 34, 36, 38} 14799
35.48/35.96 c
35.48/35.96 c solver 1
35.48/35.96 c before 0.0 seconds: {} 0
35.48/35.96 c before 18.0 seconds: {0, 3, 4, 5, 6, 10, 11, 12, 13, 15, 16, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36} 16664
35.48/35.96 c before 36.0 seconds: {0, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36} 19768
35.48/35.96 c before 72.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36} 20750
35.48/35.96 c before 198.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 39} 21250
35.48/35.96 c before 252.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 21751
35.48/35.96 c
35.48/35.96 c solver 2
35.48/35.96 c before 0.0 seconds: {} 0
35.48/35.96 c before 18.0 seconds: {0, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 18, 19, 28, 31, 32, 34, 36} 12749
35.48/35.96 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 28, 29, 30, 31, 32, 33, 34, 36} 15399
35.48/35.96 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36} 17012
35.48/35.96 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36} 17646
35.48/35.96 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36} 20039
35.48/35.96 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37} 20541
35.48/35.96 c
35.48/35.96 cTotal time: 116
35.48/35.97 c run abscon for 1026.0 seconds {0, 3, 4, 5, 6, 7, 8, 10, 13, 14, 15, 16, 18, 19, 21, 24, 28, 29, 31, 32, 34, 36, 38} 14251
35.48/35.97 c run mistral for 252.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39} 21751
35.48/35.97 c run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37} 20541
35.48/35.97 c Starting solver: HOME/cpHydra_k_40/solver/abscon
35.48/35.97 c On Instance: HOME/instance-1070053-1215162995.xml
35.48/35.97 c Running for: 1026 seconds
1067.04/1068.10 c Starting solver: HOME/cpHydra_k_40/solver/mistral
1067.04/1068.10 c On Instance: HOME/instance-1070053-1215162995.xml
1067.04/1068.10 c Running for: 252 seconds
1102.09/1103.41 c mistral-prime version 1.313
1102.09/1103.41 s SATISFIABLE
1102.09/1103.41 v 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
1102.09/1103.41 d CHECKS 2641287
1102.09/1103.41 d ASSIGNMENTS 761