. sarge
| problem n | aptget | aptitude | cupt | mpm | smart |
|---|---|---|---|---|---|
| 1 |
Removed : 0 Changed : -10 Time: 0.156009 Output|Trace |
Removed : 0 Changed : -10 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -10 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -10 Time: 3.86824 Output|Trace |
Removed : 0 Changed : -10 Time: 0.824051 Output|Trace |
| 2 |
Removed : 0 Changed : -43 Time: 0.18001 Output|Trace |
Removed : 0 Changed : -43 Time: 0.224014 Output|Trace |
Removed : 0 Changed : -45 Time: 0.268016 Output|Trace |
Removed : 0 Changed : -43 Time: 3.92425 Output|Trace |
Removed : 0 Changed : -45 Time: 0.928058 Output|Trace |
| 3 |
Removed : 0 Changed : -12 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -12 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -13 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -12 Time: 3.88424 Output|Trace |
Removed : 0 Changed : -12 Time: 0.848053 Output|Trace |
| 4 |
Removed : 0 Changed : -8 Time: 0.144009 Output|Trace |
Removed : 0 Changed : -8 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -8 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -8 Time: 3.88424 Output|Trace |
Removed : 0 Changed : -8 Time: 0.848052 Output|Trace |
| 5 |
Removed : 0 Changed : -7 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -7 Time: 0.220013 Output|Trace |
Removed : 0 Changed : -7 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -7 Time: 3.84824 Output|Trace |
Removed : 0 Changed : -7 Time: 0.856053 Output|Trace |
| 6 |
Removed : 0 Changed : -18 Time: 0.156009 Output|Trace |
Removed : 0 Changed : -18 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -18 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -18 Time: 3.86424 Output|Trace |
Removed : 0 Changed : -18 Time: 0.892055 Output|Trace |
| 7 |
Removed : 0 Changed : -18 Time: 0.152008 Output|Trace |
Removed : 0 Changed : -18 Time: 0.212013 Output|Trace |
Removed : 0 Changed : -18 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -18 Time: 3.88824 Output|Trace |
Removed : 0 Changed : -18 Time: 0.840052 Output|Trace |
| 8 |
Removed : 0 Changed : -26 Time: 0.16001 Output|Trace |
Removed : 0 Changed : -26 Time: 0.636039 Output|Trace |
Removed : 0 Changed : -28 Time: 0.264016 Output|Trace |
Removed : 0 Changed : -23 Time: 3.88824 Output|Trace |
Removed : 0 Changed : -23 Time: 0.868053 Output|Trace |
| 9 |
Removed : 0 Changed : -14 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -14 Time: 0.220013 Output|Trace |
Removed : 0 Changed : -14 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -14 Time: 3.86424 Output|Trace |
Removed : 0 Changed : -14 Time: 0.848052 Output|Trace |
| 10 |
Removed : 0 Changed : -8 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -8 Time: 0.212012 Output|Trace |
Removed : 0 Changed : -8 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -8 Time: 3.83624 Output|Trace |
Removed : 0 Changed : -8 Time: 0.864053 Output|Trace |
| 11 |
Removed : 0 Changed : -5 Time: 0.144009 Output|Trace |
Removed : 0 Changed : -5 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -5 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -5 Time: 3.84824 Output|Trace |
Removed : 0 Changed : -5 Time: 0.832052 Output|Trace |
| 12 |
Removed : 0 Changed : -6 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -6 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -6 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -6 Time: 3.85624 Output|Trace |
Removed : 0 Changed : -6 Time: 0.820051 Output|Trace |
| 13 |
Removed : 0 Changed : -10 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -10 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -10 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -10 Time: 3.85224 Output|Trace |
Removed : 0 Changed : -10 Time: 0.828051 Output|Trace |
| 14 |
Removed : 0 Changed : -7 Time: 0.144009 Output|Trace |
Removed : 0 Changed : -7 Time: 0.208013 Output|Trace |
Removed : 0 Changed : -7 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -7 Time: 3.84824 Output|Trace |
Removed : 0 Changed : -7 Time: 0.832052 Output|Trace |
| 15 |
Removed : -4 Changed : -17 Time: 0.152009 Output|Trace |
Removed : -4 Changed : -17 Time: 0.64804 Output|Trace |
Removed : -4 Changed : -18 Time: 0.256016 Output|Trace |
Removed : -4 Changed : -17 Time: 3.87624 Output|Trace |
Removed : -4 Changed : -17 Time: 0.824051 Output|Trace |
| 16 |
Removed : 0 Changed : -6 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -6 Time: 0.220013 Output|Trace |
Removed : 0 Changed : -6 Time: 0.244015 Output|Trace |
Removed : 0 Changed : -6 Time: 3.85624 Output|Trace |
Removed : 0 Changed : -6 Time: 0.788048 Output|Trace |
| 17 |
Removed : 0 Changed : -16 Time: 0.156009 Output|Trace |
Removed : 0 Changed : -16 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -16 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -15 Time: 3.86824 Output|Trace |
Removed : 0 Changed : -15 Time: 0.788049 Output|Trace |
| 18 |
Removed : 0 Changed : -12 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -12 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -12 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -12 Time: 3.85624 Output|Trace |
Removed : 0 Changed : -12 Time: 0.788049 Output|Trace |
| 19 |
Removed : 0 Changed : -7 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -7 Time: 0.200012 Output|Trace |
Removed : 0 Changed : -7 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -7 Time: 3.83624 Output|Trace |
Removed : 0 Changed : -7 Time: 0.780048 Output|Trace |
| 20 |
Removed : 0 Changed : -24 Time: 0.160009 Output|Trace |
Removed : 0 Changed : -24 Time: 0.212013 Output|Trace |
Removed : 0 Changed : -24 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -23 Time: 3.93625 Output|Trace |
Removed : 0 Changed : -23 Time: 0.82405 Output|Trace |
| 21 |
Removed : 0 Changed : -25 Time: 0.160009 Output|Trace |
Removed : 0 Changed : -25 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -25 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -25 Time: 3.91224 Output|Trace |
Removed : 0 Changed : -25 Time: 0.792049 Output|Trace |
| 22 |
Removed : 0 Changed : -13 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -13 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -13 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -13 Time: 3.92024 Output|Trace |
Removed : 0 Changed : -13 Time: 0.784048 Output|Trace |
| 23 |
Removed : 0 Changed : -6 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -6 Time: 0.200012 Output|Trace |
Removed : 0 Changed : -6 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -6 Time: 3.86424 Output|Trace |
Removed : 0 Changed : -6 Time: 0.784049 Output|Trace |
| 24 |
Removed : 0 Changed : -13 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -13 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -13 Time: 0.260015 Output|Trace |
Removed : 0 Changed : -12 Time: 3.88424 Output|Trace |
Removed : 0 Changed : -12 Time: 0.81205 Output|Trace |
| 25 |
Removed : 0 Changed : -11 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -11 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -11 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -9 Time: 3.85224 Output|Trace |
Removed : 0 Changed : -9 Time: 0.780048 Output|Trace |
| 26 |
Removed : 0 Changed : -7 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -7 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -7 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -7 Time: 3.83624 Output|Trace |
Removed : 0 Changed : -7 Time: 0.792048 Output|Trace |
| 27 |
Removed : 0 Changed : -5 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -5 Time: 0.212012 Output|Trace |
Removed : 0 Changed : -5 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -5 Time: 3.86424 Output|Trace |
Removed : 0 Changed : -5 Time: 0.776048 Output|Trace |
| 28 |
Removed : 0 Changed : -24 Time: 0.160009 Output|Trace |
Removed : 0 Changed : -24 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -24 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -24 Time: 3.92425 Output|Trace |
Removed : 0 Changed : -24 Time: 0.788049 Output|Trace |
| 29 |
Removed : 0 Changed : -15 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -15 Time: 0.200012 Output|Trace |
Removed : 0 Changed : -15 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -15 Time: 3.89224 Output|Trace |
Removed : 0 Changed : -15 Time: 0.792049 Output|Trace |
| 30 |
Removed : 0 Changed : -8 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -8 Time: 0.200012 Output|Trace |
Removed : 0 Changed : -8 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -8 Time: 3.95625 Output|Trace |
Removed : 0 Changed : -8 Time: 0.784048 Output|Trace |
| 31 |
Removed : 0 Changed : -5 Time: 0.140008 Output|Trace |
Removed : 0 Changed : -5 Time: 0.212013 Output|Trace |
Removed : 0 Changed : -5 Time: 0.244015 Output|Trace |
Removed : 0 Changed : -5 Time: 4.04825 Output|Trace |
Removed : 0 Changed : -5 Time: 0.792049 Output|Trace |
| 32 |
Removed : 0 Changed : -6 Time: 0.144009 Output|Trace |
Removed : 0 Changed : -6 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -6 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -6 Time: 3.99625 Output|Trace |
Removed : 0 Changed : -6 Time: 0.780048 Output|Trace |
| 33 |
Removed : 0 Changed : -8 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -8 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -8 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -8 Time: 3.91224 Output|Trace |
Removed : 0 Changed : -8 Time: 0.788049 Output|Trace |
| 34 |
Removed : 0 Changed : -18 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -18 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -18 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -18 Time: 3.90424 Output|Trace |
Removed : 0 Changed : -18 Time: 0.780048 Output|Trace |
| 35 |
Removed : 0 Changed : -17 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -17 Time: 0.220013 Output|Trace |
Removed : 0 Changed : -17 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -17 Time: 3.86024 Output|Trace |
Removed : 0 Changed : -17 Time: 0.796049 Output|Trace |
| 36 |
Removed : 0 Changed : -21 Time: 0.16001 Output|Trace |
Removed : 0 Changed : -21 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -21 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -21 Time: 3.85624 Output|Trace |
Removed : 0 Changed : -21 Time: 0.796049 Output|Trace |
| 37 |
Removed : 0 Changed : -22 Time: 0.16001 Output|Trace |
Removed : 0 Changed : -22 Time: 0.212012 Output|Trace |
Removed : 0 Changed : -22 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -22 Time: 3.93225 Output|Trace |
Removed : 0 Changed : -22 Time: 0.792048 Output|Trace |
| 38 |
Removed : 0 Changed : -5 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -5 Time: 0.220013 Output|Trace |
Removed : 0 Changed : -5 Time: 0.256016 Output|Trace |
Removed : 0 Changed : -5 Time: 3.83224 Output|Trace |
Removed : 0 Changed : -5 Time: 0.784048 Output|Trace |
| 39 |
Removed : 0 Changed : -13 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -13 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -13 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -13 Time: 3.87224 Output|Trace |
Removed : 0 Changed : -13 Time: 0.784048 Output|Trace |
| 40 |
Removed : 0 Changed : -14 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -14 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -14 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -14 Time: 3.86024 Output|Trace |
Removed : 0 Changed : -14 Time: 0.796049 Output|Trace |
| 41 |
Removed : 0 Changed : -11 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -11 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -11 Time: 0.260015 Output|Trace |
Removed : 0 Changed : -10 Time: 3.98425 Output|Trace |
Removed : 0 Changed : -10 Time: 0.832052 Output|Trace |
| 42 |
Removed : 0 Changed : -9 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -9 Time: 0.216012 Output|Trace |
Removed : 0 Changed : -9 Time: 0.256016 Output|Trace |
Removed : 0 Changed : -9 Time: 4.01225 Output|Trace |
Removed : 0 Changed : -9 Time: 0.784049 Output|Trace |
| 43 |
Removed : 0 Changed : -9 Time: 0.144009 Output|Trace |
Removed : 0 Changed : -9 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -9 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -9 Time: 3.98425 Output|Trace |
Removed : 0 Changed : -9 Time: 0.788049 Output|Trace |
| 44 |
Removed : 0 Changed : -22 Time: 0.156009 Output|Trace |
Removed : 0 Changed : -22 Time: 0.224013 Output|Trace |
Removed : 0 Changed : -22 Time: 0.264015 Output|Trace |
Removed : 0 Changed : -22 Time: 3.92825 Output|Trace |
Removed : 0 Changed : -22 Time: 0.788048 Output|Trace |
| 45 |
Removed : 0 Changed : -10 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -10 Time: 0.224013 Output|Trace |
Removed : 0 Changed : -10 Time: 0.256016 Output|Trace |
Removed : 0 Changed : -10 Time: 3.92424 Output|Trace |
Removed : 0 Changed : -10 Time: 0.792049 Output|Trace |
| 46 |
Removed : 0 Changed : -11 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -11 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -11 Time: 0.248014 Output|Trace |
Removed : 0 Changed : -11 Time: 3.94425 Output|Trace |
Removed : 0 Changed : -11 Time: 0.784048 Output|Trace |
| 47 |
Removed : 0 Changed : -9 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -9 Time: 0.224013 Output|Trace |
Removed : 0 Changed : -9 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -9 Time: 4.03225 Output|Trace |
Removed : 0 Changed : -9 Time: 0.796049 Output|Trace |
| 48 |
Removed : 0 Changed : -15 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -15 Time: 0.212013 Output|Trace |
Removed : 0 Changed : -15 Time: 0.260015 Output|Trace |
Removed : 0 Changed : -15 Time: 3.92424 Output|Trace |
Removed : 0 Changed : -15 Time: 0.784048 Output|Trace |
| 49 |
Removed : -4 Changed : -17 Time: 0.160009 Output|Trace |
Removed : -4 Changed : -17 Time: 0.64404 Output|Trace |
Removed : -4 Changed : -17 Time: 0.252015 Output|Trace |
Removed : -4 Changed : -17 Time: 3.90824 Output|Trace |
Removed : -4 Changed : -17 Time: 0.784049 Output|Trace |
| 50 |
Removed : 0 Changed : -8 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -8 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -8 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -8 Time: 3.84424 Output|Trace |
Removed : 0 Changed : -8 Time: 0.788049 Output|Trace |
| 51 |
Removed : 0 Changed : -13 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -13 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -13 Time: 0.256016 Output|Trace |
Removed : 0 Changed : -13 Time: 3.86424 Output|Trace |
Removed : 0 Changed : -13 Time: 0.800049 Output|Trace |
| 52 |
Removed : 0 Changed : -50 Time: 0.184011 Output|Trace |
Removed : 0 Changed : -50 Time: 0.220013 Output|Trace |
Removed : 0 Changed : -50 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -50 Time: 3.96425 Output|Trace |
Removed : 0 Changed : -50 Time: 0.80405 Output|Trace |
| 53 |
Removed : 0 Changed : -26 Time: 0.176011 Output|Trace |
Removed : 0 Changed : -26 Time: 0.220013 Output|Trace |
Removed : 0 Changed : -26 Time: 0.264015 Output|Trace |
Removed : 0 Changed : -22 Time: 3.88024 Output|Trace |
Removed : 0 Changed : -22 Time: 0.888055 Output|Trace |
| 54 |
Removed : 0 Changed : -7 Time: 0.144009 Output|Trace |
Removed : 0 Changed : -7 Time: 0.208013 Output|Trace |
Removed : 0 Changed : -7 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -7 Time: 3.83624 Output|Trace |
Removed : 0 Changed : -7 Time: 0.784048 Output|Trace |
| 55 |
Removed : 0 Changed : -15 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -15 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -15 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -15 Time: 3.87624 Output|Trace |
Removed : 0 Changed : -15 Time: 0.796049 Output|Trace |
| 56 |
Removed : 0 Changed : -10 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -10 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -10 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -10 Time: 3.83624 Output|Trace |
Removed : 0 Changed : -10 Time: 0.784048 Output|Trace |
| 57 |
Removed : 0 Changed : -15 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -15 Time: 0.208013 Output|Trace |
Removed : 0 Changed : -15 Time: 0.256016 Output|Trace |
Removed : 0 Changed : -15 Time: 3.88824 Output|Trace |
Removed : 0 Changed : -15 Time: 0.792048 Output|Trace |
| 58 |
Removed : 0 Changed : -12 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -12 Time: 0.216012 Output|Trace |
Removed : 0 Changed : -12 Time: 0.244014 Output|Trace |
Removed : 0 Changed : -12 Time: 3.85624 Output|Trace |
Removed : 0 Changed : -12 Time: 0.784048 Output|Trace |
| 59 |
Removed : 0 Changed : -32 Time: 0.17201 Output|Trace |
Removed : 0 Changed : -32 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -32 Time: 0.256016 Output|Trace |
Removed : 0 Changed : -32 Time: 3.96425 Output|Trace |
Removed : 0 Changed : -32 Time: 0.792049 Output|Trace |
| 60 |
ABORT Output|Trace |
Removed : -4 Changed : -13 Time: 0.632039 Output|Trace |
Removed : -4 Changed : -13 Time: 0.256015 Output|Trace |
Removed : -4 Changed : -13 Time: 3.86824 Output|Trace |
Removed : -4 Changed : -13 Time: 0.81605 Output|Trace |
| 61 |
Removed : 0 Changed : -13 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -13 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -13 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -13 Time: 3.85224 Output|Trace |
Removed : 0 Changed : -13 Time: 0.788049 Output|Trace |
| 62 |
Removed : 0 Changed : -28 Time: 0.168009 Output|Trace |
Removed : 0 Changed : -28 Time: 0.208013 Output|Trace |
Removed : 0 Changed : -29 Time: 0.260015 Output|Trace |
Removed : 0 Changed : -23 Time: 3.90424 Output|Trace |
Removed : 0 Changed : -23 Time: 0.80805 Output|Trace |
| 63 |
Removed : 0 Changed : -13 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -13 Time: 0.220013 Output|Trace |
Removed : 0 Changed : -13 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -12 Time: 3.85624 Output|Trace |
Removed : 0 Changed : -12 Time: 0.792049 Output|Trace |
| 64 |
Removed : 0 Changed : -8 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -8 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -8 Time: 0.244015 Output|Trace |
Removed : 0 Changed : -8 Time: 3.87624 Output|Trace |
Removed : 0 Changed : -8 Time: 0.784049 Output|Trace |
| 65 |
Removed : 0 Changed : -25 Time: 0.16401 Output|Trace |
Removed : 0 Changed : -25 Time: 0.208013 Output|Trace |
Removed : 0 Changed : -25 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -23 Time: 3.94425 Output|Trace |
Removed : 0 Changed : -23 Time: 0.832051 Output|Trace |
| 66 |
Removed : 0 Changed : -43 Time: 0.18001 Output|Trace |
Removed : 0 Changed : -43 Time: 0.224013 Output|Trace |
Removed : 0 Changed : -43 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -43 Time: 3.90824 Output|Trace |
Removed : 0 Changed : -43 Time: 0.800049 Output|Trace |
| 67 |
Removed : 0 Changed : -4 Time: 0.140008 Output|Trace |
Removed : 0 Changed : -4 Time: 0.212012 Output|Trace |
Removed : 0 Changed : -4 Time: 0.248014 Output|Trace |
Removed : 0 Changed : -4 Time: 3.83224 Output|Trace |
Removed : 0 Changed : -4 Time: 0.788049 Output|Trace |
| 68 |
Removed : 0 Changed : -16 Time: 0.152008 Output|Trace |
Removed : 0 Changed : -16 Time: 0.212012 Output|Trace |
Removed : 0 Changed : -16 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -16 Time: 3.89624 Output|Trace |
Removed : 0 Changed : -16 Time: 0.784048 Output|Trace |
| 69 |
Removed : 0 Changed : -26 Time: 0.16001 Output|Trace |
Removed : 0 Changed : -26 Time: 0.220013 Output|Trace |
Removed : 0 Changed : -26 Time: 0.260015 Output|Trace |
Removed : 0 Changed : -26 Time: 3.89624 Output|Trace |
Removed : 0 Changed : -26 Time: 0.80005 Output|Trace |
| 70 |
Removed : 0 Changed : -19 Time: 0.152008 Output|Trace |
Removed : 0 Changed : -19 Time: 0.212013 Output|Trace |
Removed : 0 Changed : -19 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -18 Time: 3.89624 Output|Trace |
Removed : 0 Changed : -18 Time: 0.784049 Output|Trace |
| 71 |
Removed : 0 Changed : -16 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -16 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -16 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -16 Time: 3.85224 Output|Trace |
Removed : 0 Changed : -16 Time: 0.800049 Output|Trace |
| 72 |
Removed : 0 Changed : -6 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -6 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -6 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -6 Time: 3.83624 Output|Trace |
Removed : 0 Changed : -6 Time: 0.780048 Output|Trace |
| 73 |
Removed : 0 Changed : -12 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -12 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -12 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -11 Time: 3.89224 Output|Trace |
Removed : 0 Changed : -11 Time: 0.816051 Output|Trace |
| 74 |
Removed : 0 Changed : -7 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -7 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -7 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -7 Time: 3.90024 Output|Trace |
Removed : 0 Changed : -7 Time: 0.780048 Output|Trace |
| 75 |
Removed : 0 Changed : -10 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -10 Time: 0.200012 Output|Trace |
Removed : 0 Changed : -10 Time: 0.244015 Output|Trace |
Removed : 0 Changed : -10 Time: 3.84424 Output|Trace |
Removed : 0 Changed : -10 Time: 0.784048 Output|Trace |
| 76 |
Removed : 0 Changed : -28 Time: 0.168009 Output|Trace |
Removed : 0 Changed : -28 Time: 0.212013 Output|Trace |
Removed : 0 Changed : -30 Time: 0.248014 Output|Trace |
Removed : 0 Changed : -27 Time: 3.86024 Output|Trace |
Removed : 0 Changed : -27 Time: 0.792048 Output|Trace |
| 77 |
Removed : 0 Changed : -9 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -9 Time: 0.192012 Output|Trace |
Removed : 0 Changed : -9 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -8 Time: 3.86024 Output|Trace |
Removed : 0 Changed : -8 Time: 0.784048 Output|Trace |
| 78 |
Removed : 0 Changed : -27 Time: 0.164009 Output|Trace |
Removed : 0 Changed : -26 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -26 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -23 Time: 3.89624 Output|Trace |
Removed : 0 Changed : -23 Time: 0.792049 Output|Trace |
| 79 |
Removed : 0 Changed : -13 Time: 0.156009 Output|Trace |
Removed : 0 Changed : -13 Time: 0.192011 Output|Trace |
Removed : 0 Changed : -13 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -11 Time: 3.87224 Output|Trace |
Removed : 0 Changed : -11 Time: 0.808049 Output|Trace |
| 80 |
Removed : 0 Changed : -11 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -11 Time: 0.200012 Output|Trace |
Removed : 0 Changed : -11 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -11 Time: 3.84424 Output|Trace |
Removed : 0 Changed : -11 Time: 0.788048 Output|Trace |
| 81 |
Removed : 0 Changed : -29 Time: 0.17201 Output|Trace |
Removed : 0 Changed : -29 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -29 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -29 Time: 3.95625 Output|Trace |
Removed : 0 Changed : -29 Time: 0.792048 Output|Trace |
| 82 |
Removed : 0 Changed : -25 Time: 0.160009 Output|Trace |
Removed : 0 Changed : -28 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -28 Time: 0.260016 Output|Trace |
Removed : 0 Changed : -25 Time: 3.88424 Output|Trace |
Removed : 0 Changed : -25 Time: 0.792049 Output|Trace |
| 83 |
Removed : 0 Changed : -13 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -13 Time: 0.196011 Output|Trace |
Removed : 0 Changed : -13 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -13 Time: 3.84424 Output|Trace |
Removed : 0 Changed : -13 Time: 0.792049 Output|Trace |
| 84 |
Removed : 0 Changed : -27 Time: 0.16401 Output|Trace |
Removed : 0 Changed : -27 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -27 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -27 Time: 3.90424 Output|Trace |
Removed : 0 Changed : -27 Time: 0.796049 Output|Trace |
| 85 |
Removed : 0 Changed : -6 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -6 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -6 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -6 Time: 3.85624 Output|Trace |
Removed : 0 Changed : -6 Time: 0.784049 Output|Trace |
| 86 |
Removed : 0 Changed : -8 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -8 Time: 0.200012 Output|Trace |
Removed : 0 Changed : -8 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -8 Time: 3.85624 Output|Trace |
Removed : 0 Changed : -8 Time: 0.792049 Output|Trace |
| 87 |
Removed : 0 Changed : -9 Time: 0.144009 Output|Trace |
Removed : 0 Changed : -9 Time: 0.188011 Output|Trace |
Removed : 0 Changed : -9 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -9 Time: 3.88424 Output|Trace |
Removed : 0 Changed : -9 Time: 0.784048 Output|Trace |
| 88 |
Removed : 0 Changed : -27 Time: 0.168009 Output|Trace |
Removed : 0 Changed : -27 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -27 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -27 Time: 3.84024 Output|Trace |
Removed : 0 Changed : -27 Time: 0.796049 Output|Trace |
| 89 |
Removed : 0 Changed : -18 Time: 0.152009 Output|Trace |
Removed : 0 Changed : -18 Time: 0.212013 Output|Trace |
Removed : 0 Changed : -18 Time: 0.256015 Output|Trace |
Removed : 0 Changed : -15 Time: 3.90424 Output|Trace |
Removed : 0 Changed : -15 Time: 0.796049 Output|Trace |
| 90 |
Removed : 0 Changed : -10 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -10 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -10 Time: 0.248015 Output|Trace |
Removed : 0 Changed : -10 Time: 3.86824 Output|Trace |
Removed : 0 Changed : -10 Time: 0.784048 Output|Trace |
| 91 |
Removed : 0 Changed : -7 Time: 0.144009 Output|Trace |
Removed : 0 Changed : -7 Time: 0.200012 Output|Trace |
Removed : 0 Changed : -7 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -7 Time: 3.84024 Output|Trace |
Removed : 0 Changed : -7 Time: 0.80005 Output|Trace |
| 92 |
Removed : 0 Changed : -27 Time: 0.16401 Output|Trace |
Removed : 0 Changed : -27 Time: 0.208013 Output|Trace |
Removed : 0 Changed : -27 Time: 0.260015 Output|Trace |
Removed : 0 Changed : -27 Time: 3.86824 Output|Trace |
Removed : 0 Changed : -27 Time: 0.792049 Output|Trace |
| 93 |
Removed : 0 Changed : -11 Time: 0.148009 Output|Trace |
Removed : 0 Changed : -11 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -11 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -11 Time: 3.88024 Output|Trace |
Removed : 0 Changed : -11 Time: 0.784048 Output|Trace |
| 94 |
Removed : 0 Changed : -29 Time: 0.17201 Output|Trace |
Removed : 0 Changed : -29 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -29 Time: 0.260015 Output|Trace |
Removed : 0 Changed : -29 Time: 3.88824 Output|Trace |
Removed : 0 Changed : -29 Time: 0.804049 Output|Trace |
| 95 |
Removed : 0 Changed : -10 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -10 Time: 0.188011 Output|Trace |
Removed : 0 Changed : -10 Time: 0.256016 Output|Trace |
Removed : 0 Changed : -10 Time: 3.85624 Output|Trace |
Removed : 0 Changed : -10 Time: 0.788049 Output|Trace |
| 96 |
Removed : 0 Changed : -29 Time: 0.16401 Output|Trace |
Removed : 0 Changed : -29 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -32 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -29 Time: 3.92425 Output|Trace |
Removed : 0 Changed : -29 Time: 0.796049 Output|Trace |
| 97 |
ABORT Output|Trace |
Removed : -4 Changed : -27 Time: 0.612038 Output|Trace |
Removed : -4 Changed : -27 Time: 0.260016 Output|Trace |
Removed : -4 Changed : -27 Time: 3.89624 Output|Trace |
Removed : -4 Changed : -27 Time: 0.80805 Output|Trace |
| 98 |
Removed : 0 Changed : -6 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -6 Time: 0.204012 Output|Trace |
Removed : 0 Changed : -6 Time: 0.256016 Output|Trace |
Removed : 0 Changed : -6 Time: 3.84424 Output|Trace |
Removed : 0 Changed : -6 Time: 0.788049 Output|Trace |
| 99 |
Removed : 0 Changed : -10 Time: 0.148008 Output|Trace |
Removed : 0 Changed : -10 Time: 0.216013 Output|Trace |
Removed : 0 Changed : -10 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -10 Time: 3.83224 Output|Trace |
Removed : 0 Changed : -10 Time: 0.788049 Output|Trace |
| 100 |
Removed : 0 Changed : -9 Time: 0.144008 Output|Trace |
Removed : 0 Changed : -9 Time: 0.208012 Output|Trace |
Removed : 0 Changed : -9 Time: 0.252015 Output|Trace |
Removed : 0 Changed : -9 Time: 3.84424 Output|Trace |
Removed : 0 Changed : -9 Time: 0.788048 Output|Trace |
| 101 |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 102 |
Removed : -19 Changed : -20 Time: 0.144008 Output|Trace |
Removed : -20 Changed : -20 Time: 0.604037 Output|Trace |
Removed : -19 Changed : -20 Time: 0.256016 Output|Trace |
Removed : -19 Changed : -20 Time: 3.90824 Output|Trace |
Removed : -20 Changed : -20 Time: 0.768047 Output|Trace |
| 103 |
Removed : -458 Changed : -458 Time: 0.256016 Output|Trace |
Removed : -458 Changed : -458 Time: 0.904056 Output|Trace |
Removed : -458 Changed : -463 Time: 0.65204 Output|Trace |
Removed : -458 Changed : -458 Time: 5.24433 Output|Trace |
Removed : -458 Changed : -458 Time: 0.848053 Output|Trace |
| 104 |
Removed : -45 Changed : -47 Time: 0.156009 Output|Trace |
Removed : -45 Changed : -45 Time: 0.616038 Output|Trace |
Removed : -45 Changed : -45 Time: 0.244014 Output|Trace |
Removed : -45 Changed : -45 Time: 3.97625 Output|Trace |
Removed : -45 Changed : -45 Time: 0.772047 Output|Trace |
| 105 |
Removed : -78 Changed : -79 Time: 0.16001 Output|Trace |
Removed : -590 Changed : -590 Time: 2.30814 Output|Trace |
Removed : -78 Changed : -80 Time: 0.256015 Output|Trace |
Removed : -78 Changed : -79 Time: 4.06425 Output|Trace |
Removed : -78 Changed : -79 Time: 0.872054 Output|Trace |
| 106 |
ABORT Output|Trace |
Removed : -406 Changed : -406 Time: 0.844052 Output|Trace |
Removed : -406 Changed : -429 Time: 0.304018 Output|Trace |
Removed : -406 Changed : -406 Time: 5.10032 Output|Trace |
Removed : -406 Changed : -406 Time: 0.828051 Output|Trace |
| 107 |
Removed : -22 Changed : -22 Time: 0.144008 Output|Trace |
Removed : -22 Changed : -22 Time: 0.624039 Output|Trace |
Removed : -22 Changed : -22 Time: 0.244015 Output|Trace |
Removed : -22 Changed : -22 Time: 3.91624 Output|Trace |
Removed : -22 Changed : -22 Time: 0.82005 Output|Trace |
| 108 |
Removed : -18 Changed : -18 Time: 0.140008 Output|Trace |
Removed : -18 Changed : -18 Time: 0.620038 Output|Trace |
Removed : -16 Changed : -17 Time: 0.248014 Output|Trace |
Removed : -16 Changed : -17 Time: 3.87224 Output|Trace |
Removed : -18 Changed : -18 Time: 0.764047 Output|Trace |
| 109 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 110 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 111 |
Removed : -31 Changed : -31 Time: 0.148008 Output|Trace |
Removed : -31 Changed : -31 Time: 0.624038 Output|Trace |
Removed : -31 Changed : -31 Time: 0.244014 Output|Trace |
Removed : -31 Changed : -31 Time: 3.92425 Output|Trace |
Removed : -31 Changed : -31 Time: 0.760046 Output|Trace |
| 112 |
Removed : -18 Changed : -20 Time: 0.148009 Output|Trace |
Removed : -27 Changed : -27 Time: 0.628038 Output|Trace |
Removed : -18 Changed : -20 Time: 0.256016 Output|Trace |
Removed : -18 Changed : -20 Time: 3.89624 Output|Trace |
Removed : -27 Changed : -27 Time: 0.764047 Output|Trace |
| 113 |
Removed : -21 Changed : -23 Time: 0.148009 Output|Trace |
Removed : -27 Changed : -27 Time: 0.632038 Output|Trace |
Removed : -21 Changed : -23 Time: 0.256015 Output|Trace |
Removed : -21 Changed : -23 Time: 3.89224 Output|Trace |
Removed : -27 Changed : -27 Time: 0.772048 Output|Trace |
| 114 |
Removed : -40 Changed : -40 Time: 0.148008 Output|Trace |
Removed : -40 Changed : -40 Time: 0.616037 Output|Trace |
Removed : -40 Changed : -40 Time: 0.244015 Output|Trace |
Removed : -40 Changed : -40 Time: 3.94825 Output|Trace |
Removed : -40 Changed : -40 Time: 0.772048 Output|Trace |
| 115 |
Removed : -38 Changed : -38 Time: 0.140008 Output|Trace |
Removed : -38 Changed : -38 Time: 0.636039 Output|Trace |
Removed : -38 Changed : -38 Time: 0.248015 Output|Trace |
Removed : -38 Changed : -38 Time: 3.98025 Output|Trace |
Removed : -38 Changed : -38 Time: 0.768047 Output|Trace |
| 116 |
Removed : -278 Changed : -279 Time: 0.16401 Output|Trace |
Removed : -278 Changed : -278 Time: 0.728044 Output|Trace |
Removed : -277 Changed : -279 Time: 0.272017 Output|Trace |
Removed : -277 Changed : -278 Time: 4.67229 Output|Trace |
Removed : -278 Changed : -278 Time: 0.800049 Output|Trace |
| 117 |
Removed : -22 Changed : -22 Time: 0.144008 Output|Trace |
Removed : -22 Changed : -22 Time: 0.620038 Output|Trace |
Removed : -22 Changed : -22 Time: 0.244015 Output|Trace |
Removed : -22 Changed : -22 Time: 3.88824 Output|Trace |
Removed : -22 Changed : -22 Time: 0.768047 Output|Trace |
| 118 |
Removed : -261 Changed : -261 Time: 0.16001 Output|Trace |
Removed : -261 Changed : -261 Time: 0.936057 Output|Trace |
Removed : -261 Changed : -261 Time: 0.260015 Output|Trace |
Removed : -261 Changed : -261 Time: 4.62829 Output|Trace |
Removed : -261 Changed : -261 Time: 0.796049 Output|Trace |
| 119 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 120 |
ABORT Output|Trace |
Removed : -154 Changed : -154 Time: 0.80005 Output|Trace |
Removed : -152 Changed : -154 Time: 0.264015 Output|Trace |
Removed : -152 Changed : -154 Time: 4.32427 Output|Trace |
Removed : -154 Changed : -154 Time: 0.796049 Output|Trace |
| 121 |
Removed : -422 Changed : -422 Time: 0.236014 Output|Trace |
Removed : -422 Changed : -422 Time: 0.956059 Output|Trace |
Removed : -422 Changed : -443 Time: 0.300018 Output|Trace |
Removed : -422 Changed : -422 Time: 5.14032 Output|Trace |
Removed : -422 Changed : -422 Time: 0.832051 Output|Trace |
| 122 |
Removed : -12 Changed : -12 Time: 0.140008 Output|Trace |
Removed : -12 Changed : -12 Time: 0.608037 Output|Trace |
Removed : -12 Changed : -12 Time: 0.244015 Output|Trace |
Removed : -12 Changed : -12 Time: 3.86824 Output|Trace |
Removed : -12 Changed : -12 Time: 0.764047 Output|Trace |
| 123 |
Removed : -413 Changed : -414 Time: 0.208013 Output|Trace |
Removed : -413 Changed : -413 Time: 0.81605 Output|Trace |
Removed : -412 Changed : -436 Time: 0.288017 Output|Trace |
Removed : -412 Changed : -413 Time: 5.10032 Output|Trace |
Removed : -413 Changed : -413 Time: 0.832052 Output|Trace |
| 124 |
Removed : -336 Changed : -337 Time: 0.192012 Output|Trace |
Removed : -337 Changed : -337 Time: 0.988061 Output|Trace |
Removed : -336 Changed : -352 Time: 0.288017 Output|Trace |
Removed : -336 Changed : -337 Time: 4.8763 Output|Trace |
Removed : -337 Changed : -337 Time: 0.81205 Output|Trace |
| 125 |
Removed : -269 Changed : -269 Time: 0.16401 Output|Trace |
Removed : -269 Changed : -269 Time: 0.700043 Output|Trace |
Removed : -269 Changed : -269 Time: 0.256015 Output|Trace |
Removed : -269 Changed : -269 Time: 4.66829 Output|Trace |
Removed : -269 Changed : -269 Time: 0.792049 Output|Trace |
| 126 |
Removed : -264 Changed : -264 Time: 0.160009 Output|Trace |
Removed : -264 Changed : -264 Time: 0.952059 Output|Trace |
Removed : -264 Changed : -279 Time: 0.276017 Output|Trace |
Removed : -264 Changed : -264 Time: 4.65229 Output|Trace |
Removed : -264 Changed : -264 Time: 0.800049 Output|Trace |
| 127 |
Removed : -18 Changed : -19 Time: 0.144008 Output|Trace |
Removed : -18 Changed : -18 Time: 0.632039 Output|Trace |
Removed : -17 Changed : -18 Time: 0.256015 Output|Trace |
Removed : -17 Changed : -18 Time: 3.90424 Output|Trace |
Removed : -18 Changed : -18 Time: 0.764047 Output|Trace |
| 128 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 129 |
Removed : -32 Changed : -33 Time: 0.148009 Output|Trace |
Removed : -33 Changed : -33 Time: 0.65604 Output|Trace |
Removed : -31 Changed : -36 Time: 0.256016 Output|Trace |
Removed : -31 Changed : -33 Time: 3.93625 Output|Trace |
Removed : -33 Changed : -33 Time: 0.796049 Output|Trace |
| 130 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 131 |
Removed : -429 Changed : -429 Time: 0.256015 Output|Trace |
Removed : -429 Changed : -429 Time: 0.856052 Output|Trace |
Removed : -429 Changed : -447 Time: 0.288017 Output|Trace |
Removed : -429 Changed : -429 Time: 5.16032 Output|Trace |
Removed : -429 Changed : -429 Time: 0.832051 Output|Trace |
| 132 |
Removed : -425 Changed : -425 Time: 0.208012 Output|Trace |
Removed : -425 Changed : -425 Time: 0.844052 Output|Trace |
Removed : -424 Changed : -450 Time: 0.324019 Output|Trace |
Removed : -424 Changed : -425 Time: 5.19232 Output|Trace |
Removed : -425 Changed : -425 Time: 0.852053 Output|Trace |
| 133 |
Removed : -279 Changed : -279 Time: 0.16401 Output|Trace |
Removed : -279 Changed : -279 Time: 0.81605 Output|Trace |
Removed : -279 Changed : -279 Time: 0.264016 Output|Trace |
Removed : -279 Changed : -279 Time: 4.69229 Output|Trace |
Removed : -279 Changed : -279 Time: 0.80005 Output|Trace |
| 134 |
Removed : -305 Changed : -305 Time: 0.224014 Output|Trace |
Removed : -305 Changed : -305 Time: 1.10407 Output|Trace |
Removed : -304 Changed : -309 Time: 0.360022 Output|Trace |
Removed : -304 Changed : -305 Time: 4.7683 Output|Trace |
Removed : -305 Changed : -305 Time: 0.824051 Output|Trace |
| 135 |
Removed : -420 Changed : -420 Time: 0.236014 Output|Trace |
Removed : -420 Changed : -420 Time: 0.868054 Output|Trace |
Removed : -420 Changed : -435 Time: 0.280017 Output|Trace |
Removed : -420 Changed : -420 Time: 5.12432 Output|Trace |
Removed : -420 Changed : -420 Time: 0.836052 Output|Trace |
| 136 |
Removed : -19 Changed : -19 Time: 0.140008 Output|Trace |
Removed : -19 Changed : -19 Time: 0.612038 Output|Trace |
Removed : -19 Changed : -19 Time: 0.252015 Output|Trace |
Removed : -19 Changed : -19 Time: 3.93625 Output|Trace |
Removed : -19 Changed : -19 Time: 0.764047 Output|Trace |
| 137 |
Removed : -336 Changed : -337 Time: 0.192012 Output|Trace |
Removed : -337 Changed : -337 Time: 0.804049 Output|Trace |
Removed : -336 Changed : -352 Time: 0.288017 Output|Trace |
Removed : -336 Changed : -337 Time: 4.8723 Output|Trace |
Removed : -337 Changed : -337 Time: 0.80805 Output|Trace |
| 138 |
ABORT Output|Trace |
Removed : -404 Changed : -404 Time: 1.5521 Output|Trace |
Removed : -404 Changed : -412 Time: 0.288018 Output|Trace |
Removed : -404 Changed : -404 Time: 5.09632 Output|Trace |
Removed : -404 Changed : -404 Time: 0.828051 Output|Trace |
| 139 |
Removed : -34 Changed : -34 Time: 0.148008 Output|Trace |
Removed : -34 Changed : -34 Time: 0.81205 Output|Trace |
Removed : -34 Changed : -34 Time: 0.256015 Output|Trace |
Removed : -34 Changed : -34 Time: 3.93225 Output|Trace |
Removed : -34 Changed : -34 Time: 0.768047 Output|Trace |
| 140 |
ABORT Output|Trace |
Removed : -423 Changed : -423 Time: 1.6801 Output|Trace |
Removed : -423 Changed : -444 Time: 0.308018 Output|Trace |
Removed : -423 Changed : -423 Time: 5.16432 Output|Trace |
Removed : -423 Changed : -423 Time: 0.836052 Output|Trace |
| 141 |
Removed : -27 Changed : -27 Time: 0.144008 Output|Trace |
Removed : -27 Changed : -27 Time: 0.616038 Output|Trace |
Removed : -27 Changed : -27 Time: 0.240014 Output|Trace |
Removed : -27 Changed : -27 Time: 3.90824 Output|Trace |
Removed : -27 Changed : -27 Time: 0.760047 Output|Trace |
| 142 |
Removed : -456 Changed : -456 Time: 0.272016 Output|Trace |
Removed : -456 Changed : -456 Time: 1.12007 Output|Trace |
Removed : -456 Changed : -478 Time: 0.296018 Output|Trace |
Removed : -456 Changed : -456 Time: 5.23233 Output|Trace |
Removed : -456 Changed : -456 Time: 0.836052 Output|Trace |
| 143 |
Removed : -444 Changed : -444 Time: 0.256016 Output|Trace |
Removed : -444 Changed : -444 Time: 0.828051 Output|Trace |
Removed : -444 Changed : -454 Time: 0.296018 Output|Trace |
Removed : -444 Changed : -444 Time: 5.22033 Output|Trace |
Removed : -444 Changed : -444 Time: 0.832051 Output|Trace |
| 144 |
Removed : -276 Changed : -277 Time: 0.17201 Output|Trace |
Removed : -340 Changed : -340 Time: 1.08007 Output|Trace |
Removed : -276 Changed : -277 Time: 0.276017 Output|Trace |
Removed : -276 Changed : -277 Time: 4.73229 Output|Trace |
Removed : -276 Changed : -277 Time: 0.808049 Output|Trace |
| 145 |
Removed : -412 Changed : -412 Time: 0.208012 Output|Trace |
Removed : -412 Changed : -412 Time: 2.19214 Output|Trace |
Removed : -412 Changed : -428 Time: 0.288017 Output|Trace |
Removed : -412 Changed : -412 Time: 5.11632 Output|Trace |
Removed : -412 Changed : -412 Time: 0.828051 Output|Trace |
| 146 |
Removed : -474 Changed : -476 Time: 0.268016 Output|Trace |
Removed : -475 Changed : -475 Time: 1.16407 Output|Trace |
Removed : -474 Changed : -481 Time: 0.696043 Output|Trace |
Removed : -474 Changed : -476 Time: 5.30833 Output|Trace |
Removed : -475 Changed : -475 Time: 0.852052 Output|Trace |
| 147 |
Removed : -427 Changed : -427 Time: 0.240014 Output|Trace |
Removed : -427 Changed : -427 Time: 0.840052 Output|Trace |
Removed : -425 Changed : -452 Time: 0.316019 Output|Trace |
Removed : -425 Changed : -428 Time: 5.16432 Output|Trace |
Removed : -427 Changed : -427 Time: 0.836052 Output|Trace |
| 148 |
Removed : -54 Changed : -56 Time: 0.148008 Output|Trace |
Removed : -54 Changed : -54 Time: 0.576035 Output|Trace |
Removed : -54 Changed : -54 Time: 0.248015 Output|Trace |
Removed : -54 Changed : -54 Time: 4.00025 Output|Trace |
Removed : -54 Changed : -54 Time: 0.764047 Output|Trace |
| 149 |
Removed : -34 Changed : -41 Time: 0.156009 Output|Trace |
Removed : -41 Changed : -41 Time: 0.604037 Output|Trace |
Removed : -28 Changed : -39 Time: 0.252015 Output|Trace |
Removed : -28 Changed : -36 Time: 3.94425 Output|Trace |
Removed : -41 Changed : -41 Time: 0.776048 Output|Trace |
| 150 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 151 |
Removed : -35 Changed : -35 Time: 0.148008 Output|Trace |
Removed : -35 Changed : -35 Time: 0.608038 Output|Trace |
Removed : -34 Changed : -37 Time: 0.256015 Output|Trace |
Removed : -34 Changed : -35 Time: 3.94025 Output|Trace |
Removed : -35 Changed : -35 Time: 0.772047 Output|Trace |
| 152 |
Removed : -30 Changed : -30 Time: 0.140008 Output|Trace |
Removed : -30 Changed : -30 Time: 0.596036 Output|Trace |
Removed : -30 Changed : -30 Time: 0.248015 Output|Trace |
Removed : -30 Changed : -30 Time: 3.91624 Output|Trace |
Removed : -30 Changed : -30 Time: 0.764047 Output|Trace |
| 153 |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 154 |
Removed : -349 Changed : -350 Time: 0.188011 Output|Trace |
Removed : -350 Changed : -350 Time: 0.904055 Output|Trace |
Removed : -349 Changed : -369 Time: 0.284017 Output|Trace |
Removed : -349 Changed : -350 Time: 4.91231 Output|Trace |
Removed : -350 Changed : -350 Time: 0.836052 Output|Trace |
| 155 |
ABORT Output|Trace |
Removed : -349 Changed : -349 Time: 0.860053 Output|Trace |
Removed : -348 Changed : -368 Time: 0.284017 Output|Trace |
Removed : -348 Changed : -349 Time: 4.91231 Output|Trace |
Removed : -349 Changed : -349 Time: 0.836052 Output|Trace |
| 156 |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 157 |
Removed : -24 Changed : -24 Time: 0.144008 Output|Trace |
Removed : -24 Changed : -24 Time: 0.616038 Output|Trace |
Removed : -24 Changed : -25 Time: 0.252015 Output|Trace |
Removed : -24 Changed : -24 Time: 3.90424 Output|Trace |
Removed : -24 Changed : -24 Time: 0.768048 Output|Trace |
| 158 |
Removed : -130 Changed : -131 Time: 0.168009 Output|Trace |
Removed : -131 Changed : -131 Time: 0.828051 Output|Trace |
Removed : -130 Changed : -132 Time: 0.260016 Output|Trace |
Removed : -130 Changed : -131 Time: 4.22026 Output|Trace |
Removed : -131 Changed : -131 Time: 0.784049 Output|Trace |
| 159 |
Removed : -27 Changed : -27 Time: 0.144008 Output|Trace |
Removed : -27 Changed : -27 Time: 0.608037 Output|Trace |
Removed : -27 Changed : -27 Time: 0.248014 Output|Trace |
Removed : -27 Changed : -27 Time: 3.93225 Output|Trace |
Removed : -27 Changed : -27 Time: 0.764047 Output|Trace |
| 160 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |
| 161 |
Removed : -154 Changed : -154 Time: 0.18401 Output|Trace |
Removed : -154 Changed : -154 Time: 0.712044 Output|Trace |
Removed : -152 Changed : -154 Time: 0.264016 Output|Trace |
Removed : -152 Changed : -154 Time: 4.30827 Output|Trace |
Removed : -154 Changed : -154 Time: 0.784048 Output|Trace |
| 162 |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
ABORT Output|Trace |
NOTSOL Output|Trace SolCheck |
NOTSOL Output|Trace SolCheck |