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.r035-tajo-167813687700112.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 BridgeAndVehicles-COL-V50P50N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813687700112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 8.1K Feb 25 12:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 12:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 12:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 12:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 13:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 13:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 44K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678463911062

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=BridgeAndVehicles-COL-V50P50N50
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 15:58:33] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 15:58:34] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 15:58:34] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 15:58:34] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 15:58:34] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 779 ms
[2023-03-10 15:58:35] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 168 PT places and 531118.0 transition bindings in 52 ms.
[2023-03-10 15:58:35] [INFO ] Unfolded HLPN to a Petri net with 168 places and 5408 transitions 42330 arcs in 251 ms.
[2023-03-10 15:58:35] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 15:58:37] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 168 places, 5408 transitions and 42330 arcs took 147 ms.
Total runtime 3198 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (COL), instance V50P50N50
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: 168 places, 5408 transitions, 42330 arcs.
AT ITER 0 NEW BEST:: SOT 608712 SOS 595020 HAS SOPS 589470 HAS SOUS 42315 HAS SOUPS 42257 WITH SCORE 42852.02
AT ITER 30 NEW BEST:: SOT 608712 SOS 595020 HAS SOPS 589470 HAS SOUS 42313 HAS SOUPS 42255 WITH SCORE 42850.02
AT ITER 32 NEW BEST:: SOT 610575 SOS 596883 HAS SOPS 591333 HAS SOUS 40808 HAS SOUPS 40750 WITH SCORE 41346.883
AT ITER 37 NEW BEST:: SOT 608712 SOS 595020 HAS SOPS 589470 HAS SOUS 38945 HAS SOUPS 38887 WITH SCORE 39482.02
AT ITER 56 NEW BEST:: SOT 608712 SOS 595020 HAS SOPS 589470 HAS SOUS 38311 HAS SOUPS 38253 WITH SCORE 38848.02
AT ITER 63 NEW BEST:: SOT 608712 SOS 595020 HAS SOPS 589470 HAS SOUS 38249 HAS SOUPS 38191 WITH SCORE 38786.02
AT ITER 79 NEW BEST:: SOT 608916 SOS 595224 HAS SOPS 589674 HAS SOUS 37431 HAS SOUPS 37373 WITH SCORE 37968.224
AT ITER 123 NEW BEST:: SOT 609759 SOS 596067 HAS SOPS 590517 HAS SOUS 36946 HAS SOUPS 36888 WITH SCORE 37484.067
AT ITER 149 NEW BEST:: SOT 609739 SOS 596047 HAS SOPS 590497 HAS SOUS 36886 HAS SOUPS 36828 WITH SCORE 37424.047
AT ITER 171 NEW BEST:: SOT 609739 SOS 596047 HAS SOPS 590497 HAS SOUS 33110 HAS SOUPS 33052 WITH SCORE 33648.047
AT ITER 196 NEW BEST:: SOT 610054 SOS 596362 HAS SOPS 590812 HAS SOUS 32046 HAS SOUPS 31988 WITH SCORE 32584.362
AT ITER 197 NEW BEST:: SOT 610054 SOS 596362 HAS SOPS 590812 HAS SOUS 32044 HAS SOUPS 31986 WITH SCORE 32582.362
AT ITER 226 NEW BEST:: SOT 610054 SOS 596362 HAS SOPS 590812 HAS SOUS 32042 HAS SOUPS 31984 WITH SCORE 32580.362
AT ITER 236 NEW BEST:: SOT 610054 SOS 596362 HAS SOPS 590812 HAS SOUS 32040 HAS SOUPS 31982 WITH SCORE 32578.362
AT ITER 283 NEW BEST:: SOT 609139 SOS 595549 HAS SOPS 589999 HAS SOUS 31100 HAS SOUPS 31043 WITH SCORE 31638.549
AT ITER 296 NEW BEST:: SOT 609279 SOS 595689 HAS SOPS 590139 HAS SOUS 31085 HAS SOUPS 31028 WITH SCORE 31623.689
AT ITER 339 NEW BEST:: SOT 609276 SOS 595686 HAS SOPS 590136 HAS SOUS 31082 HAS SOUPS 31025 WITH SCORE 31620.686
AT ITER 351 NEW BEST:: SOT 610059 SOS 596469 HAS SOPS 590919 HAS SOUS 29442 HAS SOUPS 29385 WITH SCORE 29981.469
AT ITER 355 NEW BEST:: SOT 610076 SOS 596486 HAS SOPS 590936 HAS SOUS 29383 HAS SOUPS 29326 WITH SCORE 29922.486
AT ITER 359 NEW BEST:: SOT 610518 SOS 596928 HAS SOPS 591378 HAS SOUS 29346 HAS SOUPS 29289 WITH SCORE 29885.928
AT ITER 394 NEW BEST:: SOT 610503 SOS 596913 HAS SOPS 591363 HAS SOUS 29307 HAS SOUPS 29250 WITH SCORE 29846.913
AT ITER 463 NEW BEST:: SOT 609482 SOS 596575 HAS SOPS 591025 HAS SOUS 28789 HAS SOUPS 28732 WITH SCORE 29328.575
AT ITER 483 NEW BEST:: SOT 609482 SOS 597236 HAS SOPS 591686 HAS SOUS 28788 HAS SOUPS 28731 WITH SCORE 29328.236
AT ITER 498 NEW BEST:: SOT 609481 SOS 597235 HAS SOPS 591685 HAS SOUS 28785 HAS SOUPS 28728 WITH SCORE 29325.235
AT ITER 499 NEW BEST:: SOT 609481 SOS 474113 HAS SOPS 472663 HAS SOUS 28743 HAS SOUPS 28727 WITH SCORE 29201.113
AT ITER 503 NEW BEST:: SOT 609477 SOS 474111 HAS SOPS 472661 HAS SOUS 28740 HAS SOUPS 28724 WITH SCORE 29198.111
AT ITER 532 NEW BEST:: SOT 609476 SOS 474110 HAS SOPS 472660 HAS SOUS 28737 HAS SOUPS 28721 WITH SCORE 29195.11
AT ITER 540 NEW BEST:: SOT 609476 SOS 474108 HAS SOPS 472658 HAS SOUS 28737 HAS SOUPS 28721 WITH SCORE 29195.108
AT ITER 555 NEW BEST:: SOT 609475 SOS 474107 HAS SOPS 472657 HAS SOUS 28734 HAS SOUPS 28718 WITH SCORE 29192.107
AT ITER 581 NEW BEST:: SOT 609475 SOS 469214 HAS SOPS 468364 HAS SOUS 28722 HAS SOUPS 28712 WITH SCORE 29181.214
AT ITER 586 NEW BEST:: SOT 609474 SOS 469213 HAS SOPS 468363 HAS SOUS 28719 HAS SOUPS 28709 WITH SCORE 29178.213
AT ITER 610 NEW BEST:: SOT 609474 SOS 468133 HAS SOPS 467283 HAS SOUS 28697 HAS SOUPS 28687 WITH SCORE 29155.133
AT ITER 656 NEW BEST:: SOT 609653 SOS 467038 HAS SOPS 466188 HAS SOUS 28435 HAS SOUPS 28425 WITH SCORE 28892.038
AT ITER 667 NEW BEST:: SOT 609646 SOS 467031 HAS SOPS 466181 HAS SOUS 28414 HAS SOUPS 28404 WITH SCORE 28871.031
AT ITER 671 NEW BEST:: SOT 609639 SOS 467024 HAS SOPS 466174 HAS SOUS 28393 HAS SOUPS 28383 WITH SCORE 28850.024
AT ITER 725 NEW BEST:: SOT 609632 SOS 467017 HAS SOPS 466167 HAS SOUS 28372 HAS SOUPS 28362 WITH SCORE 28829.017
AT ITER 801 NEW BEST:: SOT 609631 SOS 467016 HAS SOPS 466166 HAS SOUS 28369 HAS SOUPS 28359 WITH SCORE 28826.016
AT ITER 826 NEW BEST:: SOT 609631 SOS 466630 HAS SOPS 465780 HAS SOUS 28357 HAS SOUPS 28347 WITH SCORE 28813.63
AT ITER 860 NEW BEST:: SOT 613938 SOS 471027 HAS SOPS 470177 HAS SOUS 28038 HAS SOUPS 28028 WITH SCORE 28499.027
AT ITER 862 NEW BEST:: SOT 613938 SOS 470326 HAS SOPS 469576 HAS SOUS 28032 HAS SOUPS 28023 WITH SCORE 28493.326
AT ITER 893 NEW BEST:: SOT 613938 SOS 470324 HAS SOPS 469574 HAS SOUS 28032 HAS SOUPS 28023 WITH SCORE 28493.324
AT ITER 930 NEW BEST:: SOT 614543 SOS 470929 HAS SOPS 470179 HAS SOUS 28010 HAS SOUPS 28001 WITH SCORE 28471.929
AT ITER 959 NEW BEST:: SOT 614837 SOS 471223 HAS SOPS 470473 HAS SOUS 27961 HAS SOUPS 27952 WITH SCORE 28423.223
AT ITER 996 NEW BEST:: SOT 614322 SOS 470708 HAS SOPS 469958 HAS SOUS 27944 HAS SOUPS 27935 WITH SCORE 28405.708
AT ITER 1069 NEW BEST:: SOT 614336 SOS 470722 HAS SOPS 469972 HAS SOUS 27933 HAS SOUPS 27924 WITH SCORE 28394.722
AT ITER 1078 NEW BEST:: SOT 614334 SOS 470720 HAS SOPS 469970 HAS SOUS 27927 HAS SOUPS 27918 WITH SCORE 28388.72
AT ITER 1130 NEW BEST:: SOT 614332 SOS 470718 HAS SOPS 469968 HAS SOUS 27921 HAS SOUPS 27912 WITH SCORE 28382.718
AT ITER 1153 NEW BEST:: SOT 617290 SOS 473763 HAS SOPS 473013 HAS SOUS 26782 HAS SOUPS 26773 WITH SCORE 27246.763
AT ITER 1154 NEW BEST:: SOT 617290 SOS 473855 HAS SOPS 473105 HAS SOUS 26692 HAS SOUPS 26683 WITH SCORE 27156.855
AT ITER 1163 NEW BEST:: SOT 617530 SOS 474102 HAS SOPS 473352 HAS SOUS 26662 HAS SOUPS 26653 WITH SCORE 27127.102
AT ITER 1217 NEW BEST:: SOT 617530 SOS 473071 HAS SOPS 472321 HAS SOUS 26641 HAS SOUPS 26632 WITH SCORE 27105.071
AT ITER 1239 NEW BEST:: SOT 617530 SOS 473069 HAS SOPS 472319 HAS SOUS 26641 HAS SOUPS 26632 WITH SCORE 27105.069
AT ITER 1242 NEW BEST:: SOT 617528 SOS 473067 HAS SOPS 472317 HAS SOUS 26637 HAS SOUPS 26628 WITH SCORE 27101.067
AT ITER 1266 NEW BEST:: SOT 617528 SOS 473065 HAS SOPS 472315 HAS SOUS 26637 HAS SOUPS 26628 WITH SCORE 27101.065
AT ITER 1286 NEW BEST:: SOT 617528 SOS 472363 HAS SOPS 471613 HAS SOUS 26623 HAS SOUPS 26614 WITH SCORE 27086.363
AT ITER 1288 NEW BEST:: SOT 617489 SOS 472324 HAS SOPS 471574 HAS SOUS 26574 HAS SOUPS 26565 WITH SCORE 27037.324
AT ITER 1310 NEW BEST:: SOT 617442 SOS 472277 HAS SOPS 471577 HAS SOUS 26524 HAS SOUPS 26516 WITH SCORE 26988.277
AT ITER 1340 NEW BEST:: SOT 617065 SOS 472198 HAS SOPS 471898 HAS SOUS 26470 HAS SOUPS 26464 WITH SCORE 26936.198
AT ITER 1348 NEW BEST:: SOT 617061 SOS 472194 HAS SOPS 471894 HAS SOUS 26468 HAS SOUPS 26462 WITH SCORE 26934.194
AT ITER 1374 NEW BEST:: SOT 617048 SOS 472181 HAS SOPS 471881 HAS SOUS 26453 HAS SOUPS 26447 WITH SCORE 26919.181
AT ITER 1388 NEW BEST:: SOT 617048 SOS 472081 HAS SOPS 471781 HAS SOUS 26451 HAS SOUPS 26445 WITH SCORE 26917.081
AT ITER 1392 NEW BEST:: SOT 617047 SOS 472080 HAS SOPS 471780 HAS SOUS 26448 HAS SOUPS 26442 WITH SCORE 26914.08
AT ITER 1482 NEW BEST:: SOT 617047 SOS 472078 HAS SOPS 471778 HAS SOUS 26448 HAS SOUPS 26442 WITH SCORE 26914.078
AT ITER 1496 NEW BEST:: SOT 617115 SOS 472146 HAS SOPS 471846 HAS SOUS 26361 HAS SOUPS 26355 WITH SCORE 26827.146
AT ITER 1499 NEW BEST:: SOT 617115 SOS 472142 HAS SOPS 471842 HAS SOUS 26361 HAS SOUPS 26355 WITH SCORE 26827.142
AT ITER 1546 NEW BEST:: SOT 616828 SOS 471838 HAS SOPS 471538 HAS SOUS 26059 HAS SOUPS 26053 WITH SCORE 26524.838
AT ITER 1619 NEW BEST:: SOT 616828 SOS 471022 HAS SOPS 470722 HAS SOUS 26043 HAS SOUPS 26037 WITH SCORE 26508.022
AT ITER 1627 NEW BEST:: SOT 616826 SOS 471020 HAS SOPS 470720 HAS SOUS 26039 HAS SOUPS 26033 WITH SCORE 26504.02
AT ITER 1641 NEW BEST:: SOT 616818 SOS 471012 HAS SOPS 470712 HAS SOUS 26023 HAS SOUPS 26017 WITH SCORE 26488.012
AT ITER 1648 NEW BEST:: SOT 616854 SOS 471048 HAS SOPS 470748 HAS SOUS 26004 HAS SOUPS 25998 WITH SCORE 26469.048
AT ITER 1668 NEW BEST:: SOT 616830 SOS 471024 HAS SOPS 470724 HAS SOUS 25980 HAS SOUPS 25974 WITH SCORE 26445.024
AT ITER 1672 NEW BEST:: SOT 616829 SOS 471023 HAS SOPS 470723 HAS SOUS 25977 HAS SOUPS 25971 WITH SCORE 26442.023
AT ITER 1687 NEW BEST:: SOT 617396 SOS 471590 HAS SOPS 471290 HAS SOUS 24319 HAS SOUPS 24313 WITH SCORE 24784.59
AT ITER 1693 NEW BEST:: SOT 617820 SOS 472014 HAS SOPS 471714 HAS SOUS 24211 HAS SOUPS 24205 WITH SCORE 24677.014
AT ITER 1699 NEW BEST:: SOT 617815 SOS 472009 HAS SOPS 471709 HAS SOUS 24196 HAS SOUPS 24190 WITH SCORE 24662.009
AT ITER 1706 NEW BEST:: SOT 618441 SOS 472635 HAS SOPS 472335 HAS SOUS 23232 HAS SOUPS 23226 WITH SCORE 23698.635
AT ITER 1734 NEW BEST:: SOT 619732 SOS 473947 HAS SOPS 473647 HAS SOUS 23139 HAS SOUPS 23133 WITH SCORE 23606.947
AT ITER 1751 NEW BEST:: SOT 619730 SOS 473945 HAS SOPS 473645 HAS SOUS 23135 HAS SOUPS 23129 WITH SCORE 23602.945
AT ITER 1765 NEW BEST:: SOT 619728 SOS 473943 HAS SOPS 473643 HAS SOUS 23131 HAS SOUPS 23125 WITH SCORE 23598.943
AT ITER 1779 NEW BEST:: SOT 619726 SOS 473941 HAS SOPS 473641 HAS SOUS 23129 HAS SOUPS 23123 WITH SCORE 23596.941
AT ITER 1791 NEW BEST:: SOT 619718 SOS 473933 HAS SOPS 473633 HAS SOUS 23113 HAS SOUPS 23107 WITH SCORE 23580.933
AT ITER 1794 NEW BEST:: SOT 619718 SOS 473927 HAS SOPS 473627 HAS SOUS 23113 HAS SOUPS 23107 WITH SCORE 23580.927
AT ITER 1832 NEW BEST:: SOT 619708 SOS 473917 HAS SOPS 473617 HAS SOUS 23093 HAS SOUPS 23087 WITH SCORE 23560.917
AT ITER 1869 NEW BEST:: SOT 620791 SOS 475016 HAS SOPS 474716 HAS SOUS 22893 HAS SOUPS 22887 WITH SCORE 23362.016
AT ITER 1892 NEW BEST:: SOT 620775 SOS 475000 HAS SOPS 474700 HAS SOUS 22861 HAS SOUPS 22855 WITH SCORE 23330.0
AT ITER 1914 NEW BEST:: SOT 620775 SOS 474990 HAS SOPS 474690 HAS SOUS 22861 HAS SOUPS 22855 WITH SCORE 23329.99
AT ITER 2001 NEW BEST:: SOT 620761 SOS 474976 HAS SOPS 474676 HAS SOUS 22833 HAS SOUPS 22827 WITH SCORE 23301.976
AT ITER 2020 NEW BEST:: SOT 620777 SOS 473094 HAS SOPS 472716 HAS SOUS 22870 HAS SOUPS 22821 WITH SCORE 23294.094
AT ITER 2086 NEW BEST:: SOT 620773 SOS 473090 HAS SOPS 472712 HAS SOUS 22862 HAS SOUPS 22813 WITH SCORE 23286.09
AT ITER 2091 NEW BEST:: SOT 620757 SOS 473074 HAS SOPS 472696 HAS SOUS 22830 HAS SOUPS 22781 WITH SCORE 23254.074
AT ITER 2104 NEW BEST:: SOT 620757 SOS 473072 HAS SOPS 472694 HAS SOUS 22830 HAS SOUPS 22781 WITH SCORE 23254.072
AT ITER 2119 NEW BEST:: SOT 620755 SOS 473070 HAS SOPS 472692 HAS SOUS 22826 HAS SOUPS 22777 WITH SCORE 23250.07
AT ITER 2141 NEW BEST:: SOT 620753 SOS 473068 HAS SOPS 472690 HAS SOUS 22822 HAS SOUPS 22773 WITH SCORE 23246.068
AT ITER 2156 NEW BEST:: SOT 620753 SOS 473060 HAS SOPS 472682 HAS SOUS 22822 HAS SOUPS 22773 WITH SCORE 23246.06
AT ITER 2249 NEW BEST:: SOT 620693 SOS 473000 HAS SOPS 472622 HAS SOUS 22702 HAS SOUPS 22653 WITH SCORE 23126.0
AT ITER 2300 NEW BEST:: SOT 620693 SOS 472996 HAS SOPS 472618 HAS SOUS 22702 HAS SOUPS 22653 WITH SCORE 23125.996
AT ITER 2340 NEW BEST:: SOT 620665 SOS 472968 HAS SOPS 472590 HAS SOUS 22666 HAS SOUPS 22617 WITH SCORE 23089.968
AT ITER 2363 NEW BEST:: SOT 620661 SOS 472968 HAS SOPS 472590 HAS SOUS 22653 HAS SOUPS 22604 WITH SCORE 23076.968
AT ITER 2386 NEW BEST:: SOT 620661 SOS 472964 HAS SOPS 472586 HAS SOUS 22653 HAS SOUPS 22604 WITH SCORE 23076.964
AT ITER 2490 NEW BEST:: SOT 620668 SOS 472966 HAS SOPS 472838 HAS SOUS 22626 HAS SOUPS 22582 WITH SCORE 23054.966
AT ITER 2564 NEW BEST:: SOT 620620 SOS 472918 HAS SOPS 472790 HAS SOUS 22534 HAS SOUPS 22490 WITH SCORE 22962.918
AT ITER 2615 NEW BEST:: SOT 620620 SOS 472622 HAS SOPS 472494 HAS SOUS 22528 HAS SOUPS 22484 WITH SCORE 22956.622
AT ITER 2627 NEW BEST:: SOT 620602 SOS 472604 HAS SOPS 472476 HAS SOUS 22492 HAS SOUPS 22448 WITH SCORE 22920.604
AT ITER 2730 NEW BEST:: SOT 620602 SOS 472447 HAS SOPS 472319 HAS SOUS 22489 HAS SOUPS 22445 WITH SCORE 22917.447
AT ITER 2763 NEW BEST:: SOT 620600 SOS 472445 HAS SOPS 472317 HAS SOUS 22485 HAS SOUPS 22441 WITH SCORE 22913.445
AT ITER 2768 NEW BEST:: SOT 620598 SOS 472443 HAS SOPS 472315 HAS SOUS 22481 HAS SOUPS 22437 WITH SCORE 22909.443
AT ITER 2822 NEW BEST:: SOT 620598 SOS 472105 HAS SOPS 471963 HAS SOUS 22488 HAS SOUPS 22437 WITH SCORE 22909.105
AT ITER 2882 NEW BEST:: SOT 620596 SOS 472103 HAS SOPS 471961 HAS SOUS 22484 HAS SOUPS 22433 WITH SCORE 22905.103
AT ITER 2932 NEW BEST:: SOT 620594 SOS 472101 HAS SOPS 471959 HAS SOUS 22480 HAS SOUPS 22429 WITH SCORE 22901.101
AT ITER 2990 NEW BEST:: SOT 620574 SOS 472081 HAS SOPS 471939 HAS SOUS 22440 HAS SOUPS 22389 WITH SCORE 22861.081
AT ITER 3055 NEW BEST:: SOT 620567 SOS 472072 HAS SOPS 471930 HAS SOUS 22423 HAS SOUPS 22372 WITH SCORE 22844.072
AT ITER 3064 NEW BEST:: SOT 620543 SOS 472048 HAS SOPS 471906 HAS SOUS 22375 HAS SOUPS 22324 WITH SCORE 22796.048
AT ITER 3127 NEW BEST:: SOT 620531 SOS 472036 HAS SOPS 471894 HAS SOUS 22351 HAS SOUPS 22300 WITH SCORE 22772.036
AT ITER 3139 NEW BEST:: SOT 620531 SOS 472034 HAS SOPS 471892 HAS SOUS 22351 HAS SOUPS 22300 WITH SCORE 22772.034
AT ITER 3178 NEW BEST:: SOT 620529 SOS 472032 HAS SOPS 471890 HAS SOUS 22347 HAS SOUPS 22296 WITH SCORE 22768.032
AT ITER 3228 NEW BEST:: SOT 620529 SOS 472030 HAS SOPS 471888 HAS SOUS 22347 HAS SOUPS 22296 WITH SCORE 22768.03
AT ITER 3231 NEW BEST:: SOT 620523 SOS 472024 HAS SOPS 471882 HAS SOUS 22335 HAS SOUPS 22284 WITH SCORE 22756.024
AT ITER 3300 NEW BEST:: SOT 620523 SOS 472018 HAS SOPS 471876 HAS SOUS 22335 HAS SOUPS 22284 WITH SCORE 22756.018
AT ITER 3301 NEW BEST:: SOT 620517 SOS 472012 HAS SOPS 471870 HAS SOUS 22323 HAS SOUPS 22272 WITH SCORE 22744.012
AT ITER 3335 NEW BEST:: SOT 620517 SOS 472010 HAS SOPS 471868 HAS SOUS 22323 HAS SOUPS 22272 WITH SCORE 22744.01
AT ITER 3342 NEW BEST:: SOT 620886 SOS 472379 HAS SOPS 472237 HAS SOUS 22319 HAS SOUPS 22268 WITH SCORE 22740.379
AT ITER 3378 NEW BEST:: SOT 620886 SOS 472377 HAS SOPS 472235 HAS SOUS 22319 HAS SOUPS 22268 WITH SCORE 22740.377
AT ITER 3553 NEW BEST:: SOT 620882 SOS 472373 HAS SOPS 472231 HAS SOUS 22311 HAS SOUPS 22260 WITH SCORE 22732.373
AT ITER 3554 NEW BEST:: SOT 620880 SOS 472371 HAS SOPS 472229 HAS SOUS 22307 HAS SOUPS 22256 WITH SCORE 22728.371
AT ITER 3632 NEW BEST:: SOT 620844 SOS 472341 HAS SOPS 472199 HAS SOUS 22269 HAS SOUPS 22218 WITH SCORE 22690.341
AT ITER 3663 NEW BEST:: SOT 620844 SOS 472337 HAS SOPS 472195 HAS SOUS 22269 HAS SOUPS 22218 WITH SCORE 22690.337
AT ITER 3708 NEW BEST:: SOT 620842 SOS 472335 HAS SOPS 472193 HAS SOUS 22265 HAS SOUPS 22214 WITH SCORE 22686.335
AT ITER 3709 NEW BEST:: SOT 620840 SOS 472333 HAS SOPS 472191 HAS SOUS 22261 HAS SOUPS 22210 WITH SCORE 22682.333
AT ITER 3727 NEW BEST:: SOT 620842 SOS 472335 HAS SOPS 472193 HAS SOUS 22253 HAS SOUPS 22202 WITH SCORE 22674.335
AT ITER 3751 NEW BEST:: SOT 620842 SOS 472331 HAS SOPS 472189 HAS SOUS 22253 HAS SOUPS 22202 WITH SCORE 22674.331
AT ITER 3769 NEW BEST:: SOT 620842 SOS 472327 HAS SOPS 472185 HAS SOUS 22253 HAS SOUPS 22202 WITH SCORE 22674.327
AT ITER 3826 NEW BEST:: SOT 620838 SOS 472323 HAS SOPS 472181 HAS SOUS 22245 HAS SOUPS 22194 WITH SCORE 22666.323
AT ITER 3857 NEW BEST:: SOT 620838 SOS 472317 HAS SOPS 472175 HAS SOUS 22245 HAS SOUPS 22194 WITH SCORE 22666.317
AT ITER 3889 NEW BEST:: SOT 620839 SOS 472321 HAS SOPS 472179 HAS SOUS 22244 HAS SOUPS 22193 WITH SCORE 22665.321
AT ITER 3951 NEW BEST:: SOT 620839 SOS 472313 HAS SOPS 472171 HAS SOUS 22244 HAS SOUPS 22193 WITH SCORE 22665.313
AT ITER 3952 NEW BEST:: SOT 620829 SOS 472303 HAS SOPS 472161 HAS SOUS 22224 HAS SOUPS 22173 WITH SCORE 22645.303
AT ITER 3960 NEW BEST:: SOT 620828 SOS 472302 HAS SOPS 472160 HAS SOUS 22217 HAS SOUPS 22166 WITH SCORE 22638.302
AT ITER 4018 NEW BEST:: SOT 620828 SOS 472396 HAS SOPS 472253 HAS SOUS 22172 HAS SOUPS 22121 WITH SCORE 22593.396
AT ITER 4027 NEW BEST:: SOT 620826 SOS 472394 HAS SOPS 472251 HAS SOUS 22168 HAS SOUPS 22117 WITH SCORE 22589.394
AT ITER 4040 NEW BEST:: SOT 620826 SOS 472386 HAS SOPS 472243 HAS SOUS 22168 HAS SOUPS 22117 WITH SCORE 22589.386
AT ITER 4081 NEW BEST:: SOT 620826 SOS 472384 HAS SOPS 472241 HAS SOUS 22168 HAS SOUPS 22117 WITH SCORE 22589.384
AT ITER 4242 NEW BEST:: SOT 620824 SOS 472382 HAS SOPS 472239 HAS SOUS 22164 HAS SOUPS 22113 WITH SCORE 22585.382
AT ITER 4305 NEW BEST:: SOT 620746 SOS 472304 HAS SOPS 472163 HAS SOUS 22078 HAS SOUPS 22029 WITH SCORE 22501.304
AT ITER 4363 NEW BEST:: SOT 620746 SOS 472304 HAS SOPS 472163 HAS SOUS 21962 HAS SOUPS 21913 WITH SCORE 22385.304
AT ITER 4404 NEW BEST:: SOT 620744 SOS 472302 HAS SOPS 472161 HAS SOUS 21958 HAS SOUPS 21909 WITH SCORE 22381.302
AT ITER 4492 NEW BEST:: SOT 620744 SOS 472300 HAS SOPS 472159 HAS SOUS 21958 HAS SOUPS 21909 WITH SCORE 22381.3
AT ITER 4552 NEW BEST:: SOT 620742 SOS 472298 HAS SOPS 472157 HAS SOUS 21954 HAS SOUPS 21905 WITH SCORE 22377.298
AT ITER 4554 NEW BEST:: SOT 620738 SOS 472294 HAS SOPS 472153 HAS SOUS 21952 HAS SOUPS 21903 WITH SCORE 22375.294
AT ITER 4563 NEW BEST:: SOT 620736 SOS 472292 HAS SOPS 472151 HAS SOUS 21948 HAS SOUPS 21899 WITH SCORE 22371.292
AT ITER 4684 NEW BEST:: SOT 620734 SOS 472290 HAS SOPS 472149 HAS SOUS 21944 HAS SOUPS 21895 WITH SCORE 22367.29
AT ITER 4707 NEW BEST:: SOT 620734 SOS 472288 HAS SOPS 472147 HAS SOUS 21944 HAS SOUPS 21895 WITH SCORE 22367.288
AT ITER 4745 NEW BEST:: SOT 620734 SOS 472286 HAS SOPS 472145 HAS SOUS 21944 HAS SOUPS 21895 WITH SCORE 22367.286
AT ITER 4758 NEW BEST:: SOT 620734 SOS 472284 HAS SOPS 472143 HAS SOUS 21944 HAS SOUPS 21895 WITH SCORE 22367.284
AT ITER 4768 NEW BEST:: SOT 620726 SOS 472276 HAS SOPS 472135 HAS SOUS 21928 HAS SOUPS 21879 WITH SCORE 22351.276
AT ITER 4819 NEW BEST:: SOT 620722 SOS 472284 HAS SOPS 472143 HAS SOUS 21920 HAS SOUPS 21871 WITH SCORE 22343.284
AT ITER 4864 NEW BEST:: SOT 620722 SOS 472234 HAS SOPS 472091 HAS SOUS 21921 HAS SOUPS 21871 WITH SCORE 22343.234
AT ITER 4953 NEW BEST:: SOT 620746 SOS 472258 HAS SOPS 472115 HAS SOUS 21918 HAS SOUPS 21868 WITH SCORE 22340.258
AT ITER 5016 NEW BEST:: SOT 620740 SOS 472252 HAS SOPS 472109 HAS SOUS 21906 HAS SOUPS 21856 WITH SCORE 22328.252
AT ITER 5049 NEW BEST:: SOT 620791 SOS 472303 HAS SOPS 472160 HAS SOUS 21905 HAS SOUPS 21855 WITH SCORE 22327.303
AT ITER 5073 NEW BEST:: SOT 620781 SOS 472293 HAS SOPS 472150 HAS SOUS 21885 HAS SOUPS 21835 WITH SCORE 22307.293
AT ITER 5100 NEW BEST:: SOT 620777 SOS 472289 HAS SOPS 472146 HAS SOUS 21816 HAS SOUPS 21766 WITH SCORE 22238.289
AT ITER 5114 NEW BEST:: SOT 620777 SOS 472279 HAS SOPS 472136 HAS SOUS 21816 HAS SOUPS 21766 WITH SCORE 22238.279
AT ITER 5126 NEW BEST:: SOT 620775 SOS 472277 HAS SOPS 472134 HAS SOUS 21812 HAS SOUPS 21762 WITH SCORE 22234.277
AT ITER 5129 NEW BEST:: SOT 620771 SOS 472273 HAS SOPS 472130 HAS SOUS 21808 HAS SOUPS 21758 WITH SCORE 22230.273
AT ITER 5160 NEW BEST:: SOT 620767 SOS 472269 HAS SOPS 472126 HAS SOUS 21800 HAS SOUPS 21750 WITH SCORE 22222.269
AT ITER 5211 NEW BEST:: SOT 620759 SOS 472261 HAS SOPS 472118 HAS SOUS 21784 HAS SOUPS 21734 WITH SCORE 22206.261
AT ITER 5255 NEW BEST:: SOT 620762 SOS 472264 HAS SOPS 472121 HAS SOUS 21775 HAS SOUPS 21725 WITH SCORE 22197.264
AT ITER 5280 NEW BEST:: SOT 620754 SOS 472256 HAS SOPS 472113 HAS SOUS 21759 HAS SOUPS 21709 WITH SCORE 22181.256
AT ITER 5283 NEW BEST:: SOT 620754 SOS 472254 HAS SOPS 472111 HAS SOUS 21759 HAS SOUPS 21709 WITH SCORE 22181.254
AT ITER 5302 NEW BEST:: SOT 620754 SOS 472252 HAS SOPS 472109 HAS SOUS 21759 HAS SOUPS 21709 WITH SCORE 22181.252
AT ITER 5317 NEW BEST:: SOT 620752 SOS 472250 HAS SOPS 472107 HAS SOUS 21755 HAS SOUPS 21705 WITH SCORE 22177.25
AT ITER 5428 NEW BEST:: SOT 620750 SOS 472248 HAS SOPS 472105 HAS SOUS 21751 HAS SOUPS 21701 WITH SCORE 22173.248
AT ITER 5474 NEW BEST:: SOT 620750 SOS 472246 HAS SOPS 472103 HAS SOUS 21751 HAS SOUPS 21701 WITH SCORE 22173.246
AT ITER 5508 NEW BEST:: SOT 620748 SOS 472244 HAS SOPS 472101 HAS SOUS 21747 HAS SOUPS 21697 WITH SCORE 22169.244
AT ITER 5530 NEW BEST:: SOT 620744 SOS 472240 HAS SOPS 472097 HAS SOUS 21743 HAS SOUPS 21693 WITH SCORE 22165.24
AT ITER 5539 NEW BEST:: SOT 620742 SOS 472238 HAS SOPS 472095 HAS SOUS 21739 HAS SOUPS 21689 WITH SCORE 22161.238
AT ITER 5581 NEW BEST:: SOT 620740 SOS 472236 HAS SOPS 472093 HAS SOUS 21684 HAS SOUPS 21634 WITH SCORE 22106.236
AT ITER 5690 NEW BEST:: SOT 620766 SOS 469907 HAS SOPS 469857 HAS SOUS 21616 HAS SOUPS 21615 WITH SCORE 22084.907
AT ITER 5695 NEW BEST:: SOT 620760 SOS 469885 HAS SOPS 469835 HAS SOUS 21600 HAS SOUPS 21599 WITH SCORE 22068.885
AT ITER 5734 NEW BEST:: SOT 620750 SOS 469875 HAS SOPS 469825 HAS SOUS 21566 HAS SOUPS 21565 WITH SCORE 22034.875
AT ITER 5782 NEW BEST:: SOT 620740 SOS 469865 HAS SOPS 469815 HAS SOUS 21554 HAS SOUPS 21553 WITH SCORE 22022.865
AT ITER 5806 NEW BEST:: SOT 620730 SOS 469855 HAS SOPS 469805 HAS SOUS 21534 HAS SOUPS 21533 WITH SCORE 22002.855
AT ITER 6013 NEW BEST:: SOT 620728 SOS 469853 HAS SOPS 469803 HAS SOUS 21530 HAS SOUPS 21529 WITH SCORE 21998.853
AT ITER 6025 NEW BEST:: SOT 620726 SOS 469851 HAS SOPS 469801 HAS SOUS 21526 HAS SOUPS 21525 WITH SCORE 21994.851
AT ITER 6238 NEW BEST:: SOT 620724 SOS 469849 HAS SOPS 469799 HAS SOUS 21522 HAS SOUPS 21521 WITH SCORE 21990.849
AT ITER 6262 NEW BEST:: SOT 620718 SOS 469843 HAS SOPS 469793 HAS SOUS 21510 HAS SOUPS 21509 WITH SCORE 21978.843
AT ITER 6304 NEW BEST:: SOT 620712 SOS 469837 HAS SOPS 469787 HAS SOUS 21498 HAS SOUPS 21497 WITH SCORE 21966.837
AT ITER 6402 NEW BEST:: SOT 620722 SOS 469847 HAS SOPS 469797 HAS SOUS 21467 HAS SOUPS 21466 WITH SCORE 21935.847
AT ITER 6412 NEW BEST:: SOT 620720 SOS 469845 HAS SOPS 469795 HAS SOUS 21463 HAS SOUPS 21462 WITH SCORE 21931.845
AT ITER 6505 NEW BEST:: SOT 620718 SOS 469843 HAS SOPS 469793 HAS SOUS 21459 HAS SOUPS 21458 WITH SCORE 21927.843
AT ITER 6566 NEW BEST:: SOT 620726 SOS 469851 HAS SOPS 469801 HAS SOUS 21410 HAS SOUPS 21409 WITH SCORE 21878.851
AT ITER 6890 NEW BEST:: SOT 620704 SOS 469829 HAS SOPS 469779 HAS SOUS 21366 HAS SOUPS 21365 WITH SCORE 21834.829
AT ITER 6935 NEW BEST:: SOT 620701 SOS 469826 HAS SOPS 469776 HAS SOUS 21355 HAS SOUPS 21354 WITH SCORE 21823.826
AT ITER 6944 NEW BEST:: SOT 620699 SOS 469824 HAS SOPS 469774 HAS SOUS 21351 HAS SOUPS 21350 WITH SCORE 21819.824
AT ITER 7091 NEW BEST:: SOT 620697 SOS 469822 HAS SOPS 469772 HAS SOUS 21347 HAS SOUPS 21346 WITH SCORE 21815.822
AT ITER 7115 NEW BEST:: SOT 620695 SOS 469820 HAS SOPS 469770 HAS SOUS 21343 HAS SOUPS 21342 WITH SCORE 21811.82
AT ITER 7189 NEW BEST:: SOT 620695 SOS 469818 HAS SOPS 469768 HAS SOUS 21343 HAS SOUPS 21342 WITH SCORE 21811.818
AT ITER 7251 NEW BEST:: SOT 620695 SOS 469812 HAS SOPS 469762 HAS SOUS 21343 HAS SOUPS 21342 WITH SCORE 21811.812
AT ITER 7490 NEW BEST:: SOT 620693 SOS 469810 HAS SOPS 469760 HAS SOUS 21339 HAS SOUPS 21338 WITH SCORE 21807.81
AT ITER 7564 NEW BEST:: SOT 620691 SOS 469808 HAS SOPS 469758 HAS SOUS 21327 HAS SOUPS 21326 WITH SCORE 21795.808
AT ITER 7573 NEW BEST:: SOT 620689 SOS 469806 HAS SOPS 469756 HAS SOUS 21323 HAS SOUPS 21322 WITH SCORE 21791.806
AT ITER 7610 NEW BEST:: SOT 620683 SOS 469800 HAS SOPS 469750 HAS SOUS 21260 HAS SOUPS 21259 WITH SCORE 21728.8
AT ITER 7621 NEW BEST:: SOT 620681 SOS 469798 HAS SOPS 469748 HAS SOUS 21256 HAS SOUPS 21255 WITH SCORE 21724.798
AT ITER 7634 NEW BEST:: SOT 620679 SOS 469796 HAS SOPS 469746 HAS SOUS 21252 HAS SOUPS 21251 WITH SCORE 21720.796
AT ITER 7640 NEW BEST:: SOT 620677 SOS 469794 HAS SOPS 469744 HAS SOUS 21248 HAS SOUPS 21247 WITH SCORE 21716.794
AT ITER 7709 NEW BEST:: SOT 620673 SOS 469790 HAS SOPS 469740 HAS SOUS 21240 HAS SOUPS 21239 WITH SCORE 21708.79
AT ITER 7742 NEW BEST:: SOT 620667 SOS 469784 HAS SOPS 469734 HAS SOUS 21237 HAS SOUPS 21236 WITH SCORE 21705.784
AT ITER 7786 NEW BEST:: SOT 620669 SOS 469786 HAS SOPS 469736 HAS SOUS 21235 HAS SOUPS 21234 WITH SCORE 21703.786
AT ITER 7965 NEW BEST:: SOT 620669 SOS 469782 HAS SOPS 469732 HAS SOUS 21235 HAS SOUPS 21234 WITH SCORE 21703.782
AT ITER 8089 NEW BEST:: SOT 620669 SOS 469778 HAS SOPS 469728 HAS SOUS 21235 HAS SOUPS 21234 WITH SCORE 21703.778
AT ITER 8132 NEW BEST:: SOT 620667 SOS 469776 HAS SOPS 469726 HAS SOUS 21233 HAS SOUPS 21232 WITH SCORE 21701.776
AT ITER 8152 NEW BEST:: SOT 620717 SOS 469827 HAS SOPS 469777 HAS SOUS 21231 HAS SOUPS 21230 WITH SCORE 21699.827
AT ITER 8155 NEW BEST:: SOT 620711 SOS 469821 HAS SOPS 469771 HAS SOUS 21219 HAS SOUPS 21218 WITH SCORE 21687.821
AT ITER 8173 NEW BEST:: SOT 620709 SOS 469819 HAS SOPS 469769 HAS SOUS 21215 HAS SOUPS 21214 WITH SCORE 21683.819
AT ITER 8235 NEW BEST:: SOT 620707 SOS 469817 HAS SOPS 469767 HAS SOUS 21211 HAS SOUPS 21210 WITH SCORE 21679.817
AT ITER 8421 NEW BEST:: SOT 620719 SOS 468031 HAS SOPS 467908 HAS SOUS 21225 HAS SOUPS 21185 WITH SCORE 21653.031
AT ITER 8429 NEW BEST:: SOT 620713 SOS 468025 HAS SOPS 467902 HAS SOUS 21213 HAS SOUPS 21173 WITH SCORE 21641.025
AT ITER 8451 NEW BEST:: SOT 620711 SOS 468023 HAS SOPS 467900 HAS SOUS 21209 HAS SOUPS 21169 WITH SCORE 21637.023
AT ITER 8471 NEW BEST:: SOT 620707 SOS 468095 HAS SOPS 467972 HAS SOUS 21201 HAS SOUPS 21161 WITH SCORE 21629.095
AT ITER 8542 NEW BEST:: SOT 620703 SOS 468091 HAS SOPS 467968 HAS SOUS 21193 HAS SOUPS 21153 WITH SCORE 21621.091
AT ITER 8548 NEW BEST:: SOT 621017 SOS 468405 HAS SOPS 468282 HAS SOUS 21191 HAS SOUPS 21151 WITH SCORE 21619.405
AT ITER 8549 NEW BEST:: SOT 621017 SOS 468397 HAS SOPS 468274 HAS SOUS 21191 HAS SOUPS 21151 WITH SCORE 21619.397
AT ITER 8620 NEW BEST:: SOT 621015 SOS 468395 HAS SOPS 468272 HAS SOUS 21187 HAS SOUPS 21147 WITH SCORE 21615.395
AT ITER 8706 NEW BEST:: SOT 621021 SOS 468401 HAS SOPS 468278 HAS SOUS 21144 HAS SOUPS 21104 WITH SCORE 21572.401
AT ITER 8803 NEW BEST:: SOT 621019 SOS 468399 HAS SOPS 468276 HAS SOUS 21140 HAS SOUPS 21100 WITH SCORE 21568.399
AT ITER 8835 NEW BEST:: SOT 621019 SOS 468397 HAS SOPS 468274 HAS SOUS 21140 HAS SOUPS 21100 WITH SCORE 21568.397
AT ITER 8888 NEW BEST:: SOT 621019 SOS 465659 HAS SOPS 465536 HAS SOUS 21092 HAS SOUPS 21052 WITH SCORE 21517.659
AT ITER 8908 NEW BEST:: SOT 621019 SOS 465657 HAS SOPS 465534 HAS SOUS 21092 HAS SOUPS 21052 WITH SCORE 21517.657
AT ITER 8932 NEW BEST:: SOT 621015 SOS 465653 HAS SOPS 465530 HAS SOUS 21084 HAS SOUPS 21044 WITH SCORE 21509.653
AT ITER 8951 NEW BEST:: SOT 621013 SOS 465651 HAS SOPS 465528 HAS SOUS 21080 HAS SOUPS 21040 WITH SCORE 21505.651
AT ITER 8955 NEW BEST:: SOT 621065 SOS 465703 HAS SOPS 465580 HAS SOUS 21079 HAS SOUPS 21039 WITH SCORE 21504.703
AT ITER 9125 NEW BEST:: SOT 621065 SOS 465687 HAS SOPS 465564 HAS SOUS 21079 HAS SOUPS 21039 WITH SCORE 21504.687
AT ITER 9150 NEW BEST:: SOT 621057 SOS 465679 HAS SOPS 465556 HAS SOUS 21012 HAS SOUPS 20972 WITH SCORE 21437.679
AT ITER 9174 NEW BEST:: SOT 621159 SOS 465781 HAS SOPS 465658 HAS SOUS 21006 HAS SOUPS 20966 WITH SCORE 21431.781
AT ITER 9215 NEW BEST:: SOT 621159 SOS 465771 HAS SOPS 465648 HAS SOUS 21006 HAS SOUPS 20966 WITH SCORE 21431.771
AT ITER 9303 NEW BEST:: SOT 621157 SOS 465769 HAS SOPS 465646 HAS SOUS 21002 HAS SOUPS 20962 WITH SCORE 21427.769
AT ITER 9316 NEW BEST:: SOT 621792 SOS 466404 HAS SOPS 466281 HAS SOUS 21001 HAS SOUPS 20961 WITH SCORE 21427.404
AT ITER 9355 NEW BEST:: SOT 621784 SOS 466396 HAS SOPS 466273 HAS SOUS 20991 HAS SOUPS 20951 WITH SCORE 21417.396
AT ITER 9531 NEW BEST:: SOT 621780 SOS 466392 HAS SOPS 466269 HAS SOUS 20983 HAS SOUPS 20943 WITH SCORE 21409.392
AT ITER 9588 NEW BEST:: SOT 621778 SOS 466390 HAS SOPS 466267 HAS SOUS 20979 HAS SOUPS 20939 WITH SCORE 21405.39
AT ITER 9617 NEW BEST:: SOT 621774 SOS 466386 HAS SOPS 466263 HAS SOUS 20971 HAS SOUPS 20931 WITH SCORE 21397.386
AT ITER 9640 NEW BEST:: SOT 621776 SOS 466388 HAS SOPS 466265 HAS SOUS 20967 HAS SOUPS 20927 WITH SCORE 21393.388
AT ITER 9716 NEW BEST:: SOT 621984 SOS 466596 HAS SOPS 466473 HAS SOUS 20963 HAS SOUPS 20923 WITH SCORE 21389.596
AT ITER 9749 NEW BEST:: SOT 621982 SOS 466594 HAS SOPS 466471 HAS SOUS 20959 HAS SOUPS 20919 WITH SCORE 21385.594
AT ITER 9811 NEW BEST:: SOT 621978 SOS 466590 HAS SOPS 466467 HAS SOUS 20951 HAS SOUPS 20911 WITH SCORE 21377.59
AT ITER 9812 NEW BEST:: SOT 621972 SOS 466584 HAS SOPS 466461 HAS SOUS 20782 HAS SOUPS 20742 WITH SCORE 21208.584
AT ITER 9899 NEW BEST:: SOT 621970 SOS 466582 HAS SOPS 466459 HAS SOUS 20778 HAS SOUPS 20738 WITH SCORE 21204.582
AT ITER 9900 NEW BEST:: SOT 621970 SOS 466578 HAS SOPS 466455 HAS SOUS 20778 HAS SOUPS 20738 WITH SCORE 21204.578
AT ITER 9949 NEW BEST:: SOT 621968 SOS 466576 HAS SOPS 466453 HAS SOUS 20774 HAS SOUPS 20734 WITH SCORE 21200.576
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 153940 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16306384 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="BridgeAndVehicles-COL-V50P50N50"
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 BridgeAndVehicles-COL-V50P50N50, 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 r035-tajo-167813687700112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V50P50N50.tgz
mv BridgeAndVehicles-COL-V50P50N50 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 ;