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