| problem n | aptget | aptitude | cupt | mpm | smart |
|---|---|---|---|---|---|
| 1 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 21.4693 Output|Trace |
TIMEOUT Output|Trace |
| 2 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -43 Time: 21.8654 Output|Trace |
TIMEOUT Output|Trace |
| 3 |
Removed : -155 Changed : -612 Time: 2.56816 Output|Trace |
Removed : -81 Changed : -97 Time: 3.32021 Output|Trace |
Removed : -1 Changed : -29 Time: 0.600037 Output|Trace |
Removed : 0 Changed : -12 Time: 21.1533 Output|Trace |
TIMEOUT Output|Trace |
| 4 |
Removed : -115 Changed : -1056 Time: 3.93625 Output|Trace |
Removed : -343 Changed : -969 Time: 11.1007 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 20.9613 Output|Trace |
TIMEOUT Output|Trace |
| 5 |
ABORT Output|Trace |
Removed : -342 Changed : -1013 Time: 11.4447 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 21.1093 Output|Trace |
TIMEOUT Output|Trace |
| 6 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -16 Time: 20.4973 Output|Trace |
TIMEOUT Output|Trace |
| 7 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -16 Time: 20.6013 Output|Trace |
TIMEOUT Output|Trace |
| 8 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -23 Time: 21.1573 Output|Trace |
TIMEOUT Output|Trace |
| 9 |
Removed : -116 Changed : -1070 Time: 3.92424 Output|Trace |
Removed : -344 Changed : -994 Time: 12.6368 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -14 Time: 20.7213 Output|Trace |
TIMEOUT Output|Trace |
| 10 |
Removed : -155 Changed : -607 Time: 2.54816 Output|Trace |
Removed : -81 Changed : -95 Time: 3.2082 Output|Trace |
Removed : -1 Changed : -29 Time: 0.596036 Output|Trace |
Removed : 0 Changed : -8 Time: 20.1013 Output|Trace |
TIMEOUT Output|Trace |
| 11 |
Removed : -115 Changed : -1046 Time: 3.97225 Output|Trace |
Removed : -343 Changed : -968 Time: 11.5567 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 20.6973 Output|Trace |
TIMEOUT Output|Trace |
| 12 |
Removed : -114 Changed : -1043 Time: 4.01225 Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -9 Time: 0.580035 Output|Trace |
Removed : 0 Changed : -6 Time: 19.9132 Output|Trace |
TIMEOUT Output|Trace |
| 13 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 20.0813 Output|Trace |
TIMEOUT Output|Trace |
| 14 |
Removed : -155 Changed : -606 Time: 2.60816 Output|Trace |
Removed : -81 Changed : -97 Time: 3.30421 Output|Trace |
Removed : -1 Changed : -30 Time: 0.596036 Output|Trace |
Removed : 0 Changed : -7 Time: 20.3813 Output|Trace |
TIMEOUT Output|Trace |
| 15 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : -4 Changed : -16 Time: 20.5293 Output|Trace |
TIMEOUT Output|Trace |
| 16 |
Removed : -155 Changed : -607 Time: 2.65617 Output|Trace |
Removed : -81 Changed : -92 Time: 3.35221 Output|Trace |
Removed : -1 Changed : -21 Time: 0.592037 Output|Trace |
Removed : 0 Changed : -6 Time: 20.3213 Output|Trace |
TIMEOUT Output|Trace |
| 17 |
Removed : -155 Changed : -618 Time: 2.70417 Output|Trace |
Removed : -81 Changed : -165 Time: 3.54422 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -15 Time: 20.3653 Output|Trace |
TIMEOUT Output|Trace |
| 18 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -12 Time: 20.4293 Output|Trace |
TIMEOUT Output|Trace |
| 19 |
Removed : -115 Changed : -1048 Time: 3.91224 Output|Trace |
Removed : -343 Changed : -970 Time: 11.4847 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 19.9852 Output|Trace |
TIMEOUT Output|Trace |
| 20 |
Removed : -115 Changed : -1068 Time: 3.98025 Output|Trace |
Removed : -343 Changed : -991 Time: 11.4847 Output|Trace |
Removed : 0 Changed : -33 Time: 0.596036 Output|Trace |
Removed : 0 Changed : -18 Time: 20.7253 Output|Trace |
TIMEOUT Output|Trace |
| 21 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -25 Time: 20.3733 Output|Trace |
TIMEOUT Output|Trace |
| 22 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 20.4413 Output|Trace |
TIMEOUT Output|Trace |
| 23 |
Removed : -117 Changed : -1056 Time: 4.02825 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -6 Time: 20.3653 Output|Trace |
TIMEOUT Output|Trace |
| 24 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -22 Time: 0.592036 Output|Trace |
Removed : 0 Changed : -12 Time: 20.0613 Output|Trace |
TIMEOUT Output|Trace |
| 25 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -9 Time: 20.1333 Output|Trace |
TIMEOUT Output|Trace |
| 26 |
Removed : -330 Changed : -1408 Time: 4.31627 Output|Trace |
Removed : -352 Changed : -979 Time: 18.2971 Output|Trace |
TIMEOUT Output|Trace |
Removed : 0 Changed : -7 Time: 20.1453 Output|Trace |
TIMEOUT Output|Trace |
| 27 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : 0 Changed : -5 Time: 20.8533 Output|Trace |
TIMEOUT Output|Trace |
| 28 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -24 Time: 20.8173 Output|Trace |
TIMEOUT Output|Trace |
| 29 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -15 Time: 21.3373 Output|Trace |
TIMEOUT Output|Trace |
| 30 |
Removed : -107 Changed : -1114 Time: 4.12826 Output|Trace |
Removed : -343 Changed : -973 Time: 11.4807 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 21.6414 Output|Trace |
TIMEOUT Output|Trace |
| 31 |
ABORT Output|Trace |
Removed : -341 Changed : -970 Time: 9.10057 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 20.4693 Output|Trace |
TIMEOUT Output|Trace |
| 32 |
Removed : -115 Changed : -1047 Time: 3.94425 Output|Trace |
Removed : -343 Changed : -969 Time: 11.2167 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -6 Time: 20.0173 Output|Trace |
TIMEOUT Output|Trace |
| 33 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 20.1173 Output|Trace |
TIMEOUT Output|Trace |
| 34 |
Removed : -115 Changed : -1077 Time: 4.05625 Output|Trace |
Removed : -343 Changed : -993 Time: 11.4287 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -16 Time: 20.3093 Output|Trace |
TIMEOUT Output|Trace |
| 35 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -17 Time: 20.2693 Output|Trace |
TIMEOUT Output|Trace |
| 36 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -20 Time: 21.8494 Output|Trace |
TIMEOUT Output|Trace |
| 37 |
Removed : -107 Changed : -1137 Time: 4.16026 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -22 Time: 20.8493 Output|Trace |
TIMEOUT Output|Trace |
| 38 |
Removed : -115 Changed : -1049 Time: 4.04825 Output|Trace |
Removed : -343 Changed : -974 Time: 11.6247 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -5 Time: 20.9333 Output|Trace |
TIMEOUT Output|Trace |
| 39 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 20.6853 Output|Trace |
TIMEOUT Output|Trace |
| 40 |
Removed : -107 Changed : -1195 Time: 4.38027 Output|Trace |
Removed : -344 Changed : -1055 Time: 12.1648 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -14 Time: 21.9454 Output|Trace |
TIMEOUT Output|Trace |
| 41 |
Removed : -107 Changed : -1117 Time: 4.22826 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 20.7573 Output|Trace |
TIMEOUT Output|Trace |
| 42 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -18 Time: 0.588036 Output|Trace |
Removed : 0 Changed : -9 Time: 21.0613 Output|Trace |
TIMEOUT Output|Trace |
| 43 |
Removed : -116 Changed : -1053 Time: 3.93225 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -9 Time: 20.6013 Output|Trace |
TIMEOUT Output|Trace |
| 44 |
Removed : -156 Changed : -628 Time: 2.64816 Output|Trace |
Removed : -82 Changed : -129 Time: 3.50022 Output|Trace |
Removed : 0 Changed : -43 Time: 0.596037 Output|Trace |
Removed : 0 Changed : -22 Time: 20.2413 Output|Trace |
TIMEOUT Output|Trace |
| 45 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 20.4613 Output|Trace |
TIMEOUT Output|Trace |
| 46 |
Removed : -115 Changed : -1059 Time: 3.97225 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 20.3453 Output|Trace |
TIMEOUT Output|Trace |
| 47 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -9 Time: 20.5493 Output|Trace |
TIMEOUT Output|Trace |
| 48 |
Removed : -54 Changed : -1133 Time: 4.15626 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 20.6853 Output|Trace |
TIMEOUT Output|Trace |
| 49 |
Removed : -119 Changed : -1063 Time: 3.96425 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -4 Changed : -17 Time: 20.5053 Output|Trace |
TIMEOUT Output|Trace |
| 50 |
ABORT Output|Trace |
Removed : -357 Changed : -912 Time: 68.6803 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 20.9533 Output|Trace |
TIMEOUT Output|Trace |
| 51 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 21.1493 Output|Trace |
TIMEOUT Output|Trace |
| 52 |
ABORT Output|Trace |
Removed : -335 Changed : -999 Time: 12.6648 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -39 Time: 25.4816 Output|Trace |
TIMEOUT Output|Trace |
| 53 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -22 Time: 22.0054 Output|Trace |
TIMEOUT Output|Trace |
| 54 |
Removed : -133 Changed : -1790 Time: 5.88837 Output|Trace |
Removed : -350 Changed : -1018 Time: 54.6354 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 21.6974 Output|Trace |
TIMEOUT Output|Trace |
| 55 |
Removed : -115 Changed : -1058 Time: 4.04825 Output|Trace |
Removed : -343 Changed : -980 Time: 11.4687 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -15 Time: 21.2293 Output|Trace |
TIMEOUT Output|Trace |
| 56 |
Removed : 0 Changed : -10 Time: 0.576035 Output|Trace |
Removed : 0 Changed : -10 Time: 0.872054 Output|Trace |
Removed : 0 Changed : -10 Time: 0.580035 Output|Trace |
Removed : 0 Changed : -10 Time: 21.1093 Output|Trace |
Removed : 0 Changed : -10 Time: 5.38433 Output|Trace |
| 57 |
Removed : -115 Changed : -1057 Time: 4.16426 Output|Trace |
Removed : -345 Changed : -975 Time: 13.2648 Output|Trace |
Removed : 0 Changed : -15 Time: 0.584035 Output|Trace |
Removed : 0 Changed : -14 Time: 20.9253 Output|Trace |
TIMEOUT Output|Trace |
| 58 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -12 Time: 41.4893 Output|Trace |
TIMEOUT Output|Trace |
| 59 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -32 Time: 21.5253 Output|Trace |
TIMEOUT Output|Trace |
| 60 |
ABORT Output|Trace |
Removed : -347 Changed : -981 Time: 14.0209 Output|Trace |
ABORT Output|Trace |
Removed : -4 Changed : -13 Time: 21.6734 Output|Trace |
TIMEOUT Output|Trace |
| 61 |
Removed : -107 Changed : -1115 Time: 4.34827 Output|Trace |
Removed : -343 Changed : -981 Time: 11.4407 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -13 Time: 20.9133 Output|Trace |
TIMEOUT Output|Trace |
| 62 |
Removed : -114 Changed : -1074 Time: 4.26027 Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -29 Time: 0.588036 Output|Trace |
Removed : 0 Changed : -23 Time: 21.4533 Output|Trace |
TIMEOUT Output|Trace |
| 63 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -12 Time: 20.8013 Output|Trace |
TIMEOUT Output|Trace |
| 64 |
ABORT Output|Trace |
Removed : -86 Changed : -103 Time: 3.2642 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 20.8613 Output|Trace |
TIMEOUT Output|Trace |
| 65 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : 0 Changed : -23 Time: 21.8974 Output|Trace |
TIMEOUT Output|Trace |
| 66 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -1 Changed : -61 Time: 0.612037 Output|Trace |
Removed : 0 Changed : -43 Time: 21.4853 Output|Trace |
TIMEOUT Output|Trace |
| 67 |
Removed : -155 Changed : -609 Time: 2.60816 Output|Trace |
Removed : -81 Changed : -103 Time: 3.31221 Output|Trace |
Removed : -1 Changed : -34 Time: 0.612038 Output|Trace |
Removed : 0 Changed : -4 Time: 21.1893 Output|Trace |
TIMEOUT Output|Trace |
| 68 |
Removed : -115 Changed : -1058 Time: 4.08425 Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -33 Time: 0.588036 Output|Trace |
Removed : 0 Changed : -16 Time: 21.5893 Output|Trace |
TIMEOUT Output|Trace |
| 69 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -26 Time: 21.7334 Output|Trace |
TIMEOUT Output|Trace |
| 70 |
Removed : -115 Changed : -1064 Time: 4.10826 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -18 Time: 21.1293 Output|Trace |
TIMEOUT Output|Trace |
| 71 |
Removed : -115 Changed : -1050 Time: 4.05225 Output|Trace |
Removed : -343 Changed : -972 Time: 11.3167 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -16 Time: 21.6494 Output|Trace |
TIMEOUT Output|Trace |
| 72 |
Removed : -155 Changed : -603 Time: 2.59216 Output|Trace |
Removed : -81 Changed : -91 Time: 3.28421 Output|Trace |
Removed : 0 Changed : -11 Time: 0.584036 Output|Trace |
Removed : 0 Changed : -6 Time: 20.6853 Output|Trace |
TIMEOUT Output|Trace |
| 73 |
Removed : -108 Changed : -1119 Time: 4.34427 Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -27 Time: 0.604037 Output|Trace |
Removed : 0 Changed : -11 Time: 20.8173 Output|Trace |
TIMEOUT Output|Trace |
| 74 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -7 Time: 20.7453 Output|Trace |
TIMEOUT Output|Trace |
| 75 |
Removed : -111 Changed : -1048 Time: 4.00025 Output|Trace |
Removed : -343 Changed : -972 Time: 10.7567 Output|Trace |
Removed : 0 Changed : -10 Time: 0.580036 Output|Trace |
Removed : 0 Changed : -10 Time: 20.7093 Output|Trace |
TIMEOUT Output|Trace |
| 76 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -24 Time: 21.7334 Output|Trace |
TIMEOUT Output|Trace |
| 77 |
Removed : -155 Changed : -616 Time: 2.68817 Output|Trace |
Removed : -81 Changed : -123 Time: 3.2202 Output|Trace |
Removed : -1 Changed : -46 Time: 0.632039 Output|Trace |
Removed : 0 Changed : -8 Time: 20.9053 Output|Trace |
TIMEOUT Output|Trace |
| 78 |
Removed : -116 Changed : -1024 Time: 4.14026 Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : 0 Changed : -18 Time: 21.3533 Output|Trace |
TIMEOUT Output|Trace |
| 79 |
Removed : -109 Changed : -1114 Time: 4.40827 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 21.1733 Output|Trace |
TIMEOUT Output|Trace |
| 80 |
Removed : -116 Changed : -1058 Time: 4.22826 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 21.3973 Output|Trace |
TIMEOUT Output|Trace |
| 81 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
Removed : 0 Changed : -16 Time: 21.2213 Output|Trace |
TIMEOUT Output|Trace |
| 82 |
Removed : -106 Changed : -1131 Time: 4.39627 Output|Trace |
Removed : -344 Changed : -986 Time: 18.3251 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -24 Time: 21.4013 Output|Trace |
TIMEOUT Output|Trace |
| 83 |
Removed : -116 Changed : -1063 Time: 4.32027 Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : 0 Changed : -13 Time: 0.584036 Output|Trace |
Removed : 0 Changed : -13 Time: 21.1853 Output|Trace |
TIMEOUT Output|Trace |
| 84 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -26 Time: 22.6334 Output|Trace |
TIMEOUT Output|Trace |
| 85 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -6 Time: 20.9333 Output|Trace |
TIMEOUT Output|Trace |
| 86 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -8 Time: 21.0093 Output|Trace |
TIMEOUT Output|Trace |
| 87 |
Removed : -156 Changed : -622 Time: 2.71617 Output|Trace |
Removed : -82 Changed : -127 Time: 3.38421 Output|Trace |
TIMEOUT Output|Trace |
Removed : 0 Changed : -9 Time: 21.0493 Output|Trace |
TIMEOUT Output|Trace |
| 88 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -27 Time: 21.4733 Output|Trace |
TIMEOUT Output|Trace |
| 89 |
Removed : -115 Changed : -1068 Time: 4.21626 Output|Trace |
NOTSOL Output|Trace SolCheck |
Removed : -1 Changed : -54 Time: 0.872054 Output|Trace |
Removed : 0 Changed : -15 Time: 26.2696 Output|Trace |
TIMEOUT Output|Trace |
| 90 |
Removed : -156 Changed : -614 Time: 2.69217 Output|Trace |
Removed : -82 Changed : -101 Time: 3.41621 Output|Trace |
Removed : -1 Changed : -31 Time: 0.608037 Output|Trace |
Removed : 0 Changed : -10 Time: 20.6053 Output|Trace |
TIMEOUT Output|Trace |
| 91 |
ABORT Output|Trace |
Removed : -342 Changed : -970 Time: 11.1567 Output|Trace |
TIMEOUT Output|Trace |
Removed : 0 Changed : -7 Time: 20.9213 Output|Trace |
TIMEOUT Output|Trace |
| 92 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -27 Time: 21.7174 Output|Trace |
TIMEOUT Output|Trace |
| 93 |
Removed : -115 Changed : -1059 Time: 4.20426 Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -11 Time: 20.8173 Output|Trace |
TIMEOUT Output|Trace |
| 94 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -25 Time: 22.2494 Output|Trace |
TIMEOUT Output|Trace |
| 95 |
Removed : -115 Changed : -1058 Time: 4.21226 Output|Trace |
Removed : -343 Changed : -981 Time: 10.9327 Output|Trace |
TIMEOUT Output|Trace |
Removed : 0 Changed : -10 Time: 20.9253 Output|Trace |
TIMEOUT Output|Trace |
| 96 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -28 Time: 22.2774 Output|Trace |
TIMEOUT Output|Trace |
| 97 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -33 Time: 21.3773 Output|Trace |
TIMEOUT Output|Trace |
| 98 |
Removed : -115 Changed : -1048 Time: 4.22826 Output|Trace |
Removed : -343 Changed : -970 Time: 11.3887 Output|Trace |
ABORT Output|Trace |
Removed : 0 Changed : -6 Time: 20.9333 Output|Trace |
TIMEOUT Output|Trace |
| 99 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : 0 Changed : -10 Time: 20.9213 Output|Trace |
TIMEOUT Output|Trace |
| 100 |
Removed : -155 Changed : -613 Time: 2.66417 Output|Trace |
Removed : -81 Changed : -107 Time: 3.2002 Output|Trace |
Removed : -1 Changed : -31 Time: 0.604037 Output|Trace |
Removed : 0 Changed : -9 Time: 20.9173 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 |
ABORT Output|Trace |
Removed : -20 Changed : -20 Time: 3.92425 Output|Trace |
ABORT Output|Trace |
Removed : -19 Changed : -21 Time: 21.0893 Output|Trace |
TIMEOUT Output|Trace |
| 103 |
Removed : -457 Changed : -881 Time: 2.94018 Output|Trace |
Removed : -458 Changed : -458 Time: 5.75636 Output|Trace |
ABORT Output|Trace |
Removed : -394 Changed : -617 Time: 26.0296 Output|Trace |
TIMEOUT Output|Trace |
| 104 |
Removed : -160 Changed : -536 Time: 2.52416 Output|Trace |
Removed : -45 Changed : -45 Time: 3.74023 Output|Trace |
ABORT Output|Trace |
Removed : -42 Changed : -200 Time: 22.9214 Output|Trace |
TIMEOUT Output|Trace |
| 105 |
Removed : -142 Changed : -533 Time: 2.54816 Output|Trace |
Removed : -590 Changed : -590 Time: 7.65248 Output|Trace |
ABORT Output|Trace |
Removed : -61 Changed : -590 Time: 26.6657 Output|Trace |
TIMEOUT Output|Trace |
| 106 |
Removed : -434 Changed : -798 Time: 2.61216 Output|Trace |
Removed : -406 Changed : -406 Time: 5.33633 Output|Trace |
ABORT Output|Trace |
Removed : -374 Changed : -527 Time: 25.2136 Output|Trace |
TIMEOUT Output|Trace |
| 107 |
Removed : -95 Changed : -332 Time: 1.97212 Output|Trace |
Removed : -22 Changed : -22 Time: 6.46621 Output|Trace |
ABORT Output|Trace |
Removed : -17 Changed : -227 Time: 23.1614 Output|Trace |
TIMEOUT Output|Trace |
| 108 |
ABORT Output|Trace |
Removed : -18 Changed : -18 Time: 3.72823 Output|Trace |
ABORT Output|Trace |
Removed : -16 Changed : -17 Time: 21.0573 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 |
ABORT Output|Trace |
Removed : -31 Changed : -31 Time: 3.61623 Output|Trace |
ABORT Output|Trace |
Removed : -28 Changed : -140 Time: 22.2854 Output|Trace |
TIMEOUT Output|Trace |
| 112 |
ABORT Output|Trace |
Removed : -27 Changed : -27 Time: 3.30421 Output|Trace |
ABORT Output|Trace |
Removed : -16 Changed : -20 Time: 20.9813 Output|Trace |
TIMEOUT Output|Trace |
| 113 |
Removed : -163 Changed : -609 Time: 2.76017 Output|Trace |
Removed : -27 Changed : -27 Time: 3.64823 Output|Trace |
ABORT Output|Trace |
Removed : -19 Changed : -23 Time: 21.1093 Output|Trace |
TIMEOUT Output|Trace |
| 114 |
Removed : -121 Changed : -679 Time: 2.93618 Output|Trace |
Removed : -40 Changed : -40 Time: 3.32421 Output|Trace |
ABORT Output|Trace |
Removed : -20 Changed : -217 Time: 23.0974 Output|Trace |
TIMEOUT Output|Trace |
| 115 |
ABORT Output|Trace |
Removed : -38 Changed : -38 Time: 3.43621 Output|Trace |
ABORT Output|Trace |
Removed : -37 Changed : -57 Time: 21.6093 Output|Trace |
TIMEOUT Output|Trace |
| 116 |
Removed : -344 Changed : -581 Time: 2.03213 Output|Trace |
Removed : -278 Changed : -278 Time: 5.80036 Output|Trace |
ABORT Output|Trace |
Removed : -275 Changed : -280 Time: 23.2535 Output|Trace |
TIMEOUT Output|Trace |
| 117 |
Removed : -163 Changed : -856 Time: 3.96825 Output|Trace |
Removed : -22 Changed : -22 Time: 3.52022 Output|Trace |
ABORT Output|Trace |
Removed : -22 Changed : -22 Time: 21.0973 Output|Trace |
TIMEOUT Output|Trace |
| 118 |
Removed : -400 Changed : -929 Time: 3.1922 Output|Trace |
Removed : -261 Changed : -261 Time: 4.48428 Output|Trace |
ABORT Output|Trace |
Removed : -40 Changed : -918 Time: 29.9059 Output|Trace |
TIMEOUT Output|Trace |
| 119 |
ABORT Output|Trace |
Removed : -18 Changed : -31 Time: 4.37627 Output|Trace |
ABORT Output|Trace |
Removed : -17 Changed : -22 Time: 20.9093 Output|Trace |
TIMEOUT Output|Trace |
| 120 |
Removed : -231 Changed : -641 Time: 2.83618 Output|Trace |
Removed : -154 Changed : -154 Time: 4.47228 Output|Trace |
ABORT Output|Trace |
Removed : -125 Changed : -251 Time: 23.2295 Output|Trace |
TIMEOUT Output|Trace |
| 121 |
Removed : -446 Changed : -671 Time: 2.52016 Output|Trace |
Removed : -422 Changed : -422 Time: 6.26439 Output|Trace |
ABORT Output|Trace |
Removed : -392 Changed : -472 Time: 25.0296 Output|Trace |
TIMEOUT Output|Trace |
| 122 |
ABORT Output|Trace |
Removed : -12 Changed : -12 Time: 3.65623 Output|Trace |
ABORT Output|Trace |
Removed : -12 Changed : -12 Time: 20.8653 Output|Trace |
TIMEOUT Output|Trace |
| 123 |
Removed : -447 Changed : -809 Time: 3.01219 Output|Trace |
Removed : -413 Changed : -413 Time: 7.49247 Output|Trace |
ABORT Output|Trace |
Removed : -278 Changed : -1014 Time: 29.0658 Output|Trace |
TIMEOUT Output|Trace |
| 124 |
Removed : -380 Changed : -792 Time: 2.59616 Output|Trace |
Removed : -337 Changed : -337 Time: 6.4564 Output|Trace |
ABORT Output|Trace |
Removed : -219 Changed : -1045 Time: 28.9818 Output|Trace |
TIMEOUT Output|Trace |
| 125 |
Removed : -156 Changed : -776 Time: 3.72023 Output|Trace |
Removed : -269 Changed : -269 Time: 5.19632 Output|Trace |
ABORT Output|Trace |
Removed : -23 Changed : -327 Time: 23.7455 Output|Trace |
TIMEOUT Output|Trace |
| 126 |
Removed : -366 Changed : -738 Time: 2.47615 Output|Trace |
Removed : -264 Changed : -264 Time: 4.67629 Output|Trace |
ABORT Output|Trace |
Removed : -149 Changed : -1130 Time: 31.314 Output|Trace |
TIMEOUT Output|Trace |
| 127 |
ABORT Output|Trace |
Removed : -18 Changed : -18 Time: 3.84824 Output|Trace |
ABORT Output|Trace |
Removed : -15 Changed : -73 Time: 21.7774 Output|Trace |
TIMEOUT Output|Trace |
| 128 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 129 |
ABORT Output|Trace |
Removed : -33 Changed : -33 Time: 3.36021 Output|Trace |
TIMEOUT Output|Trace |
Removed : -28 Changed : -61 Time: 21.5733 Output|Trace |
TIMEOUT Output|Trace |
| 130 |
ABORT Output|Trace |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 131 |
Removed : -478 Changed : -627 Time: 1.81211 Output|Trace |
Removed : -429 Changed : -429 Time: 6.74042 Output|Trace |
ABORT Output|Trace |
Removed : -421 Changed : -466 Time: 25.1296 Output|Trace |
TIMEOUT Output|Trace |
| 132 |
Removed : -455 Changed : -819 Time: 2.73217 Output|Trace |
Removed : -425 Changed : -425 Time: 5.51234 Output|Trace |
ABORT Output|Trace |
Removed : -282 Changed : -1050 Time: 29.5538 Output|Trace |
TIMEOUT Output|Trace |
| 133 |
ABORT Output|Trace |
Removed : -279 Changed : -279 Time: 4.40827 Output|Trace |
ABORT Output|Trace |
Removed : -270 Changed : -568 Time: 26.5457 Output|Trace |
TIMEOUT Output|Trace |
| 134 |
Removed : -392 Changed : -989 Time: 3.76824 Output|Trace |
Removed : -305 Changed : -305 Time: 6.15238 Output|Trace |
ABORT Output|Trace |
Removed : -284 Changed : -572 Time: 26.3296 Output|Trace |
TIMEOUT Output|Trace |
| 135 |
Removed : -446 Changed : -665 Time: 2.55616 Output|Trace |
Removed : -420 Changed : -420 Time: 5.92037 Output|Trace |
ABORT Output|Trace |
Removed : -390 Changed : -470 Time: 25.0056 Output|Trace |
TIMEOUT Output|Trace |
| 136 |
ABORT Output|Trace |
Removed : -19 Changed : -19 Time: 4.12826 Output|Trace |
ABORT Output|Trace |
Removed : -16 Changed : -356 Time: 24.7535 Output|Trace |
TIMEOUT Output|Trace |
| 137 |
Removed : -372 Changed : -1075 Time: 4.15226 Output|Trace |
Removed : -337 Changed : -337 Time: 5.56835 Output|Trace |
ABORT Output|Trace |
Removed : -204 Changed : -1256 Time: 32.554 Output|Trace |
TIMEOUT Output|Trace |
| 138 |
Removed : -447 Changed : -857 Time: 2.80017 Output|Trace |
Removed : -404 Changed : -404 Time: 5.38034 Output|Trace |
ABORT Output|Trace |
Removed : -373 Changed : -515 Time: 25.3456 Output|Trace |
TIMEOUT Output|Trace |
| 139 |
Removed : -126 Changed : -611 Time: 2.60016 Output|Trace |
Removed : -34 Changed : -34 Time: 5.22433 Output|Trace |
ABORT Output|Trace |
Removed : -34 Changed : -34 Time: 21.1453 Output|Trace |
TIMEOUT Output|Trace |
| 140 |
Removed : -435 Changed : -734 Time: 2.44815 Output|Trace |
Removed : -423 Changed : -423 Time: 6.93243 Output|Trace |
ABORT Output|Trace |
Removed : -279 Changed : -1049 Time: 29.2738 Output|Trace |
TIMEOUT Output|Trace |
| 141 |
ABORT Output|Trace |
Removed : -27 Changed : -27 Time: 4.00025 Output|Trace |
ABORT Output|Trace |
Removed : -25 Changed : -29 Time: 20.7973 Output|Trace |
TIMEOUT Output|Trace |
| 142 |
Removed : -499 Changed : -737 Time: 2.36015 Output|Trace |
Removed : -456 Changed : -456 Time: 6.64842 Output|Trace |
ABORT Output|Trace |
Removed : -442 Changed : -509 Time: 24.4775 Output|Trace |
TIMEOUT Output|Trace |
| 143 |
Removed : -485 Changed : -757 Time: 2.60816 Output|Trace |
Removed : -444 Changed : -444 Time: 7.04444 Output|Trace |
TIMEOUT Output|Trace |
Removed : -414 Changed : -497 Time: 25.3096 Output|Trace |
TIMEOUT Output|Trace |
| 144 |
Removed : -394 Changed : -827 Time: 3.00419 Output|Trace |
Removed : -340 Changed : -340 Time: 5.72036 Output|Trace |
ABORT Output|Trace |
Removed : -268 Changed : -444 Time: 24.9656 Output|Trace |
TIMEOUT Output|Trace |
| 145 |
Removed : -450 Changed : -797 Time: 2.58816 Output|Trace |
Removed : -412 Changed : -412 Time: 5.64035 Output|Trace |
ABORT Output|Trace |
Removed : -181 Changed : -951 Time: 29.3058 Output|Trace |
TIMEOUT Output|Trace |
| 146 |
Removed : -559 Changed : -925 Time: 3.10819 Output|Trace |
Removed : -475 Changed : -475 Time: 6.52441 Output|Trace |
ABORT Output|Trace |
Removed : -410 Changed : -635 Time: 25.4336 Output|Trace |
TIMEOUT Output|Trace |
| 147 |
Removed : -448 Changed : -680 Time: 2.46815 Output|Trace |
Removed : -427 Changed : -427 Time: 6.14438 Output|Trace |
ABORT Output|Trace |
Removed : -392 Changed : -486 Time: 24.5455 Output|Trace |
TIMEOUT Output|Trace |
| 148 |
ABORT Output|Trace |
Removed : -54 Changed : -54 Time: 3.60823 Output|Trace |
TIMEOUT Output|Trace |
Removed : -53 Changed : -57 Time: 20.4613 Output|Trace |
TIMEOUT Output|Trace |
| 149 |
ABORT Output|Trace |
Removed : -41 Changed : -41 Time: 4.12426 Output|Trace |
ABORT Output|Trace |
Removed : -25 Changed : -79 Time: 21.1773 Output|Trace |
TIMEOUT Output|Trace |
| 150 |
ABORT Output|Trace |
ABORT Output|Trace |
TIMEOUT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 151 |
ABORT Output|Trace |
Removed : -35 Changed : -35 Time: 3.96025 Output|Trace |
ABORT Output|Trace |
Removed : -15 Changed : -114 Time: 21.7414 Output|Trace |
TIMEOUT Output|Trace |
| 152 |
ABORT Output|Trace |
Removed : -30 Changed : -30 Time: 3.68023 Output|Trace |
ABORT Output|Trace |
Removed : -30 Changed : -30 Time: 20.4573 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 : -133 Changed : -790 Time: 3.58822 Output|Trace |
Removed : -350 Changed : -350 Time: 4.72829 Output|Trace |
ABORT Output|Trace |
Removed : -43 Changed : -636 Time: 28.1658 Output|Trace |
TIMEOUT Output|Trace |
| 155 |
Removed : -126 Changed : -784 Time: 4.18826 Output|Trace |
Removed : -349 Changed : -349 Time: 5.49234 Output|Trace |
ABORT Output|Trace |
Removed : -41 Changed : -640 Time: 28.9378 Output|Trace |
TIMEOUT Output|Trace |
| 156 |
ABORT Output|Trace |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |
| 157 |
ABORT Output|Trace |
Removed : -24 Changed : -24 Time: 3.1202 Output|Trace |
ABORT Output|Trace |
Removed : -23 Changed : -115 Time: 22.7534 Output|Trace |
TIMEOUT Output|Trace |
| 158 |
ABORT Output|Trace |
Removed : -131 Changed : -131 Time: 3.90824 Output|Trace |
ABORT Output|Trace |
Removed : -43 Changed : -81 Time: 21.8294 Output|Trace |
TIMEOUT Output|Trace |
| 159 |
ABORT Output|Trace |
Removed : -27 Changed : -27 Time: 4.65229 Output|Trace |
ABORT Output|Trace |
Removed : -27 Changed : -27 Time: 21.1813 Output|Trace |
TIMEOUT Output|Trace |
| 160 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
Removed : -39 Changed : -82 Time: 21.2133 Output|Trace |
TIMEOUT Output|Trace |
| 161 |
Removed : -216 Changed : -567 Time: 2.48816 Output|Trace |
Removed : -154 Changed : -154 Time: 3.84824 Output|Trace |
ABORT Output|Trace |
Removed : -123 Changed : -279 Time: 22.8574 Output|Trace |
TIMEOUT Output|Trace |
| 162 |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
TIMEOUT Output|Trace |