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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 5.2K Feb 25 12:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 12:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 12:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 12:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 25 12:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 12:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 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 110K 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 1678473959117

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-04b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 04b
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: 221 places, 368 transitions, 1658 arcs.
AT ITER 0 NEW BEST:: SOT 55412 SOS 16793 HAS SOPS 16793 HAS SOUS 9523 HAS SOUPS 9523 WITH SCORE 9539.793
AT ITER 7 NEW BEST:: SOT 55405 SOS 16757 HAS SOPS 16757 HAS SOUS 9454 HAS SOUPS 9454 WITH SCORE 9470.757
AT ITER 16 NEW BEST:: SOT 55394 SOS 16755 HAS SOPS 16755 HAS SOUS 9448 HAS SOUPS 9448 WITH SCORE 9464.755
AT ITER 26 NEW BEST:: SOT 55400 SOS 16767 HAS SOPS 16767 HAS SOUS 9421 HAS SOUPS 9421 WITH SCORE 9437.767
AT ITER 33 NEW BEST:: SOT 55392 SOS 16784 HAS SOPS 16784 HAS SOUS 9418 HAS SOUPS 9418 WITH SCORE 9434.784
AT ITER 34 NEW BEST:: SOT 55372 SOS 16744 HAS SOPS 16744 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9414.744
AT ITER 48 NEW BEST:: SOT 54970 SOS 17193 HAS SOPS 17193 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9054.193
AT ITER 49 NEW BEST:: SOT 54950 SOS 17153 HAS SOPS 17153 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9007.153
AT ITER 56 NEW BEST:: SOT 54942 SOS 17149 HAS SOPS 17149 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8999.149
AT ITER 65 NEW BEST:: SOT 54899 SOS 17103 HAS SOPS 17103 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8991.103
AT ITER 73 NEW BEST:: SOT 54938 SOS 17142 HAS SOPS 17142 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8949.142
AT ITER 81 NEW BEST:: SOT 54937 SOS 17141 HAS SOPS 17141 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8947.141
AT ITER 88 NEW BEST:: SOT 54937 SOS 17137 HAS SOPS 17137 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8939.137
AT ITER 115 NEW BEST:: SOT 54890 SOS 17090 HAS SOPS 17090 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8892.09
AT ITER 117 NEW BEST:: SOT 54888 SOS 17086 HAS SOPS 17086 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8888.086
AT ITER 133 NEW BEST:: SOT 54878 SOS 17056 HAS SOPS 17056 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8858.056
AT ITER 151 NEW BEST:: SOT 54878 SOS 17056 HAS SOPS 17056 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8856.056
AT ITER 164 NEW BEST:: SOT 54865 SOS 17354 HAS SOPS 17354 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8847.354
AT ITER 186 NEW BEST:: SOT 54847 SOS 17314 HAS SOPS 17314 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8807.314
AT ITER 227 NEW BEST:: SOT 54839 SOS 17306 HAS SOPS 17306 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8791.306
AT ITER 248 NEW BEST:: SOT 54831 SOS 17298 HAS SOPS 17298 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8775.298
AT ITER 297 NEW BEST:: SOT 54827 SOS 17270 HAS SOPS 17270 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8771.27
AT ITER 323 NEW BEST:: SOT 54827 SOS 17265 HAS SOPS 17265 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8771.265
AT ITER 330 NEW BEST:: SOT 54817 SOS 17254 HAS SOPS 17254 HAS SOUS 8743 HAS SOUPS 8743 WITH SCORE 8760.254
AT ITER 331 NEW BEST:: SOT 54732 SOS 17156 HAS SOPS 17156 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8662.156
AT ITER 335 NEW BEST:: SOT 54713 SOS 17083 HAS SOPS 17083 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8614.083
AT ITER 342 NEW BEST:: SOT 54692 SOS 16852 HAS SOPS 16852 HAS SOUS 8555 HAS SOUPS 8555 WITH SCORE 8571.852
AT ITER 347 NEW BEST:: SOT 54678 SOS 16397 HAS SOPS 16397 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8550.397
AT ITER 363 NEW BEST:: SOT 54675 SOS 16391 HAS SOPS 16391 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8546.391
AT ITER 394 NEW BEST:: SOT 54538 SOS 16183 HAS SOPS 16183 HAS SOUS 8462 HAS SOUPS 8462 WITH SCORE 8478.183
AT ITER 396 NEW BEST:: SOT 54529 SOS 16165 HAS SOPS 16165 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8460.165
AT ITER 400 NEW BEST:: SOT 54525 SOS 16157 HAS SOPS 16157 HAS SOUS 8419 HAS SOUPS 8419 WITH SCORE 8435.157
AT ITER 427 NEW BEST:: SOT 54535 SOS 16161 HAS SOPS 16161 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8429.161
AT ITER 441 NEW BEST:: SOT 54508 SOS 16143 HAS SOPS 16143 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8402.143
AT ITER 442 NEW BEST:: SOT 54530 SOS 16117 HAS SOPS 16117 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8399.117
AT ITER 453 NEW BEST:: SOT 54530 SOS 16107 HAS SOPS 16107 HAS SOUS 8373 HAS SOUPS 8373 WITH SCORE 8389.107
AT ITER 460 NEW BEST:: SOT 54382 SOS 15955 HAS SOPS 15955 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8364.955
AT ITER 465 NEW BEST:: SOT 54352 SOS 15909 HAS SOPS 15909 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8327.909
AT ITER 484 NEW BEST:: SOT 54312 SOS 15869 HAS SOPS 15869 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8287.869
AT ITER 530 NEW BEST:: SOT 54274 SOS 15840 HAS SOPS 15840 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8193.84
AT ITER 538 NEW BEST:: SOT 54256 SOS 15804 HAS SOPS 15804 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8157.804
AT ITER 556 NEW BEST:: SOT 54261 SOS 15783 HAS SOPS 15783 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8136.783
AT ITER 562 NEW BEST:: SOT 54261 SOS 15774 HAS SOPS 15774 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8127.774
AT ITER 564 NEW BEST:: SOT 54259 SOS 15770 HAS SOPS 15770 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8123.77
AT ITER 566 NEW BEST:: SOT 54254 SOS 14746 HAS SOPS 14746 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8121.746
AT ITER 637 NEW BEST:: SOT 54235 SOS 14748 HAS SOPS 14748 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8083.748
AT ITER 643 NEW BEST:: SOT 54222 SOS 14753 HAS SOPS 14753 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8070.753
AT ITER 646 NEW BEST:: SOT 54236 SOS 14750 HAS SOPS 14750 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8053.75
AT ITER 649 NEW BEST:: SOT 54234 SOS 14714 HAS SOPS 14714 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8049.714
AT ITER 653 NEW BEST:: SOT 54220 SOS 14700 HAS SOPS 14700 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8035.7
AT ITER 677 NEW BEST:: SOT 54204 SOS 14684 HAS SOPS 14684 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8029.684
AT ITER 700 NEW BEST:: SOT 54118 SOS 14596 HAS SOPS 14596 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7939.596
AT ITER 771 NEW BEST:: SOT 54114 SOS 14588 HAS SOPS 14588 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7927.588
AT ITER 820 NEW BEST:: SOT 54104 SOS 14568 HAS SOPS 14568 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7917.568
AT ITER 832 NEW BEST:: SOT 54103 SOS 14565 HAS SOPS 14565 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7914.565
AT ITER 836 NEW BEST:: SOT 54112 SOS 14583 HAS SOPS 14583 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7908.583
AT ITER 843 NEW BEST:: SOT 54127 SOS 14582 HAS SOPS 14582 HAS SOUS 7883 HAS SOUPS 7883 WITH SCORE 7897.582
AT ITER 849 NEW BEST:: SOT 54137 SOS 14574 HAS SOPS 14574 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7889.574
AT ITER 850 NEW BEST:: SOT 54117 SOS 14554 HAS SOPS 14554 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7869.554
AT ITER 871 NEW BEST:: SOT 54114 SOS 14524 HAS SOPS 14524 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7854.524
AT ITER 914 NEW BEST:: SOT 54114 SOS 14488 HAS SOPS 14488 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7854.488
AT ITER 916 NEW BEST:: SOT 54111 SOS 14482 HAS SOPS 14482 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7848.482
AT ITER 933 NEW BEST:: SOT 54119 SOS 14450 HAS SOPS 14450 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7763.45
AT ITER 935 NEW BEST:: SOT 54107 SOS 14420 HAS SOPS 14420 HAS SOUS 7728 HAS SOUPS 7728 WITH SCORE 7742.42
AT ITER 948 NEW BEST:: SOT 54085 SOS 14376 HAS SOPS 14376 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7698.376
AT ITER 957 NEW BEST:: SOT 54078 SOS 14355 HAS SOPS 14355 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7691.355
AT ITER 968 NEW BEST:: SOT 54078 SOS 14350 HAS SOPS 14350 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7686.35
AT ITER 997 NEW BEST:: SOT 54062 SOS 14446 HAS SOPS 14446 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7641.446
AT ITER 1078 NEW BEST:: SOT 54062 SOS 14390 HAS SOPS 14390 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7613.39
AT ITER 1080 NEW BEST:: SOT 54060 SOS 14388 HAS SOPS 14388 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7611.388
AT ITER 1093 NEW BEST:: SOT 54060 SOS 14405 HAS SOPS 14405 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7543.405
AT ITER 1109 NEW BEST:: SOT 54065 SOS 14395 HAS SOPS 14395 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7533.395
AT ITER 1135 NEW BEST:: SOT 54062 SOS 14386 HAS SOPS 14386 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7527.386
AT ITER 1140 NEW BEST:: SOT 54058 SOS 14382 HAS SOPS 14382 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7523.382
AT ITER 1145 NEW BEST:: SOT 54056 SOS 14378 HAS SOPS 14378 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7520.378
AT ITER 1178 NEW BEST:: SOT 54046 SOS 14358 HAS SOPS 14358 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7520.358
AT ITER 1247 NEW BEST:: SOT 54046 SOS 14358 HAS SOPS 14358 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7519.358
AT ITER 1256 NEW BEST:: SOT 54033 SOS 14182 HAS SOPS 14182 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7446.182
AT ITER 1257 NEW BEST:: SOT 54022 SOS 14107 HAS SOPS 14107 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7405.107
AT ITER 1264 NEW BEST:: SOT 54022 SOS 14103 HAS SOPS 14103 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7401.103
AT ITER 1281 NEW BEST:: SOT 54022 SOS 14094 HAS SOPS 14094 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7392.094
AT ITER 1322 NEW BEST:: SOT 53964 SOS 14012 HAS SOPS 14012 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7360.012
AT ITER 1331 NEW BEST:: SOT 53956 SOS 14004 HAS SOPS 14004 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7355.004
AT ITER 1334 NEW BEST:: SOT 53953 SOS 13998 HAS SOPS 13998 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7348.998
AT ITER 1368 NEW BEST:: SOT 53948 SOS 13971 HAS SOPS 13971 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7321.971
AT ITER 1370 NEW BEST:: SOT 53932 SOS 13955 HAS SOPS 13955 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7305.955
AT ITER 1401 NEW BEST:: SOT 53932 SOS 13955 HAS SOPS 13955 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7301.955
AT ITER 1411 NEW BEST:: SOT 53930 SOS 13951 HAS SOPS 13951 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7297.951
AT ITER 1456 NEW BEST:: SOT 53905 SOS 13901 HAS SOPS 13901 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7214.901
AT ITER 1463 NEW BEST:: SOT 53905 SOS 13895 HAS SOPS 13895 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7214.895
AT ITER 1469 NEW BEST:: SOT 53900 SOS 13880 HAS SOPS 13880 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7209.88
AT ITER 1490 NEW BEST:: SOT 53898 SOS 13876 HAS SOPS 13876 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7205.876
AT ITER 1501 NEW BEST:: SOT 53896 SOS 13882 HAS SOPS 13882 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7203.882
AT ITER 1506 NEW BEST:: SOT 53893 SOS 13879 HAS SOPS 13879 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7200.879
AT ITER 1538 NEW BEST:: SOT 53886 SOS 13879 HAS SOPS 13879 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7194.879
AT ITER 1571 NEW BEST:: SOT 53878 SOS 13871 HAS SOPS 13871 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7178.871
AT ITER 1580 NEW BEST:: SOT 53866 SOS 13857 HAS SOPS 13857 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7163.857
AT ITER 1581 NEW BEST:: SOT 53866 SOS 13857 HAS SOPS 13857 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7162.857
AT ITER 1588 NEW BEST:: SOT 53769 SOS 13728 HAS SOPS 13728 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7110.728
AT ITER 1605 NEW BEST:: SOT 53770 SOS 13724 HAS SOPS 13724 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7104.724
AT ITER 1621 NEW BEST:: SOT 53766 SOS 13716 HAS SOPS 13716 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7100.716
AT ITER 1645 NEW BEST:: SOT 53670 SOS 13595 HAS SOPS 13595 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7047.595
AT ITER 1657 NEW BEST:: SOT 53673 SOS 13601 HAS SOPS 13601 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7040.601
AT ITER 1682 NEW BEST:: SOT 53667 SOS 13589 HAS SOPS 13589 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7034.589
AT ITER 1754 NEW BEST:: SOT 53667 SOS 13589 HAS SOPS 13589 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7029.589
AT ITER 1758 NEW BEST:: SOT 53667 SOS 15227 HAS SOPS 15227 HAS SOUS 6905 HAS SOUPS 6905 WITH SCORE 6920.227
AT ITER 1865 NEW BEST:: SOT 53667 SOS 15227 HAS SOPS 15227 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6917.227
AT ITER 1896 NEW BEST:: SOT 53663 SOS 15219 HAS SOPS 15219 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6913.219
AT ITER 1910 NEW BEST:: SOT 53655 SOS 15211 HAS SOPS 15211 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6897.211
AT ITER 1913 NEW BEST:: SOT 53643 SOS 15187 HAS SOPS 15187 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6870.187
AT ITER 1930 NEW BEST:: SOT 53635 SOS 15171 HAS SOPS 15171 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6862.171
AT ITER 1998 NEW BEST:: SOT 53635 SOS 15171 HAS SOPS 15171 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6855.171
AT ITER 2112 NEW BEST:: SOT 53641 SOS 15167 HAS SOPS 15167 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6851.167
AT ITER 2186 NEW BEST:: SOT 53633 SOS 15159 HAS SOPS 15159 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6843.159
AT ITER 2205 NEW BEST:: SOT 53633 SOS 15158 HAS SOPS 15158 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6842.158
AT ITER 2229 NEW BEST:: SOT 53631 SOS 15154 HAS SOPS 15154 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6840.154
AT ITER 2265 NEW BEST:: SOT 53622 SOS 15145 HAS SOPS 15145 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6831.145
AT ITER 2277 NEW BEST:: SOT 53622 SOS 15138 HAS SOPS 15138 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6831.138
AT ITER 2286 NEW BEST:: SOT 53622 SOS 15117 HAS SOPS 15117 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6830.117
AT ITER 2302 NEW BEST:: SOT 53616 SOS 15094 HAS SOPS 15094 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6824.094
AT ITER 2315 NEW BEST:: SOT 53616 SOS 15094 HAS SOPS 15094 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6821.094
AT ITER 2317 NEW BEST:: SOT 53614 SOS 15090 HAS SOPS 15090 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6817.09
AT ITER 2331 NEW BEST:: SOT 53599 SOS 15075 HAS SOPS 15075 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6802.075
AT ITER 2336 NEW BEST:: SOT 53599 SOS 15075 HAS SOPS 15075 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6798.075
AT ITER 2373 NEW BEST:: SOT 53599 SOS 15074 HAS SOPS 15074 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6797.074
AT ITER 2452 NEW BEST:: SOT 53599 SOS 15066 HAS SOPS 15066 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6781.066
AT ITER 2456 NEW BEST:: SOT 53588 SOS 15170 HAS SOPS 15170 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6777.17
AT ITER 2469 NEW BEST:: SOT 53571 SOS 15145 HAS SOPS 15145 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6752.145
AT ITER 2475 NEW BEST:: SOT 53608 SOS 15190 HAS SOPS 15190 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6747.19
AT ITER 2486 NEW BEST:: SOT 53601 SOS 15185 HAS SOPS 15185 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6740.185
AT ITER 2514 NEW BEST:: SOT 53505 SOS 15059 HAS SOPS 15059 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6740.059
AT ITER 2564 NEW BEST:: SOT 53505 SOS 15063 HAS SOPS 15063 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6728.063
AT ITER 2569 NEW BEST:: SOT 53505 SOS 15058 HAS SOPS 15058 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6718.058
AT ITER 2578 NEW BEST:: SOT 53505 SOS 15058 HAS SOPS 15058 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6713.058
AT ITER 2590 NEW BEST:: SOT 53478 SOS 15031 HAS SOPS 15031 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6686.031
AT ITER 2608 NEW BEST:: SOT 53478 SOS 15022 HAS SOPS 15022 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6677.022
AT ITER 2632 NEW BEST:: SOT 53477 SOS 15012 HAS SOPS 15012 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6675.012
AT ITER 2635 NEW BEST:: SOT 53459 SOS 14994 HAS SOPS 14994 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6656.994
AT ITER 2639 NEW BEST:: SOT 53451 SOS 14989 HAS SOPS 14989 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6640.989
AT ITER 2647 NEW BEST:: SOT 53439 SOS 14985 HAS SOPS 14985 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6636.985
AT ITER 2692 NEW BEST:: SOT 53374 SOS 14896 HAS SOPS 14896 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6627.896
AT ITER 2770 NEW BEST:: SOT 53342 SOS 14862 HAS SOPS 14862 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6574.862
AT ITER 2787 NEW BEST:: SOT 53342 SOS 14870 HAS SOPS 14870 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6562.87
AT ITER 2794 NEW BEST:: SOT 53362 SOS 14887 HAS SOPS 14887 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6541.887
AT ITER 2922 NEW BEST:: SOT 53366 SOS 14880 HAS SOPS 14880 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6540.88
AT ITER 2923 NEW BEST:: SOT 53271 SOS 14734 HAS SOPS 14734 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6423.734
AT ITER 2933 NEW BEST:: SOT 53269 SOS 14730 HAS SOPS 14730 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6420.73
AT ITER 2950 NEW BEST:: SOT 53248 SOS 14694 HAS SOPS 14694 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6395.694
AT ITER 3005 NEW BEST:: SOT 53238 SOS 14674 HAS SOPS 14674 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6380.674
AT ITER 3019 NEW BEST:: SOT 53235 SOS 14671 HAS SOPS 14671 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6377.671
AT ITER 3041 NEW BEST:: SOT 53234 SOS 14669 HAS SOPS 14669 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6375.669
AT ITER 3148 NEW BEST:: SOT 53231 SOS 14664 HAS SOPS 14664 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6373.664
AT ITER 3212 NEW BEST:: SOT 53226 SOS 14654 HAS SOPS 14654 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6363.654
AT ITER 3257 NEW BEST:: SOT 53228 SOS 14652 HAS SOPS 14652 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6361.652
AT ITER 3286 NEW BEST:: SOT 53228 SOS 14651 HAS SOPS 14651 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6360.651
AT ITER 3340 NEW BEST:: SOT 53282 SOS 14711 HAS SOPS 14711 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6327.711
AT ITER 3378 NEW BEST:: SOT 53280 SOS 14707 HAS SOPS 14707 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6325.707
AT ITER 3382 NEW BEST:: SOT 53278 SOS 14711 HAS SOPS 14711 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6320.711
AT ITER 3445 NEW BEST:: SOT 53275 SOS 14708 HAS SOPS 14708 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6320.708
AT ITER 3521 NEW BEST:: SOT 53267 SOS 14692 HAS SOPS 14692 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6296.692
AT ITER 3612 NEW BEST:: SOT 53265 SOS 14684 HAS SOPS 14684 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6288.684
AT ITER 3670 NEW BEST:: SOT 53254 SOS 14683 HAS SOPS 14683 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6287.683
AT ITER 3678 NEW BEST:: SOT 53244 SOS 14555 HAS SOPS 14555 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6277.555
AT ITER 3698 NEW BEST:: SOT 53244 SOS 14555 HAS SOPS 14555 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6268.555
AT ITER 3713 NEW BEST:: SOT 53243 SOS 14554 HAS SOPS 14554 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6267.554
AT ITER 3795 NEW BEST:: SOT 53243 SOS 14551 HAS SOPS 14551 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6267.551
AT ITER 3919 NEW BEST:: SOT 53242 SOS 14549 HAS SOPS 14549 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6266.549
AT ITER 3939 NEW BEST:: SOT 53240 SOS 14545 HAS SOPS 14545 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6264.545
AT ITER 3962 NEW BEST:: SOT 53192 SOS 14491 HAS SOPS 14491 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6258.491
AT ITER 4127 NEW BEST:: SOT 53192 SOS 14491 HAS SOPS 14491 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6246.491
AT ITER 4165 NEW BEST:: SOT 53182 SOS 14488 HAS SOPS 14488 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6226.488
AT ITER 4179 NEW BEST:: SOT 53178 SOS 14480 HAS SOPS 14480 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6218.48
AT ITER 4210 NEW BEST:: SOT 53175 SOS 14474 HAS SOPS 14474 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6212.474
AT ITER 4246 NEW BEST:: SOT 53172 SOS 14471 HAS SOPS 14471 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6209.471
AT ITER 4286 NEW BEST:: SOT 53171 SOS 14470 HAS SOPS 14470 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6200.47
AT ITER 4325 NEW BEST:: SOT 53163 SOS 14454 HAS SOPS 14454 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6186.454
AT ITER 4345 NEW BEST:: SOT 53159 SOS 14460 HAS SOPS 14460 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6178.46
AT ITER 4374 NEW BEST:: SOT 53151 SOS 14448 HAS SOPS 14448 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6166.448
AT ITER 4392 NEW BEST:: SOT 53148 SOS 14448 HAS SOPS 14448 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6163.448
AT ITER 4407 NEW BEST:: SOT 53147 SOS 14440 HAS SOPS 14440 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6161.44
AT ITER 4477 NEW BEST:: SOT 53136 SOS 14418 HAS SOPS 14418 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6147.418
AT ITER 4501 NEW BEST:: SOT 53134 SOS 14414 HAS SOPS 14414 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6143.414
AT ITER 4565 NEW BEST:: SOT 53132 SOS 14409 HAS SOPS 14409 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6140.409
AT ITER 4614 NEW BEST:: SOT 53130 SOS 14405 HAS SOPS 14405 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6136.405
AT ITER 4632 NEW BEST:: SOT 53099 SOS 14362 HAS SOPS 14362 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6092.362
AT ITER 4650 NEW BEST:: SOT 53098 SOS 14360 HAS SOPS 14360 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6090.36
AT ITER 4719 NEW BEST:: SOT 53098 SOS 14350 HAS SOPS 14350 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6090.35
AT ITER 4732 NEW BEST:: SOT 53097 SOS 14348 HAS SOPS 14348 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6088.348
AT ITER 4817 NEW BEST:: SOT 53097 SOS 14323 HAS SOPS 14323 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6088.323
AT ITER 4819 NEW BEST:: SOT 53097 SOS 14298 HAS SOPS 14298 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6088.298
AT ITER 4847 NEW BEST:: SOT 53090 SOS 14296 HAS SOPS 14296 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6086.296
AT ITER 4892 NEW BEST:: SOT 53090 SOS 14271 HAS SOPS 14271 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6086.271
AT ITER 4905 NEW BEST:: SOT 53090 SOS 14271 HAS SOPS 14271 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6077.271
AT ITER 4946 NEW BEST:: SOT 53090 SOS 14270 HAS SOPS 14270 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6077.27
AT ITER 5023 NEW BEST:: SOT 53091 SOS 14267 HAS SOPS 14267 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6074.267
AT ITER 5092 NEW BEST:: SOT 53087 SOS 14259 HAS SOPS 14259 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6066.259
AT ITER 5108 NEW BEST:: SOT 53031 SOS 14196 HAS SOPS 14196 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 6003.196
AT ITER 5220 NEW BEST:: SOT 53039 SOS 14198 HAS SOPS 14198 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 6000.198
AT ITER 5227 NEW BEST:: SOT 53032 SOS 14199 HAS SOPS 14199 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5993.199
AT ITER 5236 NEW BEST:: SOT 53024 SOS 14199 HAS SOPS 14199 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5985.199
AT ITER 5262 NEW BEST:: SOT 53021 SOS 14193 HAS SOPS 14193 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5979.193
AT ITER 5504 NEW BEST:: SOT 53020 SOS 14191 HAS SOPS 14191 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5977.191
AT ITER 5511 NEW BEST:: SOT 53026 SOS 14187 HAS SOPS 14187 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5975.187
AT ITER 5597 NEW BEST:: SOT 53025 SOS 14186 HAS SOPS 14186 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5975.186
AT ITER 5604 NEW BEST:: SOT 53022 SOS 14180 HAS SOPS 14180 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5969.18
AT ITER 5632 NEW BEST:: SOT 53018 SOS 14172 HAS SOPS 14172 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5961.172
AT ITER 5745 NEW BEST:: SOT 53017 SOS 14170 HAS SOPS 14170 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5960.17
AT ITER 5871 NEW BEST:: SOT 53016 SOS 14168 HAS SOPS 14168 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5959.168
AT ITER 5901 NEW BEST:: SOT 53014 SOS 14168 HAS SOPS 14168 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5958.168
AT ITER 5930 NEW BEST:: SOT 53013 SOS 14166 HAS SOPS 14166 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5956.166
AT ITER 5932 NEW BEST:: SOT 53004 SOS 14155 HAS SOPS 14155 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5946.155
AT ITER 5935 NEW BEST:: SOT 53003 SOS 14153 HAS SOPS 14153 HAS SOUS 5930 HAS SOUPS 5930 WITH SCORE 5944.153
AT ITER 6042 NEW BEST:: SOT 52997 SOS 14153 HAS SOPS 14153 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5942.153
AT ITER 6057 NEW BEST:: SOT 52981 SOS 14137 HAS SOPS 14137 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5931.137
AT ITER 6112 NEW BEST:: SOT 52980 SOS 14130 HAS SOPS 14130 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5924.13
AT ITER 6117 NEW BEST:: SOT 53012 SOS 14252 HAS SOPS 14252 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5921.252
AT ITER 6119 NEW BEST:: SOT 53012 SOS 14248 HAS SOPS 14248 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5913.248
AT ITER 6248 NEW BEST:: SOT 53016 SOS 14250 HAS SOPS 14250 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5910.25
AT ITER 6263 NEW BEST:: SOT 53012 SOS 14254 HAS SOPS 14254 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5909.254
AT ITER 6374 NEW BEST:: SOT 53012 SOS 14251 HAS SOPS 14251 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5907.251
AT ITER 6495 NEW BEST:: SOT 53006 SOS 14243 HAS SOPS 14243 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5899.243
AT ITER 6529 NEW BEST:: SOT 53006 SOS 14243 HAS SOPS 14243 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5896.243
AT ITER 6577 NEW BEST:: SOT 53004 SOS 14239 HAS SOPS 14239 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5894.239
AT ITER 6604 NEW BEST:: SOT 53003 SOS 14238 HAS SOPS 14238 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5893.238
AT ITER 6634 NEW BEST:: SOT 53002 SOS 14236 HAS SOPS 14236 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5891.236
AT ITER 6733 NEW BEST:: SOT 53001 SOS 14234 HAS SOPS 14234 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5889.234
AT ITER 6814 NEW BEST:: SOT 53001 SOS 14210 HAS SOPS 14210 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5889.21
AT ITER 6942 NEW BEST:: SOT 53004 SOS 14205 HAS SOPS 14205 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5884.205
AT ITER 6950 NEW BEST:: SOT 52994 SOS 14194 HAS SOPS 14194 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5873.194
AT ITER 7043 NEW BEST:: SOT 53009 SOS 14219 HAS SOPS 14219 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5864.219
AT ITER 7145 NEW BEST:: SOT 53010 SOS 14221 HAS SOPS 14221 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5860.221
AT ITER 7194 NEW BEST:: SOT 53002 SOS 14211 HAS SOPS 14211 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5858.211
AT ITER 7281 NEW BEST:: SOT 52993 SOS 14218 HAS SOPS 14218 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5834.218
AT ITER 7352 NEW BEST:: SOT 53003 SOS 14193 HAS SOPS 14193 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5834.193
AT ITER 7405 NEW BEST:: SOT 53003 SOS 14187 HAS SOPS 14187 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5834.187
AT ITER 7529 NEW BEST:: SOT 53002 SOS 14185 HAS SOPS 14185 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5833.185
AT ITER 7530 NEW BEST:: SOT 53003 SOS 14183 HAS SOPS 14183 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5833.183
AT ITER 7573 NEW BEST:: SOT 53002 SOS 14180 HAS SOPS 14180 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5823.18
AT ITER 7650 NEW BEST:: SOT 52996 SOS 14170 HAS SOPS 14170 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5815.17
AT ITER 7667 NEW BEST:: SOT 52994 SOS 14166 HAS SOPS 14166 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5811.166
AT ITER 7690 NEW BEST:: SOT 52991 SOS 14173 HAS SOPS 14173 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5805.173
AT ITER 7698 NEW BEST:: SOT 52989 SOS 14169 HAS SOPS 14169 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5798.169
AT ITER 7743 NEW BEST:: SOT 52987 SOS 14165 HAS SOPS 14165 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5794.165
AT ITER 7827 NEW BEST:: SOT 52982 SOS 14169 HAS SOPS 14169 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5789.169
AT ITER 7974 NEW BEST:: SOT 52979 SOS 14176 HAS SOPS 14176 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5783.176
AT ITER 8029 NEW BEST:: SOT 52975 SOS 14164 HAS SOPS 14164 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5775.164
AT ITER 8066 NEW BEST:: SOT 52975 SOS 14164 HAS SOPS 14164 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5770.164
AT ITER 8082 NEW BEST:: SOT 52974 SOS 14162 HAS SOPS 14162 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5769.162
AT ITER 8105 NEW BEST:: SOT 52978 SOS 14158 HAS SOPS 14158 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5767.158
AT ITER 8236 NEW BEST:: SOT 52959 SOS 14120 HAS SOPS 14120 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5746.12
AT ITER 8249 NEW BEST:: SOT 52959 SOS 14119 HAS SOPS 14119 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5746.119
AT ITER 8338 NEW BEST:: SOT 52959 SOS 13422 HAS SOPS 13422 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5745.422
AT ITER 8369 NEW BEST:: SOT 52956 SOS 13406 HAS SOPS 13406 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5737.406
AT ITER 8382 NEW BEST:: SOT 52948 SOS 13397 HAS SOPS 13397 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5728.397
AT ITER 8394 NEW BEST:: SOT 52948 SOS 13403 HAS SOPS 13403 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5722.403
AT ITER 8627 NEW BEST:: SOT 52948 SOS 13403 HAS SOPS 13403 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5719.403
AT ITER 8662 NEW BEST:: SOT 52947 SOS 13402 HAS SOPS 13402 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5718.402
AT ITER 8663 NEW BEST:: SOT 52945 SOS 13398 HAS SOPS 13398 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5714.398
AT ITER 8794 NEW BEST:: SOT 52944 SOS 13392 HAS SOPS 13392 HAS SOUS 5697 HAS SOUPS 5697 WITH SCORE 5710.392
AT ITER 8909 NEW BEST:: SOT 52941 SOS 13386 HAS SOPS 13386 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5704.386
AT ITER 8947 NEW BEST:: SOT 52939 SOS 13384 HAS SOPS 13384 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5703.384
AT ITER 8977 NEW BEST:: SOT 52938 SOS 13382 HAS SOPS 13382 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5701.382
AT ITER 9157 NEW BEST:: SOT 52937 SOS 13382 HAS SOPS 13382 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5700.382
AT ITER 9165 NEW BEST:: SOT 52933 SOS 13370 HAS SOPS 13370 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5696.37
AT ITER 9305 NEW BEST:: SOT 52931 SOS 13368 HAS SOPS 13368 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5694.368
AT ITER 9423 NEW BEST:: SOT 52931 SOS 13368 HAS SOPS 13368 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5692.368
AT ITER 9486 NEW BEST:: SOT 52932 SOS 13370 HAS SOPS 13370 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5691.37
AT ITER 9490 NEW BEST:: SOT 52929 SOS 13367 HAS SOPS 13367 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5691.367
AT ITER 9543 NEW BEST:: SOT 52929 SOS 13356 HAS SOPS 13356 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5680.356
AT ITER 9681 NEW BEST:: SOT 52927 SOS 13350 HAS SOPS 13350 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5678.35
AT ITER 9800 NEW BEST:: SOT 52926 SOS 13348 HAS SOPS 13348 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5678.348
AT ITER 9803 NEW BEST:: SOT 52932 SOS 13346 HAS SOPS 13346 HAS SOUS 5663 HAS SOUPS 5663 WITH SCORE 5676.346
AT ITER 9820 NEW BEST:: SOT 52930 SOS 13342 HAS SOPS 13342 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5672.342
AT ITER 9876 NEW BEST:: SOT 52927 SOS 13336 HAS SOPS 13336 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5670.336
AT ITER 9962 NEW BEST:: SOT 52924 SOS 13334 HAS SOPS 13334 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5665.334
AT ITER 9965 NEW BEST:: SOT 52924 SOS 13334 HAS SOPS 13334 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5657.334
STATE_SPACE STATES 4906165480 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 36541083971 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678474066651

--------------------
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-04b"
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-04b, 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-167813591100592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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