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-158961250300288.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-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250300288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 52K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 137K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 86K 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 22K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 47K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 119K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 284K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 39K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 115K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 28K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 57K 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 911K 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 1589639078863

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 3
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 7 NEW BEST:: SOT 304536 SOS 168172 HAS SOPS 166742 HAS SOUS 62727 HAS SOUPS 62441 WITH SCORE 62609.172
AT ITER 12 NEW BEST:: SOT 304536 SOS 167672 HAS SOPS 166242 HAS SOUS 62577 HAS SOUPS 62291 WITH SCORE 62458.672
AT ITER 52 NEW BEST:: SOT 303888 SOS 170276 HAS SOPS 168846 HAS SOUS 62150 HAS SOUPS 61864 WITH SCORE 62034.276
AT ITER 124 NEW BEST:: SOT 303888 SOS 169940 HAS SOPS 168510 HAS SOUS 62012 HAS SOUPS 61726 WITH SCORE 61895.94
AT ITER 125 NEW BEST:: SOT 303740 SOS 170380 HAS SOPS 168950 HAS SOUS 61960 HAS SOUPS 61674 WITH SCORE 61844.38
AT ITER 138 NEW BEST:: SOT 303656 SOS 171650 HAS SOPS 170220 HAS SOUS 61935 HAS SOUPS 61649 WITH SCORE 61820.65
AT ITER 151 NEW BEST:: SOT 303656 SOS 171456 HAS SOPS 170026 HAS SOUS 61742 HAS SOUPS 61456 WITH SCORE 61627.456
AT ITER 157 NEW BEST:: SOT 303656 SOS 171456 HAS SOPS 170026 HAS SOUS 61719 HAS SOUPS 61433 WITH SCORE 61604.456
AT ITER 251 NEW BEST:: SOT 303656 SOS 171404 HAS SOPS 169974 HAS SOUS 61667 HAS SOUPS 61381 WITH SCORE 61552.404
AT ITER 252 NEW BEST:: SOT 303656 SOS 171012 HAS SOPS 169582 HAS SOUS 61529 HAS SOUPS 61243 WITH SCORE 61414.012
AT ITER 269 NEW BEST:: SOT 302739 SOS 170965 HAS SOPS 169535 HAS SOUS 60899 HAS SOUPS 60613 WITH SCORE 60783.965
AT ITER 365 NEW BEST:: SOT 302624 SOS 191284 HAS SOPS 189854 HAS SOUS 60575 HAS SOUPS 60289 WITH SCORE 60480.284
AT ITER 373 NEW BEST:: SOT 302624 SOS 191284 HAS SOPS 189814 HAS SOUS 60575 HAS SOUPS 60281 WITH SCORE 60472.284
AT ITER 388 NEW BEST:: SOT 302624 SOS 191096 HAS SOPS 189626 HAS SOUS 60481 HAS SOUPS 60187 WITH SCORE 60378.096
AT ITER 413 NEW BEST:: SOT 302624 SOS 191096 HAS SOPS 189626 HAS SOUS 60461 HAS SOUPS 60167 WITH SCORE 60358.096
AT ITER 430 NEW BEST:: SOT 302624 SOS 190760 HAS SOPS 189290 HAS SOUS 60293 HAS SOUPS 59999 WITH SCORE 60189.76
AT ITER 585 NEW BEST:: SOT 302463 SOS 191247 HAS SOPS 189777 HAS SOUS 60184 HAS SOUPS 59890 WITH SCORE 60081.247
AT ITER 615 NEW BEST:: SOT 302463 SOS 190096 HAS SOPS 188626 HAS SOUS 60117 HAS SOUPS 59823 WITH SCORE 60013.096
AT ITER 648 NEW BEST:: SOT 302397 SOS 190036 HAS SOPS 188566 HAS SOUS 60057 HAS SOUPS 59763 WITH SCORE 59953.036
AT ITER 654 NEW BEST:: SOT 302301 SOS 190195 HAS SOPS 188725 HAS SOUS 59955 HAS SOUPS 59661 WITH SCORE 59851.195
AT ITER 670 NEW BEST:: SOT 302301 SOS 190325 HAS SOPS 188855 HAS SOUS 59946 HAS SOUPS 59652 WITH SCORE 59842.325
AT ITER 792 NEW BEST:: SOT 302236 SOS 190260 HAS SOPS 188790 HAS SOUS 59881 HAS SOUPS 59587 WITH SCORE 59777.26
AT ITER 834 NEW BEST:: SOT 302236 SOS 190260 HAS SOPS 188790 HAS SOUS 59857 HAS SOUPS 59563 WITH SCORE 59753.26
AT ITER 855 NEW BEST:: SOT 302236 SOS 190164 HAS SOPS 188694 HAS SOUS 59652 HAS SOUPS 59358 WITH SCORE 59548.164
AT ITER 911 NEW BEST:: SOT 302236 SOS 188908 HAS SOPS 187438 HAS SOUS 59266 HAS SOUPS 58972 WITH SCORE 59160.908
AT ITER 913 NEW BEST:: SOT 302236 SOS 188908 HAS SOPS 187438 HAS SOUS 59215 HAS SOUPS 58921 WITH SCORE 59109.908
AT ITER 925 NEW BEST:: SOT 302236 SOS 187454 HAS SOPS 185984 HAS SOUS 58851 HAS SOUPS 58557 WITH SCORE 58744.454
AT ITER 948 NEW BEST:: SOT 302141 SOS 186669 HAS SOPS 185199 HAS SOUS 58639 HAS SOUPS 58345 WITH SCORE 58531.669
AT ITER 966 NEW BEST:: SOT 302114 SOS 186642 HAS SOPS 185172 HAS SOUS 58611 HAS SOUPS 58317 WITH SCORE 58503.642
AT ITER 1000 NEW BEST:: SOT 302114 SOS 186306 HAS SOPS 184836 HAS SOUS 58349 HAS SOUPS 58055 WITH SCORE 58241.306
AT ITER 1016 NEW BEST:: SOT 302104 SOS 186296 HAS SOPS 184826 HAS SOUS 58339 HAS SOUPS 58045 WITH SCORE 58231.296
AT ITER 1051 NEW BEST:: SOT 302104 SOS 185788 HAS SOPS 184318 HAS SOUS 57916 HAS SOUPS 57622 WITH SCORE 57807.788
AT ITER 1056 NEW BEST:: SOT 302104 SOS 185788 HAS SOPS 184318 HAS SOUS 57886 HAS SOUPS 57592 WITH SCORE 57777.788
AT ITER 1091 NEW BEST:: SOT 302111 SOS 185761 HAS SOPS 184291 HAS SOUS 57877 HAS SOUPS 57583 WITH SCORE 57768.761
AT ITER 1106 NEW BEST:: SOT 302091 SOS 185621 HAS SOPS 184151 HAS SOUS 57837 HAS SOUPS 57543 WITH SCORE 57728.621
AT ITER 1130 NEW BEST:: SOT 302091 SOS 185357 HAS SOPS 183887 HAS SOUS 57725 HAS SOUPS 57431 WITH SCORE 57616.357
AT ITER 1145 NEW BEST:: SOT 302091 SOS 184434 HAS SOPS 182964 HAS SOUS 57596 HAS SOUPS 57302 WITH SCORE 57486.434
AT ITER 1152 NEW BEST:: SOT 302053 SOS 184168 HAS SOPS 182710 HAS SOUS 57516 HAS SOUPS 57222 WITH SCORE 57406.168
AT ITER 1218 NEW BEST:: SOT 301923 SOS 184493 HAS SOPS 183035 HAS SOUS 57383 HAS SOUPS 57089 WITH SCORE 57273.493
AT ITER 1231 NEW BEST:: SOT 301888 SOS 185177 HAS SOPS 183719 HAS SOUS 57348 HAS SOUPS 57054 WITH SCORE 57239.177
AT ITER 1309 NEW BEST:: SOT 301888 SOS 185144 HAS SOPS 183686 HAS SOUS 57345 HAS SOUPS 57051 WITH SCORE 57236.144
AT ITER 1348 NEW BEST:: SOT 301888 SOS 185120 HAS SOPS 183662 HAS SOUS 57333 HAS SOUPS 57039 WITH SCORE 57224.12
AT ITER 1377 NEW BEST:: SOT 301888 SOS 184542 HAS SOPS 183112 HAS SOUS 57187 HAS SOUPS 56900 WITH SCORE 57084.542
AT ITER 1394 NEW BEST:: SOT 301888 SOS 185610 HAS SOPS 184180 HAS SOUS 57137 HAS SOUPS 56850 WITH SCORE 57035.61
AT ITER 1412 NEW BEST:: SOT 301820 SOS 185542 HAS SOPS 184112 HAS SOUS 56926 HAS SOUPS 56639 WITH SCORE 56824.542
AT ITER 1532 NEW BEST:: SOT 301820 SOS 185542 HAS SOPS 184112 HAS SOUS 56867 HAS SOUPS 56580 WITH SCORE 56765.542
AT ITER 1564 NEW BEST:: SOT 301831 SOS 185451 HAS SOPS 184021 HAS SOUS 56827 HAS SOUPS 56540 WITH SCORE 56725.451
AT ITER 1565 NEW BEST:: SOT 301793 SOS 185413 HAS SOPS 183983 HAS SOUS 56789 HAS SOUPS 56502 WITH SCORE 56687.413
AT ITER 1633 NEW BEST:: SOT 301793 SOS 185428 HAS SOPS 183998 HAS SOUS 56788 HAS SOUPS 56501 WITH SCORE 56686.428
AT ITER 1645 NEW BEST:: SOT 301707 SOS 185633 HAS SOPS 184203 HAS SOUS 56744 HAS SOUPS 56457 WITH SCORE 56642.633
AT ITER 1657 NEW BEST:: SOT 301707 SOS 185633 HAS SOPS 184203 HAS SOUS 56687 HAS SOUPS 56400 WITH SCORE 56585.633
AT ITER 1751 NEW BEST:: SOT 301707 SOS 185061 HAS SOPS 183631 HAS SOUS 56504 HAS SOUPS 56217 WITH SCORE 56402.061
AT ITER 1764 NEW BEST:: SOT 301690 SOS 184403 HAS SOPS 183285 HAS SOUS 56453 HAS SOUPS 56171 WITH SCORE 56355.403
AT ITER 1799 NEW BEST:: SOT 301609 SOS 187810 HAS SOPS 186692 HAS SOUS 56411 HAS SOUPS 56129 WITH SCORE 56316.81
AT ITER 1804 NEW BEST:: SOT 301609 SOS 187830 HAS SOPS 186712 HAS SOUS 56360 HAS SOUPS 56078 WITH SCORE 56265.83
AT ITER 1811 NEW BEST:: SOT 301609 SOS 187758 HAS SOPS 186640 HAS SOUS 56354 HAS SOUPS 56072 WITH SCORE 56259.758
AT ITER 1822 NEW BEST:: SOT 301221 SOS 187361 HAS SOPS 186243 HAS SOUS 55952 HAS SOUPS 55670 WITH SCORE 55857.361
AT ITER 1832 NEW BEST:: SOT 301290 SOS 187945 HAS SOPS 186637 HAS SOUS 55664 HAS SOUPS 55344 WITH SCORE 55531.945
AT ITER 1963 NEW BEST:: SOT 301290 SOS 187621 HAS SOPS 186313 HAS SOUS 55554 HAS SOUPS 55234 WITH SCORE 55421.621
AT ITER 2005 NEW BEST:: SOT 301290 SOS 186532 HAS SOPS 185224 HAS SOUS 55489 HAS SOUPS 55169 WITH SCORE 55355.532
AT ITER 2016 NEW BEST:: SOT 301246 SOS 186488 HAS SOPS 185206 HAS SOUS 55441 HAS SOUPS 55121 WITH SCORE 55307.488
AT ITER 2053 NEW BEST:: SOT 299216 SOS 185497 HAS SOPS 184215 HAS SOUS 53178 HAS SOUPS 52858 WITH SCORE 53043.497
AT ITER 2164 NEW BEST:: SOT 299155 SOS 185280 HAS SOPS 183998 HAS SOUS 53169 HAS SOUPS 52849 WITH SCORE 53034.28
AT ITER 2167 NEW BEST:: SOT 299155 SOS 184659 HAS SOPS 183567 HAS SOUS 53131 HAS SOUPS 52849 WITH SCORE 53033.659
AT ITER 2196 NEW BEST:: SOT 299155 SOS 184561 HAS SOPS 183469 HAS SOUS 53131 HAS SOUPS 52849 WITH SCORE 53033.561
AT ITER 2206 NEW BEST:: SOT 299155 SOS 184561 HAS SOPS 183469 HAS SOUS 53130 HAS SOUPS 52848 WITH SCORE 53032.561
AT ITER 2209 NEW BEST:: SOT 299155 SOS 184553 HAS SOPS 183461 HAS SOUS 53128 HAS SOUPS 52846 WITH SCORE 53030.553
AT ITER 2236 NEW BEST:: SOT 299128 SOS 184524 HAS SOPS 183432 HAS SOUS 53098 HAS SOUPS 52816 WITH SCORE 53000.524
AT ITER 2306 NEW BEST:: SOT 299128 SOS 184130 HAS SOPS 183038 HAS SOUS 53098 HAS SOUPS 52816 WITH SCORE 53000.13
AT ITER 2370 NEW BEST:: SOT 299128 SOS 183446 HAS SOPS 182354 HAS SOUS 53049 HAS SOUPS 52767 WITH SCORE 52950.446
AT ITER 2376 NEW BEST:: SOT 299128 SOS 182376 HAS SOPS 181284 HAS SOUS 52652 HAS SOUPS 52370 WITH SCORE 52552.376
AT ITER 2392 NEW BEST:: SOT 299128 SOS 182276 HAS SOPS 181189 HAS SOUS 52612 HAS SOUPS 52331 WITH SCORE 52513.276
AT ITER 2412 NEW BEST:: SOT 299128 SOS 182232 HAS SOPS 181145 HAS SOUS 52568 HAS SOUPS 52287 WITH SCORE 52469.232
AT ITER 2543 NEW BEST:: SOT 299333 SOS 182298 HAS SOPS 181211 HAS SOUS 52536 HAS SOUPS 52255 WITH SCORE 52437.298
AT ITER 2607 NEW BEST:: SOT 299409 SOS 182380 HAS SOPS 180981 HAS SOUS 52539 HAS SOUPS 52253 WITH SCORE 52435.38
AT ITER 2658 NEW BEST:: SOT 299545 SOS 183928 HAS SOPS 182529 HAS SOUS 52521 HAS SOUPS 52235 WITH SCORE 52418.928
AT ITER 2667 NEW BEST:: SOT 299545 SOS 183836 HAS SOPS 182437 HAS SOUS 52521 HAS SOUPS 52235 WITH SCORE 52418.836
AT ITER 2700 NEW BEST:: SOT 299130 SOS 206699 HAS SOPS 205300 HAS SOUS 52299 HAS SOUPS 52013 WITH SCORE 52219.699
AT ITER 2766 NEW BEST:: SOT 299174 SOS 206590 HAS SOPS 205276 HAS SOUS 51933 HAS SOUPS 51647 WITH SCORE 51853.59
AT ITER 2788 NEW BEST:: SOT 299174 SOS 206590 HAS SOPS 205276 HAS SOUS 51743 HAS SOUPS 51457 WITH SCORE 51663.59
AT ITER 2795 NEW BEST:: SOT 299174 SOS 206314 HAS SOPS 205000 HAS SOUS 51605 HAS SOUPS 51319 WITH SCORE 51525.314
AT ITER 2803 NEW BEST:: SOT 299174 SOS 206299 HAS SOPS 204985 HAS SOUS 51605 HAS SOUPS 51319 WITH SCORE 51525.299
AT ITER 2866 NEW BEST:: SOT 299174 SOS 206354 HAS SOPS 205040 HAS SOUS 51542 HAS SOUPS 51256 WITH SCORE 51462.354
AT ITER 2881 NEW BEST:: SOT 299174 SOS 205946 HAS SOPS 204632 HAS SOUS 51305 HAS SOUPS 51019 WITH SCORE 51224.946
AT ITER 2938 NEW BEST:: SOT 299344 SOS 206116 HAS SOPS 204802 HAS SOUS 51172 HAS SOUPS 50886 WITH SCORE 51092.116
AT ITER 2955 NEW BEST:: SOT 299313 SOS 206085 HAS SOPS 204771 HAS SOUS 51172 HAS SOUPS 50886 WITH SCORE 51092.085
AT ITER 2956 NEW BEST:: SOT 299243 SOS 205869 HAS SOPS 204555 HAS SOUS 51067 HAS SOUPS 50781 WITH SCORE 50986.869
AT ITER 2985 NEW BEST:: SOT 299272 SOS 205898 HAS SOPS 204584 HAS SOUS 51056 HAS SOUPS 50770 WITH SCORE 50975.898
AT ITER 3004 NEW BEST:: SOT 299246 SOS 205876 HAS SOPS 204562 HAS SOUS 50997 HAS SOUPS 50711 WITH SCORE 50916.876
AT ITER 3076 NEW BEST:: SOT 299140 SOS 206051 HAS SOPS 204737 HAS SOUS 50939 HAS SOUPS 50653 WITH SCORE 50859.051
AT ITER 3160 NEW BEST:: SOT 299138 SOS 206049 HAS SOPS 204735 HAS SOUS 50937 HAS SOUPS 50651 WITH SCORE 50857.049
AT ITER 3171 NEW BEST:: SOT 299009 SOS 212980 HAS SOPS 211666 HAS SOUS 50561 HAS SOUPS 50275 WITH SCORE 50487.98
AT ITER 3195 NEW BEST:: SOT 298810 SOS 212781 HAS SOPS 211467 HAS SOUS 50362 HAS SOUPS 50076 WITH SCORE 50288.781
AT ITER 3202 NEW BEST:: SOT 298714 SOS 212685 HAS SOPS 211371 HAS SOUS 50306 HAS SOUPS 50020 WITH SCORE 50232.685
AT ITER 3217 NEW BEST:: SOT 298977 SOS 212948 HAS SOPS 211634 HAS SOUS 50286 HAS SOUPS 50000 WITH SCORE 50212.948
AT ITER 3228 NEW BEST:: SOT 298977 SOS 212864 HAS SOPS 211534 HAS SOUS 50293 HAS SOUPS 49991 WITH SCORE 50203.864
AT ITER 3300 NEW BEST:: SOT 298977 SOS 212464 HAS SOPS 211134 HAS SOUS 50287 HAS SOUPS 49985 WITH SCORE 50197.464
AT ITER 3343 NEW BEST:: SOT 298932 SOS 212419 HAS SOPS 211134 HAS SOUS 50242 HAS SOUPS 49940 WITH SCORE 50152.419
AT ITER 3563 NEW BEST:: SOT 298957 SOS 212444 HAS SOPS 211159 HAS SOUS 50218 HAS SOUPS 49916 WITH SCORE 50128.444
AT ITER 3571 NEW BEST:: SOT 298957 SOS 212364 HAS SOPS 211239 HAS SOUS 50106 HAS SOUPS 49844 WITH SCORE 50056.364
AT ITER 3594 NEW BEST:: SOT 298445 SOS 211895 HAS SOPS 210770 HAS SOUS 49552 HAS SOUPS 49290 WITH SCORE 49501.895
AT ITER 3663 NEW BEST:: SOT 297922 SOS 211470 HAS SOPS 210345 HAS SOUS 49106 HAS SOUPS 48844 WITH SCORE 49055.47
AT ITER 3745 NEW BEST:: SOT 297685 SOS 211311 HAS SOPS 210386 HAS SOUS 48966 HAS SOUPS 48754 WITH SCORE 48965.311
AT ITER 3762 NEW BEST:: SOT 297685 SOS 210885 HAS SOPS 209960 HAS SOUS 48905 HAS SOUPS 48693 WITH SCORE 48903.885
AT ITER 3771 NEW BEST:: SOT 297636 SOS 210836 HAS SOPS 209911 HAS SOUS 48860 HAS SOUPS 48648 WITH SCORE 48858.836
AT ITER 3803 NEW BEST:: SOT 297636 SOS 210836 HAS SOPS 209911 HAS SOUS 48693 HAS SOUPS 48481 WITH SCORE 48691.836
AT ITER 3872 NEW BEST:: SOT 297586 SOS 210786 HAS SOPS 209861 HAS SOUS 48406 HAS SOUPS 48194 WITH SCORE 48404.786
AT ITER 3897 NEW BEST:: SOT 297186 SOS 210451 HAS SOPS 209526 HAS SOUS 48071 HAS SOUPS 47859 WITH SCORE 48069.451
AT ITER 3927 NEW BEST:: SOT 297183 SOS 210448 HAS SOPS 209523 HAS SOUS 48067 HAS SOUPS 47855 WITH SCORE 48065.448
AT ITER 3962 NEW BEST:: SOT 297110 SOS 210375 HAS SOPS 209450 HAS SOUS 47834 HAS SOUPS 47622 WITH SCORE 47832.375
AT ITER 3976 NEW BEST:: SOT 297110 SOS 210375 HAS SOPS 209450 HAS SOUS 47784 HAS SOUPS 47572 WITH SCORE 47782.375
AT ITER 3992 NEW BEST:: SOT 297072 SOS 210451 HAS SOPS 209526 HAS SOUS 47746 HAS SOUPS 47534 WITH SCORE 47744.451
AT ITER 4019 NEW BEST:: SOT 296723 SOS 210282 HAS SOPS 209357 HAS SOUS 47539 HAS SOUPS 47327 WITH SCORE 47537.282
AT ITER 4088 NEW BEST:: SOT 296723 SOS 210282 HAS SOPS 209357 HAS SOUS 47526 HAS SOUPS 47314 WITH SCORE 47524.282
AT ITER 4092 NEW BEST:: SOT 296679 SOS 210238 HAS SOPS 209313 HAS SOUS 47414 HAS SOUPS 47202 WITH SCORE 47412.238
AT ITER 4120 NEW BEST:: SOT 296679 SOS 210238 HAS SOPS 209313 HAS SOUS 47310 HAS SOUPS 47098 WITH SCORE 47308.238
AT ITER 4184 NEW BEST:: SOT 296655 SOS 209807 HAS SOPS 208882 HAS SOUS 47286 HAS SOUPS 47074 WITH SCORE 47283.807
AT ITER 4202 NEW BEST:: SOT 296655 SOS 209817 HAS SOPS 208892 HAS SOUS 47088 HAS SOUPS 46876 WITH SCORE 47085.817
AT ITER 4214 NEW BEST:: SOT 296655 SOS 209817 HAS SOPS 208892 HAS SOUS 47079 HAS SOUPS 46867 WITH SCORE 47076.817
AT ITER 4300 NEW BEST:: SOT 296599 SOS 209761 HAS SOPS 208836 HAS SOUS 47023 HAS SOUPS 46811 WITH SCORE 47020.761
AT ITER 4360 NEW BEST:: SOT 296599 SOS 209761 HAS SOPS 208836 HAS SOUS 46975 HAS SOUPS 46763 WITH SCORE 46972.761
AT ITER 4365 NEW BEST:: SOT 296591 SOS 209737 HAS SOPS 208812 HAS SOUS 46955 HAS SOUPS 46743 WITH SCORE 46952.737
AT ITER 4401 NEW BEST:: SOT 296591 SOS 209737 HAS SOPS 208812 HAS SOUS 46832 HAS SOUPS 46620 WITH SCORE 46829.737
AT ITER 4416 NEW BEST:: SOT 296591 SOS 209737 HAS SOPS 208812 HAS SOUS 46750 HAS SOUPS 46538 WITH SCORE 46747.737
AT ITER 4434 NEW BEST:: SOT 296554 SOS 209700 HAS SOPS 208775 HAS SOUS 46680 HAS SOUPS 46468 WITH SCORE 46677.7
AT ITER 4570 NEW BEST:: SOT 296716 SOS 209862 HAS SOPS 208937 HAS SOUS 46651 HAS SOUPS 46439 WITH SCORE 46648.862
AT ITER 4599 NEW BEST:: SOT 296716 SOS 209862 HAS SOPS 208937 HAS SOUS 46564 HAS SOUPS 46352 WITH SCORE 46561.862
AT ITER 4953 NEW BEST:: SOT 296433 SOS 209579 HAS SOPS 208654 HAS SOUS 46564 HAS SOUPS 46352 WITH SCORE 46561.579
AT ITER 4976 NEW BEST:: SOT 296476 SOS 209701 HAS SOPS 208634 HAS SOUS 46650 HAS SOUPS 46296 WITH SCORE 46505.701
AT ITER 4977 NEW BEST:: SOT 296452 SOS 209605 HAS SOPS 208538 HAS SOUS 46626 HAS SOUPS 46272 WITH SCORE 46481.605
AT ITER 5004 NEW BEST:: SOT 296292 SOS 209405 HAS SOPS 208338 HAS SOUS 46449 HAS SOUPS 46095 WITH SCORE 46304.405
AT ITER 5027 NEW BEST:: SOT 296287 SOS 209400 HAS SOPS 208333 HAS SOUS 46444 HAS SOUPS 46090 WITH SCORE 46299.4
AT ITER 5069 NEW BEST:: SOT 296287 SOS 209354 HAS SOPS 208287 HAS SOUS 46366 HAS SOUPS 46012 WITH SCORE 46221.354
AT ITER 5091 NEW BEST:: SOT 296279 SOS 209346 HAS SOPS 208279 HAS SOUS 46334 HAS SOUPS 45980 WITH SCORE 46189.346
AT ITER 5130 NEW BEST:: SOT 296279 SOS 209346 HAS SOPS 208279 HAS SOUS 46314 HAS SOUPS 45960 WITH SCORE 46169.346
AT ITER 5191 NEW BEST:: SOT 296279 SOS 209346 HAS SOPS 208279 HAS SOUS 46282 HAS SOUPS 45928 WITH SCORE 46137.346
AT ITER 5214 NEW BEST:: SOT 296268 SOS 209335 HAS SOPS 208268 HAS SOUS 46259 HAS SOUPS 45905 WITH SCORE 46114.335
AT ITER 5215 NEW BEST:: SOT 296268 SOS 209325 HAS SOPS 208258 HAS SOUS 46259 HAS SOUPS 45905 WITH SCORE 46114.325
AT ITER 5330 NEW BEST:: SOT 296268 SOS 209383 HAS SOPS 208316 HAS SOUS 46255 HAS SOUPS 45901 WITH SCORE 46110.383
AT ITER 5361 NEW BEST:: SOT 296152 SOS 209277 HAS SOPS 208210 HAS SOUS 46063 HAS SOUPS 45709 WITH SCORE 45918.277
AT ITER 5374 NEW BEST:: SOT 296103 SOS 209228 HAS SOPS 208161 HAS SOUS 46026 HAS SOUPS 45672 WITH SCORE 45881.228
AT ITER 5459 NEW BEST:: SOT 296037 SOS 209166 HAS SOPS 208099 HAS SOUS 45906 HAS SOUPS 45552 WITH SCORE 45761.166
AT ITER 5507 NEW BEST:: SOT 295947 SOS 209164 HAS SOPS 208097 HAS SOUS 45771 HAS SOUPS 45417 WITH SCORE 45626.164
AT ITER 5520 NEW BEST:: SOT 295878 SOS 209079 HAS SOPS 208055 HAS SOUS 45686 HAS SOUPS 45375 WITH SCORE 45584.079
AT ITER 5532 NEW BEST:: SOT 295878 SOS 209011 HAS SOPS 207987 HAS SOUS 45670 HAS SOUPS 45359 WITH SCORE 45568.011
AT ITER 5579 NEW BEST:: SOT 295101 SOS 208234 HAS SOPS 207210 HAS SOUS 44727 HAS SOUPS 44416 WITH SCORE 44624.234
AT ITER 5635 NEW BEST:: SOT 295229 SOS 208226 HAS SOPS 207202 HAS SOUS 44657 HAS SOUPS 44346 WITH SCORE 44554.226
AT ITER 5645 NEW BEST:: SOT 295229 SOS 208198 HAS SOPS 207374 HAS SOUS 44534 HAS SOUPS 44263 WITH SCORE 44471.198
AT ITER 5761 NEW BEST:: SOT 295229 SOS 208198 HAS SOPS 207374 HAS SOUS 44530 HAS SOUPS 44259 WITH SCORE 44467.198
AT ITER 5848 NEW BEST:: SOT 295103 SOS 208072 HAS SOPS 207248 HAS SOUS 44493 HAS SOUPS 44222 WITH SCORE 44430.072
AT ITER 5867 NEW BEST:: SOT 295087 SOS 207984 HAS SOPS 207160 HAS SOUS 44477 HAS SOUPS 44206 WITH SCORE 44413.984
AT ITER 5874 NEW BEST:: SOT 295087 SOS 207984 HAS SOPS 207160 HAS SOUS 44471 HAS SOUPS 44200 WITH SCORE 44407.984
AT ITER 5908 NEW BEST:: SOT 295063 SOS 207960 HAS SOPS 207136 HAS SOUS 44447 HAS SOUPS 44176 WITH SCORE 44383.96
AT ITER 5968 NEW BEST:: SOT 294803 SOS 207700 HAS SOPS 206876 HAS SOUS 44187 HAS SOUPS 43916 WITH SCORE 44123.7
AT ITER 5989 NEW BEST:: SOT 294803 SOS 207700 HAS SOPS 206876 HAS SOUS 44182 HAS SOUPS 43911 WITH SCORE 44118.7
AT ITER 6035 NEW BEST:: SOT 294803 SOS 207700 HAS SOPS 206876 HAS SOUS 44159 HAS SOUPS 43888 WITH SCORE 44095.7
AT ITER 6139 NEW BEST:: SOT 294803 SOS 207700 HAS SOPS 206876 HAS SOUS 44117 HAS SOUPS 43846 WITH SCORE 44053.7
AT ITER 6159 NEW BEST:: SOT 294648 SOS 207521 HAS SOPS 206857 HAS SOUS 43891 HAS SOUPS 43660 WITH SCORE 43867.521
AT ITER 6161 NEW BEST:: SOT 294726 SOS 207267 HAS SOPS 206603 HAS SOUS 43887 HAS SOUPS 43656 WITH SCORE 43863.267
AT ITER 6237 NEW BEST:: SOT 294687 SOS 207501 HAS SOPS 206837 HAS SOUS 43848 HAS SOUPS 43617 WITH SCORE 43824.501
AT ITER 6264 NEW BEST:: SOT 294684 SOS 207498 HAS SOPS 206834 HAS SOUS 43833 HAS SOUPS 43602 WITH SCORE 43809.498
AT ITER 6333 NEW BEST:: SOT 294684 SOS 207496 HAS SOPS 206832 HAS SOUS 43776 HAS SOUPS 43545 WITH SCORE 43752.496
AT ITER 6522 NEW BEST:: SOT 294472 SOS 207438 HAS SOPS 206784 HAS SOUS 43723 HAS SOUPS 43494 WITH SCORE 43701.438
AT ITER 6711 NEW BEST:: SOT 294454 SOS 207426 HAS SOPS 206772 HAS SOUS 43705 HAS SOUPS 43476 WITH SCORE 43683.426
AT ITER 6766 NEW BEST:: SOT 294185 SOS 207157 HAS SOPS 206503 HAS SOUS 43638 HAS SOUPS 43409 WITH SCORE 43616.157
AT ITER 6991 NEW BEST:: SOT 294135 SOS 207107 HAS SOPS 206453 HAS SOUS 43588 HAS SOUPS 43359 WITH SCORE 43566.107
AT ITER 7118 NEW BEST:: SOT 294135 SOS 206977 HAS SOPS 206323 HAS SOUS 43588 HAS SOUPS 43359 WITH SCORE 43565.977
AT ITER 7215 NEW BEST:: SOT 294135 SOS 206967 HAS SOPS 206313 HAS SOUS 43583 HAS SOUPS 43354 WITH SCORE 43560.967
AT ITER 7225 NEW BEST:: SOT 294139 SOS 206971 HAS SOPS 206317 HAS SOUS 43576 HAS SOUPS 43347 WITH SCORE 43553.971
AT ITER 7229 NEW BEST:: SOT 294099 SOS 206931 HAS SOPS 206277 HAS SOUS 43536 HAS SOUPS 43307 WITH SCORE 43513.931
AT ITER 7321 NEW BEST:: SOT 294029 SOS 206146 HAS SOPS 205492 HAS SOUS 43334 HAS SOUPS 43105 WITH SCORE 43311.146
AT ITER 7350 NEW BEST:: SOT 294005 SOS 206122 HAS SOPS 205468 HAS SOUS 43310 HAS SOUPS 43081 WITH SCORE 43287.122
AT ITER 7359 NEW BEST:: SOT 294005 SOS 206123 HAS SOPS 205468 HAS SOUS 43309 HAS SOUPS 43080 WITH SCORE 43286.123
AT ITER 7363 NEW BEST:: SOT 293990 SOS 217453 HAS SOPS 216765 HAS SOUS 43312 HAS SOUPS 43050 WITH SCORE 43267.453
AT ITER 7371 NEW BEST:: SOT 293990 SOS 217383 HAS SOPS 216695 HAS SOUS 43252 HAS SOUPS 42990 WITH SCORE 43207.383
AT ITER 7473 NEW BEST:: SOT 293976 SOS 217369 HAS SOPS 216681 HAS SOUS 43238 HAS SOUPS 42976 WITH SCORE 43193.369
AT ITER 7530 NEW BEST:: SOT 293715 SOS 217108 HAS SOPS 216420 HAS SOUS 42957 HAS SOUPS 42695 WITH SCORE 42912.108
AT ITER 7640 NEW BEST:: SOT 293634 SOS 217027 HAS SOPS 216339 HAS SOUS 42870 HAS SOUPS 42608 WITH SCORE 42825.027
AT ITER 7652 NEW BEST:: SOT 293645 SOS 217038 HAS SOPS 216350 HAS SOUS 42813 HAS SOUPS 42551 WITH SCORE 42768.038
AT ITER 7674 NEW BEST:: SOT 293565 SOS 216972 HAS SOPS 216284 HAS SOUS 42733 HAS SOUPS 42471 WITH SCORE 42687.972
AT ITER 7763 NEW BEST:: SOT 293539 SOS 216946 HAS SOPS 216258 HAS SOUS 42707 HAS SOUPS 42445 WITH SCORE 42661.946
AT ITER 7764 NEW BEST:: SOT 293499 SOS 216906 HAS SOPS 216218 HAS SOUS 42508 HAS SOUPS 42246 WITH SCORE 42462.906
AT ITER 7787 NEW BEST:: SOT 293499 SOS 216906 HAS SOPS 216218 HAS SOUS 42445 HAS SOUPS 42183 WITH SCORE 42399.906
AT ITER 7825 NEW BEST:: SOT 293460 SOS 216867 HAS SOPS 216179 HAS SOUS 42406 HAS SOUPS 42144 WITH SCORE 42360.867
AT ITER 7847 NEW BEST:: SOT 293309 SOS 216716 HAS SOPS 216028 HAS SOUS 42282 HAS SOUPS 42020 WITH SCORE 42236.716
AT ITER 7880 NEW BEST:: SOT 293332 SOS 216739 HAS SOPS 216051 HAS SOUS 42262 HAS SOUPS 42000 WITH SCORE 42216.739
AT ITER 7981 NEW BEST:: SOT 293454 SOS 216861 HAS SOPS 216173 HAS SOUS 42213 HAS SOUPS 41951 WITH SCORE 42167.861
AT ITER 7988 NEW BEST:: SOT 293452 SOS 216859 HAS SOPS 216171 HAS SOUS 42211 HAS SOUPS 41949 WITH SCORE 42165.859
AT ITER 8052 NEW BEST:: SOT 293452 SOS 216838 HAS SOPS 216150 HAS SOUS 42208 HAS SOUPS 41946 WITH SCORE 42162.838
AT ITER 8126 NEW BEST:: SOT 293422 SOS 216808 HAS SOPS 216120 HAS SOUS 42178 HAS SOUPS 41916 WITH SCORE 42132.808
AT ITER 8174 NEW BEST:: SOT 293422 SOS 216766 HAS SOPS 216075 HAS SOUS 42172 HAS SOUPS 41910 WITH SCORE 42126.766
AT ITER 8244 NEW BEST:: SOT 293395 SOS 216739 HAS SOPS 216048 HAS SOUS 42145 HAS SOUPS 41883 WITH SCORE 42099.739
AT ITER 8296 NEW BEST:: SOT 293385 SOS 216729 HAS SOPS 216038 HAS SOUS 42116 HAS SOUPS 41854 WITH SCORE 42070.729
AT ITER 8317 NEW BEST:: SOT 293385 SOS 216774 HAS SOPS 216083 HAS SOUS 42071 HAS SOUPS 41809 WITH SCORE 42025.774
AT ITER 8395 NEW BEST:: SOT 293497 SOS 216886 HAS SOPS 216195 HAS SOUS 41970 HAS SOUPS 41708 WITH SCORE 41924.886
AT ITER 8517 NEW BEST:: SOT 293613 SOS 217002 HAS SOPS 216311 HAS SOUS 41908 HAS SOUPS 41646 WITH SCORE 41863.002
AT ITER 8562 NEW BEST:: SOT 293623 SOS 217012 HAS SOPS 216321 HAS SOUS 41903 HAS SOUPS 41641 WITH SCORE 41858.012
AT ITER 8672 NEW BEST:: SOT 293609 SOS 216998 HAS SOPS 216307 HAS SOUS 41889 HAS SOUPS 41627 WITH SCORE 41843.998
AT ITER 8705 NEW BEST:: SOT 293576 SOS 216965 HAS SOPS 216274 HAS SOUS 41832 HAS SOUPS 41570 WITH SCORE 41786.965
AT ITER 8714 NEW BEST:: SOT 293589 SOS 217788 HAS SOPS 217008 HAS SOUS 41838 HAS SOUPS 41487 WITH SCORE 41704.788
AT ITER 8729 NEW BEST:: SOT 293497 SOS 211982 HAS SOPS 211202 HAS SOUS 41777 HAS SOUPS 41426 WITH SCORE 41637.982
AT ITER 8844 NEW BEST:: SOT 293265 SOS 211850 HAS SOPS 211070 HAS SOUS 41737 HAS SOUPS 41386 WITH SCORE 41597.85
AT ITER 9134 NEW BEST:: SOT 293259 SOS 211844 HAS SOPS 211064 HAS SOUS 41731 HAS SOUPS 41380 WITH SCORE 41591.844
AT ITER 9270 NEW BEST:: SOT 293263 SOS 211798 HAS SOPS 211018 HAS SOUS 41685 HAS SOUPS 41334 WITH SCORE 41545.798
AT ITER 9322 NEW BEST:: SOT 293212 SOS 211747 HAS SOPS 210967 HAS SOUS 41622 HAS SOUPS 41271 WITH SCORE 41482.747
AT ITER 9356 NEW BEST:: SOT 293143 SOS 211678 HAS SOPS 210898 HAS SOUS 41564 HAS SOUPS 41213 WITH SCORE 41424.678
AT ITER 9706 NEW BEST:: SOT 293158 SOS 211693 HAS SOPS 210913 HAS SOUS 41501 HAS SOUPS 41150 WITH SCORE 41361.693
AT ITER 9883 NEW BEST:: SOT 292894 SOS 211429 HAS SOPS 210649 HAS SOUS 41453 HAS SOUPS 41102 WITH SCORE 41313.429
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 1589639129495

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

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