. sarge-etch-lenny
| problem n | aptget | aptitude | cupt | mpm | smart |
|---|---|---|---|---|---|
| 1 |
ABORT Output|Trace |
Removed : -37 Changed : -171 Time: 20.6293 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 13.5608 Output|Trace |
TIMEOUT Output|Trace |
| 2 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -43 Time: 14.6089 Output|Trace |
TIMEOUT Output|Trace |
| 3 |
Removed : -81 Changed : -227 Time: 0.956059 Output|Trace |
Removed : -81 Changed : -95 Time: 2.36815 Output|Trace |
Removed : -1 Changed : -21 Time: 0.48403 Output|Trace |
Removed : 0 Changed : -12 Time: 14.0289 Output|Trace |
TIMEOUT Output|Trace |
| 4 |
Removed : -82 Changed : -272 Time: 1.05206 Output|Trace |
Removed : -81 Changed : -165 Time: 2.42815 Output|Trace |
Removed : 0 Changed : -8 Time: 0.480029 Output|Trace |
Removed : 0 Changed : -8 Time: 13.9529 Output|Trace |
TIMEOUT Output|Trace |
| 5 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 13.9249 Output|Trace |
TIMEOUT Output|Trace |
| 6 |
Removed : -288 Changed : -493 Time: 1.16807 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -16 Time: 14.0969 Output|Trace |
TIMEOUT Output|Trace |
| 7 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -18 Time: 13.7889 Output|Trace |
TIMEOUT Output|Trace |
| 8 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -23 Time: 13.7489 Output|Trace |
TIMEOUT Output|Trace |
| 9 |
Removed : -82 Changed : -244 Time: 1.00006 Output|Trace |
Removed : -82 Changed : -120 Time: 2.24814 Output|Trace |
Removed : -1 Changed : -33 Time: 0.488029 Output|Trace |
Removed : 0 Changed : -14 Time: 13.6969 Output|Trace |
TIMEOUT Output|Trace |
| 10 |
Removed : -81 Changed : -224 Time: 1.00006 Output|Trace |
Removed : -81 Changed : -94 Time: 2.26014 Output|Trace |
Removed : -1 Changed : -27 Time: 0.484029 Output|Trace |
Removed : 0 Changed : -8 Time: 13.1768 Output|Trace |
TIMEOUT Output|Trace |
| 11 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 13.4488 Output|Trace |
TIMEOUT Output|Trace |
| 12 |
Removed : -406 Changed : -689 Time: 1.46409 Output|Trace |
Removed : -9 Changed : -57 Time: 7.60448 Output|Trace |
Removed : -1 Changed : -17 Time: 0.48803 Output|Trace |
Removed : 0 Changed : -6 Time: 13.6249 Output|Trace |
TIMEOUT Output|Trace |
| 13 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 13.7449 Output|Trace |
TIMEOUT Output|Trace |
| 14 |
Removed : -81 Changed : -222 Time: 0.944058 Output|Trace |
Removed : -81 Changed : -94 Time: 2.38815 Output|Trace |
Removed : -1 Changed : -23 Time: 0.468028 Output|Trace |
Removed : 0 Changed : -7 Time: 13.3328 Output|Trace |
TIMEOUT Output|Trace |
| 15 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -4 Changed : -16 Time: 13.6729 Output|Trace |
TIMEOUT Output|Trace |
| 16 |
Removed : -81 Changed : -223 Time: 0.948059 Output|Trace |
Removed : -81 Changed : -91 Time: 2.20014 Output|Trace |
Removed : -1 Changed : -14 Time: 0.48403 Output|Trace |
Removed : 0 Changed : -6 Time: 13.9249 Output|Trace |
TIMEOUT Output|Trace |
| 17 |
Removed : -288 Changed : -502 Time: 1.17607 Output|Trace |
Removed : -81 Changed : -159 Time: 2.27214 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -15 Time: 13.7129 Output|Trace |
TIMEOUT Output|Trace |
| 18 |
Removed : -82 Changed : -236 Time: 0.97606 Output|Trace |
Removed : -82 Changed : -124 Time: 2.28414 Output|Trace |
Removed : -1 Changed : -32 Time: 0.48803 Output|Trace |
Removed : 0 Changed : -12 Time: 13.3448 Output|Trace |
TIMEOUT Output|Trace |
| 19 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : 0 Changed : -7 Time: 13.2048 Output|Trace |
TIMEOUT Output|Trace |
| 20 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : 0 Changed : -18 Time: 13.7129 Output|Trace |
TIMEOUT Output|Trace |
| 21 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -25 Time: 14.5609 Output|Trace |
TIMEOUT Output|Trace |
| 22 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 13.4368 Output|Trace |
ABORT Output|Trace |
| 23 |
ABORT Output|Trace |
Removed : -19 Changed : -122 Time: 26.6617 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -6 Time: 13.3248 Output|Trace |
TIMEOUT Output|Trace |
| 24 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -22 Time: 0.484029 Output|Trace |
Removed : 0 Changed : -12 Time: 13.4768 Output|Trace |
TIMEOUT Output|Trace |
| 25 |
Removed : -289 Changed : -506 Time: 1.18407 Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -9 Time: 0.476029 Output|Trace |
Removed : 0 Changed : -9 Time: 13.3768 Output|Trace |
TIMEOUT Output|Trace |
| 26 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 13.4288 Output|Trace |
TIMEOUT Output|Trace |
| 27 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 13.4648 Output|Trace |
TIMEOUT Output|Trace |
| 28 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -24 Time: 13.5608 Output|Trace |
ABORT Output|Trace |
| 29 |
Removed : -411 Changed : -724 Time: 1.5601 Output|Trace |
Removed : -25 Changed : -214 Time: 33.5701 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -15 Time: 13.8089 Output|Trace |
TIMEOUT Output|Trace |
| 30 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 14.2009 Output|Trace |
TIMEOUT Output|Trace |
| 31 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 14.0049 Output|Trace |
TIMEOUT Output|Trace |
| 32 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -6 Time: 14.0209 Output|Trace |
TIMEOUT Output|Trace |
| 33 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -1 Changed : -20 Time: 0.480029 Output|Trace |
Removed : 0 Changed : -8 Time: 13.9729 Output|Trace |
TIMEOUT Output|Trace |
| 34 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -17 Time: 14.1569 Output|Trace |
TIMEOUT Output|Trace |
| 35 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -17 Time: 13.9689 Output|Trace |
TIMEOUT Output|Trace |
| 36 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -20 Time: 14.5689 Output|Trace |
TIMEOUT Output|Trace |
| 37 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -22 Time: 14.2609 Output|Trace |
TIMEOUT Output|Trace |
| 38 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 14.1729 Output|Trace |
TIMEOUT Output|Trace |
| 39 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 13.9089 Output|Trace |
TIMEOUT Output|Trace |
| 40 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -14 Time: 14.1769 Output|Trace |
TIMEOUT Output|Trace |
| 41 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 14.2009 Output|Trace |
TIMEOUT Output|Trace |
| 42 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -1 Changed : -21 Time: 0.468028 Output|Trace |
Removed : 0 Changed : -9 Time: 13.8529 Output|Trace |
TIMEOUT Output|Trace |
| 43 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -9 Time: 14.0969 Output|Trace |
TIMEOUT Output|Trace |
| 44 |
Removed : -82 Changed : -242 Time: 0.98006 Output|Trace |
Removed : -82 Changed : -123 Time: 2.31614 Output|Trace |
Removed : -1 Changed : -46 Time: 0.48003 Output|Trace |
Removed : 0 Changed : -22 Time: 13.9249 Output|Trace |
TIMEOUT Output|Trace |
| 45 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 13.9969 Output|Trace |
TIMEOUT Output|Trace |
| 46 |
Removed : -290 Changed : -523 Time: 1.21607 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 13.8369 Output|Trace |
TIMEOUT Output|Trace |
| 47 |
Removed : -81 Changed : -232 Time: 1.01606 Output|Trace |
Removed : -81 Changed : -109 Time: 2.18814 Output|Trace |
Removed : -1 Changed : -40 Time: 0.468028 Output|Trace |
Removed : 0 Changed : -9 Time: 13.9049 Output|Trace |
TIMEOUT Output|Trace |
| 48 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 14.1009 Output|Trace |
TIMEOUT Output|Trace |
| 49 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -4 Changed : -17 Time: 14.0689 Output|Trace |
TIMEOUT Output|Trace |
| 50 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 14.1609 Output|Trace |
TIMEOUT Output|Trace |
| 51 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 13.9449 Output|Trace |
TIMEOUT Output|Trace |
| 52 |
Removed : -382 Changed : -758 Time: 1.5881 Output|Trace |
Removed : -30 Changed : -110 Time: 2.23214 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -39 Time: 14.4529 Output|Trace |
TIMEOUT Output|Trace |
| 53 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -22 Time: 14.1649 Output|Trace |
TIMEOUT Output|Trace |
| 54 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 13.9489 Output|Trace |
TIMEOUT Output|Trace |
| 55 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -1 Changed : -41 Time: 0.48803 Output|Trace |
Removed : 0 Changed : -15 Time: 14.1689 Output|Trace |
TIMEOUT Output|Trace |
| 56 |
Removed : 0 Changed : -10 Time: 0.396024 Output|Trace |
Removed : 0 Changed : -10 Time: 0.588036 Output|Trace |
Removed : 0 Changed : -10 Time: 0.460028 Output|Trace |
Removed : 0 Changed : -10 Time: 14.0289 Output|Trace |
Removed : 0 Changed : -10 Time: 3.45622 Output|Trace |
| 57 |
Removed : -82 Changed : -234 Time: 0.96006 Output|Trace |
Removed : -82 Changed : -104 Time: 2.18814 Output|Trace |
Removed : -1 Changed : -24 Time: 0.464028 Output|Trace |
Removed : 0 Changed : -15 Time: 13.7969 Output|Trace |
TIMEOUT Output|Trace |
| 58 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -12 Time: 14.3809 Output|Trace |
TIMEOUT Output|Trace |
| 59 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -32 Time: 14.1969 Output|Trace |
TIMEOUT Output|Trace |
| 60 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -4 Changed : -13 Time: 14.2289 Output|Trace |
TIMEOUT Output|Trace |
| 61 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 14.8809 Output|Trace |
TIMEOUT Output|Trace |
| 62 |
ABORT Output|Trace |
Removed : -9 Changed : -113 Time: 10.4767 Output|Trace |
Removed : 0 Changed : -29 Time: 0.468028 Output|Trace |
Removed : 0 Changed : -23 Time: 14.1049 Output|Trace |
TIMEOUT Output|Trace |
| 63 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : 0 Changed : -12 Time: 14.5849 Output|Trace |
TIMEOUT Output|Trace |
| 64 |
Removed : -404 Changed : -681 Time: 1.48009 Output|Trace |
Removed : -87 Changed : -101 Time: 2.14413 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 13.9009 Output|Trace |
TIMEOUT Output|Trace |
| 65 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -23 Time: 14.2849 Output|Trace |
TIMEOUT Output|Trace |
| 66 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -1 Changed : -58 Time: 0.480029 Output|Trace |
Removed : 0 Changed : -43 Time: 14.0929 Output|Trace |
TIMEOUT Output|Trace |
| 67 |
Removed : -81 Changed : -233 Time: 0.956059 Output|Trace |
Removed : -81 Changed : -101 Time: 2.28814 Output|Trace |
Removed : -1 Changed : -27 Time: 0.472029 Output|Trace |
Removed : 0 Changed : -4 Time: 13.8809 Output|Trace |
TIMEOUT Output|Trace |
| 68 |
Removed : -407 Changed : -706 Time: 1.49209 Output|Trace |
Removed : -9 Changed : -100 Time: 10.4927 Output|Trace |
Removed : -1 Changed : -34 Time: 0.49203 Output|Trace |
Removed : 0 Changed : -16 Time: 14.0569 Output|Trace |
TIMEOUT Output|Trace |
| 69 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -26 Time: 14.2249 Output|Trace |
TIMEOUT Output|Trace |
| 70 |
Removed : -406 Changed : -702 Time: 1.48809 Output|Trace |
Removed : -9 Changed : -72 Time: 7.40846 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -18 Time: 14.1009 Output|Trace |
TIMEOUT Output|Trace |
| 71 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -16 Time: 13.9249 Output|Trace |
TIMEOUT Output|Trace |
| 72 |
Removed : -81 Changed : -222 Time: 0.952058 Output|Trace |
Removed : -81 Changed : -90 Time: 2.30014 Output|Trace |
Removed : 0 Changed : -11 Time: 0.460028 Output|Trace |
Removed : 0 Changed : -6 Time: 13.8609 Output|Trace |
TIMEOUT Output|Trace |
| 73 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 13.9649 Output|Trace |
TIMEOUT Output|Trace |
| 74 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : 0 Changed : -7 Time: 13.8809 Output|Trace |
TIMEOUT Output|Trace |
| 75 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -10 Time: 0.468028 Output|Trace |
Removed : 0 Changed : -10 Time: 14.6329 Output|Trace |
TIMEOUT Output|Trace |
| 76 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -1 Changed : -107 Time: 0.48803 Output|Trace |
Removed : 0 Changed : -24 Time: 14.2009 Output|Trace |
TIMEOUT Output|Trace |
| 77 |
Removed : -81 Changed : -227 Time: 0.952059 Output|Trace |
Removed : -81 Changed : -106 Time: 2.21614 Output|Trace |
Removed : -1 Changed : -42 Time: 0.476029 Output|Trace |
Removed : 0 Changed : -8 Time: 14.2929 Output|Trace |
TIMEOUT Output|Trace |
| 78 |
Removed : -410 Changed : -719 Time: 1.52009 Output|Trace |
Removed : -1 Changed : -122 Time: 6.93243 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -18 Time: 14.2129 Output|Trace |
TIMEOUT Output|Trace |
| 79 |
Removed : -324 Changed : -545 Time: 1.31608 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 13.9809 Output|Trace |
TIMEOUT Output|Trace |
| 80 |
Removed : -407 Changed : -694 Time: 1.47609 Output|Trace |
Removed : -9 Changed : -69 Time: 10.1846 Output|Trace |
Removed : -1 Changed : -30 Time: 0.476029 Output|Trace |
Removed : 0 Changed : -11 Time: 14.1769 Output|Trace |
TIMEOUT Output|Trace |
| 81 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -16 Time: 14.0809 Output|Trace |
TIMEOUT Output|Trace |
| 82 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -1 Changed : -53 Time: 0.472029 Output|Trace |
Removed : 0 Changed : -25 Time: 14.8489 Output|Trace |
TIMEOUT Output|Trace |
| 83 |
Removed : -408 Changed : -706 Time: 1.49609 Output|Trace |
Removed : -9 Changed : -115 Time: 10.2966 Output|Trace |
Removed : 0 Changed : -13 Time: 0.464028 Output|Trace |
Removed : 0 Changed : -13 Time: 14.0249 Output|Trace |
TIMEOUT Output|Trace |
| 84 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -26 Time: 14.1409 Output|Trace |
TIMEOUT Output|Trace |
| 85 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : 0 Changed : -6 Time: 13.9369 Output|Trace |
TIMEOUT Output|Trace |
| 86 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 14.1489 Output|Trace |
TIMEOUT Output|Trace |
| 87 |
Removed : -82 Changed : -235 Time: 0.97206 Output|Trace |
Removed : -82 Changed : -120 Time: 2.32815 Output|Trace |
Removed : -1 Changed : -29 Time: 0.472028 Output|Trace |
Removed : 0 Changed : -9 Time: 14.7209 Output|Trace |
TIMEOUT Output|Trace |
| 88 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -27 Time: 13.9489 Output|Trace |
TIMEOUT Output|Trace |
| 89 |
Removed : -406 Changed : -707 Time: 1.50809 Output|Trace |
Removed : -9 Changed : -96 Time: 7.15645 Output|Trace |
Removed : -1 Changed : -68 Time: 0.544033 Output|Trace |
Removed : 0 Changed : -15 Time: 14.2249 Output|Trace |
TIMEOUT Output|Trace |
| 90 |
Removed : -82 Changed : -230 Time: 0.956059 Output|Trace |
Removed : -82 Changed : -99 Time: 2.20014 Output|Trace |
Removed : -1 Changed : -24 Time: 0.472029 Output|Trace |
Removed : 0 Changed : -10 Time: 13.8649 Output|Trace |
TIMEOUT Output|Trace |
| 91 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 14.0329 Output|Trace |
TIMEOUT Output|Trace |
| 92 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -27 Time: 13.9049 Output|Trace |
ABORT Output|Trace |
| 93 |
Removed : -406 Changed : -706 Time: 1.50009 Output|Trace |
Removed : -9 Changed : -94 Time: 6.02438 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 14.1129 Output|Trace |
TIMEOUT Output|Trace |
| 94 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -25 Time: 14.3689 Output|Trace |
TIMEOUT Output|Trace |
| 95 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 13.8689 Output|Trace |
TIMEOUT Output|Trace |
| 96 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -28 Time: 14.3809 Output|Trace |
TIMEOUT Output|Trace |
| 97 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -33 Time: 14.2169 Output|Trace |
TIMEOUT Output|Trace |
| 98 |
Removed : -81 Changed : -224 Time: 0.960059 Output|Trace |
Removed : -81 Changed : -94 Time: 2.18414 Output|Trace |
Removed : -1 Changed : -21 Time: 0.452027 Output|Trace |
Removed : 0 Changed : -6 Time: 13.8329 Output|Trace |
TIMEOUT Output|Trace |
| 99 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 13.9049 Output|Trace |
TIMEOUT Output|Trace |
| 100 |
Removed : -81 Changed : -232 Time: 0.960059 Output|Trace |
Removed : -81 Changed : -105 Time: 2.24814 Output|Trace |
Removed : -1 Changed : -24 Time: 0.472029 Output|Trace |
Removed : 0 Changed : -9 Time: 14.1809 Output|Trace |
TIMEOUT Output|Trace |
| 101 |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 102 |
Removed : -405 Changed : -714 Time: 1.52009 Output|Trace |
Removed : -20 Changed : -20 Time: 2.80418 Output|Trace |
ABORT Output|Trace |
Removed : -19 Changed : -20 Time: 13.4648 Output|Trace |
TIMEOUT Output|Trace |
| 103 |
Removed : -497 Changed : -727 Time: 1.5841 Output|Trace |
Removed : -458 Changed : -458 Time: 3.97625 Output|Trace |
ABORT Output|Trace |
Removed : -432 Changed : -500 Time: 16.8291 Output|Trace |
TIMEOUT Output|Trace |
| 104 |
Removed : -409 Changed : -705 Time: 1.52409 Output|Trace |
Removed : -45 Changed : -45 Time: 2.38015 Output|Trace |
ABORT Output|Trace |
Removed : -45 Changed : -45 Time: 13.8529 Output|Trace |
TIMEOUT Output|Trace |
| 105 |
Removed : -409 Changed : -654 Time: 1.41609 Output|Trace |
Removed : -590 Changed : -590 Time: 5.15632 Output|Trace |
ABORT Output|Trace |
Removed : -76 Changed : -81 Time: 14.2249 Output|Trace |
TIMEOUT Output|Trace |
| 106 |
Removed : -443 Changed : -682 Time: 1.48009 Output|Trace |
Removed : -406 Changed : -406 Time: 3.66823 Output|Trace |
ABORT Output|Trace |
Removed : -379 Changed : -472 Time: 16.429 Output|Trace |
TIMEOUT Output|Trace |
| 107 |
Removed : -411 Changed : -726 Time: 1.5521 Output|Trace |
Removed : -22 Changed : -22 Time: 2.64817 Output|Trace |
ABORT Output|Trace |
Removed : -21 Changed : -36 Time: 13.7769 Output|Trace |
TIMEOUT Output|Trace |
| 108 |
Removed : -408 Changed : -713 Time: 1.53209 Output|Trace |
Removed : -18 Changed : -18 Time: 2.73217 Output|Trace |
ABORT Output|Trace |
Removed : -16 Changed : -17 Time: 13.3728 Output|Trace |
TIMEOUT Output|Trace |
| 109 |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 110 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 111 |
Removed : -412 Changed : -705 Time: 1.51609 Output|Trace |
Removed : -31 Changed : -31 Time: 2.38815 Output|Trace |
ABORT Output|Trace |
Removed : -29 Changed : -69 Time: 13.9289 Output|Trace |
TIMEOUT Output|Trace |
| 112 |
Removed : -322 Changed : -518 Time: 1.18007 Output|Trace |
Removed : -27 Changed : -27 Time: 2.22414 Output|Trace |
ABORT Output|Trace |
Removed : -16 Changed : -20 Time: 13.4608 Output|Trace |
TIMEOUT Output|Trace |
| 113 |
Removed : -406 Changed : -702 Time: 1.51209 Output|Trace |
Removed : -27 Changed : -27 Time: 2.51216 Output|Trace |
ABORT Output|Trace |
Removed : -19 Changed : -23 Time: 13.5168 Output|Trace |
TIMEOUT Output|Trace |
| 114 |
Removed : -405 Changed : -702 Time: 1.48809 Output|Trace |
Removed : -40 Changed : -40 Time: 2.38815 Output|Trace |
ABORT Output|Trace |
Removed : -40 Changed : -40 Time: 14.0569 Output|Trace |
TIMEOUT Output|Trace |
| 115 |
Removed : -399 Changed : -659 Time: 1.45609 Output|Trace |
Removed : -38 Changed : -38 Time: 2.51216 Output|Trace |
ABORT Output|Trace |
Removed : -38 Changed : -38 Time: 13.5848 Output|Trace |
TIMEOUT Output|Trace |
| 116 |
Removed : -425 Changed : -709 Time: 1.46809 Output|Trace |
Removed : -278 Changed : -278 Time: 3.1322 Output|Trace |
ABORT Output|Trace |
Removed : -276 Changed : -279 Time: 15.409 Output|Trace |
TIMEOUT Output|Trace |
| 117 |
Removed : -326 Changed : -499 Time: 1.16807 Output|Trace |
Removed : -22 Changed : -22 Time: 1.98812 Output|Trace |
ABORT Output|Trace |
Removed : -22 Changed : -22 Time: 13.4048 Output|Trace |
TIMEOUT Output|Trace |
| 118 |
Removed : -327 Changed : -513 Time: 1.19607 Output|Trace |
Removed : -261 Changed : -261 Time: 3.10819 Output|Trace |
ABORT Output|Trace |
Removed : -65 Changed : -925 Time: 20.9373 Output|Trace |
TIMEOUT Output|Trace |
| 119 |
Removed : -289 Changed : -491 Time: 1.18807 Output|Trace |
Removed : -18 Changed : -25 Time: 2.58416 Output|Trace |
ABORT Output|Trace |
Removed : -17 Changed : -22 Time: 13.5288 Output|Trace |
TIMEOUT Output|Trace |
| 120 |
Removed : -475 Changed : -817 Time: 1.85611 Output|Trace |
Removed : -154 Changed : -154 Time: 3.89224 Output|Trace |
ABORT Output|Trace |
Removed : -126 Changed : -219 Time: 14.9169 Output|Trace |
TIMEOUT Output|Trace |
| 121 |
Removed : -458 Changed : -701 Time: 1.72411 Output|Trace |
Removed : -422 Changed : -422 Time: 4.37227 Output|Trace |
ABORT Output|Trace |
Removed : -394 Changed : -466 Time: 16.089 Output|Trace |
TIMEOUT Output|Trace |
| 122 |
Removed : -321 Changed : -539 Time: 1.24008 Output|Trace |
Removed : -12 Changed : -12 Time: 2.33215 Output|Trace |
ABORT Output|Trace |
Removed : -12 Changed : -12 Time: 13.3048 Output|Trace |
TIMEOUT Output|Trace |
| 123 |
Removed : -449 Changed : -692 Time: 1.6481 Output|Trace |
Removed : -413 Changed : -413 Time: 3.80824 Output|Trace |
ABORT Output|Trace |
Removed : -384 Changed : -457 Time: 16.053 Output|Trace |
TIMEOUT Output|Trace |
| 124 |
Removed : -410 Changed : -623 Time: 1.39609 Output|Trace |
Removed : -337 Changed : -337 Time: 4.01225 Output|Trace |
ABORT Output|Trace |
Removed : -334 Changed : -339 Time: 15.325 Output|Trace |
TIMEOUT Output|Trace |
| 125 |
Removed : -413 Changed : -730 Time: 1.6561 Output|Trace |
Removed : -269 Changed : -269 Time: 3.83624 Output|Trace |
ABORT Output|Trace |
Removed : -27 Changed : -70 Time: 13.8249 Output|Trace |
TIMEOUT Output|Trace |
| 126 |
Removed : -407 Changed : -692 Time: 1.49609 Output|Trace |
Removed : -264 Changed : -264 Time: 3.02019 Output|Trace |
ABORT Output|Trace |
Removed : -262 Changed : -276 Time: 15.0529 Output|Trace |
TIMEOUT Output|Trace |
| 127 |
Removed : -408 Changed : -718 Time: 1.5521 Output|Trace |
Removed : -18 Changed : -18 Time: 2.69617 Output|Trace |
ABORT Output|Trace |
Removed : -16 Changed : -31 Time: 13.5048 Output|Trace |
TIMEOUT Output|Trace |
| 128 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 129 |
Removed : -187 Changed : -468 Time: 1.40809 Output|Trace |
Removed : -33 Changed : -33 Time: 2.11613 Output|Trace |
ABORT Output|Trace |
Removed : -28 Changed : -61 Time: 13.5928 Output|Trace |
TIMEOUT Output|Trace |
| 130 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 131 |
Removed : -489 Changed : -686 Time: 1.48809 Output|Trace |
Removed : -429 Changed : -429 Time: 3.72023 Output|Trace |
ABORT Output|Trace |
Removed : -423 Changed : -460 Time: 16.117 Output|Trace |
TIMEOUT Output|Trace |
| 132 |
Removed : -462 Changed : -706 Time: 1.6521 Output|Trace |
Removed : -425 Changed : -425 Time: 3.74823 Output|Trace |
ABORT Output|Trace |
Removed : -395 Changed : -470 Time: 16.137 Output|Trace |
TIMEOUT Output|Trace |
| 133 |
Removed : -430 Changed : -784 Time: 1.6481 Output|Trace |
Removed : -279 Changed : -279 Time: 2.86018 Output|Trace |
ABORT Output|Trace |
Removed : -279 Changed : -279 Time: 15.1009 Output|Trace |
TIMEOUT Output|Trace |
| 134 |
Removed : -431 Changed : -749 Time: 1.95212 Output|Trace |
Removed : -305 Changed : -305 Time: 3.52022 Output|Trace |
ABORT Output|Trace |
Removed : -294 Changed : -297 Time: 15.1609 Output|Trace |
TIMEOUT Output|Trace |
| 135 |
Removed : -454 Changed : -671 Time: 1.6681 Output|Trace |
Removed : -420 Changed : -420 Time: 4.26827 Output|Trace |
ABORT Output|Trace |
Removed : -392 Changed : -464 Time: 16.161 Output|Trace |
TIMEOUT Output|Trace |
| 136 |
Removed : -413 Changed : -717 Time: 1.6081 Output|Trace |
Removed : -19 Changed : -19 Time: 2.82418 Output|Trace |
ABORT Output|Trace |
Removed : -19 Changed : -19 Time: 13.4288 Output|Trace |
TIMEOUT Output|Trace |
| 137 |
Removed : -419 Changed : -689 Time: 1.5961 Output|Trace |
Removed : -337 Changed : -337 Time: 3.51222 Output|Trace |
ABORT Output|Trace |
Removed : -332 Changed : -626 Time: 17.4571 Output|Trace |
TIMEOUT Output|Trace |
| 138 |
Removed : -452 Changed : -697 Time: 1.87612 Output|Trace |
Removed : -404 Changed : -404 Time: 3.38421 Output|Trace |
ABORT Output|Trace |
Removed : -377 Changed : -498 Time: 16.421 Output|Trace |
TIMEOUT Output|Trace |
| 139 |
Removed : -404 Changed : -692 Time: 1.52009 Output|Trace |
Removed : -34 Changed : -34 Time: 3.48822 Output|Trace |
ABORT Output|Trace |
Removed : -34 Changed : -34 Time: 13.5048 Output|Trace |
TIMEOUT Output|Trace |
| 140 |
Removed : -443 Changed : -704 Time: 1.88012 Output|Trace |
Removed : -423 Changed : -423 Time: 3.86424 Output|Trace |
ABORT Output|Trace |
Removed : -391 Changed : -616 Time: 17.1731 Output|Trace |
TIMEOUT Output|Trace |
| 141 |
Removed : -417 Changed : -729 Time: 1.5761 Output|Trace |
Removed : -27 Changed : -27 Time: 3.44822 Output|Trace |
ABORT Output|Trace |
Removed : -26 Changed : -28 Time: 13.4248 Output|Trace |
TIMEOUT Output|Trace |
| 142 |
Removed : -506 Changed : -700 Time: 1.5641 Output|Trace |
Removed : -456 Changed : -456 Time: 4.14026 Output|Trace |
ABORT Output|Trace |
Removed : -447 Changed : -494 Time: 16.341 Output|Trace |
TIMEOUT Output|Trace |
| 143 |
Removed : -477 Changed : -683 Time: 1.5921 Output|Trace |
Removed : -444 Changed : -444 Time: 4.8643 Output|Trace |
ABORT Output|Trace |
Removed : -416 Changed : -491 Time: 16.273 Output|Trace |
TIMEOUT Output|Trace |
| 144 |
Removed : -419 Changed : -687 Time: 1.49609 Output|Trace |
Removed : -340 Changed : -340 Time: 3.1322 Output|Trace |
TIMEOUT Output|Trace |
Removed : -275 Changed : -278 Time: 15.0649 Output|Trace |
TIMEOUT Output|Trace |
| 145 |
Removed : -466 Changed : -685 Time: 1.44409 Output|Trace |
Removed : -412 Changed : -412 Time: 3.67623 Output|Trace |
ABORT Output|Trace |
Removed : -192 Changed : -979 Time: 20.0653 Output|Trace |
TIMEOUT Output|Trace |
| 146 |
ABORT Output|Trace |
Removed : -475 Changed : -475 Time: 4.06025 Output|Trace |
ABORT Output|Trace |
Removed : -448 Changed : -518 Time: 16.413 Output|Trace |
TIMEOUT Output|Trace |
| 147 |
Removed : -458 Changed : -692 Time: 1.72411 Output|Trace |
Removed : -427 Changed : -427 Time: 4.09625 Output|Trace |
ABORT Output|Trace |
Removed : -396 Changed : -495 Time: 16.505 Output|Trace |
TIMEOUT Output|Trace |
| 148 |
Removed : -428 Changed : -726 Time: 1.6281 Output|Trace |
Removed : -54 Changed : -54 Time: 2.59616 Output|Trace |
ABORT Output|Trace |
Removed : -54 Changed : -54 Time: 13.6008 Output|Trace |
TIMEOUT Output|Trace |
| 149 |
Removed : -401 Changed : -730 Time: 1.5721 Output|Trace |
Removed : -41 Changed : -41 Time: 2.60416 Output|Trace |
ABORT Output|Trace |
Removed : -25 Changed : -79 Time: 14.0009 Output|Trace |
TIMEOUT Output|Trace |
| 150 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 151 |
Removed : -413 Changed : -707 Time: 1.5961 Output|Trace |
Removed : -35 Changed : -35 Time: 2.89618 Output|Trace |
ABORT Output|Trace |
Removed : -22 Changed : -25 Time: 13.4728 Output|Trace |
TIMEOUT Output|Trace |
| 152 |
Removed : -403 Changed : -677 Time: 1.44809 Output|Trace |
Removed : -30 Changed : -30 Time: 2.42415 Output|Trace |
ABORT Output|Trace |
Removed : -30 Changed : -30 Time: 13.4248 Output|Trace |
TIMEOUT Output|Trace |
| 153 |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 154 |
Removed : -412 Changed : -718 Time: 1.52009 Output|Trace |
Removed : -350 Changed : -350 Time: 3.80824 Output|Trace |
ABORT Output|Trace |
Removed : -56 Changed : -562 Time: 18.1051 Output|Trace |
TIMEOUT Output|Trace |
| 155 |
Removed : -413 Changed : -738 Time: 1.5481 Output|Trace |
Removed : -349 Changed : -349 Time: 3.32021 Output|Trace |
ABORT Output|Trace |
Removed : -66 Changed : -517 Time: 17.4051 Output|Trace |
TIMEOUT Output|Trace |
| 156 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 157 |
Removed : -416 Changed : -732 Time: 1.53609 Output|Trace |
Removed : -24 Changed : -24 Time: 2.14013 Output|Trace |
ABORT Output|Trace |
Removed : -24 Changed : -24 Time: 13.7529 Output|Trace |
TIMEOUT Output|Trace |
| 158 |
Removed : -418 Changed : -718 Time: 1.52009 Output|Trace |
Removed : -131 Changed : -131 Time: 3.1962 Output|Trace |
ABORT Output|Trace |
Removed : -43 Changed : -81 Time: 14.4529 Output|Trace |
TIMEOUT Output|Trace |
| 159 |
Removed : -323 Changed : -499 Time: 1.15607 Output|Trace |
Removed : -27 Changed : -27 Time: 2.42415 Output|Trace |
ABORT Output|Trace |
Removed : -27 Changed : -27 Time: 13.8529 Output|Trace |
TIMEOUT Output|Trace |
| 160 |
Removed : -383 Changed : -647 Time: 1.44409 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -52 Changed : -72 Time: 14.3809 Output|Trace |
TIMEOUT Output|Trace |
| 161 |
Removed : -516 Changed : -883 Time: 1.98012 Output|Trace |
Removed : -154 Changed : -154 Time: 2.67617 Output|Trace |
ABORT Output|Trace |
Removed : -125 Changed : -248 Time: 15.349 Output|Trace |
TIMEOUT Output|Trace |
| 162 |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |