Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484200416.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DES-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484200416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 15:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 15:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 15:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 15:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 43K Mar 5 18:22 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 1678368195207

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DES-PT-10a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:23:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:23:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:23:16] [INFO ] Load time of PNML (sax parser for PT used): 41 ms
[2023-03-09 13:23:16] [INFO ] Transformed 155 places.
[2023-03-09 13:23:16] [INFO ] Transformed 112 transitions.
[2023-03-09 13:23:16] [INFO ] Found NUPN structural information;
[2023-03-09 13:23:16] [INFO ] Parsed PT model containing 155 places and 112 transitions and 552 arcs in 102 ms.
[2023-03-09 13:23:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 155 places, 112 transitions and 552 arcs took 4 ms.
Total runtime 133 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 10a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 155 places, 112 transitions, 552 arcs.
AT ITER 0 NEW BEST:: SOT 13206 SOS 11182 HAS SOPS 11182 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.182
AT ITER 1 NEW BEST:: SOT 13160 SOS 11138 HAS SOPS 11138 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7480.138
AT ITER 3 NEW BEST:: SOT 13160 SOS 11155 HAS SOPS 11155 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7479.155
AT ITER 6 NEW BEST:: SOT 13152 SOS 11071 HAS SOPS 11071 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7444.071
AT ITER 7 NEW BEST:: SOT 13171 SOS 11090 HAS SOPS 11090 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7434.09
AT ITER 12 NEW BEST:: SOT 13067 SOS 10915 HAS SOPS 10915 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7229.915
AT ITER 15 NEW BEST:: SOT 13067 SOS 10906 HAS SOPS 10906 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7226.906
AT ITER 24 NEW BEST:: SOT 13085 SOS 10824 HAS SOPS 10824 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7144.824
AT ITER 28 NEW BEST:: SOT 13039 SOS 10778 HAS SOPS 10778 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7098.778
AT ITER 33 NEW BEST:: SOT 13034 SOS 10773 HAS SOPS 10773 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7093.773
AT ITER 34 NEW BEST:: SOT 12937 SOS 10604 HAS SOPS 10604 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6927.604
AT ITER 41 NEW BEST:: SOT 12920 SOS 10587 HAS SOPS 10587 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6910.587
AT ITER 42 NEW BEST:: SOT 12735 SOS 10402 HAS SOPS 10402 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6844.402
AT ITER 43 NEW BEST:: SOT 12244 SOS 9966 HAS SOPS 9966 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6397.966
AT ITER 44 NEW BEST:: SOT 12236 SOS 9887 HAS SOPS 9887 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6318.887
AT ITER 52 NEW BEST:: SOT 12152 SOS 9803 HAS SOPS 9803 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6153.803
AT ITER 58 NEW BEST:: SOT 12148 SOS 9784 HAS SOPS 9784 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6134.784
AT ITER 65 NEW BEST:: SOT 12145 SOS 9781 HAS SOPS 9781 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6131.781
AT ITER 75 NEW BEST:: SOT 12005 SOS 9641 HAS SOPS 9641 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5971.641
AT ITER 81 NEW BEST:: SOT 12005 SOS 9623 HAS SOPS 9623 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5967.623
AT ITER 89 NEW BEST:: SOT 11959 SOS 9577 HAS SOPS 9577 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5921.577
AT ITER 100 NEW BEST:: SOT 11952 SOS 9570 HAS SOPS 9570 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5914.57
AT ITER 102 NEW BEST:: SOT 11853 SOS 9478 HAS SOPS 9478 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5908.478
AT ITER 107 NEW BEST:: SOT 11853 SOS 9519 HAS SOPS 9519 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5903.519
AT ITER 111 NEW BEST:: SOT 11845 SOS 9511 HAS SOPS 9511 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5895.511
AT ITER 112 NEW BEST:: SOT 11840 SOS 9505 HAS SOPS 9505 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5893.505
AT ITER 116 NEW BEST:: SOT 11814 SOS 9479 HAS SOPS 9479 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5866.479
AT ITER 131 NEW BEST:: SOT 11710 SOS 9383 HAS SOPS 9383 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5770.383
AT ITER 140 NEW BEST:: SOT 11675 SOS 9303 HAS SOPS 9303 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5721.303
AT ITER 142 NEW BEST:: SOT 11675 SOS 9282 HAS SOPS 9282 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5714.282
AT ITER 158 NEW BEST:: SOT 11675 SOS 9281 HAS SOPS 9281 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5714.281
AT ITER 163 NEW BEST:: SOT 11675 SOS 9319 HAS SOPS 9319 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5710.319
AT ITER 175 NEW BEST:: SOT 11669 SOS 9313 HAS SOPS 9313 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5704.313
AT ITER 180 NEW BEST:: SOT 11667 SOS 9309 HAS SOPS 9309 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5700.309
AT ITER 182 NEW BEST:: SOT 11631 SOS 8652 HAS SOPS 8652 HAS SOUS 5603 HAS SOUPS 5603 WITH SCORE 5611.652
AT ITER 183 NEW BEST:: SOT 11631 SOS 8533 HAS SOPS 8533 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5600.533
AT ITER 197 NEW BEST:: SOT 11639 SOS 8541 HAS SOPS 8541 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5596.541
AT ITER 198 NEW BEST:: SOT 11734 SOS 8627 HAS SOPS 8627 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5552.627
AT ITER 201 NEW BEST:: SOT 11726 SOS 8606 HAS SOPS 8606 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5540.606
AT ITER 202 NEW BEST:: SOT 11723 SOS 8603 HAS SOPS 8603 HAS SOUS 5529 HAS SOUPS 5529 WITH SCORE 5537.603
AT ITER 204 NEW BEST:: SOT 11710 SOS 8589 HAS SOPS 8589 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5523.589
AT ITER 207 NEW BEST:: SOT 11699 SOS 8578 HAS SOPS 8578 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5512.578
AT ITER 210 NEW BEST:: SOT 11688 SOS 8567 HAS SOPS 8567 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5501.567
AT ITER 212 NEW BEST:: SOT 11556 SOS 8434 HAS SOPS 8434 HAS SOUS 5412 HAS SOUPS 5412 WITH SCORE 5420.434
AT ITER 214 NEW BEST:: SOT 11556 SOS 8385 HAS SOPS 8385 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5371.385
AT ITER 219 NEW BEST:: SOT 11548 SOS 8379 HAS SOPS 8379 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5365.379
AT ITER 220 NEW BEST:: SOT 11351 SOS 8148 HAS SOPS 8148 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5232.148
AT ITER 226 NEW BEST:: SOT 11197 SOS 7994 HAS SOPS 7994 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5102.994
AT ITER 229 NEW BEST:: SOT 11197 SOS 8008 HAS SOPS 8008 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5101.008
AT ITER 234 NEW BEST:: SOT 11195 SOS 8006 HAS SOPS 8006 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5099.006
AT ITER 241 NEW BEST:: SOT 11155 SOS 7966 HAS SOPS 7966 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5058.966
AT ITER 246 NEW BEST:: SOT 11085 SOS 7896 HAS SOPS 7896 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4953.896
AT ITER 248 NEW BEST:: SOT 11087 SOS 7898 HAS SOPS 7898 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4929.898
AT ITER 262 NEW BEST:: SOT 11075 SOS 7849 HAS SOPS 7849 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4891.849
AT ITER 265 NEW BEST:: SOT 11064 SOS 7838 HAS SOPS 7838 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4880.838
AT ITER 267 NEW BEST:: SOT 11056 SOS 7830 HAS SOPS 7830 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4872.83
AT ITER 268 NEW BEST:: SOT 11050 SOS 7824 HAS SOPS 7824 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4866.824
AT ITER 272 NEW BEST:: SOT 11042 SOS 7816 HAS SOPS 7816 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4847.816
AT ITER 274 NEW BEST:: SOT 10991 SOS 7765 HAS SOPS 7765 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4793.765
AT ITER 281 NEW BEST:: SOT 10991 SOS 7752 HAS SOPS 7752 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4769.752
AT ITER 292 NEW BEST:: SOT 10989 SOS 7750 HAS SOPS 7750 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4767.75
AT ITER 305 NEW BEST:: SOT 10989 SOS 7778 HAS SOPS 7778 HAS SOUS 4759 HAS SOUPS 4759 WITH SCORE 4766.778
AT ITER 320 NEW BEST:: SOT 10947 SOS 7720 HAS SOPS 7720 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4708.72
AT ITER 323 NEW BEST:: SOT 10945 SOS 7718 HAS SOPS 7718 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4706.718
AT ITER 330 NEW BEST:: SOT 11051 SOS 7824 HAS SOPS 7824 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4696.824
AT ITER 334 NEW BEST:: SOT 11045 SOS 7818 HAS SOPS 7818 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4690.818
AT ITER 345 NEW BEST:: SOT 11027 SOS 7463 HAS SOPS 7463 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4641.463
AT ITER 358 NEW BEST:: SOT 11006 SOS 7442 HAS SOPS 7442 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4620.442
AT ITER 359 NEW BEST:: SOT 10949 SOS 7385 HAS SOPS 7385 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4583.385
AT ITER 361 NEW BEST:: SOT 10948 SOS 7384 HAS SOPS 7384 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4581.384
AT ITER 366 NEW BEST:: SOT 10912 SOS 7360 HAS SOPS 7360 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4523.36
AT ITER 367 NEW BEST:: SOT 10924 SOS 7405 HAS SOPS 7405 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4466.405
AT ITER 368 NEW BEST:: SOT 10915 SOS 7292 HAS SOPS 7292 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4438.292
AT ITER 387 NEW BEST:: SOT 10912 SOS 7284 HAS SOPS 7284 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4430.284
AT ITER 391 NEW BEST:: SOT 10912 SOS 7279 HAS SOPS 7279 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4425.279
AT ITER 393 NEW BEST:: SOT 10903 SOS 7261 HAS SOPS 7261 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4407.261
AT ITER 394 NEW BEST:: SOT 10903 SOS 7260 HAS SOPS 7260 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4406.26
AT ITER 408 NEW BEST:: SOT 10892 SOS 7247 HAS SOPS 7247 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4393.247
AT ITER 423 NEW BEST:: SOT 10902 SOS 7257 HAS SOPS 7257 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4377.257
AT ITER 424 NEW BEST:: SOT 10854 SOS 7209 HAS SOPS 7209 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4363.209
AT ITER 441 NEW BEST:: SOT 10854 SOS 7199 HAS SOPS 7199 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4353.199
AT ITER 445 NEW BEST:: SOT 10854 SOS 7196 HAS SOPS 7196 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4350.196
AT ITER 449 NEW BEST:: SOT 10854 SOS 7193 HAS SOPS 7193 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4347.193
AT ITER 465 NEW BEST:: SOT 10849 SOS 7187 HAS SOPS 7187 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4341.187
AT ITER 476 NEW BEST:: SOT 10840 SOS 7160 HAS SOPS 7160 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4314.16
AT ITER 477 NEW BEST:: SOT 10759 SOS 7070 HAS SOPS 7070 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4302.07
AT ITER 484 NEW BEST:: SOT 10754 SOS 7065 HAS SOPS 7065 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4292.065
AT ITER 492 NEW BEST:: SOT 10753 SOS 7042 HAS SOPS 7042 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4290.042
AT ITER 497 NEW BEST:: SOT 10722 SOS 7056 HAS SOPS 7056 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4271.056
AT ITER 500 NEW BEST:: SOT 10714 SOS 7048 HAS SOPS 7048 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4271.048
AT ITER 501 NEW BEST:: SOT 10710 SOS 7041 HAS SOPS 7041 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4264.041
AT ITER 502 NEW BEST:: SOT 10709 SOS 6994 HAS SOPS 6994 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4202.994
AT ITER 503 NEW BEST:: SOT 10701 SOS 6986 HAS SOPS 6986 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4186.986
AT ITER 505 NEW BEST:: SOT 10686 SOS 6939 HAS SOPS 6939 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4156.939
AT ITER 508 NEW BEST:: SOT 10686 SOS 6926 HAS SOPS 6926 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4143.926
AT ITER 514 NEW BEST:: SOT 10685 SOS 6925 HAS SOPS 6925 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4142.925
AT ITER 515 NEW BEST:: SOT 10685 SOS 6913 HAS SOPS 6913 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4130.913
AT ITER 518 NEW BEST:: SOT 10674 SOS 6902 HAS SOPS 6902 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4119.902
AT ITER 519 NEW BEST:: SOT 10660 SOS 6888 HAS SOPS 6888 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4113.888
AT ITER 527 NEW BEST:: SOT 10634 SOS 6857 HAS SOPS 6857 HAS SOUS 4094 HAS SOUPS 4094 WITH SCORE 4100.857
AT ITER 532 NEW BEST:: SOT 10634 SOS 6840 HAS SOPS 6840 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4097.84
AT ITER 535 NEW BEST:: SOT 10642 SOS 6842 HAS SOPS 6842 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4059.842
AT ITER 541 NEW BEST:: SOT 10636 SOS 6836 HAS SOPS 6836 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4056.836
AT ITER 544 NEW BEST:: SOT 10637 SOS 6838 HAS SOPS 6838 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4026.838
AT ITER 563 NEW BEST:: SOT 10620 SOS 6858 HAS SOPS 6858 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4017.858
AT ITER 566 NEW BEST:: SOT 10617 SOS 6850 HAS SOPS 6850 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4015.85
AT ITER 573 NEW BEST:: SOT 10617 SOS 6838 HAS SOPS 6838 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4015.838
AT ITER 576 NEW BEST:: SOT 10606 SOS 6827 HAS SOPS 6827 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3980.827
AT ITER 577 NEW BEST:: SOT 10606 SOS 6801 HAS SOPS 6801 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3954.801
AT ITER 583 NEW BEST:: SOT 10606 SOS 6796 HAS SOPS 6796 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3944.796
AT ITER 588 NEW BEST:: SOT 10589 SOS 6779 HAS SOPS 6779 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3927.779
AT ITER 596 NEW BEST:: SOT 10589 SOS 6766 HAS SOPS 6766 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3927.766
AT ITER 598 NEW BEST:: SOT 10589 SOS 6766 HAS SOPS 6766 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3924.766
AT ITER 612 NEW BEST:: SOT 10586 SOS 6763 HAS SOPS 6763 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3921.763
AT ITER 630 NEW BEST:: SOT 10585 SOS 6752 HAS SOPS 6752 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3919.752
AT ITER 637 NEW BEST:: SOT 10555 SOS 6722 HAS SOPS 6722 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3905.722
AT ITER 643 NEW BEST:: SOT 10555 SOS 6666 HAS SOPS 6666 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3905.666
AT ITER 647 NEW BEST:: SOT 10541 SOS 6656 HAS SOPS 6656 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3902.656
AT ITER 649 NEW BEST:: SOT 10534 SOS 6612 HAS SOPS 6612 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3842.612
AT ITER 662 NEW BEST:: SOT 10528 SOS 6606 HAS SOPS 6606 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3834.606
AT ITER 663 NEW BEST:: SOT 10532 SOS 6610 HAS SOPS 6610 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3820.61
AT ITER 666 NEW BEST:: SOT 10416 SOS 6494 HAS SOPS 6494 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3759.494
AT ITER 671 NEW BEST:: SOT 10396 SOS 6454 HAS SOPS 6454 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3719.454
AT ITER 677 NEW BEST:: SOT 10345 SOS 6403 HAS SOPS 6403 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3712.403
AT ITER 679 NEW BEST:: SOT 10340 SOS 6401 HAS SOPS 6401 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3710.401
AT ITER 695 NEW BEST:: SOT 10301 SOS 6349 HAS SOPS 6349 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3684.349
AT ITER 699 NEW BEST:: SOT 10322 SOS 6376 HAS SOPS 6376 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3667.376
AT ITER 747 NEW BEST:: SOT 10317 SOS 6371 HAS SOPS 6371 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3662.371
AT ITER 761 NEW BEST:: SOT 10314 SOS 6368 HAS SOPS 6368 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3659.368
AT ITER 762 NEW BEST:: SOT 10305 SOS 6359 HAS SOPS 6359 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3650.359
AT ITER 769 NEW BEST:: SOT 10302 SOS 6353 HAS SOPS 6353 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3644.353
AT ITER 783 NEW BEST:: SOT 10299 SOS 6347 HAS SOPS 6347 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3638.347
AT ITER 785 NEW BEST:: SOT 10312 SOS 6373 HAS SOPS 6373 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3612.373
AT ITER 788 NEW BEST:: SOT 10276 SOS 6342 HAS SOPS 6342 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3581.342
AT ITER 796 NEW BEST:: SOT 10276 SOS 6337 HAS SOPS 6337 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3576.337
AT ITER 800 NEW BEST:: SOT 10272 SOS 6333 HAS SOPS 6333 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3572.333
AT ITER 817 NEW BEST:: SOT 10272 SOS 6320 HAS SOPS 6320 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3567.32
AT ITER 821 NEW BEST:: SOT 10272 SOS 6308 HAS SOPS 6308 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3559.308
AT ITER 832 NEW BEST:: SOT 10262 SOS 6297 HAS SOPS 6297 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3556.297
AT ITER 866 NEW BEST:: SOT 10261 SOS 6293 HAS SOPS 6293 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3555.293
AT ITER 867 NEW BEST:: SOT 10164 SOS 5889 HAS SOPS 5889 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3463.889
AT ITER 877 NEW BEST:: SOT 10170 SOS 5798 HAS SOPS 5798 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3457.798
AT ITER 899 NEW BEST:: SOT 10170 SOS 5778 HAS SOPS 5778 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3437.778
AT ITER 903 NEW BEST:: SOT 10139 SOS 5747 HAS SOPS 5747 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3298.747
AT ITER 912 NEW BEST:: SOT 10130 SOS 5738 HAS SOPS 5738 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3295.738
AT ITER 913 NEW BEST:: SOT 9714 SOS 5316 HAS SOPS 5316 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3287.316
AT ITER 918 NEW BEST:: SOT 9685 SOS 5287 HAS SOPS 5287 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3258.287
AT ITER 938 NEW BEST:: SOT 9678 SOS 5302 HAS SOPS 5302 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3251.302
AT ITER 953 NEW BEST:: SOT 9679 SOS 5297 HAS SOPS 5297 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3246.297
AT ITER 985 NEW BEST:: SOT 9679 SOS 5288 HAS SOPS 5288 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3237.288
AT ITER 986 NEW BEST:: SOT 9676 SOS 5285 HAS SOPS 5285 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3234.285
AT ITER 1004 NEW BEST:: SOT 9675 SOS 5284 HAS SOPS 5284 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3232.284
AT ITER 1005 NEW BEST:: SOT 9671 SOS 5276 HAS SOPS 5276 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3224.276
AT ITER 1029 NEW BEST:: SOT 9671 SOS 5274 HAS SOPS 5274 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3222.274
AT ITER 1053 NEW BEST:: SOT 9671 SOS 5261 HAS SOPS 5261 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3209.261
AT ITER 1084 NEW BEST:: SOT 9672 SOS 5259 HAS SOPS 5259 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3204.259
AT ITER 1095 NEW BEST:: SOT 9660 SOS 5238 HAS SOPS 5238 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3189.238
AT ITER 1110 NEW BEST:: SOT 9658 SOS 5230 HAS SOPS 5230 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3185.23
AT ITER 1112 NEW BEST:: SOT 9646 SOS 5218 HAS SOPS 5218 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3173.218
AT ITER 1129 NEW BEST:: SOT 9615 SOS 5169 HAS SOPS 5169 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3124.169
AT ITER 1136 NEW BEST:: SOT 9591 SOS 5145 HAS SOPS 5145 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3112.145
AT ITER 1151 NEW BEST:: SOT 9618 SOS 5078 HAS SOPS 5078 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3109.078
AT ITER 1152 NEW BEST:: SOT 9618 SOS 5070 HAS SOPS 5070 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3101.07
AT ITER 1157 NEW BEST:: SOT 9600 SOS 5041 HAS SOPS 5041 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3072.041
AT ITER 1159 NEW BEST:: SOT 9600 SOS 5070 HAS SOPS 5070 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3069.07
AT ITER 1162 NEW BEST:: SOT 9573 SOS 5073 HAS SOPS 5073 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3052.073
AT ITER 1170 NEW BEST:: SOT 9572 SOS 5073 HAS SOPS 5073 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3051.073
AT ITER 1199 NEW BEST:: SOT 9571 SOS 5071 HAS SOPS 5071 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3049.071
AT ITER 1202 NEW BEST:: SOT 9570 SOS 5070 HAS SOPS 5070 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3048.07
AT ITER 1212 NEW BEST:: SOT 9557 SOS 5057 HAS SOPS 5057 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3035.057
AT ITER 1222 NEW BEST:: SOT 9560 SOS 5040 HAS SOPS 5040 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3028.04
AT ITER 1261 NEW BEST:: SOT 9543 SOS 5128 HAS SOPS 5128 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3008.128
AT ITER 1262 NEW BEST:: SOT 9541 SOS 5128 HAS SOPS 5128 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3004.128
AT ITER 1277 NEW BEST:: SOT 9541 SOS 5119 HAS SOPS 5119 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 3001.119
AT ITER 1281 NEW BEST:: SOT 9537 SOS 5115 HAS SOPS 5115 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2987.115
AT ITER 1287 NEW BEST:: SOT 9529 SOS 5095 HAS SOPS 5095 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2967.095
AT ITER 1297 NEW BEST:: SOT 9527 SOS 5093 HAS SOPS 5093 HAS SOUS 2961 HAS SOUPS 2961 WITH SCORE 2966.093
AT ITER 1302 NEW BEST:: SOT 9524 SOS 5085 HAS SOPS 5085 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2959.085
AT ITER 1316 NEW BEST:: SOT 9534 SOS 5095 HAS SOPS 5095 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2956.095
AT ITER 1337 NEW BEST:: SOT 9526 SOS 5071 HAS SOPS 5071 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2940.071
AT ITER 1361 NEW BEST:: SOT 9523 SOS 5063 HAS SOPS 5063 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2932.063
AT ITER 1366 NEW BEST:: SOT 9519 SOS 5055 HAS SOPS 5055 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2932.055
AT ITER 1388 NEW BEST:: SOT 9519 SOS 5053 HAS SOPS 5053 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2930.053
AT ITER 1397 NEW BEST:: SOT 9511 SOS 5045 HAS SOPS 5045 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2927.045
AT ITER 1414 NEW BEST:: SOT 9507 SOS 5040 HAS SOPS 5040 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2922.04
AT ITER 1425 NEW BEST:: SOT 9458 SOS 4971 HAS SOPS 4971 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2852.971
AT ITER 1437 NEW BEST:: SOT 9458 SOS 4961 HAS SOPS 4961 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2842.961
AT ITER 1483 NEW BEST:: SOT 9450 SOS 4961 HAS SOPS 4961 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2834.961
AT ITER 1498 NEW BEST:: SOT 9452 SOS 4958 HAS SOPS 4958 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2824.958
AT ITER 1507 NEW BEST:: SOT 9450 SOS 4959 HAS SOPS 4959 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2821.959
AT ITER 1517 NEW BEST:: SOT 9450 SOS 4995 HAS SOPS 4995 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2812.995
AT ITER 1532 NEW BEST:: SOT 9453 SOS 4993 HAS SOPS 4993 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2810.993
AT ITER 1541 NEW BEST:: SOT 9444 SOS 4977 HAS SOPS 4977 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2794.977
AT ITER 1543 NEW BEST:: SOT 9444 SOS 4973 HAS SOPS 4973 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2790.973
AT ITER 1586 NEW BEST:: SOT 9444 SOS 4633 HAS SOPS 4633 HAS SOUS 2784 HAS SOUPS 2784 WITH SCORE 2788.633
AT ITER 1587 NEW BEST:: SOT 9444 SOS 4625 HAS SOPS 4625 HAS SOUS 2776 HAS SOUPS 2776 WITH SCORE 2780.625
AT ITER 1611 NEW BEST:: SOT 9442 SOS 4623 HAS SOPS 4623 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2778.623
AT ITER 1626 NEW BEST:: SOT 9442 SOS 4622 HAS SOPS 4622 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2777.622
AT ITER 1630 NEW BEST:: SOT 9440 SOS 4620 HAS SOPS 4620 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2775.62
AT ITER 1649 NEW BEST:: SOT 9440 SOS 4620 HAS SOPS 4620 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2771.62
AT ITER 1652 NEW BEST:: SOT 9436 SOS 4616 HAS SOPS 4616 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2763.616
AT ITER 1676 NEW BEST:: SOT 9436 SOS 4604 HAS SOPS 4604 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2737.604
AT ITER 1680 NEW BEST:: SOT 9420 SOS 4588 HAS SOPS 4588 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2731.588
AT ITER 1698 NEW BEST:: SOT 9417 SOS 4582 HAS SOPS 4582 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2725.582
AT ITER 1739 NEW BEST:: SOT 9417 SOS 4577 HAS SOPS 4577 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2718.577
AT ITER 1762 NEW BEST:: SOT 9416 SOS 4570 HAS SOPS 4570 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2713.57
AT ITER 1782 NEW BEST:: SOT 9411 SOS 4560 HAS SOPS 4560 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2703.56
AT ITER 1791 NEW BEST:: SOT 9418 SOS 4577 HAS SOPS 4577 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2699.577
AT ITER 1819 NEW BEST:: SOT 9416 SOS 4575 HAS SOPS 4575 HAS SOUS 2693 HAS SOUPS 2693 WITH SCORE 2697.575
AT ITER 1831 NEW BEST:: SOT 9416 SOS 4566 HAS SOPS 4566 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2696.566
AT ITER 1842 NEW BEST:: SOT 9416 SOS 4561 HAS SOPS 4561 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2694.561
AT ITER 1910 NEW BEST:: SOT 9409 SOS 4561 HAS SOPS 4561 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2680.561
AT ITER 1973 NEW BEST:: SOT 9416 SOS 4568 HAS SOPS 4568 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2677.568
AT ITER 1995 NEW BEST:: SOT 9413 SOS 4565 HAS SOPS 4565 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2674.565
AT ITER 2041 NEW BEST:: SOT 9403 SOS 4553 HAS SOPS 4553 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2662.553
AT ITER 2044 NEW BEST:: SOT 9396 SOS 4546 HAS SOPS 4546 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2655.546
AT ITER 2061 NEW BEST:: SOT 9400 SOS 4550 HAS SOPS 4550 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2654.55
AT ITER 2062 NEW BEST:: SOT 9400 SOS 4550 HAS SOPS 4550 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2652.55
AT ITER 2063 NEW BEST:: SOT 9407 SOS 4557 HAS SOPS 4557 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2650.557
AT ITER 2076 NEW BEST:: SOT 9406 SOS 4556 HAS SOPS 4556 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2648.556
AT ITER 2089 NEW BEST:: SOT 9410 SOS 4548 HAS SOPS 4548 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2627.548
AT ITER 2096 NEW BEST:: SOT 9408 SOS 4544 HAS SOPS 4544 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2623.544
AT ITER 2128 NEW BEST:: SOT 9403 SOS 4535 HAS SOPS 4535 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2617.535
AT ITER 2149 NEW BEST:: SOT 9403 SOS 4523 HAS SOPS 4523 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2615.523
AT ITER 2161 NEW BEST:: SOT 9403 SOS 4522 HAS SOPS 4522 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2614.522
AT ITER 2166 NEW BEST:: SOT 9403 SOS 4522 HAS SOPS 4522 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2612.522
AT ITER 2218 NEW BEST:: SOT 9403 SOS 4519 HAS SOPS 4519 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2609.519
AT ITER 2226 NEW BEST:: SOT 9394 SOS 4496 HAS SOPS 4496 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2602.496
AT ITER 2271 NEW BEST:: SOT 9394 SOS 4441 HAS SOPS 4441 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2602.441
AT ITER 2367 NEW BEST:: SOT 9395 SOS 4319 HAS SOPS 4319 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2593.319
AT ITER 2375 NEW BEST:: SOT 9385 SOS 4307 HAS SOPS 4307 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2589.307
AT ITER 2439 NEW BEST:: SOT 9381 SOS 4298 HAS SOPS 4298 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2581.298
AT ITER 2448 NEW BEST:: SOT 9381 SOS 4291 HAS SOPS 4291 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2579.291
AT ITER 2452 NEW BEST:: SOT 9381 SOS 4291 HAS SOPS 4291 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2577.291
AT ITER 2459 NEW BEST:: SOT 9379 SOS 4285 HAS SOPS 4285 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2575.285
AT ITER 2510 NEW BEST:: SOT 9379 SOS 4284 HAS SOPS 4284 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2574.284
AT ITER 2513 NEW BEST:: SOT 9379 SOS 4303 HAS SOPS 4303 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2567.303
AT ITER 2526 NEW BEST:: SOT 9355 SOS 4279 HAS SOPS 4279 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2543.279
AT ITER 2592 NEW BEST:: SOT 9338 SOS 4262 HAS SOPS 4262 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2542.262
AT ITER 2652 NEW BEST:: SOT 9329 SOS 4248 HAS SOPS 4248 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2537.248
AT ITER 2678 NEW BEST:: SOT 9329 SOS 4248 HAS SOPS 4248 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2536.248
AT ITER 2693 NEW BEST:: SOT 9329 SOS 4246 HAS SOPS 4246 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2534.246
AT ITER 2753 NEW BEST:: SOT 9329 SOS 4244 HAS SOPS 4244 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2534.244
AT ITER 2755 NEW BEST:: SOT 9301 SOS 4206 HAS SOPS 4206 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2522.206
AT ITER 2774 NEW BEST:: SOT 9298 SOS 4203 HAS SOPS 4203 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2519.203
AT ITER 2814 NEW BEST:: SOT 9298 SOS 4202 HAS SOPS 4202 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2518.202
AT ITER 2868 NEW BEST:: SOT 9265 SOS 4160 HAS SOPS 4160 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2516.16
AT ITER 2870 NEW BEST:: SOT 9264 SOS 4398 HAS SOPS 4398 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2515.398
AT ITER 2901 NEW BEST:: SOT 9264 SOS 4398 HAS SOPS 4398 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2513.398
AT ITER 2910 NEW BEST:: SOT 9209 SOS 4342 HAS SOPS 4342 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2511.342
AT ITER 2923 NEW BEST:: SOT 9208 SOS 4341 HAS SOPS 4341 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2510.341
AT ITER 2960 NEW BEST:: SOT 9202 SOS 4335 HAS SOPS 4335 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2504.335
AT ITER 2965 NEW BEST:: SOT 9202 SOS 4248 HAS SOPS 4248 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2501.248
AT ITER 2986 NEW BEST:: SOT 9189 SOS 4225 HAS SOPS 4225 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2478.225
AT ITER 2994 NEW BEST:: SOT 9188 SOS 4224 HAS SOPS 4224 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2471.224
AT ITER 3012 NEW BEST:: SOT 9173 SOS 4197 HAS SOPS 4197 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2451.197
AT ITER 3016 NEW BEST:: SOT 9176 SOS 4185 HAS SOPS 4185 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2446.185
AT ITER 3045 NEW BEST:: SOT 9176 SOS 4185 HAS SOPS 4185 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2444.185
AT ITER 3054 NEW BEST:: SOT 9172 SOS 4185 HAS SOPS 4185 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2440.185
AT ITER 3136 NEW BEST:: SOT 9198 SOS 4211 HAS SOPS 4211 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2426.211
AT ITER 3160 NEW BEST:: SOT 9199 SOS 4192 HAS SOPS 4192 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2425.192
AT ITER 3228 NEW BEST:: SOT 9198 SOS 4191 HAS SOPS 4191 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2423.191
AT ITER 3250 NEW BEST:: SOT 9196 SOS 4189 HAS SOPS 4189 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2419.189
AT ITER 3283 NEW BEST:: SOT 9195 SOS 4178 HAS SOPS 4178 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2418.178
AT ITER 3284 NEW BEST:: SOT 9176 SOS 4154 HAS SOPS 4154 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2402.154
AT ITER 3297 NEW BEST:: SOT 9166 SOS 4144 HAS SOPS 4144 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2392.144
AT ITER 3317 NEW BEST:: SOT 9163 SOS 4140 HAS SOPS 4140 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2390.14
AT ITER 3352 NEW BEST:: SOT 9153 SOS 4120 HAS SOPS 4120 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2380.12
AT ITER 3416 NEW BEST:: SOT 9155 SOS 4113 HAS SOPS 4113 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2373.113
AT ITER 3438 NEW BEST:: SOT 9153 SOS 4111 HAS SOPS 4111 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2371.111
AT ITER 3444 NEW BEST:: SOT 9159 SOS 4102 HAS SOPS 4102 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2368.102
AT ITER 3474 NEW BEST:: SOT 9155 SOS 4090 HAS SOPS 4090 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2360.09
AT ITER 3542 NEW BEST:: SOT 9152 SOS 4083 HAS SOPS 4083 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2353.083
AT ITER 3593 NEW BEST:: SOT 9151 SOS 4080 HAS SOPS 4080 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2353.08
AT ITER 3641 NEW BEST:: SOT 9143 SOS 4079 HAS SOPS 4079 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2352.079
AT ITER 3644 NEW BEST:: SOT 9141 SOS 4071 HAS SOPS 4071 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2344.071
AT ITER 3668 NEW BEST:: SOT 9112 SOS 4042 HAS SOPS 4042 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2340.042
AT ITER 3680 NEW BEST:: SOT 9112 SOS 4042 HAS SOPS 4042 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2324.042
AT ITER 3703 NEW BEST:: SOT 9112 SOS 4051 HAS SOPS 4051 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2315.051
AT ITER 3745 NEW BEST:: SOT 9118 SOS 4049 HAS SOPS 4049 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2313.049
AT ITER 3752 NEW BEST:: SOT 9113 SOS 4044 HAS SOPS 4044 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2313.044
AT ITER 3771 NEW BEST:: SOT 9117 SOS 4048 HAS SOPS 4048 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2308.048
AT ITER 3829 NEW BEST:: SOT 9117 SOS 4048 HAS SOPS 4048 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2307.048
AT ITER 3830 NEW BEST:: SOT 9119 SOS 4037 HAS SOPS 4037 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2302.037
AT ITER 3848 NEW BEST:: SOT 9118 SOS 4035 HAS SOPS 4035 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2300.035
AT ITER 3928 NEW BEST:: SOT 9118 SOS 4031 HAS SOPS 4031 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2296.031
AT ITER 3964 NEW BEST:: SOT 9117 SOS 4030 HAS SOPS 4030 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2295.03
AT ITER 3966 NEW BEST:: SOT 9116 SOS 4028 HAS SOPS 4028 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2293.028
AT ITER 4027 NEW BEST:: SOT 9115 SOS 4026 HAS SOPS 4026 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2291.026
AT ITER 4043 NEW BEST:: SOT 9114 SOS 4024 HAS SOPS 4024 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2289.024
AT ITER 4069 NEW BEST:: SOT 9114 SOS 4024 HAS SOPS 4024 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2288.024
AT ITER 4083 NEW BEST:: SOT 9108 SOS 3932 HAS SOPS 3932 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2279.932
AT ITER 4095 NEW BEST:: SOT 9108 SOS 3932 HAS SOPS 3932 HAS SOUS 2271 HAS SOUPS 2271 WITH SCORE 2274.932
AT ITER 4173 NEW BEST:: SOT 9106 SOS 3928 HAS SOPS 3928 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2269.928
AT ITER 4178 NEW BEST:: SOT 9105 SOS 3927 HAS SOPS 3927 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2267.927
AT ITER 4228 NEW BEST:: SOT 9103 SOS 3925 HAS SOPS 3925 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2265.925
AT ITER 4287 NEW BEST:: SOT 9100 SOS 3920 HAS SOPS 3920 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2259.92
AT ITER 4393 NEW BEST:: SOT 9100 SOS 3917 HAS SOPS 3917 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2256.917
AT ITER 4439 NEW BEST:: SOT 9098 SOS 3915 HAS SOPS 3915 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2254.915
AT ITER 4446 NEW BEST:: SOT 9098 SOS 3910 HAS SOPS 3910 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2249.91
AT ITER 4515 NEW BEST:: SOT 9097 SOS 3909 HAS SOPS 3909 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2248.909
AT ITER 4530 NEW BEST:: SOT 9096 SOS 3907 HAS SOPS 3907 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2246.907
AT ITER 4561 NEW BEST:: SOT 9096 SOS 3904 HAS SOPS 3904 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2243.904
AT ITER 4566 NEW BEST:: SOT 9086 SOS 3894 HAS SOPS 3894 HAS SOUS 2222 HAS SOUPS 2222 WITH SCORE 2225.894
AT ITER 4574 NEW BEST:: SOT 9080 SOS 3879 HAS SOPS 3879 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2222.879
AT ITER 4607 NEW BEST:: SOT 9091 SOS 3893 HAS SOPS 3893 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2219.893
AT ITER 4629 NEW BEST:: SOT 9087 SOS 3889 HAS SOPS 3889 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2215.889
AT ITER 4645 NEW BEST:: SOT 9085 SOS 3884 HAS SOPS 3884 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2212.884
AT ITER 4711 NEW BEST:: SOT 9086 SOS 3885 HAS SOPS 3885 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2210.885
AT ITER 4715 NEW BEST:: SOT 9057 SOS 3859 HAS SOPS 3859 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2210.859
AT ITER 4744 NEW BEST:: SOT 9056 SOS 3858 HAS SOPS 3858 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2210.858
AT ITER 4753 NEW BEST:: SOT 9057 SOS 3836 HAS SOPS 3836 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2188.836
AT ITER 4827 NEW BEST:: SOT 9057 SOS 3834 HAS SOPS 3834 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2186.834
AT ITER 4892 NEW BEST:: SOT 9054 SOS 3830 HAS SOPS 3830 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2178.83
AT ITER 4933 NEW BEST:: SOT 9051 SOS 3829 HAS SOPS 3829 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2177.829
AT ITER 4981 NEW BEST:: SOT 9051 SOS 3826 HAS SOPS 3826 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2174.826
AT ITER 5061 NEW BEST:: SOT 9051 SOS 3823 HAS SOPS 3823 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2171.823
AT ITER 5071 NEW BEST:: SOT 9043 SOS 3819 HAS SOPS 3819 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2167.819
AT ITER 5083 NEW BEST:: SOT 9023 SOS 3800 HAS SOPS 3800 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2148.8
AT ITER 5180 NEW BEST:: SOT 8993 SOS 3763 HAS SOPS 3763 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2131.763
AT ITER 5211 NEW BEST:: SOT 8993 SOS 3764 HAS SOPS 3764 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2129.764
AT ITER 5238 NEW BEST:: SOT 8992 SOS 3763 HAS SOPS 3763 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2127.763
AT ITER 5252 NEW BEST:: SOT 8989 SOS 3762 HAS SOPS 3762 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2126.762
AT ITER 5303 NEW BEST:: SOT 8986 SOS 3759 HAS SOPS 3759 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2123.759
AT ITER 5321 NEW BEST:: SOT 8975 SOS 3748 HAS SOPS 3748 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2112.748
AT ITER 5339 NEW BEST:: SOT 8973 SOS 3746 HAS SOPS 3746 HAS SOUS 2107 HAS SOUPS 2107 WITH SCORE 2110.746
AT ITER 5368 NEW BEST:: SOT 8970 SOS 3740 HAS SOPS 3740 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2108.74
AT ITER 5404 NEW BEST:: SOT 8970 SOS 3739 HAS SOPS 3739 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2107.739
AT ITER 5533 NEW BEST:: SOT 8967 SOS 3734 HAS SOPS 3734 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2102.734
AT ITER 5540 NEW BEST:: SOT 8963 SOS 3727 HAS SOPS 3727 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2095.727
AT ITER 5565 NEW BEST:: SOT 8957 SOS 3721 HAS SOPS 3721 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2089.721
AT ITER 5570 NEW BEST:: SOT 8951 SOS 3715 HAS SOPS 3715 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2083.715
AT ITER 5588 NEW BEST:: SOT 8946 SOS 3710 HAS SOPS 3710 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2078.71
AT ITER 5609 NEW BEST:: SOT 8943 SOS 3703 HAS SOPS 3703 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2076.703
AT ITER 5669 NEW BEST:: SOT 8942 SOS 3700 HAS SOPS 3700 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2073.7
AT ITER 5725 NEW BEST:: SOT 8934 SOS 3698 HAS SOPS 3698 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2071.698
AT ITER 5744 NEW BEST:: SOT 8934 SOS 3698 HAS SOPS 3698 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2068.698
AT ITER 5768 NEW BEST:: SOT 8932 SOS 3696 HAS SOPS 3696 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2066.696
AT ITER 5998 NEW BEST:: SOT 8931 SOS 3695 HAS SOPS 3695 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2064.695
AT ITER 5999 NEW BEST:: SOT 8940 SOS 3704 HAS SOPS 3704 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2061.704
AT ITER 6008 NEW BEST:: SOT 8938 SOS 3702 HAS SOPS 3702 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2059.702
AT ITER 6051 NEW BEST:: SOT 8938 SOS 3699 HAS SOPS 3699 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2056.699
AT ITER 6073 NEW BEST:: SOT 8937 SOS 3698 HAS SOPS 3698 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2056.698
AT ITER 6187 NEW BEST:: SOT 8937 SOS 3668 HAS SOPS 3668 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2053.668
AT ITER 6307 NEW BEST:: SOT 8938 SOS 3669 HAS SOPS 3669 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2052.669
AT ITER 6536 NEW BEST:: SOT 8925 SOS 3656 HAS SOPS 3656 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2047.656
AT ITER 6546 NEW BEST:: SOT 8922 SOS 3653 HAS SOPS 3653 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2041.653
AT ITER 6584 NEW BEST:: SOT 8920 SOS 3651 HAS SOPS 3651 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2039.651
AT ITER 6589 NEW BEST:: SOT 8918 SOS 3649 HAS SOPS 3649 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2033.649
AT ITER 6598 NEW BEST:: SOT 8915 SOS 3646 HAS SOPS 3646 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2027.646
AT ITER 6642 NEW BEST:: SOT 8914 SOS 3645 HAS SOPS 3645 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2026.645
AT ITER 6736 NEW BEST:: SOT 8920 SOS 3645 HAS SOPS 3645 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2024.645
AT ITER 6783 NEW BEST:: SOT 8914 SOS 3640 HAS SOPS 3640 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2023.64
AT ITER 6850 NEW BEST:: SOT 8922 SOS 3638 HAS SOPS 3638 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2021.638
AT ITER 6853 NEW BEST:: SOT 8922 SOS 3637 HAS SOPS 3637 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2021.637
AT ITER 6976 NEW BEST:: SOT 8922 SOS 3595 HAS SOPS 3595 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2021.595
AT ITER 7058 NEW BEST:: SOT 8921 SOS 3594 HAS SOPS 3594 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2020.594
AT ITER 7077 NEW BEST:: SOT 8924 SOS 3591 HAS SOPS 3591 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2020.591
AT ITER 7116 NEW BEST:: SOT 8924 SOS 3585 HAS SOPS 3585 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2020.585
AT ITER 7136 NEW BEST:: SOT 8926 SOS 3587 HAS SOPS 3587 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2018.587
AT ITER 7144 NEW BEST:: SOT 8924 SOS 3583 HAS SOPS 3583 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2016.583
AT ITER 7289 NEW BEST:: SOT 8924 SOS 3583 HAS SOPS 3583 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2015.583
AT ITER 7326 NEW BEST:: SOT 8923 SOS 3582 HAS SOPS 3582 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2013.582
AT ITER 7385 NEW BEST:: SOT 8922 SOS 3570 HAS SOPS 3570 HAS SOUS 2009 HAS SOUPS 2009 WITH SCORE 2012.57
AT ITER 7578 NEW BEST:: SOT 8921 SOS 3569 HAS SOPS 3569 HAS SOUS 2008 HAS SOUPS 2008 WITH SCORE 2011.569
AT ITER 7591 NEW BEST:: SOT 8921 SOS 3566 HAS SOPS 3566 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2008.566
AT ITER 7773 NEW BEST:: SOT 8920 SOS 3565 HAS SOPS 3565 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2007.565
AT ITER 7943 NEW BEST:: SOT 8919 SOS 3564 HAS SOPS 3564 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2006.564
AT ITER 8028 NEW BEST:: SOT 8919 SOS 3564 HAS SOPS 3564 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 2000.564
AT ITER 8094 NEW BEST:: SOT 8917 SOS 3562 HAS SOPS 3562 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1998.562
AT ITER 8107 NEW BEST:: SOT 8914 SOS 3523 HAS SOPS 3523 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1993.523
AT ITER 8172 NEW BEST:: SOT 8911 SOS 3517 HAS SOPS 3517 HAS SOUS 1984 HAS SOUPS 1984 WITH SCORE 1987.517
AT ITER 8481 NEW BEST:: SOT 8910 SOS 3515 HAS SOPS 3515 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1985.515
AT ITER 8631 NEW BEST:: SOT 8903 SOS 3508 HAS SOPS 3508 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1985.508
AT ITER 8799 NEW BEST:: SOT 8903 SOS 3507 HAS SOPS 3507 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1984.507
AT ITER 8830 NEW BEST:: SOT 8898 SOS 3502 HAS SOPS 3502 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1984.502
AT ITER 8857 NEW BEST:: SOT 8898 SOS 3496 HAS SOPS 3496 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1978.496
AT ITER 8873 NEW BEST:: SOT 8903 SOS 3501 HAS SOPS 3501 HAS SOUS 1957 HAS SOUPS 1957 WITH SCORE 1960.501
AT ITER 9005 NEW BEST:: SOT 8902 SOS 3499 HAS SOPS 3499 HAS SOUS 1957 HAS SOUPS 1957 WITH SCORE 1960.499
AT ITER 9007 NEW BEST:: SOT 8898 SOS 3494 HAS SOPS 3494 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1955.494
AT ITER 9010 NEW BEST:: SOT 8896 SOS 3489 HAS SOPS 3489 HAS SOUS 1951 HAS SOUPS 1951 WITH SCORE 1954.489
AT ITER 9022 NEW BEST:: SOT 8897 SOS 3487 HAS SOPS 3487 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1952.487
AT ITER 9175 NEW BEST:: SOT 8900 SOS 3490 HAS SOPS 3490 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.49
AT ITER 9193 NEW BEST:: SOT 8894 SOS 3488 HAS SOPS 3488 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1947.488
AT ITER 9343 NEW BEST:: SOT 8893 SOS 3487 HAS SOPS 3487 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1946.487
AT ITER 9450 NEW BEST:: SOT 8893 SOS 3487 HAS SOPS 3487 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1943.487
AT ITER 9482 NEW BEST:: SOT 8891 SOS 3485 HAS SOPS 3485 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1941.485
AT ITER 9498 NEW BEST:: SOT 8891 SOS 3485 HAS SOPS 3485 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1940.485
AT ITER 9509 NEW BEST:: SOT 8893 SOS 3487 HAS SOPS 3487 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1938.487
AT ITER 9556 NEW BEST:: SOT 8892 SOS 3485 HAS SOPS 3485 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1936.485
AT ITER 9560 NEW BEST:: SOT 8882 SOS 3482 HAS SOPS 3482 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1933.482
AT ITER 9638 NEW BEST:: SOT 8880 SOS 3480 HAS SOPS 3480 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1931.48
AT ITER 9674 NEW BEST:: SOT 8881 SOS 3481 HAS SOPS 3481 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1929.481
AT ITER 9710 NEW BEST:: SOT 8879 SOS 3482 HAS SOPS 3482 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1927.482
AT ITER 9850 NEW BEST:: SOT 8877 SOS 3476 HAS SOPS 3476 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1921.476
STATE_SPACE STATES 1600305869653 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 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19392057628571 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678368324886

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="DES-PT-10a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is DES-PT-10a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484200416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-10a.tgz
mv DES-PT-10a 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 ;