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-167813600400608.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 AutonomousCar-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600400608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 6.5K Feb 25 12:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 12:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 12:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 12:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 12:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 12:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 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 159K 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 1678740385529

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=AutonomousCar-PT-05b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:46:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:46:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:46:28] [INFO ] Load time of PNML (sax parser for PT used): 81 ms
[2023-03-13 20:46:28] [INFO ] Transformed 255 places.
[2023-03-13 20:46:28] [INFO ] Transformed 490 transitions.
[2023-03-13 20:46:28] [INFO ] Found NUPN structural information;
[2023-03-13 20:46:28] [INFO ] Parsed PT model containing 255 places and 490 transitions and 2527 arcs in 152 ms.
[2023-03-13 20:46:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 255 places, 490 transitions and 2527 arcs took 7 ms.
Total runtime 192 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 05b
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: 255 places, 490 transitions, 2527 arcs.
AT ITER 0 NEW BEST:: SOT 88714 SOS 28167 HAS SOPS 28167 HAS SOUS 14379 HAS SOUPS 14379 WITH SCORE 14407.167
AT ITER 15 NEW BEST:: SOT 88437 SOS 27909 HAS SOPS 27909 HAS SOUS 14112 HAS SOUPS 14112 WITH SCORE 14139.909
AT ITER 26 NEW BEST:: SOT 88421 SOS 27845 HAS SOPS 27845 HAS SOUS 14096 HAS SOUPS 14096 WITH SCORE 14123.845
AT ITER 45 NEW BEST:: SOT 88409 SOS 27827 HAS SOPS 27827 HAS SOUS 14078 HAS SOUPS 14078 WITH SCORE 14105.827
AT ITER 61 NEW BEST:: SOT 88391 SOS 27791 HAS SOPS 27791 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14069.791
AT ITER 67 NEW BEST:: SOT 88391 SOS 27791 HAS SOPS 27791 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14049.791
AT ITER 71 NEW BEST:: SOT 88198 SOS 27632 HAS SOPS 27632 HAS SOUS 13846 HAS SOUPS 13846 WITH SCORE 13873.632
AT ITER 77 NEW BEST:: SOT 88226 SOS 27638 HAS SOPS 27638 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13852.638
AT ITER 111 NEW BEST:: SOT 88226 SOS 27634 HAS SOPS 27634 HAS SOUS 13821 HAS SOUPS 13821 WITH SCORE 13848.634
AT ITER 136 NEW BEST:: SOT 88221 SOS 27624 HAS SOPS 27624 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13814.624
AT ITER 160 NEW BEST:: SOT 88217 SOS 27609 HAS SOPS 27609 HAS SOUS 13757 HAS SOUPS 13757 WITH SCORE 13784.609
AT ITER 162 NEW BEST:: SOT 88214 SOS 27603 HAS SOPS 27603 HAS SOUS 13751 HAS SOUPS 13751 WITH SCORE 13778.603
AT ITER 167 NEW BEST:: SOT 88183 SOS 27605 HAS SOPS 27605 HAS SOUS 13707 HAS SOUPS 13707 WITH SCORE 13734.605
AT ITER 169 NEW BEST:: SOT 87973 SOS 27367 HAS SOPS 27367 HAS SOUS 13644 HAS SOUPS 13644 WITH SCORE 13671.367
AT ITER 180 NEW BEST:: SOT 87953 SOS 27287 HAS SOPS 27287 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13631.287
AT ITER 188 NEW BEST:: SOT 87947 SOS 27269 HAS SOPS 27269 HAS SOUS 13586 HAS SOUPS 13586 WITH SCORE 13613.269
AT ITER 196 NEW BEST:: SOT 87943 SOS 27261 HAS SOPS 27261 HAS SOUS 13578 HAS SOUPS 13578 WITH SCORE 13605.261
AT ITER 215 NEW BEST:: SOT 87947 SOS 27269 HAS SOPS 27269 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13585.269
AT ITER 227 NEW BEST:: SOT 87933 SOS 27219 HAS SOPS 27219 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13571.219
AT ITER 275 NEW BEST:: SOT 87933 SOS 27181 HAS SOPS 27181 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13538.181
AT ITER 293 NEW BEST:: SOT 87933 SOS 27176 HAS SOPS 27176 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13513.176
AT ITER 296 NEW BEST:: SOT 87854 SOS 27097 HAS SOPS 27097 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13302.097
AT ITER 297 NEW BEST:: SOT 87849 SOS 26926 HAS SOPS 26926 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13300.926
AT ITER 308 NEW BEST:: SOT 87823 SOS 26836 HAS SOPS 26836 HAS SOUS 13187 HAS SOUPS 13187 WITH SCORE 13213.836
AT ITER 315 NEW BEST:: SOT 87774 SOS 26785 HAS SOPS 26785 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13140.785
AT ITER 325 NEW BEST:: SOT 87774 SOS 26777 HAS SOPS 26777 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13140.777
AT ITER 336 NEW BEST:: SOT 87792 SOS 26813 HAS SOPS 26813 HAS SOUS 13098 HAS SOUPS 13098 WITH SCORE 13124.813
AT ITER 339 NEW BEST:: SOT 87792 SOS 26798 HAS SOPS 26798 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13109.798
AT ITER 346 NEW BEST:: SOT 87593 SOS 26528 HAS SOPS 26528 HAS SOUS 13017 HAS SOUPS 13017 WITH SCORE 13043.528
AT ITER 351 NEW BEST:: SOT 87574 SOS 26490 HAS SOPS 26490 HAS SOUS 12979 HAS SOUPS 12979 WITH SCORE 13005.49
AT ITER 353 NEW BEST:: SOT 87564 SOS 26480 HAS SOPS 26480 HAS SOUS 12959 HAS SOUPS 12959 WITH SCORE 12985.48
AT ITER 355 NEW BEST:: SOT 87566 SOS 26482 HAS SOPS 26482 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12965.482
AT ITER 367 NEW BEST:: SOT 87544 SOS 26438 HAS SOPS 26438 HAS SOUS 12917 HAS SOUPS 12917 WITH SCORE 12943.438
AT ITER 375 NEW BEST:: SOT 87540 SOS 26438 HAS SOPS 26438 HAS SOUS 12913 HAS SOUPS 12913 WITH SCORE 12939.438
AT ITER 393 NEW BEST:: SOT 87516 SOS 26438 HAS SOPS 26438 HAS SOUS 12909 HAS SOUPS 12909 WITH SCORE 12935.438
AT ITER 411 NEW BEST:: SOT 87516 SOS 26431 HAS SOPS 26431 HAS SOUS 12909 HAS SOUPS 12909 WITH SCORE 12935.431
AT ITER 415 NEW BEST:: SOT 87469 SOS 26357 HAS SOPS 26357 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12859.357
AT ITER 418 NEW BEST:: SOT 87510 SOS 26359 HAS SOPS 26359 HAS SOUS 12739 HAS SOUPS 12739 WITH SCORE 12765.359
AT ITER 419 NEW BEST:: SOT 87508 SOS 26351 HAS SOPS 26351 HAS SOUS 12736 HAS SOUPS 12736 WITH SCORE 12762.351
AT ITER 471 NEW BEST:: SOT 87495 SOS 26342 HAS SOPS 26342 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12753.342
AT ITER 479 NEW BEST:: SOT 87513 SOS 26324 HAS SOPS 26324 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12748.324
AT ITER 511 NEW BEST:: SOT 87503 SOS 26314 HAS SOPS 26314 HAS SOUS 12702 HAS SOUPS 12702 WITH SCORE 12728.314
AT ITER 525 NEW BEST:: SOT 87473 SOS 26283 HAS SOPS 26283 HAS SOUS 12671 HAS SOUPS 12671 WITH SCORE 12697.283
AT ITER 555 NEW BEST:: SOT 87464 SOS 26401 HAS SOPS 26401 HAS SOUS 12669 HAS SOUPS 12669 WITH SCORE 12695.401
AT ITER 563 NEW BEST:: SOT 87460 SOS 26401 HAS SOPS 26401 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12691.401
AT ITER 587 NEW BEST:: SOT 87459 SOS 26399 HAS SOPS 26399 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12689.399
AT ITER 589 NEW BEST:: SOT 87458 SOS 26397 HAS SOPS 26397 HAS SOUS 12661 HAS SOUPS 12661 WITH SCORE 12687.397
AT ITER 594 NEW BEST:: SOT 87452 SOS 26391 HAS SOPS 26391 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12681.391
AT ITER 604 NEW BEST:: SOT 87450 SOS 26389 HAS SOPS 26389 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12665.389
AT ITER 607 NEW BEST:: SOT 87422 SOS 26354 HAS SOPS 26354 HAS SOUS 12604 HAS SOUPS 12604 WITH SCORE 12630.354
AT ITER 608 NEW BEST:: SOT 87358 SOS 26640 HAS SOPS 26640 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12596.64
AT ITER 615 NEW BEST:: SOT 87358 SOS 26611 HAS SOPS 26611 HAS SOUS 12541 HAS SOUPS 12541 WITH SCORE 12567.611
AT ITER 619 NEW BEST:: SOT 87358 SOS 26609 HAS SOPS 26609 HAS SOUS 12539 HAS SOUPS 12539 WITH SCORE 12565.609
AT ITER 643 NEW BEST:: SOT 87358 SOS 26609 HAS SOPS 26609 HAS SOUS 12507 HAS SOUPS 12507 WITH SCORE 12533.609
AT ITER 647 NEW BEST:: SOT 87343 SOS 26594 HAS SOPS 26594 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12518.594
AT ITER 648 NEW BEST:: SOT 87359 SOS 26578 HAS SOPS 26578 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12474.578
AT ITER 662 NEW BEST:: SOT 87330 SOS 26520 HAS SOPS 26520 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12407.52
AT ITER 688 NEW BEST:: SOT 87262 SOS 26387 HAS SOPS 26387 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12317.387
AT ITER 696 NEW BEST:: SOT 87244 SOS 26369 HAS SOPS 26369 HAS SOUS 12192 HAS SOUPS 12192 WITH SCORE 12218.369
AT ITER 704 NEW BEST:: SOT 87234 SOS 26359 HAS SOPS 26359 HAS SOUS 12182 HAS SOUPS 12182 WITH SCORE 12208.359
AT ITER 706 NEW BEST:: SOT 87206 SOS 26356 HAS SOPS 26356 HAS SOUS 12148 HAS SOUPS 12148 WITH SCORE 12174.356
AT ITER 738 NEW BEST:: SOT 87141 SOS 26314 HAS SOPS 26314 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12153.314
AT ITER 751 NEW BEST:: SOT 87130 SOS 26281 HAS SOPS 26281 HAS SOUS 12116 HAS SOUPS 12116 WITH SCORE 12142.281
AT ITER 753 NEW BEST:: SOT 87128 SOS 26277 HAS SOPS 26277 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12141.277
AT ITER 755 NEW BEST:: SOT 87106 SOS 26211 HAS SOPS 26211 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12103.211
AT ITER 762 NEW BEST:: SOT 87087 SOS 26020 HAS SOPS 26020 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12018.02
AT ITER 781 NEW BEST:: SOT 87087 SOS 26004 HAS SOPS 26004 HAS SOUS 11976 HAS SOUPS 11976 WITH SCORE 12002.004
AT ITER 811 NEW BEST:: SOT 87090 SOS 25969 HAS SOPS 25969 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 11997.969
AT ITER 834 NEW BEST:: SOT 87086 SOS 25961 HAS SOPS 25961 HAS SOUS 11964 HAS SOUPS 11964 WITH SCORE 11989.961
AT ITER 883 NEW BEST:: SOT 87006 SOS 25859 HAS SOPS 25859 HAS SOUS 11964 HAS SOUPS 11964 WITH SCORE 11989.859
AT ITER 901 NEW BEST:: SOT 87005 SOS 25857 HAS SOPS 25857 HAS SOUS 11960 HAS SOUPS 11960 WITH SCORE 11985.857
AT ITER 908 NEW BEST:: SOT 87025 SOS 25861 HAS SOPS 25861 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11943.861
AT ITER 909 NEW BEST:: SOT 87004 SOS 25851 HAS SOPS 25851 HAS SOUS 11913 HAS SOUPS 11913 WITH SCORE 11938.851
AT ITER 912 NEW BEST:: SOT 86991 SOS 25838 HAS SOPS 25838 HAS SOUS 11900 HAS SOUPS 11900 WITH SCORE 11925.838
AT ITER 917 NEW BEST:: SOT 86952 SOS 27121 HAS SOPS 27121 HAS SOUS 11895 HAS SOUPS 11895 WITH SCORE 11922.121
AT ITER 922 NEW BEST:: SOT 86929 SOS 27075 HAS SOPS 27075 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11864.075
AT ITER 945 NEW BEST:: SOT 86929 SOS 27075 HAS SOPS 27075 HAS SOUS 11832 HAS SOUPS 11832 WITH SCORE 11859.075
AT ITER 962 NEW BEST:: SOT 86926 SOS 27069 HAS SOPS 27069 HAS SOUS 11826 HAS SOUPS 11826 WITH SCORE 11853.069
AT ITER 981 NEW BEST:: SOT 86926 SOS 27059 HAS SOPS 27059 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11843.059
AT ITER 984 NEW BEST:: SOT 86916 SOS 27048 HAS SOPS 27048 HAS SOUS 11805 HAS SOUPS 11805 WITH SCORE 11832.048
AT ITER 1069 NEW BEST:: SOT 86922 SOS 27060 HAS SOPS 27060 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11810.06
AT ITER 1071 NEW BEST:: SOT 86922 SOS 27060 HAS SOPS 27060 HAS SOUS 11763 HAS SOUPS 11763 WITH SCORE 11790.06
AT ITER 1072 NEW BEST:: SOT 86829 SOS 26943 HAS SOPS 26943 HAS SOUS 11721 HAS SOUPS 11721 WITH SCORE 11747.943
AT ITER 1078 NEW BEST:: SOT 86843 SOS 26971 HAS SOPS 26971 HAS SOUS 11635 HAS SOUPS 11635 WITH SCORE 11661.971
AT ITER 1100 NEW BEST:: SOT 86756 SOS 26896 HAS SOPS 26896 HAS SOUS 11575 HAS SOUPS 11575 WITH SCORE 11601.896
AT ITER 1175 NEW BEST:: SOT 86756 SOS 26890 HAS SOPS 26890 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11595.89
AT ITER 1214 NEW BEST:: SOT 86748 SOS 26840 HAS SOPS 26840 HAS SOUS 11547 HAS SOUPS 11547 WITH SCORE 11573.84
AT ITER 1223 NEW BEST:: SOT 86748 SOS 26840 HAS SOPS 26840 HAS SOUS 11516 HAS SOUPS 11516 WITH SCORE 11542.84
AT ITER 1225 NEW BEST:: SOT 86747 SOS 26838 HAS SOPS 26838 HAS SOUS 11514 HAS SOUPS 11514 WITH SCORE 11540.838
AT ITER 1280 NEW BEST:: SOT 86728 SOS 26798 HAS SOPS 26798 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11539.798
AT ITER 1286 NEW BEST:: SOT 86723 SOS 26793 HAS SOPS 26793 HAS SOUS 11503 HAS SOUPS 11503 WITH SCORE 11529.793
AT ITER 1297 NEW BEST:: SOT 86783 SOS 26912 HAS SOPS 26912 HAS SOUS 11418 HAS SOUPS 11418 WITH SCORE 11444.912
AT ITER 1338 NEW BEST:: SOT 86782 SOS 26911 HAS SOPS 26911 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11443.911
AT ITER 1345 NEW BEST:: SOT 86778 SOS 26907 HAS SOPS 26907 HAS SOUS 11413 HAS SOUPS 11413 WITH SCORE 11439.907
AT ITER 1392 NEW BEST:: SOT 86733 SOS 26846 HAS SOPS 26846 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11364.846
AT ITER 1410 NEW BEST:: SOT 86715 SOS 26810 HAS SOPS 26810 HAS SOUS 11320 HAS SOUPS 11320 WITH SCORE 11346.81
AT ITER 1463 NEW BEST:: SOT 86715 SOS 26791 HAS SOPS 26791 HAS SOUS 11320 HAS SOUPS 11320 WITH SCORE 11346.791
AT ITER 1557 NEW BEST:: SOT 86717 SOS 26789 HAS SOPS 26789 HAS SOUS 11318 HAS SOUPS 11318 WITH SCORE 11344.789
AT ITER 1567 NEW BEST:: SOT 86708 SOS 26771 HAS SOPS 26771 HAS SOUS 11300 HAS SOUPS 11300 WITH SCORE 11326.771
AT ITER 1592 NEW BEST:: SOT 86717 SOS 26789 HAS SOPS 26789 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11310.789
AT ITER 1638 NEW BEST:: SOT 86718 SOS 27143 HAS SOPS 27143 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11274.143
AT ITER 1662 NEW BEST:: SOT 86710 SOS 27127 HAS SOPS 27127 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11266.127
AT ITER 1688 NEW BEST:: SOT 86691 SOS 27108 HAS SOPS 27108 HAS SOUS 11220 HAS SOUPS 11220 WITH SCORE 11247.108
AT ITER 1714 NEW BEST:: SOT 86691 SOS 27108 HAS SOPS 27108 HAS SOUS 11213 HAS SOUPS 11213 WITH SCORE 11240.108
AT ITER 1738 NEW BEST:: SOT 86693 SOS 27110 HAS SOPS 27110 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11232.11
AT ITER 1741 NEW BEST:: SOT 86682 SOS 27088 HAS SOPS 27088 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11210.088
AT ITER 1760 NEW BEST:: SOT 86681 SOS 27086 HAS SOPS 27086 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11208.086
AT ITER 1785 NEW BEST:: SOT 86668 SOS 26632 HAS SOPS 26632 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11207.632
AT ITER 1788 NEW BEST:: SOT 86668 SOS 26615 HAS SOPS 26615 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11192.615
AT ITER 1799 NEW BEST:: SOT 86667 SOS 26613 HAS SOPS 26613 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11190.613
AT ITER 1806 NEW BEST:: SOT 86667 SOS 26613 HAS SOPS 26613 HAS SOUS 11159 HAS SOUPS 11159 WITH SCORE 11185.613
AT ITER 1808 NEW BEST:: SOT 86662 SOS 26594 HAS SOPS 26594 HAS SOUS 11140 HAS SOUPS 11140 WITH SCORE 11166.594
AT ITER 1830 NEW BEST:: SOT 86740 SOS 26672 HAS SOPS 26672 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11154.672
AT ITER 1835 NEW BEST:: SOT 86735 SOS 26674 HAS SOPS 26674 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11153.674
AT ITER 1840 NEW BEST:: SOT 86732 SOS 26668 HAS SOPS 26668 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11150.668
AT ITER 1908 NEW BEST:: SOT 86695 SOS 26054 HAS SOPS 26054 HAS SOUS 11102 HAS SOUPS 11102 WITH SCORE 11128.054
AT ITER 1911 NEW BEST:: SOT 86684 SOS 26049 HAS SOPS 26049 HAS SOUS 11087 HAS SOUPS 11087 WITH SCORE 11113.049
AT ITER 1919 NEW BEST:: SOT 86684 SOS 26042 HAS SOPS 26042 HAS SOUS 11087 HAS SOUPS 11087 WITH SCORE 11113.042
AT ITER 1921 NEW BEST:: SOT 86692 SOS 26023 HAS SOPS 26023 HAS SOUS 11060 HAS SOUPS 11060 WITH SCORE 11086.023
AT ITER 1953 NEW BEST:: SOT 86668 SOS 25987 HAS SOPS 25987 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11061.987
AT ITER 1971 NEW BEST:: SOT 86670 SOS 25991 HAS SOPS 25991 HAS SOUS 11033 HAS SOUPS 11033 WITH SCORE 11058.991
AT ITER 2013 NEW BEST:: SOT 86670 SOS 25984 HAS SOPS 25984 HAS SOUS 11026 HAS SOUPS 11026 WITH SCORE 11051.984
AT ITER 2014 NEW BEST:: SOT 86630 SOS 25964 HAS SOPS 25964 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10931.964
AT ITER 2018 NEW BEST:: SOT 86631 SOS 25960 HAS SOPS 25960 HAS SOUS 10904 HAS SOUPS 10904 WITH SCORE 10929.96
AT ITER 2022 NEW BEST:: SOT 86628 SOS 25957 HAS SOPS 25957 HAS SOUS 10898 HAS SOUPS 10898 WITH SCORE 10923.957
AT ITER 2046 NEW BEST:: SOT 86626 SOS 25951 HAS SOPS 25951 HAS SOUS 10894 HAS SOUPS 10894 WITH SCORE 10919.951
AT ITER 2054 NEW BEST:: SOT 86608 SOS 25946 HAS SOPS 25946 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10857.946
AT ITER 2056 NEW BEST:: SOT 86623 SOS 25976 HAS SOPS 25976 HAS SOUS 10787 HAS SOUPS 10787 WITH SCORE 10812.976
AT ITER 2065 NEW BEST:: SOT 86619 SOS 25959 HAS SOPS 25959 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10804.959
AT ITER 2155 NEW BEST:: SOT 86611 SOS 25951 HAS SOPS 25951 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10789.951
AT ITER 2162 NEW BEST:: SOT 86613 SOS 25945 HAS SOPS 25945 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10783.945
AT ITER 2165 NEW BEST:: SOT 86437 SOS 25746 HAS SOPS 25746 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10708.746
AT ITER 2173 NEW BEST:: SOT 86429 SOS 25735 HAS SOPS 25735 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10697.735
AT ITER 2203 NEW BEST:: SOT 86425 SOS 25727 HAS SOPS 25727 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10689.727
AT ITER 2226 NEW BEST:: SOT 86417 SOS 25695 HAS SOPS 25695 HAS SOUS 10656 HAS SOUPS 10656 WITH SCORE 10681.695
AT ITER 2254 NEW BEST:: SOT 86406 SOS 25685 HAS SOPS 25685 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10671.685
AT ITER 2266 NEW BEST:: SOT 86388 SOS 25649 HAS SOPS 25649 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10635.649
AT ITER 2290 NEW BEST:: SOT 86388 SOS 25649 HAS SOPS 25649 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10634.649
AT ITER 2303 NEW BEST:: SOT 86392 SOS 25647 HAS SOPS 25647 HAS SOUS 10607 HAS SOUPS 10607 WITH SCORE 10632.647
AT ITER 2304 NEW BEST:: SOT 86383 SOS 25636 HAS SOPS 25636 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10621.636
AT ITER 2334 NEW BEST:: SOT 86373 SOS 25626 HAS SOPS 25626 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10601.626
AT ITER 2359 NEW BEST:: SOT 86362 SOS 25604 HAS SOPS 25604 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10582.604
AT ITER 2398 NEW BEST:: SOT 86362 SOS 25604 HAS SOPS 25604 HAS SOUS 10556 HAS SOUPS 10556 WITH SCORE 10581.604
AT ITER 2449 NEW BEST:: SOT 86354 SOS 25588 HAS SOPS 25588 HAS SOUS 10535 HAS SOUPS 10535 WITH SCORE 10560.588
AT ITER 2457 NEW BEST:: SOT 86362 SOS 25604 HAS SOPS 25604 HAS SOUS 10514 HAS SOUPS 10514 WITH SCORE 10539.604
AT ITER 2462 NEW BEST:: SOT 86362 SOS 25590 HAS SOPS 25590 HAS SOUS 10500 HAS SOUPS 10500 WITH SCORE 10525.59
AT ITER 2464 NEW BEST:: SOT 86358 SOS 25574 HAS SOPS 25574 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10517.574
AT ITER 2476 NEW BEST:: SOT 86357 SOS 25572 HAS SOPS 25572 HAS SOUS 10490 HAS SOUPS 10490 WITH SCORE 10515.572
AT ITER 2477 NEW BEST:: SOT 86331 SOS 25546 HAS SOPS 25546 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10500.546
AT ITER 2482 NEW BEST:: SOT 86329 SOS 25542 HAS SOPS 25542 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10496.542
AT ITER 2505 NEW BEST:: SOT 86323 SOS 25530 HAS SOPS 25530 HAS SOUS 10465 HAS SOUPS 10465 WITH SCORE 10490.53
AT ITER 2555 NEW BEST:: SOT 86313 SOS 25510 HAS SOPS 25510 HAS SOUS 10455 HAS SOUPS 10455 WITH SCORE 10480.51
AT ITER 2556 NEW BEST:: SOT 86335 SOS 25554 HAS SOPS 25554 HAS SOUS 10449 HAS SOUPS 10449 WITH SCORE 10474.554
AT ITER 2563 NEW BEST:: SOT 86285 SOS 25499 HAS SOPS 25499 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10419.499
AT ITER 2623 NEW BEST:: SOT 86285 SOS 25499 HAS SOPS 25499 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10418.499
AT ITER 2626 NEW BEST:: SOT 86285 SOS 25509 HAS SOPS 25509 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10408.509
AT ITER 2635 NEW BEST:: SOT 86281 SOS 25501 HAS SOPS 25501 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10400.501
AT ITER 2656 NEW BEST:: SOT 86281 SOS 25501 HAS SOPS 25501 HAS SOUS 10362 HAS SOUPS 10362 WITH SCORE 10387.501
AT ITER 2677 NEW BEST:: SOT 86281 SOS 25501 HAS SOPS 25501 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10384.501
AT ITER 2683 NEW BEST:: SOT 86271 SOS 25498 HAS SOPS 25498 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10374.498
AT ITER 2706 NEW BEST:: SOT 86290 SOS 25494 HAS SOPS 25494 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10361.494
AT ITER 2730 NEW BEST:: SOT 86280 SOS 25484 HAS SOPS 25484 HAS SOUS 10316 HAS SOUPS 10316 WITH SCORE 10341.484
AT ITER 2739 NEW BEST:: SOT 86267 SOS 25468 HAS SOPS 25468 HAS SOUS 10254 HAS SOUPS 10254 WITH SCORE 10279.468
AT ITER 2772 NEW BEST:: SOT 86245 SOS 25424 HAS SOPS 25424 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10259.424
AT ITER 2794 NEW BEST:: SOT 86240 SOS 24909 HAS SOPS 24909 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10255.909
AT ITER 2830 NEW BEST:: SOT 86240 SOS 24886 HAS SOPS 24886 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10255.886
AT ITER 2833 NEW BEST:: SOT 86235 SOS 24876 HAS SOPS 24876 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10249.876
AT ITER 2851 NEW BEST:: SOT 86232 SOS 24870 HAS SOPS 24870 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10243.87
AT ITER 2894 NEW BEST:: SOT 86232 SOS 24870 HAS SOPS 24870 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10236.87
AT ITER 2909 NEW BEST:: SOT 86224 SOS 24854 HAS SOPS 24854 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10220.854
AT ITER 2910 NEW BEST:: SOT 86218 SOS 24861 HAS SOPS 24861 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10211.861
AT ITER 2911 NEW BEST:: SOT 86184 SOS 24793 HAS SOPS 24793 HAS SOUS 10167 HAS SOUPS 10167 WITH SCORE 10191.793
AT ITER 2980 NEW BEST:: SOT 86183 SOS 24793 HAS SOPS 24793 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10190.793
AT ITER 3006 NEW BEST:: SOT 86173 SOS 24783 HAS SOPS 24783 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10180.783
AT ITER 3033 NEW BEST:: SOT 86175 SOS 24787 HAS SOPS 24787 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10166.787
AT ITER 3050 NEW BEST:: SOT 86125 SOS 24737 HAS SOPS 24737 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10056.737
AT ITER 3067 NEW BEST:: SOT 86118 SOS 24723 HAS SOPS 24723 HAS SOUS 10025 HAS SOUPS 10025 WITH SCORE 10049.723
AT ITER 3140 NEW BEST:: SOT 86142 SOS 24687 HAS SOPS 24687 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10036.687
AT ITER 3202 NEW BEST:: SOT 86142 SOS 24684 HAS SOPS 24684 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10033.684
AT ITER 3248 NEW BEST:: SOT 86089 SOS 27511 HAS SOPS 27511 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9993.511
AT ITER 3283 NEW BEST:: SOT 86097 SOS 27519 HAS SOPS 27519 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9990.519
AT ITER 3291 NEW BEST:: SOT 86103 SOS 27513 HAS SOPS 27513 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9990.513
AT ITER 3295 NEW BEST:: SOT 86103 SOS 27507 HAS SOPS 27507 HAS SOUS 9957 HAS SOUPS 9957 WITH SCORE 9984.507
AT ITER 3312 NEW BEST:: SOT 86095 SOS 27491 HAS SOPS 27491 HAS SOUS 9949 HAS SOUPS 9949 WITH SCORE 9976.491
AT ITER 3316 NEW BEST:: SOT 86025 SOS 27413 HAS SOPS 27413 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9908.413
AT ITER 3320 NEW BEST:: SOT 86022 SOS 27407 HAS SOPS 27407 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9903.407
AT ITER 3338 NEW BEST:: SOT 86020 SOS 27403 HAS SOPS 27403 HAS SOUS 9872 HAS SOUPS 9872 WITH SCORE 9899.403
AT ITER 3354 NEW BEST:: SOT 86020 SOS 27403 HAS SOPS 27403 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9895.403
AT ITER 3403 NEW BEST:: SOT 86018 SOS 27399 HAS SOPS 27399 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9895.399
AT ITER 3429 NEW BEST:: SOT 86010 SOS 27383 HAS SOPS 27383 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9879.383
AT ITER 3445 NEW BEST:: SOT 86000 SOS 27375 HAS SOPS 27375 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9871.375
AT ITER 3452 NEW BEST:: SOT 86000 SOS 27354 HAS SOPS 27354 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9871.354
AT ITER 3536 NEW BEST:: SOT 85998 SOS 27350 HAS SOPS 27350 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9867.35
AT ITER 3548 NEW BEST:: SOT 85996 SOS 27348 HAS SOPS 27348 HAS SOUS 9838 HAS SOUPS 9838 WITH SCORE 9865.348
AT ITER 3572 NEW BEST:: SOT 85998 SOS 27352 HAS SOPS 27352 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9854.352
AT ITER 3574 NEW BEST:: SOT 85998 SOS 27295 HAS SOPS 27295 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9847.295
AT ITER 3576 NEW BEST:: SOT 85989 SOS 27286 HAS SOPS 27286 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9838.286
AT ITER 3606 NEW BEST:: SOT 85985 SOS 27278 HAS SOPS 27278 HAS SOUS 9803 HAS SOUPS 9803 WITH SCORE 9830.278
AT ITER 3623 NEW BEST:: SOT 85970 SOS 27248 HAS SOPS 27248 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9770.248
AT ITER 3641 NEW BEST:: SOT 85970 SOS 27244 HAS SOPS 27244 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9770.244
AT ITER 3692 NEW BEST:: SOT 85976 SOS 27178 HAS SOPS 27178 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9730.178
AT ITER 3704 NEW BEST:: SOT 85967 SOS 27160 HAS SOPS 27160 HAS SOUS 9691 HAS SOUPS 9691 WITH SCORE 9718.16
AT ITER 3731 NEW BEST:: SOT 85955 SOS 27136 HAS SOPS 27136 HAS SOUS 9667 HAS SOUPS 9667 WITH SCORE 9694.136
AT ITER 3758 NEW BEST:: SOT 85952 SOS 27130 HAS SOPS 27130 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9688.13
AT ITER 3795 NEW BEST:: SOT 85952 SOS 27104 HAS SOPS 27104 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9688.104
AT ITER 3816 NEW BEST:: SOT 85948 SOS 27081 HAS SOPS 27081 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9648.081
AT ITER 3827 NEW BEST:: SOT 85920 SOS 27069 HAS SOPS 27069 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9600.069
AT ITER 3861 NEW BEST:: SOT 85910 SOS 27049 HAS SOPS 27049 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9580.049
AT ITER 3868 NEW BEST:: SOT 85913 SOS 27051 HAS SOPS 27051 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9579.051
AT ITER 3960 NEW BEST:: SOT 85946 SOS 27092 HAS SOPS 27092 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9548.092
AT ITER 3988 NEW BEST:: SOT 85935 SOS 27090 HAS SOPS 27090 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9534.09
AT ITER 4073 NEW BEST:: SOT 85933 SOS 27090 HAS SOPS 27090 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9532.09
AT ITER 4075 NEW BEST:: SOT 85933 SOS 27074 HAS SOPS 27074 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9516.074
AT ITER 4102 NEW BEST:: SOT 85913 SOS 27034 HAS SOPS 27034 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9476.034
AT ITER 4105 NEW BEST:: SOT 85878 SOS 26985 HAS SOPS 26985 HAS SOUS 9428 HAS SOUPS 9428 WITH SCORE 9454.985
AT ITER 4114 NEW BEST:: SOT 85831 SOS 26936 HAS SOPS 26936 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9405.936
AT ITER 4235 NEW BEST:: SOT 85824 SOS 26929 HAS SOPS 26929 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9398.929
AT ITER 4239 NEW BEST:: SOT 85809 SOS 26915 HAS SOPS 26915 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9383.915
AT ITER 4289 NEW BEST:: SOT 85799 SOS 26903 HAS SOPS 26903 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9361.903
AT ITER 4307 NEW BEST:: SOT 85799 SOS 26898 HAS SOPS 26898 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9351.898
AT ITER 4324 NEW BEST:: SOT 85802 SOS 26904 HAS SOPS 26904 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9346.904
AT ITER 4417 NEW BEST:: SOT 85782 SOS 23044 HAS SOPS 23044 HAS SOUS 9305 HAS SOUPS 9305 WITH SCORE 9328.044
AT ITER 4431 NEW BEST:: SOT 85752 SOS 22965 HAS SOPS 22965 HAS SOUS 9260 HAS SOUPS 9260 WITH SCORE 9282.965
AT ITER 4453 NEW BEST:: SOT 85746 SOS 22956 HAS SOPS 22956 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9273.956
AT ITER 4513 NEW BEST:: SOT 85736 SOS 22946 HAS SOPS 22946 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9253.946
AT ITER 4564 NEW BEST:: SOT 85734 SOS 22940 HAS SOPS 22940 HAS SOUS 9229 HAS SOUPS 9229 WITH SCORE 9251.94
AT ITER 4580 NEW BEST:: SOT 85733 SOS 22934 HAS SOPS 22934 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9248.934
AT ITER 4585 NEW BEST:: SOT 85732 SOS 22932 HAS SOPS 22932 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9246.932
AT ITER 4614 NEW BEST:: SOT 85732 SOS 22932 HAS SOPS 22932 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9241.932
AT ITER 4632 NEW BEST:: SOT 85729 SOS 22927 HAS SOPS 22927 HAS SOUS 9214 HAS SOUPS 9214 WITH SCORE 9236.927
AT ITER 4656 NEW BEST:: SOT 85729 SOS 22927 HAS SOPS 22927 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9235.927
AT ITER 4676 NEW BEST:: SOT 85717 SOS 22915 HAS SOPS 22915 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9235.915
AT ITER 4694 NEW BEST:: SOT 85692 SOS 22901 HAS SOPS 22901 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9216.901
AT ITER 4698 NEW BEST:: SOT 85692 SOS 22891 HAS SOPS 22891 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9211.891
AT ITER 4703 NEW BEST:: SOT 85634 SOS 22816 HAS SOPS 22816 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9200.816
AT ITER 4739 NEW BEST:: SOT 85643 SOS 22824 HAS SOPS 22824 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9159.824
AT ITER 4754 NEW BEST:: SOT 85641 SOS 22822 HAS SOPS 22822 HAS SOUS 9135 HAS SOUPS 9135 WITH SCORE 9157.822
AT ITER 4765 NEW BEST:: SOT 85622 SOS 22817 HAS SOPS 22817 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9148.817
AT ITER 4852 NEW BEST:: SOT 85622 SOS 22817 HAS SOPS 22817 HAS SOUS 9114 HAS SOUPS 9114 WITH SCORE 9136.817
AT ITER 4862 NEW BEST:: SOT 85622 SOS 22929 HAS SOPS 22929 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9131.929
AT ITER 4895 NEW BEST:: SOT 85615 SOS 22915 HAS SOPS 22915 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9117.915
AT ITER 4975 NEW BEST:: SOT 85613 SOS 22911 HAS SOPS 22911 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9113.911
AT ITER 4981 NEW BEST:: SOT 85606 SOS 22897 HAS SOPS 22897 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9108.897
AT ITER 4986 NEW BEST:: SOT 85600 SOS 22885 HAS SOPS 22885 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9102.885
AT ITER 5041 NEW BEST:: SOT 85599 SOS 22885 HAS SOPS 22885 HAS SOUS 9079 HAS SOUPS 9079 WITH SCORE 9101.885
AT ITER 5118 NEW BEST:: SOT 85586 SOS 22869 HAS SOPS 22869 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9095.869
AT ITER 5122 NEW BEST:: SOT 85586 SOS 22869 HAS SOPS 22869 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9080.869
AT ITER 5154 NEW BEST:: SOT 85582 SOS 22852 HAS SOPS 22852 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9076.852
AT ITER 5219 NEW BEST:: SOT 85607 SOS 22851 HAS SOPS 22851 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9074.851
AT ITER 5236 NEW BEST:: SOT 85603 SOS 22847 HAS SOPS 22847 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9070.847
AT ITER 5362 NEW BEST:: SOT 85605 SOS 22851 HAS SOPS 22851 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9068.851
AT ITER 5395 NEW BEST:: SOT 85567 SOS 22973 HAS SOPS 22973 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9030.973
AT ITER 5435 NEW BEST:: SOT 85522 SOS 22919 HAS SOPS 22919 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8985.919
AT ITER 5455 NEW BEST:: SOT 85522 SOS 22917 HAS SOPS 22917 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8985.917
AT ITER 5489 NEW BEST:: SOT 85527 SOS 22913 HAS SOPS 22913 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8976.913
AT ITER 5524 NEW BEST:: SOT 85518 SOS 22895 HAS SOPS 22895 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8956.895
AT ITER 5680 NEW BEST:: SOT 85513 SOS 22876 HAS SOPS 22876 HAS SOUS 8920 HAS SOUPS 8920 WITH SCORE 8942.876
AT ITER 5717 NEW BEST:: SOT 85508 SOS 22866 HAS SOPS 22866 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8932.866
AT ITER 5725 NEW BEST:: SOT 85572 SOS 22927 HAS SOPS 22927 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8857.927
AT ITER 5753 NEW BEST:: SOT 85559 SOS 22921 HAS SOPS 22921 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8831.921
AT ITER 5800 NEW BEST:: SOT 85557 SOS 22917 HAS SOPS 22917 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8827.917
AT ITER 5815 NEW BEST:: SOT 85566 SOS 22933 HAS SOPS 22933 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8820.933
AT ITER 5836 NEW BEST:: SOT 85566 SOS 22932 HAS SOPS 22932 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8819.932
AT ITER 5892 NEW BEST:: SOT 85564 SOS 22928 HAS SOPS 22928 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8817.928
AT ITER 5899 NEW BEST:: SOT 85563 SOS 22926 HAS SOPS 22926 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8815.926
AT ITER 5957 NEW BEST:: SOT 85557 SOS 22920 HAS SOPS 22920 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8809.92
AT ITER 6042 NEW BEST:: SOT 85556 SOS 22918 HAS SOPS 22918 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8806.918
AT ITER 6068 NEW BEST:: SOT 85546 SOS 22918 HAS SOPS 22918 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8796.918
AT ITER 6078 NEW BEST:: SOT 85544 SOS 22916 HAS SOPS 22916 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8794.916
AT ITER 6114 NEW BEST:: SOT 85534 SOS 22900 HAS SOPS 22900 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8778.9
AT ITER 6240 NEW BEST:: SOT 85530 SOS 22896 HAS SOPS 22896 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8774.896
AT ITER 6265 NEW BEST:: SOT 85518 SOS 22878 HAS SOPS 22878 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8762.878
AT ITER 6277 NEW BEST:: SOT 85507 SOS 22877 HAS SOPS 22877 HAS SOUS 8739 HAS SOUPS 8739 WITH SCORE 8761.877
AT ITER 6346 NEW BEST:: SOT 85507 SOS 22875 HAS SOPS 22875 HAS SOUS 8739 HAS SOUPS 8739 WITH SCORE 8761.875
AT ITER 6388 NEW BEST:: SOT 85510 SOS 22871 HAS SOPS 22871 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8734.871
AT ITER 6415 NEW BEST:: SOT 85510 SOS 22857 HAS SOPS 22857 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8734.857
AT ITER 6417 NEW BEST:: SOT 85506 SOS 22855 HAS SOPS 22855 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8724.855
AT ITER 6471 NEW BEST:: SOT 85539 SOS 22898 HAS SOPS 22898 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8721.898
AT ITER 6495 NEW BEST:: SOT 85538 SOS 22903 HAS SOPS 22903 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8719.903
AT ITER 6517 NEW BEST:: SOT 85538 SOS 22885 HAS SOPS 22885 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8712.885
AT ITER 6542 NEW BEST:: SOT 85537 SOS 22884 HAS SOPS 22884 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8705.884
AT ITER 6546 NEW BEST:: SOT 85500 SOS 22880 HAS SOPS 22880 HAS SOUS 8666 HAS SOUPS 8666 WITH SCORE 8688.88
AT ITER 6547 NEW BEST:: SOT 85482 SOS 22862 HAS SOPS 22862 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8670.862
AT ITER 6572 NEW BEST:: SOT 85474 SOS 22273 HAS SOPS 22273 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8654.273
AT ITER 6584 NEW BEST:: SOT 85401 SOS 22207 HAS SOPS 22207 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8598.207
AT ITER 6626 NEW BEST:: SOT 85401 SOS 22205 HAS SOPS 22205 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8596.205
AT ITER 6704 NEW BEST:: SOT 85399 SOS 22185 HAS SOPS 22185 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8576.185
AT ITER 6747 NEW BEST:: SOT 85389 SOS 22185 HAS SOPS 22185 HAS SOUS 8544 HAS SOUPS 8544 WITH SCORE 8566.185
AT ITER 6855 NEW BEST:: SOT 85386 SOS 22179 HAS SOPS 22179 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8564.179
AT ITER 6861 NEW BEST:: SOT 85384 SOS 22175 HAS SOPS 22175 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8560.175
AT ITER 6892 NEW BEST:: SOT 85382 SOS 22177 HAS SOPS 22177 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8558.177
AT ITER 6997 NEW BEST:: SOT 85379 SOS 22171 HAS SOPS 22171 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8554.171
AT ITER 7000 NEW BEST:: SOT 85375 SOS 22163 HAS SOPS 22163 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8546.163
AT ITER 7050 NEW BEST:: SOT 85375 SOS 22144 HAS SOPS 22144 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8546.144
AT ITER 7065 NEW BEST:: SOT 85381 SOS 22141 HAS SOPS 22141 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8543.141
AT ITER 7069 NEW BEST:: SOT 85380 SOS 22142 HAS SOPS 22142 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8541.142
AT ITER 7212 NEW BEST:: SOT 85270 SOS 22017 HAS SOPS 22017 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8452.017
AT ITER 7362 NEW BEST:: SOT 85272 SOS 21985 HAS SOPS 21985 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8451.985
AT ITER 7411 NEW BEST:: SOT 85271 SOS 21984 HAS SOPS 21984 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8446.984
AT ITER 7414 NEW BEST:: SOT 85266 SOS 21974 HAS SOPS 21974 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8436.974
AT ITER 7439 NEW BEST:: SOT 85250 SOS 21846 HAS SOPS 21846 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8432.846
AT ITER 7475 NEW BEST:: SOT 85245 SOS 21882 HAS SOPS 21882 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8429.882
AT ITER 7572 NEW BEST:: SOT 85227 SOS 21864 HAS SOPS 21864 HAS SOUS 8390 HAS SOUPS 8390 WITH SCORE 8411.864
AT ITER 7623 NEW BEST:: SOT 85225 SOS 21864 HAS SOPS 21864 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8401.864
AT ITER 7637 NEW BEST:: SOT 85231 SOS 21876 HAS SOPS 21876 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8386.876
AT ITER 7664 NEW BEST:: SOT 85238 SOS 21846 HAS SOPS 21846 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8383.846
AT ITER 7717 NEW BEST:: SOT 85238 SOS 21846 HAS SOPS 21846 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8378.846
AT ITER 7906 NEW BEST:: SOT 85226 SOS 23028 HAS SOPS 23028 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8368.028
AT ITER 7920 NEW BEST:: SOT 85168 SOS 22970 HAS SOPS 22970 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8364.97
AT ITER 7952 NEW BEST:: SOT 85164 SOS 22962 HAS SOPS 22962 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8360.962
AT ITER 7979 NEW BEST:: SOT 85163 SOS 22948 HAS SOPS 22948 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8354.948
AT ITER 7985 NEW BEST:: SOT 85165 SOS 22944 HAS SOPS 22944 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8350.944
AT ITER 8052 NEW BEST:: SOT 85175 SOS 22964 HAS SOPS 22964 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8346.964
AT ITER 8134 NEW BEST:: SOT 85181 SOS 22970 HAS SOPS 22970 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8342.97
AT ITER 8140 NEW BEST:: SOT 85178 SOS 22964 HAS SOPS 22964 HAS SOUS 8314 HAS SOUPS 8314 WITH SCORE 8336.964
AT ITER 8198 NEW BEST:: SOT 85168 SOS 22954 HAS SOPS 22954 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8315.954
AT ITER 8213 NEW BEST:: SOT 85168 SOS 22953 HAS SOPS 22953 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8314.953
AT ITER 8235 NEW BEST:: SOT 85167 SOS 22951 HAS SOPS 22951 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8313.951
AT ITER 8339 NEW BEST:: SOT 85163 SOS 22947 HAS SOPS 22947 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8309.947
AT ITER 8343 NEW BEST:: SOT 85155 SOS 22923 HAS SOPS 22923 HAS SOUS 8271 HAS SOUPS 8271 WITH SCORE 8293.923
AT ITER 8465 NEW BEST:: SOT 85152 SOS 22886 HAS SOPS 22886 HAS SOUS 8264 HAS SOUPS 8264 WITH SCORE 8286.886
AT ITER 8474 NEW BEST:: SOT 85150 SOS 22884 HAS SOPS 22884 HAS SOUS 8264 HAS SOUPS 8264 WITH SCORE 8286.884
AT ITER 8578 NEW BEST:: SOT 85150 SOS 22903 HAS SOPS 22903 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8280.903
AT ITER 8611 NEW BEST:: SOT 85160 SOS 22879 HAS SOPS 22879 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8270.879
AT ITER 8615 NEW BEST:: SOT 85172 SOS 22903 HAS SOPS 22903 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8269.903
AT ITER 8664 NEW BEST:: SOT 85157 SOS 22873 HAS SOPS 22873 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8239.873
AT ITER 8759 NEW BEST:: SOT 85155 SOS 22869 HAS SOPS 22869 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8234.869
AT ITER 8765 NEW BEST:: SOT 85152 SOS 22863 HAS SOPS 22863 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8228.863
AT ITER 8804 NEW BEST:: SOT 85133 SOS 22825 HAS SOPS 22825 HAS SOUS 8191 HAS SOUPS 8191 WITH SCORE 8213.825
AT ITER 8877 NEW BEST:: SOT 85131 SOS 22821 HAS SOPS 22821 HAS SOUS 8187 HAS SOUPS 8187 WITH SCORE 8209.821
AT ITER 8907 NEW BEST:: SOT 85126 SOS 22811 HAS SOPS 22811 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8199.811
AT ITER 9024 NEW BEST:: SOT 85146 SOS 22828 HAS SOPS 22828 HAS SOUS 8162 HAS SOUPS 8162 WITH SCORE 8184.828
AT ITER 9057 NEW BEST:: SOT 85146 SOS 22828 HAS SOPS 22828 HAS SOUS 8160 HAS SOUPS 8160 WITH SCORE 8182.828
AT ITER 9058 NEW BEST:: SOT 85067 SOS 22744 HAS SOPS 22744 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8163.744
AT ITER 9065 NEW BEST:: SOT 85040 SOS 22728 HAS SOPS 22728 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8153.728
AT ITER 9279 NEW BEST:: SOT 85054 SOS 22754 HAS SOPS 22754 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8143.754
AT ITER 9431 NEW BEST:: SOT 85053 SOS 22752 HAS SOPS 22752 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8142.752
AT ITER 9478 NEW BEST:: SOT 85049 SOS 22744 HAS SOPS 22744 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8134.744
AT ITER 9536 NEW BEST:: SOT 85049 SOS 21944 HAS SOPS 21944 HAS SOUS 8110 HAS SOUPS 8110 WITH SCORE 8131.944
AT ITER 9544 NEW BEST:: SOT 85048 SOS 22222 HAS SOPS 22222 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8131.222
AT ITER 9615 NEW BEST:: SOT 85048 SOS 22223 HAS SOPS 22223 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8130.223
AT ITER 9669 NEW BEST:: SOT 85047 SOS 22221 HAS SOPS 22221 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8124.221
AT ITER 9888 NEW BEST:: SOT 85042 SOS 22217 HAS SOPS 22217 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8118.217
AT ITER 9965 NEW BEST:: SOT 85009 SOS 22184 HAS SOPS 22184 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8115.184
AT ITER 9995 NEW BEST:: SOT 84991 SOS 22169 HAS SOPS 22169 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8112.169
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 210816 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16291316 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
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="AutonomousCar-PT-05b"
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 AutonomousCar-PT-05b, 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-167813600400608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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