About the Execution of Smart for BridgeAndVehicles-PT-V80P20N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13398.447 | 3600000.00 | 3600282.00 | 0.00 | [undef] | Time out reached |
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-167813688000288.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-V80P20N20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688000288
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 17K Feb 25 12:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 12:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 365K Feb 25 12:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Feb 25 12:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 349K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 69K Feb 25 13:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 363K Feb 25 13:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 777K Feb 25 13:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.9M Feb 25 13:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Feb 25 15:36 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 3.1M 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 1678466493242
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-V80P20N20
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (PT), instance V80P20N20
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: 198 places, 3728 transitions, 28830 arcs.
AT ITER 0 NEW BEST:: SOT 437324 SOS 429138 HAS SOPS 425058 HAS SOUS 27795 HAS SOUPS 27767 WITH SCORE 28196.138
AT ITER 29 NEW BEST:: SOT 437324 SOS 429136 HAS SOPS 425056 HAS SOUS 27794 HAS SOUPS 27766 WITH SCORE 28195.136
AT ITER 35 NEW BEST:: SOT 437323 SOS 429135 HAS SOPS 425055 HAS SOUS 27791 HAS SOUPS 27763 WITH SCORE 28192.135
AT ITER 80 NEW BEST:: SOT 431803 SOS 423721 HAS SOPS 419641 HAS SOUS 20210 HAS SOUPS 20182 WITH SCORE 20605.721
AT ITER 159 NEW BEST:: SOT 431696 SOS 423614 HAS SOPS 419534 HAS SOUS 20060 HAS SOUPS 20032 WITH SCORE 20455.614
AT ITER 180 NEW BEST:: SOT 431695 SOS 423613 HAS SOPS 419533 HAS SOUS 20057 HAS SOUPS 20029 WITH SCORE 20452.613
AT ITER 193 NEW BEST:: SOT 431340 SOS 423305 HAS SOPS 419225 HAS SOUS 18692 HAS SOUPS 18664 WITH SCORE 19087.305
AT ITER 212 NEW BEST:: SOT 431260 SOS 423222 HAS SOPS 419142 HAS SOUS 18609 HAS SOUPS 18581 WITH SCORE 19004.222
AT ITER 247 NEW BEST:: SOT 431260 SOS 423223 HAS SOPS 419223 HAS SOUS 18601 HAS SOUPS 18574 WITH SCORE 18997.223
AT ITER 280 NEW BEST:: SOT 429744 SOS 421707 HAS SOPS 417707 HAS SOUS 15886 HAS SOUPS 15859 WITH SCORE 16280.707
AT ITER 299 NEW BEST:: SOT 429742 SOS 421705 HAS SOPS 417705 HAS SOUS 15882 HAS SOUPS 15855 WITH SCORE 16276.705
AT ITER 335 NEW BEST:: SOT 429740 SOS 421703 HAS SOPS 417703 HAS SOUS 15878 HAS SOUPS 15851 WITH SCORE 16272.703
AT ITER 353 NEW BEST:: SOT 429738 SOS 421701 HAS SOPS 417701 HAS SOUS 15874 HAS SOUPS 15847 WITH SCORE 16268.701000000001
AT ITER 361 NEW BEST:: SOT 429718 SOS 421603 HAS SOPS 417603 HAS SOUS 15854 HAS SOUPS 15827 WITH SCORE 16248.603
AT ITER 373 NEW BEST:: SOT 430814 SOS 422699 HAS SOPS 418699 HAS SOUS 15793 HAS SOUPS 15766 WITH SCORE 16188.699
AT ITER 387 NEW BEST:: SOT 430812 SOS 422697 HAS SOPS 418697 HAS SOUS 15789 HAS SOUPS 15762 WITH SCORE 16184.697
AT ITER 396 NEW BEST:: SOT 430810 SOS 422695 HAS SOPS 418695 HAS SOUS 15785 HAS SOUPS 15758 WITH SCORE 16180.695
AT ITER 436 NEW BEST:: SOT 430808 SOS 422693 HAS SOPS 418693 HAS SOUS 15781 HAS SOUPS 15754 WITH SCORE 16176.693
AT ITER 481 NEW BEST:: SOT 430806 SOS 422691 HAS SOPS 418691 HAS SOUS 15777 HAS SOUPS 15750 WITH SCORE 16172.691
AT ITER 502 NEW BEST:: SOT 430786 SOS 422671 HAS SOPS 418671 HAS SOUS 15737 HAS SOUPS 15710 WITH SCORE 16132.671
AT ITER 563 NEW BEST:: SOT 430784 SOS 422669 HAS SOPS 418669 HAS SOUS 15733 HAS SOUPS 15706 WITH SCORE 16128.669
AT ITER 578 NEW BEST:: SOT 430782 SOS 422667 HAS SOPS 418667 HAS SOUS 15729 HAS SOUPS 15702 WITH SCORE 16124.667
AT ITER 640 NEW BEST:: SOT 430777 SOS 422666 HAS SOPS 418666 HAS SOUS 15726 HAS SOUPS 15699 WITH SCORE 16121.666
AT ITER 709 NEW BEST:: SOT 430755 SOS 422644 HAS SOPS 418644 HAS SOUS 15434 HAS SOUPS 15407 WITH SCORE 15829.644
AT ITER 731 NEW BEST:: SOT 430729 SOS 422618 HAS SOPS 418618 HAS SOUS 15386 HAS SOUPS 15359 WITH SCORE 15781.618
AT ITER 818 NEW BEST:: SOT 430727 SOS 422616 HAS SOPS 418616 HAS SOUS 15382 HAS SOUPS 15355 WITH SCORE 15777.616
AT ITER 832 NEW BEST:: SOT 430715 SOS 422604 HAS SOPS 418604 HAS SOUS 15358 HAS SOUPS 15331 WITH SCORE 15753.604
AT ITER 890 NEW BEST:: SOT 430713 SOS 422602 HAS SOPS 418602 HAS SOUS 15354 HAS SOUPS 15327 WITH SCORE 15749.602
AT ITER 912 NEW BEST:: SOT 430693 SOS 422582 HAS SOPS 418582 HAS SOUS 15314 HAS SOUPS 15287 WITH SCORE 15709.582
AT ITER 925 NEW BEST:: SOT 430691 SOS 422580 HAS SOPS 418580 HAS SOUS 15310 HAS SOUPS 15283 WITH SCORE 15705.58
AT ITER 953 NEW BEST:: SOT 430689 SOS 422578 HAS SOPS 418578 HAS SOUS 15306 HAS SOUPS 15279 WITH SCORE 15701.578
AT ITER 1013 NEW BEST:: SOT 430687 SOS 422576 HAS SOPS 418576 HAS SOUS 15302 HAS SOUPS 15275 WITH SCORE 15697.576000000001
AT ITER 1114 NEW BEST:: SOT 432231 SOS 424120 HAS SOPS 420120 HAS SOUS 15269 HAS SOUPS 15242 WITH SCORE 15666.12
AT ITER 1125 NEW BEST:: SOT 430751 SOS 422640 HAS SOPS 418640 HAS SOUS 15213 HAS SOUPS 15186 WITH SCORE 15608.64
AT ITER 1266 NEW BEST:: SOT 430749 SOS 422638 HAS SOPS 418638 HAS SOUS 14495 HAS SOUPS 14468 WITH SCORE 14890.638
AT ITER 1369 NEW BEST:: SOT 430747 SOS 422636 HAS SOPS 418636 HAS SOUS 14491 HAS SOUPS 14464 WITH SCORE 14886.636
AT ITER 1385 NEW BEST:: SOT 430697 SOS 422586 HAS SOPS 418586 HAS SOUS 14391 HAS SOUPS 14364 WITH SCORE 14786.586
AT ITER 1412 NEW BEST:: SOT 430695 SOS 422584 HAS SOPS 418584 HAS SOUS 14387 HAS SOUPS 14360 WITH SCORE 14782.584
AT ITER 1421 NEW BEST:: SOT 430693 SOS 422582 HAS SOPS 418582 HAS SOUS 14383 HAS SOUPS 14356 WITH SCORE 14778.582
AT ITER 1462 NEW BEST:: SOT 430679 SOS 422568 HAS SOPS 418568 HAS SOUS 14355 HAS SOUPS 14328 WITH SCORE 14750.568
AT ITER 1536 NEW BEST:: SOT 430617 SOS 422506 HAS SOPS 418506 HAS SOUS 13811 HAS SOUPS 13784 WITH SCORE 14206.506
AT ITER 1570 NEW BEST:: SOT 430613 SOS 422502 HAS SOPS 418502 HAS SOUS 13803 HAS SOUPS 13776 WITH SCORE 14198.502
AT ITER 1572 NEW BEST:: SOT 430611 SOS 422500 HAS SOPS 418500 HAS SOUS 13799 HAS SOUPS 13772 WITH SCORE 14194.5
AT ITER 1683 NEW BEST:: SOT 430609 SOS 422498 HAS SOPS 418498 HAS SOUS 13795 HAS SOUPS 13768 WITH SCORE 14190.498
AT ITER 1741 NEW BEST:: SOT 430607 SOS 422496 HAS SOPS 418496 HAS SOUS 13791 HAS SOUPS 13764 WITH SCORE 14186.496
AT ITER 1752 NEW BEST:: SOT 430640 SOS 422531 HAS SOPS 418531 HAS SOUS 13782 HAS SOUPS 13755 WITH SCORE 14177.531
AT ITER 1813 NEW BEST:: SOT 430616 SOS 422507 HAS SOPS 418507 HAS SOUS 13524 HAS SOUPS 13497 WITH SCORE 13919.507
AT ITER 1834 NEW BEST:: SOT 430612 SOS 422503 HAS SOPS 418503 HAS SOUS 13516 HAS SOUPS 13489 WITH SCORE 13911.503
AT ITER 1898 NEW BEST:: SOT 430612 SOS 422503 HAS SOPS 418503 HAS SOUS 13510 HAS SOUPS 13483 WITH SCORE 13905.503
AT ITER 1903 NEW BEST:: SOT 430594 SOS 422485 HAS SOPS 418485 HAS SOUS 13474 HAS SOUPS 13447 WITH SCORE 13869.485
AT ITER 1911 NEW BEST:: SOT 430586 SOS 422477 HAS SOPS 418477 HAS SOUS 13470 HAS SOUPS 13443 WITH SCORE 13865.477
AT ITER 1970 NEW BEST:: SOT 430584 SOS 422475 HAS SOPS 418475 HAS SOUS 13466 HAS SOUPS 13439 WITH SCORE 13861.475
AT ITER 2168 NEW BEST:: SOT 430582 SOS 422473 HAS SOPS 418473 HAS SOUS 13462 HAS SOUPS 13435 WITH SCORE 13857.473
AT ITER 2317 NEW BEST:: SOT 430582 SOS 390487 HAS SOPS 389047 HAS SOUS 13431 HAS SOUPS 13420 WITH SCORE 13810.487
AT ITER 2377 NEW BEST:: SOT 430574 SOS 390479 HAS SOPS 389039 HAS SOUS 13415 HAS SOUPS 13404 WITH SCORE 13794.479
AT ITER 2510 NEW BEST:: SOT 430528 SOS 390433 HAS SOPS 388993 HAS SOUS 13415 HAS SOUPS 13404 WITH SCORE 13794.433
AT ITER 2575 NEW BEST:: SOT 430526 SOS 390431 HAS SOPS 388991 HAS SOUS 13411 HAS SOUPS 13400 WITH SCORE 13790.431
AT ITER 2728 NEW BEST:: SOT 430524 SOS 390429 HAS SOPS 388989 HAS SOUS 13407 HAS SOUPS 13396 WITH SCORE 13786.429
AT ITER 2777 NEW BEST:: SOT 430524 SOS 390423 HAS SOPS 388983 HAS SOUS 13407 HAS SOUPS 13396 WITH SCORE 13786.423
AT ITER 2788 NEW BEST:: SOT 430516 SOS 390415 HAS SOPS 388975 HAS SOUS 13391 HAS SOUPS 13380 WITH SCORE 13770.415
AT ITER 2818 NEW BEST:: SOT 430512 SOS 390411 HAS SOPS 388971 HAS SOUS 13383 HAS SOUPS 13372 WITH SCORE 13762.411
AT ITER 2943 NEW BEST:: SOT 430512 SOS 389613 HAS SOPS 388173 HAS SOUS 13369 HAS SOUPS 13358 WITH SCORE 13747.613
AT ITER 3007 NEW BEST:: SOT 430512 SOS 389595 HAS SOPS 388155 HAS SOUS 13367 HAS SOUPS 13356 WITH SCORE 13745.595
AT ITER 3081 NEW BEST:: SOT 430510 SOS 389593 HAS SOPS 388153 HAS SOUS 13363 HAS SOUPS 13352 WITH SCORE 13741.593
AT ITER 3091 NEW BEST:: SOT 430502 SOS 389585 HAS SOPS 388145 HAS SOUS 13353 HAS SOUPS 13342 WITH SCORE 13731.585
AT ITER 3112 NEW BEST:: SOT 430458 SOS 389541 HAS SOPS 388101 HAS SOUS 13265 HAS SOUPS 13254 WITH SCORE 13643.541
AT ITER 3169 NEW BEST:: SOT 430455 SOS 389538 HAS SOPS 388098 HAS SOUS 13263 HAS SOUPS 13252 WITH SCORE 13641.538
AT ITER 3241 NEW BEST:: SOT 430453 SOS 389536 HAS SOPS 388096 HAS SOUS 13255 HAS SOUPS 13244 WITH SCORE 13633.536
AT ITER 3311 NEW BEST:: SOT 430451 SOS 389534 HAS SOPS 388094 HAS SOUS 13251 HAS SOUPS 13240 WITH SCORE 13629.534
AT ITER 3316 NEW BEST:: SOT 430449 SOS 389532 HAS SOPS 388092 HAS SOUS 13247 HAS SOUPS 13236 WITH SCORE 13625.532
AT ITER 3374 NEW BEST:: SOT 430411 SOS 389439 HAS SOPS 387992 HAS SOUS 13229 HAS SOUPS 13213 WITH SCORE 13602.439
AT ITER 3565 NEW BEST:: SOT 430409 SOS 389437 HAS SOPS 387990 HAS SOUS 13225 HAS SOUPS 13209 WITH SCORE 13598.437
AT ITER 3626 NEW BEST:: SOT 430407 SOS 389435 HAS SOPS 387988 HAS SOUS 13221 HAS SOUPS 13205 WITH SCORE 13594.435
AT ITER 3630 NEW BEST:: SOT 429533 SOS 388561 HAS SOPS 387114 HAS SOUS 13221 HAS SOUPS 13205 WITH SCORE 13593.561
AT ITER 3663 NEW BEST:: SOT 429533 SOS 388559 HAS SOPS 387112 HAS SOUS 13221 HAS SOUPS 13205 WITH SCORE 13593.559
AT ITER 3837 NEW BEST:: SOT 429525 SOS 388551 HAS SOPS 387104 HAS SOUS 13205 HAS SOUPS 13189 WITH SCORE 13577.551
AT ITER 3994 NEW BEST:: SOT 429521 SOS 388547 HAS SOPS 387100 HAS SOUS 13197 HAS SOUPS 13181 WITH SCORE 13569.547
AT ITER 4040 NEW BEST:: SOT 429811 SOS 388837 HAS SOPS 387390 HAS SOUS 13192 HAS SOUPS 13176 WITH SCORE 13564.837
AT ITER 4126 NEW BEST:: SOT 429809 SOS 388835 HAS SOPS 387388 HAS SOUS 13190 HAS SOUPS 13174 WITH SCORE 13562.835
AT ITER 4130 NEW BEST:: SOT 429734 SOS 388760 HAS SOPS 387313 HAS SOUS 13178 HAS SOUPS 13162 WITH SCORE 13550.76
AT ITER 4134 NEW BEST:: SOT 429688 SOS 388714 HAS SOPS 387267 HAS SOUS 13178 HAS SOUPS 13162 WITH SCORE 13550.714
AT ITER 4144 NEW BEST:: SOT 431474 SOS 390500 HAS SOPS 389053 HAS SOUS 13150 HAS SOUPS 13134 WITH SCORE 13524.5
AT ITER 4152 NEW BEST:: SOT 431474 SOS 390496 HAS SOPS 389049 HAS SOUS 13150 HAS SOUPS 13134 WITH SCORE 13524.496
AT ITER 4193 NEW BEST:: SOT 431470 SOS 390492 HAS SOPS 389045 HAS SOUS 13142 HAS SOUPS 13126 WITH SCORE 13516.492
AT ITER 4280 NEW BEST:: SOT 431466 SOS 390488 HAS SOPS 389041 HAS SOUS 13134 HAS SOUPS 13118 WITH SCORE 13508.488
AT ITER 4370 NEW BEST:: SOT 431458 SOS 390480 HAS SOPS 389033 HAS SOUS 13118 HAS SOUPS 13102 WITH SCORE 13492.48
AT ITER 4495 NEW BEST:: SOT 431090 SOS 390112 HAS SOPS 388665 HAS SOUS 13118 HAS SOUPS 13102 WITH SCORE 13492.112
AT ITER 4505 NEW BEST:: SOT 431088 SOS 390110 HAS SOPS 388663 HAS SOUS 13114 HAS SOUPS 13098 WITH SCORE 13488.11
AT ITER 4626 NEW BEST:: SOT 431078 SOS 390100 HAS SOPS 388653 HAS SOUS 13094 HAS SOUPS 13078 WITH SCORE 13468.1
AT ITER 4747 NEW BEST:: SOT 431074 SOS 390096 HAS SOPS 388649 HAS SOUS 13086 HAS SOUPS 13070 WITH SCORE 13460.096
AT ITER 4790 NEW BEST:: SOT 431068 SOS 390090 HAS SOPS 388643 HAS SOUS 13074 HAS SOUPS 13058 WITH SCORE 13448.09
AT ITER 4934 NEW BEST:: SOT 431066 SOS 390088 HAS SOPS 388641 HAS SOUS 13070 HAS SOUPS 13054 WITH SCORE 13444.088
AT ITER 4971 NEW BEST:: SOT 431054 SOS 390076 HAS SOPS 388629 HAS SOUS 13046 HAS SOUPS 13030 WITH SCORE 13420.076000000001
AT ITER 5034 NEW BEST:: SOT 431060 SOS 389339 HAS SOPS 387892 HAS SOUS 13041 HAS SOUPS 13025 WITH SCORE 13414.339
AT ITER 5079 NEW BEST:: SOT 431056 SOS 389335 HAS SOPS 387888 HAS SOUS 13033 HAS SOUPS 13017 WITH SCORE 13406.335
AT ITER 5109 NEW BEST:: SOT 431052 SOS 389331 HAS SOPS 387884 HAS SOUS 13025 HAS SOUPS 13009 WITH SCORE 13398.331
AT ITER 5187 NEW BEST:: SOT 431050 SOS 389329 HAS SOPS 387882 HAS SOUS 13021 HAS SOUPS 13005 WITH SCORE 13394.329
AT ITER 5200 NEW BEST:: SOT 431040 SOS 389319 HAS SOPS 387872 HAS SOUS 13001 HAS SOUPS 12985 WITH SCORE 13374.319
AT ITER 5400 NEW BEST:: SOT 431040 SOS 389295 HAS SOPS 387848 HAS SOUS 12996 HAS SOUPS 12980 WITH SCORE 13369.295
AT ITER 5510 NEW BEST:: SOT 431038 SOS 389293 HAS SOPS 387846 HAS SOUS 12992 HAS SOUPS 12976 WITH SCORE 13365.293
AT ITER 5537 NEW BEST:: SOT 430348 SOS 388603 HAS SOPS 387156 HAS SOUS 12992 HAS SOUPS 12976 WITH SCORE 13364.603
AT ITER 5562 NEW BEST:: SOT 430324 SOS 388579 HAS SOPS 387132 HAS SOUS 12944 HAS SOUPS 12928 WITH SCORE 13316.579
AT ITER 5604 NEW BEST:: SOT 430322 SOS 388577 HAS SOPS 387130 HAS SOUS 12940 HAS SOUPS 12924 WITH SCORE 13312.577
AT ITER 5686 NEW BEST:: SOT 430320 SOS 388575 HAS SOPS 387128 HAS SOUS 12936 HAS SOUPS 12920 WITH SCORE 13308.575
AT ITER 5780 NEW BEST:: SOT 430318 SOS 388573 HAS SOPS 387126 HAS SOUS 12932 HAS SOUPS 12916 WITH SCORE 13304.573
AT ITER 5911 NEW BEST:: SOT 430312 SOS 388567 HAS SOPS 387120 HAS SOUS 12926 HAS SOUPS 12910 WITH SCORE 13298.567
AT ITER 6035 NEW BEST:: SOT 430304 SOS 388559 HAS SOPS 387112 HAS SOUS 12910 HAS SOUPS 12894 WITH SCORE 13282.559
AT ITER 6596 NEW BEST:: SOT 430300 SOS 388555 HAS SOPS 387108 HAS SOUS 12902 HAS SOUPS 12886 WITH SCORE 13274.555
AT ITER 6845 NEW BEST:: SOT 430934 SOS 389189 HAS SOPS 387742 HAS SOUS 12882 HAS SOUPS 12866 WITH SCORE 13255.189
AT ITER 7128 NEW BEST:: SOT 430932 SOS 389187 HAS SOPS 387740 HAS SOUS 12878 HAS SOUPS 12862 WITH SCORE 13251.187
AT ITER 7211 NEW BEST:: SOT 430930 SOS 389185 HAS SOPS 387738 HAS SOUS 12874 HAS SOUPS 12858 WITH SCORE 13247.185
AT ITER 7374 NEW BEST:: SOT 430890 SOS 389143 HAS SOPS 387696 HAS SOUS 12828 HAS SOUPS 12812 WITH SCORE 13201.143
AT ITER 7471 NEW BEST:: SOT 430890 SOS 385385 HAS SOPS 385298 HAS SOUS 12814 HAS SOUPS 12808 WITH SCORE 13193.385
AT ITER 7474 NEW BEST:: SOT 430890 SOS 384317 HAS SOPS 384202 HAS SOUS 12828 HAS SOUPS 12808 WITH SCORE 13192.317
AT ITER 7571 NEW BEST:: SOT 431231 SOS 384658 HAS SOPS 384543 HAS SOUS 12820 HAS SOUPS 12800 WITH SCORE 13184.658
AT ITER 7626 NEW BEST:: SOT 431227 SOS 384654 HAS SOPS 384539 HAS SOUS 12812 HAS SOUPS 12792 WITH SCORE 13176.654
AT ITER 7692 NEW BEST:: SOT 431227 SOS 384646 HAS SOPS 384531 HAS SOUS 12812 HAS SOUPS 12792 WITH SCORE 13176.646
AT ITER 7756 NEW BEST:: SOT 431236 SOS 384814 HAS SOPS 384619 HAS SOUS 12810 HAS SOUPS 12790 WITH SCORE 13174.814
AT ITER 7786 NEW BEST:: SOT 431119 SOS 384697 HAS SOPS 384502 HAS SOUS 12806 HAS SOUPS 12786 WITH SCORE 13170.697
AT ITER 8135 NEW BEST:: SOT 431101 SOS 384679 HAS SOPS 384484 HAS SOUS 12770 HAS SOUPS 12750 WITH SCORE 13134.679
AT ITER 8322 NEW BEST:: SOT 431100 SOS 384678 HAS SOPS 384483 HAS SOUS 12767 HAS SOUPS 12747 WITH SCORE 13131.678
AT ITER 8349 NEW BEST:: SOT 431100 SOS 384354 HAS SOPS 384159 HAS SOUS 12763 HAS SOUPS 12743 WITH SCORE 13127.354
AT ITER 8351 NEW BEST:: SOT 431144 SOS 384398 HAS SOPS 384203 HAS SOUS 12761 HAS SOUPS 12741 WITH SCORE 13125.398
AT ITER 8479 NEW BEST:: SOT 431140 SOS 384394 HAS SOPS 384199 HAS SOUS 12753 HAS SOUPS 12733 WITH SCORE 13117.394
AT ITER 8639 NEW BEST:: SOT 431202 SOS 384456 HAS SOPS 384261 HAS SOUS 12742 HAS SOUPS 12722 WITH SCORE 13106.456
AT ITER 8705 NEW BEST:: SOT 431200 SOS 384454 HAS SOPS 384259 HAS SOUS 12738 HAS SOUPS 12718 WITH SCORE 13102.454
AT ITER 9062 NEW BEST:: SOT 431200 SOS 384452 HAS SOPS 384257 HAS SOUS 12738 HAS SOUPS 12718 WITH SCORE 13102.452
AT ITER 9377 NEW BEST:: SOT 431199 SOS 384771 HAS SOPS 384740 HAS SOUS 12722 HAS SOUPS 12706 WITH SCORE 13090.771
AT ITER 9524 NEW BEST:: SOT 431193 SOS 384765 HAS SOPS 384734 HAS SOUS 12710 HAS SOUPS 12694 WITH SCORE 13078.765
AT ITER 9545 NEW BEST:: SOT 431213 SOS 382142 HAS SOPS 382111 HAS SOUS 12707 HAS SOUPS 12691 WITH SCORE 13073.142
AT ITER 9554 NEW BEST:: SOT 431207 SOS 382136 HAS SOPS 382105 HAS SOUS 12695 HAS SOUPS 12679 WITH SCORE 13061.136
AT ITER 9654 NEW BEST:: SOT 431203 SOS 382132 HAS SOPS 382101 HAS SOUS 12687 HAS SOUPS 12671 WITH SCORE 13053.132
AT ITER 9761 NEW BEST:: SOT 431149 SOS 382078 HAS SOPS 382047 HAS SOUS 12579 HAS SOUPS 12563 WITH SCORE 12945.078
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 2783864 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16142512 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-V80P20N20"
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-V80P20N20, 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-167813688000288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P20N20.tgz
mv BridgeAndVehicles-PT-V80P20N20 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 '
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 ;