EVAL_ST Tool 1.0.0

File: <base>/EVAL_ST/ltsta_alg02/s20311.dev (5,057 bytes)
    503000 	 -1 	 -1 	 1
    539000 	 -2 	 188 	 1
    554000 	 -3 	 -1 	 1
    668500 	 -1 	 -1 	 1
    674500 	 -2 	 208 	 1
    683500 	 -3 	 -1 	 1
    691500 	 -1 	 -1 	 1
    705000 	 -2 	 172 	 1
    714500 	 -3 	 -1 	 1
    793500 	 -1 	 -1 	 1
    796500 	 -2 	 137 	 1
    810500 	 -3 	 -1 	 1
    823000 	 -1 	 -1 	 1
    860500 	 -2 	 128 	 1
    866500 	 -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
   1652500 	 -1 	 -1 	 1
   1658000 	 -2 	 186 	 1
   1663500 	 -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
   3649500 	 -1 	 -1 	 1
   3666000 	 -2 	 62 	 1
   3675000 	 -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
   5543000 	 -1 	 -1 	 1
   5566000 	 -2 	 230 	 1
   5621000 	 -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
  15672500 	 -1 	 0 	 0
  15676500 	 -2 	 126 	 0
  15685500 	 -3 	 0 	 0
  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
  16710500 	 -1 	 -1 	 1
  16714500 	 -2 	 173 	 1
  16732500 	 -3 	 -1 	 1
  16740000 	 -1 	 -1 	 1
  16760000 	 -2 	 169 	 1
  16773000 	 -3 	 -1 	 1
  16783500 	 -1 	 -1 	 1
  16792000 	 -2 	 114 	 1
  16799000 	 -3 	 -1 	 1
  16866000 	 -1 	 -1 	 1
  16913500 	 -2 	 160 	 1
  16924000 	 -3 	 -1 	 1
  16972000 	 -1 	 -1 	 1
  17007000 	 -1 	 -1 	 0
  17092500 	 -2 	 55 	 0
  17101000 	 -3 	 -1 	 0
  17110500 	 -1 	 -1 	 0
  17181000 	 -2 	 76 	 0
  17254000 	 -2 	 294 	 1
  17272500 	 -3 	 -1 	 0
  17307000 	 -3 	 -1 	 1
  17659000 	 -1 	 -1 	 1
  17665500 	 -2 	 134 	 1
  17670000 	 -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
  18288500 	 -1 	 -1 	 1
  18308500 	 -2 	 -24 	 1
  18312000 	 -3 	 -1 	 1
  18325000 	 -3 	 -1 	 0
  19270500 	 -1 	 -1 	 1
  19345500 	 -2 	 254 	 1
  19405500 	 -3 	 -1 	 1
  19652500 	 -1 	 -1 	 1
  19669500 	 -2 	 101 	 1
  19681500 	 -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
  20053000 	 -1 	 -1 	 1
  20058000 	 -2 	 177 	 1
  20062000 	 -3 	 -1 	 1
  20070500 	 -1 	 -1 	 1
  20097500 	 -2 	 59 	 1
  20133000 	 -3 	 -1 	 1
  20166000 	 -1 	 -1 	 1
  20190500 	 -2 	 195 	 1
  20285000 	 -3 	 -1 	 1
  20496500 	 -1 	 -1 	 1
  20526000 	 -2 	 66 	 1
  20545000 	 -3 	 -1 	 1
  20771500 	 -1 	 -1 	 1
  20783000 	 -2 	 246 	 1
  20797500 	 -3 	 -1 	 1
  20939500 	 -1 	 -1 	 1
  20951000 	 -2 	 152 	 1
  20960000 	 -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
  21506000 	 -1 	 -1 	 1
  21522500 	 -2 	 167 	 1
  21572000 	 -3 	 -1 	 1