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.r011-oct2-167813600200416.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 smartxred
Input is AutoFlight-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600200416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.7K Feb 25 18:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 18:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 18:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 18:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 25 18:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 18:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 18:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 70K 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 1678735354572

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutoFlight-PT-03b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:22:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:22:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:22:37] [INFO ] Load time of PNML (sax parser for PT used): 65 ms
[2023-03-13 19:22:37] [INFO ] Transformed 298 places.
[2023-03-13 19:22:37] [INFO ] Transformed 296 transitions.
[2023-03-13 19:22:37] [INFO ] Found NUPN structural information;
[2023-03-13 19:22:37] [INFO ] Parsed PT model containing 298 places and 296 transitions and 692 arcs in 144 ms.
[2023-03-13 19:22:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 298 places, 296 transitions and 692 arcs took 5 ms.
Total runtime 186 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 03b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 298 places, 296 transitions, 692 arcs.
AT ITER 0 NEW BEST:: SOT 48099 SOS 11205 HAS SOPS 11205 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10257.205
AT ITER 3 NEW BEST:: SOT 48080 SOS 11186 HAS SOPS 11186 HAS SOUS 10227 HAS SOUPS 10227 WITH SCORE 10238.186
AT ITER 8 NEW BEST:: SOT 48048 SOS 11110 HAS SOPS 11110 HAS SOUS 10199 HAS SOUPS 10199 WITH SCORE 10210.11
AT ITER 35 NEW BEST:: SOT 48048 SOS 11094 HAS SOPS 11094 HAS SOUS 10183 HAS SOUPS 10183 WITH SCORE 10194.094
AT ITER 47 NEW BEST:: SOT 48019 SOS 11076 HAS SOPS 11076 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10167.076
AT ITER 50 NEW BEST:: SOT 48019 SOS 11041 HAS SOPS 11041 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10167.041
AT ITER 60 NEW BEST:: SOT 48019 SOS 11024 HAS SOPS 11024 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10150.024
AT ITER 70 NEW BEST:: SOT 48009 SOS 11004 HAS SOPS 11004 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10126.004
AT ITER 112 NEW BEST:: SOT 47985 SOS 10905 HAS SOPS 10905 HAS SOUS 10037 HAS SOUPS 10037 WITH SCORE 10047.905
AT ITER 143 NEW BEST:: SOT 47979 SOS 10875 HAS SOPS 10875 HAS SOUS 10025 HAS SOUPS 10025 WITH SCORE 10035.875
AT ITER 172 NEW BEST:: SOT 47972 SOS 10912 HAS SOPS 10912 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10026.912
AT ITER 178 NEW BEST:: SOT 47964 SOS 10904 HAS SOPS 10904 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10018.904
AT ITER 181 NEW BEST:: SOT 48039 SOS 10955 HAS SOPS 10955 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9976.955
AT ITER 188 NEW BEST:: SOT 48020 SOS 10955 HAS SOPS 10955 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9968.955
AT ITER 190 NEW BEST:: SOT 48013 SOS 10940 HAS SOPS 10940 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9956.94
AT ITER 198 NEW BEST:: SOT 47988 SOS 10890 HAS SOPS 10890 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9906.89
AT ITER 199 NEW BEST:: SOT 47988 SOS 10881 HAS SOPS 10881 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9897.881
AT ITER 207 NEW BEST:: SOT 47988 SOS 10850 HAS SOPS 10850 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9885.85
AT ITER 208 NEW BEST:: SOT 47997 SOS 10830 HAS SOPS 10830 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9879.83
AT ITER 211 NEW BEST:: SOT 48002 SOS 10931 HAS SOPS 10931 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9871.931
AT ITER 216 NEW BEST:: SOT 47998 SOS 10892 HAS SOPS 10892 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9832.892
AT ITER 236 NEW BEST:: SOT 47998 SOS 10875 HAS SOPS 10875 HAS SOUS 9805 HAS SOUPS 9805 WITH SCORE 9815.875
AT ITER 239 NEW BEST:: SOT 47998 SOS 10859 HAS SOPS 10859 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9799.859
AT ITER 241 NEW BEST:: SOT 47998 SOS 10856 HAS SOPS 10856 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9796.856
AT ITER 256 NEW BEST:: SOT 47988 SOS 10851 HAS SOPS 10851 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9796.851
AT ITER 283 NEW BEST:: SOT 47954 SOS 10783 HAS SOPS 10783 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9762.783
AT ITER 285 NEW BEST:: SOT 47954 SOS 10739 HAS SOPS 10739 HAS SOUS 9708 HAS SOUPS 9708 WITH SCORE 9718.739
AT ITER 305 NEW BEST:: SOT 47933 SOS 10697 HAS SOPS 10697 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9646.697
AT ITER 309 NEW BEST:: SOT 47959 SOS 10715 HAS SOPS 10715 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9631.715
AT ITER 312 NEW BEST:: SOT 47959 SOS 10684 HAS SOPS 10684 HAS SOUS 9593 HAS SOUPS 9593 WITH SCORE 9603.684
AT ITER 319 NEW BEST:: SOT 47943 SOS 10668 HAS SOPS 10668 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9587.668
AT ITER 326 NEW BEST:: SOT 47943 SOS 10661 HAS SOPS 10661 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9580.661
AT ITER 333 NEW BEST:: SOT 47942 SOS 10729 HAS SOPS 10729 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9579.729
AT ITER 336 NEW BEST:: SOT 47942 SOS 10722 HAS SOPS 10722 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9572.722
AT ITER 347 NEW BEST:: SOT 47938 SOS 10738 HAS SOPS 10738 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9564.738
AT ITER 384 NEW BEST:: SOT 47944 SOS 10735 HAS SOPS 10735 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9561.735
AT ITER 387 NEW BEST:: SOT 47945 SOS 10734 HAS SOPS 10734 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9560.734
AT ITER 388 NEW BEST:: SOT 47945 SOS 10723 HAS SOPS 10723 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9549.723
AT ITER 404 NEW BEST:: SOT 47915 SOS 10693 HAS SOPS 10693 HAS SOUS 9509 HAS SOUPS 9509 WITH SCORE 9519.693
AT ITER 431 NEW BEST:: SOT 47915 SOS 10693 HAS SOPS 10693 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9507.693
AT ITER 433 NEW BEST:: SOT 47893 SOS 10685 HAS SOPS 10685 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9489.685
AT ITER 436 NEW BEST:: SOT 47893 SOS 10667 HAS SOPS 10667 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9489.667
AT ITER 445 NEW BEST:: SOT 47886 SOS 10651 HAS SOPS 10651 HAS SOUS 9463 HAS SOUPS 9463 WITH SCORE 9473.651
AT ITER 456 NEW BEST:: SOT 47883 SOS 10606 HAS SOPS 10606 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9457.606
AT ITER 457 NEW BEST:: SOT 47881 SOS 10604 HAS SOPS 10604 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9455.604
AT ITER 480 NEW BEST:: SOT 47847 SOS 10604 HAS SOPS 10604 HAS SOUS 9377 HAS SOUPS 9377 WITH SCORE 9387.604
AT ITER 503 NEW BEST:: SOT 47847 SOS 10604 HAS SOPS 10604 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9382.604
AT ITER 518 NEW BEST:: SOT 47847 SOS 10599 HAS SOPS 10599 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9377.599
AT ITER 530 NEW BEST:: SOT 47889 SOS 10574 HAS SOPS 10574 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9352.574
AT ITER 591 NEW BEST:: SOT 47867 SOS 10552 HAS SOPS 10552 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9308.552
AT ITER 595 NEW BEST:: SOT 47848 SOS 10545 HAS SOPS 10545 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9301.545
AT ITER 599 NEW BEST:: SOT 47840 SOS 10529 HAS SOPS 10529 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9285.529
AT ITER 618 NEW BEST:: SOT 47840 SOS 10525 HAS SOPS 10525 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9281.525
AT ITER 636 NEW BEST:: SOT 47840 SOS 10508 HAS SOPS 10508 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9272.508
AT ITER 683 NEW BEST:: SOT 47823 SOS 10474 HAS SOPS 10474 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9255.474
AT ITER 696 NEW BEST:: SOT 47823 SOS 10474 HAS SOPS 10474 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9253.474
AT ITER 697 NEW BEST:: SOT 47822 SOS 10472 HAS SOPS 10472 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9251.472
AT ITER 701 NEW BEST:: SOT 47817 SOS 10423 HAS SOPS 10423 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9246.423
AT ITER 721 NEW BEST:: SOT 47817 SOS 10409 HAS SOPS 10409 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9232.409
AT ITER 746 NEW BEST:: SOT 47817 SOS 10390 HAS SOPS 10390 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9228.39
AT ITER 755 NEW BEST:: SOT 47838 SOS 10432 HAS SOPS 10432 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9213.432
AT ITER 786 NEW BEST:: SOT 47838 SOS 10560 HAS SOPS 10560 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9210.56
AT ITER 788 NEW BEST:: SOT 47838 SOS 10537 HAS SOPS 10537 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9210.537
AT ITER 813 NEW BEST:: SOT 47815 SOS 10535 HAS SOPS 10535 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9206.535
AT ITER 834 NEW BEST:: SOT 47815 SOS 10528 HAS SOPS 10528 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9206.528
AT ITER 847 NEW BEST:: SOT 47814 SOS 10467 HAS SOPS 10467 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9205.467
AT ITER 899 NEW BEST:: SOT 47814 SOS 10467 HAS SOPS 10467 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9204.467
AT ITER 938 NEW BEST:: SOT 47818 SOS 10475 HAS SOPS 10475 HAS SOUS 9191 HAS SOUPS 9191 WITH SCORE 9201.475
AT ITER 957 NEW BEST:: SOT 47819 SOS 10476 HAS SOPS 10476 HAS SOUS 9179 HAS SOUPS 9179 WITH SCORE 9189.476
AT ITER 958 NEW BEST:: SOT 47804 SOS 10425 HAS SOPS 10425 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9138.425
AT ITER 983 NEW BEST:: SOT 47804 SOS 10414 HAS SOPS 10414 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9127.414
AT ITER 1034 NEW BEST:: SOT 47804 SOS 10414 HAS SOPS 10414 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9116.414
AT ITER 1056 NEW BEST:: SOT 47778 SOS 10362 HAS SOPS 10362 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9062.362
AT ITER 1083 NEW BEST:: SOT 47773 SOS 10360 HAS SOPS 10360 HAS SOUS 9050 HAS SOUPS 9050 WITH SCORE 9060.36
AT ITER 1104 NEW BEST:: SOT 47770 SOS 10357 HAS SOPS 10357 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9054.357
AT ITER 1110 NEW BEST:: SOT 47769 SOS 10356 HAS SOPS 10356 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9053.356
AT ITER 1120 NEW BEST:: SOT 47737 SOS 10348 HAS SOPS 10348 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9045.348
AT ITER 1132 NEW BEST:: SOT 47735 SOS 10279 HAS SOPS 10279 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9020.279
AT ITER 1162 NEW BEST:: SOT 47718 SOS 10262 HAS SOPS 10262 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8986.262
AT ITER 1184 NEW BEST:: SOT 47718 SOS 10256 HAS SOPS 10256 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8986.256
AT ITER 1197 NEW BEST:: SOT 47707 SOS 10227 HAS SOPS 10227 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8971.227
AT ITER 1220 NEW BEST:: SOT 47707 SOS 10227 HAS SOPS 10227 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8970.227
AT ITER 1235 NEW BEST:: SOT 47710 SOS 10189 HAS SOPS 10189 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8932.189
AT ITER 1241 NEW BEST:: SOT 47712 SOS 10154 HAS SOPS 10154 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8897.154
AT ITER 1246 NEW BEST:: SOT 47695 SOS 10120 HAS SOPS 10120 HAS SOUS 8853 HAS SOUPS 8853 WITH SCORE 8863.12
AT ITER 1263 NEW BEST:: SOT 47684 SOS 10098 HAS SOPS 10098 HAS SOUS 8831 HAS SOUPS 8831 WITH SCORE 8841.098
AT ITER 1296 NEW BEST:: SOT 47659 SOS 10128 HAS SOPS 10128 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8823.128
AT ITER 1301 NEW BEST:: SOT 47645 SOS 10114 HAS SOPS 10114 HAS SOUS 8799 HAS SOUPS 8799 WITH SCORE 8809.114
AT ITER 1307 NEW BEST:: SOT 47645 SOS 10114 HAS SOPS 10114 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8808.114
AT ITER 1314 NEW BEST:: SOT 47637 SOS 10114 HAS SOPS 10114 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8800.114
AT ITER 1317 NEW BEST:: SOT 47637 SOS 10150 HAS SOPS 10150 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8799.15
AT ITER 1361 NEW BEST:: SOT 47641 SOS 10144 HAS SOPS 10144 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8793.144
AT ITER 1374 NEW BEST:: SOT 47627 SOS 10116 HAS SOPS 10116 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8772.116
AT ITER 1375 NEW BEST:: SOT 47627 SOS 10093 HAS SOPS 10093 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8765.093
AT ITER 1405 NEW BEST:: SOT 47632 SOS 9974 HAS SOPS 9974 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8726.974
AT ITER 1418 NEW BEST:: SOT 47628 SOS 9944 HAS SOPS 9944 HAS SOUS 8693 HAS SOUPS 8693 WITH SCORE 8702.944
AT ITER 1427 NEW BEST:: SOT 47628 SOS 9933 HAS SOPS 9933 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8691.933
AT ITER 1439 NEW BEST:: SOT 47663 SOS 9963 HAS SOPS 9963 HAS SOUS 8666 HAS SOUPS 8666 WITH SCORE 8675.963
AT ITER 1459 NEW BEST:: SOT 47702 SOS 9997 HAS SOPS 9997 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8661.997
AT ITER 1509 NEW BEST:: SOT 47691 SOS 9973 HAS SOPS 9973 HAS SOUS 8630 HAS SOUPS 8630 WITH SCORE 8639.973
AT ITER 1519 NEW BEST:: SOT 47691 SOS 9943 HAS SOPS 9943 HAS SOUS 8630 HAS SOUPS 8630 WITH SCORE 8639.943
AT ITER 1534 NEW BEST:: SOT 47697 SOS 9938 HAS SOPS 9938 HAS SOUS 8606 HAS SOUPS 8606 WITH SCORE 8615.938
AT ITER 1558 NEW BEST:: SOT 47696 SOS 9937 HAS SOPS 9937 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8614.937
AT ITER 1590 NEW BEST:: SOT 47696 SOS 9906 HAS SOPS 9906 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.906
AT ITER 1638 NEW BEST:: SOT 47706 SOS 9916 HAS SOPS 9916 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8578.916
AT ITER 1651 NEW BEST:: SOT 47687 SOS 9875 HAS SOPS 9875 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8537.875
AT ITER 1696 NEW BEST:: SOT 47684 SOS 9872 HAS SOPS 9872 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8534.872
AT ITER 1698 NEW BEST:: SOT 47684 SOS 9872 HAS SOPS 9872 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8518.872
AT ITER 1733 NEW BEST:: SOT 47684 SOS 9870 HAS SOPS 9870 HAS SOUS 8507 HAS SOUPS 8507 WITH SCORE 8516.87
AT ITER 1775 NEW BEST:: SOT 47683 SOS 9869 HAS SOPS 9869 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8515.869
AT ITER 1802 NEW BEST:: SOT 47683 SOS 9867 HAS SOPS 9867 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8515.867
AT ITER 1805 NEW BEST:: SOT 47687 SOS 9862 HAS SOPS 9862 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8510.862
AT ITER 1808 NEW BEST:: SOT 47687 SOS 9861 HAS SOPS 9861 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8509.861
AT ITER 1857 NEW BEST:: SOT 47687 SOS 9834 HAS SOPS 9834 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8482.834
AT ITER 1888 NEW BEST:: SOT 47686 SOS 9832 HAS SOPS 9832 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8480.832
AT ITER 1919 NEW BEST:: SOT 47700 SOS 9846 HAS SOPS 9846 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8478.846
AT ITER 1961 NEW BEST:: SOT 47689 SOS 9824 HAS SOPS 9824 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8452.824
AT ITER 1993 NEW BEST:: SOT 47692 SOS 9819 HAS SOPS 9819 HAS SOUS 8438 HAS SOUPS 8438 WITH SCORE 8447.819
AT ITER 2029 NEW BEST:: SOT 47683 SOS 9801 HAS SOPS 9801 HAS SOUS 8420 HAS SOUPS 8420 WITH SCORE 8429.801
AT ITER 2031 NEW BEST:: SOT 47686 SOS 9632 HAS SOPS 9632 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8407.632
AT ITER 2063 NEW BEST:: SOT 47670 SOS 9600 HAS SOPS 9600 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8375.6
AT ITER 2078 NEW BEST:: SOT 47675 SOS 9605 HAS SOPS 9605 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8374.605
AT ITER 2087 NEW BEST:: SOT 47675 SOS 9602 HAS SOPS 9602 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8371.602
AT ITER 2098 NEW BEST:: SOT 47683 SOS 9618 HAS SOPS 9618 HAS SOUS 8361 HAS SOUPS 8361 WITH SCORE 8370.618
AT ITER 2115 NEW BEST:: SOT 47682 SOS 9607 HAS SOPS 9607 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8368.607
AT ITER 2137 NEW BEST:: SOT 47666 SOS 9578 HAS SOPS 9578 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8335.578
AT ITER 2143 NEW BEST:: SOT 47666 SOS 9555 HAS SOPS 9555 HAS SOUS 8303 HAS SOUPS 8303 WITH SCORE 8312.555
AT ITER 2151 NEW BEST:: SOT 47660 SOS 9552 HAS SOPS 9552 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8309.552
AT ITER 2183 NEW BEST:: SOT 47660 SOS 9530 HAS SOPS 9530 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8309.53
AT ITER 2184 NEW BEST:: SOT 47663 SOS 9528 HAS SOPS 9528 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8307.528
AT ITER 2195 NEW BEST:: SOT 47616 SOS 9522 HAS SOPS 9522 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8296.522
AT ITER 2196 NEW BEST:: SOT 47616 SOS 9485 HAS SOPS 9485 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8237.485
AT ITER 2252 NEW BEST:: SOT 47631 SOS 9443 HAS SOPS 9443 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8236.443
AT ITER 2264 NEW BEST:: SOT 47631 SOS 9433 HAS SOPS 9433 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8236.433
AT ITER 2270 NEW BEST:: SOT 47631 SOS 9375 HAS SOPS 9375 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8236.375
AT ITER 2275 NEW BEST:: SOT 47635 SOS 9333 HAS SOPS 9333 HAS SOUS 8185 HAS SOUPS 8185 WITH SCORE 8194.333
AT ITER 2282 NEW BEST:: SOT 47631 SOS 9329 HAS SOPS 9329 HAS SOUS 8181 HAS SOUPS 8181 WITH SCORE 8190.329
AT ITER 2309 NEW BEST:: SOT 47629 SOS 9325 HAS SOPS 9325 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8186.325
AT ITER 2313 NEW BEST:: SOT 47621 SOS 9317 HAS SOPS 9317 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8186.317
AT ITER 2321 NEW BEST:: SOT 47591 SOS 9272 HAS SOPS 9272 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8141.272
AT ITER 2355 NEW BEST:: SOT 47586 SOS 9262 HAS SOPS 9262 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8110.262
AT ITER 2369 NEW BEST:: SOT 47582 SOS 9254 HAS SOPS 9254 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8106.254
AT ITER 2375 NEW BEST:: SOT 47580 SOS 9252 HAS SOPS 9252 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8106.252
AT ITER 2398 NEW BEST:: SOT 47579 SOS 9250 HAS SOPS 9250 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8104.25
AT ITER 2400 NEW BEST:: SOT 47576 SOS 9289 HAS SOPS 9289 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8101.289
AT ITER 2404 NEW BEST:: SOT 47572 SOS 9281 HAS SOPS 9281 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8093.281
AT ITER 2449 NEW BEST:: SOT 47574 SOS 9285 HAS SOPS 9285 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8087.285
AT ITER 2561 NEW BEST:: SOT 47570 SOS 9247 HAS SOPS 9247 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8075.247
AT ITER 2562 NEW BEST:: SOT 47570 SOS 9191 HAS SOPS 9191 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8075.191
AT ITER 2571 NEW BEST:: SOT 47581 SOS 9183 HAS SOPS 9183 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8067.183
AT ITER 2582 NEW BEST:: SOT 47582 SOS 9184 HAS SOPS 9184 HAS SOUS 8049 HAS SOUPS 8049 WITH SCORE 8058.184
AT ITER 2587 NEW BEST:: SOT 47582 SOS 9179 HAS SOPS 9179 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8053.179
AT ITER 2642 NEW BEST:: SOT 47582 SOS 9168 HAS SOPS 9168 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8042.168
AT ITER 2649 NEW BEST:: SOT 47577 SOS 9158 HAS SOPS 9158 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8032.158
AT ITER 2729 NEW BEST:: SOT 47574 SOS 9159 HAS SOPS 9159 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8023.159
AT ITER 2763 NEW BEST:: SOT 47574 SOS 9134 HAS SOPS 9134 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8023.134
AT ITER 2787 NEW BEST:: SOT 47576 SOS 9153 HAS SOPS 9153 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8012.153
AT ITER 2823 NEW BEST:: SOT 47573 SOS 9147 HAS SOPS 9147 HAS SOUS 7997 HAS SOUPS 7997 WITH SCORE 8006.147
AT ITER 2824 NEW BEST:: SOT 47567 SOS 9135 HAS SOPS 9135 HAS SOUS 7985 HAS SOUPS 7985 WITH SCORE 7994.135
AT ITER 2912 NEW BEST:: SOT 47532 SOS 9098 HAS SOPS 9098 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7974.098
AT ITER 2924 NEW BEST:: SOT 47521 SOS 9076 HAS SOPS 9076 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7972.076
AT ITER 2932 NEW BEST:: SOT 47534 SOS 9061 HAS SOPS 9061 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7957.061
AT ITER 2996 NEW BEST:: SOT 47534 SOS 9023 HAS SOPS 9023 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7957.023
AT ITER 3002 NEW BEST:: SOT 47534 SOS 9011 HAS SOPS 9011 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7951.011
AT ITER 3004 NEW BEST:: SOT 47511 SOS 8946 HAS SOPS 8946 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7885.946
AT ITER 3045 NEW BEST:: SOT 47501 SOS 8926 HAS SOPS 8926 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7864.926
AT ITER 3063 NEW BEST:: SOT 47503 SOS 8983 HAS SOPS 8983 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7858.983
AT ITER 3079 NEW BEST:: SOT 47492 SOS 8962 HAS SOPS 8962 HAS SOUS 7842 HAS SOUPS 7842 WITH SCORE 7850.962
AT ITER 3084 NEW BEST:: SOT 47492 SOS 8939 HAS SOPS 8939 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7827.939
AT ITER 3096 NEW BEST:: SOT 47444 SOS 8843 HAS SOPS 8843 HAS SOUS 7710 HAS SOUPS 7710 WITH SCORE 7718.843
AT ITER 3117 NEW BEST:: SOT 47444 SOS 8826 HAS SOPS 8826 HAS SOUS 7710 HAS SOUPS 7710 WITH SCORE 7718.826
AT ITER 3181 NEW BEST:: SOT 47444 SOS 8825 HAS SOPS 8825 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7717.825
AT ITER 3210 NEW BEST:: SOT 47438 SOS 8819 HAS SOPS 8819 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7711.819
AT ITER 3263 NEW BEST:: SOT 47434 SOS 8815 HAS SOPS 8815 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7707.815
AT ITER 3301 NEW BEST:: SOT 47441 SOS 8800 HAS SOPS 8800 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7692.8
AT ITER 3351 NEW BEST:: SOT 47442 SOS 8801 HAS SOPS 8801 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7688.801
AT ITER 3407 NEW BEST:: SOT 47441 SOS 8797 HAS SOPS 8797 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7684.797
AT ITER 3425 NEW BEST:: SOT 47439 SOS 8795 HAS SOPS 8795 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7682.795
AT ITER 3426 NEW BEST:: SOT 47437 SOS 8761 HAS SOPS 8761 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7678.761
AT ITER 3445 NEW BEST:: SOT 47422 SOS 8746 HAS SOPS 8746 HAS SOUS 7655 HAS SOUPS 7655 WITH SCORE 7663.746
AT ITER 3456 NEW BEST:: SOT 47422 SOS 8743 HAS SOPS 8743 HAS SOUS 7655 HAS SOUPS 7655 WITH SCORE 7663.743
AT ITER 3482 NEW BEST:: SOT 47421 SOS 8741 HAS SOPS 8741 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7662.741
AT ITER 3487 NEW BEST:: SOT 47421 SOS 8737 HAS SOPS 8737 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7658.737
AT ITER 3514 NEW BEST:: SOT 47420 SOS 8737 HAS SOPS 8737 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7657.737
AT ITER 3551 NEW BEST:: SOT 47420 SOS 8726 HAS SOPS 8726 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7654.726
AT ITER 3569 NEW BEST:: SOT 47419 SOS 8720 HAS SOPS 8720 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7648.72
AT ITER 3588 NEW BEST:: SOT 47419 SOS 8720 HAS SOPS 8720 HAS SOUS 7638 HAS SOUPS 7638 WITH SCORE 7646.72
AT ITER 3608 NEW BEST:: SOT 47429 SOS 8714 HAS SOPS 8714 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7640.714
AT ITER 3615 NEW BEST:: SOT 47427 SOS 8710 HAS SOPS 8710 HAS SOUS 7617 HAS SOUPS 7617 WITH SCORE 7625.71
AT ITER 3624 NEW BEST:: SOT 47430 SOS 8713 HAS SOPS 8713 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7620.713
AT ITER 3665 NEW BEST:: SOT 47417 SOS 8690 HAS SOPS 8690 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7609.69
AT ITER 3700 NEW BEST:: SOT 47416 SOS 8688 HAS SOPS 8688 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7607.688
AT ITER 3717 NEW BEST:: SOT 47415 SOS 8686 HAS SOPS 8686 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7605.686
AT ITER 3776 NEW BEST:: SOT 47412 SOS 8683 HAS SOPS 8683 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7605.683
AT ITER 3793 NEW BEST:: SOT 47411 SOS 8681 HAS SOPS 8681 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7603.681
AT ITER 3803 NEW BEST:: SOT 47411 SOS 8677 HAS SOPS 8677 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7603.677
AT ITER 3846 NEW BEST:: SOT 47405 SOS 8663 HAS SOPS 8663 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7595.663
AT ITER 3866 NEW BEST:: SOT 47399 SOS 8651 HAS SOPS 8651 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7590.651
AT ITER 3943 NEW BEST:: SOT 47403 SOS 8659 HAS SOPS 8659 HAS SOUS 7579 HAS SOUPS 7579 WITH SCORE 7587.659
AT ITER 3957 NEW BEST:: SOT 47404 SOS 8652 HAS SOPS 8652 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7578.652
AT ITER 3959 NEW BEST:: SOT 47401 SOS 8658 HAS SOPS 8658 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7574.658
AT ITER 3963 NEW BEST:: SOT 47396 SOS 8648 HAS SOPS 8648 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7564.648
AT ITER 3971 NEW BEST:: SOT 47396 SOS 8644 HAS SOPS 8644 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7564.644
AT ITER 3991 NEW BEST:: SOT 47398 SOS 8648 HAS SOPS 8648 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7562.648
AT ITER 4040 NEW BEST:: SOT 47388 SOS 8612 HAS SOPS 8612 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7556.612
AT ITER 4114 NEW BEST:: SOT 47381 SOS 8598 HAS SOPS 8598 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7542.598
AT ITER 4129 NEW BEST:: SOT 47381 SOS 8598 HAS SOPS 8598 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7527.598
AT ITER 4130 NEW BEST:: SOT 47374 SOS 8595 HAS SOPS 8595 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7524.595
AT ITER 4211 NEW BEST:: SOT 47384 SOS 8584 HAS SOPS 8584 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7513.584
AT ITER 4248 NEW BEST:: SOT 47381 SOS 8581 HAS SOPS 8581 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7510.581
AT ITER 4294 NEW BEST:: SOT 47376 SOS 8578 HAS SOPS 8578 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7507.578
AT ITER 4343 NEW BEST:: SOT 47376 SOS 8571 HAS SOPS 8571 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7507.571
AT ITER 4391 NEW BEST:: SOT 47376 SOS 8566 HAS SOPS 8566 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7507.566
AT ITER 4432 NEW BEST:: SOT 47369 SOS 8555 HAS SOPS 8555 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7496.555
AT ITER 4444 NEW BEST:: SOT 47369 SOS 8535 HAS SOPS 8535 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7476.535
AT ITER 4540 NEW BEST:: SOT 47369 SOS 8511 HAS SOPS 8511 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7471.511
AT ITER 4545 NEW BEST:: SOT 47365 SOS 8495 HAS SOPS 8495 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.495
AT ITER 4601 NEW BEST:: SOT 47353 SOS 8485 HAS SOPS 8485 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7466.485
AT ITER 4631 NEW BEST:: SOT 47350 SOS 8476 HAS SOPS 8476 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7460.476
AT ITER 4663 NEW BEST:: SOT 47350 SOS 8474 HAS SOPS 8474 HAS SOUS 7450 HAS SOUPS 7450 WITH SCORE 7458.474
AT ITER 4677 NEW BEST:: SOT 47347 SOS 8484 HAS SOPS 8484 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7455.484
AT ITER 4784 NEW BEST:: SOT 47347 SOS 8474 HAS SOPS 8474 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7455.474
AT ITER 4799 NEW BEST:: SOT 47345 SOS 8470 HAS SOPS 8470 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7451.47
AT ITER 4828 NEW BEST:: SOT 47347 SOS 8474 HAS SOPS 8474 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.474
AT ITER 4847 NEW BEST:: SOT 47349 SOS 8465 HAS SOPS 8465 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7420.465
AT ITER 4889 NEW BEST:: SOT 47357 SOS 8511 HAS SOPS 8511 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.511
AT ITER 4921 NEW BEST:: SOT 47365 SOS 8519 HAS SOPS 8519 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7397.519
AT ITER 4944 NEW BEST:: SOT 47359 SOS 8495 HAS SOPS 8495 HAS SOUS 7365 HAS SOUPS 7365 WITH SCORE 7373.495
AT ITER 4948 NEW BEST:: SOT 47354 SOS 8485 HAS SOPS 8485 HAS SOUS 7365 HAS SOUPS 7365 WITH SCORE 7373.485
AT ITER 4964 NEW BEST:: SOT 47354 SOS 8480 HAS SOPS 8480 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7368.48
AT ITER 5009 NEW BEST:: SOT 47358 SOS 8530 HAS SOPS 8530 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7357.53
AT ITER 5110 NEW BEST:: SOT 47354 SOS 8522 HAS SOPS 8522 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7349.522
AT ITER 5124 NEW BEST:: SOT 47354 SOS 8490 HAS SOPS 8490 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7349.49
AT ITER 5172 NEW BEST:: SOT 47353 SOS 8483 HAS SOPS 8483 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7346.483
AT ITER 5253 NEW BEST:: SOT 47352 SOS 8472 HAS SOPS 8472 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7335.472
AT ITER 5257 NEW BEST:: SOT 47352 SOS 8471 HAS SOPS 8471 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.471
AT ITER 5274 NEW BEST:: SOT 47347 SOS 8466 HAS SOPS 8466 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7324.466
AT ITER 5341 NEW BEST:: SOT 47341 SOS 8463 HAS SOPS 8463 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7318.463
AT ITER 5356 NEW BEST:: SOT 47335 SOS 8457 HAS SOPS 8457 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7318.457
AT ITER 5442 NEW BEST:: SOT 47335 SOS 8451 HAS SOPS 8451 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7312.451
AT ITER 5451 NEW BEST:: SOT 47332 SOS 8445 HAS SOPS 8445 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7303.445
AT ITER 5452 NEW BEST:: SOT 47332 SOS 8432 HAS SOPS 8432 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7290.432
AT ITER 5474 NEW BEST:: SOT 47332 SOS 8412 HAS SOPS 8412 HAS SOUS 7262 HAS SOUPS 7262 WITH SCORE 7270.412
AT ITER 5482 NEW BEST:: SOT 47288 SOS 8356 HAS SOPS 8356 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7231.356
AT ITER 5489 NEW BEST:: SOT 47290 SOS 8353 HAS SOPS 8353 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7228.353
AT ITER 5512 NEW BEST:: SOT 47285 SOS 8350 HAS SOPS 8350 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7225.35
AT ITER 5525 NEW BEST:: SOT 47282 SOS 8336 HAS SOPS 8336 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7211.336
AT ITER 5538 NEW BEST:: SOT 47281 SOS 8334 HAS SOPS 8334 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7209.334
AT ITER 5552 NEW BEST:: SOT 47267 SOS 8330 HAS SOPS 8330 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7201.33
AT ITER 5569 NEW BEST:: SOT 47252 SOS 8351 HAS SOPS 8351 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7184.351
AT ITER 5573 NEW BEST:: SOT 47254 SOS 8343 HAS SOPS 8343 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7179.343
AT ITER 5592 NEW BEST:: SOT 47251 SOS 8337 HAS SOPS 8337 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7173.337
AT ITER 5617 NEW BEST:: SOT 47241 SOS 8387 HAS SOPS 8387 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7153.387
AT ITER 5652 NEW BEST:: SOT 47238 SOS 8381 HAS SOPS 8381 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7152.381
AT ITER 5659 NEW BEST:: SOT 47236 SOS 8377 HAS SOPS 8377 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7148.377
AT ITER 5674 NEW BEST:: SOT 47264 SOS 8373 HAS SOPS 8373 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7144.373
AT ITER 5679 NEW BEST:: SOT 47259 SOS 8357 HAS SOPS 8357 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7134.357
AT ITER 5700 NEW BEST:: SOT 47256 SOS 8351 HAS SOPS 8351 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7128.351
AT ITER 5757 NEW BEST:: SOT 47256 SOS 8325 HAS SOPS 8325 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7128.325
AT ITER 5775 NEW BEST:: SOT 47256 SOS 8325 HAS SOPS 8325 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7119.325
AT ITER 5799 NEW BEST:: SOT 47255 SOS 8324 HAS SOPS 8324 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7118.324
AT ITER 5825 NEW BEST:: SOT 47237 SOS 8288 HAS SOPS 8288 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7099.288
AT ITER 5833 NEW BEST:: SOT 47234 SOS 8282 HAS SOPS 8282 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7099.282
AT ITER 5932 NEW BEST:: SOT 47241 SOS 8288 HAS SOPS 8288 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7095.288
AT ITER 5945 NEW BEST:: SOT 47241 SOS 8273 HAS SOPS 8273 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7095.273
AT ITER 5959 NEW BEST:: SOT 47216 SOS 8165 HAS SOPS 8165 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7051.165
AT ITER 5964 NEW BEST:: SOT 47213 SOS 8131 HAS SOPS 8131 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7023.131
AT ITER 5972 NEW BEST:: SOT 47212 SOS 8129 HAS SOPS 8129 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7023.129
AT ITER 5974 NEW BEST:: SOT 47212 SOS 8063 HAS SOPS 8063 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7001.063
AT ITER 6002 NEW BEST:: SOT 47209 SOS 8057 HAS SOPS 8057 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6986.057
AT ITER 6044 NEW BEST:: SOT 47205 SOS 8039 HAS SOPS 8039 HAS SOUS 6964 HAS SOUPS 6964 WITH SCORE 6972.039
AT ITER 6250 NEW BEST:: SOT 47203 SOS 8033 HAS SOPS 8033 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6966.033
AT ITER 6284 NEW BEST:: SOT 47192 SOS 8011 HAS SOPS 8011 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6944.011
AT ITER 6332 NEW BEST:: SOT 47190 SOS 8003 HAS SOPS 8003 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6940.003
AT ITER 6335 NEW BEST:: SOT 47184 SOS 7991 HAS SOPS 7991 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6939.991
AT ITER 6397 NEW BEST:: SOT 47183 SOS 7966 HAS SOPS 7966 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6914.966
AT ITER 6430 NEW BEST:: SOT 47181 SOS 7962 HAS SOPS 7962 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6910.962
AT ITER 6486 NEW BEST:: SOT 47184 SOS 7955 HAS SOPS 7955 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6903.955
AT ITER 6497 NEW BEST:: SOT 47184 SOS 7947 HAS SOPS 7947 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6903.947
AT ITER 6539 NEW BEST:: SOT 47173 SOS 7936 HAS SOPS 7936 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6903.936
AT ITER 6546 NEW BEST:: SOT 47173 SOS 7933 HAS SOPS 7933 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6902.933
AT ITER 6564 NEW BEST:: SOT 47171 SOS 7931 HAS SOPS 7931 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6900.931
AT ITER 6584 NEW BEST:: SOT 47169 SOS 7929 HAS SOPS 7929 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6898.929
AT ITER 6586 NEW BEST:: SOT 47166 SOS 7923 HAS SOPS 7923 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6888.923
AT ITER 6658 NEW BEST:: SOT 47166 SOS 7915 HAS SOPS 7915 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6888.915
AT ITER 6680 NEW BEST:: SOT 47166 SOS 7912 HAS SOPS 7912 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6888.912
AT ITER 6741 NEW BEST:: SOT 47166 SOS 7862 HAS SOPS 7862 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6888.862
AT ITER 6850 NEW BEST:: SOT 47165 SOS 7860 HAS SOPS 7860 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6886.86
AT ITER 6882 NEW BEST:: SOT 47163 SOS 7856 HAS SOPS 7856 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6882.856
AT ITER 6889 NEW BEST:: SOT 47156 SOS 7849 HAS SOPS 7849 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6869.849
AT ITER 6901 NEW BEST:: SOT 47156 SOS 7848 HAS SOPS 7848 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6869.848
AT ITER 6923 NEW BEST:: SOT 47160 SOS 7836 HAS SOPS 7836 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6857.836
AT ITER 6939 NEW BEST:: SOT 47159 SOS 7807 HAS SOPS 7807 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.807
AT ITER 6968 NEW BEST:: SOT 47159 SOS 7779 HAS SOPS 7779 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.779
AT ITER 6973 NEW BEST:: SOT 47158 SOS 7775 HAS SOPS 7775 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6851.775
AT ITER 6986 NEW BEST:: SOT 47156 SOS 7771 HAS SOPS 7771 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6851.771
AT ITER 7079 NEW BEST:: SOT 47154 SOS 7767 HAS SOPS 7767 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6843.767
AT ITER 7232 NEW BEST:: SOT 47154 SOS 7765 HAS SOPS 7765 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6843.765
AT ITER 7288 NEW BEST:: SOT 47132 SOS 7747 HAS SOPS 7747 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6825.747
AT ITER 7304 NEW BEST:: SOT 47129 SOS 7732 HAS SOPS 7732 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6816.732
AT ITER 7317 NEW BEST:: SOT 47120 SOS 7714 HAS SOPS 7714 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6798.714
AT ITER 7409 NEW BEST:: SOT 47101 SOS 7695 HAS SOPS 7695 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6779.695
AT ITER 7429 NEW BEST:: SOT 47101 SOS 7678 HAS SOPS 7678 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6779.678
AT ITER 7442 NEW BEST:: SOT 47101 SOS 7661 HAS SOPS 7661 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6779.661
AT ITER 7462 NEW BEST:: SOT 47097 SOS 7653 HAS SOPS 7653 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6771.653
AT ITER 7539 NEW BEST:: SOT 47093 SOS 7649 HAS SOPS 7649 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6767.649
AT ITER 7556 NEW BEST:: SOT 47093 SOS 7658 HAS SOPS 7658 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6758.658
AT ITER 7606 NEW BEST:: SOT 47078 SOS 7652 HAS SOPS 7652 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6752.652
AT ITER 7631 NEW BEST:: SOT 47035 SOS 7653 HAS SOPS 7653 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6728.653
AT ITER 7702 NEW BEST:: SOT 47032 SOS 7633 HAS SOPS 7633 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6720.633
AT ITER 7732 NEW BEST:: SOT 47032 SOS 7628 HAS SOPS 7628 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6715.628
AT ITER 7734 NEW BEST:: SOT 47028 SOS 7617 HAS SOPS 7617 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6704.617
AT ITER 7853 NEW BEST:: SOT 47028 SOS 7578 HAS SOPS 7578 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6691.578
AT ITER 7972 NEW BEST:: SOT 47028 SOS 7578 HAS SOPS 7578 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6689.578
AT ITER 7985 NEW BEST:: SOT 47029 SOS 7580 HAS SOPS 7580 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6686.58
AT ITER 8011 NEW BEST:: SOT 47007 SOS 7548 HAS SOPS 7548 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6654.548
AT ITER 8025 NEW BEST:: SOT 47006 SOS 7547 HAS SOPS 7547 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6654.547
AT ITER 8041 NEW BEST:: SOT 47006 SOS 7551 HAS SOPS 7551 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6651.551
AT ITER 8087 NEW BEST:: SOT 46996 SOS 7541 HAS SOPS 7541 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6649.541
AT ITER 8187 NEW BEST:: SOT 46991 SOS 7539 HAS SOPS 7539 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6642.539
AT ITER 8230 NEW BEST:: SOT 46988 SOS 7545 HAS SOPS 7545 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6640.545
AT ITER 8274 NEW BEST:: SOT 46990 SOS 7534 HAS SOPS 7534 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6629.534
AT ITER 8281 NEW BEST:: SOT 46989 SOS 7532 HAS SOPS 7532 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.532
AT ITER 8302 NEW BEST:: SOT 46981 SOS 7513 HAS SOPS 7513 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6623.513
AT ITER 8336 NEW BEST:: SOT 46981 SOS 7501 HAS SOPS 7501 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.501
AT ITER 8344 NEW BEST:: SOT 46980 SOS 7499 HAS SOPS 7499 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6609.499
AT ITER 8467 NEW BEST:: SOT 46975 SOS 7489 HAS SOPS 7489 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6604.489
AT ITER 8634 NEW BEST:: SOT 46968 SOS 7486 HAS SOPS 7486 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6601.486
AT ITER 8682 NEW BEST:: SOT 46952 SOS 7445 HAS SOPS 7445 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6588.445
AT ITER 8700 NEW BEST:: SOT 46956 SOS 7453 HAS SOPS 7453 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.453
AT ITER 8755 NEW BEST:: SOT 46954 SOS 7449 HAS SOPS 7449 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6582.449
AT ITER 8775 NEW BEST:: SOT 46952 SOS 7445 HAS SOPS 7445 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6578.445
AT ITER 8794 NEW BEST:: SOT 46941 SOS 7436 HAS SOPS 7436 HAS SOUS 6562 HAS SOUPS 6562 WITH SCORE 6569.436
AT ITER 8948 NEW BEST:: SOT 46934 SOS 7414 HAS SOPS 7414 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6555.414
AT ITER 8960 NEW BEST:: SOT 46947 SOS 7385 HAS SOPS 7385 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6526.385
AT ITER 8997 NEW BEST:: SOT 46955 SOS 7383 HAS SOPS 7383 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6524.383
AT ITER 9000 NEW BEST:: SOT 46945 SOS 7373 HAS SOPS 7373 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6514.373
AT ITER 9046 NEW BEST:: SOT 46945 SOS 7361 HAS SOPS 7361 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6514.361
AT ITER 9128 NEW BEST:: SOT 46945 SOS 7368 HAS SOPS 7368 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6507.368
AT ITER 9141 NEW BEST:: SOT 46945 SOS 7366 HAS SOPS 7366 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6507.366
AT ITER 9198 NEW BEST:: SOT 46942 SOS 7360 HAS SOPS 7360 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6501.36
AT ITER 9262 NEW BEST:: SOT 46937 SOS 7345 HAS SOPS 7345 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6486.345
AT ITER 9278 NEW BEST:: SOT 46937 SOS 7325 HAS SOPS 7325 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6486.325
AT ITER 9303 NEW BEST:: SOT 46937 SOS 7315 HAS SOPS 7315 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6486.315
AT ITER 9315 NEW BEST:: SOT 46935 SOS 7311 HAS SOPS 7311 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6482.311
AT ITER 9391 NEW BEST:: SOT 46941 SOS 7297 HAS SOPS 7297 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6468.297
AT ITER 9397 NEW BEST:: SOT 46937 SOS 7293 HAS SOPS 7293 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6464.293
AT ITER 9507 NEW BEST:: SOT 46936 SOS 7297 HAS SOPS 7297 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6462.297
AT ITER 9678 NEW BEST:: SOT 46936 SOS 7297 HAS SOPS 7297 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6461.297
AT ITER 9683 NEW BEST:: SOT 46936 SOS 7290 HAS SOPS 7290 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.29
AT ITER 9713 NEW BEST:: SOT 46940 SOS 7288 HAS SOPS 7288 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6452.288
AT ITER 9873 NEW BEST:: SOT 46952 SOS 7264 HAS SOPS 7264 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6452.264
AT ITER 9876 NEW BEST:: SOT 46953 SOS 7262 HAS SOPS 7262 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6450.262
AT ITER 9926 NEW BEST:: SOT 46952 SOS 7260 HAS SOPS 7260 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6450.26
AT ITER 9945 NEW BEST:: SOT 46952 SOS 7259 HAS SOPS 7259 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6449.259
AT ITER 9982 NEW BEST:: SOT 46950 SOS 7255 HAS SOPS 7255 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.255
AT ITER 9993 NEW BEST:: SOT 46925 SOS 7230 HAS SOPS 7230 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6422.23
STATE_SPACE STATES 4096234992419153447 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 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 73643123380284604678 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678737799308

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="AutoFlight-PT-03b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is AutoFlight-PT-03b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813600200416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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