Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961355200720.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ProductionCell-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355200720
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.2K Apr 12 06:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 06:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 07:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 07:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 13:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 13:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 9 20:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 43K 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 1589649784955

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

Filename model.pnml
Petri model created: 176 places, 134 transitions, 513 arcs.
AT ITER 0 NEW BEST:: SOT 17633 SOS 13131 HAS SOPS 13131 HAS SOUS 10570 HAS SOUPS 10570 WITH SCORE 10583.131
AT ITER 3 NEW BEST:: SOT 17633 SOS 12767 HAS SOPS 12767 HAS SOUS 10446 HAS SOUPS 10446 WITH SCORE 10458.767
AT ITER 5 NEW BEST:: SOT 17455 SOS 12645 HAS SOPS 12645 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10336.645
AT ITER 7 NEW BEST:: SOT 17439 SOS 12611 HAS SOPS 12611 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10319.611
AT ITER 9 NEW BEST:: SOT 17439 SOS 12526 HAS SOPS 12526 HAS SOUS 10289 HAS SOUPS 10289 WITH SCORE 10301.526
AT ITER 12 NEW BEST:: SOT 17438 SOS 12524 HAS SOPS 12524 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10299.524
AT ITER 14 NEW BEST:: SOT 17228 SOS 12263 HAS SOPS 12263 HAS SOUS 10026 HAS SOUPS 10026 WITH SCORE 10038.263
AT ITER 17 NEW BEST:: SOT 17202 SOS 11721 HAS SOPS 11721 HAS SOUS 9974 HAS SOUPS 9974 WITH SCORE 9985.721
AT ITER 21 NEW BEST:: SOT 17202 SOS 11586 HAS SOPS 11586 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9934.586
AT ITER 22 NEW BEST:: SOT 17202 SOS 11400 HAS SOPS 11400 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9907.4
AT ITER 28 NEW BEST:: SOT 17201 SOS 11398 HAS SOPS 11398 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9905.398
AT ITER 29 NEW BEST:: SOT 17201 SOS 11299 HAS SOPS 11299 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9905.299
AT ITER 31 NEW BEST:: SOT 17096 SOS 11304 HAS SOPS 11304 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9882.304
AT ITER 40 NEW BEST:: SOT 17096 SOS 11302 HAS SOPS 11302 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9882.302
AT ITER 42 NEW BEST:: SOT 17096 SOS 11301 HAS SOPS 11301 HAS SOUS 9870 HAS SOUPS 9870 WITH SCORE 9881.301
AT ITER 46 NEW BEST:: SOT 17095 SOS 11105 HAS SOPS 11105 HAS SOUS 9824 HAS SOUPS 9824 WITH SCORE 9835.105
AT ITER 50 NEW BEST:: SOT 17039 SOS 11021 HAS SOPS 11021 HAS SOUS 9740 HAS SOUPS 9740 WITH SCORE 9751.021
AT ITER 54 NEW BEST:: SOT 17039 SOS 11003 HAS SOPS 11003 HAS SOUS 9740 HAS SOUPS 9740 WITH SCORE 9751.003
AT ITER 56 NEW BEST:: SOT 17039 SOS 10981 HAS SOPS 10981 HAS SOUS 9740 HAS SOUPS 9740 WITH SCORE 9750.981
AT ITER 60 NEW BEST:: SOT 17039 SOS 10974 HAS SOPS 10974 HAS SOUS 9740 HAS SOUPS 9740 WITH SCORE 9750.974
AT ITER 61 NEW BEST:: SOT 17004 SOS 10961 HAS SOPS 10961 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9737.961
AT ITER 63 NEW BEST:: SOT 17004 SOS 10658 HAS SOPS 10658 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9712.658
AT ITER 65 NEW BEST:: SOT 17004 SOS 10631 HAS SOPS 10631 HAS SOUS 9675 HAS SOUPS 9675 WITH SCORE 9685.631
AT ITER 67 NEW BEST:: SOT 16962 SOS 10589 HAS SOPS 10589 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9642.589
AT ITER 72 NEW BEST:: SOT 16803 SOS 10523 HAS SOPS 10523 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9506.523
AT ITER 77 NEW BEST:: SOT 16803 SOS 10522 HAS SOPS 10522 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9505.522
AT ITER 80 NEW BEST:: SOT 16795 SOS 10514 HAS SOPS 10514 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9497.514
AT ITER 81 NEW BEST:: SOT 16794 SOS 10513 HAS SOPS 10513 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9496.513
AT ITER 84 NEW BEST:: SOT 16720 SOS 10327 HAS SOPS 10327 HAS SOUS 9300 HAS SOUPS 9300 WITH SCORE 9310.327
AT ITER 92 NEW BEST:: SOT 16623 SOS 10251 HAS SOPS 10251 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9217.251
AT ITER 100 NEW BEST:: SOT 16623 SOS 10250 HAS SOPS 10250 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9205.25
AT ITER 107 NEW BEST:: SOT 16595 SOS 10213 HAS SOPS 10213 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9168.213
AT ITER 111 NEW BEST:: SOT 16567 SOS 10109 HAS SOPS 10109 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9112.109
AT ITER 113 NEW BEST:: SOT 16562 SOS 10104 HAS SOPS 10104 HAS SOUS 9097 HAS SOUPS 9097 WITH SCORE 9107.104
AT ITER 114 NEW BEST:: SOT 16557 SOS 10099 HAS SOPS 10099 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.099
AT ITER 117 NEW BEST:: SOT 16437 SOS 9850 HAS SOPS 9850 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8914.85
AT ITER 122 NEW BEST:: SOT 16402 SOS 9802 HAS SOPS 9802 HAS SOUS 8857 HAS SOUPS 8857 WITH SCORE 8866.802
AT ITER 137 NEW BEST:: SOT 16332 SOS 9738 HAS SOPS 9738 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8800.738
AT ITER 138 NEW BEST:: SOT 16325 SOS 9731 HAS SOPS 9731 HAS SOUS 8777 HAS SOUPS 8777 WITH SCORE 8786.731
AT ITER 150 NEW BEST:: SOT 16299 SOS 9716 HAS SOPS 9716 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8758.716
AT ITER 151 NEW BEST:: SOT 16298 SOS 9715 HAS SOPS 9715 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8722.715
AT ITER 156 NEW BEST:: SOT 16297 SOS 9714 HAS SOPS 9714 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8721.714
AT ITER 158 NEW BEST:: SOT 16135 SOS 9551 HAS SOPS 9551 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8589.551
AT ITER 160 NEW BEST:: SOT 16122 SOS 9538 HAS SOPS 9538 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8576.538
AT ITER 163 NEW BEST:: SOT 16112 SOS 9528 HAS SOPS 9528 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8566.528
AT ITER 167 NEW BEST:: SOT 16102 SOS 9478 HAS SOPS 9478 HAS SOUS 8537 HAS SOUPS 8537 WITH SCORE 8546.478
AT ITER 168 NEW BEST:: SOT 16086 SOS 9446 HAS SOPS 9446 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8510.446
AT ITER 170 NEW BEST:: SOT 16086 SOS 9402 HAS SOPS 9402 HAS SOUS 8479 HAS SOUPS 8479 WITH SCORE 8488.402
AT ITER 178 NEW BEST:: SOT 16083 SOS 9396 HAS SOPS 9396 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8482.396
AT ITER 181 NEW BEST:: SOT 16082 SOS 9394 HAS SOPS 9394 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8480.394
AT ITER 188 NEW BEST:: SOT 15626 SOS 8922 HAS SOPS 8922 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8006.922
AT ITER 191 NEW BEST:: SOT 15615 SOS 8827 HAS SOPS 8827 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7974.827
AT ITER 195 NEW BEST:: SOT 15609 SOS 8815 HAS SOPS 8815 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7965.815
AT ITER 204 NEW BEST:: SOT 15601 SOS 8767 HAS SOPS 8767 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7941.767
AT ITER 205 NEW BEST:: SOT 15593 SOS 8760 HAS SOPS 8760 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7888.76
AT ITER 208 NEW BEST:: SOT 15557 SOS 8724 HAS SOPS 8724 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7852.724
AT ITER 210 NEW BEST:: SOT 15466 SOS 8829 HAS SOPS 8829 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7819.829
AT ITER 217 NEW BEST:: SOT 15438 SOS 8573 HAS SOPS 8573 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7781.573
AT ITER 227 NEW BEST:: SOT 15380 SOS 8495 HAS SOPS 8495 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7655.495
AT ITER 229 NEW BEST:: SOT 15372 SOS 8489 HAS SOPS 8489 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.489
AT ITER 235 NEW BEST:: SOT 15372 SOS 8486 HAS SOPS 8486 HAS SOUS 7638 HAS SOUPS 7638 WITH SCORE 7646.486
AT ITER 244 NEW BEST:: SOT 15370 SOS 8482 HAS SOPS 8482 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7642.482
AT ITER 246 NEW BEST:: SOT 15367 SOS 8476 HAS SOPS 8476 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7636.476
AT ITER 255 NEW BEST:: SOT 15362 SOS 8471 HAS SOPS 8471 HAS SOUS 7623 HAS SOUPS 7623 WITH SCORE 7631.471
AT ITER 258 NEW BEST:: SOT 15362 SOS 8471 HAS SOPS 8471 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7609.471
AT ITER 259 NEW BEST:: SOT 15293 SOS 8402 HAS SOPS 8402 HAS SOUS 7577 HAS SOUPS 7577 WITH SCORE 7585.402
AT ITER 262 NEW BEST:: SOT 15285 SOS 8386 HAS SOPS 8386 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7569.386
AT ITER 276 NEW BEST:: SOT 15267 SOS 8338 HAS SOPS 8338 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7521.338
AT ITER 277 NEW BEST:: SOT 15256 SOS 8247 HAS SOPS 8247 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7430.247
AT ITER 291 NEW BEST:: SOT 15178 SOS 8169 HAS SOPS 8169 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7327.169
AT ITER 305 NEW BEST:: SOT 15267 SOS 8147 HAS SOPS 8147 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.147
AT ITER 308 NEW BEST:: SOT 15266 SOS 8016 HAS SOPS 8016 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7313.016
AT ITER 320 NEW BEST:: SOT 15260 SOS 8010 HAS SOPS 8010 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7307.01
AT ITER 327 NEW BEST:: SOT 15251 SOS 8001 HAS SOPS 8001 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7298.001
AT ITER 333 NEW BEST:: SOT 15251 SOS 7985 HAS SOPS 7985 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7288.985
AT ITER 341 NEW BEST:: SOT 15235 SOS 7953 HAS SOPS 7953 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7256.953
AT ITER 342 NEW BEST:: SOT 15227 SOS 7925 HAS SOPS 7925 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7221.925
AT ITER 354 NEW BEST:: SOT 15221 SOS 7894 HAS SOPS 7894 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7183.894
AT ITER 357 NEW BEST:: SOT 15208 SOS 7881 HAS SOPS 7881 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7170.881
AT ITER 363 NEW BEST:: SOT 15206 SOS 7847 HAS SOPS 7847 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7136.847
AT ITER 376 NEW BEST:: SOT 15195 SOS 7825 HAS SOPS 7825 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7114.825
AT ITER 377 NEW BEST:: SOT 14865 SOS 7495 HAS SOPS 7495 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6784.495
AT ITER 378 NEW BEST:: SOT 14870 SOS 7483 HAS SOPS 7483 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6770.483
AT ITER 380 NEW BEST:: SOT 14878 SOS 7473 HAS SOPS 7473 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6760.473
AT ITER 389 NEW BEST:: SOT 14856 SOS 7407 HAS SOPS 7407 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6694.407
AT ITER 393 NEW BEST:: SOT 14856 SOS 7389 HAS SOPS 7389 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6686.389
AT ITER 396 NEW BEST:: SOT 14840 SOS 7384 HAS SOPS 7384 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6681.384
AT ITER 406 NEW BEST:: SOT 14840 SOS 7375 HAS SOPS 7375 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6681.375
AT ITER 410 NEW BEST:: SOT 14836 SOS 7369 HAS SOPS 7369 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6675.369
AT ITER 412 NEW BEST:: SOT 14834 SOS 7367 HAS SOPS 7367 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6673.367
AT ITER 414 NEW BEST:: SOT 14870 SOS 7349 HAS SOPS 7349 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6655.349
AT ITER 417 NEW BEST:: SOT 14858 SOS 7335 HAS SOPS 7335 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6646.335
AT ITER 419 NEW BEST:: SOT 14812 SOS 7196 HAS SOPS 7196 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6562.196
AT ITER 444 NEW BEST:: SOT 14792 SOS 7178 HAS SOPS 7178 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6518.178
AT ITER 450 NEW BEST:: SOT 14792 SOS 7176 HAS SOPS 7176 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6518.176
AT ITER 468 NEW BEST:: SOT 14766 SOS 7150 HAS SOPS 7150 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6485.15
AT ITER 479 NEW BEST:: SOT 14523 SOS 6940 HAS SOPS 6940 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6251.94
AT ITER 503 NEW BEST:: SOT 14508 SOS 6914 HAS SOPS 6914 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6225.914
AT ITER 506 NEW BEST:: SOT 14463 SOS 6880 HAS SOPS 6880 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6191.88
AT ITER 520 NEW BEST:: SOT 14463 SOS 6875 HAS SOPS 6875 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6186.875
AT ITER 521 NEW BEST:: SOT 14463 SOS 6865 HAS SOPS 6865 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6176.865
AT ITER 549 NEW BEST:: SOT 14462 SOS 6864 HAS SOPS 6864 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6175.864
AT ITER 550 NEW BEST:: SOT 14470 SOS 6851 HAS SOPS 6851 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6162.851
AT ITER 551 NEW BEST:: SOT 14488 SOS 6849 HAS SOPS 6849 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6133.849
AT ITER 552 NEW BEST:: SOT 14480 SOS 6849 HAS SOPS 6849 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6132.849
AT ITER 555 NEW BEST:: SOT 14476 SOS 6820 HAS SOPS 6820 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6103.82
AT ITER 559 NEW BEST:: SOT 14404 SOS 6792 HAS SOPS 6792 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6075.792
AT ITER 567 NEW BEST:: SOT 14387 SOS 6763 HAS SOPS 6763 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6046.763
AT ITER 570 NEW BEST:: SOT 14380 SOS 6763 HAS SOPS 6763 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6039.763
AT ITER 584 NEW BEST:: SOT 14373 SOS 6755 HAS SOPS 6755 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6031.755
AT ITER 610 NEW BEST:: SOT 14377 SOS 6763 HAS SOPS 6763 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6029.763
AT ITER 613 NEW BEST:: SOT 14369 SOS 6742 HAS SOPS 6742 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6021.742
AT ITER 617 NEW BEST:: SOT 14363 SOS 6736 HAS SOPS 6736 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6011.736
AT ITER 619 NEW BEST:: SOT 14362 SOS 6734 HAS SOPS 6734 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6009.734
AT ITER 637 NEW BEST:: SOT 14338 SOS 6725 HAS SOPS 6725 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6003.725
AT ITER 651 NEW BEST:: SOT 14337 SOS 6724 HAS SOPS 6724 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6002.724
AT ITER 662 NEW BEST:: SOT 14238 SOS 6607 HAS SOPS 6607 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5830.607
AT ITER 675 NEW BEST:: SOT 14233 SOS 6578 HAS SOPS 6578 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5809.578
AT ITER 678 NEW BEST:: SOT 14227 SOS 6574 HAS SOPS 6574 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5805.574
AT ITER 683 NEW BEST:: SOT 14216 SOS 6564 HAS SOPS 6564 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5795.564
AT ITER 688 NEW BEST:: SOT 14165 SOS 6540 HAS SOPS 6540 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5783.54
AT ITER 701 NEW BEST:: SOT 14161 SOS 6536 HAS SOPS 6536 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5775.536
AT ITER 705 NEW BEST:: SOT 14142 SOS 6517 HAS SOPS 6517 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5756.517
AT ITER 713 NEW BEST:: SOT 14129 SOS 6504 HAS SOPS 6504 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5743.504
AT ITER 720 NEW BEST:: SOT 14129 SOS 6503 HAS SOPS 6503 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.503
AT ITER 724 NEW BEST:: SOT 14129 SOS 6489 HAS SOPS 6489 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.489
AT ITER 728 NEW BEST:: SOT 14115 SOS 6468 HAS SOPS 6468 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5719.468
AT ITER 729 NEW BEST:: SOT 14109 SOS 6462 HAS SOPS 6462 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5713.462
AT ITER 734 NEW BEST:: SOT 14107 SOS 6447 HAS SOPS 6447 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5707.447
AT ITER 741 NEW BEST:: SOT 14103 SOS 6431 HAS SOPS 6431 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.431
AT ITER 747 NEW BEST:: SOT 14062 SOS 6378 HAS SOPS 6378 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.378
AT ITER 754 NEW BEST:: SOT 14056 SOS 6378 HAS SOPS 6378 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5644.378
AT ITER 757 NEW BEST:: SOT 14056 SOS 6377 HAS SOPS 6377 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5643.377
AT ITER 760 NEW BEST:: SOT 14020 SOS 6321 HAS SOPS 6321 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5604.321
AT ITER 765 NEW BEST:: SOT 14020 SOS 6308 HAS SOPS 6308 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5591.308
AT ITER 774 NEW BEST:: SOT 14017 SOS 6302 HAS SOPS 6302 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.302
AT ITER 784 NEW BEST:: SOT 14017 SOS 6295 HAS SOPS 6295 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5578.295
AT ITER 810 NEW BEST:: SOT 14009 SOS 6292 HAS SOPS 6292 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.292
AT ITER 817 NEW BEST:: SOT 13985 SOS 6324 HAS SOPS 6324 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5573.324
AT ITER 822 NEW BEST:: SOT 13980 SOS 6323 HAS SOPS 6323 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5572.323
AT ITER 833 NEW BEST:: SOT 13978 SOS 6321 HAS SOPS 6321 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5570.321
AT ITER 835 NEW BEST:: SOT 13957 SOS 6259 HAS SOPS 6259 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5537.259
AT ITER 844 NEW BEST:: SOT 13946 SOS 6248 HAS SOPS 6248 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5537.248
AT ITER 870 NEW BEST:: SOT 13945 SOS 6247 HAS SOPS 6247 HAS SOUS 5529 HAS SOUPS 5529 WITH SCORE 5535.247
AT ITER 879 NEW BEST:: SOT 13942 SOS 6241 HAS SOPS 6241 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.241
AT ITER 896 NEW BEST:: SOT 13942 SOS 6239 HAS SOPS 6239 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.239
AT ITER 912 NEW BEST:: SOT 13942 SOS 6238 HAS SOPS 6238 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.238
AT ITER 918 NEW BEST:: SOT 13943 SOS 6260 HAS SOPS 6260 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5527.26
AT ITER 958 NEW BEST:: SOT 13948 SOS 6231 HAS SOPS 6231 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5517.231
AT ITER 969 NEW BEST:: SOT 13905 SOS 6188 HAS SOPS 6188 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5448.188
AT ITER 1011 NEW BEST:: SOT 13893 SOS 6172 HAS SOPS 6172 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5434.172
AT ITER 1013 NEW BEST:: SOT 13876 SOS 6163 HAS SOPS 6163 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5406.163
AT ITER 1043 NEW BEST:: SOT 13849 SOS 6136 HAS SOPS 6136 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5379.136
AT ITER 1044 NEW BEST:: SOT 13847 SOS 6138 HAS SOPS 6138 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5375.138
AT ITER 1078 NEW BEST:: SOT 13847 SOS 6131 HAS SOPS 6131 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.131
AT ITER 1085 NEW BEST:: SOT 13818 SOS 6090 HAS SOPS 6090 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5329.09
AT ITER 1087 NEW BEST:: SOT 13817 SOS 6086 HAS SOPS 6086 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5327.086
AT ITER 1094 NEW BEST:: SOT 13817 SOS 6085 HAS SOPS 6085 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5326.085
AT ITER 1098 NEW BEST:: SOT 13817 SOS 6071 HAS SOPS 6071 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5314.071
AT ITER 1103 NEW BEST:: SOT 13810 SOS 6034 HAS SOPS 6034 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5293.034
AT ITER 1110 NEW BEST:: SOT 13828 SOS 6017 HAS SOPS 6017 HAS SOUS 5287 HAS SOUPS 5287 WITH SCORE 5293.017
AT ITER 1136 NEW BEST:: SOT 13809 SOS 5990 HAS SOPS 5990 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5265.99
AT ITER 1172 NEW BEST:: SOT 13776 SOS 5924 HAS SOPS 5924 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5199.924
AT ITER 1186 NEW BEST:: SOT 13767 SOS 5896 HAS SOPS 5896 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5171.896
AT ITER 1191 NEW BEST:: SOT 13753 SOS 5878 HAS SOPS 5878 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.878
AT ITER 1202 NEW BEST:: SOT 13751 SOS 5874 HAS SOPS 5874 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5149.874
AT ITER 1207 NEW BEST:: SOT 13747 SOS 5870 HAS SOPS 5870 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5145.87
AT ITER 1208 NEW BEST:: SOT 13747 SOS 5866 HAS SOPS 5866 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5143.866
AT ITER 1216 NEW BEST:: SOT 13754 SOS 5859 HAS SOPS 5859 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5136.859
AT ITER 1221 NEW BEST:: SOT 13749 SOS 5857 HAS SOPS 5857 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5136.857
AT ITER 1229 NEW BEST:: SOT 13749 SOS 5854 HAS SOPS 5854 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5133.854
AT ITER 1235 NEW BEST:: SOT 13751 SOS 5849 HAS SOPS 5849 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5133.849
AT ITER 1238 NEW BEST:: SOT 13727 SOS 5802 HAS SOPS 5802 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5108.802
AT ITER 1246 NEW BEST:: SOT 13698 SOS 5813 HAS SOPS 5813 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5098.813
AT ITER 1272 NEW BEST:: SOT 13691 SOS 5795 HAS SOPS 5795 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5080.795
AT ITER 1282 NEW BEST:: SOT 13685 SOS 5792 HAS SOPS 5792 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5074.792
AT ITER 1307 NEW BEST:: SOT 13676 SOS 5783 HAS SOPS 5783 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5065.783
AT ITER 1314 NEW BEST:: SOT 13676 SOS 5746 HAS SOPS 5746 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.746
AT ITER 1336 NEW BEST:: SOT 13675 SOS 5726 HAS SOPS 5726 HAS SOUS 5040 HAS SOUPS 5040 WITH SCORE 5045.726
AT ITER 1366 NEW BEST:: SOT 13649 SOS 5700 HAS SOPS 5700 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5032.7
AT ITER 1444 NEW BEST:: SOT 13631 SOS 5682 HAS SOPS 5682 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5014.682
AT ITER 1470 NEW BEST:: SOT 13631 SOS 5682 HAS SOPS 5682 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5013.682
AT ITER 1498 NEW BEST:: SOT 13625 SOS 5697 HAS SOPS 5697 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5012.697
AT ITER 1503 NEW BEST:: SOT 13621 SOS 5689 HAS SOPS 5689 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5004.689
AT ITER 1513 NEW BEST:: SOT 13601 SOS 5654 HAS SOPS 5654 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4969.654
AT ITER 1520 NEW BEST:: SOT 13586 SOS 5650 HAS SOPS 5650 HAS SOUS 4942 HAS SOUPS 4942 WITH SCORE 4947.65
AT ITER 1523 NEW BEST:: SOT 13586 SOS 5648 HAS SOPS 5648 HAS SOUS 4942 HAS SOUPS 4942 WITH SCORE 4947.648
AT ITER 1536 NEW BEST:: SOT 13579 SOS 5633 HAS SOPS 5633 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4917.633
AT ITER 1537 NEW BEST:: SOT 13496 SOS 5716 HAS SOPS 5716 HAS SOUS 4901 HAS SOUPS 4901 WITH SCORE 4906.716
AT ITER 1538 NEW BEST:: SOT 13496 SOS 5716 HAS SOPS 5716 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4904.716
AT ITER 1539 NEW BEST:: SOT 13489 SOS 5725 HAS SOPS 5725 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4894.725
AT ITER 1549 NEW BEST:: SOT 13489 SOS 5694 HAS SOPS 5694 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.694
AT ITER 1558 NEW BEST:: SOT 13483 SOS 5682 HAS SOPS 5682 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4870.682
AT ITER 1581 NEW BEST:: SOT 13461 SOS 5665 HAS SOPS 5665 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4861.665
AT ITER 1585 NEW BEST:: SOT 13461 SOS 5649 HAS SOPS 5649 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4844.649
AT ITER 1627 NEW BEST:: SOT 13461 SOS 5637 HAS SOPS 5637 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4832.637
AT ITER 1628 NEW BEST:: SOT 13460 SOS 5627 HAS SOPS 5627 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4827.627
AT ITER 1629 NEW BEST:: SOT 13451 SOS 5609 HAS SOPS 5609 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4812.609
AT ITER 1631 NEW BEST:: SOT 13446 SOS 5589 HAS SOPS 5589 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4812.589
AT ITER 1638 NEW BEST:: SOT 13449 SOS 5580 HAS SOPS 5580 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.58
AT ITER 1644 NEW BEST:: SOT 13449 SOS 5575 HAS SOPS 5575 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4798.575
AT ITER 1648 NEW BEST:: SOT 13444 SOS 5570 HAS SOPS 5570 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4789.57
AT ITER 1667 NEW BEST:: SOT 13444 SOS 5533 HAS SOPS 5533 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4731.533
AT ITER 1682 NEW BEST:: SOT 13443 SOS 5530 HAS SOPS 5530 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4728.53
AT ITER 1706 NEW BEST:: SOT 13443 SOS 5520 HAS SOPS 5520 HAS SOUS 4716 HAS SOUPS 4716 WITH SCORE 4721.52
AT ITER 1718 NEW BEST:: SOT 13443 SOS 5485 HAS SOPS 5485 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4686.485
AT ITER 1775 NEW BEST:: SOT 13339 SOS 5426 HAS SOPS 5426 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4617.426
AT ITER 1789 NEW BEST:: SOT 13333 SOS 5419 HAS SOPS 5419 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4605.419
AT ITER 1790 NEW BEST:: SOT 13330 SOS 5418 HAS SOPS 5418 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4604.418
AT ITER 1798 NEW BEST:: SOT 13323 SOS 5390 HAS SOPS 5390 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4601.39
AT ITER 1840 NEW BEST:: SOT 13318 SOS 5307 HAS SOPS 5307 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.307
AT ITER 1847 NEW BEST:: SOT 13308 SOS 5296 HAS SOPS 5296 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4559.296
AT ITER 1862 NEW BEST:: SOT 13306 SOS 5283 HAS SOPS 5283 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4557.283
AT ITER 1878 NEW BEST:: SOT 13302 SOS 5279 HAS SOPS 5279 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4554.279
AT ITER 1882 NEW BEST:: SOT 13300 SOS 5277 HAS SOPS 5277 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4552.277
AT ITER 1907 NEW BEST:: SOT 13296 SOS 5273 HAS SOPS 5273 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4544.273
AT ITER 1926 NEW BEST:: SOT 13290 SOS 5313 HAS SOPS 5313 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4535.313
AT ITER 1929 NEW BEST:: SOT 13284 SOS 5300 HAS SOPS 5300 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.3
AT ITER 1947 NEW BEST:: SOT 13285 SOS 5298 HAS SOPS 5298 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.298
AT ITER 1961 NEW BEST:: SOT 13288 SOS 5296 HAS SOPS 5296 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4523.296
AT ITER 1981 NEW BEST:: SOT 13287 SOS 5295 HAS SOPS 5295 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4522.295
AT ITER 2001 NEW BEST:: SOT 13280 SOS 5281 HAS SOPS 5281 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.281
AT ITER 2021 NEW BEST:: SOT 13254 SOS 5255 HAS SOPS 5255 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4459.255
AT ITER 2025 NEW BEST:: SOT 13233 SOS 5231 HAS SOPS 5231 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.231
AT ITER 2088 NEW BEST:: SOT 13233 SOS 5207 HAS SOPS 5207 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.207
AT ITER 2101 NEW BEST:: SOT 13232 SOS 5200 HAS SOPS 5200 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.2
AT ITER 2133 NEW BEST:: SOT 13235 SOS 5187 HAS SOPS 5187 HAS SOUS 4409 HAS SOUPS 4409 WITH SCORE 4414.187
AT ITER 2149 NEW BEST:: SOT 13230 SOS 5186 HAS SOPS 5186 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4413.186
AT ITER 2189 NEW BEST:: SOT 13229 SOS 5201 HAS SOPS 5201 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4410.201
AT ITER 2192 NEW BEST:: SOT 13227 SOS 5163 HAS SOPS 5163 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4396.163
AT ITER 2196 NEW BEST:: SOT 13225 SOS 5157 HAS SOPS 5157 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4394.157
AT ITER 2210 NEW BEST:: SOT 13223 SOS 5143 HAS SOPS 5143 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4390.143
AT ITER 2214 NEW BEST:: SOT 13201 SOS 5111 HAS SOPS 5111 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4389.111
AT ITER 2239 NEW BEST:: SOT 13201 SOS 5108 HAS SOPS 5108 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4386.108
AT ITER 2254 NEW BEST:: SOT 13206 SOS 5107 HAS SOPS 5107 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4385.107
AT ITER 2255 NEW BEST:: SOT 13195 SOS 5096 HAS SOPS 5096 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4374.096
AT ITER 2313 NEW BEST:: SOT 13200 SOS 5070 HAS SOPS 5070 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4333.07
AT ITER 2315 NEW BEST:: SOT 13197 SOS 5067 HAS SOPS 5067 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4330.067
AT ITER 2370 NEW BEST:: SOT 13197 SOS 5064 HAS SOPS 5064 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4327.064
AT ITER 2372 NEW BEST:: SOT 13197 SOS 5069 HAS SOPS 5069 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4314.069
AT ITER 2376 NEW BEST:: SOT 13201 SOS 5065 HAS SOPS 5065 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4313.065
AT ITER 2406 NEW BEST:: SOT 13206 SOS 5059 HAS SOPS 5059 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4307.059
AT ITER 2410 NEW BEST:: SOT 13184 SOS 5037 HAS SOPS 5037 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4285.037
AT ITER 2413 NEW BEST:: SOT 13176 SOS 5029 HAS SOPS 5029 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4277.029
AT ITER 2421 NEW BEST:: SOT 13172 SOS 5001 HAS SOPS 5001 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4262.001
AT ITER 2422 NEW BEST:: SOT 13172 SOS 4976 HAS SOPS 4976 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4249.976
AT ITER 2427 NEW BEST:: SOT 13170 SOS 4974 HAS SOPS 4974 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4247.974
AT ITER 2429 NEW BEST:: SOT 13163 SOS 4967 HAS SOPS 4967 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4240.967
AT ITER 2486 NEW BEST:: SOT 13160 SOS 4958 HAS SOPS 4958 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4231.958
AT ITER 2488 NEW BEST:: SOT 13159 SOS 4957 HAS SOPS 4957 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4230.957
AT ITER 2536 NEW BEST:: SOT 13156 SOS 4951 HAS SOPS 4951 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4224.951
AT ITER 2538 NEW BEST:: SOT 13146 SOS 4907 HAS SOPS 4907 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.907
AT ITER 2563 NEW BEST:: SOT 13147 SOS 4904 HAS SOPS 4904 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.904
AT ITER 2588 NEW BEST:: SOT 13145 SOS 4902 HAS SOPS 4902 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4195.902
AT ITER 2663 NEW BEST:: SOT 13151 SOS 4874 HAS SOPS 4874 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.874
AT ITER 2684 NEW BEST:: SOT 13151 SOS 4873 HAS SOPS 4873 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4192.873
AT ITER 2692 NEW BEST:: SOT 13122 SOS 4844 HAS SOPS 4844 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4163.844
AT ITER 2702 NEW BEST:: SOT 13112 SOS 4834 HAS SOPS 4834 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4153.834
AT ITER 2712 NEW BEST:: SOT 13111 SOS 4833 HAS SOPS 4833 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4152.833
AT ITER 2750 NEW BEST:: SOT 13102 SOS 4824 HAS SOPS 4824 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.824
AT ITER 2773 NEW BEST:: SOT 13098 SOS 4816 HAS SOPS 4816 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4135.816
AT ITER 2792 NEW BEST:: SOT 13095 SOS 4775 HAS SOPS 4775 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4122.775
AT ITER 2829 NEW BEST:: SOT 13095 SOS 4774 HAS SOPS 4774 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4121.774
AT ITER 2835 NEW BEST:: SOT 13090 SOS 4769 HAS SOPS 4769 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4116.769
AT ITER 2851 NEW BEST:: SOT 13083 SOS 4755 HAS SOPS 4755 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4102.755
AT ITER 2887 NEW BEST:: SOT 13075 SOS 4747 HAS SOPS 4747 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4094.747
AT ITER 2895 NEW BEST:: SOT 13065 SOS 4734 HAS SOPS 4734 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4081.734
AT ITER 2896 NEW BEST:: SOT 13059 SOS 4732 HAS SOPS 4732 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4079.732
AT ITER 2916 NEW BEST:: SOT 13050 SOS 4707 HAS SOPS 4707 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4060.707
AT ITER 2921 NEW BEST:: SOT 13047 SOS 4700 HAS SOPS 4700 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4056.7
AT ITER 2968 NEW BEST:: SOT 13029 SOS 4673 HAS SOPS 4673 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.673
AT ITER 2972 NEW BEST:: SOT 13023 SOS 4665 HAS SOPS 4665 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4021.665
AT ITER 3043 NEW BEST:: SOT 13011 SOS 4662 HAS SOPS 4662 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4018.662
AT ITER 3045 NEW BEST:: SOT 12940 SOS 4620 HAS SOPS 4620 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3976.62
AT ITER 3050 NEW BEST:: SOT 12932 SOS 4615 HAS SOPS 4615 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3960.615
AT ITER 3051 NEW BEST:: SOT 12931 SOS 4609 HAS SOPS 4609 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3960.609
AT ITER 3053 NEW BEST:: SOT 12927 SOS 4600 HAS SOPS 4600 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.6
AT ITER 3059 NEW BEST:: SOT 12923 SOS 4588 HAS SOPS 4588 HAS SOUS 3946 HAS SOUPS 3946 WITH SCORE 3950.588
AT ITER 3095 NEW BEST:: SOT 12884 SOS 4595 HAS SOPS 4595 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3947.595
AT ITER 3135 NEW BEST:: SOT 12884 SOS 4592 HAS SOPS 4592 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3942.592
AT ITER 3137 NEW BEST:: SOT 12884 SOS 4590 HAS SOPS 4590 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3940.59
AT ITER 3142 NEW BEST:: SOT 12883 SOS 4589 HAS SOPS 4589 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.589
AT ITER 3198 NEW BEST:: SOT 12874 SOS 4582 HAS SOPS 4582 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3923.582
AT ITER 3200 NEW BEST:: SOT 12872 SOS 4572 HAS SOPS 4572 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3919.572
AT ITER 3250 NEW BEST:: SOT 12872 SOS 4570 HAS SOPS 4570 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3917.57
AT ITER 3260 NEW BEST:: SOT 12872 SOS 4567 HAS SOPS 4567 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3909.567
AT ITER 3263 NEW BEST:: SOT 12868 SOS 4554 HAS SOPS 4554 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3904.554
AT ITER 3274 NEW BEST:: SOT 12869 SOS 4520 HAS SOPS 4520 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3870.52
AT ITER 3284 NEW BEST:: SOT 12878 SOS 4503 HAS SOPS 4503 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3853.503
AT ITER 3378 NEW BEST:: SOT 12869 SOS 4480 HAS SOPS 4480 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.48
AT ITER 3384 NEW BEST:: SOT 12834 SOS 4431 HAS SOPS 4431 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3775.431
AT ITER 3561 NEW BEST:: SOT 12826 SOS 4423 HAS SOPS 4423 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3767.423
AT ITER 3569 NEW BEST:: SOT 12826 SOS 4417 HAS SOPS 4417 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3766.417
AT ITER 3607 NEW BEST:: SOT 12825 SOS 4413 HAS SOPS 4413 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3764.413
AT ITER 3608 NEW BEST:: SOT 12815 SOS 4401 HAS SOPS 4401 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3753.401
AT ITER 3612 NEW BEST:: SOT 12815 SOS 4399 HAS SOPS 4399 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3753.399
AT ITER 3649 NEW BEST:: SOT 12815 SOS 4398 HAS SOPS 4398 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3752.398
AT ITER 3676 NEW BEST:: SOT 12811 SOS 4394 HAS SOPS 4394 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3748.394
AT ITER 3842 NEW BEST:: SOT 12806 SOS 4383 HAS SOPS 4383 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3737.383
AT ITER 3863 NEW BEST:: SOT 12805 SOS 4381 HAS SOPS 4381 HAS SOUS 3731 HAS SOUPS 3731 WITH SCORE 3735.381
AT ITER 3887 NEW BEST:: SOT 12806 SOS 4382 HAS SOPS 4382 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3730.382
AT ITER 3918 NEW BEST:: SOT 12801 SOS 4356 HAS SOPS 4356 HAS SOUS 3721 HAS SOUPS 3721 WITH SCORE 3725.356
AT ITER 3955 NEW BEST:: SOT 12801 SOS 4353 HAS SOPS 4353 HAS SOUS 3721 HAS SOUPS 3721 WITH SCORE 3725.353
AT ITER 4044 NEW BEST:: SOT 12794 SOS 4346 HAS SOPS 4346 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3715.346
AT ITER 4056 NEW BEST:: SOT 12802 SOS 4345 HAS SOPS 4345 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3714.345
AT ITER 4088 NEW BEST:: SOT 12796 SOS 4335 HAS SOPS 4335 HAS SOUS 3700 HAS SOUPS 3700 WITH SCORE 3704.335
AT ITER 4095 NEW BEST:: SOT 12796 SOS 4333 HAS SOPS 4333 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3694.333
AT ITER 4128 NEW BEST:: SOT 12785 SOS 4357 HAS SOPS 4357 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3693.357
AT ITER 4247 NEW BEST:: SOT 12790 SOS 4378 HAS SOPS 4378 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3687.378
AT ITER 4313 NEW BEST:: SOT 12773 SOS 4371 HAS SOPS 4371 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3680.371
AT ITER 4325 NEW BEST:: SOT 12773 SOS 4368 HAS SOPS 4368 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3675.368
AT ITER 4345 NEW BEST:: SOT 12769 SOS 4360 HAS SOPS 4360 HAS SOUS 3663 HAS SOUPS 3663 WITH SCORE 3667.36
AT ITER 4346 NEW BEST:: SOT 12767 SOS 4358 HAS SOPS 4358 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3665.358
AT ITER 4380 NEW BEST:: SOT 12761 SOS 4349 HAS SOPS 4349 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3657.349
AT ITER 4420 NEW BEST:: SOT 12759 SOS 4347 HAS SOPS 4347 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3652.347
AT ITER 4438 NEW BEST:: SOT 12759 SOS 4347 HAS SOPS 4347 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3650.347
AT ITER 4449 NEW BEST:: SOT 12759 SOS 4346 HAS SOPS 4346 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3649.346
AT ITER 4456 NEW BEST:: SOT 12758 SOS 4345 HAS SOPS 4345 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3648.345
AT ITER 4472 NEW BEST:: SOT 12757 SOS 4344 HAS SOPS 4344 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.344
AT ITER 4512 NEW BEST:: SOT 12757 SOS 4343 HAS SOPS 4343 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3646.343
AT ITER 4543 NEW BEST:: SOT 12739 SOS 4319 HAS SOPS 4319 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3622.319
AT ITER 4643 NEW BEST:: SOT 12733 SOS 4293 HAS SOPS 4293 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3596.293
AT ITER 4654 NEW BEST:: SOT 12733 SOS 4291 HAS SOPS 4291 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3594.291
AT ITER 4687 NEW BEST:: SOT 12713 SOS 4382 HAS SOPS 4382 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3590.382
AT ITER 4776 NEW BEST:: SOT 12696 SOS 4353 HAS SOPS 4353 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3573.353
AT ITER 4873 NEW BEST:: SOT 12695 SOS 4349 HAS SOPS 4349 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3571.349
AT ITER 4929 NEW BEST:: SOT 12690 SOS 4343 HAS SOPS 4343 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3567.343
AT ITER 4950 NEW BEST:: SOT 12690 SOS 4339 HAS SOPS 4339 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3561.339
AT ITER 4973 NEW BEST:: SOT 12685 SOS 4334 HAS SOPS 4334 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3556.334
AT ITER 4997 NEW BEST:: SOT 12681 SOS 4321 HAS SOPS 4321 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3553.321
AT ITER 5004 NEW BEST:: SOT 12678 SOS 4318 HAS SOPS 4318 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3549.318
AT ITER 5040 NEW BEST:: SOT 12676 SOS 4314 HAS SOPS 4314 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.314
AT ITER 5072 NEW BEST:: SOT 12672 SOS 4297 HAS SOPS 4297 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3528.297
AT ITER 5085 NEW BEST:: SOT 12671 SOS 4296 HAS SOPS 4296 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3526.296
AT ITER 5139 NEW BEST:: SOT 12671 SOS 4294 HAS SOPS 4294 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3525.294
AT ITER 5149 NEW BEST:: SOT 12662 SOS 4285 HAS SOPS 4285 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3517.285
AT ITER 5251 NEW BEST:: SOT 12661 SOS 4281 HAS SOPS 4281 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3515.281
AT ITER 5256 NEW BEST:: SOT 12655 SOS 4266 HAS SOPS 4266 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3494.266
AT ITER 5289 NEW BEST:: SOT 12655 SOS 4265 HAS SOPS 4265 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3493.265
AT ITER 5305 NEW BEST:: SOT 12653 SOS 4263 HAS SOPS 4263 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3491.263
AT ITER 5315 NEW BEST:: SOT 12656 SOS 4266 HAS SOPS 4266 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3490.266
AT ITER 5328 NEW BEST:: SOT 12658 SOS 4260 HAS SOPS 4260 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3490.26
AT ITER 5370 NEW BEST:: SOT 12656 SOS 4253 HAS SOPS 4253 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3483.253
AT ITER 5418 NEW BEST:: SOT 12657 SOS 4255 HAS SOPS 4255 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3481.255
AT ITER 5442 NEW BEST:: SOT 12656 SOS 4254 HAS SOPS 4254 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.254
AT ITER 5527 NEW BEST:: SOT 12661 SOS 4249 HAS SOPS 4249 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.249
AT ITER 5620 NEW BEST:: SOT 12661 SOS 4248 HAS SOPS 4248 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3478.248
AT ITER 5625 NEW BEST:: SOT 12661 SOS 4238 HAS SOPS 4238 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.238
AT ITER 5649 NEW BEST:: SOT 12652 SOS 4229 HAS SOPS 4229 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3467.229
AT ITER 5739 NEW BEST:: SOT 12644 SOS 4221 HAS SOPS 4221 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3461.221
AT ITER 5755 NEW BEST:: SOT 12643 SOS 4213 HAS SOPS 4213 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3456.213
AT ITER 5788 NEW BEST:: SOT 12643 SOS 4212 HAS SOPS 4212 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3455.212
AT ITER 5801 NEW BEST:: SOT 12633 SOS 4202 HAS SOPS 4202 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3445.202
AT ITER 5875 NEW BEST:: SOT 12625 SOS 4198 HAS SOPS 4198 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3441.198
AT ITER 5970 NEW BEST:: SOT 12625 SOS 4197 HAS SOPS 4197 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3440.197
AT ITER 6236 NEW BEST:: SOT 12616 SOS 4188 HAS SOPS 4188 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3431.188
AT ITER 6302 NEW BEST:: SOT 12615 SOS 4186 HAS SOPS 4186 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3429.186
AT ITER 6388 NEW BEST:: SOT 12614 SOS 4187 HAS SOPS 4187 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.187
AT ITER 6484 NEW BEST:: SOT 12614 SOS 4178 HAS SOPS 4178 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.178
AT ITER 6524 NEW BEST:: SOT 12611 SOS 4176 HAS SOPS 4176 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3426.176
AT ITER 6565 NEW BEST:: SOT 12612 SOS 4138 HAS SOPS 4138 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3426.138
AT ITER 6613 NEW BEST:: SOT 12637 SOS 4130 HAS SOPS 4130 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3418.13
AT ITER 6806 NEW BEST:: SOT 12642 SOS 4128 HAS SOPS 4128 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3416.128
AT ITER 6822 NEW BEST:: SOT 12642 SOS 4127 HAS SOPS 4127 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3415.127
AT ITER 6831 NEW BEST:: SOT 12635 SOS 4118 HAS SOPS 4118 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3406.118
AT ITER 6855 NEW BEST:: SOT 12641 SOS 4112 HAS SOPS 4112 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3404.112
AT ITER 6883 NEW BEST:: SOT 12638 SOS 4105 HAS SOPS 4105 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3397.105
AT ITER 6939 NEW BEST:: SOT 12636 SOS 4103 HAS SOPS 4103 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3394.103
AT ITER 7009 NEW BEST:: SOT 12634 SOS 4100 HAS SOPS 4100 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3391.1
AT ITER 7175 NEW BEST:: SOT 12633 SOS 4099 HAS SOPS 4099 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3390.099
AT ITER 7337 NEW BEST:: SOT 12635 SOS 4097 HAS SOPS 4097 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3388.097
AT ITER 7411 NEW BEST:: SOT 12631 SOS 4088 HAS SOPS 4088 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3382.088
AT ITER 7520 NEW BEST:: SOT 12631 SOS 4088 HAS SOPS 4088 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3381.088
AT ITER 7538 NEW BEST:: SOT 12631 SOS 4088 HAS SOPS 4088 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3379.088
AT ITER 7627 NEW BEST:: SOT 12629 SOS 4086 HAS SOPS 4086 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3378.086
AT ITER 7692 NEW BEST:: SOT 12624 SOS 4095 HAS SOPS 4095 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3377.095
AT ITER 7697 NEW BEST:: SOT 12628 SOS 4087 HAS SOPS 4087 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3374.087
AT ITER 7815 NEW BEST:: SOT 12620 SOS 4079 HAS SOPS 4079 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3374.079
AT ITER 7905 NEW BEST:: SOT 12619 SOS 4077 HAS SOPS 4077 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3372.077
AT ITER 7915 NEW BEST:: SOT 12625 SOS 4075 HAS SOPS 4075 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3370.075
AT ITER 7939 NEW BEST:: SOT 12639 SOS 4061 HAS SOPS 4061 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3366.061
AT ITER 8032 NEW BEST:: SOT 12629 SOS 4055 HAS SOPS 4055 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3360.055
AT ITER 8112 NEW BEST:: SOT 12629 SOS 4047 HAS SOPS 4047 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3352.047
AT ITER 8224 NEW BEST:: SOT 12629 SOS 4046 HAS SOPS 4046 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3351.046
AT ITER 8287 NEW BEST:: SOT 12627 SOS 4040 HAS SOPS 4040 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3347.04
AT ITER 8374 NEW BEST:: SOT 12628 SOS 4038 HAS SOPS 4038 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3347.038
AT ITER 8395 NEW BEST:: SOT 12633 SOS 4031 HAS SOPS 4031 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3323.031
AT ITER 8419 NEW BEST:: SOT 12632 SOS 4035 HAS SOPS 4035 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3318.035
AT ITER 8421 NEW BEST:: SOT 12631 SOS 4034 HAS SOPS 4034 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3317.034
AT ITER 8603 NEW BEST:: SOT 12629 SOS 4033 HAS SOPS 4033 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3316.033
AT ITER 8604 NEW BEST:: SOT 12625 SOS 4020 HAS SOPS 4020 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3303.02
AT ITER 8645 NEW BEST:: SOT 12628 SOS 4015 HAS SOPS 4015 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3301.015
AT ITER 8879 NEW BEST:: SOT 12627 SOS 4011 HAS SOPS 4011 HAS SOUS 3291 HAS SOUPS 3291 WITH SCORE 3295.011
AT ITER 9041 NEW BEST:: SOT 12626 SOS 4010 HAS SOPS 4010 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3294.01
AT ITER 9167 NEW BEST:: SOT 12622 SOS 4006 HAS SOPS 4006 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3290.006
AT ITER 9213 NEW BEST:: SOT 12614 SOS 3996 HAS SOPS 3996 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3279.996
AT ITER 9222 NEW BEST:: SOT 12614 SOS 3994 HAS SOPS 3994 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3277.994
AT ITER 9325 NEW BEST:: SOT 12611 SOS 3988 HAS SOPS 3988 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3271.988
AT ITER 9388 NEW BEST:: SOT 12613 SOS 3986 HAS SOPS 3986 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3270.986
AT ITER 9450 NEW BEST:: SOT 12612 SOS 3984 HAS SOPS 3984 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3268.984
AT ITER 9647 NEW BEST:: SOT 12612 SOS 3983 HAS SOPS 3983 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.983
AT ITER 9684 NEW BEST:: SOT 12610 SOS 3979 HAS SOPS 3979 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.979
AT ITER 9758 NEW BEST:: SOT 12606 SOS 3975 HAS SOPS 3975 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3259.975
AT ITER 9819 NEW BEST:: SOT 12605 SOS 3975 HAS SOPS 3975 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.975
STATE_SPACE STATES 11329291100161 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 35 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 153383854169089 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589649795499

--------------------
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="ProductionCell-PT-none"
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 ProductionCell-PT-none, 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 r123-tajo-158961355200720"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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