Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484000288.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DBSingleClientW-PT-d1m10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484000288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 800K
-rw-r--r-- 1 mcc users 7.3K Feb 26 15:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 15:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 26 15:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 30K Feb 26 15:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 15:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 15:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 15:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 15:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K 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 1678355851603

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DBSingleClientW-PT-d1m10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 09:57:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 09:57:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 09:57:33] [INFO ] Load time of PNML (sax parser for PT used): 87 ms
[2023-03-09 09:57:33] [INFO ] Transformed 1440 places.
[2023-03-09 09:57:33] [INFO ] Transformed 672 transitions.
[2023-03-09 09:57:33] [INFO ] Parsed PT model containing 1440 places and 672 transitions and 2688 arcs in 154 ms.
[2023-03-09 09:57:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1440 places, 672 transitions and 2688 arcs took 11 ms.
Total runtime 193 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1440 places, 672 transitions, 2688 arcs.
AT ITER 0 NEW BEST:: SOT 229313 SOS 216647 HAS SOPS 216632 HAS SOUS 158140 HAS SOUPS 158125 WITH SCORE 158341.647
AT ITER 73 NEW BEST:: SOT 229325 SOS 216659 HAS SOPS 216644 HAS SOUS 158042 HAS SOUPS 158027 WITH SCORE 158243.659
AT ITER 116 NEW BEST:: SOT 229325 SOS 216659 HAS SOPS 216644 HAS SOUS 157998 HAS SOUPS 157983 WITH SCORE 158199.659
AT ITER 133 NEW BEST:: SOT 229325 SOS 216659 HAS SOPS 216644 HAS SOUS 157997 HAS SOUPS 157982 WITH SCORE 158198.659
AT ITER 146 NEW BEST:: SOT 229325 SOS 216659 HAS SOPS 216644 HAS SOUS 157993 HAS SOUPS 157978 WITH SCORE 158194.659
AT ITER 214 NEW BEST:: SOT 229325 SOS 216668 HAS SOPS 216653 HAS SOUS 157992 HAS SOUPS 157977 WITH SCORE 158193.668
AT ITER 331 NEW BEST:: SOT 229325 SOS 215975 HAS SOPS 215960 HAS SOUS 157992 HAS SOUPS 157977 WITH SCORE 158192.975
AT ITER 388 NEW BEST:: SOT 229325 SOS 215845 HAS SOPS 215830 HAS SOUS 157881 HAS SOUPS 157866 WITH SCORE 158081.845
AT ITER 406 NEW BEST:: SOT 229400 SOS 215920 HAS SOPS 215905 HAS SOUS 157824 HAS SOUPS 157809 WITH SCORE 158024.92
AT ITER 418 NEW BEST:: SOT 229620 SOS 214076 HAS SOPS 214061 HAS SOUS 157517 HAS SOUPS 157502 WITH SCORE 157716.076
AT ITER 428 NEW BEST:: SOT 229823 SOS 213093 HAS SOPS 213072 HAS SOUS 157293 HAS SOUPS 157273 WITH SCORE 157486.093
AT ITER 458 NEW BEST:: SOT 229823 SOS 213078 HAS SOPS 213057 HAS SOUS 157293 HAS SOUPS 157273 WITH SCORE 157486.078
AT ITER 465 NEW BEST:: SOT 229823 SOS 213078 HAS SOPS 213057 HAS SOUS 157288 HAS SOUPS 157268 WITH SCORE 157481.078
AT ITER 482 NEW BEST:: SOT 229823 SOS 213078 HAS SOPS 213057 HAS SOUS 157265 HAS SOUPS 157245 WITH SCORE 157458.078
AT ITER 563 NEW BEST:: SOT 229823 SOS 213058 HAS SOPS 213037 HAS SOUS 157265 HAS SOUPS 157245 WITH SCORE 157458.058
AT ITER 618 NEW BEST:: SOT 229823 SOS 213042 HAS SOPS 213021 HAS SOUS 157263 HAS SOUPS 157243 WITH SCORE 157456.042
AT ITER 633 NEW BEST:: SOT 229823 SOS 213042 HAS SOPS 213021 HAS SOUS 157262 HAS SOUPS 157242 WITH SCORE 157455.042
AT ITER 637 NEW BEST:: SOT 229859 SOS 213078 HAS SOPS 213057 HAS SOUS 157261 HAS SOUPS 157241 WITH SCORE 157454.078
AT ITER 645 NEW BEST:: SOT 230207 SOS 213426 HAS SOPS 213405 HAS SOUS 156912 HAS SOUPS 156892 WITH SCORE 157105.426
AT ITER 675 NEW BEST:: SOT 230271 SOS 213490 HAS SOPS 213469 HAS SOUS 156898 HAS SOUPS 156878 WITH SCORE 157091.49
AT ITER 692 NEW BEST:: SOT 230271 SOS 213490 HAS SOPS 213469 HAS SOUS 156873 HAS SOUPS 156853 WITH SCORE 157066.49
AT ITER 717 NEW BEST:: SOT 230271 SOS 213632 HAS SOPS 213611 HAS SOUS 156804 HAS SOUPS 156784 WITH SCORE 156997.632
AT ITER 743 NEW BEST:: SOT 230913 SOS 214274 HAS SOPS 214253 HAS SOUS 156470 HAS SOUPS 156450 WITH SCORE 156664.274
AT ITER 767 NEW BEST:: SOT 230949 SOS 214310 HAS SOPS 214289 HAS SOUS 156254 HAS SOUPS 156234 WITH SCORE 156448.31
AT ITER 768 NEW BEST:: SOT 230949 SOS 214310 HAS SOPS 214289 HAS SOUS 156234 HAS SOUPS 156214 WITH SCORE 156428.31
AT ITER 771 NEW BEST:: SOT 231297 SOS 214658 HAS SOPS 214637 HAS SOUS 155888 HAS SOUPS 155868 WITH SCORE 156082.658
AT ITER 793 NEW BEST:: SOT 231297 SOS 214678 HAS SOPS 214657 HAS SOUS 155589 HAS SOUPS 155569 WITH SCORE 155783.678
AT ITER 806 NEW BEST:: SOT 232457 SOS 215838 HAS SOPS 215817 HAS SOUS 155456 HAS SOUPS 155436 WITH SCORE 155651.838
AT ITER 811 NEW BEST:: SOT 233301 SOS 216682 HAS SOPS 216661 HAS SOUS 155386 HAS SOUPS 155366 WITH SCORE 155582.682
AT ITER 837 NEW BEST:: SOT 233301 SOS 216611 HAS SOPS 216590 HAS SOUS 155347 HAS SOUPS 155327 WITH SCORE 155543.611
AT ITER 845 NEW BEST:: SOT 233301 SOS 216611 HAS SOPS 216590 HAS SOUS 155185 HAS SOUPS 155165 WITH SCORE 155381.611
AT ITER 888 NEW BEST:: SOT 233301 SOS 216574 HAS SOPS 216553 HAS SOUS 154889 HAS SOUPS 154869 WITH SCORE 155085.574
AT ITER 893 NEW BEST:: SOT 233301 SOS 216574 HAS SOPS 216553 HAS SOUS 154823 HAS SOUPS 154803 WITH SCORE 155019.574
AT ITER 917 NEW BEST:: SOT 233405 SOS 216678 HAS SOPS 216657 HAS SOUS 154664 HAS SOUPS 154644 WITH SCORE 154860.678
AT ITER 932 NEW BEST:: SOT 233009 SOS 216282 HAS SOPS 216261 HAS SOUS 154400 HAS SOUPS 154380 WITH SCORE 154596.282
AT ITER 973 NEW BEST:: SOT 232991 SOS 216264 HAS SOPS 216243 HAS SOUS 154394 HAS SOUPS 154374 WITH SCORE 154590.264
AT ITER 1012 NEW BEST:: SOT 233175 SOS 216448 HAS SOPS 216427 HAS SOUS 153615 HAS SOUPS 153595 WITH SCORE 153811.448
AT ITER 1013 NEW BEST:: SOT 233175 SOS 216269 HAS SOPS 216248 HAS SOUS 153436 HAS SOUPS 153416 WITH SCORE 153632.269
AT ITER 1023 NEW BEST:: SOT 233175 SOS 216143 HAS SOPS 216122 HAS SOUS 153436 HAS SOUPS 153416 WITH SCORE 153632.143
AT ITER 1078 NEW BEST:: SOT 233175 SOS 216139 HAS SOPS 216118 HAS SOUS 153432 HAS SOUPS 153412 WITH SCORE 153628.139
AT ITER 1159 NEW BEST:: SOT 233175 SOS 216139 HAS SOPS 216118 HAS SOUS 151940 HAS SOUPS 151920 WITH SCORE 152136.139
AT ITER 1176 NEW BEST:: SOT 233175 SOS 216337 HAS SOPS 216316 HAS SOUS 151850 HAS SOUPS 151830 WITH SCORE 152046.337
AT ITER 1182 NEW BEST:: SOT 233175 SOS 216337 HAS SOPS 216316 HAS SOUS 151849 HAS SOUPS 151829 WITH SCORE 152045.337
AT ITER 1189 NEW BEST:: SOT 233175 SOS 216315 HAS SOPS 216294 HAS SOUS 151717 HAS SOUPS 151697 WITH SCORE 151913.315
AT ITER 1192 NEW BEST:: SOT 235191 SOS 217265 HAS SOPS 217244 HAS SOUS 151145 HAS SOUPS 151125 WITH SCORE 151342.265
AT ITER 1213 NEW BEST:: SOT 235191 SOS 215685 HAS SOPS 215664 HAS SOUS 151064 HAS SOUPS 151044 WITH SCORE 151259.685
AT ITER 1230 NEW BEST:: SOT 235191 SOS 215631 HAS SOPS 215610 HAS SOUS 151055 HAS SOUPS 151035 WITH SCORE 151250.631
AT ITER 1248 NEW BEST:: SOT 235191 SOS 215511 HAS SOPS 215490 HAS SOUS 150515 HAS SOUPS 150495 WITH SCORE 150710.511
AT ITER 1251 NEW BEST:: SOT 238620 SOS 218712 HAS SOPS 218691 HAS SOUS 150092 HAS SOUPS 150072 WITH SCORE 150290.712
AT ITER 1260 NEW BEST:: SOT 239457 SOS 219549 HAS SOPS 219528 HAS SOUS 147735 HAS SOUPS 147715 WITH SCORE 147934.549
AT ITER 1269 NEW BEST:: SOT 240255 SOS 220347 HAS SOPS 220326 HAS SOUS 147629 HAS SOUPS 147609 WITH SCORE 147829.347
AT ITER 1316 NEW BEST:: SOT 244890 SOS 224982 HAS SOPS 224961 HAS SOUS 146661 HAS SOUPS 146641 WITH SCORE 146865.982
AT ITER 1320 NEW BEST:: SOT 244890 SOS 224982 HAS SOPS 224961 HAS SOUS 146660 HAS SOUPS 146640 WITH SCORE 146864.982
AT ITER 1370 NEW BEST:: SOT 245022 SOS 225114 HAS SOPS 225093 HAS SOUS 146518 HAS SOUPS 146498 WITH SCORE 146723.114
AT ITER 1371 NEW BEST:: SOT 245070 SOS 225162 HAS SOPS 225141 HAS SOUS 146487 HAS SOUPS 146467 WITH SCORE 146692.162
AT ITER 1374 NEW BEST:: SOT 245738 SOS 225830 HAS SOPS 225809 HAS SOUS 146251 HAS SOUPS 146231 WITH SCORE 146456.83
AT ITER 1410 NEW BEST:: SOT 245558 SOS 225887 HAS SOPS 225866 HAS SOUS 146151 HAS SOUPS 146131 WITH SCORE 146356.887
AT ITER 1482 NEW BEST:: SOT 245066 SOS 225395 HAS SOPS 225374 HAS SOUS 145987 HAS SOUPS 145967 WITH SCORE 146192.395
AT ITER 1490 NEW BEST:: SOT 245066 SOS 225395 HAS SOPS 225374 HAS SOUS 145946 HAS SOUPS 145926 WITH SCORE 146151.395
AT ITER 1514 NEW BEST:: SOT 245066 SOS 224602 HAS SOPS 224581 HAS SOUS 145858 HAS SOUPS 145838 WITH SCORE 146062.602
AT ITER 1540 NEW BEST:: SOT 245072 SOS 224608 HAS SOPS 224587 HAS SOUS 145711 HAS SOUPS 145691 WITH SCORE 145915.608
AT ITER 1554 NEW BEST:: SOT 251111 SOS 230400 HAS SOPS 230379 HAS SOUS 144991 HAS SOUPS 144971 WITH SCORE 145201.4
AT ITER 1589 NEW BEST:: SOT 251111 SOS 230353 HAS SOPS 230332 HAS SOUS 144897 HAS SOUPS 144877 WITH SCORE 145107.353
AT ITER 1598 NEW BEST:: SOT 251111 SOS 230312 HAS SOPS 230291 HAS SOUS 144878 HAS SOUPS 144858 WITH SCORE 145088.312
AT ITER 1609 NEW BEST:: SOT 251111 SOS 229763 HAS SOPS 229742 HAS SOUS 144878 HAS SOUPS 144858 WITH SCORE 145087.763
AT ITER 1620 NEW BEST:: SOT 251157 SOS 229809 HAS SOPS 229788 HAS SOUS 144765 HAS SOUPS 144745 WITH SCORE 144974.809
AT ITER 1674 NEW BEST:: SOT 251227 SOS 229879 HAS SOPS 229858 HAS SOUS 144688 HAS SOUPS 144668 WITH SCORE 144897.879
AT ITER 1675 NEW BEST:: SOT 248347 SOS 226999 HAS SOPS 226978 HAS SOUS 143120 HAS SOUPS 143100 WITH SCORE 143326.999
AT ITER 1743 NEW BEST:: SOT 252487 SOS 230946 HAS SOPS 230925 HAS SOUS 141363 HAS SOUPS 141343 WITH SCORE 141573.946
AT ITER 1759 NEW BEST:: SOT 252487 SOS 230674 HAS SOPS 230653 HAS SOUS 139822 HAS SOUPS 139802 WITH SCORE 140032.674
AT ITER 1763 NEW BEST:: SOT 162899 SOS 148081 HAS SOPS 144059 HAS SOUS 50421 HAS SOUPS 50132 WITH SCORE 50280.081
AT ITER 1806 NEW BEST:: SOT 163072 SOS 148254 HAS SOPS 144232 HAS SOUS 50398 HAS SOUPS 50109 WITH SCORE 50257.254
AT ITER 1812 NEW BEST:: SOT 162936 SOS 148118 HAS SOPS 144130 HAS SOUS 50398 HAS SOUPS 50109 WITH SCORE 50257.118
AT ITER 1858 NEW BEST:: SOT 164096 SOS 149278 HAS SOPS 144920 HAS SOUS 50120 HAS SOUPS 49831 WITH SCORE 49980.278
AT ITER 1914 NEW BEST:: SOT 164096 SOS 148071 HAS SOPS 143633 HAS SOUS 50084 HAS SOUPS 49795 WITH SCORE 49943.071
AT ITER 1947 NEW BEST:: SOT 163919 SOS 147894 HAS SOPS 143456 HAS SOUS 49973 HAS SOUPS 49684 WITH SCORE 49831.894
AT ITER 2024 NEW BEST:: SOT 163772 SOS 147520 HAS SOPS 142599 HAS SOUS 49917 HAS SOUPS 49628 WITH SCORE 49775.52
AT ITER 2107 NEW BEST:: SOT 163619 SOS 147328 HAS SOPS 142407 HAS SOUS 49684 HAS SOUPS 49395 WITH SCORE 49542.328
AT ITER 2113 NEW BEST:: SOT 163189 SOS 146898 HAS SOPS 141977 HAS SOUS 49554 HAS SOUPS 49265 WITH SCORE 49411.898
AT ITER 2126 NEW BEST:: SOT 163175 SOS 146884 HAS SOPS 141963 HAS SOUS 49431 HAS SOUPS 49142 WITH SCORE 49288.884
AT ITER 2144 NEW BEST:: SOT 163515 SOS 147154 HAS SOPS 142233 HAS SOUS 49322 HAS SOUPS 49033 WITH SCORE 49180.154
AT ITER 2224 NEW BEST:: SOT 164275 SOS 147914 HAS SOPS 142993 HAS SOUS 48930 HAS SOUPS 48641 WITH SCORE 48788.914
AT ITER 2273 NEW BEST:: SOT 164157 SOS 147796 HAS SOPS 142739 HAS SOUS 48812 HAS SOUPS 48523 WITH SCORE 48670.796
AT ITER 2317 NEW BEST:: SOT 164132 SOS 147771 HAS SOPS 142714 HAS SOUS 48725 HAS SOUPS 48436 WITH SCORE 48583.771
AT ITER 2323 NEW BEST:: SOT 164120 SOS 147759 HAS SOPS 142702 HAS SOUS 48651 HAS SOUPS 48362 WITH SCORE 48509.759
AT ITER 2337 NEW BEST:: SOT 164189 SOS 147828 HAS SOPS 142627 HAS SOUS 48575 HAS SOUPS 48286 WITH SCORE 48433.828
AT ITER 2387 NEW BEST:: SOT 164187 SOS 147826 HAS SOPS 142625 HAS SOUS 48571 HAS SOUPS 48282 WITH SCORE 48429.826
AT ITER 2406 NEW BEST:: SOT 164165 SOS 147804 HAS SOPS 142603 HAS SOUS 48571 HAS SOUPS 48282 WITH SCORE 48429.804
AT ITER 2443 NEW BEST:: SOT 164159 SOS 147761 HAS SOPS 142542 HAS SOUS 48559 HAS SOUPS 48270 WITH SCORE 48417.761
AT ITER 2471 NEW BEST:: SOT 164159 SOS 147695 HAS SOPS 142476 HAS SOUS 48559 HAS SOUPS 48270 WITH SCORE 48417.695
AT ITER 2544 NEW BEST:: SOT 164081 SOS 147617 HAS SOPS 142398 HAS SOUS 48481 HAS SOUPS 48192 WITH SCORE 48339.617
AT ITER 2587 NEW BEST:: SOT 164056 SOS 147592 HAS SOPS 142373 HAS SOUS 48433 HAS SOUPS 48144 WITH SCORE 48291.592
AT ITER 2644 NEW BEST:: SOT 164056 SOS 147590 HAS SOPS 142371 HAS SOUS 48380 HAS SOUPS 48091 WITH SCORE 48238.59
AT ITER 2666 NEW BEST:: SOT 164592 SOS 148160 HAS SOPS 143008 HAS SOUS 48209 HAS SOUPS 47920 WITH SCORE 48068.16
AT ITER 2669 NEW BEST:: SOT 164534 SOS 148102 HAS SOPS 142950 HAS SOUS 48107 HAS SOUPS 47818 WITH SCORE 47966.102
AT ITER 2673 NEW BEST:: SOT 162624 SOS 146192 HAS SOPS 141040 HAS SOUS 47725 HAS SOUPS 47436 WITH SCORE 47582.192
AT ITER 2723 NEW BEST:: SOT 162573 SOS 146141 HAS SOPS 140989 HAS SOUS 47674 HAS SOUPS 47385 WITH SCORE 47531.141
AT ITER 2778 NEW BEST:: SOT 162453 SOS 146021 HAS SOPS 140869 HAS SOUS 47327 HAS SOUPS 47038 WITH SCORE 47184.021
AT ITER 2835 NEW BEST:: SOT 162763 SOS 146331 HAS SOPS 141179 HAS SOUS 47269 HAS SOUPS 46980 WITH SCORE 47126.331
AT ITER 2949 NEW BEST:: SOT 162713 SOS 146281 HAS SOPS 141129 HAS SOUS 47219 HAS SOUPS 46930 WITH SCORE 47076.281
AT ITER 2955 NEW BEST:: SOT 162655 SOS 146183 HAS SOPS 140828 HAS SOUS 47165 HAS SOUPS 46876 WITH SCORE 47022.183
AT ITER 3013 NEW BEST:: SOT 162655 SOS 146183 HAS SOPS 140828 HAS SOUS 47125 HAS SOUPS 46836 WITH SCORE 46982.183
AT ITER 3054 NEW BEST:: SOT 162543 SOS 146071 HAS SOPS 140716 HAS SOUS 47125 HAS SOUPS 46836 WITH SCORE 46982.071
AT ITER 3228 NEW BEST:: SOT 161643 SOS 145171 HAS SOPS 139816 HAS SOUS 47025 HAS SOUPS 46736 WITH SCORE 46881.171
AT ITER 3272 NEW BEST:: SOT 161800 SOS 145328 HAS SOPS 139973 HAS SOUS 46937 HAS SOUPS 46648 WITH SCORE 46793.328
AT ITER 3300 NEW BEST:: SOT 161800 SOS 145328 HAS SOPS 139867 HAS SOUS 46831 HAS SOUPS 46542 WITH SCORE 46687.328
AT ITER 3307 NEW BEST:: SOT 161763 SOS 145291 HAS SOPS 139830 HAS SOUS 46791 HAS SOUPS 46502 WITH SCORE 46647.291
AT ITER 3393 NEW BEST:: SOT 161689 SOS 145217 HAS SOPS 139756 HAS SOUS 46739 HAS SOUPS 46450 WITH SCORE 46595.217
AT ITER 3459 NEW BEST:: SOT 161457 SOS 144985 HAS SOPS 139524 HAS SOUS 46554 HAS SOUPS 46265 WITH SCORE 46409.985
AT ITER 3543 NEW BEST:: SOT 164393 SOS 147841 HAS SOPS 141936 HAS SOUS 46192 HAS SOUPS 45903 WITH SCORE 46050.841
AT ITER 3584 NEW BEST:: SOT 164393 SOS 147759 HAS SOPS 141814 HAS SOUS 46128 HAS SOUPS 45839 WITH SCORE 45986.759
AT ITER 3678 NEW BEST:: SOT 161033 SOS 144399 HAS SOPS 138454 HAS SOUS 45935 HAS SOUPS 45646 WITH SCORE 45790.399
AT ITER 3741 NEW BEST:: SOT 161385 SOS 144697 HAS SOPS 138752 HAS SOUS 45731 HAS SOUPS 45442 WITH SCORE 45586.697
AT ITER 3814 NEW BEST:: SOT 157141 SOS 140453 HAS SOPS 134508 HAS SOUS 45246 HAS SOUPS 44957 WITH SCORE 45097.453
AT ITER 3816 NEW BEST:: SOT 156261 SOS 139573 HAS SOPS 133628 HAS SOUS 44366 HAS SOUPS 44077 WITH SCORE 44216.573
AT ITER 3818 NEW BEST:: SOT 156261 SOS 139042 HAS SOPS 133097 HAS SOUS 44366 HAS SOUPS 44077 WITH SCORE 44216.042
AT ITER 3836 NEW BEST:: SOT 155969 SOS 138750 HAS SOPS 132805 HAS SOUS 44365 HAS SOUPS 44076 WITH SCORE 44214.75
AT ITER 3955 NEW BEST:: SOT 155948 SOS 139199 HAS SOPS 133086 HAS SOUS 44344 HAS SOUPS 44055 WITH SCORE 44194.199
AT ITER 4011 NEW BEST:: SOT 156295 SOS 139318 HAS SOPS 133009 HAS SOUS 43932 HAS SOUPS 43643 WITH SCORE 43782.318
AT ITER 4023 NEW BEST:: SOT 159311 SOS 142353 HAS SOPS 136049 HAS SOUS 43715 HAS SOUPS 43426 WITH SCORE 43568.353
AT ITER 4046 NEW BEST:: SOT 160217 SOS 143259 HAS SOPS 136955 HAS SOUS 43581 HAS SOUPS 43292 WITH SCORE 43435.259
AT ITER 4068 NEW BEST:: SOT 160417 SOS 143459 HAS SOPS 137155 HAS SOUS 43481 HAS SOUPS 43192 WITH SCORE 43335.459
AT ITER 4138 NEW BEST:: SOT 160641 SOS 143683 HAS SOPS 137379 HAS SOUS 43181 HAS SOUPS 42892 WITH SCORE 43035.683
AT ITER 4149 NEW BEST:: SOT 160260 SOS 143302 HAS SOPS 137345 HAS SOUS 42792 HAS SOUPS 42503 WITH SCORE 42646.302
AT ITER 4156 NEW BEST:: SOT 160259 SOS 143301 HAS SOPS 137344 HAS SOUS 42790 HAS SOUPS 42501 WITH SCORE 42644.301
AT ITER 4163 NEW BEST:: SOT 160241 SOS 143283 HAS SOPS 137326 HAS SOUS 42773 HAS SOUPS 42484 WITH SCORE 42627.283
AT ITER 4198 NEW BEST:: SOT 160844 SOS 143886 HAS SOPS 137929 HAS SOUS 42724 HAS SOUPS 42435 WITH SCORE 42578.886
AT ITER 4220 NEW BEST:: SOT 160771 SOS 143813 HAS SOPS 137856 HAS SOUS 42723 HAS SOUPS 42434 WITH SCORE 42577.813
AT ITER 4273 NEW BEST:: SOT 161208 SOS 144250 HAS SOPS 138293 HAS SOUS 42673 HAS SOUPS 42384 WITH SCORE 42528.25
AT ITER 4352 NEW BEST:: SOT 161320 SOS 144362 HAS SOPS 138405 HAS SOUS 42642 HAS SOUPS 42353 WITH SCORE 42497.362
AT ITER 4486 NEW BEST:: SOT 161611 SOS 144653 HAS SOPS 138696 HAS SOUS 42629 HAS SOUPS 42340 WITH SCORE 42484.653
AT ITER 4540 NEW BEST:: SOT 161595 SOS 144637 HAS SOPS 138680 HAS SOUS 42583 HAS SOUPS 42294 WITH SCORE 42438.637
AT ITER 4686 NEW BEST:: SOT 160272 SOS 143314 HAS SOPS 137357 HAS SOUS 42436 HAS SOUPS 42147 WITH SCORE 42290.314
AT ITER 4714 NEW BEST:: SOT 160160 SOS 143168 HAS SOPS 137102 HAS SOUS 42430 HAS SOUPS 42141 WITH SCORE 42284.168
AT ITER 4727 NEW BEST:: SOT 160155 SOS 143144 HAS SOPS 137073 HAS SOUS 42425 HAS SOUPS 42136 WITH SCORE 42279.144
AT ITER 4730 NEW BEST:: SOT 160347 SOS 143336 HAS SOPS 137265 HAS SOUS 42361 HAS SOUPS 42072 WITH SCORE 42215.336
AT ITER 4731 NEW BEST:: SOT 160313 SOS 143243 HAS SOPS 137172 HAS SOUS 42342 HAS SOUPS 42053 WITH SCORE 42196.243
AT ITER 4798 NEW BEST:: SOT 159915 SOS 142845 HAS SOPS 136774 HAS SOUS 41948 HAS SOUPS 41659 WITH SCORE 41801.845
AT ITER 4824 NEW BEST:: SOT 159678 SOS 142608 HAS SOPS 136537 HAS SOUS 41869 HAS SOUPS 41580 WITH SCORE 41722.608
AT ITER 4839 NEW BEST:: SOT 159685 SOS 142615 HAS SOPS 136544 HAS SOUS 41861 HAS SOUPS 41572 WITH SCORE 41714.615
AT ITER 4868 NEW BEST:: SOT 159744 SOS 142701 HAS SOPS 136630 HAS SOUS 41854 HAS SOUPS 41565 WITH SCORE 41707.701
AT ITER 4881 NEW BEST:: SOT 159734 SOS 142691 HAS SOPS 136624 HAS SOUS 41718 HAS SOUPS 41429 WITH SCORE 41571.691
AT ITER 4909 NEW BEST:: SOT 159650 SOS 142607 HAS SOPS 136540 HAS SOUS 41698 HAS SOUPS 41409 WITH SCORE 41551.607
AT ITER 5151 NEW BEST:: SOT 159632 SOS 142589 HAS SOPS 136522 HAS SOUS 41664 HAS SOUPS 41375 WITH SCORE 41517.589
AT ITER 5197 NEW BEST:: SOT 159735 SOS 142692 HAS SOPS 136625 HAS SOUS 41622 HAS SOUPS 41333 WITH SCORE 41475.692
AT ITER 5267 NEW BEST:: SOT 159735 SOS 142692 HAS SOPS 136625 HAS SOUS 41614 HAS SOUPS 41325 WITH SCORE 41467.692
AT ITER 5270 NEW BEST:: SOT 159735 SOS 142692 HAS SOPS 136625 HAS SOUS 41456 HAS SOUPS 41167 WITH SCORE 41309.692
AT ITER 5500 NEW BEST:: SOT 159637 SOS 142594 HAS SOPS 136527 HAS SOUS 41362 HAS SOUPS 41073 WITH SCORE 41215.594
AT ITER 5655 NEW BEST:: SOT 159496 SOS 142453 HAS SOPS 136230 HAS SOUS 41350 HAS SOUPS 41061 WITH SCORE 41203.453
AT ITER 5675 NEW BEST:: SOT 159571 SOS 142528 HAS SOPS 136230 HAS SOUS 41275 HAS SOUPS 40986 WITH SCORE 41128.528
AT ITER 5697 NEW BEST:: SOT 163688 SOS 146645 HAS SOPS 140347 HAS SOUS 41250 HAS SOUPS 40961 WITH SCORE 41107.645
AT ITER 5935 NEW BEST:: SOT 163417 SOS 146374 HAS SOPS 140076 HAS SOUS 41209 HAS SOUPS 40920 WITH SCORE 41066.374
AT ITER 5990 NEW BEST:: SOT 163563 SOS 146520 HAS SOPS 140222 HAS SOUS 41136 HAS SOUPS 40847 WITH SCORE 40993.52
AT ITER 6007 NEW BEST:: SOT 163243 SOS 146200 HAS SOPS 139902 HAS SOUS 41072 HAS SOUPS 40783 WITH SCORE 40929.2
AT ITER 6190 NEW BEST:: SOT 163229 SOS 146186 HAS SOPS 139888 HAS SOUS 41032 HAS SOUPS 40743 WITH SCORE 40889.186
AT ITER 6248 NEW BEST:: SOT 163229 SOS 146205 HAS SOPS 139907 HAS SOUS 40887 HAS SOUPS 40598 WITH SCORE 40744.205
AT ITER 6360 NEW BEST:: SOT 163223 SOS 146199 HAS SOPS 139884 HAS SOUS 40884 HAS SOUPS 40595 WITH SCORE 40741.199
AT ITER 6400 NEW BEST:: SOT 163327 SOS 146303 HAS SOPS 139973 HAS SOUS 40849 HAS SOUPS 40560 WITH SCORE 40706.303
AT ITER 6406 NEW BEST:: SOT 163300 SOS 145592 HAS SOPS 139262 HAS SOUS 40822 HAS SOUPS 40533 WITH SCORE 40678.592
AT ITER 6476 NEW BEST:: SOT 162500 SOS 144792 HAS SOPS 138462 HAS SOUS 40662 HAS SOUPS 40373 WITH SCORE 40517.792
AT ITER 6574 NEW BEST:: SOT 162459 SOS 144751 HAS SOPS 138421 HAS SOUS 40623 HAS SOUPS 40334 WITH SCORE 40478.751
AT ITER 6599 NEW BEST:: SOT 162459 SOS 144688 HAS SOPS 138358 HAS SOUS 40617 HAS SOUPS 40328 WITH SCORE 40472.688
AT ITER 6602 NEW BEST:: SOT 162308 SOS 144537 HAS SOPS 138207 HAS SOUS 40487 HAS SOUPS 40198 WITH SCORE 40342.537
AT ITER 6626 NEW BEST:: SOT 161453 SOS 143682 HAS SOPS 137352 HAS SOUS 39632 HAS SOUPS 39343 WITH SCORE 39486.682
AT ITER 6672 NEW BEST:: SOT 161453 SOS 143682 HAS SOPS 137352 HAS SOUS 39618 HAS SOUPS 39329 WITH SCORE 39472.682
AT ITER 6728 NEW BEST:: SOT 161429 SOS 143658 HAS SOPS 137346 HAS SOUS 39577 HAS SOUPS 39288 WITH SCORE 39431.658
AT ITER 6750 NEW BEST:: SOT 161347 SOS 143576 HAS SOPS 137264 HAS SOUS 39577 HAS SOUPS 39288 WITH SCORE 39431.576
AT ITER 6761 NEW BEST:: SOT 161355 SOS 143584 HAS SOPS 137272 HAS SOUS 39573 HAS SOUPS 39284 WITH SCORE 39427.584
AT ITER 6789 NEW BEST:: SOT 158148 SOS 140377 HAS SOPS 134080 HAS SOUS 38965 HAS SOUPS 38676 WITH SCORE 38816.377
AT ITER 6844 NEW BEST:: SOT 158110 SOS 140339 HAS SOPS 134042 HAS SOUS 38889 HAS SOUPS 38600 WITH SCORE 38740.339
AT ITER 6893 NEW BEST:: SOT 157223 SOS 139452 HAS SOPS 133331 HAS SOUS 38000 HAS SOUPS 37716 WITH SCORE 37855.452
AT ITER 6997 NEW BEST:: SOT 157181 SOS 139410 HAS SOPS 133289 HAS SOUS 37958 HAS SOUPS 37674 WITH SCORE 37813.41
AT ITER 7063 NEW BEST:: SOT 157163 SOS 139392 HAS SOPS 133271 HAS SOUS 37922 HAS SOUPS 37638 WITH SCORE 37777.392
AT ITER 7152 NEW BEST:: SOT 157181 SOS 139410 HAS SOPS 133289 HAS SOUS 37904 HAS SOUPS 37620 WITH SCORE 37759.41
AT ITER 7181 NEW BEST:: SOT 156413 SOS 138642 HAS SOPS 132521 HAS SOUS 37904 HAS SOUPS 37620 WITH SCORE 37758.642
AT ITER 7256 NEW BEST:: SOT 156146 SOS 138381 HAS SOPS 132260 HAS SOUS 37895 HAS SOUPS 37611 WITH SCORE 37749.381
AT ITER 7274 NEW BEST:: SOT 156080 SOS 138315 HAS SOPS 132208 HAS SOUS 37802 HAS SOUPS 37518 WITH SCORE 37656.315
AT ITER 7288 NEW BEST:: SOT 156178 SOS 138413 HAS SOPS 132306 HAS SOUS 37679 HAS SOUPS 37395 WITH SCORE 37533.413
AT ITER 7292 NEW BEST:: SOT 156178 SOS 137623 HAS SOPS 131516 HAS SOUS 37635 HAS SOUPS 37351 WITH SCORE 37488.623
AT ITER 7400 NEW BEST:: SOT 156165 SOS 137610 HAS SOPS 131503 HAS SOUS 37622 HAS SOUPS 37338 WITH SCORE 37475.61
AT ITER 7457 NEW BEST:: SOT 156165 SOS 137589 HAS SOPS 131482 HAS SOUS 37601 HAS SOUPS 37317 WITH SCORE 37454.589
AT ITER 7466 NEW BEST:: SOT 156173 SOS 137597 HAS SOPS 131490 HAS SOUS 37597 HAS SOUPS 37313 WITH SCORE 37450.597
AT ITER 7482 NEW BEST:: SOT 156163 SOS 137587 HAS SOPS 131480 HAS SOUS 37592 HAS SOUPS 37308 WITH SCORE 37445.587
AT ITER 7509 NEW BEST:: SOT 156150 SOS 137574 HAS SOPS 131467 HAS SOUS 37575 HAS SOUPS 37291 WITH SCORE 37428.574
AT ITER 7574 NEW BEST:: SOT 156227 SOS 137651 HAS SOPS 131544 HAS SOUS 37484 HAS SOUPS 37200 WITH SCORE 37337.651
AT ITER 7576 NEW BEST:: SOT 156172 SOS 137596 HAS SOPS 131489 HAS SOUS 37484 HAS SOUPS 37200 WITH SCORE 37337.596
AT ITER 7687 NEW BEST:: SOT 156172 SOS 137704 HAS SOPS 131597 HAS SOUS 37478 HAS SOUPS 37194 WITH SCORE 37331.704
AT ITER 7704 NEW BEST:: SOT 156149 SOS 137681 HAS SOPS 131574 HAS SOUS 37441 HAS SOUPS 37157 WITH SCORE 37294.681
AT ITER 7730 NEW BEST:: SOT 155765 SOS 137297 HAS SOPS 131190 HAS SOUS 37239 HAS SOUPS 36955 WITH SCORE 37092.297
AT ITER 7956 NEW BEST:: SOT 155840 SOS 137372 HAS SOPS 131265 HAS SOUS 37171 HAS SOUPS 36887 WITH SCORE 37024.372
AT ITER 7974 NEW BEST:: SOT 155888 SOS 137420 HAS SOPS 131313 HAS SOUS 37154 HAS SOUPS 36870 WITH SCORE 37007.42
AT ITER 7986 NEW BEST:: SOT 155868 SOS 137400 HAS SOPS 131293 HAS SOUS 37149 HAS SOUPS 36865 WITH SCORE 37002.4
AT ITER 8073 NEW BEST:: SOT 158037 SOS 139524 HAS SOPS 133147 HAS SOUS 36823 HAS SOUPS 36538 WITH SCORE 36677.524
AT ITER 8076 NEW BEST:: SOT 158030 SOS 139517 HAS SOPS 133140 HAS SOUS 36816 HAS SOUPS 36531 WITH SCORE 36670.517
AT ITER 8140 NEW BEST:: SOT 158026 SOS 139458 HAS SOPS 133148 HAS SOUS 36724 HAS SOUPS 36439 WITH SCORE 36578.458
AT ITER 8143 NEW BEST:: SOT 158004 SOS 139436 HAS SOPS 133126 HAS SOUS 36691 HAS SOUPS 36406 WITH SCORE 36545.436
AT ITER 8236 NEW BEST:: SOT 158217 SOS 139649 HAS SOPS 133339 HAS SOUS 36650 HAS SOUPS 36365 WITH SCORE 36504.649
AT ITER 8250 NEW BEST:: SOT 158272 SOS 139704 HAS SOPS 133333 HAS SOUS 36654 HAS SOUPS 36356 WITH SCORE 36495.704
AT ITER 8323 NEW BEST:: SOT 158150 SOS 139582 HAS SOPS 133150 HAS SOUS 36593 HAS SOUPS 36295 WITH SCORE 36434.582
AT ITER 8527 NEW BEST:: SOT 158150 SOS 138580 HAS SOPS 132148 HAS SOUS 36529 HAS SOUPS 36231 WITH SCORE 36369.58
AT ITER 8575 NEW BEST:: SOT 158074 SOS 138491 HAS SOPS 132059 HAS SOUS 36493 HAS SOUPS 36195 WITH SCORE 36333.491
AT ITER 8653 NEW BEST:: SOT 158023 SOS 138440 HAS SOPS 131753 HAS SOUS 36372 HAS SOUPS 36074 WITH SCORE 36212.44
AT ITER 8704 NEW BEST:: SOT 158004 SOS 138421 HAS SOPS 131727 HAS SOUS 36362 HAS SOUPS 36064 WITH SCORE 36202.421
AT ITER 8719 NEW BEST:: SOT 157894 SOS 138311 HAS SOPS 131452 HAS SOUS 36252 HAS SOUPS 35954 WITH SCORE 36092.311
AT ITER 8724 NEW BEST:: SOT 157872 SOS 138289 HAS SOPS 131417 HAS SOUS 36205 HAS SOUPS 35907 WITH SCORE 36045.289
AT ITER 8834 NEW BEST:: SOT 159257 SOS 139674 HAS SOPS 132802 HAS SOUS 36170 HAS SOUPS 35872 WITH SCORE 36011.674
AT ITER 8849 NEW BEST:: SOT 159552 SOS 139969 HAS SOPS 133097 HAS SOUS 36100 HAS SOUPS 35802 WITH SCORE 35941.969
AT ITER 8859 NEW BEST:: SOT 159611 SOS 140028 HAS SOPS 133156 HAS SOUS 36006 HAS SOUPS 35708 WITH SCORE 35848.028
AT ITER 9033 NEW BEST:: SOT 159671 SOS 140088 HAS SOPS 133216 HAS SOUS 35957 HAS SOUPS 35659 WITH SCORE 35799.088
AT ITER 9180 NEW BEST:: SOT 159594 SOS 140011 HAS SOPS 133139 HAS SOUS 35927 HAS SOUPS 35629 WITH SCORE 35769.011
AT ITER 9187 NEW BEST:: SOT 159470 SOS 139887 HAS SOPS 133015 HAS SOUS 35803 HAS SOUPS 35505 WITH SCORE 35644.887
AT ITER 9385 NEW BEST:: SOT 159888 SOS 140287 HAS SOPS 133415 HAS SOUS 35704 HAS SOUPS 35406 WITH SCORE 35546.287
AT ITER 9408 NEW BEST:: SOT 160637 SOS 141036 HAS SOPS 133736 HAS SOUS 35597 HAS SOUPS 35299 WITH SCORE 35440.036
AT ITER 9417 NEW BEST:: SOT 160631 SOS 141030 HAS SOPS 133730 HAS SOUS 35591 HAS SOUPS 35293 WITH SCORE 35434.03
AT ITER 9777 NEW BEST:: SOT 160858 SOS 140614 HAS SOPS 133314 HAS SOUS 35463 HAS SOUPS 35165 WITH SCORE 35305.614
AT ITER 9842 NEW BEST:: SOT 160806 SOS 140562 HAS SOPS 133262 HAS SOUS 35456 HAS SOUPS 35158 WITH SCORE 35298.562
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 2431372 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121592 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="DBSingleClientW-PT-d1m10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is DBSingleClientW-PT-d1m10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484000288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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