Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250300296.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
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 r108-csrt-158961250300296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 98K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 239K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 99K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 279K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 135K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 363K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 51K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 160K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 128K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 318K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 46K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 127K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.8K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 2.1M Apr 30 13:04 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 1589639201568

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 73 NEW BEST:: SOT 1254267 SOS 683405 HAS SOPS 679331 HAS SOUS 210148 HAS SOUPS 209469 WITH SCORE 210152.405
AT ITER 155 NEW BEST:: SOT 1254015 SOS 684134 HAS SOPS 680060 HAS SOUS 210005 HAS SOUPS 209326 WITH SCORE 210010.134
AT ITER 182 NEW BEST:: SOT 1254015 SOS 683288 HAS SOPS 679214 HAS SOUS 209746 HAS SOUPS 209067 WITH SCORE 209750.288
AT ITER 200 NEW BEST:: SOT 1254015 SOS 682262 HAS SOPS 678188 HAS SOUS 209500 HAS SOUPS 208821 WITH SCORE 209503.262
AT ITER 208 NEW BEST:: SOT 1254015 SOS 681596 HAS SOPS 677522 HAS SOUS 209315 HAS SOUPS 208636 WITH SCORE 209317.596
AT ITER 240 NEW BEST:: SOT 1254015 SOS 681194 HAS SOPS 677120 HAS SOUS 209278 HAS SOUPS 208599 WITH SCORE 209280.194
AT ITER 243 NEW BEST:: SOT 1252096 SOS 687886 HAS SOPS 683812 HAS SOUS 207770 HAS SOUPS 207091 WITH SCORE 207778.886
AT ITER 280 NEW BEST:: SOT 1252096 SOS 685226 HAS SOPS 681152 HAS SOUS 206831 HAS SOUPS 206152 WITH SCORE 206837.226
AT ITER 298 NEW BEST:: SOT 1251864 SOS 684651 HAS SOPS 680577 HAS SOUS 206488 HAS SOUPS 205809 WITH SCORE 206493.651
AT ITER 304 NEW BEST:: SOT 1249285 SOS 687924 HAS SOPS 683850 HAS SOUS 204665 HAS SOUPS 203986 WITH SCORE 204673.924
AT ITER 317 NEW BEST:: SOT 1249285 SOS 684624 HAS SOPS 680550 HAS SOUS 203799 HAS SOUPS 203120 WITH SCORE 203804.624
AT ITER 325 NEW BEST:: SOT 1249128 SOS 754766 HAS SOPS 750692 HAS SOUS 203643 HAS SOUPS 202964 WITH SCORE 203718.766
AT ITER 443 NEW BEST:: SOT 1249062 SOS 754810 HAS SOPS 750736 HAS SOUS 203577 HAS SOUPS 202898 WITH SCORE 203652.81
AT ITER 500 NEW BEST:: SOT 1249062 SOS 751392 HAS SOPS 747318 HAS SOUS 203031 HAS SOUPS 202352 WITH SCORE 203103.392
AT ITER 557 NEW BEST:: SOT 1249062 SOS 751392 HAS SOPS 747318 HAS SOUS 203027 HAS SOUPS 202348 WITH SCORE 203099.392
AT ITER 661 NEW BEST:: SOT 1248762 SOS 752082 HAS SOPS 748008 HAS SOUS 202835 HAS SOUPS 202156 WITH SCORE 202908.082
AT ITER 674 NEW BEST:: SOT 1248372 SOS 752916 HAS SOPS 748842 HAS SOUS 202577 HAS SOUPS 201898 WITH SCORE 202650.916
AT ITER 679 NEW BEST:: SOT 1248264 SOS 755315 HAS SOPS 751241 HAS SOUS 202547 HAS SOUPS 201868 WITH SCORE 202623.315
AT ITER 680 NEW BEST:: SOT 1248264 SOS 755315 HAS SOPS 751241 HAS SOUS 202478 HAS SOUPS 201799 WITH SCORE 202554.315
AT ITER 697 NEW BEST:: SOT 1248264 SOS 755315 HAS SOPS 751241 HAS SOUS 202401 HAS SOUPS 201722 WITH SCORE 202477.315
AT ITER 763 NEW BEST:: SOT 1247988 SOS 755839 HAS SOPS 751771 HAS SOUS 202172 HAS SOUPS 201494 WITH SCORE 202249.839
AT ITER 805 NEW BEST:: SOT 1247988 SOS 754903 HAS SOPS 750835 HAS SOUS 201859 HAS SOUPS 201181 WITH SCORE 201935.903
AT ITER 824 NEW BEST:: SOT 1248242 SOS 755157 HAS SOPS 751089 HAS SOUS 201518 HAS SOUPS 200840 WITH SCORE 201595.157
AT ITER 904 NEW BEST:: SOT 1248242 SOS 754517 HAS SOPS 750449 HAS SOUS 201443 HAS SOUPS 200765 WITH SCORE 201519.517
AT ITER 966 NEW BEST:: SOT 1248242 SOS 754247 HAS SOPS 750449 HAS SOUS 201308 HAS SOUPS 200675 WITH SCORE 201429.247
AT ITER 1026 NEW BEST:: SOT 1248194 SOS 753458 HAS SOPS 749660 HAS SOUS 201003 HAS SOUPS 200370 WITH SCORE 201123.458
AT ITER 1144 NEW BEST:: SOT 1248327 SOS 688431 HAS SOPS 684633 HAS SOUS 200914 HAS SOUPS 200281 WITH SCORE 200969.431
AT ITER 1170 NEW BEST:: SOT 1248327 SOS 687417 HAS SOPS 683619 HAS SOUS 200799 HAS SOUPS 200166 WITH SCORE 200853.417
AT ITER 1220 NEW BEST:: SOT 1248327 SOS 685700 HAS SOPS 681902 HAS SOUS 200799 HAS SOUPS 200166 WITH SCORE 200851.7
AT ITER 1243 NEW BEST:: SOT 1248300 SOS 685619 HAS SOPS 681821 HAS SOUS 200745 HAS SOUPS 200112 WITH SCORE 200797.619
AT ITER 1250 NEW BEST:: SOT 1248300 SOS 684984 HAS SOPS 681186 HAS SOUS 200037 HAS SOUPS 199404 WITH SCORE 200088.984
AT ITER 1363 NEW BEST:: SOT 1248300 SOS 684211 HAS SOPS 680413 HAS SOUS 199652 HAS SOUPS 199019 WITH SCORE 199703.211
AT ITER 1403 NEW BEST:: SOT 1248300 SOS 684211 HAS SOPS 680413 HAS SOUS 199627 HAS SOUPS 198994 WITH SCORE 199678.211
AT ITER 1454 NEW BEST:: SOT 1247830 SOS 685262 HAS SOPS 681464 HAS SOUS 199339 HAS SOUPS 198706 WITH SCORE 199391.262
AT ITER 1470 NEW BEST:: SOT 1247830 SOS 685262 HAS SOPS 681464 HAS SOUS 199289 HAS SOUPS 198656 WITH SCORE 199341.262
AT ITER 1477 NEW BEST:: SOT 1247830 SOS 684104 HAS SOPS 680306 HAS SOUS 199024 HAS SOUPS 198391 WITH SCORE 199075.104
AT ITER 1478 NEW BEST:: SOT 1247830 SOS 683336 HAS SOPS 679538 HAS SOUS 198656 HAS SOUPS 198023 WITH SCORE 198706.336
AT ITER 1480 NEW BEST:: SOT 1247227 SOS 683591 HAS SOPS 679793 HAS SOUS 198267 HAS SOUPS 197634 WITH SCORE 198317.591
AT ITER 1529 NEW BEST:: SOT 1247327 SOS 683521 HAS SOPS 679700 HAS SOUS 198201 HAS SOUPS 197545 WITH SCORE 198228.521
AT ITER 1531 NEW BEST:: SOT 1247059 SOS 684821 HAS SOPS 681000 HAS SOUS 198144 HAS SOUPS 197488 WITH SCORE 198172.821
AT ITER 1603 NEW BEST:: SOT 1247059 SOS 684821 HAS SOPS 681000 HAS SOUS 198141 HAS SOUPS 197485 WITH SCORE 198169.821
AT ITER 1719 NEW BEST:: SOT 1247059 SOS 684035 HAS SOPS 680214 HAS SOUS 197930 HAS SOUPS 197274 WITH SCORE 197958.035
AT ITER 1750 NEW BEST:: SOT 1247059 SOS 683087 HAS SOPS 679266 HAS SOUS 197654 HAS SOUPS 196998 WITH SCORE 197681.087
AT ITER 1751 NEW BEST:: SOT 1247059 SOS 682787 HAS SOPS 678966 HAS SOUS 197594 HAS SOUPS 196938 WITH SCORE 197620.787
AT ITER 1827 NEW BEST:: SOT 1246993 SOS 683281 HAS SOPS 679460 HAS SOUS 197584 HAS SOUPS 196928 WITH SCORE 197611.281
AT ITER 1903 NEW BEST:: SOT 1246993 SOS 683197 HAS SOPS 679382 HAS SOUS 197571 HAS SOUPS 196916 WITH SCORE 197599.197
AT ITER 1932 NEW BEST:: SOT 1246825 SOS 683959 HAS SOPS 680144 HAS SOUS 197496 HAS SOUPS 196841 WITH SCORE 197524.959
AT ITER 1970 NEW BEST:: SOT 1246825 SOS 680175 HAS SOPS 676360 HAS SOUS 197410 HAS SOUPS 196755 WITH SCORE 197435.175
AT ITER 2021 NEW BEST:: SOT 1246825 SOS 678500 HAS SOPS 674685 HAS SOUS 197214 HAS SOUPS 196559 WITH SCORE 197237.5
AT ITER 2035 NEW BEST:: SOT 1246825 SOS 678002 HAS SOPS 674187 HAS SOUS 197147 HAS SOUPS 196492 WITH SCORE 197170.002
AT ITER 2144 NEW BEST:: SOT 1246825 SOS 675329 HAS SOPS 671514 HAS SOUS 196174 HAS SOUPS 195519 WITH SCORE 196194.329
AT ITER 2308 NEW BEST:: SOT 1246825 SOS 675329 HAS SOPS 671514 HAS SOUS 195734 HAS SOUPS 195079 WITH SCORE 195754.329
AT ITER 2309 NEW BEST:: SOT 1246888 SOS 675392 HAS SOPS 671577 HAS SOUS 195727 HAS SOUPS 195072 WITH SCORE 195747.392
AT ITER 2335 NEW BEST:: SOT 1246888 SOS 674632 HAS SOPS 670817 HAS SOUS 195725 HAS SOUPS 195070 WITH SCORE 195744.632
AT ITER 2382 NEW BEST:: SOT 1246888 SOS 674197 HAS SOPS 670692 HAS SOUS 195638 HAS SOUPS 194983 WITH SCORE 195657.197
AT ITER 2437 NEW BEST:: SOT 1246888 SOS 673855 HAS SOPS 670350 HAS SOUS 195524 HAS SOUPS 194869 WITH SCORE 195542.855
AT ITER 2442 NEW BEST:: SOT 1246888 SOS 673870 HAS SOPS 670365 HAS SOUS 195233 HAS SOUPS 194578 WITH SCORE 195251.87
AT ITER 2477 NEW BEST:: SOT 1246888 SOS 673050 HAS SOPS 669545 HAS SOUS 195182 HAS SOUPS 194527 WITH SCORE 195200.05
AT ITER 2535 NEW BEST:: SOT 1246549 SOS 672251 HAS SOPS 668746 HAS SOUS 194722 HAS SOUPS 194067 WITH SCORE 194739.251
AT ITER 2538 NEW BEST:: SOT 1246549 SOS 669285 HAS SOPS 665780 HAS SOUS 194718 HAS SOUPS 194063 WITH SCORE 194732.285
AT ITER 2578 NEW BEST:: SOT 1246970 SOS 669558 HAS SOPS 666053 HAS SOUS 194637 HAS SOUPS 193982 WITH SCORE 194651.558
AT ITER 2595 NEW BEST:: SOT 1246647 SOS 669235 HAS SOPS 665730 HAS SOUS 194368 HAS SOUPS 193713 WITH SCORE 194382.235
AT ITER 2651 NEW BEST:: SOT 1246647 SOS 669235 HAS SOPS 665730 HAS SOUS 194365 HAS SOUPS 193710 WITH SCORE 194379.235
AT ITER 2703 NEW BEST:: SOT 1246647 SOS 668731 HAS SOPS 665226 HAS SOUS 194202 HAS SOUPS 193547 WITH SCORE 194215.731
AT ITER 2706 NEW BEST:: SOT 1246566 SOS 668530 HAS SOPS 665025 HAS SOUS 194121 HAS SOUPS 193466 WITH SCORE 194134.53
AT ITER 2747 NEW BEST:: SOT 1246566 SOS 668482 HAS SOPS 664977 HAS SOUS 194105 HAS SOUPS 193450 WITH SCORE 194118.482
AT ITER 2781 NEW BEST:: SOT 1246192 SOS 669386 HAS SOPS 665881 HAS SOUS 193910 HAS SOUPS 193255 WITH SCORE 193924.386
AT ITER 2789 NEW BEST:: SOT 1246192 SOS 669196 HAS SOPS 665691 HAS SOUS 193815 HAS SOUPS 193160 WITH SCORE 193829.196
AT ITER 2824 NEW BEST:: SOT 1243837 SOS 668091 HAS SOPS 664586 HAS SOUS 191214 HAS SOUPS 190559 WITH SCORE 191227.091
AT ITER 2849 NEW BEST:: SOT 1243822 SOS 667068 HAS SOPS 663563 HAS SOUS 191087 HAS SOUPS 190432 WITH SCORE 191099.068
AT ITER 2880 NEW BEST:: SOT 1243822 SOS 667026 HAS SOPS 663521 HAS SOUS 190986 HAS SOUPS 190331 WITH SCORE 190998.026
AT ITER 2934 NEW BEST:: SOT 1243822 SOS 664696 HAS SOPS 661191 HAS SOUS 190770 HAS SOUPS 190115 WITH SCORE 190779.696
AT ITER 2967 NEW BEST:: SOT 1243516 SOS 665875 HAS SOPS 662370 HAS SOUS 190654 HAS SOUPS 189999 WITH SCORE 190664.875
AT ITER 2980 NEW BEST:: SOT 1243516 SOS 664825 HAS SOPS 661320 HAS SOUS 190314 HAS SOUPS 189659 WITH SCORE 190323.825
AT ITER 2987 NEW BEST:: SOT 1243463 SOS 664772 HAS SOPS 661267 HAS SOUS 190314 HAS SOUPS 189659 WITH SCORE 190323.772
AT ITER 3011 NEW BEST:: SOT 1243331 SOS 664376 HAS SOPS 660871 HAS SOUS 190182 HAS SOUPS 189527 WITH SCORE 190191.376
AT ITER 3051 NEW BEST:: SOT 1243327 SOS 664378 HAS SOPS 660873 HAS SOUS 190180 HAS SOUPS 189525 WITH SCORE 190189.378
AT ITER 3073 NEW BEST:: SOT 1243327 SOS 664311 HAS SOPS 660806 HAS SOUS 190180 HAS SOUPS 189525 WITH SCORE 190189.311
AT ITER 3102 NEW BEST:: SOT 1243327 SOS 664106 HAS SOPS 660681 HAS SOUS 190139 HAS SOUPS 189484 WITH SCORE 190148.106
AT ITER 3116 NEW BEST:: SOT 1242864 SOS 663662 HAS SOPS 660237 HAS SOUS 189567 HAS SOUPS 188912 WITH SCORE 189575.662
AT ITER 3127 NEW BEST:: SOT 1242864 SOS 660724 HAS SOPS 657839 HAS SOUS 189319 HAS SOUPS 188664 WITH SCORE 189324.724
AT ITER 3152 NEW BEST:: SOT 1242850 SOS 660710 HAS SOPS 657825 HAS SOUS 189305 HAS SOUPS 188650 WITH SCORE 189310.71
AT ITER 3179 NEW BEST:: SOT 1242850 SOS 660440 HAS SOPS 657555 HAS SOUS 189305 HAS SOUPS 188650 WITH SCORE 189310.44
AT ITER 3192 NEW BEST:: SOT 1242850 SOS 660440 HAS SOPS 657555 HAS SOUS 189278 HAS SOUPS 188623 WITH SCORE 189283.44
AT ITER 3213 NEW BEST:: SOT 1242850 SOS 660175 HAS SOPS 657290 HAS SOUS 189044 HAS SOUPS 188389 WITH SCORE 189049.175
AT ITER 3229 NEW BEST:: SOT 1242664 SOS 659431 HAS SOPS 656546 HAS SOUS 188796 HAS SOUPS 188141 WITH SCORE 188800.431
AT ITER 3233 NEW BEST:: SOT 1242664 SOS 658399 HAS SOPS 655514 HAS SOUS 188452 HAS SOUPS 187797 WITH SCORE 188455.399
AT ITER 3258 NEW BEST:: SOT 1242559 SOS 658294 HAS SOPS 655409 HAS SOUS 188347 HAS SOUPS 187692 WITH SCORE 188350.294
AT ITER 3288 NEW BEST:: SOT 1242559 SOS 656290 HAS SOPS 654303 HAS SOUS 187841 HAS SOUPS 187349 WITH SCORE 188005.29
AT ITER 3306 NEW BEST:: SOT 1242732 SOS 656310 HAS SOPS 654323 HAS SOUS 187809 HAS SOUPS 187317 WITH SCORE 187973.31
AT ITER 3389 NEW BEST:: SOT 1242472 SOS 657139 HAS SOPS 655152 HAS SOUS 187666 HAS SOUPS 187174 WITH SCORE 187831.139
AT ITER 3408 NEW BEST:: SOT 1242472 SOS 656141 HAS SOPS 654154 HAS SOUS 187666 HAS SOUPS 187174 WITH SCORE 187830.141
AT ITER 3432 NEW BEST:: SOT 1242472 SOS 656141 HAS SOPS 654154 HAS SOUS 187601 HAS SOUPS 187109 WITH SCORE 187765.141
AT ITER 3433 NEW BEST:: SOT 1242472 SOS 656645 HAS SOPS 654658 HAS SOUS 187309 HAS SOUPS 186817 WITH SCORE 187473.645
AT ITER 3471 NEW BEST:: SOT 1242472 SOS 655348 HAS SOPS 653361 HAS SOUS 187166 HAS SOUPS 186674 WITH SCORE 187329.348
AT ITER 3478 NEW BEST:: SOT 1242472 SOS 654616 HAS SOPS 652629 HAS SOUS 186947 HAS SOUPS 186455 WITH SCORE 187109.616
AT ITER 3583 NEW BEST:: SOT 1242472 SOS 654616 HAS SOPS 652629 HAS SOUS 186946 HAS SOUPS 186454 WITH SCORE 187108.616
AT ITER 3645 NEW BEST:: SOT 1242453 SOS 654958 HAS SOPS 652971 HAS SOUS 186941 HAS SOUPS 186449 WITH SCORE 187103.958
AT ITER 3784 NEW BEST:: SOT 1242453 SOS 654910 HAS SOPS 652923 HAS SOUS 186941 HAS SOUPS 186449 WITH SCORE 187103.91
AT ITER 3863 NEW BEST:: SOT 1242126 SOS 655564 HAS SOPS 653577 HAS SOUS 186723 HAS SOUPS 186231 WITH SCORE 186886.564
AT ITER 4017 NEW BEST:: SOT 1242126 SOS 655078 HAS SOPS 653091 HAS SOUS 186561 HAS SOUPS 186069 WITH SCORE 186724.078
AT ITER 4088 NEW BEST:: SOT 1241928 SOS 655301 HAS SOPS 653314 HAS SOUS 186422 HAS SOUPS 185930 WITH SCORE 186585.301
AT ITER 4162 NEW BEST:: SOT 1241900 SOS 655273 HAS SOPS 653286 HAS SOUS 186394 HAS SOUPS 185902 WITH SCORE 186557.273
AT ITER 4194 NEW BEST:: SOT 1241900 SOS 655129 HAS SOPS 653142 HAS SOUS 186346 HAS SOUPS 185854 WITH SCORE 186509.129
AT ITER 4207 NEW BEST:: SOT 1241900 SOS 654471 HAS SOPS 652484 HAS SOUS 186346 HAS SOUPS 185854 WITH SCORE 186508.471
AT ITER 4225 NEW BEST:: SOT 1241889 SOS 654460 HAS SOPS 652473 HAS SOUS 186313 HAS SOUPS 185821 WITH SCORE 186475.46
AT ITER 4234 NEW BEST:: SOT 1241889 SOS 655135 HAS SOPS 653148 HAS SOUS 186268 HAS SOUPS 185776 WITH SCORE 186431.135
AT ITER 4254 NEW BEST:: SOT 1241889 SOS 653991 HAS SOPS 652004 HAS SOUS 186058 HAS SOUPS 185566 WITH SCORE 186219.991
AT ITER 4322 NEW BEST:: SOT 1241889 SOS 653655 HAS SOPS 651668 HAS SOUS 186058 HAS SOUPS 185566 WITH SCORE 186219.655
AT ITER 4354 NEW BEST:: SOT 1241889 SOS 653811 HAS SOPS 651824 HAS SOUS 185969 HAS SOUPS 185477 WITH SCORE 186130.811
AT ITER 4364 NEW BEST:: SOT 1241684 SOS 654713 HAS SOPS 652726 HAS SOUS 185882 HAS SOUPS 185390 WITH SCORE 186044.713
AT ITER 4405 NEW BEST:: SOT 1241538 SOS 660885 HAS SOPS 658898 HAS SOUS 185668 HAS SOUPS 185176 WITH SCORE 185836.885
AT ITER 4412 NEW BEST:: SOT 1239601 SOS 668001 HAS SOPS 666017 HAS SOUS 184024 HAS SOUPS 183535 WITH SCORE 184203.001
AT ITER 4436 NEW BEST:: SOT 1239601 SOS 667503 HAS SOPS 665519 HAS SOUS 183816 HAS SOUPS 183327 WITH SCORE 183994.503
AT ITER 4464 NEW BEST:: SOT 1239601 SOS 666842 HAS SOPS 664864 HAS SOUS 183807 HAS SOUPS 183319 WITH SCORE 183985.842
AT ITER 4515 NEW BEST:: SOT 1239601 SOS 666650 HAS SOPS 664672 HAS SOUS 183807 HAS SOUPS 183319 WITH SCORE 183985.65
AT ITER 4540 NEW BEST:: SOT 1239589 SOS 666638 HAS SOPS 664660 HAS SOUS 183795 HAS SOUPS 183307 WITH SCORE 183973.638
AT ITER 4578 NEW BEST:: SOT 1239589 SOS 666598 HAS SOPS 664620 HAS SOUS 183785 HAS SOUPS 183297 WITH SCORE 183963.598
AT ITER 4598 NEW BEST:: SOT 1239589 SOS 666240 HAS SOPS 664262 HAS SOUS 183691 HAS SOUPS 183203 WITH SCORE 183869.24
AT ITER 4604 NEW BEST:: SOT 1239500 SOS 665286 HAS SOPS 663308 HAS SOUS 183408 HAS SOUPS 182920 WITH SCORE 183585.286
AT ITER 4615 NEW BEST:: SOT 1239500 SOS 665286 HAS SOPS 663448 HAS SOUS 183327 HAS SOUPS 182914 WITH SCORE 183579.286
AT ITER 4662 NEW BEST:: SOT 1239500 SOS 665408 HAS SOPS 663570 HAS SOUS 183266 HAS SOUPS 182853 WITH SCORE 183518.408
AT ITER 4684 NEW BEST:: SOT 1239500 SOS 665408 HAS SOPS 663570 HAS SOUS 183263 HAS SOUPS 182850 WITH SCORE 183515.408
AT ITER 4754 NEW BEST:: SOT 1239500 SOS 663228 HAS SOPS 661390 HAS SOUS 183164 HAS SOUPS 182751 WITH SCORE 183414.228
AT ITER 4781 NEW BEST:: SOT 1239500 SOS 662900 HAS SOPS 661068 HAS SOUS 183140 HAS SOUPS 182728 WITH SCORE 183390.9
AT ITER 4821 NEW BEST:: SOT 1239500 SOS 662734 HAS SOPS 660902 HAS SOUS 181578 HAS SOUPS 181166 WITH SCORE 181828.734
AT ITER 4954 NEW BEST:: SOT 1239410 SOS 662614 HAS SOPS 660782 HAS SOUS 181428 HAS SOUPS 181016 WITH SCORE 181678.614
AT ITER 4958 NEW BEST:: SOT 1239428 SOS 659890 HAS SOPS 658058 HAS SOUS 180768 HAS SOUPS 180356 WITH SCORE 181015.89
AT ITER 4982 NEW BEST:: SOT 1238780 SOS 659242 HAS SOPS 657410 HAS SOUS 180048 HAS SOUPS 179636 WITH SCORE 180295.242
AT ITER 4983 NEW BEST:: SOT 1238060 SOS 658548 HAS SOPS 656726 HAS SOUS 179348 HAS SOUPS 178946 WITH SCORE 179604.548
AT ITER 5033 NEW BEST:: SOT 1238283 SOS 658460 HAS SOPS 656638 HAS SOUS 179176 HAS SOUPS 178774 WITH SCORE 179432.46
AT ITER 5062 NEW BEST:: SOT 1238283 SOS 657908 HAS SOPS 656086 HAS SOUS 178789 HAS SOUPS 178387 WITH SCORE 179044.908
AT ITER 5080 NEW BEST:: SOT 1238283 SOS 657908 HAS SOPS 656086 HAS SOUS 178784 HAS SOUPS 178382 WITH SCORE 179039.908
AT ITER 5128 NEW BEST:: SOT 1238283 SOS 657146 HAS SOPS 655324 HAS SOUS 178657 HAS SOUPS 178255 WITH SCORE 178912.146
AT ITER 5163 NEW BEST:: SOT 1238283 SOS 656576 HAS SOPS 654754 HAS SOUS 178415 HAS SOUPS 178013 WITH SCORE 178669.576
AT ITER 5223 NEW BEST:: SOT 1238283 SOS 656466 HAS SOPS 654644 HAS SOUS 178391 HAS SOUPS 177989 WITH SCORE 178645.466
AT ITER 5250 NEW BEST:: SOT 1238593 SOS 655074 HAS SOPS 653252 HAS SOUS 178142 HAS SOUPS 177740 WITH SCORE 178395.074
AT ITER 5436 NEW BEST:: SOT 1238593 SOS 654547 HAS SOPS 652725 HAS SOUS 178142 HAS SOUPS 177740 WITH SCORE 178394.547
AT ITER 5439 NEW BEST:: SOT 1238593 SOS 655411 HAS SOPS 653589 HAS SOUS 177818 HAS SOUPS 177416 WITH SCORE 178071.411
AT ITER 5480 NEW BEST:: SOT 1238332 SOS 655978 HAS SOPS 654156 HAS SOUS 177649 HAS SOUPS 177247 WITH SCORE 177902.978
AT ITER 5535 NEW BEST:: SOT 1238332 SOS 653900 HAS SOPS 652078 HAS SOUS 177526 HAS SOUPS 177124 WITH SCORE 177777.9
AT ITER 5568 NEW BEST:: SOT 1238284 SOS 653836 HAS SOPS 652014 HAS SOUS 177446 HAS SOUPS 177044 WITH SCORE 177697.836
AT ITER 5637 NEW BEST:: SOT 1238272 SOS 653728 HAS SOPS 651906 HAS SOUS 177434 HAS SOUPS 177032 WITH SCORE 177685.728
AT ITER 5736 NEW BEST:: SOT 1235770 SOS 657635 HAS SOPS 655823 HAS SOUS 175496 HAS SOUPS 175104 WITH SCORE 175761.635
AT ITER 5776 NEW BEST:: SOT 1235770 SOS 657530 HAS SOPS 655718 HAS SOUS 175496 HAS SOUPS 175104 WITH SCORE 175761.53
AT ITER 5792 NEW BEST:: SOT 1235770 SOS 656906 HAS SOPS 654998 HAS SOUS 175432 HAS SOUPS 175024 WITH SCORE 175680.906
AT ITER 5809 NEW BEST:: SOT 1235770 SOS 656906 HAS SOPS 654998 HAS SOUS 175431 HAS SOUPS 175023 WITH SCORE 175679.906
AT ITER 5835 NEW BEST:: SOT 1235770 SOS 656837 HAS SOPS 654929 HAS SOUS 175408 HAS SOUPS 175000 WITH SCORE 175656.837
AT ITER 5859 NEW BEST:: SOT 1235549 SOS 654848 HAS SOPS 653000 HAS SOUS 174837 HAS SOUPS 174429 WITH SCORE 175083.848
AT ITER 5883 NEW BEST:: SOT 1235549 SOS 653199 HAS SOPS 651351 HAS SOUS 174740 HAS SOUPS 174332 WITH SCORE 174985.199
AT ITER 5886 NEW BEST:: SOT 1235484 SOS 653454 HAS SOPS 651606 HAS SOUS 174732 HAS SOUPS 174324 WITH SCORE 174977.454
AT ITER 5893 NEW BEST:: SOT 1235916 SOS 653527 HAS SOPS 651679 HAS SOUS 174557 HAS SOUPS 174149 WITH SCORE 174802.527
AT ITER 5915 NEW BEST:: SOT 1235916 SOS 649787 HAS SOPS 647939 HAS SOUS 174557 HAS SOUPS 174149 WITH SCORE 174798.787
AT ITER 5965 NEW BEST:: SOT 1234945 SOS 649139 HAS SOPS 647291 HAS SOUS 173836 HAS SOUPS 173428 WITH SCORE 174077.139
AT ITER 6062 NEW BEST:: SOT 1234945 SOS 649013 HAS SOPS 647165 HAS SOUS 173626 HAS SOUPS 173218 WITH SCORE 173867.013
AT ITER 6243 NEW BEST:: SOT 1235329 SOS 650567 HAS SOPS 648719 HAS SOUS 173506 HAS SOUPS 173098 WITH SCORE 173748.567
AT ITER 6361 NEW BEST:: SOT 1235329 SOS 650063 HAS SOPS 648215 HAS SOUS 173434 HAS SOUPS 173026 WITH SCORE 173676.063
AT ITER 6363 NEW BEST:: SOT 1235329 SOS 649715 HAS SOPS 648157 HAS SOUS 173260 HAS SOUPS 172910 WITH SCORE 173559.715
AT ITER 6482 NEW BEST:: SOT 1235323 SOS 649709 HAS SOPS 648151 HAS SOUS 173199 HAS SOUPS 172849 WITH SCORE 173498.709
AT ITER 6513 NEW BEST:: SOT 1235644 SOS 650030 HAS SOPS 648472 HAS SOUS 173194 HAS SOUPS 172844 WITH SCORE 173494.03
AT ITER 6580 NEW BEST:: SOT 1236116 SOS 650454 HAS SOPS 648896 HAS SOUS 173128 HAS SOUPS 172778 WITH SCORE 173428.454
AT ITER 6593 NEW BEST:: SOT 1236316 SOS 650475 HAS SOPS 648917 HAS SOUS 173091 HAS SOUPS 172741 WITH SCORE 173391.475
AT ITER 6646 NEW BEST:: SOT 1236316 SOS 650250 HAS SOPS 648618 HAS SOUS 173150 HAS SOUPS 172728 WITH SCORE 173378.25
AT ITER 6777 NEW BEST:: SOT 1236316 SOS 647205 HAS SOPS 645573 HAS SOUS 172102 HAS SOUPS 171680 WITH SCORE 172327.205
AT ITER 6797 NEW BEST:: SOT 1236316 SOS 647203 HAS SOPS 645571 HAS SOUS 172102 HAS SOUPS 171680 WITH SCORE 172327.203
AT ITER 6817 NEW BEST:: SOT 1236316 SOS 647405 HAS SOPS 645773 HAS SOUS 172101 HAS SOUPS 171679 WITH SCORE 172326.405
AT ITER 6853 NEW BEST:: SOT 1236316 SOS 647389 HAS SOPS 645709 HAS SOUS 172117 HAS SOUPS 171647 WITH SCORE 172294.389
AT ITER 6861 NEW BEST:: SOT 1236316 SOS 649726 HAS SOPS 648046 HAS SOUS 171898 HAS SOUPS 171428 WITH SCORE 172077.726
AT ITER 6910 NEW BEST:: SOT 1236688 SOS 649734 HAS SOPS 648054 HAS SOUS 171897 HAS SOUPS 171427 WITH SCORE 172076.734
AT ITER 7053 NEW BEST:: SOT 1236688 SOS 649614 HAS SOPS 647934 HAS SOUS 171857 HAS SOUPS 171387 WITH SCORE 172036.614
AT ITER 7112 NEW BEST:: SOT 1236802 SOS 649728 HAS SOPS 648048 HAS SOUS 171852 HAS SOUPS 171382 WITH SCORE 172031.728
AT ITER 7120 NEW BEST:: SOT 1236802 SOS 649632 HAS SOPS 647952 HAS SOUS 171468 HAS SOUPS 170998 WITH SCORE 171647.632
AT ITER 7188 NEW BEST:: SOT 1236710 SOS 648545 HAS SOPS 646865 HAS SOUS 171376 HAS SOUPS 170906 WITH SCORE 171554.545
AT ITER 7193 NEW BEST:: SOT 1236710 SOS 647339 HAS SOPS 645659 HAS SOUS 171213 HAS SOUPS 170743 WITH SCORE 171390.339
AT ITER 7228 NEW BEST:: SOT 1236865 SOS 647399 HAS SOPS 645719 HAS SOUS 171093 HAS SOUPS 170623 WITH SCORE 171270.399
AT ITER 7287 NEW BEST:: SOT 1237862 SOS 646842 HAS SOPS 645162 HAS SOUS 170895 HAS SOUPS 170425 WITH SCORE 171071.842
AT ITER 7295 NEW BEST:: SOT 1238281 SOS 649199 HAS SOPS 647519 HAS SOUS 170819 HAS SOUPS 170349 WITH SCORE 170998.199
AT ITER 7339 NEW BEST:: SOT 1238154 SOS 647690 HAS SOPS 646010 HAS SOUS 170194 HAS SOUPS 169724 WITH SCORE 170371.69
AT ITER 7369 NEW BEST:: SOT 1238154 SOS 647910 HAS SOPS 646230 HAS SOUS 170174 HAS SOUPS 169704 WITH SCORE 170351.91
AT ITER 7482 NEW BEST:: SOT 1238145 SOS 647831 HAS SOPS 646151 HAS SOUS 170165 HAS SOUPS 169695 WITH SCORE 170342.831
AT ITER 7492 NEW BEST:: SOT 1238145 SOS 647671 HAS SOPS 645991 HAS SOUS 169700 HAS SOUPS 169230 WITH SCORE 169877.671
AT ITER 7548 NEW BEST:: SOT 1238038 SOS 650425 HAS SOPS 648745 HAS SOUS 169592 HAS SOUPS 169122 WITH SCORE 169772.425
AT ITER 7586 NEW BEST:: SOT 1238038 SOS 650341 HAS SOPS 648661 HAS SOUS 169586 HAS SOUPS 169116 WITH SCORE 169766.341
AT ITER 7602 NEW BEST:: SOT 1238038 SOS 650040 HAS SOPS 648360 HAS SOUS 168363 HAS SOUPS 167893 WITH SCORE 168543.04
AT ITER 7658 NEW BEST:: SOT 1238038 SOS 650008 HAS SOPS 648328 HAS SOUS 168351 HAS SOUPS 167881 WITH SCORE 168531.008
AT ITER 7664 NEW BEST:: SOT 1238552 SOS 650260 HAS SOPS 648580 HAS SOUS 168324 HAS SOUPS 167854 WITH SCORE 168504.26
AT ITER 7683 NEW BEST:: SOT 1238465 SOS 653518 HAS SOPS 651838 HAS SOUS 168237 HAS SOUPS 167767 WITH SCORE 168420.518
AT ITER 7711 NEW BEST:: SOT 1238420 SOS 653503 HAS SOPS 651823 HAS SOUS 168222 HAS SOUPS 167752 WITH SCORE 168405.503
AT ITER 7784 NEW BEST:: SOT 1238306 SOS 653395 HAS SOPS 651715 HAS SOUS 168184 HAS SOUPS 167714 WITH SCORE 168367.395
AT ITER 7894 NEW BEST:: SOT 1238180 SOS 653172 HAS SOPS 651492 HAS SOUS 168058 HAS SOUPS 167588 WITH SCORE 168241.172
AT ITER 7898 NEW BEST:: SOT 1238180 SOS 653484 HAS SOPS 651804 HAS SOUS 167960 HAS SOUPS 167490 WITH SCORE 168143.484
AT ITER 7930 NEW BEST:: SOT 1238180 SOS 652852 HAS SOPS 651172 HAS SOUS 167746 HAS SOUPS 167276 WITH SCORE 167928.852
AT ITER 7983 NEW BEST:: SOT 1238218 SOS 653760 HAS SOPS 651935 HAS SOUS 167868 HAS SOUPS 167253 WITH SCORE 167906.76
AT ITER 7991 NEW BEST:: SOT 1238218 SOS 652480 HAS SOPS 650655 HAS SOUS 167783 HAS SOUPS 167168 WITH SCORE 167820.48
AT ITER 8026 NEW BEST:: SOT 1238250 SOS 652512 HAS SOPS 650687 HAS SOUS 167727 HAS SOUPS 167112 WITH SCORE 167764.512
AT ITER 8048 NEW BEST:: SOT 1237917 SOS 652179 HAS SOPS 650354 HAS SOUS 167414 HAS SOUPS 166799 WITH SCORE 167451.179
AT ITER 8064 NEW BEST:: SOT 1238142 SOS 652339 HAS SOPS 650514 HAS SOUS 167244 HAS SOUPS 166629 WITH SCORE 167281.339
AT ITER 8105 NEW BEST:: SOT 1237908 SOS 712430 HAS SOPS 710605 HAS SOUS 167074 HAS SOUPS 166459 WITH SCORE 167171.43
AT ITER 8173 NEW BEST:: SOT 1237908 SOS 711742 HAS SOPS 709917 HAS SOUS 166758 HAS SOUPS 166143 WITH SCORE 166854.742
AT ITER 8219 NEW BEST:: SOT 1237879 SOS 711857 HAS SOPS 710032 HAS SOUS 166748 HAS SOUPS 166133 WITH SCORE 166844.857
AT ITER 8313 NEW BEST:: SOT 1237879 SOS 711857 HAS SOPS 710032 HAS SOUS 166680 HAS SOUPS 166065 WITH SCORE 166776.857
AT ITER 8342 NEW BEST:: SOT 1237879 SOS 711539 HAS SOPS 709714 HAS SOUS 166348 HAS SOUPS 165733 WITH SCORE 166444.539
AT ITER 8365 NEW BEST:: SOT 1237879 SOS 710931 HAS SOPS 709106 HAS SOUS 166005 HAS SOUPS 165390 WITH SCORE 166100.931
AT ITER 8389 NEW BEST:: SOT 1237867 SOS 710927 HAS SOPS 709102 HAS SOUS 165987 HAS SOUPS 165372 WITH SCORE 166082.927
AT ITER 8415 NEW BEST:: SOT 1237867 SOS 710807 HAS SOPS 708982 HAS SOUS 165963 HAS SOUPS 165348 WITH SCORE 166058.807
AT ITER 8439 NEW BEST:: SOT 1237867 SOS 710583 HAS SOPS 708758 HAS SOUS 165963 HAS SOUPS 165348 WITH SCORE 166058.583
AT ITER 8440 NEW BEST:: SOT 1237867 SOS 709527 HAS SOPS 707702 HAS SOUS 165855 HAS SOUPS 165240 WITH SCORE 165949.527
AT ITER 8484 NEW BEST:: SOT 1237867 SOS 708749 HAS SOPS 706924 HAS SOUS 165631 HAS SOUPS 165016 WITH SCORE 165724.749
AT ITER 8596 NEW BEST:: SOT 1237867 SOS 707439 HAS SOPS 705614 HAS SOUS 165411 HAS SOUPS 164796 WITH SCORE 165503.439
AT ITER 8629 NEW BEST:: SOT 1237867 SOS 705625 HAS SOPS 703800 HAS SOUS 165152 HAS SOUPS 164537 WITH SCORE 165242.625
AT ITER 8678 NEW BEST:: SOT 1237867 SOS 705527 HAS SOPS 703702 HAS SOUS 165054 HAS SOUPS 164439 WITH SCORE 165144.527
AT ITER 8684 NEW BEST:: SOT 1237564 SOS 705224 HAS SOPS 703399 HAS SOUS 164597 HAS SOUPS 163982 WITH SCORE 164687.224
AT ITER 8685 NEW BEST:: SOT 1237564 SOS 705150 HAS SOPS 703325 HAS SOUS 164597 HAS SOUPS 163982 WITH SCORE 164687.15
AT ITER 8692 NEW BEST:: SOT 1237564 SOS 705150 HAS SOPS 703325 HAS SOUS 164587 HAS SOUPS 163972 WITH SCORE 164677.15
AT ITER 8740 NEW BEST:: SOT 1237564 SOS 704990 HAS SOPS 703165 HAS SOUS 164577 HAS SOUPS 163962 WITH SCORE 164666.99
AT ITER 8786 NEW BEST:: SOT 1237564 SOS 704878 HAS SOPS 703053 HAS SOUS 164549 HAS SOUPS 163934 WITH SCORE 164638.878
AT ITER 8846 NEW BEST:: SOT 1237564 SOS 704746 HAS SOPS 702921 HAS SOUS 164419 HAS SOUPS 163804 WITH SCORE 164508.746
AT ITER 8853 NEW BEST:: SOT 1237390 SOS 704352 HAS SOPS 702527 HAS SOUS 164116 HAS SOUPS 163501 WITH SCORE 164205.352
AT ITER 8859 NEW BEST:: SOT 1237390 SOS 704052 HAS SOPS 702227 HAS SOUS 164116 HAS SOUPS 163501 WITH SCORE 164205.052
AT ITER 8971 NEW BEST:: SOT 1237390 SOS 704010 HAS SOPS 702185 HAS SOUS 164074 HAS SOUPS 163459 WITH SCORE 164163.01
AT ITER 8991 NEW BEST:: SOT 1237644 SOS 704264 HAS SOPS 702439 HAS SOUS 163811 HAS SOUPS 163196 WITH SCORE 163900.264
AT ITER 9047 NEW BEST:: SOT 1237739 SOS 704359 HAS SOPS 702534 HAS SOUS 163647 HAS SOUPS 163032 WITH SCORE 163736.359
AT ITER 9099 NEW BEST:: SOT 1235582 SOS 707901 HAS SOPS 706076 HAS SOUS 161262 HAS SOUPS 160647 WITH SCORE 161354.901
AT ITER 9235 NEW BEST:: SOT 1235582 SOS 707845 HAS SOPS 706020 HAS SOUS 160938 HAS SOUPS 160323 WITH SCORE 161030.845
AT ITER 9291 NEW BEST:: SOT 1235597 SOS 707473 HAS SOPS 705648 HAS SOUS 160725 HAS SOUPS 160110 WITH SCORE 160817.473
AT ITER 9340 NEW BEST:: SOT 1235564 SOS 707440 HAS SOPS 705615 HAS SOUS 160692 HAS SOUPS 160077 WITH SCORE 160784.44
AT ITER 9504 NEW BEST:: SOT 1235734 SOS 707568 HAS SOPS 705743 HAS SOUS 160572 HAS SOUPS 159957 WITH SCORE 160664.568
AT ITER 9611 NEW BEST:: SOT 1235779 SOS 707613 HAS SOPS 705788 HAS SOUS 160416 HAS SOUPS 159801 WITH SCORE 160508.613
AT ITER 9623 NEW BEST:: SOT 1235727 SOS 706742 HAS SOPS 704917 HAS SOUS 160086 HAS SOUPS 159471 WITH SCORE 160177.742
AT ITER 9663 NEW BEST:: SOT 1235727 SOS 706820 HAS SOPS 704995 HAS SOUS 159977 HAS SOUPS 159362 WITH SCORE 160068.82
AT ITER 9723 NEW BEST:: SOT 1235727 SOS 705314 HAS SOPS 703489 HAS SOUS 159875 HAS SOUPS 159260 WITH SCORE 159965.314
AT ITER 9949 NEW BEST:: SOT 1235703 SOS 705290 HAS SOPS 703465 HAS SOUS 159851 HAS SOUPS 159236 WITH SCORE 159941.29

BK_TIME_CONFINEMENT_REACHED

--------------------
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-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"

# 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-4028"
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 r108-csrt-158961250300296"
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 ;