0.00/0.00 c cpHydra_k_40 version 0.0
7.93/8.09 c CASE TO CLASSIFY:
7.93/8.09 c Case: 0
7.93/8.09 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.356600 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 4.854580 | c 14 > 9.477760 | c 11 > 9.590590 | c 12 > 3.676780 | 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
8.02/8.10 c choco : 1801.0
8.02/8.10 c mistral : 1801.0
8.02/8.10 c abscon : 1801.0
8.02/8.10 c
8.02/8.10 c
8.02/8.18 c List of same ones: 40
8.02/8.18 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
8.02/8.18 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
8.02/8.19 c choco : 8.6
8.02/8.19 c mistral : 2.27
8.02/8.19 c abscon : 5.8991
8.02/8.19 c
8.02/8.19 c
8.02/8.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
8.02/8.19 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
8.02/8.19 c choco : 8.61
8.02/8.19 c mistral : 2.26
8.02/8.19 c abscon : 5.2622
8.02/8.19 c
8.02/8.19 c
8.02/8.19 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
8.02/8.19 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
8.11/8.21 c choco : 81.31
8.11/8.21 c mistral : 24.24
8.11/8.21 c abscon : 29.0936
8.11/8.21 c
8.11/8.21 c
8.11/8.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
8.11/8.21 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
8.11/8.21 c choco : 83.64
8.11/8.21 c mistral : 28.58
8.11/8.21 c abscon : 31.3522
8.11/8.21 c
8.11/8.21 c
8.11/8.21 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml
8.11/8.21 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
8.11/8.22 c choco : 9.38
8.11/8.22 c mistral : 8.53
8.11/8.22 c abscon : 853.293
8.11/8.22 c
8.11/8.22 c
8.11/8.22 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
8.11/8.23 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
8.11/8.23 c choco : 11.35
8.11/8.23 c mistral : 6.16
8.11/8.23 c abscon : 1800.07
8.11/8.23 c
8.11/8.23 c
8.11/8.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml
8.11/8.24 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
8.11/8.24 c choco : 5.58
8.11/8.24 c mistral : 2.07
8.11/8.24 c abscon : 24.1083
8.11/8.24 c
8.11/8.24 c
8.11/8.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml
8.11/8.24 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
8.11/8.25 c choco : 2.83
8.11/8.25 c mistral : 0.65
8.11/8.25 c abscon : 8.5807
8.11/8.25 c
8.11/8.25 c
8.11/8.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml
8.11/8.25 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
8.11/8.26 c choco : 2.67
8.11/8.26 c mistral : 0.58
8.11/8.26 c abscon : 8.38772
8.11/8.26 c
8.11/8.26 c
8.11/8.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
8.11/8.26 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
8.11/8.27 c choco : 1801.0
8.11/8.27 c mistral : 18.05
8.11/8.27 c abscon : 1800.09
8.11/8.27 c
8.11/8.27 c
8.11/8.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml
8.11/8.27 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
8.11/8.28 c choco : 2.44
8.11/8.28 c mistral : 0.44
8.11/8.28 c abscon : 1.3238
8.11/8.28 c
8.11/8.28 c
8.11/8.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml
8.11/8.28 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
8.11/8.29 c choco : 2.41
8.11/8.29 c mistral : 0.4
8.11/8.29 c abscon : 1.3208
8.11/8.29 c
8.11/8.29 c
8.11/8.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml
8.11/8.29 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
8.19/8.30 c choco : 5.96
8.19/8.30 c mistral : 22.01
8.19/8.30 c abscon : 1008.63
8.19/8.30 c
8.19/8.30 c
8.19/8.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml
8.19/8.30 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
8.19/8.31 c choco : 8.43
8.19/8.31 c mistral : 1.57
8.19/8.31 c abscon : 42.6915
8.19/8.31 c
8.19/8.31 c
8.19/8.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml
8.19/8.31 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
8.19/8.32 c choco : 1801.0
8.19/8.32 c mistral : 14.2628
8.19/8.32 c abscon : 40.6598
8.19/8.32 c
8.19/8.32 c
8.19/8.32 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml
8.19/8.32 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
8.19/8.33 c choco : 1801.0
8.19/8.33 c mistral : 4.54
8.19/8.33 c abscon : 1801.0
8.19/8.33 c
8.19/8.33 c
8.19/8.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml
8.19/8.33 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
8.19/8.33 c choco : 1801.0
8.19/8.33 c mistral : 4.13
8.19/8.33 c abscon : 1800.06
8.19/8.33 c
8.19/8.33 c
8.19/8.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml
8.19/8.33 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
8.19/8.34 c choco : 9.63
8.19/8.34 c mistral : 3.51
8.19/8.34 c abscon : 4.6213
8.19/8.34 c
8.19/8.34 c
8.19/8.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml
8.19/8.34 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
8.19/8.35 c choco : 18.53
8.19/8.35 c mistral : 1800.06
8.19/8.35 c abscon : 1348.66
8.19/8.35 c
8.19/8.35 c
8.19/8.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
8.19/8.35 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
8.19/8.36 c choco : 16.5
8.19/8.36 c mistral : 4.84
8.19/8.36 c abscon : 6.63899
8.19/8.36 c
8.19/8.36 c
8.19/8.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-neos20.xml
8.19/8.36 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
8.19/8.36 c choco : 23.83
8.19/8.36 c mistral : 4.90325
8.19/8.36 c abscon : 7.12692
8.19/8.36 c
8.19/8.36 c
8.19/8.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml
8.19/8.36 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
8.19/8.37 c choco : 10.89
8.19/8.37 c mistral : 4.98
8.19/8.37 c abscon : 7.27989
8.19/8.37 c
8.19/8.37 c
8.19/8.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
8.19/8.37 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
8.19/8.37 c choco : 24.35
8.19/8.37 c mistral : 3.62
8.19/8.37 c abscon : 12.2411
8.19/8.37 c
8.19/8.37 c
8.19/8.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
8.19/8.37 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
8.19/8.38 c choco : 2.64
8.19/8.38 c mistral : 0.55
8.19/8.38 c abscon : 199.342
8.19/8.38 c
8.19/8.38 c
8.19/8.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml
8.19/8.38 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
8.19/8.39 c choco : 6.4
8.19/8.39 c mistral : 2.56
8.19/8.39 c abscon : 3.13052
8.19/8.39 c
8.19/8.39 c
8.19/8.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml
8.19/8.39 c 19 > 0.000000 | c 35 > 32.352900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.647100 | c 15 > 17.620800 | c 34 > 64.705900 | c 16 > 130.000000 | c 13 > 1.435600 | c 14 > 7.417850 | c 11 > 10.742300 | c 12 > 0.805067 | c 21 > 1.344300 | 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.385300 | c 1 > 7.820180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.385300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.739500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.40 c choco : 2.19
8.25/8.40 c mistral : 0.37
8.25/8.40 c abscon : 175.226
8.25/8.40 c
8.25/8.40 c
8.25/8.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml
8.25/8.40 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.779300 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 8.497930 | c 14 > 10.999300 | c 11 > 11.494900 | c 12 > 5.398850 | c 21 > 1.331250 | 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.683000 | c 1 > 10.118900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.683000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.671300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.40 c choco : 3.95
8.25/8.40 c mistral : 1.4
8.25/8.40 c abscon : 385.752
8.25/8.40 c
8.25/8.40 c
8.25/8.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml
8.25/8.40 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.558200 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 0.606331 | c 14 > 9.525520 | c 11 > 11.422600 | c 12 > 0.996843 | c 21 > 1.326020 | 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.574600 | c 1 > 10.092800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.574600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.560300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.41 c choco : 3.78
8.25/8.41 c mistral : 1.05
8.25/8.41 c abscon : 1800.08
8.25/8.41 c
8.25/8.41 c
8.25/8.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml
8.25/8.41 c 19 > 0.000000 | c 35 > 2.033900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.406780 | c 15 > 19.897300 | c 34 > 3.661020 | c 16 > 120.000000 | c 13 > 7.464060 | c 14 > 10.204600 | c 11 > 12.481800 | c 12 > 3.376420 | c 21 > 1.392570 | 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.190400 | c 1 > 12.481800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.190400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.926500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.41 c choco : 15.99
8.25/8.41 c mistral : 52.33
8.25/8.41 c abscon : 1800.11
8.25/8.41 c
8.25/8.41 c
8.25/8.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml
8.25/8.41 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.666100 | c 34 > 0.000000 | c 16 > 120.000000 | c 13 > 12.584100 | c 14 > 12.282800 | c 11 > 11.418900 | c 12 > 8.622250 | c 21 > 1.373350 | 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.085700 | c 1 > 11.418900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.085700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.206500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.42 c choco : 24.54
8.25/8.42 c mistral : 2.61
8.25/8.42 c abscon : 1239.19
8.25/8.42 c
8.25/8.42 c
8.25/8.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-egout.xml
8.25/8.42 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
8.25/8.43 c choco : 6.17
8.25/8.43 c mistral : 3.48
8.25/8.43 c abscon : 1800.07
8.25/8.43 c
8.25/8.43 c
8.25/8.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
8.25/8.43 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
8.25/8.43 c choco : 1801.0
8.25/8.43 c mistral : 247.62
8.25/8.43 c abscon : 437.054
8.25/8.43 c
8.25/8.43 c
8.25/8.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
8.25/8.43 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
8.25/8.44 c choco : 1801.0
8.25/8.44 c mistral : 0.71
8.25/8.44 c abscon : 1800.1
8.25/8.44 c
8.25/8.44 c
8.25/8.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml
8.25/8.44 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
8.25/8.44 c choco : 482.24
8.25/8.44 c mistral : 1800.08
8.25/8.44 c abscon : 1800.1
8.25/8.44 c
8.25/8.44 c
8.25/8.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-noswot.xml
8.25/8.44 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
8.25/8.45 c choco : 5.46
8.25/8.45 c mistral : 1.12
8.25/8.45 c abscon : 18.4442
8.25/8.45 c
8.25/8.45 c
8.25/8.45 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml
8.25/8.45 c 19 > 35.173100 | c 35 > 51.487400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.877500 | c 15 > 19.272300 | c 34 > 96.688500 | c 16 > 128.000000 | c 13 > 2.942240 | c 14 > 8.566050 | c 11 > 13.219500 | c 12 > 1.620620 | c 21 > 1.414210 | c 20 > 64.826900 | 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.243500 | c 1 > 8.857980 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.186400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.230100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.46 c choco : 5.46
8.25/8.46 c mistral : 1800.03
8.25/8.46 c abscon : 314.036
8.25/8.46 c
8.25/8.46 c
8.25/8.46 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml
8.25/8.46 c 19 > 0.000000 | c 35 > 15.068500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.219180 | c 15 > 19.252700 | c 34 > 30.137000 | c 16 > 102.000000 | c 13 > 3.121570 | c 14 > 7.179910 | c 11 > 10.941000 | c 12 > 1.853770 | 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.311000 | c 1 > 7.348730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.311000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.205100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.46 c choco : 3.04
8.25/8.46 c mistral : 0.9
8.25/8.46 c abscon : 1.9467
8.25/8.46 c
8.25/8.46 c
8.25/8.46 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc03.xml
8.25/8.47 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
8.25/8.47 c choco : 2.64
8.25/8.47 c mistral : 1.78
8.25/8.47 c abscon : 65.1051
8.25/8.47 c
8.25/8.47 c
8.25/8.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml
8.25/8.47 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
8.25/8.48 c choco : 72.65
8.25/8.48 c mistral : 61.66
8.25/8.48 c abscon : 1800.1
8.25/8.48 c
8.25/8.48 c
8.25/8.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2.xml
8.25/8.48 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.640600 | c 34 > 0.000000 | c 16 > 90.000000 | c 13 > 1.414640 | c 14 > 7.118940 | c 11 > 10.409400 | c 12 > 0.737814 | c 21 > 1.329160 | 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.064700 | c 1 > 7.693490 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.064700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.458100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.25/8.48 c choco : 1.89
8.25/8.48 c mistral : 0.2
8.25/8.48 c abscon : 137.014
8.25/8.48 c
8.25/8.48 c
8.25/8.49 c Length: 40
8.25/8.49 c 2.3880033864716363 2.3998562339856946 44.64601914314114 73.25864715520571 145.3243411028751 171.2388830111 182.85846648963548 199.07356963104266 199.07771004345614 205.46891969641464 207.27378205228413 207.30068686501448 224.8735533867262 238.52329756554138 248.47355385989914 259.97580306988385 269.5466197780693 270.145181237472 274.2360772338339 275.83579680851494 290.99697466636366 294.3920153691304 294.55205202868524 297.9208632727342 310.3865272446491 316.9570911011665 318.07238625024144 318.0884465326395 318.2902248194125 318.31164582495984 318.8751147668152 321.6088615062637 322.2909241811248 325.1426800381149 333.4944137898731 337.752632232475 337.890449695671 338.64368489126133 343.4989651649705 348.0943190709865
8.25/8.49 c
8.25/8.49 c 1.0 0.9999657152889465 0.8910775750964213 0.8298738272473094 0.7074828881155244 0.6718520678285654 0.6570155309419561 0.6373736908726699 0.6373688254425542 0.6299459891370178 0.6278810016195964 0.6278503215653463 0.6084323563271695 0.5941588051180583 0.584168751640547 0.573031141657467 0.564082390084576 0.5635320101806529 0.5597989772958615 0.5583526146396257 0.5450070694952578 0.5421055621745269 0.5419695521509414 0.5391222633532894 0.5288416036912901 0.5235789700854525 0.5226960651900923 0.522683373081487 0.5225239643834001 0.5225070470890693 0.5220624390925201 0.5199160589370933 0.519383290882765 0.5171675230836278 0.5107857792254462 0.5075922243648496 0.5074895318033282 0.5069290035358831 0.5033453977184371 0.5
8.32/8.50 c
8.32/8.50 c solver 0
8.32/8.50 c before 0.0 seconds: {} 0
8.32/8.50 c before 18.0 seconds: {0, 1, 7, 8, 10, 11, 17, 19, 20, 21, 22, 24, 36} 8317
8.32/8.50 c before 36.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 17, 19, 20, 21, 22, 24, 34, 36} 11206
8.32/8.50 c before 54.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 13, 14, 17, 19, 20, 21, 22, 24, 34, 36} 12384
8.32/8.50 c before 72.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 13, 14, 17, 19, 20, 21, 22, 24, 34, 36, 37} 12891
8.32/8.50 c before 144.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 13, 14, 17, 19, 20, 21, 22, 24, 34, 36, 37, 39} 13391
8.32/8.50 c before 180.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 13, 14, 17, 19, 20, 21, 22, 24, 25, 34, 36, 37, 39} 13915
8.32/8.50 c before 216.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 13, 14, 17, 19, 20, 21, 22, 23, 24, 25, 34, 36, 37, 39} 14454
8.32/8.50 c before 324.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 13, 14, 17, 19, 20, 21, 22, 23, 24, 25, 34, 35, 36, 37, 39} 14962
8.32/8.50 c before 396.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 13, 14, 17, 19, 20, 21, 22, 23, 24, 25, 26, 34, 35, 36, 37, 39} 15484
8.32/8.50 c before 450.0 seconds: {0, 1, 2, 3, 6, 7, 8, 10, 11, 13, 14, 17, 19, 20, 21, 22, 23, 24, 25, 26, 31, 34, 35, 36, 37, 39} 16004
8.32/8.50 c before 864.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 13, 14, 17, 19, 20, 21, 22, 23, 24, 25, 26, 31, 34, 35, 36, 37, 39} 16712
8.32/8.50 c before 1026.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 17, 19, 20, 21, 22, 23, 24, 25, 26, 31, 34, 35, 36, 37, 39} 17320
8.32/8.50 c before 1242.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 17, 19, 20, 21, 22, 23, 24, 25, 26, 29, 31, 34, 35, 36, 37, 39} 17843
8.32/8.50 c before 1350.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 31, 34, 35, 36, 37, 39} 18402
8.32/8.50 c
8.32/8.50 c solver 1
8.32/8.51 c before 0.0 seconds: {} 0
8.32/8.51 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 32, 34, 36, 37, 39} 17859
8.32/8.51 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 32, 34, 36, 37, 39} 20818
8.32/8.51 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 36, 37, 39} 21341
8.32/8.51 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 36, 37, 38, 39} 21844
8.32/8.51 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 36, 37, 38, 39} 22364
8.32/8.51 c
8.32/8.51 c solver 2
8.32/8.51 c before 0.0 seconds: {} 0
8.32/8.51 c before 18.0 seconds: {0, 1, 4, 5, 6, 7, 8, 10, 11, 12, 13, 17, 19, 21, 23, 24, 25, 26, 27, 28, 30, 34, 35, 36, 37, 39} 15647
8.32/8.51 c before 36.0 seconds: {0, 1, 4, 5, 6, 7, 8, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 34, 35, 36, 37, 39} 17816
8.32/8.51 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 34, 35, 36, 37, 38, 39} 20041
8.32/8.51 c before 486.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 20558
8.32/8.51 c
8.32/8.51 cTotal time: 116
8.32/8.51 c run abscon for 1242.0 seconds {0, 1, 2, 3, 4, 6, 7, 8, 10, 11, 12, 13, 14, 17, 19, 20, 21, 22, 23, 24, 25, 26, 29, 31, 34, 35, 36, 37, 39} 17843
8.32/8.51 c run mistral for 72.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 34, 36, 37, 38, 39} 21844
8.32/8.51 c run choco for 486.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 20558
8.32/8.51 c Starting solver: HOME/cpHydra_k_40/solver/abscon
8.32/8.51 c On Instance: HOME/instance-1063279-1215136402.xml
8.32/8.51 c Running for: 1242 seconds
12.19/12.48 s SAT
12.19/12.48 v 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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
12.19/12.48 d ASSIGNMENTS 784
12.19/12.48 d CHECKS 48393