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.r195-smll-167840342400416.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 HexagonalGrid-PT-516, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342400416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 8.8K Feb 26 17:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 17:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 17:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 17:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 17:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 17:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 97K Feb 26 17:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:14 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
-rwxr-xr-x 1 mcc users 933K 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 1678515322818

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=HexagonalGrid-PT-516
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 516
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: 1267 places, 2250 transitions, 9000 arcs.
AT ITER 0 NEW BEST:: SOT 1560322 SOS 252456 HAS SOPS 252456 HAS SOUS 124398 HAS SOUPS 124398 WITH SCORE 124650.456
AT ITER 21 NEW BEST:: SOT 1560322 SOS 252341 HAS SOPS 252341 HAS SOUS 124375 HAS SOUPS 124375 WITH SCORE 124627.341
AT ITER 28 NEW BEST:: SOT 1560322 SOS 252341 HAS SOPS 252341 HAS SOUS 124343 HAS SOUPS 124343 WITH SCORE 124595.341
AT ITER 39 NEW BEST:: SOT 1560122 SOS 251901 HAS SOPS 251901 HAS SOUS 124063 HAS SOUPS 124063 WITH SCORE 124314.901
AT ITER 51 NEW BEST:: SOT 1559872 SOS 251601 HAS SOPS 251601 HAS SOUS 123747 HAS SOUPS 123747 WITH SCORE 123998.601
AT ITER 60 NEW BEST:: SOT 1559602 SOS 251029 HAS SOPS 251029 HAS SOUS 123391 HAS SOUPS 123391 WITH SCORE 123642.029
AT ITER 73 NEW BEST:: SOT 1559602 SOS 250914 HAS SOPS 250914 HAS SOUS 123368 HAS SOUPS 123368 WITH SCORE 123618.914
AT ITER 80 NEW BEST:: SOT 1559327 SOS 250584 HAS SOPS 250584 HAS SOUS 123010 HAS SOUPS 123010 WITH SCORE 123260.584
AT ITER 163 NEW BEST:: SOT 1559172 SOS 250243 HAS SOPS 250243 HAS SOUS 122793 HAS SOUPS 122793 WITH SCORE 123043.243
AT ITER 191 NEW BEST:: SOT 1558997 SOS 249858 HAS SOPS 249858 HAS SOUS 122548 HAS SOUPS 122548 WITH SCORE 122797.858
AT ITER 285 NEW BEST:: SOT 1558997 SOS 249839 HAS SOPS 249839 HAS SOUS 122529 HAS SOUPS 122529 WITH SCORE 122778.839
AT ITER 313 NEW BEST:: SOT 1558902 SOS 249649 HAS SOPS 249649 HAS SOUS 122415 HAS SOUPS 122415 WITH SCORE 122664.649
AT ITER 325 NEW BEST:: SOT 1558896 SOS 249382 HAS SOPS 249382 HAS SOUS 122372 HAS SOUPS 122372 WITH SCORE 122621.382
AT ITER 328 NEW BEST:: SOT 1558896 SOS 249196 HAS SOPS 249196 HAS SOUS 122310 HAS SOUPS 122310 WITH SCORE 122559.196
AT ITER 342 NEW BEST:: SOT 1558896 SOS 249058 HAS SOPS 249058 HAS SOUS 122264 HAS SOUPS 122264 WITH SCORE 122513.058
AT ITER 361 NEW BEST:: SOT 1558893 SOS 249055 HAS SOPS 249055 HAS SOUS 122264 HAS SOUPS 122264 WITH SCORE 122513.055
AT ITER 372 NEW BEST:: SOT 1558893 SOS 248875 HAS SOPS 248875 HAS SOUS 122204 HAS SOUPS 122204 WITH SCORE 122452.875
AT ITER 392 NEW BEST:: SOT 1558783 SOS 248765 HAS SOPS 248765 HAS SOUS 122094 HAS SOUPS 122094 WITH SCORE 122342.765
AT ITER 427 NEW BEST:: SOT 1558783 SOS 248602 HAS SOPS 248602 HAS SOUS 122079 HAS SOUPS 122079 WITH SCORE 122327.602
AT ITER 449 NEW BEST:: SOT 1558783 SOS 248476 HAS SOPS 248476 HAS SOUS 122037 HAS SOUPS 122037 WITH SCORE 122285.476
AT ITER 450 NEW BEST:: SOT 1558740 SOS 248218 HAS SOPS 248218 HAS SOUS 121951 HAS SOUPS 121951 WITH SCORE 122199.218
AT ITER 467 NEW BEST:: SOT 1558785 SOS 248377 HAS SOPS 248377 HAS SOUS 121822 HAS SOUPS 121822 WITH SCORE 122070.377
AT ITER 478 NEW BEST:: SOT 1558764 SOS 248197 HAS SOPS 248197 HAS SOUS 121790 HAS SOUPS 121790 WITH SCORE 122038.197
AT ITER 490 NEW BEST:: SOT 1558512 SOS 247693 HAS SOPS 247693 HAS SOUS 121574 HAS SOUPS 121574 WITH SCORE 121821.693
AT ITER 496 NEW BEST:: SOT 1558473 SOS 247420 HAS SOPS 247420 HAS SOUS 121457 HAS SOUPS 121457 WITH SCORE 121704.42
AT ITER 504 NEW BEST:: SOT 1558473 SOS 247401 HAS SOPS 247401 HAS SOUS 121438 HAS SOUPS 121438 WITH SCORE 121685.401
AT ITER 513 NEW BEST:: SOT 1558473 SOS 247161 HAS SOPS 247161 HAS SOUS 121390 HAS SOUPS 121390 WITH SCORE 121637.161
AT ITER 517 NEW BEST:: SOT 1558473 SOS 247107 HAS SOPS 247107 HAS SOUS 121372 HAS SOUPS 121372 WITH SCORE 121619.107
AT ITER 531 NEW BEST:: SOT 1558435 SOS 247031 HAS SOPS 247031 HAS SOUS 121296 HAS SOUPS 121296 WITH SCORE 121543.031
AT ITER 541 NEW BEST:: SOT 1558387 SOS 246983 HAS SOPS 246983 HAS SOUS 121164 HAS SOUPS 121164 WITH SCORE 121410.983
AT ITER 590 NEW BEST:: SOT 1558366 SOS 246977 HAS SOPS 246977 HAS SOUS 121158 HAS SOUPS 121158 WITH SCORE 121404.977
AT ITER 592 NEW BEST:: SOT 1558366 SOS 246977 HAS SOPS 246977 HAS SOUS 121104 HAS SOUPS 121104 WITH SCORE 121350.977
AT ITER 674 NEW BEST:: SOT 1558385 SOS 247015 HAS SOPS 247015 HAS SOUS 121066 HAS SOUPS 121066 WITH SCORE 121313.015
AT ITER 696 NEW BEST:: SOT 1558381 SOS 247014 HAS SOPS 247014 HAS SOUS 121065 HAS SOUPS 121065 WITH SCORE 121312.014
AT ITER 731 NEW BEST:: SOT 1558505 SOS 247262 HAS SOPS 247262 HAS SOUS 120961 HAS SOUPS 120961 WITH SCORE 121208.262
AT ITER 760 NEW BEST:: SOT 1558484 SOS 247082 HAS SOPS 247082 HAS SOUS 120929 HAS SOUPS 120929 WITH SCORE 121176.082
AT ITER 768 NEW BEST:: SOT 1558463 SOS 246914 HAS SOPS 246914 HAS SOUS 120909 HAS SOUPS 120909 WITH SCORE 121155.914
AT ITER 788 NEW BEST:: SOT 1558278 SOS 246692 HAS SOPS 246692 HAS SOUS 120687 HAS SOUPS 120687 WITH SCORE 120933.692
AT ITER 828 NEW BEST:: SOT 1558278 SOS 246692 HAS SOPS 246692 HAS SOUS 120651 HAS SOUPS 120651 WITH SCORE 120897.692
AT ITER 896 NEW BEST:: SOT 1558222 SOS 246335 HAS SOPS 246335 HAS SOUS 120490 HAS SOUPS 120490 WITH SCORE 120736.335
AT ITER 1002 NEW BEST:: SOT 1558213 SOS 246281 HAS SOPS 246281 HAS SOUS 120472 HAS SOUPS 120472 WITH SCORE 120718.281
AT ITER 1054 NEW BEST:: SOT 1558213 SOS 246281 HAS SOPS 246281 HAS SOUS 120448 HAS SOUPS 120448 WITH SCORE 120694.281
AT ITER 1063 NEW BEST:: SOT 1558213 SOS 246017 HAS SOPS 246017 HAS SOUS 120360 HAS SOUPS 120360 WITH SCORE 120606.017
AT ITER 1067 NEW BEST:: SOT 1558203 SOS 246007 HAS SOPS 246007 HAS SOUS 120350 HAS SOUPS 120350 WITH SCORE 120596.007
AT ITER 1072 NEW BEST:: SOT 1558169 SOS 245978 HAS SOPS 245978 HAS SOUS 120341 HAS SOUPS 120341 WITH SCORE 120586.978
AT ITER 1105 NEW BEST:: SOT 1557954 SOS 245720 HAS SOPS 245720 HAS SOUS 119947 HAS SOUPS 119947 WITH SCORE 120192.72
AT ITER 1131 NEW BEST:: SOT 1557913 SOS 245474 HAS SOPS 245474 HAS SOUS 119865 HAS SOUPS 119865 WITH SCORE 120110.474
AT ITER 1132 NEW BEST:: SOT 1557913 SOS 245474 HAS SOPS 245474 HAS SOUS 119853 HAS SOUPS 119853 WITH SCORE 120098.474
AT ITER 1184 NEW BEST:: SOT 1557905 SOS 245466 HAS SOPS 245466 HAS SOUS 119845 HAS SOUPS 119845 WITH SCORE 120090.466
AT ITER 1231 NEW BEST:: SOT 1557905 SOS 245450 HAS SOPS 245450 HAS SOUS 119829 HAS SOUPS 119829 WITH SCORE 120074.45
AT ITER 1260 NEW BEST:: SOT 1557640 SOS 245132 HAS SOPS 245132 HAS SOUS 119511 HAS SOUPS 119511 WITH SCORE 119756.132
AT ITER 1331 NEW BEST:: SOT 1557640 SOS 245132 HAS SOPS 245132 HAS SOUS 119479 HAS SOUPS 119479 WITH SCORE 119724.132
AT ITER 1346 NEW BEST:: SOT 1557618 SOS 244988 HAS SOPS 244988 HAS SOUS 119415 HAS SOUPS 119415 WITH SCORE 119659.988
AT ITER 1351 NEW BEST:: SOT 1557597 SOS 244967 HAS SOPS 244967 HAS SOUS 119389 HAS SOUPS 119389 WITH SCORE 119633.967
AT ITER 1364 NEW BEST:: SOT 1557522 SOS 244802 HAS SOPS 244802 HAS SOUS 119284 HAS SOUPS 119284 WITH SCORE 119528.802
AT ITER 1399 NEW BEST:: SOT 1557616 SOS 244933 HAS SOPS 244933 HAS SOUS 119244 HAS SOUPS 119244 WITH SCORE 119488.933
AT ITER 1416 NEW BEST:: SOT 1557616 SOS 244927 HAS SOPS 244927 HAS SOUS 119238 HAS SOUPS 119238 WITH SCORE 119482.927
AT ITER 1454 NEW BEST:: SOT 1557616 SOS 244927 HAS SOPS 244927 HAS SOUS 119219 HAS SOUPS 119219 WITH SCORE 119463.927
AT ITER 1473 NEW BEST:: SOT 1557451 SOS 244729 HAS SOPS 244729 HAS SOUS 119021 HAS SOUPS 119021 WITH SCORE 119265.729
AT ITER 1477 NEW BEST:: SOT 1557566 SOS 245175 HAS SOPS 245175 HAS SOUS 118983 HAS SOUPS 118983 WITH SCORE 119228.175
AT ITER 1496 NEW BEST:: SOT 1557446 SOS 245055 HAS SOPS 245055 HAS SOUS 118863 HAS SOUPS 118863 WITH SCORE 119108.055
AT ITER 1498 NEW BEST:: SOT 1557454 SOS 244841 HAS SOPS 244841 HAS SOUS 118833 HAS SOUPS 118833 WITH SCORE 119077.841
AT ITER 1570 NEW BEST:: SOT 1557454 SOS 244637 HAS SOPS 244637 HAS SOUS 118765 HAS SOUPS 118765 WITH SCORE 119009.637
AT ITER 1580 NEW BEST:: SOT 1557454 SOS 244637 HAS SOPS 244637 HAS SOUS 118733 HAS SOUPS 118733 WITH SCORE 118977.637
AT ITER 1613 NEW BEST:: SOT 1557454 SOS 244559 HAS SOPS 244559 HAS SOUS 118707 HAS SOUPS 118707 WITH SCORE 118951.559
AT ITER 1702 NEW BEST:: SOT 1557456 SOS 244303 HAS SOPS 244303 HAS SOUS 118659 HAS SOUPS 118659 WITH SCORE 118903.303
AT ITER 1717 NEW BEST:: SOT 1557439 SOS 244286 HAS SOPS 244286 HAS SOUS 118642 HAS SOUPS 118642 WITH SCORE 118886.286
AT ITER 1729 NEW BEST:: SOT 1557439 SOS 244286 HAS SOPS 244286 HAS SOUS 118617 HAS SOUPS 118617 WITH SCORE 118861.286
AT ITER 1770 NEW BEST:: SOT 1557439 SOS 244286 HAS SOPS 244286 HAS SOUS 118602 HAS SOUPS 118602 WITH SCORE 118846.286
AT ITER 1789 NEW BEST:: SOT 1557424 SOS 244256 HAS SOPS 244256 HAS SOUS 118584 HAS SOUPS 118584 WITH SCORE 118828.256
AT ITER 1891 NEW BEST:: SOT 1557424 SOS 244256 HAS SOPS 244256 HAS SOUS 118572 HAS SOUPS 118572 WITH SCORE 118816.256
AT ITER 1913 NEW BEST:: SOT 1557424 SOS 244256 HAS SOPS 244256 HAS SOUS 118536 HAS SOUPS 118536 WITH SCORE 118780.256
AT ITER 2015 NEW BEST:: SOT 1557309 SOS 243958 HAS SOPS 243958 HAS SOUS 118426 HAS SOUPS 118426 WITH SCORE 118669.958
AT ITER 2075 NEW BEST:: SOT 1557279 SOS 243898 HAS SOPS 243898 HAS SOUS 118390 HAS SOUPS 118390 WITH SCORE 118633.898
AT ITER 2085 NEW BEST:: SOT 1557279 SOS 243726 HAS SOPS 243726 HAS SOUS 118366 HAS SOUPS 118366 WITH SCORE 118609.726
AT ITER 2224 NEW BEST:: SOT 1557134 SOS 243407 HAS SOPS 243407 HAS SOUS 118163 HAS SOUPS 118163 WITH SCORE 118406.407
AT ITER 2243 NEW BEST:: SOT 1557134 SOS 243497 HAS SOPS 243497 HAS SOUS 118149 HAS SOUPS 118149 WITH SCORE 118392.497
AT ITER 2248 NEW BEST:: SOT 1557134 SOS 243497 HAS SOPS 243497 HAS SOUS 118083 HAS SOUPS 118083 WITH SCORE 118326.497
AT ITER 2256 NEW BEST:: SOT 1557110 SOS 243443 HAS SOPS 243443 HAS SOUS 118049 HAS SOUPS 118049 WITH SCORE 118292.443
AT ITER 2274 NEW BEST:: SOT 1557066 SOS 243402 HAS SOPS 243402 HAS SOUS 118008 HAS SOUPS 118008 WITH SCORE 118251.402
AT ITER 2276 NEW BEST:: SOT 1557048 SOS 243234 HAS SOPS 243234 HAS SOUS 117988 HAS SOUPS 117988 WITH SCORE 118231.234
AT ITER 2336 NEW BEST:: SOT 1557027 SOS 243213 HAS SOPS 243213 HAS SOUS 117967 HAS SOUPS 117967 WITH SCORE 118210.213
AT ITER 2371 NEW BEST:: SOT 1557015 SOS 243189 HAS SOPS 243189 HAS SOUS 117943 HAS SOUPS 117943 WITH SCORE 118186.189
AT ITER 2447 NEW BEST:: SOT 1556967 SOS 243141 HAS SOPS 243141 HAS SOUS 117895 HAS SOUPS 117895 WITH SCORE 118138.141
AT ITER 2452 NEW BEST:: SOT 1556929 SOS 242875 HAS SOPS 242875 HAS SOUS 117781 HAS SOUPS 117781 WITH SCORE 118023.875
AT ITER 2489 NEW BEST:: SOT 1556902 SOS 242686 HAS SOPS 242686 HAS SOUS 117700 HAS SOUPS 117700 WITH SCORE 117942.686
AT ITER 2532 NEW BEST:: SOT 1556902 SOS 242584 HAS SOPS 242584 HAS SOUS 117666 HAS SOUPS 117666 WITH SCORE 117908.584
AT ITER 2587 NEW BEST:: SOT 1556902 SOS 242584 HAS SOPS 242584 HAS SOUS 117486 HAS SOUPS 117486 WITH SCORE 117728.584
AT ITER 2606 NEW BEST:: SOT 1556902 SOS 242584 HAS SOPS 242584 HAS SOUS 117477 HAS SOUPS 117477 WITH SCORE 117719.584
AT ITER 2652 NEW BEST:: SOT 1556902 SOS 242629 HAS SOPS 242629 HAS SOUS 117450 HAS SOUPS 117450 WITH SCORE 117692.629
AT ITER 2762 NEW BEST:: SOT 1556687 SOS 242131 HAS SOPS 242131 HAS SOUS 117164 HAS SOUPS 117164 WITH SCORE 117406.131
AT ITER 2810 NEW BEST:: SOT 1556687 SOS 242124 HAS SOPS 242124 HAS SOUS 117157 HAS SOUPS 117157 WITH SCORE 117399.124
AT ITER 2818 NEW BEST:: SOT 1556687 SOS 241954 HAS SOPS 241954 HAS SOUS 117123 HAS SOUPS 117123 WITH SCORE 117364.954
AT ITER 2831 NEW BEST:: SOT 1556633 SOS 241601 HAS SOPS 241601 HAS SOUS 116966 HAS SOUPS 116966 WITH SCORE 117207.601
AT ITER 2868 NEW BEST:: SOT 1556658 SOS 241631 HAS SOPS 241631 HAS SOUS 116920 HAS SOUPS 116920 WITH SCORE 117161.631
AT ITER 2871 NEW BEST:: SOT 1556663 SOS 241912 HAS SOPS 241912 HAS SOUS 116805 HAS SOUPS 116805 WITH SCORE 117046.912
AT ITER 2929 NEW BEST:: SOT 1556593 SOS 241818 HAS SOPS 241818 HAS SOUS 116727 HAS SOUPS 116727 WITH SCORE 116968.818
AT ITER 2958 NEW BEST:: SOT 1556383 SOS 241398 HAS SOPS 241398 HAS SOUS 116475 HAS SOUPS 116475 WITH SCORE 116716.398
AT ITER 2964 NEW BEST:: SOT 1556303 SOS 241057 HAS SOPS 241057 HAS SOUS 116330 HAS SOUPS 116330 WITH SCORE 116571.057
AT ITER 2988 NEW BEST:: SOT 1556318 SOS 241360 HAS SOPS 241360 HAS SOUS 116209 HAS SOUPS 116209 WITH SCORE 116450.36
AT ITER 3101 NEW BEST:: SOT 1556269 SOS 241066 HAS SOPS 241066 HAS SOUS 116111 HAS SOUPS 116111 WITH SCORE 116352.066
AT ITER 3119 NEW BEST:: SOT 1556269 SOS 241066 HAS SOPS 241066 HAS SOUS 116090 HAS SOUPS 116090 WITH SCORE 116331.066
AT ITER 3135 NEW BEST:: SOT 1556119 SOS 240856 HAS SOPS 240856 HAS SOUS 115920 HAS SOUPS 115920 WITH SCORE 116160.856
AT ITER 3151 NEW BEST:: SOT 1556119 SOS 240856 HAS SOPS 240856 HAS SOUS 115853 HAS SOUPS 115853 WITH SCORE 116093.856
AT ITER 3165 NEW BEST:: SOT 1556108 SOS 240790 HAS SOPS 240790 HAS SOUS 115831 HAS SOUPS 115831 WITH SCORE 116071.79
AT ITER 3195 NEW BEST:: SOT 1556048 SOS 240542 HAS SOPS 240542 HAS SOUS 115731 HAS SOUPS 115731 WITH SCORE 115971.542
AT ITER 3200 NEW BEST:: SOT 1556015 SOS 240344 HAS SOPS 240344 HAS SOUS 115665 HAS SOUPS 115665 WITH SCORE 115905.344
AT ITER 3253 NEW BEST:: SOT 1556106 SOS 240478 HAS SOPS 240478 HAS SOUS 115603 HAS SOUPS 115603 WITH SCORE 115843.478
AT ITER 3287 NEW BEST:: SOT 1556081 SOS 240328 HAS SOPS 240328 HAS SOUS 115553 HAS SOUPS 115553 WITH SCORE 115793.328
AT ITER 3288 NEW BEST:: SOT 1556081 SOS 240328 HAS SOPS 240328 HAS SOUS 115531 HAS SOUPS 115531 WITH SCORE 115771.328
AT ITER 3300 NEW BEST:: SOT 1556037 SOS 240064 HAS SOPS 240064 HAS SOUS 115443 HAS SOUPS 115443 WITH SCORE 115683.064
AT ITER 3338 NEW BEST:: SOT 1555795 SOS 239844 HAS SOPS 239844 HAS SOUS 115420 HAS SOUPS 115420 WITH SCORE 115659.844
AT ITER 3414 NEW BEST:: SOT 1555504 SOS 239478 HAS SOPS 239478 HAS SOUS 115114 HAS SOUPS 115114 WITH SCORE 115353.478
AT ITER 3426 NEW BEST:: SOT 1555451 SOS 239160 HAS SOPS 239160 HAS SOUS 115008 HAS SOUPS 115008 WITH SCORE 115247.16
AT ITER 3628 NEW BEST:: SOT 1555439 SOS 239136 HAS SOPS 239136 HAS SOUS 114984 HAS SOUPS 114984 WITH SCORE 115223.136
AT ITER 3630 NEW BEST:: SOT 1555439 SOS 238936 HAS SOPS 238936 HAS SOUS 114944 HAS SOUPS 114944 WITH SCORE 115182.936
AT ITER 3662 NEW BEST:: SOT 1555407 SOS 238856 HAS SOPS 238856 HAS SOUS 114944 HAS SOUPS 114944 WITH SCORE 115182.856
AT ITER 3665 NEW BEST:: SOT 1555385 SOS 238717 HAS SOPS 238717 HAS SOUS 114881 HAS SOUPS 114881 WITH SCORE 115119.717
AT ITER 3749 NEW BEST:: SOT 1555185 SOS 238385 HAS SOPS 238385 HAS SOUS 114665 HAS SOUPS 114665 WITH SCORE 114903.385
AT ITER 3752 NEW BEST:: SOT 1555150 SOS 238343 HAS SOPS 238343 HAS SOUS 114623 HAS SOUPS 114623 WITH SCORE 114861.343
AT ITER 3858 NEW BEST:: SOT 1555045 SOS 238112 HAS SOPS 238112 HAS SOUS 114476 HAS SOUPS 114476 WITH SCORE 114714.112
AT ITER 3867 NEW BEST:: SOT 1555009 SOS 237918 HAS SOPS 237918 HAS SOUS 114468 HAS SOUPS 114468 WITH SCORE 114705.918
AT ITER 3891 NEW BEST:: SOT 1555009 SOS 237765 HAS SOPS 237765 HAS SOUS 114439 HAS SOUPS 114439 WITH SCORE 114676.765
AT ITER 3906 NEW BEST:: SOT 1555009 SOS 237765 HAS SOPS 237765 HAS SOUS 114431 HAS SOUPS 114431 WITH SCORE 114668.765
AT ITER 3931 NEW BEST:: SOT 1554986 SOS 237604 HAS SOPS 237604 HAS SOUS 114362 HAS SOUPS 114362 WITH SCORE 114599.604
AT ITER 3943 NEW BEST:: SOT 1554771 SOS 237131 HAS SOPS 237131 HAS SOUS 114061 HAS SOUPS 114061 WITH SCORE 114298.131
AT ITER 3961 NEW BEST:: SOT 1554771 SOS 237131 HAS SOPS 237131 HAS SOUS 114025 HAS SOUPS 114025 WITH SCORE 114262.131
AT ITER 3978 NEW BEST:: SOT 1554601 SOS 236692 HAS SOPS 236692 HAS SOUS 113810 HAS SOUPS 113810 WITH SCORE 114046.692
AT ITER 4017 NEW BEST:: SOT 1554601 SOS 236669 HAS SOPS 236669 HAS SOUS 113787 HAS SOUPS 113787 WITH SCORE 114023.669
AT ITER 4101 NEW BEST:: SOT 1554601 SOS 236657 HAS SOPS 236657 HAS SOUS 113783 HAS SOUPS 113783 WITH SCORE 114019.657
AT ITER 4112 NEW BEST:: SOT 1554601 SOS 236657 HAS SOPS 236657 HAS SOUS 113756 HAS SOUPS 113756 WITH SCORE 113992.657
AT ITER 4136 NEW BEST:: SOT 1554601 SOS 236462 HAS SOPS 236462 HAS SOUS 113717 HAS SOUPS 113717 WITH SCORE 113953.462
AT ITER 4148 NEW BEST:: SOT 1554601 SOS 236674 HAS SOPS 236674 HAS SOUS 113525 HAS SOUPS 113525 WITH SCORE 113761.674
AT ITER 4154 NEW BEST:: SOT 1554601 SOS 236662 HAS SOPS 236662 HAS SOUS 113521 HAS SOUPS 113521 WITH SCORE 113757.662
AT ITER 4193 NEW BEST:: SOT 1554597 SOS 236659 HAS SOPS 236659 HAS SOUS 113518 HAS SOUPS 113518 WITH SCORE 113754.659
AT ITER 4211 NEW BEST:: SOT 1554588 SOS 236650 HAS SOPS 236650 HAS SOUS 113482 HAS SOUPS 113482 WITH SCORE 113718.65
AT ITER 4318 NEW BEST:: SOT 1554584 SOS 236377 HAS SOPS 236377 HAS SOUS 113425 HAS SOUPS 113425 WITH SCORE 113661.377
AT ITER 4358 NEW BEST:: SOT 1554588 SOS 236235 HAS SOPS 236235 HAS SOUS 113403 HAS SOUPS 113403 WITH SCORE 113639.235
AT ITER 4362 NEW BEST:: SOT 1554588 SOS 236224 HAS SOPS 236224 HAS SOUS 113392 HAS SOUPS 113392 WITH SCORE 113628.224
AT ITER 4413 NEW BEST:: SOT 1554588 SOS 236239 HAS SOPS 236239 HAS SOUS 113383 HAS SOUPS 113383 WITH SCORE 113619.239
AT ITER 4565 NEW BEST:: SOT 1554588 SOS 235927 HAS SOPS 235927 HAS SOUS 113279 HAS SOUPS 113279 WITH SCORE 113514.927
AT ITER 4586 NEW BEST:: SOT 1554570 SOS 235909 HAS SOPS 235909 HAS SOUS 113261 HAS SOUPS 113261 WITH SCORE 113496.909
AT ITER 4611 NEW BEST:: SOT 1554570 SOS 235897 HAS SOPS 235897 HAS SOUS 113249 HAS SOUPS 113249 WITH SCORE 113484.897
AT ITER 4696 NEW BEST:: SOT 1554498 SOS 235825 HAS SOPS 235825 HAS SOUS 113177 HAS SOUPS 113177 WITH SCORE 113412.825
AT ITER 4712 NEW BEST:: SOT 1554383 SOS 235583 HAS SOPS 235583 HAS SOUS 113027 HAS SOUPS 113027 WITH SCORE 113262.583
AT ITER 4768 NEW BEST:: SOT 1554383 SOS 235415 HAS SOPS 235415 HAS SOUS 112971 HAS SOUPS 112971 WITH SCORE 113206.415
AT ITER 4801 NEW BEST:: SOT 1554383 SOS 235406 HAS SOPS 235406 HAS SOUS 112962 HAS SOUPS 112962 WITH SCORE 113197.406
AT ITER 4806 NEW BEST:: SOT 1554350 SOS 235175 HAS SOPS 235175 HAS SOUS 112863 HAS SOUPS 112863 WITH SCORE 113098.175
AT ITER 4837 NEW BEST:: SOT 1554345 SOS 235145 HAS SOPS 235145 HAS SOUS 112853 HAS SOUPS 112853 WITH SCORE 113088.145
AT ITER 4850 NEW BEST:: SOT 1554097 SOS 234657 HAS SOPS 234657 HAS SOUS 112581 HAS SOUPS 112581 WITH SCORE 112815.657
AT ITER 4904 NEW BEST:: SOT 1554092 SOS 234703 HAS SOPS 234703 HAS SOUS 112495 HAS SOUPS 112495 WITH SCORE 112729.703
AT ITER 4915 NEW BEST:: SOT 1554047 SOS 234433 HAS SOPS 234433 HAS SOUS 112405 HAS SOUPS 112405 WITH SCORE 112639.433
AT ITER 4971 NEW BEST:: SOT 1553899 SOS 234285 HAS SOPS 234285 HAS SOUS 112257 HAS SOUPS 112257 WITH SCORE 112491.285
AT ITER 5050 NEW BEST:: SOT 1553819 SOS 234189 HAS SOPS 234189 HAS SOUS 112149 HAS SOUPS 112149 WITH SCORE 112383.189
AT ITER 5086 NEW BEST:: SOT 1553819 SOS 234182 HAS SOPS 234182 HAS SOUS 112142 HAS SOUPS 112142 WITH SCORE 112376.182
AT ITER 5113 NEW BEST:: SOT 1553783 SOS 233978 HAS SOPS 233978 HAS SOUS 112136 HAS SOUPS 112136 WITH SCORE 112369.978
AT ITER 5123 NEW BEST:: SOT 1553623 SOS 233786 HAS SOPS 233786 HAS SOUS 111932 HAS SOUPS 111932 WITH SCORE 112165.786
AT ITER 5131 NEW BEST:: SOT 1553623 SOS 233786 HAS SOPS 233786 HAS SOUS 111900 HAS SOUPS 111900 WITH SCORE 112133.786
AT ITER 5178 NEW BEST:: SOT 1553616 SOS 233779 HAS SOPS 233779 HAS SOUS 111893 HAS SOUPS 111893 WITH SCORE 112126.779
AT ITER 5179 NEW BEST:: SOT 1553616 SOS 233748 HAS SOPS 233748 HAS SOUS 111862 HAS SOUPS 111862 WITH SCORE 112095.748
AT ITER 5189 NEW BEST:: SOT 1553604 SOS 233730 HAS SOPS 233730 HAS SOUS 111850 HAS SOUPS 111850 WITH SCORE 112083.73
AT ITER 5236 NEW BEST:: SOT 1553479 SOS 233326 HAS SOPS 233326 HAS SOUS 111670 HAS SOUPS 111670 WITH SCORE 111903.326
AT ITER 5242 NEW BEST:: SOT 1553483 SOS 233332 HAS SOPS 233332 HAS SOUS 111646 HAS SOUPS 111646 WITH SCORE 111879.332
AT ITER 5333 NEW BEST:: SOT 1553463 SOS 233158 HAS SOPS 233158 HAS SOUS 111620 HAS SOUPS 111620 WITH SCORE 111853.158
AT ITER 5340 NEW BEST:: SOT 1553463 SOS 232894 HAS SOPS 232894 HAS SOUS 111532 HAS SOUPS 111532 WITH SCORE 111764.894
AT ITER 5352 NEW BEST:: SOT 1553463 SOS 232894 HAS SOPS 232894 HAS SOUS 111505 HAS SOUPS 111505 WITH SCORE 111737.894
AT ITER 5354 NEW BEST:: SOT 1553463 SOS 232871 HAS SOPS 232871 HAS SOUS 111482 HAS SOUPS 111482 WITH SCORE 111714.871
AT ITER 5447 NEW BEST:: SOT 1553463 SOS 232751 HAS SOPS 232751 HAS SOUS 111442 HAS SOUPS 111442 WITH SCORE 111674.751
AT ITER 5505 NEW BEST:: SOT 1553463 SOS 232751 HAS SOPS 232751 HAS SOUS 111434 HAS SOUPS 111434 WITH SCORE 111666.751
AT ITER 5523 NEW BEST:: SOT 1553458 SOS 232745 HAS SOPS 232745 HAS SOUS 111424 HAS SOUPS 111424 WITH SCORE 111656.745
AT ITER 5560 NEW BEST:: SOT 1553458 SOS 232744 HAS SOPS 232744 HAS SOUS 111423 HAS SOUPS 111423 WITH SCORE 111655.744
AT ITER 5761 NEW BEST:: SOT 1553458 SOS 232710 HAS SOPS 232710 HAS SOUS 111389 HAS SOUPS 111389 WITH SCORE 111621.71
AT ITER 5773 NEW BEST:: SOT 1553458 SOS 232722 HAS SOPS 232722 HAS SOUS 111377 HAS SOUPS 111377 WITH SCORE 111609.722
AT ITER 5850 NEW BEST:: SOT 1553458 SOS 232722 HAS SOPS 232722 HAS SOUS 111372 HAS SOUPS 111372 WITH SCORE 111604.722
AT ITER 5853 NEW BEST:: SOT 1553453 SOS 232717 HAS SOPS 232717 HAS SOUS 111362 HAS SOUPS 111362 WITH SCORE 111594.717
AT ITER 5867 NEW BEST:: SOT 1553453 SOS 232670 HAS SOPS 232670 HAS SOUS 111359 HAS SOUPS 111359 WITH SCORE 111591.67
AT ITER 5898 NEW BEST:: SOT 1553437 SOS 232664 HAS SOPS 232664 HAS SOUS 111345 HAS SOUPS 111345 WITH SCORE 111577.664
AT ITER 5994 NEW BEST:: SOT 1553442 SOS 232439 HAS SOPS 232439 HAS SOUS 111304 HAS SOUPS 111304 WITH SCORE 111536.439
AT ITER 6093 NEW BEST:: SOT 1553394 SOS 232103 HAS SOPS 232103 HAS SOUS 111160 HAS SOUPS 111160 WITH SCORE 111392.103
AT ITER 6103 NEW BEST:: SOT 1553244 SOS 231773 HAS SOPS 231773 HAS SOUS 110950 HAS SOUPS 110950 WITH SCORE 111181.773
AT ITER 6119 NEW BEST:: SOT 1553207 SOS 231551 HAS SOPS 231551 HAS SOUS 110876 HAS SOUPS 110876 WITH SCORE 111107.551
AT ITER 6240 NEW BEST:: SOT 1553207 SOS 231311 HAS SOPS 231311 HAS SOUS 110796 HAS SOUPS 110796 WITH SCORE 111027.311
AT ITER 6241 NEW BEST:: SOT 1553207 SOS 231306 HAS SOPS 231306 HAS SOUS 110791 HAS SOUPS 110791 WITH SCORE 111022.306
AT ITER 6252 NEW BEST:: SOT 1553207 SOS 231267 HAS SOPS 231267 HAS SOUS 110752 HAS SOUPS 110752 WITH SCORE 110983.267
AT ITER 6328 NEW BEST:: SOT 1553207 SOS 231267 HAS SOPS 231267 HAS SOUS 110684 HAS SOUPS 110684 WITH SCORE 110915.267
AT ITER 6336 NEW BEST:: SOT 1553207 SOS 231259 HAS SOPS 231259 HAS SOUS 110676 HAS SOUPS 110676 WITH SCORE 110907.259
AT ITER 6435 NEW BEST:: SOT 1553205 SOS 231257 HAS SOPS 231257 HAS SOUS 110674 HAS SOUPS 110674 WITH SCORE 110905.257
AT ITER 6456 NEW BEST:: SOT 1553164 SOS 231011 HAS SOPS 231011 HAS SOUS 110592 HAS SOUPS 110592 WITH SCORE 110823.011
AT ITER 6494 NEW BEST:: SOT 1553161 SOS 231008 HAS SOPS 231008 HAS SOUS 110589 HAS SOUPS 110589 WITH SCORE 110820.008
AT ITER 6512 NEW BEST:: SOT 1553157 SOS 230984 HAS SOPS 230984 HAS SOUS 110581 HAS SOUPS 110581 WITH SCORE 110811.984
AT ITER 6520 NEW BEST:: SOT 1553121 SOS 230932 HAS SOPS 230932 HAS SOUS 110445 HAS SOUPS 110445 WITH SCORE 110675.932
AT ITER 6535 NEW BEST:: SOT 1553122 SOS 230829 HAS SOPS 230829 HAS SOUS 110426 HAS SOUPS 110426 WITH SCORE 110656.829
AT ITER 6565 NEW BEST:: SOT 1552852 SOS 230522 HAS SOPS 230522 HAS SOUS 110159 HAS SOUPS 110159 WITH SCORE 110389.522
AT ITER 6599 NEW BEST:: SOT 1552815 SOS 230460 HAS SOPS 230460 HAS SOUS 110117 HAS SOUPS 110117 WITH SCORE 110347.46
AT ITER 6600 NEW BEST:: SOT 1552815 SOS 230400 HAS SOPS 230400 HAS SOUS 110097 HAS SOUPS 110097 WITH SCORE 110327.4
AT ITER 6605 NEW BEST:: SOT 1552815 SOS 230370 HAS SOPS 230370 HAS SOUS 110067 HAS SOUPS 110067 WITH SCORE 110297.37
AT ITER 6618 NEW BEST:: SOT 1552555 SOS 229850 HAS SOPS 229850 HAS SOUS 109803 HAS SOUPS 109803 WITH SCORE 110032.85
AT ITER 6636 NEW BEST:: SOT 1552555 SOS 229630 HAS SOPS 229630 HAS SOUS 109767 HAS SOUPS 109767 WITH SCORE 109996.63
AT ITER 6705 NEW BEST:: SOT 1552554 SOS 229620 HAS SOPS 229620 HAS SOUS 109761 HAS SOUPS 109761 WITH SCORE 109990.62
AT ITER 6759 NEW BEST:: SOT 1552541 SOS 229542 HAS SOPS 229542 HAS SOUS 109735 HAS SOUPS 109735 WITH SCORE 109964.542
AT ITER 6812 NEW BEST:: SOT 1552532 SOS 229533 HAS SOPS 229533 HAS SOUS 109735 HAS SOUPS 109735 WITH SCORE 109964.533
AT ITER 6864 NEW BEST:: SOT 1552532 SOS 229437 HAS SOPS 229437 HAS SOUS 109703 HAS SOUPS 109703 WITH SCORE 109932.437
AT ITER 6927 NEW BEST:: SOT 1552544 SOS 229502 HAS SOPS 229502 HAS SOUS 109668 HAS SOUPS 109668 WITH SCORE 109897.502
AT ITER 6948 NEW BEST:: SOT 1552529 SOS 229487 HAS SOPS 229487 HAS SOUS 109653 HAS SOUPS 109653 WITH SCORE 109882.487
AT ITER 6999 NEW BEST:: SOT 1552480 SOS 229144 HAS SOPS 229144 HAS SOUS 109506 HAS SOUPS 109506 WITH SCORE 109735.144
AT ITER 7043 NEW BEST:: SOT 1552480 SOS 229144 HAS SOPS 229144 HAS SOUS 109475 HAS SOUPS 109475 WITH SCORE 109704.144
AT ITER 7066 NEW BEST:: SOT 1552474 SOS 229079 HAS SOPS 229079 HAS SOUS 109434 HAS SOUPS 109434 WITH SCORE 109663.079
AT ITER 7089 NEW BEST:: SOT 1552394 SOS 228999 HAS SOPS 228999 HAS SOUS 109354 HAS SOUPS 109354 WITH SCORE 109582.999
AT ITER 7145 NEW BEST:: SOT 1552357 SOS 228812 HAS SOPS 228812 HAS SOUS 109271 HAS SOUPS 109271 WITH SCORE 109499.812
AT ITER 7160 NEW BEST:: SOT 1552372 SOS 228827 HAS SOPS 228827 HAS SOUS 109258 HAS SOUPS 109258 WITH SCORE 109486.827
AT ITER 7248 NEW BEST:: SOT 1552297 SOS 228737 HAS SOPS 228737 HAS SOUS 109168 HAS SOUPS 109168 WITH SCORE 109396.737
AT ITER 7252 NEW BEST:: SOT 1552127 SOS 228373 HAS SOPS 228373 HAS SOUS 108964 HAS SOUPS 108964 WITH SCORE 109192.373
AT ITER 7256 NEW BEST:: SOT 1552127 SOS 228373 HAS SOPS 228373 HAS SOUS 108952 HAS SOUPS 108952 WITH SCORE 109180.373
AT ITER 7284 NEW BEST:: SOT 1552072 SOS 228318 HAS SOPS 228318 HAS SOUS 108897 HAS SOUPS 108897 WITH SCORE 109125.318
AT ITER 7375 NEW BEST:: SOT 1552218 SOS 228514 HAS SOPS 228514 HAS SOUS 108813 HAS SOUPS 108813 WITH SCORE 109041.514
AT ITER 7381 NEW BEST:: SOT 1552438 SOS 228789 HAS SOPS 228789 HAS SOUS 108758 HAS SOUPS 108758 WITH SCORE 108986.789
AT ITER 7383 NEW BEST:: SOT 1552407 SOS 228710 HAS SOPS 228710 HAS SOUS 108711 HAS SOUPS 108711 WITH SCORE 108939.71
AT ITER 7384 NEW BEST:: SOT 1552407 SOS 228512 HAS SOPS 228512 HAS SOUS 108645 HAS SOUPS 108645 WITH SCORE 108873.512
AT ITER 7431 NEW BEST:: SOT 1552272 SOS 228195 HAS SOPS 228195 HAS SOUS 108452 HAS SOUPS 108452 WITH SCORE 108680.195
AT ITER 7478 NEW BEST:: SOT 1552272 SOS 228129 HAS SOPS 228129 HAS SOUS 108430 HAS SOUPS 108430 WITH SCORE 108658.129
AT ITER 7496 NEW BEST:: SOT 1552272 SOS 228129 HAS SOPS 228129 HAS SOUS 108387 HAS SOUPS 108387 WITH SCORE 108615.129
AT ITER 7501 NEW BEST:: SOT 1552212 SOS 228057 HAS SOPS 228057 HAS SOUS 108315 HAS SOUPS 108315 WITH SCORE 108543.057
AT ITER 7504 NEW BEST:: SOT 1552212 SOS 227947 HAS SOPS 227947 HAS SOUS 108293 HAS SOUPS 108293 WITH SCORE 108520.947
AT ITER 7512 NEW BEST:: SOT 1552211 SOS 227849 HAS SOPS 227849 HAS SOUS 108283 HAS SOUPS 108283 WITH SCORE 108510.849
AT ITER 7524 NEW BEST:: SOT 1552169 SOS 227597 HAS SOPS 227597 HAS SOUS 108199 HAS SOUPS 108199 WITH SCORE 108426.597
AT ITER 7648 NEW BEST:: SOT 1552169 SOS 227582 HAS SOPS 227582 HAS SOUS 108196 HAS SOUPS 108196 WITH SCORE 108423.582
AT ITER 7682 NEW BEST:: SOT 1552210 SOS 227664 HAS SOPS 227664 HAS SOUS 108162 HAS SOUPS 108162 WITH SCORE 108389.664
AT ITER 7735 NEW BEST:: SOT 1552215 SOS 227429 HAS SOPS 227429 HAS SOUS 108123 HAS SOUPS 108123 WITH SCORE 108350.429
AT ITER 7831 NEW BEST:: SOT 1552223 SOS 227215 HAS SOPS 227215 HAS SOUS 108093 HAS SOUPS 108093 WITH SCORE 108320.215
AT ITER 7838 NEW BEST:: SOT 1552223 SOS 227095 HAS SOPS 227095 HAS SOUS 108069 HAS SOUPS 108069 WITH SCORE 108296.095
AT ITER 7864 NEW BEST:: SOT 1552206 SOS 226858 HAS SOPS 226858 HAS SOUS 107980 HAS SOUPS 107980 WITH SCORE 108206.858
AT ITER 7880 NEW BEST:: SOT 1552206 SOS 226858 HAS SOPS 226858 HAS SOUS 107960 HAS SOUPS 107960 WITH SCORE 108186.858
AT ITER 7916 NEW BEST:: SOT 1552206 SOS 226737 HAS SOPS 226737 HAS SOUS 107939 HAS SOUPS 107939 WITH SCORE 108165.737
AT ITER 8003 NEW BEST:: SOT 1552206 SOS 226737 HAS SOPS 226737 HAS SOUS 107915 HAS SOUPS 107915 WITH SCORE 108141.737
AT ITER 8086 NEW BEST:: SOT 1552172 SOS 226524 HAS SOPS 226524 HAS SOUS 107818 HAS SOUPS 107818 WITH SCORE 108044.524
AT ITER 8096 NEW BEST:: SOT 1552096 SOS 226448 HAS SOPS 226448 HAS SOUS 107742 HAS SOUPS 107742 WITH SCORE 107968.448
AT ITER 8105 NEW BEST:: SOT 1552140 SOS 226492 HAS SOPS 226492 HAS SOUS 107741 HAS SOUPS 107741 WITH SCORE 107967.492
AT ITER 8134 NEW BEST:: SOT 1552138 SOS 226508 HAS SOPS 226508 HAS SOUS 107737 HAS SOUPS 107737 WITH SCORE 107963.508
AT ITER 8421 NEW BEST:: SOT 1552138 SOS 226508 HAS SOPS 226508 HAS SOUS 107644 HAS SOUPS 107644 WITH SCORE 107870.508
AT ITER 8481 NEW BEST:: SOT 1552138 SOS 226508 HAS SOPS 226508 HAS SOUS 107633 HAS SOUPS 107633 WITH SCORE 107859.508
AT ITER 8507 NEW BEST:: SOT 1552138 SOS 226508 HAS SOPS 226508 HAS SOUS 107632 HAS SOUPS 107632 WITH SCORE 107858.508
AT ITER 8529 NEW BEST:: SOT 1552106 SOS 226659 HAS SOPS 226659 HAS SOUS 107623 HAS SOUPS 107623 WITH SCORE 107849.659
AT ITER 8695 NEW BEST:: SOT 1552102 SOS 226655 HAS SOPS 226655 HAS SOUS 107619 HAS SOUPS 107619 WITH SCORE 107845.655
AT ITER 8705 NEW BEST:: SOT 1552101 SOS 226649 HAS SOPS 226649 HAS SOUS 107617 HAS SOUPS 107617 WITH SCORE 107843.649
AT ITER 8712 NEW BEST:: SOT 1552047 SOS 226645 HAS SOPS 226645 HAS SOUS 107573 HAS SOUPS 107573 WITH SCORE 107799.645
AT ITER 8816 NEW BEST:: SOT 1552058 SOS 226691 HAS SOPS 226691 HAS SOUS 107455 HAS SOUPS 107455 WITH SCORE 107681.691
AT ITER 8823 NEW BEST:: SOT 1552003 SOS 226581 HAS SOPS 226581 HAS SOUS 107389 HAS SOUPS 107389 WITH SCORE 107615.581
AT ITER 8839 NEW BEST:: SOT 1552002 SOS 226575 HAS SOPS 226575 HAS SOUS 107387 HAS SOUPS 107387 WITH SCORE 107613.575
AT ITER 8903 NEW BEST:: SOT 1552002 SOS 226622 HAS SOPS 226622 HAS SOUS 107358 HAS SOUPS 107358 WITH SCORE 107584.622
AT ITER 8914 NEW BEST:: SOT 1552002 SOS 226622 HAS SOPS 226622 HAS SOUS 107356 HAS SOUPS 107356 WITH SCORE 107582.622
AT ITER 9073 NEW BEST:: SOT 1551942 SOS 226484 HAS SOPS 226484 HAS SOUS 107270 HAS SOUPS 107270 WITH SCORE 107496.484
AT ITER 9137 NEW BEST:: SOT 1551933 SOS 226475 HAS SOPS 226475 HAS SOUS 107270 HAS SOUPS 107270 WITH SCORE 107496.475
AT ITER 9157 NEW BEST:: SOT 1551932 SOS 226469 HAS SOPS 226469 HAS SOUS 107268 HAS SOUPS 107268 WITH SCORE 107494.469
AT ITER 9169 NEW BEST:: SOT 1551927 SOS 226464 HAS SOPS 226464 HAS SOUS 107263 HAS SOUPS 107263 WITH SCORE 107489.464
AT ITER 9249 NEW BEST:: SOT 1551812 SOS 226326 HAS SOPS 226326 HAS SOUS 107125 HAS SOUPS 107125 WITH SCORE 107351.326
AT ITER 9352 NEW BEST:: SOT 1551812 SOS 226326 HAS SOPS 226326 HAS SOUS 107093 HAS SOUPS 107093 WITH SCORE 107319.326
AT ITER 9446 NEW BEST:: SOT 1551812 SOS 226228 HAS SOPS 226228 HAS SOUS 107075 HAS SOUPS 107075 WITH SCORE 107301.228
AT ITER 9468 NEW BEST:: SOT 1551811 SOS 226193 HAS SOPS 226193 HAS SOUS 107020 HAS SOUPS 107020 WITH SCORE 107246.193
AT ITER 9500 NEW BEST:: SOT 1551541 SOS 225515 HAS SOPS 225515 HAS SOUS 106782 HAS SOUPS 106782 WITH SCORE 107007.515
AT ITER 9527 NEW BEST:: SOT 1551461 SOS 225309 HAS SOPS 225309 HAS SOUS 106688 HAS SOUPS 106688 WITH SCORE 106913.309
AT ITER 9581 NEW BEST:: SOT 1551423 SOS 225081 HAS SOPS 225081 HAS SOUS 106612 HAS SOUPS 106612 WITH SCORE 106837.081
AT ITER 9585 NEW BEST:: SOT 1551423 SOS 225077 HAS SOPS 225077 HAS SOUS 106608 HAS SOUPS 106608 WITH SCORE 106833.077
AT ITER 9600 NEW BEST:: SOT 1551208 SOS 224869 HAS SOPS 224869 HAS SOUS 106400 HAS SOUPS 106400 WITH SCORE 106624.869
AT ITER 9620 NEW BEST:: SOT 1551208 SOS 224755 HAS SOPS 224755 HAS SOUS 106362 HAS SOUPS 106362 WITH SCORE 106586.755
AT ITER 9651 NEW BEST:: SOT 1551205 SOS 224555 HAS SOPS 224555 HAS SOUS 106326 HAS SOUPS 106326 WITH SCORE 106550.555
AT ITER 9666 NEW BEST:: SOT 1551208 SOS 224532 HAS SOPS 224532 HAS SOUS 106309 HAS SOUPS 106309 WITH SCORE 106533.532
AT ITER 9852 NEW BEST:: SOT 1551188 SOS 224464 HAS SOPS 224464 HAS SOUS 106301 HAS SOUPS 106301 WITH SCORE 106525.464
AT ITER 9934 NEW BEST:: SOT 1551185 SOS 224458 HAS SOPS 224458 HAS SOUS 106295 HAS SOUPS 106295 WITH SCORE 106519.458
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 6889748 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152248 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="HexagonalGrid-PT-516"
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 HexagonalGrid-PT-516, 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 r195-smll-167840342400416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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