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.r011-oct2-167813600500664.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 smartxred
Input is AutonomousCar-PT-09a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600500664
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 5.8K Feb 25 12:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 12:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 12:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 12:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 12:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 12:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 12:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 12:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 781K 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 1678741303208

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutonomousCar-PT-09a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 21:01:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 21:01:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 21:01:47] [INFO ] Load time of PNML (sax parser for PT used): 215 ms
[2023-03-13 21:01:47] [INFO ] Transformed 89 places.
[2023-03-13 21:01:47] [INFO ] Transformed 1249 transitions.
[2023-03-13 21:01:47] [INFO ] Found NUPN structural information;
[2023-03-13 21:01:47] [INFO ] Parsed PT model containing 89 places and 1249 transitions and 15631 arcs in 411 ms.
[2023-03-13 21:01:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 89 places, 1249 transitions and 15631 arcs took 51 ms.
Total runtime 554 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 09a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 89 places, 1249 transitions, 15631 arcs.
AT ITER 0 NEW BEST:: SOT 98953 SOS 84564 HAS SOPS 84562 HAS SOUS 45915 HAS SOUPS 45913 WITH SCORE 45997.564
AT ITER 2 NEW BEST:: SOT 99014 SOS 84640 HAS SOPS 84638 HAS SOUS 45877 HAS SOUPS 45875 WITH SCORE 45959.64
AT ITER 4 NEW BEST:: SOT 98995 SOS 84621 HAS SOPS 84619 HAS SOUS 45877 HAS SOUPS 45875 WITH SCORE 45959.621
AT ITER 6 NEW BEST:: SOT 98973 SOS 84599 HAS SOPS 84597 HAS SOUS 44074 HAS SOUPS 44072 WITH SCORE 44156.599
AT ITER 8 NEW BEST:: SOT 98980 SOS 84592 HAS SOPS 84590 HAS SOUS 43562 HAS SOUPS 43560 WITH SCORE 43644.592
AT ITER 10 NEW BEST:: SOT 98938 SOS 86974 HAS SOPS 86972 HAS SOUS 43557 HAS SOUPS 43555 WITH SCORE 43641.974
AT ITER 12 NEW BEST:: SOT 98945 SOS 86912 HAS SOPS 86910 HAS SOUS 43526 HAS SOUPS 43524 WITH SCORE 43610.912
AT ITER 14 NEW BEST:: SOT 98956 SOS 86992 HAS SOPS 86990 HAS SOUS 43433 HAS SOUPS 43431 WITH SCORE 43517.992
AT ITER 15 NEW BEST:: SOT 98742 SOS 86780 HAS SOPS 86778 HAS SOUS 43209 HAS SOUPS 43207 WITH SCORE 43293.78
AT ITER 17 NEW BEST:: SOT 98728 SOS 86738 HAS SOPS 86736 HAS SOUS 42043 HAS SOUPS 42041 WITH SCORE 42127.738
AT ITER 19 NEW BEST:: SOT 98706 SOS 86694 HAS SOPS 86692 HAS SOUS 41637 HAS SOUPS 41635 WITH SCORE 41721.694
AT ITER 20 NEW BEST:: SOT 98699 SOS 86665 HAS SOPS 86663 HAS SOUS 41438 HAS SOUPS 41436 WITH SCORE 41522.665
AT ITER 23 NEW BEST:: SOT 98687 SOS 86653 HAS SOPS 86651 HAS SOUS 41426 HAS SOUPS 41424 WITH SCORE 41510.653
AT ITER 31 NEW BEST:: SOT 98641 SOS 86607 HAS SOPS 86605 HAS SOUS 41375 HAS SOUPS 41373 WITH SCORE 41459.607
AT ITER 32 NEW BEST:: SOT 98557 SOS 86547 HAS SOPS 86545 HAS SOUS 41145 HAS SOUPS 41143 WITH SCORE 41229.547
AT ITER 38 NEW BEST:: SOT 98520 SOS 86539 HAS SOPS 86537 HAS SOUS 41085 HAS SOUPS 41083 WITH SCORE 41169.539
AT ITER 40 NEW BEST:: SOT 98513 SOS 86525 HAS SOPS 86523 HAS SOUS 41071 HAS SOUPS 41069 WITH SCORE 41155.525
AT ITER 41 NEW BEST:: SOT 98517 SOS 86507 HAS SOPS 86505 HAS SOUS 41011 HAS SOUPS 41009 WITH SCORE 41095.507
AT ITER 44 NEW BEST:: SOT 98563 SOS 86597 HAS SOPS 86595 HAS SOUS 40938 HAS SOUPS 40936 WITH SCORE 41022.597
AT ITER 47 NEW BEST:: SOT 97817 SOS 86771 HAS SOPS 86769 HAS SOUS 40595 HAS SOUPS 40593 WITH SCORE 40679.771
AT ITER 48 NEW BEST:: SOT 97843 SOS 86753 HAS SOPS 86751 HAS SOUS 39328 HAS SOUPS 39326 WITH SCORE 39412.753
AT ITER 52 NEW BEST:: SOT 97643 SOS 86368 HAS SOPS 86366 HAS SOUS 38568 HAS SOUPS 38566 WITH SCORE 38652.368
AT ITER 55 NEW BEST:: SOT 97633 SOS 86358 HAS SOPS 86356 HAS SOUS 38088 HAS SOUPS 38086 WITH SCORE 38172.358
AT ITER 56 NEW BEST:: SOT 97577 SOS 86313 HAS SOPS 86311 HAS SOUS 37653 HAS SOUPS 37651 WITH SCORE 37737.313
AT ITER 57 NEW BEST:: SOT 93907 SOS 82602 HAS SOPS 82600 HAS SOUS 35566 HAS SOUPS 35564 WITH SCORE 35646.602
AT ITER 59 NEW BEST:: SOT 93907 SOS 82562 HAS SOPS 82560 HAS SOUS 35533 HAS SOUPS 35531 WITH SCORE 35613.562
AT ITER 60 NEW BEST:: SOT 93859 SOS 82420 HAS SOPS 82418 HAS SOUS 35509 HAS SOUPS 35507 WITH SCORE 35589.42
AT ITER 61 NEW BEST:: SOT 94001 SOS 82533 HAS SOPS 82531 HAS SOUS 34933 HAS SOUPS 34931 WITH SCORE 35013.533
AT ITER 62 NEW BEST:: SOT 94215 SOS 82747 HAS SOPS 82745 HAS SOUS 34773 HAS SOUPS 34771 WITH SCORE 34853.747
AT ITER 65 NEW BEST:: SOT 93939 SOS 82471 HAS SOPS 82469 HAS SOUS 34651 HAS SOUPS 34649 WITH SCORE 34731.471
AT ITER 67 NEW BEST:: SOT 93939 SOS 82491 HAS SOPS 82489 HAS SOUS 34570 HAS SOUPS 34568 WITH SCORE 34650.491
AT ITER 69 NEW BEST:: SOT 94017 SOS 83184 HAS SOPS 83182 HAS SOUS 34566 HAS SOUPS 34564 WITH SCORE 34647.184
AT ITER 74 NEW BEST:: SOT 94017 SOS 83181 HAS SOPS 83179 HAS SOUS 34438 HAS SOUPS 34436 WITH SCORE 34519.181
AT ITER 82 NEW BEST:: SOT 93947 SOS 83111 HAS SOPS 83109 HAS SOUS 34403 HAS SOUPS 34401 WITH SCORE 34484.111
AT ITER 85 NEW BEST:: SOT 93857 SOS 83069 HAS SOPS 83067 HAS SOUS 34375 HAS SOUPS 34373 WITH SCORE 34456.069
AT ITER 86 NEW BEST:: SOT 93790 SOS 83002 HAS SOPS 83000 HAS SOUS 34308 HAS SOUPS 34306 WITH SCORE 34389.002
AT ITER 89 NEW BEST:: SOT 93673 SOS 82865 HAS SOPS 82863 HAS SOUS 34195 HAS SOUPS 34193 WITH SCORE 34275.865
AT ITER 90 NEW BEST:: SOT 93769 SOS 82961 HAS SOPS 82959 HAS SOUS 34132 HAS SOUPS 34130 WITH SCORE 34212.961
AT ITER 102 NEW BEST:: SOT 93765 SOS 82953 HAS SOPS 82951 HAS SOUS 34130 HAS SOUPS 34128 WITH SCORE 34210.953
AT ITER 103 NEW BEST:: SOT 93775 SOS 82959 HAS SOPS 82957 HAS SOUS 34114 HAS SOUPS 34112 WITH SCORE 34194.959
AT ITER 105 NEW BEST:: SOT 93435 SOS 82587 HAS SOPS 82585 HAS SOUS 33774 HAS SOUPS 33772 WITH SCORE 33854.587
AT ITER 106 NEW BEST:: SOT 93428 SOS 82557 HAS SOPS 82555 HAS SOUS 33661 HAS SOUPS 33659 WITH SCORE 33741.557
AT ITER 109 NEW BEST:: SOT 93350 SOS 82479 HAS SOPS 82477 HAS SOUS 33597 HAS SOUPS 33595 WITH SCORE 33677.479
AT ITER 112 NEW BEST:: SOT 93359 SOS 82603 HAS SOPS 82601 HAS SOUS 33556 HAS SOUPS 33554 WITH SCORE 33636.603
AT ITER 114 NEW BEST:: SOT 93359 SOS 82611 HAS SOPS 82609 HAS SOUS 31508 HAS SOUPS 31506 WITH SCORE 31588.611
AT ITER 120 NEW BEST:: SOT 93358 SOS 82610 HAS SOPS 82608 HAS SOUS 31492 HAS SOUPS 31490 WITH SCORE 31572.61
AT ITER 121 NEW BEST:: SOT 93737 SOS 82980 HAS SOPS 82978 HAS SOUS 29745 HAS SOUPS 29743 WITH SCORE 29825.98
AT ITER 126 NEW BEST:: SOT 93495 SOS 82709 HAS SOPS 82707 HAS SOUS 23509 HAS SOUPS 23507 WITH SCORE 23589.709
AT ITER 128 NEW BEST:: SOT 92763 SOS 81961 HAS SOPS 81959 HAS SOUS 23055 HAS SOUPS 23053 WITH SCORE 23134.961
AT ITER 143 NEW BEST:: SOT 92779 SOS 81818 HAS SOPS 81816 HAS SOUS 22992 HAS SOUPS 22990 WITH SCORE 23071.818
AT ITER 146 NEW BEST:: SOT 92542 SOS 81581 HAS SOPS 81579 HAS SOUS 22870 HAS SOUPS 22868 WITH SCORE 22949.581
AT ITER 148 NEW BEST:: SOT 92542 SOS 81581 HAS SOPS 81579 HAS SOUS 22863 HAS SOUPS 22861 WITH SCORE 22942.581
AT ITER 150 NEW BEST:: SOT 92557 SOS 81671 HAS SOPS 81669 HAS SOUS 22862 HAS SOUPS 22860 WITH SCORE 22941.671
AT ITER 155 NEW BEST:: SOT 92701 SOS 81819 HAS SOPS 81817 HAS SOUS 22826 HAS SOUPS 22824 WITH SCORE 22905.819
AT ITER 156 NEW BEST:: SOT 92656 SOS 81768 HAS SOPS 81766 HAS SOUS 22805 HAS SOUPS 22803 WITH SCORE 22884.768
AT ITER 159 NEW BEST:: SOT 92288 SOS 81305 HAS SOPS 81303 HAS SOUS 22566 HAS SOUPS 22564 WITH SCORE 22645.305
AT ITER 160 NEW BEST:: SOT 91887 SOS 80859 HAS SOPS 80857 HAS SOUS 22188 HAS SOUPS 22186 WITH SCORE 22266.859
AT ITER 166 NEW BEST:: SOT 91873 SOS 80845 HAS SOPS 80843 HAS SOUS 22130 HAS SOUPS 22128 WITH SCORE 22208.845
AT ITER 177 NEW BEST:: SOT 91864 SOS 80813 HAS SOPS 80811 HAS SOUS 22120 HAS SOUPS 22118 WITH SCORE 22198.813
AT ITER 184 NEW BEST:: SOT 91122 SOS 80071 HAS SOPS 80069 HAS SOUS 21754 HAS SOUPS 21752 WITH SCORE 21832.071
AT ITER 190 NEW BEST:: SOT 91115 SOS 80143 HAS SOPS 80141 HAS SOUS 19578 HAS SOUPS 19576 WITH SCORE 19656.143
AT ITER 203 NEW BEST:: SOT 91127 SOS 80155 HAS SOPS 80153 HAS SOUS 19427 HAS SOUPS 19425 WITH SCORE 19505.155
AT ITER 205 NEW BEST:: SOT 91119 SOS 80145 HAS SOPS 80143 HAS SOUS 19401 HAS SOUPS 19399 WITH SCORE 19479.145
AT ITER 208 NEW BEST:: SOT 91119 SOS 80145 HAS SOPS 80143 HAS SOUS 19361 HAS SOUPS 19359 WITH SCORE 19439.145
AT ITER 209 NEW BEST:: SOT 91101 SOS 79963 HAS SOPS 79961 HAS SOUS 19334 HAS SOUPS 19332 WITH SCORE 19411.963
AT ITER 215 NEW BEST:: SOT 91020 SOS 79869 HAS SOPS 79867 HAS SOUS 19277 HAS SOUPS 19275 WITH SCORE 19354.869
AT ITER 216 NEW BEST:: SOT 91016 SOS 79864 HAS SOPS 79862 HAS SOUS 19274 HAS SOUPS 19272 WITH SCORE 19351.864
AT ITER 217 NEW BEST:: SOT 91016 SOS 79873 HAS SOPS 79871 HAS SOUS 18960 HAS SOUPS 18958 WITH SCORE 19037.873
AT ITER 221 NEW BEST:: SOT 90611 SOS 79279 HAS SOPS 79277 HAS SOUS 18625 HAS SOUPS 18623 WITH SCORE 18702.279
AT ITER 234 NEW BEST:: SOT 90768 SOS 79458 HAS SOPS 79456 HAS SOUS 18525 HAS SOUPS 18523 WITH SCORE 18602.458
AT ITER 244 NEW BEST:: SOT 90652 SOS 79284 HAS SOPS 79282 HAS SOUS 18421 HAS SOUPS 18419 WITH SCORE 18498.284
AT ITER 247 NEW BEST:: SOT 90644 SOS 79254 HAS SOPS 79252 HAS SOUS 18369 HAS SOUPS 18367 WITH SCORE 18446.254
AT ITER 251 NEW BEST:: SOT 90647 SOS 79257 HAS SOPS 79255 HAS SOUS 18357 HAS SOUPS 18355 WITH SCORE 18434.257
AT ITER 258 NEW BEST:: SOT 91567 SOS 80277 HAS SOPS 80275 HAS SOUS 17636 HAS SOUPS 17634 WITH SCORE 17714.277
AT ITER 262 NEW BEST:: SOT 91567 SOS 80269 HAS SOPS 80267 HAS SOUS 17620 HAS SOUPS 17618 WITH SCORE 17698.269
AT ITER 270 NEW BEST:: SOT 91596 SOS 80285 HAS SOPS 80283 HAS SOUS 17619 HAS SOUPS 17617 WITH SCORE 17697.285
AT ITER 277 NEW BEST:: SOT 91596 SOS 80284 HAS SOPS 80282 HAS SOUS 17491 HAS SOUPS 17489 WITH SCORE 17569.284
AT ITER 283 NEW BEST:: SOT 90676 SOS 79364 HAS SOPS 79362 HAS SOUS 17421 HAS SOUPS 17419 WITH SCORE 17498.364
AT ITER 286 NEW BEST:: SOT 90668 SOS 79354 HAS SOPS 79352 HAS SOUS 17417 HAS SOUPS 17415 WITH SCORE 17494.354
AT ITER 318 NEW BEST:: SOT 90654 SOS 79326 HAS SOPS 79324 HAS SOUS 17403 HAS SOUPS 17401 WITH SCORE 17480.326
AT ITER 320 NEW BEST:: SOT 91165 SOS 79855 HAS SOPS 79853 HAS SOUS 17376 HAS SOUPS 17374 WITH SCORE 17453.855
AT ITER 323 NEW BEST:: SOT 91519 SOS 80151 HAS SOPS 80149 HAS SOUS 17233 HAS SOUPS 17231 WITH SCORE 17311.151
AT ITER 325 NEW BEST:: SOT 91621 SOS 80239 HAS SOPS 80237 HAS SOUS 17196 HAS SOUPS 17194 WITH SCORE 17274.239
AT ITER 329 NEW BEST:: SOT 91695 SOS 80313 HAS SOPS 80311 HAS SOUS 17179 HAS SOUPS 17177 WITH SCORE 17257.313
AT ITER 335 NEW BEST:: SOT 91679 SOS 80276 HAS SOPS 80274 HAS SOUS 17163 HAS SOUPS 17161 WITH SCORE 17241.276
AT ITER 339 NEW BEST:: SOT 91645 SOS 80272 HAS SOPS 80270 HAS SOUS 17107 HAS SOUPS 17105 WITH SCORE 17185.272
AT ITER 341 NEW BEST:: SOT 91498 SOS 80122 HAS SOPS 80120 HAS SOUS 16997 HAS SOUPS 16995 WITH SCORE 17075.122
AT ITER 343 NEW BEST:: SOT 91498 SOS 80136 HAS SOPS 80134 HAS SOUS 16670 HAS SOUPS 16668 WITH SCORE 16748.136
AT ITER 351 NEW BEST:: SOT 91478 SOS 80106 HAS SOPS 80104 HAS SOUS 16627 HAS SOUPS 16625 WITH SCORE 16705.106
AT ITER 361 NEW BEST:: SOT 91473 SOS 80096 HAS SOPS 80094 HAS SOUS 16500 HAS SOUPS 16498 WITH SCORE 16578.096
AT ITER 363 NEW BEST:: SOT 91763 SOS 80386 HAS SOPS 80384 HAS SOUS 16328 HAS SOUPS 16326 WITH SCORE 16406.386
AT ITER 365 NEW BEST:: SOT 91981 SOS 80648 HAS SOPS 80646 HAS SOUS 16244 HAS SOUPS 16242 WITH SCORE 16322.648
AT ITER 369 NEW BEST:: SOT 91991 SOS 80647 HAS SOPS 80645 HAS SOUS 16229 HAS SOUPS 16227 WITH SCORE 16307.647
AT ITER 375 NEW BEST:: SOT 91981 SOS 80637 HAS SOPS 80635 HAS SOUS 16213 HAS SOUPS 16211 WITH SCORE 16291.637
AT ITER 379 NEW BEST:: SOT 91974 SOS 80623 HAS SOPS 80621 HAS SOUS 16195 HAS SOUPS 16193 WITH SCORE 16273.623
AT ITER 384 NEW BEST:: SOT 91968 SOS 80612 HAS SOPS 80610 HAS SOUS 16182 HAS SOUPS 16180 WITH SCORE 16260.612
AT ITER 389 NEW BEST:: SOT 91890 SOS 80534 HAS SOPS 80532 HAS SOUS 16143 HAS SOUPS 16141 WITH SCORE 16221.534
AT ITER 407 NEW BEST:: SOT 91772 SOS 80400 HAS SOPS 80398 HAS SOUS 15340 HAS SOUPS 15338 WITH SCORE 15418.4
AT ITER 408 NEW BEST:: SOT 91768 SOS 80409 HAS SOPS 80407 HAS SOUS 15331 HAS SOUPS 15329 WITH SCORE 15409.409
AT ITER 416 NEW BEST:: SOT 91930 SOS 80571 HAS SOPS 80569 HAS SOUS 15230 HAS SOUPS 15228 WITH SCORE 15308.571
AT ITER 443 NEW BEST:: SOT 91916 SOS 80543 HAS SOPS 80541 HAS SOUS 15228 HAS SOUPS 15226 WITH SCORE 15306.543
AT ITER 444 NEW BEST:: SOT 91908 SOS 80535 HAS SOPS 80533 HAS SOUS 15220 HAS SOUPS 15218 WITH SCORE 15298.535
AT ITER 448 NEW BEST:: SOT 91895 SOS 80522 HAS SOPS 80520 HAS SOUS 15219 HAS SOUPS 15217 WITH SCORE 15297.522
AT ITER 454 NEW BEST:: SOT 92047 SOS 80674 HAS SOPS 80672 HAS SOUS 15194 HAS SOUPS 15192 WITH SCORE 15272.674
AT ITER 458 NEW BEST:: SOT 92109 SOS 80824 HAS SOPS 80822 HAS SOUS 15156 HAS SOUPS 15154 WITH SCORE 15234.824
AT ITER 476 NEW BEST:: SOT 92090 SOS 80805 HAS SOPS 80803 HAS SOUS 15146 HAS SOUPS 15144 WITH SCORE 15224.805
AT ITER 487 NEW BEST:: SOT 92086 SOS 80801 HAS SOPS 80799 HAS SOUS 15146 HAS SOUPS 15144 WITH SCORE 15224.801
AT ITER 508 NEW BEST:: SOT 92082 SOS 80795 HAS SOPS 80793 HAS SOUS 15006 HAS SOUPS 15004 WITH SCORE 15084.795
AT ITER 514 NEW BEST:: SOT 92084 SOS 80795 HAS SOPS 80793 HAS SOUS 15004 HAS SOUPS 15002 WITH SCORE 15082.795
AT ITER 528 NEW BEST:: SOT 92075 SOS 80762 HAS SOPS 80760 HAS SOUS 14974 HAS SOUPS 14972 WITH SCORE 15052.762
AT ITER 533 NEW BEST:: SOT 92075 SOS 80757 HAS SOPS 80755 HAS SOUS 14334 HAS SOUPS 14332 WITH SCORE 14412.757
AT ITER 541 NEW BEST:: SOT 92063 SOS 80739 HAS SOPS 80737 HAS SOUS 14039 HAS SOUPS 14037 WITH SCORE 14117.739
AT ITER 543 NEW BEST:: SOT 92057 SOS 80737 HAS SOPS 80735 HAS SOUS 13807 HAS SOUPS 13805 WITH SCORE 13885.737
AT ITER 546 NEW BEST:: SOT 92021 SOS 80737 HAS SOPS 80735 HAS SOUS 13593 HAS SOUPS 13591 WITH SCORE 13671.737
AT ITER 550 NEW BEST:: SOT 92032 SOS 80789 HAS SOPS 80787 HAS SOUS 13590 HAS SOUPS 13588 WITH SCORE 13668.789
AT ITER 561 NEW BEST:: SOT 92032 SOS 80825 HAS SOPS 80823 HAS SOUS 13572 HAS SOUPS 13570 WITH SCORE 13650.825
AT ITER 568 NEW BEST:: SOT 92090 SOS 80882 HAS SOPS 80880 HAS SOUS 13537 HAS SOUPS 13535 WITH SCORE 13615.882
AT ITER 572 NEW BEST:: SOT 92081 SOS 80882 HAS SOPS 80880 HAS SOUS 13477 HAS SOUPS 13475 WITH SCORE 13555.882
AT ITER 579 NEW BEST:: SOT 92219 SOS 81020 HAS SOPS 81018 HAS SOUS 13420 HAS SOUPS 13418 WITH SCORE 13499.02
AT ITER 600 NEW BEST:: SOT 92159 SOS 80924 HAS SOPS 80922 HAS SOUS 13250 HAS SOUPS 13248 WITH SCORE 13328.924
AT ITER 609 NEW BEST:: SOT 92185 SOS 80768 HAS SOPS 80766 HAS SOUS 13162 HAS SOUPS 13160 WITH SCORE 13240.768
AT ITER 612 NEW BEST:: SOT 92180 SOS 80758 HAS SOPS 80756 HAS SOUS 13088 HAS SOUPS 13086 WITH SCORE 13166.758
AT ITER 620 NEW BEST:: SOT 92183 SOS 80759 HAS SOPS 80757 HAS SOUS 13087 HAS SOUPS 13085 WITH SCORE 13165.759
AT ITER 625 NEW BEST:: SOT 92181 SOS 80751 HAS SOPS 80749 HAS SOUS 13085 HAS SOUPS 13083 WITH SCORE 13163.751
AT ITER 627 NEW BEST:: SOT 92201 SOS 80771 HAS SOPS 80769 HAS SOUS 12647 HAS SOUPS 12645 WITH SCORE 12725.771
AT ITER 629 NEW BEST:: SOT 92188 SOS 80732 HAS SOPS 80730 HAS SOUS 12618 HAS SOUPS 12616 WITH SCORE 12696.732
AT ITER 641 NEW BEST:: SOT 92188 SOS 80740 HAS SOPS 80738 HAS SOUS 12360 HAS SOUPS 12358 WITH SCORE 12438.74
AT ITER 646 NEW BEST:: SOT 92184 SOS 80696 HAS SOPS 80694 HAS SOUS 12340 HAS SOUPS 12338 WITH SCORE 12418.696
AT ITER 654 NEW BEST:: SOT 92142 SOS 80645 HAS SOPS 80643 HAS SOUS 12302 HAS SOUPS 12300 WITH SCORE 12380.645
AT ITER 661 NEW BEST:: SOT 92141 SOS 80641 HAS SOPS 80639 HAS SOUS 12301 HAS SOUPS 12299 WITH SCORE 12379.641
AT ITER 680 NEW BEST:: SOT 92133 SOS 80577 HAS SOPS 80575 HAS SOUS 12144 HAS SOUPS 12142 WITH SCORE 12222.577
AT ITER 692 NEW BEST:: SOT 91998 SOS 80425 HAS SOPS 80423 HAS SOUS 11965 HAS SOUPS 11963 WITH SCORE 12043.425
AT ITER 713 NEW BEST:: SOT 91998 SOS 80421 HAS SOPS 80419 HAS SOUS 11959 HAS SOUPS 11957 WITH SCORE 12037.421
AT ITER 726 NEW BEST:: SOT 91986 SOS 80397 HAS SOPS 80395 HAS SOUS 11959 HAS SOUPS 11957 WITH SCORE 12037.397
AT ITER 752 NEW BEST:: SOT 91978 SOS 80361 HAS SOPS 80359 HAS SOUS 11959 HAS SOUPS 11957 WITH SCORE 12037.361
AT ITER 793 NEW BEST:: SOT 91978 SOS 80359 HAS SOPS 80357 HAS SOUS 11958 HAS SOUPS 11956 WITH SCORE 12036.359
AT ITER 861 NEW BEST:: SOT 92077 SOS 80457 HAS SOPS 80455 HAS SOUS 11924 HAS SOUPS 11922 WITH SCORE 12002.457
AT ITER 863 NEW BEST:: SOT 92075 SOS 80453 HAS SOPS 80451 HAS SOUS 11922 HAS SOUPS 11920 WITH SCORE 12000.453
AT ITER 884 NEW BEST:: SOT 92069 SOS 80447 HAS SOPS 80445 HAS SOUS 11846 HAS SOUPS 11844 WITH SCORE 11924.447
AT ITER 903 NEW BEST:: SOT 92069 SOS 80435 HAS SOPS 80433 HAS SOUS 11838 HAS SOUPS 11836 WITH SCORE 11916.435
AT ITER 906 NEW BEST:: SOT 92057 SOS 80429 HAS SOPS 80427 HAS SOUS 11835 HAS SOUPS 11833 WITH SCORE 11913.429
AT ITER 923 NEW BEST:: SOT 92002 SOS 80373 HAS SOPS 80371 HAS SOUS 11783 HAS SOUPS 11781 WITH SCORE 11861.373
AT ITER 924 NEW BEST:: SOT 91956 SOS 80330 HAS SOPS 80328 HAS SOUS 11738 HAS SOUPS 11736 WITH SCORE 11816.33
AT ITER 936 NEW BEST:: SOT 91954 SOS 80328 HAS SOPS 80326 HAS SOUS 11736 HAS SOUPS 11734 WITH SCORE 11814.328
AT ITER 937 NEW BEST:: SOT 91958 SOS 80322 HAS SOPS 80320 HAS SOUS 11724 HAS SOUPS 11722 WITH SCORE 11802.322
AT ITER 952 NEW BEST:: SOT 91822 SOS 80182 HAS SOPS 80180 HAS SOUS 11581 HAS SOUPS 11579 WITH SCORE 11659.182
AT ITER 958 NEW BEST:: SOT 91815 SOS 80173 HAS SOPS 80171 HAS SOUS 11516 HAS SOUPS 11514 WITH SCORE 11594.173
AT ITER 964 NEW BEST:: SOT 91815 SOS 80168 HAS SOPS 80166 HAS SOUS 11515 HAS SOUPS 11513 WITH SCORE 11593.168
AT ITER 968 NEW BEST:: SOT 91471 SOS 79816 HAS SOPS 79814 HAS SOUS 10728 HAS SOUPS 10726 WITH SCORE 10805.816
AT ITER 971 NEW BEST:: SOT 91229 SOS 79562 HAS SOPS 79560 HAS SOUS 10534 HAS SOUPS 10532 WITH SCORE 10611.562
AT ITER 982 NEW BEST:: SOT 91405 SOS 79740 HAS SOPS 79738 HAS SOUS 10523 HAS SOUPS 10521 WITH SCORE 10600.74
AT ITER 985 NEW BEST:: SOT 91625 SOS 79962 HAS SOPS 79960 HAS SOUS 10413 HAS SOUPS 10411 WITH SCORE 10490.962
AT ITER 992 NEW BEST:: SOT 91613 SOS 79954 HAS SOPS 79952 HAS SOUS 10412 HAS SOUPS 10410 WITH SCORE 10489.954
AT ITER 1030 NEW BEST:: SOT 91519 SOS 79858 HAS SOPS 79856 HAS SOUS 10212 HAS SOUPS 10210 WITH SCORE 10289.858
AT ITER 1041 NEW BEST:: SOT 91517 SOS 79863 HAS SOPS 79861 HAS SOUS 10210 HAS SOUPS 10208 WITH SCORE 10287.863
AT ITER 1045 NEW BEST:: SOT 91043 SOS 79385 HAS SOPS 79383 HAS SOUS 10206 HAS SOUPS 10204 WITH SCORE 10283.385
AT ITER 1064 NEW BEST:: SOT 91042 SOS 79383 HAS SOPS 79381 HAS SOUS 10205 HAS SOUPS 10203 WITH SCORE 10282.383
AT ITER 1074 NEW BEST:: SOT 91042 SOS 81175 HAS SOPS 81173 HAS SOUS 10203 HAS SOUPS 10201 WITH SCORE 10282.175
AT ITER 1077 NEW BEST:: SOT 91023 SOS 81152 HAS SOPS 81150 HAS SOUS 10191 HAS SOUPS 10189 WITH SCORE 10270.152
AT ITER 1078 NEW BEST:: SOT 91017 SOS 81118 HAS SOPS 81116 HAS SOUS 10185 HAS SOUPS 10183 WITH SCORE 10264.118
AT ITER 1088 NEW BEST:: SOT 90975 SOS 81078 HAS SOPS 81076 HAS SOUS 10157 HAS SOUPS 10155 WITH SCORE 10236.078
AT ITER 1097 NEW BEST:: SOT 91289 SOS 81376 HAS SOPS 81374 HAS SOUS 10114 HAS SOUPS 10112 WITH SCORE 10193.376
AT ITER 1100 NEW BEST:: SOT 91139 SOS 81220 HAS SOPS 81218 HAS SOUS 10033 HAS SOUPS 10031 WITH SCORE 10112.22
AT ITER 1124 NEW BEST:: SOT 91137 SOS 81216 HAS SOPS 81214 HAS SOUS 10029 HAS SOUPS 10027 WITH SCORE 10108.216
AT ITER 1127 NEW BEST:: SOT 91100 SOS 81178 HAS SOPS 81176 HAS SOUS 9744 HAS SOUPS 9742 WITH SCORE 9823.178
AT ITER 1139 NEW BEST:: SOT 90573 SOS 80651 HAS SOPS 80649 HAS SOUS 9639 HAS SOUPS 9637 WITH SCORE 9717.651
AT ITER 1151 NEW BEST:: SOT 90578 SOS 80655 HAS SOPS 80653 HAS SOUS 9506 HAS SOUPS 9504 WITH SCORE 9584.655
AT ITER 1159 NEW BEST:: SOT 90579 SOS 80663 HAS SOPS 80661 HAS SOUS 9493 HAS SOUPS 9491 WITH SCORE 9571.663
AT ITER 1168 NEW BEST:: SOT 90571 SOS 80646 HAS SOPS 80644 HAS SOUS 9475 HAS SOUPS 9473 WITH SCORE 9553.646
AT ITER 1196 NEW BEST:: SOT 90572 SOS 80642 HAS SOPS 80640 HAS SOUS 9475 HAS SOUPS 9473 WITH SCORE 9553.642
AT ITER 1198 NEW BEST:: SOT 90558 SOS 80602 HAS SOPS 80600 HAS SOUS 9427 HAS SOUPS 9425 WITH SCORE 9505.602
AT ITER 1200 NEW BEST:: SOT 90642 SOS 80756 HAS SOPS 80754 HAS SOUS 9366 HAS SOUPS 9364 WITH SCORE 9444.756
AT ITER 1255 NEW BEST:: SOT 90641 SOS 80755 HAS SOPS 80753 HAS SOUS 9344 HAS SOUPS 9342 WITH SCORE 9422.755
AT ITER 1318 NEW BEST:: SOT 90629 SOS 80739 HAS SOPS 80737 HAS SOUS 9336 HAS SOUPS 9334 WITH SCORE 9414.739
AT ITER 1325 NEW BEST:: SOT 90633 SOS 80737 HAS SOPS 80735 HAS SOUS 9335 HAS SOUPS 9333 WITH SCORE 9413.737
AT ITER 1358 NEW BEST:: SOT 90633 SOS 80743 HAS SOPS 80741 HAS SOUS 9332 HAS SOUPS 9330 WITH SCORE 9410.743
AT ITER 1363 NEW BEST:: SOT 90557 SOS 80667 HAS SOPS 80665 HAS SOUS 9292 HAS SOUPS 9290 WITH SCORE 9370.667
AT ITER 1368 NEW BEST:: SOT 90555 SOS 80665 HAS SOPS 80663 HAS SOUS 9290 HAS SOUPS 9288 WITH SCORE 9368.665
AT ITER 1374 NEW BEST:: SOT 90557 SOS 80666 HAS SOPS 80664 HAS SOUS 9257 HAS SOUPS 9255 WITH SCORE 9335.666
AT ITER 1394 NEW BEST:: SOT 90552 SOS 78870 HAS SOPS 78868 HAS SOUS 9253 HAS SOUPS 9251 WITH SCORE 9329.87
AT ITER 1439 NEW BEST:: SOT 90552 SOS 78878 HAS SOPS 78876 HAS SOUS 9249 HAS SOUPS 9247 WITH SCORE 9325.878
AT ITER 1445 NEW BEST:: SOT 90548 SOS 78870 HAS SOPS 78868 HAS SOUS 9244 HAS SOUPS 9242 WITH SCORE 9320.87
AT ITER 1467 NEW BEST:: SOT 90548 SOS 78870 HAS SOPS 78868 HAS SOUS 9229 HAS SOUPS 9227 WITH SCORE 9305.87
AT ITER 1510 NEW BEST:: SOT 90486 SOS 78818 HAS SOPS 78816 HAS SOUS 9166 HAS SOUPS 9164 WITH SCORE 9242.818
AT ITER 1536 NEW BEST:: SOT 90482 SOS 78238 HAS SOPS 78236 HAS SOUS 9163 HAS SOUPS 9161 WITH SCORE 9239.238
AT ITER 1573 NEW BEST:: SOT 90476 SOS 78226 HAS SOPS 78224 HAS SOUS 9157 HAS SOUPS 9155 WITH SCORE 9233.226
AT ITER 1641 NEW BEST:: SOT 90452 SOS 78178 HAS SOPS 78176 HAS SOUS 9157 HAS SOUPS 9155 WITH SCORE 9233.178
AT ITER 1672 NEW BEST:: SOT 90451 SOS 78190 HAS SOPS 78188 HAS SOUS 9154 HAS SOUPS 9152 WITH SCORE 9230.19
AT ITER 1676 NEW BEST:: SOT 90442 SOS 78181 HAS SOPS 78179 HAS SOUS 9146 HAS SOUPS 9144 WITH SCORE 9222.181
AT ITER 1704 NEW BEST:: SOT 90440 SOS 78178 HAS SOPS 78176 HAS SOUS 9141 HAS SOUPS 9139 WITH SCORE 9217.178
AT ITER 1725 NEW BEST:: SOT 90436 SOS 78172 HAS SOPS 78170 HAS SOUS 9138 HAS SOUPS 9136 WITH SCORE 9214.172
AT ITER 1744 NEW BEST:: SOT 90434 SOS 78171 HAS SOPS 78169 HAS SOUS 9138 HAS SOUPS 9136 WITH SCORE 9214.171
AT ITER 1836 NEW BEST:: SOT 90430 SOS 78163 HAS SOPS 78161 HAS SOUS 9132 HAS SOUPS 9130 WITH SCORE 9208.163
AT ITER 1843 NEW BEST:: SOT 90524 SOS 78257 HAS SOPS 78255 HAS SOUS 9059 HAS SOUPS 9057 WITH SCORE 9135.257
AT ITER 1941 NEW BEST:: SOT 90649 SOS 78389 HAS SOPS 78387 HAS SOUS 8807 HAS SOUPS 8805 WITH SCORE 8883.389
AT ITER 1961 NEW BEST:: SOT 90650 SOS 78379 HAS SOPS 78377 HAS SOUS 8802 HAS SOUPS 8800 WITH SCORE 8878.379
AT ITER 2060 NEW BEST:: SOT 90610 SOS 78377 HAS SOPS 78375 HAS SOUS 8802 HAS SOUPS 8800 WITH SCORE 8878.377
AT ITER 2074 NEW BEST:: SOT 90538 SOS 78303 HAS SOPS 78301 HAS SOUS 8796 HAS SOUPS 8794 WITH SCORE 8872.303
AT ITER 2095 NEW BEST:: SOT 90537 SOS 78303 HAS SOPS 78301 HAS SOUS 8794 HAS SOUPS 8792 WITH SCORE 8870.303
AT ITER 2109 NEW BEST:: SOT 90529 SOS 78294 HAS SOPS 78292 HAS SOUS 8794 HAS SOUPS 8792 WITH SCORE 8870.294
AT ITER 2125 NEW BEST:: SOT 90527 SOS 78288 HAS SOPS 78286 HAS SOUS 8790 HAS SOUPS 8788 WITH SCORE 8866.288
AT ITER 2147 NEW BEST:: SOT 90525 SOS 78284 HAS SOPS 78282 HAS SOUS 8788 HAS SOUPS 8786 WITH SCORE 8864.284
AT ITER 2176 NEW BEST:: SOT 90468 SOS 78224 HAS SOPS 78222 HAS SOUS 8753 HAS SOUPS 8751 WITH SCORE 8829.224
AT ITER 2198 NEW BEST:: SOT 90484 SOS 78192 HAS SOPS 78190 HAS SOUS 8737 HAS SOUPS 8735 WITH SCORE 8813.192
AT ITER 2202 NEW BEST:: SOT 90510 SOS 78224 HAS SOPS 78222 HAS SOUS 8710 HAS SOUPS 8708 WITH SCORE 8786.224
AT ITER 2210 NEW BEST:: SOT 90516 SOS 78221 HAS SOPS 78219 HAS SOUS 8710 HAS SOUPS 8708 WITH SCORE 8786.221
AT ITER 2248 NEW BEST:: SOT 90516 SOS 78218 HAS SOPS 78216 HAS SOUS 8708 HAS SOUPS 8706 WITH SCORE 8784.218
AT ITER 2305 NEW BEST:: SOT 90496 SOS 78197 HAS SOPS 78195 HAS SOUS 8688 HAS SOUPS 8686 WITH SCORE 8764.197
AT ITER 2312 NEW BEST:: SOT 90499 SOS 78197 HAS SOPS 78195 HAS SOUS 8665 HAS SOUPS 8663 WITH SCORE 8741.197
AT ITER 2365 NEW BEST:: SOT 90500 SOS 78199 HAS SOPS 78197 HAS SOUS 8601 HAS SOUPS 8599 WITH SCORE 8677.199
AT ITER 2376 NEW BEST:: SOT 90471 SOS 78123 HAS SOPS 78121 HAS SOUS 8549 HAS SOUPS 8547 WITH SCORE 8625.123
AT ITER 2382 NEW BEST:: SOT 90469 SOS 78137 HAS SOPS 78135 HAS SOUS 8545 HAS SOUPS 8543 WITH SCORE 8621.137
AT ITER 2387 NEW BEST:: SOT 90467 SOS 77841 HAS SOPS 77839 HAS SOUS 8545 HAS SOUPS 8543 WITH SCORE 8620.841
AT ITER 2400 NEW BEST:: SOT 90529 SOS 77939 HAS SOPS 77937 HAS SOUS 8425 HAS SOUPS 8423 WITH SCORE 8500.939
AT ITER 2416 NEW BEST:: SOT 90528 SOS 77947 HAS SOPS 77945 HAS SOUS 8422 HAS SOUPS 8420 WITH SCORE 8497.947
AT ITER 2472 NEW BEST:: SOT 90525 SOS 77947 HAS SOPS 77945 HAS SOUS 8417 HAS SOUPS 8415 WITH SCORE 8492.947
AT ITER 2500 NEW BEST:: SOT 90526 SOS 77947 HAS SOPS 77945 HAS SOUS 8416 HAS SOUPS 8414 WITH SCORE 8491.947
AT ITER 2535 NEW BEST:: SOT 90523 SOS 77935 HAS SOPS 77933 HAS SOUS 8407 HAS SOUPS 8405 WITH SCORE 8482.935
AT ITER 2549 NEW BEST:: SOT 90524 SOS 77938 HAS SOPS 77936 HAS SOUS 8406 HAS SOUPS 8404 WITH SCORE 8481.938
AT ITER 2575 NEW BEST:: SOT 90389 SOS 77802 HAS SOPS 77800 HAS SOUS 8380 HAS SOUPS 8378 WITH SCORE 8455.802
AT ITER 2583 NEW BEST:: SOT 90394 SOS 77812 HAS SOPS 77810 HAS SOUS 8339 HAS SOUPS 8337 WITH SCORE 8414.812
AT ITER 2613 NEW BEST:: SOT 90454 SOS 77872 HAS SOPS 77870 HAS SOUS 8331 HAS SOUPS 8329 WITH SCORE 8406.872
AT ITER 2623 NEW BEST:: SOT 90450 SOS 77890 HAS SOPS 77888 HAS SOUS 8328 HAS SOUPS 8326 WITH SCORE 8403.89
AT ITER 2643 NEW BEST:: SOT 90442 SOS 77882 HAS SOPS 77880 HAS SOUS 8328 HAS SOUPS 8326 WITH SCORE 8403.882
AT ITER 2670 NEW BEST:: SOT 90439 SOS 77879 HAS SOPS 77877 HAS SOUS 8326 HAS SOUPS 8324 WITH SCORE 8401.879
AT ITER 2673 NEW BEST:: SOT 90439 SOS 77878 HAS SOPS 77876 HAS SOUS 8326 HAS SOUPS 8324 WITH SCORE 8401.878
AT ITER 2674 NEW BEST:: SOT 90352 SOS 77794 HAS SOPS 77792 HAS SOUS 8305 HAS SOUPS 8303 WITH SCORE 8380.794
AT ITER 2732 NEW BEST:: SOT 90352 SOS 77728 HAS SOPS 77726 HAS SOUS 8283 HAS SOUPS 8281 WITH SCORE 8358.728
AT ITER 2767 NEW BEST:: SOT 90367 SOS 77742 HAS SOPS 77740 HAS SOUS 8280 HAS SOUPS 8278 WITH SCORE 8355.742
AT ITER 2923 NEW BEST:: SOT 90367 SOS 77738 HAS SOPS 77736 HAS SOUS 8280 HAS SOUPS 8278 WITH SCORE 8355.738
AT ITER 2929 NEW BEST:: SOT 90357 SOS 77718 HAS SOPS 77716 HAS SOUS 8273 HAS SOUPS 8271 WITH SCORE 8348.718
AT ITER 2930 NEW BEST:: SOT 90312 SOS 77660 HAS SOPS 77658 HAS SOUS 8238 HAS SOUPS 8236 WITH SCORE 8313.66
AT ITER 2933 NEW BEST:: SOT 90303 SOS 77654 HAS SOPS 77652 HAS SOUS 8233 HAS SOUPS 8231 WITH SCORE 8308.654
AT ITER 2988 NEW BEST:: SOT 90303 SOS 77653 HAS SOPS 77651 HAS SOUS 8233 HAS SOUPS 8231 WITH SCORE 8308.653
AT ITER 3026 NEW BEST:: SOT 90304 SOS 77655 HAS SOPS 77653 HAS SOUS 8228 HAS SOUPS 8226 WITH SCORE 8303.655
AT ITER 3096 NEW BEST:: SOT 90303 SOS 77636 HAS SOPS 77634 HAS SOUS 8227 HAS SOUPS 8225 WITH SCORE 8302.636
AT ITER 3100 NEW BEST:: SOT 90301 SOS 77632 HAS SOPS 77630 HAS SOUS 8223 HAS SOUPS 8221 WITH SCORE 8298.632
AT ITER 3181 NEW BEST:: SOT 90280 SOS 77591 HAS SOPS 77589 HAS SOUS 8200 HAS SOUPS 8198 WITH SCORE 8275.591
AT ITER 3204 NEW BEST:: SOT 90273 SOS 77583 HAS SOPS 77581 HAS SOUS 8194 HAS SOUPS 8192 WITH SCORE 8269.583
AT ITER 3221 NEW BEST:: SOT 90149 SOS 77459 HAS SOPS 77457 HAS SOUS 8150 HAS SOUPS 8148 WITH SCORE 8225.459
AT ITER 3234 NEW BEST:: SOT 90147 SOS 77458 HAS SOPS 77456 HAS SOUS 8149 HAS SOUPS 8147 WITH SCORE 8224.458
AT ITER 3248 NEW BEST:: SOT 90151 SOS 77452 HAS SOPS 77450 HAS SOUS 8143 HAS SOUPS 8141 WITH SCORE 8218.452
AT ITER 3295 NEW BEST:: SOT 90150 SOS 77448 HAS SOPS 77446 HAS SOUS 8142 HAS SOUPS 8140 WITH SCORE 8217.448
AT ITER 3408 NEW BEST:: SOT 90147 SOS 77445 HAS SOPS 77443 HAS SOUS 8142 HAS SOUPS 8140 WITH SCORE 8217.445
AT ITER 3430 NEW BEST:: SOT 90144 SOS 77438 HAS SOPS 77436 HAS SOUS 8139 HAS SOUPS 8137 WITH SCORE 8214.438
AT ITER 3489 NEW BEST:: SOT 90142 SOS 77438 HAS SOPS 77436 HAS SOUS 8137 HAS SOUPS 8135 WITH SCORE 8212.438
AT ITER 3535 NEW BEST:: SOT 90125 SOS 77421 HAS SOPS 77419 HAS SOUS 8119 HAS SOUPS 8117 WITH SCORE 8194.421
AT ITER 3538 NEW BEST:: SOT 90095 SOS 77393 HAS SOPS 77391 HAS SOUS 8105 HAS SOUPS 8103 WITH SCORE 8180.393
AT ITER 3552 NEW BEST:: SOT 90092 SOS 77387 HAS SOPS 77385 HAS SOUS 8094 HAS SOUPS 8092 WITH SCORE 8169.387
AT ITER 3700 NEW BEST:: SOT 90010 SOS 77305 HAS SOPS 77303 HAS SOUS 8079 HAS SOUPS 8077 WITH SCORE 8154.305
AT ITER 3734 NEW BEST:: SOT 90022 SOS 77301 HAS SOPS 77299 HAS SOUS 8077 HAS SOUPS 8075 WITH SCORE 8152.301
AT ITER 3760 NEW BEST:: SOT 90017 SOS 77286 HAS SOPS 77284 HAS SOUS 8072 HAS SOUPS 8070 WITH SCORE 8147.286
AT ITER 4250 NEW BEST:: SOT 89987 SOS 77254 HAS SOPS 77252 HAS SOUS 7941 HAS SOUPS 7939 WITH SCORE 8016.254
AT ITER 4302 NEW BEST:: SOT 89983 SOS 77256 HAS SOPS 77254 HAS SOUS 7937 HAS SOUPS 7935 WITH SCORE 8012.256
AT ITER 4342 NEW BEST:: SOT 89987 SOS 77264 HAS SOPS 77262 HAS SOUS 7935 HAS SOUPS 7933 WITH SCORE 8010.264
AT ITER 4356 NEW BEST:: SOT 89990 SOS 77264 HAS SOPS 77262 HAS SOUS 7872 HAS SOUPS 7870 WITH SCORE 7947.264
AT ITER 4379 NEW BEST:: SOT 90156 SOS 77440 HAS SOPS 77438 HAS SOUS 7860 HAS SOUPS 7858 WITH SCORE 7935.44
AT ITER 4394 NEW BEST:: SOT 90190 SOS 77480 HAS SOPS 77478 HAS SOUS 7831 HAS SOUPS 7829 WITH SCORE 7906.48
AT ITER 4497 NEW BEST:: SOT 90174 SOS 77448 HAS SOPS 77446 HAS SOUS 7822 HAS SOUPS 7820 WITH SCORE 7897.448
AT ITER 4518 NEW BEST:: SOT 90173 SOS 77429 HAS SOPS 77427 HAS SOUS 7820 HAS SOUPS 7818 WITH SCORE 7895.429
AT ITER 4538 NEW BEST:: SOT 90174 SOS 77428 HAS SOPS 77426 HAS SOUS 7819 HAS SOUPS 7817 WITH SCORE 7894.428
AT ITER 4620 NEW BEST:: SOT 90155 SOS 77409 HAS SOPS 77407 HAS SOUS 7809 HAS SOUPS 7807 WITH SCORE 7884.409
AT ITER 4661 NEW BEST:: SOT 90165 SOS 77415 HAS SOPS 77413 HAS SOUS 7808 HAS SOUPS 7806 WITH SCORE 7883.415
AT ITER 4710 NEW BEST:: SOT 90117 SOS 77319 HAS SOPS 77317 HAS SOUS 7753 HAS SOUPS 7751 WITH SCORE 7828.319
AT ITER 4774 NEW BEST:: SOT 90116 SOS 77318 HAS SOPS 77316 HAS SOUS 7752 HAS SOUPS 7750 WITH SCORE 7827.318
AT ITER 4787 NEW BEST:: SOT 90123 SOS 77324 HAS SOPS 77322 HAS SOUS 7749 HAS SOUPS 7747 WITH SCORE 7824.324
AT ITER 4845 NEW BEST:: SOT 90125 SOS 77325 HAS SOPS 77323 HAS SOUS 7747 HAS SOUPS 7745 WITH SCORE 7822.325
AT ITER 4851 NEW BEST:: SOT 90118 SOS 77315 HAS SOPS 77313 HAS SOUS 7741 HAS SOUPS 7739 WITH SCORE 7816.315
AT ITER 4944 NEW BEST:: SOT 90116 SOS 77303 HAS SOPS 77301 HAS SOUS 7738 HAS SOUPS 7736 WITH SCORE 7813.303
AT ITER 5015 NEW BEST:: SOT 89912 SOS 77087 HAS SOPS 77085 HAS SOUS 7588 HAS SOUPS 7586 WITH SCORE 7663.087
AT ITER 5185 NEW BEST:: SOT 89917 SOS 77091 HAS SOPS 77089 HAS SOUS 7575 HAS SOUPS 7573 WITH SCORE 7650.091
AT ITER 5205 NEW BEST:: SOT 89974 SOS 77151 HAS SOPS 77149 HAS SOUS 7551 HAS SOUPS 7549 WITH SCORE 7626.151
AT ITER 5246 NEW BEST:: SOT 89973 SOS 77134 HAS SOPS 77132 HAS SOUS 7550 HAS SOUPS 7548 WITH SCORE 7625.134
AT ITER 5324 NEW BEST:: SOT 89974 SOS 76878 HAS SOPS 76876 HAS SOUS 7550 HAS SOUPS 7548 WITH SCORE 7624.878
AT ITER 5359 NEW BEST:: SOT 89973 SOS 76877 HAS SOPS 76875 HAS SOUS 7549 HAS SOUPS 7547 WITH SCORE 7623.877
AT ITER 5393 NEW BEST:: SOT 89977 SOS 75730 HAS SOPS 75152 HAS SOUS 7549 HAS SOUPS 7546 WITH SCORE 7621.73
AT ITER 5738 NEW BEST:: SOT 89836 SOS 75589 HAS SOPS 75011 HAS SOUS 7394 HAS SOUPS 7391 WITH SCORE 7466.589
AT ITER 5749 NEW BEST:: SOT 89835 SOS 75587 HAS SOPS 75009 HAS SOUS 7391 HAS SOUPS 7388 WITH SCORE 7463.587
AT ITER 5832 NEW BEST:: SOT 89835 SOS 76096 HAS SOPS 75518 HAS SOUS 7390 HAS SOUPS 7387 WITH SCORE 7463.096
AT ITER 5893 NEW BEST:: SOT 89835 SOS 76097 HAS SOPS 75519 HAS SOUS 7387 HAS SOUPS 7384 WITH SCORE 7460.097
AT ITER 5952 NEW BEST:: SOT 89837 SOS 76131 HAS SOPS 75553 HAS SOUS 7386 HAS SOUPS 7383 WITH SCORE 7459.131
AT ITER 6004 NEW BEST:: SOT 89837 SOS 76128 HAS SOPS 75550 HAS SOUS 7383 HAS SOUPS 7380 WITH SCORE 7456.128
AT ITER 6087 NEW BEST:: SOT 89809 SOS 76104 HAS SOPS 75526 HAS SOUS 7371 HAS SOUPS 7368 WITH SCORE 7444.104
AT ITER 6220 NEW BEST:: SOT 89804 SOS 76100 HAS SOPS 75522 HAS SOUS 7370 HAS SOUPS 7367 WITH SCORE 7443.1
AT ITER 6453 NEW BEST:: SOT 89802 SOS 76096 HAS SOPS 75518 HAS SOUS 7368 HAS SOUPS 7365 WITH SCORE 7441.096
AT ITER 6521 NEW BEST:: SOT 89796 SOS 75576 HAS SOPS 74998 HAS SOUS 7366 HAS SOUPS 7363 WITH SCORE 7438.576
AT ITER 6525 NEW BEST:: SOT 89680 SOS 75459 HAS SOPS 74881 HAS SOUS 7334 HAS SOUPS 7331 WITH SCORE 7406.459
AT ITER 6770 NEW BEST:: SOT 89602 SOS 75381 HAS SOPS 74803 HAS SOUS 7297 HAS SOUPS 7294 WITH SCORE 7369.381
AT ITER 6814 NEW BEST:: SOT 89602 SOS 75381 HAS SOPS 74803 HAS SOUS 7296 HAS SOUPS 7293 WITH SCORE 7368.381
AT ITER 6826 NEW BEST:: SOT 89868 SOS 75663 HAS SOPS 75085 HAS SOUS 7295 HAS SOUPS 7292 WITH SCORE 7367.663
AT ITER 6888 NEW BEST:: SOT 89860 SOS 75647 HAS SOPS 75069 HAS SOUS 7287 HAS SOUPS 7284 WITH SCORE 7359.647
AT ITER 6899 NEW BEST:: SOT 89769 SOS 75547 HAS SOPS 74969 HAS SOUS 7219 HAS SOUPS 7216 WITH SCORE 7291.547
AT ITER 7187 NEW BEST:: SOT 89489 SOS 75253 HAS SOPS 74675 HAS SOUS 7144 HAS SOUPS 7141 WITH SCORE 7216.253
AT ITER 7208 NEW BEST:: SOT 89369 SOS 75121 HAS SOPS 74543 HAS SOUS 7141 HAS SOUPS 7138 WITH SCORE 7213.121
AT ITER 7357 NEW BEST:: SOT 89367 SOS 75119 HAS SOPS 75117 HAS SOUS 7140 HAS SOUPS 7138 WITH SCORE 7213.119
AT ITER 7411 NEW BEST:: SOT 89348 SOS 75100 HAS SOPS 75098 HAS SOUS 7130 HAS SOUPS 7128 WITH SCORE 7203.1
AT ITER 7419 NEW BEST:: SOT 89347 SOS 75099 HAS SOPS 75097 HAS SOUS 7129 HAS SOUPS 7127 WITH SCORE 7202.099
AT ITER 7425 NEW BEST:: SOT 89346 SOS 75095 HAS SOPS 75093 HAS SOUS 7111 HAS SOUPS 7109 WITH SCORE 7184.095
AT ITER 7485 NEW BEST:: SOT 89106 SOS 74835 HAS SOPS 74833 HAS SOUS 7046 HAS SOUPS 7044 WITH SCORE 7118.835
AT ITER 7539 NEW BEST:: SOT 89088 SOS 74817 HAS SOPS 74815 HAS SOUS 7037 HAS SOUPS 7035 WITH SCORE 7109.817
AT ITER 7650 NEW BEST:: SOT 89086 SOS 74815 HAS SOPS 74813 HAS SOUS 7037 HAS SOUPS 7035 WITH SCORE 7109.815
AT ITER 7663 NEW BEST:: SOT 89066 SOS 74795 HAS SOPS 74793 HAS SOUS 7016 HAS SOUPS 7014 WITH SCORE 7088.795
AT ITER 7805 NEW BEST:: SOT 89064 SOS 74519 HAS SOPS 74517 HAS SOUS 7014 HAS SOUPS 7012 WITH SCORE 7086.519
AT ITER 7862 NEW BEST:: SOT 88829 SOS 74285 HAS SOPS 74283 HAS SOUS 6788 HAS SOUPS 6786 WITH SCORE 6860.285
AT ITER 7952 NEW BEST:: SOT 88753 SOS 74209 HAS SOPS 74207 HAS SOUS 6752 HAS SOUPS 6750 WITH SCORE 6824.209
AT ITER 7994 NEW BEST:: SOT 88751 SOS 74203 HAS SOPS 74201 HAS SOUS 6746 HAS SOUPS 6744 WITH SCORE 6818.203
AT ITER 8087 NEW BEST:: SOT 88747 SOS 74199 HAS SOPS 74197 HAS SOUS 6744 HAS SOUPS 6742 WITH SCORE 6816.199
AT ITER 8173 NEW BEST:: SOT 88779 SOS 74231 HAS SOPS 74229 HAS SOUS 6738 HAS SOUPS 6736 WITH SCORE 6810.231
AT ITER 8374 NEW BEST:: SOT 88780 SOS 74229 HAS SOPS 74227 HAS SOUS 6737 HAS SOUPS 6735 WITH SCORE 6809.229
AT ITER 8400 NEW BEST:: SOT 88782 SOS 74231 HAS SOPS 74229 HAS SOUS 6731 HAS SOUPS 6729 WITH SCORE 6803.231
AT ITER 8587 NEW BEST:: SOT 88779 SOS 74228 HAS SOPS 74226 HAS SOUS 6729 HAS SOUPS 6727 WITH SCORE 6801.228
AT ITER 9468 NEW BEST:: SOT 88760 SOS 74209 HAS SOPS 74207 HAS SOUS 6719 HAS SOUPS 6717 WITH SCORE 6791.209
AT ITER 9561 NEW BEST:: SOT 88720 SOS 74169 HAS SOPS 74167 HAS SOUS 6678 HAS SOUPS 6676 WITH SCORE 6750.169
AT ITER 9631 NEW BEST:: SOT 88720 SOS 74167 HAS SOPS 74165 HAS SOUS 6676 HAS SOUPS 6674 WITH SCORE 6748.167
AT ITER 9742 NEW BEST:: SOT 88660 SOS 74047 HAS SOPS 74045 HAS SOUS 6615 HAS SOUPS 6613 WITH SCORE 6687.047
AT ITER 9922 NEW BEST:: SOT 88658 SOS 74043 HAS SOPS 74041 HAS SOUS 6611 HAS SOUPS 6609 WITH SCORE 6683.043
AT ITER 9949 NEW BEST:: SOT 88656 SOS 74039 HAS SOPS 74037 HAS SOUS 6607 HAS SOUPS 6605 WITH SCORE 6679.039
STATE_SPACE STATES 7812079647 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 111621581247 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678741718314

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="AutonomousCar-PT-09a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is AutonomousCar-PT-09a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813600500664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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