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.r003-oct2-167813591100648.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is AutonomousCar-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591100648
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 5.2K Feb 25 12:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 12:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 12:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 12:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 25 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 12:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 12:55 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 448K 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 1678475282170

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=AutonomousCar-PT-08a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 08a
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: 81 places, 849 transitions, 8894 arcs.
AT ITER 0 NEW BEST:: SOT 60132 SOS 51076 HAS SOPS 51074 HAS SOUS 24670 HAS SOUPS 24668 WITH SCORE 24719.076
AT ITER 2 NEW BEST:: SOT 60115 SOS 51030 HAS SOPS 51028 HAS SOUS 24572 HAS SOUPS 24570 WITH SCORE 24621.03
AT ITER 3 NEW BEST:: SOT 60116 SOS 50972 HAS SOPS 50970 HAS SOUS 24543 HAS SOUPS 24541 WITH SCORE 24591.972
AT ITER 4 NEW BEST:: SOT 60065 SOS 50870 HAS SOPS 50868 HAS SOUS 23923 HAS SOUPS 23921 WITH SCORE 23971.87
AT ITER 7 NEW BEST:: SOT 60092 SOS 50969 HAS SOPS 50967 HAS SOUS 23055 HAS SOUPS 23053 WITH SCORE 23103.969
AT ITER 8 NEW BEST:: SOT 60175 SOS 51061 HAS SOPS 51059 HAS SOUS 22941 HAS SOUPS 22939 WITH SCORE 22990.061
AT ITER 9 NEW BEST:: SOT 60147 SOS 51019 HAS SOPS 51017 HAS SOUS 22913 HAS SOUPS 22911 WITH SCORE 22962.019
AT ITER 10 NEW BEST:: SOT 60064 SOS 50811 HAS SOPS 50809 HAS SOUS 22781 HAS SOUPS 22779 WITH SCORE 22829.811
AT ITER 11 NEW BEST:: SOT 60096 SOS 50811 HAS SOPS 50809 HAS SOUS 22516 HAS SOUPS 22514 WITH SCORE 22564.811
AT ITER 13 NEW BEST:: SOT 60127 SOS 50818 HAS SOPS 50816 HAS SOUS 22411 HAS SOUPS 22409 WITH SCORE 22459.818
AT ITER 18 NEW BEST:: SOT 60127 SOS 50818 HAS SOPS 50816 HAS SOUS 22391 HAS SOUPS 22389 WITH SCORE 22439.818
AT ITER 20 NEW BEST:: SOT 60107 SOS 50862 HAS SOPS 50860 HAS SOUS 22224 HAS SOUPS 22222 WITH SCORE 22272.862
AT ITER 21 NEW BEST:: SOT 60106 SOS 50860 HAS SOPS 50858 HAS SOUS 22213 HAS SOUPS 22211 WITH SCORE 22261.86
AT ITER 23 NEW BEST:: SOT 60106 SOS 50885 HAS SOPS 50883 HAS SOUS 22175 HAS SOUPS 22173 WITH SCORE 22223.885
AT ITER 25 NEW BEST:: SOT 60148 SOS 50927 HAS SOPS 50925 HAS SOUS 22152 HAS SOUPS 22150 WITH SCORE 22200.927
AT ITER 26 NEW BEST:: SOT 60159 SOS 50895 HAS SOPS 50893 HAS SOUS 21702 HAS SOUPS 21700 WITH SCORE 21750.895
AT ITER 28 NEW BEST:: SOT 60160 SOS 50897 HAS SOPS 50895 HAS SOUS 21695 HAS SOUPS 21693 WITH SCORE 21743.897
AT ITER 31 NEW BEST:: SOT 60222 SOS 50874 HAS SOPS 50872 HAS SOUS 21672 HAS SOUPS 21670 WITH SCORE 21720.874
AT ITER 36 NEW BEST:: SOT 60222 SOS 50874 HAS SOPS 50872 HAS SOUS 21665 HAS SOUPS 21663 WITH SCORE 21713.874
AT ITER 38 NEW BEST:: SOT 60208 SOS 50870 HAS SOPS 50868 HAS SOUS 21616 HAS SOUPS 21614 WITH SCORE 21664.87
AT ITER 40 NEW BEST:: SOT 60204 SOS 50934 HAS SOPS 50932 HAS SOUS 21550 HAS SOUPS 21548 WITH SCORE 21598.934
AT ITER 48 NEW BEST:: SOT 60225 SOS 50982 HAS SOPS 50980 HAS SOUS 20268 HAS SOUPS 20266 WITH SCORE 20316.982
AT ITER 50 NEW BEST:: SOT 57150 SOS 47838 HAS SOPS 47836 HAS SOUS 18682 HAS SOUPS 18680 WITH SCORE 18727.838
AT ITER 51 NEW BEST:: SOT 56200 SOS 47237 HAS SOPS 47235 HAS SOUS 18288 HAS SOUPS 18286 WITH SCORE 18333.237
AT ITER 55 NEW BEST:: SOT 56157 SOS 47169 HAS SOPS 47167 HAS SOUS 17881 HAS SOUPS 17879 WITH SCORE 17926.169
AT ITER 58 NEW BEST:: SOT 56157 SOS 50600 HAS SOPS 47078 HAS SOUS 17863 HAS SOUPS 17854 WITH SCORE 17904.6
AT ITER 61 NEW BEST:: SOT 56157 SOS 50588 HAS SOPS 47066 HAS SOUS 17851 HAS SOUPS 17842 WITH SCORE 17892.588
AT ITER 65 NEW BEST:: SOT 55967 SOS 50688 HAS SOPS 47230 HAS SOUS 17778 HAS SOUPS 17769 WITH SCORE 17819.688
AT ITER 69 NEW BEST:: SOT 55951 SOS 50656 HAS SOPS 47198 HAS SOUS 16738 HAS SOUPS 16729 WITH SCORE 16779.656
AT ITER 77 NEW BEST:: SOT 55786 SOS 50487 HAS SOPS 47029 HAS SOUS 16612 HAS SOUPS 16603 WITH SCORE 16653.487
AT ITER 80 NEW BEST:: SOT 55839 SOS 50402 HAS SOPS 46944 HAS SOUS 16587 HAS SOUPS 16578 WITH SCORE 16628.402
AT ITER 84 NEW BEST:: SOT 55703 SOS 50202 HAS SOPS 46744 HAS SOUS 16432 HAS SOUPS 16423 WITH SCORE 16473.202
AT ITER 88 NEW BEST:: SOT 55694 SOS 50192 HAS SOPS 46734 HAS SOUS 16419 HAS SOUPS 16410 WITH SCORE 16460.192
AT ITER 90 NEW BEST:: SOT 54555 SOS 49102 HAS SOPS 46076 HAS SOUS 16175 HAS SOUPS 16166 WITH SCORE 16215.102
AT ITER 91 NEW BEST:: SOT 53920 SOS 48464 HAS SOPS 45438 HAS SOUS 15856 HAS SOUPS 15847 WITH SCORE 15895.464
AT ITER 98 NEW BEST:: SOT 53906 SOS 48436 HAS SOPS 45410 HAS SOUS 15835 HAS SOUPS 15826 WITH SCORE 15874.436
AT ITER 100 NEW BEST:: SOT 53828 SOS 48374 HAS SOPS 45348 HAS SOUS 15787 HAS SOUPS 15778 WITH SCORE 15826.374
AT ITER 107 NEW BEST:: SOT 53592 SOS 48142 HAS SOPS 45116 HAS SOUS 15668 HAS SOUPS 15659 WITH SCORE 15707.142
AT ITER 108 NEW BEST:: SOT 53592 SOS 48146 HAS SOPS 45120 HAS SOUS 15632 HAS SOUPS 15623 WITH SCORE 15671.146
AT ITER 109 NEW BEST:: SOT 53585 SOS 48130 HAS SOPS 45092 HAS SOUS 15625 HAS SOUPS 15616 WITH SCORE 15664.13
AT ITER 110 NEW BEST:: SOT 53583 SOS 48122 HAS SOPS 45084 HAS SOUS 15625 HAS SOUPS 15616 WITH SCORE 15664.122
AT ITER 119 NEW BEST:: SOT 53174 SOS 47679 HAS SOPS 44641 HAS SOUS 15406 HAS SOUPS 15397 WITH SCORE 15444.679
AT ITER 121 NEW BEST:: SOT 53188 SOS 47763 HAS SOPS 44725 HAS SOUS 15179 HAS SOUPS 15170 WITH SCORE 15217.763
AT ITER 124 NEW BEST:: SOT 53181 SOS 47793 HAS SOPS 44755 HAS SOUS 13024 HAS SOUPS 13015 WITH SCORE 13062.793
AT ITER 139 NEW BEST:: SOT 53002 SOS 47614 HAS SOPS 44576 HAS SOUS 12950 HAS SOUPS 12941 WITH SCORE 12988.614
AT ITER 143 NEW BEST:: SOT 53006 SOS 47226 HAS SOPS 44135 HAS SOUS 12912 HAS SOUPS 12903 WITH SCORE 12950.226
AT ITER 146 NEW BEST:: SOT 52840 SOS 47018 HAS SOPS 43927 HAS SOUS 12712 HAS SOUPS 12703 WITH SCORE 12750.018
AT ITER 150 NEW BEST:: SOT 52899 SOS 47076 HAS SOPS 43985 HAS SOUS 12426 HAS SOUPS 12417 WITH SCORE 12464.076
AT ITER 153 NEW BEST:: SOT 52864 SOS 47041 HAS SOPS 43950 HAS SOUS 12412 HAS SOUPS 12403 WITH SCORE 12450.041
AT ITER 154 NEW BEST:: SOT 52811 SOS 46990 HAS SOPS 43899 HAS SOUS 12360 HAS SOUPS 12351 WITH SCORE 12397.99
AT ITER 156 NEW BEST:: SOT 52221 SOS 46385 HAS SOPS 43294 HAS SOUS 11581 HAS SOUPS 11572 WITH SCORE 11618.385
AT ITER 164 NEW BEST:: SOT 52763 SOS 46883 HAS SOPS 43792 HAS SOUS 10529 HAS SOUPS 10520 WITH SCORE 10566.883
AT ITER 166 NEW BEST:: SOT 52769 SOS 46873 HAS SOPS 43782 HAS SOUS 10504 HAS SOUPS 10495 WITH SCORE 10541.873
AT ITER 167 NEW BEST:: SOT 52769 SOS 46858 HAS SOPS 43767 HAS SOUS 10500 HAS SOUPS 10491 WITH SCORE 10537.858
AT ITER 175 NEW BEST:: SOT 52587 SOS 46676 HAS SOPS 43585 HAS SOUS 10324 HAS SOUPS 10315 WITH SCORE 10361.676
AT ITER 176 NEW BEST:: SOT 52645 SOS 46691 HAS SOPS 43160 HAS SOUS 10279 HAS SOUPS 10270 WITH SCORE 10316.691
AT ITER 187 NEW BEST:: SOT 52619 SOS 46637 HAS SOPS 43106 HAS SOUS 10121 HAS SOUPS 10112 WITH SCORE 10158.637
AT ITER 192 NEW BEST:: SOT 52517 SOS 46529 HAS SOPS 42998 HAS SOUS 10067 HAS SOUPS 10058 WITH SCORE 10104.529
AT ITER 198 NEW BEST:: SOT 52501 SOS 46513 HAS SOPS 42982 HAS SOUS 10059 HAS SOUPS 10050 WITH SCORE 10096.513
AT ITER 200 NEW BEST:: SOT 52496 SOS 46507 HAS SOPS 42976 HAS SOUS 10048 HAS SOUPS 10039 WITH SCORE 10085.507
AT ITER 227 NEW BEST:: SOT 52118 SOS 46103 HAS SOPS 42572 HAS SOUS 9715 HAS SOUPS 9706 WITH SCORE 9752.103
AT ITER 232 NEW BEST:: SOT 51967 SOS 45955 HAS SOPS 42424 HAS SOUS 9543 HAS SOUPS 9534 WITH SCORE 9579.955
AT ITER 236 NEW BEST:: SOT 51719 SOS 45659 HAS SOPS 42128 HAS SOUS 9460 HAS SOUPS 9451 WITH SCORE 9496.659
AT ITER 248 NEW BEST:: SOT 51462 SOS 45401 HAS SOPS 41870 HAS SOUS 9233 HAS SOUPS 9224 WITH SCORE 9269.401
AT ITER 252 NEW BEST:: SOT 51447 SOS 45386 HAS SOPS 41855 HAS SOUS 9227 HAS SOUPS 9218 WITH SCORE 9263.386
AT ITER 256 NEW BEST:: SOT 51430 SOS 45369 HAS SOPS 41838 HAS SOUS 9218 HAS SOUPS 9209 WITH SCORE 9254.369
AT ITER 279 NEW BEST:: SOT 51365 SOS 45179 HAS SOPS 41648 HAS SOUS 9148 HAS SOUPS 9139 WITH SCORE 9184.179
AT ITER 283 NEW BEST:: SOT 51363 SOS 45173 HAS SOPS 42121 HAS SOUS 9146 HAS SOUPS 9137 WITH SCORE 9182.173
AT ITER 289 NEW BEST:: SOT 51357 SOS 45170 HAS SOPS 42118 HAS SOUS 9143 HAS SOUPS 9134 WITH SCORE 9179.17
AT ITER 290 NEW BEST:: SOT 51356 SOS 45172 HAS SOPS 42120 HAS SOUS 9138 HAS SOUPS 9129 WITH SCORE 9174.172
AT ITER 301 NEW BEST:: SOT 51484 SOS 45274 HAS SOPS 42222 HAS SOUS 9012 HAS SOUPS 9003 WITH SCORE 9048.274
AT ITER 303 NEW BEST:: SOT 51322 SOS 45198 HAS SOPS 42142 HAS SOUS 8936 HAS SOUPS 8927 WITH SCORE 8972.198
AT ITER 307 NEW BEST:: SOT 51225 SOS 45101 HAS SOPS 42045 HAS SOUS 8925 HAS SOUPS 8916 WITH SCORE 8961.101
AT ITER 321 NEW BEST:: SOT 51206 SOS 44641 HAS SOPS 41583 HAS SOUS 8920 HAS SOUPS 8910 WITH SCORE 8954.641
AT ITER 324 NEW BEST:: SOT 51170 SOS 44591 HAS SOPS 41533 HAS SOUS 8905 HAS SOUPS 8895 WITH SCORE 8939.591
AT ITER 342 NEW BEST:: SOT 51186 SOS 45535 HAS SOPS 43477 HAS SOUS 8899 HAS SOUPS 8893 WITH SCORE 8938.535
AT ITER 344 NEW BEST:: SOT 51350 SOS 45719 HAS SOPS 43661 HAS SOUS 8830 HAS SOUPS 8824 WITH SCORE 8869.719
AT ITER 355 NEW BEST:: SOT 51327 SOS 45696 HAS SOPS 43638 HAS SOUS 8809 HAS SOUPS 8803 WITH SCORE 8848.696
AT ITER 360 NEW BEST:: SOT 51315 SOS 45678 HAS SOPS 43620 HAS SOUS 8770 HAS SOUPS 8764 WITH SCORE 8809.678
AT ITER 363 NEW BEST:: SOT 51178 SOS 46202 HAS SOPS 44208 HAS SOUS 8759 HAS SOUPS 8753 WITH SCORE 8799.202
AT ITER 369 NEW BEST:: SOT 51012 SOS 46009 HAS SOPS 44015 HAS SOUS 8654 HAS SOUPS 8648 WITH SCORE 8694.009
AT ITER 377 NEW BEST:: SOT 51008 SOS 46005 HAS SOPS 44011 HAS SOUS 8646 HAS SOUPS 8640 WITH SCORE 8686.005
AT ITER 388 NEW BEST:: SOT 50990 SOS 45947 HAS SOPS 44001 HAS SOUS 8628 HAS SOUPS 8622 WITH SCORE 8667.947
AT ITER 394 NEW BEST:: SOT 50990 SOS 45942 HAS SOPS 44004 HAS SOUS 8626 HAS SOUPS 8620 WITH SCORE 8665.942
AT ITER 399 NEW BEST:: SOT 50934 SOS 45914 HAS SOPS 43976 HAS SOUS 8598 HAS SOUPS 8592 WITH SCORE 8637.914
AT ITER 401 NEW BEST:: SOT 50985 SOS 45968 HAS SOPS 44030 HAS SOUS 8241 HAS SOUPS 8235 WITH SCORE 8280.968
AT ITER 405 NEW BEST:: SOT 50692 SOS 45670 HAS SOPS 43732 HAS SOUS 7988 HAS SOUPS 7982 WITH SCORE 8027.67
AT ITER 423 NEW BEST:: SOT 50458 SOS 45455 HAS SOPS 43517 HAS SOUS 7978 HAS SOUPS 7972 WITH SCORE 8017.455
AT ITER 424 NEW BEST:: SOT 50008 SOS 45008 HAS SOPS 43070 HAS SOUS 7895 HAS SOUPS 7889 WITH SCORE 7934.008
AT ITER 426 NEW BEST:: SOT 50004 SOS 45004 HAS SOPS 43066 HAS SOUS 7891 HAS SOUPS 7885 WITH SCORE 7930.004
AT ITER 428 NEW BEST:: SOT 50004 SOS 44998 HAS SOPS 43060 HAS SOUS 7891 HAS SOUPS 7885 WITH SCORE 7929.998
AT ITER 438 NEW BEST:: SOT 50009 SOS 45008 HAS SOPS 43070 HAS SOUS 7884 HAS SOUPS 7878 WITH SCORE 7923.008
AT ITER 448 NEW BEST:: SOT 50029 SOS 45000 HAS SOPS 43062 HAS SOUS 7820 HAS SOUPS 7814 WITH SCORE 7859.0
AT ITER 451 NEW BEST:: SOT 49945 SOS 44902 HAS SOPS 42964 HAS SOUS 7811 HAS SOUPS 7805 WITH SCORE 7849.902
AT ITER 454 NEW BEST:: SOT 49986 SOS 44853 HAS SOPS 42915 HAS SOUS 7760 HAS SOUPS 7754 WITH SCORE 7798.853
AT ITER 455 NEW BEST:: SOT 49885 SOS 44766 HAS SOPS 42828 HAS SOUS 7717 HAS SOUPS 7711 WITH SCORE 7755.766
AT ITER 472 NEW BEST:: SOT 49885 SOS 46280 HAS SOPS 42816 HAS SOUS 7718 HAS SOUPS 7709 WITH SCORE 7755.28
AT ITER 483 NEW BEST:: SOT 49920 SOS 46222 HAS SOPS 42758 HAS SOUS 7695 HAS SOUPS 7686 WITH SCORE 7732.222
AT ITER 494 NEW BEST:: SOT 49920 SOS 46246 HAS SOPS 42782 HAS SOUS 7639 HAS SOUPS 7630 WITH SCORE 7676.246
AT ITER 516 NEW BEST:: SOT 49319 SOS 45675 HAS SOPS 42211 HAS SOUS 7211 HAS SOUPS 7202 WITH SCORE 7247.675
AT ITER 529 NEW BEST:: SOT 49282 SOS 45553 HAS SOPS 42185 HAS SOUS 7193 HAS SOUPS 7184 WITH SCORE 7229.553
AT ITER 539 NEW BEST:: SOT 49262 SOS 45532 HAS SOPS 42164 HAS SOUS 7183 HAS SOUPS 7174 WITH SCORE 7219.532
AT ITER 541 NEW BEST:: SOT 49219 SOS 45489 HAS SOPS 42121 HAS SOUS 7183 HAS SOUPS 7174 WITH SCORE 7219.489
AT ITER 555 NEW BEST:: SOT 49203 SOS 45465 HAS SOPS 42097 HAS SOUS 7175 HAS SOUPS 7166 WITH SCORE 7211.465
AT ITER 556 NEW BEST:: SOT 49155 SOS 45417 HAS SOPS 42049 HAS SOUS 7158 HAS SOUPS 7149 WITH SCORE 7194.417
AT ITER 558 NEW BEST:: SOT 49156 SOS 45396 HAS SOPS 42028 HAS SOUS 7142 HAS SOUPS 7133 WITH SCORE 7178.396
AT ITER 561 NEW BEST:: SOT 49156 SOS 45396 HAS SOPS 42028 HAS SOUS 7118 HAS SOUPS 7109 WITH SCORE 7154.396
AT ITER 576 NEW BEST:: SOT 49158 SOS 45388 HAS SOPS 42028 HAS SOUS 7108 HAS SOUPS 7099 WITH SCORE 7144.388
AT ITER 607 NEW BEST:: SOT 49139 SOS 45366 HAS SOPS 42006 HAS SOUS 6953 HAS SOUPS 6944 WITH SCORE 6989.366
AT ITER 617 NEW BEST:: SOT 49083 SOS 45318 HAS SOPS 41958 HAS SOUS 6865 HAS SOUPS 6856 WITH SCORE 6901.318
AT ITER 654 NEW BEST:: SOT 49083 SOS 45318 HAS SOPS 41958 HAS SOUS 6863 HAS SOUPS 6854 WITH SCORE 6899.318
AT ITER 657 NEW BEST:: SOT 49085 SOS 45320 HAS SOPS 41960 HAS SOUS 6861 HAS SOUPS 6852 WITH SCORE 6897.32
AT ITER 661 NEW BEST:: SOT 48891 SOS 45078 HAS SOPS 41718 HAS SOUS 6845 HAS SOUPS 6836 WITH SCORE 6881.078
AT ITER 673 NEW BEST:: SOT 48793 SOS 44980 HAS SOPS 41620 HAS SOUS 6836 HAS SOUPS 6827 WITH SCORE 6871.98
AT ITER 699 NEW BEST:: SOT 48855 SOS 45036 HAS SOPS 41676 HAS SOUS 6832 HAS SOUPS 6823 WITH SCORE 6868.036
AT ITER 702 NEW BEST:: SOT 48673 SOS 44854 HAS SOPS 41494 HAS SOUS 6748 HAS SOUPS 6739 WITH SCORE 6783.854
AT ITER 726 NEW BEST:: SOT 48760 SOS 44948 HAS SOPS 41588 HAS SOUS 6732 HAS SOUPS 6723 WITH SCORE 6767.948
AT ITER 730 NEW BEST:: SOT 48755 SOS 44943 HAS SOPS 41583 HAS SOUS 6732 HAS SOUPS 6723 WITH SCORE 6767.943
AT ITER 731 NEW BEST:: SOT 48614 SOS 44804 HAS SOPS 41444 HAS SOUS 6732 HAS SOUPS 6723 WITH SCORE 6767.804
AT ITER 742 NEW BEST:: SOT 48590 SOS 44790 HAS SOPS 41430 HAS SOUS 6702 HAS SOUPS 6693 WITH SCORE 6737.79
AT ITER 759 NEW BEST:: SOT 48574 SOS 44835 HAS SOPS 41475 HAS SOUS 6631 HAS SOUPS 6622 WITH SCORE 6666.835
AT ITER 775 NEW BEST:: SOT 48684 SOS 44817 HAS SOPS 41459 HAS SOUS 6620 HAS SOUPS 6611 WITH SCORE 6655.817
AT ITER 813 NEW BEST:: SOT 48424 SOS 44561 HAS SOPS 41203 HAS SOUS 6433 HAS SOUPS 6424 WITH SCORE 6468.561
AT ITER 829 NEW BEST:: SOT 48376 SOS 44505 HAS SOPS 41147 HAS SOUS 6317 HAS SOUPS 6308 WITH SCORE 6352.505
AT ITER 860 NEW BEST:: SOT 48306 SOS 44435 HAS SOPS 41077 HAS SOUS 6289 HAS SOUPS 6280 WITH SCORE 6324.435
AT ITER 876 NEW BEST:: SOT 48290 SOS 44403 HAS SOPS 41045 HAS SOUS 6270 HAS SOUPS 6261 WITH SCORE 6305.403
AT ITER 895 NEW BEST:: SOT 48207 SOS 44295 HAS SOPS 40937 HAS SOUS 6261 HAS SOUPS 6252 WITH SCORE 6296.295
AT ITER 899 NEW BEST:: SOT 48173 SOS 44259 HAS SOPS 40901 HAS SOUS 6227 HAS SOUPS 6218 WITH SCORE 6262.259
AT ITER 902 NEW BEST:: SOT 47969 SOS 44055 HAS SOPS 40697 HAS SOUS 6137 HAS SOUPS 6128 WITH SCORE 6172.055
AT ITER 959 NEW BEST:: SOT 47969 SOS 44061 HAS SOPS 40703 HAS SOUS 6123 HAS SOUPS 6114 WITH SCORE 6158.061
AT ITER 965 NEW BEST:: SOT 47951 SOS 44052 HAS SOPS 40694 HAS SOUS 6114 HAS SOUPS 6105 WITH SCORE 6149.052
AT ITER 969 NEW BEST:: SOT 47951 SOS 44051 HAS SOPS 40693 HAS SOUS 6114 HAS SOUPS 6105 WITH SCORE 6149.051
AT ITER 1003 NEW BEST:: SOT 47951 SOS 44051 HAS SOPS 40693 HAS SOUS 6113 HAS SOUPS 6104 WITH SCORE 6148.051
AT ITER 1017 NEW BEST:: SOT 47825 SOS 43877 HAS SOPS 40519 HAS SOUS 6102 HAS SOUPS 6093 WITH SCORE 6136.877
AT ITER 1037 NEW BEST:: SOT 47825 SOS 43875 HAS SOPS 40518 HAS SOUS 6102 HAS SOUPS 6093 WITH SCORE 6136.875
AT ITER 1066 NEW BEST:: SOT 47824 SOS 43874 HAS SOPS 40517 HAS SOUS 6102 HAS SOUPS 6093 WITH SCORE 6136.874
AT ITER 1068 NEW BEST:: SOT 47832 SOS 43880 HAS SOPS 40523 HAS SOUS 6090 HAS SOUPS 6081 WITH SCORE 6124.88
AT ITER 1096 NEW BEST:: SOT 47784 SOS 43829 HAS SOPS 40472 HAS SOUS 6063 HAS SOUPS 6054 WITH SCORE 6097.829
AT ITER 1109 NEW BEST:: SOT 47937 SOS 44011 HAS SOPS 40654 HAS SOUS 6032 HAS SOUPS 6023 WITH SCORE 6067.011
AT ITER 1126 NEW BEST:: SOT 47920 SOS 43994 HAS SOPS 40637 HAS SOUS 6023 HAS SOUPS 6014 WITH SCORE 6057.994
AT ITER 1137 NEW BEST:: SOT 47891 SOS 43958 HAS SOPS 40601 HAS SOUS 6005 HAS SOUPS 5996 WITH SCORE 6039.958
AT ITER 1165 NEW BEST:: SOT 47816 SOS 43888 HAS SOPS 40531 HAS SOUS 5932 HAS SOUPS 5923 WITH SCORE 5966.888
AT ITER 1187 NEW BEST:: SOT 47397 SOS 43470 HAS SOPS 40113 HAS SOUS 5533 HAS SOUPS 5524 WITH SCORE 5567.47
AT ITER 1196 NEW BEST:: SOT 47387 SOS 43454 HAS SOPS 40097 HAS SOUS 5533 HAS SOUPS 5524 WITH SCORE 5567.454
AT ITER 1203 NEW BEST:: SOT 47351 SOS 43424 HAS SOPS 40067 HAS SOUS 5518 HAS SOUPS 5509 WITH SCORE 5552.424
AT ITER 1228 NEW BEST:: SOT 47349 SOS 43421 HAS SOPS 40064 HAS SOUS 5500 HAS SOUPS 5491 WITH SCORE 5534.421
AT ITER 1292 NEW BEST:: SOT 47349 SOS 41051 HAS SOPS 40119 HAS SOUS 5494 HAS SOUPS 5490 WITH SCORE 5531.051
AT ITER 1311 NEW BEST:: SOT 47457 SOS 41159 HAS SOPS 40227 HAS SOUS 5470 HAS SOUPS 5466 WITH SCORE 5507.159
AT ITER 1349 NEW BEST:: SOT 47389 SOS 41113 HAS SOPS 40181 HAS SOUS 5403 HAS SOUPS 5399 WITH SCORE 5440.113
AT ITER 1364 NEW BEST:: SOT 47533 SOS 41288 HAS SOPS 40356 HAS SOUS 5330 HAS SOUPS 5326 WITH SCORE 5367.288
AT ITER 1367 NEW BEST:: SOT 47533 SOS 41289 HAS SOPS 40357 HAS SOUS 5324 HAS SOUPS 5320 WITH SCORE 5361.289
AT ITER 1379 NEW BEST:: SOT 47537 SOS 41294 HAS SOPS 40362 HAS SOUS 5318 HAS SOUPS 5314 WITH SCORE 5355.294
AT ITER 1389 NEW BEST:: SOT 47525 SOS 41278 HAS SOPS 40346 HAS SOUS 5299 HAS SOUPS 5295 WITH SCORE 5336.278
AT ITER 1428 NEW BEST:: SOT 47525 SOS 41277 HAS SOPS 40345 HAS SOUS 5299 HAS SOUPS 5295 WITH SCORE 5336.277
AT ITER 1440 NEW BEST:: SOT 47491 SOS 41239 HAS SOPS 40307 HAS SOUS 5231 HAS SOUPS 5227 WITH SCORE 5268.239
AT ITER 1444 NEW BEST:: SOT 47483 SOS 41230 HAS SOPS 40297 HAS SOUS 5225 HAS SOUPS 5221 WITH SCORE 5262.23
AT ITER 1447 NEW BEST:: SOT 47483 SOS 41227 HAS SOPS 40294 HAS SOUS 5195 HAS SOUPS 5191 WITH SCORE 5232.227
AT ITER 1451 NEW BEST:: SOT 47483 SOS 41220 HAS SOPS 40287 HAS SOUS 5195 HAS SOUPS 5191 WITH SCORE 5232.22
AT ITER 1465 NEW BEST:: SOT 47500 SOS 41243 HAS SOPS 40310 HAS SOUS 5164 HAS SOUPS 5160 WITH SCORE 5201.243
AT ITER 1471 NEW BEST:: SOT 47498 SOS 41230 HAS SOPS 40297 HAS SOUS 5160 HAS SOUPS 5156 WITH SCORE 5197.23
AT ITER 1531 NEW BEST:: SOT 47484 SOS 41177 HAS SOPS 40244 HAS SOUS 5130 HAS SOUPS 5126 WITH SCORE 5167.177
AT ITER 1564 NEW BEST:: SOT 47652 SOS 41353 HAS SOPS 40420 HAS SOUS 5101 HAS SOUPS 5097 WITH SCORE 5138.353
AT ITER 1593 NEW BEST:: SOT 47649 SOS 41350 HAS SOPS 40417 HAS SOUS 5095 HAS SOUPS 5091 WITH SCORE 5132.35
AT ITER 1653 NEW BEST:: SOT 47577 SOS 41270 HAS SOPS 40337 HAS SOUS 5023 HAS SOUPS 5019 WITH SCORE 5060.27
AT ITER 1655 NEW BEST:: SOT 47540 SOS 41228 HAS SOPS 40295 HAS SOUS 5018 HAS SOUPS 5014 WITH SCORE 5055.228
AT ITER 1720 NEW BEST:: SOT 47617 SOS 41127 HAS SOPS 40194 HAS SOUS 4951 HAS SOUPS 4947 WITH SCORE 4988.127
AT ITER 1730 NEW BEST:: SOT 47565 SOS 41062 HAS SOPS 40129 HAS SOUS 4925 HAS SOUPS 4921 WITH SCORE 4962.062
AT ITER 1823 NEW BEST:: SOT 47579 SOS 41090 HAS SOPS 40157 HAS SOUS 4883 HAS SOUPS 4879 WITH SCORE 4920.09
AT ITER 1829 NEW BEST:: SOT 47613 SOS 41118 HAS SOPS 40185 HAS SOUS 4873 HAS SOUPS 4869 WITH SCORE 4910.118
AT ITER 1854 NEW BEST:: SOT 47601 SOS 41072 HAS SOPS 40139 HAS SOUS 4857 HAS SOUPS 4853 WITH SCORE 4894.072
AT ITER 1868 NEW BEST:: SOT 47600 SOS 41072 HAS SOPS 40139 HAS SOUS 4856 HAS SOUPS 4852 WITH SCORE 4893.072
AT ITER 1871 NEW BEST:: SOT 47481 SOS 40946 HAS SOPS 40013 HAS SOUS 4842 HAS SOUPS 4838 WITH SCORE 4878.946
AT ITER 1889 NEW BEST:: SOT 47433 SOS 40890 HAS SOPS 39957 HAS SOUS 4814 HAS SOUPS 4810 WITH SCORE 4850.89
AT ITER 1911 NEW BEST:: SOT 47429 SOS 40882 HAS SOPS 39949 HAS SOUS 4807 HAS SOUPS 4803 WITH SCORE 4843.882
AT ITER 1925 NEW BEST:: SOT 47561 SOS 41014 HAS SOPS 40081 HAS SOUS 4784 HAS SOUPS 4780 WITH SCORE 4821.014
AT ITER 1978 NEW BEST:: SOT 47573 SOS 41025 HAS SOPS 40092 HAS SOUS 4776 HAS SOUPS 4772 WITH SCORE 4813.025
AT ITER 2011 NEW BEST:: SOT 47677 SOS 41105 HAS SOPS 40172 HAS SOUS 4743 HAS SOUPS 4739 WITH SCORE 4780.105
AT ITER 2017 NEW BEST:: SOT 47762 SOS 41195 HAS SOPS 40262 HAS SOUS 4731 HAS SOUPS 4727 WITH SCORE 4768.195
AT ITER 2023 NEW BEST:: SOT 47728 SOS 41171 HAS SOPS 40238 HAS SOUS 4715 HAS SOUPS 4711 WITH SCORE 4752.171
AT ITER 2029 NEW BEST:: SOT 47728 SOS 41171 HAS SOPS 40237 HAS SOUS 4707 HAS SOUPS 4703 WITH SCORE 4744.171
AT ITER 2151 NEW BEST:: SOT 47716 SOS 41169 HAS SOPS 40235 HAS SOUS 4647 HAS SOUPS 4643 WITH SCORE 4684.169
AT ITER 2170 NEW BEST:: SOT 47702 SOS 41109 HAS SOPS 40175 HAS SOUS 4633 HAS SOUPS 4629 WITH SCORE 4670.109
AT ITER 2180 NEW BEST:: SOT 47743 SOS 41149 HAS SOPS 40215 HAS SOUS 4628 HAS SOUPS 4624 WITH SCORE 4665.149
AT ITER 2268 NEW BEST:: SOT 47747 SOS 41100 HAS SOPS 40166 HAS SOUS 4626 HAS SOUPS 4622 WITH SCORE 4663.1
AT ITER 2281 NEW BEST:: SOT 47774 SOS 41127 HAS SOPS 40193 HAS SOUS 4617 HAS SOUPS 4613 WITH SCORE 4654.127
AT ITER 2344 NEW BEST:: SOT 47772 SOS 40659 HAS SOPS 40191 HAS SOUS 4614 HAS SOUPS 4611 WITH SCORE 4651.659
AT ITER 2387 NEW BEST:: SOT 47815 SOS 40701 HAS SOPS 40233 HAS SOUS 4601 HAS SOUPS 4598 WITH SCORE 4638.701
AT ITER 2488 NEW BEST:: SOT 47813 SOS 40681 HAS SOPS 40213 HAS SOUS 4597 HAS SOUPS 4594 WITH SCORE 4634.681
AT ITER 2490 NEW BEST:: SOT 47823 SOS 40692 HAS SOPS 40224 HAS SOUS 4595 HAS SOUPS 4592 WITH SCORE 4632.692
AT ITER 2497 NEW BEST:: SOT 47787 SOS 40656 HAS SOPS 40188 HAS SOUS 4577 HAS SOUPS 4574 WITH SCORE 4614.656
AT ITER 2499 NEW BEST:: SOT 47765 SOS 40630 HAS SOPS 40162 HAS SOUS 4564 HAS SOUPS 4561 WITH SCORE 4601.63
AT ITER 2510 NEW BEST:: SOT 47790 SOS 40654 HAS SOPS 40186 HAS SOUS 4561 HAS SOUPS 4558 WITH SCORE 4598.654
AT ITER 2560 NEW BEST:: SOT 47681 SOS 40552 HAS SOPS 40084 HAS SOUS 4460 HAS SOUPS 4457 WITH SCORE 4497.552
AT ITER 2575 NEW BEST:: SOT 47680 SOS 40551 HAS SOPS 40083 HAS SOUS 4459 HAS SOUPS 4456 WITH SCORE 4496.551
AT ITER 2590 NEW BEST:: SOT 47607 SOS 40473 HAS SOPS 40005 HAS SOUS 4435 HAS SOUPS 4432 WITH SCORE 4472.473
AT ITER 2601 NEW BEST:: SOT 47607 SOS 40473 HAS SOPS 40005 HAS SOUS 4430 HAS SOUPS 4427 WITH SCORE 4467.473
AT ITER 2631 NEW BEST:: SOT 47688 SOS 40555 HAS SOPS 40087 HAS SOUS 4375 HAS SOUPS 4372 WITH SCORE 4412.555
AT ITER 2649 NEW BEST:: SOT 47724 SOS 40595 HAS SOPS 40127 HAS SOUS 4372 HAS SOUPS 4369 WITH SCORE 4409.595
AT ITER 2652 NEW BEST:: SOT 47720 SOS 40587 HAS SOPS 40119 HAS SOUS 4368 HAS SOUPS 4365 WITH SCORE 4405.587
AT ITER 2832 NEW BEST:: SOT 47719 SOS 40588 HAS SOPS 40120 HAS SOUS 4367 HAS SOUPS 4364 WITH SCORE 4404.588
AT ITER 2851 NEW BEST:: SOT 47707 SOS 40574 HAS SOPS 40106 HAS SOUS 4366 HAS SOUPS 4363 WITH SCORE 4403.574
AT ITER 2909 NEW BEST:: SOT 47701 SOS 40562 HAS SOPS 40094 HAS SOUS 4354 HAS SOUPS 4351 WITH SCORE 4391.562
AT ITER 2915 NEW BEST:: SOT 47702 SOS 40566 HAS SOPS 40098 HAS SOUS 4338 HAS SOUPS 4335 WITH SCORE 4375.566
AT ITER 2967 NEW BEST:: SOT 47734 SOS 40590 HAS SOPS 40122 HAS SOUS 4324 HAS SOUPS 4321 WITH SCORE 4361.59
AT ITER 3062 NEW BEST:: SOT 47735 SOS 40593 HAS SOPS 40125 HAS SOUS 4317 HAS SOUPS 4314 WITH SCORE 4354.593
AT ITER 3148 NEW BEST:: SOT 47725 SOS 40583 HAS SOPS 40115 HAS SOUS 4313 HAS SOUPS 4310 WITH SCORE 4350.583
AT ITER 3164 NEW BEST:: SOT 47743 SOS 40601 HAS SOPS 40133 HAS SOUS 4312 HAS SOUPS 4309 WITH SCORE 4349.601
AT ITER 3227 NEW BEST:: SOT 47748 SOS 40606 HAS SOPS 40138 HAS SOUS 4311 HAS SOUPS 4308 WITH SCORE 4348.606
AT ITER 3237 NEW BEST:: SOT 47795 SOS 40652 HAS SOPS 40184 HAS SOUS 4238 HAS SOUPS 4235 WITH SCORE 4275.652
AT ITER 3324 NEW BEST:: SOT 47795 SOS 40649 HAS SOPS 40181 HAS SOUS 4238 HAS SOUPS 4235 WITH SCORE 4275.649
AT ITER 3354 NEW BEST:: SOT 47794 SOS 40650 HAS SOPS 40182 HAS SOUS 4237 HAS SOUPS 4234 WITH SCORE 4274.65
AT ITER 3355 NEW BEST:: SOT 47778 SOS 40625 HAS SOPS 40157 HAS SOUS 4229 HAS SOUPS 4226 WITH SCORE 4266.625
AT ITER 3391 NEW BEST:: SOT 47778 SOS 40624 HAS SOPS 40156 HAS SOUS 4229 HAS SOUPS 4226 WITH SCORE 4266.624
AT ITER 3459 NEW BEST:: SOT 47780 SOS 40625 HAS SOPS 40157 HAS SOUS 4228 HAS SOUPS 4225 WITH SCORE 4265.625
AT ITER 3585 NEW BEST:: SOT 47747 SOS 40592 HAS SOPS 40124 HAS SOUS 4213 HAS SOUPS 4210 WITH SCORE 4250.592
AT ITER 3594 NEW BEST:: SOT 47747 SOS 40594 HAS SOPS 40126 HAS SOUS 4212 HAS SOUPS 4209 WITH SCORE 4249.594
AT ITER 3619 NEW BEST:: SOT 47715 SOS 40562 HAS SOPS 40094 HAS SOUS 4188 HAS SOUPS 4185 WITH SCORE 4225.562
AT ITER 3654 NEW BEST:: SOT 47770 SOS 40610 HAS SOPS 40142 HAS SOUS 4181 HAS SOUPS 4178 WITH SCORE 4218.61
AT ITER 3669 NEW BEST:: SOT 47766 SOS 40606 HAS SOPS 40138 HAS SOUS 4181 HAS SOUPS 4178 WITH SCORE 4218.606
AT ITER 3861 NEW BEST:: SOT 47765 SOS 40605 HAS SOPS 40137 HAS SOUS 4180 HAS SOUPS 4177 WITH SCORE 4217.605
AT ITER 3932 NEW BEST:: SOT 47763 SOS 40603 HAS SOPS 40135 HAS SOUS 4170 HAS SOUPS 4167 WITH SCORE 4207.603
AT ITER 3985 NEW BEST:: SOT 47761 SOS 40601 HAS SOPS 40133 HAS SOUS 4161 HAS SOUPS 4158 WITH SCORE 4198.601
AT ITER 4028 NEW BEST:: SOT 47791 SOS 40633 HAS SOPS 40165 HAS SOUS 4158 HAS SOUPS 4155 WITH SCORE 4195.633
AT ITER 4090 NEW BEST:: SOT 47785 SOS 40611 HAS SOPS 40143 HAS SOUS 4154 HAS SOUPS 4151 WITH SCORE 4191.611
AT ITER 4280 NEW BEST:: SOT 47782 SOS 40608 HAS SOPS 40140 HAS SOUS 4153 HAS SOUPS 4150 WITH SCORE 4190.608
AT ITER 4497 NEW BEST:: SOT 47766 SOS 40589 HAS SOPS 40121 HAS SOUS 4145 HAS SOUPS 4142 WITH SCORE 4182.589
AT ITER 4587 NEW BEST:: SOT 47766 SOS 40585 HAS SOPS 40117 HAS SOUS 4143 HAS SOUPS 4140 WITH SCORE 4180.585
AT ITER 4595 NEW BEST:: SOT 47670 SOS 40471 HAS SOPS 40003 HAS SOUS 4109 HAS SOUPS 4106 WITH SCORE 4146.471
AT ITER 4603 NEW BEST:: SOT 47686 SOS 40488 HAS SOPS 40020 HAS SOUS 4085 HAS SOUPS 4082 WITH SCORE 4122.488
AT ITER 4715 NEW BEST:: SOT 47669 SOS 40470 HAS SOPS 40002 HAS SOUS 4085 HAS SOUPS 4082 WITH SCORE 4122.47
AT ITER 5009 NEW BEST:: SOT 47635 SOS 40478 HAS SOPS 40010 HAS SOUS 4081 HAS SOUPS 4078 WITH SCORE 4118.478
AT ITER 5038 NEW BEST:: SOT 47631 SOS 40474 HAS SOPS 40006 HAS SOUS 4081 HAS SOUPS 4078 WITH SCORE 4118.474
AT ITER 5139 NEW BEST:: SOT 47631 SOS 40473 HAS SOPS 40005 HAS SOUS 4081 HAS SOUPS 4078 WITH SCORE 4118.473
AT ITER 5254 NEW BEST:: SOT 47631 SOS 40476 HAS SOPS 40008 HAS SOUS 4079 HAS SOUPS 4076 WITH SCORE 4116.476
AT ITER 5290 NEW BEST:: SOT 47630 SOS 40471 HAS SOPS 40003 HAS SOUS 4076 HAS SOUPS 4073 WITH SCORE 4113.471
AT ITER 5348 NEW BEST:: SOT 47630 SOS 40473 HAS SOPS 40005 HAS SOUS 4075 HAS SOUPS 4072 WITH SCORE 4112.473
AT ITER 5417 NEW BEST:: SOT 47602 SOS 40449 HAS SOPS 39981 HAS SOUS 4051 HAS SOUPS 4048 WITH SCORE 4088.449
AT ITER 5530 NEW BEST:: SOT 47602 SOS 40451 HAS SOPS 39983 HAS SOUS 4044 HAS SOUPS 4041 WITH SCORE 4081.451
AT ITER 5621 NEW BEST:: SOT 47599 SOS 40448 HAS SOPS 39980 HAS SOUS 4043 HAS SOUPS 4040 WITH SCORE 4080.448
AT ITER 5852 NEW BEST:: SOT 47581 SOS 40428 HAS SOPS 39960 HAS SOUS 4024 HAS SOUPS 4021 WITH SCORE 4061.428
AT ITER 6207 NEW BEST:: SOT 47579 SOS 40410 HAS SOPS 39942 HAS SOUS 4023 HAS SOUPS 4020 WITH SCORE 4060.41
AT ITER 6266 NEW BEST:: SOT 47578 SOS 40380 HAS SOPS 39912 HAS SOUS 4023 HAS SOUPS 4020 WITH SCORE 4060.38
AT ITER 6434 NEW BEST:: SOT 47578 SOS 40377 HAS SOPS 39909 HAS SOUS 4015 HAS SOUPS 4012 WITH SCORE 4052.377
AT ITER 6498 NEW BEST:: SOT 47577 SOS 40375 HAS SOPS 39907 HAS SOUS 4015 HAS SOUPS 4012 WITH SCORE 4052.375
AT ITER 6610 NEW BEST:: SOT 47577 SOS 40374 HAS SOPS 39906 HAS SOUS 4015 HAS SOUPS 4012 WITH SCORE 4052.374
AT ITER 6818 NEW BEST:: SOT 47642 SOS 40440 HAS SOPS 39972 HAS SOUS 4000 HAS SOUPS 3997 WITH SCORE 4037.44
AT ITER 6905 NEW BEST:: SOT 47626 SOS 40423 HAS SOPS 39955 HAS SOUS 3984 HAS SOUPS 3981 WITH SCORE 4021.423
AT ITER 6913 NEW BEST:: SOT 47626 SOS 40421 HAS SOPS 39953 HAS SOUS 3984 HAS SOUPS 3981 WITH SCORE 4021.421
AT ITER 6978 NEW BEST:: SOT 47621 SOS 40298 HAS SOPS 38460 HAS SOUS 3988 HAS SOUPS 3980 WITH SCORE 4020.298
AT ITER 8173 NEW BEST:: SOT 47604 SOS 40276 HAS SOPS 38438 HAS SOUS 3923 HAS SOUPS 3915 WITH SCORE 3955.276
AT ITER 8345 NEW BEST:: SOT 47603 SOS 40274 HAS SOPS 38436 HAS SOUS 3922 HAS SOUPS 3914 WITH SCORE 3954.274
AT ITER 9057 NEW BEST:: SOT 47602 SOS 39809 HAS SOPS 38437 HAS SOUS 3921 HAS SOUPS 3914 WITH SCORE 3953.809
AT ITER 9315 NEW BEST:: SOT 47601 SOS 39807 HAS SOPS 38435 HAS SOUS 3920 HAS SOUPS 3913 WITH SCORE 3952.807
AT ITER 9355 NEW BEST:: SOT 47601 SOS 39790 HAS SOPS 38418 HAS SOUS 3920 HAS SOUPS 3913 WITH SCORE 3952.79
AT ITER 9993 NEW BEST:: SOT 47600 SOS 39018 HAS SOPS 38562 HAS SOUS 3916 HAS SOUPS 3911 WITH SCORE 3950.018
STATE_SPACE STATES 992718112 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 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 12748523849 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678475453819

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

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-08a"
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 AutonomousCar-PT-08a, 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 r003-oct2-167813591100648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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