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-167813591200664.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-09a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591200664
=====================================================================

--------------------
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 1678476099466

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-09a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 09a
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: 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 4 NEW BEST:: SOT 98895 SOS 84448 HAS SOPS 84446 HAS SOUS 44347 HAS SOUPS 44345 WITH SCORE 44429.448
AT ITER 5 NEW BEST:: SOT 98901 SOS 84398 HAS SOPS 84396 HAS SOUS 44229 HAS SOUPS 44227 WITH SCORE 44311.398
AT ITER 6 NEW BEST:: SOT 98996 SOS 84459 HAS SOPS 84457 HAS SOUS 44056 HAS SOUPS 44054 WITH SCORE 44138.459
AT ITER 8 NEW BEST:: SOT 98967 SOS 84477 HAS SOPS 84475 HAS SOUS 43673 HAS SOUPS 43671 WITH SCORE 43755.477
AT ITER 9 NEW BEST:: SOT 98920 SOS 84383 HAS SOPS 84381 HAS SOUS 40015 HAS SOUPS 40013 WITH SCORE 40097.383
AT ITER 10 NEW BEST:: SOT 98874 SOS 84337 HAS SOPS 84335 HAS SOUS 39966 HAS SOUPS 39964 WITH SCORE 40048.337
AT ITER 14 NEW BEST:: SOT 98947 SOS 84417 HAS SOPS 84415 HAS SOUS 39899 HAS SOUPS 39897 WITH SCORE 39981.417
AT ITER 18 NEW BEST:: SOT 98956 SOS 84435 HAS SOPS 84433 HAS SOUS 39647 HAS SOUPS 39645 WITH SCORE 39729.435
AT ITER 20 NEW BEST:: SOT 98956 SOS 84445 HAS SOPS 84443 HAS SOUS 39646 HAS SOUPS 39644 WITH SCORE 39728.445
AT ITER 21 NEW BEST:: SOT 93358 SOS 78817 HAS SOPS 78815 HAS SOUS 36572 HAS SOUPS 36570 WITH SCORE 36648.817
AT ITER 23 NEW BEST:: SOT 93234 SOS 78669 HAS SOPS 78667 HAS SOUS 36488 HAS SOUPS 36486 WITH SCORE 36564.669
AT ITER 24 NEW BEST:: SOT 92285 SOS 79297 HAS SOPS 79295 HAS SOUS 36470 HAS SOUPS 36468 WITH SCORE 36547.297
AT ITER 35 NEW BEST:: SOT 91121 SOS 78112 HAS SOPS 78110 HAS SOUS 35817 HAS SOUPS 35815 WITH SCORE 35893.112
AT ITER 41 NEW BEST:: SOT 91254 SOS 78245 HAS SOPS 78243 HAS SOUS 35793 HAS SOUPS 35791 WITH SCORE 35869.245
AT ITER 44 NEW BEST:: SOT 91252 SOS 78232 HAS SOPS 78230 HAS SOUS 35764 HAS SOUPS 35762 WITH SCORE 35840.232
AT ITER 46 NEW BEST:: SOT 90770 SOS 77750 HAS SOPS 77748 HAS SOUS 35449 HAS SOUPS 35447 WITH SCORE 35524.75
AT ITER 49 NEW BEST:: SOT 90607 SOS 77585 HAS SOPS 77583 HAS SOUS 35359 HAS SOUPS 35357 WITH SCORE 35434.585
AT ITER 55 NEW BEST:: SOT 90804 SOS 77793 HAS SOPS 77791 HAS SOUS 34667 HAS SOUPS 34665 WITH SCORE 34742.793
AT ITER 60 NEW BEST:: SOT 90804 SOS 77785 HAS SOPS 77783 HAS SOUS 34667 HAS SOUPS 34665 WITH SCORE 34742.785
AT ITER 64 NEW BEST:: SOT 90804 SOS 77785 HAS SOPS 77783 HAS SOUS 34155 HAS SOUPS 34153 WITH SCORE 34230.785
AT ITER 68 NEW BEST:: SOT 90783 SOS 77749 HAS SOPS 77747 HAS SOUS 34001 HAS SOUPS 33999 WITH SCORE 34076.749
AT ITER 69 NEW BEST:: SOT 90522 SOS 77478 HAS SOPS 77476 HAS SOUS 30967 HAS SOUPS 30965 WITH SCORE 31042.478
AT ITER 72 NEW BEST:: SOT 90577 SOS 77541 HAS SOPS 77539 HAS SOUS 30924 HAS SOUPS 30922 WITH SCORE 30999.541
AT ITER 75 NEW BEST:: SOT 90529 SOS 77499 HAS SOPS 77497 HAS SOUS 30866 HAS SOUPS 30864 WITH SCORE 30941.499
AT ITER 78 NEW BEST:: SOT 90435 SOS 77311 HAS SOPS 77309 HAS SOUS 30823 HAS SOUPS 30821 WITH SCORE 30898.311
AT ITER 79 NEW BEST:: SOT 90806 SOS 77701 HAS SOPS 77699 HAS SOUS 29971 HAS SOUPS 29969 WITH SCORE 30046.701
AT ITER 93 NEW BEST:: SOT 90881 SOS 77881 HAS SOPS 77879 HAS SOUS 29918 HAS SOUPS 29916 WITH SCORE 29993.881
AT ITER 100 NEW BEST:: SOT 90698 SOS 77691 HAS SOPS 77689 HAS SOUS 29721 HAS SOUPS 29719 WITH SCORE 29796.691
AT ITER 101 NEW BEST:: SOT 90752 SOS 77598 HAS SOPS 77596 HAS SOUS 29720 HAS SOUPS 29718 WITH SCORE 29795.598
AT ITER 102 NEW BEST:: SOT 90734 SOS 78059 HAS SOPS 78057 HAS SOUS 29702 HAS SOUPS 29700 WITH SCORE 29778.059
AT ITER 105 NEW BEST:: SOT 90836 SOS 78151 HAS SOPS 78149 HAS SOUS 29602 HAS SOUPS 29600 WITH SCORE 29678.151
AT ITER 108 NEW BEST:: SOT 90759 SOS 78159 HAS SOPS 78157 HAS SOUS 29530 HAS SOUPS 29528 WITH SCORE 29606.159
AT ITER 110 NEW BEST:: SOT 90759 SOS 78156 HAS SOPS 78154 HAS SOUS 29529 HAS SOUPS 29527 WITH SCORE 29605.156
AT ITER 112 NEW BEST:: SOT 90663 SOS 78054 HAS SOPS 78052 HAS SOUS 29463 HAS SOUPS 29461 WITH SCORE 29539.054
AT ITER 117 NEW BEST:: SOT 90662 SOS 78051 HAS SOPS 78049 HAS SOUS 29459 HAS SOUPS 29457 WITH SCORE 29535.051
AT ITER 119 NEW BEST:: SOT 90662 SOS 79711 HAS SOPS 77981 HAS SOUS 29440 HAS SOUPS 29435 WITH SCORE 29514.711
AT ITER 127 NEW BEST:: SOT 89041 SOS 78068 HAS SOPS 76338 HAS SOUS 29001 HAS SOUPS 28996 WITH SCORE 29074.068
AT ITER 129 NEW BEST:: SOT 89038 SOS 78056 HAS SOPS 76326 HAS SOUS 28996 HAS SOUPS 28991 WITH SCORE 29069.056
AT ITER 133 NEW BEST:: SOT 89060 SOS 78083 HAS SOPS 76353 HAS SOUS 28919 HAS SOUPS 28914 WITH SCORE 28992.083
AT ITER 138 NEW BEST:: SOT 88820 SOS 77813 HAS SOPS 76083 HAS SOUS 28412 HAS SOUPS 28407 WITH SCORE 28484.813
AT ITER 140 NEW BEST:: SOT 88782 SOS 77737 HAS SOPS 76007 HAS SOUS 28203 HAS SOUPS 28198 WITH SCORE 28275.737
AT ITER 143 NEW BEST:: SOT 88815 SOS 77689 HAS SOPS 75959 HAS SOUS 27897 HAS SOUPS 27892 WITH SCORE 27969.689
AT ITER 144 NEW BEST:: SOT 88773 SOS 79610 HAS SOPS 77880 HAS SOUS 27799 HAS SOUPS 27794 WITH SCORE 27873.61
AT ITER 152 NEW BEST:: SOT 88766 SOS 79598 HAS SOPS 77868 HAS SOUS 27197 HAS SOUPS 27192 WITH SCORE 27271.598
AT ITER 154 NEW BEST:: SOT 88715 SOS 79547 HAS SOPS 77817 HAS SOUS 27163 HAS SOUPS 27158 WITH SCORE 27237.547
AT ITER 157 NEW BEST:: SOT 88089 SOS 78921 HAS SOPS 77191 HAS SOUS 26850 HAS SOUPS 26845 WITH SCORE 26923.921
AT ITER 161 NEW BEST:: SOT 88089 SOS 78921 HAS SOPS 77191 HAS SOUS 26834 HAS SOUPS 26829 WITH SCORE 26907.921
AT ITER 168 NEW BEST:: SOT 88083 SOS 78907 HAS SOPS 77173 HAS SOUS 26826 HAS SOUPS 26821 WITH SCORE 26899.907
AT ITER 172 NEW BEST:: SOT 87987 SOS 78805 HAS SOPS 77071 HAS SOUS 26721 HAS SOUPS 26716 WITH SCORE 26794.805
AT ITER 173 NEW BEST:: SOT 87985 SOS 78799 HAS SOPS 77065 HAS SOUS 26719 HAS SOUPS 26714 WITH SCORE 26792.799
AT ITER 192 NEW BEST:: SOT 88013 SOS 78805 HAS SOPS 77071 HAS SOUS 26515 HAS SOUPS 26510 WITH SCORE 26588.805
AT ITER 195 NEW BEST:: SOT 88008 SOS 77269 HAS SOPS 75539 HAS SOUS 26513 HAS SOUPS 26508 WITH SCORE 26585.269
AT ITER 201 NEW BEST:: SOT 88004 SOS 77257 HAS SOPS 75527 HAS SOUS 26505 HAS SOUPS 26500 WITH SCORE 26577.257
AT ITER 206 NEW BEST:: SOT 88040 SOS 77279 HAS SOPS 75549 HAS SOUS 26492 HAS SOUPS 26487 WITH SCORE 26564.279
AT ITER 209 NEW BEST:: SOT 88040 SOS 77265 HAS SOPS 75535 HAS SOUS 26300 HAS SOUPS 26295 WITH SCORE 26372.265
AT ITER 215 NEW BEST:: SOT 88040 SOS 77248 HAS SOPS 75518 HAS SOUS 26283 HAS SOUPS 26278 WITH SCORE 26355.248
AT ITER 226 NEW BEST:: SOT 87755 SOS 76964 HAS SOPS 75234 HAS SOUS 26103 HAS SOUPS 26098 WITH SCORE 26174.964
AT ITER 229 NEW BEST:: SOT 87755 SOS 76962 HAS SOPS 75808 HAS SOUS 26101 HAS SOUPS 26097 WITH SCORE 26173.962
AT ITER 235 NEW BEST:: SOT 87718 SOS 76925 HAS SOPS 75771 HAS SOUS 26040 HAS SOUPS 26036 WITH SCORE 26112.925
AT ITER 251 NEW BEST:: SOT 88274 SOS 77473 HAS SOPS 76319 HAS SOUS 25026 HAS SOUPS 25022 WITH SCORE 25099.473
AT ITER 252 NEW BEST:: SOT 88088 SOS 77233 HAS SOPS 76097 HAS SOUS 24936 HAS SOUPS 24932 WITH SCORE 25009.233
AT ITER 253 NEW BEST:: SOT 88401 SOS 77609 HAS SOPS 76473 HAS SOUS 24874 HAS SOUPS 24870 WITH SCORE 24947.609
AT ITER 256 NEW BEST:: SOT 88367 SOS 77575 HAS SOPS 76439 HAS SOUS 24857 HAS SOUPS 24853 WITH SCORE 24930.575
AT ITER 260 NEW BEST:: SOT 88240 SOS 77445 HAS SOPS 76309 HAS SOUS 24709 HAS SOUPS 24705 WITH SCORE 24782.445
AT ITER 274 NEW BEST:: SOT 88234 SOS 77424 HAS SOPS 76288 HAS SOUS 24699 HAS SOUPS 24695 WITH SCORE 24772.424
AT ITER 282 NEW BEST:: SOT 88507 SOS 77700 HAS SOPS 76564 HAS SOUS 24696 HAS SOUPS 24692 WITH SCORE 24769.7
AT ITER 309 NEW BEST:: SOT 88217 SOS 77426 HAS SOPS 76290 HAS SOUS 20313 HAS SOUPS 20309 WITH SCORE 20386.426
AT ITER 312 NEW BEST:: SOT 88894 SOS 78152 HAS SOPS 77016 HAS SOUS 20069 HAS SOUPS 20065 WITH SCORE 20143.152
AT ITER 327 NEW BEST:: SOT 88894 SOS 78176 HAS SOPS 77040 HAS SOUS 19825 HAS SOUPS 19821 WITH SCORE 19899.176
AT ITER 328 NEW BEST:: SOT 88882 SOS 78164 HAS SOPS 77028 HAS SOUS 19598 HAS SOUPS 19594 WITH SCORE 19672.164
AT ITER 332 NEW BEST:: SOT 88872 SOS 77767 HAS SOPS 76631 HAS SOUS 19587 HAS SOUPS 19583 WITH SCORE 19660.767
AT ITER 335 NEW BEST:: SOT 88835 SOS 77693 HAS SOPS 76557 HAS SOUS 19585 HAS SOUPS 19581 WITH SCORE 19658.693
AT ITER 342 NEW BEST:: SOT 88786 SOS 77615 HAS SOPS 76479 HAS SOUS 19438 HAS SOUPS 19434 WITH SCORE 19511.615
AT ITER 351 NEW BEST:: SOT 88779 SOS 77601 HAS SOPS 76465 HAS SOUS 19314 HAS SOUPS 19310 WITH SCORE 19387.601
AT ITER 359 NEW BEST:: SOT 88749 SOS 77567 HAS SOPS 76431 HAS SOUS 19162 HAS SOUPS 19158 WITH SCORE 19235.567
AT ITER 381 NEW BEST:: SOT 88749 SOS 76625 HAS SOPS 75453 HAS SOUS 19156 HAS SOUPS 19152 WITH SCORE 19228.625
AT ITER 387 NEW BEST:: SOT 88927 SOS 76836 HAS SOPS 75664 HAS SOUS 17778 HAS SOUPS 17774 WITH SCORE 17850.836
AT ITER 389 NEW BEST:: SOT 88927 SOS 76821 HAS SOPS 75649 HAS SOUS 17778 HAS SOUPS 17774 WITH SCORE 17850.821
AT ITER 390 NEW BEST:: SOT 88908 SOS 76797 HAS SOPS 75625 HAS SOUS 17745 HAS SOUPS 17741 WITH SCORE 17817.797
AT ITER 391 NEW BEST:: SOT 88972 SOS 76913 HAS SOPS 75741 HAS SOUS 17672 HAS SOUPS 17668 WITH SCORE 17744.913
AT ITER 407 NEW BEST:: SOT 88960 SOS 76905 HAS SOPS 75733 HAS SOUS 17664 HAS SOUPS 17660 WITH SCORE 17736.905
AT ITER 423 NEW BEST:: SOT 88944 SOS 76873 HAS SOPS 75701 HAS SOUS 17648 HAS SOUPS 17644 WITH SCORE 17720.873
AT ITER 427 NEW BEST:: SOT 88966 SOS 76809 HAS SOPS 75637 HAS SOUS 17617 HAS SOUPS 17613 WITH SCORE 17689.809
AT ITER 428 NEW BEST:: SOT 88950 SOS 76798 HAS SOPS 75626 HAS SOUS 17588 HAS SOUPS 17584 WITH SCORE 17660.798
AT ITER 438 NEW BEST:: SOT 88947 SOS 76795 HAS SOPS 75623 HAS SOUS 17584 HAS SOUPS 17580 WITH SCORE 17656.795
AT ITER 446 NEW BEST:: SOT 88789 SOS 76637 HAS SOPS 75465 HAS SOUS 17514 HAS SOUPS 17510 WITH SCORE 17586.637
AT ITER 452 NEW BEST:: SOT 88487 SOS 76299 HAS SOPS 75127 HAS SOUS 17452 HAS SOUPS 17448 WITH SCORE 17524.299
AT ITER 459 NEW BEST:: SOT 88463 SOS 76213 HAS SOPS 75041 HAS SOUS 17390 HAS SOUPS 17386 WITH SCORE 17462.213
AT ITER 461 NEW BEST:: SOT 88463 SOS 76211 HAS SOPS 75039 HAS SOUS 17337 HAS SOUPS 17333 WITH SCORE 17409.211
AT ITER 467 NEW BEST:: SOT 88021 SOS 75759 HAS SOPS 74587 HAS SOUS 16971 HAS SOUPS 16967 WITH SCORE 17042.759
AT ITER 473 NEW BEST:: SOT 88009 SOS 75735 HAS SOPS 74563 HAS SOUS 16959 HAS SOUPS 16955 WITH SCORE 17030.735
AT ITER 484 NEW BEST:: SOT 88009 SOS 77516 HAS SOPS 76344 HAS SOUS 16955 HAS SOUPS 16951 WITH SCORE 17028.516
AT ITER 490 NEW BEST:: SOT 88001 SOS 77495 HAS SOPS 76323 HAS SOUS 16947 HAS SOUPS 16943 WITH SCORE 17020.495
AT ITER 497 NEW BEST:: SOT 88001 SOS 77495 HAS SOPS 76899 HAS SOUS 16941 HAS SOUPS 16938 WITH SCORE 17015.495
AT ITER 500 NEW BEST:: SOT 87405 SOS 76819 HAS SOPS 76223 HAS SOUS 16680 HAS SOUPS 16677 WITH SCORE 16753.819
AT ITER 525 NEW BEST:: SOT 87433 SOS 76803 HAS SOPS 76207 HAS SOUS 16672 HAS SOUPS 16669 WITH SCORE 16745.803
AT ITER 527 NEW BEST:: SOT 87430 SOS 76776 HAS SOPS 76180 HAS SOUS 16634 HAS SOUPS 16631 WITH SCORE 16707.776
AT ITER 528 NEW BEST:: SOT 87702 SOS 77045 HAS SOPS 76449 HAS SOUS 16086 HAS SOUPS 16083 WITH SCORE 16160.045
AT ITER 534 NEW BEST:: SOT 88081 SOS 77447 HAS SOPS 76851 HAS SOUS 15089 HAS SOUPS 15086 WITH SCORE 15163.447
AT ITER 536 NEW BEST:: SOT 88062 SOS 78469 HAS SOPS 77891 HAS SOUS 15080 HAS SOUPS 15077 WITH SCORE 15155.469
AT ITER 554 NEW BEST:: SOT 88198 SOS 78593 HAS SOPS 78015 HAS SOUS 14968 HAS SOUPS 14965 WITH SCORE 15043.593
AT ITER 555 NEW BEST:: SOT 87375 SOS 77777 HAS SOPS 77199 HAS SOUS 14494 HAS SOUPS 14491 WITH SCORE 14568.777
AT ITER 566 NEW BEST:: SOT 87325 SOS 77939 HAS SOPS 77361 HAS SOUS 14419 HAS SOUPS 14416 WITH SCORE 14493.939
AT ITER 569 NEW BEST:: SOT 87326 SOS 81336 HAS SOPS 75694 HAS SOUS 14419 HAS SOUPS 14408 WITH SCORE 14489.336
AT ITER 571 NEW BEST:: SOT 87326 SOS 81322 HAS SOPS 75680 HAS SOUS 14419 HAS SOUPS 14408 WITH SCORE 14489.322
AT ITER 590 NEW BEST:: SOT 86837 SOS 80818 HAS SOPS 75176 HAS SOUS 14236 HAS SOUPS 14225 WITH SCORE 14305.818
AT ITER 596 NEW BEST:: SOT 86825 SOS 80812 HAS SOPS 75170 HAS SOUS 14223 HAS SOUPS 14212 WITH SCORE 14292.812
AT ITER 619 NEW BEST:: SOT 86824 SOS 80813 HAS SOPS 75171 HAS SOUS 14158 HAS SOUPS 14147 WITH SCORE 14227.813
AT ITER 629 NEW BEST:: SOT 86753 SOS 80753 HAS SOPS 75111 HAS SOUS 14098 HAS SOUPS 14087 WITH SCORE 14167.753
AT ITER 632 NEW BEST:: SOT 86725 SOS 80697 HAS SOPS 74497 HAS SOUS 14080 HAS SOUPS 14068 WITH SCORE 14148.697
AT ITER 661 NEW BEST:: SOT 86716 SOS 80283 HAS SOPS 74029 HAS SOUS 14060 HAS SOUPS 14048 WITH SCORE 14128.283
AT ITER 668 NEW BEST:: SOT 86698 SOS 80265 HAS SOPS 74011 HAS SOUS 14042 HAS SOUPS 14030 WITH SCORE 14110.265
AT ITER 677 NEW BEST:: SOT 86695 SOS 80259 HAS SOPS 74005 HAS SOUS 14033 HAS SOUPS 14021 WITH SCORE 14101.259
AT ITER 680 NEW BEST:: SOT 86683 SOS 80153 HAS SOPS 73899 HAS SOUS 13977 HAS SOUPS 13965 WITH SCORE 14045.153
AT ITER 688 NEW BEST:: SOT 86641 SOS 80117 HAS SOPS 73863 HAS SOUS 13959 HAS SOUPS 13947 WITH SCORE 14027.117
AT ITER 691 NEW BEST:: SOT 86627 SOS 80123 HAS SOPS 73869 HAS SOUS 13943 HAS SOUPS 13931 WITH SCORE 14011.123
AT ITER 715 NEW BEST:: SOT 86701 SOS 80200 HAS SOPS 73946 HAS SOUS 13926 HAS SOUPS 13914 WITH SCORE 13994.2
AT ITER 719 NEW BEST:: SOT 86703 SOS 80158 HAS SOPS 73904 HAS SOUS 13904 HAS SOUPS 13892 WITH SCORE 13972.158
AT ITER 773 NEW BEST:: SOT 86699 SOS 80152 HAS SOPS 73898 HAS SOUS 13901 HAS SOUPS 13889 WITH SCORE 13969.152
AT ITER 783 NEW BEST:: SOT 86401 SOS 79840 HAS SOPS 73586 HAS SOUS 13733 HAS SOUPS 13721 WITH SCORE 13800.84
AT ITER 794 NEW BEST:: SOT 86700 SOS 80131 HAS SOPS 73877 HAS SOUS 13624 HAS SOUPS 13612 WITH SCORE 13692.131
AT ITER 802 NEW BEST:: SOT 86609 SOS 80062 HAS SOPS 73808 HAS SOUS 13609 HAS SOUPS 13597 WITH SCORE 13677.062
AT ITER 818 NEW BEST:: SOT 86599 SOS 75612 HAS SOPS 75610 HAS SOUS 13597 HAS SOUPS 13595 WITH SCORE 13670.612
AT ITER 823 NEW BEST:: SOT 86393 SOS 75406 HAS SOPS 75404 HAS SOUS 13431 HAS SOUPS 13429 WITH SCORE 13504.406
AT ITER 832 NEW BEST:: SOT 86413 SOS 75404 HAS SOPS 75402 HAS SOUS 13409 HAS SOUPS 13407 WITH SCORE 13482.404
AT ITER 833 NEW BEST:: SOT 86389 SOS 75356 HAS SOPS 75354 HAS SOUS 13370 HAS SOUPS 13368 WITH SCORE 13443.356
AT ITER 835 NEW BEST:: SOT 86240 SOS 75170 HAS SOPS 75168 HAS SOUS 13319 HAS SOUPS 13317 WITH SCORE 13392.17
AT ITER 860 NEW BEST:: SOT 86315 SOS 75240 HAS SOPS 75238 HAS SOUS 13309 HAS SOUPS 13307 WITH SCORE 13382.24
AT ITER 861 NEW BEST:: SOT 87169 SOS 76090 HAS SOPS 76088 HAS SOUS 13063 HAS SOUPS 13061 WITH SCORE 13137.09
AT ITER 866 NEW BEST:: SOT 86619 SOS 75532 HAS SOPS 75530 HAS SOUS 12547 HAS SOUPS 12545 WITH SCORE 12620.532
AT ITER 885 NEW BEST:: SOT 86698 SOS 75644 HAS SOPS 75642 HAS SOUS 12191 HAS SOUPS 12189 WITH SCORE 12264.644
AT ITER 890 NEW BEST:: SOT 86736 SOS 75641 HAS SOPS 75639 HAS SOUS 12188 HAS SOUPS 12186 WITH SCORE 12261.641
AT ITER 894 NEW BEST:: SOT 86722 SOS 72394 HAS SOPS 71888 HAS SOUS 12177 HAS SOUPS 12174 WITH SCORE 12246.394
AT ITER 895 NEW BEST:: SOT 86513 SOS 72163 HAS SOPS 71657 HAS SOUS 12056 HAS SOUPS 12053 WITH SCORE 12125.163
AT ITER 899 NEW BEST:: SOT 86291 SOS 71941 HAS SOPS 71435 HAS SOUS 11946 HAS SOUPS 11943 WITH SCORE 12014.941
AT ITER 900 NEW BEST:: SOT 86358 SOS 72024 HAS SOPS 71518 HAS SOUS 11933 HAS SOUPS 11930 WITH SCORE 12002.024
AT ITER 904 NEW BEST:: SOT 86291 SOS 71923 HAS SOPS 71417 HAS SOUS 11884 HAS SOUPS 11881 WITH SCORE 11952.923
AT ITER 917 NEW BEST:: SOT 86274 SOS 71906 HAS SOPS 71400 HAS SOUS 11875 HAS SOUPS 11872 WITH SCORE 11943.906
AT ITER 918 NEW BEST:: SOT 85411 SOS 71038 HAS SOPS 70532 HAS SOUS 11307 HAS SOUPS 11304 WITH SCORE 11375.038
AT ITER 930 NEW BEST:: SOT 85371 SOS 71018 HAS SOPS 70512 HAS SOUS 11289 HAS SOUPS 11286 WITH SCORE 11357.018
AT ITER 953 NEW BEST:: SOT 85541 SOS 71198 HAS SOPS 70692 HAS SOUS 11075 HAS SOUPS 11072 WITH SCORE 11143.198
AT ITER 969 NEW BEST:: SOT 85140 SOS 70794 HAS SOPS 70288 HAS SOUS 10807 HAS SOUPS 10804 WITH SCORE 10874.794
AT ITER 972 NEW BEST:: SOT 85139 SOS 69927 HAS SOPS 69421 HAS SOUS 10806 HAS SOUPS 10803 WITH SCORE 10872.927
AT ITER 988 NEW BEST:: SOT 85004 SOS 69792 HAS SOPS 69286 HAS SOUS 10775 HAS SOUPS 10772 WITH SCORE 10841.792
AT ITER 993 NEW BEST:: SOT 84997 SOS 68962 HAS SOPS 68456 HAS SOUS 10768 HAS SOUPS 10765 WITH SCORE 10833.962
AT ITER 1018 NEW BEST:: SOT 84965 SOS 68934 HAS SOPS 68428 HAS SOUS 10748 HAS SOUPS 10745 WITH SCORE 10813.934
AT ITER 1031 NEW BEST:: SOT 84962 SOS 68982 HAS SOPS 68476 HAS SOUS 10745 HAS SOUPS 10742 WITH SCORE 10810.982
AT ITER 1033 NEW BEST:: SOT 84840 SOS 68860 HAS SOPS 68354 HAS SOUS 10602 HAS SOUPS 10599 WITH SCORE 10667.86
AT ITER 1058 NEW BEST:: SOT 84783 SOS 68791 HAS SOPS 68285 HAS SOUS 10572 HAS SOUPS 10569 WITH SCORE 10637.791
AT ITER 1093 NEW BEST:: SOT 84807 SOS 68829 HAS SOPS 68323 HAS SOUS 10474 HAS SOUPS 10471 WITH SCORE 10539.829
AT ITER 1094 NEW BEST:: SOT 84807 SOS 68829 HAS SOPS 68323 HAS SOUS 10464 HAS SOUPS 10461 WITH SCORE 10529.829
AT ITER 1102 NEW BEST:: SOT 84817 SOS 68841 HAS SOPS 68335 HAS SOUS 10458 HAS SOUPS 10455 WITH SCORE 10523.841
AT ITER 1135 NEW BEST:: SOT 84780 SOS 68839 HAS SOPS 68333 HAS SOUS 10174 HAS SOUPS 10171 WITH SCORE 10239.839
AT ITER 1139 NEW BEST:: SOT 84780 SOS 71439 HAS SOPS 68233 HAS SOUS 10174 HAS SOUPS 10166 WITH SCORE 10237.439
AT ITER 1147 NEW BEST:: SOT 84780 SOS 71438 HAS SOPS 68232 HAS SOUS 10174 HAS SOUPS 10166 WITH SCORE 10237.438
AT ITER 1166 NEW BEST:: SOT 84778 SOS 71692 HAS SOPS 68486 HAS SOUS 10173 HAS SOUPS 10165 WITH SCORE 10236.692
AT ITER 1169 NEW BEST:: SOT 84782 SOS 71700 HAS SOPS 68494 HAS SOUS 10155 HAS SOUPS 10147 WITH SCORE 10218.7
AT ITER 1202 NEW BEST:: SOT 84761 SOS 71678 HAS SOPS 68472 HAS SOUS 10133 HAS SOUPS 10125 WITH SCORE 10196.678
AT ITER 1211 NEW BEST:: SOT 84761 SOS 71678 HAS SOPS 68472 HAS SOUS 10130 HAS SOUPS 10122 WITH SCORE 10193.678
AT ITER 1216 NEW BEST:: SOT 84689 SOS 71606 HAS SOPS 68400 HAS SOUS 10049 HAS SOUPS 10041 WITH SCORE 10112.606
AT ITER 1224 NEW BEST:: SOT 84685 SOS 71598 HAS SOPS 68392 HAS SOUS 9967 HAS SOUPS 9959 WITH SCORE 10030.598
AT ITER 1226 NEW BEST:: SOT 84818 SOS 71698 HAS SOPS 68492 HAS SOUS 9900 HAS SOUPS 9892 WITH SCORE 9963.698
AT ITER 1241 NEW BEST:: SOT 84818 SOS 71695 HAS SOPS 68489 HAS SOUS 9894 HAS SOUPS 9886 WITH SCORE 9957.695
AT ITER 1253 NEW BEST:: SOT 84803 SOS 71683 HAS SOPS 68477 HAS SOUS 9888 HAS SOUPS 9880 WITH SCORE 9951.683
AT ITER 1280 NEW BEST:: SOT 84778 SOS 71554 HAS SOPS 68348 HAS SOUS 9811 HAS SOUPS 9803 WITH SCORE 9874.554
AT ITER 1281 NEW BEST:: SOT 84668 SOS 71460 HAS SOPS 68254 HAS SOUS 9809 HAS SOUPS 9801 WITH SCORE 9872.46
AT ITER 1302 NEW BEST:: SOT 84668 SOS 71460 HAS SOPS 68254 HAS SOUS 9806 HAS SOUPS 9798 WITH SCORE 9869.46
AT ITER 1328 NEW BEST:: SOT 84520 SOS 71330 HAS SOPS 68124 HAS SOUS 9742 HAS SOUPS 9734 WITH SCORE 9805.33
AT ITER 1341 NEW BEST:: SOT 84431 SOS 71215 HAS SOPS 68009 HAS SOUS 9648 HAS SOUPS 9640 WITH SCORE 9711.215
AT ITER 1402 NEW BEST:: SOT 84284 SOS 71065 HAS SOPS 67859 HAS SOUS 9419 HAS SOUPS 9411 WITH SCORE 9482.065
AT ITER 1422 NEW BEST:: SOT 84284 SOS 71061 HAS SOPS 67855 HAS SOUS 9419 HAS SOUPS 9411 WITH SCORE 9482.061
AT ITER 1434 NEW BEST:: SOT 84151 SOS 70933 HAS SOPS 67727 HAS SOUS 9291 HAS SOUPS 9283 WITH SCORE 9353.933
AT ITER 1442 NEW BEST:: SOT 84133 SOS 70914 HAS SOPS 67708 HAS SOUS 9278 HAS SOUPS 9270 WITH SCORE 9340.914
AT ITER 1488 NEW BEST:: SOT 84129 SOS 70910 HAS SOPS 67704 HAS SOUS 9274 HAS SOUPS 9266 WITH SCORE 9336.91
AT ITER 1496 NEW BEST:: SOT 84128 SOS 70909 HAS SOPS 67703 HAS SOUS 9273 HAS SOUPS 9265 WITH SCORE 9335.909
AT ITER 1520 NEW BEST:: SOT 84090 SOS 70908 HAS SOPS 67702 HAS SOUS 9272 HAS SOUPS 9264 WITH SCORE 9334.908
AT ITER 1581 NEW BEST:: SOT 84325 SOS 71140 HAS SOPS 67934 HAS SOUS 9242 HAS SOUPS 9234 WITH SCORE 9305.14
AT ITER 1593 NEW BEST:: SOT 84268 SOS 71083 HAS SOPS 67877 HAS SOUS 9212 HAS SOUPS 9204 WITH SCORE 9275.083
AT ITER 1623 NEW BEST:: SOT 84312 SOS 71135 HAS SOPS 67929 HAS SOUS 9206 HAS SOUPS 9198 WITH SCORE 9269.135
AT ITER 1641 NEW BEST:: SOT 84280 SOS 71103 HAS SOPS 67897 HAS SOUS 9190 HAS SOUPS 9182 WITH SCORE 9253.103
AT ITER 1651 NEW BEST:: SOT 84189 SOS 71028 HAS SOPS 67822 HAS SOUS 9179 HAS SOUPS 9171 WITH SCORE 9242.028
AT ITER 1691 NEW BEST:: SOT 84183 SOS 71024 HAS SOPS 67818 HAS SOUS 9173 HAS SOUPS 9165 WITH SCORE 9236.024
AT ITER 1725 NEW BEST:: SOT 84183 SOS 71026 HAS SOPS 67784 HAS SOUS 9171 HAS SOUPS 9163 WITH SCORE 9234.026
AT ITER 1742 NEW BEST:: SOT 84182 SOS 71023 HAS SOPS 67781 HAS SOUS 9167 HAS SOUPS 9159 WITH SCORE 9230.023
AT ITER 1781 NEW BEST:: SOT 84176 SOS 71013 HAS SOPS 67771 HAS SOUS 9161 HAS SOUPS 9153 WITH SCORE 9224.013
AT ITER 1798 NEW BEST:: SOT 84175 SOS 71013 HAS SOPS 67267 HAS SOUS 9161 HAS SOUPS 9152 WITH SCORE 9223.013
AT ITER 1804 NEW BEST:: SOT 84174 SOS 71011 HAS SOPS 67265 HAS SOUS 9150 HAS SOUPS 9141 WITH SCORE 9212.011
AT ITER 1835 NEW BEST:: SOT 84175 SOS 71267 HAS SOPS 67521 HAS SOUS 9148 HAS SOUPS 9139 WITH SCORE 9210.267
AT ITER 1842 NEW BEST:: SOT 84171 SOS 71259 HAS SOPS 67513 HAS SOUS 9144 HAS SOUPS 9135 WITH SCORE 9206.259
AT ITER 1886 NEW BEST:: SOT 84152 SOS 71236 HAS SOPS 67490 HAS SOUS 9138 HAS SOUPS 9129 WITH SCORE 9200.236
AT ITER 1921 NEW BEST:: SOT 84146 SOS 71228 HAS SOPS 67482 HAS SOUS 9136 HAS SOUPS 9127 WITH SCORE 9198.228
AT ITER 1942 NEW BEST:: SOT 84149 SOS 71223 HAS SOPS 67477 HAS SOUS 9128 HAS SOUPS 9119 WITH SCORE 9190.223
AT ITER 1953 NEW BEST:: SOT 84145 SOS 71223 HAS SOPS 67477 HAS SOUS 9111 HAS SOUPS 9102 WITH SCORE 9173.223
AT ITER 1970 NEW BEST:: SOT 84161 SOS 71237 HAS SOPS 67491 HAS SOUS 9099 HAS SOUPS 9090 WITH SCORE 9161.237
AT ITER 1972 NEW BEST:: SOT 84166 SOS 71232 HAS SOPS 67486 HAS SOUS 9094 HAS SOUPS 9085 WITH SCORE 9156.232
AT ITER 1977 NEW BEST:: SOT 84175 SOS 71127 HAS SOPS 67381 HAS SOUS 9014 HAS SOUPS 9005 WITH SCORE 9076.127
AT ITER 1992 NEW BEST:: SOT 84147 SOS 71099 HAS SOPS 67353 HAS SOUS 8983 HAS SOUPS 8974 WITH SCORE 9045.099
AT ITER 2008 NEW BEST:: SOT 84146 SOS 71093 HAS SOPS 67347 HAS SOUS 8969 HAS SOUPS 8960 WITH SCORE 9031.093
AT ITER 2046 NEW BEST:: SOT 84130 SOS 71076 HAS SOPS 67330 HAS SOUS 8969 HAS SOUPS 8960 WITH SCORE 9031.076
AT ITER 2056 NEW BEST:: SOT 84099 SOS 71042 HAS SOPS 67296 HAS SOUS 8964 HAS SOUPS 8955 WITH SCORE 9026.042
AT ITER 2065 NEW BEST:: SOT 84118 SOS 71060 HAS SOPS 68322 HAS SOUS 8951 HAS SOUPS 8944 WITH SCORE 9015.06
AT ITER 2083 NEW BEST:: SOT 84117 SOS 71075 HAS SOPS 68337 HAS SOUS 8950 HAS SOUPS 8943 WITH SCORE 9014.075
AT ITER 2089 NEW BEST:: SOT 84089 SOS 71047 HAS SOPS 68309 HAS SOUS 8936 HAS SOUPS 8929 WITH SCORE 9000.047
AT ITER 2109 NEW BEST:: SOT 84087 SOS 71044 HAS SOPS 68306 HAS SOUS 8933 HAS SOUPS 8926 WITH SCORE 8997.044
AT ITER 2204 NEW BEST:: SOT 83999 SOS 70868 HAS SOPS 68130 HAS SOUS 8840 HAS SOUPS 8833 WITH SCORE 8903.868
AT ITER 2208 NEW BEST:: SOT 83976 SOS 70870 HAS SOPS 68132 HAS SOUS 8826 HAS SOUPS 8819 WITH SCORE 8889.87
AT ITER 2230 NEW BEST:: SOT 83948 SOS 70842 HAS SOPS 68104 HAS SOUS 8812 HAS SOUPS 8805 WITH SCORE 8875.842
AT ITER 2233 NEW BEST:: SOT 83929 SOS 70822 HAS SOPS 68084 HAS SOUS 8738 HAS SOUPS 8731 WITH SCORE 8801.822
AT ITER 2255 NEW BEST:: SOT 83927 SOS 70818 HAS SOPS 68080 HAS SOUS 8736 HAS SOUPS 8729 WITH SCORE 8799.818
AT ITER 2280 NEW BEST:: SOT 83925 SOS 70814 HAS SOPS 68076 HAS SOUS 8734 HAS SOUPS 8727 WITH SCORE 8797.814
AT ITER 2291 NEW BEST:: SOT 83819 SOS 70702 HAS SOPS 67964 HAS SOUS 8692 HAS SOUPS 8685 WITH SCORE 8755.702
AT ITER 2348 NEW BEST:: SOT 83773 SOS 70664 HAS SOPS 67926 HAS SOUS 8637 HAS SOUPS 8630 WITH SCORE 8700.664
AT ITER 2384 NEW BEST:: SOT 83755 SOS 70642 HAS SOPS 67904 HAS SOUS 8633 HAS SOUPS 8626 WITH SCORE 8696.642
AT ITER 2486 NEW BEST:: SOT 83749 SOS 70634 HAS SOPS 67896 HAS SOUS 8627 HAS SOUPS 8620 WITH SCORE 8690.634
AT ITER 2487 NEW BEST:: SOT 83748 SOS 70632 HAS SOPS 67894 HAS SOUS 8626 HAS SOUPS 8619 WITH SCORE 8689.632
AT ITER 2545 NEW BEST:: SOT 83748 SOS 70628 HAS SOPS 67926 HAS SOUS 8626 HAS SOUPS 8619 WITH SCORE 8689.628
AT ITER 2549 NEW BEST:: SOT 83772 SOS 70656 HAS SOPS 67954 HAS SOUS 8600 HAS SOUPS 8593 WITH SCORE 8663.656
AT ITER 2552 NEW BEST:: SOT 83766 SOS 70652 HAS SOPS 67950 HAS SOUS 8598 HAS SOUPS 8591 WITH SCORE 8661.652
AT ITER 2557 NEW BEST:: SOT 83762 SOS 70648 HAS SOPS 67946 HAS SOUS 8596 HAS SOUPS 8589 WITH SCORE 8659.648
AT ITER 2668 NEW BEST:: SOT 83745 SOS 70631 HAS SOPS 67929 HAS SOUS 8587 HAS SOUPS 8580 WITH SCORE 8650.631
AT ITER 2674 NEW BEST:: SOT 83723 SOS 70597 HAS SOPS 67895 HAS SOUS 8565 HAS SOUPS 8558 WITH SCORE 8628.597
AT ITER 2708 NEW BEST:: SOT 83726 SOS 70597 HAS SOPS 67895 HAS SOUS 8541 HAS SOUPS 8534 WITH SCORE 8604.597
AT ITER 2796 NEW BEST:: SOT 83725 SOS 70596 HAS SOPS 67894 HAS SOUS 8531 HAS SOUPS 8524 WITH SCORE 8594.596
AT ITER 2808 NEW BEST:: SOT 83727 SOS 70636 HAS SOPS 67934 HAS SOUS 8500 HAS SOUPS 8493 WITH SCORE 8563.636
AT ITER 2837 NEW BEST:: SOT 83708 SOS 70616 HAS SOPS 67914 HAS SOUS 8480 HAS SOUPS 8473 WITH SCORE 8543.616
AT ITER 2884 NEW BEST:: SOT 83712 SOS 70618 HAS SOPS 67916 HAS SOUS 8469 HAS SOUPS 8462 WITH SCORE 8532.618
AT ITER 2909 NEW BEST:: SOT 83712 SOS 70618 HAS SOPS 66872 HAS SOUS 8469 HAS SOUPS 8460 WITH SCORE 8530.618
AT ITER 2916 NEW BEST:: SOT 83707 SOS 66877 HAS SOPS 66875 HAS SOUS 8459 HAS SOUPS 8457 WITH SCORE 8523.877
AT ITER 2932 NEW BEST:: SOT 83699 SOS 66861 HAS SOPS 66859 HAS SOUS 8451 HAS SOUPS 8449 WITH SCORE 8515.861
AT ITER 2935 NEW BEST:: SOT 83699 SOS 66855 HAS SOPS 66853 HAS SOUS 8449 HAS SOUPS 8447 WITH SCORE 8513.855
AT ITER 2952 NEW BEST:: SOT 83680 SOS 66837 HAS SOPS 66835 HAS SOUS 8430 HAS SOUPS 8428 WITH SCORE 8494.837
AT ITER 2997 NEW BEST:: SOT 83687 SOS 66834 HAS SOPS 66832 HAS SOUS 8427 HAS SOUPS 8425 WITH SCORE 8491.834
AT ITER 3021 NEW BEST:: SOT 83634 SOS 66782 HAS SOPS 66780 HAS SOUS 8365 HAS SOUPS 8363 WITH SCORE 8429.782
AT ITER 3482 NEW BEST:: SOT 83632 SOS 66783 HAS SOPS 66781 HAS SOUS 8339 HAS SOUPS 8337 WITH SCORE 8403.783
AT ITER 3488 NEW BEST:: SOT 83632 SOS 66785 HAS SOPS 66783 HAS SOUS 8338 HAS SOUPS 8336 WITH SCORE 8402.785
AT ITER 3524 NEW BEST:: SOT 83626 SOS 66763 HAS SOPS 66761 HAS SOUS 8330 HAS SOUPS 8328 WITH SCORE 8394.763
AT ITER 3540 NEW BEST:: SOT 83621 SOS 66759 HAS SOPS 66757 HAS SOUS 8327 HAS SOUPS 8325 WITH SCORE 8391.759
AT ITER 3578 NEW BEST:: SOT 83621 SOS 66665 HAS SOPS 66663 HAS SOUS 8327 HAS SOUPS 8325 WITH SCORE 8391.665
AT ITER 3678 NEW BEST:: SOT 83621 SOS 66662 HAS SOPS 66660 HAS SOUS 8326 HAS SOUPS 8324 WITH SCORE 8390.662
AT ITER 3697 NEW BEST:: SOT 83621 SOS 66624 HAS SOPS 66622 HAS SOUS 8323 HAS SOUPS 8321 WITH SCORE 8387.624
AT ITER 3702 NEW BEST:: SOT 83545 SOS 66554 HAS SOPS 66552 HAS SOUS 8283 HAS SOUPS 8281 WITH SCORE 8347.554
AT ITER 3703 NEW BEST:: SOT 83543 SOS 66532 HAS SOPS 66530 HAS SOUS 8264 HAS SOUPS 8262 WITH SCORE 8328.532
AT ITER 3804 NEW BEST:: SOT 83487 SOS 66484 HAS SOPS 66482 HAS SOUS 8240 HAS SOUPS 8238 WITH SCORE 8304.484
AT ITER 3856 NEW BEST:: SOT 83439 SOS 66442 HAS SOPS 66440 HAS SOUS 8222 HAS SOUPS 8220 WITH SCORE 8286.442
AT ITER 3931 NEW BEST:: SOT 83420 SOS 66420 HAS SOPS 66418 HAS SOUS 8212 HAS SOUPS 8210 WITH SCORE 8276.42
AT ITER 3960 NEW BEST:: SOT 83418 SOS 66412 HAS SOPS 66410 HAS SOUS 8208 HAS SOUPS 8206 WITH SCORE 8272.412
AT ITER 4046 NEW BEST:: SOT 83418 SOS 66409 HAS SOPS 66407 HAS SOUS 8207 HAS SOUPS 8205 WITH SCORE 8271.409
AT ITER 4050 NEW BEST:: SOT 83417 SOS 66410 HAS SOPS 66408 HAS SOUS 8206 HAS SOUPS 8204 WITH SCORE 8270.41
AT ITER 4051 NEW BEST:: SOT 83416 SOS 66408 HAS SOPS 66406 HAS SOUS 8191 HAS SOUPS 8189 WITH SCORE 8255.408
AT ITER 4151 NEW BEST:: SOT 83413 SOS 66441 HAS SOPS 66439 HAS SOUS 8189 HAS SOUPS 8187 WITH SCORE 8253.441
AT ITER 4196 NEW BEST:: SOT 83415 SOS 66373 HAS SOPS 66371 HAS SOUS 8188 HAS SOUPS 8186 WITH SCORE 8252.373
AT ITER 4197 NEW BEST:: SOT 83412 SOS 66371 HAS SOPS 66369 HAS SOUS 8185 HAS SOUPS 8183 WITH SCORE 8249.371
AT ITER 4204 NEW BEST:: SOT 83404 SOS 66365 HAS SOPS 66363 HAS SOUS 8179 HAS SOUPS 8177 WITH SCORE 8243.365
AT ITER 4219 NEW BEST:: SOT 83407 SOS 66367 HAS SOPS 66365 HAS SOUS 8175 HAS SOUPS 8173 WITH SCORE 8239.367
AT ITER 4329 NEW BEST:: SOT 83386 SOS 66343 HAS SOPS 66341 HAS SOUS 8113 HAS SOUPS 8111 WITH SCORE 8177.343
AT ITER 4381 NEW BEST:: SOT 83385 SOS 66341 HAS SOPS 66339 HAS SOUS 8112 HAS SOUPS 8110 WITH SCORE 8176.341
AT ITER 4389 NEW BEST:: SOT 83386 SOS 66340 HAS SOPS 66338 HAS SOUS 8112 HAS SOUPS 8110 WITH SCORE 8176.34
AT ITER 4539 NEW BEST:: SOT 83384 SOS 66338 HAS SOPS 66336 HAS SOUS 8110 HAS SOUPS 8108 WITH SCORE 8174.338
AT ITER 4655 NEW BEST:: SOT 83382 SOS 66335 HAS SOPS 66333 HAS SOUS 8100 HAS SOUPS 8098 WITH SCORE 8164.335
AT ITER 4668 NEW BEST:: SOT 83346 SOS 66308 HAS SOPS 66306 HAS SOUS 8093 HAS SOUPS 8091 WITH SCORE 8157.308
AT ITER 4993 NEW BEST:: SOT 83347 SOS 66310 HAS SOPS 66308 HAS SOUS 8086 HAS SOUPS 8084 WITH SCORE 8150.31
AT ITER 5003 NEW BEST:: SOT 83343 SOS 66302 HAS SOPS 66300 HAS SOUS 8082 HAS SOUPS 8080 WITH SCORE 8146.302
AT ITER 5111 NEW BEST:: SOT 83341 SOS 66301 HAS SOPS 66299 HAS SOUS 8081 HAS SOUPS 8079 WITH SCORE 8145.301
AT ITER 5172 NEW BEST:: SOT 83315 SOS 66249 HAS SOPS 66247 HAS SOUS 8068 HAS SOUPS 8066 WITH SCORE 8132.249
AT ITER 5205 NEW BEST:: SOT 83315 SOS 66245 HAS SOPS 66243 HAS SOUS 8066 HAS SOUPS 8064 WITH SCORE 8130.245
AT ITER 5236 NEW BEST:: SOT 83315 SOS 66243 HAS SOPS 66241 HAS SOUS 8066 HAS SOUPS 8064 WITH SCORE 8130.243
AT ITER 5257 NEW BEST:: SOT 83285 SOS 66209 HAS SOPS 66207 HAS SOUS 8048 HAS SOUPS 8046 WITH SCORE 8112.209
AT ITER 5314 NEW BEST:: SOT 83285 SOS 66208 HAS SOPS 66206 HAS SOUS 8047 HAS SOUPS 8045 WITH SCORE 8111.208
AT ITER 5345 NEW BEST:: SOT 83520 SOS 66442 HAS SOPS 66440 HAS SOUS 8017 HAS SOUPS 8015 WITH SCORE 8081.442
AT ITER 5634 NEW BEST:: SOT 83539 SOS 66464 HAS SOPS 66462 HAS SOUS 7954 HAS SOUPS 7952 WITH SCORE 8018.464
AT ITER 5694 NEW BEST:: SOT 83573 SOS 66500 HAS SOPS 66498 HAS SOUS 7836 HAS SOUPS 7834 WITH SCORE 7900.5
AT ITER 5775 NEW BEST:: SOT 83573 SOS 66497 HAS SOPS 66495 HAS SOUS 7708 HAS SOUPS 7706 WITH SCORE 7772.497
AT ITER 5822 NEW BEST:: SOT 83392 SOS 66313 HAS SOPS 66311 HAS SOUS 7701 HAS SOUPS 7699 WITH SCORE 7765.313
AT ITER 5835 NEW BEST:: SOT 83390 SOS 66293 HAS SOPS 66291 HAS SOUS 7699 HAS SOUPS 7697 WITH SCORE 7763.293
AT ITER 6043 NEW BEST:: SOT 83388 SOS 66398 HAS SOPS 66396 HAS SOUS 7697 HAS SOUPS 7695 WITH SCORE 7761.398
AT ITER 6089 NEW BEST:: SOT 83388 SOS 66400 HAS SOPS 66398 HAS SOUS 7667 HAS SOUPS 7665 WITH SCORE 7731.4
AT ITER 6099 NEW BEST:: SOT 83387 SOS 66401 HAS SOPS 66399 HAS SOUS 7666 HAS SOUPS 7664 WITH SCORE 7730.401
AT ITER 6111 NEW BEST:: SOT 83402 SOS 66388 HAS SOPS 66386 HAS SOUS 7649 HAS SOUPS 7647 WITH SCORE 7713.388
AT ITER 6117 NEW BEST:: SOT 83421 SOS 66404 HAS SOPS 66402 HAS SOUS 7606 HAS SOUPS 7604 WITH SCORE 7670.404
AT ITER 6137 NEW BEST:: SOT 83422 SOS 66389 HAS SOPS 66387 HAS SOUS 7606 HAS SOUPS 7604 WITH SCORE 7670.389
AT ITER 6208 NEW BEST:: SOT 83421 SOS 66388 HAS SOPS 66386 HAS SOUS 7605 HAS SOUPS 7603 WITH SCORE 7669.388
AT ITER 6234 NEW BEST:: SOT 83420 SOS 66386 HAS SOPS 66384 HAS SOUS 7595 HAS SOUPS 7593 WITH SCORE 7659.386
AT ITER 6269 NEW BEST:: SOT 83627 SOS 66584 HAS SOPS 66582 HAS SOUS 7508 HAS SOUPS 7506 WITH SCORE 7572.584
AT ITER 6434 NEW BEST:: SOT 83530 SOS 66515 HAS SOPS 66513 HAS SOUS 7481 HAS SOUPS 7479 WITH SCORE 7545.515
AT ITER 6478 NEW BEST:: SOT 83498 SOS 66483 HAS SOPS 66481 HAS SOUS 7465 HAS SOUPS 7463 WITH SCORE 7529.483
AT ITER 6565 NEW BEST:: SOT 83503 SOS 66495 HAS SOPS 66493 HAS SOUS 7463 HAS SOUPS 7461 WITH SCORE 7527.495
AT ITER 6714 NEW BEST:: SOT 83506 SOS 66483 HAS SOPS 66481 HAS SOUS 7461 HAS SOUPS 7459 WITH SCORE 7525.483
AT ITER 6735 NEW BEST:: SOT 83487 SOS 66466 HAS SOPS 66464 HAS SOUS 7316 HAS SOUPS 7314 WITH SCORE 7380.466
AT ITER 6760 NEW BEST:: SOT 83487 SOS 66466 HAS SOPS 66464 HAS SOUS 7314 HAS SOUPS 7312 WITH SCORE 7378.466
AT ITER 6761 NEW BEST:: SOT 83487 SOS 64864 HAS SOPS 64862 HAS SOUS 7308 HAS SOUPS 7306 WITH SCORE 7370.864
AT ITER 6824 NEW BEST:: SOT 83468 SOS 64845 HAS SOPS 64843 HAS SOUS 7298 HAS SOUPS 7296 WITH SCORE 7360.845
AT ITER 6877 NEW BEST:: SOT 83451 SOS 64827 HAS SOPS 64825 HAS SOUS 7280 HAS SOUPS 7278 WITH SCORE 7342.827
AT ITER 6906 NEW BEST:: SOT 83450 SOS 64808 HAS SOPS 64806 HAS SOUS 7279 HAS SOUPS 7277 WITH SCORE 7341.808
AT ITER 7041 NEW BEST:: SOT 83442 SOS 64800 HAS SOPS 64798 HAS SOUS 7275 HAS SOUPS 7273 WITH SCORE 7337.8
AT ITER 7110 NEW BEST:: SOT 83440 SOS 65570 HAS SOPS 65568 HAS SOUS 7274 HAS SOUPS 7272 WITH SCORE 7337.57
AT ITER 7321 NEW BEST:: SOT 83438 SOS 65841 HAS SOPS 65839 HAS SOUS 7273 HAS SOUPS 7271 WITH SCORE 7336.841
AT ITER 7326 NEW BEST:: SOT 83440 SOS 65840 HAS SOPS 65838 HAS SOUS 7273 HAS SOUPS 7271 WITH SCORE 7336.84
AT ITER 7428 NEW BEST:: SOT 83405 SOS 65800 HAS SOPS 65798 HAS SOUS 7263 HAS SOUPS 7261 WITH SCORE 7326.8
AT ITER 7499 NEW BEST:: SOT 83301 SOS 65773 HAS SOPS 65771 HAS SOUS 7233 HAS SOUPS 7231 WITH SCORE 7296.773
AT ITER 7651 NEW BEST:: SOT 83301 SOS 65770 HAS SOPS 65768 HAS SOUS 7233 HAS SOUPS 7231 WITH SCORE 7296.77
AT ITER 7709 NEW BEST:: SOT 83301 SOS 65770 HAS SOPS 64724 HAS SOUS 7233 HAS SOUPS 7229 WITH SCORE 7294.77
AT ITER 7757 NEW BEST:: SOT 83298 SOS 65768 HAS SOPS 64722 HAS SOUS 7232 HAS SOUPS 7228 WITH SCORE 7293.768
AT ITER 7795 NEW BEST:: SOT 83294 SOS 65764 HAS SOPS 64718 HAS SOUS 7230 HAS SOUPS 7226 WITH SCORE 7291.764
AT ITER 7945 NEW BEST:: SOT 83292 SOS 65762 HAS SOPS 64716 HAS SOUS 7229 HAS SOUPS 7225 WITH SCORE 7290.762
AT ITER 7968 NEW BEST:: SOT 83288 SOS 65758 HAS SOPS 64712 HAS SOUS 7227 HAS SOUPS 7223 WITH SCORE 7288.758
AT ITER 8036 NEW BEST:: SOT 83286 SOS 65752 HAS SOPS 64706 HAS SOUS 7223 HAS SOUPS 7219 WITH SCORE 7284.752
AT ITER 8159 NEW BEST:: SOT 83291 SOS 65754 HAS SOPS 64708 HAS SOUS 7221 HAS SOUPS 7217 WITH SCORE 7282.754
AT ITER 8239 NEW BEST:: SOT 83308 SOS 65770 HAS SOPS 64724 HAS SOUS 7219 HAS SOUPS 7215 WITH SCORE 7280.77
AT ITER 8318 NEW BEST:: SOT 83309 SOS 65772 HAS SOPS 64726 HAS SOUS 7214 HAS SOUPS 7210 WITH SCORE 7275.772
AT ITER 8342 NEW BEST:: SOT 83289 SOS 65752 HAS SOPS 64706 HAS SOUS 7193 HAS SOUPS 7189 WITH SCORE 7254.752
AT ITER 8379 NEW BEST:: SOT 83285 SOS 65748 HAS SOPS 64702 HAS SOUS 7193 HAS SOUPS 7189 WITH SCORE 7254.748
AT ITER 8559 NEW BEST:: SOT 83283 SOS 65742 HAS SOPS 64696 HAS SOUS 7189 HAS SOUPS 7185 WITH SCORE 7250.742
AT ITER 8837 NEW BEST:: SOT 83282 SOS 65740 HAS SOPS 65216 HAS SOUS 7188 HAS SOUPS 7185 WITH SCORE 7250.74
AT ITER 9092 NEW BEST:: SOT 83278 SOS 65732 HAS SOPS 65208 HAS SOUS 7184 HAS SOUPS 7181 WITH SCORE 7246.732
AT ITER 9151 NEW BEST:: SOT 83276 SOS 65180 HAS SOPS 64656 HAS SOUS 7182 HAS SOUPS 7179 WITH SCORE 7244.18
AT ITER 9212 NEW BEST:: SOT 83261 SOS 65168 HAS SOPS 64644 HAS SOUS 7179 HAS SOUPS 7176 WITH SCORE 7241.168
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 1678476659452

--------------------
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-09a"
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-09a, 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-167813591200664"
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 ;