Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250600528.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Parking-PT-208, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250600528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.9K Apr 11 23:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 11 23:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 10 22:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 22:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 07:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 07:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 12:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 12:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 49K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589645058893

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 208
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 137 places, 201 transitions, 593 arcs.
AT ITER 0 NEW BEST:: SOT 16137 SOS 11468 HAS SOPS 11468 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7574.468
AT ITER 1 NEW BEST:: SOT 15889 SOS 11130 HAS SOPS 11094 HAS SOUS 7353 HAS SOUPS 7317 WITH SCORE 7328.13
AT ITER 3 NEW BEST:: SOT 15868 SOS 11219 HAS SOPS 11138 HAS SOUS 7380 HAS SOUPS 7299 WITH SCORE 7310.219
AT ITER 5 NEW BEST:: SOT 15747 SOS 11097 HAS SOPS 11016 HAS SOUS 7303 HAS SOUPS 7222 WITH SCORE 7233.097
AT ITER 8 NEW BEST:: SOT 15747 SOS 11005 HAS SOPS 10924 HAS SOUS 7248 HAS SOUPS 7167 WITH SCORE 7178.005
AT ITER 12 NEW BEST:: SOT 15762 SOS 10913 HAS SOPS 10832 HAS SOUS 7228 HAS SOUPS 7147 WITH SCORE 7157.913
AT ITER 14 NEW BEST:: SOT 15647 SOS 10836 HAS SOPS 10755 HAS SOUS 7167 HAS SOUPS 7086 WITH SCORE 7096.836
AT ITER 15 NEW BEST:: SOT 15517 SOS 10706 HAS SOPS 10625 HAS SOUS 7073 HAS SOUPS 6992 WITH SCORE 7002.706
AT ITER 18 NEW BEST:: SOT 15517 SOS 10706 HAS SOPS 10625 HAS SOUS 7072 HAS SOUPS 6991 WITH SCORE 7001.706
AT ITER 19 NEW BEST:: SOT 15488 SOS 10677 HAS SOPS 10596 HAS SOUS 7035 HAS SOUPS 6954 WITH SCORE 6964.677
AT ITER 27 NEW BEST:: SOT 15488 SOS 10589 HAS SOPS 10508 HAS SOUS 7013 HAS SOUPS 6932 WITH SCORE 6942.589
AT ITER 29 NEW BEST:: SOT 15429 SOS 10531 HAS SOPS 10449 HAS SOUS 6972 HAS SOUPS 6890 WITH SCORE 6900.531
AT ITER 33 NEW BEST:: SOT 15355 SOS 10457 HAS SOPS 10375 HAS SOUS 6922 HAS SOUPS 6840 WITH SCORE 6850.457
AT ITER 34 NEW BEST:: SOT 15355 SOS 10403 HAS SOPS 10339 HAS SOUS 6886 HAS SOUPS 6822 WITH SCORE 6832.403
AT ITER 38 NEW BEST:: SOT 15331 SOS 10379 HAS SOPS 10315 HAS SOUS 6825 HAS SOUPS 6761 WITH SCORE 6771.379
AT ITER 43 NEW BEST:: SOT 15296 SOS 10344 HAS SOPS 10280 HAS SOUS 6790 HAS SOUPS 6726 WITH SCORE 6736.344
AT ITER 44 NEW BEST:: SOT 15295 SOS 10309 HAS SOPS 10245 HAS SOUS 6781 HAS SOUPS 6717 WITH SCORE 6727.309
AT ITER 46 NEW BEST:: SOT 15156 SOS 10170 HAS SOPS 10106 HAS SOUS 6672 HAS SOUPS 6608 WITH SCORE 6618.17
AT ITER 47 NEW BEST:: SOT 15132 SOS 10141 HAS SOPS 10077 HAS SOUS 6667 HAS SOUPS 6603 WITH SCORE 6613.141
AT ITER 50 NEW BEST:: SOT 15021 SOS 10076 HAS SOPS 10012 HAS SOUS 6600 HAS SOUPS 6536 WITH SCORE 6546.076
AT ITER 52 NEW BEST:: SOT 15021 SOS 9992 HAS SOPS 9928 HAS SOUS 6566 HAS SOUPS 6502 WITH SCORE 6511.992
AT ITER 54 NEW BEST:: SOT 15006 SOS 9981 HAS SOPS 9912 HAS SOUS 6560 HAS SOUPS 6491 WITH SCORE 6500.981
AT ITER 57 NEW BEST:: SOT 15006 SOS 9811 HAS SOPS 9742 HAS SOUS 6542 HAS SOUPS 6473 WITH SCORE 6482.811
AT ITER 58 NEW BEST:: SOT 14895 SOS 9643 HAS SOPS 9522 HAS SOUS 6478 HAS SOUPS 6357 WITH SCORE 6366.643
AT ITER 59 NEW BEST:: SOT 14881 SOS 9646 HAS SOPS 9506 HAS SOUS 6476 HAS SOUPS 6336 WITH SCORE 6345.646
AT ITER 62 NEW BEST:: SOT 14797 SOS 9568 HAS SOPS 9422 HAS SOUS 6416 HAS SOUPS 6270 WITH SCORE 6279.568
AT ITER 64 NEW BEST:: SOT 14797 SOS 9517 HAS SOPS 9371 HAS SOUS 6397 HAS SOUPS 6251 WITH SCORE 6260.517
AT ITER 72 NEW BEST:: SOT 14781 SOS 9500 HAS SOPS 9354 HAS SOUS 6395 HAS SOUPS 6249 WITH SCORE 6258.5
AT ITER 73 NEW BEST:: SOT 14764 SOS 9483 HAS SOPS 9337 HAS SOUS 6378 HAS SOUPS 6232 WITH SCORE 6241.483
AT ITER 75 NEW BEST:: SOT 14764 SOS 9459 HAS SOPS 9313 HAS SOUS 6362 HAS SOUPS 6216 WITH SCORE 6225.459
AT ITER 82 NEW BEST:: SOT 14686 SOS 9388 HAS SOPS 9235 HAS SOUS 6291 HAS SOUPS 6138 WITH SCORE 6147.388
AT ITER 83 NEW BEST:: SOT 14594 SOS 9320 HAS SOPS 9118 HAS SOUS 6296 HAS SOUPS 6094 WITH SCORE 6103.32
AT ITER 90 NEW BEST:: SOT 14444 SOS 9331 HAS SOPS 9037 HAS SOUS 6369 HAS SOUPS 6075 WITH SCORE 6084.331
AT ITER 93 NEW BEST:: SOT 14390 SOS 9222 HAS SOPS 8926 HAS SOUS 6050 HAS SOUPS 5754 WITH SCORE 5763.222
AT ITER 95 NEW BEST:: SOT 14258 SOS 9086 HAS SOPS 8790 HAS SOUS 5947 HAS SOUPS 5651 WITH SCORE 5660.086
AT ITER 98 NEW BEST:: SOT 14256 SOS 9078 HAS SOPS 8782 HAS SOUS 5943 HAS SOUPS 5647 WITH SCORE 5656.078
AT ITER 101 NEW BEST:: SOT 14206 SOS 9056 HAS SOPS 8760 HAS SOUS 5919 HAS SOUPS 5623 WITH SCORE 5632.056
AT ITER 102 NEW BEST:: SOT 14200 SOS 9013 HAS SOPS 8717 HAS SOUS 5900 HAS SOUPS 5604 WITH SCORE 5613.013
AT ITER 105 NEW BEST:: SOT 14200 SOS 9006 HAS SOPS 8710 HAS SOUS 5886 HAS SOUPS 5590 WITH SCORE 5599.006
AT ITER 111 NEW BEST:: SOT 14206 SOS 9075 HAS SOPS 8731 HAS SOUS 5919 HAS SOUPS 5575 WITH SCORE 5584.075
AT ITER 112 NEW BEST:: SOT 14186 SOS 8959 HAS SOPS 8615 HAS SOUS 5824 HAS SOUPS 5480 WITH SCORE 5488.959
AT ITER 121 NEW BEST:: SOT 14185 SOS 8958 HAS SOPS 8614 HAS SOUS 5823 HAS SOUPS 5479 WITH SCORE 5487.958
AT ITER 124 NEW BEST:: SOT 14165 SOS 8908 HAS SOPS 8564 HAS SOUS 5793 HAS SOUPS 5449 WITH SCORE 5457.908
AT ITER 135 NEW BEST:: SOT 14144 SOS 8903 HAS SOPS 8559 HAS SOUS 5778 HAS SOUPS 5434 WITH SCORE 5442.903
AT ITER 136 NEW BEST:: SOT 14124 SOS 8863 HAS SOPS 8519 HAS SOUS 5755 HAS SOUPS 5411 WITH SCORE 5419.863
AT ITER 149 NEW BEST:: SOT 14091 SOS 8758 HAS SOPS 8414 HAS SOUS 5744 HAS SOUPS 5400 WITH SCORE 5408.758
AT ITER 152 NEW BEST:: SOT 14091 SOS 8732 HAS SOPS 8388 HAS SOUS 5744 HAS SOUPS 5400 WITH SCORE 5408.732
AT ITER 154 NEW BEST:: SOT 14069 SOS 8600 HAS SOPS 8256 HAS SOUS 5711 HAS SOUPS 5367 WITH SCORE 5375.6
AT ITER 156 NEW BEST:: SOT 14060 SOS 8591 HAS SOPS 8247 HAS SOUS 5702 HAS SOUPS 5358 WITH SCORE 5366.591
AT ITER 161 NEW BEST:: SOT 14060 SOS 8282 HAS SOPS 7938 HAS SOUS 5693 HAS SOUPS 5349 WITH SCORE 5357.282
AT ITER 164 NEW BEST:: SOT 13908 SOS 8247 HAS SOPS 7884 HAS SOUS 5644 HAS SOUPS 5281 WITH SCORE 5289.247
AT ITER 171 NEW BEST:: SOT 13921 SOS 8250 HAS SOPS 7887 HAS SOUS 5643 HAS SOUPS 5280 WITH SCORE 5288.25
AT ITER 176 NEW BEST:: SOT 13897 SOS 8200 HAS SOPS 7834 HAS SOUS 5591 HAS SOUPS 5227 WITH SCORE 5235.2
AT ITER 183 NEW BEST:: SOT 13877 SOS 8179 HAS SOPS 7813 HAS SOUS 5570 HAS SOUPS 5206 WITH SCORE 5214.179
AT ITER 185 NEW BEST:: SOT 13872 SOS 8174 HAS SOPS 7808 HAS SOUS 5565 HAS SOUPS 5201 WITH SCORE 5209.174
AT ITER 186 NEW BEST:: SOT 13872 SOS 7793 HAS SOPS 7486 HAS SOUS 5506 HAS SOUPS 5201 WITH SCORE 5208.793
AT ITER 191 NEW BEST:: SOT 13833 SOS 7753 HAS SOPS 7446 HAS SOUS 5467 HAS SOUPS 5162 WITH SCORE 5169.753
AT ITER 193 NEW BEST:: SOT 13868 SOS 7788 HAS SOPS 7483 HAS SOUS 5433 HAS SOUPS 5130 WITH SCORE 5137.788
AT ITER 206 NEW BEST:: SOT 13828 SOS 7748 HAS SOPS 7443 HAS SOUS 5404 HAS SOUPS 5101 WITH SCORE 5108.748
AT ITER 212 NEW BEST:: SOT 13828 SOS 7673 HAS SOPS 7368 HAS SOUS 5363 HAS SOUPS 5060 WITH SCORE 5067.673
AT ITER 219 NEW BEST:: SOT 13812 SOS 7657 HAS SOPS 7352 HAS SOUS 5347 HAS SOUPS 5044 WITH SCORE 5051.657
AT ITER 220 NEW BEST:: SOT 13812 SOS 7581 HAS SOPS 7276 HAS SOUS 5332 HAS SOUPS 5029 WITH SCORE 5036.581
AT ITER 225 NEW BEST:: SOT 13801 SOS 7570 HAS SOPS 7265 HAS SOUS 5321 HAS SOUPS 5018 WITH SCORE 5025.57
AT ITER 229 NEW BEST:: SOT 13765 SOS 7515 HAS SOPS 7210 HAS SOUS 5293 HAS SOUPS 4990 WITH SCORE 4997.515
AT ITER 236 NEW BEST:: SOT 13751 SOS 7480 HAS SOPS 7175 HAS SOUS 5272 HAS SOUPS 4969 WITH SCORE 4976.48
AT ITER 238 NEW BEST:: SOT 13750 SOS 7467 HAS SOPS 7165 HAS SOUS 5262 HAS SOUPS 4962 WITH SCORE 4969.467
AT ITER 248 NEW BEST:: SOT 13761 SOS 7456 HAS SOPS 7154 HAS SOUS 5262 HAS SOUPS 4962 WITH SCORE 4969.456
AT ITER 253 NEW BEST:: SOT 13763 SOS 7403 HAS SOPS 7117 HAS SOUS 5229 HAS SOUPS 4945 WITH SCORE 4952.403
AT ITER 258 NEW BEST:: SOT 13785 SOS 7399 HAS SOPS 7113 HAS SOUS 5215 HAS SOUPS 4931 WITH SCORE 4938.399
AT ITER 259 NEW BEST:: SOT 13805 SOS 7108 HAS SOPS 6822 HAS SOUS 5142 HAS SOUPS 4858 WITH SCORE 4865.108
AT ITER 267 NEW BEST:: SOT 13788 SOS 7091 HAS SOPS 6805 HAS SOUS 5131 HAS SOUPS 4847 WITH SCORE 4854.091
AT ITER 277 NEW BEST:: SOT 13739 SOS 7064 HAS SOPS 6778 HAS SOUS 5123 HAS SOUPS 4839 WITH SCORE 4846.064
AT ITER 284 NEW BEST:: SOT 13677 SOS 7110 HAS SOPS 6824 HAS SOUS 5092 HAS SOUPS 4808 WITH SCORE 4815.11
AT ITER 290 NEW BEST:: SOT 13304 SOS 7189 HAS SOPS 6789 HAS SOUS 5162 HAS SOUPS 4792 WITH SCORE 4799.189
AT ITER 292 NEW BEST:: SOT 13286 SOS 7171 HAS SOPS 6771 HAS SOUS 5144 HAS SOUPS 4774 WITH SCORE 4781.171
AT ITER 295 NEW BEST:: SOT 13276 SOS 7161 HAS SOPS 6761 HAS SOUS 5139 HAS SOUPS 4769 WITH SCORE 4776.161
AT ITER 299 NEW BEST:: SOT 13277 SOS 7160 HAS SOPS 6760 HAS SOUS 5139 HAS SOUPS 4769 WITH SCORE 4776.16
AT ITER 303 NEW BEST:: SOT 13286 SOS 7133 HAS SOPS 6667 HAS SOUS 5104 HAS SOUPS 4668 WITH SCORE 4675.133
AT ITER 314 NEW BEST:: SOT 13277 SOS 7124 HAS SOPS 6658 HAS SOUS 5078 HAS SOUPS 4642 WITH SCORE 4649.124
AT ITER 322 NEW BEST:: SOT 13266 SOS 7112 HAS SOPS 6646 HAS SOUS 5066 HAS SOUPS 4630 WITH SCORE 4637.112
AT ITER 323 NEW BEST:: SOT 13259 SOS 7077 HAS SOPS 6611 HAS SOUS 5048 HAS SOUPS 4612 WITH SCORE 4619.077
AT ITER 326 NEW BEST:: SOT 13286 SOS 7054 HAS SOPS 6588 HAS SOUS 5036 HAS SOUPS 4600 WITH SCORE 4607.054
AT ITER 335 NEW BEST:: SOT 13270 SOS 7022 HAS SOPS 6556 HAS SOUS 5004 HAS SOUPS 4568 WITH SCORE 4575.022
AT ITER 338 NEW BEST:: SOT 13241 SOS 6993 HAS SOPS 6527 HAS SOUS 4998 HAS SOUPS 4562 WITH SCORE 4568.993
AT ITER 340 NEW BEST:: SOT 13219 SOS 6959 HAS SOPS 6493 HAS SOUS 4976 HAS SOUPS 4540 WITH SCORE 4546.959
AT ITER 342 NEW BEST:: SOT 13201 SOS 6932 HAS SOPS 6466 HAS SOUS 4958 HAS SOUPS 4522 WITH SCORE 4528.932
AT ITER 344 NEW BEST:: SOT 13183 SOS 6897 HAS SOPS 6430 HAS SOUS 4931 HAS SOUPS 4495 WITH SCORE 4501.897
AT ITER 349 NEW BEST:: SOT 13157 SOS 6871 HAS SOPS 6404 HAS SOUS 4905 HAS SOUPS 4469 WITH SCORE 4475.871
AT ITER 368 NEW BEST:: SOT 13156 SOS 6850 HAS SOPS 6392 HAS SOUS 4894 HAS SOUPS 4467 WITH SCORE 4473.85
AT ITER 371 NEW BEST:: SOT 13152 SOS 6840 HAS SOPS 6382 HAS SOUS 4890 HAS SOUPS 4463 WITH SCORE 4469.84
AT ITER 382 NEW BEST:: SOT 13153 SOS 6840 HAS SOPS 6373 HAS SOUS 4890 HAS SOUPS 4454 WITH SCORE 4460.84
AT ITER 383 NEW BEST:: SOT 13150 SOS 6837 HAS SOPS 6370 HAS SOUS 4887 HAS SOUPS 4451 WITH SCORE 4457.837
AT ITER 386 NEW BEST:: SOT 13150 SOS 6837 HAS SOPS 6370 HAS SOUS 4885 HAS SOUPS 4449 WITH SCORE 4455.837
AT ITER 396 NEW BEST:: SOT 13150 SOS 6837 HAS SOPS 6364 HAS SOUS 4885 HAS SOUPS 4443 WITH SCORE 4449.837
AT ITER 406 NEW BEST:: SOT 13116 SOS 6800 HAS SOPS 6327 HAS SOUS 4865 HAS SOUPS 4423 WITH SCORE 4429.8
AT ITER 428 NEW BEST:: SOT 13108 SOS 6797 HAS SOPS 6319 HAS SOUS 4862 HAS SOUPS 4415 WITH SCORE 4421.797
AT ITER 433 NEW BEST:: SOT 13090 SOS 6755 HAS SOPS 6285 HAS SOUS 4846 HAS SOUPS 4407 WITH SCORE 4413.755
AT ITER 441 NEW BEST:: SOT 12987 SOS 6652 HAS SOPS 6182 HAS SOUS 4784 HAS SOUPS 4345 WITH SCORE 4351.652
AT ITER 444 NEW BEST:: SOT 12974 SOS 6639 HAS SOPS 6178 HAS SOUS 4771 HAS SOUPS 4341 WITH SCORE 4347.639
AT ITER 449 NEW BEST:: SOT 12973 SOS 6638 HAS SOPS 6177 HAS SOUS 4770 HAS SOUPS 4340 WITH SCORE 4346.638
AT ITER 460 NEW BEST:: SOT 12895 SOS 6508 HAS SOPS 6047 HAS SOUS 4692 HAS SOUPS 4262 WITH SCORE 4268.508
AT ITER 464 NEW BEST:: SOT 12871 SOS 6453 HAS SOPS 5992 HAS SOUS 4660 HAS SOUPS 4230 WITH SCORE 4236.453
AT ITER 472 NEW BEST:: SOT 12867 SOS 6439 HAS SOPS 5978 HAS SOUS 4656 HAS SOUPS 4226 WITH SCORE 4232.439
AT ITER 473 NEW BEST:: SOT 12833 SOS 6368 HAS SOPS 5907 HAS SOUS 4628 HAS SOUPS 4198 WITH SCORE 4204.368
AT ITER 475 NEW BEST:: SOT 12794 SOS 6326 HAS SOPS 5865 HAS SOUS 4589 HAS SOUPS 4159 WITH SCORE 4165.326
AT ITER 476 NEW BEST:: SOT 12750 SOS 6282 HAS SOPS 5821 HAS SOUS 4580 HAS SOUPS 4150 WITH SCORE 4156.282
AT ITER 479 NEW BEST:: SOT 12726 SOS 6235 HAS SOPS 5778 HAS SOUS 4528 HAS SOUPS 4098 WITH SCORE 4104.235
AT ITER 482 NEW BEST:: SOT 12698 SOS 6198 HAS SOPS 5709 HAS SOUS 4491 HAS SOUPS 4029 WITH SCORE 4035.198
AT ITER 489 NEW BEST:: SOT 12707 SOS 6079 HAS SOPS 5474 HAS SOUS 4501 HAS SOUPS 3981 WITH SCORE 3987.079
AT ITER 496 NEW BEST:: SOT 12704 SOS 6076 HAS SOPS 5468 HAS SOUS 4498 HAS SOUPS 3975 WITH SCORE 3981.076
AT ITER 498 NEW BEST:: SOT 12612 SOS 5984 HAS SOPS 5410 HAS SOUS 4448 HAS SOUPS 3959 WITH SCORE 3964.984
AT ITER 514 NEW BEST:: SOT 12593 SOS 5952 HAS SOPS 5397 HAS SOUS 4416 HAS SOUPS 3946 WITH SCORE 3951.952
AT ITER 523 NEW BEST:: SOT 12593 SOS 5942 HAS SOPS 5387 HAS SOUS 4406 HAS SOUPS 3936 WITH SCORE 3941.942
AT ITER 533 NEW BEST:: SOT 12581 SOS 5926 HAS SOPS 5367 HAS SOUS 4394 HAS SOUPS 3920 WITH SCORE 3925.926
AT ITER 537 NEW BEST:: SOT 12587 SOS 5931 HAS SOPS 5372 HAS SOUS 4392 HAS SOUPS 3918 WITH SCORE 3923.931
AT ITER 542 NEW BEST:: SOT 12583 SOS 5929 HAS SOPS 5346 HAS SOUS 4388 HAS SOUPS 3890 WITH SCORE 3895.929
AT ITER 545 NEW BEST:: SOT 12520 SOS 5832 HAS SOPS 5249 HAS SOUS 4348 HAS SOUPS 3850 WITH SCORE 3855.832
AT ITER 553 NEW BEST:: SOT 12516 SOS 5828 HAS SOPS 5245 HAS SOUS 4344 HAS SOUPS 3846 WITH SCORE 3851.828
AT ITER 563 NEW BEST:: SOT 12510 SOS 5820 HAS SOPS 5235 HAS SOUS 4336 HAS SOUPS 3838 WITH SCORE 3843.82
AT ITER 568 NEW BEST:: SOT 12510 SOS 5810 HAS SOPS 5235 HAS SOUS 4326 HAS SOUPS 3838 WITH SCORE 3843.81
AT ITER 575 NEW BEST:: SOT 12505 SOS 5805 HAS SOPS 5230 HAS SOUS 4321 HAS SOUPS 3833 WITH SCORE 3838.805
AT ITER 577 NEW BEST:: SOT 12533 SOS 5833 HAS SOPS 5258 HAS SOUS 4319 HAS SOUPS 3831 WITH SCORE 3836.833
AT ITER 589 NEW BEST:: SOT 12544 SOS 5832 HAS SOPS 5256 HAS SOUS 4318 HAS SOUPS 3829 WITH SCORE 3834.832
AT ITER 598 NEW BEST:: SOT 12544 SOS 5829 HAS SOPS 5256 HAS SOUS 4315 HAS SOUPS 3829 WITH SCORE 3834.829
AT ITER 607 NEW BEST:: SOT 12531 SOS 5719 HAS SOPS 5146 HAS SOUS 4289 HAS SOUPS 3803 WITH SCORE 3808.719
AT ITER 612 NEW BEST:: SOT 12470 SOS 5658 HAS SOPS 5085 HAS SOUS 4253 HAS SOUPS 3767 WITH SCORE 3772.658
AT ITER 616 NEW BEST:: SOT 12476 SOS 5644 HAS SOPS 5071 HAS SOUS 4248 HAS SOUPS 3762 WITH SCORE 3767.644
AT ITER 627 NEW BEST:: SOT 12495 SOS 5663 HAS SOPS 5090 HAS SOUS 4245 HAS SOUPS 3759 WITH SCORE 3764.663
AT ITER 635 NEW BEST:: SOT 12462 SOS 5594 HAS SOPS 5021 HAS SOUS 4239 HAS SOUPS 3753 WITH SCORE 3758.594
AT ITER 646 NEW BEST:: SOT 12454 SOS 5546 HAS SOPS 4973 HAS SOUS 4205 HAS SOUPS 3719 WITH SCORE 3724.546
AT ITER 651 NEW BEST:: SOT 12437 SOS 5497 HAS SOPS 4932 HAS SOUS 4172 HAS SOUPS 3694 WITH SCORE 3699.497
AT ITER 655 NEW BEST:: SOT 12430 SOS 5490 HAS SOPS 4925 HAS SOUS 4165 HAS SOUPS 3687 WITH SCORE 3692.49
AT ITER 656 NEW BEST:: SOT 12428 SOS 5490 HAS SOPS 4925 HAS SOUS 4163 HAS SOUPS 3685 WITH SCORE 3690.49
AT ITER 662 NEW BEST:: SOT 12426 SOS 5496 HAS SOPS 4931 HAS SOUS 4141 HAS SOUPS 3663 WITH SCORE 3668.496
AT ITER 667 NEW BEST:: SOT 12427 SOS 5494 HAS SOPS 4929 HAS SOUS 4141 HAS SOUPS 3663 WITH SCORE 3668.494
AT ITER 672 NEW BEST:: SOT 12415 SOS 5464 HAS SOPS 4899 HAS SOUS 4123 HAS SOUPS 3645 WITH SCORE 3650.464
AT ITER 677 NEW BEST:: SOT 12414 SOS 5471 HAS SOPS 4906 HAS SOUS 4122 HAS SOUPS 3644 WITH SCORE 3649.471
AT ITER 698 NEW BEST:: SOT 12413 SOS 5470 HAS SOPS 4905 HAS SOUS 4121 HAS SOUPS 3643 WITH SCORE 3648.47
AT ITER 710 NEW BEST:: SOT 12413 SOS 5467 HAS SOPS 4902 HAS SOUS 4118 HAS SOUPS 3640 WITH SCORE 3645.467
AT ITER 724 NEW BEST:: SOT 12415 SOS 5461 HAS SOPS 4896 HAS SOUS 4108 HAS SOUPS 3630 WITH SCORE 3635.461
AT ITER 752 NEW BEST:: SOT 12413 SOS 5456 HAS SOPS 4891 HAS SOUS 4105 HAS SOUPS 3627 WITH SCORE 3632.456
AT ITER 756 NEW BEST:: SOT 12404 SOS 5435 HAS SOPS 4870 HAS SOUS 4103 HAS SOUPS 3625 WITH SCORE 3630.435
AT ITER 761 NEW BEST:: SOT 12384 SOS 5408 HAS SOPS 4843 HAS SOUS 4083 HAS SOUPS 3605 WITH SCORE 3610.408
AT ITER 763 NEW BEST:: SOT 12387 SOS 5407 HAS SOPS 4842 HAS SOUS 4082 HAS SOUPS 3604 WITH SCORE 3609.407
AT ITER 770 NEW BEST:: SOT 12386 SOS 5406 HAS SOPS 4841 HAS SOUS 4081 HAS SOUPS 3603 WITH SCORE 3608.406
AT ITER 784 NEW BEST:: SOT 12382 SOS 5402 HAS SOPS 4837 HAS SOUS 4079 HAS SOUPS 3601 WITH SCORE 3606.402
AT ITER 786 NEW BEST:: SOT 12356 SOS 5350 HAS SOPS 4833 HAS SOUS 4012 HAS SOUPS 3582 WITH SCORE 3587.35
AT ITER 787 NEW BEST:: SOT 12353 SOS 5356 HAS SOPS 4839 HAS SOUS 4011 HAS SOUPS 3581 WITH SCORE 3586.356
AT ITER 789 NEW BEST:: SOT 12353 SOS 5355 HAS SOPS 4839 HAS SOUS 4010 HAS SOUPS 3581 WITH SCORE 3586.355
AT ITER 808 NEW BEST:: SOT 12353 SOS 5305 HAS SOPS 4805 HAS SOUS 4000 HAS SOUPS 3579 WITH SCORE 3584.305
AT ITER 809 NEW BEST:: SOT 12351 SOS 5305 HAS SOPS 4805 HAS SOUS 3998 HAS SOUPS 3577 WITH SCORE 3582.305
AT ITER 813 NEW BEST:: SOT 12347 SOS 5301 HAS SOPS 4801 HAS SOUS 3998 HAS SOUPS 3577 WITH SCORE 3582.301
AT ITER 835 NEW BEST:: SOT 12306 SOS 5258 HAS SOPS 4758 HAS SOUS 3972 HAS SOUPS 3551 WITH SCORE 3556.258
AT ITER 871 NEW BEST:: SOT 12308 SOS 5254 HAS SOPS 4756 HAS SOUS 3970 HAS SOUPS 3550 WITH SCORE 3555.254
AT ITER 879 NEW BEST:: SOT 12306 SOS 5252 HAS SOPS 4756 HAS SOUS 3968 HAS SOUPS 3550 WITH SCORE 3555.252
AT ITER 880 NEW BEST:: SOT 12306 SOS 5222 HAS SOPS 4726 HAS SOUS 3953 HAS SOUPS 3535 WITH SCORE 3540.222
AT ITER 897 NEW BEST:: SOT 12302 SOS 5218 HAS SOPS 4722 HAS SOUS 3945 HAS SOUPS 3527 WITH SCORE 3532.218
AT ITER 910 NEW BEST:: SOT 12264 SOS 5180 HAS SOPS 4684 HAS SOUS 3907 HAS SOUPS 3489 WITH SCORE 3494.18
AT ITER 918 NEW BEST:: SOT 12261 SOS 5177 HAS SOPS 4681 HAS SOUS 3897 HAS SOUPS 3479 WITH SCORE 3484.177
AT ITER 924 NEW BEST:: SOT 12250 SOS 5176 HAS SOPS 4658 HAS SOUS 3896 HAS SOUPS 3456 WITH SCORE 3461.176
AT ITER 934 NEW BEST:: SOT 12243 SOS 5216 HAS SOPS 4698 HAS SOUS 3893 HAS SOUPS 3453 WITH SCORE 3458.216
AT ITER 940 NEW BEST:: SOT 12223 SOS 5220 HAS SOPS 4702 HAS SOUS 3889 HAS SOUPS 3449 WITH SCORE 3454.22
AT ITER 959 NEW BEST:: SOT 12217 SOS 5214 HAS SOPS 4696 HAS SOUS 3883 HAS SOUPS 3443 WITH SCORE 3448.214
AT ITER 982 NEW BEST:: SOT 12222 SOS 5219 HAS SOPS 4701 HAS SOUS 3881 HAS SOUPS 3441 WITH SCORE 3446.219
AT ITER 993 NEW BEST:: SOT 12164 SOS 5144 HAS SOPS 4626 HAS SOUS 3835 HAS SOUPS 3395 WITH SCORE 3400.144
AT ITER 996 NEW BEST:: SOT 12169 SOS 5144 HAS SOPS 4626 HAS SOUS 3830 HAS SOUPS 3390 WITH SCORE 3395.144
AT ITER 1003 NEW BEST:: SOT 12137 SOS 5188 HAS SOPS 4670 HAS SOUS 3814 HAS SOUPS 3374 WITH SCORE 3379.188
AT ITER 1004 NEW BEST:: SOT 12130 SOS 5169 HAS SOPS 4656 HAS SOUS 3795 HAS SOUPS 3360 WITH SCORE 3365.169
AT ITER 1025 NEW BEST:: SOT 12142 SOS 5110 HAS SOPS 4597 HAS SOUS 3792 HAS SOUPS 3357 WITH SCORE 3362.11
AT ITER 1035 NEW BEST:: SOT 12132 SOS 5082 HAS SOPS 4579 HAS SOUS 3774 HAS SOUPS 3349 WITH SCORE 3354.082
AT ITER 1043 NEW BEST:: SOT 12141 SOS 5061 HAS SOPS 4558 HAS SOUS 3766 HAS SOUPS 3341 WITH SCORE 3346.061
AT ITER 1053 NEW BEST:: SOT 12146 SOS 5066 HAS SOPS 4563 HAS SOUS 3764 HAS SOUPS 3339 WITH SCORE 3344.066
AT ITER 1056 NEW BEST:: SOT 12134 SOS 5054 HAS SOPS 4551 HAS SOUS 3763 HAS SOUPS 3338 WITH SCORE 3343.054
AT ITER 1068 NEW BEST:: SOT 12140 SOS 5048 HAS SOPS 4557 HAS SOUS 3757 HAS SOUPS 3338 WITH SCORE 3343.048
AT ITER 1084 NEW BEST:: SOT 12134 SOS 5030 HAS SOPS 4551 HAS SOUS 3733 HAS SOUPS 3326 WITH SCORE 3331.03
AT ITER 1105 NEW BEST:: SOT 12126 SOS 5021 HAS SOPS 4542 HAS SOUS 3724 HAS SOUPS 3317 WITH SCORE 3322.021
AT ITER 1119 NEW BEST:: SOT 12082 SOS 4960 HAS SOPS 4472 HAS SOUS 3698 HAS SOUPS 3282 WITH SCORE 3286.96
AT ITER 1129 NEW BEST:: SOT 12059 SOS 4923 HAS SOPS 4435 HAS SOUS 3675 HAS SOUPS 3259 WITH SCORE 3263.923
AT ITER 1133 NEW BEST:: SOT 12052 SOS 4903 HAS SOPS 4415 HAS SOUS 3664 HAS SOUPS 3248 WITH SCORE 3252.903
AT ITER 1134 NEW BEST:: SOT 12050 SOS 4901 HAS SOPS 4413 HAS SOUS 3662 HAS SOUPS 3246 WITH SCORE 3250.901
AT ITER 1143 NEW BEST:: SOT 12045 SOS 4896 HAS SOPS 4408 HAS SOUS 3661 HAS SOUPS 3245 WITH SCORE 3249.896
AT ITER 1144 NEW BEST:: SOT 12029 SOS 4880 HAS SOPS 4388 HAS SOUS 3647 HAS SOUPS 3231 WITH SCORE 3235.88
AT ITER 1173 NEW BEST:: SOT 12023 SOS 4874 HAS SOPS 4382 HAS SOUS 3636 HAS SOUPS 3220 WITH SCORE 3224.874
AT ITER 1179 NEW BEST:: SOT 12021 SOS 4872 HAS SOPS 4380 HAS SOUS 3634 HAS SOUPS 3218 WITH SCORE 3222.872
AT ITER 1190 NEW BEST:: SOT 12021 SOS 4866 HAS SOPS 4380 HAS SOUS 3628 HAS SOUPS 3218 WITH SCORE 3222.866
AT ITER 1195 NEW BEST:: SOT 12014 SOS 4859 HAS SOPS 4373 HAS SOUS 3615 HAS SOUPS 3205 WITH SCORE 3209.859
AT ITER 1210 NEW BEST:: SOT 12001 SOS 4846 HAS SOPS 4373 HAS SOUS 3589 HAS SOUPS 3192 WITH SCORE 3196.846
AT ITER 1211 NEW BEST:: SOT 12011 SOS 4837 HAS SOPS 4364 HAS SOUS 3580 HAS SOUPS 3183 WITH SCORE 3187.837
AT ITER 1212 NEW BEST:: SOT 12001 SOS 4821 HAS SOPS 4348 HAS SOUS 3566 HAS SOUPS 3169 WITH SCORE 3173.821
AT ITER 1231 NEW BEST:: SOT 11983 SOS 4803 HAS SOPS 4330 HAS SOUS 3566 HAS SOUPS 3169 WITH SCORE 3173.803
AT ITER 1235 NEW BEST:: SOT 11981 SOS 4801 HAS SOPS 4315 HAS SOUS 3575 HAS SOUPS 3165 WITH SCORE 3169.801
AT ITER 1261 NEW BEST:: SOT 11981 SOS 4798 HAS SOPS 4312 HAS SOUS 3575 HAS SOUPS 3165 WITH SCORE 3169.798
AT ITER 1281 NEW BEST:: SOT 11975 SOS 4789 HAS SOPS 4303 HAS SOUS 3572 HAS SOUPS 3162 WITH SCORE 3166.789
AT ITER 1288 NEW BEST:: SOT 11973 SOS 4787 HAS SOPS 4299 HAS SOUS 3570 HAS SOUPS 3158 WITH SCORE 3162.787
AT ITER 1303 NEW BEST:: SOT 11969 SOS 4783 HAS SOPS 4295 HAS SOUS 3570 HAS SOUPS 3158 WITH SCORE 3162.783
AT ITER 1334 NEW BEST:: SOT 11965 SOS 4767 HAS SOPS 4279 HAS SOUS 3563 HAS SOUPS 3151 WITH SCORE 3155.767
AT ITER 1375 NEW BEST:: SOT 11966 SOS 4768 HAS SOPS 4279 HAS SOUS 3563 HAS SOUPS 3150 WITH SCORE 3154.768
AT ITER 1398 NEW BEST:: SOT 11962 SOS 4759 HAS SOPS 4271 HAS SOUS 3559 HAS SOUPS 3147 WITH SCORE 3151.759
AT ITER 1413 NEW BEST:: SOT 12010 SOS 4705 HAS SOPS 4217 HAS SOUS 3551 HAS SOUPS 3139 WITH SCORE 3143.705
AT ITER 1454 NEW BEST:: SOT 12009 SOS 4703 HAS SOPS 4215 HAS SOUS 3550 HAS SOUPS 3138 WITH SCORE 3142.703
AT ITER 1455 NEW BEST:: SOT 12006 SOS 4696 HAS SOPS 4209 HAS SOUS 3541 HAS SOUPS 3130 WITH SCORE 3134.696
AT ITER 1459 NEW BEST:: SOT 12006 SOS 4692 HAS SOPS 4209 HAS SOUS 3537 HAS SOUPS 3130 WITH SCORE 3134.692
AT ITER 1504 NEW BEST:: SOT 12006 SOS 4689 HAS SOPS 4209 HAS SOUS 3534 HAS SOUPS 3130 WITH SCORE 3134.689
AT ITER 1518 NEW BEST:: SOT 12006 SOS 4677 HAS SOPS 4197 HAS SOUS 3532 HAS SOUPS 3128 WITH SCORE 3132.677
AT ITER 1525 NEW BEST:: SOT 11999 SOS 4670 HAS SOPS 4190 HAS SOUS 3518 HAS SOUPS 3114 WITH SCORE 3118.67
AT ITER 1611 NEW BEST:: SOT 12018 SOS 4644 HAS SOPS 4183 HAS SOUS 3492 HAS SOUPS 3107 WITH SCORE 3111.644
AT ITER 1613 NEW BEST:: SOT 12018 SOS 4626 HAS SOPS 4165 HAS SOUS 3492 HAS SOUPS 3107 WITH SCORE 3111.626
AT ITER 1614 NEW BEST:: SOT 12018 SOS 4622 HAS SOPS 4161 HAS SOUS 3492 HAS SOUPS 3107 WITH SCORE 3111.622
AT ITER 1633 NEW BEST:: SOT 12012 SOS 4609 HAS SOPS 4148 HAS SOUS 3486 HAS SOUPS 3101 WITH SCORE 3105.609
AT ITER 1634 NEW BEST:: SOT 12011 SOS 4601 HAS SOPS 4146 HAS SOUS 3478 HAS SOUPS 3099 WITH SCORE 3103.601
AT ITER 1662 NEW BEST:: SOT 12011 SOS 4577 HAS SOPS 4132 HAS SOUS 3464 HAS SOUPS 3095 WITH SCORE 3099.577
AT ITER 1663 NEW BEST:: SOT 12011 SOS 4577 HAS SOPS 4132 HAS SOUS 3460 HAS SOUPS 3091 WITH SCORE 3095.577
AT ITER 1668 NEW BEST:: SOT 12009 SOS 4596 HAS SOPS 4095 HAS SOUS 3481 HAS SOUPS 3056 WITH SCORE 3060.596
AT ITER 1678 NEW BEST:: SOT 12003 SOS 4544 HAS SOPS 4055 HAS SOUS 3455 HAS SOUPS 3042 WITH SCORE 3046.544
AT ITER 1680 NEW BEST:: SOT 11999 SOS 4538 HAS SOPS 4047 HAS SOUS 3449 HAS SOUPS 3036 WITH SCORE 3040.538
AT ITER 1687 NEW BEST:: SOT 11997 SOS 4536 HAS SOPS 4044 HAS SOUS 3448 HAS SOUPS 3034 WITH SCORE 3038.536
AT ITER 1694 NEW BEST:: SOT 11993 SOS 4520 HAS SOPS 4028 HAS SOUS 3434 HAS SOUPS 3020 WITH SCORE 3024.52
AT ITER 1697 NEW BEST:: SOT 11985 SOS 4518 HAS SOPS 4026 HAS SOUS 3430 HAS SOUPS 3016 WITH SCORE 3020.518
AT ITER 1723 NEW BEST:: SOT 11983 SOS 4516 HAS SOPS 4008 HAS SOUS 3442 HAS SOUPS 3012 WITH SCORE 3016.516
AT ITER 1751 NEW BEST:: SOT 11981 SOS 4514 HAS SOPS 4006 HAS SOUS 3440 HAS SOUPS 3010 WITH SCORE 3014.514
AT ITER 1759 NEW BEST:: SOT 11981 SOS 4503 HAS SOPS 4006 HAS SOUS 3429 HAS SOUPS 3010 WITH SCORE 3014.503
AT ITER 1764 NEW BEST:: SOT 11981 SOS 4497 HAS SOPS 4000 HAS SOUS 3429 HAS SOUPS 3010 WITH SCORE 3014.497
AT ITER 1775 NEW BEST:: SOT 11987 SOS 4503 HAS SOPS 3980 HAS SOUS 3446 HAS SOUPS 3001 WITH SCORE 3005.503
AT ITER 1806 NEW BEST:: SOT 11979 SOS 4486 HAS SOPS 3964 HAS SOUS 3436 HAS SOUPS 2991 WITH SCORE 2995.486
AT ITER 1808 NEW BEST:: SOT 11966 SOS 4485 HAS SOPS 3955 HAS SOUS 3435 HAS SOUPS 2982 WITH SCORE 2986.485
AT ITER 1809 NEW BEST:: SOT 11956 SOS 4475 HAS SOPS 3935 HAS SOUS 3425 HAS SOUPS 2962 WITH SCORE 2966.475
AT ITER 1811 NEW BEST:: SOT 11956 SOS 4469 HAS SOPS 3929 HAS SOUS 3425 HAS SOUPS 2962 WITH SCORE 2966.469
AT ITER 1832 NEW BEST:: SOT 11954 SOS 4467 HAS SOPS 3927 HAS SOUS 3423 HAS SOUPS 2960 WITH SCORE 2964.467
AT ITER 1863 NEW BEST:: SOT 11940 SOS 4446 HAS SOPS 3906 HAS SOUS 3416 HAS SOUPS 2953 WITH SCORE 2957.446
AT ITER 1872 NEW BEST:: SOT 11934 SOS 4433 HAS SOPS 3890 HAS SOUS 3408 HAS SOUPS 2942 WITH SCORE 2946.433
AT ITER 1888 NEW BEST:: SOT 11930 SOS 4419 HAS SOPS 3876 HAS SOUS 3406 HAS SOUPS 2940 WITH SCORE 2944.419
AT ITER 1890 NEW BEST:: SOT 11922 SOS 4411 HAS SOPS 3860 HAS SOUS 3413 HAS SOUPS 2939 WITH SCORE 2943.411
AT ITER 1909 NEW BEST:: SOT 11916 SOS 4402 HAS SOPS 3851 HAS SOUS 3407 HAS SOUPS 2933 WITH SCORE 2937.402
AT ITER 1911 NEW BEST:: SOT 11913 SOS 4405 HAS SOPS 3845 HAS SOUS 3410 HAS SOUPS 2930 WITH SCORE 2934.405
AT ITER 1912 NEW BEST:: SOT 11911 SOS 4399 HAS SOPS 3841 HAS SOUS 3406 HAS SOUPS 2928 WITH SCORE 2932.399
AT ITER 1914 NEW BEST:: SOT 11911 SOS 4397 HAS SOPS 3841 HAS SOUS 3404 HAS SOUPS 2928 WITH SCORE 2932.397
AT ITER 1928 NEW BEST:: SOT 11904 SOS 4390 HAS SOPS 3841 HAS SOUS 3397 HAS SOUPS 2928 WITH SCORE 2932.39
AT ITER 1929 NEW BEST:: SOT 11937 SOS 4450 HAS SOPS 3868 HAS SOUS 3426 HAS SOUPS 2924 WITH SCORE 2928.45
AT ITER 1933 NEW BEST:: SOT 11927 SOS 4435 HAS SOPS 3848 HAS SOUS 3411 HAS SOUPS 2904 WITH SCORE 2908.435
AT ITER 1934 NEW BEST:: SOT 11923 SOS 4440 HAS SOPS 3843 HAS SOUS 3410 HAS SOUPS 2899 WITH SCORE 2903.44
AT ITER 1959 NEW BEST:: SOT 11923 SOS 4436 HAS SOPS 3839 HAS SOUS 3406 HAS SOUPS 2895 WITH SCORE 2899.436
AT ITER 1965 NEW BEST:: SOT 11924 SOS 4437 HAS SOPS 3841 HAS SOUS 3403 HAS SOUPS 2893 WITH SCORE 2897.437
AT ITER 1981 NEW BEST:: SOT 11973 SOS 4302 HAS SOPS 3766 HAS SOUS 3352 HAS SOUPS 2892 WITH SCORE 2896.302
AT ITER 2000 NEW BEST:: SOT 11971 SOS 4296 HAS SOPS 3762 HAS SOUS 3348 HAS SOUPS 2890 WITH SCORE 2894.296
AT ITER 2002 NEW BEST:: SOT 11976 SOS 4305 HAS SOPS 3771 HAS SOUS 3347 HAS SOUPS 2889 WITH SCORE 2893.305
AT ITER 2011 NEW BEST:: SOT 11974 SOS 4288 HAS SOPS 3764 HAS SOUS 3332 HAS SOUPS 2884 WITH SCORE 2888.288
AT ITER 2031 NEW BEST:: SOT 11979 SOS 4263 HAS SOPS 3745 HAS SOUS 3325 HAS SOUPS 2880 WITH SCORE 2884.263
AT ITER 2051 NEW BEST:: SOT 11979 SOS 4259 HAS SOPS 3741 HAS SOUS 3321 HAS SOUPS 2876 WITH SCORE 2880.259
AT ITER 2060 NEW BEST:: SOT 11976 SOS 4259 HAS SOPS 3741 HAS SOUS 3318 HAS SOUPS 2873 WITH SCORE 2877.259
AT ITER 2085 NEW BEST:: SOT 11974 SOS 4256 HAS SOPS 3738 HAS SOUS 3317 HAS SOUPS 2872 WITH SCORE 2876.256
AT ITER 2111 NEW BEST:: SOT 11972 SOS 4254 HAS SOPS 3736 HAS SOUS 3315 HAS SOUPS 2870 WITH SCORE 2874.254
AT ITER 2112 NEW BEST:: SOT 11972 SOS 4242 HAS SOPS 3724 HAS SOUS 3311 HAS SOUPS 2866 WITH SCORE 2870.242
AT ITER 2114 NEW BEST:: SOT 11970 SOS 4241 HAS SOPS 3724 HAS SOUS 3310 HAS SOUPS 2866 WITH SCORE 2870.241
AT ITER 2119 NEW BEST:: SOT 11962 SOS 4233 HAS SOPS 3708 HAS SOUS 3306 HAS SOUPS 2854 WITH SCORE 2858.233
AT ITER 2125 NEW BEST:: SOT 11908 SOS 4365 HAS SOPS 3806 HAS SOUS 3326 HAS SOUPS 2840 WITH SCORE 2844.365
AT ITER 2144 NEW BEST:: SOT 11904 SOS 4359 HAS SOPS 3800 HAS SOUS 3322 HAS SOUPS 2836 WITH SCORE 2840.359
AT ITER 2198 NEW BEST:: SOT 11904 SOS 4358 HAS SOPS 3799 HAS SOUS 3321 HAS SOUPS 2835 WITH SCORE 2839.358
AT ITER 2225 NEW BEST:: SOT 11901 SOS 4352 HAS SOPS 3793 HAS SOUS 3318 HAS SOUPS 2832 WITH SCORE 2836.352
AT ITER 2252 NEW BEST:: SOT 11899 SOS 4350 HAS SOPS 3789 HAS SOUS 3316 HAS SOUPS 2828 WITH SCORE 2832.35
AT ITER 2261 NEW BEST:: SOT 11896 SOS 4344 HAS SOPS 3783 HAS SOUS 3310 HAS SOUPS 2822 WITH SCORE 2826.344
AT ITER 2278 NEW BEST:: SOT 11867 SOS 4306 HAS SOPS 3760 HAS SOUS 3294 HAS SOUPS 2821 WITH SCORE 2825.306
AT ITER 2288 NEW BEST:: SOT 11861 SOS 4298 HAS SOPS 3752 HAS SOUS 3288 HAS SOUPS 2815 WITH SCORE 2819.298
AT ITER 2293 NEW BEST:: SOT 11864 SOS 4292 HAS SOPS 3755 HAS SOUS 3279 HAS SOUPS 2815 WITH SCORE 2819.292
AT ITER 2299 NEW BEST:: SOT 11862 SOS 4288 HAS SOPS 3751 HAS SOUS 3275 HAS SOUPS 2811 WITH SCORE 2815.288
AT ITER 2311 NEW BEST:: SOT 11860 SOS 4286 HAS SOPS 3749 HAS SOUS 3273 HAS SOUPS 2809 WITH SCORE 2813.286
AT ITER 2340 NEW BEST:: SOT 11860 SOS 4284 HAS SOPS 3747 HAS SOUS 3271 HAS SOUPS 2807 WITH SCORE 2811.284
AT ITER 2399 NEW BEST:: SOT 11843 SOS 4267 HAS SOPS 3729 HAS SOUS 3270 HAS SOUPS 2801 WITH SCORE 2805.267
AT ITER 2402 NEW BEST:: SOT 11821 SOS 4285 HAS SOPS 3740 HAS SOUS 3269 HAS SOUPS 2793 WITH SCORE 2797.285
AT ITER 2427 NEW BEST:: SOT 11827 SOS 4291 HAS SOPS 3742 HAS SOUS 3262 HAS SOUPS 2786 WITH SCORE 2790.291
AT ITER 2461 NEW BEST:: SOT 11822 SOS 4286 HAS SOPS 3737 HAS SOUS 3252 HAS SOUPS 2776 WITH SCORE 2780.286
AT ITER 2480 NEW BEST:: SOT 11824 SOS 4286 HAS SOPS 3737 HAS SOUS 3250 HAS SOUPS 2774 WITH SCORE 2778.286
AT ITER 2519 NEW BEST:: SOT 11824 SOS 4294 HAS SOPS 3735 HAS SOUS 3253 HAS SOUPS 2772 WITH SCORE 2776.294
AT ITER 2528 NEW BEST:: SOT 11824 SOS 4294 HAS SOPS 3735 HAS SOUS 3252 HAS SOUPS 2771 WITH SCORE 2775.294
AT ITER 2555 NEW BEST:: SOT 11816 SOS 4286 HAS SOPS 3727 HAS SOUS 3245 HAS SOUPS 2764 WITH SCORE 2768.286
AT ITER 2564 NEW BEST:: SOT 11813 SOS 4285 HAS SOPS 3724 HAS SOUS 3246 HAS SOUPS 2763 WITH SCORE 2767.285
AT ITER 2573 NEW BEST:: SOT 11813 SOS 4285 HAS SOPS 3721 HAS SOUS 3248 HAS SOUPS 2762 WITH SCORE 2766.285
AT ITER 2617 NEW BEST:: SOT 11811 SOS 4283 HAS SOPS 3719 HAS SOUS 3248 HAS SOUPS 2762 WITH SCORE 2766.283
AT ITER 2636 NEW BEST:: SOT 11809 SOS 4281 HAS SOPS 3705 HAS SOUS 3246 HAS SOUPS 2748 WITH SCORE 2752.281
AT ITER 2700 NEW BEST:: SOT 11805 SOS 4267 HAS SOPS 3689 HAS SOUS 3242 HAS SOUPS 2742 WITH SCORE 2746.267
AT ITER 2737 NEW BEST:: SOT 11811 SOS 4265 HAS SOPS 3687 HAS SOUS 3241 HAS SOUPS 2741 WITH SCORE 2745.265
AT ITER 2741 NEW BEST:: SOT 11810 SOS 4252 HAS SOPS 3674 HAS SOUS 3240 HAS SOUPS 2740 WITH SCORE 2744.252
AT ITER 2825 NEW BEST:: SOT 11810 SOS 4271 HAS SOPS 3662 HAS SOUS 3259 HAS SOUPS 2728 WITH SCORE 2732.271
AT ITER 2857 NEW BEST:: SOT 11807 SOS 4268 HAS SOPS 3659 HAS SOUS 3256 HAS SOUPS 2725 WITH SCORE 2729.268
AT ITER 2861 NEW BEST:: SOT 11807 SOS 4259 HAS SOPS 3650 HAS SOUS 3250 HAS SOUPS 2719 WITH SCORE 2723.259
AT ITER 2892 NEW BEST:: SOT 11812 SOS 4256 HAS SOPS 3647 HAS SOUS 3247 HAS SOUPS 2716 WITH SCORE 2720.256
AT ITER 2898 NEW BEST:: SOT 11812 SOS 4247 HAS SOPS 3638 HAS SOUS 3238 HAS SOUPS 2707 WITH SCORE 2711.247
AT ITER 2941 NEW BEST:: SOT 11810 SOS 4247 HAS SOPS 3634 HAS SOUS 3240 HAS SOUPS 2705 WITH SCORE 2709.247
AT ITER 2947 NEW BEST:: SOT 11808 SOS 4245 HAS SOPS 3632 HAS SOUS 3240 HAS SOUPS 2705 WITH SCORE 2709.245
AT ITER 2972 NEW BEST:: SOT 11800 SOS 4237 HAS SOPS 3624 HAS SOUS 3238 HAS SOUPS 2703 WITH SCORE 2707.237
AT ITER 3022 NEW BEST:: SOT 11794 SOS 4231 HAS SOPS 3618 HAS SOUS 3236 HAS SOUPS 2701 WITH SCORE 2705.231
AT ITER 3032 NEW BEST:: SOT 11795 SOS 4232 HAS SOPS 3605 HAS SOUS 3247 HAS SOUPS 2698 WITH SCORE 2702.232
AT ITER 3123 NEW BEST:: SOT 11794 SOS 4222 HAS SOPS 3600 HAS SOUS 3238 HAS SOUPS 2694 WITH SCORE 2698.222
AT ITER 3137 NEW BEST:: SOT 11794 SOS 4219 HAS SOPS 3600 HAS SOUS 3235 HAS SOUPS 2694 WITH SCORE 2698.219
AT ITER 3148 NEW BEST:: SOT 11796 SOS 4224 HAS SOPS 3592 HAS SOUS 3240 HAS SOUPS 2686 WITH SCORE 2690.224
AT ITER 3209 NEW BEST:: SOT 11792 SOS 4221 HAS SOPS 3582 HAS SOUS 3239 HAS SOUPS 2678 WITH SCORE 2682.221
AT ITER 3319 NEW BEST:: SOT 12018 SOS 4370 HAS SOPS 3731 HAS SOUS 3228 HAS SOUPS 2667 WITH SCORE 2671.37
AT ITER 3344 NEW BEST:: SOT 12017 SOS 4369 HAS SOPS 3723 HAS SOUS 3227 HAS SOUPS 2659 WITH SCORE 2663.369
AT ITER 3394 NEW BEST:: SOT 12014 SOS 4360 HAS SOPS 3714 HAS SOUS 3217 HAS SOUPS 2649 WITH SCORE 2653.36
AT ITER 3487 NEW BEST:: SOT 12007 SOS 4346 HAS SOPS 3700 HAS SOUS 3203 HAS SOUPS 2635 WITH SCORE 2639.346
AT ITER 3544 NEW BEST:: SOT 12001 SOS 4334 HAS SOPS 3688 HAS SOUS 3197 HAS SOUPS 2629 WITH SCORE 2633.334
AT ITER 3550 NEW BEST:: SOT 12001 SOS 4337 HAS SOPS 3688 HAS SOUS 3198 HAS SOUPS 2627 WITH SCORE 2631.337
AT ITER 3585 NEW BEST:: SOT 11963 SOS 4299 HAS SOPS 3650 HAS SOUS 3179 HAS SOUPS 2608 WITH SCORE 2612.299
AT ITER 3618 NEW BEST:: SOT 11966 SOS 4287 HAS SOPS 3638 HAS SOUS 3179 HAS SOUPS 2608 WITH SCORE 2612.287
AT ITER 3657 NEW BEST:: SOT 11963 SOS 4290 HAS SOPS 3640 HAS SOUS 3179 HAS SOUPS 2607 WITH SCORE 2611.29
AT ITER 3662 NEW BEST:: SOT 11963 SOS 4276 HAS SOPS 3626 HAS SOUS 3172 HAS SOUPS 2600 WITH SCORE 2604.276
AT ITER 3673 NEW BEST:: SOT 11958 SOS 4271 HAS SOPS 3621 HAS SOUS 3165 HAS SOUPS 2593 WITH SCORE 2597.271
AT ITER 3697 NEW BEST:: SOT 11958 SOS 4270 HAS SOPS 3620 HAS SOUS 3164 HAS SOUPS 2592 WITH SCORE 2596.27
AT ITER 3706 NEW BEST:: SOT 11958 SOS 4270 HAS SOPS 3615 HAS SOUS 3164 HAS SOUPS 2587 WITH SCORE 2591.27
AT ITER 3808 NEW BEST:: SOT 11959 SOS 4267 HAS SOPS 3612 HAS SOUS 3159 HAS SOUPS 2582 WITH SCORE 2586.267
AT ITER 3834 NEW BEST:: SOT 11958 SOS 4266 HAS SOPS 3610 HAS SOUS 3158 HAS SOUPS 2580 WITH SCORE 2584.266
AT ITER 3840 NEW BEST:: SOT 11974 SOS 4202 HAS SOPS 3562 HAS SOUS 3142 HAS SOUPS 2580 WITH SCORE 2584.202
AT ITER 3845 NEW BEST:: SOT 11974 SOS 4202 HAS SOPS 3561 HAS SOUS 3142 HAS SOUPS 2579 WITH SCORE 2583.202
AT ITER 3927 NEW BEST:: SOT 11972 SOS 3952 HAS SOPS 3311 HAS SOUS 3141 HAS SOUPS 2578 WITH SCORE 2581.952
AT ITER 3986 NEW BEST:: SOT 11970 SOS 3948 HAS SOPS 3307 HAS SOUS 3139 HAS SOUPS 2576 WITH SCORE 2579.948
AT ITER 3988 NEW BEST:: SOT 11970 SOS 3941 HAS SOPS 3288 HAS SOUS 3132 HAS SOUPS 2557 WITH SCORE 2560.941
AT ITER 4006 NEW BEST:: SOT 11969 SOS 3939 HAS SOPS 3286 HAS SOUS 3131 HAS SOUPS 2556 WITH SCORE 2559.939
AT ITER 4007 NEW BEST:: SOT 11961 SOS 3949 HAS SOPS 3293 HAS SOUS 3132 HAS SOUPS 2554 WITH SCORE 2557.949
AT ITER 4066 NEW BEST:: SOT 11962 SOS 3933 HAS SOPS 3277 HAS SOUS 3130 HAS SOUPS 2552 WITH SCORE 2555.933
AT ITER 4131 NEW BEST:: SOT 11960 SOS 3931 HAS SOPS 3275 HAS SOUS 3128 HAS SOUPS 2550 WITH SCORE 2553.931
AT ITER 4142 NEW BEST:: SOT 11959 SOS 3930 HAS SOPS 3274 HAS SOUS 3127 HAS SOUPS 2549 WITH SCORE 2552.93
AT ITER 4201 NEW BEST:: SOT 11951 SOS 3929 HAS SOPS 3273 HAS SOUS 3123 HAS SOUPS 2545 WITH SCORE 2548.929
AT ITER 4277 NEW BEST:: SOT 11951 SOS 3926 HAS SOPS 3270 HAS SOUS 3120 HAS SOUPS 2542 WITH SCORE 2545.926
AT ITER 4282 NEW BEST:: SOT 11951 SOS 3926 HAS SOPS 3270 HAS SOUS 3118 HAS SOUPS 2540 WITH SCORE 2543.926
AT ITER 4323 NEW BEST:: SOT 11949 SOS 3933 HAS SOPS 3277 HAS SOUS 3115 HAS SOUPS 2537 WITH SCORE 2540.933
AT ITER 4356 NEW BEST:: SOT 11949 SOS 3929 HAS SOPS 3275 HAS SOUS 3112 HAS SOUPS 2536 WITH SCORE 2539.929
AT ITER 4400 NEW BEST:: SOT 11938 SOS 3916 HAS SOPS 3262 HAS SOUS 3107 HAS SOUPS 2531 WITH SCORE 2534.916
AT ITER 4401 NEW BEST:: SOT 11936 SOS 3914 HAS SOPS 3255 HAS SOUS 3105 HAS SOUPS 2524 WITH SCORE 2527.914
AT ITER 4487 NEW BEST:: SOT 11951 SOS 3869 HAS SOPS 3210 HAS SOUS 3105 HAS SOUPS 2524 WITH SCORE 2527.869
AT ITER 4595 NEW BEST:: SOT 11951 SOS 3865 HAS SOPS 3210 HAS SOUS 3101 HAS SOUPS 2524 WITH SCORE 2527.865
AT ITER 4605 NEW BEST:: SOT 11942 SOS 3857 HAS SOPS 3202 HAS SOUS 3101 HAS SOUPS 2524 WITH SCORE 2527.857
AT ITER 4631 NEW BEST:: SOT 11939 SOS 3854 HAS SOPS 3196 HAS SOUS 3098 HAS SOUPS 2518 WITH SCORE 2521.854
AT ITER 4671 NEW BEST:: SOT 11937 SOS 3850 HAS SOPS 3192 HAS SOUS 3096 HAS SOUPS 2516 WITH SCORE 2519.85
AT ITER 4691 NEW BEST:: SOT 11907 SOS 3820 HAS SOPS 3152 HAS SOUS 3092 HAS SOUPS 2502 WITH SCORE 2505.82
AT ITER 4931 NEW BEST:: SOT 11905 SOS 3812 HAS SOPS 3148 HAS SOUS 3088 HAS SOUPS 2500 WITH SCORE 2503.812
AT ITER 4962 NEW BEST:: SOT 11901 SOS 3804 HAS SOPS 3155 HAS SOUS 3070 HAS SOUPS 2497 WITH SCORE 2500.804
AT ITER 5031 NEW BEST:: SOT 11902 SOS 3805 HAS SOPS 3156 HAS SOUS 3069 HAS SOUPS 2496 WITH SCORE 2499.805
AT ITER 5045 NEW BEST:: SOT 11900 SOS 3797 HAS SOPS 3148 HAS SOUS 3065 HAS SOUPS 2492 WITH SCORE 2495.797
AT ITER 5125 NEW BEST:: SOT 11900 SOS 3800 HAS SOPS 3141 HAS SOUS 3068 HAS SOUPS 2485 WITH SCORE 2488.8
AT ITER 5156 NEW BEST:: SOT 11900 SOS 3800 HAS SOPS 3135 HAS SOUS 3072 HAS SOUPS 2483 WITH SCORE 2486.8
AT ITER 5157 NEW BEST:: SOT 11899 SOS 3799 HAS SOPS 3133 HAS SOUS 3071 HAS SOUPS 2481 WITH SCORE 2484.799
AT ITER 5211 NEW BEST:: SOT 11895 SOS 3795 HAS SOPS 3133 HAS SOUS 3067 HAS SOUPS 2481 WITH SCORE 2484.795
AT ITER 5226 NEW BEST:: SOT 11886 SOS 3783 HAS SOPS 3121 HAS SOUS 3059 HAS SOUPS 2473 WITH SCORE 2476.783
AT ITER 5324 NEW BEST:: SOT 11878 SOS 3775 HAS SOPS 3113 HAS SOUS 3057 HAS SOUPS 2471 WITH SCORE 2474.775
AT ITER 5330 NEW BEST:: SOT 11877 SOS 3774 HAS SOPS 3112 HAS SOUS 3056 HAS SOUPS 2470 WITH SCORE 2473.774
AT ITER 5334 NEW BEST:: SOT 11879 SOS 3780 HAS SOPS 3112 HAS SOUS 3060 HAS SOUPS 2468 WITH SCORE 2471.78
AT ITER 5433 NEW BEST:: SOT 11860 SOS 3742 HAS SOPS 3093 HAS SOUS 3041 HAS SOUPS 2468 WITH SCORE 2471.742
AT ITER 5477 NEW BEST:: SOT 11861 SOS 3737 HAS SOPS 3095 HAS SOUS 3036 HAS SOUPS 2467 WITH SCORE 2470.737
AT ITER 5518 NEW BEST:: SOT 11860 SOS 3735 HAS SOPS 3093 HAS SOUS 3035 HAS SOUPS 2466 WITH SCORE 2469.735
AT ITER 5532 NEW BEST:: SOT 11858 SOS 3733 HAS SOPS 3089 HAS SOUS 3033 HAS SOUPS 2462 WITH SCORE 2465.733
AT ITER 5623 NEW BEST:: SOT 11852 SOS 3721 HAS SOPS 3080 HAS SOUS 3027 HAS SOUPS 2459 WITH SCORE 2462.721
AT ITER 5625 NEW BEST:: SOT 11846 SOS 3715 HAS SOPS 3080 HAS SOUS 3021 HAS SOUPS 2459 WITH SCORE 2462.715
AT ITER 5825 NEW BEST:: SOT 11843 SOS 3709 HAS SOPS 3074 HAS SOUS 3019 HAS SOUPS 2457 WITH SCORE 2460.709
AT ITER 5997 NEW BEST:: SOT 11843 SOS 3704 HAS SOPS 3074 HAS SOUS 3014 HAS SOUPS 2457 WITH SCORE 2460.704
AT ITER 6064 NEW BEST:: SOT 11843 SOS 3701 HAS SOPS 3071 HAS SOUS 3011 HAS SOUPS 2454 WITH SCORE 2457.701
AT ITER 6142 NEW BEST:: SOT 11837 SOS 3695 HAS SOPS 3065 HAS SOUS 3007 HAS SOUPS 2450 WITH SCORE 2453.695
AT ITER 6214 NEW BEST:: SOT 11813 SOS 3662 HAS SOPS 3041 HAS SOUS 2998 HAS SOUPS 2450 WITH SCORE 2453.662
AT ITER 6529 NEW BEST:: SOT 11813 SOS 3659 HAS SOPS 3038 HAS SOUS 2998 HAS SOUPS 2450 WITH SCORE 2453.659
AT ITER 6549 NEW BEST:: SOT 11813 SOS 3659 HAS SOPS 3038 HAS SOUS 2996 HAS SOUPS 2448 WITH SCORE 2451.659
AT ITER 6635 NEW BEST:: SOT 11813 SOS 3658 HAS SOPS 3038 HAS SOUS 2995 HAS SOUPS 2448 WITH SCORE 2451.658
AT ITER 6668 NEW BEST:: SOT 11813 SOS 3655 HAS SOPS 3035 HAS SOUS 2992 HAS SOUPS 2445 WITH SCORE 2448.655
AT ITER 6820 NEW BEST:: SOT 11813 SOS 3654 HAS SOPS 3034 HAS SOUS 2992 HAS SOUPS 2445 WITH SCORE 2448.654
AT ITER 6830 NEW BEST:: SOT 11812 SOS 3653 HAS SOPS 3032 HAS SOUS 2993 HAS SOUPS 2445 WITH SCORE 2448.653
AT ITER 6962 NEW BEST:: SOT 11809 SOS 3647 HAS SOPS 3026 HAS SOUS 2992 HAS SOUPS 2444 WITH SCORE 2447.647
AT ITER 6986 NEW BEST:: SOT 11810 SOS 3646 HAS SOPS 3025 HAS SOUS 2988 HAS SOUPS 2440 WITH SCORE 2443.646
AT ITER 7005 NEW BEST:: SOT 11810 SOS 3643 HAS SOPS 3022 HAS SOUS 2986 HAS SOUPS 2438 WITH SCORE 2441.643
AT ITER 7093 NEW BEST:: SOT 11810 SOS 3639 HAS SOPS 3020 HAS SOUS 2982 HAS SOUPS 2436 WITH SCORE 2439.639
AT ITER 7110 NEW BEST:: SOT 11810 SOS 3638 HAS SOPS 3020 HAS SOUS 2981 HAS SOUPS 2436 WITH SCORE 2439.638
AT ITER 7181 NEW BEST:: SOT 11810 SOS 3635 HAS SOPS 3017 HAS SOUS 2981 HAS SOUPS 2436 WITH SCORE 2439.635
AT ITER 7201 NEW BEST:: SOT 11810 SOS 3633 HAS SOPS 3017 HAS SOUS 2979 HAS SOUPS 2436 WITH SCORE 2439.633
AT ITER 7457 NEW BEST:: SOT 11809 SOS 3632 HAS SOPS 3015 HAS SOUS 2979 HAS SOUPS 2435 WITH SCORE 2438.632
AT ITER 7473 NEW BEST:: SOT 11804 SOS 3616 HAS SOPS 2998 HAS SOUS 2975 HAS SOUPS 2430 WITH SCORE 2433.616
AT ITER 7577 NEW BEST:: SOT 11803 SOS 3615 HAS SOPS 2997 HAS SOUS 2974 HAS SOUPS 2429 WITH SCORE 2432.615
AT ITER 7810 NEW BEST:: SOT 11801 SOS 3600 HAS SOPS 2992 HAS SOUS 2962 HAS SOUPS 2427 WITH SCORE 2430.6
AT ITER 7882 NEW BEST:: SOT 11801 SOS 3599 HAS SOPS 2992 HAS SOUS 2961 HAS SOUPS 2427 WITH SCORE 2430.599
AT ITER 7971 NEW BEST:: SOT 11800 SOS 3598 HAS SOPS 2991 HAS SOUS 2959 HAS SOUPS 2425 WITH SCORE 2428.598
AT ITER 8086 NEW BEST:: SOT 11800 SOS 3597 HAS SOPS 2990 HAS SOUS 2959 HAS SOUPS 2425 WITH SCORE 2428.597
AT ITER 8260 NEW BEST:: SOT 11800 SOS 3596 HAS SOPS 2989 HAS SOUS 2959 HAS SOUPS 2425 WITH SCORE 2428.596
AT ITER 8283 NEW BEST:: SOT 11798 SOS 3581 HAS SOPS 2974 HAS SOUS 2955 HAS SOUPS 2421 WITH SCORE 2424.581
AT ITER 8334 NEW BEST:: SOT 11802 SOS 3588 HAS SOPS 2979 HAS SOUS 2956 HAS SOUPS 2420 WITH SCORE 2423.588
AT ITER 8444 NEW BEST:: SOT 11802 SOS 3586 HAS SOPS 2979 HAS SOUS 2954 HAS SOUPS 2420 WITH SCORE 2423.586
AT ITER 8507 NEW BEST:: SOT 11802 SOS 3585 HAS SOPS 2979 HAS SOUS 2953 HAS SOUPS 2420 WITH SCORE 2423.585
AT ITER 8675 NEW BEST:: SOT 11799 SOS 3584 HAS SOPS 2978 HAS SOUS 2951 HAS SOUPS 2418 WITH SCORE 2421.584
AT ITER 8693 NEW BEST:: SOT 11801 SOS 3575 HAS SOPS 2969 HAS SOUS 2944 HAS SOUPS 2411 WITH SCORE 2414.575
AT ITER 8832 NEW BEST:: SOT 11810 SOS 3556 HAS SOPS 2950 HAS SOUS 2940 HAS SOUPS 2407 WITH SCORE 2410.556
AT ITER 8879 NEW BEST:: SOT 11810 SOS 3561 HAS SOPS 2955 HAS SOUS 2939 HAS SOUPS 2406 WITH SCORE 2409.561
AT ITER 8996 NEW BEST:: SOT 11790 SOS 3541 HAS SOPS 2945 HAS SOUS 2939 HAS SOUPS 2406 WITH SCORE 2409.541
AT ITER 9058 NEW BEST:: SOT 11789 SOS 3540 HAS SOPS 2944 HAS SOUS 2938 HAS SOUPS 2405 WITH SCORE 2408.54
AT ITER 9087 NEW BEST:: SOT 11789 SOS 3539 HAS SOPS 2944 HAS SOUS 2937 HAS SOUPS 2405 WITH SCORE 2408.539
AT ITER 9306 NEW BEST:: SOT 11789 SOS 3530 HAS SOPS 2937 HAS SOUS 2935 HAS SOUPS 2404 WITH SCORE 2407.53
AT ITER 9766 NEW BEST:: SOT 11778 SOS 3510 HAS SOPS 2917 HAS SOUS 2933 HAS SOUPS 2402 WITH SCORE 2405.51
AT ITER 9783 NEW BEST:: SOT 11761 SOS 3498 HAS SOPS 2905 HAS SOUS 2931 HAS SOUPS 2400 WITH SCORE 2403.498
AT ITER 9891 NEW BEST:: SOT 11774 SOS 3499 HAS SOPS 2906 HAS SOUS 2928 HAS SOUPS 2397 WITH SCORE 2400.499
STATE_SPACE STATES 4567597057 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 32 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 106369646593 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589645068025

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Parking-PT-208"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Parking-PT-208, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250600528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Parking-PT-208.tgz
mv Parking-PT-208 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;