| 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  |