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.r387-oct2-167903711800432.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 ShieldPPPs-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711800432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 5.7K Feb 26 01:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 01:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 01:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 01:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 01:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 01:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 01:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 01:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 86K 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 1679064029645

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=ShieldPPPs-PT-005B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 005B
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: 343 places, 318 transitions, 876 arcs.
AT ITER 0 NEW BEST:: SOT 60713 SOS 16292 HAS SOPS 16292 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14678.292
AT ITER 22 NEW BEST:: SOT 60713 SOS 16287 HAS SOPS 16287 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14678.287
AT ITER 69 NEW BEST:: SOT 60680 SOS 16279 HAS SOPS 16279 HAS SOUS 14654 HAS SOUPS 14654 WITH SCORE 14670.279
AT ITER 93 NEW BEST:: SOT 60674 SOS 16267 HAS SOPS 16267 HAS SOUS 14653 HAS SOUPS 14653 WITH SCORE 14669.267
AT ITER 103 NEW BEST:: SOT 60662 SOS 16243 HAS SOPS 16243 HAS SOUS 14638 HAS SOUPS 14638 WITH SCORE 14654.243
AT ITER 111 NEW BEST:: SOT 60662 SOS 16239 HAS SOPS 16239 HAS SOUS 14634 HAS SOUPS 14634 WITH SCORE 14650.239
AT ITER 116 NEW BEST:: SOT 60652 SOS 16238 HAS SOPS 16238 HAS SOUS 14633 HAS SOUPS 14633 WITH SCORE 14649.238
AT ITER 127 NEW BEST:: SOT 60640 SOS 16214 HAS SOPS 16214 HAS SOUS 14618 HAS SOUPS 14618 WITH SCORE 14634.214
AT ITER 202 NEW BEST:: SOT 60640 SOS 16154 HAS SOPS 16154 HAS SOUS 14588 HAS SOUPS 14588 WITH SCORE 14604.154
AT ITER 219 NEW BEST:: SOT 60640 SOS 16154 HAS SOPS 16154 HAS SOUS 14585 HAS SOUPS 14585 WITH SCORE 14601.154
AT ITER 250 NEW BEST:: SOT 60592 SOS 15871 HAS SOPS 15871 HAS SOUS 14452 HAS SOUPS 14452 WITH SCORE 14467.871
AT ITER 277 NEW BEST:: SOT 60545 SOS 15813 HAS SOPS 15813 HAS SOUS 14393 HAS SOUPS 14393 WITH SCORE 14408.813
AT ITER 287 NEW BEST:: SOT 60540 SOS 15801 HAS SOPS 15801 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14396.801
AT ITER 295 NEW BEST:: SOT 60540 SOS 15799 HAS SOPS 15799 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14392.799
AT ITER 296 NEW BEST:: SOT 60481 SOS 15780 HAS SOPS 15780 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14370.78
AT ITER 302 NEW BEST:: SOT 60477 SOS 15776 HAS SOPS 15776 HAS SOUS 14351 HAS SOUPS 14351 WITH SCORE 14366.776
AT ITER 305 NEW BEST:: SOT 60494 SOS 15767 HAS SOPS 15767 HAS SOUS 14342 HAS SOUPS 14342 WITH SCORE 14357.767
AT ITER 327 NEW BEST:: SOT 60494 SOS 15719 HAS SOPS 15719 HAS SOUS 14294 HAS SOUPS 14294 WITH SCORE 14309.719
AT ITER 339 NEW BEST:: SOT 60520 SOS 15701 HAS SOPS 15701 HAS SOUS 14276 HAS SOUPS 14276 WITH SCORE 14291.701
AT ITER 379 NEW BEST:: SOT 60529 SOS 15688 HAS SOPS 15688 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14273.688
AT ITER 469 NEW BEST:: SOT 60521 SOS 15670 HAS SOPS 15670 HAS SOUS 14240 HAS SOUPS 14240 WITH SCORE 14255.67
AT ITER 488 NEW BEST:: SOT 60507 SOS 15656 HAS SOPS 15656 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14241.656
AT ITER 494 NEW BEST:: SOT 60519 SOS 15679 HAS SOPS 15679 HAS SOUS 14220 HAS SOUPS 14220 WITH SCORE 14235.679
AT ITER 500 NEW BEST:: SOT 60511 SOS 15671 HAS SOPS 15671 HAS SOUS 14212 HAS SOUPS 14212 WITH SCORE 14227.671
AT ITER 506 NEW BEST:: SOT 60527 SOS 15579 HAS SOPS 15579 HAS SOUS 14122 HAS SOUPS 14122 WITH SCORE 14137.579
AT ITER 537 NEW BEST:: SOT 60547 SOS 15564 HAS SOPS 15564 HAS SOUS 14102 HAS SOUPS 14102 WITH SCORE 14117.564
AT ITER 543 NEW BEST:: SOT 60570 SOS 15352 HAS SOPS 15352 HAS SOUS 14058 HAS SOUPS 14058 WITH SCORE 14073.352
AT ITER 549 NEW BEST:: SOT 60568 SOS 15349 HAS SOPS 15349 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14070.349
AT ITER 577 NEW BEST:: SOT 60539 SOS 15320 HAS SOPS 15320 HAS SOUS 14026 HAS SOUPS 14026 WITH SCORE 14041.32
AT ITER 581 NEW BEST:: SOT 60526 SOS 15318 HAS SOPS 15318 HAS SOUS 14019 HAS SOUPS 14019 WITH SCORE 14034.318
AT ITER 591 NEW BEST:: SOT 60526 SOS 15290 HAS SOPS 15290 HAS SOUS 14005 HAS SOUPS 14005 WITH SCORE 14020.29
AT ITER 627 NEW BEST:: SOT 60526 SOS 15289 HAS SOPS 15289 HAS SOUS 14004 HAS SOUPS 14004 WITH SCORE 14019.289
AT ITER 638 NEW BEST:: SOT 60531 SOS 15280 HAS SOPS 15280 HAS SOUS 14002 HAS SOUPS 14002 WITH SCORE 14017.28
AT ITER 645 NEW BEST:: SOT 60531 SOS 15280 HAS SOPS 15280 HAS SOUS 13984 HAS SOUPS 13984 WITH SCORE 13999.28
AT ITER 671 NEW BEST:: SOT 60493 SOS 15195 HAS SOPS 15195 HAS SOUS 13946 HAS SOUPS 13946 WITH SCORE 13961.195
AT ITER 686 NEW BEST:: SOT 60472 SOS 15181 HAS SOPS 15181 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13953.181
AT ITER 688 NEW BEST:: SOT 60471 SOS 15179 HAS SOPS 15179 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13951.179
AT ITER 716 NEW BEST:: SOT 60469 SOS 15177 HAS SOPS 15177 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13950.177
AT ITER 735 NEW BEST:: SOT 60468 SOS 15175 HAS SOPS 15175 HAS SOUS 13933 HAS SOUPS 13933 WITH SCORE 13948.175
AT ITER 773 NEW BEST:: SOT 60452 SOS 15168 HAS SOPS 15168 HAS SOUS 13926 HAS SOUPS 13926 WITH SCORE 13941.168
AT ITER 813 NEW BEST:: SOT 60451 SOS 15174 HAS SOPS 15174 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13936.174
AT ITER 830 NEW BEST:: SOT 60449 SOS 15172 HAS SOPS 15172 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13934.172
AT ITER 931 NEW BEST:: SOT 60365 SOS 15070 HAS SOPS 15070 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13832.07
AT ITER 934 NEW BEST:: SOT 60333 SOS 15038 HAS SOPS 15038 HAS SOUS 13785 HAS SOUPS 13785 WITH SCORE 13800.038
AT ITER 966 NEW BEST:: SOT 60333 SOS 15025 HAS SOPS 15025 HAS SOUS 13742 HAS SOUPS 13742 WITH SCORE 13757.025
AT ITER 1002 NEW BEST:: SOT 60360 SOS 15054 HAS SOPS 15054 HAS SOUS 13738 HAS SOUPS 13738 WITH SCORE 13753.054
AT ITER 1007 NEW BEST:: SOT 60331 SOS 14994 HAS SOPS 14994 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13723.994
AT ITER 1036 NEW BEST:: SOT 60319 SOS 14978 HAS SOPS 14978 HAS SOUS 13693 HAS SOUPS 13693 WITH SCORE 13707.978
AT ITER 1059 NEW BEST:: SOT 60319 SOS 14977 HAS SOPS 14977 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13706.977
AT ITER 1060 NEW BEST:: SOT 60311 SOS 14965 HAS SOPS 14965 HAS SOUS 13683 HAS SOUPS 13683 WITH SCORE 13697.965
AT ITER 1067 NEW BEST:: SOT 60273 SOS 14946 HAS SOPS 14946 HAS SOUS 13664 HAS SOUPS 13664 WITH SCORE 13678.946
AT ITER 1084 NEW BEST:: SOT 60264 SOS 15011 HAS SOPS 15011 HAS SOUS 13638 HAS SOUPS 13638 WITH SCORE 13653.011
AT ITER 1103 NEW BEST:: SOT 60274 SOS 14975 HAS SOPS 14975 HAS SOUS 13602 HAS SOUPS 13602 WITH SCORE 13616.975
AT ITER 1141 NEW BEST:: SOT 60274 SOS 14969 HAS SOPS 14969 HAS SOUS 13602 HAS SOUPS 13602 WITH SCORE 13616.969
AT ITER 1149 NEW BEST:: SOT 60269 SOS 14964 HAS SOPS 14964 HAS SOUS 13597 HAS SOUPS 13597 WITH SCORE 13611.964
AT ITER 1177 NEW BEST:: SOT 60269 SOS 14984 HAS SOPS 14984 HAS SOUS 13577 HAS SOUPS 13577 WITH SCORE 13591.984
AT ITER 1188 NEW BEST:: SOT 60261 SOS 14976 HAS SOPS 14976 HAS SOUS 13569 HAS SOUPS 13569 WITH SCORE 13583.976
AT ITER 1205 NEW BEST:: SOT 60263 SOS 14963 HAS SOPS 14963 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13570.963
AT ITER 1244 NEW BEST:: SOT 60221 SOS 14961 HAS SOPS 14961 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13568.961
AT ITER 1254 NEW BEST:: SOT 60202 SOS 14927 HAS SOPS 14927 HAS SOUS 13535 HAS SOUPS 13535 WITH SCORE 13549.927
AT ITER 1263 NEW BEST:: SOT 60182 SOS 14921 HAS SOPS 14921 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13543.921
AT ITER 1287 NEW BEST:: SOT 60197 SOS 14916 HAS SOPS 14916 HAS SOUS 13525 HAS SOUPS 13525 WITH SCORE 13539.916
AT ITER 1290 NEW BEST:: SOT 60185 SOS 14913 HAS SOPS 14913 HAS SOUS 13522 HAS SOUPS 13522 WITH SCORE 13536.913
AT ITER 1294 NEW BEST:: SOT 60189 SOS 14912 HAS SOPS 14912 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13535.912
AT ITER 1299 NEW BEST:: SOT 60189 SOS 14907 HAS SOPS 14907 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13530.907
AT ITER 1320 NEW BEST:: SOT 60180 SOS 14908 HAS SOPS 14908 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13525.908
AT ITER 1327 NEW BEST:: SOT 60180 SOS 14902 HAS SOPS 14902 HAS SOUS 13505 HAS SOUPS 13505 WITH SCORE 13519.902
AT ITER 1357 NEW BEST:: SOT 60142 SOS 14883 HAS SOPS 14883 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13500.883
AT ITER 1360 NEW BEST:: SOT 60136 SOS 14877 HAS SOPS 14877 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13482.877
AT ITER 1387 NEW BEST:: SOT 60136 SOS 14877 HAS SOPS 14877 HAS SOUS 13440 HAS SOUPS 13440 WITH SCORE 13454.877
AT ITER 1453 NEW BEST:: SOT 60106 SOS 14700 HAS SOPS 14700 HAS SOUS 13414 HAS SOUPS 13414 WITH SCORE 13428.7
AT ITER 1472 NEW BEST:: SOT 60106 SOS 14668 HAS SOPS 14668 HAS SOUS 13398 HAS SOUPS 13398 WITH SCORE 13412.668
AT ITER 1482 NEW BEST:: SOT 60112 SOS 14665 HAS SOPS 14665 HAS SOUS 13392 HAS SOUPS 13392 WITH SCORE 13406.665
AT ITER 1527 NEW BEST:: SOT 60066 SOS 14619 HAS SOPS 14619 HAS SOUS 13346 HAS SOUPS 13346 WITH SCORE 13360.619
AT ITER 1555 NEW BEST:: SOT 60069 SOS 14610 HAS SOPS 14610 HAS SOUS 13337 HAS SOUPS 13337 WITH SCORE 13351.61
AT ITER 1569 NEW BEST:: SOT 60030 SOS 14563 HAS SOPS 14563 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13305.563
AT ITER 1571 NEW BEST:: SOT 60021 SOS 14545 HAS SOPS 14545 HAS SOUS 13273 HAS SOUPS 13273 WITH SCORE 13287.545
AT ITER 1588 NEW BEST:: SOT 60010 SOS 14545 HAS SOPS 14545 HAS SOUS 13262 HAS SOUPS 13262 WITH SCORE 13276.545
AT ITER 1592 NEW BEST:: SOT 59975 SOS 14531 HAS SOPS 14531 HAS SOUS 13195 HAS SOUPS 13195 WITH SCORE 13209.531
AT ITER 1598 NEW BEST:: SOT 59868 SOS 14557 HAS SOPS 14557 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13160.557
AT ITER 1608 NEW BEST:: SOT 59858 SOS 14564 HAS SOPS 14564 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13150.564
AT ITER 1623 NEW BEST:: SOT 59838 SOS 14556 HAS SOPS 14556 HAS SOUS 13128 HAS SOUPS 13128 WITH SCORE 13142.556
AT ITER 1624 NEW BEST:: SOT 59794 SOS 14417 HAS SOPS 14417 HAS SOUS 13118 HAS SOUPS 13118 WITH SCORE 13132.417
AT ITER 1637 NEW BEST:: SOT 59795 SOS 14417 HAS SOPS 14417 HAS SOUS 13117 HAS SOUPS 13117 WITH SCORE 13131.417
AT ITER 1650 NEW BEST:: SOT 59795 SOS 14381 HAS SOPS 14381 HAS SOUS 13108 HAS SOUPS 13108 WITH SCORE 13122.381
AT ITER 1673 NEW BEST:: SOT 59785 SOS 14371 HAS SOPS 14371 HAS SOUS 13079 HAS SOUPS 13079 WITH SCORE 13093.371
AT ITER 1680 NEW BEST:: SOT 59782 SOS 14365 HAS SOPS 14365 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13082.365
AT ITER 1792 NEW BEST:: SOT 59776 SOS 14359 HAS SOPS 14359 HAS SOUS 13062 HAS SOUPS 13062 WITH SCORE 13076.359
AT ITER 1793 NEW BEST:: SOT 59740 SOS 14319 HAS SOPS 14319 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13026.319
AT ITER 1815 NEW BEST:: SOT 59695 SOS 14310 HAS SOPS 14310 HAS SOUS 12997 HAS SOUPS 12997 WITH SCORE 13011.31
AT ITER 1847 NEW BEST:: SOT 59703 SOS 14186 HAS SOPS 14186 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13005.186
AT ITER 1867 NEW BEST:: SOT 59669 SOS 14169 HAS SOPS 14169 HAS SOUS 12974 HAS SOUPS 12974 WITH SCORE 12988.169
AT ITER 1869 NEW BEST:: SOT 59660 SOS 14158 HAS SOPS 14158 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 12986.158
AT ITER 1871 NEW BEST:: SOT 59660 SOS 14152 HAS SOPS 14152 HAS SOUS 12966 HAS SOUPS 12966 WITH SCORE 12980.152
AT ITER 1914 NEW BEST:: SOT 59674 SOS 14122 HAS SOPS 14122 HAS SOUS 12946 HAS SOUPS 12946 WITH SCORE 12960.122
AT ITER 1916 NEW BEST:: SOT 59674 SOS 14102 HAS SOPS 14102 HAS SOUS 12926 HAS SOUPS 12926 WITH SCORE 12940.102
AT ITER 1920 NEW BEST:: SOT 59669 SOS 14108 HAS SOPS 14108 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12937.108
AT ITER 1932 NEW BEST:: SOT 59669 SOS 14107 HAS SOPS 14107 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12936.107
AT ITER 1980 NEW BEST:: SOT 59651 SOS 14109 HAS SOPS 14109 HAS SOUS 12905 HAS SOUPS 12905 WITH SCORE 12919.109
AT ITER 2031 NEW BEST:: SOT 59658 SOS 14115 HAS SOPS 14115 HAS SOUS 12902 HAS SOUPS 12902 WITH SCORE 12916.115
AT ITER 2067 NEW BEST:: SOT 59638 SOS 14083 HAS SOPS 14083 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12896.083
AT ITER 2073 NEW BEST:: SOT 59628 SOS 14070 HAS SOPS 14070 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12883.07
AT ITER 2102 NEW BEST:: SOT 59601 SOS 14068 HAS SOPS 14068 HAS SOUS 12868 HAS SOUPS 12868 WITH SCORE 12882.068
AT ITER 2156 NEW BEST:: SOT 59592 SOS 14059 HAS SOPS 14059 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12873.059
AT ITER 2171 NEW BEST:: SOT 59603 SOS 14055 HAS SOPS 14055 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12864.055
AT ITER 2174 NEW BEST:: SOT 59601 SOS 14053 HAS SOPS 14053 HAS SOUS 12846 HAS SOUPS 12846 WITH SCORE 12860.053
AT ITER 2193 NEW BEST:: SOT 59599 SOS 14051 HAS SOPS 14051 HAS SOUS 12844 HAS SOUPS 12844 WITH SCORE 12858.051
AT ITER 2205 NEW BEST:: SOT 59573 SOS 14023 HAS SOPS 14023 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12857.023
AT ITER 2213 NEW BEST:: SOT 59573 SOS 14005 HAS SOPS 14005 HAS SOUS 12807 HAS SOUPS 12807 WITH SCORE 12821.005
AT ITER 2223 NEW BEST:: SOT 59572 SOS 14004 HAS SOPS 14004 HAS SOUS 12807 HAS SOUPS 12807 WITH SCORE 12821.004
AT ITER 2239 NEW BEST:: SOT 59571 SOS 14002 HAS SOPS 14002 HAS SOUS 12805 HAS SOUPS 12805 WITH SCORE 12819.002
AT ITER 2260 NEW BEST:: SOT 59510 SOS 13924 HAS SOPS 13924 HAS SOUS 12696 HAS SOUPS 12696 WITH SCORE 12709.924
AT ITER 2288 NEW BEST:: SOT 59520 SOS 13907 HAS SOPS 13907 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12708.907
AT ITER 2337 NEW BEST:: SOT 59516 SOS 13903 HAS SOPS 13903 HAS SOUS 12691 HAS SOUPS 12691 WITH SCORE 12704.903
AT ITER 2339 NEW BEST:: SOT 59512 SOS 13895 HAS SOPS 13895 HAS SOUS 12683 HAS SOUPS 12683 WITH SCORE 12696.895
AT ITER 2342 NEW BEST:: SOT 59512 SOS 13894 HAS SOPS 13894 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12695.894
AT ITER 2371 NEW BEST:: SOT 59508 SOS 13890 HAS SOPS 13890 HAS SOUS 12678 HAS SOUPS 12678 WITH SCORE 12691.89
AT ITER 2373 NEW BEST:: SOT 59465 SOS 13864 HAS SOPS 13864 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12679.864
AT ITER 2412 NEW BEST:: SOT 59465 SOS 13862 HAS SOPS 13862 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12677.862
AT ITER 2435 NEW BEST:: SOT 59459 SOS 13850 HAS SOPS 13850 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12671.85
AT ITER 2468 NEW BEST:: SOT 59459 SOS 13848 HAS SOPS 13848 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12669.848
AT ITER 2482 NEW BEST:: SOT 59453 SOS 13844 HAS SOPS 13844 HAS SOUS 12652 HAS SOUPS 12652 WITH SCORE 12665.844
AT ITER 2523 NEW BEST:: SOT 59451 SOS 13818 HAS SOPS 13818 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12657.818
AT ITER 2524 NEW BEST:: SOT 59451 SOS 13818 HAS SOPS 13818 HAS SOUS 12642 HAS SOUPS 12642 WITH SCORE 12655.818
AT ITER 2560 NEW BEST:: SOT 59470 SOS 13835 HAS SOPS 13835 HAS SOUS 12640 HAS SOUPS 12640 WITH SCORE 12653.835
AT ITER 2570 NEW BEST:: SOT 59437 SOS 13815 HAS SOPS 13815 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12620.815
AT ITER 2576 NEW BEST:: SOT 59433 SOS 13792 HAS SOPS 13792 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12607.792
AT ITER 2614 NEW BEST:: SOT 59433 SOS 13789 HAS SOPS 13789 HAS SOUS 12589 HAS SOUPS 12589 WITH SCORE 12602.789
AT ITER 2619 NEW BEST:: SOT 59452 SOS 13787 HAS SOPS 13787 HAS SOUS 12587 HAS SOUPS 12587 WITH SCORE 12600.787
AT ITER 2680 NEW BEST:: SOT 59446 SOS 13781 HAS SOPS 13781 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12594.781
AT ITER 2685 NEW BEST:: SOT 59442 SOS 13774 HAS SOPS 13774 HAS SOUS 12577 HAS SOUPS 12577 WITH SCORE 12590.774
AT ITER 2705 NEW BEST:: SOT 59419 SOS 13729 HAS SOPS 13729 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12512.729
AT ITER 2725 NEW BEST:: SOT 59390 SOS 13732 HAS SOPS 13732 HAS SOUS 12483 HAS SOUPS 12483 WITH SCORE 12496.732
AT ITER 2734 NEW BEST:: SOT 59388 SOS 13730 HAS SOPS 13730 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12494.73
AT ITER 2737 NEW BEST:: SOT 59373 SOS 13702 HAS SOPS 13702 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12468.702
AT ITER 2763 NEW BEST:: SOT 59348 SOS 13655 HAS SOPS 13655 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12444.655
AT ITER 2787 NEW BEST:: SOT 59349 SOS 13634 HAS SOPS 13634 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12423.634
AT ITER 2850 NEW BEST:: SOT 59359 SOS 13621 HAS SOPS 13621 HAS SOUS 12409 HAS SOUPS 12409 WITH SCORE 12422.621
AT ITER 2870 NEW BEST:: SOT 59329 SOS 13561 HAS SOPS 13561 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12392.561
AT ITER 2872 NEW BEST:: SOT 59391 SOS 13551 HAS SOPS 13551 HAS SOUS 12369 HAS SOUPS 12369 WITH SCORE 12382.551
AT ITER 2883 NEW BEST:: SOT 59398 SOS 13528 HAS SOPS 13528 HAS SOUS 12334 HAS SOUPS 12334 WITH SCORE 12347.528
AT ITER 2892 NEW BEST:: SOT 59421 SOS 13514 HAS SOPS 13514 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12341.514
AT ITER 2898 NEW BEST:: SOT 59415 SOS 13508 HAS SOPS 13508 HAS SOUS 12322 HAS SOUPS 12322 WITH SCORE 12335.508
AT ITER 2915 NEW BEST:: SOT 59399 SOS 13492 HAS SOPS 13492 HAS SOUS 12306 HAS SOUPS 12306 WITH SCORE 12319.492
AT ITER 2928 NEW BEST:: SOT 59401 SOS 13490 HAS SOPS 13490 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12317.49
AT ITER 2939 NEW BEST:: SOT 59394 SOS 13476 HAS SOPS 13476 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12303.476
AT ITER 2940 NEW BEST:: SOT 59390 SOS 13472 HAS SOPS 13472 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12299.472
AT ITER 3002 NEW BEST:: SOT 59383 SOS 13465 HAS SOPS 13465 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12292.465
AT ITER 3022 NEW BEST:: SOT 59375 SOS 13441 HAS SOPS 13441 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12284.441
AT ITER 3028 NEW BEST:: SOT 59376 SOS 13441 HAS SOPS 13441 HAS SOUS 12270 HAS SOUPS 12270 WITH SCORE 12283.441
AT ITER 3038 NEW BEST:: SOT 59376 SOS 13437 HAS SOPS 13437 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12279.437
AT ITER 3046 NEW BEST:: SOT 59371 SOS 13422 HAS SOPS 13422 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12274.422
AT ITER 3050 NEW BEST:: SOT 59399 SOS 13332 HAS SOPS 13332 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12268.332
AT ITER 3158 NEW BEST:: SOT 59405 SOS 13326 HAS SOPS 13326 HAS SOUS 12249 HAS SOUPS 12249 WITH SCORE 12262.326
AT ITER 3160 NEW BEST:: SOT 59401 SOS 13324 HAS SOPS 13324 HAS SOUS 12247 HAS SOUPS 12247 WITH SCORE 12260.324
AT ITER 3180 NEW BEST:: SOT 59374 SOS 13310 HAS SOPS 13310 HAS SOUS 12233 HAS SOUPS 12233 WITH SCORE 12246.31
AT ITER 3202 NEW BEST:: SOT 59365 SOS 13301 HAS SOPS 13301 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12237.301
AT ITER 3231 NEW BEST:: SOT 59359 SOS 13300 HAS SOPS 13300 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12236.3
AT ITER 3290 NEW BEST:: SOT 59366 SOS 13304 HAS SOPS 13304 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12231.304
AT ITER 3304 NEW BEST:: SOT 59364 SOS 13300 HAS SOPS 13300 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12229.3
AT ITER 3314 NEW BEST:: SOT 59353 SOS 13289 HAS SOPS 13289 HAS SOUS 12205 HAS SOUPS 12205 WITH SCORE 12218.289
AT ITER 3317 NEW BEST:: SOT 59311 SOS 13247 HAS SOPS 13247 HAS SOUS 12163 HAS SOUPS 12163 WITH SCORE 12176.247
AT ITER 3325 NEW BEST:: SOT 59289 SOS 13234 HAS SOPS 13234 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12163.234
AT ITER 3327 NEW BEST:: SOT 59250 SOS 13200 HAS SOPS 13200 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12130.2
AT ITER 3366 NEW BEST:: SOT 59250 SOS 13191 HAS SOPS 13191 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12121.191
AT ITER 3376 NEW BEST:: SOT 59250 SOS 13201 HAS SOPS 13201 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12095.201
AT ITER 3445 NEW BEST:: SOT 59248 SOS 13199 HAS SOPS 13199 HAS SOUS 12080 HAS SOUPS 12080 WITH SCORE 12093.199
AT ITER 3489 NEW BEST:: SOT 59248 SOS 13194 HAS SOPS 13194 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12090.194
AT ITER 3495 NEW BEST:: SOT 59244 SOS 13185 HAS SOPS 13185 HAS SOUS 12068 HAS SOUPS 12068 WITH SCORE 12081.185
AT ITER 3496 NEW BEST:: SOT 59243 SOS 13183 HAS SOPS 13183 HAS SOUS 12065 HAS SOUPS 12065 WITH SCORE 12078.183
AT ITER 3561 NEW BEST:: SOT 59243 SOS 13182 HAS SOPS 13182 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12077.182
AT ITER 3570 NEW BEST:: SOT 59230 SOS 13143 HAS SOPS 13143 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12065.143
AT ITER 3572 NEW BEST:: SOT 59219 SOS 13116 HAS SOPS 13116 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12038.116
AT ITER 3575 NEW BEST:: SOT 59204 SOS 13115 HAS SOPS 13115 HAS SOUS 12024 HAS SOUPS 12024 WITH SCORE 12037.115
AT ITER 3584 NEW BEST:: SOT 59194 SOS 12945 HAS SOPS 12945 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11959.945
AT ITER 3587 NEW BEST:: SOT 59183 SOS 12929 HAS SOPS 12929 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11951.929
AT ITER 3625 NEW BEST:: SOT 59183 SOS 12920 HAS SOPS 12920 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11942.92
AT ITER 3632 NEW BEST:: SOT 59179 SOS 12918 HAS SOPS 12918 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11942.918
AT ITER 3652 NEW BEST:: SOT 59170 SOS 12900 HAS SOPS 12900 HAS SOUS 11912 HAS SOUPS 11912 WITH SCORE 11924.9
AT ITER 3660 NEW BEST:: SOT 59165 SOS 12879 HAS SOPS 12879 HAS SOUS 11902 HAS SOUPS 11902 WITH SCORE 11914.879
AT ITER 3716 NEW BEST:: SOT 59165 SOS 12848 HAS SOPS 12848 HAS SOUS 11902 HAS SOUPS 11902 WITH SCORE 11914.848
AT ITER 3725 NEW BEST:: SOT 59164 SOS 12844 HAS SOPS 12844 HAS SOUS 11899 HAS SOUPS 11899 WITH SCORE 11911.844
AT ITER 3729 NEW BEST:: SOT 59144 SOS 12824 HAS SOPS 12824 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11891.824
AT ITER 3733 NEW BEST:: SOT 59144 SOS 12823 HAS SOPS 12823 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11890.823
AT ITER 3784 NEW BEST:: SOT 59134 SOS 12803 HAS SOPS 12803 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11870.803
AT ITER 3855 NEW BEST:: SOT 59134 SOS 12799 HAS SOPS 12799 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11870.799
AT ITER 3880 NEW BEST:: SOT 59110 SOS 12775 HAS SOPS 12775 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11870.775
AT ITER 3886 NEW BEST:: SOT 59108 SOS 12774 HAS SOPS 12774 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11869.774
AT ITER 3917 NEW BEST:: SOT 59105 SOS 12791 HAS SOPS 12791 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11863.791
AT ITER 3918 NEW BEST:: SOT 59106 SOS 12789 HAS SOPS 12789 HAS SOUS 11850 HAS SOUPS 11850 WITH SCORE 11862.789
AT ITER 3952 NEW BEST:: SOT 59116 SOS 12819 HAS SOPS 12819 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11858.819
AT ITER 3979 NEW BEST:: SOT 59133 SOS 12804 HAS SOPS 12804 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11843.804
AT ITER 4018 NEW BEST:: SOT 59133 SOS 12800 HAS SOPS 12800 HAS SOUS 11827 HAS SOUPS 11827 WITH SCORE 11839.8
AT ITER 4023 NEW BEST:: SOT 59151 SOS 12798 HAS SOPS 12798 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11837.798
AT ITER 4035 NEW BEST:: SOT 59137 SOS 12799 HAS SOPS 12799 HAS SOUS 11811 HAS SOUPS 11811 WITH SCORE 11823.799
AT ITER 4087 NEW BEST:: SOT 59173 SOS 12793 HAS SOPS 12793 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11819.793
AT ITER 4100 NEW BEST:: SOT 59169 SOS 12783 HAS SOPS 12783 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11811.783
AT ITER 4128 NEW BEST:: SOT 59159 SOS 12773 HAS SOPS 12773 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11801.773
AT ITER 4141 NEW BEST:: SOT 59153 SOS 12766 HAS SOPS 12766 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11800.766
AT ITER 4142 NEW BEST:: SOT 59090 SOS 12703 HAS SOPS 12703 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11737.703
AT ITER 4186 NEW BEST:: SOT 59069 SOS 12682 HAS SOPS 12682 HAS SOUS 11704 HAS SOUPS 11704 WITH SCORE 11716.682
AT ITER 4221 NEW BEST:: SOT 59053 SOS 12638 HAS SOPS 12638 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11689.638
AT ITER 4237 NEW BEST:: SOT 59043 SOS 12644 HAS SOPS 12644 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11687.644
AT ITER 4267 NEW BEST:: SOT 59033 SOS 12614 HAS SOPS 12614 HAS SOUS 11665 HAS SOUPS 11665 WITH SCORE 11677.614
AT ITER 4270 NEW BEST:: SOT 59032 SOS 12613 HAS SOPS 12613 HAS SOUS 11664 HAS SOUPS 11664 WITH SCORE 11676.613
AT ITER 4283 NEW BEST:: SOT 59028 SOS 12606 HAS SOPS 12606 HAS SOUS 11657 HAS SOUPS 11657 WITH SCORE 11669.606
AT ITER 4292 NEW BEST:: SOT 59028 SOS 12606 HAS SOPS 12606 HAS SOUS 11644 HAS SOUPS 11644 WITH SCORE 11656.606
AT ITER 4300 NEW BEST:: SOT 59023 SOS 12596 HAS SOPS 12596 HAS SOUS 11639 HAS SOUPS 11639 WITH SCORE 11651.596
AT ITER 4351 NEW BEST:: SOT 59012 SOS 12585 HAS SOPS 12585 HAS SOUS 11639 HAS SOUPS 11639 WITH SCORE 11651.585
AT ITER 4394 NEW BEST:: SOT 59010 SOS 12585 HAS SOPS 12585 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11628.585
AT ITER 4429 NEW BEST:: SOT 59010 SOS 12584 HAS SOPS 12584 HAS SOUS 11615 HAS SOUPS 11615 WITH SCORE 11627.584
AT ITER 4459 NEW BEST:: SOT 58985 SOS 12557 HAS SOPS 12557 HAS SOUS 11588 HAS SOUPS 11588 WITH SCORE 11600.557
AT ITER 4482 NEW BEST:: SOT 58985 SOS 12542 HAS SOPS 12542 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11595.542
AT ITER 4487 NEW BEST:: SOT 58975 SOS 12532 HAS SOPS 12532 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11585.532
AT ITER 4542 NEW BEST:: SOT 58979 SOS 12469 HAS SOPS 12469 HAS SOUS 11510 HAS SOUPS 11510 WITH SCORE 11522.469
AT ITER 4552 NEW BEST:: SOT 58977 SOS 12462 HAS SOPS 12462 HAS SOUS 11503 HAS SOUPS 11503 WITH SCORE 11515.462
AT ITER 4557 NEW BEST:: SOT 58958 SOS 12428 HAS SOPS 12428 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11500.428
AT ITER 4640 NEW BEST:: SOT 58958 SOS 12427 HAS SOPS 12427 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11500.427
AT ITER 4755 NEW BEST:: SOT 58962 SOS 12385 HAS SOPS 12385 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11458.385
AT ITER 4756 NEW BEST:: SOT 58962 SOS 12376 HAS SOPS 12376 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11458.376
AT ITER 4807 NEW BEST:: SOT 58962 SOS 12372 HAS SOPS 12372 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11458.372
AT ITER 4845 NEW BEST:: SOT 58962 SOS 12371 HAS SOPS 12371 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11457.371
AT ITER 4884 NEW BEST:: SOT 58951 SOS 12360 HAS SOPS 12360 HAS SOUS 11434 HAS SOUPS 11434 WITH SCORE 11446.36
AT ITER 4904 NEW BEST:: SOT 58953 SOS 12356 HAS SOPS 12356 HAS SOUS 11424 HAS SOUPS 11424 WITH SCORE 11436.356
AT ITER 4952 NEW BEST:: SOT 58953 SOS 12365 HAS SOPS 12365 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11432.365
AT ITER 5000 NEW BEST:: SOT 58947 SOS 12326 HAS SOPS 12326 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11414.326
AT ITER 5075 NEW BEST:: SOT 58928 SOS 12322 HAS SOPS 12322 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11365.322
AT ITER 5127 NEW BEST:: SOT 58923 SOS 12317 HAS SOPS 12317 HAS SOUS 11348 HAS SOUPS 11348 WITH SCORE 11360.317
AT ITER 5174 NEW BEST:: SOT 58914 SOS 12323 HAS SOPS 12323 HAS SOUS 11339 HAS SOUPS 11339 WITH SCORE 11351.323
AT ITER 5186 NEW BEST:: SOT 58898 SOS 12291 HAS SOPS 12291 HAS SOUS 11302 HAS SOUPS 11302 WITH SCORE 11314.291
AT ITER 5196 NEW BEST:: SOT 58894 SOS 12389 HAS SOPS 12389 HAS SOUS 11300 HAS SOUPS 11300 WITH SCORE 11312.389
AT ITER 5235 NEW BEST:: SOT 58889 SOS 12447 HAS SOPS 12447 HAS SOUS 11295 HAS SOUPS 11295 WITH SCORE 11307.447
AT ITER 5310 NEW BEST:: SOT 58897 SOS 12484 HAS SOPS 12484 HAS SOUS 11290 HAS SOUPS 11290 WITH SCORE 11302.484
AT ITER 5311 NEW BEST:: SOT 58866 SOS 12444 HAS SOPS 12444 HAS SOUS 11264 HAS SOUPS 11264 WITH SCORE 11276.444
AT ITER 5318 NEW BEST:: SOT 58862 SOS 12441 HAS SOPS 12441 HAS SOUS 11230 HAS SOUPS 11230 WITH SCORE 11242.441
AT ITER 5353 NEW BEST:: SOT 58867 SOS 12446 HAS SOPS 12446 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11238.446
AT ITER 5379 NEW BEST:: SOT 58867 SOS 12440 HAS SOPS 12440 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11235.44
AT ITER 5466 NEW BEST:: SOT 58867 SOS 12439 HAS SOPS 12439 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11234.439
AT ITER 5472 NEW BEST:: SOT 58865 SOS 12430 HAS SOPS 12430 HAS SOUS 11207 HAS SOUPS 11207 WITH SCORE 11219.43
AT ITER 5478 NEW BEST:: SOT 58865 SOS 12429 HAS SOPS 12429 HAS SOUS 11206 HAS SOUPS 11206 WITH SCORE 11218.429
AT ITER 5529 NEW BEST:: SOT 58845 SOS 12391 HAS SOPS 12391 HAS SOUS 11202 HAS SOUPS 11202 WITH SCORE 11214.391
AT ITER 5532 NEW BEST:: SOT 58842 SOS 12385 HAS SOPS 12385 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11211.385
AT ITER 5618 NEW BEST:: SOT 58856 SOS 12375 HAS SOPS 12375 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11206.375
AT ITER 5694 NEW BEST:: SOT 58855 SOS 12369 HAS SOPS 12369 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11205.369
AT ITER 5774 NEW BEST:: SOT 58849 SOS 12363 HAS SOPS 12363 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11199.363
AT ITER 5811 NEW BEST:: SOT 58859 SOS 12365 HAS SOPS 12365 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11188.365
AT ITER 5865 NEW BEST:: SOT 58851 SOS 12356 HAS SOPS 12356 HAS SOUS 11170 HAS SOUPS 11170 WITH SCORE 11182.356
AT ITER 5915 NEW BEST:: SOT 58839 SOS 12344 HAS SOPS 12344 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11170.344
AT ITER 5916 NEW BEST:: SOT 58839 SOS 12302 HAS SOPS 12302 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11170.302
AT ITER 5976 NEW BEST:: SOT 58832 SOS 12293 HAS SOPS 12293 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11167.293
AT ITER 5991 NEW BEST:: SOT 58832 SOS 12290 HAS SOPS 12290 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11167.29
AT ITER 6012 NEW BEST:: SOT 58823 SOS 12272 HAS SOPS 12272 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11149.272
AT ITER 6041 NEW BEST:: SOT 58810 SOS 12222 HAS SOPS 12222 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11136.222
AT ITER 6048 NEW BEST:: SOT 58823 SOS 12225 HAS SOPS 12225 HAS SOUS 11117 HAS SOUPS 11117 WITH SCORE 11129.225
AT ITER 6063 NEW BEST:: SOT 58810 SOS 12206 HAS SOPS 12206 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11116.206
AT ITER 6114 NEW BEST:: SOT 58810 SOS 12147 HAS SOPS 12147 HAS SOUS 11099 HAS SOUPS 11099 WITH SCORE 11111.147
AT ITER 6127 NEW BEST:: SOT 58814 SOS 12138 HAS SOPS 12138 HAS SOUS 11086 HAS SOUPS 11086 WITH SCORE 11098.138
AT ITER 6132 NEW BEST:: SOT 58807 SOS 12127 HAS SOPS 12127 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11095.127
AT ITER 6161 NEW BEST:: SOT 58809 SOS 12125 HAS SOPS 12125 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11093.125
AT ITER 6168 NEW BEST:: SOT 58796 SOS 12120 HAS SOPS 12120 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11088.12
AT ITER 6186 NEW BEST:: SOT 58792 SOS 12112 HAS SOPS 12112 HAS SOUS 11072 HAS SOUPS 11072 WITH SCORE 11084.112
AT ITER 6198 NEW BEST:: SOT 58801 SOS 12104 HAS SOPS 12104 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11076.104
AT ITER 6225 NEW BEST:: SOT 58805 SOS 12119 HAS SOPS 12119 HAS SOUS 11058 HAS SOUPS 11058 WITH SCORE 11070.119
AT ITER 6288 NEW BEST:: SOT 58804 SOS 12116 HAS SOPS 12116 HAS SOUS 11057 HAS SOUPS 11057 WITH SCORE 11069.116
AT ITER 6291 NEW BEST:: SOT 58784 SOS 12076 HAS SOPS 12076 HAS SOUS 11037 HAS SOUPS 11037 WITH SCORE 11049.076
AT ITER 6317 NEW BEST:: SOT 58784 SOS 12076 HAS SOPS 12076 HAS SOUS 11032 HAS SOUPS 11032 WITH SCORE 11044.076
AT ITER 6427 NEW BEST:: SOT 58779 SOS 12068 HAS SOPS 12068 HAS SOUS 11025 HAS SOUPS 11025 WITH SCORE 11037.068
AT ITER 6428 NEW BEST:: SOT 58754 SOS 12068 HAS SOPS 12068 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11012.068
AT ITER 6436 NEW BEST:: SOT 58756 SOS 11992 HAS SOPS 11992 HAS SOUS 10982 HAS SOUPS 10982 WITH SCORE 10993.992
AT ITER 6449 NEW BEST:: SOT 58752 SOS 11974 HAS SOPS 11974 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10975.974
AT ITER 6485 NEW BEST:: SOT 58753 SOS 11981 HAS SOPS 11981 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10972.981
AT ITER 6495 NEW BEST:: SOT 58768 SOS 12000 HAS SOPS 12000 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10959.0
AT ITER 6528 NEW BEST:: SOT 58764 SOS 11996 HAS SOPS 11996 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10958.996
AT ITER 6530 NEW BEST:: SOT 58752 SOS 11972 HAS SOPS 11972 HAS SOUS 10935 HAS SOUPS 10935 WITH SCORE 10946.972
AT ITER 6547 NEW BEST:: SOT 58747 SOS 11963 HAS SOPS 11963 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10937.963
AT ITER 6568 NEW BEST:: SOT 58737 SOS 11944 HAS SOPS 11944 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10918.944
AT ITER 6588 NEW BEST:: SOT 58725 SOS 11941 HAS SOPS 11941 HAS SOUS 10902 HAS SOUPS 10902 WITH SCORE 10913.941
AT ITER 6636 NEW BEST:: SOT 58726 SOS 11940 HAS SOPS 11940 HAS SOUS 10898 HAS SOUPS 10898 WITH SCORE 10909.94
AT ITER 6639 NEW BEST:: SOT 58726 SOS 11939 HAS SOPS 11939 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10908.939
AT ITER 6640 NEW BEST:: SOT 58726 SOS 12051 HAS SOPS 12051 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10903.051
AT ITER 6748 NEW BEST:: SOT 58716 SOS 12017 HAS SOPS 12017 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10884.017
AT ITER 6751 NEW BEST:: SOT 58721 SOS 11992 HAS SOPS 11992 HAS SOUS 10865 HAS SOUPS 10865 WITH SCORE 10876.992
AT ITER 6817 NEW BEST:: SOT 58721 SOS 11989 HAS SOPS 11989 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10873.989
AT ITER 6887 NEW BEST:: SOT 58719 SOS 11987 HAS SOPS 11987 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10871.987
AT ITER 6892 NEW BEST:: SOT 58719 SOS 11974 HAS SOPS 11974 HAS SOUS 10847 HAS SOUPS 10847 WITH SCORE 10858.974
AT ITER 7000 NEW BEST:: SOT 58718 SOS 11973 HAS SOPS 11973 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10857.973
AT ITER 7009 NEW BEST:: SOT 58718 SOS 11950 HAS SOPS 11950 HAS SOUS 10833 HAS SOUPS 10833 WITH SCORE 10844.95
AT ITER 7019 NEW BEST:: SOT 58688 SOS 11930 HAS SOPS 11930 HAS SOUS 10813 HAS SOUPS 10813 WITH SCORE 10824.93
AT ITER 7025 NEW BEST:: SOT 58688 SOS 11884 HAS SOPS 11884 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10822.884
AT ITER 7096 NEW BEST:: SOT 58691 SOS 11890 HAS SOPS 11890 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10821.89
AT ITER 7097 NEW BEST:: SOT 58690 SOS 11888 HAS SOPS 11888 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10819.888
AT ITER 7128 NEW BEST:: SOT 58690 SOS 11879 HAS SOPS 11879 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10810.879
AT ITER 7176 NEW BEST:: SOT 58691 SOS 11880 HAS SOPS 11880 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10805.88
AT ITER 7212 NEW BEST:: SOT 58692 SOS 11852 HAS SOPS 11852 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10797.852
AT ITER 7296 NEW BEST:: SOT 58692 SOS 11848 HAS SOPS 11848 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10793.848
AT ITER 7306 NEW BEST:: SOT 58687 SOS 11830 HAS SOPS 11830 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10775.83
AT ITER 7316 NEW BEST:: SOT 58684 SOS 11818 HAS SOPS 11818 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10772.818
AT ITER 7338 NEW BEST:: SOT 58683 SOS 11813 HAS SOPS 11813 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10770.813
AT ITER 7387 NEW BEST:: SOT 58678 SOS 11820 HAS SOPS 11820 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10746.82
AT ITER 7422 NEW BEST:: SOT 58678 SOS 11799 HAS SOPS 11799 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10746.799
AT ITER 7503 NEW BEST:: SOT 58682 SOS 11791 HAS SOPS 11791 HAS SOUS 10733 HAS SOUPS 10733 WITH SCORE 10744.791
AT ITER 7534 NEW BEST:: SOT 58681 SOS 11789 HAS SOPS 11789 HAS SOUS 10731 HAS SOUPS 10731 WITH SCORE 10742.789
AT ITER 7576 NEW BEST:: SOT 58664 SOS 11770 HAS SOPS 11770 HAS SOUS 10711 HAS SOUPS 10711 WITH SCORE 10722.77
AT ITER 7581 NEW BEST:: SOT 58664 SOS 11772 HAS SOPS 11772 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10718.772
AT ITER 7589 NEW BEST:: SOT 58676 SOS 11784 HAS SOPS 11784 HAS SOUS 10697 HAS SOUPS 10697 WITH SCORE 10708.784
AT ITER 7620 NEW BEST:: SOT 58674 SOS 11782 HAS SOPS 11782 HAS SOUS 10692 HAS SOUPS 10692 WITH SCORE 10703.782
AT ITER 7625 NEW BEST:: SOT 58673 SOS 11780 HAS SOPS 11780 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10701.78
AT ITER 7634 NEW BEST:: SOT 58673 SOS 11774 HAS SOPS 11774 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10698.774
AT ITER 7643 NEW BEST:: SOT 58662 SOS 11765 HAS SOPS 11765 HAS SOUS 10678 HAS SOUPS 10678 WITH SCORE 10689.765
AT ITER 7657 NEW BEST:: SOT 58662 SOS 11753 HAS SOPS 11753 HAS SOUS 10678 HAS SOUPS 10678 WITH SCORE 10689.753
AT ITER 7659 NEW BEST:: SOT 58661 SOS 11750 HAS SOPS 11750 HAS SOUS 10675 HAS SOUPS 10675 WITH SCORE 10686.75
AT ITER 7691 NEW BEST:: SOT 58645 SOS 11747 HAS SOPS 11747 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10674.747
AT ITER 7714 NEW BEST:: SOT 58642 SOS 11747 HAS SOPS 11747 HAS SOUS 10660 HAS SOUPS 10660 WITH SCORE 10671.747
AT ITER 7765 NEW BEST:: SOT 58632 SOS 11736 HAS SOPS 11736 HAS SOUS 10655 HAS SOUPS 10655 WITH SCORE 10666.736
AT ITER 7790 NEW BEST:: SOT 58618 SOS 11650 HAS SOPS 11650 HAS SOUS 10641 HAS SOUPS 10641 WITH SCORE 10652.65
AT ITER 7799 NEW BEST:: SOT 58618 SOS 11650 HAS SOPS 11650 HAS SOUS 10628 HAS SOUPS 10628 WITH SCORE 10639.65
AT ITER 7923 NEW BEST:: SOT 58622 SOS 11648 HAS SOPS 11648 HAS SOUS 10628 HAS SOUPS 10628 WITH SCORE 10639.648
AT ITER 7925 NEW BEST:: SOT 58622 SOS 11638 HAS SOPS 11638 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10628.638
AT ITER 7933 NEW BEST:: SOT 58627 SOS 11667 HAS SOPS 11667 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10627.667
AT ITER 7975 NEW BEST:: SOT 58627 SOS 11678 HAS SOPS 11678 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10606.678
AT ITER 8113 NEW BEST:: SOT 58626 SOS 11671 HAS SOPS 11671 HAS SOUS 10585 HAS SOUPS 10585 WITH SCORE 10596.671
AT ITER 8150 NEW BEST:: SOT 58626 SOS 11666 HAS SOPS 11666 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10595.666
AT ITER 8204 NEW BEST:: SOT 58625 SOS 11665 HAS SOPS 11665 HAS SOUS 10583 HAS SOUPS 10583 WITH SCORE 10594.665
AT ITER 8241 NEW BEST:: SOT 58621 SOS 11654 HAS SOPS 11654 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10582.654
AT ITER 8255 NEW BEST:: SOT 58606 SOS 11652 HAS SOPS 11652 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10580.652
AT ITER 8284 NEW BEST:: SOT 58606 SOS 11645 HAS SOPS 11645 HAS SOUS 10565 HAS SOUPS 10565 WITH SCORE 10576.645
AT ITER 8315 NEW BEST:: SOT 58606 SOS 11629 HAS SOPS 11629 HAS SOUS 10565 HAS SOUPS 10565 WITH SCORE 10576.629
AT ITER 8406 NEW BEST:: SOT 58606 SOS 11611 HAS SOPS 11611 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10541.611
AT ITER 8443 NEW BEST:: SOT 58606 SOS 11581 HAS SOPS 11581 HAS SOUS 10514 HAS SOUPS 10514 WITH SCORE 10525.581
AT ITER 8462 NEW BEST:: SOT 58606 SOS 11579 HAS SOPS 11579 HAS SOUS 10513 HAS SOUPS 10513 WITH SCORE 10524.579
AT ITER 8468 NEW BEST:: SOT 58604 SOS 11575 HAS SOPS 11575 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10520.575
AT ITER 8489 NEW BEST:: SOT 58571 SOS 11542 HAS SOPS 11542 HAS SOUS 10476 HAS SOUPS 10476 WITH SCORE 10487.542
AT ITER 8541 NEW BEST:: SOT 58571 SOS 11551 HAS SOPS 11551 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10467.551
AT ITER 8548 NEW BEST:: SOT 58571 SOS 11562 HAS SOPS 11562 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10462.562
AT ITER 8566 NEW BEST:: SOT 58571 SOS 11557 HAS SOPS 11557 HAS SOUS 10446 HAS SOUPS 10446 WITH SCORE 10457.557
AT ITER 8598 NEW BEST:: SOT 58567 SOS 11554 HAS SOPS 11554 HAS SOUS 10441 HAS SOUPS 10441 WITH SCORE 10452.554
AT ITER 8632 NEW BEST:: SOT 58565 SOS 11552 HAS SOPS 11552 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10450.552
AT ITER 8723 NEW BEST:: SOT 58572 SOS 11561 HAS SOPS 11561 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10442.561
AT ITER 8811 NEW BEST:: SOT 58569 SOS 11555 HAS SOPS 11555 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10436.555
AT ITER 8814 NEW BEST:: SOT 58543 SOS 11577 HAS SOPS 11577 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10430.577
AT ITER 8850 NEW BEST:: SOT 58564 SOS 11589 HAS SOPS 11589 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10420.589
AT ITER 8957 NEW BEST:: SOT 58559 SOS 11584 HAS SOPS 11584 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10415.584
AT ITER 8975 NEW BEST:: SOT 58559 SOS 11578 HAS SOPS 11578 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10409.578
AT ITER 9107 NEW BEST:: SOT 58559 SOS 11570 HAS SOPS 11570 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10401.57
AT ITER 9256 NEW BEST:: SOT 58550 SOS 11569 HAS SOPS 11569 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10400.569
AT ITER 9305 NEW BEST:: SOT 58549 SOS 11577 HAS SOPS 11577 HAS SOUS 10388 HAS SOUPS 10388 WITH SCORE 10399.577
AT ITER 9437 NEW BEST:: SOT 58548 SOS 11575 HAS SOPS 11575 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10398.575
AT ITER 9558 NEW BEST:: SOT 58533 SOS 11573 HAS SOPS 11573 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10397.573
AT ITER 9625 NEW BEST:: SOT 58517 SOS 11577 HAS SOPS 11577 HAS SOUS 10380 HAS SOUPS 10380 WITH SCORE 10391.577
AT ITER 9637 NEW BEST:: SOT 58517 SOS 11576 HAS SOPS 11576 HAS SOUS 10379 HAS SOUPS 10379 WITH SCORE 10390.576
AT ITER 9642 NEW BEST:: SOT 58511 SOS 11566 HAS SOPS 11566 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10385.566
AT ITER 9646 NEW BEST:: SOT 58511 SOS 11563 HAS SOPS 11563 HAS SOUS 10371 HAS SOUPS 10371 WITH SCORE 10382.563
AT ITER 9782 NEW BEST:: SOT 58511 SOS 11560 HAS SOPS 11560 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10379.56
AT ITER 9802 NEW BEST:: SOT 58513 SOS 11561 HAS SOPS 11561 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10378.561
AT ITER 9867 NEW BEST:: SOT 58513 SOS 11561 HAS SOPS 11561 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10369.561
AT ITER 9875 NEW BEST:: SOT 58513 SOS 11549 HAS SOPS 11549 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10369.549
AT ITER 9932 NEW BEST:: SOT 58516 SOS 11552 HAS SOPS 11552 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10367.552
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3526420 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154116 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="ShieldPPPs-PT-005B"
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 ShieldPPPs-PT-005B, 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 r387-oct2-167903711800432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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