Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903711800416.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPs-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711800416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 5.6K Feb 26 01:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 01:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 01:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 01:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 01:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 01:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 124K Feb 26 01:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 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 69K 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 1679063992360

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-004B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 004B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 275 places, 255 transitions, 702 arcs.
AT ITER 0 NEW BEST:: SOT 39299 SOS 11352 HAS SOPS 11352 HAS SOUS 10131 HAS SOUPS 10131 WITH SCORE 10142.352
AT ITER 29 NEW BEST:: SOT 39294 SOS 11341 HAS SOPS 11341 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10133.341
AT ITER 46 NEW BEST:: SOT 39281 SOS 11302 HAS SOPS 11302 HAS SOUS 10083 HAS SOUPS 10083 WITH SCORE 10094.302
AT ITER 49 NEW BEST:: SOT 39302 SOS 11370 HAS SOPS 11370 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10091.37
AT ITER 66 NEW BEST:: SOT 39301 SOS 11368 HAS SOPS 11368 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10089.368
AT ITER 69 NEW BEST:: SOT 39266 SOS 11193 HAS SOPS 11193 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10019.193
AT ITER 135 NEW BEST:: SOT 39299 SOS 11186 HAS SOPS 11186 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10012.186
AT ITER 144 NEW BEST:: SOT 39286 SOS 11171 HAS SOPS 11171 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 9999.171
AT ITER 164 NEW BEST:: SOT 39284 SOS 11167 HAS SOPS 11167 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 9995.167
AT ITER 176 NEW BEST:: SOT 39284 SOS 11155 HAS SOPS 11155 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9991.155
AT ITER 177 NEW BEST:: SOT 39254 SOS 11129 HAS SOPS 11129 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9955.129
AT ITER 185 NEW BEST:: SOT 39254 SOS 11124 HAS SOPS 11124 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9950.124
AT ITER 188 NEW BEST:: SOT 39256 SOS 11111 HAS SOPS 11111 HAS SOUS 9926 HAS SOUPS 9926 WITH SCORE 9937.111
AT ITER 192 NEW BEST:: SOT 39243 SOS 11070 HAS SOPS 11070 HAS SOUS 9909 HAS SOUPS 9909 WITH SCORE 9920.07
AT ITER 218 NEW BEST:: SOT 39225 SOS 11070 HAS SOPS 11070 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9902.07
AT ITER 230 NEW BEST:: SOT 39225 SOS 11046 HAS SOPS 11046 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9896.046
AT ITER 238 NEW BEST:: SOT 39204 SOS 11037 HAS SOPS 11037 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9896.037
AT ITER 240 NEW BEST:: SOT 39202 SOS 11035 HAS SOPS 11035 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9896.035
AT ITER 241 NEW BEST:: SOT 39202 SOS 11032 HAS SOPS 11032 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9896.032
AT ITER 249 NEW BEST:: SOT 39201 SOS 11013 HAS SOPS 11013 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9877.013
AT ITER 271 NEW BEST:: SOT 39193 SOS 10988 HAS SOPS 10988 HAS SOUS 9841 HAS SOUPS 9841 WITH SCORE 9851.988
AT ITER 282 NEW BEST:: SOT 39168 SOS 10981 HAS SOPS 10981 HAS SOUS 9834 HAS SOUPS 9834 WITH SCORE 9844.981
AT ITER 283 NEW BEST:: SOT 39099 SOS 10938 HAS SOPS 10938 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9808.938
AT ITER 306 NEW BEST:: SOT 39085 SOS 10824 HAS SOPS 10824 HAS SOUS 9741 HAS SOUPS 9741 WITH SCORE 9751.824
AT ITER 314 NEW BEST:: SOT 39078 SOS 10803 HAS SOPS 10803 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9730.803
AT ITER 349 NEW BEST:: SOT 39073 SOS 10793 HAS SOPS 10793 HAS SOUS 9715 HAS SOUPS 9715 WITH SCORE 9725.793
AT ITER 355 NEW BEST:: SOT 39053 SOS 10714 HAS SOPS 10714 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9676.714
AT ITER 384 NEW BEST:: SOT 39053 SOS 10712 HAS SOPS 10712 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9675.712
AT ITER 389 NEW BEST:: SOT 39053 SOS 10708 HAS SOPS 10708 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9671.708
AT ITER 407 NEW BEST:: SOT 39066 SOS 10724 HAS SOPS 10724 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9656.724
AT ITER 412 NEW BEST:: SOT 39044 SOS 10723 HAS SOPS 10723 HAS SOUS 9607 HAS SOUPS 9607 WITH SCORE 9617.723
AT ITER 419 NEW BEST:: SOT 39022 SOS 10779 HAS SOPS 10779 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9595.779
AT ITER 439 NEW BEST:: SOT 39004 SOS 10775 HAS SOPS 10775 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9591.775
AT ITER 441 NEW BEST:: SOT 39004 SOS 10774 HAS SOPS 10774 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9590.774
AT ITER 457 NEW BEST:: SOT 39004 SOS 10752 HAS SOPS 10752 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9590.752
AT ITER 464 NEW BEST:: SOT 39016 SOS 10762 HAS SOPS 10762 HAS SOUS 9578 HAS SOUPS 9578 WITH SCORE 9588.762
AT ITER 485 NEW BEST:: SOT 38986 SOS 10758 HAS SOPS 10758 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9584.758
AT ITER 517 NEW BEST:: SOT 38979 SOS 10751 HAS SOPS 10751 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9584.751
AT ITER 519 NEW BEST:: SOT 38996 SOS 10698 HAS SOPS 10698 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9572.698
AT ITER 521 NEW BEST:: SOT 38996 SOS 10688 HAS SOPS 10688 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9562.688
AT ITER 527 NEW BEST:: SOT 38985 SOS 10669 HAS SOPS 10669 HAS SOUS 9533 HAS SOUPS 9533 WITH SCORE 9543.669
AT ITER 533 NEW BEST:: SOT 38949 SOS 10615 HAS SOPS 10615 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9507.615
AT ITER 548 NEW BEST:: SOT 38949 SOS 10536 HAS SOPS 10536 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9500.536
AT ITER 558 NEW BEST:: SOT 38940 SOS 10518 HAS SOPS 10518 HAS SOUS 9472 HAS SOUPS 9472 WITH SCORE 9482.518
AT ITER 593 NEW BEST:: SOT 38876 SOS 10459 HAS SOPS 10459 HAS SOUS 9413 HAS SOUPS 9413 WITH SCORE 9423.459
AT ITER 599 NEW BEST:: SOT 38913 SOS 10516 HAS SOPS 10516 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9408.516
AT ITER 602 NEW BEST:: SOT 38907 SOS 10511 HAS SOPS 10511 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9403.511
AT ITER 611 NEW BEST:: SOT 38909 SOS 10507 HAS SOPS 10507 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9401.507
AT ITER 613 NEW BEST:: SOT 38948 SOS 10597 HAS SOPS 10597 HAS SOUS 9390 HAS SOUPS 9390 WITH SCORE 9400.597
AT ITER 616 NEW BEST:: SOT 38933 SOS 10582 HAS SOPS 10582 HAS SOUS 9375 HAS SOUPS 9375 WITH SCORE 9385.582
AT ITER 653 NEW BEST:: SOT 38912 SOS 10569 HAS SOPS 10569 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9366.569
AT ITER 654 NEW BEST:: SOT 38894 SOS 10545 HAS SOPS 10545 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9342.545
AT ITER 694 NEW BEST:: SOT 38872 SOS 10519 HAS SOPS 10519 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9320.519
AT ITER 733 NEW BEST:: SOT 38846 SOS 10519 HAS SOPS 10519 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9294.519
AT ITER 746 NEW BEST:: SOT 38815 SOS 10485 HAS SOPS 10485 HAS SOUS 9191 HAS SOUPS 9191 WITH SCORE 9201.485
AT ITER 768 NEW BEST:: SOT 38816 SOS 10460 HAS SOPS 10460 HAS SOUS 9166 HAS SOUPS 9166 WITH SCORE 9176.46
AT ITER 793 NEW BEST:: SOT 38809 SOS 10439 HAS SOPS 10439 HAS SOUS 9159 HAS SOUPS 9159 WITH SCORE 9169.439
AT ITER 796 NEW BEST:: SOT 38776 SOS 10353 HAS SOPS 10353 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9136.353
AT ITER 798 NEW BEST:: SOT 38776 SOS 10340 HAS SOPS 10340 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9123.34
AT ITER 809 NEW BEST:: SOT 38776 SOS 10336 HAS SOPS 10336 HAS SOUS 9111 HAS SOUPS 9111 WITH SCORE 9121.336
AT ITER 820 NEW BEST:: SOT 38741 SOS 10300 HAS SOPS 10300 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9072.3
AT ITER 824 NEW BEST:: SOT 38741 SOS 10299 HAS SOPS 10299 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9072.299
AT ITER 963 NEW BEST:: SOT 38741 SOS 10242 HAS SOPS 10242 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9072.242
AT ITER 993 NEW BEST:: SOT 38738 SOS 10239 HAS SOPS 10239 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9069.239
AT ITER 1008 NEW BEST:: SOT 38688 SOS 10241 HAS SOPS 10241 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 8998.241
AT ITER 1038 NEW BEST:: SOT 38688 SOS 10238 HAS SOPS 10238 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 8997.238
AT ITER 1044 NEW BEST:: SOT 38683 SOS 10233 HAS SOPS 10233 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8992.233
AT ITER 1063 NEW BEST:: SOT 38681 SOS 10231 HAS SOPS 10231 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8990.231
AT ITER 1103 NEW BEST:: SOT 38693 SOS 10234 HAS SOPS 10234 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8984.234
AT ITER 1108 NEW BEST:: SOT 38693 SOS 10209 HAS SOPS 10209 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8975.209
AT ITER 1149 NEW BEST:: SOT 38689 SOS 10205 HAS SOPS 10205 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8971.205
AT ITER 1154 NEW BEST:: SOT 38702 SOS 10200 HAS SOPS 10200 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8969.2
AT ITER 1184 NEW BEST:: SOT 38702 SOS 10200 HAS SOPS 10200 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8968.2
AT ITER 1194 NEW BEST:: SOT 38702 SOS 10199 HAS SOPS 10199 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 8967.199
AT ITER 1215 NEW BEST:: SOT 38702 SOS 10184 HAS SOPS 10184 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8952.184
AT ITER 1234 NEW BEST:: SOT 38687 SOS 10161 HAS SOPS 10161 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8908.161
AT ITER 1262 NEW BEST:: SOT 38666 SOS 10173 HAS SOPS 10173 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8879.173
AT ITER 1281 NEW BEST:: SOT 38673 SOS 10164 HAS SOPS 10164 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8870.164
AT ITER 1298 NEW BEST:: SOT 38676 SOS 10205 HAS SOPS 10205 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8848.205
AT ITER 1304 NEW BEST:: SOT 38676 SOS 10198 HAS SOPS 10198 HAS SOUS 8831 HAS SOUPS 8831 WITH SCORE 8841.198
AT ITER 1327 NEW BEST:: SOT 38662 SOS 10184 HAS SOPS 10184 HAS SOUS 8831 HAS SOUPS 8831 WITH SCORE 8841.184
AT ITER 1328 NEW BEST:: SOT 38650 SOS 10172 HAS SOPS 10172 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8829.172
AT ITER 1331 NEW BEST:: SOT 38640 SOS 10152 HAS SOPS 10152 HAS SOUS 8799 HAS SOUPS 8799 WITH SCORE 8809.152
AT ITER 1371 NEW BEST:: SOT 38613 SOS 10066 HAS SOPS 10066 HAS SOUS 8769 HAS SOUPS 8769 WITH SCORE 8779.066
AT ITER 1382 NEW BEST:: SOT 38604 SOS 10035 HAS SOPS 10035 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8751.035
AT ITER 1402 NEW BEST:: SOT 38604 SOS 10021 HAS SOPS 10021 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8737.021
AT ITER 1432 NEW BEST:: SOT 38626 SOS 9872 HAS SOPS 9872 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8736.872
AT ITER 1492 NEW BEST:: SOT 38632 SOS 9884 HAS SOPS 9884 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8731.884
AT ITER 1499 NEW BEST:: SOT 38611 SOS 9872 HAS SOPS 9872 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8710.872
AT ITER 1502 NEW BEST:: SOT 38572 SOS 9869 HAS SOPS 9869 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8690.869
AT ITER 1512 NEW BEST:: SOT 38572 SOS 9854 HAS SOPS 9854 HAS SOUS 8666 HAS SOUPS 8666 WITH SCORE 8675.854
AT ITER 1513 NEW BEST:: SOT 38571 SOS 9853 HAS SOPS 9853 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8674.853
AT ITER 1547 NEW BEST:: SOT 38573 SOS 9853 HAS SOPS 9853 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8672.853
AT ITER 1579 NEW BEST:: SOT 38573 SOS 9826 HAS SOPS 9826 HAS SOUS 8636 HAS SOUPS 8636 WITH SCORE 8645.826
AT ITER 1608 NEW BEST:: SOT 38518 SOS 9645 HAS SOPS 9645 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8556.645
AT ITER 1615 NEW BEST:: SOT 38518 SOS 9642 HAS SOPS 9642 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8549.642
AT ITER 1624 NEW BEST:: SOT 38522 SOS 9650 HAS SOPS 9650 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8531.65
AT ITER 1692 NEW BEST:: SOT 38530 SOS 9653 HAS SOPS 9653 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8520.653
AT ITER 1759 NEW BEST:: SOT 38548 SOS 9652 HAS SOPS 9652 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8519.652
AT ITER 1771 NEW BEST:: SOT 38533 SOS 9640 HAS SOPS 9640 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8505.64
AT ITER 1817 NEW BEST:: SOT 38545 SOS 9642 HAS SOPS 9642 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8487.642
AT ITER 1832 NEW BEST:: SOT 38563 SOS 9639 HAS SOPS 9639 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8484.639
AT ITER 1852 NEW BEST:: SOT 38526 SOS 9618 HAS SOPS 9618 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8456.618
AT ITER 1857 NEW BEST:: SOT 38520 SOS 9604 HAS SOPS 9604 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8442.604
AT ITER 1860 NEW BEST:: SOT 38520 SOS 9594 HAS SOPS 9594 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8442.594
AT ITER 1917 NEW BEST:: SOT 38514 SOS 9596 HAS SOPS 9596 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8440.596
AT ITER 1932 NEW BEST:: SOT 38507 SOS 9590 HAS SOPS 9590 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8436.59
AT ITER 1933 NEW BEST:: SOT 38503 SOS 9625 HAS SOPS 9625 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8409.625
AT ITER 1955 NEW BEST:: SOT 38474 SOS 9633 HAS SOPS 9633 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8405.633
AT ITER 1968 NEW BEST:: SOT 38467 SOS 9626 HAS SOPS 9626 HAS SOUS 8389 HAS SOUPS 8389 WITH SCORE 8398.626
AT ITER 1991 NEW BEST:: SOT 38461 SOS 9628 HAS SOPS 9628 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8392.628
AT ITER 1998 NEW BEST:: SOT 38468 SOS 9596 HAS SOPS 9596 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8383.596
AT ITER 2046 NEW BEST:: SOT 38444 SOS 9600 HAS SOPS 9600 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8359.6
AT ITER 2082 NEW BEST:: SOT 38443 SOS 9603 HAS SOPS 9603 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8357.603
AT ITER 2127 NEW BEST:: SOT 38438 SOS 9594 HAS SOPS 9594 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8352.594
AT ITER 2161 NEW BEST:: SOT 38433 SOS 9589 HAS SOPS 9589 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8347.589
AT ITER 2180 NEW BEST:: SOT 38434 SOS 9596 HAS SOPS 9596 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8346.596
AT ITER 2199 NEW BEST:: SOT 38434 SOS 9591 HAS SOPS 9591 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8346.591
AT ITER 2200 NEW BEST:: SOT 38400 SOS 9574 HAS SOPS 9574 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8329.574
AT ITER 2253 NEW BEST:: SOT 38400 SOS 9570 HAS SOPS 9570 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8329.57
AT ITER 2267 NEW BEST:: SOT 38400 SOS 9546 HAS SOPS 9546 HAS SOUS 8296 HAS SOUPS 8296 WITH SCORE 8305.546
AT ITER 2290 NEW BEST:: SOT 38400 SOS 9546 HAS SOPS 9546 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8304.546
AT ITER 2297 NEW BEST:: SOT 38400 SOS 9544 HAS SOPS 9544 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8302.544
AT ITER 2323 NEW BEST:: SOT 38399 SOS 9545 HAS SOPS 9545 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8301.545
AT ITER 2334 NEW BEST:: SOT 38399 SOS 9544 HAS SOPS 9544 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8300.544
AT ITER 2387 NEW BEST:: SOT 38391 SOS 9502 HAS SOPS 9502 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8294.502
AT ITER 2393 NEW BEST:: SOT 38395 SOS 9498 HAS SOPS 9498 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8294.498
AT ITER 2400 NEW BEST:: SOT 38385 SOS 9478 HAS SOPS 9478 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8284.478
AT ITER 2470 NEW BEST:: SOT 38366 SOS 9464 HAS SOPS 9464 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8270.464
AT ITER 2519 NEW BEST:: SOT 38363 SOS 9456 HAS SOPS 9456 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8262.456
AT ITER 2529 NEW BEST:: SOT 38358 SOS 9453 HAS SOPS 9453 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8257.453
AT ITER 2540 NEW BEST:: SOT 38358 SOS 9444 HAS SOPS 9444 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8256.444
AT ITER 2585 NEW BEST:: SOT 38348 SOS 9427 HAS SOPS 9427 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8243.427
AT ITER 2634 NEW BEST:: SOT 38348 SOS 9393 HAS SOPS 9393 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8222.393
AT ITER 2648 NEW BEST:: SOT 38348 SOS 9394 HAS SOPS 9394 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8221.394
AT ITER 2654 NEW BEST:: SOT 38347 SOS 9423 HAS SOPS 9423 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8220.423
AT ITER 2675 NEW BEST:: SOT 38342 SOS 9279 HAS SOPS 9279 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8183.279
AT ITER 2796 NEW BEST:: SOT 38353 SOS 9288 HAS SOPS 9288 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8179.288
AT ITER 2823 NEW BEST:: SOT 38348 SOS 9269 HAS SOPS 9269 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8161.269
AT ITER 2824 NEW BEST:: SOT 38358 SOS 9220 HAS SOPS 9220 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8143.22
AT ITER 2846 NEW BEST:: SOT 38358 SOS 9213 HAS SOPS 9213 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8136.213
AT ITER 2865 NEW BEST:: SOT 38389 SOS 9210 HAS SOPS 9210 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8133.21
AT ITER 2890 NEW BEST:: SOT 38385 SOS 9197 HAS SOPS 9197 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8125.197
AT ITER 2899 NEW BEST:: SOT 38355 SOS 9184 HAS SOPS 9184 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8112.184
AT ITER 2950 NEW BEST:: SOT 38349 SOS 9179 HAS SOPS 9179 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8100.179
AT ITER 3007 NEW BEST:: SOT 38349 SOS 9179 HAS SOPS 9179 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8099.179
AT ITER 3059 NEW BEST:: SOT 38333 SOS 9163 HAS SOPS 9163 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8099.163
AT ITER 3083 NEW BEST:: SOT 38323 SOS 9138 HAS SOPS 9138 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8074.138
AT ITER 3096 NEW BEST:: SOT 38344 SOS 9129 HAS SOPS 9129 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8065.129
AT ITER 3144 NEW BEST:: SOT 38314 SOS 9080 HAS SOPS 9080 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8035.08
AT ITER 3173 NEW BEST:: SOT 38310 SOS 9068 HAS SOPS 9068 HAS SOUS 8018 HAS SOUPS 8018 WITH SCORE 8027.068
AT ITER 3185 NEW BEST:: SOT 38310 SOS 9068 HAS SOPS 9068 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8021.068
AT ITER 3220 NEW BEST:: SOT 38306 SOS 9066 HAS SOPS 9066 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8019.066
AT ITER 3322 NEW BEST:: SOT 38286 SOS 9063 HAS SOPS 9063 HAS SOUS 7970 HAS SOUPS 7970 WITH SCORE 7979.063
AT ITER 3323 NEW BEST:: SOT 38272 SOS 9049 HAS SOPS 9049 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7965.049
AT ITER 3324 NEW BEST:: SOT 38270 SOS 9045 HAS SOPS 9045 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7961.045
AT ITER 3351 NEW BEST:: SOT 38269 SOS 9044 HAS SOPS 9044 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7960.044
AT ITER 3410 NEW BEST:: SOT 38270 SOS 9045 HAS SOPS 9045 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7959.045
AT ITER 3426 NEW BEST:: SOT 38269 SOS 9043 HAS SOPS 9043 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7957.043
AT ITER 3436 NEW BEST:: SOT 38273 SOS 9064 HAS SOPS 9064 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7951.064
AT ITER 3437 NEW BEST:: SOT 38257 SOS 9053 HAS SOPS 9053 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7940.053
AT ITER 3441 NEW BEST:: SOT 38242 SOS 9047 HAS SOPS 9047 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7934.047
AT ITER 3505 NEW BEST:: SOT 38241 SOS 9046 HAS SOPS 9046 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7933.046
AT ITER 3553 NEW BEST:: SOT 38237 SOS 9034 HAS SOPS 9034 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7925.034
AT ITER 3585 NEW BEST:: SOT 38236 SOS 9006 HAS SOPS 9006 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7914.006
AT ITER 3602 NEW BEST:: SOT 38224 SOS 8980 HAS SOPS 8980 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7901.98
AT ITER 3650 NEW BEST:: SOT 38224 SOS 8979 HAS SOPS 8979 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7900.979
AT ITER 3721 NEW BEST:: SOT 38242 SOS 8972 HAS SOPS 8972 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7893.972
AT ITER 3722 NEW BEST:: SOT 38234 SOS 8965 HAS SOPS 8965 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7886.965
AT ITER 3739 NEW BEST:: SOT 38233 SOS 8969 HAS SOPS 8969 HAS SOUS 7870 HAS SOUPS 7870 WITH SCORE 7878.969
AT ITER 3760 NEW BEST:: SOT 38210 SOS 8930 HAS SOPS 8930 HAS SOUS 7831 HAS SOUPS 7831 WITH SCORE 7839.93
AT ITER 3765 NEW BEST:: SOT 38207 SOS 8909 HAS SOPS 8909 HAS SOUS 7828 HAS SOUPS 7828 WITH SCORE 7836.909
AT ITER 3794 NEW BEST:: SOT 38207 SOS 8893 HAS SOPS 8893 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7820.893
AT ITER 3802 NEW BEST:: SOT 38196 SOS 8873 HAS SOPS 8873 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7807.873
AT ITER 3803 NEW BEST:: SOT 38208 SOS 8880 HAS SOPS 8880 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7806.88
AT ITER 3820 NEW BEST:: SOT 38217 SOS 8843 HAS SOPS 8843 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7788.843
AT ITER 3838 NEW BEST:: SOT 38209 SOS 8805 HAS SOPS 8805 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7786.805
AT ITER 3842 NEW BEST:: SOT 38208 SOS 8803 HAS SOPS 8803 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7785.803
AT ITER 3844 NEW BEST:: SOT 38204 SOS 8761 HAS SOPS 8761 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7764.761
AT ITER 3914 NEW BEST:: SOT 38204 SOS 8751 HAS SOPS 8751 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7754.751
AT ITER 3923 NEW BEST:: SOT 38200 SOS 8747 HAS SOPS 8747 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7750.747
AT ITER 3938 NEW BEST:: SOT 38199 SOS 8745 HAS SOPS 8745 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7748.745
AT ITER 3976 NEW BEST:: SOT 38196 SOS 8742 HAS SOPS 8742 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7748.742
AT ITER 4030 NEW BEST:: SOT 38191 SOS 8732 HAS SOPS 8732 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7735.732
AT ITER 4074 NEW BEST:: SOT 38180 SOS 8737 HAS SOPS 8737 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7724.737
AT ITER 4076 NEW BEST:: SOT 38170 SOS 8728 HAS SOPS 8728 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7714.728
AT ITER 4090 NEW BEST:: SOT 38172 SOS 8710 HAS SOPS 8710 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7696.71
AT ITER 4166 NEW BEST:: SOT 38165 SOS 8696 HAS SOPS 8696 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7689.696
AT ITER 4210 NEW BEST:: SOT 38165 SOS 8673 HAS SOPS 8673 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7666.673
AT ITER 4216 NEW BEST:: SOT 38151 SOS 8661 HAS SOPS 8661 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7642.661
AT ITER 4228 NEW BEST:: SOT 38151 SOS 8646 HAS SOPS 8646 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7642.646
AT ITER 4233 NEW BEST:: SOT 38151 SOS 8644 HAS SOPS 8644 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.644
AT ITER 4239 NEW BEST:: SOT 38133 SOS 8627 HAS SOPS 8627 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7610.627
AT ITER 4254 NEW BEST:: SOT 38131 SOS 8624 HAS SOPS 8624 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7607.624
AT ITER 4317 NEW BEST:: SOT 38143 SOS 8680 HAS SOPS 8680 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7605.68
AT ITER 4332 NEW BEST:: SOT 38145 SOS 8656 HAS SOPS 8656 HAS SOUS 7590 HAS SOUPS 7590 WITH SCORE 7598.656
AT ITER 4346 NEW BEST:: SOT 38143 SOS 8655 HAS SOPS 8655 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7594.655
AT ITER 4360 NEW BEST:: SOT 38120 SOS 8632 HAS SOPS 8632 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7594.632
AT ITER 4374 NEW BEST:: SOT 38120 SOS 8626 HAS SOPS 8626 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7594.626
AT ITER 4383 NEW BEST:: SOT 38114 SOS 8620 HAS SOPS 8620 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7588.62
AT ITER 4430 NEW BEST:: SOT 38114 SOS 8621 HAS SOPS 8621 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7581.621
AT ITER 4516 NEW BEST:: SOT 38108 SOS 8609 HAS SOPS 8609 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7569.609
AT ITER 4547 NEW BEST:: SOT 38104 SOS 8598 HAS SOPS 8598 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7565.598
AT ITER 4554 NEW BEST:: SOT 38093 SOS 8590 HAS SOPS 8590 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7565.59
AT ITER 4559 NEW BEST:: SOT 38092 SOS 8560 HAS SOPS 8560 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7536.56
AT ITER 4636 NEW BEST:: SOT 38092 SOS 8568 HAS SOPS 8568 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7532.568
AT ITER 4698 NEW BEST:: SOT 38092 SOS 8558 HAS SOPS 8558 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7530.558
AT ITER 4701 NEW BEST:: SOT 38085 SOS 8554 HAS SOPS 8554 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7526.554
AT ITER 4727 NEW BEST:: SOT 38057 SOS 8526 HAS SOPS 8526 HAS SOUS 7514 HAS SOUPS 7514 WITH SCORE 7522.526
AT ITER 4737 NEW BEST:: SOT 38053 SOS 8524 HAS SOPS 8524 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7520.524
AT ITER 4757 NEW BEST:: SOT 38048 SOS 8514 HAS SOPS 8514 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7515.514
AT ITER 4763 NEW BEST:: SOT 38042 SOS 8508 HAS SOPS 8508 HAS SOUS 7501 HAS SOUPS 7501 WITH SCORE 7509.508
AT ITER 4774 NEW BEST:: SOT 38042 SOS 8506 HAS SOPS 8506 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7505.506
AT ITER 4801 NEW BEST:: SOT 38036 SOS 8506 HAS SOPS 8506 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7502.506
AT ITER 4813 NEW BEST:: SOT 38036 SOS 8505 HAS SOPS 8505 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7501.505
AT ITER 4817 NEW BEST:: SOT 38036 SOS 8488 HAS SOPS 8488 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7484.488
AT ITER 4894 NEW BEST:: SOT 38036 SOS 8487 HAS SOPS 8487 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7484.487
AT ITER 4903 NEW BEST:: SOT 38052 SOS 8476 HAS SOPS 8476 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7473.476
AT ITER 4913 NEW BEST:: SOT 38030 SOS 8406 HAS SOPS 8406 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7451.406
AT ITER 4922 NEW BEST:: SOT 38023 SOS 8403 HAS SOPS 8403 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7446.403
AT ITER 4968 NEW BEST:: SOT 38022 SOS 8402 HAS SOPS 8402 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7446.402
AT ITER 4980 NEW BEST:: SOT 38022 SOS 8393 HAS SOPS 8393 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7437.393
AT ITER 5003 NEW BEST:: SOT 38021 SOS 8393 HAS SOPS 8393 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7436.393
AT ITER 5016 NEW BEST:: SOT 38013 SOS 8392 HAS SOPS 8392 HAS SOUS 7427 HAS SOUPS 7427 WITH SCORE 7435.392
AT ITER 5034 NEW BEST:: SOT 37996 SOS 8375 HAS SOPS 8375 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7418.375
AT ITER 5052 NEW BEST:: SOT 37996 SOS 8374 HAS SOPS 8374 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.374
AT ITER 5157 NEW BEST:: SOT 37994 SOS 8372 HAS SOPS 8372 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.372
AT ITER 5171 NEW BEST:: SOT 37984 SOS 8362 HAS SOPS 8362 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.362
AT ITER 5216 NEW BEST:: SOT 37984 SOS 8361 HAS SOPS 8361 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7415.361
AT ITER 5225 NEW BEST:: SOT 37982 SOS 8359 HAS SOPS 8359 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7413.359
AT ITER 5229 NEW BEST:: SOT 37982 SOS 8354 HAS SOPS 8354 HAS SOUS 7400 HAS SOUPS 7400 WITH SCORE 7408.354
AT ITER 5254 NEW BEST:: SOT 37982 SOS 8362 HAS SOPS 8362 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7402.362
AT ITER 5290 NEW BEST:: SOT 37993 SOS 8371 HAS SOPS 8371 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7400.371
AT ITER 5305 NEW BEST:: SOT 37987 SOS 8365 HAS SOPS 8365 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7394.365
AT ITER 5414 NEW BEST:: SOT 37987 SOS 8363 HAS SOPS 8363 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7394.363
AT ITER 5483 NEW BEST:: SOT 37987 SOS 8342 HAS SOPS 8342 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7394.342
AT ITER 5518 NEW BEST:: SOT 37987 SOS 8349 HAS SOPS 8349 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7385.349
AT ITER 5595 NEW BEST:: SOT 37985 SOS 8348 HAS SOPS 8348 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7384.348
AT ITER 5651 NEW BEST:: SOT 37985 SOS 8336 HAS SOPS 8336 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7372.336
AT ITER 5670 NEW BEST:: SOT 37982 SOS 8334 HAS SOPS 8334 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7370.334
AT ITER 5748 NEW BEST:: SOT 37979 SOS 8331 HAS SOPS 8331 HAS SOUS 7356 HAS SOUPS 7356 WITH SCORE 7364.331
AT ITER 5787 NEW BEST:: SOT 37982 SOS 8326 HAS SOPS 8326 HAS SOUS 7355 HAS SOUPS 7355 WITH SCORE 7363.326
AT ITER 5788 NEW BEST:: SOT 37956 SOS 8321 HAS SOPS 8321 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7358.321
AT ITER 5899 NEW BEST:: SOT 37952 SOS 8314 HAS SOPS 8314 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7356.314
AT ITER 5904 NEW BEST:: SOT 37952 SOS 8339 HAS SOPS 8339 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7327.339
AT ITER 5907 NEW BEST:: SOT 37972 SOS 8360 HAS SOPS 8360 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7324.36
AT ITER 5949 NEW BEST:: SOT 37972 SOS 8360 HAS SOPS 8360 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7321.36
AT ITER 5963 NEW BEST:: SOT 37975 SOS 8386 HAS SOPS 8386 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7319.386
AT ITER 6007 NEW BEST:: SOT 37973 SOS 8376 HAS SOPS 8376 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7309.376
AT ITER 6025 NEW BEST:: SOT 37970 SOS 8378 HAS SOPS 8378 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7288.378
AT ITER 6145 NEW BEST:: SOT 37973 SOS 8379 HAS SOPS 8379 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7286.379
AT ITER 6310 NEW BEST:: SOT 37971 SOS 8392 HAS SOPS 8392 HAS SOUS 7276 HAS SOUPS 7276 WITH SCORE 7284.392
AT ITER 6311 NEW BEST:: SOT 37971 SOS 8391 HAS SOPS 8391 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7283.391
AT ITER 6338 NEW BEST:: SOT 37971 SOS 8403 HAS SOPS 8403 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7280.403
AT ITER 6369 NEW BEST:: SOT 37961 SOS 8392 HAS SOPS 8392 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7279.392
AT ITER 6395 NEW BEST:: SOT 37959 SOS 8391 HAS SOPS 8391 HAS SOUS 7270 HAS SOUPS 7270 WITH SCORE 7278.391
AT ITER 6471 NEW BEST:: SOT 37951 SOS 8393 HAS SOPS 8393 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7267.393
AT ITER 6492 NEW BEST:: SOT 37953 SOS 8395 HAS SOPS 8395 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7265.395
AT ITER 6500 NEW BEST:: SOT 37951 SOS 8389 HAS SOPS 8389 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7261.389
AT ITER 6517 NEW BEST:: SOT 37949 SOS 8383 HAS SOPS 8383 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7259.383
AT ITER 6538 NEW BEST:: SOT 37928 SOS 8362 HAS SOPS 8362 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7243.362
AT ITER 6541 NEW BEST:: SOT 37932 SOS 8352 HAS SOPS 8352 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7240.352
AT ITER 6572 NEW BEST:: SOT 37942 SOS 8346 HAS SOPS 8346 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7239.346
AT ITER 6640 NEW BEST:: SOT 37942 SOS 8343 HAS SOPS 8343 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7239.343
AT ITER 6688 NEW BEST:: SOT 37934 SOS 8335 HAS SOPS 8335 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7239.335
AT ITER 6785 NEW BEST:: SOT 37960 SOS 8288 HAS SOPS 8288 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7225.288
AT ITER 6786 NEW BEST:: SOT 37960 SOS 8276 HAS SOPS 8276 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7222.276
AT ITER 6789 NEW BEST:: SOT 37965 SOS 8268 HAS SOPS 8268 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7220.268
AT ITER 6800 NEW BEST:: SOT 37965 SOS 8263 HAS SOPS 8263 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7220.263
AT ITER 6853 NEW BEST:: SOT 37965 SOS 8262 HAS SOPS 8262 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7219.262
AT ITER 6898 NEW BEST:: SOT 37954 SOS 8257 HAS SOPS 8257 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7214.257
AT ITER 6913 NEW BEST:: SOT 37955 SOS 8247 HAS SOPS 8247 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7204.247
AT ITER 6921 NEW BEST:: SOT 37951 SOS 8245 HAS SOPS 8245 HAS SOUS 7195 HAS SOUPS 7195 WITH SCORE 7203.245
AT ITER 6924 NEW BEST:: SOT 37952 SOS 8246 HAS SOPS 8246 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7202.246
AT ITER 6974 NEW BEST:: SOT 37931 SOS 8162 HAS SOPS 8162 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7181.162
AT ITER 7048 NEW BEST:: SOT 37957 SOS 8136 HAS SOPS 8136 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7181.136
AT ITER 7120 NEW BEST:: SOT 37941 SOS 8149 HAS SOPS 8149 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7168.149
AT ITER 7133 NEW BEST:: SOT 37916 SOS 8124 HAS SOPS 8124 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7143.124
AT ITER 7153 NEW BEST:: SOT 37916 SOS 8120 HAS SOPS 8120 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7143.12
AT ITER 7161 NEW BEST:: SOT 37916 SOS 8117 HAS SOPS 8117 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7140.117
AT ITER 7175 NEW BEST:: SOT 37915 SOS 8114 HAS SOPS 8114 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7139.114
AT ITER 7222 NEW BEST:: SOT 37915 SOS 8113 HAS SOPS 8113 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7139.113
AT ITER 7223 NEW BEST:: SOT 37915 SOS 8113 HAS SOPS 8113 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.113
AT ITER 7243 NEW BEST:: SOT 37915 SOS 8105 HAS SOPS 8105 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7125.105
AT ITER 7356 NEW BEST:: SOT 37915 SOS 8080 HAS SOPS 8080 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.08
AT ITER 7409 NEW BEST:: SOT 37915 SOS 8076 HAS SOPS 8076 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7119.076
AT ITER 7452 NEW BEST:: SOT 37914 SOS 8074 HAS SOPS 8074 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7117.074
AT ITER 7502 NEW BEST:: SOT 37914 SOS 8073 HAS SOPS 8073 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7117.073
AT ITER 7648 NEW BEST:: SOT 37916 SOS 8065 HAS SOPS 8065 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7106.065
AT ITER 7711 NEW BEST:: SOT 37915 SOS 8063 HAS SOPS 8063 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7104.063
AT ITER 7741 NEW BEST:: SOT 37915 SOS 8061 HAS SOPS 8061 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7100.061
AT ITER 7756 NEW BEST:: SOT 37908 SOS 8054 HAS SOPS 8054 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7094.054
AT ITER 7763 NEW BEST:: SOT 37901 SOS 8056 HAS SOPS 8056 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7080.056
AT ITER 7789 NEW BEST:: SOT 37901 SOS 8049 HAS SOPS 8049 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7073.049
AT ITER 7807 NEW BEST:: SOT 37897 SOS 8045 HAS SOPS 8045 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7069.045
AT ITER 7814 NEW BEST:: SOT 37898 SOS 8041 HAS SOPS 8041 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7066.041
AT ITER 7832 NEW BEST:: SOT 37899 SOS 8047 HAS SOPS 8047 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7054.047
AT ITER 7848 NEW BEST:: SOT 37889 SOS 8024 HAS SOPS 8024 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7044.024
AT ITER 7861 NEW BEST:: SOT 37894 SOS 8018 HAS SOPS 8018 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7039.018
AT ITER 7984 NEW BEST:: SOT 37899 SOS 8020 HAS SOPS 8020 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7037.02
AT ITER 8065 NEW BEST:: SOT 37894 SOS 8004 HAS SOPS 8004 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7025.004
AT ITER 8170 NEW BEST:: SOT 37894 SOS 7981 HAS SOPS 7981 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7001.981
AT ITER 8177 NEW BEST:: SOT 37891 SOS 7978 HAS SOPS 7978 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 6998.978
AT ITER 8187 NEW BEST:: SOT 37900 SOS 7972 HAS SOPS 7972 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6993.972
AT ITER 8241 NEW BEST:: SOT 37897 SOS 7969 HAS SOPS 7969 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6992.969
AT ITER 8242 NEW BEST:: SOT 37896 SOS 7964 HAS SOPS 7964 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6990.964
AT ITER 8251 NEW BEST:: SOT 37884 SOS 7952 HAS SOPS 7952 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6984.952
AT ITER 8261 NEW BEST:: SOT 37900 SOS 7958 HAS SOPS 7958 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6983.958
AT ITER 8334 NEW BEST:: SOT 37927 SOS 7944 HAS SOPS 7944 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6969.944
AT ITER 8423 NEW BEST:: SOT 37927 SOS 7942 HAS SOPS 7942 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6967.942
AT ITER 8430 NEW BEST:: SOT 37929 SOS 7942 HAS SOPS 7942 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6965.942
AT ITER 8533 NEW BEST:: SOT 37890 SOS 7967 HAS SOPS 7967 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6957.967
AT ITER 8571 NEW BEST:: SOT 37893 SOS 7970 HAS SOPS 7970 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6955.97
AT ITER 8597 NEW BEST:: SOT 37893 SOS 7967 HAS SOPS 7967 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6952.967
AT ITER 8648 NEW BEST:: SOT 37893 SOS 7965 HAS SOPS 7965 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6950.965
AT ITER 8669 NEW BEST:: SOT 37892 SOS 7967 HAS SOPS 7967 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6949.967
AT ITER 8693 NEW BEST:: SOT 37888 SOS 7949 HAS SOPS 7949 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6945.949
AT ITER 8801 NEW BEST:: SOT 37889 SOS 7930 HAS SOPS 7930 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6940.93
AT ITER 8840 NEW BEST:: SOT 37889 SOS 7922 HAS SOPS 7922 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6936.922
AT ITER 8868 NEW BEST:: SOT 37873 SOS 7986 HAS SOPS 7986 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6920.986
AT ITER 8987 NEW BEST:: SOT 37861 SOS 7955 HAS SOPS 7955 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6916.955
AT ITER 9045 NEW BEST:: SOT 37859 SOS 7949 HAS SOPS 7949 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6910.949
AT ITER 9062 NEW BEST:: SOT 37856 SOS 7942 HAS SOPS 7942 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6903.942
AT ITER 9132 NEW BEST:: SOT 37854 SOS 7937 HAS SOPS 7937 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6898.937
AT ITER 9155 NEW BEST:: SOT 37840 SOS 7916 HAS SOPS 7916 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6884.916
AT ITER 9178 NEW BEST:: SOT 37840 SOS 7913 HAS SOPS 7913 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6881.913
AT ITER 9252 NEW BEST:: SOT 37816 SOS 7910 HAS SOPS 7910 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6878.91
AT ITER 9264 NEW BEST:: SOT 37809 SOS 7896 HAS SOPS 7896 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6871.896
AT ITER 9275 NEW BEST:: SOT 37809 SOS 7894 HAS SOPS 7894 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6869.894
AT ITER 9276 NEW BEST:: SOT 37783 SOS 7814 HAS SOPS 7814 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6843.814
AT ITER 9285 NEW BEST:: SOT 37779 SOS 7769 HAS SOPS 7769 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6839.769
AT ITER 9294 NEW BEST:: SOT 37779 SOS 7766 HAS SOPS 7766 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6831.766
AT ITER 9420 NEW BEST:: SOT 37778 SOS 7764 HAS SOPS 7764 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6830.764
AT ITER 9472 NEW BEST:: SOT 37775 SOS 7761 HAS SOPS 7761 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6826.761
AT ITER 9486 NEW BEST:: SOT 37775 SOS 7744 HAS SOPS 7744 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6809.744
AT ITER 9520 NEW BEST:: SOT 37780 SOS 7748 HAS SOPS 7748 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6808.748
AT ITER 9550 NEW BEST:: SOT 37785 SOS 7674 HAS SOPS 7674 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6806.674
AT ITER 9588 NEW BEST:: SOT 37785 SOS 7673 HAS SOPS 7673 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6805.673
AT ITER 9604 NEW BEST:: SOT 37784 SOS 7672 HAS SOPS 7672 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6801.672
AT ITER 9644 NEW BEST:: SOT 37788 SOS 7675 HAS SOPS 7675 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6800.675
AT ITER 9702 NEW BEST:: SOT 37788 SOS 7673 HAS SOPS 7673 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6798.673
AT ITER 9796 NEW BEST:: SOT 37783 SOS 7686 HAS SOPS 7686 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6793.686
AT ITER 9911 NEW BEST:: SOT 37787 SOS 7693 HAS SOPS 7693 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6792.693
AT ITER 9920 NEW BEST:: SOT 37787 SOS 7688 HAS SOPS 7688 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6787.688
AT ITER 9977 NEW BEST:: SOT 37789 SOS 7697 HAS SOPS 7697 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6784.697
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2888140 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152624 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldPPPs-PT-004B"
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"
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 smart"
echo " Input is ShieldPPPs-PT-004B, 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 r387-oct2-167903711800416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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