problem n aptget aptitude cupt mpm smart
1 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -10
Time: 22.0934
Output|Trace
TIMEOUT
Output|Trace
2 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -43
Time: 22.9054
Output|Trace
TIMEOUT
Output|Trace
3 Removed : -155
Changed : -612
Time: 2.74017
Output|Trace
Removed : -81
Changed : -97
Time: 3.83224
Output|Trace
Removed : -1
Changed : -22
Time: 0.708043
Output|Trace
Removed : 0
Changed : -12
Time: 22.3814
Output|Trace
TIMEOUT
Output|Trace
4 Removed : -118
Changed : -1089
Time: 4.24027
Output|Trace
Removed : -343
Changed : -969
Time: 23.9255
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -8
Time: 22.7334
Output|Trace
TIMEOUT
Output|Trace
5 ABORT
Output|Trace
Removed : -342
Changed : -1013
Time: 18.9372
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -7
Time: 22.6734
Output|Trace
TIMEOUT
Output|Trace
6 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -16
Time: 22.5214
Output|Trace
TIMEOUT
Output|Trace
7 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -16
Time: 22.8214
Output|Trace
TIMEOUT
Output|Trace
8 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -23
Time: 23.4975
Output|Trace
TIMEOUT
Output|Trace
9 Removed : -119
Changed : -1103
Time: 4.26827
Output|Trace
Removed : -344
Changed : -994
Time: 33.7461
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -14
Time: 22.9014
Output|Trace
TIMEOUT
Output|Trace
10 Removed : -155
Changed : -607
Time: 2.74017
Output|Trace
Removed : -81
Changed : -95
Time: 3.84424
Output|Trace
Removed : -1
Changed : -27
Time: 0.708043
Output|Trace
Removed : 0
Changed : -8
Time: 22.3574
Output|Trace
TIMEOUT
Output|Trace
11 Removed : -118
Changed : -1079
Time: 4.25227
Output|Trace
Removed : -343
Changed : -968
Time: 23.8575
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -5
Time: 22.6974
Output|Trace
TIMEOUT
Output|Trace
12 Removed : -117
Changed : -1076
Time: 4.34427
Output|Trace
Removed : -28
Changed : -670
Time: 114.351
Output|Trace
Removed : 0
Changed : -9
Time: 0.724044
Output|Trace
Removed : 0
Changed : -6
Time: 21.8534
Output|Trace
TIMEOUT
Output|Trace
13 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -10
Time: 22.6014
Output|Trace
TIMEOUT
Output|Trace
14 Removed : -155
Changed : -607
Time: 2.74417
Output|Trace
Removed : -81
Changed : -112
Time: 3.80424
Output|Trace
Removed : -1
Changed : -43
Time: 0.728045
Output|Trace
Removed : 0
Changed : -7
Time: 22.4894
Output|Trace
TIMEOUT
Output|Trace
15 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : -4
Changed : -16
Time: 22.4414
Output|Trace
TIMEOUT
Output|Trace
16 Removed : -155
Changed : -607
Time: 2.78817
Output|Trace
Removed : -81
Changed : -92
Time: 3.82424
Output|Trace
Removed : -1
Changed : -14
Time: 0.708043
Output|Trace
Removed : 0
Changed : -6
Time: 22.3814
Output|Trace
TIMEOUT
Output|Trace
17 Removed : -155
Changed : -618
Time: 2.79617
Output|Trace
Removed : -81
Changed : -165
Time: 3.92825
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -15
Time: 22.8774
Output|Trace
TIMEOUT
Output|Trace
18 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -12
Time: 22.0934
Output|Trace
TIMEOUT
Output|Trace
19 Removed : -118
Changed : -1081
Time: 4.40027
Output|Trace
Removed : -343
Changed : -970
Time: 23.7015
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -7
Time: 21.8374
Output|Trace
TIMEOUT
Output|Trace
20 Removed : -118
Changed : -1103
Time: 4.34827
Output|Trace
Removed : -343
Changed : -993
Time: 23.9455
Output|Trace
Removed : 0
Changed : -33
Time: 0.716044
Output|Trace
Removed : 0
Changed : -18
Time: 22.3574
Output|Trace
TIMEOUT
Output|Trace
21 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -25
Time: 22.2494
Output|Trace
TIMEOUT
Output|Trace
22 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -13
Time: 21.8414
Output|Trace
TIMEOUT
Output|Trace
23 Removed : -120
Changed : -1089
Time: 4.46828
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -6
Time: 22.0614
Output|Trace
TIMEOUT
Output|Trace
24 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
Removed : 0
Changed : -22
Time: 0.696042
Output|Trace
Removed : 0
Changed : -12
Time: 22.1494
Output|Trace
TIMEOUT
Output|Trace
25 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -9
Time: 22.0454
Output|Trace
TIMEOUT
Output|Trace
26 Removed : -338
Changed : -1349
Time: 4.51228
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -7
Time: 21.7014
Output|Trace
TIMEOUT
Output|Trace
27 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -5
Time: 22.7254
Output|Trace
TIMEOUT
Output|Trace
28 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -24
Time: 22.9614
Output|Trace
TIMEOUT
Output|Trace
29 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -15
Time: 22.4494
Output|Trace
TIMEOUT
Output|Trace
30 Removed : -110
Changed : -1147
Time: 4.45228
Output|Trace
Removed : -343
Changed : -973
Time: 23.9335
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -8
Time: 23.2815
Output|Trace
TIMEOUT
Output|Trace
31 ABORT
Output|Trace
Removed : -341
Changed : -970
Time: 15.837
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -5
Time: 21.6814
Output|Trace
TIMEOUT
Output|Trace
32 Removed : -118
Changed : -1080
Time: 4.29227
Output|Trace
Removed : -343
Changed : -969
Time: 23.6095
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -6
Time: 21.5773
Output|Trace
TIMEOUT
Output|Trace
33 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -8
Time: 21.7574
Output|Trace
TIMEOUT
Output|Trace
34 Removed : -118
Changed : -1110
Time: 4.36827
Output|Trace
Removed : -343
Changed : -993
Time: 23.6415
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -16
Time: 21.9374
Output|Trace
TIMEOUT
Output|Trace
35 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -17
Time: 22.9774
Output|Trace
TIMEOUT
Output|Trace
36 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -20
Time: 22.4734
Output|Trace
TIMEOUT
Output|Trace
37 Removed : -110
Changed : -1170
Time: 4.54828
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -22
Time: 22.5694
Output|Trace
TIMEOUT
Output|Trace
38 Removed : -118
Changed : -1082
Time: 4.29627
Output|Trace
Removed : -343
Changed : -974
Time: 23.3495
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -5
Time: 21.9854
Output|Trace
TIMEOUT
Output|Trace
39 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -13
Time: 21.8814
Output|Trace
TIMEOUT
Output|Trace
40 Removed : -110
Changed : -1228
Time: 4.70029
Output|Trace
Removed : -344
Changed : -1055
Time: 25.0136
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -14
Time: 22.6534
Output|Trace
TIMEOUT
Output|Trace
41 Removed : -110
Changed : -1150
Time: 4.52828
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -10
Time: 22.5734
Output|Trace
TIMEOUT
Output|Trace
42 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
Removed : 0
Changed : -18
Time: 0.700043
Output|Trace
Removed : 0
Changed : -9
Time: 22.5294
Output|Trace
TIMEOUT
Output|Trace
43 Removed : -119
Changed : -1086
Time: 4.39227
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -9
Time: 23.0094
Output|Trace
TIMEOUT
Output|Trace
44 Removed : -156
Changed : -628
Time: 2.83218
Output|Trace
Removed : -82
Changed : -129
Time: 3.92825
Output|Trace
Removed : 0
Changed : -43
Time: 0.704044
Output|Trace
Removed : 0
Changed : -22
Time: 22.9614
Output|Trace
TIMEOUT
Output|Trace
45 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -10
Time: 22.8134
Output|Trace
TIMEOUT
Output|Trace
46 Removed : -118
Changed : -1092
Time: 4.39627
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -11
Time: 23.3815
Output|Trace
TIMEOUT
Output|Trace
47 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
Removed : -1
Changed : -40
Time: 0.700043
Output|Trace
Removed : 0
Changed : -9
Time: 22.6214
Output|Trace
TIMEOUT
Output|Trace
48 Removed : -57
Changed : -1166
Time: 4.58829
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -13
Time: 23.7135
Output|Trace
TIMEOUT
Output|Trace
49 Removed : -122
Changed : -1096
Time: 4.36027
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : -4
Changed : -17
Time: 24.0415
Output|Trace
TIMEOUT
Output|Trace
50 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -8
Time: 22.6054
Output|Trace
TIMEOUT
Output|Trace
51 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -13
Time: 22.9214
Output|Trace
TIMEOUT
Output|Trace
52 ABORT
Output|Trace
Removed : -335
Changed : -999
Time: 17.7131
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -39
Time: 23.4215
Output|Trace
TIMEOUT
Output|Trace
53 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -22
Time: 23.4695
Output|Trace
TIMEOUT
Output|Trace
54 Removed : -133
Changed : -1812
Time: 6.22439
Output|Trace
Removed : -350
Changed : -1018
Time: 131.896
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -7
Time: 22.8414
Output|Trace
TIMEOUT
Output|Trace
55 Removed : -118
Changed : -1091
Time: 4.33627
Output|Trace
Removed : -343
Changed : -980
Time: 23.8335
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -15
Time: 22.6774
Output|Trace
TIMEOUT
Output|Trace
56 Removed : 0
Changed : -10
Time: 0.616038
Output|Trace
Removed : 0
Changed : -10
Time: 0.992061
Output|Trace
Removed : 0
Changed : -10
Time: 0.688042
Output|Trace
Removed : 0
Changed : -10
Time: 22.8054
Output|Trace
Removed : 0
Changed : -10
Time: 5.67635
Output|Trace
57 Removed : -118
Changed : -1090
Time: 4.48828
Output|Trace
Removed : -345
Changed : -975
Time: 28.6458
Output|Trace
Removed : 0
Changed : -15
Time: 0.692043
Output|Trace
Removed : 0
Changed : -14
Time: 22.5574
Output|Trace
TIMEOUT
Output|Trace
58 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -12
Time: 22.4414
Output|Trace
TIMEOUT
Output|Trace
59 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -32
Time: 23.3055
Output|Trace
TIMEOUT
Output|Trace
60 ABORT
Output|Trace
Removed : -347
Changed : -981
Time: 28.6778
Output|Trace
ABORT
Output|Trace
Removed : -4
Changed : -13
Time: 23.5775
Output|Trace
TIMEOUT
Output|Trace
61 Removed : -110
Changed : -1148
Time: 4.69229
Output|Trace
Removed : -343
Changed : -981
Time: 23.7895
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -13
Time: 22.7974
Output|Trace
TIMEOUT
Output|Trace
62 Removed : -117
Changed : -1105
Time: 4.61629
Output|Trace
NOTSOL
Output|Trace
SolCheck
Removed : 0
Changed : -29
Time: 0.696043
Output|Trace
Removed : 0
Changed : -23
Time: 23.2815
Output|Trace
TIMEOUT
Output|Trace
63 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -12
Time: 22.6014
Output|Trace
TIMEOUT
Output|Trace
64 ABORT
Output|Trace
Removed : -86
Changed : -103
Time: 3.51222
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -8
Time: 22.4494
Output|Trace
TIMEOUT
Output|Trace
65 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -23
Time: 23.2735
Output|Trace
TIMEOUT
Output|Trace
66 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
Removed : -1
Changed : -61
Time: 0.716044
Output|Trace
Removed : 0
Changed : -43
Time: 23.4815
Output|Trace
TIMEOUT
Output|Trace
67 Removed : -155
Changed : -609
Time: 2.78817
Output|Trace
Removed : -81
Changed : -103
Time: 3.91224
Output|Trace
Removed : 0
Changed : -23
Time: 0.704043
Output|Trace
Removed : 0
Changed : -4
Time: 22.3894
Output|Trace
TIMEOUT
Output|Trace
68 Removed : -118
Changed : -1091
Time: 4.44828
Output|Trace
NOTSOL
Output|Trace
SolCheck
Removed : 0
Changed : -37
Time: 0.704044
Output|Trace
Removed : 0
Changed : -16
Time: 23.1014
Output|Trace
TIMEOUT
Output|Trace
69 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -26
Time: 23.1614
Output|Trace
TIMEOUT
Output|Trace
70 Removed : -118
Changed : -1097
Time: 4.44428
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -18
Time: 22.8174
Output|Trace
TIMEOUT
Output|Trace
71 Removed : -118
Changed : -1083
Time: 4.36027
Output|Trace
Removed : -343
Changed : -972
Time: 23.0894
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -16
Time: 23.3775
Output|Trace
TIMEOUT
Output|Trace
72 Removed : -155
Changed : -603
Time: 2.82818
Output|Trace
Removed : -81
Changed : -91
Time: 3.66423
Output|Trace
Removed : 0
Changed : -11
Time: 0.692043
Output|Trace
Removed : 0
Changed : -6
Time: 22.8454
Output|Trace
TIMEOUT
Output|Trace
73 Removed : -119
Changed : -1088
Time: 4.44028
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -11
Time: 23.2695
Output|Trace
TIMEOUT
Output|Trace
74 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -7
Time: 22.2734
Output|Trace
TIMEOUT
Output|Trace
75 Removed : -114
Changed : -1081
Time: 4.36427
Output|Trace
Removed : -343
Changed : -972
Time: 20.7173
Output|Trace
Removed : 0
Changed : -10
Time: 0.688042
Output|Trace
Removed : 0
Changed : -10
Time: 22.8814
Output|Trace
TIMEOUT
Output|Trace
76 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -24
Time: 23.2655
Output|Trace
TIMEOUT
Output|Trace
77 Removed : -155
Changed : -616
Time: 2.84018
Output|Trace
Removed : -81
Changed : -123
Time: 3.77224
Output|Trace
Removed : -1
Changed : -45
Time: 0.712044
Output|Trace
Removed : 0
Changed : -8
Time: 22.4374
Output|Trace
TIMEOUT
Output|Trace
78 Removed : -119
Changed : -1055
Time: 4.34427
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -18
Time: 23.4535
Output|Trace
TIMEOUT
Output|Trace
79 Removed : -112
Changed : -1147
Time: 4.55228
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -11
Time: 22.6014
Output|Trace
TIMEOUT
Output|Trace
80 Removed : -119
Changed : -1091
Time: 4.36427
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -11
Time: 23.5295
Output|Trace
TIMEOUT
Output|Trace
81 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -16
Time: 22.6134
Output|Trace
TIMEOUT
Output|Trace
82 Removed : -109
Changed : -1164
Time: 4.69629
Output|Trace
Removed : -344
Changed : -986
Time: 43.0867
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -24
Time: 23.1774
Output|Trace
TIMEOUT
Output|Trace
83 Removed : -119
Changed : -1096
Time: 4.57229
Output|Trace
NOTSOL
Output|Trace
SolCheck
Removed : 0
Changed : -13
Time: 0.684042
Output|Trace
Removed : 0
Changed : -13
Time: 22.7174
Output|Trace
TIMEOUT
Output|Trace
84 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -26
Time: 23.3255
Output|Trace
TIMEOUT
Output|Trace
85 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -6
Time: 22.3494
Output|Trace
TIMEOUT
Output|Trace
86 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -8
Time: 22.5374
Output|Trace
TIMEOUT
Output|Trace
87 Removed : -156
Changed : -622
Time: 2.82818
Output|Trace
Removed : -82
Changed : -127
Time: 3.84024
Output|Trace
ABORT
Output|Trace
Removed : 0
Changed : -9
Time: 22.4534
Output|Trace
TIMEOUT
Output|Trace
88 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -27
Time: 23.0094
Output|Trace
TIMEOUT
Output|Trace
89 Removed : -118
Changed : -1101
Time: 4.44428
Output|Trace
NOTSOL
Output|Trace
SolCheck
Removed : -1
Changed : -67
Time: 1.03606
Output|Trace
Removed : 0
Changed : -15
Time: 23.2255
Output|Trace
TIMEOUT
Output|Trace
90 Removed : -156
Changed : -614
Time: 2.78417
Output|Trace
Removed : -82
Changed : -101
Time: 3.88824
Output|Trace
Removed : -1
Changed : -31
Time: 0.704043
Output|Trace
Removed : 0
Changed : -10
Time: 22.3014
Output|Trace
TIMEOUT
Output|Trace
91 ABORT
Output|Trace
Removed : -342
Changed : -970
Time: 19.7772
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -7
Time: 22.4734
Output|Trace
TIMEOUT
Output|Trace
92 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -27
Time: 23.2455
Output|Trace
TIMEOUT
Output|Trace
93 Removed : -118
Changed : -1090
Time: 4.34427
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -11
Time: 22.7174
Output|Trace
TIMEOUT
Output|Trace
94 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -25
Time: 23.8415
Output|Trace
TIMEOUT
Output|Trace
95 Removed : -118
Changed : -1091
Time: 4.39227
Output|Trace
Removed : -343
Changed : -981
Time: 23.7015
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -10
Time: 22.6894
Output|Trace
TIMEOUT
Output|Trace
96 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -28
Time: 23.4975
Output|Trace
TIMEOUT
Output|Trace
97 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : 0
Changed : -33
Time: 23.1574
Output|Trace
TIMEOUT
Output|Trace
98 Removed : -118
Changed : -1081
Time: 4.32427
Output|Trace
Removed : -343
Changed : -970
Time: 23.9135
Output|Trace
TIMEOUT
Output|Trace
Removed : 0
Changed : -6
Time: 22.5094
Output|Trace
TIMEOUT
Output|Trace
99 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
Removed : 0
Changed : -10
Time: 22.6774
Output|Trace
TIMEOUT
Output|Trace
100 Removed : -155
Changed : -613
Time: 2.75617
Output|Trace
Removed : -81
Changed : -107
Time: 3.68823
Output|Trace
Removed : -1
Changed : -24
Time: 0.776048
Output|Trace
Removed : 0
Changed : -9
Time: 22.5774
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: 4.26427
Output|Trace
ABORT
Output|Trace
Removed : -19
Changed : -21
Time: 21.7734
Output|Trace
TIMEOUT
Output|Trace
103 Removed : -378
Changed : -959
Time: 3.2442
Output|Trace
Removed : -458
Changed : -458
Time: 6.32439
Output|Trace
TIMEOUT
Output|Trace
Removed : -293
Changed : -858
Time: 30.0099
Output|Trace
TIMEOUT
Output|Trace
104 Removed : -160
Changed : -536
Time: 2.44415
Output|Trace
Removed : -45
Changed : -45
Time: 3.82824
Output|Trace
ABORT
Output|Trace
Removed : -42
Changed : -200
Time: 23.9255
Output|Trace
TIMEOUT
Output|Trace
105 Removed : -142
Changed : -533
Time: 2.47215
Output|Trace
Removed : -590
Changed : -590
Time: 8.52053
Output|Trace
ABORT
Output|Trace
Removed : -61
Changed : -590
Time: 28.5738
Output|Trace
TIMEOUT
Output|Trace
106 Removed : -434
Changed : -798
Time: 2.60416
Output|Trace
Removed : -406
Changed : -406
Time: 6.19239
Output|Trace
ABORT
Output|Trace
Removed : -374
Changed : -527
Time: 27.5617
Output|Trace
TIMEOUT
Output|Trace
107 Removed : -95
Changed : -332
Time: 1.89612
Output|Trace
Removed : -22
Changed : -22
Time: 3.44821
Output|Trace
ABORT
Output|Trace
Removed : -17
Changed : -227
Time: 24.7535
Output|Trace
TIMEOUT
Output|Trace
108 ABORT
Output|Trace
Removed : -18
Changed : -18
Time: 4.68429
Output|Trace
TIMEOUT
Output|Trace
Removed : -16
Changed : -17
Time: 21.7254
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.70023
Output|Trace
ABORT
Output|Trace
Removed : -28
Changed : -140
Time: 23.5095
Output|Trace
TIMEOUT
Output|Trace
112 ABORT
Output|Trace
Removed : -27
Changed : -27
Time: 4.04025
Output|Trace
ABORT
Output|Trace
Removed : -16
Changed : -20
Time: 21.9574
Output|Trace
TIMEOUT
Output|Trace
113 Removed : -163
Changed : -609
Time: 2.71217
Output|Trace
Removed : -27
Changed : -27
Time: 4.96831
Output|Trace
ABORT
Output|Trace
Removed : -19
Changed : -23
Time: 22.0414
Output|Trace
TIMEOUT
Output|Trace
114 Removed : -121
Changed : -679
Time: 2.84018
Output|Trace
Removed : -40
Changed : -40
Time: 4.07625
Output|Trace
ABORT
Output|Trace
Removed : -20
Changed : -213
Time: 24.7775
Output|Trace
TIMEOUT
Output|Trace
115 ABORT
Output|Trace
Removed : -38
Changed : -38
Time: 4.17626
Output|Trace
ABORT
Output|Trace
Removed : -37
Changed : -57
Time: 23.4815
Output|Trace
TIMEOUT
Output|Trace
116 Removed : -344
Changed : -584
Time: 1.98012
Output|Trace
Removed : -278
Changed : -278
Time: 8.26852
Output|Trace
TIMEOUT
Output|Trace
Removed : -275
Changed : -280
Time: 25.1096
Output|Trace
TIMEOUT
Output|Trace
117 Removed : -162
Changed : -840
Time: 3.71623
Output|Trace
Removed : -22
Changed : -22
Time: 4.92431
Output|Trace
ABORT
Output|Trace
Removed : -22
Changed : -22
Time: 22.5814
Output|Trace
TIMEOUT
Output|Trace
118 Removed : -400
Changed : -929
Time: 3.05619
Output|Trace
Removed : -261
Changed : -261
Time: 6.3604
Output|Trace
ABORT
Output|Trace
Removed : -40
Changed : -918
Time: 32.542
Output|Trace
TIMEOUT
Output|Trace
119 ABORT
Output|Trace
Removed : -18
Changed : -31
Time: 5.06832
Output|Trace
ABORT
Output|Trace
Removed : -17
Changed : -22
Time: 22.6614
Output|Trace
TIMEOUT
Output|Trace
120 Removed : -231
Changed : -639
Time: 2.74817
Output|Trace
Removed : -154
Changed : -154
Time: 4.8683
Output|Trace
ABORT
Output|Trace
Removed : -125
Changed : -251
Time: 25.3536
Output|Trace
TIMEOUT
Output|Trace
121 Removed : -446
Changed : -671
Time: 2.42815
Output|Trace
Removed : -422
Changed : -422
Time: 6.91643
Output|Trace
ABORT
Output|Trace
Removed : -392
Changed : -472
Time: 27.1657
Output|Trace
TIMEOUT
Output|Trace
122 ABORT
Output|Trace
Removed : -12
Changed : -12
Time: 4.62429
Output|Trace
TIMEOUT
Output|Trace
Removed : -12
Changed : -12
Time: 23.2295
Output|Trace
TIMEOUT
Output|Trace
123 Removed : -447
Changed : -809
Time: 2.81618
Output|Trace
Removed : -413
Changed : -413
Time: 8.60454
Output|Trace
ABORT
Output|Trace
Removed : -278
Changed : -1014
Time: 32.494
Output|Trace
TIMEOUT
Output|Trace
124 Removed : -380
Changed : -792
Time: 2.53616
Output|Trace
Removed : -337
Changed : -337
Time: 8.19251
Output|Trace
ABORT
Output|Trace
Removed : -218
Changed : -1067
Time: 33.6061
Output|Trace
TIMEOUT
Output|Trace
125 Removed : -156
Changed : -776
Time: 3.53222
Output|Trace
Removed : -269
Changed : -269
Time: 6.10838
Output|Trace
TIMEOUT
Output|Trace
Removed : -23
Changed : -327
Time: 25.6936
Output|Trace
TIMEOUT
Output|Trace
126 Removed : -366
Changed : -738
Time: 2.48815
Output|Trace
Removed : -264
Changed : -264
Time: 4.7923
Output|Trace
ABORT
Output|Trace
Removed : -146
Changed : -1154
Time: 33.7701
Output|Trace
TIMEOUT
Output|Trace
127 ABORT
Output|Trace
Removed : -18
Changed : -18
Time: 4.06825
Output|Trace
TIMEOUT
Output|Trace
Removed : -15
Changed : -73
Time: 23.1254
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.83224
Output|Trace
ABORT
Output|Trace
Removed : -28
Changed : -61
Time: 22.5334
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.89212
Output|Trace
Removed : -429
Changed : -429
Time: 7.44046
Output|Trace
ABORT
Output|Trace
Removed : -421
Changed : -466
Time: 25.9496
Output|Trace
TIMEOUT
Output|Trace
132 Removed : -455
Changed : -819
Time: 2.90018
Output|Trace
Removed : -425
Changed : -425
Time: 6.5004
Output|Trace
ABORT
Output|Trace
Removed : -282
Changed : -1050
Time: 31.2019
Output|Trace
TIMEOUT
Output|Trace
133 ABORT
Output|Trace
Removed : -279
Changed : -279
Time: 4.59229
Output|Trace
ABORT
Output|Trace
Removed : -270
Changed : -564
Time: 27.3257
Output|Trace
TIMEOUT
Output|Trace
134 Removed : -392
Changed : -989
Time: 3.46822
Output|Trace
Removed : -305
Changed : -305
Time: 5.96437
Output|Trace
ABORT
Output|Trace
Removed : -284
Changed : -572
Time: 27.3897
Output|Trace
TIMEOUT
Output|Trace
135 Removed : -446
Changed : -665
Time: 2.43615
Output|Trace
Removed : -420
Changed : -420
Time: 7.27645
Output|Trace
TIMEOUT
Output|Trace
Removed : -390
Changed : -470
Time: 25.9456
Output|Trace
TIMEOUT
Output|Trace
136 ABORT
Output|Trace
Removed : -19
Changed : -19
Time: 4.07625
Output|Trace
ABORT
Output|Trace
Removed : -16
Changed : -356
Time: 25.7536
Output|Trace
TIMEOUT
Output|Trace
137 Removed : -372
Changed : -1075
Time: 3.88824
Output|Trace
Removed : -337
Changed : -337
Time: 5.76036
Output|Trace
TIMEOUT
Output|Trace
Removed : -204
Changed : -1255
Time: 35.1782
Output|Trace
TIMEOUT
Output|Trace
138 Removed : -447
Changed : -857
Time: 2.89218
Output|Trace
Removed : -404
Changed : -404
Time: 6.02037
Output|Trace
TIMEOUT
Output|Trace
Removed : -373
Changed : -515
Time: 26.5857
Output|Trace
TIMEOUT
Output|Trace
139 Removed : -126
Changed : -611
Time: 2.65217
Output|Trace
Removed : -34
Changed : -34
Time: 6.30039
Output|Trace
ABORT
Output|Trace
Removed : -34
Changed : -34
Time: 22.0374
Output|Trace
TIMEOUT
Output|Trace
140 Removed : -435
Changed : -734
Time: 2.56816
Output|Trace
Removed : -423
Changed : -423
Time: 6.73242
Output|Trace
ABORT
Output|Trace
Removed : -279
Changed : -1049
Time: 31.402
Output|Trace
TIMEOUT
Output|Trace
141 ABORT
Output|Trace
Removed : -27
Changed : -27
Time: 4.7643
Output|Trace
ABORT
Output|Trace
Removed : -25
Changed : -29
Time: 21.9334
Output|Trace
TIMEOUT
Output|Trace
142 Removed : -499
Changed : -737
Time: 2.36415
Output|Trace
Removed : -456
Changed : -456
Time: 7.66448
Output|Trace
ABORT
Output|Trace
Removed : -442
Changed : -509
Time: 26.4817
Output|Trace
TIMEOUT
Output|Trace
143 Removed : -485
Changed : -755
Time: 2.52816
Output|Trace
Removed : -444
Changed : -444
Time: 7.68048
Output|Trace
ABORT
Output|Trace
Removed : -414
Changed : -497
Time: 26.2656
Output|Trace
TIMEOUT
Output|Trace
144 Removed : -394
Changed : -827
Time: 2.80417
Output|Trace
Removed : -340
Changed : -340
Time: 6.17238
Output|Trace
ABORT
Output|Trace
Removed : -268
Changed : -444
Time: 25.9696
Output|Trace
TIMEOUT
Output|Trace
145 Removed : -450
Changed : -797
Time: 2.59216
Output|Trace
Removed : -412
Changed : -412
Time: 6.3964
Output|Trace
ABORT
Output|Trace
Removed : -181
Changed : -951
Time: 31.694
Output|Trace
TIMEOUT
Output|Trace
146 Removed : -551
Changed : -941
Time: 3.00819
Output|Trace
Removed : -475
Changed : -475
Time: 8.59254
Output|Trace
ABORT
Output|Trace
Removed : -309
Changed : -876
Time: 30.4059
Output|Trace
TIMEOUT
Output|Trace
147 Removed : -448
Changed : -680
Time: 2.49616
Output|Trace
Removed : -427
Changed : -427
Time: 6.4164
Output|Trace
ABORT
Output|Trace
Removed : -392
Changed : -486
Time: 26.0736
Output|Trace
TIMEOUT
Output|Trace
148 ABORT
Output|Trace
Removed : -54
Changed : -54
Time: 4.29627
Output|Trace
ERROR
Output|Trace
Removed : -53
Changed : -57
Time: 22.0414
Output|Trace
TIMEOUT
Output|Trace
149 ABORT
Output|Trace
Removed : -41
Changed : -41
Time: 4.56028
Output|Trace
ABORT
Output|Trace
Removed : -25
Changed : -79
Time: 22.8894
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.89624
Output|Trace
ABORT
Output|Trace
Removed : -15
Changed : -114
Time: 23.0574
Output|Trace
TIMEOUT
Output|Trace
152 ABORT
Output|Trace
Removed : -30
Changed : -30
Time: 3.91224
Output|Trace
ABORT
Output|Trace
Removed : -30
Changed : -30
Time: 21.9334
Output|Trace
TIMEOUT
Output|Trace
153 NOTSOL
Output|Trace
SolCheck
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace
154 Removed : -133
Changed : -790
Time: 3.69623
Output|Trace
Removed : -350
Changed : -350
Time: 5.20433
Output|Trace
ABORT
Output|Trace
Removed : -43
Changed : -636
Time: 29.6619
Output|Trace
TIMEOUT
Output|Trace
155 Removed : -126
Changed : -776
Time: 3.70823
Output|Trace
Removed : -349
Changed : -349
Time: 5.84836
Output|Trace
ABORT
Output|Trace
Removed : -41
Changed : -643
Time: 30.1459
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.42021
Output|Trace
TIMEOUT
Output|Trace
Removed : -23
Changed : -115
Time: 23.5415
Output|Trace
TIMEOUT
Output|Trace
158 ABORT
Output|Trace
Removed : -131
Changed : -131
Time: 3.68823
Output|Trace
ABORT
Output|Trace
Removed : -43
Changed : -81
Time: 22.6494
Output|Trace
TIMEOUT
Output|Trace
159 ABORT
Output|Trace
Removed : -27
Changed : -27
Time: 4.96031
Output|Trace
ABORT
Output|Trace
Removed : -27
Changed : -27
Time: 21.8934
Output|Trace
TIMEOUT
Output|Trace
160 ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
Removed : -39
Changed : -82
Time: 22.6014
Output|Trace
TIMEOUT
Output|Trace
161 Removed : -215
Changed : -563
Time: 2.66817
Output|Trace
Removed : -154
Changed : -154
Time: 4.25227
Output|Trace
TIMEOUT
Output|Trace
Removed : -123
Changed : -279
Time: 24.5615
Output|Trace
TIMEOUT
Output|Trace
162 NOTSOL
Output|Trace
SolCheck
NOTSOL
Output|Trace
SolCheck
ABORT
Output|Trace
NOTSOL
Output|Trace
SolCheck
TIMEOUT
Output|Trace