Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979400256.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVt-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979400256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 7.2K Feb 25 23:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 23:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 23:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 23:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 25 23:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 23:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 23:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 60K Mar 5 18:23 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 1679383506754

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=ShieldRVt-PT-005B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 07:25:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 07:25:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 07:25:08] [INFO ] Load time of PNML (sax parser for PT used): 48 ms
[2023-03-21 07:25:08] [INFO ] Transformed 253 places.
[2023-03-21 07:25:08] [INFO ] Transformed 253 transitions.
[2023-03-21 07:25:08] [INFO ] Found NUPN structural information;
[2023-03-21 07:25:08] [INFO ] Parsed PT model containing 253 places and 253 transitions and 596 arcs in 115 ms.
[2023-03-21 07:25:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 253 places, 253 transitions and 596 arcs took 5 ms.
Total runtime 151 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 005B
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: 253 places, 253 transitions, 596 arcs.
AT ITER 0 NEW BEST:: SOT 34859 SOS 9888 HAS SOPS 9888 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8899.888
AT ITER 2 NEW BEST:: SOT 34843 SOS 9833 HAS SOPS 9833 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8876.833
AT ITER 34 NEW BEST:: SOT 34827 SOS 9828 HAS SOPS 9828 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8860.828
AT ITER 44 NEW BEST:: SOT 34830 SOS 9817 HAS SOPS 9817 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8860.817
AT ITER 61 NEW BEST:: SOT 34838 SOS 9854 HAS SOPS 9854 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8806.854
AT ITER 67 NEW BEST:: SOT 34838 SOS 9854 HAS SOPS 9854 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8780.854
AT ITER 71 NEW BEST:: SOT 34828 SOS 9814 HAS SOPS 9814 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8750.814
AT ITER 81 NEW BEST:: SOT 34828 SOS 9801 HAS SOPS 9801 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8737.801
AT ITER 93 NEW BEST:: SOT 34830 SOS 9805 HAS SOPS 9805 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8712.805
AT ITER 95 NEW BEST:: SOT 34795 SOS 9691 HAS SOPS 9691 HAS SOUS 8661 HAS SOUPS 8661 WITH SCORE 8670.691
AT ITER 105 NEW BEST:: SOT 34807 SOS 9715 HAS SOPS 9715 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8651.715
AT ITER 107 NEW BEST:: SOT 34807 SOS 9706 HAS SOPS 9706 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8642.706
AT ITER 110 NEW BEST:: SOT 34794 SOS 9644 HAS SOPS 9644 HAS SOUS 8571 HAS SOUPS 8571 WITH SCORE 8580.644
AT ITER 113 NEW BEST:: SOT 34794 SOS 9638 HAS SOPS 9638 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8570.638
AT ITER 120 NEW BEST:: SOT 34757 SOS 9601 HAS SOPS 9601 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8533.601
AT ITER 122 NEW BEST:: SOT 34717 SOS 9481 HAS SOPS 9481 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8493.481
AT ITER 142 NEW BEST:: SOT 34703 SOS 9467 HAS SOPS 9467 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8479.467
AT ITER 148 NEW BEST:: SOT 34705 SOS 9477 HAS SOPS 9477 HAS SOUS 8466 HAS SOUPS 8466 WITH SCORE 8475.477
AT ITER 177 NEW BEST:: SOT 34730 SOS 9516 HAS SOPS 9516 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8464.516
AT ITER 182 NEW BEST:: SOT 34727 SOS 9507 HAS SOPS 9507 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8458.507
AT ITER 200 NEW BEST:: SOT 34706 SOS 9423 HAS SOPS 9423 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8395.423
AT ITER 227 NEW BEST:: SOT 34706 SOS 9407 HAS SOPS 9407 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8379.407
AT ITER 233 NEW BEST:: SOT 34706 SOS 9406 HAS SOPS 9406 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8379.406
AT ITER 244 NEW BEST:: SOT 34705 SOS 9392 HAS SOPS 9392 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8377.392
AT ITER 248 NEW BEST:: SOT 34688 SOS 9341 HAS SOPS 9341 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8343.341
AT ITER 250 NEW BEST:: SOT 34708 SOS 9349 HAS SOPS 9349 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8306.349
AT ITER 252 NEW BEST:: SOT 34683 SOS 9277 HAS SOPS 9277 HAS SOUS 8259 HAS SOUPS 8259 WITH SCORE 8268.277
AT ITER 280 NEW BEST:: SOT 34651 SOS 9329 HAS SOPS 9329 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8240.329
AT ITER 284 NEW BEST:: SOT 34667 SOS 9344 HAS SOPS 9344 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8239.344
AT ITER 285 NEW BEST:: SOT 34667 SOS 9342 HAS SOPS 9342 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8237.342
AT ITER 296 NEW BEST:: SOT 34661 SOS 9268 HAS SOPS 9268 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8228.268
AT ITER 297 NEW BEST:: SOT 34623 SOS 9192 HAS SOPS 9192 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8152.192
AT ITER 306 NEW BEST:: SOT 34623 SOS 9191 HAS SOPS 9191 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8151.191
AT ITER 320 NEW BEST:: SOT 34623 SOS 9169 HAS SOPS 9169 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8126.169
AT ITER 331 NEW BEST:: SOT 34622 SOS 9167 HAS SOPS 9167 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8124.167
AT ITER 336 NEW BEST:: SOT 34645 SOS 9146 HAS SOPS 9146 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8085.146
AT ITER 339 NEW BEST:: SOT 34645 SOS 9124 HAS SOPS 9124 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8075.124
AT ITER 342 NEW BEST:: SOT 34675 SOS 9120 HAS SOPS 9120 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8073.12
AT ITER 346 NEW BEST:: SOT 34671 SOS 9112 HAS SOPS 9112 HAS SOUS 8059 HAS SOUPS 8059 WITH SCORE 8068.112
AT ITER 363 NEW BEST:: SOT 34632 SOS 9034 HAS SOPS 9034 HAS SOUS 8020 HAS SOUPS 8020 WITH SCORE 8029.034
AT ITER 373 NEW BEST:: SOT 34614 SOS 9040 HAS SOPS 9040 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8026.04
AT ITER 377 NEW BEST:: SOT 34607 SOS 9019 HAS SOPS 9019 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8012.019
AT ITER 383 NEW BEST:: SOT 34607 SOS 9010 HAS SOPS 9010 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7982.01
AT ITER 388 NEW BEST:: SOT 34602 SOS 8995 HAS SOPS 8995 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7966.995
AT ITER 400 NEW BEST:: SOT 34602 SOS 8983 HAS SOPS 8983 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7954.983
AT ITER 408 NEW BEST:: SOT 34602 SOS 8982 HAS SOPS 8982 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7953.982
AT ITER 416 NEW BEST:: SOT 34602 SOS 8970 HAS SOPS 8970 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7941.97
AT ITER 417 NEW BEST:: SOT 34595 SOS 8981 HAS SOPS 8981 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7935.981
AT ITER 427 NEW BEST:: SOT 34589 SOS 8973 HAS SOPS 8973 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7927.973
AT ITER 438 NEW BEST:: SOT 34588 SOS 8971 HAS SOPS 8971 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7926.971
AT ITER 443 NEW BEST:: SOT 34586 SOS 8967 HAS SOPS 8967 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7922.967
AT ITER 455 NEW BEST:: SOT 34574 SOS 8922 HAS SOPS 8922 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7921.922
AT ITER 456 NEW BEST:: SOT 34563 SOS 8885 HAS SOPS 8885 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7898.885
AT ITER 462 NEW BEST:: SOT 34563 SOS 8884 HAS SOPS 8884 HAS SOUS 7889 HAS SOUPS 7889 WITH SCORE 7897.884
AT ITER 467 NEW BEST:: SOT 34530 SOS 8739 HAS SOPS 8739 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7825.739
AT ITER 468 NEW BEST:: SOT 34519 SOS 8728 HAS SOPS 8728 HAS SOUS 7806 HAS SOUPS 7806 WITH SCORE 7814.728
AT ITER 483 NEW BEST:: SOT 34519 SOS 8725 HAS SOPS 8725 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7811.725
AT ITER 488 NEW BEST:: SOT 34559 SOS 8718 HAS SOPS 8718 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7810.718
AT ITER 489 NEW BEST:: SOT 34555 SOS 8714 HAS SOPS 8714 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7806.714
AT ITER 499 NEW BEST:: SOT 34585 SOS 8712 HAS SOPS 8712 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7805.712
AT ITER 500 NEW BEST:: SOT 34594 SOS 8708 HAS SOPS 8708 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7801.708
AT ITER 510 NEW BEST:: SOT 34566 SOS 8652 HAS SOPS 8652 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7745.652
AT ITER 553 NEW BEST:: SOT 34559 SOS 8638 HAS SOPS 8638 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7731.638
AT ITER 566 NEW BEST:: SOT 34549 SOS 8593 HAS SOPS 8593 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7696.593
AT ITER 608 NEW BEST:: SOT 34548 SOS 8576 HAS SOPS 8576 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7691.576
AT ITER 635 NEW BEST:: SOT 34544 SOS 8586 HAS SOPS 8586 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7687.586
AT ITER 663 NEW BEST:: SOT 34544 SOS 8585 HAS SOPS 8585 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7686.585
AT ITER 667 NEW BEST:: SOT 34550 SOS 8694 HAS SOPS 8694 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7677.694
AT ITER 685 NEW BEST:: SOT 34578 SOS 8686 HAS SOPS 8686 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7669.686
AT ITER 688 NEW BEST:: SOT 34576 SOS 8656 HAS SOPS 8656 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7642.656
AT ITER 704 NEW BEST:: SOT 34569 SOS 8695 HAS SOPS 8695 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7621.695
AT ITER 717 NEW BEST:: SOT 34545 SOS 8671 HAS SOPS 8671 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7621.671
AT ITER 720 NEW BEST:: SOT 34545 SOS 8652 HAS SOPS 8652 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7602.652
AT ITER 722 NEW BEST:: SOT 34517 SOS 8638 HAS SOPS 8638 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7586.638
AT ITER 743 NEW BEST:: SOT 34500 SOS 8609 HAS SOPS 8609 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7574.609
AT ITER 744 NEW BEST:: SOT 34492 SOS 8601 HAS SOPS 8601 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7574.601
AT ITER 754 NEW BEST:: SOT 34543 SOS 8660 HAS SOPS 8660 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7529.66
AT ITER 772 NEW BEST:: SOT 34543 SOS 8688 HAS SOPS 8688 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7519.688
AT ITER 784 NEW BEST:: SOT 34515 SOS 8603 HAS SOPS 8603 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7419.603
AT ITER 795 NEW BEST:: SOT 34512 SOS 8597 HAS SOPS 8597 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7413.597
AT ITER 803 NEW BEST:: SOT 34512 SOS 8582 HAS SOPS 8582 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7413.582
AT ITER 806 NEW BEST:: SOT 34512 SOS 8580 HAS SOPS 8580 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.58
AT ITER 811 NEW BEST:: SOT 34534 SOS 8624 HAS SOPS 8624 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7397.624
AT ITER 815 NEW BEST:: SOT 34531 SOS 8621 HAS SOPS 8621 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7395.621
AT ITER 819 NEW BEST:: SOT 34530 SOS 8619 HAS SOPS 8619 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7393.619
AT ITER 828 NEW BEST:: SOT 34546 SOS 8633 HAS SOPS 8633 HAS SOUS 7359 HAS SOUPS 7359 WITH SCORE 7367.633
AT ITER 833 NEW BEST:: SOT 34538 SOS 8617 HAS SOPS 8617 HAS SOUS 7343 HAS SOUPS 7343 WITH SCORE 7351.617
AT ITER 838 NEW BEST:: SOT 34519 SOS 8575 HAS SOPS 8575 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7306.575
AT ITER 862 NEW BEST:: SOT 34548 SOS 8524 HAS SOPS 8524 HAS SOUS 7247 HAS SOUPS 7247 WITH SCORE 7255.524
AT ITER 863 NEW BEST:: SOT 34536 SOS 8447 HAS SOPS 8447 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7243.447
AT ITER 906 NEW BEST:: SOT 34536 SOS 8438 HAS SOPS 8438 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7243.438
AT ITER 917 NEW BEST:: SOT 34531 SOS 8357 HAS SOPS 8357 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7222.357
AT ITER 949 NEW BEST:: SOT 34524 SOS 8336 HAS SOPS 8336 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7201.336
AT ITER 952 NEW BEST:: SOT 34515 SOS 8318 HAS SOPS 8318 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7183.318
AT ITER 976 NEW BEST:: SOT 34516 SOS 8296 HAS SOPS 8296 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7161.296
AT ITER 997 NEW BEST:: SOT 34516 SOS 8296 HAS SOPS 8296 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7160.296
AT ITER 999 NEW BEST:: SOT 34516 SOS 8292 HAS SOPS 8292 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7156.292
AT ITER 1013 NEW BEST:: SOT 34506 SOS 8272 HAS SOPS 8272 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7136.272
AT ITER 1019 NEW BEST:: SOT 34443 SOS 8171 HAS SOPS 8171 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7073.171
AT ITER 1023 NEW BEST:: SOT 34443 SOS 8141 HAS SOPS 8141 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7043.141
AT ITER 1031 NEW BEST:: SOT 34448 SOS 8132 HAS SOPS 8132 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7010.132
AT ITER 1042 NEW BEST:: SOT 34447 SOS 8097 HAS SOPS 8097 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.097
AT ITER 1052 NEW BEST:: SOT 34443 SOS 8097 HAS SOPS 8097 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7004.097
AT ITER 1062 NEW BEST:: SOT 34438 SOS 8081 HAS SOPS 8081 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.081
AT ITER 1078 NEW BEST:: SOT 34448 SOS 8071 HAS SOPS 8071 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6978.071
AT ITER 1130 NEW BEST:: SOT 34448 SOS 8043 HAS SOPS 8043 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6973.043
AT ITER 1132 NEW BEST:: SOT 34443 SOS 8033 HAS SOPS 8033 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6971.033
AT ITER 1134 NEW BEST:: SOT 34443 SOS 7971 HAS SOPS 7971 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6936.971
AT ITER 1143 NEW BEST:: SOT 34443 SOS 7967 HAS SOPS 7967 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6928.967
AT ITER 1162 NEW BEST:: SOT 34443 SOS 7965 HAS SOPS 7965 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6926.965
AT ITER 1199 NEW BEST:: SOT 34418 SOS 7923 HAS SOPS 7923 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6884.923
AT ITER 1211 NEW BEST:: SOT 34405 SOS 7882 HAS SOPS 7882 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6868.882
AT ITER 1243 NEW BEST:: SOT 34404 SOS 7822 HAS SOPS 7822 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6857.822
AT ITER 1262 NEW BEST:: SOT 34395 SOS 7804 HAS SOPS 7804 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6848.804
AT ITER 1264 NEW BEST:: SOT 34385 SOS 7797 HAS SOPS 7797 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6847.797
AT ITER 1278 NEW BEST:: SOT 34372 SOS 7804 HAS SOPS 7804 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6841.804
AT ITER 1286 NEW BEST:: SOT 34403 SOS 7863 HAS SOPS 7863 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6827.863
AT ITER 1291 NEW BEST:: SOT 34362 SOS 7813 HAS SOPS 7813 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6786.813
AT ITER 1310 NEW BEST:: SOT 34357 SOS 7808 HAS SOPS 7808 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6786.808
AT ITER 1316 NEW BEST:: SOT 34357 SOS 7807 HAS SOPS 7807 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6785.807
AT ITER 1320 NEW BEST:: SOT 34357 SOS 7790 HAS SOPS 7790 HAS SOUS 6761 HAS SOUPS 6761 WITH SCORE 6768.79
AT ITER 1321 NEW BEST:: SOT 34377 SOS 7765 HAS SOPS 7765 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6755.765
AT ITER 1331 NEW BEST:: SOT 34360 SOS 7757 HAS SOPS 7757 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.757
AT ITER 1365 NEW BEST:: SOT 34354 SOS 7748 HAS SOPS 7748 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6738.748
AT ITER 1388 NEW BEST:: SOT 34346 SOS 7735 HAS SOPS 7735 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6734.735
AT ITER 1408 NEW BEST:: SOT 34350 SOS 7731 HAS SOPS 7731 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6734.731
AT ITER 1437 NEW BEST:: SOT 34350 SOS 7731 HAS SOPS 7731 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6706.731
AT ITER 1475 NEW BEST:: SOT 34336 SOS 7718 HAS SOPS 7718 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6680.718
AT ITER 1477 NEW BEST:: SOT 34329 SOS 7696 HAS SOPS 7696 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6666.696
AT ITER 1479 NEW BEST:: SOT 34317 SOS 7684 HAS SOPS 7684 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6654.684
AT ITER 1497 NEW BEST:: SOT 34317 SOS 7679 HAS SOPS 7679 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6649.679
AT ITER 1525 NEW BEST:: SOT 34312 SOS 7674 HAS SOPS 7674 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6649.674
AT ITER 1584 NEW BEST:: SOT 34307 SOS 7659 HAS SOPS 7659 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6639.659
AT ITER 1591 NEW BEST:: SOT 34303 SOS 7651 HAS SOPS 7651 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6631.651
AT ITER 1594 NEW BEST:: SOT 34287 SOS 7580 HAS SOPS 7580 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6560.58
AT ITER 1599 NEW BEST:: SOT 34286 SOS 7579 HAS SOPS 7579 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6559.579
AT ITER 1615 NEW BEST:: SOT 34286 SOS 7579 HAS SOPS 7579 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6557.579
AT ITER 1617 NEW BEST:: SOT 34273 SOS 7564 HAS SOPS 7564 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6557.564
AT ITER 1626 NEW BEST:: SOT 34278 SOS 7574 HAS SOPS 7574 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6553.574
AT ITER 1689 NEW BEST:: SOT 34261 SOS 7540 HAS SOPS 7540 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6536.54
AT ITER 1732 NEW BEST:: SOT 34261 SOS 7525 HAS SOPS 7525 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6521.525
AT ITER 1779 NEW BEST:: SOT 34261 SOS 7531 HAS SOPS 7531 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6512.531
AT ITER 1794 NEW BEST:: SOT 34256 SOS 7521 HAS SOPS 7521 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6509.521
AT ITER 1823 NEW BEST:: SOT 34254 SOS 7517 HAS SOPS 7517 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6493.517
AT ITER 1847 NEW BEST:: SOT 34236 SOS 7499 HAS SOPS 7499 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6475.499
AT ITER 1854 NEW BEST:: SOT 34236 SOS 7498 HAS SOPS 7498 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6475.498
AT ITER 1935 NEW BEST:: SOT 34225 SOS 7476 HAS SOPS 7476 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6453.476
AT ITER 1940 NEW BEST:: SOT 34230 SOS 7449 HAS SOPS 7449 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6421.449
AT ITER 1949 NEW BEST:: SOT 34204 SOS 7408 HAS SOPS 7408 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6402.408
AT ITER 1953 NEW BEST:: SOT 34199 SOS 7431 HAS SOPS 7431 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6392.431
AT ITER 1955 NEW BEST:: SOT 34197 SOS 7429 HAS SOPS 7429 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6390.429
AT ITER 1956 NEW BEST:: SOT 34183 SOS 7420 HAS SOPS 7420 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6388.42
AT ITER 1960 NEW BEST:: SOT 34183 SOS 7419 HAS SOPS 7419 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6387.419
AT ITER 1961 NEW BEST:: SOT 34179 SOS 7419 HAS SOPS 7419 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6383.419
AT ITER 1963 NEW BEST:: SOT 34208 SOS 7415 HAS SOPS 7415 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6381.415
AT ITER 1987 NEW BEST:: SOT 34179 SOS 7330 HAS SOPS 7330 HAS SOUS 6337 HAS SOUPS 6337 WITH SCORE 6344.33
AT ITER 2009 NEW BEST:: SOT 34170 SOS 7312 HAS SOPS 7312 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6322.312
AT ITER 2050 NEW BEST:: SOT 34194 SOS 7336 HAS SOPS 7336 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6309.336
AT ITER 2085 NEW BEST:: SOT 34177 SOS 7302 HAS SOPS 7302 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6299.302
AT ITER 2113 NEW BEST:: SOT 34177 SOS 7302 HAS SOPS 7302 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6295.302
AT ITER 2129 NEW BEST:: SOT 34175 SOS 7294 HAS SOPS 7294 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6289.294
AT ITER 2151 NEW BEST:: SOT 34175 SOS 7294 HAS SOPS 7294 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6286.294
AT ITER 2174 NEW BEST:: SOT 34175 SOS 7295 HAS SOPS 7295 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6283.295
AT ITER 2185 NEW BEST:: SOT 34185 SOS 7292 HAS SOPS 7292 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6280.292
AT ITER 2186 NEW BEST:: SOT 34184 SOS 7292 HAS SOPS 7292 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6279.292
AT ITER 2204 NEW BEST:: SOT 34161 SOS 7228 HAS SOPS 7228 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6245.228
AT ITER 2211 NEW BEST:: SOT 34154 SOS 7221 HAS SOPS 7221 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6238.221
AT ITER 2218 NEW BEST:: SOT 34154 SOS 7213 HAS SOPS 7213 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6230.213
AT ITER 2224 NEW BEST:: SOT 34153 SOS 7199 HAS SOPS 7199 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6223.199
AT ITER 2230 NEW BEST:: SOT 34152 SOS 7196 HAS SOPS 7196 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6221.196
AT ITER 2239 NEW BEST:: SOT 34120 SOS 7137 HAS SOPS 7137 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6196.137
AT ITER 2288 NEW BEST:: SOT 34120 SOS 7126 HAS SOPS 7126 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6196.126
AT ITER 2311 NEW BEST:: SOT 34115 SOS 7123 HAS SOPS 7123 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6193.123
AT ITER 2325 NEW BEST:: SOT 34115 SOS 7123 HAS SOPS 7123 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6191.123
AT ITER 2376 NEW BEST:: SOT 34148 SOS 7155 HAS SOPS 7155 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6190.155
AT ITER 2407 NEW BEST:: SOT 34148 SOS 7154 HAS SOPS 7154 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6189.154
AT ITER 2409 NEW BEST:: SOT 34143 SOS 7134 HAS SOPS 7134 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6184.134
AT ITER 2415 NEW BEST:: SOT 34139 SOS 7126 HAS SOPS 7126 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6176.126
AT ITER 2424 NEW BEST:: SOT 34133 SOS 7114 HAS SOPS 7114 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6172.114
AT ITER 2461 NEW BEST:: SOT 34133 SOS 7113 HAS SOPS 7113 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6171.113
AT ITER 2469 NEW BEST:: SOT 34124 SOS 7103 HAS SOPS 7103 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6161.103
AT ITER 2493 NEW BEST:: SOT 34124 SOS 7092 HAS SOPS 7092 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6150.092
AT ITER 2494 NEW BEST:: SOT 34116 SOS 7058 HAS SOPS 7058 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6133.058
AT ITER 2500 NEW BEST:: SOT 34109 SOS 7061 HAS SOPS 7061 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6131.061
AT ITER 2518 NEW BEST:: SOT 34102 SOS 7047 HAS SOPS 7047 HAS SOUS 6111 HAS SOUPS 6111 WITH SCORE 6118.047
AT ITER 2541 NEW BEST:: SOT 34102 SOS 7044 HAS SOPS 7044 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6115.044
AT ITER 2552 NEW BEST:: SOT 34102 SOS 7012 HAS SOPS 7012 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6115.012
AT ITER 2568 NEW BEST:: SOT 34102 SOS 7012 HAS SOPS 7012 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6108.012
AT ITER 2610 NEW BEST:: SOT 34097 SOS 7007 HAS SOPS 7007 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.007
AT ITER 2622 NEW BEST:: SOT 34067 SOS 7012 HAS SOPS 7012 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6067.012
AT ITER 2651 NEW BEST:: SOT 34058 SOS 6994 HAS SOPS 6994 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6059.994
AT ITER 2657 NEW BEST:: SOT 34058 SOS 6984 HAS SOPS 6984 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6049.984
AT ITER 2663 NEW BEST:: SOT 34058 SOS 6994 HAS SOPS 6994 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6039.994
AT ITER 2667 NEW BEST:: SOT 34058 SOS 6994 HAS SOPS 6994 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6038.994
AT ITER 2671 NEW BEST:: SOT 34058 SOS 6994 HAS SOPS 6994 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6026.994
AT ITER 2687 NEW BEST:: SOT 34058 SOS 6993 HAS SOPS 6993 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6025.993
AT ITER 2763 NEW BEST:: SOT 34039 SOS 6962 HAS SOPS 6962 HAS SOUS 6011 HAS SOUPS 6011 WITH SCORE 6017.962
AT ITER 2779 NEW BEST:: SOT 34035 SOS 6954 HAS SOPS 6954 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6009.954
AT ITER 2809 NEW BEST:: SOT 34029 SOS 6936 HAS SOPS 6936 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6003.936
AT ITER 2823 NEW BEST:: SOT 34027 SOS 6934 HAS SOPS 6934 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6003.934
AT ITER 2826 NEW BEST:: SOT 34019 SOS 6858 HAS SOPS 6858 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5975.858
AT ITER 2832 NEW BEST:: SOT 34013 SOS 6852 HAS SOPS 6852 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5966.852
AT ITER 2851 NEW BEST:: SOT 34008 SOS 6837 HAS SOPS 6837 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5956.837
AT ITER 2872 NEW BEST:: SOT 33989 SOS 6781 HAS SOPS 6781 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5917.781
AT ITER 2923 NEW BEST:: SOT 33983 SOS 6769 HAS SOPS 6769 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5911.769
AT ITER 2945 NEW BEST:: SOT 33980 SOS 6763 HAS SOPS 6763 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5905.763
AT ITER 2965 NEW BEST:: SOT 33980 SOS 6763 HAS SOPS 6763 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5897.763
AT ITER 2972 NEW BEST:: SOT 33979 SOS 6742 HAS SOPS 6742 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5894.742
AT ITER 2996 NEW BEST:: SOT 33978 SOS 6742 HAS SOPS 6742 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5893.742
AT ITER 3008 NEW BEST:: SOT 33981 SOS 6745 HAS SOPS 6745 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5883.745
AT ITER 3022 NEW BEST:: SOT 33972 SOS 6727 HAS SOPS 6727 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5881.727
AT ITER 3029 NEW BEST:: SOT 33971 SOS 6727 HAS SOPS 6727 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5880.727
AT ITER 3037 NEW BEST:: SOT 33992 SOS 6656 HAS SOPS 6656 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5827.656
AT ITER 3050 NEW BEST:: SOT 33991 SOS 6655 HAS SOPS 6655 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5825.655
AT ITER 3067 NEW BEST:: SOT 33991 SOS 6654 HAS SOPS 6654 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5824.654
AT ITER 3080 NEW BEST:: SOT 33980 SOS 6653 HAS SOPS 6653 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5823.653
AT ITER 3111 NEW BEST:: SOT 33925 SOS 6650 HAS SOPS 6650 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5810.65
AT ITER 3160 NEW BEST:: SOT 33923 SOS 6644 HAS SOPS 6644 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5810.644
AT ITER 3166 NEW BEST:: SOT 33923 SOS 6642 HAS SOPS 6642 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5809.642
AT ITER 3179 NEW BEST:: SOT 33923 SOS 6630 HAS SOPS 6630 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5797.63
AT ITER 3196 NEW BEST:: SOT 33927 SOS 6634 HAS SOPS 6634 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5793.634
AT ITER 3227 NEW BEST:: SOT 33927 SOS 6632 HAS SOPS 6632 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5792.632
AT ITER 3285 NEW BEST:: SOT 33926 SOS 6649 HAS SOPS 6649 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5791.649
AT ITER 3358 NEW BEST:: SOT 33926 SOS 6648 HAS SOPS 6648 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.648
AT ITER 3371 NEW BEST:: SOT 33928 SOS 6642 HAS SOPS 6642 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5784.642
AT ITER 3412 NEW BEST:: SOT 33927 SOS 6640 HAS SOPS 6640 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.64
AT ITER 3431 NEW BEST:: SOT 33927 SOS 6627 HAS SOPS 6627 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.627
AT ITER 3468 NEW BEST:: SOT 33908 SOS 6604 HAS SOPS 6604 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5759.604
AT ITER 3469 NEW BEST:: SOT 33907 SOS 6600 HAS SOPS 6600 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.6
AT ITER 3500 NEW BEST:: SOT 33907 SOS 6598 HAS SOPS 6598 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.598
AT ITER 3563 NEW BEST:: SOT 33905 SOS 6588 HAS SOPS 6588 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5746.588
AT ITER 3626 NEW BEST:: SOT 33905 SOS 6585 HAS SOPS 6585 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5743.585
AT ITER 3635 NEW BEST:: SOT 33903 SOS 6593 HAS SOPS 6593 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.593
AT ITER 3668 NEW BEST:: SOT 33899 SOS 6585 HAS SOPS 6585 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.585
AT ITER 3675 NEW BEST:: SOT 33891 SOS 6569 HAS SOPS 6569 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5734.569
AT ITER 3759 NEW BEST:: SOT 33891 SOS 6563 HAS SOPS 6563 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5730.563
AT ITER 3798 NEW BEST:: SOT 33891 SOS 6561 HAS SOPS 6561 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5725.561
AT ITER 3847 NEW BEST:: SOT 33892 SOS 6533 HAS SOPS 6533 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5717.533
AT ITER 3894 NEW BEST:: SOT 33891 SOS 6517 HAS SOPS 6517 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5708.517
AT ITER 3903 NEW BEST:: SOT 33891 SOS 6493 HAS SOPS 6493 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5704.493
AT ITER 3913 NEW BEST:: SOT 33882 SOS 6457 HAS SOPS 6457 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5686.457
AT ITER 3926 NEW BEST:: SOT 33879 SOS 6448 HAS SOPS 6448 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.448
AT ITER 3953 NEW BEST:: SOT 33883 SOS 6451 HAS SOPS 6451 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5677.451
AT ITER 3982 NEW BEST:: SOT 33885 SOS 6484 HAS SOPS 6484 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5671.484
AT ITER 4001 NEW BEST:: SOT 33899 SOS 6482 HAS SOPS 6482 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5657.482
AT ITER 4056 NEW BEST:: SOT 33899 SOS 6479 HAS SOPS 6479 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5654.479
AT ITER 4057 NEW BEST:: SOT 33899 SOS 6478 HAS SOPS 6478 HAS SOUS 5647 HAS SOUPS 5647 WITH SCORE 5653.478
AT ITER 4065 NEW BEST:: SOT 33893 SOS 6472 HAS SOPS 6472 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5641.472
AT ITER 4089 NEW BEST:: SOT 33893 SOS 6471 HAS SOPS 6471 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5640.471
AT ITER 4091 NEW BEST:: SOT 33883 SOS 6451 HAS SOPS 6451 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.451
AT ITER 4094 NEW BEST:: SOT 33873 SOS 6416 HAS SOPS 6416 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5613.416
AT ITER 4105 NEW BEST:: SOT 33871 SOS 6410 HAS SOPS 6410 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5611.41
AT ITER 4165 NEW BEST:: SOT 33901 SOS 6370 HAS SOPS 6370 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5599.37
AT ITER 4178 NEW BEST:: SOT 33901 SOS 6365 HAS SOPS 6365 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5599.365
AT ITER 4203 NEW BEST:: SOT 33877 SOS 6346 HAS SOPS 6346 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.346
AT ITER 4227 NEW BEST:: SOT 33877 SOS 6335 HAS SOPS 6335 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5573.335
AT ITER 4267 NEW BEST:: SOT 33870 SOS 6328 HAS SOPS 6328 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5566.328
AT ITER 4288 NEW BEST:: SOT 33866 SOS 6320 HAS SOPS 6320 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5558.32
AT ITER 4298 NEW BEST:: SOT 33847 SOS 6303 HAS SOPS 6303 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5541.303
AT ITER 4385 NEW BEST:: SOT 33847 SOS 6296 HAS SOPS 6296 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5534.296
AT ITER 4386 NEW BEST:: SOT 33847 SOS 6291 HAS SOPS 6291 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5529.291
AT ITER 4398 NEW BEST:: SOT 33850 SOS 6271 HAS SOPS 6271 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5523.271
AT ITER 4475 NEW BEST:: SOT 33843 SOS 6229 HAS SOPS 6229 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.229
AT ITER 4512 NEW BEST:: SOT 33834 SOS 6211 HAS SOPS 6211 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.211
AT ITER 4574 NEW BEST:: SOT 33834 SOS 6208 HAS SOPS 6208 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.208
AT ITER 4593 NEW BEST:: SOT 33825 SOS 6173 HAS SOPS 6173 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.173
AT ITER 4625 NEW BEST:: SOT 33818 SOS 6159 HAS SOPS 6159 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5464.159
AT ITER 4666 NEW BEST:: SOT 33812 SOS 6153 HAS SOPS 6153 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.153
AT ITER 4668 NEW BEST:: SOT 33812 SOS 6152 HAS SOPS 6152 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5457.152
AT ITER 4751 NEW BEST:: SOT 33806 SOS 6146 HAS SOPS 6146 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5451.146
AT ITER 4759 NEW BEST:: SOT 33811 SOS 6125 HAS SOPS 6125 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5449.125
AT ITER 4769 NEW BEST:: SOT 33811 SOS 6124 HAS SOPS 6124 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5448.124
AT ITER 4783 NEW BEST:: SOT 33809 SOS 6126 HAS SOPS 6126 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5446.126
AT ITER 4832 NEW BEST:: SOT 33800 SOS 6099 HAS SOPS 6099 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5437.099
AT ITER 4846 NEW BEST:: SOT 33794 SOS 6090 HAS SOPS 6090 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5431.09
AT ITER 4861 NEW BEST:: SOT 33789 SOS 6085 HAS SOPS 6085 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5426.085
AT ITER 4926 NEW BEST:: SOT 33789 SOS 6077 HAS SOPS 6077 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5426.077
AT ITER 4961 NEW BEST:: SOT 33801 SOS 6079 HAS SOPS 6079 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5397.079
AT ITER 4968 NEW BEST:: SOT 33801 SOS 6070 HAS SOPS 6070 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5397.07
AT ITER 4975 NEW BEST:: SOT 33794 SOS 6002 HAS SOPS 6002 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5396.002
AT ITER 4983 NEW BEST:: SOT 33784 SOS 5986 HAS SOPS 5986 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5379.986
AT ITER 4995 NEW BEST:: SOT 33769 SOS 5956 HAS SOPS 5956 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5379.956
AT ITER 5036 NEW BEST:: SOT 33767 SOS 5953 HAS SOPS 5953 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5376.953
AT ITER 5089 NEW BEST:: SOT 33763 SOS 5945 HAS SOPS 5945 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5368.945
AT ITER 5115 NEW BEST:: SOT 33760 SOS 5925 HAS SOPS 5925 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5368.925
AT ITER 5227 NEW BEST:: SOT 33760 SOS 5921 HAS SOPS 5921 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5364.921
AT ITER 5275 NEW BEST:: SOT 33753 SOS 5907 HAS SOPS 5907 HAS SOUS 5345 HAS SOUPS 5345 WITH SCORE 5350.907
AT ITER 5352 NEW BEST:: SOT 33745 SOS 5875 HAS SOPS 5875 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5326.875
AT ITER 5359 NEW BEST:: SOT 33745 SOS 5861 HAS SOPS 5861 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5326.861
AT ITER 5395 NEW BEST:: SOT 33736 SOS 5851 HAS SOPS 5851 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5311.851
AT ITER 5400 NEW BEST:: SOT 33736 SOS 5844 HAS SOPS 5844 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5311.844
AT ITER 5404 NEW BEST:: SOT 33719 SOS 5842 HAS SOPS 5842 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5309.842
AT ITER 5418 NEW BEST:: SOT 33710 SOS 5819 HAS SOPS 5819 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5300.819
AT ITER 5494 NEW BEST:: SOT 33708 SOS 5815 HAS SOPS 5815 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5296.815
AT ITER 5558 NEW BEST:: SOT 33711 SOS 5836 HAS SOPS 5836 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5295.836
AT ITER 5610 NEW BEST:: SOT 33733 SOS 5853 HAS SOPS 5853 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5290.853
AT ITER 5623 NEW BEST:: SOT 33718 SOS 5823 HAS SOPS 5823 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5275.823
AT ITER 5640 NEW BEST:: SOT 33715 SOS 5817 HAS SOPS 5817 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5269.817
AT ITER 5666 NEW BEST:: SOT 33713 SOS 5813 HAS SOPS 5813 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5265.813
AT ITER 5725 NEW BEST:: SOT 33709 SOS 5816 HAS SOPS 5816 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5254.816
AT ITER 5726 NEW BEST:: SOT 33707 SOS 5814 HAS SOPS 5814 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5254.814
AT ITER 5809 NEW BEST:: SOT 33707 SOS 5812 HAS SOPS 5812 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5252.812
AT ITER 5819 NEW BEST:: SOT 33704 SOS 5801 HAS SOPS 5801 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5247.801
AT ITER 5826 NEW BEST:: SOT 33704 SOS 5799 HAS SOPS 5799 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5246.799
AT ITER 5854 NEW BEST:: SOT 33702 SOS 5791 HAS SOPS 5791 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5246.791
AT ITER 5908 NEW BEST:: SOT 33699 SOS 5785 HAS SOPS 5785 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5246.785
AT ITER 5913 NEW BEST:: SOT 33702 SOS 5786 HAS SOPS 5786 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5244.786
AT ITER 5914 NEW BEST:: SOT 33704 SOS 5780 HAS SOPS 5780 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5238.78
AT ITER 5949 NEW BEST:: SOT 33704 SOS 5774 HAS SOPS 5774 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5232.774
AT ITER 5954 NEW BEST:: SOT 33702 SOS 5773 HAS SOPS 5773 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.773
AT ITER 6022 NEW BEST:: SOT 33695 SOS 5759 HAS SOPS 5759 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5222.759
AT ITER 6075 NEW BEST:: SOT 33701 SOS 5762 HAS SOPS 5762 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5221.762
AT ITER 6092 NEW BEST:: SOT 33705 SOS 5727 HAS SOPS 5727 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5210.727
AT ITER 6141 NEW BEST:: SOT 33704 SOS 5725 HAS SOPS 5725 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5205.725
AT ITER 6156 NEW BEST:: SOT 33702 SOS 5721 HAS SOPS 5721 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5201.721
AT ITER 6161 NEW BEST:: SOT 33702 SOS 5721 HAS SOPS 5721 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5195.721
AT ITER 6198 NEW BEST:: SOT 33712 SOS 5731 HAS SOPS 5731 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5185.731
AT ITER 6200 NEW BEST:: SOT 33712 SOS 5706 HAS SOPS 5706 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5160.706
AT ITER 6203 NEW BEST:: SOT 33710 SOS 5702 HAS SOPS 5702 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5156.702
AT ITER 6239 NEW BEST:: SOT 33681 SOS 5691 HAS SOPS 5691 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5145.691
AT ITER 6297 NEW BEST:: SOT 33681 SOS 5691 HAS SOPS 5691 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5144.691
AT ITER 6305 NEW BEST:: SOT 33663 SOS 5655 HAS SOPS 5655 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5108.655
AT ITER 6347 NEW BEST:: SOT 33649 SOS 5641 HAS SOPS 5641 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5094.641
AT ITER 6352 NEW BEST:: SOT 33646 SOS 5601 HAS SOPS 5601 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5073.601
AT ITER 6382 NEW BEST:: SOT 33644 SOS 5594 HAS SOPS 5594 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5071.594
AT ITER 6393 NEW BEST:: SOT 33640 SOS 5586 HAS SOPS 5586 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5067.586
AT ITER 6447 NEW BEST:: SOT 33640 SOS 5585 HAS SOPS 5585 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5067.585
AT ITER 6475 NEW BEST:: SOT 33640 SOS 5581 HAS SOPS 5581 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5063.581
AT ITER 6480 NEW BEST:: SOT 33640 SOS 5580 HAS SOPS 5580 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5062.58
AT ITER 6515 NEW BEST:: SOT 33640 SOS 5563 HAS SOPS 5563 HAS SOUS 5040 HAS SOUPS 5040 WITH SCORE 5045.563
AT ITER 6538 NEW BEST:: SOT 33643 SOS 5549 HAS SOPS 5549 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5038.549
AT ITER 6546 NEW BEST:: SOT 33643 SOS 5544 HAS SOPS 5544 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5033.544
AT ITER 6594 NEW BEST:: SOT 33661 SOS 5562 HAS SOPS 5562 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5019.562
AT ITER 6607 NEW BEST:: SOT 33653 SOS 5554 HAS SOPS 5554 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5011.554
AT ITER 6636 NEW BEST:: SOT 33653 SOS 5553 HAS SOPS 5553 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5011.553
AT ITER 6686 NEW BEST:: SOT 33653 SOS 5551 HAS SOPS 5551 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5011.551
AT ITER 6699 NEW BEST:: SOT 33653 SOS 5544 HAS SOPS 5544 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5004.544
AT ITER 6705 NEW BEST:: SOT 33654 SOS 5539 HAS SOPS 5539 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 4999.539
AT ITER 6815 NEW BEST:: SOT 33646 SOS 5528 HAS SOPS 5528 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4995.528
AT ITER 6847 NEW BEST:: SOT 33646 SOS 5527 HAS SOPS 5527 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4995.527
AT ITER 6856 NEW BEST:: SOT 33645 SOS 5523 HAS SOPS 5523 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4993.523
AT ITER 6861 NEW BEST:: SOT 33638 SOS 5517 HAS SOPS 5517 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4987.517
AT ITER 6930 NEW BEST:: SOT 33638 SOS 5505 HAS SOPS 5505 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.505
AT ITER 6955 NEW BEST:: SOT 33631 SOS 5496 HAS SOPS 5496 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4975.496
AT ITER 7070 NEW BEST:: SOT 33625 SOS 5495 HAS SOPS 5495 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4967.495
AT ITER 7086 NEW BEST:: SOT 33625 SOS 5493 HAS SOPS 5493 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4965.493
AT ITER 7143 NEW BEST:: SOT 33625 SOS 5488 HAS SOPS 5488 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.488
AT ITER 7172 NEW BEST:: SOT 33620 SOS 5486 HAS SOPS 5486 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4953.486
AT ITER 7260 NEW BEST:: SOT 33620 SOS 5485 HAS SOPS 5485 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4952.485
AT ITER 7344 NEW BEST:: SOT 33621 SOS 5507 HAS SOPS 5507 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4941.507
AT ITER 7365 NEW BEST:: SOT 33621 SOS 5467 HAS SOPS 5467 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4913.467
AT ITER 7403 NEW BEST:: SOT 33623 SOS 5456 HAS SOPS 5456 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.456
AT ITER 7423 NEW BEST:: SOT 33604 SOS 5418 HAS SOPS 5418 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4900.418
AT ITER 7471 NEW BEST:: SOT 33592 SOS 5407 HAS SOPS 5407 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4889.407
AT ITER 7544 NEW BEST:: SOT 33592 SOS 5403 HAS SOPS 5403 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4887.403
AT ITER 7631 NEW BEST:: SOT 33594 SOS 5399 HAS SOPS 5399 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4887.399
AT ITER 7674 NEW BEST:: SOT 33594 SOS 5398 HAS SOPS 5398 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.398
AT ITER 7699 NEW BEST:: SOT 33585 SOS 5386 HAS SOPS 5386 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4880.386
AT ITER 7702 NEW BEST:: SOT 33583 SOS 5384 HAS SOPS 5384 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4878.384
AT ITER 7703 NEW BEST:: SOT 33582 SOS 5382 HAS SOPS 5382 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4869.382
AT ITER 7748 NEW BEST:: SOT 33570 SOS 5358 HAS SOPS 5358 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4845.358
AT ITER 7782 NEW BEST:: SOT 33572 SOS 5350 HAS SOPS 5350 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4835.35
AT ITER 7785 NEW BEST:: SOT 33571 SOS 5348 HAS SOPS 5348 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4834.348
AT ITER 7872 NEW BEST:: SOT 33572 SOS 5344 HAS SOPS 5344 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4830.344
AT ITER 7924 NEW BEST:: SOT 33566 SOS 5332 HAS SOPS 5332 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4824.332
AT ITER 7977 NEW BEST:: SOT 33566 SOS 5330 HAS SOPS 5330 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4822.33
AT ITER 8098 NEW BEST:: SOT 33566 SOS 5327 HAS SOPS 5327 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4819.327
AT ITER 8115 NEW BEST:: SOT 33555 SOS 5298 HAS SOPS 5298 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4801.298
AT ITER 8133 NEW BEST:: SOT 33555 SOS 5296 HAS SOPS 5296 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4799.296
AT ITER 8171 NEW BEST:: SOT 33538 SOS 5259 HAS SOPS 5259 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4785.259
AT ITER 8252 NEW BEST:: SOT 33537 SOS 5294 HAS SOPS 5294 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4784.294
AT ITER 8310 NEW BEST:: SOT 33537 SOS 5292 HAS SOPS 5292 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4784.292
AT ITER 8326 NEW BEST:: SOT 33537 SOS 5287 HAS SOPS 5287 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4784.287
AT ITER 8406 NEW BEST:: SOT 33534 SOS 5278 HAS SOPS 5278 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4780.278
AT ITER 8441 NEW BEST:: SOT 33533 SOS 5271 HAS SOPS 5271 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.271
AT ITER 8447 NEW BEST:: SOT 33533 SOS 5261 HAS SOPS 5261 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4768.261
AT ITER 8448 NEW BEST:: SOT 33526 SOS 5247 HAS SOPS 5247 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4754.247
AT ITER 8504 NEW BEST:: SOT 33526 SOS 5246 HAS SOPS 5246 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4753.246
AT ITER 8515 NEW BEST:: SOT 33524 SOS 5244 HAS SOPS 5244 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4751.244
AT ITER 8574 NEW BEST:: SOT 33510 SOS 5225 HAS SOPS 5225 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4743.225
AT ITER 8669 NEW BEST:: SOT 33490 SOS 5224 HAS SOPS 5224 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4734.224
AT ITER 8671 NEW BEST:: SOT 33479 SOS 5202 HAS SOPS 5202 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4734.202
AT ITER 8706 NEW BEST:: SOT 33483 SOS 5192 HAS SOPS 5192 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4733.192
AT ITER 8716 NEW BEST:: SOT 33468 SOS 5162 HAS SOPS 5162 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4709.162
AT ITER 8717 NEW BEST:: SOT 33468 SOS 5160 HAS SOPS 5160 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4708.16
AT ITER 8789 NEW BEST:: SOT 33454 SOS 5145 HAS SOPS 5145 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4693.145
AT ITER 8792 NEW BEST:: SOT 33453 SOS 5142 HAS SOPS 5142 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4690.142
AT ITER 8807 NEW BEST:: SOT 33453 SOS 5140 HAS SOPS 5140 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4689.14
AT ITER 8866 NEW BEST:: SOT 33452 SOS 5138 HAS SOPS 5138 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4687.138
AT ITER 8888 NEW BEST:: SOT 33444 SOS 5130 HAS SOPS 5130 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4676.13
AT ITER 9045 NEW BEST:: SOT 33443 SOS 5128 HAS SOPS 5128 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.128
AT ITER 9096 NEW BEST:: SOT 33450 SOS 5121 HAS SOPS 5121 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.121
AT ITER 9114 NEW BEST:: SOT 33450 SOS 5120 HAS SOPS 5120 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4668.12
AT ITER 9228 NEW BEST:: SOT 33455 SOS 5117 HAS SOPS 5117 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4666.117
AT ITER 9311 NEW BEST:: SOT 33456 SOS 5113 HAS SOPS 5113 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4662.113
AT ITER 9352 NEW BEST:: SOT 33456 SOS 5098 HAS SOPS 5098 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4662.098
AT ITER 9425 NEW BEST:: SOT 33456 SOS 5085 HAS SOPS 5085 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4649.085
AT ITER 9439 NEW BEST:: SOT 33452 SOS 5074 HAS SOPS 5074 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.074
AT ITER 9470 NEW BEST:: SOT 33456 SOS 5090 HAS SOPS 5090 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4643.09
AT ITER 9516 NEW BEST:: SOT 33456 SOS 5088 HAS SOPS 5088 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4642.088
AT ITER 9598 NEW BEST:: SOT 33456 SOS 5082 HAS SOPS 5082 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4639.082
AT ITER 9733 NEW BEST:: SOT 33456 SOS 5075 HAS SOPS 5075 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4639.075
AT ITER 9795 NEW BEST:: SOT 33454 SOS 5070 HAS SOPS 5070 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4638.07
AT ITER 9952 NEW BEST:: SOT 33454 SOS 5087 HAS SOPS 5087 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.087
AT ITER 9962 NEW BEST:: SOT 33449 SOS 5077 HAS SOPS 5077 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.077
AT ITER 9992 NEW BEST:: SOT 33447 SOS 5075 HAS SOPS 5075 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4629.075
AT ITER 9995 NEW BEST:: SOT 33442 SOS 5061 HAS SOPS 5061 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4621.061
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 7852108 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16125856 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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="ShieldRVt-PT-005B"
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 ShieldRVt-PT-005B, 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 r427-tajo-167905979400256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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