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.r451-smll-167912643200200.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 SmartHome-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643200200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 6.1K Feb 26 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 05:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 05:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 05:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 101K Feb 26 05:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 56K 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 1679182586043

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=SmartHome-PT-06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 06
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: 219 places, 254 transitions, 581 arcs.
AT ITER 0 NEW BEST:: SOT 33184 SOS 8188 HAS SOPS 8188 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7903.188
AT ITER 2 NEW BEST:: SOT 33180 SOS 8180 HAS SOPS 8180 HAS SOUS 7891 HAS SOUPS 7891 WITH SCORE 7899.18
AT ITER 4 NEW BEST:: SOT 33203 SOS 8226 HAS SOPS 8226 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7890.226
AT ITER 12 NEW BEST:: SOT 33194 SOS 8208 HAS SOPS 8208 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7845.208
AT ITER 26 NEW BEST:: SOT 33205 SOS 8180 HAS SOPS 8180 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7817.18
AT ITER 27 NEW BEST:: SOT 33185 SOS 8155 HAS SOPS 8155 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7792.155
AT ITER 29 NEW BEST:: SOT 32949 SOS 8033 HAS SOPS 8033 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7600.033
AT ITER 31 NEW BEST:: SOT 32948 SOS 8031 HAS SOPS 8031 HAS SOUS 7590 HAS SOUPS 7590 WITH SCORE 7598.031
AT ITER 35 NEW BEST:: SOT 32948 SOS 8009 HAS SOPS 8009 HAS SOUS 7579 HAS SOUPS 7579 WITH SCORE 7587.009
AT ITER 39 NEW BEST:: SOT 32931 SOS 7992 HAS SOPS 7992 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7568.992
AT ITER 47 NEW BEST:: SOT 32931 SOS 7991 HAS SOPS 7991 HAS SOUS 7560 HAS SOUPS 7560 WITH SCORE 7567.991
AT ITER 57 NEW BEST:: SOT 32931 SOS 7991 HAS SOPS 7991 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7566.991
AT ITER 80 NEW BEST:: SOT 32911 SOS 7951 HAS SOPS 7951 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7546.951
AT ITER 88 NEW BEST:: SOT 32895 SOS 7919 HAS SOPS 7919 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7514.919
AT ITER 129 NEW BEST:: SOT 32892 SOS 7913 HAS SOPS 7913 HAS SOUS 7501 HAS SOUPS 7501 WITH SCORE 7508.913
AT ITER 131 NEW BEST:: SOT 32885 SOS 7899 HAS SOPS 7899 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7494.899
AT ITER 146 NEW BEST:: SOT 32885 SOS 7884 HAS SOPS 7884 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7479.884
AT ITER 193 NEW BEST:: SOT 32880 SOS 7879 HAS SOPS 7879 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7474.879
AT ITER 199 NEW BEST:: SOT 32880 SOS 7873 HAS SOPS 7873 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7468.873
AT ITER 233 NEW BEST:: SOT 32870 SOS 7863 HAS SOPS 7863 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7458.863
AT ITER 247 NEW BEST:: SOT 32835 SOS 7878 HAS SOPS 7878 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7446.878
AT ITER 252 NEW BEST:: SOT 32724 SOS 7960 HAS SOPS 7960 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7351.96
AT ITER 265 NEW BEST:: SOT 32710 SOS 7882 HAS SOPS 7882 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7312.882
AT ITER 285 NEW BEST:: SOT 32710 SOS 7876 HAS SOPS 7876 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7306.876
AT ITER 286 NEW BEST:: SOT 32696 SOS 7834 HAS SOPS 7834 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7292.834
AT ITER 298 NEW BEST:: SOT 32529 SOS 7759 HAS SOPS 7759 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7161.759
AT ITER 306 NEW BEST:: SOT 32528 SOS 7757 HAS SOPS 7757 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7159.757
AT ITER 320 NEW BEST:: SOT 32394 SOS 8634 HAS SOPS 8634 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7159.634
AT ITER 321 NEW BEST:: SOT 32398 SOS 8625 HAS SOPS 8625 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7150.625
AT ITER 327 NEW BEST:: SOT 32387 SOS 8603 HAS SOPS 8603 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7139.603
AT ITER 335 NEW BEST:: SOT 32353 SOS 8535 HAS SOPS 8535 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7071.535
AT ITER 345 NEW BEST:: SOT 32329 SOS 8524 HAS SOPS 8524 HAS SOUS 7062 HAS SOUPS 7062 WITH SCORE 7070.524
AT ITER 357 NEW BEST:: SOT 32323 SOS 8527 HAS SOPS 8527 HAS SOUS 7056 HAS SOUPS 7056 WITH SCORE 7064.527
AT ITER 359 NEW BEST:: SOT 32308 SOS 8497 HAS SOPS 8497 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7034.497
AT ITER 372 NEW BEST:: SOT 32308 SOS 8496 HAS SOPS 8496 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7033.496
AT ITER 376 NEW BEST:: SOT 32259 SOS 8398 HAS SOPS 8398 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.398
AT ITER 382 NEW BEST:: SOT 31968 SOS 8691 HAS SOPS 8691 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6773.691
AT ITER 384 NEW BEST:: SOT 31934 SOS 8623 HAS SOPS 8623 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6705.623
AT ITER 389 NEW BEST:: SOT 31934 SOS 8616 HAS SOPS 8616 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6698.616
AT ITER 392 NEW BEST:: SOT 31934 SOS 8606 HAS SOPS 8606 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6688.606
AT ITER 401 NEW BEST:: SOT 31935 SOS 8605 HAS SOPS 8605 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6684.605
AT ITER 409 NEW BEST:: SOT 31932 SOS 8582 HAS SOPS 8582 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6678.582
AT ITER 422 NEW BEST:: SOT 31931 SOS 8580 HAS SOPS 8580 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6676.58
AT ITER 435 NEW BEST:: SOT 31915 SOS 8568 HAS SOPS 8568 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6664.568
AT ITER 481 NEW BEST:: SOT 31842 SOS 8774 HAS SOPS 8774 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6610.774
AT ITER 482 NEW BEST:: SOT 31842 SOS 8767 HAS SOPS 8767 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6603.767
AT ITER 513 NEW BEST:: SOT 31832 SOS 8752 HAS SOPS 8752 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6587.752
AT ITER 518 NEW BEST:: SOT 31816 SOS 8747 HAS SOPS 8747 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6578.747
AT ITER 531 NEW BEST:: SOT 31815 SOS 8731 HAS SOPS 8731 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6576.731
AT ITER 533 NEW BEST:: SOT 31803 SOS 8683 HAS SOPS 8683 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6564.683
AT ITER 538 NEW BEST:: SOT 31801 SOS 8679 HAS SOPS 8679 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6560.679
AT ITER 550 NEW BEST:: SOT 31798 SOS 8676 HAS SOPS 8676 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6560.676
AT ITER 551 NEW BEST:: SOT 31797 SOS 8674 HAS SOPS 8674 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.674
AT ITER 560 NEW BEST:: SOT 31792 SOS 8663 HAS SOPS 8663 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6547.663
AT ITER 575 NEW BEST:: SOT 31785 SOS 8652 HAS SOPS 8652 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6536.652
AT ITER 581 NEW BEST:: SOT 31783 SOS 8648 HAS SOPS 8648 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6532.648
AT ITER 595 NEW BEST:: SOT 31776 SOS 8634 HAS SOPS 8634 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6518.634
AT ITER 604 NEW BEST:: SOT 31748 SOS 8592 HAS SOPS 8592 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6490.592
AT ITER 619 NEW BEST:: SOT 31747 SOS 8590 HAS SOPS 8590 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6489.59
AT ITER 628 NEW BEST:: SOT 31751 SOS 8585 HAS SOPS 8585 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6484.585
AT ITER 650 NEW BEST:: SOT 31741 SOS 8593 HAS SOPS 8593 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6478.593
AT ITER 652 NEW BEST:: SOT 31741 SOS 8586 HAS SOPS 8586 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6467.586
AT ITER 655 NEW BEST:: SOT 31711 SOS 8526 HAS SOPS 8526 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6407.526
AT ITER 671 NEW BEST:: SOT 31675 SOS 8454 HAS SOPS 8454 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6358.454
AT ITER 680 NEW BEST:: SOT 31621 SOS 8447 HAS SOPS 8447 HAS SOUS 6340 HAS SOUPS 6340 WITH SCORE 6348.447
AT ITER 724 NEW BEST:: SOT 31617 SOS 8439 HAS SOPS 8439 HAS SOUS 6340 HAS SOUPS 6340 WITH SCORE 6348.439
AT ITER 734 NEW BEST:: SOT 31640 SOS 8438 HAS SOPS 8438 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6347.438
AT ITER 759 NEW BEST:: SOT 31638 SOS 8434 HAS SOPS 8434 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6346.434
AT ITER 767 NEW BEST:: SOT 31621 SOS 8400 HAS SOPS 8400 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6330.4
AT ITER 768 NEW BEST:: SOT 31610 SOS 8391 HAS SOPS 8391 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6321.391
AT ITER 781 NEW BEST:: SOT 31604 SOS 8385 HAS SOPS 8385 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6308.385
AT ITER 796 NEW BEST:: SOT 31602 SOS 8373 HAS SOPS 8373 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6306.373
AT ITER 846 NEW BEST:: SOT 31598 SOS 8365 HAS SOPS 8365 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6295.365
AT ITER 853 NEW BEST:: SOT 31581 SOS 8331 HAS SOPS 8331 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6278.331
AT ITER 900 NEW BEST:: SOT 31577 SOS 8323 HAS SOPS 8323 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6225.323
AT ITER 902 NEW BEST:: SOT 31578 SOS 8322 HAS SOPS 8322 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6224.322
AT ITER 931 NEW BEST:: SOT 31567 SOS 8300 HAS SOPS 8300 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6213.3
AT ITER 944 NEW BEST:: SOT 31639 SOS 8386 HAS SOPS 8386 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6207.386
AT ITER 948 NEW BEST:: SOT 31639 SOS 8374 HAS SOPS 8374 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6198.374
AT ITER 986 NEW BEST:: SOT 31632 SOS 8406 HAS SOPS 8406 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6197.406
AT ITER 987 NEW BEST:: SOT 31623 SOS 8397 HAS SOPS 8397 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6197.397
AT ITER 998 NEW BEST:: SOT 31584 SOS 8358 HAS SOPS 8358 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6197.358
AT ITER 1011 NEW BEST:: SOT 31580 SOS 8350 HAS SOPS 8350 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6189.35
AT ITER 1018 NEW BEST:: SOT 31577 SOS 8344 HAS SOPS 8344 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6183.344
AT ITER 1031 NEW BEST:: SOT 31497 SOS 8292 HAS SOPS 8292 HAS SOUS 6104 HAS SOUPS 6104 WITH SCORE 6112.292
AT ITER 1043 NEW BEST:: SOT 31492 SOS 8287 HAS SOPS 8287 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6107.287
AT ITER 1047 NEW BEST:: SOT 31449 SOS 8201 HAS SOPS 8201 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6064.201
AT ITER 1071 NEW BEST:: SOT 31441 SOS 8212 HAS SOPS 8212 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6048.212
AT ITER 1079 NEW BEST:: SOT 31454 SOS 8222 HAS SOPS 8222 HAS SOUS 6027 HAS SOUPS 6027 WITH SCORE 6035.222
AT ITER 1084 NEW BEST:: SOT 31454 SOS 8169 HAS SOPS 8169 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6016.169
AT ITER 1107 NEW BEST:: SOT 31451 SOS 8163 HAS SOPS 8163 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6013.163
AT ITER 1114 NEW BEST:: SOT 31457 SOS 8175 HAS SOPS 8175 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6008.175
AT ITER 1158 NEW BEST:: SOT 31454 SOS 8169 HAS SOPS 8169 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6005.169
AT ITER 1165 NEW BEST:: SOT 31443 SOS 8158 HAS SOPS 8158 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5994.158
AT ITER 1169 NEW BEST:: SOT 31478 SOS 8162 HAS SOPS 8162 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5961.162
AT ITER 1182 NEW BEST:: SOT 31460 SOS 8126 HAS SOPS 8126 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5925.126
AT ITER 1212 NEW BEST:: SOT 31453 SOS 8119 HAS SOPS 8119 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5918.119
AT ITER 1213 NEW BEST:: SOT 31442 SOS 8110 HAS SOPS 8110 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5909.11
AT ITER 1231 NEW BEST:: SOT 31433 SOS 8083 HAS SOPS 8083 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5844.083
AT ITER 1268 NEW BEST:: SOT 31428 SOS 8073 HAS SOPS 8073 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5834.073
AT ITER 1311 NEW BEST:: SOT 31402 SOS 8034 HAS SOPS 8034 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5795.034
AT ITER 1340 NEW BEST:: SOT 31406 SOS 8020 HAS SOPS 8020 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5789.02
AT ITER 1362 NEW BEST:: SOT 31404 SOS 8014 HAS SOPS 8014 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5783.014
AT ITER 1369 NEW BEST:: SOT 31383 SOS 7972 HAS SOPS 7972 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5761.972
AT ITER 1401 NEW BEST:: SOT 31387 SOS 7967 HAS SOPS 7967 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5756.967
AT ITER 1402 NEW BEST:: SOT 31355 SOS 7874 HAS SOPS 7874 HAS SOUS 5697 HAS SOUPS 5697 WITH SCORE 5704.874
AT ITER 1419 NEW BEST:: SOT 31363 SOS 7861 HAS SOPS 7861 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5683.861
AT ITER 1421 NEW BEST:: SOT 31357 SOS 7849 HAS SOPS 7849 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5665.849
AT ITER 1425 NEW BEST:: SOT 31304 SOS 7782 HAS SOPS 7782 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5664.782
AT ITER 1434 NEW BEST:: SOT 31303 SOS 7780 HAS SOPS 7780 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5662.78
AT ITER 1448 NEW BEST:: SOT 31285 SOS 7757 HAS SOPS 7757 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5639.757
AT ITER 1483 NEW BEST:: SOT 31282 SOS 7718 HAS SOPS 7718 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5622.718
AT ITER 1490 NEW BEST:: SOT 31266 SOS 7686 HAS SOPS 7686 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5590.686
AT ITER 1496 NEW BEST:: SOT 31252 SOS 7669 HAS SOPS 7669 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5584.669
AT ITER 1499 NEW BEST:: SOT 31233 SOS 7658 HAS SOPS 7658 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5573.658
AT ITER 1529 NEW BEST:: SOT 31243 SOS 7648 HAS SOPS 7648 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5563.648
AT ITER 1556 NEW BEST:: SOT 31237 SOS 7636 HAS SOPS 7636 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5559.636
AT ITER 1559 NEW BEST:: SOT 31237 SOS 7615 HAS SOPS 7615 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5538.615
AT ITER 1586 NEW BEST:: SOT 31237 SOS 7609 HAS SOPS 7609 HAS SOUS 5525 HAS SOUPS 5525 WITH SCORE 5532.609
AT ITER 1591 NEW BEST:: SOT 31231 SOS 7597 HAS SOPS 7597 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5520.597
AT ITER 1628 NEW BEST:: SOT 31171 SOS 7575 HAS SOPS 7575 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5505.575
AT ITER 1635 NEW BEST:: SOT 31177 SOS 7587 HAS SOPS 7587 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5490.587
AT ITER 1648 NEW BEST:: SOT 31177 SOS 7575 HAS SOPS 7575 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5490.575
AT ITER 1674 NEW BEST:: SOT 31137 SOS 7508 HAS SOPS 7508 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5476.508
AT ITER 1685 NEW BEST:: SOT 31132 SOS 7498 HAS SOPS 7498 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5473.498
AT ITER 1709 NEW BEST:: SOT 31125 SOS 7484 HAS SOPS 7484 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5459.484
AT ITER 1766 NEW BEST:: SOT 31128 SOS 7490 HAS SOPS 7490 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5441.49
AT ITER 1767 NEW BEST:: SOT 31123 SOS 7480 HAS SOPS 7480 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5441.48
AT ITER 1791 NEW BEST:: SOT 31105 SOS 7447 HAS SOPS 7447 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5438.447
AT ITER 1820 NEW BEST:: SOT 31102 SOS 7441 HAS SOPS 7441 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5432.441
AT ITER 1838 NEW BEST:: SOT 31093 SOS 7421 HAS SOPS 7421 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5410.421
AT ITER 1842 NEW BEST:: SOT 31104 SOS 7443 HAS SOPS 7443 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5379.443
AT ITER 1843 NEW BEST:: SOT 31124 SOS 7468 HAS SOPS 7468 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5377.468
AT ITER 1859 NEW BEST:: SOT 31104 SOS 7470 HAS SOPS 7470 HAS SOUS 5341 HAS SOUPS 5341 WITH SCORE 5348.47
AT ITER 1874 NEW BEST:: SOT 31112 SOS 7481 HAS SOPS 7481 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5346.481
AT ITER 1914 NEW BEST:: SOT 31105 SOS 7474 HAS SOPS 7474 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5339.474
AT ITER 1950 NEW BEST:: SOT 31110 SOS 7445 HAS SOPS 7445 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5332.445
AT ITER 1971 NEW BEST:: SOT 31104 SOS 7442 HAS SOPS 7442 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5326.442
AT ITER 2081 NEW BEST:: SOT 31101 SOS 7430 HAS SOPS 7430 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5320.43
AT ITER 2085 NEW BEST:: SOT 31088 SOS 7411 HAS SOPS 7411 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5315.411
AT ITER 2116 NEW BEST:: SOT 31035 SOS 7511 HAS SOPS 7511 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5303.511
AT ITER 2122 NEW BEST:: SOT 31036 SOS 7493 HAS SOPS 7493 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5283.493
AT ITER 2124 NEW BEST:: SOT 31014 SOS 7363 HAS SOPS 7363 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5221.363
AT ITER 2156 NEW BEST:: SOT 31011 SOS 7350 HAS SOPS 7350 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5212.35
AT ITER 2219 NEW BEST:: SOT 31014 SOS 7353 HAS SOPS 7353 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5204.353
AT ITER 2230 NEW BEST:: SOT 31009 SOS 7370 HAS SOPS 7370 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5200.37
AT ITER 2270 NEW BEST:: SOT 31000 SOS 7354 HAS SOPS 7354 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5194.354
AT ITER 2301 NEW BEST:: SOT 30992 SOS 7338 HAS SOPS 7338 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5178.338
AT ITER 2305 NEW BEST:: SOT 30984 SOS 7330 HAS SOPS 7330 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5166.33
AT ITER 2310 NEW BEST:: SOT 30971 SOS 7298 HAS SOPS 7298 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5153.298
AT ITER 2346 NEW BEST:: SOT 30912 SOS 7610 HAS SOPS 7610 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5146.61
AT ITER 2368 NEW BEST:: SOT 30910 SOS 7608 HAS SOPS 7608 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5144.608
AT ITER 2402 NEW BEST:: SOT 30908 SOS 7608 HAS SOPS 7608 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5143.608
AT ITER 2408 NEW BEST:: SOT 30904 SOS 7600 HAS SOPS 7600 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5139.6
AT ITER 2433 NEW BEST:: SOT 30908 SOS 7604 HAS SOPS 7604 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5133.604
AT ITER 2437 NEW BEST:: SOT 30902 SOS 7592 HAS SOPS 7592 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5127.592
AT ITER 2440 NEW BEST:: SOT 30901 SOS 7590 HAS SOPS 7590 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5125.59
AT ITER 2485 NEW BEST:: SOT 30870 SOS 7559 HAS SOPS 7559 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5087.559
AT ITER 2491 NEW BEST:: SOT 30870 SOS 7559 HAS SOPS 7559 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5086.559
AT ITER 2494 NEW BEST:: SOT 30830 SOS 7432 HAS SOPS 7432 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5069.432
AT ITER 2504 NEW BEST:: SOT 30828 SOS 7430 HAS SOPS 7430 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5062.43
AT ITER 2516 NEW BEST:: SOT 30829 SOS 7411 HAS SOPS 7411 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5043.411
AT ITER 2519 NEW BEST:: SOT 30830 SOS 7412 HAS SOPS 7412 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5042.412
AT ITER 2533 NEW BEST:: SOT 30762 SOS 7276 HAS SOPS 7276 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5028.276
AT ITER 2537 NEW BEST:: SOT 30789 SOS 7309 HAS SOPS 7309 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5019.309
AT ITER 2560 NEW BEST:: SOT 30749 SOS 7208 HAS SOPS 7208 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4960.208
AT ITER 2605 NEW BEST:: SOT 30728 SOS 7166 HAS SOPS 7166 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4918.166
AT ITER 2616 NEW BEST:: SOT 30728 SOS 7166 HAS SOPS 7166 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4916.166
AT ITER 2631 NEW BEST:: SOT 30726 SOS 7164 HAS SOPS 7164 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4916.164
AT ITER 2642 NEW BEST:: SOT 30709 SOS 7130 HAS SOPS 7130 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4899.13
AT ITER 2650 NEW BEST:: SOT 30698 SOS 7119 HAS SOPS 7119 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4888.119
AT ITER 2660 NEW BEST:: SOT 30693 SOS 7113 HAS SOPS 7113 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4882.113
AT ITER 2718 NEW BEST:: SOT 30688 SOS 7019 HAS SOPS 7019 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4871.019
AT ITER 2719 NEW BEST:: SOT 30683 SOS 7009 HAS SOPS 7009 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4864.009
AT ITER 2831 NEW BEST:: SOT 30679 SOS 7001 HAS SOPS 7001 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4864.001
AT ITER 2834 NEW BEST:: SOT 30679 SOS 7001 HAS SOPS 7001 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4863.001
AT ITER 2851 NEW BEST:: SOT 30677 SOS 6997 HAS SOPS 6997 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4858.997
AT ITER 2877 NEW BEST:: SOT 30673 SOS 6989 HAS SOPS 6989 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4850.989
AT ITER 2878 NEW BEST:: SOT 30660 SOS 6976 HAS SOPS 6976 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4850.976
AT ITER 2891 NEW BEST:: SOT 30648 SOS 6964 HAS SOPS 6964 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4826.964
AT ITER 2901 NEW BEST:: SOT 30641 SOS 6950 HAS SOPS 6950 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4819.95
AT ITER 2933 NEW BEST:: SOT 30640 SOS 6948 HAS SOPS 6948 HAS SOUS 4811 HAS SOUPS 4811 WITH SCORE 4817.948
AT ITER 2939 NEW BEST:: SOT 30635 SOS 6943 HAS SOPS 6943 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4812.943
AT ITER 2954 NEW BEST:: SOT 30638 SOS 6942 HAS SOPS 6942 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4811.942
AT ITER 2969 NEW BEST:: SOT 30638 SOS 6936 HAS SOPS 6936 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4811.936
AT ITER 2989 NEW BEST:: SOT 30639 SOS 6937 HAS SOPS 6937 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4802.937
AT ITER 2999 NEW BEST:: SOT 30599 SOS 6857 HAS SOPS 6857 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4800.857
AT ITER 3018 NEW BEST:: SOT 30537 SOS 7925 HAS SOPS 7925 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4789.925
AT ITER 3044 NEW BEST:: SOT 30560 SOS 7459 HAS SOPS 7459 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4775.459
AT ITER 3052 NEW BEST:: SOT 30538 SOS 7441 HAS SOPS 7441 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4757.441
AT ITER 3055 NEW BEST:: SOT 30537 SOS 7439 HAS SOPS 7439 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4756.439
AT ITER 3059 NEW BEST:: SOT 30535 SOS 7397 HAS SOPS 7397 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4750.397
AT ITER 3079 NEW BEST:: SOT 30535 SOS 7394 HAS SOPS 7394 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4747.394
AT ITER 3090 NEW BEST:: SOT 30517 SOS 7388 HAS SOPS 7388 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4679.388
AT ITER 3119 NEW BEST:: SOT 30517 SOS 7388 HAS SOPS 7388 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4664.388
AT ITER 3128 NEW BEST:: SOT 30511 SOS 7373 HAS SOPS 7373 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4652.373
AT ITER 3237 NEW BEST:: SOT 30508 SOS 7364 HAS SOPS 7364 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4645.364
AT ITER 3268 NEW BEST:: SOT 30508 SOS 7318 HAS SOPS 7318 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4630.318
AT ITER 3313 NEW BEST:: SOT 30489 SOS 7295 HAS SOPS 7295 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4623.295
AT ITER 3350 NEW BEST:: SOT 30485 SOS 7287 HAS SOPS 7287 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4617.287
AT ITER 3379 NEW BEST:: SOT 30482 SOS 7281 HAS SOPS 7281 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4614.281
AT ITER 3416 NEW BEST:: SOT 30480 SOS 7277 HAS SOPS 7277 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4612.277
AT ITER 3420 NEW BEST:: SOT 30465 SOS 7262 HAS SOPS 7262 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4608.262
AT ITER 3466 NEW BEST:: SOT 30465 SOS 7262 HAS SOPS 7262 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4604.262
AT ITER 3511 NEW BEST:: SOT 30461 SOS 7254 HAS SOPS 7254 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4596.254
AT ITER 3531 NEW BEST:: SOT 30447 SOS 7226 HAS SOPS 7226 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4582.226
AT ITER 3574 NEW BEST:: SOT 30451 SOS 7230 HAS SOPS 7230 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4575.23
AT ITER 3587 NEW BEST:: SOT 30446 SOS 7220 HAS SOPS 7220 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4565.22
AT ITER 3606 NEW BEST:: SOT 30453 SOS 7199 HAS SOPS 7199 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4559.199
AT ITER 3619 NEW BEST:: SOT 30437 SOS 7152 HAS SOPS 7152 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4548.152
AT ITER 3623 NEW BEST:: SOT 30437 SOS 7165 HAS SOPS 7165 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4547.165
AT ITER 3649 NEW BEST:: SOT 30437 SOS 7165 HAS SOPS 7165 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4546.165
AT ITER 3653 NEW BEST:: SOT 30435 SOS 7161 HAS SOPS 7161 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4539.161
AT ITER 3661 NEW BEST:: SOT 30435 SOS 7161 HAS SOPS 7161 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4537.161
AT ITER 3672 NEW BEST:: SOT 30416 SOS 7123 HAS SOPS 7123 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4529.123
AT ITER 3748 NEW BEST:: SOT 30415 SOS 7121 HAS SOPS 7121 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4527.121
AT ITER 3772 NEW BEST:: SOT 30415 SOS 7121 HAS SOPS 7121 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4526.121
AT ITER 3781 NEW BEST:: SOT 30393 SOS 7024 HAS SOPS 7024 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4475.024
AT ITER 3794 NEW BEST:: SOT 30393 SOS 7016 HAS SOPS 7016 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4475.016
AT ITER 3805 NEW BEST:: SOT 30393 SOS 7015 HAS SOPS 7015 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4475.015
AT ITER 3824 NEW BEST:: SOT 30389 SOS 7011 HAS SOPS 7011 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4471.011
AT ITER 3828 NEW BEST:: SOT 30386 SOS 7005 HAS SOPS 7005 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4465.005
AT ITER 3843 NEW BEST:: SOT 30383 SOS 6999 HAS SOPS 6999 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4457.999
AT ITER 3861 NEW BEST:: SOT 30383 SOS 6995 HAS SOPS 6995 HAS SOUS 4447 HAS SOUPS 4447 WITH SCORE 4453.995
AT ITER 3901 NEW BEST:: SOT 30359 SOS 6959 HAS SOPS 6959 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4429.959
AT ITER 3905 NEW BEST:: SOT 30343 SOS 6927 HAS SOPS 6927 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4429.927
AT ITER 3920 NEW BEST:: SOT 30327 SOS 6902 HAS SOPS 6902 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4424.902
AT ITER 3921 NEW BEST:: SOT 30324 SOS 6899 HAS SOPS 6899 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4404.899
AT ITER 3937 NEW BEST:: SOT 30322 SOS 6891 HAS SOPS 6891 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4398.891
AT ITER 3964 NEW BEST:: SOT 30314 SOS 6883 HAS SOPS 6883 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4383.883
AT ITER 4063 NEW BEST:: SOT 30304 SOS 6876 HAS SOPS 6876 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4376.876
AT ITER 4070 NEW BEST:: SOT 30307 SOS 6878 HAS SOPS 6878 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4375.878
AT ITER 4077 NEW BEST:: SOT 30293 SOS 6990 HAS SOPS 6990 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4371.99
AT ITER 4084 NEW BEST:: SOT 30289 SOS 6983 HAS SOPS 6983 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4368.983
AT ITER 4089 NEW BEST:: SOT 30277 SOS 7041 HAS SOPS 7041 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4364.041
AT ITER 4092 NEW BEST:: SOT 30277 SOS 7041 HAS SOPS 7041 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4333.041
AT ITER 4117 NEW BEST:: SOT 30260 SOS 7024 HAS SOPS 7024 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4316.024
AT ITER 4152 NEW BEST:: SOT 30245 SOS 7009 HAS SOPS 7009 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4301.009
AT ITER 4182 NEW BEST:: SOT 30230 SOS 6979 HAS SOPS 6979 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4289.979
AT ITER 4195 NEW BEST:: SOT 30230 SOS 6978 HAS SOPS 6978 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4289.978
AT ITER 4236 NEW BEST:: SOT 30208 SOS 6956 HAS SOPS 6956 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4288.956
AT ITER 4260 NEW BEST:: SOT 30208 SOS 6929 HAS SOPS 6929 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4261.929
AT ITER 4271 NEW BEST:: SOT 30201 SOS 6922 HAS SOPS 6922 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4253.922
AT ITER 4287 NEW BEST:: SOT 30195 SOS 6910 HAS SOPS 6910 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4247.91
AT ITER 4296 NEW BEST:: SOT 30195 SOS 6899 HAS SOPS 6899 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4245.899
AT ITER 4320 NEW BEST:: SOT 30170 SOS 6945 HAS SOPS 6945 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4233.945
AT ITER 4366 NEW BEST:: SOT 30155 SOS 6932 HAS SOPS 6932 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4220.932
AT ITER 4373 NEW BEST:: SOT 30154 SOS 6930 HAS SOPS 6930 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4218.93
AT ITER 4382 NEW BEST:: SOT 30154 SOS 6930 HAS SOPS 6930 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4215.93
AT ITER 4410 NEW BEST:: SOT 30155 SOS 6932 HAS SOPS 6932 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4212.932
AT ITER 4429 NEW BEST:: SOT 30154 SOS 6930 HAS SOPS 6930 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4211.93
AT ITER 4433 NEW BEST:: SOT 30151 SOS 6927 HAS SOPS 6927 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4208.927
AT ITER 4482 NEW BEST:: SOT 30158 SOS 6941 HAS SOPS 6941 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4197.941
AT ITER 4600 NEW BEST:: SOT 30169 SOS 6951 HAS SOPS 6951 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4195.951
AT ITER 4650 NEW BEST:: SOT 30170 SOS 6952 HAS SOPS 6952 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4194.952
AT ITER 4672 NEW BEST:: SOT 30162 SOS 6936 HAS SOPS 6936 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4178.936
AT ITER 4688 NEW BEST:: SOT 30162 SOS 6936 HAS SOPS 6936 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4173.936
AT ITER 4701 NEW BEST:: SOT 30162 SOS 6944 HAS SOPS 6944 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4172.944
AT ITER 4702 NEW BEST:: SOT 30147 SOS 6914 HAS SOPS 6914 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4157.914
AT ITER 4715 NEW BEST:: SOT 30145 SOS 6912 HAS SOPS 6912 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4155.912
AT ITER 4733 NEW BEST:: SOT 30176 SOS 6921 HAS SOPS 6921 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4139.921
AT ITER 4761 NEW BEST:: SOT 30176 SOS 6921 HAS SOPS 6921 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4131.921
AT ITER 4773 NEW BEST:: SOT 30174 SOS 6917 HAS SOPS 6917 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4127.917
AT ITER 4788 NEW BEST:: SOT 30174 SOS 6871 HAS SOPS 6871 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4125.871
AT ITER 4804 NEW BEST:: SOT 30167 SOS 6868 HAS SOPS 6868 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4118.868
AT ITER 4813 NEW BEST:: SOT 30154 SOS 6850 HAS SOPS 6850 HAS SOUS 4094 HAS SOUPS 4094 WITH SCORE 4100.85
AT ITER 4822 NEW BEST:: SOT 30151 SOS 6844 HAS SOPS 6844 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4094.844
AT ITER 4871 NEW BEST:: SOT 30153 SOS 6843 HAS SOPS 6843 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4089.843
AT ITER 4907 NEW BEST:: SOT 30150 SOS 6810 HAS SOPS 6810 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4086.81
AT ITER 4931 NEW BEST:: SOT 30118 SOS 6781 HAS SOPS 6781 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4070.781
AT ITER 4960 NEW BEST:: SOT 30117 SOS 6780 HAS SOPS 6780 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4069.78
AT ITER 4969 NEW BEST:: SOT 30095 SOS 6770 HAS SOPS 6770 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4061.77
AT ITER 5153 NEW BEST:: SOT 30096 SOS 6755 HAS SOPS 6755 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4046.755
AT ITER 5155 NEW BEST:: SOT 30092 SOS 6753 HAS SOPS 6753 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4044.753
AT ITER 5230 NEW BEST:: SOT 30102 SOS 6605 HAS SOPS 6605 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4042.605
AT ITER 5241 NEW BEST:: SOT 30114 SOS 6566 HAS SOPS 6566 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4041.566
AT ITER 5286 NEW BEST:: SOT 30111 SOS 6560 HAS SOPS 6560 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4035.56
AT ITER 5292 NEW BEST:: SOT 30087 SOS 6529 HAS SOPS 6529 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4004.529
AT ITER 5310 NEW BEST:: SOT 30102 SOS 6559 HAS SOPS 6559 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3989.559
AT ITER 5337 NEW BEST:: SOT 30083 SOS 6805 HAS SOPS 6805 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3970.805
AT ITER 5408 NEW BEST:: SOT 30076 SOS 6799 HAS SOPS 6799 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3965.799
AT ITER 5532 NEW BEST:: SOT 30076 SOS 6793 HAS SOPS 6793 HAS SOUS 3957 HAS SOUPS 3957 WITH SCORE 3963.793
AT ITER 5623 NEW BEST:: SOT 30043 SOS 6727 HAS SOPS 6727 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3960.727
AT ITER 5631 NEW BEST:: SOT 30043 SOS 6726 HAS SOPS 6726 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3960.726
AT ITER 5659 NEW BEST:: SOT 30047 SOS 6732 HAS SOPS 6732 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3953.732
AT ITER 5696 NEW BEST:: SOT 30052 SOS 6732 HAS SOPS 6732 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3947.732
AT ITER 5706 NEW BEST:: SOT 30045 SOS 6723 HAS SOPS 6723 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3941.723
AT ITER 5723 NEW BEST:: SOT 30045 SOS 6722 HAS SOPS 6722 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3940.722
AT ITER 5741 NEW BEST:: SOT 30036 SOS 6802 HAS SOPS 6802 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3938.802
AT ITER 5787 NEW BEST:: SOT 30036 SOS 6783 HAS SOPS 6783 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3938.783
AT ITER 5910 NEW BEST:: SOT 30031 SOS 6838 HAS SOPS 6838 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3933.838
AT ITER 5928 NEW BEST:: SOT 30026 SOS 6828 HAS SOPS 6828 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3928.828
AT ITER 5981 NEW BEST:: SOT 30023 SOS 6822 HAS SOPS 6822 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3925.822
AT ITER 5983 NEW BEST:: SOT 30020 SOS 6816 HAS SOPS 6816 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3922.816
AT ITER 6138 NEW BEST:: SOT 30021 SOS 6815 HAS SOPS 6815 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3921.815
AT ITER 6200 NEW BEST:: SOT 30021 SOS 6810 HAS SOPS 6810 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3920.81
AT ITER 6202 NEW BEST:: SOT 30021 SOS 6809 HAS SOPS 6809 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3919.809
AT ITER 6348 NEW BEST:: SOT 30011 SOS 6796 HAS SOPS 6796 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3915.796
AT ITER 6364 NEW BEST:: SOT 30010 SOS 6794 HAS SOPS 6794 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3915.794
AT ITER 6416 NEW BEST:: SOT 30008 SOS 6790 HAS SOPS 6790 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3913.79
AT ITER 6422 NEW BEST:: SOT 30008 SOS 6786 HAS SOPS 6786 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3913.786
AT ITER 6508 NEW BEST:: SOT 29996 SOS 6774 HAS SOPS 6774 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3913.774
AT ITER 6540 NEW BEST:: SOT 29995 SOS 6773 HAS SOPS 6773 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3912.773
AT ITER 6548 NEW BEST:: SOT 29993 SOS 6771 HAS SOPS 6771 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3910.771
AT ITER 6600 NEW BEST:: SOT 29991 SOS 6767 HAS SOPS 6767 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3908.767
AT ITER 6621 NEW BEST:: SOT 29991 SOS 6767 HAS SOPS 6767 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3899.767
AT ITER 6642 NEW BEST:: SOT 29989 SOS 6763 HAS SOPS 6763 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3897.763
AT ITER 6655 NEW BEST:: SOT 29989 SOS 6760 HAS SOPS 6760 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3894.76
AT ITER 6670 NEW BEST:: SOT 29988 SOS 6758 HAS SOPS 6758 HAS SOUS 3886 HAS SOUPS 3886 WITH SCORE 3892.758
AT ITER 6715 NEW BEST:: SOT 29980 SOS 6742 HAS SOPS 6742 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3888.742
AT ITER 6726 NEW BEST:: SOT 29973 SOS 6740 HAS SOPS 6740 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3886.74
AT ITER 6745 NEW BEST:: SOT 29972 SOS 6738 HAS SOPS 6738 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3884.738
AT ITER 6793 NEW BEST:: SOT 29970 SOS 6773 HAS SOPS 6773 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3883.773
AT ITER 6801 NEW BEST:: SOT 29963 SOS 6759 HAS SOPS 6759 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3869.759
AT ITER 6811 NEW BEST:: SOT 29963 SOS 6690 HAS SOPS 6690 HAS SOUS 3860 HAS SOUPS 3860 WITH SCORE 3866.69
AT ITER 6831 NEW BEST:: SOT 29963 SOS 6682 HAS SOPS 6682 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3861.682
AT ITER 6855 NEW BEST:: SOT 29956 SOS 6668 HAS SOPS 6668 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3861.668
AT ITER 6865 NEW BEST:: SOT 29956 SOS 6667 HAS SOPS 6667 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3860.667
AT ITER 6866 NEW BEST:: SOT 29955 SOS 6659 HAS SOPS 6659 HAS SOUS 3852 HAS SOUPS 3852 WITH SCORE 3858.659
AT ITER 6929 NEW BEST:: SOT 29951 SOS 6655 HAS SOPS 6655 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3854.655
AT ITER 6948 NEW BEST:: SOT 29964 SOS 6660 HAS SOPS 6660 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3852.66
AT ITER 7043 NEW BEST:: SOT 29964 SOS 6660 HAS SOPS 6660 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3851.66
AT ITER 7077 NEW BEST:: SOT 29963 SOS 6658 HAS SOPS 6658 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3849.658
AT ITER 7101 NEW BEST:: SOT 29963 SOS 6661 HAS SOPS 6661 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3848.661
AT ITER 7131 NEW BEST:: SOT 29958 SOS 6661 HAS SOPS 6661 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3845.661
AT ITER 7142 NEW BEST:: SOT 29958 SOS 6650 HAS SOPS 6650 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3845.65
AT ITER 7187 NEW BEST:: SOT 29934 SOS 6626 HAS SOPS 6626 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3833.626
AT ITER 7220 NEW BEST:: SOT 29928 SOS 6614 HAS SOPS 6614 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3830.614
AT ITER 7222 NEW BEST:: SOT 29926 SOS 6610 HAS SOPS 6610 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3826.61
AT ITER 7263 NEW BEST:: SOT 29926 SOS 6609 HAS SOPS 6609 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3826.609
AT ITER 7328 NEW BEST:: SOT 29926 SOS 6609 HAS SOPS 6609 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3825.609
AT ITER 7387 NEW BEST:: SOT 29920 SOS 6597 HAS SOPS 6597 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3815.597
AT ITER 7489 NEW BEST:: SOT 29917 SOS 6594 HAS SOPS 6594 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3814.594
AT ITER 7515 NEW BEST:: SOT 29916 SOS 6593 HAS SOPS 6593 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3814.593
AT ITER 7563 NEW BEST:: SOT 29903 SOS 6569 HAS SOPS 6569 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3812.569
AT ITER 7578 NEW BEST:: SOT 29907 SOS 6567 HAS SOPS 6567 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3810.567
AT ITER 7820 NEW BEST:: SOT 29908 SOS 6569 HAS SOPS 6569 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3809.569
AT ITER 7838 NEW BEST:: SOT 29911 SOS 6568 HAS SOPS 6568 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3808.568
AT ITER 7941 NEW BEST:: SOT 29909 SOS 6564 HAS SOPS 6564 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3805.564
AT ITER 7945 NEW BEST:: SOT 29907 SOS 6562 HAS SOPS 6562 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3803.562
AT ITER 8221 NEW BEST:: SOT 29885 SOS 6548 HAS SOPS 6548 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3789.548
AT ITER 8305 NEW BEST:: SOT 29884 SOS 6544 HAS SOPS 6544 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3785.544
AT ITER 8337 NEW BEST:: SOT 29881 SOS 6538 HAS SOPS 6538 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3782.538
AT ITER 8341 NEW BEST:: SOT 29881 SOS 6537 HAS SOPS 6537 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3782.537
AT ITER 8457 NEW BEST:: SOT 29881 SOS 6527 HAS SOPS 6527 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3782.527
AT ITER 8555 NEW BEST:: SOT 29881 SOS 6503 HAS SOPS 6503 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3778.503
AT ITER 8556 NEW BEST:: SOT 29881 SOS 6501 HAS SOPS 6501 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3778.501
AT ITER 8704 NEW BEST:: SOT 29877 SOS 6493 HAS SOPS 6493 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3772.493
AT ITER 8735 NEW BEST:: SOT 29877 SOS 6491 HAS SOPS 6491 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3770.491
AT ITER 8945 NEW BEST:: SOT 29877 SOS 6491 HAS SOPS 6491 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3768.491
AT ITER 8964 NEW BEST:: SOT 29874 SOS 6485 HAS SOPS 6485 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3765.485
AT ITER 9018 NEW BEST:: SOT 29874 SOS 6475 HAS SOPS 6475 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3760.475
AT ITER 9047 NEW BEST:: SOT 29874 SOS 6468 HAS SOPS 6468 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3753.468
AT ITER 9175 NEW BEST:: SOT 29874 SOS 6465 HAS SOPS 6465 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3750.465
AT ITER 9196 NEW BEST:: SOT 29873 SOS 6464 HAS SOPS 6464 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3749.464
AT ITER 9320 NEW BEST:: SOT 29873 SOS 6460 HAS SOPS 6460 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3749.46
AT ITER 9323 NEW BEST:: SOT 29877 SOS 6468 HAS SOPS 6468 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3747.468
AT ITER 9399 NEW BEST:: SOT 29874 SOS 6457 HAS SOPS 6457 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3740.457
AT ITER 9471 NEW BEST:: SOT 29873 SOS 6455 HAS SOPS 6455 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3739.455
AT ITER 9600 NEW BEST:: SOT 29872 SOS 6453 HAS SOPS 6453 HAS SOUS 3731 HAS SOUPS 3731 WITH SCORE 3737.453
AT ITER 9622 NEW BEST:: SOT 29871 SOS 6449 HAS SOPS 6449 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3735.449
AT ITER 9764 NEW BEST:: SOT 29866 SOS 6424 HAS SOPS 6424 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3718.424
AT ITER 9773 NEW BEST:: SOT 29854 SOS 6442 HAS SOPS 6442 HAS SOUS 3700 HAS SOUPS 3700 WITH SCORE 3706.442
AT ITER 9804 NEW BEST:: SOT 29855 SOS 6441 HAS SOPS 6441 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3705.441
AT ITER 9848 NEW BEST:: SOT 29869 SOS 6469 HAS SOPS 6469 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3694.469
AT ITER 9895 NEW BEST:: SOT 29868 SOS 6467 HAS SOPS 6467 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3692.467
AT ITER 9956 NEW BEST:: SOT 29864 SOS 6466 HAS SOPS 6466 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3691.466
STATE_SPACE STATES 15082804223 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 121780332615 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679182617341

--------------------
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="SmartHome-PT-06"
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 SmartHome-PT-06, 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 r451-smll-167912643200200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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