0.00/0.15 c cpHydra_k_40 version 0.0
6.74/6.87 c CASE TO CLASSIFY:
6.74/6.87 c Case: 0
6.74/6.87 c 19 > 0.000000 | c 35 > 17.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.428570 | c 15 > 21.573000 | c 34 > 27.428600 | c 16 > 270.000000 | c 13 > 11.501900 | c 14 > 12.495900 | c 11 > 10.998600 | c 12 > 8.377280 | 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
6.74/6.88 c choco : 1801.0
6.74/6.88 c mistral : 1801.0
6.74/6.88 c abscon : 1801.0
6.74/6.88 c
6.74/6.88 c
6.83/6.96 c List of same ones: 40
6.83/6.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
6.83/6.96 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
6.83/6.96 c choco : 11.35
6.83/6.96 c mistral : 6.16
6.83/6.96 c abscon : 1800.07
6.83/6.96 c
6.83/6.96 c
6.83/6.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml
6.83/6.96 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
6.83/6.97 c choco : 9.38
6.83/6.97 c mistral : 8.53
6.83/6.97 c abscon : 853.293
6.83/6.97 c
6.83/6.97 c
6.83/6.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
6.83/6.97 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
6.83/6.98 c choco : 1801.0
6.83/6.98 c mistral : 18.05
6.83/6.98 c abscon : 1800.09
6.83/6.98 c
6.83/6.98 c
6.83/6.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml
6.83/6.98 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
6.83/6.99 c choco : 2.83
6.83/6.99 c mistral : 0.65
6.83/6.99 c abscon : 8.5807
6.83/6.99 c
6.83/6.99 c
6.83/6.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml
6.83/6.99 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
6.92/7.00 c choco : 2.67
6.92/7.00 c mistral : 0.58
6.92/7.00 c abscon : 8.38772
6.92/7.00 c
6.92/7.00 c
6.92/7.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml
6.92/7.00 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
6.92/7.01 c choco : 2.44
6.92/7.01 c mistral : 0.44
6.92/7.01 c abscon : 1.3238
6.92/7.01 c
6.92/7.01 c
6.92/7.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml
6.92/7.01 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
6.92/7.01 c choco : 2.41
6.92/7.02 c mistral : 0.4
6.92/7.02 c abscon : 1.3208
6.92/7.02 c
6.92/7.02 c
6.92/7.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml
6.92/7.02 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
6.92/7.02 c choco : 1801.0
6.92/7.02 c mistral : 14.2628
6.92/7.02 c abscon : 40.6598
6.92/7.02 c
6.92/7.02 c
6.92/7.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
6.92/7.02 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
6.92/7.03 c choco : 83.64
6.92/7.03 c mistral : 28.58
6.92/7.03 c abscon : 31.3522
6.92/7.03 c
6.92/7.03 c
6.92/7.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
6.92/7.03 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
6.92/7.04 c choco : 16.5
6.92/7.04 c mistral : 4.84
6.92/7.04 c abscon : 6.63899
6.92/7.04 c
6.92/7.04 c
6.92/7.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml
6.92/7.04 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
7.11/7.23 c choco : 5.96
7.11/7.23 c mistral : 22.01
7.11/7.23 c abscon : 1008.63
7.11/7.23 c
7.11/7.23 c
7.11/7.23 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml
7.11/7.23 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
7.11/7.24 c choco : 1801.0
7.11/7.24 c mistral : 4.13
7.11/7.24 c abscon : 1800.06
7.11/7.24 c
7.11/7.24 c
7.11/7.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml
7.11/7.24 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
7.11/7.25 c choco : 10.89
7.11/7.25 c mistral : 4.98
7.11/7.25 c abscon : 7.27989
7.11/7.25 c
7.11/7.25 c
7.11/7.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
7.11/7.25 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
7.11/7.25 c choco : 2.64
7.11/7.25 c mistral : 0.55
7.11/7.25 c abscon : 199.342
7.11/7.25 c
7.11/7.25 c
7.11/7.25 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml
7.11/7.25 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
7.11/7.26 c choco : 1801.0
7.11/7.26 c mistral : 4.54
7.11/7.26 c abscon : 1801.0
7.11/7.26 c
7.11/7.26 c
7.11/7.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
7.11/7.26 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
7.11/7.27 c choco : 24.35
7.11/7.27 c mistral : 3.62
7.11/7.27 c abscon : 12.2411
7.11/7.27 c
7.11/7.27 c
7.11/7.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
7.11/7.27 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
7.11/7.27 c choco : 81.31
7.11/7.27 c mistral : 24.24
7.11/7.27 c abscon : 29.0936
7.11/7.27 c
7.11/7.27 c
7.11/7.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml
7.11/7.27 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
7.11/7.28 c choco : 6.4
7.11/7.28 c mistral : 2.56
7.11/7.28 c abscon : 3.13052
7.11/7.28 c
7.11/7.28 c
7.11/7.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml
7.11/7.28 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
7.11/7.29 c choco : 2.19
7.11/7.29 c mistral : 0.37
7.11/7.29 c abscon : 175.226
7.11/7.29 c
7.11/7.29 c
7.11/7.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml
7.11/7.29 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
7.11/7.30 c choco : 15.99
7.11/7.30 c mistral : 52.33
7.11/7.30 c abscon : 1800.11
7.11/7.30 c
7.11/7.30 c
7.11/7.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml
7.11/7.30 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
7.18/7.30 c choco : 3.95
7.18/7.30 c mistral : 1.4
7.18/7.30 c abscon : 385.752
7.18/7.30 c
7.18/7.30 c
7.18/7.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml
7.18/7.30 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
7.18/7.31 c choco : 24.54
7.18/7.31 c mistral : 2.61
7.18/7.31 c abscon : 1239.19
7.18/7.31 c
7.18/7.31 c
7.18/7.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml
7.18/7.31 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
7.18/7.31 c choco : 3.78
7.18/7.31 c mistral : 1.05
7.18/7.31 c abscon : 1800.08
7.18/7.31 c
7.18/7.31 c
7.18/7.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
7.18/7.31 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
7.18/7.32 c choco : 1801.0
7.18/7.32 c mistral : 247.62
7.18/7.32 c abscon : 437.054
7.18/7.32 c
7.18/7.32 c
7.18/7.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08a.xml
7.18/7.32 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
7.18/7.32 c choco : 18.53
7.18/7.32 c mistral : 1800.06
7.18/7.32 c abscon : 1348.66
7.18/7.32 c
7.18/7.32 c
7.18/7.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
7.18/7.32 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
7.18/7.33 c choco : 1801.0
7.18/7.33 c mistral : 0.71
7.18/7.33 c abscon : 1800.1
7.18/7.33 c
7.18/7.33 c
7.18/7.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-pp08aCUTS.xml
7.18/7.33 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
7.18/7.33 c choco : 482.24
7.18/7.33 c mistral : 1800.08
7.18/7.33 c abscon : 1800.1
7.18/7.33 c
7.18/7.33 c
7.18/7.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml
7.18/7.33 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
7.18/7.34 c choco : 3.04
7.18/7.34 c mistral : 0.9
7.18/7.34 c abscon : 1.9467
7.18/7.34 c
7.18/7.34 c
7.18/7.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
7.18/7.34 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
7.18/7.34 c choco : 8.6
7.18/7.34 c mistral : 2.27
7.18/7.34 c abscon : 5.8991
7.18/7.34 c
7.18/7.34 c
7.18/7.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
7.18/7.34 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
7.18/7.35 c choco : 8.61
7.18/7.35 c mistral : 2.26
7.18/7.35 c abscon : 5.2622
7.18/7.35 c
7.18/7.35 c
7.18/7.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml
7.18/7.35 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
7.18/7.36 c choco : 5.46
7.18/7.36 c mistral : 1800.03
7.18/7.36 c abscon : 314.036
7.18/7.36 c
7.18/7.36 c
7.18/7.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mitre.xml
7.18/7.36 c 19 > 9.584350 | c 35 > 33.271400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.467000 | c 15 > 18.214500 | c 34 > 66.542800 | c 16 > 98.000000 | c 13 > -0.028883 | c 14 > 9.923330 | c 11 > 13.388600 | c 12 > 2.211530 | c 21 > 1.414210 | c 20 > 90.415600 | 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 > 16.369600 | c 1 > 13.388600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.366200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.787600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.36 c choco : 1801.0
7.18/7.36 c mistral : 3.9354
7.18/7.36 c abscon : 1800.1
7.18/7.36 c
7.18/7.36 c
7.18/7.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/clip-b.xml
7.18/7.36 c 19 > 0.000000 | c 35 > 81.276600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.659600 | c 15 > 19.044600 | c 34 > 88.496500 | c 16 > 111.000000 | c 13 > 4.719060 | c 14 > 7.768180 | c 11 > 8.442940 | c 12 > 5.368030 | c 21 > 1.413200 | 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.820000 | c 1 > 8.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.820000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.178400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.37 c choco : 4.16
7.18/7.37 c mistral : 1.2
7.18/7.37 c abscon : 2.05169
7.18/7.37 c
7.18/7.37 c
7.18/7.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2.xml
7.18/7.37 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
7.18/7.37 c choco : 1.89
7.18/7.37 c mistral : 0.2
7.18/7.37 c abscon : 137.014
7.18/7.37 c
7.18/7.37 c
7.18/7.37 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/count-b.xml
7.18/7.37 c 19 > 0.000000 | c 35 > 14.481300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.711820 | c 15 > 18.958200 | c 34 > 16.051900 | c 16 > 78.000000 | c 13 > 4.946530 | c 14 > 8.290020 | c 11 > 8.864190 | c 12 > 5.204420 | 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.076100 | c 1 > 8.864190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.076100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.134900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.38 c choco : 4.36
7.18/7.38 c mistral : 0.934857
7.18/7.38 c abscon : 1.9607
7.18/7.38 c
7.18/7.38 c
7.18/7.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1.xml
7.18/7.38 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.024000 | c 34 > 0.000000 | c 16 > 80.000000 | c 13 > 1.235800 | c 14 > 6.807350 | c 11 > 10.015400 | c 12 > 0.706539 | c 21 > 1.328610 | 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 > 10.639300 | c 1 > 7.459430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.639300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.39 c choco : 1.74
7.18/7.39 c mistral : 0.13
7.18/7.39 c abscon : 130.51
7.18/7.39 c
7.18/7.39 c
7.18/7.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/sao2-b.xml
7.18/7.39 c 19 > 15.817000 | c 35 > 77.542500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.196100 | c 15 > 18.013800 | c 34 > 84.692800 | c 16 > 98.000000 | c 13 > 4.520700 | c 14 > 7.348730 | c 11 > 8.519640 | c 12 > 5.072470 | c 21 > 1.409450 | c 20 > 84.183000 | 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.624600 | c 1 > 8.519640 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.610800 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 17.580900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.39 c choco : 3.87
7.18/7.39 c mistral : 0.71
7.18/7.39 c abscon : 2.33864
7.18/7.39 c
7.18/7.39 c
7.18/7.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos18.xml
7.18/7.39 c 19 > 25.134400 | c 35 > 25.841100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.413100 | c 15 > 16.069800 | c 34 > 34.072800 | c 16 > 80.000000 | c 13 > 2.425940 | c 14 > 8.727920 | c 11 > 13.281600 | c 12 > 0.561496 | c 21 > 1.136120 | c 20 > 74.865600 | 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.375900 | c 1 > 9.911390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.134900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.385700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.18/7.40 c choco : 9.44
7.18/7.40 c mistral : 1.19
7.18/7.40 c abscon : 6.61899
7.18/7.40 c
7.18/7.40 c
7.18/7.40 c /home/eomahony/cpZilla/CSP/xml/nengfa/queens2.xml
7.18/7.40 c 19 > 0.000000 | c 35 > 19.807700 | c 17 > 0.000000 | c 18 > 1.421800 | c 33 > 0.000000 | c 15 > 15.868300 | c 34 > 19.807700 | c 16 > 104.000000 | c 13 > 5.052650 | c 14 > 6.523560 | c 11 > 8.276120 | c 12 > 5.750310 | c 21 > 10.198000 | c 20 > 98.578200 | c 22 > 10.198000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 3.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.276120 | c 2 > -1.000000 | c 10 > 13.990500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.976600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.24/7.40 c choco : 7.96
7.24/7.40 c mistral : 0.043992
7.24/7.40 c abscon : 4.92825
7.24/7.40 c
7.24/7.40 c
7.24/7.40 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/f51m-b.xml
7.24/7.40 c 19 > 2.923980 | c 35 > 111.326000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.345000 | c 15 > 18.781100 | c 34 > 118.148000 | c 16 > 123.000000 | c 13 > 4.863770 | c 14 > 7.276120 | c 11 > 8.647460 | c 12 > 5.030370 | c 21 > 1.409850 | c 20 > 97.076000 | 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.702100 | c 1 > 8.647460 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.700700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.187000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.24/7.41 c choco : 3.95
7.24/7.41 c mistral : 0.97
7.24/7.41 c abscon : 3.01554
7.24/7.41 c
7.24/7.41 c
7.24/7.41 c Length: 40
7.24/7.41 c 3.9530659201308556 34.12529285363716 38.06973189866984 46.61944103038024 46.6514564987386 53.29254510300263 53.45894792939861 80.779350602529 100.1211560385218 105.96432186027899 109.7127767884639 120.76629186731505 124.89085639322118 128.6214525670477 132.39796762702477 134.34674074339577 134.97182639130665 146.2235118909473 147.05792268687625 153.34086944147245 153.62216719005397 153.83759703546463 154.16352234223416 155.31735786202972 160.68886709506793 164.6017393906723 167.44348888555754 168.69056202636975 171.4779036804372 171.478123543755 178.46519664198507 179.78312651791703 183.196948663332 183.50925656867568 192.6163844861771 193.3735842007687 194.0428146670845 194.84391060147186 196.27849925696523 197.88150918167895
7.24/7.41 c
7.24/7.41 c 1.0 0.8653630669321749 0.8503950990563856 0.8196647948426276 0.8195538946886683 0.7971804967662988 0.7966355732528951 0.7162513642299044 0.6684962450328914 0.6552971560918467 0.6471007965750355 0.6240825176596511 0.6159073996641579 0.6086954578840759 0.6015647580308858 0.5979501009882839 0.5967998525109895 0.5768265436698515 0.57539846432168 0.5648682376053902 0.5644057891216553 0.5640521379771057 0.5635179383667938 0.5616348781484939 0.5530317000901808 0.5469288177670982 0.5425803212592478 0.5406937820841916 0.5365242299455643 0.5365239035910069 0.5263493137166925 0.524473247369379 0.5196753074853682 0.5192407549174607 0.5068808652208702 0.5058796624396413 0.504998063365849 0.5039467857711148 0.5020750729272039 0.5
7.24/7.42 c
7.24/7.42 c solver 0
7.24/7.42 c before 0.0 seconds: {} 0
7.24/7.42 c before 18.0 seconds: {3, 4, 5, 6, 9, 12, 15, 17, 27, 28, 29, 32, 34, 36, 37, 38, 39} 10330
7.24/7.42 c before 36.0 seconds: {3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 27, 28, 29, 32, 34, 36, 37, 38, 39} 11595
7.24/7.42 c before 54.0 seconds: {3, 4, 5, 6, 7, 8, 9, 12, 15, 16, 17, 27, 28, 29, 32, 34, 36, 37, 38, 39} 12311
7.24/7.43 c before 144.0 seconds: {3, 4, 5, 6, 7, 8, 9, 12, 15, 16, 17, 27, 28, 29, 32, 33, 34, 35, 36, 37, 38, 39} 13337
7.24/7.43 c before 180.0 seconds: {3, 4, 5, 6, 7, 8, 9, 12, 15, 16, 17, 18, 27, 28, 29, 32, 33, 34, 35, 36, 37, 38, 39} 13912
7.24/7.43 c before 216.0 seconds: {3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 16, 17, 18, 27, 28, 29, 32, 33, 34, 35, 36, 37, 38, 39} 14521
7.24/7.43 c before 324.0 seconds: {3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 16, 17, 18, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15047
7.24/7.43 c before 396.0 seconds: {3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 16, 17, 18, 20, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15611
7.24/7.43 c before 450.0 seconds: {3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 16, 17, 18, 20, 23, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 16173
7.24/7.43 c before 864.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 16, 17, 18, 20, 23, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 17038
7.24/7.43 c before 1026.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 20, 23, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 17685
7.24/7.43 c before 1242.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 20, 21, 23, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18250
7.24/7.43 c before 1350.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 20, 21, 23, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18803
7.24/7.43 c
7.24/7.43 c solver 1
7.24/7.43 c before 0.0 seconds: {} 0
7.24/7.43 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19110
7.24/7.43 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21872
7.24/7.43 c before 54.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, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22437
7.24/7.43 c before 252.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, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22999
7.24/7.43 c
7.24/7.43 c solver 2
7.24/7.43 c before 0.0 seconds: {} 0
7.24/7.43 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 9, 10, 12, 13, 17, 18, 19, 20, 22, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 16673
7.24/7.43 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 9, 10, 12, 13, 15, 17, 18, 19, 20, 21, 22, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18388
7.24/7.43 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 24, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 19653
7.24/7.43 c before 486.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 20196
7.24/7.43 c
7.24/7.43 cTotal time: 116
7.24/7.43 c run abscon for 1242.0 seconds {1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 18, 20, 21, 23, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18250
7.24/7.43 c run mistral for 54.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, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22437
7.24/7.43 c run choco for 486.0 seconds {0, 1, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 20196
7.24/7.43 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.24/7.43 c On Instance: HOME/instance-1063594-1215138129.xml
7.24/7.43 c Running for: 1242 seconds
1249.41/1255.64 c Starting solver: HOME/cpHydra_k_40/solver/mistral
1249.41/1255.64 c On Instance: HOME/instance-1063594-1215138129.xml
1249.41/1255.64 c Running for: 54 seconds
1254.49/1260.80 c mistral-prime version 1.313
1254.49/1260.80 s SATISFIABLE
1254.49/1260.80 v 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 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 1 0 1 1 0 1 1 1 0 0 1 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 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 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 0 0 0 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 1 1 0 0 0 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 1 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 1 1 1 0 1 1 0 1 1 1 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 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 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 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 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
1254.49/1260.80 d CHECKS 11010141
1254.49/1260.80 d ASSIGNMENTS 7661