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