. sarge-etch
| problem n | aptget | aptitude | cupt | mpm | smart |
|---|---|---|---|---|---|
| 1 |
Removed : -96 Changed : -303 Time: 0.728045 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 8.10451 Output|Trace |
TIMEOUT Output|Trace |
| 2 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -43 Time: 8.59654 Output|Trace |
TIMEOUT Output|Trace |
| 3 |
Removed : 0 Changed : -17 Time: 0.316019 Output|Trace |
Removed : -81 Changed : -96 Time: 1.81211 Output|Trace |
Removed : 0 Changed : -18 Time: 0.352021 Output|Trace |
Removed : 0 Changed : -12 Time: 8.32052 Output|Trace |
TIMEOUT Output|Trace |
| 4 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -8 Time: 0.352021 Output|Trace |
Removed : 0 Changed : -8 Time: 8.34852 Output|Trace |
TIMEOUT Output|Trace |
| 5 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 8.30452 Output|Trace |
Removed : -47 Changed : -978 Time: 199.248 Output|Trace |
| 6 |
Removed : 0 Changed : -25 Time: 0.32802 Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -21 Time: 0.344021 Output|Trace |
Removed : 0 Changed : -16 Time: 8.24051 Output|Trace |
TIMEOUT Output|Trace |
| 7 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -18 Time: 8.70854 Output|Trace |
TIMEOUT Output|Trace |
| 8 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -23 Time: 8.28452 Output|Trace |
Removed : -45 Changed : -948 Time: 200.937 Output|Trace |
| 9 |
Removed : 0 Changed : -32 Time: 0.34402 Output|Trace |
Removed : -81 Changed : -109 Time: 1.5681 Output|Trace |
Removed : 0 Changed : -22 Time: 0.348021 Output|Trace |
Removed : 0 Changed : -14 Time: 8.15651 Output|Trace |
TIMEOUT Output|Trace |
| 10 |
Removed : 0 Changed : -13 Time: 0.312019 Output|Trace |
Removed : -81 Changed : -92 Time: 1.84811 Output|Trace |
Removed : 0 Changed : -13 Time: 0.360021 Output|Trace |
Removed : 0 Changed : -8 Time: 8.0725 Output|Trace |
Removed : 0 Changed : -13 Time: 29.8299 Output|Trace |
| 11 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 8.22451 Output|Trace |
TIMEOUT Output|Trace |
| 12 |
Removed : 0 Changed : -24 Time: 0.336021 Output|Trace |
Removed : -86 Changed : -106 Time: 1.5961 Output|Trace |
Removed : 0 Changed : -14 Time: 0.352022 Output|Trace |
Removed : 0 Changed : -6 Time: 8.32052 Output|Trace |
Removed : 0 Changed : -14 Time: 55.8195 Output|Trace |
| 13 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 8.42453 Output|Trace |
TIMEOUT Output|Trace |
| 14 |
Removed : 0 Changed : -20 Time: 0.328019 Output|Trace |
Removed : -81 Changed : -95 Time: 1.6721 Output|Trace |
Removed : 0 Changed : -12 Time: 0.348021 Output|Trace |
Removed : 0 Changed : -7 Time: 8.45253 Output|Trace |
TIMEOUT Output|Trace |
| 15 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -4 Changed : -16 Time: 8.40452 Output|Trace |
TIMEOUT Output|Trace |
| 16 |
Removed : 0 Changed : -13 Time: 0.320019 Output|Trace |
Removed : -81 Changed : -92 Time: 1.83211 Output|Trace |
Removed : 0 Changed : -11 Time: 0.360022 Output|Trace |
Removed : 0 Changed : -6 Time: 8.45653 Output|Trace |
TIMEOUT Output|Trace |
| 17 |
Removed : 0 Changed : -37 Time: 0.356022 Output|Trace |
Removed : -81 Changed : -112 Time: 1.6201 Output|Trace |
Removed : 0 Changed : -35 Time: 0.356022 Output|Trace |
Removed : 0 Changed : -15 Time: 8.57254 Output|Trace |
TIMEOUT Output|Trace |
| 18 |
Removed : -1 Changed : -57 Time: 0.396024 Output|Trace |
Removed : -82 Changed : -122 Time: 1.50009 Output|Trace |
Removed : 0 Changed : -27 Time: 0.360022 Output|Trace |
Removed : 0 Changed : -12 Time: 8.48853 Output|Trace |
TIMEOUT Output|Trace |
| 19 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 8.40052 Output|Trace |
TIMEOUT Output|Trace |
| 20 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -33 Time: 0.368022 Output|Trace |
Removed : 0 Changed : -23 Time: 8.52453 Output|Trace |
TIMEOUT Output|Trace |
| 21 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -25 Time: 8.49653 Output|Trace |
ABORT Output|Trace |
| 22 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 8.45653 Output|Trace |
ABORT Output|Trace |
| 23 |
Removed : 0 Changed : -33 Time: 0.33602 Output|Trace |
Removed : -82 Changed : -109 Time: 1.45209 Output|Trace |
Removed : 0 Changed : -33 Time: 0.364022 Output|Trace |
Removed : 0 Changed : -6 Time: 8.40052 Output|Trace |
TIMEOUT Output|Trace |
| 24 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -22 Time: 0.364022 Output|Trace |
Removed : 0 Changed : -12 Time: 8.51653 Output|Trace |
TIMEOUT Output|Trace |
| 25 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -9 Time: 0.352022 Output|Trace |
Removed : 0 Changed : -9 Time: 8.41653 Output|Trace |
TIMEOUT Output|Trace |
| 26 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 8.39252 Output|Trace |
TIMEOUT Output|Trace |
| 27 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 8.40853 Output|Trace |
TIMEOUT Output|Trace |
| 28 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -24 Time: 8.55653 Output|Trace |
TIMEOUT Output|Trace |
| 29 |
Removed : -97 Changed : -345 Time: 0.780048 Output|Trace |
Removed : -104 Changed : -191 Time: 1.52809 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -15 Time: 8.49253 Output|Trace |
TIMEOUT Output|Trace |
| 30 |
Removed : -1 Changed : -44 Time: 0.372023 Output|Trace |
Removed : -82 Changed : -113 Time: 1.48009 Output|Trace |
Removed : 0 Changed : -28 Time: 0.408025 Output|Trace |
Removed : 0 Changed : -8 Time: 8.45653 Output|Trace |
TIMEOUT Output|Trace |
| 31 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 8.44053 Output|Trace |
Removed : -58 Changed : -987 Time: 44.5068 Output|Trace |
| 32 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -6 Time: 8.38852 Output|Trace |
TIMEOUT Output|Trace |
| 33 |
Removed : 0 Changed : -15 Time: 0.316019 Output|Trace |
Removed : -81 Changed : -94 Time: 2.78817 Output|Trace |
Removed : 0 Changed : -13 Time: 0.344021 Output|Trace |
Removed : 0 Changed : -8 Time: 8.42853 Output|Trace |
TIMEOUT Output|Trace |
| 34 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -18 Time: 8.38852 Output|Trace |
TIMEOUT Output|Trace |
| 35 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -17 Time: 8.22051 Output|Trace |
Removed : -25 Changed : -515 Time: 164.246 Output|Trace |
| 36 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -21 Time: 8.27252 Output|Trace |
Removed : -22 Changed : -271 Time: 226.042 Output|Trace |
| 37 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -22 Time: 8.18051 Output|Trace |
TIMEOUT Output|Trace |
| 38 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 8.21651 Output|Trace |
TIMEOUT Output|Trace |
| 39 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 8.13651 Output|Trace |
TIMEOUT Output|Trace |
| 40 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -14 Time: 8.12851 Output|Trace |
TIMEOUT Output|Trace |
| 41 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -11 Time: 0.352022 Output|Trace |
Removed : 0 Changed : -10 Time: 8.22051 Output|Trace |
TIMEOUT Output|Trace |
| 42 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -18 Time: 0.364022 Output|Trace |
Removed : 0 Changed : -9 Time: 8.31652 Output|Trace |
Removed : 0 Changed : -18 Time: 1.82811 Output|Trace |
| 43 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -9 Time: 8.19251 Output|Trace |
TIMEOUT Output|Trace |
| 44 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -22 Time: 8.24051 Output|Trace |
TIMEOUT Output|Trace |
| 45 |
Removed : 0 Changed : -32 Time: 0.360021 Output|Trace |
Removed : -86 Changed : -114 Time: 1.91612 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 8.20451 Output|Trace |
TIMEOUT Output|Trace |
| 46 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 8.12451 Output|Trace |
TIMEOUT Output|Trace |
| 47 |
Removed : 0 Changed : -37 Time: 0.356021 Output|Trace |
Removed : -81 Changed : -110 Time: 1.54009 Output|Trace |
Removed : 0 Changed : -37 Time: 0.364022 Output|Trace |
Removed : 0 Changed : -9 Time: 8.12851 Output|Trace |
TIMEOUT Output|Trace |
| 48 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -15 Time: 8.28052 Output|Trace |
TIMEOUT Output|Trace |
| 49 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -4 Changed : -17 Time: 8.24851 Output|Trace |
TIMEOUT Output|Trace |
| 50 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 8.0725 Output|Trace |
Removed : -57 Changed : -971 Time: 3.93625 Output|Trace |
| 51 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -46 Changed : -1180 Time: 3.68423 Output|Trace |
Removed : 0 Changed : -13 Time: 8.25251 Output|Trace |
Removed : -45 Changed : -940 Time: 260.176 Output|Trace |
| 52 |
Removed : -96 Changed : -352 Time: 0.832052 Output|Trace |
Removed : -43 Changed : -144 Time: 1.44009 Output|Trace |
Removed : 0 Changed : -75 Time: 0.388023 Output|Trace |
Removed : 0 Changed : -50 Time: 8.60054 Output|Trace |
TIMEOUT Output|Trace |
| 53 |
Removed : -1 Changed : -124 Time: 0.480029 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -22 Time: 8.52453 Output|Trace |
TIMEOUT Output|Trace |
| 54 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 8.23651 Output|Trace |
Removed : -45 Changed : -961 Time: 203.101 Output|Trace |
| 55 |
Removed : 0 Changed : -40 Time: 0.348021 Output|Trace |
Removed : -81 Changed : -115 Time: 1.52009 Output|Trace |
Removed : 0 Changed : -28 Time: 0.352022 Output|Trace |
Removed : 0 Changed : -15 Time: 8.15251 Output|Trace |
TIMEOUT Output|Trace |
| 56 |
Removed : 0 Changed : -10 Time: 0.268016 Output|Trace |
Removed : 0 Changed : -10 Time: 0.400025 Output|Trace |
Removed : 0 Changed : -10 Time: 0.356021 Output|Trace |
Removed : 0 Changed : -10 Time: 8.17251 Output|Trace |
Removed : 0 Changed : -10 Time: 1.81211 Output|Trace |
| 57 |
Removed : -1 Changed : -28 Time: 0.33202 Output|Trace |
Removed : -82 Changed : -105 Time: 1.5561 Output|Trace |
Removed : 0 Changed : -21 Time: 0.364022 Output|Trace |
Removed : 0 Changed : -15 Time: 8.11651 Output|Trace |
Removed : 0 Changed : -27 Time: 1.91612 Output|Trace |
| 58 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -12 Time: 8.14851 Output|Trace |
TIMEOUT Output|Trace |
| 59 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -32 Time: 8.22451 Output|Trace |
ABORT Output|Trace |
| 60 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -4 Changed : -13 Time: 8.0885 Output|Trace |
Removed : -64 Changed : -1103 Time: 11.4487 Output|Trace |
| 61 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 8.13651 Output|Trace |
TIMEOUT Output|Trace |
| 62 |
Removed : 0 Changed : -66 Time: 0.408025 Output|Trace |
Removed : -86 Changed : -146 Time: 1.5481 Output|Trace |
Removed : 0 Changed : -29 Time: 0.364022 Output|Trace |
Removed : 0 Changed : -23 Time: 8.29252 Output|Trace |
TIMEOUT Output|Trace |
| 63 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -57 Changed : -1183 Time: 4.89231 Output|Trace |
Removed : 0 Changed : -12 Time: 8.10851 Output|Trace |
Removed : -55 Changed : -1011 Time: 18.5972 Output|Trace |
| 64 |
Removed : -88 Changed : -271 Time: 0.692043 Output|Trace |
Removed : -87 Changed : -102 Time: 1.45209 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 8.16051 Output|Trace |
TIMEOUT Output|Trace |
| 65 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -23 Time: 8.38452 Output|Trace |
TIMEOUT Output|Trace |
| 66 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -54 Time: 0.376023 Output|Trace |
Removed : 0 Changed : -43 Time: 8.29252 Output|Trace |
Removed : 0 Changed : -53 Time: 160.662 Output|Trace |
| 67 |
Removed : 0 Changed : -13 Time: 0.312018 Output|Trace |
Removed : -81 Changed : -92 Time: 1.41209 Output|Trace |
Removed : 0 Changed : -13 Time: 0.360021 Output|Trace |
Removed : 0 Changed : -4 Time: 8.0325 Output|Trace |
Removed : 0 Changed : -13 Time: 1.82411 Output|Trace |
| 68 |
Removed : -1 Changed : -50 Time: 0.380023 Output|Trace |
Removed : -87 Changed : -128 Time: 1.53209 Output|Trace |
Removed : 0 Changed : -31 Time: 0.360021 Output|Trace |
Removed : 0 Changed : -16 Time: 8.16851 Output|Trace |
TIMEOUT Output|Trace |
| 69 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -26 Time: 8.25251 Output|Trace |
TIMEOUT Output|Trace |
| 70 |
Removed : 0 Changed : -55 Time: 0.392024 Output|Trace |
Removed : -87 Changed : -136 Time: 1.49609 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -18 Time: 8.15651 Output|Trace |
TIMEOUT Output|Trace |
| 71 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -16 Time: 8.15251 Output|Trace |
TIMEOUT Output|Trace |
| 72 |
Removed : 0 Changed : -12 Time: 0.316019 Output|Trace |
Removed : -81 Changed : -91 Time: 1.82411 Output|Trace |
Removed : 0 Changed : -11 Time: 0.484029 Output|Trace |
Removed : 0 Changed : -6 Time: 8.1005 Output|Trace |
Removed : 0 Changed : -11 Time: 1.81611 Output|Trace |
| 73 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -25 Time: 0.632039 Output|Trace |
Removed : 0 Changed : -11 Time: 8.16451 Output|Trace |
TIMEOUT Output|Trace |
| 74 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 8.0125 Output|Trace |
ABORT Output|Trace |
| 75 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -10 Time: 0.508031 Output|Trace |
Removed : 0 Changed : -10 Time: 8.0565 Output|Trace |
TIMEOUT Output|Trace |
| 76 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -84 Time: 0.376022 Output|Trace |
Removed : 0 Changed : -25 Time: 8.28852 Output|Trace |
TIMEOUT Output|Trace |
| 77 |
Removed : 0 Changed : -32 Time: 0.348021 Output|Trace |
Removed : -82 Changed : -106 Time: 1.5721 Output|Trace |
Removed : 0 Changed : -32 Time: 0.368023 Output|Trace |
Removed : 0 Changed : -8 Time: 8.0885 Output|Trace |
TIMEOUT Output|Trace |
| 78 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -18 Time: 8.17651 Output|Trace |
TIMEOUT Output|Trace |
| 79 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 8.11651 Output|Trace |
TIMEOUT Output|Trace |
| 80 |
Removed : 0 Changed : -22 Time: 0.33202 Output|Trace |
Removed : -81 Changed : -99 Time: 1.6441 Output|Trace |
Removed : 0 Changed : -22 Time: 0.508031 Output|Trace |
Removed : 0 Changed : -11 Time: 8.14451 Output|Trace |
TIMEOUT Output|Trace |
| 81 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -16 Time: 8.16851 Output|Trace |
TIMEOUT Output|Trace |
| 82 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -45 Time: 0.684042 Output|Trace |
Removed : 0 Changed : -25 Time: 8.22451 Output|Trace |
TIMEOUT Output|Trace |
| 83 |
Removed : -1 Changed : -48 Time: 0.376023 Output|Trace |
Removed : -82 Changed : -123 Time: 1.51609 Output|Trace |
Removed : 0 Changed : -13 Time: 0.684042 Output|Trace |
Removed : 0 Changed : -13 Time: 8.14851 Output|Trace |
TIMEOUT Output|Trace |
| 84 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -26 Time: 8.22051 Output|Trace |
TIMEOUT Output|Trace |
| 85 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -6 Time: 8.0645 Output|Trace |
Removed : -52 Changed : -1014 Time: 38.2384 Output|Trace |
| 86 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 8.11651 Output|Trace |
TIMEOUT Output|Trace |
| 87 |
Removed : -2 Changed : -48 Time: 0.388024 Output|Trace |
Removed : -83 Changed : -119 Time: 1.48409 Output|Trace |
Removed : -1 Changed : -44 Time: 0.372022 Output|Trace |
Removed : 0 Changed : -9 Time: 8.10851 Output|Trace |
TIMEOUT Output|Trace |
| 88 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -27 Time: 0.364022 Output|Trace |
Removed : 0 Changed : -27 Time: 8.16451 Output|Trace |
TIMEOUT Output|Trace |
| 89 |
Removed : 0 Changed : -68 Time: 0.424025 Output|Trace |
Removed : -86 Changed : -142 Time: 1.47209 Output|Trace |
Removed : 0 Changed : -56 Time: 0.376023 Output|Trace |
Removed : 0 Changed : -15 Time: 8.18851 Output|Trace |
TIMEOUT Output|Trace |
| 90 |
Removed : -1 Changed : -20 Time: 0.328019 Output|Trace |
Removed : -82 Changed : -99 Time: 1.50409 Output|Trace |
Removed : 0 Changed : -20 Time: 0.364022 Output|Trace |
Removed : 0 Changed : -10 Time: 8.13251 Output|Trace |
TIMEOUT Output|Trace |
| 91 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -52 Changed : -1168 Time: 3.93225 Output|Trace |
Removed : 0 Changed : -7 Time: 8.0925 Output|Trace |
Removed : -45 Changed : -937 Time: 119.275 Output|Trace |
| 92 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -63 Time: 0.376023 Output|Trace |
Removed : 0 Changed : -27 Time: 8.22051 Output|Trace |
Removed : 0 Changed : -63 Time: 35.4102 Output|Trace |
| 93 |
Removed : 0 Changed : -37 Time: 0.364022 Output|Trace |
Removed : -514 Changed : -538 Time: 2.69217 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 8.13651 Output|Trace |
TIMEOUT Output|Trace |
| 94 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -25 Time: 8.20851 Output|Trace |
Removed : -47 Changed : -985 Time: 179.735 Output|Trace |
| 95 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 8.10851 Output|Trace |
TIMEOUT Output|Trace |
| 96 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -41 Time: 0.372022 Output|Trace |
Removed : 0 Changed : -28 Time: 8.32052 Output|Trace |
TIMEOUT Output|Trace |
| 97 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -33 Time: 8.21651 Output|Trace |
Removed : -50 Changed : -942 Time: 18.2811 Output|Trace |
| 98 |
Removed : 0 Changed : -18 Time: 0.32002 Output|Trace |
Removed : -81 Changed : -95 Time: 1.6881 Output|Trace |
Removed : 0 Changed : -18 Time: 0.360022 Output|Trace |
Removed : 0 Changed : -6 Time: 8.0645 Output|Trace |
TIMEOUT Output|Trace |
| 99 |
CRASH Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 8.0485 Output|Trace |
Removed : -51 Changed : -1210 Time: 6.4124 Output|Trace |
| 100 |
Removed : 0 Changed : -23 Time: 0.348021 Output|Trace |
Removed : -81 Changed : -100 Time: 1.72811 Output|Trace |
Removed : 0 Changed : -14 Time: 0.364022 Output|Trace |
Removed : 0 Changed : -9 Time: 8.0765 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 : -131 Changed : -330 Time: 0.712044 Output|Trace |
Removed : -20 Changed : -20 Time: 2.07613 Output|Trace |
ABORT Output|Trace |
Removed : -19 Changed : -20 Time: 8.13651 Output|Trace |
TIMEOUT Output|Trace |
| 103 |
Removed : -483 Changed : -686 Time: 1.08807 Output|Trace |
Removed : -458 Changed : -458 Time: 2.42815 Output|Trace |
ABORT Output|Trace |
Removed : -436 Changed : -506 Time: 10.2286 Output|Trace |
Removed : -458 Changed : -458 Time: 162.702 Output|Trace |
| 104 |
Removed : -135 Changed : -316 Time: 0.696043 Output|Trace |
Removed : -45 Changed : -45 Time: 1.83611 Output|Trace |
ABORT Output|Trace |
Removed : -45 Changed : -45 Time: 8.24051 Output|Trace |
TIMEOUT Output|Trace |
| 105 |
Removed : -97 Changed : -259 Time: 0.660041 Output|Trace |
Removed : -590 Changed : -590 Time: 3.36421 Output|Trace |
ABORT Output|Trace |
Removed : -76 Changed : -81 Time: 8.41253 Output|Trace |
TIMEOUT Output|Trace |
| 106 |
Removed : -406 Changed : -581 Time: 0.752046 Output|Trace |
Removed : -406 Changed : -406 Time: 2.78417 Output|Trace |
ABORT Output|Trace |
Removed : -383 Changed : -478 Time: 10.1006 Output|Trace |
Removed : -406 Changed : -406 Time: 135.708 Output|Trace |
| 107 |
Removed : -434 Changed : -651 Time: 0.952059 Output|Trace |
Removed : -22 Changed : -22 Time: 1.6161 Output|Trace |
ABORT Output|Trace |
Removed : -21 Changed : -36 Time: 8.23251 Output|Trace |
TIMEOUT Output|Trace |
| 108 |
Removed : -119 Changed : -292 Time: 0.672042 Output|Trace |
Removed : -18 Changed : -18 Time: 2.63216 Output|Trace |
ABORT Output|Trace |
Removed : -16 Changed : -17 Time: 8.23251 Output|Trace |
TIMEOUT Output|Trace |
| 109 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 110 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 111 |
Removed : -119 Changed : -287 Time: 0.684042 Output|Trace |
Removed : -31 Changed : -31 Time: 1.85211 Output|Trace |
ABORT Output|Trace |
Removed : -29 Changed : -69 Time: 8.31252 Output|Trace |
TIMEOUT Output|Trace |
| 112 |
Removed : -25 Changed : -118 Time: 0.512031 Output|Trace |
Removed : -27 Changed : -27 Time: 1.84411 Output|Trace |
ABORT Output|Trace |
Removed : -16 Changed : -20 Time: 8.14851 Output|Trace |
TIMEOUT Output|Trace |
| 113 |
Removed : -116 Changed : -300 Time: 0.748046 Output|Trace |
Removed : -27 Changed : -27 Time: 1.84011 Output|Trace |
ABORT Output|Trace |
Removed : -19 Changed : -23 Time: 8.13651 Output|Trace |
TIMEOUT Output|Trace |
| 114 |
Removed : -111 Changed : -289 Time: 0.680042 Output|Trace |
Removed : -40 Changed : -40 Time: 2.25614 Output|Trace |
ABORT Output|Trace |
Removed : -40 Changed : -40 Time: 8.23651 Output|Trace |
TIMEOUT Output|Trace |
| 115 |
Removed : -115 Changed : -278 Time: 0.688042 Output|Trace |
Removed : -38 Changed : -38 Time: 1.6561 Output|Trace |
ABORT Output|Trace |
Removed : -38 Changed : -38 Time: 8.21251 Output|Trace |
TIMEOUT Output|Trace |
| 116 |
Removed : -367 Changed : -568 Time: 0.81605 Output|Trace |
Removed : -278 Changed : -278 Time: 1.89212 Output|Trace |
ABORT Output|Trace |
Removed : -276 Changed : -279 Time: 9.31658 Output|Trace |
Removed : -278 Changed : -278 Time: 50.3711 Output|Trace |
| 117 |
Removed : -24 Changed : -123 Time: 0.49203 Output|Trace |
Removed : -22 Changed : -22 Time: 1.36408 Output|Trace |
ABORT Output|Trace |
Removed : -22 Changed : -22 Time: 8.10851 Output|Trace |
Removed : -22 Changed : -22 Time: 2.69217 Output|Trace |
| 118 |
Removed : -339 Changed : -498 Time: 0.712043 Output|Trace |
Removed : -261 Changed : -261 Time: 1.6681 Output|Trace |
ABORT Output|Trace |
Removed : -67 Changed : -869 Time: 10.8447 Output|Trace |
TIMEOUT Output|Trace |
| 119 |
Removed : -19 Changed : -109 Time: 0.504031 Output|Trace |
Removed : -17 Changed : -22 Time: 1.87212 Output|Trace |
ABORT Output|Trace |
Removed : -17 Changed : -22 Time: 8.15651 Output|Trace |
TIMEOUT Output|Trace |
| 120 |
Removed : -408 Changed : -638 Time: 0.952058 Output|Trace |
Removed : -154 Changed : -154 Time: 2.12413 Output|Trace |
ABORT Output|Trace |
Removed : -131 Changed : -226 Time: 8.96456 Output|Trace |
TIMEOUT Output|Trace |
| 121 |
Removed : -425 Changed : -608 Time: 0.896055 Output|Trace |
Removed : -422 Changed : -422 Time: 2.46415 Output|Trace |
ABORT Output|Trace |
Removed : -398 Changed : -472 Time: 10.0886 Output|Trace |
Removed : -422 Changed : -422 Time: 111.183 Output|Trace |
| 122 |
Removed : -24 Changed : -163 Time: 0.556034 Output|Trace |
Removed : -12 Changed : -12 Time: 1.78811 Output|Trace |
ABORT Output|Trace |
Removed : -12 Changed : -12 Time: 8.27252 Output|Trace |
Removed : -12 Changed : -12 Time: 2.16414 Output|Trace |
| 123 |
Removed : -413 Changed : -579 Time: 0.836052 Output|Trace |
Removed : -413 Changed : -413 Time: 2.60016 Output|Trace |
ABORT Output|Trace |
Removed : -388 Changed : -463 Time: 10.2246 Output|Trace |
Removed : -413 Changed : -413 Time: 23.6055 Output|Trace |
| 124 |
Removed : -354 Changed : -512 Time: 0.772048 Output|Trace |
Removed : -337 Changed : -337 Time: 2.31614 Output|Trace |
ABORT Output|Trace |
Removed : -334 Changed : -340 Time: 9.5966 Output|Trace |
Removed : -337 Changed : -337 Time: 15.417 Output|Trace |
| 125 |
Removed : -102 Changed : -323 Time: 0.756046 Output|Trace |
Removed : -269 Changed : -269 Time: 2.16014 Output|Trace |
ABORT Output|Trace |
Removed : -27 Changed : -70 Time: 8.32052 Output|Trace |
TIMEOUT Output|Trace |
| 126 |
Removed : -350 Changed : -543 Time: 0.788048 Output|Trace |
Removed : -264 Changed : -264 Time: 1.88412 Output|Trace |
ABORT Output|Trace |
Removed : -262 Changed : -276 Time: 9.38459 Output|Trace |
TIMEOUT Output|Trace |
| 127 |
Removed : -119 Changed : -316 Time: 0.764047 Output|Trace |
Removed : -18 Changed : -18 Time: 2.00012 Output|Trace |
ABORT Output|Trace |
Removed : -16 Changed : -31 Time: 8.17651 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 : -115 Changed : -293 Time: 0.700043 Output|Trace |
Removed : -33 Changed : -33 Time: 1.48409 Output|Trace |
ABORT Output|Trace |
Removed : -30 Changed : -34 Time: 8.21251 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 : -436 Changed : -612 Time: 0.840052 Output|Trace |
Removed : -429 Changed : -429 Time: 2.58016 Output|Trace |
ABORT Output|Trace |
Removed : -425 Changed : -433 Time: 10.0406 Output|Trace |
Removed : -429 Changed : -429 Time: 6.4684 Output|Trace |
| 132 |
Removed : -425 Changed : -598 Time: 0.81605 Output|Trace |
Removed : -425 Changed : -425 Time: 2.68817 Output|Trace |
ABORT Output|Trace |
Removed : -399 Changed : -476 Time: 10.1486 Output|Trace |
TIMEOUT Output|Trace |
| 133 |
Removed : -353 Changed : -523 Time: 0.768047 Output|Trace |
Removed : -279 Changed : -279 Time: 1.75211 Output|Trace |
ABORT Output|Trace |
Removed : -279 Changed : -279 Time: 9.33658 Output|Trace |
TIMEOUT Output|Trace |
| 134 |
Removed : -368 Changed : -560 Time: 0.788049 Output|Trace |
Removed : -305 Changed : -305 Time: 2.56816 Output|Trace |
ABORT Output|Trace |
Removed : -303 Changed : -306 Time: 9.44859 Output|Trace |
TIMEOUT Output|Trace |
| 135 |
Removed : -423 Changed : -583 Time: 0.876054 Output|Trace |
Removed : -420 Changed : -420 Time: 2.27614 Output|Trace |
ABORT Output|Trace |
Removed : -396 Changed : -470 Time: 10.0846 Output|Trace |
Removed : -420 Changed : -420 Time: 16.597 Output|Trace |
| 136 |
Removed : -104 Changed : -271 Time: 0.664041 Output|Trace |
Removed : -19 Changed : -19 Time: 1.99212 Output|Trace |
ABORT Output|Trace |
Removed : -19 Changed : -19 Time: 8.14451 Output|Trace |
TIMEOUT Output|Trace |
| 137 |
Removed : -353 Changed : -526 Time: 0.81605 Output|Trace |
Removed : -337 Changed : -337 Time: 2.24814 Output|Trace |
ABORT Output|Trace |
Removed : -334 Changed : -340 Time: 9.6086 Output|Trace |
Removed : -337 Changed : -337 Time: 76.5488 Output|Trace |
| 138 |
Removed : -404 Changed : -581 Time: 0.80805 Output|Trace |
Removed : -404 Changed : -404 Time: 2.06813 Output|Trace |
ABORT Output|Trace |
Removed : -381 Changed : -510 Time: 10.1926 Output|Trace |
TIMEOUT Output|Trace |
| 139 |
Removed : -133 Changed : -309 Time: 0.720045 Output|Trace |
Removed : -34 Changed : -34 Time: 2.46415 Output|Trace |
ABORT Output|Trace |
Removed : -34 Changed : -34 Time: 8.20451 Output|Trace |
Removed : -34 Changed : -34 Time: 262.328 Output|Trace |
| 140 |
Removed : -423 Changed : -624 Time: 0.900055 Output|Trace |
Removed : -423 Changed : -423 Time: 2.62016 Output|Trace |
ABORT Output|Trace |
Removed : -396 Changed : -617 Time: 10.6447 Output|Trace |
Removed : -423 Changed : -423 Time: 28.3498 Output|Trace |
| 141 |
Removed : -441 Changed : -667 Time: 1.00006 Output|Trace |
Removed : -27 Changed : -27 Time: 1.90012 Output|Trace |
ABORT Output|Trace |
Removed : -26 Changed : -28 Time: 8.19651 Output|Trace |
Removed : -27 Changed : -27 Time: 56.9756 Output|Trace |
| 142 |
Removed : -464 Changed : -628 Time: 0.896055 Output|Trace |
Removed : -456 Changed : -456 Time: 2.55616 Output|Trace |
ABORT Output|Trace |
Removed : -450 Changed : -474 Time: 10.2206 Output|Trace |
Removed : -456 Changed : -456 Time: 7.41246 Output|Trace |
| 143 |
Removed : -431 Changed : -613 Time: 0.880054 Output|Trace |
Removed : -444 Changed : -444 Time: 2.70817 Output|Trace |
ABORT Output|Trace |
Removed : -420 Changed : -498 Time: 10.2246 Output|Trace |
Removed : -444 Changed : -444 Time: 9.32858 Output|Trace |
| 144 |
Removed : -355 Changed : -530 Time: 0.776048 Output|Trace |
Removed : -340 Changed : -340 Time: 1.88412 Output|Trace |
ABORT Output|Trace |
Removed : -275 Changed : -278 Time: 9.50859 Output|Trace |
TIMEOUT Output|Trace |
| 145 |
Removed : -429 Changed : -657 Time: 0.900055 Output|Trace |
Removed : -412 Changed : -412 Time: 2.17614 Output|Trace |
ABORT Output|Trace |
Removed : -194 Changed : -969 Time: 11.5607 Output|Trace |
Removed : -412 Changed : -412 Time: 252.54 Output|Trace |
| 146 |
ABORT Output|Trace |
Removed : -475 Changed : -475 Time: 2.70017 Output|Trace |
ABORT Output|Trace |
Removed : -452 Changed : -523 Time: 10.8047 Output|Trace |
Removed : -472 Changed : -474 Time: 16.9451 Output|Trace |
| 147 |
Removed : -428 Changed : -611 Time: 0.920056 Output|Trace |
Removed : -427 Changed : -427 Time: 2.57616 Output|Trace |
ABORT Output|Trace |
Removed : -401 Changed : -478 Time: 10.4887 Output|Trace |
Removed : -427 Changed : -427 Time: 22.4214 Output|Trace |
| 148 |
Removed : -143 Changed : -356 Time: 0.80405 Output|Trace |
Removed : -54 Changed : -54 Time: 3.2002 Output|Trace |
ABORT Output|Trace |
Removed : -54 Changed : -54 Time: 8.64854 Output|Trace |
TIMEOUT Output|Trace |
| 149 |
Removed : -135 Changed : -348 Time: 0.81205 Output|Trace |
Removed : -41 Changed : -41 Time: 1.97612 Output|Trace |
ABORT Output|Trace |
Removed : -25 Changed : -79 Time: 8.88855 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 : -119 Changed : -290 Time: 0.684042 Output|Trace |
Removed : -35 Changed : -35 Time: 2.04013 Output|Trace |
ABORT Output|Trace |
Removed : -33 Changed : -36 Time: 8.30452 Output|Trace |
TIMEOUT Output|Trace |
| 152 |
Removed : -112 Changed : -282 Time: 0.680041 Output|Trace |
Removed : -30 Changed : -30 Time: 1.96812 Output|Trace |
ABORT Output|Trace |
Removed : -30 Changed : -30 Time: 8.66454 Output|Trace |
Removed : -30 Changed : -30 Time: 3.00819 Output|Trace |
| 153 |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 154 |
Removed : -162 Changed : -394 Time: 0.852053 Output|Trace |
Removed : -350 Changed : -350 Time: 3.75623 Output|Trace |
ABORT Output|Trace |
Removed : -56 Changed : -562 Time: 10.3406 Output|Trace |
TIMEOUT Output|Trace |
| 155 |
ABORT Output|Trace |
Removed : -349 Changed : -349 Time: 2.22814 Output|Trace |
ABORT Output|Trace |
Removed : -344 Changed : -352 Time: 9.6286 Output|Trace |
TIMEOUT Output|Trace |
| 156 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 157 |
Removed : -128 Changed : -334 Time: 0.748046 Output|Trace |
Removed : -24 Changed : -24 Time: 1.75211 Output|Trace |
ABORT Output|Trace |
Removed : -24 Changed : -24 Time: 8.13251 Output|Trace |
TIMEOUT Output|Trace |
| 158 |
Removed : -130 Changed : -332 Time: 0.744046 Output|Trace |
Removed : -131 Changed : -131 Time: 2.29614 Output|Trace |
ABORT Output|Trace |
Removed : -43 Changed : -81 Time: 8.40052 Output|Trace |
TIMEOUT Output|Trace |
| 159 |
Removed : -27 Changed : -125 Time: 0.49603 Output|Trace |
Removed : -27 Changed : -27 Time: 2.06013 Output|Trace |
ABORT Output|Trace |
Removed : -27 Changed : -27 Time: 8.18451 Output|Trace |
TIMEOUT Output|Trace |
| 160 |
Removed : -128 Changed : -296 Time: 0.768047 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -52 Changed : -72 Time: 8.35652 Output|Trace |
TIMEOUT Output|Trace |
| 161 |
Removed : -419 Changed : -642 Time: 1.06406 Output|Trace |
Removed : -154 Changed : -154 Time: 1.87212 Output|Trace |
ABORT Output|Trace |
Removed : -132 Changed : -263 Time: 9.10857 Output|Trace |
TIMEOUT Output|Trace |
| 162 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |