Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813687900200.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BridgeAndVehicles-PT-V20P10N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813687900200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.1M
-rw-r--r-- 1 mcc users 19K Feb 25 12:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 25 12:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 347K Feb 25 12:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Feb 25 12:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 15:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Feb 25 15:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 211K Feb 25 15:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 641K Feb 25 15:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 728K Feb 25 12:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.8M Feb 25 12:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.8M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678463962915

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=BridgeAndVehicles-PT-V20P10N50
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (PT), instance V20P10N50
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: 108 places, 2228 transitions, 17190 arcs.
AT ITER 0 NEW BEST:: SOT 181422 SOS 174366 HAS SOPS 172146 HAS SOUS 16959 HAS SOUPS 16901 WITH SCORE 17075.366
AT ITER 8 NEW BEST:: SOT 181422 SOS 174366 HAS SOPS 172146 HAS SOUS 16930 HAS SOUPS 16872 WITH SCORE 17046.366
AT ITER 42 NEW BEST:: SOT 181422 SOS 123434 HAS SOPS 123214 HAS SOUS 16832 HAS SOUPS 16824 WITH SCORE 16947.434
AT ITER 65 NEW BEST:: SOT 183010 SOS 125022 HAS SOPS 124802 HAS SOUS 16735 HAS SOUPS 16727 WITH SCORE 16852.022
AT ITER 71 NEW BEST:: SOT 183033 SOS 125045 HAS SOPS 124825 HAS SOUS 16348 HAS SOUPS 16340 WITH SCORE 16465.045
AT ITER 72 NEW BEST:: SOT 183033 SOS 125043 HAS SOPS 124823 HAS SOUS 16348 HAS SOUPS 16340 WITH SCORE 16465.043
AT ITER 74 NEW BEST:: SOT 183033 SOS 125043 HAS SOPS 124823 HAS SOUS 14510 HAS SOUPS 14502 WITH SCORE 14627.043
AT ITER 80 NEW BEST:: SOT 183033 SOS 125043 HAS SOPS 124823 HAS SOUS 13692 HAS SOUPS 13684 WITH SCORE 13809.043
AT ITER 83 NEW BEST:: SOT 183046 SOS 125056 HAS SOPS 124836 HAS SOUS 13687 HAS SOUPS 13679 WITH SCORE 13804.056
AT ITER 95 NEW BEST:: SOT 183046 SOS 124334 HAS SOPS 124114 HAS SOUS 13649 HAS SOUPS 13641 WITH SCORE 13765.334
AT ITER 102 NEW BEST:: SOT 182689 SOS 123977 HAS SOPS 123757 HAS SOUS 13292 HAS SOUPS 13284 WITH SCORE 13407.977
AT ITER 103 NEW BEST:: SOT 182689 SOS 123578 HAS SOPS 123358 HAS SOUS 13270 HAS SOUPS 13262 WITH SCORE 13385.578
AT ITER 105 NEW BEST:: SOT 183460 SOS 124349 HAS SOPS 124129 HAS SOUS 13070 HAS SOUPS 13062 WITH SCORE 13186.349
AT ITER 118 NEW BEST:: SOT 183457 SOS 124346 HAS SOPS 124126 HAS SOUS 13067 HAS SOUPS 13059 WITH SCORE 13183.346
AT ITER 153 NEW BEST:: SOT 183439 SOS 124328 HAS SOPS 124108 HAS SOUS 13029 HAS SOUPS 13021 WITH SCORE 13145.328
AT ITER 169 NEW BEST:: SOT 183589 SOS 124478 HAS SOPS 124258 HAS SOUS 13024 HAS SOUPS 13016 WITH SCORE 13140.478
AT ITER 212 NEW BEST:: SOT 183589 SOS 124476 HAS SOPS 124256 HAS SOUS 13024 HAS SOUPS 13016 WITH SCORE 13140.476
AT ITER 222 NEW BEST:: SOT 183584 SOS 124471 HAS SOPS 124251 HAS SOUS 13015 HAS SOUPS 13007 WITH SCORE 13131.471
AT ITER 239 NEW BEST:: SOT 183584 SOS 124469 HAS SOPS 124249 HAS SOUS 13015 HAS SOUPS 13007 WITH SCORE 13131.469
AT ITER 248 NEW BEST:: SOT 183584 SOS 124467 HAS SOPS 124247 HAS SOUS 13015 HAS SOUPS 13007 WITH SCORE 13131.467
AT ITER 257 NEW BEST:: SOT 183583 SOS 124466 HAS SOPS 124246 HAS SOUS 13012 HAS SOUPS 13004 WITH SCORE 13128.466
AT ITER 261 NEW BEST:: SOT 183583 SOS 124293 HAS SOPS 124073 HAS SOUS 13003 HAS SOUPS 12995 WITH SCORE 13119.293
AT ITER 274 NEW BEST:: SOT 183583 SOS 124291 HAS SOPS 124071 HAS SOUS 13003 HAS SOUPS 12995 WITH SCORE 13119.291
AT ITER 282 NEW BEST:: SOT 183583 SOS 123752 HAS SOPS 123532 HAS SOUS 12976 HAS SOUPS 12968 WITH SCORE 13091.752
AT ITER 309 NEW BEST:: SOT 183583 SOS 123752 HAS SOPS 123532 HAS SOUS 12974 HAS SOUPS 12966 WITH SCORE 13089.752
AT ITER 324 NEW BEST:: SOT 183583 SOS 123750 HAS SOPS 123530 HAS SOUS 12974 HAS SOUPS 12966 WITH SCORE 13089.75
AT ITER 331 NEW BEST:: SOT 183583 SOS 123742 HAS SOPS 123522 HAS SOUS 12974 HAS SOUPS 12966 WITH SCORE 13089.742
AT ITER 374 NEW BEST:: SOT 183583 SOS 123740 HAS SOPS 123520 HAS SOUS 12974 HAS SOUPS 12966 WITH SCORE 13089.74
AT ITER 376 NEW BEST:: SOT 183583 SOS 123738 HAS SOPS 123518 HAS SOUS 12974 HAS SOUPS 12966 WITH SCORE 13089.738
AT ITER 400 NEW BEST:: SOT 183583 SOS 123736 HAS SOPS 123516 HAS SOUS 12974 HAS SOUPS 12966 WITH SCORE 13089.736
AT ITER 403 NEW BEST:: SOT 183591 SOS 123744 HAS SOPS 123524 HAS SOUS 12960 HAS SOUPS 12952 WITH SCORE 13075.744
AT ITER 410 NEW BEST:: SOT 183591 SOS 123744 HAS SOPS 123524 HAS SOUS 12748 HAS SOUPS 12740 WITH SCORE 12863.744
AT ITER 446 NEW BEST:: SOT 183591 SOS 123722 HAS SOPS 123502 HAS SOUS 12748 HAS SOUPS 12740 WITH SCORE 12863.722
AT ITER 456 NEW BEST:: SOT 183591 SOS 123720 HAS SOPS 123500 HAS SOUS 12748 HAS SOUPS 12740 WITH SCORE 12863.72
AT ITER 477 NEW BEST:: SOT 183591 SOS 123718 HAS SOPS 123498 HAS SOUS 12748 HAS SOUPS 12740 WITH SCORE 12863.718
AT ITER 482 NEW BEST:: SOT 183591 SOS 123708 HAS SOPS 123488 HAS SOUS 12747 HAS SOUPS 12739 WITH SCORE 12862.708
AT ITER 509 NEW BEST:: SOT 183587 SOS 123704 HAS SOPS 123484 HAS SOUS 12723 HAS SOUPS 12715 WITH SCORE 12838.704
AT ITER 522 NEW BEST:: SOT 183586 SOS 123703 HAS SOPS 123483 HAS SOUS 12720 HAS SOUPS 12712 WITH SCORE 12835.703
AT ITER 529 NEW BEST:: SOT 183579 SOS 123696 HAS SOPS 123476 HAS SOUS 12713 HAS SOUPS 12705 WITH SCORE 12828.696
AT ITER 532 NEW BEST:: SOT 183580 SOS 123697 HAS SOPS 123477 HAS SOUS 12665 HAS SOUPS 12657 WITH SCORE 12780.697
AT ITER 563 NEW BEST:: SOT 183579 SOS 123696 HAS SOPS 123476 HAS SOUS 12662 HAS SOUPS 12654 WITH SCORE 12777.696
AT ITER 568 NEW BEST:: SOT 183572 SOS 123689 HAS SOPS 123469 HAS SOUS 12627 HAS SOUPS 12619 WITH SCORE 12742.689
AT ITER 582 NEW BEST:: SOT 183893 SOS 124010 HAS SOPS 123790 HAS SOUS 12524 HAS SOUPS 12516 WITH SCORE 12640.01
AT ITER 630 NEW BEST:: SOT 183892 SOS 124009 HAS SOPS 123789 HAS SOUS 12519 HAS SOUPS 12511 WITH SCORE 12635.009
AT ITER 636 NEW BEST:: SOT 183994 SOS 124111 HAS SOPS 123891 HAS SOUS 12515 HAS SOUPS 12507 WITH SCORE 12631.111
AT ITER 650 NEW BEST:: SOT 183992 SOS 124109 HAS SOPS 123889 HAS SOUS 12509 HAS SOUPS 12501 WITH SCORE 12625.109
AT ITER 663 NEW BEST:: SOT 184022 SOS 124139 HAS SOPS 123919 HAS SOUS 12472 HAS SOUPS 12464 WITH SCORE 12588.139
AT ITER 704 NEW BEST:: SOT 184022 SOS 124137 HAS SOPS 123917 HAS SOUS 12472 HAS SOUPS 12464 WITH SCORE 12588.137
AT ITER 715 NEW BEST:: SOT 184022 SOS 124135 HAS SOPS 123915 HAS SOUS 12472 HAS SOUPS 12464 WITH SCORE 12588.135
AT ITER 719 NEW BEST:: SOT 184006 SOS 124119 HAS SOPS 123899 HAS SOUS 12424 HAS SOUPS 12416 WITH SCORE 12540.119
AT ITER 775 NEW BEST:: SOT 184006 SOS 124117 HAS SOPS 123897 HAS SOUS 12424 HAS SOUPS 12416 WITH SCORE 12540.117
AT ITER 791 NEW BEST:: SOT 184005 SOS 124116 HAS SOPS 123896 HAS SOUS 12421 HAS SOUPS 12413 WITH SCORE 12537.116
AT ITER 795 NEW BEST:: SOT 183996 SOS 124107 HAS SOPS 123887 HAS SOUS 12408 HAS SOUPS 12400 WITH SCORE 12524.107
AT ITER 879 NEW BEST:: SOT 183996 SOS 124105 HAS SOPS 123885 HAS SOUS 12408 HAS SOUPS 12400 WITH SCORE 12524.105
AT ITER 886 NEW BEST:: SOT 183988 SOS 124097 HAS SOPS 123877 HAS SOUS 12384 HAS SOUPS 12376 WITH SCORE 12500.097
AT ITER 930 NEW BEST:: SOT 184131 SOS 124240 HAS SOPS 124020 HAS SOUS 12368 HAS SOUPS 12360 WITH SCORE 12484.24
AT ITER 1020 NEW BEST:: SOT 184131 SOS 124238 HAS SOPS 124018 HAS SOUS 12368 HAS SOUPS 12360 WITH SCORE 12484.238
AT ITER 1052 NEW BEST:: SOT 184131 SOS 124236 HAS SOPS 124016 HAS SOUS 12368 HAS SOUPS 12360 WITH SCORE 12484.236
AT ITER 1062 NEW BEST:: SOT 184124 SOS 124229 HAS SOPS 124009 HAS SOUS 12341 HAS SOUPS 12333 WITH SCORE 12457.229
AT ITER 1159 NEW BEST:: SOT 184124 SOS 124227 HAS SOPS 124007 HAS SOUS 12341 HAS SOUPS 12333 WITH SCORE 12457.227
AT ITER 1177 NEW BEST:: SOT 184478 SOS 124581 HAS SOPS 124361 HAS SOUS 12314 HAS SOUPS 12306 WITH SCORE 12430.581
AT ITER 1200 NEW BEST:: SOT 184478 SOS 124579 HAS SOPS 124359 HAS SOUS 12314 HAS SOUPS 12306 WITH SCORE 12430.579
AT ITER 1205 NEW BEST:: SOT 184477 SOS 124578 HAS SOPS 124358 HAS SOUS 12313 HAS SOUPS 12305 WITH SCORE 12429.578
AT ITER 1231 NEW BEST:: SOT 184473 SOS 124574 HAS SOPS 124354 HAS SOUS 12307 HAS SOUPS 12299 WITH SCORE 12423.574
AT ITER 1248 NEW BEST:: SOT 184469 SOS 124570 HAS SOPS 124350 HAS SOUS 12295 HAS SOUPS 12287 WITH SCORE 12411.57
AT ITER 1271 NEW BEST:: SOT 184467 SOS 124568 HAS SOPS 124348 HAS SOUS 12291 HAS SOUPS 12283 WITH SCORE 12407.568
AT ITER 1293 NEW BEST:: SOT 184462 SOS 124563 HAS SOPS 124343 HAS SOUS 12268 HAS SOUPS 12260 WITH SCORE 12384.563
AT ITER 1345 NEW BEST:: SOT 184461 SOS 124562 HAS SOPS 124342 HAS SOUS 12265 HAS SOUPS 12257 WITH SCORE 12381.562
AT ITER 1353 NEW BEST:: SOT 184451 SOS 124552 HAS SOPS 124332 HAS SOUS 12255 HAS SOUPS 12247 WITH SCORE 12371.552
AT ITER 1356 NEW BEST:: SOT 184449 SOS 124550 HAS SOPS 124330 HAS SOUS 12249 HAS SOUPS 12241 WITH SCORE 12365.55
AT ITER 1361 NEW BEST:: SOT 184449 SOS 124542 HAS SOPS 124322 HAS SOUS 12249 HAS SOUPS 12241 WITH SCORE 12365.542
AT ITER 1365 NEW BEST:: SOT 184450 SOS 123691 HAS SOPS 123471 HAS SOUS 12206 HAS SOUPS 12198 WITH SCORE 12321.691
AT ITER 1387 NEW BEST:: SOT 184450 SOS 123685 HAS SOPS 123465 HAS SOUS 12206 HAS SOUPS 12198 WITH SCORE 12321.685
AT ITER 1405 NEW BEST:: SOT 184450 SOS 123659 HAS SOPS 123439 HAS SOUS 12206 HAS SOUPS 12198 WITH SCORE 12321.659
AT ITER 1420 NEW BEST:: SOT 184450 SOS 123657 HAS SOPS 123437 HAS SOUS 12206 HAS SOUPS 12198 WITH SCORE 12321.657
AT ITER 1488 NEW BEST:: SOT 184445 SOS 123652 HAS SOPS 123432 HAS SOUS 12191 HAS SOUPS 12183 WITH SCORE 12306.652
AT ITER 1510 NEW BEST:: SOT 184495 SOS 123702 HAS SOPS 123482 HAS SOUS 12186 HAS SOUPS 12178 WITH SCORE 12301.702
AT ITER 1525 NEW BEST:: SOT 184499 SOS 123706 HAS SOPS 123486 HAS SOUS 12182 HAS SOUPS 12174 WITH SCORE 12297.706
AT ITER 1559 NEW BEST:: SOT 184499 SOS 123686 HAS SOPS 123466 HAS SOUS 12182 HAS SOUPS 12174 WITH SCORE 12297.686
AT ITER 1560 NEW BEST:: SOT 184499 SOS 123678 HAS SOPS 123458 HAS SOUS 12182 HAS SOUPS 12174 WITH SCORE 12297.678
AT ITER 1588 NEW BEST:: SOT 184499 SOS 123664 HAS SOPS 123444 HAS SOUS 12182 HAS SOUPS 12174 WITH SCORE 12297.664
AT ITER 1593 NEW BEST:: SOT 184499 SOS 123662 HAS SOPS 123442 HAS SOUS 12182 HAS SOUPS 12174 WITH SCORE 12297.662
AT ITER 1604 NEW BEST:: SOT 184311 SOS 123474 HAS SOPS 123254 HAS SOUS 11994 HAS SOUPS 11986 WITH SCORE 12109.474
AT ITER 1613 NEW BEST:: SOT 184305 SOS 123468 HAS SOPS 123248 HAS SOUS 11976 HAS SOUPS 11968 WITH SCORE 12091.468
AT ITER 1650 NEW BEST:: SOT 184305 SOS 123466 HAS SOPS 123246 HAS SOUS 11976 HAS SOUPS 11968 WITH SCORE 12091.466
AT ITER 1654 NEW BEST:: SOT 184301 SOS 123462 HAS SOPS 123242 HAS SOUS 11964 HAS SOUPS 11956 WITH SCORE 12079.462
AT ITER 1659 NEW BEST:: SOT 184301 SOS 123460 HAS SOPS 123240 HAS SOUS 11964 HAS SOUPS 11956 WITH SCORE 12079.46
AT ITER 1661 NEW BEST:: SOT 184301 SOS 123460 HAS SOPS 123240 HAS SOUS 11958 HAS SOUPS 11950 WITH SCORE 12073.46
AT ITER 1662 NEW BEST:: SOT 184301 SOS 123456 HAS SOPS 123236 HAS SOUS 11958 HAS SOUPS 11950 WITH SCORE 12073.456
AT ITER 1665 NEW BEST:: SOT 184301 SOS 123450 HAS SOPS 123230 HAS SOUS 11958 HAS SOUPS 11950 WITH SCORE 12073.45
AT ITER 1742 NEW BEST:: SOT 184299 SOS 123448 HAS SOPS 123228 HAS SOUS 11952 HAS SOUPS 11944 WITH SCORE 12067.448
AT ITER 1749 NEW BEST:: SOT 184345 SOS 123494 HAS SOPS 123274 HAS SOUS 11945 HAS SOUPS 11937 WITH SCORE 12060.494
AT ITER 1771 NEW BEST:: SOT 184345 SOS 123492 HAS SOPS 123272 HAS SOUS 11945 HAS SOUPS 11937 WITH SCORE 12060.492
AT ITER 1787 NEW BEST:: SOT 184345 SOS 123490 HAS SOPS 123270 HAS SOUS 11945 HAS SOUPS 11937 WITH SCORE 12060.49
AT ITER 1825 NEW BEST:: SOT 184344 SOS 123489 HAS SOPS 123269 HAS SOUS 11942 HAS SOUPS 11934 WITH SCORE 12057.489
AT ITER 1826 NEW BEST:: SOT 184359 SOS 123504 HAS SOPS 123284 HAS SOUS 11926 HAS SOUPS 11918 WITH SCORE 12041.504
AT ITER 1875 NEW BEST:: SOT 184359 SOS 123498 HAS SOPS 123278 HAS SOUS 11926 HAS SOUPS 11918 WITH SCORE 12041.498
AT ITER 1948 NEW BEST:: SOT 184352 SOS 123491 HAS SOPS 123271 HAS SOUS 11917 HAS SOUPS 11909 WITH SCORE 12032.491
AT ITER 1950 NEW BEST:: SOT 184352 SOS 123481 HAS SOPS 123261 HAS SOUS 11915 HAS SOUPS 11907 WITH SCORE 12030.481
AT ITER 1956 NEW BEST:: SOT 184352 SOS 123477 HAS SOPS 123257 HAS SOUS 11915 HAS SOUPS 11907 WITH SCORE 12030.477
AT ITER 1960 NEW BEST:: SOT 184349 SOS 123474 HAS SOPS 123254 HAS SOUS 11906 HAS SOUPS 11898 WITH SCORE 12021.474
AT ITER 2008 NEW BEST:: SOT 184349 SOS 123470 HAS SOPS 123250 HAS SOUS 11906 HAS SOUPS 11898 WITH SCORE 12021.47
AT ITER 2038 NEW BEST:: SOT 184348 SOS 123469 HAS SOPS 123249 HAS SOUS 11903 HAS SOUPS 11895 WITH SCORE 12018.469
AT ITER 2059 NEW BEST:: SOT 184348 SOS 123437 HAS SOPS 123217 HAS SOUS 11903 HAS SOUPS 11895 WITH SCORE 12018.437
AT ITER 2106 NEW BEST:: SOT 184348 SOS 123319 HAS SOPS 123139 HAS SOUS 11902 HAS SOUPS 11895 WITH SCORE 12018.319
AT ITER 2117 NEW BEST:: SOT 184348 SOS 123317 HAS SOPS 123137 HAS SOUS 11902 HAS SOUPS 11895 WITH SCORE 12018.317
AT ITER 2153 NEW BEST:: SOT 184344 SOS 123313 HAS SOPS 123133 HAS SOUS 11890 HAS SOUPS 11883 WITH SCORE 12006.313
AT ITER 2177 NEW BEST:: SOT 184344 SOS 123311 HAS SOPS 123131 HAS SOUS 11890 HAS SOUPS 11883 WITH SCORE 12006.311
AT ITER 2198 NEW BEST:: SOT 184344 SOS 123307 HAS SOPS 123127 HAS SOUS 11890 HAS SOUPS 11883 WITH SCORE 12006.307
AT ITER 2215 NEW BEST:: SOT 184344 SOS 123303 HAS SOPS 123123 HAS SOUS 11890 HAS SOUPS 11883 WITH SCORE 12006.303
AT ITER 2248 NEW BEST:: SOT 184343 SOS 123302 HAS SOPS 123122 HAS SOUS 11889 HAS SOUPS 11882 WITH SCORE 12005.302
AT ITER 2264 NEW BEST:: SOT 184343 SOS 123300 HAS SOPS 123120 HAS SOUS 11889 HAS SOUPS 11882 WITH SCORE 12005.3
AT ITER 2276 NEW BEST:: SOT 184343 SOS 123290 HAS SOPS 123110 HAS SOUS 11889 HAS SOUPS 11882 WITH SCORE 12005.29
AT ITER 2279 NEW BEST:: SOT 184376 SOS 123323 HAS SOPS 123143 HAS SOUS 11880 HAS SOUPS 11873 WITH SCORE 11996.323
AT ITER 2292 NEW BEST:: SOT 184376 SOS 123325 HAS SOPS 123125 HAS SOUS 11834 HAS SOUPS 11826 WITH SCORE 11949.325
AT ITER 2304 NEW BEST:: SOT 184375 SOS 123324 HAS SOPS 123124 HAS SOUS 11831 HAS SOUPS 11823 WITH SCORE 11946.324
AT ITER 2325 NEW BEST:: SOT 184231 SOS 123198 HAS SOPS 122978 HAS SOUS 11736 HAS SOUPS 11727 WITH SCORE 11850.198
AT ITER 2347 NEW BEST:: SOT 184231 SOS 123194 HAS SOPS 122974 HAS SOUS 11736 HAS SOUPS 11727 WITH SCORE 11850.194
AT ITER 2356 NEW BEST:: SOT 184230 SOS 123193 HAS SOPS 122973 HAS SOUS 11733 HAS SOUPS 11724 WITH SCORE 11847.193
AT ITER 2361 NEW BEST:: SOT 184229 SOS 123192 HAS SOPS 122972 HAS SOUS 11730 HAS SOUPS 11721 WITH SCORE 11844.192
AT ITER 2397 NEW BEST:: SOT 184228 SOS 123191 HAS SOPS 122971 HAS SOUS 11727 HAS SOUPS 11718 WITH SCORE 11841.191
AT ITER 2501 NEW BEST:: SOT 184228 SOS 123189 HAS SOPS 122969 HAS SOUS 11727 HAS SOUPS 11718 WITH SCORE 11841.189
AT ITER 2507 NEW BEST:: SOT 184227 SOS 123188 HAS SOPS 122968 HAS SOUS 11724 HAS SOUPS 11715 WITH SCORE 11838.188
AT ITER 2543 NEW BEST:: SOT 184208 SOS 123170 HAS SOPS 122950 HAS SOUS 11706 HAS SOUPS 11697 WITH SCORE 11820.17
AT ITER 2687 NEW BEST:: SOT 184257 SOS 123219 HAS SOPS 122999 HAS SOUS 11702 HAS SOUPS 11693 WITH SCORE 11816.219
AT ITER 2783 NEW BEST:: SOT 184252 SOS 123214 HAS SOPS 122994 HAS SOUS 11581 HAS SOUPS 11572 WITH SCORE 11695.214
AT ITER 2889 NEW BEST:: SOT 184250 SOS 123212 HAS SOPS 122992 HAS SOUS 11581 HAS SOUPS 11572 WITH SCORE 11695.212
AT ITER 2950 NEW BEST:: SOT 184244 SOS 123206 HAS SOPS 122986 HAS SOUS 11563 HAS SOUPS 11554 WITH SCORE 11677.206
AT ITER 2951 NEW BEST:: SOT 184244 SOS 123204 HAS SOPS 122984 HAS SOUS 11563 HAS SOUPS 11554 WITH SCORE 11677.204
AT ITER 2959 NEW BEST:: SOT 184244 SOS 123202 HAS SOPS 122982 HAS SOUS 11563 HAS SOUPS 11554 WITH SCORE 11677.202
AT ITER 2986 NEW BEST:: SOT 184244 SOS 123200 HAS SOPS 122980 HAS SOUS 11563 HAS SOUPS 11554 WITH SCORE 11677.2
AT ITER 3132 NEW BEST:: SOT 184243 SOS 123199 HAS SOPS 122979 HAS SOUS 11560 HAS SOUPS 11551 WITH SCORE 11674.199
AT ITER 3161 NEW BEST:: SOT 184241 SOS 123197 HAS SOPS 122977 HAS SOUS 11554 HAS SOUPS 11545 WITH SCORE 11668.197
AT ITER 3198 NEW BEST:: SOT 184241 SOS 123195 HAS SOPS 122975 HAS SOUS 11554 HAS SOUPS 11545 WITH SCORE 11668.195
AT ITER 3249 NEW BEST:: SOT 184226 SOS 123180 HAS SOPS 122960 HAS SOUS 11509 HAS SOUPS 11500 WITH SCORE 11623.18
AT ITER 3254 NEW BEST:: SOT 184226 SOS 123178 HAS SOPS 122958 HAS SOUS 11509 HAS SOUPS 11500 WITH SCORE 11623.178
AT ITER 3293 NEW BEST:: SOT 184222 SOS 123174 HAS SOPS 122954 HAS SOUS 11497 HAS SOUPS 11488 WITH SCORE 11611.174
AT ITER 3336 NEW BEST:: SOT 184424 SOS 123376 HAS SOPS 123156 HAS SOUS 11489 HAS SOUPS 11480 WITH SCORE 11603.376
AT ITER 3340 NEW BEST:: SOT 184424 SOS 123374 HAS SOPS 123154 HAS SOUS 11489 HAS SOUPS 11480 WITH SCORE 11603.374
AT ITER 3472 NEW BEST:: SOT 184423 SOS 123373 HAS SOPS 123153 HAS SOUS 11486 HAS SOUPS 11477 WITH SCORE 11600.373
AT ITER 3541 NEW BEST:: SOT 184457 SOS 122540 HAS SOPS 122320 HAS SOUS 11457 HAS SOUPS 11448 WITH SCORE 11570.54
AT ITER 3595 NEW BEST:: SOT 184456 SOS 122539 HAS SOPS 122319 HAS SOUS 11454 HAS SOUPS 11445 WITH SCORE 11567.539
AT ITER 3654 NEW BEST:: SOT 184466 SOS 122549 HAS SOPS 122329 HAS SOUS 11427 HAS SOUPS 11418 WITH SCORE 11540.549
AT ITER 3681 NEW BEST:: SOT 184464 SOS 122547 HAS SOPS 122327 HAS SOUS 11425 HAS SOUPS 11416 WITH SCORE 11538.547
AT ITER 3724 NEW BEST:: SOT 184464 SOS 122547 HAS SOPS 122327 HAS SOUS 11421 HAS SOUPS 11412 WITH SCORE 11534.547
AT ITER 3749 NEW BEST:: SOT 184464 SOS 122545 HAS SOPS 122325 HAS SOUS 11421 HAS SOUPS 11412 WITH SCORE 11534.545
AT ITER 3766 NEW BEST:: SOT 184460 SOS 122546 HAS SOPS 122366 HAS SOUS 11407 HAS SOUPS 11400 WITH SCORE 11522.546
AT ITER 3839 NEW BEST:: SOT 184459 SOS 122545 HAS SOPS 122365 HAS SOUS 11404 HAS SOUPS 11397 WITH SCORE 11519.545
AT ITER 3889 NEW BEST:: SOT 184480 SOS 122566 HAS SOPS 122386 HAS SOUS 11263 HAS SOUPS 11256 WITH SCORE 11378.566
AT ITER 3896 NEW BEST:: SOT 184479 SOS 122565 HAS SOPS 122385 HAS SOUS 11260 HAS SOUPS 11253 WITH SCORE 11375.565
AT ITER 3909 NEW BEST:: SOT 184479 SOS 122471 HAS SOPS 122291 HAS SOUS 11256 HAS SOUPS 11249 WITH SCORE 11371.471
AT ITER 3979 NEW BEST:: SOT 184523 SOS 122515 HAS SOPS 122335 HAS SOUS 11245 HAS SOUPS 11238 WITH SCORE 11360.515
AT ITER 3983 NEW BEST:: SOT 184520 SOS 122512 HAS SOPS 122332 HAS SOUS 11132 HAS SOUPS 11125 WITH SCORE 11247.512
AT ITER 4014 NEW BEST:: SOT 184513 SOS 122487 HAS SOPS 122307 HAS SOUS 11119 HAS SOUPS 11112 WITH SCORE 11234.487
AT ITER 4078 NEW BEST:: SOT 184513 SOS 122485 HAS SOPS 122305 HAS SOUS 11119 HAS SOUPS 11112 WITH SCORE 11234.485
AT ITER 4103 NEW BEST:: SOT 184512 SOS 122484 HAS SOPS 122304 HAS SOUS 11116 HAS SOUPS 11109 WITH SCORE 11231.484
AT ITER 4136 NEW BEST:: SOT 184511 SOS 122483 HAS SOPS 122303 HAS SOUS 11113 HAS SOUPS 11106 WITH SCORE 11228.483
AT ITER 4179 NEW BEST:: SOT 184500 SOS 122472 HAS SOPS 122292 HAS SOUS 11023 HAS SOUPS 11016 WITH SCORE 11138.472
AT ITER 4238 NEW BEST:: SOT 184499 SOS 122471 HAS SOPS 122291 HAS SOUS 11022 HAS SOUPS 11015 WITH SCORE 11137.471
AT ITER 4259 NEW BEST:: SOT 184498 SOS 122470 HAS SOPS 122290 HAS SOUS 11019 HAS SOUPS 11012 WITH SCORE 11134.47
AT ITER 4260 NEW BEST:: SOT 184498 SOS 122466 HAS SOPS 122286 HAS SOUS 11019 HAS SOUPS 11012 WITH SCORE 11134.466
AT ITER 4348 NEW BEST:: SOT 184494 SOS 122462 HAS SOPS 122282 HAS SOUS 10954 HAS SOUPS 10947 WITH SCORE 11069.462
AT ITER 4364 NEW BEST:: SOT 184484 SOS 122452 HAS SOPS 122272 HAS SOUS 10926 HAS SOUPS 10919 WITH SCORE 11041.452
AT ITER 4367 NEW BEST:: SOT 184484 SOS 122444 HAS SOPS 122264 HAS SOUS 10926 HAS SOUPS 10919 WITH SCORE 11041.444
AT ITER 4395 NEW BEST:: SOT 184482 SOS 122442 HAS SOPS 122262 HAS SOUS 10920 HAS SOUPS 10913 WITH SCORE 11035.442
AT ITER 4411 NEW BEST:: SOT 184482 SOS 122440 HAS SOPS 122260 HAS SOUS 10920 HAS SOUPS 10913 WITH SCORE 11035.44
AT ITER 4489 NEW BEST:: SOT 184482 SOS 122438 HAS SOPS 122258 HAS SOUS 10920 HAS SOUPS 10913 WITH SCORE 11035.438
AT ITER 4498 NEW BEST:: SOT 184478 SOS 122434 HAS SOPS 122254 HAS SOUS 10908 HAS SOUPS 10901 WITH SCORE 11023.434
AT ITER 4508 NEW BEST:: SOT 184477 SOS 122433 HAS SOPS 122253 HAS SOUS 10903 HAS SOUPS 10896 WITH SCORE 11018.433
AT ITER 4548 NEW BEST:: SOT 184477 SOS 122429 HAS SOPS 122249 HAS SOUS 10903 HAS SOUPS 10896 WITH SCORE 11018.429
AT ITER 4559 NEW BEST:: SOT 184477 SOS 122425 HAS SOPS 122245 HAS SOUS 10903 HAS SOUPS 10896 WITH SCORE 11018.425
AT ITER 4593 NEW BEST:: SOT 184477 SOS 122423 HAS SOPS 122243 HAS SOUS 10903 HAS SOUPS 10896 WITH SCORE 11018.423
AT ITER 4628 NEW BEST:: SOT 184475 SOS 122421 HAS SOPS 122241 HAS SOUS 10897 HAS SOUPS 10890 WITH SCORE 11012.421
AT ITER 4652 NEW BEST:: SOT 184475 SOS 122419 HAS SOPS 122239 HAS SOUS 10897 HAS SOUPS 10890 WITH SCORE 11012.419
AT ITER 4691 NEW BEST:: SOT 184475 SOS 122417 HAS SOPS 122237 HAS SOUS 10897 HAS SOUPS 10890 WITH SCORE 11012.417
AT ITER 4696 NEW BEST:: SOT 184475 SOS 122411 HAS SOPS 122231 HAS SOUS 10897 HAS SOUPS 10890 WITH SCORE 11012.411
AT ITER 4753 NEW BEST:: SOT 184453 SOS 122389 HAS SOPS 122209 HAS SOUS 10875 HAS SOUPS 10868 WITH SCORE 10990.389
AT ITER 4875 NEW BEST:: SOT 184453 SOS 122383 HAS SOPS 122203 HAS SOUS 10875 HAS SOUPS 10868 WITH SCORE 10990.383
AT ITER 4924 NEW BEST:: SOT 184449 SOS 122379 HAS SOPS 122199 HAS SOUS 10863 HAS SOUPS 10856 WITH SCORE 10978.379
AT ITER 4970 NEW BEST:: SOT 184268 SOS 122202 HAS SOPS 122022 HAS SOUS 10802 HAS SOUPS 10795 WITH SCORE 10917.202
AT ITER 5122 NEW BEST:: SOT 184223 SOS 122159 HAS SOPS 121979 HAS SOUS 10759 HAS SOUPS 10752 WITH SCORE 10874.159
AT ITER 5206 NEW BEST:: SOT 184222 SOS 122150 HAS SOPS 122010 HAS SOUS 10706 HAS SOUPS 10700 WITH SCORE 10822.15
AT ITER 5214 NEW BEST:: SOT 184222 SOS 122148 HAS SOPS 122008 HAS SOUS 10706 HAS SOUPS 10700 WITH SCORE 10822.148
AT ITER 5365 NEW BEST:: SOT 184218 SOS 122144 HAS SOPS 122004 HAS SOUS 10694 HAS SOUPS 10688 WITH SCORE 10810.144
AT ITER 5374 NEW BEST:: SOT 184218 SOS 122132 HAS SOPS 121992 HAS SOUS 10694 HAS SOUPS 10688 WITH SCORE 10810.132
AT ITER 5409 NEW BEST:: SOT 184217 SOS 122131 HAS SOPS 121991 HAS SOUS 10691 HAS SOUPS 10685 WITH SCORE 10807.131
AT ITER 5419 NEW BEST:: SOT 184217 SOS 122127 HAS SOPS 121987 HAS SOUS 10691 HAS SOUPS 10685 WITH SCORE 10807.127
AT ITER 5420 NEW BEST:: SOT 184216 SOS 122126 HAS SOPS 121986 HAS SOUS 10688 HAS SOUPS 10682 WITH SCORE 10804.126
AT ITER 5548 NEW BEST:: SOT 184168 SOS 122082 HAS SOPS 121942 HAS SOUS 10684 HAS SOUPS 10678 WITH SCORE 10800.082
AT ITER 5561 NEW BEST:: SOT 184168 SOS 122080 HAS SOPS 121940 HAS SOUS 10684 HAS SOUPS 10678 WITH SCORE 10800.08
AT ITER 5962 NEW BEST:: SOT 184168 SOS 122078 HAS SOPS 121938 HAS SOUS 10684 HAS SOUPS 10678 WITH SCORE 10800.078
AT ITER 5981 NEW BEST:: SOT 184165 SOS 122075 HAS SOPS 121935 HAS SOUS 10681 HAS SOUPS 10675 WITH SCORE 10797.075
AT ITER 6079 NEW BEST:: SOT 184163 SOS 122073 HAS SOPS 121933 HAS SOUS 10675 HAS SOUPS 10669 WITH SCORE 10791.073
AT ITER 6121 NEW BEST:: SOT 184162 SOS 122072 HAS SOPS 121932 HAS SOUS 10619 HAS SOUPS 10613 WITH SCORE 10735.072
AT ITER 6148 NEW BEST:: SOT 184162 SOS 122070 HAS SOPS 121930 HAS SOUS 10619 HAS SOUPS 10613 WITH SCORE 10735.07
AT ITER 6288 NEW BEST:: SOT 184162 SOS 122068 HAS SOPS 121928 HAS SOUS 10619 HAS SOUPS 10613 WITH SCORE 10735.068
AT ITER 6337 NEW BEST:: SOT 184165 SOS 122079 HAS SOPS 121899 HAS SOUS 10579 HAS SOUPS 10573 WITH SCORE 10695.079
AT ITER 6433 NEW BEST:: SOT 184164 SOS 122078 HAS SOPS 121898 HAS SOUS 10576 HAS SOUPS 10570 WITH SCORE 10692.078
AT ITER 6478 NEW BEST:: SOT 184163 SOS 122077 HAS SOPS 121897 HAS SOUS 10573 HAS SOUPS 10567 WITH SCORE 10689.077
AT ITER 6512 NEW BEST:: SOT 184163 SOS 122075 HAS SOPS 121895 HAS SOUS 10573 HAS SOUPS 10567 WITH SCORE 10689.075
AT ITER 6739 NEW BEST:: SOT 184162 SOS 122074 HAS SOPS 121894 HAS SOUS 10570 HAS SOUPS 10564 WITH SCORE 10686.074
AT ITER 6887 NEW BEST:: SOT 184162 SOS 122066 HAS SOPS 121886 HAS SOUS 10570 HAS SOUPS 10564 WITH SCORE 10686.066
AT ITER 7335 NEW BEST:: SOT 184160 SOS 122064 HAS SOPS 121884 HAS SOUS 10564 HAS SOUPS 10558 WITH SCORE 10680.064
AT ITER 7345 NEW BEST:: SOT 184157 SOS 122061 HAS SOPS 121881 HAS SOUS 10555 HAS SOUPS 10549 WITH SCORE 10671.061
AT ITER 7409 NEW BEST:: SOT 184157 SOS 122057 HAS SOPS 121877 HAS SOUS 10555 HAS SOUPS 10549 WITH SCORE 10671.057
AT ITER 7489 NEW BEST:: SOT 184157 SOS 122055 HAS SOPS 121875 HAS SOUS 10555 HAS SOUPS 10549 WITH SCORE 10671.055
AT ITER 7589 NEW BEST:: SOT 184157 SOS 122053 HAS SOPS 121873 HAS SOUS 10555 HAS SOUPS 10549 WITH SCORE 10671.053
AT ITER 7626 NEW BEST:: SOT 184156 SOS 122052 HAS SOPS 121872 HAS SOUS 10552 HAS SOUPS 10546 WITH SCORE 10668.052
AT ITER 7631 NEW BEST:: SOT 184156 SOS 122048 HAS SOPS 121868 HAS SOUS 10552 HAS SOUPS 10546 WITH SCORE 10668.048
AT ITER 7919 NEW BEST:: SOT 184155 SOS 122047 HAS SOPS 121867 HAS SOUS 10549 HAS SOUPS 10543 WITH SCORE 10665.047
AT ITER 8266 NEW BEST:: SOT 184154 SOS 122046 HAS SOPS 121866 HAS SOUS 10546 HAS SOUPS 10540 WITH SCORE 10662.046
AT ITER 8408 NEW BEST:: SOT 184062 SOS 121954 HAS SOPS 121814 HAS SOUS 10448 HAS SOUPS 10444 WITH SCORE 10565.954
AT ITER 8791 NEW BEST:: SOT 184061 SOS 121953 HAS SOPS 121813 HAS SOUS 10444 HAS SOUPS 10440 WITH SCORE 10561.953
AT ITER 8979 NEW BEST:: SOT 184058 SOS 121950 HAS SOPS 121810 HAS SOUS 10435 HAS SOUPS 10431 WITH SCORE 10552.95
AT ITER 9188 NEW BEST:: SOT 184104 SOS 121996 HAS SOPS 121856 HAS SOUS 10428 HAS SOUPS 10424 WITH SCORE 10545.996
AT ITER 9207 NEW BEST:: SOT 184104 SOS 121994 HAS SOPS 121854 HAS SOUS 10428 HAS SOUPS 10424 WITH SCORE 10545.994
AT ITER 9672 NEW BEST:: SOT 184102 SOS 121992 HAS SOPS 121852 HAS SOUS 10422 HAS SOUPS 10418 WITH SCORE 10539.992
AT ITER 9725 NEW BEST:: SOT 184102 SOS 121990 HAS SOPS 121850 HAS SOUS 10422 HAS SOUPS 10418 WITH SCORE 10539.99
AT ITER 9772 NEW BEST:: SOT 184101 SOS 121989 HAS SOPS 121849 HAS SOUS 10419 HAS SOUPS 10415 WITH SCORE 10536.989
AT ITER 9982 NEW BEST:: SOT 184055 SOS 121939 HAS SOPS 121839 HAS SOUS 10418 HAS SOUPS 10415 WITH SCORE 10536.939
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 11977520 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16145972 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="BridgeAndVehicles-PT-V20P10N50"
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 BridgeAndVehicles-PT-V20P10N50, 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 r035-tajo-167813687900200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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