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-167863534200192.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-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534200192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.2M
-rw-r--r-- 1 mcc users 190K Feb 26 16:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 581K Feb 26 16:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 193K Feb 26 15:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 662K Feb 26 15:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 156K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 351K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 36K Feb 25 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 104K Feb 25 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 75K Feb 26 16:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 282K Feb 26 16:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 547K Feb 26 16:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.0M Feb 26 16:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 16:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K 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 2.1M 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 1678698884160

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-4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 4
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: 1830 places, 2340 transitions, 13565 arcs.
AT ITER 0 NEW BEST:: SOT 1254330 SOS 683636 HAS SOPS 679562 HAS SOUS 210232 HAS SOUPS 209553 WITH SCORE 210236.636
AT ITER 62 NEW BEST:: SOT 1254052 SOS 683958 HAS SOPS 679884 HAS SOUS 210080 HAS SOUPS 209401 WITH SCORE 210084.958
AT ITER 163 NEW BEST:: SOT 1254052 SOS 683274 HAS SOPS 679200 HAS SOUS 209888 HAS SOUPS 209209 WITH SCORE 209892.274
AT ITER 164 NEW BEST:: SOT 1254052 SOS 682440 HAS SOPS 678366 HAS SOUS 209639 HAS SOUPS 208960 WITH SCORE 209642.44
AT ITER 226 NEW BEST:: SOT 1254052 SOS 681168 HAS SOPS 677140 HAS SOUS 209257 HAS SOUPS 208578 WITH SCORE 209259.168
AT ITER 266 NEW BEST:: SOT 1254052 SOS 680136 HAS SOPS 676108 HAS SOUS 209013 HAS SOUPS 208334 WITH SCORE 209014.136
AT ITER 296 NEW BEST:: SOT 1253859 SOS 688424 HAS SOPS 684396 HAS SOUS 208659 HAS SOUPS 207980 WITH SCORE 208668.424
AT ITER 306 NEW BEST:: SOT 1253745 SOS 690891 HAS SOPS 686863 HAS SOUS 208548 HAS SOUPS 207869 WITH SCORE 208559.891
AT ITER 328 NEW BEST:: SOT 1253745 SOS 689247 HAS SOPS 685219 HAS SOUS 207993 HAS SOUPS 207314 WITH SCORE 208003.247
AT ITER 367 NEW BEST:: SOT 1249507 SOS 715256 HAS SOPS 711228 HAS SOUS 203179 HAS SOUPS 202500 WITH SCORE 203215.256
AT ITER 539 NEW BEST:: SOT 1249537 SOS 712132 HAS SOPS 708104 HAS SOUS 202649 HAS SOUPS 201970 WITH SCORE 202682.132
AT ITER 626 NEW BEST:: SOT 1249537 SOS 711238 HAS SOPS 707210 HAS SOUS 202427 HAS SOUPS 201748 WITH SCORE 202459.238
AT ITER 630 NEW BEST:: SOT 1249470 SOS 711199 HAS SOPS 707171 HAS SOUS 202374 HAS SOUPS 201695 WITH SCORE 202406.199
AT ITER 729 NEW BEST:: SOT 1249316 SOS 711045 HAS SOPS 707017 HAS SOUS 202220 HAS SOUPS 201541 WITH SCORE 202252.045
AT ITER 758 NEW BEST:: SOT 1249316 SOS 710499 HAS SOPS 706776 HAS SOUS 202033 HAS SOUPS 201354 WITH SCORE 202064.499
AT ITER 781 NEW BEST:: SOT 1249316 SOS 710115 HAS SOPS 706392 HAS SOUS 201969 HAS SOUPS 201290 WITH SCORE 202000.115
AT ITER 844 NEW BEST:: SOT 1249254 SOS 710053 HAS SOPS 706330 HAS SOUS 201599 HAS SOUPS 200920 WITH SCORE 201630.053
AT ITER 1005 NEW BEST:: SOT 1249297 SOS 679915 HAS SOPS 676192 HAS SOUS 201420 HAS SOUPS 200741 WITH SCORE 201420.915
AT ITER 1116 NEW BEST:: SOT 1249297 SOS 679825 HAS SOPS 676102 HAS SOUS 201420 HAS SOUPS 200741 WITH SCORE 201420.825
AT ITER 1124 NEW BEST:: SOT 1249297 SOS 680032 HAS SOPS 676309 HAS SOUS 201349 HAS SOUPS 200670 WITH SCORE 201350.032
AT ITER 1134 NEW BEST:: SOT 1249347 SOS 677508 HAS SOPS 673785 HAS SOUS 200484 HAS SOUPS 199805 WITH SCORE 200482.508
AT ITER 1232 NEW BEST:: SOT 1249347 SOS 677508 HAS SOPS 673785 HAS SOUS 200483 HAS SOUPS 199804 WITH SCORE 200481.508
AT ITER 1237 NEW BEST:: SOT 1249114 SOS 676387 HAS SOPS 672736 HAS SOUS 199855 HAS SOUPS 199176 WITH SCORE 199852.387
AT ITER 1242 NEW BEST:: SOT 1249070 SOS 674323 HAS SOPS 670672 HAS SOUS 199637 HAS SOUPS 198958 WITH SCORE 199632.323
AT ITER 1298 NEW BEST:: SOT 1249070 SOS 673333 HAS SOPS 669682 HAS SOUS 199425 HAS SOUPS 198746 WITH SCORE 199419.333
AT ITER 1301 NEW BEST:: SOT 1249070 SOS 672595 HAS SOPS 668944 HAS SOUS 199203 HAS SOUPS 198524 WITH SCORE 199196.595
AT ITER 1360 NEW BEST:: SOT 1249070 SOS 672587 HAS SOPS 668936 HAS SOUS 199203 HAS SOUPS 198524 WITH SCORE 199196.587
AT ITER 1363 NEW BEST:: SOT 1248818 SOS 673559 HAS SOPS 669908 HAS SOUS 199087 HAS SOUPS 198408 WITH SCORE 199081.559
AT ITER 1413 NEW BEST:: SOT 1248828 SOS 671039 HAS SOPS 667388 HAS SOUS 198451 HAS SOUPS 197772 WITH SCORE 198443.039
AT ITER 1434 NEW BEST:: SOT 1248828 SOS 670115 HAS SOPS 666541 HAS SOUS 198043 HAS SOUPS 197364 WITH SCORE 198034.115
AT ITER 1537 NEW BEST:: SOT 1248743 SOS 670050 HAS SOPS 666476 HAS SOUS 197925 HAS SOUPS 197246 WITH SCORE 197916.05
AT ITER 1571 NEW BEST:: SOT 1248743 SOS 670050 HAS SOPS 666476 HAS SOUS 197686 HAS SOUPS 197007 WITH SCORE 197677.05
AT ITER 1606 NEW BEST:: SOT 1248314 SOS 671325 HAS SOPS 667751 HAS SOUS 197569 HAS SOUPS 196890 WITH SCORE 197561.325
AT ITER 1677 NEW BEST:: SOT 1248314 SOS 670431 HAS SOPS 666857 HAS SOUS 197302 HAS SOUPS 196623 WITH SCORE 197293.431
AT ITER 1707 NEW BEST:: SOT 1248314 SOS 665017 HAS SOPS 661510 HAS SOUS 196759 HAS SOUPS 196080 WITH SCORE 196745.017
AT ITER 1739 NEW BEST:: SOT 1248314 SOS 665017 HAS SOPS 661510 HAS SOUS 196529 HAS SOUPS 195850 WITH SCORE 196515.017
AT ITER 1810 NEW BEST:: SOT 1248314 SOS 664801 HAS SOPS 661294 HAS SOUS 196504 HAS SOUPS 195825 WITH SCORE 196489.801
AT ITER 1967 NEW BEST:: SOT 1248296 SOS 664783 HAS SOPS 661276 HAS SOUS 196486 HAS SOUPS 195807 WITH SCORE 196471.783
AT ITER 2017 NEW BEST:: SOT 1248257 SOS 664474 HAS SOPS 660932 HAS SOUS 196391 HAS SOUPS 195677 WITH SCORE 196341.474
AT ITER 2098 NEW BEST:: SOT 1248257 SOS 664474 HAS SOPS 661102 HAS SOUS 196311 HAS SOUPS 195631 WITH SCORE 196295.474
AT ITER 2116 NEW BEST:: SOT 1248257 SOS 664030 HAS SOPS 660658 HAS SOUS 196311 HAS SOUPS 195631 WITH SCORE 196295.03
AT ITER 2133 NEW BEST:: SOT 1248207 SOS 663680 HAS SOPS 660308 HAS SOUS 196111 HAS SOUPS 195431 WITH SCORE 196094.68
AT ITER 2250 NEW BEST:: SOT 1249102 SOS 664680 HAS SOPS 661203 HAS SOUS 195837 HAS SOUPS 195082 WITH SCORE 195746.68
AT ITER 2294 NEW BEST:: SOT 1249164 SOS 661778 HAS SOPS 658301 HAS SOUS 195053 HAS SOUPS 194298 WITH SCORE 194959.778
AT ITER 2349 NEW BEST:: SOT 1249116 SOS 661978 HAS SOPS 658501 HAS SOUS 195005 HAS SOUPS 194250 WITH SCORE 194911.978
AT ITER 2365 NEW BEST:: SOT 1249116 SOS 661355 HAS SOPS 657878 HAS SOUS 194843 HAS SOUPS 194088 WITH SCORE 194749.355
AT ITER 2388 NEW BEST:: SOT 1249116 SOS 660212 HAS SOPS 656735 HAS SOUS 194641 HAS SOUPS 193886 WITH SCORE 194546.212
AT ITER 2403 NEW BEST:: SOT 1249107 SOS 660194 HAS SOPS 656717 HAS SOUS 194632 HAS SOUPS 193877 WITH SCORE 194537.194
AT ITER 2442 NEW BEST:: SOT 1249502 SOS 662312 HAS SOPS 658193 HAS SOUS 195244 HAS SOUPS 193847 WITH SCORE 194509.312
AT ITER 2477 NEW BEST:: SOT 1249344 SOS 667354 HAS SOPS 663235 HAS SOUS 195119 HAS SOUPS 193722 WITH SCORE 194389.354
AT ITER 2478 NEW BEST:: SOT 1249344 SOS 666743 HAS SOPS 662624 HAS SOUS 194478 HAS SOUPS 193081 WITH SCORE 193747.743
AT ITER 2491 NEW BEST:: SOT 1249344 SOS 666679 HAS SOPS 662560 HAS SOUS 194478 HAS SOUPS 193081 WITH SCORE 193747.679
AT ITER 2518 NEW BEST:: SOT 1249116 SOS 667279 HAS SOPS 663160 HAS SOUS 194342 HAS SOUPS 192945 WITH SCORE 193612.279
AT ITER 2544 NEW BEST:: SOT 1249116 SOS 667201 HAS SOPS 663082 HAS SOUS 194185 HAS SOUPS 192788 WITH SCORE 193455.201
AT ITER 2547 NEW BEST:: SOT 1249116 SOS 667201 HAS SOPS 663082 HAS SOUS 194123 HAS SOUPS 192726 WITH SCORE 193393.201
AT ITER 2570 NEW BEST:: SOT 1248984 SOS 711020 HAS SOPS 706901 HAS SOUS 194024 HAS SOUPS 192627 WITH SCORE 193338.02
AT ITER 2663 NEW BEST:: SOT 1248957 SOS 710831 HAS SOPS 706712 HAS SOUS 193943 HAS SOUPS 192546 WITH SCORE 193256.831
AT ITER 2691 NEW BEST:: SOT 1248957 SOS 710839 HAS SOPS 706720 HAS SOUS 193939 HAS SOUPS 192542 WITH SCORE 193252.839
AT ITER 2759 NEW BEST:: SOT 1248957 SOS 710920 HAS SOPS 706801 HAS SOUS 193858 HAS SOUPS 192461 WITH SCORE 193171.92
AT ITER 2914 NEW BEST:: SOT 1248903 SOS 710887 HAS SOPS 706768 HAS SOUS 193733 HAS SOUPS 192336 WITH SCORE 193046.887
AT ITER 2963 NEW BEST:: SOT 1248903 SOS 709840 HAS SOPS 705721 HAS SOUS 193404 HAS SOUPS 192007 WITH SCORE 192716.84
AT ITER 3022 NEW BEST:: SOT 1248903 SOS 709438 HAS SOPS 705319 HAS SOUS 193346 HAS SOUPS 191949 WITH SCORE 192658.438
AT ITER 3043 NEW BEST:: SOT 1249210 SOS 709733 HAS SOPS 705614 HAS SOUS 193314 HAS SOUPS 191917 WITH SCORE 192626.733
AT ITER 3175 NEW BEST:: SOT 1249191 SOS 709698 HAS SOPS 705592 HAS SOUS 193295 HAS SOUPS 191911 WITH SCORE 192620.698
AT ITER 3199 NEW BEST:: SOT 1249196 SOS 709405 HAS SOPS 705293 HAS SOUS 193243 HAS SOUPS 191853 WITH SCORE 192562.405
AT ITER 3294 NEW BEST:: SOT 1248750 SOS 709434 HAS SOPS 705322 HAS SOUS 193207 HAS SOUPS 191817 WITH SCORE 192526.434
AT ITER 3329 NEW BEST:: SOT 1248750 SOS 709218 HAS SOPS 705106 HAS SOUS 193171 HAS SOUPS 191781 WITH SCORE 192490.218
AT ITER 3448 NEW BEST:: SOT 1245299 SOS 705767 HAS SOPS 701655 HAS SOUS 189472 HAS SOUPS 188082 WITH SCORE 188787.767
AT ITER 3462 NEW BEST:: SOT 1245299 SOS 706715 HAS SOPS 702603 HAS SOUS 189419 HAS SOUPS 188029 WITH SCORE 188735.715
AT ITER 3499 NEW BEST:: SOT 1245299 SOS 705425 HAS SOPS 701313 HAS SOUS 189281 HAS SOUPS 187891 WITH SCORE 188596.425
AT ITER 3503 NEW BEST:: SOT 1245161 SOS 705872 HAS SOPS 701760 HAS SOUS 189208 HAS SOUPS 187818 WITH SCORE 188523.872
AT ITER 3510 NEW BEST:: SOT 1245161 SOS 705731 HAS SOPS 701619 HAS SOUS 189208 HAS SOUPS 187818 WITH SCORE 188523.731
AT ITER 3564 NEW BEST:: SOT 1244792 SOS 706818 HAS SOPS 702706 HAS SOUS 188984 HAS SOUPS 187594 WITH SCORE 188300.818
AT ITER 3584 NEW BEST:: SOT 1244792 SOS 706818 HAS SOPS 702706 HAS SOUS 188914 HAS SOUPS 187524 WITH SCORE 188230.818
AT ITER 3599 NEW BEST:: SOT 1244792 SOS 706536 HAS SOPS 702424 HAS SOUS 188914 HAS SOUPS 187524 WITH SCORE 188230.536
AT ITER 3713 NEW BEST:: SOT 1244792 SOS 706286 HAS SOPS 702174 HAS SOUS 188756 HAS SOUPS 187366 WITH SCORE 188072.286
AT ITER 3743 NEW BEST:: SOT 1244792 SOS 706286 HAS SOPS 702174 HAS SOUS 188493 HAS SOUPS 187103 WITH SCORE 187809.286
AT ITER 3760 NEW BEST:: SOT 1243628 SOS 705122 HAS SOPS 701010 HAS SOUS 187329 HAS SOUPS 185939 WITH SCORE 186644.122
AT ITER 3797 NEW BEST:: SOT 1243561 SOS 707763 HAS SOPS 703651 HAS SOUS 187178 HAS SOUPS 185788 WITH SCORE 186495.763
AT ITER 3827 NEW BEST:: SOT 1244747 SOS 705908 HAS SOPS 700958 HAS SOUS 187490 HAS SOUPS 185648 WITH SCORE 186353.908
AT ITER 3950 NEW BEST:: SOT 1244747 SOS 705384 HAS SOPS 700434 HAS SOUS 187245 HAS SOUPS 185403 WITH SCORE 186108.384
AT ITER 3961 NEW BEST:: SOT 1244747 SOS 705384 HAS SOPS 700434 HAS SOUS 187243 HAS SOUPS 185401 WITH SCORE 186106.384
AT ITER 3979 NEW BEST:: SOT 1244747 SOS 705384 HAS SOPS 700434 HAS SOUS 186937 HAS SOUPS 185095 WITH SCORE 185800.384
AT ITER 4025 NEW BEST:: SOT 1242650 SOS 705057 HAS SOPS 700115 HAS SOUS 185731 HAS SOUPS 183897 WITH SCORE 184602.057
AT ITER 4026 NEW BEST:: SOT 1242536 SOS 705209 HAS SOPS 700343 HAS SOUS 185617 HAS SOUPS 183821 WITH SCORE 184526.209
AT ITER 4051 NEW BEST:: SOT 1242536 SOS 705059 HAS SOPS 700193 HAS SOUS 185617 HAS SOUPS 183821 WITH SCORE 184526.059
AT ITER 4063 NEW BEST:: SOT 1240411 SOS 703202 HAS SOPS 698416 HAS SOUS 184759 HAS SOUPS 183013 WITH SCORE 183716.202
AT ITER 4116 NEW BEST:: SOT 1240411 SOS 703202 HAS SOPS 698416 HAS SOUS 184565 HAS SOUPS 182819 WITH SCORE 183522.202
AT ITER 4184 NEW BEST:: SOT 1240411 SOS 702710 HAS SOPS 697924 HAS SOUS 184293 HAS SOUPS 182547 WITH SCORE 183249.71
AT ITER 4268 NEW BEST:: SOT 1240417 SOS 700534 HAS SOPS 695166 HAS SOUS 184471 HAS SOUPS 182277 WITH SCORE 182977.534
AT ITER 4324 NEW BEST:: SOT 1240417 SOS 700948 HAS SOPS 695666 HAS SOUS 184115 HAS SOUPS 182007 WITH SCORE 182707.948
AT ITER 4333 NEW BEST:: SOT 1240393 SOS 703636 HAS SOPS 698354 HAS SOUS 184086 HAS SOUPS 181978 WITH SCORE 182681.636
AT ITER 4339 NEW BEST:: SOT 1240402 SOS 701972 HAS SOPS 696690 HAS SOUS 183050 HAS SOUPS 180942 WITH SCORE 181643.972
AT ITER 4350 NEW BEST:: SOT 1240402 SOS 699627 HAS SOPS 694345 HAS SOUS 182318 HAS SOUPS 180210 WITH SCORE 180909.627
AT ITER 4366 NEW BEST:: SOT 1240402 SOS 699603 HAS SOPS 694321 HAS SOUS 182312 HAS SOUPS 180204 WITH SCORE 180903.603
AT ITER 4367 NEW BEST:: SOT 1240402 SOS 699979 HAS SOPS 694697 HAS SOUS 182247 HAS SOUPS 180139 WITH SCORE 180838.979
AT ITER 4408 NEW BEST:: SOT 1240402 SOS 699859 HAS SOPS 694577 HAS SOUS 182207 HAS SOUPS 180099 WITH SCORE 180798.859
AT ITER 4470 NEW BEST:: SOT 1240309 SOS 699022 HAS SOPS 694080 HAS SOUS 182043 HAS SOUPS 179981 WITH SCORE 180680.022
AT ITER 4478 NEW BEST:: SOT 1240309 SOS 698244 HAS SOPS 693302 HAS SOUS 181939 HAS SOUPS 179877 WITH SCORE 180575.244
AT ITER 4502 NEW BEST:: SOT 1240308 SOS 698243 HAS SOPS 693301 HAS SOUS 181938 HAS SOUPS 179876 WITH SCORE 180574.243
AT ITER 4548 NEW BEST:: SOT 1240347 SOS 698294 HAS SOPS 693352 HAS SOUS 181663 HAS SOUPS 179601 WITH SCORE 180299.294
AT ITER 4595 NEW BEST:: SOT 1240209 SOS 698570 HAS SOPS 693582 HAS SOUS 181525 HAS SOUPS 179463 WITH SCORE 180161.57
AT ITER 4621 NEW BEST:: SOT 1240209 SOS 698180 HAS SOPS 693205 HAS SOUS 181330 HAS SOUPS 179281 WITH SCORE 179979.18
AT ITER 4652 NEW BEST:: SOT 1240387 SOS 698213 HAS SOPS 693238 HAS SOUS 181129 HAS SOUPS 179080 WITH SCORE 179778.213
AT ITER 4685 NEW BEST:: SOT 1240387 SOS 697296 HAS SOPS 692321 HAS SOUS 180998 HAS SOUPS 178949 WITH SCORE 179646.296
AT ITER 4740 NEW BEST:: SOT 1240387 SOS 697206 HAS SOPS 692231 HAS SOUS 180920 HAS SOUPS 178871 WITH SCORE 179568.206
AT ITER 4746 NEW BEST:: SOT 1240387 SOS 696051 HAS SOPS 691076 HAS SOUS 180482 HAS SOUPS 178433 WITH SCORE 179129.051
AT ITER 4783 NEW BEST:: SOT 1239912 SOS 695509 HAS SOPS 690534 HAS SOUS 180270 HAS SOUPS 178221 WITH SCORE 178916.509
AT ITER 4837 NEW BEST:: SOT 1239912 SOS 694472 HAS SOPS 689497 HAS SOUS 179797 HAS SOUPS 177748 WITH SCORE 178442.472
AT ITER 4862 NEW BEST:: SOT 1239912 SOS 693542 HAS SOPS 688567 HAS SOUS 179673 HAS SOUPS 177624 WITH SCORE 178317.542
AT ITER 4943 NEW BEST:: SOT 1239912 SOS 693518 HAS SOPS 688543 HAS SOUS 179673 HAS SOUPS 177624 WITH SCORE 178317.518
AT ITER 5052 NEW BEST:: SOT 1239872 SOS 693478 HAS SOPS 688503 HAS SOUS 179633 HAS SOUPS 177584 WITH SCORE 178277.478
AT ITER 5060 NEW BEST:: SOT 1239872 SOS 693473 HAS SOPS 688498 HAS SOUS 179633 HAS SOUPS 177584 WITH SCORE 178277.473
AT ITER 5061 NEW BEST:: SOT 1239891 SOS 691847 HAS SOPS 686872 HAS SOUS 179633 HAS SOUPS 177584 WITH SCORE 178275.847
AT ITER 5076 NEW BEST:: SOT 1239891 SOS 691415 HAS SOPS 686440 HAS SOUS 179491 HAS SOUPS 177442 WITH SCORE 178133.415
AT ITER 5117 NEW BEST:: SOT 1239600 SOS 692141 HAS SOPS 687166 HAS SOUS 179311 HAS SOUPS 177262 WITH SCORE 177954.141
AT ITER 5140 NEW BEST:: SOT 1239630 SOS 692199 HAS SOPS 687224 HAS SOUS 179296 HAS SOUPS 177247 WITH SCORE 177939.199
AT ITER 5223 NEW BEST:: SOT 1239630 SOS 692112 HAS SOPS 687137 HAS SOUS 178940 HAS SOUPS 176891 WITH SCORE 177583.112
AT ITER 5286 NEW BEST:: SOT 1240100 SOS 693208 HAS SOPS 688233 HAS SOUS 178883 HAS SOUPS 176834 WITH SCORE 177527.208
AT ITER 5298 NEW BEST:: SOT 1240100 SOS 702055 HAS SOPS 697080 HAS SOUS 178196 HAS SOUPS 176147 WITH SCORE 176849.055
AT ITER 5343 NEW BEST:: SOT 1240100 SOS 702270 HAS SOPS 697295 HAS SOUS 177909 HAS SOUPS 175860 WITH SCORE 176562.27
AT ITER 5363 NEW BEST:: SOT 1240100 SOS 703074 HAS SOPS 698099 HAS SOUS 177887 HAS SOUPS 175838 WITH SCORE 176541.074
AT ITER 5380 NEW BEST:: SOT 1240100 SOS 703074 HAS SOPS 698099 HAS SOUS 177885 HAS SOUPS 175836 WITH SCORE 176539.074
AT ITER 5393 NEW BEST:: SOT 1240002 SOS 702976 HAS SOPS 698001 HAS SOUS 177787 HAS SOUPS 175738 WITH SCORE 176440.976
AT ITER 5414 NEW BEST:: SOT 1240183 SOS 702812 HAS SOPS 697837 HAS SOUS 177565 HAS SOUPS 175516 WITH SCORE 176218.812
AT ITER 5562 NEW BEST:: SOT 1240183 SOS 702812 HAS SOPS 697837 HAS SOUS 177537 HAS SOUPS 175488 WITH SCORE 176190.812
AT ITER 5781 NEW BEST:: SOT 1240227 SOS 702591 HAS SOPS 697571 HAS SOUS 177512 HAS SOUPS 175463 WITH SCORE 176165.591
AT ITER 5795 NEW BEST:: SOT 1240227 SOS 702585 HAS SOPS 697571 HAS SOUS 177497 HAS SOUPS 175454 WITH SCORE 176156.585
AT ITER 5828 NEW BEST:: SOT 1240253 SOS 703153 HAS SOPS 697389 HAS SOUS 177657 HAS SOUPS 175214 WITH SCORE 175917.153
AT ITER 5852 NEW BEST:: SOT 1240253 SOS 702817 HAS SOPS 697053 HAS SOUS 177481 HAS SOUPS 175038 WITH SCORE 175740.817
AT ITER 5927 NEW BEST:: SOT 1240236 SOS 702664 HAS SOPS 696985 HAS SOUS 177464 HAS SOUPS 175021 WITH SCORE 175723.664
AT ITER 5958 NEW BEST:: SOT 1240236 SOS 702588 HAS SOPS 696909 HAS SOUS 177341 HAS SOUPS 174898 WITH SCORE 175600.588
AT ITER 5968 NEW BEST:: SOT 1240236 SOS 702008 HAS SOPS 696329 HAS SOUS 177318 HAS SOUPS 174875 WITH SCORE 175577.008
AT ITER 5975 NEW BEST:: SOT 1240416 SOS 702160 HAS SOPS 696481 HAS SOUS 177170 HAS SOUPS 174727 WITH SCORE 175429.16
AT ITER 5986 NEW BEST:: SOT 1240416 SOS 701776 HAS SOPS 695771 HAS SOUS 177224 HAS SOUPS 174455 WITH SCORE 175156.776
AT ITER 6022 NEW BEST:: SOT 1240416 SOS 700536 HAS SOPS 694531 HAS SOUS 176965 HAS SOUPS 174196 WITH SCORE 174896.536
AT ITER 6047 NEW BEST:: SOT 1240416 SOS 699692 HAS SOPS 693687 HAS SOUS 176965 HAS SOUPS 174196 WITH SCORE 174895.692
AT ITER 6081 NEW BEST:: SOT 1240416 SOS 699388 HAS SOPS 693383 HAS SOUS 176965 HAS SOUPS 174196 WITH SCORE 174895.388
AT ITER 6148 NEW BEST:: SOT 1240416 SOS 699380 HAS SOPS 693375 HAS SOUS 176965 HAS SOUPS 174196 WITH SCORE 174895.38
AT ITER 6152 NEW BEST:: SOT 1240416 SOS 698628 HAS SOPS 692623 HAS SOUS 176717 HAS SOUPS 173948 WITH SCORE 174646.628
AT ITER 6256 NEW BEST:: SOT 1240416 SOS 698350 HAS SOPS 692345 HAS SOUS 176533 HAS SOUPS 173764 WITH SCORE 174462.35
AT ITER 6338 NEW BEST:: SOT 1240409 SOS 698343 HAS SOPS 692338 HAS SOUS 176456 HAS SOUPS 173687 WITH SCORE 174385.343
AT ITER 6340 NEW BEST:: SOT 1240605 SOS 697077 HAS SOPS 691072 HAS SOUS 175981 HAS SOUPS 173212 WITH SCORE 173909.077
AT ITER 6341 NEW BEST:: SOT 1240605 SOS 696895 HAS SOPS 690890 HAS SOUS 175981 HAS SOUPS 173212 WITH SCORE 173908.895
AT ITER 6375 NEW BEST:: SOT 1240584 SOS 696874 HAS SOPS 690869 HAS SOUS 175918 HAS SOUPS 173149 WITH SCORE 173845.874
AT ITER 6405 NEW BEST:: SOT 1240615 SOS 695324 HAS SOPS 689319 HAS SOUS 175513 HAS SOUPS 172744 WITH SCORE 173439.324
AT ITER 6444 NEW BEST:: SOT 1240615 SOS 694812 HAS SOPS 688807 HAS SOUS 175442 HAS SOUPS 172673 WITH SCORE 173367.812
AT ITER 6555 NEW BEST:: SOT 1240533 SOS 695058 HAS SOPS 689053 HAS SOUS 175360 HAS SOUPS 172591 WITH SCORE 173286.058
AT ITER 6556 NEW BEST:: SOT 1241118 SOS 693662 HAS SOPS 687657 HAS SOUS 175303 HAS SOUPS 172534 WITH SCORE 173227.662
AT ITER 6682 NEW BEST:: SOT 1241118 SOS 693777 HAS SOPS 687772 HAS SOUS 175284 HAS SOUPS 172515 WITH SCORE 173208.777
AT ITER 6750 NEW BEST:: SOT 1240830 SOS 694129 HAS SOPS 688124 HAS SOUS 175085 HAS SOUPS 172316 WITH SCORE 173010.129
AT ITER 6778 NEW BEST:: SOT 1240415 SOS 718367 HAS SOPS 712362 HAS SOUS 174814 HAS SOUPS 172045 WITH SCORE 172763.367
AT ITER 6822 NEW BEST:: SOT 1240635 SOS 718334 HAS SOPS 712329 HAS SOUS 174599 HAS SOUPS 171830 WITH SCORE 172548.334
AT ITER 6847 NEW BEST:: SOT 1240635 SOS 718078 HAS SOPS 712073 HAS SOUS 174567 HAS SOUPS 171798 WITH SCORE 172516.078
AT ITER 6856 NEW BEST:: SOT 1240635 SOS 717808 HAS SOPS 711833 HAS SOUS 174537 HAS SOUPS 171798 WITH SCORE 172515.808
AT ITER 6982 NEW BEST:: SOT 1240868 SOS 718041 HAS SOPS 712066 HAS SOUS 174356 HAS SOUPS 171617 WITH SCORE 172335.041
AT ITER 6983 NEW BEST:: SOT 1240868 SOS 715561 HAS SOPS 709586 HAS SOUS 173880 HAS SOUPS 171141 WITH SCORE 171856.561
AT ITER 7004 NEW BEST:: SOT 1240868 SOS 714876 HAS SOPS 708883 HAS SOUS 173864 HAS SOUPS 171122 WITH SCORE 171836.876
AT ITER 7063 NEW BEST:: SOT 1239941 SOS 790007 HAS SOPS 784014 HAS SOUS 172540 HAS SOUPS 169798 WITH SCORE 170588.007
AT ITER 7084 NEW BEST:: SOT 1239865 SOS 789933 HAS SOPS 783940 HAS SOUS 172466 HAS SOUPS 169724 WITH SCORE 170513.933
AT ITER 7140 NEW BEST:: SOT 1239869 SOS 789937 HAS SOPS 783944 HAS SOUS 172428 HAS SOUPS 169686 WITH SCORE 170475.937
AT ITER 7153 NEW BEST:: SOT 1239876 SOS 789944 HAS SOPS 783951 HAS SOUS 172397 HAS SOUPS 169655 WITH SCORE 170444.944
AT ITER 7157 NEW BEST:: SOT 1239628 SOS 853554 HAS SOPS 847561 HAS SOUS 172191 HAS SOUPS 169449 WITH SCORE 170302.554
AT ITER 7171 NEW BEST:: SOT 1239517 SOS 853443 HAS SOPS 847450 HAS SOUS 172080 HAS SOUPS 169338 WITH SCORE 170191.443
AT ITER 7301 NEW BEST:: SOT 1239277 SOS 852909 HAS SOPS 846916 HAS SOUS 171826 HAS SOUPS 169084 WITH SCORE 169936.909
AT ITER 7356 NEW BEST:: SOT 1238997 SOS 852920 HAS SOPS 846512 HAS SOUS 171050 HAS SOUPS 168225 WITH SCORE 169077.92
AT ITER 7405 NEW BEST:: SOT 1238997 SOS 852314 HAS SOPS 845906 HAS SOUS 170882 HAS SOUPS 168057 WITH SCORE 168909.314
AT ITER 7432 NEW BEST:: SOT 1238387 SOS 869825 HAS SOPS 863417 HAS SOUS 169948 HAS SOUPS 167123 WITH SCORE 167992.825
AT ITER 7456 NEW BEST:: SOT 1238331 SOS 869433 HAS SOPS 863025 HAS SOUS 169890 HAS SOUPS 167065 WITH SCORE 167934.433
AT ITER 7475 NEW BEST:: SOT 1238226 SOS 868832 HAS SOPS 862424 HAS SOUS 169750 HAS SOUPS 166925 WITH SCORE 167793.832
AT ITER 7498 NEW BEST:: SOT 1238226 SOS 868832 HAS SOPS 862424 HAS SOUS 169694 HAS SOUPS 166869 WITH SCORE 167737.832
AT ITER 7520 NEW BEST:: SOT 1238147 SOS 868753 HAS SOPS 862345 HAS SOUS 169622 HAS SOUPS 166797 WITH SCORE 167665.753
AT ITER 7550 NEW BEST:: SOT 1238147 SOS 868753 HAS SOPS 862345 HAS SOUS 169412 HAS SOUPS 166587 WITH SCORE 167455.753
AT ITER 7572 NEW BEST:: SOT 1238147 SOS 869171 HAS SOPS 863178 HAS SOUS 169231 HAS SOUPS 166489 WITH SCORE 167358.171
AT ITER 7593 NEW BEST:: SOT 1238147 SOS 869171 HAS SOPS 863210 HAS SOUS 169177 HAS SOUPS 166462 WITH SCORE 167331.171
AT ITER 7636 NEW BEST:: SOT 1238147 SOS 865004 HAS SOPS 859043 HAS SOUS 169177 HAS SOUPS 166462 WITH SCORE 167327.004
AT ITER 7648 NEW BEST:: SOT 1237630 SOS 864487 HAS SOPS 858526 HAS SOUS 168858 HAS SOUPS 166143 WITH SCORE 167007.487
AT ITER 7676 NEW BEST:: SOT 1237493 SOS 864350 HAS SOPS 858389 HAS SOUS 168503 HAS SOUPS 165788 WITH SCORE 166652.35
AT ITER 7706 NEW BEST:: SOT 1237925 SOS 864782 HAS SOPS 858821 HAS SOUS 168433 HAS SOUPS 165718 WITH SCORE 166582.782
AT ITER 7730 NEW BEST:: SOT 1238181 SOS 865038 HAS SOPS 859077 HAS SOUS 168368 HAS SOUPS 165653 WITH SCORE 166518.038
AT ITER 7741 NEW BEST:: SOT 1238198 SOS 866434 HAS SOPS 859729 HAS SOUS 168453 HAS SOUPS 165614 WITH SCORE 166480.434
AT ITER 7756 NEW BEST:: SOT 1238324 SOS 819656 HAS SOPS 812951 HAS SOUS 168453 HAS SOUPS 165614 WITH SCORE 166433.656
AT ITER 7834 NEW BEST:: SOT 1238324 SOS 819656 HAS SOPS 812951 HAS SOUS 168344 HAS SOUPS 165505 WITH SCORE 166324.656
AT ITER 7842 NEW BEST:: SOT 1238324 SOS 819656 HAS SOPS 812951 HAS SOUS 168281 HAS SOUPS 165442 WITH SCORE 166261.656
AT ITER 8005 NEW BEST:: SOT 1238239 SOS 819503 HAS SOPS 812798 HAS SOUS 168196 HAS SOUPS 165357 WITH SCORE 166176.503
AT ITER 8018 NEW BEST:: SOT 1238239 SOS 819503 HAS SOPS 812798 HAS SOUS 168187 HAS SOUPS 165348 WITH SCORE 166167.503
AT ITER 8019 NEW BEST:: SOT 1238200 SOS 819264 HAS SOPS 812759 HAS SOUS 168048 HAS SOUPS 165309 WITH SCORE 166128.264
AT ITER 8058 NEW BEST:: SOT 1238200 SOS 819264 HAS SOPS 812772 HAS SOUS 167869 HAS SOUPS 165143 WITH SCORE 165962.264
AT ITER 8132 NEW BEST:: SOT 1238200 SOS 819264 HAS SOPS 812772 HAS SOUS 167655 HAS SOUPS 164929 WITH SCORE 165748.264
AT ITER 8212 NEW BEST:: SOT 1238200 SOS 817554 HAS SOPS 811062 HAS SOUS 167428 HAS SOUPS 164702 WITH SCORE 165519.554
AT ITER 8249 NEW BEST:: SOT 1238200 SOS 816704 HAS SOPS 810212 HAS SOUS 167411 HAS SOUPS 164685 WITH SCORE 165501.704
AT ITER 8257 NEW BEST:: SOT 1238289 SOS 816793 HAS SOPS 810301 HAS SOUS 167344 HAS SOUPS 164618 WITH SCORE 165434.793
AT ITER 8310 NEW BEST:: SOT 1238092 SOS 816434 HAS SOPS 810428 HAS SOUS 167112 HAS SOUPS 164467 WITH SCORE 165283.434
AT ITER 8367 NEW BEST:: SOT 1236061 SOS 814360 HAS SOPS 808354 HAS SOUS 164573 HAS SOUPS 161928 WITH SCORE 162742.36
AT ITER 8391 NEW BEST:: SOT 1236061 SOS 814360 HAS SOPS 808354 HAS SOUS 164509 HAS SOUPS 161864 WITH SCORE 162678.36
AT ITER 8422 NEW BEST:: SOT 1235957 SOS 814387 HAS SOPS 808381 HAS SOUS 164405 HAS SOUPS 161760 WITH SCORE 162574.387
AT ITER 8457 NEW BEST:: SOT 1235957 SOS 814387 HAS SOPS 808381 HAS SOUS 164192 HAS SOUPS 161547 WITH SCORE 162361.387
AT ITER 8489 NEW BEST:: SOT 1235766 SOS 814196 HAS SOPS 808190 HAS SOUS 163893 HAS SOUPS 161248 WITH SCORE 162062.196
AT ITER 8534 NEW BEST:: SOT 1235766 SOS 814196 HAS SOPS 808190 HAS SOUS 163417 HAS SOUPS 160772 WITH SCORE 161586.196
AT ITER 8576 NEW BEST:: SOT 1235766 SOS 815194 HAS SOPS 809188 HAS SOUS 163372 HAS SOUPS 160727 WITH SCORE 161542.194
AT ITER 8646 NEW BEST:: SOT 1235570 SOS 814998 HAS SOPS 808979 HAS SOUS 163372 HAS SOUPS 160714 WITH SCORE 161528.998
AT ITER 8675 NEW BEST:: SOT 1235570 SOS 813621 HAS SOPS 807602 HAS SOUS 163081 HAS SOUPS 160423 WITH SCORE 161236.621
AT ITER 8736 NEW BEST:: SOT 1234382 SOS 812511 HAS SOPS 806499 HAS SOUS 161844 HAS SOUPS 159193 WITH SCORE 160005.511
AT ITER 8766 NEW BEST:: SOT 1234382 SOS 812773 HAS SOPS 806761 HAS SOUS 161719 HAS SOUPS 159068 WITH SCORE 159880.773
AT ITER 8779 NEW BEST:: SOT 1234429 SOS 812820 HAS SOPS 806808 HAS SOUS 161674 HAS SOUPS 159023 WITH SCORE 159835.82
AT ITER 8871 NEW BEST:: SOT 1234429 SOS 813864 HAS SOPS 807852 HAS SOUS 161574 HAS SOUPS 158923 WITH SCORE 159736.864
AT ITER 8886 NEW BEST:: SOT 1234427 SOS 813826 HAS SOPS 807814 HAS SOUS 161566 HAS SOUPS 158915 WITH SCORE 159728.826
AT ITER 8919 NEW BEST:: SOT 1234427 SOS 813826 HAS SOPS 807814 HAS SOUS 161542 HAS SOUPS 158891 WITH SCORE 159704.826
AT ITER 8938 NEW BEST:: SOT 1234339 SOS 812658 HAS SOPS 806646 HAS SOUS 161287 HAS SOUPS 158636 WITH SCORE 159448.658
AT ITER 8970 NEW BEST:: SOT 1234141 SOS 813500 HAS SOPS 807488 HAS SOUS 161211 HAS SOUPS 158560 WITH SCORE 159373.5
AT ITER 9075 NEW BEST:: SOT 1234141 SOS 813430 HAS SOPS 807418 HAS SOUS 161184 HAS SOUPS 158533 WITH SCORE 159346.43
AT ITER 9122 NEW BEST:: SOT 1234141 SOS 813002 HAS SOPS 806990 HAS SOUS 160982 HAS SOUPS 158331 WITH SCORE 159144.002
AT ITER 9136 NEW BEST:: SOT 1234358 SOS 813177 HAS SOPS 807165 HAS SOUS 160842 HAS SOUPS 158191 WITH SCORE 159004.177
AT ITER 9149 NEW BEST:: SOT 1234625 SOS 813158 HAS SOPS 807146 HAS SOUS 160602 HAS SOUPS 157951 WITH SCORE 158764.158
AT ITER 9165 NEW BEST:: SOT 1234625 SOS 813114 HAS SOPS 807102 HAS SOUS 160602 HAS SOUPS 157951 WITH SCORE 158764.114
AT ITER 9311 NEW BEST:: SOT 1234625 SOS 812048 HAS SOPS 806036 HAS SOUS 160527 HAS SOUPS 157876 WITH SCORE 158688.048
AT ITER 9336 NEW BEST:: SOT 1234423 SOS 811748 HAS SOPS 805736 HAS SOUS 160101 HAS SOUPS 157450 WITH SCORE 158261.748
AT ITER 9360 NEW BEST:: SOT 1234423 SOS 811598 HAS SOPS 805586 HAS SOUS 160051 HAS SOUPS 157400 WITH SCORE 158211.598
AT ITER 9366 NEW BEST:: SOT 1234465 SOS 811562 HAS SOPS 805550 HAS SOUS 159329 HAS SOUPS 156678 WITH SCORE 157489.562
AT ITER 9400 NEW BEST:: SOT 1234395 SOS 811492 HAS SOPS 805480 HAS SOUS 159252 HAS SOUPS 156601 WITH SCORE 157412.492
AT ITER 9451 NEW BEST:: SOT 1233978 SOS 868095 HAS SOPS 862083 HAS SOUS 158984 HAS SOUPS 156333 WITH SCORE 157201.095
AT ITER 9562 NEW BEST:: SOT 1234011 SOS 867939 HAS SOPS 861927 HAS SOUS 158980 HAS SOUPS 156329 WITH SCORE 157196.939
AT ITER 9654 NEW BEST:: SOT 1234011 SOS 867485 HAS SOPS 861473 HAS SOUS 158912 HAS SOUPS 156261 WITH SCORE 157128.485
AT ITER 9667 NEW BEST:: SOT 1234010 SOS 867484 HAS SOPS 861472 HAS SOUS 158912 HAS SOUPS 156261 WITH SCORE 157128.484
AT ITER 9705 NEW BEST:: SOT 1233922 SOS 867396 HAS SOPS 861384 HAS SOUS 158842 HAS SOUPS 156191 WITH SCORE 157058.396
AT ITER 9718 NEW BEST:: SOT 1233934 SOS 867273 HAS SOPS 861261 HAS SOUS 158755 HAS SOUPS 156104 WITH SCORE 156971.273
AT ITER 9764 NEW BEST:: SOT 1234033 SOS 867414 HAS SOPS 860519 HAS SOUS 158986 HAS SOUPS 155362 WITH SCORE 156229.414
AT ITER 9809 NEW BEST:: SOT 1233986 SOS 867367 HAS SOPS 860167 HAS SOUS 158939 HAS SOUPS 155315 WITH SCORE 156182.367
AT ITER 9986 NEW BEST:: SOT 1233302 SOS 866711 HAS SOPS 859517 HAS SOUS 158273 HAS SOUPS 154655 WITH SCORE 155521.711
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10235648 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16143068 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-PT-4"
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-4, 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-167863534200192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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