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.r259-smll-167863534200184.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is NeoElection-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534200184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 73K Feb 26 15:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 267K Feb 26 15:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 66K Feb 26 15:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 237K Feb 26 15:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 45K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 25 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 134K Feb 26 16:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 470K Feb 26 16:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 147K Feb 26 16:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 548K Feb 26 16:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 939K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678697219454

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NeoElection-PT-3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 3
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 972 places, 1016 transitions, 5840 arcs.
AT ITER 0 NEW BEST:: SOT 304536 SOS 168238 HAS SOPS 166808 HAS SOUS 62738 HAS SOUPS 62452 WITH SCORE 62620.238
AT ITER 12 NEW BEST:: SOT 304332 SOS 168034 HAS SOPS 166604 HAS SOUS 62724 HAS SOUPS 62438 WITH SCORE 62606.034
AT ITER 94 NEW BEST:: SOT 304271 SOS 176814 HAS SOPS 175384 HAS SOUS 62715 HAS SOUPS 62429 WITH SCORE 62605.814
AT ITER 103 NEW BEST:: SOT 303791 SOS 176372 HAS SOPS 174942 HAS SOUS 62224 HAS SOUPS 61938 WITH SCORE 62114.372
AT ITER 122 NEW BEST:: SOT 303791 SOS 176372 HAS SOPS 174942 HAS SOUS 62214 HAS SOUPS 61928 WITH SCORE 62104.372
AT ITER 147 NEW BEST:: SOT 303791 SOS 176310 HAS SOPS 174880 HAS SOUS 61954 HAS SOUPS 61668 WITH SCORE 61844.31
AT ITER 183 NEW BEST:: SOT 303791 SOS 176300 HAS SOPS 174870 HAS SOUS 61953 HAS SOUPS 61667 WITH SCORE 61843.3
AT ITER 200 NEW BEST:: SOT 303791 SOS 176084 HAS SOPS 174654 HAS SOUS 61845 HAS SOUPS 61559 WITH SCORE 61735.084
AT ITER 276 NEW BEST:: SOT 303791 SOS 175832 HAS SOPS 174402 HAS SOUS 61782 HAS SOUPS 61496 WITH SCORE 61671.832
AT ITER 367 NEW BEST:: SOT 304432 SOS 174942 HAS SOPS 172998 HAS SOUS 62017 HAS SOUPS 61460 WITH SCORE 61634.942
AT ITER 376 NEW BEST:: SOT 304432 SOS 174942 HAS SOPS 172998 HAS SOUS 61991 HAS SOUPS 61434 WITH SCORE 61608.942
AT ITER 385 NEW BEST:: SOT 304281 SOS 175400 HAS SOPS 173456 HAS SOUS 61934 HAS SOUPS 61377 WITH SCORE 61552.4
AT ITER 388 NEW BEST:: SOT 304192 SOS 175311 HAS SOPS 173367 HAS SOUS 61931 HAS SOUPS 61374 WITH SCORE 61549.311
AT ITER 397 NEW BEST:: SOT 304192 SOS 174954 HAS SOPS 173010 HAS SOUS 61795 HAS SOUPS 61238 WITH SCORE 61412.954
AT ITER 424 NEW BEST:: SOT 304192 SOS 174954 HAS SOPS 173010 HAS SOUS 61747 HAS SOUPS 61190 WITH SCORE 61364.954
AT ITER 427 NEW BEST:: SOT 304192 SOS 174933 HAS SOPS 172989 HAS SOUS 61744 HAS SOUPS 61187 WITH SCORE 61361.933
AT ITER 430 NEW BEST:: SOT 304172 SOS 174817 HAS SOPS 172873 HAS SOUS 61708 HAS SOUPS 61151 WITH SCORE 61325.817
AT ITER 467 NEW BEST:: SOT 304172 SOS 174817 HAS SOPS 172873 HAS SOUS 61680 HAS SOUPS 61123 WITH SCORE 61297.817
AT ITER 490 NEW BEST:: SOT 304172 SOS 174605 HAS SOPS 172661 HAS SOUS 61660 HAS SOUPS 61103 WITH SCORE 61277.605
AT ITER 571 NEW BEST:: SOT 304136 SOS 174840 HAS SOPS 172896 HAS SOUS 61623 HAS SOUPS 61066 WITH SCORE 61240.84
AT ITER 575 NEW BEST:: SOT 304136 SOS 174564 HAS SOPS 172620 HAS SOUS 61551 HAS SOUPS 60994 WITH SCORE 61168.564
AT ITER 660 NEW BEST:: SOT 304136 SOS 174519 HAS SOPS 172575 HAS SOUS 61545 HAS SOUPS 60988 WITH SCORE 61162.519
AT ITER 703 NEW BEST:: SOT 304073 SOS 174456 HAS SOPS 172512 HAS SOUS 61449 HAS SOUPS 60892 WITH SCORE 61066.456
AT ITER 741 NEW BEST:: SOT 303883 SOS 174266 HAS SOPS 172322 HAS SOUS 61213 HAS SOUPS 60656 WITH SCORE 60830.266
AT ITER 788 NEW BEST:: SOT 303883 SOS 174266 HAS SOPS 172322 HAS SOUS 61201 HAS SOUPS 60644 WITH SCORE 60818.266
AT ITER 883 NEW BEST:: SOT 303883 SOS 173822 HAS SOPS 171878 HAS SOUS 61045 HAS SOUPS 60488 WITH SCORE 60661.822
AT ITER 948 NEW BEST:: SOT 303883 SOS 173578 HAS SOPS 171634 HAS SOUS 60962 HAS SOUPS 60405 WITH SCORE 60578.578
AT ITER 983 NEW BEST:: SOT 303753 SOS 173448 HAS SOPS 171504 HAS SOUS 60764 HAS SOUPS 60207 WITH SCORE 60380.448
AT ITER 990 NEW BEST:: SOT 303678 SOS 173376 HAS SOPS 171432 HAS SOUS 60692 HAS SOUPS 60135 WITH SCORE 60308.376
AT ITER 1077 NEW BEST:: SOT 303678 SOS 171695 HAS SOPS 169751 HAS SOUS 60529 HAS SOUPS 59972 WITH SCORE 60143.695
AT ITER 1103 NEW BEST:: SOT 303678 SOS 170324 HAS SOPS 168380 HAS SOUS 60178 HAS SOUPS 59621 WITH SCORE 59791.324
AT ITER 1124 NEW BEST:: SOT 303678 SOS 169784 HAS SOPS 167880 HAS SOUS 59887 HAS SOUPS 59330 WITH SCORE 59499.784
AT ITER 1156 NEW BEST:: SOT 303528 SOS 170186 HAS SOPS 168282 HAS SOUS 59768 HAS SOUPS 59211 WITH SCORE 59381.186
AT ITER 1325 NEW BEST:: SOT 303528 SOS 169758 HAS SOPS 167854 HAS SOUS 59473 HAS SOUPS 58916 WITH SCORE 59085.758
AT ITER 1360 NEW BEST:: SOT 303391 SOS 173096 HAS SOPS 171192 HAS SOUS 59205 HAS SOUPS 58648 WITH SCORE 58821.096
AT ITER 1398 NEW BEST:: SOT 303391 SOS 173076 HAS SOPS 171172 HAS SOUS 59197 HAS SOUPS 58640 WITH SCORE 58813.076
AT ITER 1420 NEW BEST:: SOT 303391 SOS 173072 HAS SOPS 171168 HAS SOUS 59004 HAS SOUPS 58447 WITH SCORE 58620.072
AT ITER 1466 NEW BEST:: SOT 303391 SOS 172250 HAS SOPS 170346 HAS SOUS 58599 HAS SOUPS 58042 WITH SCORE 58214.25
AT ITER 1479 NEW BEST:: SOT 303391 SOS 172044 HAS SOPS 170140 HAS SOUS 58451 HAS SOUPS 57894 WITH SCORE 58066.044
AT ITER 1540 NEW BEST:: SOT 303391 SOS 172031 HAS SOPS 170127 HAS SOUS 58451 HAS SOUPS 57894 WITH SCORE 58066.031
AT ITER 1552 NEW BEST:: SOT 303391 SOS 171587 HAS SOPS 169683 HAS SOUS 58385 HAS SOUPS 57828 WITH SCORE 57999.587
AT ITER 1601 NEW BEST:: SOT 303516 SOS 171599 HAS SOPS 169695 HAS SOUS 58344 HAS SOUPS 57787 WITH SCORE 57958.599
AT ITER 1616 NEW BEST:: SOT 303326 SOS 171335 HAS SOPS 169524 HAS SOUS 58258 HAS SOUPS 57702 WITH SCORE 57873.335
AT ITER 1675 NEW BEST:: SOT 303326 SOS 171335 HAS SOPS 169524 HAS SOUS 58238 HAS SOUPS 57682 WITH SCORE 57853.335
AT ITER 1713 NEW BEST:: SOT 303326 SOS 170923 HAS SOPS 169112 HAS SOUS 58032 HAS SOUPS 57476 WITH SCORE 57646.923
AT ITER 1718 NEW BEST:: SOT 303272 SOS 171138 HAS SOPS 169327 HAS SOUS 57991 HAS SOUPS 57435 WITH SCORE 57606.138
AT ITER 1776 NEW BEST:: SOT 303272 SOS 171114 HAS SOPS 169303 HAS SOUS 57935 HAS SOUPS 57379 WITH SCORE 57550.114
AT ITER 1777 NEW BEST:: SOT 302434 SOS 170276 HAS SOPS 168465 HAS SOUS 57058 HAS SOUPS 56502 WITH SCORE 56672.276
AT ITER 1779 NEW BEST:: SOT 302434 SOS 169240 HAS SOPS 167689 HAS SOUS 56910 HAS SOUPS 56419 WITH SCORE 56588.24
AT ITER 1828 NEW BEST:: SOT 302457 SOS 169699 HAS SOPS 167715 HAS SOUS 57027 HAS SOUPS 56316 WITH SCORE 56485.699
AT ITER 1911 NEW BEST:: SOT 302457 SOS 169285 HAS SOPS 167301 HAS SOUS 56875 HAS SOUPS 56164 WITH SCORE 56333.285
AT ITER 1912 NEW BEST:: SOT 302457 SOS 169285 HAS SOPS 167301 HAS SOUS 56796 HAS SOUPS 56085 WITH SCORE 56254.285
AT ITER 1957 NEW BEST:: SOT 302369 SOS 171668 HAS SOPS 169684 HAS SOUS 56779 HAS SOUPS 56068 WITH SCORE 56239.668
AT ITER 1964 NEW BEST:: SOT 302369 SOS 171075 HAS SOPS 169091 HAS SOUS 56777 HAS SOUPS 56066 WITH SCORE 56237.075
AT ITER 1971 NEW BEST:: SOT 302369 SOS 171075 HAS SOPS 169091 HAS SOUS 56766 HAS SOUPS 56055 WITH SCORE 56226.075
AT ITER 1995 NEW BEST:: SOT 302369 SOS 170876 HAS SOPS 169377 HAS SOUS 56361 HAS SOUPS 55747 WITH SCORE 55917.876
AT ITER 2021 NEW BEST:: SOT 302369 SOS 170876 HAS SOPS 169377 HAS SOUS 56348 HAS SOUPS 55734 WITH SCORE 55904.876
AT ITER 2050 NEW BEST:: SOT 302369 SOS 170876 HAS SOPS 169377 HAS SOUS 56329 HAS SOUPS 55715 WITH SCORE 55885.876
AT ITER 2063 NEW BEST:: SOT 302369 SOS 170612 HAS SOPS 169113 HAS SOUS 56329 HAS SOUPS 55715 WITH SCORE 55885.612
AT ITER 2082 NEW BEST:: SOT 302369 SOS 170376 HAS SOPS 168877 HAS SOUS 56211 HAS SOUPS 55597 WITH SCORE 55767.376
AT ITER 2087 NEW BEST:: SOT 302369 SOS 170376 HAS SOPS 168877 HAS SOUS 56209 HAS SOUPS 55595 WITH SCORE 55765.376
AT ITER 2148 NEW BEST:: SOT 302475 SOS 170482 HAS SOPS 168983 HAS SOUS 56200 HAS SOUPS 55586 WITH SCORE 55756.482
AT ITER 2189 NEW BEST:: SOT 302475 SOS 170398 HAS SOPS 168899 HAS SOUS 56188 HAS SOUPS 55574 WITH SCORE 55744.398
AT ITER 2265 NEW BEST:: SOT 301452 SOS 169375 HAS SOPS 167876 HAS SOUS 55165 HAS SOUPS 54551 WITH SCORE 54720.375
AT ITER 2344 NEW BEST:: SOT 301452 SOS 169465 HAS SOPS 167966 HAS SOUS 55120 HAS SOUPS 54506 WITH SCORE 54675.465
AT ITER 2415 NEW BEST:: SOT 301452 SOS 169465 HAS SOPS 167966 HAS SOUS 55048 HAS SOUPS 54434 WITH SCORE 54603.465
AT ITER 2438 NEW BEST:: SOT 301427 SOS 169565 HAS SOPS 168066 HAS SOUS 55023 HAS SOUPS 54409 WITH SCORE 54578.565
AT ITER 2523 NEW BEST:: SOT 301370 SOS 169530 HAS SOPS 168031 HAS SOUS 54966 HAS SOUPS 54352 WITH SCORE 54521.53
AT ITER 2540 NEW BEST:: SOT 301360 SOS 169520 HAS SOPS 168021 HAS SOUS 54926 HAS SOUPS 54312 WITH SCORE 54481.52
AT ITER 2640 NEW BEST:: SOT 301228 SOS 169878 HAS SOPS 168379 HAS SOUS 54850 HAS SOUPS 54236 WITH SCORE 54405.878
AT ITER 2689 NEW BEST:: SOT 301263 SOS 169913 HAS SOPS 168414 HAS SOUS 54760 HAS SOUPS 54146 WITH SCORE 54315.913
AT ITER 2846 NEW BEST:: SOT 301263 SOS 169913 HAS SOPS 168414 HAS SOUS 54709 HAS SOUPS 54095 WITH SCORE 54264.913
AT ITER 2866 NEW BEST:: SOT 301263 SOS 169898 HAS SOPS 168399 HAS SOUS 54661 HAS SOUPS 54047 WITH SCORE 54216.898
AT ITER 2938 NEW BEST:: SOT 301212 SOS 169847 HAS SOPS 168348 HAS SOUS 54640 HAS SOUPS 54026 WITH SCORE 54195.847
AT ITER 3040 NEW BEST:: SOT 301303 SOS 170306 HAS SOPS 168439 HAS SOUS 54789 HAS SOUPS 53990 WITH SCORE 54160.306
AT ITER 3092 NEW BEST:: SOT 300551 SOS 169771 HAS SOPS 167904 HAS SOUS 54324 HAS SOUPS 53525 WITH SCORE 53694.771
AT ITER 3111 NEW BEST:: SOT 300551 SOS 169447 HAS SOPS 167580 HAS SOUS 54162 HAS SOUPS 53363 WITH SCORE 53532.447
AT ITER 3128 NEW BEST:: SOT 300551 SOS 168979 HAS SOPS 167216 HAS SOUS 54136 HAS SOUPS 53363 WITH SCORE 53531.979
AT ITER 3207 NEW BEST:: SOT 300551 SOS 168971 HAS SOPS 167208 HAS SOUS 54136 HAS SOUPS 53363 WITH SCORE 53531.971
AT ITER 3269 NEW BEST:: SOT 300587 SOS 167829 HAS SOPS 166066 HAS SOUS 53875 HAS SOUPS 53102 WITH SCORE 53269.829
AT ITER 3284 NEW BEST:: SOT 300566 SOS 167175 HAS SOPS 165412 HAS SOUS 53833 HAS SOUPS 53060 WITH SCORE 53227.175
AT ITER 3315 NEW BEST:: SOT 300324 SOS 166933 HAS SOPS 165170 HAS SOUS 53614 HAS SOUPS 52841 WITH SCORE 53007.933
AT ITER 3376 NEW BEST:: SOT 300324 SOS 166845 HAS SOPS 165082 HAS SOUS 53512 HAS SOUPS 52739 WITH SCORE 52905.845
AT ITER 3382 NEW BEST:: SOT 300310 SOS 166805 HAS SOPS 165041 HAS SOUS 53511 HAS SOUPS 52737 WITH SCORE 52903.805
AT ITER 3512 NEW BEST:: SOT 300302 SOS 166521 HAS SOPS 164757 HAS SOUS 53457 HAS SOUPS 52683 WITH SCORE 52849.521
AT ITER 3531 NEW BEST:: SOT 300248 SOS 166467 HAS SOPS 164703 HAS SOUS 53399 HAS SOUPS 52625 WITH SCORE 52791.467
AT ITER 3557 NEW BEST:: SOT 300248 SOS 166493 HAS SOPS 164729 HAS SOUS 53281 HAS SOUPS 52507 WITH SCORE 52673.493
AT ITER 3617 NEW BEST:: SOT 300248 SOS 166453 HAS SOPS 164689 HAS SOUS 53276 HAS SOUPS 52502 WITH SCORE 52668.453
AT ITER 3656 NEW BEST:: SOT 300248 SOS 166201 HAS SOPS 164437 HAS SOUS 53160 HAS SOUPS 52386 WITH SCORE 52552.201
AT ITER 3659 NEW BEST:: SOT 300226 SOS 166179 HAS SOPS 164415 HAS SOUS 53138 HAS SOUPS 52364 WITH SCORE 52530.179
AT ITER 3684 NEW BEST:: SOT 300160 SOS 166344 HAS SOPS 164580 HAS SOUS 53072 HAS SOUPS 52298 WITH SCORE 52464.344
AT ITER 3691 NEW BEST:: SOT 300129 SOS 166127 HAS SOPS 164363 HAS SOUS 53018 HAS SOUPS 52244 WITH SCORE 52410.127
AT ITER 3711 NEW BEST:: SOT 300129 SOS 165999 HAS SOPS 164267 HAS SOUS 53018 HAS SOUPS 52244 WITH SCORE 52409.999
AT ITER 3752 NEW BEST:: SOT 300081 SOS 165951 HAS SOPS 164219 HAS SOUS 52985 HAS SOUPS 52211 WITH SCORE 52376.951
AT ITER 3791 NEW BEST:: SOT 300031 SOS 165913 HAS SOPS 164181 HAS SOUS 52885 HAS SOUPS 52111 WITH SCORE 52276.913
AT ITER 3801 NEW BEST:: SOT 300157 SOS 165970 HAS SOPS 164238 HAS SOUS 52815 HAS SOUPS 52041 WITH SCORE 52206.97
AT ITER 3931 NEW BEST:: SOT 300460 SOS 165631 HAS SOPS 163899 HAS SOUS 52776 HAS SOUPS 52002 WITH SCORE 52167.631
AT ITER 3949 NEW BEST:: SOT 300531 SOS 165702 HAS SOPS 163970 HAS SOUS 52705 HAS SOUPS 51931 WITH SCORE 52096.702
AT ITER 4042 NEW BEST:: SOT 300531 SOS 165212 HAS SOPS 163480 HAS SOUS 52670 HAS SOUPS 51896 WITH SCORE 52061.212
AT ITER 4273 NEW BEST:: SOT 300531 SOS 164670 HAS SOPS 162938 HAS SOUS 52299 HAS SOUPS 51525 WITH SCORE 51689.67
AT ITER 4288 NEW BEST:: SOT 300493 SOS 164632 HAS SOPS 162900 HAS SOUS 52261 HAS SOUPS 51487 WITH SCORE 51651.632
AT ITER 4304 NEW BEST:: SOT 300577 SOS 164888 HAS SOPS 163156 HAS SOUS 52237 HAS SOUPS 51463 WITH SCORE 51627.888
AT ITER 4367 NEW BEST:: SOT 300565 SOS 164946 HAS SOPS 163214 HAS SOUS 52235 HAS SOUPS 51461 WITH SCORE 51625.946
AT ITER 4412 NEW BEST:: SOT 300603 SOS 164984 HAS SOPS 163252 HAS SOUS 52211 HAS SOUPS 51437 WITH SCORE 51601.984
AT ITER 4429 NEW BEST:: SOT 300585 SOS 165030 HAS SOPS 163298 HAS SOUS 52193 HAS SOUPS 51419 WITH SCORE 51584.03
AT ITER 4431 NEW BEST:: SOT 300568 SOS 165021 HAS SOPS 163301 HAS SOUS 52126 HAS SOUPS 51355 WITH SCORE 51520.021
AT ITER 4476 NEW BEST:: SOT 300473 SOS 164926 HAS SOPS 163206 HAS SOUS 52126 HAS SOUPS 51355 WITH SCORE 51519.926
AT ITER 4501 NEW BEST:: SOT 300413 SOS 165283 HAS SOPS 163610 HAS SOUS 52073 HAS SOUPS 51349 WITH SCORE 51514.283
AT ITER 4527 NEW BEST:: SOT 300413 SOS 165187 HAS SOPS 163514 HAS SOUS 52057 HAS SOUPS 51333 WITH SCORE 51498.187
AT ITER 4558 NEW BEST:: SOT 300413 SOS 165187 HAS SOPS 163514 HAS SOUS 51998 HAS SOUPS 51274 WITH SCORE 51439.187
AT ITER 4598 NEW BEST:: SOT 300515 SOS 165660 HAS SOPS 163616 HAS SOUS 52179 HAS SOUPS 51261 WITH SCORE 51426.66
AT ITER 4616 NEW BEST:: SOT 300483 SOS 165628 HAS SOPS 163584 HAS SOUS 52179 HAS SOUPS 51261 WITH SCORE 51426.628
AT ITER 4640 NEW BEST:: SOT 300483 SOS 165220 HAS SOPS 163176 HAS SOUS 52094 HAS SOUPS 51176 WITH SCORE 51341.22
AT ITER 4644 NEW BEST:: SOT 300483 SOS 165220 HAS SOPS 163176 HAS SOUS 52078 HAS SOUPS 51160 WITH SCORE 51325.22
AT ITER 4662 NEW BEST:: SOT 300325 SOS 165062 HAS SOPS 163018 HAS SOUS 51984 HAS SOUPS 51066 WITH SCORE 51231.062
AT ITER 4671 NEW BEST:: SOT 300325 SOS 165062 HAS SOPS 163018 HAS SOUS 51965 HAS SOUPS 51047 WITH SCORE 51212.062
AT ITER 4735 NEW BEST:: SOT 300314 SOS 165040 HAS SOPS 162996 HAS SOUS 51954 HAS SOUPS 51036 WITH SCORE 51201.04
AT ITER 4745 NEW BEST:: SOT 299683 SOS 165418 HAS SOPS 163525 HAS SOUS 51890 HAS SOUPS 50989 WITH SCORE 51154.418
AT ITER 4814 NEW BEST:: SOT 299586 SOS 164739 HAS SOPS 162846 HAS SOUS 51649 HAS SOUPS 50748 WITH SCORE 50912.739
AT ITER 5023 NEW BEST:: SOT 299230 SOS 191445 HAS SOPS 189809 HAS SOUS 51495 HAS SOUPS 50647 WITH SCORE 50838.445
AT ITER 5224 NEW BEST:: SOT 299122 SOS 191337 HAS SOPS 189701 HAS SOUS 51439 HAS SOUPS 50591 WITH SCORE 50782.337
AT ITER 5235 NEW BEST:: SOT 299115 SOS 191302 HAS SOPS 189666 HAS SOUS 51425 HAS SOUPS 50577 WITH SCORE 50768.302
AT ITER 5336 NEW BEST:: SOT 299115 SOS 191034 HAS SOPS 189398 HAS SOUS 51276 HAS SOUPS 50428 WITH SCORE 50619.034
AT ITER 5422 NEW BEST:: SOT 299279 SOS 191198 HAS SOPS 189562 HAS SOUS 51263 HAS SOUPS 50415 WITH SCORE 50606.198
AT ITER 5467 NEW BEST:: SOT 299208 SOS 191127 HAS SOPS 189491 HAS SOUS 51192 HAS SOUPS 50344 WITH SCORE 50535.127
AT ITER 5476 NEW BEST:: SOT 299011 SOS 190910 HAS SOPS 189243 HAS SOUS 50961 HAS SOUPS 50099 WITH SCORE 50289.91
AT ITER 5522 NEW BEST:: SOT 298987 SOS 190886 HAS SOPS 189219 HAS SOUS 50942 HAS SOUPS 50080 WITH SCORE 50270.886
AT ITER 5532 NEW BEST:: SOT 298987 SOS 189460 HAS SOPS 187793 HAS SOUS 50786 HAS SOUPS 49924 WITH SCORE 50113.46
AT ITER 5546 NEW BEST:: SOT 299155 SOS 189408 HAS SOPS 187961 HAS SOUS 50608 HAS SOUPS 49923 WITH SCORE 50112.408
AT ITER 5569 NEW BEST:: SOT 299132 SOS 189538 HAS SOPS 188091 HAS SOUS 50585 HAS SOUPS 49900 WITH SCORE 50089.538
AT ITER 5587 NEW BEST:: SOT 299139 SOS 189721 HAS SOPS 188274 HAS SOUS 50396 HAS SOUPS 49711 WITH SCORE 49900.721
AT ITER 5629 NEW BEST:: SOT 299261 SOS 161635 HAS SOPS 160188 HAS SOUS 50339 HAS SOUPS 49654 WITH SCORE 49815.635
AT ITER 5644 NEW BEST:: SOT 299303 SOS 161677 HAS SOPS 160230 HAS SOUS 50235 HAS SOUPS 49550 WITH SCORE 49711.677
AT ITER 5667 NEW BEST:: SOT 299309 SOS 160745 HAS SOPS 159298 HAS SOUS 50057 HAS SOUPS 49372 WITH SCORE 49532.745
AT ITER 5726 NEW BEST:: SOT 299309 SOS 161405 HAS SOPS 159958 HAS SOUS 50035 HAS SOUPS 49350 WITH SCORE 49511.405
AT ITER 5761 NEW BEST:: SOT 299309 SOS 161375 HAS SOPS 159928 HAS SOUS 50025 HAS SOUPS 49340 WITH SCORE 49501.375
AT ITER 5774 NEW BEST:: SOT 299309 SOS 161363 HAS SOPS 159916 HAS SOUS 50022 HAS SOUPS 49337 WITH SCORE 49498.363
AT ITER 5817 NEW BEST:: SOT 299309 SOS 161354 HAS SOPS 159907 HAS SOUS 50002 HAS SOUPS 49317 WITH SCORE 49478.354
AT ITER 5818 NEW BEST:: SOT 299309 SOS 161354 HAS SOPS 159907 HAS SOUS 49996 HAS SOUPS 49311 WITH SCORE 49472.354
AT ITER 5861 NEW BEST:: SOT 299309 SOS 161650 HAS SOPS 160203 HAS SOUS 49876 HAS SOUPS 49191 WITH SCORE 49352.65
AT ITER 5901 NEW BEST:: SOT 299309 SOS 161608 HAS SOPS 160161 HAS SOUS 49876 HAS SOUPS 49191 WITH SCORE 49352.608
AT ITER 5937 NEW BEST:: SOT 299309 SOS 161540 HAS SOPS 160093 HAS SOUS 49876 HAS SOUPS 49191 WITH SCORE 49352.54
AT ITER 6115 NEW BEST:: SOT 299269 SOS 161500 HAS SOPS 160053 HAS SOUS 49876 HAS SOUPS 49191 WITH SCORE 49352.5
AT ITER 6126 NEW BEST:: SOT 299329 SOS 161095 HAS SOPS 159648 HAS SOUS 49869 HAS SOUPS 49184 WITH SCORE 49345.095
AT ITER 6146 NEW BEST:: SOT 299275 SOS 177420 HAS SOPS 175973 HAS SOUS 49850 HAS SOUPS 49165 WITH SCORE 49342.42
AT ITER 6181 NEW BEST:: SOT 299275 SOS 177420 HAS SOPS 175973 HAS SOUS 49848 HAS SOUPS 49163 WITH SCORE 49340.42
AT ITER 6203 NEW BEST:: SOT 297514 SOS 191035 HAS SOPS 189588 HAS SOUS 48337 HAS SOUPS 47652 WITH SCORE 47843.035
AT ITER 6224 NEW BEST:: SOT 297509 SOS 191030 HAS SOPS 189583 HAS SOUS 48096 HAS SOUPS 47411 WITH SCORE 47602.03
AT ITER 6229 NEW BEST:: SOT 297513 SOS 190818 HAS SOPS 189371 HAS SOUS 48073 HAS SOUPS 47388 WITH SCORE 47578.818
AT ITER 6240 NEW BEST:: SOT 297513 SOS 190242 HAS SOPS 188795 HAS SOUS 47942 HAS SOUPS 47257 WITH SCORE 47447.242
AT ITER 6294 NEW BEST:: SOT 297507 SOS 190257 HAS SOPS 188810 HAS SOUS 47936 HAS SOUPS 47251 WITH SCORE 47441.257
AT ITER 6315 NEW BEST:: SOT 297507 SOS 190413 HAS SOPS 188966 HAS SOUS 47858 HAS SOUPS 47173 WITH SCORE 47363.413
AT ITER 6318 NEW BEST:: SOT 297381 SOS 190371 HAS SOPS 188924 HAS SOUS 47732 HAS SOUPS 47047 WITH SCORE 47237.371
AT ITER 6451 NEW BEST:: SOT 297250 SOS 190146 HAS SOPS 188699 HAS SOUS 47600 HAS SOUPS 46915 WITH SCORE 47105.146
AT ITER 6497 NEW BEST:: SOT 297217 SOS 189877 HAS SOPS 188430 HAS SOUS 47490 HAS SOUPS 46805 WITH SCORE 46994.877
AT ITER 6503 NEW BEST:: SOT 297217 SOS 189877 HAS SOPS 188430 HAS SOUS 47474 HAS SOUPS 46789 WITH SCORE 46978.877
AT ITER 6534 NEW BEST:: SOT 297193 SOS 189789 HAS SOPS 188342 HAS SOUS 47450 HAS SOUPS 46765 WITH SCORE 46954.789
AT ITER 6558 NEW BEST:: SOT 297138 SOS 189839 HAS SOPS 188392 HAS SOUS 47388 HAS SOUPS 46703 WITH SCORE 46892.839
AT ITER 6563 NEW BEST:: SOT 297222 SOS 189923 HAS SOPS 188476 HAS SOUS 47384 HAS SOUPS 46699 WITH SCORE 46888.923
AT ITER 6664 NEW BEST:: SOT 297216 SOS 189917 HAS SOPS 188470 HAS SOUS 47378 HAS SOUPS 46693 WITH SCORE 46882.917
AT ITER 6740 NEW BEST:: SOT 297177 SOS 189878 HAS SOPS 188431 HAS SOUS 47346 HAS SOUPS 46661 WITH SCORE 46850.878
AT ITER 6779 NEW BEST:: SOT 297177 SOS 189894 HAS SOPS 188431 HAS SOUS 47346 HAS SOUPS 46645 WITH SCORE 46834.894
AT ITER 6872 NEW BEST:: SOT 297154 SOS 189871 HAS SOPS 188408 HAS SOUS 47323 HAS SOUPS 46622 WITH SCORE 46811.871
AT ITER 6898 NEW BEST:: SOT 297118 SOS 189835 HAS SOPS 188372 HAS SOUS 47287 HAS SOUPS 46586 WITH SCORE 46775.835
AT ITER 6927 NEW BEST:: SOT 297024 SOS 189786 HAS SOPS 188323 HAS SOUS 47193 HAS SOUPS 46492 WITH SCORE 46681.786
AT ITER 6995 NEW BEST:: SOT 297024 SOS 189786 HAS SOPS 188323 HAS SOUS 47172 HAS SOUPS 46471 WITH SCORE 46660.786
AT ITER 7002 NEW BEST:: SOT 296793 SOS 189555 HAS SOPS 188092 HAS SOUS 46948 HAS SOUPS 46247 WITH SCORE 46436.555
AT ITER 7086 NEW BEST:: SOT 296793 SOS 190359 HAS SOPS 188896 HAS SOUS 46854 HAS SOUPS 46153 WITH SCORE 46343.359
AT ITER 7110 NEW BEST:: SOT 296793 SOS 190359 HAS SOPS 188896 HAS SOUS 46778 HAS SOUPS 46077 WITH SCORE 46267.359
AT ITER 7113 NEW BEST:: SOT 296699 SOS 191032 HAS SOPS 189569 HAS SOUS 46700 HAS SOUPS 45999 WITH SCORE 46190.032
AT ITER 7152 NEW BEST:: SOT 296619 SOS 190952 HAS SOPS 189489 HAS SOUS 46650 HAS SOUPS 45949 WITH SCORE 46139.952
AT ITER 7158 NEW BEST:: SOT 296582 SOS 190915 HAS SOPS 189433 HAS SOUS 46613 HAS SOUPS 45912 WITH SCORE 46102.915
AT ITER 7174 NEW BEST:: SOT 296485 SOS 190821 HAS SOPS 189339 HAS SOUS 46516 HAS SOUPS 45815 WITH SCORE 46005.821
AT ITER 7276 NEW BEST:: SOT 296485 SOS 190967 HAS SOPS 189485 HAS SOUS 46414 HAS SOUPS 45713 WITH SCORE 45903.967
AT ITER 7373 NEW BEST:: SOT 296484 SOS 190981 HAS SOPS 189499 HAS SOUS 46413 HAS SOUPS 45712 WITH SCORE 45902.981
AT ITER 7390 NEW BEST:: SOT 296280 SOS 190777 HAS SOPS 189295 HAS SOUS 46177 HAS SOUPS 45476 WITH SCORE 45666.777
AT ITER 7448 NEW BEST:: SOT 296247 SOS 190702 HAS SOPS 189220 HAS SOUS 45999 HAS SOUPS 45298 WITH SCORE 45488.702
AT ITER 7688 NEW BEST:: SOT 296206 SOS 190661 HAS SOPS 189179 HAS SOUS 45943 HAS SOUPS 45242 WITH SCORE 45432.661
AT ITER 7696 NEW BEST:: SOT 296206 SOS 190661 HAS SOPS 189179 HAS SOUS 45895 HAS SOUPS 45194 WITH SCORE 45384.661
AT ITER 7793 NEW BEST:: SOT 296206 SOS 190651 HAS SOPS 189169 HAS SOUS 45885 HAS SOUPS 45184 WITH SCORE 45374.651
AT ITER 7810 NEW BEST:: SOT 296186 SOS 190631 HAS SOPS 189149 HAS SOUS 45845 HAS SOUPS 45144 WITH SCORE 45334.631
AT ITER 7842 NEW BEST:: SOT 296098 SOS 190543 HAS SOPS 189061 HAS SOUS 45742 HAS SOUPS 45041 WITH SCORE 45231.543
AT ITER 7945 NEW BEST:: SOT 296098 SOS 190453 HAS SOPS 188971 HAS SOUS 45742 HAS SOUPS 45041 WITH SCORE 45231.453
AT ITER 8028 NEW BEST:: SOT 296098 SOS 190453 HAS SOPS 188971 HAS SOUS 45738 HAS SOUPS 45037 WITH SCORE 45227.453
AT ITER 8030 NEW BEST:: SOT 296065 SOS 190420 HAS SOPS 188938 HAS SOUS 45661 HAS SOUPS 44960 WITH SCORE 45150.42
AT ITER 8038 NEW BEST:: SOT 295961 SOS 190461 HAS SOPS 188979 HAS SOUS 45659 HAS SOUPS 44958 WITH SCORE 45148.461
AT ITER 8048 NEW BEST:: SOT 295961 SOS 190416 HAS SOPS 188934 HAS SOUS 45643 HAS SOUPS 44942 WITH SCORE 45132.416
AT ITER 8071 NEW BEST:: SOT 295961 SOS 190416 HAS SOPS 188934 HAS SOUS 45642 HAS SOUPS 44941 WITH SCORE 45131.416
AT ITER 8224 NEW BEST:: SOT 295961 SOS 190416 HAS SOPS 188934 HAS SOUS 45570 HAS SOUPS 44869 WITH SCORE 45059.416
AT ITER 8240 NEW BEST:: SOT 295958 SOS 190413 HAS SOPS 188931 HAS SOUS 45570 HAS SOUPS 44869 WITH SCORE 45059.413
AT ITER 8258 NEW BEST:: SOT 295918 SOS 190412 HAS SOPS 188945 HAS SOUS 45491 HAS SOUPS 44805 WITH SCORE 44995.412
AT ITER 8352 NEW BEST:: SOT 295918 SOS 190265 HAS SOPS 188798 HAS SOUS 45442 HAS SOUPS 44756 WITH SCORE 44946.265
AT ITER 8360 NEW BEST:: SOT 295918 SOS 190143 HAS SOPS 188676 HAS SOUS 45381 HAS SOUPS 44695 WITH SCORE 44885.143
AT ITER 8381 NEW BEST:: SOT 295873 SOS 190042 HAS SOPS 188575 HAS SOUS 45308 HAS SOUPS 44622 WITH SCORE 44812.042
AT ITER 8400 NEW BEST:: SOT 295898 SOS 190067 HAS SOPS 188600 HAS SOUS 45301 HAS SOUPS 44615 WITH SCORE 44805.067
AT ITER 8420 NEW BEST:: SOT 295898 SOS 190039 HAS SOPS 188572 HAS SOUS 45287 HAS SOUPS 44601 WITH SCORE 44791.039
AT ITER 8461 NEW BEST:: SOT 295898 SOS 190039 HAS SOPS 188572 HAS SOUS 45256 HAS SOUPS 44570 WITH SCORE 44760.039
AT ITER 8507 NEW BEST:: SOT 295870 SOS 189983 HAS SOPS 188516 HAS SOUS 45228 HAS SOUPS 44542 WITH SCORE 44731.983
AT ITER 8549 NEW BEST:: SOT 295870 SOS 189955 HAS SOPS 188488 HAS SOUS 45221 HAS SOUPS 44535 WITH SCORE 44724.955
AT ITER 8598 NEW BEST:: SOT 295892 SOS 188319 HAS SOPS 186852 HAS SOUS 45132 HAS SOUPS 44446 WITH SCORE 44634.319
AT ITER 8708 NEW BEST:: SOT 295842 SOS 188282 HAS SOPS 186815 HAS SOUS 45092 HAS SOUPS 44406 WITH SCORE 44594.282
AT ITER 8710 NEW BEST:: SOT 295842 SOS 189184 HAS SOPS 187717 HAS SOUS 45083 HAS SOUPS 44397 WITH SCORE 44586.184
AT ITER 8723 NEW BEST:: SOT 295842 SOS 189032 HAS SOPS 187565 HAS SOUS 45064 HAS SOUPS 44378 WITH SCORE 44567.032
AT ITER 8763 NEW BEST:: SOT 295842 SOS 188980 HAS SOPS 187396 HAS SOUS 45130 HAS SOUPS 44327 WITH SCORE 44515.98
AT ITER 8907 NEW BEST:: SOT 295842 SOS 188842 HAS SOPS 187258 HAS SOUS 45130 HAS SOUPS 44327 WITH SCORE 44515.842
AT ITER 8939 NEW BEST:: SOT 295843 SOS 188871 HAS SOPS 187287 HAS SOUS 45099 HAS SOUPS 44296 WITH SCORE 44484.871
AT ITER 8943 NEW BEST:: SOT 295843 SOS 188741 HAS SOPS 187157 HAS SOUS 45073 HAS SOUPS 44270 WITH SCORE 44458.741
AT ITER 9004 NEW BEST:: SOT 295809 SOS 189352 HAS SOPS 187730 HAS SOUS 45081 HAS SOUPS 44240 WITH SCORE 44429.352
AT ITER 9087 NEW BEST:: SOT 295849 SOS 188672 HAS SOPS 187050 HAS SOUS 45081 HAS SOUPS 44240 WITH SCORE 44428.672
AT ITER 9182 NEW BEST:: SOT 295849 SOS 188442 HAS SOPS 186820 HAS SOUS 45035 HAS SOUPS 44194 WITH SCORE 44382.442
AT ITER 9215 NEW BEST:: SOT 295864 SOS 188551 HAS SOPS 186929 HAS SOUS 44829 HAS SOUPS 43988 WITH SCORE 44176.551
AT ITER 9217 NEW BEST:: SOT 296027 SOS 189136 HAS SOPS 187092 HAS SOUS 44995 HAS SOUPS 43935 WITH SCORE 44124.136
AT ITER 9260 NEW BEST:: SOT 295972 SOS 188823 HAS SOPS 186779 HAS SOUS 44852 HAS SOUPS 43792 WITH SCORE 43980.823
AT ITER 9269 NEW BEST:: SOT 295972 SOS 188813 HAS SOPS 186769 HAS SOUS 44852 HAS SOUPS 43792 WITH SCORE 43980.813
AT ITER 9273 NEW BEST:: SOT 295972 SOS 189011 HAS SOPS 186787 HAS SOUS 44875 HAS SOUPS 43779 WITH SCORE 43968.011
AT ITER 9373 NEW BEST:: SOT 296348 SOS 189693 HAS SOPS 187095 HAS SOUS 44985 HAS SOUPS 43701 WITH SCORE 43890.693
AT ITER 9381 NEW BEST:: SOT 296372 SOS 189717 HAS SOPS 187119 HAS SOUS 44971 HAS SOUPS 43687 WITH SCORE 43876.717
AT ITER 9498 NEW BEST:: SOT 296372 SOS 189677 HAS SOPS 187079 HAS SOUS 44971 HAS SOUPS 43687 WITH SCORE 43876.677
AT ITER 9517 NEW BEST:: SOT 296372 SOS 189677 HAS SOPS 187079 HAS SOUS 44945 HAS SOUPS 43661 WITH SCORE 43850.677
AT ITER 9577 NEW BEST:: SOT 296374 SOS 189679 HAS SOPS 187081 HAS SOUS 44847 HAS SOUPS 43563 WITH SCORE 43752.679
AT ITER 9609 NEW BEST:: SOT 296591 SOS 189844 HAS SOPS 187246 HAS SOUS 44804 HAS SOUPS 43520 WITH SCORE 43709.844
AT ITER 9690 NEW BEST:: SOT 296591 SOS 189964 HAS SOPS 187246 HAS SOUS 44804 HAS SOUPS 43460 WITH SCORE 43649.964
AT ITER 9691 NEW BEST:: SOT 296591 SOS 189964 HAS SOPS 187246 HAS SOUS 44753 HAS SOUPS 43409 WITH SCORE 43598.964
AT ITER 9695 NEW BEST:: SOT 296591 SOS 189922 HAS SOPS 187204 HAS SOUS 44737 HAS SOUPS 43393 WITH SCORE 43582.922
AT ITER 9698 NEW BEST:: SOT 296591 SOS 189921 HAS SOPS 187204 HAS SOUS 44736 HAS SOUPS 43393 WITH SCORE 43582.921
AT ITER 9705 NEW BEST:: SOT 296591 SOS 189926 HAS SOPS 187204 HAS SOUS 44740 HAS SOUPS 43392 WITH SCORE 43581.926
AT ITER 9757 NEW BEST:: SOT 296591 SOS 189904 HAS SOPS 187182 HAS SOUS 44740 HAS SOUPS 43392 WITH SCORE 43581.904
AT ITER 9766 NEW BEST:: SOT 296591 SOS 189892 HAS SOPS 187170 HAS SOUS 44709 HAS SOUPS 43361 WITH SCORE 43550.892
AT ITER 9781 NEW BEST:: SOT 296613 SOS 189892 HAS SOPS 187170 HAS SOUS 44693 HAS SOUPS 43345 WITH SCORE 43534.892
AT ITER 9819 NEW BEST:: SOT 296595 SOS 189874 HAS SOPS 187152 HAS SOUS 44675 HAS SOUPS 43327 WITH SCORE 43516.874
AT ITER 9830 NEW BEST:: SOT 296595 SOS 189726 HAS SOPS 187088 HAS SOUS 44592 HAS SOUPS 43265 WITH SCORE 43454.726
AT ITER 9840 NEW BEST:: SOT 296595 SOS 189726 HAS SOPS 187088 HAS SOUS 44589 HAS SOUPS 43262 WITH SCORE 43451.726
AT ITER 9862 NEW BEST:: SOT 296571 SOS 189876 HAS SOPS 187238 HAS SOUS 44565 HAS SOUPS 43238 WITH SCORE 43427.876
AT ITER 9863 NEW BEST:: SOT 296562 SOS 189867 HAS SOPS 187229 HAS SOUS 44537 HAS SOUPS 43210 WITH SCORE 43399.867
AT ITER 9890 NEW BEST:: SOT 296544 SOS 189849 HAS SOPS 187211 HAS SOUS 44533 HAS SOUPS 43206 WITH SCORE 43395.849
AT ITER 9915 NEW BEST:: SOT 296344 SOS 189049 HAS SOPS 186411 HAS SOUS 44333 HAS SOUPS 43006 WITH SCORE 43195.049
AT ITER 9924 NEW BEST:: SOT 296552 SOS 189141 HAS SOPS 186503 HAS SOUS 44323 HAS SOUPS 42996 WITH SCORE 43185.141
AT ITER 9959 NEW BEST:: SOT 296403 SOS 188992 HAS SOPS 186354 HAS SOUS 44272 HAS SOUPS 42945 WITH SCORE 43133.992
STATE_SPACE STATES 974325 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 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3599110 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678697270959

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-PT-3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is NeoElection-PT-3, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534200184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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