0.00/0.00 c cpHydra_k_40 version 0.0
7.28/7.41 c CASE TO CLASSIFY:
7.28/7.41 c Case: 0
7.28/7.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 78.671300 | c 18 > 21.328700 | c 33 > -1.000000 | c 15 > 19.687100 | c 34 > -1.000000 | c 16 > 225.000000 | c 13 > 9.386860 | c 14 > 11.943200 | c 11 > 9.398740 | c 12 > 7.875380 | c 21 > 9.219540 | c 20 > 0.000000 | c 22 > 15.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 61.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > 100.000000 | c 3 > 9.398740 | c 2 > -1.000000 | c 10 > 14.956100 | 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 > 15.808100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.42 c choco : 1801.0
7.28/7.42 c mistral : 1801.0
7.28/7.42 c abscon : 1801.0
7.28/7.42 c
7.28/7.42 c
7.28/7.50 c List of same ones: 40
7.28/7.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas74.xml
7.39/7.50 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
7.39/7.50 c choco : 2.83
7.39/7.50 c mistral : 0.65
7.39/7.50 c abscon : 8.5807
7.39/7.50 c
7.39/7.50 c
7.39/7.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-mas76.xml
7.39/7.51 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
7.39/7.51 c choco : 2.67
7.39/7.51 c mistral : 0.58
7.39/7.51 c abscon : 8.38772
7.39/7.51 c
7.39/7.51 c
7.39/7.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mod008.xml
7.39/7.51 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
7.39/7.52 c choco : 2.44
7.39/7.52 c mistral : 0.44
7.39/7.52 c abscon : 1.3238
7.39/7.52 c
7.39/7.52 c
7.39/7.52 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mod008.xml
7.39/7.52 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
7.39/7.53 c choco : 2.41
7.39/7.53 c mistral : 0.4
7.39/7.53 c abscon : 1.3208
7.39/7.53 c
7.39/7.53 c
7.39/7.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
7.39/7.53 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
7.39/7.54 c choco : 11.35
7.39/7.54 c mistral : 6.16
7.39/7.54 c abscon : 1800.07
7.39/7.54 c
7.39/7.54 c
7.39/7.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-stocfor1.xml
7.39/7.54 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
7.39/7.55 c choco : 1801.0
7.39/7.55 c mistral : 18.05
7.39/7.55 c abscon : 1800.09
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/eomahony/cpZilla/CSP/xml/nengfa/queens2.xml
7.39/7.55 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.39/7.56 c choco : 7.96
7.39/7.56 c mistral : 0.043992
7.39/7.56 c abscon : 4.92825
7.39/7.56 c
7.39/7.56 c
7.39/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-4.xml
7.39/7.56 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.39/7.57 c choco : 1801.0
7.39/7.57 c mistral : 4.13
7.39/7.57 c abscon : 1800.06
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour1.xml
7.39/7.57 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
7.39/7.57 c choco : 1801.0
7.39/7.57 c mistral : 14.2628
7.39/7.57 c abscon : 40.6598
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e-am-pi.xml
7.39/7.57 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
7.39/7.58 c choco : 16.5
7.39/7.58 c mistral : 4.84
7.39/7.58 c abscon : 6.63899
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/apex4-a.xml
7.39/7.58 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.39/7.60 c choco : 24.35
7.39/7.60 c mistral : 3.62
7.39/7.60 c abscon : 12.2411
7.39/7.60 c
7.39/7.60 c
7.39/7.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml
7.39/7.60 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
7.46/7.61 c choco : 9.38
7.46/7.61 c mistral : 8.53
7.46/7.61 c abscon : 853.293
7.46/7.61 c
7.46/7.61 c
7.46/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/ex5-pi.xml
7.46/7.61 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.46/7.62 c choco : 10.89
7.46/7.62 c mistral : 4.98
7.46/7.62 c abscon : 7.27989
7.46/7.62 c
7.46/7.62 c
7.46/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ws97-5.xml
7.46/7.62 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.46/7.63 c choco : 1801.0
7.46/7.63 c mistral : 0.71
7.46/7.63 c abscon : 1800.1
7.46/7.63 c
7.46/7.63 c
7.46/7.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50a.xml
7.46/7.63 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.46/7.64 c choco : 3.95
7.46/7.64 c mistral : 1.4
7.46/7.64 c abscon : 385.752
7.46/7.64 c
7.46/7.64 c
7.46/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc50b.xml
7.46/7.64 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.46/7.64 c choco : 3.78
7.46/7.64 c mistral : 1.05
7.46/7.64 c abscon : 1800.08
7.46/7.64 c
7.46/7.64 c
7.46/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc105.xml
7.46/7.64 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.46/7.65 c choco : 24.54
7.46/7.65 c mistral : 2.61
7.46/7.65 c abscon : 1239.19
7.46/7.65 c
7.46/7.65 c
7.46/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-sc205.xml
7.46/7.65 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.46/7.66 c choco : 15.99
7.46/7.66 c mistral : 52.33
7.46/7.66 c abscon : 1800.11
7.46/7.66 c
7.46/7.66 c
7.46/7.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
7.46/7.66 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.46/7.66 c choco : 2.64
7.46/7.66 c mistral : 0.55
7.46/7.66 c abscon : 199.342
7.46/7.66 c
7.46/7.66 c
7.46/7.66 c /home/ehebrard/new_instances/competition_5c/data5/bibdVariousK/bibd-7-210-60-2-10_glb.xml
7.46/7.66 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.46/7.67 c choco : 1801.0
7.46/7.67 c mistral : 4.54
7.46/7.67 c abscon : 1801.0
7.46/7.67 c
7.46/7.67 c
7.46/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml
7.46/7.67 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.46/7.68 c choco : 2.19
7.46/7.68 c mistral : 0.37
7.46/7.68 c abscon : 175.226
7.46/7.68 c
7.46/7.68 c
7.46/7.68 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-50_ext.xml
7.46/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 10.259700 | c 34 > -1.000000 | c 16 > 50.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.643860 | c 12 > 5.643860 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.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 > 100.000000 | c 3 > 5.643860 | c 2 > -1.000000 | c 10 > 10.259700 | 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 > 11.258600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.69 c choco : 0.8
7.46/7.69 c mistral : 0.01
7.46/7.69 c abscon : 0.621905
7.46/7.69 c
7.46/7.69 c
7.46/7.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml
7.46/7.69 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.46/7.69 c choco : 3.04
7.46/7.69 c mistral : 0.9
7.46/7.69 c abscon : 1.9467
7.46/7.69 c
7.46/7.69 c
7.46/7.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
7.46/7.69 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.53/7.70 c choco : 1801.0
7.53/7.70 c mistral : 247.62
7.53/7.70 c abscon : 437.054
7.53/7.70 c
7.53/7.70 c
7.53/7.70 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-45_ext.xml
7.53/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.952740 | c 34 > -1.000000 | c 16 > 45.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.491850 | c 12 > 5.491850 | c 21 > 6.633250 | c 20 > 0.000000 | c 22 > 6.633250 | 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 > 100.000000 | c 3 > 5.491850 | c 2 > -1.000000 | c 10 > 9.952740 | 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 > 10.951300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.71 c choco : 0.8
7.53/7.71 c mistral : 0.01
7.53/7.71 c abscon : 0.6549
7.53/7.71 c
7.53/7.71 c
7.53/7.71 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml
7.53/7.71 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.986200 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.425030 | c 14 > 6.475730 | c 11 > 8.558420 | c 12 > 6.436070 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | 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 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.72 c choco : 19.11
7.53/7.72 c mistral : 25.16
7.53/7.72 c abscon : 28.99
7.53/7.72 c
7.53/7.72 c
7.53/7.72 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml
7.53/7.72 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.948800 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.038620 | c 14 > 6.303780 | c 11 > 8.558420 | c 12 > 6.049780 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | 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 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.72 c choco : 16.41
7.53/7.72 c mistral : 4.2
7.53/7.72 c abscon : 20.23
7.53/7.72 c
7.53/7.72 c
7.53/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2.xml
7.53/7.72 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.53/7.73 c choco : 1.89
7.53/7.73 c mistral : 0.2
7.53/7.73 c abscon : 137.014
7.53/7.73 c
7.53/7.73 c
7.53/7.73 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml
7.53/7.73 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
7.53/7.73 c choco : 1801.0
7.53/7.73 c mistral : 197.92
7.53/7.73 c abscon : 1801.0
7.53/7.73 c
7.53/7.73 c
7.53/7.73 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml
7.53/7.73 c 19 > 0.000000 | c 35 > 27.000000 | c 17 > 0.000000 | c 18 > 55.307300 | c 33 > 54.000000 | c 15 > 18.401000 | c 34 > 27.000000 | c 16 > 83.000000 | c 13 > 5.933720 | c 14 > 6.554590 | c 11 > 7.523560 | c 12 > 5.699080 | c 21 > 5.564910 | c 20 > 44.692700 | c 22 > 9.000000 | c 23 > 95.105800 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 18.181800 | c 3 > 7.179910 | c 2 > 3.169930 | c 10 > 9.529430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.169930 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.506600 | c 31 > 81.818200 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.74 c choco : 25.56
7.53/7.74 c mistral : 0.86
7.53/7.74 c abscon : 14.29
7.53/7.74 c
7.53/7.74 c
7.53/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/5xp1-b.xml
7.53/7.74 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.53/7.74 c choco : 6.4
7.53/7.74 c mistral : 2.56
7.53/7.74 c abscon : 3.13052
7.53/7.74 c
7.53/7.74 c
7.53/7.74 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-40_ext.xml
7.53/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.609180 | c 34 > -1.000000 | c 16 > 40.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.321930 | c 12 > 5.321930 | c 21 > 6.245000 | c 20 > 0.000000 | c 22 > 6.245000 | 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 > 100.000000 | c 3 > 5.321930 | c 2 > -1.000000 | c 10 > 9.609180 | 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 > 10.607300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.75 c choco : 0.79
7.53/7.75 c mistral : 0.01
7.53/7.75 c abscon : 0.662898
7.53/7.75 c
7.53/7.75 c
7.53/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos18.xml
7.53/7.75 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.53/7.75 c choco : 9.44
7.53/7.75 c mistral : 1.19
7.53/7.75 c abscon : 6.61899
7.53/7.75 c
7.53/7.75 c
7.53/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos16.xml
7.53/7.76 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.53/7.76 c choco : 5.46
7.53/7.76 c mistral : 1800.03
7.53/7.76 c abscon : 314.036
7.53/7.76 c
7.53/7.76 c
7.53/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1.xml
7.53/7.76 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.53/7.77 c choco : 1.74
7.53/7.77 c mistral : 0.13
7.53/7.77 c abscon : 130.51
7.53/7.77 c
7.53/7.77 c
7.53/7.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
7.53/7.77 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
7.53/7.78 c choco : 83.64
7.53/7.78 c mistral : 28.58
7.53/7.78 c abscon : 31.3522
7.53/7.78 c
7.53/7.78 c
7.53/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mitre.xml
7.53/7.78 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.53/7.78 c choco : 1801.0
7.53/7.78 c mistral : 3.9354
7.53/7.78 c abscon : 1800.1
7.53/7.78 c
7.53/7.78 c
7.53/7.78 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-35_ext.xml
7.53/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.219170 | c 34 > -1.000000 | c 16 > 35.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.129280 | c 12 > 5.129280 | c 21 > 5.830950 | c 20 > 0.000000 | c 22 > 5.830950 | 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 > 100.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 9.219170 | 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 > 10.216700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.53/7.79 c choco : 0.79
7.53/7.79 c mistral : 0.010997
7.53/7.79 c abscon : 0.605907
7.53/7.79 c
7.53/7.79 c
7.53/7.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc07.xml
7.53/7.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
7.53/7.79 c choco : 5.96
7.53/7.79 c mistral : 22.01
7.53/7.79 c abscon : 1008.63
7.53/7.79 c
7.53/7.79 c
7.53/7.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/count-b.xml
7.53/7.79 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.53/7.80 c choco : 4.36
7.53/7.80 c mistral : 0.934857
7.53/7.80 c abscon : 1.9607
7.53/7.80 c
7.53/7.80 c
7.60/7.81 c Length: 40
7.60/7.81 c 177.75721806786132 177.75787245987672 177.84093275626145 177.88581779211592 185.8714969549468 186.66848669968024 188.13149212725924 191.86040980858462 191.96059850590223 193.020108248527 194.13589920752807 198.17028817282676 198.19210985240483 199.10974702425068 206.11116890226302 206.36636236277536 206.59179795632716 206.98845424135766 207.60369300773482 212.7082487019735 215.07495275088024 217.33728270869773 219.07828306729493 221.2336517586773 221.4340539577201 222.16943403235717 222.18060790785952 222.89241560993537 223.92878011588704 224.02022346515636 224.44627643611403 225.57531181314747 226.1436465029917 228.44670281473336 229.0748830156778 229.27908453177088 229.41605601263743 229.7608876968254 230.92134214116072 231.49421835755317
7.60/7.81 c
7.60/7.81 c 1.0 0.99998782246789 0.9984445637997523 0.9976125816064185 0.8688098452435555 0.8577571450061381 0.8381833122999651 0.7921115592597329 0.7909434671118469 0.7787983419013882 0.7664048782558258 0.7247059915611859 0.72449278004003 0.715639062186507 0.6546032120941053 0.65257457481182 0.6507929262555965 0.6476816017842464 0.6429141662523727 0.6059103999711052 0.590161514453882 0.5758539483608645 0.5653071112508672 0.5527733985867282 0.5516362192188512 0.547503101303665 0.547440777473421 0.5434996032062219 0.5378618111633562 0.5373699723367587 0.5350902047517603 0.5291413572142777 0.5261965932860467 0.5145916792169761 0.5115146497131074 0.5105223146234685 0.5098588444274837 0.5081961399623304 0.50267946768477 0.5
7.60/7.82 c
7.60/7.82 c solver 0
7.60/7.82 c before 0.0 seconds: {} 0
7.60/7.82 c before 18.0 seconds: {0, 1, 2, 3, 6, 9, 10, 12, 21, 22, 24, 29, 30, 31, 32, 37, 39} 11932
7.60/7.82 c before 36.0 seconds: {0, 1, 2, 3, 6, 9, 10, 12, 21, 22, 24, 25, 26, 29, 30, 31, 32, 35, 37, 39} 13538
7.60/7.82 c before 54.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 12, 21, 22, 24, 25, 26, 29, 30, 31, 32, 35, 37, 39} 14329
7.60/7.82 c before 144.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 12, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 34, 35, 37, 39} 15384
7.60/7.82 c before 180.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 12, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 34, 35, 37, 39} 15974
7.60/7.82 c before 216.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 12, 18, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 34, 35, 37, 39} 16617
7.60/7.82 c before 324.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 12, 18, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 39} 17131
7.60/7.82 c before 396.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 12, 14, 18, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 39} 17786
7.60/7.82 c before 450.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 12, 14, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 39} 18339
7.60/7.82 c before 864.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 11, 12, 14, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 39} 19063
7.60/7.82 c before 1026.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 11, 12, 14, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 19566
7.60/7.82 c before 1242.0 seconds: {0, 1, 2, 3, 6, 8, 9, 10, 11, 12, 14, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 20217
7.60/7.82 c
7.60/7.82 c solver 1
7.60/7.82 c before 0.0 seconds: {} 0
7.60/7.82 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 24, 26, 27, 29, 30, 31, 32, 34, 36, 37, 39} 21734
7.60/7.82 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 24152
7.60/7.82 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, 24, 25, 26, 27, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 24800
7.60/7.82 c before 198.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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 25338
7.60/7.82 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, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 25890
7.60/7.82 c
7.60/7.82 c solver 2
7.60/7.82 c before 0.0 seconds: {} 0
7.60/7.82 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 9, 11, 12, 14, 15, 17, 18, 20, 21, 22, 24, 26, 27, 30, 31, 32, 33, 34, 37, 38, 39} 18030
7.60/7.82 c before 36.0 seconds: {0, 1, 2, 3, 4, 6, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 37, 38, 39} 20532
7.60/7.82 c before 90.0 seconds: {0, 1, 2, 3, 4, 6, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21042
7.60/7.82 c
7.60/7.82 cTotal time: 88
7.60/7.82 c 1584.0 seconds unused
7.60/7.82 c 0 c 1 c 2
7.60/7.82 c 9 c 0 c 8
7.60/7.82 c 3 c 1 c 0
7.60/7.82 c is solver0 dominated by:
7.60/7.82 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.60/7.82 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.60/7.82 c is dominated? false
7.60/7.82 c
7.60/7.82 c is solver1 dominated by:
7.60/7.82 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.60/7.82 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.60/7.82 c is dominated? false
7.60/7.82 c
7.60/7.82 c is solver2 dominated by:
7.60/7.82 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.60/7.82 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.60/7.82 c is dominated? false
7.60/7.82 c
7.60/7.82 c Number of non-dominated solvers: 3
7.60/7.82 c remove dominated solvers
7.60/7.82 c solver 0 is not dominated by another solver
7.60/7.82 c solver 1 is not dominated by another solver
7.60/7.82 c solver 2 is not dominated by another solver
7.60/7.83 c
7.60/7.83 c solver 0: 1242.0
7.60/7.83 c
7.60/7.83 c+ 69/88 of 12
7.60/7.83 c
7.60/7.83 c solver 1: 252.0
7.60/7.83 c
7.60/7.83 c+ 14/88 of 12
7.60/7.83 c
7.60/7.83 c solver 2: 90.0
7.60/7.83 c
7.60/7.83 c+ 5/88 of 12
7.60/7.83 c run abscon for 1404.0 seconds {0, 1, 2, 3, 6, 8, 9, 10, 11, 12, 14, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 20217
7.60/7.83 c run mistral for 270.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 25890
7.60/7.83 c run choco for 90.0 seconds {0, 1, 2, 3, 4, 6, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21042
7.60/7.83 c Starting solver: HOME/cpHydra_k_40/solver/abscon
7.60/7.83 c On Instance: HOME/instance-1046554-1215028670.xml
7.60/7.83 c Running for: 1404 seconds
1411.73/1412.53 c Starting solver: HOME/cpHydra_k_40/solver/mistral
1411.73/1412.53 c On Instance: HOME/instance-1046554-1215028670.xml
1411.73/1412.53 c Running for: 270 seconds
1681.68/1682.74 c Starting solver: HOME/cpHydra_k_40/solver/choco
1681.68/1682.74 c On Instance: HOME/instance-1046554-1215028670.xml
1681.68/1682.74 c Running for: 90 seconds