EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltstb_alg02/s20311.dev (3,619 bytes)
    503000 	 -1 	 -1 	 1
    539000 	 -2 	 188 	 1
    554000 	 -3 	 -1 	 1
   1089000 	 -1 	 -1 	 1
   1194000 	 -2 	 92 	 1
   1203000 	 -3 	 -1 	 1
   1353500 	 -1 	 -1 	 1
   1370000 	 -2 	 157 	 1
   1385500 	 -3 	 -1 	 1
   1719500 	 -1 	 -1 	 1
   1726000 	 -2 	 222 	 1
   1733000 	 -3 	 -1 	 1
   3006500 	 -1 	 -1 	 1
   3064000 	 -2 	 227 	 1
   3080000 	 -3 	 -1 	 1
   3496500 	 -1 	 -1 	 1
   3504000 	 -2 	 152 	 1
   3557000 	 -3 	 -1 	 1
   3566000 	 -1 	 -1 	 1
   3599500 	 -2 	 204 	 1
   3634000 	 -3 	 -1 	 1
   3946000 	 -1 	 -1 	 1
   3952500 	 -2 	 169 	 1
   4000500 	 -3 	 -1 	 1
   4557500 	 -1 	 -1 	 1
   4568500 	 -2 	 114 	 1
   4573500 	 -3 	 -1 	 1
   4817000 	 -1 	 -1 	 1
   4864500 	 -2 	 221 	 1
   4994500 	 -3 	 -1 	 1
   5145500 	 -1 	 -1 	 1
   5170000 	 -2 	 160 	 1
   5179000 	 -3 	 -1 	 1
   5702000 	 -1 	 -1 	 1
   5736000 	 -2 	 227 	 1
   5752000 	 -3 	 -1 	 1
   5760000 	 -1 	 -1 	 1
   5899000 	 -2 	 292 	 1
   5932000 	 -3 	 -1 	 1
   9806000 	 -1 	 -1 	 1
   9837500 	 -2 	 157 	 1
   9873500 	 -3 	 -1 	 1
  12185500 	 -1 	 0 	 1
  12189500 	 -1 	 0 	 0
  12227000 	 -2 	 -186 	 1
  12229000 	 -2 	 425 	 0
  12240000 	 -3 	 0 	 1
  12307500 	 -3 	 0 	 0
  12467000 	 -1 	 0 	 0
  12473500 	 -1 	 0 	 1
  12496500 	 -2 	 -195 	 1
  12505500 	 -2 	 292 	 0
  12522500 	 -3 	 0 	 1
  12542500 	 -1 	 0 	 1
  12544500 	 -3 	 0 	 0
  12559500 	 -2 	 174 	 1
  12579500 	 -3 	 0 	 1
  12723000 	 -1 	 0 	 0
  12728000 	 -1 	 0 	 1
  12770500 	 -2 	 -263 	 1
  12773500 	 -2 	 328 	 0
  12785000 	 -3 	 0 	 1
  12804000 	 -1 	 0 	 1
  12813000 	 -2 	 177 	 1
  12830000 	 -3 	 0 	 1
  12837000 	 -3 	 0 	 0
  13120000 	 -1 	 0 	 0
  13121000 	 -1 	 0 	 1
  13156500 	 -2 	 -224 	 1
  13160000 	 -2 	 411 	 0
  13176500 	 -3 	 0 	 1
  13191000 	 -3 	 0 	 0
  14489000 	 -1 	 0 	 0
  14493000 	 -1 	 0 	 1
  14501000 	 -2 	 135 	 0
  14507500 	 -3 	 0 	 0
  14508000 	 -2 	 -101 	 1
  14513000 	 -3 	 0 	 1
  15209500 	 -1 	 -1 	 1
  15289500 	 -2 	 195 	 1
  15329000 	 -3 	 -1 	 1
  15413000 	 -1 	 0 	 1
  15416500 	 -1 	 0 	 0
  15432000 	 -2 	 -280 	 1
  15444500 	 -2 	 353 	 0
  15479000 	 -3 	 0 	 0
  15487000 	 -3 	 0 	 1
  15910000 	 -1 	 0 	 0
  15913500 	 -1 	 0 	 1
  15947000 	 -2 	 347 	 0
  15947000 	 -2 	 -241 	 1
  15961500 	 -3 	 0 	 1
  16011000 	 -3 	 0 	 0
  16314500 	 -1 	 0 	 0
  16317500 	 -1 	 0 	 1
  16338000 	 -2 	 -210 	 1
  16355000 	 -2 	 383 	 0
  16368500 	 -3 	 0 	 0
  16380000 	 -3 	 0 	 1
  16740000 	 -1 	 -1 	 1
  16760000 	 -2 	 169 	 1
  16773000 	 -3 	 -1 	 1
  16866000 	 -1 	 -1 	 1
  16913500 	 -2 	 160 	 1
  16924000 	 -3 	 -1 	 1
  16972000 	 -1 	 -1 	 1
  17110500 	 -1 	 -1 	 0
  17181000 	 -2 	 76 	 0
  17254000 	 -2 	 294 	 1
  17272500 	 -3 	 -1 	 0
  17307000 	 -3 	 -1 	 1
  17691500 	 -1 	 -1 	 0
  17692000 	 -1 	 -1 	 1
  17753500 	 -2 	 299 	 1
  17793000 	 -2 	 126 	 0
  17820000 	 -3 	 -1 	 0
  17831000 	 -3 	 -1 	 1
  17838500 	 -1 	 -1 	 0
  17849000 	 -1 	 -1 	 1
  18134000 	 -2 	 -122 	 1
  18182500 	 -2 	 191 	 0
  18278000 	 -3 	 -1 	 1
  18325000 	 -3 	 -1 	 0
  19270500 	 -1 	 -1 	 1
  19345500 	 -2 	 254 	 1
  19405500 	 -3 	 -1 	 1
  19831500 	 -1 	 -1 	 1
  19847000 	 -2 	 141 	 1
  19863500 	 -3 	 -1 	 1
  19983500 	 -1 	 -1 	 1
  20002500 	 -2 	 302 	 1
  20033500 	 -3 	 -1 	 1
  20166000 	 -1 	 -1 	 1
  20190500 	 -2 	 195 	 1
  20285000 	 -3 	 -1 	 1
  20771500 	 -1 	 -1 	 1
  20783000 	 -2 	 246 	 1
  20797500 	 -3 	 -1 	 1
  20982000 	 -1 	 -1 	 1
  21031000 	 -2 	 170 	 1
  21054000 	 -3 	 -1 	 1
  21076000 	 -1 	 -1 	 1
  21132500 	 -2 	 262 	 1
  21225500 	 -3 	 -1 	 1