Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973700408.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SieveSingleMsgMbox-PT-d1m04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973700408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 904K
-rw-r--r-- 1 mcc users 7.2K Feb 26 10:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 10:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 10:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 26 10:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 10:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 450K Mar 5 18:23 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 1679092222202

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=SieveSingleMsgMbox-PT-d1m04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d1m04
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: 1295 places, 749 transitions, 2996 arcs.
AT ITER 0 NEW BEST:: SOT 191475 SOS 165858 HAS SOPS 165858 HAS SOUS 145664 HAS SOUPS 145664 WITH SCORE 145829.858
AT ITER 428 NEW BEST:: SOT 191475 SOS 165918 HAS SOPS 165918 HAS SOUS 145391 HAS SOUPS 145391 WITH SCORE 145556.918
AT ITER 450 NEW BEST:: SOT 191475 SOS 165838 HAS SOPS 165838 HAS SOUS 145329 HAS SOUPS 145329 WITH SCORE 145494.838
AT ITER 480 NEW BEST:: SOT 191475 SOS 165557 HAS SOPS 165557 HAS SOUS 145154 HAS SOUPS 145154 WITH SCORE 145319.557
AT ITER 497 NEW BEST:: SOT 191475 SOS 165564 HAS SOPS 165564 HAS SOUS 143519 HAS SOUPS 143519 WITH SCORE 143684.564
AT ITER 501 NEW BEST:: SOT 193583 SOS 167601 HAS SOPS 167601 HAS SOUS 143263 HAS SOUPS 143263 WITH SCORE 143430.601
AT ITER 536 NEW BEST:: SOT 193583 SOS 167550 HAS SOPS 167550 HAS SOUS 143212 HAS SOUPS 143212 WITH SCORE 143379.55
AT ITER 538 NEW BEST:: SOT 194433 SOS 168311 HAS SOPS 168311 HAS SOUS 139531 HAS SOUPS 139531 WITH SCORE 139699.311
AT ITER 640 NEW BEST:: SOT 194433 SOS 168227 HAS SOPS 168227 HAS SOUS 139494 HAS SOUPS 139494 WITH SCORE 139662.227
AT ITER 781 NEW BEST:: SOT 195217 SOS 168954 HAS SOPS 168954 HAS SOUS 135990 HAS SOUPS 135990 WITH SCORE 136158.954
AT ITER 819 NEW BEST:: SOT 196604 SOS 169841 HAS SOPS 169841 HAS SOUS 132271 HAS SOUPS 132271 WITH SCORE 132440.841
AT ITER 822 NEW BEST:: SOT 196604 SOS 169842 HAS SOPS 169842 HAS SOUS 132233 HAS SOUPS 132233 WITH SCORE 132402.842
AT ITER 825 NEW BEST:: SOT 196604 SOS 169959 HAS SOPS 169959 HAS SOUS 131256 HAS SOUPS 131256 WITH SCORE 131425.959
AT ITER 838 NEW BEST:: SOT 196618 SOS 170063 HAS SOPS 170063 HAS SOUS 131253 HAS SOUPS 131253 WITH SCORE 131423.063
AT ITER 868 NEW BEST:: SOT 196618 SOS 170025 HAS SOPS 170025 HAS SOUS 130044 HAS SOUPS 130044 WITH SCORE 130214.025
AT ITER 869 NEW BEST:: SOT 196618 SOS 169895 HAS SOPS 169895 HAS SOUS 130016 HAS SOUPS 130016 WITH SCORE 130185.895
AT ITER 884 NEW BEST:: SOT 196618 SOS 169768 HAS SOPS 169768 HAS SOUS 130006 HAS SOUPS 130006 WITH SCORE 130175.768
AT ITER 892 NEW BEST:: SOT 196618 SOS 169687 HAS SOPS 169687 HAS SOUS 129961 HAS SOUPS 129961 WITH SCORE 130130.687
AT ITER 898 NEW BEST:: SOT 196842 SOS 169852 HAS SOPS 169852 HAS SOUS 126425 HAS SOUPS 126425 WITH SCORE 126594.852
AT ITER 899 NEW BEST:: SOT 196902 SOS 169866 HAS SOPS 169806 HAS SOUS 126439 HAS SOUPS 126379 WITH SCORE 126548.866
AT ITER 965 NEW BEST:: SOT 196902 SOS 168647 HAS SOPS 168587 HAS SOUS 125150 HAS SOUPS 125090 WITH SCORE 125258.647
AT ITER 973 NEW BEST:: SOT 200846 SOS 172523 HAS SOPS 172463 HAS SOUS 124478 HAS SOUPS 124418 WITH SCORE 124590.523
AT ITER 982 NEW BEST:: SOT 200846 SOS 172313 HAS SOPS 172253 HAS SOUS 124478 HAS SOUPS 124418 WITH SCORE 124590.313
AT ITER 988 NEW BEST:: SOT 200906 SOS 172289 HAS SOPS 172229 HAS SOUS 123723 HAS SOUPS 123663 WITH SCORE 123835.289
AT ITER 994 NEW BEST:: SOT 200906 SOS 172336 HAS SOPS 172276 HAS SOUS 123385 HAS SOUPS 123325 WITH SCORE 123497.336
AT ITER 1053 NEW BEST:: SOT 200906 SOS 171889 HAS SOPS 171829 HAS SOUS 123222 HAS SOUPS 123162 WITH SCORE 123333.889
AT ITER 1061 NEW BEST:: SOT 200906 SOS 170516 HAS SOPS 170456 HAS SOUS 121603 HAS SOUPS 121543 WITH SCORE 121713.516
AT ITER 1070 NEW BEST:: SOT 200906 SOS 170335 HAS SOPS 170275 HAS SOUS 121587 HAS SOUPS 121527 WITH SCORE 121697.335
AT ITER 1143 NEW BEST:: SOT 200906 SOS 170098 HAS SOPS 170038 HAS SOUS 119751 HAS SOUPS 119691 WITH SCORE 119861.098
AT ITER 1163 NEW BEST:: SOT 200913 SOS 170040 HAS SOPS 169980 HAS SOUS 119693 HAS SOUPS 119633 WITH SCORE 119803.04
AT ITER 1326 NEW BEST:: SOT 200913 SOS 169993 HAS SOPS 169933 HAS SOUS 119681 HAS SOUPS 119621 WITH SCORE 119790.993
AT ITER 1330 NEW BEST:: SOT 200913 SOS 169955 HAS SOPS 169895 HAS SOUS 119681 HAS SOUPS 119621 WITH SCORE 119790.955
AT ITER 1335 NEW BEST:: SOT 200913 SOS 169748 HAS SOPS 169688 HAS SOUS 116857 HAS SOUPS 116797 WITH SCORE 116966.748
AT ITER 1340 NEW BEST:: SOT 200994 SOS 169629 HAS SOPS 169569 HAS SOUS 116738 HAS SOUPS 116678 WITH SCORE 116847.629
AT ITER 1349 NEW BEST:: SOT 200994 SOS 169648 HAS SOPS 169588 HAS SOUS 116597 HAS SOUPS 116537 WITH SCORE 116706.648
AT ITER 1359 NEW BEST:: SOT 200985 SOS 169648 HAS SOPS 169588 HAS SOUS 116570 HAS SOUPS 116510 WITH SCORE 116679.648
AT ITER 1360 NEW BEST:: SOT 201052 SOS 169647 HAS SOPS 169587 HAS SOUS 116569 HAS SOUPS 116509 WITH SCORE 116678.647
AT ITER 1414 NEW BEST:: SOT 208172 SOS 176487 HAS SOPS 176427 HAS SOUS 116558 HAS SOUPS 116498 WITH SCORE 116674.487
AT ITER 1428 NEW BEST:: SOT 208172 SOS 176460 HAS SOPS 176400 HAS SOUS 116556 HAS SOUPS 116496 WITH SCORE 116672.46
AT ITER 1432 NEW BEST:: SOT 208249 SOS 176492 HAS SOPS 176359 HAS SOUS 116528 HAS SOUPS 116455 WITH SCORE 116631.492
AT ITER 1488 NEW BEST:: SOT 208249 SOS 176474 HAS SOPS 176341 HAS SOUS 116515 HAS SOUPS 116442 WITH SCORE 116618.474
AT ITER 1489 NEW BEST:: SOT 208249 SOS 176280 HAS SOPS 176147 HAS SOUS 115265 HAS SOUPS 115192 WITH SCORE 115368.28
AT ITER 1495 NEW BEST:: SOT 208249 SOS 175949 HAS SOPS 175816 HAS SOUS 115174 HAS SOUPS 115101 WITH SCORE 115276.949
AT ITER 1507 NEW BEST:: SOT 217882 SOS 184854 HAS SOPS 184721 HAS SOUS 114000 HAS SOUPS 113927 WITH SCORE 114111.854
AT ITER 1556 NEW BEST:: SOT 217882 SOS 184835 HAS SOPS 184702 HAS SOUS 113552 HAS SOUPS 113479 WITH SCORE 113663.835
AT ITER 1558 NEW BEST:: SOT 224602 SOS 191290 HAS SOPS 191157 HAS SOUS 110203 HAS SOUPS 110130 WITH SCORE 110321.29
AT ITER 1581 NEW BEST:: SOT 228597 SOS 195283 HAS SOPS 195150 HAS SOUS 108927 HAS SOUPS 108854 WITH SCORE 109049.283
AT ITER 1633 NEW BEST:: SOT 232165 SOS 198825 HAS SOPS 198692 HAS SOUS 107039 HAS SOUPS 106966 WITH SCORE 107164.825
AT ITER 1636 NEW BEST:: SOT 234789 SOS 201436 HAS SOPS 201303 HAS SOUS 105359 HAS SOUPS 105286 WITH SCORE 105487.436
AT ITER 1659 NEW BEST:: SOT 234790 SOS 201401 HAS SOPS 201268 HAS SOUS 105325 HAS SOUPS 105252 WITH SCORE 105453.401
AT ITER 1674 NEW BEST:: SOT 226171 SOS 192782 HAS SOPS 192649 HAS SOUS 104497 HAS SOUPS 104424 WITH SCORE 104616.782
AT ITER 1703 NEW BEST:: SOT 226216 SOS 192827 HAS SOPS 192694 HAS SOUS 104480 HAS SOUPS 104407 WITH SCORE 104599.827
AT ITER 1742 NEW BEST:: SOT 224184 SOS 190795 HAS SOPS 190662 HAS SOUS 104480 HAS SOUPS 104407 WITH SCORE 104597.795
AT ITER 1771 NEW BEST:: SOT 224184 SOS 190801 HAS SOPS 190668 HAS SOUS 104446 HAS SOUPS 104373 WITH SCORE 104563.801
AT ITER 1782 NEW BEST:: SOT 233568 SOS 199887 HAS SOPS 199754 HAS SOUS 103157 HAS SOUPS 103084 WITH SCORE 103283.887
AT ITER 1850 NEW BEST:: SOT 233568 SOS 199843 HAS SOPS 199710 HAS SOUS 103156 HAS SOUPS 103083 WITH SCORE 103282.843
AT ITER 1856 NEW BEST:: SOT 233568 SOS 199843 HAS SOPS 199710 HAS SOUS 103148 HAS SOUPS 103075 WITH SCORE 103274.843
AT ITER 1858 NEW BEST:: SOT 243809 SOS 209353 HAS SOPS 209220 HAS SOUS 101097 HAS SOUPS 101024 WITH SCORE 101233.353
AT ITER 1892 NEW BEST:: SOT 245951 SOS 211188 HAS SOPS 211055 HAS SOUS 97639 HAS SOUPS 97566 WITH SCORE 97777.188
AT ITER 1923 NEW BEST:: SOT 251007 SOS 215958 HAS SOPS 215825 HAS SOUS 94192 HAS SOUPS 94119 WITH SCORE 94334.958
AT ITER 1932 NEW BEST:: SOT 251007 SOS 216012 HAS SOPS 215879 HAS SOUS 93922 HAS SOUPS 93849 WITH SCORE 94065.012
AT ITER 1960 NEW BEST:: SOT 251011 SOS 215925 HAS SOPS 215792 HAS SOUS 93782 HAS SOUPS 93709 WITH SCORE 93924.925
AT ITER 2055 NEW BEST:: SOT 245027 SOS 209941 HAS SOPS 209808 HAS SOUS 93782 HAS SOUPS 93709 WITH SCORE 93918.941
AT ITER 2059 NEW BEST:: SOT 245027 SOS 206115 HAS SOPS 205982 HAS SOUS 92627 HAS SOUPS 92554 WITH SCORE 92760.115
AT ITER 2089 NEW BEST:: SOT 245027 SOS 206099 HAS SOPS 205966 HAS SOUS 92625 HAS SOUPS 92552 WITH SCORE 92758.099
AT ITER 2139 NEW BEST:: SOT 246708 SOS 205008 HAS SOPS 203598 HAS SOUS 92636 HAS SOUPS 92534 WITH SCORE 92739.008
AT ITER 2166 NEW BEST:: SOT 244876 SOS 203176 HAS SOPS 201855 HAS SOUS 92612 HAS SOUPS 92510 WITH SCORE 92713.176
AT ITER 2206 NEW BEST:: SOT 244876 SOS 199908 HAS SOPS 198587 HAS SOUS 91154 HAS SOUPS 91052 WITH SCORE 91251.908
AT ITER 2229 NEW BEST:: SOT 244022 SOS 199054 HAS SOPS 197763 HAS SOUS 91132 HAS SOUPS 91030 WITH SCORE 91229.054
AT ITER 2231 NEW BEST:: SOT 244056 SOS 198656 HAS SOPS 197365 HAS SOUS 90947 HAS SOUPS 90845 WITH SCORE 91043.656
AT ITER 2246 NEW BEST:: SOT 244056 SOS 197907 HAS SOPS 196616 HAS SOUS 90503 HAS SOUPS 90401 WITH SCORE 90598.907
AT ITER 2298 NEW BEST:: SOT 244056 SOS 197862 HAS SOPS 196571 HAS SOUS 90475 HAS SOUPS 90373 WITH SCORE 90570.862
AT ITER 2299 NEW BEST:: SOT 244052 SOS 197858 HAS SOPS 196567 HAS SOUS 90465 HAS SOUPS 90363 WITH SCORE 90560.858
AT ITER 2303 NEW BEST:: SOT 250894 SOS 203918 HAS SOPS 202525 HAS SOUS 87490 HAS SOUPS 87388 WITH SCORE 87591.918
AT ITER 2329 NEW BEST:: SOT 250895 SOS 203875 HAS SOPS 202436 HAS SOUS 87401 HAS SOUPS 87299 WITH SCORE 87502.875
AT ITER 2344 NEW BEST:: SOT 249803 SOS 202783 HAS SOPS 202412 HAS SOUS 86462 HAS SOUPS 86389 WITH SCORE 86591.783
AT ITER 2377 NEW BEST:: SOT 249527 SOS 202507 HAS SOPS 202136 HAS SOUS 86186 HAS SOUPS 86113 WITH SCORE 86315.507
AT ITER 2395 NEW BEST:: SOT 257896 SOS 210639 HAS SOPS 210256 HAS SOUS 85087 HAS SOUPS 85014 WITH SCORE 85224.639
AT ITER 2405 NEW BEST:: SOT 264092 SOS 216138 HAS SOPS 215743 HAS SOUS 82406 HAS SOUPS 82333 WITH SCORE 82549.138
AT ITER 2422 NEW BEST:: SOT 263613 SOS 215659 HAS SOPS 215264 HAS SOUS 81927 HAS SOUPS 81854 WITH SCORE 82069.659
AT ITER 2448 NEW BEST:: SOT 267921 SOS 219963 HAS SOPS 219556 HAS SOUS 81851 HAS SOUPS 81778 WITH SCORE 81997.963
AT ITER 2462 NEW BEST:: SOT 277125 SOS 228400 HAS SOPS 227981 HAS SOUS 79386 HAS SOUPS 79313 WITH SCORE 79541.4
AT ITER 2466 NEW BEST:: SOT 277125 SOS 226152 HAS SOPS 225733 HAS SOUS 79058 HAS SOUPS 78985 WITH SCORE 79211.152
AT ITER 2469 NEW BEST:: SOT 277125 SOS 225613 HAS SOPS 225194 HAS SOUS 79028 HAS SOUPS 78955 WITH SCORE 79180.613
AT ITER 2473 NEW BEST:: SOT 277188 SOS 220229 HAS SOPS 219670 HAS SOUS 77155 HAS SOUPS 77082 WITH SCORE 77302.229
AT ITER 2549 NEW BEST:: SOT 277188 SOS 220229 HAS SOPS 219670 HAS SOUS 77112 HAS SOUPS 77039 WITH SCORE 77259.229
AT ITER 2558 NEW BEST:: SOT 277188 SOS 219998 HAS SOPS 219439 HAS SOUS 77063 HAS SOUPS 76990 WITH SCORE 77209.998
AT ITER 2584 NEW BEST:: SOT 277188 SOS 219571 HAS SOPS 219012 HAS SOUS 76984 HAS SOUPS 76911 WITH SCORE 77130.571
AT ITER 2600 NEW BEST:: SOT 273524 SOS 215907 HAS SOPS 215348 HAS SOUS 76984 HAS SOUPS 76911 WITH SCORE 77126.907
AT ITER 2617 NEW BEST:: SOT 275736 SOS 212730 HAS SOPS 209917 HAS SOUS 77024 HAS SOUPS 76870 WITH SCORE 77082.73
AT ITER 2667 NEW BEST:: SOT 278352 SOS 210044 HAS SOPS 204714 HAS SOUS 75544 HAS SOUPS 75367 WITH SCORE 75577.044
AT ITER 2722 NEW BEST:: SOT 278352 SOS 209963 HAS SOPS 204633 HAS SOUS 75538 HAS SOUPS 75361 WITH SCORE 75570.963
AT ITER 2779 NEW BEST:: SOT 281891 SOS 208026 HAS SOPS 199623 HAS SOUS 74533 HAS SOUPS 74305 WITH SCORE 74513.026
AT ITER 2865 NEW BEST:: SOT 284791 SOS 210926 HAS SOPS 202111 HAS SOUS 74354 HAS SOUPS 74126 WITH SCORE 74336.926
AT ITER 2944 NEW BEST:: SOT 276613 SOS 202748 HAS SOPS 194210 HAS SOUS 73153 HAS SOUPS 72925 WITH SCORE 73127.748
AT ITER 2947 NEW BEST:: SOT 276613 SOS 202759 HAS SOPS 194221 HAS SOUS 73128 HAS SOUPS 72900 WITH SCORE 73102.759
AT ITER 2953 NEW BEST:: SOT 275039 SOS 201185 HAS SOPS 192807 HAS SOUS 73121 HAS SOUPS 72893 WITH SCORE 73094.185
AT ITER 2968 NEW BEST:: SOT 275222 SOS 201233 HAS SOPS 192855 HAS SOUS 73116 HAS SOUPS 72888 WITH SCORE 73089.233
AT ITER 2970 NEW BEST:: SOT 275286 SOS 201297 HAS SOPS 192919 HAS SOUS 72900 HAS SOUPS 72672 WITH SCORE 72873.297
AT ITER 3004 NEW BEST:: SOT 275286 SOS 201150 HAS SOPS 192772 HAS SOUS 72856 HAS SOUPS 72628 WITH SCORE 72829.15
AT ITER 3028 NEW BEST:: SOT 276654 SOS 199431 HAS SOPS 189318 HAS SOUS 71622 HAS SOUPS 71394 WITH SCORE 71593.431
AT ITER 3047 NEW BEST:: SOT 277399 SOS 199840 HAS SOPS 189727 HAS SOUS 71248 HAS SOUPS 71020 WITH SCORE 71219.84
AT ITER 3054 NEW BEST:: SOT 286132 SOS 206562 HAS SOPS 195764 HAS SOUS 69566 HAS SOUPS 69338 WITH SCORE 69544.562
AT ITER 3089 NEW BEST:: SOT 286207 SOS 206522 HAS SOPS 195724 HAS SOUS 69526 HAS SOUPS 69298 WITH SCORE 69504.522
AT ITER 3090 NEW BEST:: SOT 288525 SOS 207016 HAS SOPS 195576 HAS SOUS 67578 HAS SOUPS 67350 WITH SCORE 67557.016
AT ITER 3150 NEW BEST:: SOT 289334 SOS 206231 HAS SOPS 194496 HAS SOUS 65907 HAS SOUPS 65679 WITH SCORE 65885.231
AT ITER 3182 NEW BEST:: SOT 289334 SOS 204964 HAS SOPS 193229 HAS SOUS 65198 HAS SOUPS 64970 WITH SCORE 65174.964
AT ITER 3202 NEW BEST:: SOT 289222 SOS 204852 HAS SOPS 193117 HAS SOUS 65198 HAS SOUPS 64970 WITH SCORE 65174.852
AT ITER 3225 NEW BEST:: SOT 288534 SOS 204164 HAS SOPS 192429 HAS SOUS 65198 HAS SOUPS 64970 WITH SCORE 65174.164
AT ITER 3229 NEW BEST:: SOT 288862 SOS 204053 HAS SOPS 192318 HAS SOUS 65087 HAS SOUPS 64859 WITH SCORE 65063.053
AT ITER 3245 NEW BEST:: SOT 288912 SOS 204035 HAS SOPS 192300 HAS SOUS 64963 HAS SOUPS 64735 WITH SCORE 64939.035
AT ITER 3270 NEW BEST:: SOT 288661 SOS 203784 HAS SOPS 192291 HAS SOUS 64963 HAS SOUPS 64735 WITH SCORE 64938.784
AT ITER 3271 NEW BEST:: SOT 288734 SOS 203674 HAS SOPS 192181 HAS SOUS 64908 HAS SOUPS 64680 WITH SCORE 64883.674
AT ITER 3272 NEW BEST:: SOT 288790 SOS 203635 HAS SOPS 192142 HAS SOUS 64806 HAS SOUPS 64578 WITH SCORE 64781.635
AT ITER 3363 NEW BEST:: SOT 288790 SOS 203635 HAS SOPS 192142 HAS SOUS 64800 HAS SOUPS 64572 WITH SCORE 64775.635
AT ITER 3437 NEW BEST:: SOT 289554 SOS 198392 HAS SOPS 185198 HAS SOUS 63701 HAS SOUPS 63473 WITH SCORE 63671.392
AT ITER 3464 NEW BEST:: SOT 289695 SOS 197636 HAS SOPS 183974 HAS SOUS 63467 HAS SOUPS 63239 WITH SCORE 63436.636
AT ITER 3528 NEW BEST:: SOT 289550 SOS 197491 HAS SOPS 185088 HAS SOUS 63359 HAS SOUPS 63131 WITH SCORE 63328.491
AT ITER 3547 NEW BEST:: SOT 290272 SOS 191945 HAS SOPS 177857 HAS SOUS 62293 HAS SOUPS 62065 WITH SCORE 62256.945
AT ITER 3598 NEW BEST:: SOT 290272 SOS 192006 HAS SOPS 177918 HAS SOUS 62226 HAS SOUPS 61998 WITH SCORE 62190.006
AT ITER 3613 NEW BEST:: SOT 290331 SOS 191352 HAS SOPS 177264 HAS SOUS 62015 HAS SOUPS 61787 WITH SCORE 61978.352
AT ITER 3616 NEW BEST:: SOT 290331 SOS 191352 HAS SOPS 177264 HAS SOUS 61919 HAS SOUPS 61691 WITH SCORE 61882.352
AT ITER 3626 NEW BEST:: SOT 290432 SOS 191177 HAS SOPS 176894 HAS SOUS 61891 HAS SOUPS 61663 WITH SCORE 61854.177
AT ITER 3630 NEW BEST:: SOT 290509 SOS 191254 HAS SOPS 176971 HAS SOUS 61809 HAS SOUPS 61581 WITH SCORE 61772.254
AT ITER 3648 NEW BEST:: SOT 292819 SOS 187267 HAS SOPS 169784 HAS SOUS 60786 HAS SOUPS 60558 WITH SCORE 60745.267
AT ITER 3656 NEW BEST:: SOT 292819 SOS 186176 HAS SOPS 168693 HAS SOUS 60652 HAS SOUPS 60424 WITH SCORE 60610.176
AT ITER 3668 NEW BEST:: SOT 292819 SOS 185915 HAS SOPS 168432 HAS SOUS 60514 HAS SOUPS 60286 WITH SCORE 60471.915
AT ITER 3675 NEW BEST:: SOT 297478 SOS 188516 HAS SOPS 169783 HAS SOUS 60009 HAS SOUPS 59698 WITH SCORE 59886.516
AT ITER 3727 NEW BEST:: SOT 283235 SOS 219719 HAS SOPS 157837 HAS SOUS 46156 HAS SOUPS 45705 WITH SCORE 45924.719
AT ITER 3776 NEW BEST:: SOT 284061 SOS 220545 HAS SOPS 158417 HAS SOUS 46089 HAS SOUPS 45638 WITH SCORE 45858.545
AT ITER 3785 NEW BEST:: SOT 284097 SOS 220506 HAS SOPS 158378 HAS SOUS 45844 HAS SOUPS 45393 WITH SCORE 45613.506
AT ITER 3788 NEW BEST:: SOT 284063 SOS 220472 HAS SOPS 158374 HAS SOUS 45842 HAS SOUPS 45391 WITH SCORE 45611.472
AT ITER 3814 NEW BEST:: SOT 283661 SOS 220070 HAS SOPS 159136 HAS SOUS 45842 HAS SOUPS 45391 WITH SCORE 45611.07
AT ITER 3901 NEW BEST:: SOT 283545 SOS 219954 HAS SOPS 159189 HAS SOUS 45816 HAS SOUPS 45365 WITH SCORE 45584.954
AT ITER 4040 NEW BEST:: SOT 283840 SOS 220024 HAS SOPS 158725 HAS SOUS 45801 HAS SOUPS 45350 WITH SCORE 45570.024
AT ITER 4047 NEW BEST:: SOT 283248 SOS 219432 HAS SOPS 158133 HAS SOUS 45801 HAS SOUPS 45350 WITH SCORE 45569.432
AT ITER 4054 NEW BEST:: SOT 283074 SOS 219258 HAS SOPS 158278 HAS SOUS 45801 HAS SOUPS 45350 WITH SCORE 45569.258
AT ITER 4056 NEW BEST:: SOT 283087 SOS 219203 HAS SOPS 158223 HAS SOUS 45746 HAS SOUPS 45295 WITH SCORE 45514.203
AT ITER 4066 NEW BEST:: SOT 283081 SOS 219197 HAS SOPS 158223 HAS SOUS 45746 HAS SOUPS 45295 WITH SCORE 45514.197
AT ITER 4093 NEW BEST:: SOT 285041 SOS 221157 HAS SOPS 159520 HAS SOUS 45734 HAS SOUPS 45283 WITH SCORE 45504.157
AT ITER 4108 NEW BEST:: SOT 284065 SOS 220181 HAS SOPS 158622 HAS SOUS 45730 HAS SOUPS 45279 WITH SCORE 45499.181
AT ITER 4117 NEW BEST:: SOT 284302 SOS 220316 HAS SOPS 158757 HAS SOUS 45706 HAS SOUPS 45255 WITH SCORE 45475.316
AT ITER 4120 NEW BEST:: SOT 284290 SOS 220304 HAS SOPS 158757 HAS SOUS 45684 HAS SOUPS 45233 WITH SCORE 45453.304
AT ITER 4145 NEW BEST:: SOT 284274 SOS 220288 HAS SOPS 158741 HAS SOUS 45684 HAS SOUPS 45233 WITH SCORE 45453.288
AT ITER 4155 NEW BEST:: SOT 281423 SOS 217437 HAS SOPS 156193 HAS SOUS 45435 HAS SOUPS 45067 WITH SCORE 45284.437
AT ITER 4169 NEW BEST:: SOT 288194 SOS 224208 HAS SOPS 162535 HAS SOUS 45271 HAS SOUPS 44903 WITH SCORE 45127.208
AT ITER 4210 NEW BEST:: SOT 290861 SOS 226875 HAS SOPS 165197 HAS SOUS 45266 HAS SOUPS 44898 WITH SCORE 45124.875
AT ITER 4219 NEW BEST:: SOT 290891 SOS 226864 HAS SOPS 165186 HAS SOUS 45179 HAS SOUPS 44811 WITH SCORE 45037.864
AT ITER 4220 NEW BEST:: SOT 290964 SOS 226718 HAS SOPS 164978 HAS SOUS 45083 HAS SOUPS 44715 WITH SCORE 44941.718
AT ITER 4260 NEW BEST:: SOT 291007 SOS 226761 HAS SOPS 165021 HAS SOUS 45066 HAS SOUPS 44698 WITH SCORE 44924.761
AT ITER 4277 NEW BEST:: SOT 294033 SOS 229787 HAS SOPS 167889 HAS SOUS 44976 HAS SOUPS 44608 WITH SCORE 44837.787
AT ITER 4286 NEW BEST:: SOT 294033 SOS 229675 HAS SOPS 167777 HAS SOUS 44926 HAS SOUPS 44558 WITH SCORE 44787.675
AT ITER 4322 NEW BEST:: SOT 298001 SOS 233643 HAS SOPS 171697 HAS SOUS 44883 HAS SOUPS 44515 WITH SCORE 44748.643
AT ITER 4346 NEW BEST:: SOT 297960 SOS 233602 HAS SOPS 171656 HAS SOUS 44810 HAS SOUPS 44442 WITH SCORE 44675.602
AT ITER 4365 NEW BEST:: SOT 296136 SOS 231778 HAS SOPS 169832 HAS SOUS 44810 HAS SOUPS 44442 WITH SCORE 44673.778
AT ITER 4366 NEW BEST:: SOT 297976 SOS 233618 HAS SOPS 171608 HAS SOUS 44759 HAS SOUPS 44391 WITH SCORE 44624.618
AT ITER 4505 NEW BEST:: SOT 297936 SOS 233578 HAS SOPS 171568 HAS SOUS 44719 HAS SOUPS 44351 WITH SCORE 44584.578
AT ITER 4510 NEW BEST:: SOT 294400 SOS 230042 HAS SOPS 168032 HAS SOUS 44719 HAS SOUPS 44351 WITH SCORE 44581.042
AT ITER 4543 NEW BEST:: SOT 294629 SOS 230173 HAS SOPS 168163 HAS SOUS 44654 HAS SOUPS 44286 WITH SCORE 44516.173
AT ITER 4571 NEW BEST:: SOT 294334 SOS 229878 HAS SOPS 168382 HAS SOUS 44569 HAS SOUPS 44201 WITH SCORE 44430.878
AT ITER 4587 NEW BEST:: SOT 294332 SOS 229876 HAS SOPS 168380 HAS SOUS 44568 HAS SOUPS 44200 WITH SCORE 44429.876
AT ITER 4592 NEW BEST:: SOT 294304 SOS 229848 HAS SOPS 168324 HAS SOUS 44545 HAS SOUPS 44177 WITH SCORE 44406.848
AT ITER 4611 NEW BEST:: SOT 287425 SOS 222969 HAS SOPS 161624 HAS SOUS 44320 HAS SOUPS 43952 WITH SCORE 44174.969
AT ITER 4622 NEW BEST:: SOT 287724 SOS 222965 HAS SOPS 161588 HAS SOUS 44145 HAS SOUPS 43777 WITH SCORE 43999.965
AT ITER 4725 NEW BEST:: SOT 287724 SOS 221960 HAS SOPS 160583 HAS SOUS 44101 HAS SOUPS 43733 WITH SCORE 43954.96
AT ITER 4729 NEW BEST:: SOT 287568 SOS 221804 HAS SOPS 160427 HAS SOUS 44101 HAS SOUPS 43733 WITH SCORE 43954.804
AT ITER 4767 NEW BEST:: SOT 287568 SOS 221113 HAS SOPS 159736 HAS SOUS 43908 HAS SOUPS 43540 WITH SCORE 43761.113
AT ITER 4786 NEW BEST:: SOT 287543 SOS 221088 HAS SOPS 159724 HAS SOUS 43896 HAS SOUPS 43528 WITH SCORE 43749.088
AT ITER 4790 NEW BEST:: SOT 287710 SOS 221255 HAS SOPS 159649 HAS SOUS 43860 HAS SOUPS 43492 WITH SCORE 43713.255
AT ITER 4860 NEW BEST:: SOT 283402 SOS 216947 HAS SOPS 155341 HAS SOUS 39552 HAS SOUPS 39184 WITH SCORE 39400.947
AT ITER 4865 NEW BEST:: SOT 283393 SOS 216700 HAS SOPS 154814 HAS SOUS 39548 HAS SOUPS 39180 WITH SCORE 39396.7
AT ITER 4900 NEW BEST:: SOT 283262 SOS 216569 HAS SOPS 154683 HAS SOUS 39432 HAS SOUPS 39064 WITH SCORE 39280.569
AT ITER 5128 NEW BEST:: SOT 276166 SOS 209473 HAS SOPS 147784 HAS SOUS 39106 HAS SOUPS 38738 WITH SCORE 38947.473
AT ITER 5223 NEW BEST:: SOT 277203 SOS 210510 HAS SOPS 147570 HAS SOUS 38963 HAS SOUPS 38595 WITH SCORE 38805.51
AT ITER 5231 NEW BEST:: SOT 282553 SOS 215860 HAS SOPS 152830 HAS SOUS 38899 HAS SOUPS 38531 WITH SCORE 38746.86
AT ITER 5320 NEW BEST:: SOT 281177 SOS 214484 HAS SOPS 151454 HAS SOUS 38899 HAS SOUPS 38531 WITH SCORE 38745.484
AT ITER 5384 NEW BEST:: SOT 281177 SOS 214452 HAS SOPS 151422 HAS SOUS 38867 HAS SOUPS 38499 WITH SCORE 38713.452
AT ITER 5464 NEW BEST:: SOT 281177 SOS 214432 HAS SOPS 151402 HAS SOUS 38866 HAS SOUPS 38498 WITH SCORE 38712.432
AT ITER 5484 NEW BEST:: SOT 280804 SOS 214059 HAS SOPS 151056 HAS SOUS 38625 HAS SOUPS 38257 WITH SCORE 38471.059
AT ITER 5492 NEW BEST:: SOT 280542 SOS 213797 HAS SOPS 150794 HAS SOUS 38363 HAS SOUPS 37995 WITH SCORE 38208.797
AT ITER 5559 NEW BEST:: SOT 280542 SOS 213815 HAS SOPS 150812 HAS SOUS 38345 HAS SOUPS 37977 WITH SCORE 38190.815
AT ITER 5595 NEW BEST:: SOT 280635 SOS 213908 HAS SOPS 150905 HAS SOUS 38328 HAS SOUPS 37960 WITH SCORE 38173.908
AT ITER 5660 NEW BEST:: SOT 288210 SOS 221067 HAS SOPS 155623 HAS SOUS 37832 HAS SOUPS 37464 WITH SCORE 37685.067
AT ITER 5797 NEW BEST:: SOT 288175 SOS 221032 HAS SOPS 155588 HAS SOUS 37762 HAS SOUPS 37394 WITH SCORE 37615.032
AT ITER 5814 NEW BEST:: SOT 288152 SOS 220861 HAS SOPS 155030 HAS SOUS 37714 HAS SOUPS 37346 WITH SCORE 37566.861
AT ITER 5825 NEW BEST:: SOT 288152 SOS 220574 HAS SOPS 154743 HAS SOUS 37532 HAS SOUPS 37164 WITH SCORE 37384.574
AT ITER 5829 NEW BEST:: SOT 286854 SOS 274218 HAS SOPS 163834 HAS SOUS 36525 HAS SOUPS 36060 WITH SCORE 36334.218
AT ITER 5884 NEW BEST:: SOT 286822 SOS 274186 HAS SOPS 163802 HAS SOUS 36493 HAS SOUPS 36028 WITH SCORE 36302.186
AT ITER 5899 NEW BEST:: SOT 285766 SOS 273130 HAS SOPS 162746 HAS SOUS 36493 HAS SOUPS 36028 WITH SCORE 36301.13
AT ITER 5961 NEW BEST:: SOT 285361 SOS 272725 HAS SOPS 162449 HAS SOUS 36466 HAS SOUPS 36001 WITH SCORE 36273.725
AT ITER 5983 NEW BEST:: SOT 285112 SOS 272476 HAS SOPS 162205 HAS SOUS 36439 HAS SOUPS 35974 WITH SCORE 36246.476
AT ITER 6066 NEW BEST:: SOT 285227 SOS 272591 HAS SOPS 162320 HAS SOUS 36437 HAS SOUPS 35972 WITH SCORE 36244.591
AT ITER 6069 NEW BEST:: SOT 285190 SOS 272554 HAS SOPS 162283 HAS SOUS 36400 HAS SOUPS 35935 WITH SCORE 36207.554
AT ITER 6112 NEW BEST:: SOT 285548 SOS 272912 HAS SOPS 162641 HAS SOUS 36386 HAS SOUPS 35921 WITH SCORE 36193.912
AT ITER 6286 NEW BEST:: SOT 285566 SOS 272930 HAS SOPS 162695 HAS SOUS 36379 HAS SOUPS 35914 WITH SCORE 36186.93
AT ITER 6302 NEW BEST:: SOT 285511 SOS 272875 HAS SOPS 162640 HAS SOUS 36324 HAS SOUPS 35859 WITH SCORE 36131.875
AT ITER 6320 NEW BEST:: SOT 286035 SOS 273399 HAS SOPS 163155 HAS SOUS 36308 HAS SOUPS 35843 WITH SCORE 36116.399
AT ITER 6360 NEW BEST:: SOT 286383 SOS 273747 HAS SOPS 163503 HAS SOUS 36188 HAS SOUPS 35723 WITH SCORE 35996.747
AT ITER 6441 NEW BEST:: SOT 286269 SOS 273633 HAS SOPS 163389 HAS SOUS 36074 HAS SOUPS 35609 WITH SCORE 35882.633
AT ITER 6515 NEW BEST:: SOT 286405 SOS 273769 HAS SOPS 163525 HAS SOUS 36052 HAS SOUPS 35587 WITH SCORE 35860.769
AT ITER 6539 NEW BEST:: SOT 286327 SOS 273691 HAS SOPS 163772 HAS SOUS 36029 HAS SOUPS 35564 WITH SCORE 35837.691
AT ITER 6548 NEW BEST:: SOT 279490 SOS 266854 HAS SOPS 157090 HAS SOUS 34966 HAS SOUPS 34501 WITH SCORE 34767.854
AT ITER 6560 NEW BEST:: SOT 279470 SOS 266834 HAS SOPS 157070 HAS SOUS 34906 HAS SOUPS 34441 WITH SCORE 34707.834
AT ITER 6604 NEW BEST:: SOT 279426 SOS 266790 HAS SOPS 157026 HAS SOUS 34866 HAS SOUPS 34401 WITH SCORE 34667.79
AT ITER 6694 NEW BEST:: SOT 278594 SOS 265958 HAS SOPS 156194 HAS SOUS 34866 HAS SOUPS 34401 WITH SCORE 34666.958
AT ITER 6708 NEW BEST:: SOT 278006 SOS 265370 HAS SOPS 153988 HAS SOUS 34763 HAS SOUPS 34298 WITH SCORE 34563.37
AT ITER 6714 NEW BEST:: SOT 277996 SOS 265360 HAS SOPS 153978 HAS SOUS 34743 HAS SOUPS 34278 WITH SCORE 34543.36
AT ITER 6738 NEW BEST:: SOT 277993 SOS 265357 HAS SOPS 153978 HAS SOUS 34740 HAS SOUPS 34275 WITH SCORE 34540.357
AT ITER 6743 NEW BEST:: SOT 279096 SOS 266460 HAS SOPS 152312 HAS SOUS 34498 HAS SOUPS 34033 WITH SCORE 34299.46
AT ITER 6856 NEW BEST:: SOT 279085 SOS 266449 HAS SOPS 152290 HAS SOUS 34465 HAS SOUPS 34000 WITH SCORE 34266.449
AT ITER 6893 NEW BEST:: SOT 279150 SOS 266514 HAS SOPS 152355 HAS SOUS 34427 HAS SOUPS 33962 WITH SCORE 34228.514
AT ITER 6939 NEW BEST:: SOT 279149 SOS 266513 HAS SOPS 152353 HAS SOUS 34426 HAS SOUPS 33961 WITH SCORE 34227.513
AT ITER 6965 NEW BEST:: SOT 279136 SOS 266500 HAS SOPS 152340 HAS SOUS 34349 HAS SOUPS 33884 WITH SCORE 34150.5
AT ITER 7000 NEW BEST:: SOT 279059 SOS 266423 HAS SOPS 152331 HAS SOUS 34311 HAS SOUPS 33846 WITH SCORE 34112.423
AT ITER 7028 NEW BEST:: SOT 279059 SOS 266423 HAS SOPS 152285 HAS SOUS 34265 HAS SOUPS 33800 WITH SCORE 34066.423
AT ITER 7106 NEW BEST:: SOT 278819 SOS 266183 HAS SOPS 152195 HAS SOUS 34265 HAS SOUPS 33800 WITH SCORE 34066.183
AT ITER 7134 NEW BEST:: SOT 278846 SOS 266210 HAS SOPS 152104 HAS SOUS 34232 HAS SOUPS 33767 WITH SCORE 34033.21
AT ITER 7244 NEW BEST:: SOT 278839 SOS 266203 HAS SOPS 153634 HAS SOUS 34193 HAS SOUPS 33728 WITH SCORE 33994.203
AT ITER 7250 NEW BEST:: SOT 277890 SOS 265254 HAS SOPS 154333 HAS SOUS 34155 HAS SOUPS 33690 WITH SCORE 33955.254
AT ITER 7323 NEW BEST:: SOT 277634 SOS 264998 HAS SOPS 154077 HAS SOUS 33899 HAS SOUPS 33434 WITH SCORE 33698.998
AT ITER 7450 NEW BEST:: SOT 277607 SOS 264971 HAS SOPS 154167 HAS SOUS 33819 HAS SOUPS 33354 WITH SCORE 33618.971
AT ITER 7488 NEW BEST:: SOT 277607 SOS 264971 HAS SOPS 154152 HAS SOUS 33789 HAS SOUPS 33324 WITH SCORE 33588.971
AT ITER 7552 NEW BEST:: SOT 277132 SOS 264496 HAS SOPS 155261 HAS SOUS 33789 HAS SOUPS 33324 WITH SCORE 33588.496
AT ITER 7576 NEW BEST:: SOT 277124 SOS 264488 HAS SOPS 155261 HAS SOUS 33789 HAS SOUPS 33324 WITH SCORE 33588.488
AT ITER 7595 NEW BEST:: SOT 276972 SOS 264336 HAS SOPS 155109 HAS SOUS 33637 HAS SOUPS 33172 WITH SCORE 33436.336
AT ITER 7663 NEW BEST:: SOT 276982 SOS 232661 HAS SOPS 148551 HAS SOUS 33597 HAS SOUPS 33182 WITH SCORE 33414.661
AT ITER 7675 NEW BEST:: SOT 276636 SOS 232315 HAS SOPS 146540 HAS SOUS 33595 HAS SOUPS 33180 WITH SCORE 33412.315
AT ITER 7695 NEW BEST:: SOT 276437 SOS 232116 HAS SOPS 146341 HAS SOUS 33396 HAS SOUPS 32981 WITH SCORE 33213.116
AT ITER 7701 NEW BEST:: SOT 276489 SOS 232097 HAS SOPS 146322 HAS SOUS 33308 HAS SOUPS 32893 WITH SCORE 33125.097
AT ITER 7764 NEW BEST:: SOT 276196 SOS 231804 HAS SOPS 146029 HAS SOUS 33191 HAS SOUPS 32776 WITH SCORE 33007.804
AT ITER 7771 NEW BEST:: SOT 274977 SOS 230585 HAS SOPS 145984 HAS SOUS 33103 HAS SOUPS 32688 WITH SCORE 32918.585
AT ITER 7789 NEW BEST:: SOT 274793 SOS 230401 HAS SOPS 145800 HAS SOUS 33093 HAS SOUPS 32678 WITH SCORE 32908.401
AT ITER 7870 NEW BEST:: SOT 274801 SOS 230409 HAS SOPS 144890 HAS SOUS 33067 HAS SOUPS 32652 WITH SCORE 32882.409
AT ITER 7930 NEW BEST:: SOT 274719 SOS 230327 HAS SOPS 144908 HAS SOUS 33034 HAS SOUPS 32619 WITH SCORE 32849.327
AT ITER 7935 NEW BEST:: SOT 274709 SOS 230317 HAS SOPS 144898 HAS SOUS 33034 HAS SOUPS 32619 WITH SCORE 32849.317
AT ITER 8038 NEW BEST:: SOT 274569 SOS 230177 HAS SOPS 144758 HAS SOUS 32942 HAS SOUPS 32527 WITH SCORE 32757.177
AT ITER 8053 NEW BEST:: SOT 274392 SOS 230000 HAS SOPS 144615 HAS SOUS 32876 HAS SOUPS 32461 WITH SCORE 32691.0
AT ITER 8055 NEW BEST:: SOT 274353 SOS 229961 HAS SOPS 144602 HAS SOUS 32868 HAS SOUPS 32453 WITH SCORE 32682.961
AT ITER 8088 NEW BEST:: SOT 273566 SOS 229174 HAS SOPS 144832 HAS SOUS 32798 HAS SOUPS 32383 WITH SCORE 32612.174
AT ITER 8102 NEW BEST:: SOT 276384 SOS 230383 HAS SOPS 137391 HAS SOUS 32712 HAS SOUPS 32297 WITH SCORE 32527.383
AT ITER 8106 NEW BEST:: SOT 276383 SOS 230373 HAS SOPS 137325 HAS SOUS 32711 HAS SOUPS 32296 WITH SCORE 32526.373
AT ITER 8166 NEW BEST:: SOT 276364 SOS 230361 HAS SOPS 137461 HAS SOUS 32615 HAS SOUPS 32200 WITH SCORE 32430.361
AT ITER 8220 NEW BEST:: SOT 276364 SOS 230352 HAS SOPS 137452 HAS SOUS 32613 HAS SOUPS 32198 WITH SCORE 32428.352
AT ITER 8246 NEW BEST:: SOT 276539 SOS 230527 HAS SOPS 137627 HAS SOUS 32482 HAS SOUPS 32067 WITH SCORE 32297.527
AT ITER 8265 NEW BEST:: SOT 276573 SOS 230561 HAS SOPS 137631 HAS SOUS 32452 HAS SOUPS 32037 WITH SCORE 32267.561
AT ITER 8275 NEW BEST:: SOT 276636 SOS 230456 HAS SOPS 137526 HAS SOUS 32346 HAS SOUPS 31931 WITH SCORE 32161.456
AT ITER 8349 NEW BEST:: SOT 276636 SOS 230369 HAS SOPS 137439 HAS SOUS 32288 HAS SOUPS 31873 WITH SCORE 32103.369
AT ITER 8359 NEW BEST:: SOT 276566 SOS 230299 HAS SOPS 137384 HAS SOUS 32288 HAS SOUPS 31873 WITH SCORE 32103.299
AT ITER 8372 NEW BEST:: SOT 279061 SOS 232794 HAS SOPS 139654 HAS SOUS 32199 HAS SOUPS 31784 WITH SCORE 32016.794
AT ITER 8381 NEW BEST:: SOT 280287 SOS 232106 HAS SOPS 132004 HAS SOUS 31913 HAS SOUPS 31498 WITH SCORE 31730.106
AT ITER 8441 NEW BEST:: SOT 280235 SOS 232018 HAS SOPS 131812 HAS SOUS 31899 HAS SOUPS 31484 WITH SCORE 31716.018
AT ITER 8463 NEW BEST:: SOT 280165 SOS 231948 HAS SOPS 131752 HAS SOUS 31839 HAS SOUPS 31424 WITH SCORE 31655.948
AT ITER 8569 NEW BEST:: SOT 280159 SOS 231942 HAS SOPS 131746 HAS SOUS 31833 HAS SOUPS 31418 WITH SCORE 31649.942
AT ITER 8678 NEW BEST:: SOT 280242 SOS 232025 HAS SOPS 131829 HAS SOUS 31658 HAS SOUPS 31243 WITH SCORE 31475.025
AT ITER 8773 NEW BEST:: SOT 280242 SOS 232025 HAS SOPS 131829 HAS SOUS 31607 HAS SOUPS 31192 WITH SCORE 31424.025
AT ITER 8779 NEW BEST:: SOT 280156 SOS 231955 HAS SOPS 131825 HAS SOUS 31551 HAS SOUPS 31136 WITH SCORE 31367.955
AT ITER 8838 NEW BEST:: SOT 279873 SOS 231756 HAS SOPS 131658 HAS SOUS 31530 HAS SOUPS 31115 WITH SCORE 31346.756
AT ITER 8859 NEW BEST:: SOT 279873 SOS 231756 HAS SOPS 131658 HAS SOUS 31477 HAS SOUPS 31062 WITH SCORE 31293.756
AT ITER 8927 NEW BEST:: SOT 279944 SOS 231820 HAS SOPS 131722 HAS SOUS 31468 HAS SOUPS 31053 WITH SCORE 31284.82
AT ITER 9016 NEW BEST:: SOT 279926 SOS 231802 HAS SOPS 131704 HAS SOUS 31468 HAS SOUPS 31053 WITH SCORE 31284.802
AT ITER 9026 NEW BEST:: SOT 279826 SOS 231807 HAS SOPS 131769 HAS SOUS 31465 HAS SOUPS 31050 WITH SCORE 31281.807
AT ITER 9088 NEW BEST:: SOT 279826 SOS 231807 HAS SOPS 131694 HAS SOUS 31411 HAS SOUPS 30996 WITH SCORE 31227.807
AT ITER 9108 NEW BEST:: SOT 279912 SOS 231893 HAS SOPS 131730 HAS SOUS 31394 HAS SOUPS 30979 WITH SCORE 31210.893
AT ITER 9162 NEW BEST:: SOT 280150 SOS 232101 HAS SOPS 131938 HAS SOUS 31369 HAS SOUPS 30954 WITH SCORE 31186.101
AT ITER 9275 NEW BEST:: SOT 280143 SOS 232094 HAS SOPS 131931 HAS SOUS 31348 HAS SOUPS 30933 WITH SCORE 31165.094
AT ITER 9393 NEW BEST:: SOT 280111 SOS 232062 HAS SOPS 131899 HAS SOUS 31316 HAS SOUPS 30901 WITH SCORE 31133.062
AT ITER 9394 NEW BEST:: SOT 279702 SOS 231653 HAS SOPS 132560 HAS SOUS 31316 HAS SOUPS 30901 WITH SCORE 31132.653
AT ITER 9509 NEW BEST:: SOT 279713 SOS 231664 HAS SOPS 132543 HAS SOUS 31285 HAS SOUPS 30870 WITH SCORE 31101.664
AT ITER 9650 NEW BEST:: SOT 279698 SOS 231649 HAS SOPS 132487 HAS SOUS 31268 HAS SOUPS 30853 WITH SCORE 31084.649
AT ITER 9681 NEW BEST:: SOT 279768 SOS 231511 HAS SOPS 132263 HAS SOUS 31062 HAS SOUPS 30647 WITH SCORE 30878.511
AT ITER 9699 NEW BEST:: SOT 279979 SOS 231722 HAS SOPS 132314 HAS SOUS 31060 HAS SOUPS 30645 WITH SCORE 30876.722
AT ITER 9858 NEW BEST:: SOT 279982 SOS 231725 HAS SOPS 132282 HAS SOUS 30842 HAS SOUPS 30427 WITH SCORE 30658.725
AT ITER 9903 NEW BEST:: SOT 280040 SOS 231783 HAS SOPS 132340 HAS SOUS 30813 HAS SOUPS 30398 WITH SCORE 30629.783
AT ITER 9923 NEW BEST:: SOT 280040 SOS 231783 HAS SOPS 132340 HAS SOUS 30796 HAS SOUPS 30381 WITH SCORE 30612.783
STATE_SPACE STATES 3262 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5922 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679092269901

--------------------
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="SieveSingleMsgMbox-PT-d1m04"
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 SieveSingleMsgMbox-PT-d1m04, 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 r419-tajo-167905973700408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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