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.r419-tajo-167905973800432.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 smart
Input is SieveSingleMsgMbox-PT-d1m36, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973800432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 900K
-rw-r--r-- 1 mcc users 7.5K Feb 26 10:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 10:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 10:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 10:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 26 10:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 10:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 10:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 450K 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 1679092230188

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=SieveSingleMsgMbox-PT-d1m36
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d1m36
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: 1295 places, 749 transitions, 2996 arcs.
AT ITER 0 NEW BEST:: SOT 191475 SOS 165858 HAS SOPS 165858 HAS SOUS 145664 HAS SOUPS 145664 WITH SCORE 145829.858
AT ITER 15 NEW BEST:: SOT 191475 SOS 165896 HAS SOPS 165896 HAS SOUS 145655 HAS SOUPS 145655 WITH SCORE 145820.896
AT ITER 23 NEW BEST:: SOT 191475 SOS 165786 HAS SOPS 165786 HAS SOUS 145568 HAS SOUPS 145568 WITH SCORE 145733.786
AT ITER 38 NEW BEST:: SOT 191475 SOS 165869 HAS SOPS 165869 HAS SOUS 145427 HAS SOUPS 145427 WITH SCORE 145592.869
AT ITER 57 NEW BEST:: SOT 193260 SOS 167654 HAS SOPS 167654 HAS SOUS 144816 HAS SOUPS 144816 WITH SCORE 144983.654
AT ITER 61 NEW BEST:: SOT 193260 SOS 167613 HAS SOPS 167613 HAS SOUS 144807 HAS SOUPS 144807 WITH SCORE 144974.613
AT ITER 80 NEW BEST:: SOT 193260 SOS 167647 HAS SOPS 167647 HAS SOUS 141961 HAS SOUPS 141961 WITH SCORE 142128.647
AT ITER 94 NEW BEST:: SOT 193260 SOS 167376 HAS SOPS 167376 HAS SOUS 141757 HAS SOUPS 141757 WITH SCORE 141924.376
AT ITER 127 NEW BEST:: SOT 193535 SOS 167502 HAS SOPS 167502 HAS SOUS 141674 HAS SOUPS 141674 WITH SCORE 141841.502
AT ITER 163 NEW BEST:: SOT 193535 SOS 167375 HAS SOPS 167375 HAS SOUS 138408 HAS SOUPS 138408 WITH SCORE 138575.375
AT ITER 201 NEW BEST:: SOT 193535 SOS 167015 HAS SOPS 167015 HAS SOUS 138399 HAS SOUPS 138399 WITH SCORE 138566.015
AT ITER 213 NEW BEST:: SOT 193535 SOS 166930 HAS SOPS 166930 HAS SOUS 138363 HAS SOUPS 138363 WITH SCORE 138529.93
AT ITER 223 NEW BEST:: SOT 193555 SOS 166895 HAS SOPS 166895 HAS SOUS 138080 HAS SOUPS 138080 WITH SCORE 138246.895
AT ITER 248 NEW BEST:: SOT 196547 SOS 169887 HAS SOPS 169887 HAS SOUS 136000 HAS SOUPS 136000 WITH SCORE 136169.887
AT ITER 267 NEW BEST:: SOT 196604 SOS 169861 HAS SOPS 169861 HAS SOUS 135974 HAS SOUPS 135974 WITH SCORE 136143.861
AT ITER 271 NEW BEST:: SOT 196604 SOS 168513 HAS SOPS 168513 HAS SOUS 135479 HAS SOUPS 135479 WITH SCORE 135647.513
AT ITER 304 NEW BEST:: SOT 201308 SOS 173009 HAS SOPS 173009 HAS SOUS 133591 HAS SOUPS 133591 WITH SCORE 133764.009
AT ITER 323 NEW BEST:: SOT 201308 SOS 172996 HAS SOPS 172996 HAS SOUS 133565 HAS SOUPS 133565 WITH SCORE 133737.996
AT ITER 335 NEW BEST:: SOT 201308 SOS 173069 HAS SOPS 173069 HAS SOUS 133229 HAS SOUPS 133229 WITH SCORE 133402.069
AT ITER 364 NEW BEST:: SOT 206343 SOS 177471 HAS SOPS 177471 HAS SOUS 130142 HAS SOUPS 130142 WITH SCORE 130319.471
AT ITER 379 NEW BEST:: SOT 206343 SOS 177471 HAS SOPS 177471 HAS SOUS 130140 HAS SOUPS 130140 WITH SCORE 130317.471
AT ITER 397 NEW BEST:: SOT 206343 SOS 177446 HAS SOPS 177446 HAS SOUS 127915 HAS SOUPS 127915 WITH SCORE 128092.446
AT ITER 464 NEW BEST:: SOT 206343 SOS 176909 HAS SOPS 176909 HAS SOUS 127434 HAS SOUPS 127434 WITH SCORE 127610.909
AT ITER 482 NEW BEST:: SOT 213575 SOS 183916 HAS SOPS 183916 HAS SOUS 126464 HAS SOUPS 126464 WITH SCORE 126647.916
AT ITER 486 NEW BEST:: SOT 217895 SOS 188013 HAS SOPS 188013 HAS SOUS 122981 HAS SOUPS 122981 WITH SCORE 123169.013
AT ITER 520 NEW BEST:: SOT 217895 SOS 187966 HAS SOPS 187966 HAS SOUS 121336 HAS SOUPS 121336 WITH SCORE 121523.966
AT ITER 548 NEW BEST:: SOT 220224 SOS 190052 HAS SOPS 190052 HAS SOUS 117700 HAS SOUPS 117700 WITH SCORE 117890.052
AT ITER 551 NEW BEST:: SOT 220328 SOS 190042 HAS SOPS 190042 HAS SOUS 117690 HAS SOUPS 117690 WITH SCORE 117880.042
AT ITER 562 NEW BEST:: SOT 224070 SOS 190869 HAS SOPS 189797 HAS SOUS 117515 HAS SOUPS 117349 WITH SCORE 117539.869
AT ITER 574 NEW BEST:: SOT 224104 SOS 190795 HAS SOPS 189723 HAS SOUS 117439 HAS SOUPS 117273 WITH SCORE 117463.795
AT ITER 576 NEW BEST:: SOT 225432 SOS 191623 HAS SOPS 190468 HAS SOUS 113850 HAS SOUPS 113684 WITH SCORE 113875.623
AT ITER 603 NEW BEST:: SOT 230594 SOS 196430 HAS SOPS 195109 HAS SOUS 110877 HAS SOUPS 110711 WITH SCORE 110907.43
AT ITER 659 NEW BEST:: SOT 235340 SOS 201019 HAS SOPS 199532 HAS SOUS 109389 HAS SOUPS 109223 WITH SCORE 109424.019
AT ITER 678 NEW BEST:: SOT 240478 SOS 205677 HAS SOPS 204024 HAS SOUS 106086 HAS SOUPS 105920 WITH SCORE 106125.677
AT ITER 728 NEW BEST:: SOT 240478 SOS 205537 HAS SOPS 203884 HAS SOUS 106045 HAS SOUPS 105879 WITH SCORE 106084.537
AT ITER 740 NEW BEST:: SOT 240478 SOS 202911 HAS SOPS 201258 HAS SOUS 104319 HAS SOUPS 104153 WITH SCORE 104355.911
AT ITER 793 NEW BEST:: SOT 243384 SOS 204717 HAS SOPS 202892 HAS SOUS 101242 HAS SOUPS 101076 WITH SCORE 101280.717
AT ITER 891 NEW BEST:: SOT 249778 SOS 210545 HAS SOPS 208554 HAS SOUS 97936 HAS SOUPS 97770 WITH SCORE 97980.545
AT ITER 894 NEW BEST:: SOT 249778 SOS 206900 HAS SOPS 204909 HAS SOUS 95295 HAS SOUPS 95129 WITH SCORE 95335.9
AT ITER 979 NEW BEST:: SOT 249778 SOS 206888 HAS SOPS 204897 HAS SOUS 95283 HAS SOUPS 95117 WITH SCORE 95323.888
AT ITER 994 NEW BEST:: SOT 249554 SOS 206664 HAS SOPS 204687 HAS SOUS 95283 HAS SOUPS 95117 WITH SCORE 95323.664
AT ITER 1013 NEW BEST:: SOT 249554 SOS 206694 HAS SOPS 204717 HAS SOUS 95183 HAS SOUPS 95017 WITH SCORE 95223.694
AT ITER 1096 NEW BEST:: SOT 245362 SOS 202502 HAS SOPS 200525 HAS SOUS 94511 HAS SOUPS 94345 WITH SCORE 94547.502
AT ITER 1124 NEW BEST:: SOT 245218 SOS 202358 HAS SOPS 200389 HAS SOUS 94495 HAS SOUPS 94329 WITH SCORE 94531.358
AT ITER 1145 NEW BEST:: SOT 245218 SOS 202313 HAS SOPS 200344 HAS SOUS 94489 HAS SOUPS 94323 WITH SCORE 94525.313
AT ITER 1155 NEW BEST:: SOT 245218 SOS 202207 HAS SOPS 200238 HAS SOUS 94450 HAS SOUPS 94284 WITH SCORE 94486.207
AT ITER 1193 NEW BEST:: SOT 253416 SOS 210038 HAS SOPS 207903 HAS SOUS 94370 HAS SOUPS 94204 WITH SCORE 94414.038
AT ITER 1279 NEW BEST:: SOT 253810 SOS 210079 HAS SOPS 207889 HAS SOUS 94247 HAS SOUPS 94081 WITH SCORE 94291.079
AT ITER 1300 NEW BEST:: SOT 253810 SOS 209682 HAS SOPS 207492 HAS SOUS 94108 HAS SOUPS 93942 WITH SCORE 94151.682
AT ITER 1451 NEW BEST:: SOT 253810 SOS 209682 HAS SOPS 207492 HAS SOUS 94103 HAS SOUPS 93937 WITH SCORE 94146.682
AT ITER 1490 NEW BEST:: SOT 256632 SOS 212378 HAS SOPS 207993 HAS SOUS 94101 HAS SOUPS 93928 WITH SCORE 94140.378
AT ITER 1492 NEW BEST:: SOT 256632 SOS 211818 HAS SOPS 207433 HAS SOUS 94101 HAS SOUPS 93928 WITH SCORE 94139.818
AT ITER 1526 NEW BEST:: SOT 254725 SOS 209911 HAS SOPS 206867 HAS SOUS 93968 HAS SOUPS 93802 WITH SCORE 94011.911
AT ITER 1551 NEW BEST:: SOT 254725 SOS 209861 HAS SOPS 206817 HAS SOUS 93968 HAS SOUPS 93802 WITH SCORE 94011.861
AT ITER 1554 NEW BEST:: SOT 252367 SOS 208581 HAS SOPS 207662 HAS SOUS 93452 HAS SOUPS 93391 WITH SCORE 93599.581
AT ITER 1589 NEW BEST:: SOT 248591 SOS 204805 HAS SOPS 203886 HAS SOUS 93452 HAS SOUPS 93391 WITH SCORE 93595.805
AT ITER 1593 NEW BEST:: SOT 249922 SOS 206027 HAS SOPS 205047 HAS SOUS 92429 HAS SOUPS 92368 WITH SCORE 92574.027
AT ITER 1617 NEW BEST:: SOT 247506 SOS 203611 HAS SOPS 202631 HAS SOUS 92429 HAS SOUPS 92368 WITH SCORE 92571.611
AT ITER 1631 NEW BEST:: SOT 246988 SOS 203093 HAS SOPS 202668 HAS SOUS 91942 HAS SOUPS 91887 WITH SCORE 92090.093
AT ITER 1634 NEW BEST:: SOT 247254 SOS 198894 HAS SOPS 198184 HAS SOUS 89054 HAS SOUPS 88999 WITH SCORE 89197.894
AT ITER 1639 NEW BEST:: SOT 247254 SOS 198823 HAS SOPS 198113 HAS SOUS 89038 HAS SOUPS 88983 WITH SCORE 89181.823
AT ITER 1645 NEW BEST:: SOT 247254 SOS 198749 HAS SOPS 198039 HAS SOUS 88964 HAS SOUPS 88909 WITH SCORE 89107.749
AT ITER 1686 NEW BEST:: SOT 247254 SOS 194939 HAS SOPS 194229 HAS SOUS 86985 HAS SOUPS 86930 WITH SCORE 87124.939
AT ITER 1701 NEW BEST:: SOT 247608 SOS 195103 HAS SOPS 194393 HAS SOUS 86923 HAS SOUPS 86868 WITH SCORE 87063.103
AT ITER 1709 NEW BEST:: SOT 247608 SOS 194671 HAS SOPS 193961 HAS SOUS 86626 HAS SOUPS 86571 WITH SCORE 86765.671
AT ITER 1731 NEW BEST:: SOT 247608 SOS 194452 HAS SOPS 193742 HAS SOUS 86623 HAS SOUPS 86568 WITH SCORE 86762.452
AT ITER 1752 NEW BEST:: SOT 247608 SOS 193802 HAS SOPS 193092 HAS SOUS 86423 HAS SOUPS 86368 WITH SCORE 86561.802
AT ITER 1840 NEW BEST:: SOT 247608 SOS 193636 HAS SOPS 192926 HAS SOUS 86345 HAS SOUPS 86290 WITH SCORE 86483.636
AT ITER 1878 NEW BEST:: SOT 247608 SOS 193699 HAS SOPS 192989 HAS SOUS 86328 HAS SOUPS 86273 WITH SCORE 86466.699
AT ITER 1928 NEW BEST:: SOT 247778 SOS 193828 HAS SOPS 192964 HAS SOUS 86402 HAS SOUPS 86248 WITH SCORE 86441.828
AT ITER 1936 NEW BEST:: SOT 245474 SOS 191524 HAS SOPS 190660 HAS SOUS 86402 HAS SOUPS 86248 WITH SCORE 86439.524
AT ITER 1940 NEW BEST:: SOT 244556 SOS 190606 HAS SOPS 189742 HAS SOUS 86348 HAS SOUPS 86194 WITH SCORE 86384.606
AT ITER 1968 NEW BEST:: SOT 244963 SOS 189406 HAS SOPS 188499 HAS SOUS 83490 HAS SOUPS 83336 WITH SCORE 83525.406
AT ITER 1992 NEW BEST:: SOT 244963 SOS 188304 HAS SOPS 187397 HAS SOUS 81277 HAS SOUPS 81123 WITH SCORE 81311.304
AT ITER 1998 NEW BEST:: SOT 244963 SOS 187985 HAS SOPS 187078 HAS SOUS 80645 HAS SOUPS 80491 WITH SCORE 80678.985
AT ITER 2030 NEW BEST:: SOT 244957 SOS 187979 HAS SOPS 187072 HAS SOUS 80639 HAS SOUPS 80485 WITH SCORE 80672.979
AT ITER 2084 NEW BEST:: SOT 245501 SOS 188328 HAS SOPS 187366 HAS SOUS 80346 HAS SOUPS 80192 WITH SCORE 80380.328
AT ITER 2089 NEW BEST:: SOT 252466 SOS 194665 HAS SOPS 193660 HAS SOUS 78638 HAS SOUPS 78484 WITH SCORE 78678.665
AT ITER 2214 NEW BEST:: SOT 260455 SOS 201493 HAS SOPS 200445 HAS SOUS 76178 HAS SOUPS 76024 WITH SCORE 76225.493
AT ITER 2232 NEW BEST:: SOT 260118 SOS 201156 HAS SOPS 200145 HAS SOUS 76177 HAS SOUPS 76023 WITH SCORE 76224.156
AT ITER 2235 NEW BEST:: SOT 260361 SOS 201199 HAS SOPS 200188 HAS SOUS 76152 HAS SOUPS 75998 WITH SCORE 76199.199
AT ITER 2236 NEW BEST:: SOT 260361 SOS 197152 HAS SOPS 196141 HAS SOUS 75029 HAS SOUPS 74875 WITH SCORE 75072.152
AT ITER 2270 NEW BEST:: SOT 267543 SOS 204217 HAS SOPS 203163 HAS SOUS 74833 HAS SOUPS 74679 WITH SCORE 74883.217
AT ITER 2278 NEW BEST:: SOT 267543 SOS 204160 HAS SOPS 203106 HAS SOUS 74772 HAS SOUPS 74618 WITH SCORE 74822.16
AT ITER 2296 NEW BEST:: SOT 262535 SOS 199152 HAS SOPS 198098 HAS SOUS 74772 HAS SOUPS 74618 WITH SCORE 74817.152
AT ITER 2310 NEW BEST:: SOT 262535 SOS 199073 HAS SOPS 198019 HAS SOUS 74538 HAS SOUPS 74384 WITH SCORE 74583.073
AT ITER 2323 NEW BEST:: SOT 266540 SOS 203076 HAS SOPS 201979 HAS SOUS 74499 HAS SOUPS 74345 WITH SCORE 74548.076
AT ITER 2381 NEW BEST:: SOT 266540 SOS 201550 HAS SOPS 200453 HAS SOUS 74238 HAS SOUPS 74084 WITH SCORE 74285.55
AT ITER 2416 NEW BEST:: SOT 268347 SOS 198014 HAS SOPS 194548 HAS SOUS 73867 HAS SOUPS 73713 WITH SCORE 73911.014
AT ITER 2440 NEW BEST:: SOT 268347 SOS 196910 HAS SOPS 193444 HAS SOUS 73699 HAS SOUPS 73545 WITH SCORE 73741.91
AT ITER 2457 NEW BEST:: SOT 270086 SOS 198309 HAS SOPS 192522 HAS SOUS 73546 HAS SOUPS 73392 WITH SCORE 73590.309
AT ITER 2476 NEW BEST:: SOT 270086 SOS 198255 HAS SOPS 192468 HAS SOUS 73492 HAS SOUPS 73338 WITH SCORE 73536.255
AT ITER 2484 NEW BEST:: SOT 270086 SOS 197865 HAS SOPS 192078 HAS SOUS 73244 HAS SOUPS 73090 WITH SCORE 73287.865
AT ITER 2500 NEW BEST:: SOT 270086 SOS 196811 HAS SOPS 191024 HAS SOUS 72375 HAS SOUPS 72221 WITH SCORE 72417.811
AT ITER 2519 NEW BEST:: SOT 270111 SOS 196729 HAS SOPS 190942 HAS SOUS 72293 HAS SOUPS 72139 WITH SCORE 72335.729
AT ITER 2524 NEW BEST:: SOT 270311 SOS 196714 HAS SOPS 190892 HAS SOUS 72253 HAS SOUPS 72099 WITH SCORE 72295.714
AT ITER 2526 NEW BEST:: SOT 270614 SOS 195580 HAS SOPS 189670 HAS SOUS 70164 HAS SOUPS 70010 WITH SCORE 70205.58
AT ITER 2570 NEW BEST:: SOT 268319 SOS 193285 HAS SOPS 187375 HAS SOUS 70029 HAS SOUPS 69875 WITH SCORE 70068.285
AT ITER 2653 NEW BEST:: SOT 277576 SOS 200863 HAS SOPS 194626 HAS SOUS 69325 HAS SOUPS 69171 WITH SCORE 69371.863
AT ITER 2662 NEW BEST:: SOT 278604 SOS 201795 HAS SOPS 195389 HAS SOUS 69139 HAS SOUPS 68985 WITH SCORE 69186.795
AT ITER 2719 NEW BEST:: SOT 278898 SOS 201077 HAS SOPS 193805 HAS SOUS 68875 HAS SOUPS 68721 WITH SCORE 68922.077
AT ITER 2769 NEW BEST:: SOT 278898 SOS 200838 HAS SOPS 193566 HAS SOUS 68841 HAS SOUPS 68687 WITH SCORE 68887.838
AT ITER 2784 NEW BEST:: SOT 278898 SOS 200621 HAS SOPS 193349 HAS SOUS 68729 HAS SOUPS 68575 WITH SCORE 68775.621
AT ITER 2801 NEW BEST:: SOT 278886 SOS 200609 HAS SOPS 193337 HAS SOUS 68717 HAS SOUPS 68563 WITH SCORE 68763.609
AT ITER 2808 NEW BEST:: SOT 278886 SOS 200499 HAS SOPS 193227 HAS SOUS 68661 HAS SOUPS 68507 WITH SCORE 68707.499
AT ITER 2850 NEW BEST:: SOT 280935 SOS 201419 HAS SOPS 193780 HAS SOUS 66892 HAS SOUPS 66738 WITH SCORE 66939.419
AT ITER 2873 NEW BEST:: SOT 283129 SOS 203613 HAS SOPS 195832 HAS SOUS 66819 HAS SOUPS 66665 WITH SCORE 66868.613
AT ITER 2896 NEW BEST:: SOT 283129 SOS 203569 HAS SOPS 195788 HAS SOUS 66775 HAS SOUPS 66621 WITH SCORE 66824.569
AT ITER 2900 NEW BEST:: SOT 283129 SOS 203563 HAS SOPS 195782 HAS SOUS 66773 HAS SOUPS 66619 WITH SCORE 66822.563
AT ITER 2908 NEW BEST:: SOT 283129 SOS 203526 HAS SOPS 195745 HAS SOUS 66630 HAS SOUPS 66476 WITH SCORE 66679.526
AT ITER 2973 NEW BEST:: SOT 283230 SOS 203627 HAS SOPS 195846 HAS SOUS 66620 HAS SOUPS 66466 WITH SCORE 66669.627
AT ITER 3056 NEW BEST:: SOT 284335 SOS 204732 HAS SOPS 194816 HAS SOUS 66604 HAS SOUPS 66444 WITH SCORE 66648.732
AT ITER 3105 NEW BEST:: SOT 284305 SOS 204566 HAS SOPS 194650 HAS SOUS 66589 HAS SOUPS 66429 WITH SCORE 66633.566
AT ITER 3131 NEW BEST:: SOT 284305 SOS 204530 HAS SOPS 194614 HAS SOUS 66553 HAS SOUPS 66393 WITH SCORE 66597.53
AT ITER 3216 NEW BEST:: SOT 284280 SOS 204505 HAS SOPS 194589 HAS SOUS 66528 HAS SOUPS 66368 WITH SCORE 66572.505
AT ITER 3221 NEW BEST:: SOT 286598 SOS 201955 HAS SOPS 188499 HAS SOUS 66281 HAS SOUPS 66079 WITH SCORE 66280.955
AT ITER 3256 NEW BEST:: SOT 286647 SOS 201811 HAS SOPS 188355 HAS SOUS 66006 HAS SOUPS 65804 WITH SCORE 66005.811
AT ITER 3272 NEW BEST:: SOT 286647 SOS 201732 HAS SOPS 188276 HAS SOUS 65858 HAS SOUPS 65656 WITH SCORE 65857.732
AT ITER 3300 NEW BEST:: SOT 286647 SOS 201574 HAS SOPS 188118 HAS SOUS 65747 HAS SOUPS 65545 WITH SCORE 65746.574
AT ITER 3319 NEW BEST:: SOT 295030 SOS 208234 HAS SOPS 194089 HAS SOUS 63783 HAS SOUPS 63581 WITH SCORE 63789.234
AT ITER 3324 NEW BEST:: SOT 294702 SOS 207906 HAS SOPS 193761 HAS SOUS 63455 HAS SOUPS 63253 WITH SCORE 63460.906
AT ITER 3343 NEW BEST:: SOT 293461 SOS 206665 HAS SOPS 192520 HAS SOUS 63382 HAS SOUPS 63180 WITH SCORE 63386.665
AT ITER 3392 NEW BEST:: SOT 293478 SOS 200306 HAS SOPS 186062 HAS SOUS 62509 HAS SOUPS 62307 WITH SCORE 62507.306
AT ITER 3405 NEW BEST:: SOT 293478 SOS 196546 HAS SOPS 182302 HAS SOUS 62226 HAS SOUPS 62024 WITH SCORE 62220.546
AT ITER 3431 NEW BEST:: SOT 293529 SOS 196537 HAS SOPS 182293 HAS SOUS 62136 HAS SOUPS 61934 WITH SCORE 62130.537
AT ITER 3477 NEW BEST:: SOT 295362 SOS 197970 HAS SOPS 180165 HAS SOUS 62072 HAS SOUPS 61870 WITH SCORE 62067.97
AT ITER 3499 NEW BEST:: SOT 295517 SOS 198068 HAS SOPS 180263 HAS SOUS 61798 HAS SOUPS 61596 WITH SCORE 61794.068
AT ITER 3534 NEW BEST:: SOT 295517 SOS 198056 HAS SOPS 180251 HAS SOUS 61764 HAS SOUPS 61562 WITH SCORE 61760.056
AT ITER 3562 NEW BEST:: SOT 295702 SOS 198198 HAS SOPS 180208 HAS SOUS 61721 HAS SOUPS 61519 WITH SCORE 61717.198
AT ITER 3595 NEW BEST:: SOT 295702 SOS 198181 HAS SOPS 180191 HAS SOUS 61720 HAS SOUPS 61518 WITH SCORE 61716.181
AT ITER 3611 NEW BEST:: SOT 296314 SOS 192388 HAS SOPS 172284 HAS SOUS 60802 HAS SOUPS 60600 WITH SCORE 60792.388
AT ITER 3651 NEW BEST:: SOT 296475 SOS 192470 HAS SOPS 172366 HAS SOUS 60790 HAS SOUPS 60588 WITH SCORE 60780.47
AT ITER 3658 NEW BEST:: SOT 296475 SOS 192470 HAS SOPS 172366 HAS SOUS 60774 HAS SOUPS 60572 WITH SCORE 60764.47
AT ITER 3676 NEW BEST:: SOT 295307 SOS 191302 HAS SOPS 171198 HAS SOUS 60262 HAS SOUPS 60060 WITH SCORE 60251.302
AT ITER 3678 NEW BEST:: SOT 301484 SOS 197479 HAS SOPS 177280 HAS SOUS 60211 HAS SOUPS 60009 WITH SCORE 60206.479
AT ITER 3697 NEW BEST:: SOT 301484 SOS 197372 HAS SOPS 177173 HAS SOUS 60090 HAS SOUPS 59888 WITH SCORE 60085.372
AT ITER 3718 NEW BEST:: SOT 299436 SOS 195324 HAS SOPS 175125 HAS SOUS 60090 HAS SOUPS 59888 WITH SCORE 60083.324
AT ITER 3724 NEW BEST:: SOT 299436 SOS 195315 HAS SOPS 175116 HAS SOUS 60081 HAS SOUPS 59879 WITH SCORE 60074.315
AT ITER 3751 NEW BEST:: SOT 299436 SOS 193844 HAS SOPS 173645 HAS SOUS 59692 HAS SOUPS 59490 WITH SCORE 59683.844
AT ITER 3807 NEW BEST:: SOT 299436 SOS 193844 HAS SOPS 173645 HAS SOUS 59650 HAS SOUPS 59448 WITH SCORE 59641.844
AT ITER 3908 NEW BEST:: SOT 301885 SOS 196293 HAS SOPS 176079 HAS SOUS 59635 HAS SOUPS 59433 WITH SCORE 59629.293
AT ITER 3965 NEW BEST:: SOT 302171 SOS 196366 HAS SOPS 176152 HAS SOUS 59516 HAS SOUPS 59314 WITH SCORE 59510.366
AT ITER 3966 NEW BEST:: SOT 303485 SOS 195383 HAS SOPS 171704 HAS SOUS 58916 HAS SOUPS 58714 WITH SCORE 58909.383
AT ITER 4070 NEW BEST:: SOT 299917 SOS 191815 HAS SOPS 168136 HAS SOUS 58532 HAS SOUPS 58330 WITH SCORE 58521.815
AT ITER 4080 NEW BEST:: SOT 302608 SOS 194506 HAS SOPS 170574 HAS SOUS 58456 HAS SOUPS 58254 WITH SCORE 58448.506
AT ITER 4103 NEW BEST:: SOT 302608 SOS 194397 HAS SOPS 170465 HAS SOUS 58401 HAS SOUPS 58199 WITH SCORE 58393.397
AT ITER 4321 NEW BEST:: SOT 302608 SOS 194397 HAS SOPS 170465 HAS SOUS 58397 HAS SOUPS 58195 WITH SCORE 58389.397
AT ITER 4337 NEW BEST:: SOT 302608 SOS 194073 HAS SOPS 170141 HAS SOUS 58364 HAS SOUPS 58162 WITH SCORE 58356.073
AT ITER 4356 NEW BEST:: SOT 302615 SOS 194049 HAS SOPS 170110 HAS SOUS 58333 HAS SOUPS 58131 WITH SCORE 58325.049
AT ITER 4382 NEW BEST:: SOT 302632 SOS 194046 HAS SOPS 170107 HAS SOUS 58319 HAS SOUPS 58117 WITH SCORE 58311.046
AT ITER 4415 NEW BEST:: SOT 305268 SOS 190376 HAS SOPS 161997 HAS SOUS 58210 HAS SOUPS 57966 WITH SCORE 58156.376
AT ITER 4427 NEW BEST:: SOT 305268 SOS 190343 HAS SOPS 161964 HAS SOUS 58060 HAS SOUPS 57816 WITH SCORE 58006.343
AT ITER 4462 NEW BEST:: SOT 303120 SOS 188720 HAS SOPS 164781 HAS SOUS 57970 HAS SOUPS 57768 WITH SCORE 57956.72
AT ITER 4479 NEW BEST:: SOT 303120 SOS 188321 HAS SOPS 164382 HAS SOUS 57845 HAS SOUPS 57643 WITH SCORE 57831.321
AT ITER 4509 NEW BEST:: SOT 299556 SOS 184757 HAS SOPS 161011 HAS SOUS 57690 HAS SOUPS 57488 WITH SCORE 57672.757
AT ITER 4530 NEW BEST:: SOT 299540 SOS 184741 HAS SOPS 160995 HAS SOUS 57674 HAS SOUPS 57472 WITH SCORE 57656.741
AT ITER 4568 NEW BEST:: SOT 299575 SOS 184470 HAS SOPS 160724 HAS SOUS 57578 HAS SOUPS 57376 WITH SCORE 57560.47
AT ITER 4580 NEW BEST:: SOT 300681 SOS 182608 HAS SOPS 158025 HAS SOUS 56327 HAS SOUPS 56125 WITH SCORE 56307.608
AT ITER 4587 NEW BEST:: SOT 300952 SOS 182606 HAS SOPS 158023 HAS SOUS 56208 HAS SOUPS 56006 WITH SCORE 56188.606
AT ITER 4594 NEW BEST:: SOT 300952 SOS 182606 HAS SOPS 158023 HAS SOUS 56198 HAS SOUPS 55996 WITH SCORE 56178.606
AT ITER 4610 NEW BEST:: SOT 301302 SOS 182567 HAS SOPS 157984 HAS SOUS 55891 HAS SOUPS 55689 WITH SCORE 55871.567
AT ITER 4618 NEW BEST:: SOT 301302 SOS 176405 HAS SOPS 151822 HAS SOUS 55868 HAS SOUPS 55666 WITH SCORE 55842.405
AT ITER 4684 NEW BEST:: SOT 301302 SOS 176391 HAS SOPS 151808 HAS SOUS 55854 HAS SOUPS 55652 WITH SCORE 55828.391
AT ITER 4689 NEW BEST:: SOT 296118 SOS 171207 HAS SOPS 146624 HAS SOUS 55198 HAS SOUPS 54996 WITH SCORE 55167.207
AT ITER 4700 NEW BEST:: SOT 296348 SOS 171369 HAS SOPS 146786 HAS SOUS 55138 HAS SOUPS 54936 WITH SCORE 55107.369
AT ITER 4768 NEW BEST:: SOT 293074 SOS 168095 HAS SOPS 144456 HAS SOUS 54773 HAS SOUPS 54571 WITH SCORE 54739.095
AT ITER 4802 NEW BEST:: SOT 293074 SOS 167506 HAS SOPS 143867 HAS SOUS 54490 HAS SOUPS 54288 WITH SCORE 54455.506
AT ITER 4817 NEW BEST:: SOT 293074 SOS 167506 HAS SOPS 143867 HAS SOUS 54442 HAS SOUPS 54240 WITH SCORE 54407.506
AT ITER 4832 NEW BEST:: SOT 293074 SOS 167459 HAS SOPS 143820 HAS SOUS 54239 HAS SOUPS 54037 WITH SCORE 54204.459
AT ITER 4861 NEW BEST:: SOT 293074 SOS 167363 HAS SOPS 143724 HAS SOUS 54215 HAS SOUPS 54013 WITH SCORE 54180.363
AT ITER 4862 NEW BEST:: SOT 293084 SOS 167373 HAS SOPS 143734 HAS SOUS 54102 HAS SOUPS 53900 WITH SCORE 54067.373
AT ITER 4864 NEW BEST:: SOT 293478 SOS 166787 HAS SOPS 142758 HAS SOUS 53707 HAS SOUPS 53505 WITH SCORE 53671.787
AT ITER 4865 NEW BEST:: SOT 293478 SOS 166769 HAS SOPS 142740 HAS SOUS 53689 HAS SOUPS 53487 WITH SCORE 53653.769
AT ITER 4911 NEW BEST:: SOT 293418 SOS 166709 HAS SOPS 142680 HAS SOUS 53629 HAS SOUPS 53427 WITH SCORE 53593.709
AT ITER 4931 NEW BEST:: SOT 293482 SOS 166359 HAS SOPS 142330 HAS SOUS 53555 HAS SOUPS 53353 WITH SCORE 53519.359
AT ITER 4978 NEW BEST:: SOT 293067 SOS 165944 HAS SOPS 142312 HAS SOUS 53555 HAS SOUPS 53353 WITH SCORE 53518.944
AT ITER 5026 NEW BEST:: SOT 292953 SOS 165830 HAS SOPS 142198 HAS SOUS 53474 HAS SOUPS 53272 WITH SCORE 53437.83
AT ITER 5074 NEW BEST:: SOT 292953 SOS 165817 HAS SOPS 142185 HAS SOUS 53425 HAS SOUPS 53223 WITH SCORE 53388.817
AT ITER 5091 NEW BEST:: SOT 292511 SOS 165375 HAS SOPS 143273 HAS SOUS 53425 HAS SOUPS 53223 WITH SCORE 53388.375
AT ITER 5156 NEW BEST:: SOT 292511 SOS 165323 HAS SOPS 143221 HAS SOUS 53373 HAS SOUPS 53171 WITH SCORE 53336.323
AT ITER 5252 NEW BEST:: SOT 292574 SOS 165386 HAS SOPS 143284 HAS SOUS 53315 HAS SOUPS 53113 WITH SCORE 53278.386
AT ITER 5384 NEW BEST:: SOT 279908 SOS 227865 HAS SOPS 136170 HAS SOUS 41166 HAS SOUPS 40789 WITH SCORE 41016.865
AT ITER 5424 NEW BEST:: SOT 280046 SOS 228003 HAS SOPS 136182 HAS SOUS 41142 HAS SOUPS 40765 WITH SCORE 40993.003
AT ITER 5477 NEW BEST:: SOT 277118 SOS 225075 HAS SOPS 133254 HAS SOUS 41142 HAS SOUPS 40765 WITH SCORE 40990.075
AT ITER 5489 NEW BEST:: SOT 271370 SOS 219327 HAS SOPS 127506 HAS SOUS 35386 HAS SOUPS 35009 WITH SCORE 35228.327
AT ITER 5546 NEW BEST:: SOT 272783 SOS 220740 HAS SOPS 128460 HAS SOUS 35271 HAS SOUPS 34894 WITH SCORE 35114.74
AT ITER 5551 NEW BEST:: SOT 272783 SOS 220758 HAS SOPS 128478 HAS SOUS 35246 HAS SOUPS 34869 WITH SCORE 35089.758
AT ITER 5587 NEW BEST:: SOT 272783 SOS 220640 HAS SOPS 128353 HAS SOUS 35114 HAS SOUPS 34737 WITH SCORE 34957.64
AT ITER 5610 NEW BEST:: SOT 272784 SOS 220641 HAS SOPS 128354 HAS SOUS 35057 HAS SOUPS 34680 WITH SCORE 34900.641
AT ITER 5611 NEW BEST:: SOT 272736 SOS 220593 HAS SOPS 128306 HAS SOUS 35057 HAS SOUPS 34680 WITH SCORE 34900.593
AT ITER 5650 NEW BEST:: SOT 272692 SOS 220549 HAS SOPS 128262 HAS SOUS 35035 HAS SOUPS 34658 WITH SCORE 34878.549
AT ITER 5664 NEW BEST:: SOT 272596 SOS 220453 HAS SOPS 128166 HAS SOUS 35035 HAS SOUPS 34658 WITH SCORE 34878.453
AT ITER 5682 NEW BEST:: SOT 272742 SOS 220563 HAS SOPS 128276 HAS SOUS 34980 HAS SOUPS 34603 WITH SCORE 34823.563
AT ITER 5708 NEW BEST:: SOT 272478 SOS 220299 HAS SOPS 128166 HAS SOUS 34958 HAS SOUPS 34581 WITH SCORE 34801.299
AT ITER 5833 NEW BEST:: SOT 272365 SOS 221174 HAS SOPS 133454 HAS SOUS 34870 HAS SOUPS 34493 WITH SCORE 34714.174
AT ITER 5843 NEW BEST:: SOT 272186 SOS 220995 HAS SOPS 133275 HAS SOUS 34695 HAS SOUPS 34318 WITH SCORE 34538.995
AT ITER 5855 NEW BEST:: SOT 272253 SOS 220908 HAS SOPS 132987 HAS SOUS 34558 HAS SOUPS 34181 WITH SCORE 34401.908
AT ITER 5986 NEW BEST:: SOT 272253 SOS 220903 HAS SOPS 132982 HAS SOUS 34556 HAS SOUPS 34179 WITH SCORE 34399.903
AT ITER 6071 NEW BEST:: SOT 271869 SOS 220519 HAS SOPS 132598 HAS SOUS 34556 HAS SOUPS 34179 WITH SCORE 34399.519
AT ITER 6132 NEW BEST:: SOT 271813 SOS 220463 HAS SOPS 132542 HAS SOUS 34548 HAS SOUPS 34171 WITH SCORE 34391.463
AT ITER 6174 NEW BEST:: SOT 271813 SOS 220463 HAS SOPS 132432 HAS SOUS 34477 HAS SOUPS 34100 WITH SCORE 34320.463
AT ITER 6187 NEW BEST:: SOT 271591 SOS 220241 HAS SOPS 132210 HAS SOUS 34458 HAS SOUPS 34081 WITH SCORE 34301.241
AT ITER 6201 NEW BEST:: SOT 271545 SOS 220195 HAS SOPS 133770 HAS SOUS 34458 HAS SOUPS 34081 WITH SCORE 34301.195
AT ITER 6229 NEW BEST:: SOT 271416 SOS 220179 HAS SOPS 133754 HAS SOUS 34449 HAS SOUPS 34072 WITH SCORE 34292.179
AT ITER 6340 NEW BEST:: SOT 268984 SOS 217747 HAS SOPS 131322 HAS SOUS 34449 HAS SOUPS 34072 WITH SCORE 34289.747
AT ITER 6383 NEW BEST:: SOT 268984 SOS 217802 HAS SOPS 131377 HAS SOUS 34416 HAS SOUPS 34039 WITH SCORE 34256.802
AT ITER 6439 NEW BEST:: SOT 268788 SOS 217606 HAS SOPS 131185 HAS SOUS 34300 HAS SOUPS 33923 WITH SCORE 34140.606
AT ITER 6500 NEW BEST:: SOT 268759 SOS 217577 HAS SOPS 131127 HAS SOUS 34300 HAS SOUPS 33923 WITH SCORE 34140.577
AT ITER 6502 NEW BEST:: SOT 270219 SOS 218673 HAS SOPS 124143 HAS SOUS 34214 HAS SOUPS 33837 WITH SCORE 34055.673
AT ITER 6527 NEW BEST:: SOT 271142 SOS 219596 HAS SOPS 124449 HAS SOUS 34099 HAS SOUPS 33722 WITH SCORE 33941.596
AT ITER 6672 NEW BEST:: SOT 270612 SOS 219066 HAS SOPS 124926 HAS SOUS 34099 HAS SOUPS 33722 WITH SCORE 33941.066
AT ITER 6701 NEW BEST:: SOT 270716 SOS 219170 HAS SOPS 125030 HAS SOUS 34093 HAS SOUPS 33716 WITH SCORE 33935.17
AT ITER 6730 NEW BEST:: SOT 270740 SOS 219194 HAS SOPS 125054 HAS SOUS 34081 HAS SOUPS 33704 WITH SCORE 33923.194
AT ITER 6851 NEW BEST:: SOT 270660 SOS 219114 HAS SOPS 124974 HAS SOUS 34013 HAS SOUPS 33636 WITH SCORE 33855.114
AT ITER 6907 NEW BEST:: SOT 270915 SOS 219369 HAS SOPS 124973 HAS SOUS 34011 HAS SOUPS 33634 WITH SCORE 33853.369
AT ITER 6910 NEW BEST:: SOT 270915 SOS 219783 HAS SOPS 125387 HAS SOUS 33993 HAS SOUPS 33616 WITH SCORE 33835.783
AT ITER 6949 NEW BEST:: SOT 273943 SOS 222811 HAS SOPS 128403 HAS SOUS 33981 HAS SOUPS 33604 WITH SCORE 33826.811
AT ITER 6961 NEW BEST:: SOT 274189 SOS 223057 HAS SOPS 128649 HAS SOUS 33897 HAS SOUPS 33520 WITH SCORE 33743.057
AT ITER 7037 NEW BEST:: SOT 274045 SOS 222913 HAS SOPS 128505 HAS SOUS 33897 HAS SOUPS 33520 WITH SCORE 33742.913
AT ITER 7065 NEW BEST:: SOT 272701 SOS 221569 HAS SOPS 127161 HAS SOUS 32553 HAS SOUPS 32176 WITH SCORE 32397.569
AT ITER 7127 NEW BEST:: SOT 273274 SOS 222142 HAS SOPS 127572 HAS SOUS 32504 HAS SOUPS 32127 WITH SCORE 32349.142
AT ITER 7143 NEW BEST:: SOT 273274 SOS 222090 HAS SOPS 127520 HAS SOUS 32478 HAS SOUPS 32101 WITH SCORE 32323.09
AT ITER 7186 NEW BEST:: SOT 273184 SOS 222000 HAS SOPS 127430 HAS SOUS 32478 HAS SOUPS 32101 WITH SCORE 32323.0
AT ITER 7221 NEW BEST:: SOT 273151 SOS 221967 HAS SOPS 127415 HAS SOUS 32478 HAS SOUPS 32101 WITH SCORE 32322.967
AT ITER 7231 NEW BEST:: SOT 273145 SOS 221961 HAS SOPS 127409 HAS SOUS 32472 HAS SOUPS 32095 WITH SCORE 32316.961
AT ITER 7328 NEW BEST:: SOT 273056 SOS 221872 HAS SOPS 127320 HAS SOUS 32446 HAS SOUPS 32069 WITH SCORE 32290.872
AT ITER 7374 NEW BEST:: SOT 273352 SOS 222043 HAS SOPS 127491 HAS SOUS 32427 HAS SOUPS 32050 WITH SCORE 32272.043
AT ITER 7472 NEW BEST:: SOT 273300 SOS 221991 HAS SOPS 127491 HAS SOUS 32427 HAS SOUPS 32050 WITH SCORE 32271.991
AT ITER 7506 NEW BEST:: SOT 273300 SOS 221955 HAS SOPS 127455 HAS SOUS 32391 HAS SOUPS 32014 WITH SCORE 32235.955
AT ITER 7534 NEW BEST:: SOT 273219 SOS 221874 HAS SOPS 127374 HAS SOUS 32337 HAS SOUPS 31960 WITH SCORE 32181.874
AT ITER 7582 NEW BEST:: SOT 270995 SOS 219650 HAS SOPS 125150 HAS SOUS 32305 HAS SOUPS 31928 WITH SCORE 32147.65
AT ITER 7620 NEW BEST:: SOT 269105 SOS 217760 HAS SOPS 123614 HAS SOUS 32268 HAS SOUPS 31891 WITH SCORE 32108.76
AT ITER 7622 NEW BEST:: SOT 267735 SOS 216390 HAS SOPS 122812 HAS SOUS 32268 HAS SOUPS 31891 WITH SCORE 32107.39
AT ITER 7642 NEW BEST:: SOT 267670 SOS 216325 HAS SOPS 122747 HAS SOUS 32236 HAS SOUPS 31859 WITH SCORE 32075.325
AT ITER 7711 NEW BEST:: SOT 267584 SOS 216239 HAS SOPS 122661 HAS SOUS 32193 HAS SOUPS 31816 WITH SCORE 32032.239
AT ITER 7724 NEW BEST:: SOT 267623 SOS 216278 HAS SOPS 122656 HAS SOUS 32188 HAS SOUPS 31811 WITH SCORE 32027.278
AT ITER 7768 NEW BEST:: SOT 267623 SOS 216278 HAS SOPS 122648 HAS SOUS 32180 HAS SOUPS 31803 WITH SCORE 32019.278
AT ITER 7805 NEW BEST:: SOT 266839 SOS 215494 HAS SOPS 121864 HAS SOUS 32180 HAS SOUPS 31803 WITH SCORE 32018.494
AT ITER 7808 NEW BEST:: SOT 266805 SOS 215460 HAS SOPS 121830 HAS SOUS 32163 HAS SOUPS 31786 WITH SCORE 32001.46
AT ITER 7849 NEW BEST:: SOT 268850 SOS 217505 HAS SOPS 121744 HAS SOUS 31902 HAS SOUPS 31525 WITH SCORE 31742.505
AT ITER 7929 NEW BEST:: SOT 267604 SOS 216259 HAS SOPS 121949 HAS SOUS 31646 HAS SOUPS 31285 WITH SCORE 31501.259
AT ITER 7991 NEW BEST:: SOT 267540 SOS 216179 HAS SOPS 121777 HAS SOUS 31498 HAS SOUPS 31137 WITH SCORE 31353.179
AT ITER 8030 NEW BEST:: SOT 267252 SOS 215891 HAS SOPS 121489 HAS SOUS 31498 HAS SOUPS 31137 WITH SCORE 31352.891
AT ITER 8059 NEW BEST:: SOT 267237 SOS 215876 HAS SOPS 121474 HAS SOUS 31486 HAS SOUPS 31125 WITH SCORE 31340.876
AT ITER 8196 NEW BEST:: SOT 267182 SOS 215821 HAS SOPS 121364 HAS SOUS 31431 HAS SOUPS 31070 WITH SCORE 31285.821
AT ITER 8239 NEW BEST:: SOT 267182 SOS 215821 HAS SOPS 121216 HAS SOUS 31430 HAS SOUPS 31069 WITH SCORE 31284.821
AT ITER 8336 NEW BEST:: SOT 267174 SOS 215813 HAS SOPS 121156 HAS SOUS 31416 HAS SOUPS 31055 WITH SCORE 31270.813
AT ITER 8371 NEW BEST:: SOT 267582 SOS 216221 HAS SOPS 121084 HAS SOUS 31263 HAS SOUPS 30902 WITH SCORE 31118.221
AT ITER 8426 NEW BEST:: SOT 267584 SOS 216223 HAS SOPS 121086 HAS SOUS 31238 HAS SOUPS 30877 WITH SCORE 31093.223
AT ITER 8454 NEW BEST:: SOT 267661 SOS 216300 HAS SOPS 121163 HAS SOUS 31213 HAS SOUPS 30852 WITH SCORE 31068.3
AT ITER 8570 NEW BEST:: SOT 267576 SOS 216215 HAS SOPS 120967 HAS SOUS 31108 HAS SOUPS 30747 WITH SCORE 30963.215
AT ITER 8579 NEW BEST:: SOT 267482 SOS 216121 HAS SOPS 123505 HAS SOUS 31108 HAS SOUPS 30747 WITH SCORE 30963.121
AT ITER 8653 NEW BEST:: SOT 267526 SOS 216117 HAS SOPS 123501 HAS SOUS 31098 HAS SOUPS 30737 WITH SCORE 30953.117
AT ITER 8694 NEW BEST:: SOT 263215 SOS 211806 HAS SOPS 119279 HAS SOUS 29991 HAS SOUPS 29630 WITH SCORE 29841.806
AT ITER 8701 NEW BEST:: SOT 263044 SOS 211635 HAS SOPS 119753 HAS SOUS 29958 HAS SOUPS 29597 WITH SCORE 29808.635
AT ITER 8726 NEW BEST:: SOT 263005 SOS 211596 HAS SOPS 119714 HAS SOUS 29919 HAS SOUPS 29558 WITH SCORE 29769.596
AT ITER 8742 NEW BEST:: SOT 263126 SOS 211717 HAS SOPS 119835 HAS SOUS 29891 HAS SOUPS 29530 WITH SCORE 29741.717
AT ITER 8810 NEW BEST:: SOT 262086 SOS 210677 HAS SOPS 118795 HAS SOUS 29891 HAS SOUPS 29530 WITH SCORE 29740.677
AT ITER 8990 NEW BEST:: SOT 262346 SOS 210937 HAS SOPS 118850 HAS SOUS 29876 HAS SOUPS 29515 WITH SCORE 29725.937
AT ITER 9104 NEW BEST:: SOT 262902 SOS 211493 HAS SOPS 119322 HAS SOUS 29836 HAS SOUPS 29475 WITH SCORE 29686.493
AT ITER 9149 NEW BEST:: SOT 263070 SOS 211661 HAS SOPS 119575 HAS SOUS 29789 HAS SOUPS 29428 WITH SCORE 29639.661
AT ITER 9163 NEW BEST:: SOT 262890 SOS 211481 HAS SOPS 119395 HAS SOUS 29713 HAS SOUPS 29352 WITH SCORE 29563.481
AT ITER 9180 NEW BEST:: SOT 262751 SOS 211342 HAS SOPS 119325 HAS SOUS 29678 HAS SOUPS 29317 WITH SCORE 29528.342
AT ITER 9224 NEW BEST:: SOT 262729 SOS 211320 HAS SOPS 119259 HAS SOUS 29677 HAS SOUPS 29316 WITH SCORE 29527.32
AT ITER 9486 NEW BEST:: SOT 262719 SOS 211310 HAS SOPS 119249 HAS SOUS 29667 HAS SOUPS 29306 WITH SCORE 29517.31
AT ITER 9489 NEW BEST:: SOT 262387 SOS 210978 HAS SOPS 118917 HAS SOUS 29572 HAS SOUPS 29211 WITH SCORE 29421.978
AT ITER 9500 NEW BEST:: SOT 260739 SOS 209330 HAS SOPS 125634 HAS SOUS 29360 HAS SOUPS 29015 WITH SCORE 29224.33
AT ITER 9513 NEW BEST:: SOT 261209 SOS 209780 HAS SOPS 125572 HAS SOUS 29327 HAS SOUPS 28982 WITH SCORE 29191.78
AT ITER 9585 NEW BEST:: SOT 261001 SOS 209572 HAS SOPS 125364 HAS SOUS 29327 HAS SOUPS 28982 WITH SCORE 29191.572
AT ITER 9629 NEW BEST:: SOT 261338 SOS 209909 HAS SOPS 124807 HAS SOUS 29180 HAS SOUPS 28835 WITH SCORE 29044.909
AT ITER 9675 NEW BEST:: SOT 261315 SOS 209886 HAS SOPS 124874 HAS SOUS 29164 HAS SOUPS 28819 WITH SCORE 29028.886
AT ITER 9697 NEW BEST:: SOT 261305 SOS 209876 HAS SOPS 124809 HAS SOUS 29144 HAS SOUPS 28799 WITH SCORE 29008.876
AT ITER 9701 NEW BEST:: SOT 259687 SOS 208258 HAS SOPS 123891 HAS SOUS 28995 HAS SOUPS 28650 WITH SCORE 28858.258
AT ITER 9768 NEW BEST:: SOT 259630 SOS 208201 HAS SOPS 123834 HAS SOUS 28919 HAS SOUPS 28574 WITH SCORE 28782.201
AT ITER 9803 NEW BEST:: SOT 259458 SOS 208029 HAS SOPS 123702 HAS SOUS 28777 HAS SOUPS 28442 WITH SCORE 28650.029
AT ITER 9851 NEW BEST:: SOT 259412 SOS 207983 HAS SOPS 123656 HAS SOUS 28731 HAS SOUPS 28396 WITH SCORE 28603.983
AT ITER 9877 NEW BEST:: SOT 258712 SOS 207283 HAS SOPS 123880 HAS SOUS 28731 HAS SOUPS 28396 WITH SCORE 28603.283
AT ITER 9929 NEW BEST:: SOT 258951 SOS 207522 HAS SOPS 124118 HAS SOUS 28730 HAS SOUPS 28395 WITH SCORE 28602.522
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 1650160 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16153692 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="SieveSingleMsgMbox-PT-d1m36"
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 SieveSingleMsgMbox-PT-d1m36, 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 r419-tajo-167905973800432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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