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.r427-tajo-167905979600408.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 smartxred
Input is SieveSingleMsgMbox-PT-d1m04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979600408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 904K
-rw-r--r-- 1 mcc users 7.2K Feb 26 10:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 10:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 10:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 26 10:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 10:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 450K Mar 5 18:23 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 1679387502015

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=SieveSingleMsgMbox-PT-d1m04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 08:31:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 08:31:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 08:31:43] [INFO ] Load time of PNML (sax parser for PT used): 115 ms
[2023-03-21 08:31:43] [INFO ] Transformed 1295 places.
[2023-03-21 08:31:44] [INFO ] Transformed 749 transitions.
[2023-03-21 08:31:44] [INFO ] Parsed PT model containing 1295 places and 749 transitions and 2996 arcs in 195 ms.
[2023-03-21 08:31:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1295 places, 749 transitions and 2996 arcs took 12 ms.
Total runtime 243 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d1m04
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: 1295 places, 749 transitions, 2996 arcs.
AT ITER 0 NEW BEST:: SOT 191495 SOS 166175 HAS SOPS 166175 HAS SOUS 145713 HAS SOUPS 145713 WITH SCORE 145879.175
AT ITER 18 NEW BEST:: SOT 191495 SOS 165549 HAS SOPS 165549 HAS SOUS 145236 HAS SOUPS 145236 WITH SCORE 145401.549
AT ITER 43 NEW BEST:: SOT 191495 SOS 165428 HAS SOPS 165428 HAS SOUS 144926 HAS SOUPS 144926 WITH SCORE 145091.428
AT ITER 51 NEW BEST:: SOT 191495 SOS 164908 HAS SOPS 164908 HAS SOUS 141993 HAS SOUPS 141993 WITH SCORE 142157.908
AT ITER 92 NEW BEST:: SOT 191797 SOS 165132 HAS SOPS 165132 HAS SOUS 141918 HAS SOUPS 141918 WITH SCORE 142083.132
AT ITER 126 NEW BEST:: SOT 191797 SOS 164569 HAS SOPS 164569 HAS SOUS 139079 HAS SOUPS 139079 WITH SCORE 139243.569
AT ITER 139 NEW BEST:: SOT 191820 SOS 164548 HAS SOPS 164548 HAS SOUS 139046 HAS SOUPS 139046 WITH SCORE 139210.548
AT ITER 140 NEW BEST:: SOT 191820 SOS 164467 HAS SOPS 164467 HAS SOUS 136726 HAS SOUPS 136726 WITH SCORE 136890.467
AT ITER 179 NEW BEST:: SOT 191820 SOS 164242 HAS SOPS 164242 HAS SOUS 134494 HAS SOUPS 134494 WITH SCORE 134658.242
AT ITER 203 NEW BEST:: SOT 191820 SOS 163945 HAS SOPS 163945 HAS SOUS 132571 HAS SOUPS 132571 WITH SCORE 132734.945
AT ITER 218 NEW BEST:: SOT 191820 SOS 163809 HAS SOPS 163809 HAS SOUS 132501 HAS SOUPS 132501 WITH SCORE 132664.809
AT ITER 236 NEW BEST:: SOT 191820 SOS 163192 HAS SOPS 163192 HAS SOUS 130671 HAS SOUPS 130671 WITH SCORE 130834.192
AT ITER 241 NEW BEST:: SOT 191820 SOS 163088 HAS SOPS 163088 HAS SOUS 130671 HAS SOUPS 130671 WITH SCORE 130834.088
AT ITER 267 NEW BEST:: SOT 196286 SOS 166094 HAS SOPS 166094 HAS SOUS 129551 HAS SOUPS 129551 WITH SCORE 129717.094
AT ITER 298 NEW BEST:: SOT 196286 SOS 166058 HAS SOPS 166058 HAS SOUS 128957 HAS SOUPS 128957 WITH SCORE 129123.058
AT ITER 350 NEW BEST:: SOT 196286 SOS 165637 HAS SOPS 165637 HAS SOUS 127338 HAS SOUPS 127338 WITH SCORE 127503.637
AT ITER 391 NEW BEST:: SOT 196286 SOS 165593 HAS SOPS 165593 HAS SOUS 127063 HAS SOUPS 127063 WITH SCORE 127228.593
AT ITER 450 NEW BEST:: SOT 196286 SOS 165593 HAS SOPS 165593 HAS SOUS 127011 HAS SOUPS 127011 WITH SCORE 127176.593
AT ITER 456 NEW BEST:: SOT 196286 SOS 164059 HAS SOPS 164059 HAS SOUS 123526 HAS SOUPS 123526 WITH SCORE 123690.059
AT ITER 503 NEW BEST:: SOT 196286 SOS 163973 HAS SOPS 163973 HAS SOUS 123512 HAS SOUPS 123512 WITH SCORE 123675.973
AT ITER 552 NEW BEST:: SOT 196296 SOS 163900 HAS SOPS 163900 HAS SOUS 123479 HAS SOUPS 123479 WITH SCORE 123642.9
AT ITER 655 NEW BEST:: SOT 196275 SOS 163724 HAS SOPS 163724 HAS SOUS 123420 HAS SOUPS 123420 WITH SCORE 123583.724
AT ITER 663 NEW BEST:: SOT 202974 SOS 168892 HAS SOPS 168892 HAS SOUS 120107 HAS SOUPS 120107 WITH SCORE 120275.892
AT ITER 720 NEW BEST:: SOT 202974 SOS 168250 HAS SOPS 168250 HAS SOUS 118636 HAS SOUPS 118636 WITH SCORE 118804.25
AT ITER 725 NEW BEST:: SOT 202974 SOS 167657 HAS SOPS 167657 HAS SOUS 117796 HAS SOUPS 117796 WITH SCORE 117963.657
AT ITER 732 NEW BEST:: SOT 202974 SOS 167225 HAS SOPS 167225 HAS SOUS 116574 HAS SOUPS 116574 WITH SCORE 116741.225
AT ITER 810 NEW BEST:: SOT 203028 SOS 166171 HAS SOPS 166171 HAS SOUS 116440 HAS SOUPS 116440 WITH SCORE 116606.171
AT ITER 825 NEW BEST:: SOT 203075 SOS 166174 HAS SOPS 166174 HAS SOUS 116163 HAS SOUPS 116163 WITH SCORE 116329.174
AT ITER 828 NEW BEST:: SOT 203075 SOS 165790 HAS SOPS 165790 HAS SOUS 116163 HAS SOUPS 116163 WITH SCORE 116328.79
AT ITER 833 NEW BEST:: SOT 204090 SOS 165197 HAS SOPS 165197 HAS SOUS 110738 HAS SOUPS 110738 WITH SCORE 110903.197
AT ITER 865 NEW BEST:: SOT 205707 SOS 165538 HAS SOPS 165267 HAS SOUS 110447 HAS SOUPS 110329 WITH SCORE 110494.538
AT ITER 889 NEW BEST:: SOT 205707 SOS 165431 HAS SOPS 165160 HAS SOUS 110439 HAS SOUPS 110321 WITH SCORE 110486.431
AT ITER 947 NEW BEST:: SOT 205707 SOS 165318 HAS SOPS 165047 HAS SOUS 110439 HAS SOUPS 110321 WITH SCORE 110486.318
AT ITER 963 NEW BEST:: SOT 205707 SOS 164852 HAS SOPS 164581 HAS SOUS 110097 HAS SOUPS 109979 WITH SCORE 110143.852
AT ITER 991 NEW BEST:: SOT 205707 SOS 164556 HAS SOPS 164285 HAS SOUS 109981 HAS SOUPS 109863 WITH SCORE 110027.556
AT ITER 1005 NEW BEST:: SOT 210983 SOS 169817 HAS SOPS 169428 HAS SOUS 109629 HAS SOUPS 109511 WITH SCORE 109680.817
AT ITER 1006 NEW BEST:: SOT 211572 SOS 169055 HAS SOPS 168487 HAS SOUS 107226 HAS SOUPS 107108 WITH SCORE 107277.055
AT ITER 1011 NEW BEST:: SOT 211632 SOS 167800 HAS SOPS 167212 HAS SOUS 104898 HAS SOUPS 104780 WITH SCORE 104947.8
AT ITER 1045 NEW BEST:: SOT 211632 SOS 166706 HAS SOPS 166118 HAS SOUS 104103 HAS SOUPS 103985 WITH SCORE 104151.706
AT ITER 1058 NEW BEST:: SOT 211632 SOS 166619 HAS SOPS 166031 HAS SOUS 104102 HAS SOUPS 103984 WITH SCORE 104150.619
AT ITER 1196 NEW BEST:: SOT 211708 SOS 166603 HAS SOPS 166015 HAS SOUS 104064 HAS SOUPS 103946 WITH SCORE 104112.603
AT ITER 1323 NEW BEST:: SOT 215829 SOS 168501 HAS SOPS 167742 HAS SOUS 99241 HAS SOUPS 99123 WITH SCORE 99291.501
AT ITER 1324 NEW BEST:: SOT 226330 SOS 176721 HAS SOPS 175791 HAS SOUS 98474 HAS SOUPS 98356 WITH SCORE 98532.721
AT ITER 1331 NEW BEST:: SOT 229032 SOS 177375 HAS SOPS 175492 HAS SOUS 97715 HAS SOUPS 97500 WITH SCORE 97677.375
AT ITER 1353 NEW BEST:: SOT 229032 SOS 177365 HAS SOPS 175482 HAS SOUS 97672 HAS SOUPS 97457 WITH SCORE 97634.365
AT ITER 1360 NEW BEST:: SOT 229032 SOS 175763 HAS SOPS 173880 HAS SOUS 96532 HAS SOUPS 96317 WITH SCORE 96492.763
AT ITER 1502 NEW BEST:: SOT 229032 SOS 175782 HAS SOPS 173899 HAS SOUS 96448 HAS SOUPS 96233 WITH SCORE 96408.782
AT ITER 1508 NEW BEST:: SOT 229032 SOS 175134 HAS SOPS 173251 HAS SOUS 96444 HAS SOUPS 96229 WITH SCORE 96404.134
AT ITER 1606 NEW BEST:: SOT 222243 SOS 168345 HAS SOPS 166546 HAS SOUS 92455 HAS SOUPS 92240 WITH SCORE 92408.345
AT ITER 1645 NEW BEST:: SOT 228788 SOS 171931 HAS SOPS 169746 HAS SOUS 88252 HAS SOUPS 88037 WITH SCORE 88208.931
AT ITER 1650 NEW BEST:: SOT 228788 SOS 172055 HAS SOPS 169870 HAS SOUS 87024 HAS SOUPS 86809 WITH SCORE 86981.055
AT ITER 1657 NEW BEST:: SOT 231003 SOS 173385 HAS SOPS 170979 HAS SOUS 84475 HAS SOUPS 84260 WITH SCORE 84433.385
AT ITER 1672 NEW BEST:: SOT 231082 SOS 173287 HAS SOPS 170877 HAS SOUS 84373 HAS SOUPS 84158 WITH SCORE 84331.287
AT ITER 1741 NEW BEST:: SOT 233032 SOS 172935 HAS SOPS 169403 HAS SOUS 82743 HAS SOUPS 82528 WITH SCORE 82700.935
AT ITER 1751 NEW BEST:: SOT 233112 SOS 170726 HAS SOPS 167114 HAS SOUS 81299 HAS SOUPS 81084 WITH SCORE 81254.726
AT ITER 1785 NEW BEST:: SOT 233210 SOS 170721 HAS SOPS 167109 HAS SOUS 81286 HAS SOUPS 81071 WITH SCORE 81241.721
AT ITER 1799 NEW BEST:: SOT 233210 SOS 169847 HAS SOPS 166235 HAS SOUS 80800 HAS SOUPS 80585 WITH SCORE 80754.847
AT ITER 1800 NEW BEST:: SOT 230048 SOS 166685 HAS SOPS 163362 HAS SOUS 80800 HAS SOUPS 80585 WITH SCORE 80751.685
AT ITER 1871 NEW BEST:: SOT 230048 SOS 166712 HAS SOPS 163389 HAS SOUS 80688 HAS SOUPS 80473 WITH SCORE 80639.712
AT ITER 1938 NEW BEST:: SOT 230423 SOS 164514 HAS SOPS 160869 HAS SOUS 79069 HAS SOUPS 78854 WITH SCORE 79018.514
AT ITER 1946 NEW BEST:: SOT 232909 SOS 164542 HAS SOPS 159864 HAS SOUS 77442 HAS SOUPS 77227 WITH SCORE 77391.542
AT ITER 1972 NEW BEST:: SOT 232909 SOS 164310 HAS SOPS 159632 HAS SOUS 77384 HAS SOUPS 77169 WITH SCORE 77333.31
AT ITER 1998 NEW BEST:: SOT 239787 SOS 167559 HAS SOPS 162045 HAS SOUS 74657 HAS SOUPS 74442 WITH SCORE 74609.559
AT ITER 2018 NEW BEST:: SOT 238510 SOS 166282 HAS SOPS 161174 HAS SOUS 74657 HAS SOUPS 74442 WITH SCORE 74608.282
AT ITER 2117 NEW BEST:: SOT 238510 SOS 165988 HAS SOPS 160880 HAS SOUS 74634 HAS SOUPS 74419 WITH SCORE 74584.988
AT ITER 2192 NEW BEST:: SOT 238589 SOS 165974 HAS SOPS 160866 HAS SOUS 74620 HAS SOUPS 74405 WITH SCORE 74570.974
AT ITER 2204 NEW BEST:: SOT 238516 SOS 165982 HAS SOPS 160874 HAS SOUS 74574 HAS SOUPS 74359 WITH SCORE 74524.982
AT ITER 2230 NEW BEST:: SOT 243343 SOS 166919 HAS SOPS 161099 HAS SOUS 71026 HAS SOUPS 70811 WITH SCORE 70977.919
AT ITER 2260 NEW BEST:: SOT 243475 SOS 166725 HAS SOPS 160905 HAS SOUS 70566 HAS SOUPS 70351 WITH SCORE 70517.725
AT ITER 2301 NEW BEST:: SOT 243475 SOS 166247 HAS SOPS 160427 HAS SOUS 70560 HAS SOUPS 70345 WITH SCORE 70511.247
AT ITER 2306 NEW BEST:: SOT 243475 SOS 166269 HAS SOPS 160449 HAS SOUS 70559 HAS SOUPS 70344 WITH SCORE 70510.269
AT ITER 2352 NEW BEST:: SOT 243475 SOS 164297 HAS SOPS 158477 HAS SOUS 70289 HAS SOUPS 70074 WITH SCORE 70238.297
AT ITER 2453 NEW BEST:: SOT 251583 SOS 171334 HAS SOPS 164777 HAS SOUS 69700 HAS SOUPS 69485 WITH SCORE 69656.334
AT ITER 2494 NEW BEST:: SOT 252442 SOS 171945 HAS SOPS 165145 HAS SOUS 69049 HAS SOUPS 68834 WITH SCORE 69005.945
AT ITER 2517 NEW BEST:: SOT 252442 SOS 171904 HAS SOPS 165104 HAS SOUS 68958 HAS SOUPS 68743 WITH SCORE 68914.904
AT ITER 2518 NEW BEST:: SOT 252442 SOS 171770 HAS SOPS 164970 HAS SOUS 68829 HAS SOUPS 68614 WITH SCORE 68785.77
AT ITER 2520 NEW BEST:: SOT 255340 SOS 171112 HAS SOPS 162498 HAS SOUS 68835 HAS SOUPS 68587 WITH SCORE 68758.112
AT ITER 2568 NEW BEST:: SOT 255340 SOS 171060 HAS SOPS 162446 HAS SOUS 68809 HAS SOUPS 68561 WITH SCORE 68732.06
AT ITER 2575 NEW BEST:: SOT 257806 SOS 172611 HAS SOPS 162143 HAS SOUS 68496 HAS SOUPS 68226 WITH SCORE 68398.611
AT ITER 2584 NEW BEST:: SOT 230716 SOS 198767 HAS SOPS 141680 HAS SOUS 41857 HAS SOUPS 41382 WITH SCORE 41580.767
AT ITER 2594 NEW BEST:: SOT 231510 SOS 199561 HAS SOPS 140950 HAS SOUS 41733 HAS SOUPS 41258 WITH SCORE 41457.561
AT ITER 2715 NEW BEST:: SOT 231580 SOS 199631 HAS SOPS 141020 HAS SOUS 41663 HAS SOUPS 41188 WITH SCORE 41387.631
AT ITER 2737 NEW BEST:: SOT 231368 SOS 199419 HAS SOPS 140808 HAS SOUS 41451 HAS SOUPS 40976 WITH SCORE 41175.419
AT ITER 2859 NEW BEST:: SOT 232339 SOS 200030 HAS SOPS 138155 HAS SOUS 41315 HAS SOUPS 40840 WITH SCORE 41040.03
AT ITER 2883 NEW BEST:: SOT 236644 SOS 204335 HAS SOPS 138776 HAS SOUS 41169 HAS SOUPS 40694 WITH SCORE 40898.335
AT ITER 2904 NEW BEST:: SOT 235248 SOS 202939 HAS SOPS 137521 HAS SOUS 41169 HAS SOUPS 40694 WITH SCORE 40896.939
AT ITER 2926 NEW BEST:: SOT 232566 SOS 200257 HAS SOPS 137576 HAS SOUS 41129 HAS SOUPS 40654 WITH SCORE 40854.257
AT ITER 3003 NEW BEST:: SOT 232566 SOS 200257 HAS SOPS 137572 HAS SOUS 41125 HAS SOUPS 40650 WITH SCORE 40850.257
AT ITER 3004 NEW BEST:: SOT 232630 SOS 200048 HAS SOPS 136601 HAS SOUS 41104 HAS SOUPS 40629 WITH SCORE 40829.048
AT ITER 3007 NEW BEST:: SOT 233679 SOS 201097 HAS SOPS 135868 HAS SOUS 41028 HAS SOUPS 40553 WITH SCORE 40754.097
AT ITER 3040 NEW BEST:: SOT 236584 SOS 203927 HAS SOPS 134083 HAS SOUS 40548 HAS SOUPS 40073 WITH SCORE 40276.927
AT ITER 3129 NEW BEST:: SOT 236296 SOS 203639 HAS SOPS 133855 HAS SOUS 40548 HAS SOUPS 40073 WITH SCORE 40276.639
AT ITER 3168 NEW BEST:: SOT 236255 SOS 203598 HAS SOPS 133814 HAS SOUS 40504 HAS SOUPS 40029 WITH SCORE 40232.598
AT ITER 3213 NEW BEST:: SOT 236418 SOS 203761 HAS SOPS 133977 HAS SOUS 40473 HAS SOUPS 39998 WITH SCORE 40201.761
AT ITER 3240 NEW BEST:: SOT 237176 SOS 204519 HAS SOPS 132198 HAS SOUS 40334 HAS SOUPS 39859 WITH SCORE 40063.519
AT ITER 3300 NEW BEST:: SOT 238249 SOS 205592 HAS SOPS 130936 HAS SOUS 40121 HAS SOUPS 39646 WITH SCORE 39851.592
AT ITER 3307 NEW BEST:: SOT 237995 SOS 205338 HAS SOPS 130682 HAS SOUS 40034 HAS SOUPS 39559 WITH SCORE 39764.338
AT ITER 3310 NEW BEST:: SOT 238669 SOS 206012 HAS SOPS 128494 HAS SOUS 39813 HAS SOUPS 39338 WITH SCORE 39544.012
AT ITER 3327 NEW BEST:: SOT 238669 SOS 205970 HAS SOPS 128452 HAS SOUS 39813 HAS SOUPS 39338 WITH SCORE 39543.97
AT ITER 3376 NEW BEST:: SOT 238642 SOS 205943 HAS SOPS 128452 HAS SOUS 39759 HAS SOUPS 39284 WITH SCORE 39489.943
AT ITER 3380 NEW BEST:: SOT 239175 SOS 206476 HAS SOPS 128686 HAS SOUS 39707 HAS SOUPS 39232 WITH SCORE 39438.476
AT ITER 3388 NEW BEST:: SOT 239117 SOS 206418 HAS SOPS 128628 HAS SOUS 39649 HAS SOUPS 39174 WITH SCORE 39380.418
AT ITER 3432 NEW BEST:: SOT 239231 SOS 206532 HAS SOPS 128742 HAS SOUS 39620 HAS SOUPS 39145 WITH SCORE 39351.532
AT ITER 3434 NEW BEST:: SOT 238497 SOS 205798 HAS SOPS 128231 HAS SOUS 39620 HAS SOUPS 39145 WITH SCORE 39350.798
AT ITER 3439 NEW BEST:: SOT 240916 SOS 208217 HAS SOPS 128957 HAS SOUS 39363 HAS SOUPS 38888 WITH SCORE 39096.217
AT ITER 3460 NEW BEST:: SOT 240964 SOS 208265 HAS SOPS 128861 HAS SOUS 39351 HAS SOUPS 38876 WITH SCORE 39084.265
AT ITER 3482 NEW BEST:: SOT 240898 SOS 208199 HAS SOPS 128795 HAS SOUS 39285 HAS SOUPS 38810 WITH SCORE 39018.199
AT ITER 3660 NEW BEST:: SOT 240898 SOS 208179 HAS SOPS 128645 HAS SOUS 39210 HAS SOUPS 38735 WITH SCORE 38943.179
AT ITER 3661 NEW BEST:: SOT 240906 SOS 207611 HAS SOPS 128077 HAS SOUS 39144 HAS SOUPS 38669 WITH SCORE 38876.611
AT ITER 3663 NEW BEST:: SOT 240564 SOS 207269 HAS SOPS 127915 HAS SOUS 39144 HAS SOUPS 38669 WITH SCORE 38876.269
AT ITER 3717 NEW BEST:: SOT 240664 SOS 207369 HAS SOPS 127575 HAS SOUS 39104 HAS SOUPS 38629 WITH SCORE 38836.369
AT ITER 3811 NEW BEST:: SOT 240858 SOS 207563 HAS SOPS 127769 HAS SOUS 39036 HAS SOUPS 38561 WITH SCORE 38768.563
AT ITER 3812 NEW BEST:: SOT 240642 SOS 207356 HAS SOPS 127562 HAS SOUS 38981 HAS SOUPS 38506 WITH SCORE 38713.356
AT ITER 3850 NEW BEST:: SOT 240713 SOS 207405 HAS SOPS 127611 HAS SOUS 38863 HAS SOUPS 38388 WITH SCORE 38595.405
AT ITER 3857 NEW BEST:: SOT 240845 SOS 207537 HAS SOPS 127743 HAS SOUS 38862 HAS SOUPS 38387 WITH SCORE 38594.537
AT ITER 3875 NEW BEST:: SOT 240817 SOS 207509 HAS SOPS 127715 HAS SOUS 38834 HAS SOUPS 38359 WITH SCORE 38566.509
AT ITER 3881 NEW BEST:: SOT 238838 SOS 205530 HAS SOPS 128303 HAS SOUS 38768 HAS SOUPS 38293 WITH SCORE 38498.53
AT ITER 3896 NEW BEST:: SOT 237965 SOS 204657 HAS SOPS 127746 HAS SOUS 38768 HAS SOUPS 38293 WITH SCORE 38497.657
AT ITER 3934 NEW BEST:: SOT 238127 SOS 204819 HAS SOPS 127908 HAS SOUS 38504 HAS SOUPS 38029 WITH SCORE 38233.819
AT ITER 4045 NEW BEST:: SOT 236098 SOS 202790 HAS SOPS 126434 HAS SOUS 38232 HAS SOUPS 37757 WITH SCORE 37959.79
AT ITER 4056 NEW BEST:: SOT 234846 SOS 201538 HAS SOPS 125757 HAS SOUS 38232 HAS SOUPS 37757 WITH SCORE 37958.538
AT ITER 4086 NEW BEST:: SOT 236407 SOS 202919 HAS SOPS 123291 HAS SOUS 37870 HAS SOUPS 37395 WITH SCORE 37597.919
AT ITER 4097 NEW BEST:: SOT 235403 SOS 201915 HAS SOPS 123110 HAS SOUS 37870 HAS SOUPS 37395 WITH SCORE 37596.915
AT ITER 4136 NEW BEST:: SOT 235431 SOS 201943 HAS SOPS 123063 HAS SOUS 37812 HAS SOUPS 37337 WITH SCORE 37538.943
AT ITER 4173 NEW BEST:: SOT 235041 SOS 201587 HAS SOPS 122707 HAS SOUS 37657 HAS SOUPS 37182 WITH SCORE 37383.587
AT ITER 4186 NEW BEST:: SOT 234947 SOS 201493 HAS SOPS 122757 HAS SOUS 37579 HAS SOUPS 37104 WITH SCORE 37305.493
AT ITER 4221 NEW BEST:: SOT 234951 SOS 201497 HAS SOPS 122761 HAS SOUS 37575 HAS SOUPS 37100 WITH SCORE 37301.497
AT ITER 4227 NEW BEST:: SOT 234727 SOS 201273 HAS SOPS 122537 HAS SOUS 37366 HAS SOUPS 36891 WITH SCORE 37092.273
AT ITER 4338 NEW BEST:: SOT 234942 SOS 201448 HAS SOPS 122574 HAS SOUS 37300 HAS SOUPS 36825 WITH SCORE 37026.448
AT ITER 4421 NEW BEST:: SOT 235340 SOS 200798 HAS SOPS 120026 HAS SOUS 37214 HAS SOUPS 36739 WITH SCORE 36939.798
AT ITER 4466 NEW BEST:: SOT 235298 SOS 200756 HAS SOPS 119984 HAS SOUS 37172 HAS SOUPS 36697 WITH SCORE 36897.756
AT ITER 4486 NEW BEST:: SOT 235295 SOS 200753 HAS SOPS 120038 HAS SOUS 37138 HAS SOUPS 36663 WITH SCORE 36863.753
AT ITER 4567 NEW BEST:: SOT 235790 SOS 200918 HAS SOPS 116989 HAS SOUS 36860 HAS SOUPS 36385 WITH SCORE 36585.918
AT ITER 4628 NEW BEST:: SOT 235735 SOS 200863 HAS SOPS 116934 HAS SOUS 36858 HAS SOUPS 36383 WITH SCORE 36583.863
AT ITER 4659 NEW BEST:: SOT 235539 SOS 200667 HAS SOPS 116738 HAS SOUS 36801 HAS SOUPS 36326 WITH SCORE 36526.667
AT ITER 4699 NEW BEST:: SOT 235394 SOS 200830 HAS SOPS 119167 HAS SOUS 36777 HAS SOUPS 36302 WITH SCORE 36502.83
AT ITER 4717 NEW BEST:: SOT 235527 SOS 200881 HAS SOPS 119218 HAS SOUS 36690 HAS SOUPS 36215 WITH SCORE 36415.881
AT ITER 4828 NEW BEST:: SOT 235527 SOS 200843 HAS SOPS 119180 HAS SOUS 36652 HAS SOUPS 36177 WITH SCORE 36377.843
AT ITER 4844 NEW BEST:: SOT 235678 SOS 200994 HAS SOPS 118869 HAS SOUS 36551 HAS SOUPS 36076 WITH SCORE 36276.994
AT ITER 4872 NEW BEST:: SOT 235827 SOS 201074 HAS SOPS 118949 HAS SOUS 36455 HAS SOUPS 35980 WITH SCORE 36181.074
AT ITER 4899 NEW BEST:: SOT 235703 SOS 200438 HAS SOPS 116989 HAS SOUS 36432 HAS SOUPS 35957 WITH SCORE 36157.438
AT ITER 4981 NEW BEST:: SOT 236792 SOS 201527 HAS SOPS 117103 HAS SOUS 36303 HAS SOUPS 35828 WITH SCORE 36029.527
AT ITER 5082 NEW BEST:: SOT 236782 SOS 201517 HAS SOPS 117088 HAS SOUS 36292 HAS SOUPS 35817 WITH SCORE 36018.517
AT ITER 5109 NEW BEST:: SOT 236748 SOS 201483 HAS SOPS 117020 HAS SOUS 36258 HAS SOUPS 35783 WITH SCORE 35984.483
AT ITER 5175 NEW BEST:: SOT 236882 SOS 201617 HAS SOPS 116993 HAS SOUS 36236 HAS SOUPS 35761 WITH SCORE 35962.617
AT ITER 5220 NEW BEST:: SOT 235699 SOS 200434 HAS SOPS 115990 HAS SOUS 36236 HAS SOUPS 35761 WITH SCORE 35961.434
AT ITER 5445 NEW BEST:: SOT 235754 SOS 200489 HAS SOPS 115792 HAS SOUS 36214 HAS SOUPS 35739 WITH SCORE 35939.489
AT ITER 5557 NEW BEST:: SOT 235715 SOS 200450 HAS SOPS 115753 HAS SOUS 36192 HAS SOUPS 35717 WITH SCORE 35917.45
AT ITER 5559 NEW BEST:: SOT 235694 SOS 200429 HAS SOPS 115669 HAS SOUS 36182 HAS SOUPS 35707 WITH SCORE 35907.429
AT ITER 5646 NEW BEST:: SOT 235565 SOS 200300 HAS SOPS 115559 HAS SOUS 36156 HAS SOUPS 35681 WITH SCORE 35881.3
AT ITER 5732 NEW BEST:: SOT 235566 SOS 200301 HAS SOPS 115560 HAS SOUS 36118 HAS SOUPS 35643 WITH SCORE 35843.301
AT ITER 5813 NEW BEST:: SOT 235874 SOS 200609 HAS SOPS 114790 HAS SOUS 36102 HAS SOUPS 35627 WITH SCORE 35827.609
AT ITER 5826 NEW BEST:: SOT 235994 SOS 200729 HAS SOPS 114910 HAS SOUS 35824 HAS SOUPS 35349 WITH SCORE 35549.729
AT ITER 5829 NEW BEST:: SOT 239139 SOS 203778 HAS SOPS 113680 HAS SOUS 35354 HAS SOUPS 34879 WITH SCORE 35082.778
AT ITER 5856 NEW BEST:: SOT 239112 SOS 203784 HAS SOPS 113718 HAS SOUS 35347 HAS SOUPS 34872 WITH SCORE 35075.784
AT ITER 5993 NEW BEST:: SOT 239119 SOS 203791 HAS SOPS 113716 HAS SOUS 35346 HAS SOUPS 34871 WITH SCORE 35074.791
AT ITER 6108 NEW BEST:: SOT 238609 SOS 203281 HAS SOPS 113291 HAS SOUS 35346 HAS SOUPS 34871 WITH SCORE 35074.281
AT ITER 6187 NEW BEST:: SOT 238985 SOS 203657 HAS SOPS 113003 HAS SOUS 35281 HAS SOUPS 34806 WITH SCORE 35009.657
AT ITER 6198 NEW BEST:: SOT 238971 SOS 203643 HAS SOPS 112989 HAS SOUS 35128 HAS SOUPS 34653 WITH SCORE 34856.643
AT ITER 6264 NEW BEST:: SOT 242499 SOS 206819 HAS SOPS 111853 HAS SOUS 34856 HAS SOUPS 34366 WITH SCORE 34572.819
AT ITER 6269 NEW BEST:: SOT 242690 SOS 206974 HAS SOPS 112008 HAS SOUS 34831 HAS SOUPS 34341 WITH SCORE 34547.974
AT ITER 6283 NEW BEST:: SOT 242690 SOS 206974 HAS SOPS 112008 HAS SOUS 34797 HAS SOUPS 34307 WITH SCORE 34513.974
AT ITER 6349 NEW BEST:: SOT 243583 SOS 207867 HAS SOPS 112189 HAS SOUS 34744 HAS SOUPS 34254 WITH SCORE 34461.867
AT ITER 6407 NEW BEST:: SOT 243583 SOS 207867 HAS SOPS 112189 HAS SOUS 34726 HAS SOUPS 34236 WITH SCORE 34443.867
AT ITER 6506 NEW BEST:: SOT 244905 SOS 209189 HAS SOPS 111620 HAS SOUS 34692 HAS SOUPS 34202 WITH SCORE 34411.189
AT ITER 6535 NEW BEST:: SOT 244922 SOS 209206 HAS SOPS 111620 HAS SOUS 34690 HAS SOUPS 34200 WITH SCORE 34409.206
AT ITER 6550 NEW BEST:: SOT 244692 SOS 208976 HAS SOPS 111406 HAS SOUS 34610 HAS SOUPS 34120 WITH SCORE 34328.976
AT ITER 6558 NEW BEST:: SOT 244620 SOS 208904 HAS SOPS 111334 HAS SOUS 34538 HAS SOUPS 34048 WITH SCORE 34256.904
AT ITER 6587 NEW BEST:: SOT 244837 SOS 209121 HAS SOPS 111320 HAS SOUS 34510 HAS SOUPS 34020 WITH SCORE 34229.121
AT ITER 6591 NEW BEST:: SOT 244811 SOS 209095 HAS SOPS 111294 HAS SOUS 34366 HAS SOUPS 33876 WITH SCORE 34085.095
AT ITER 6605 NEW BEST:: SOT 245053 SOS 209279 HAS SOPS 111478 HAS SOUS 34199 HAS SOUPS 33709 WITH SCORE 33918.279
AT ITER 6627 NEW BEST:: SOT 245053 SOS 209279 HAS SOPS 111478 HAS SOUS 34153 HAS SOUPS 33663 WITH SCORE 33872.279
AT ITER 6653 NEW BEST:: SOT 245053 SOS 209246 HAS SOPS 111445 HAS SOUS 34153 HAS SOUPS 33663 WITH SCORE 33872.246
AT ITER 6656 NEW BEST:: SOT 245023 SOS 209216 HAS SOPS 111415 HAS SOUS 34093 HAS SOUPS 33603 WITH SCORE 33812.216
AT ITER 6753 NEW BEST:: SOT 244997 SOS 209190 HAS SOPS 111397 HAS SOUS 34041 HAS SOUPS 33551 WITH SCORE 33760.19
AT ITER 6914 NEW BEST:: SOT 244985 SOS 209178 HAS SOPS 111385 HAS SOUS 34041 HAS SOUPS 33551 WITH SCORE 33760.178
AT ITER 6962 NEW BEST:: SOT 244996 SOS 209189 HAS SOPS 111396 HAS SOUS 34030 HAS SOUPS 33540 WITH SCORE 33749.189
AT ITER 6981 NEW BEST:: SOT 244756 SOS 208949 HAS SOPS 111256 HAS SOUS 34030 HAS SOUPS 33540 WITH SCORE 33748.949
AT ITER 6988 NEW BEST:: SOT 244752 SOS 208945 HAS SOPS 111252 HAS SOUS 34030 HAS SOUPS 33540 WITH SCORE 33748.945
AT ITER 7031 NEW BEST:: SOT 246336 SOS 210529 HAS SOPS 111908 HAS SOUS 33873 HAS SOUPS 33383 WITH SCORE 33593.529
AT ITER 7120 NEW BEST:: SOT 246317 SOS 210510 HAS SOPS 111889 HAS SOUS 33873 HAS SOUPS 33383 WITH SCORE 33593.51
AT ITER 7162 NEW BEST:: SOT 245575 SOS 209768 HAS SOPS 112607 HAS SOUS 33861 HAS SOUPS 33371 WITH SCORE 33580.768
AT ITER 7178 NEW BEST:: SOT 245587 SOS 209820 HAS SOPS 112671 HAS SOUS 33824 HAS SOUPS 33334 WITH SCORE 33543.82
AT ITER 7262 NEW BEST:: SOT 246576 SOS 210809 HAS SOPS 111833 HAS SOUS 33648 HAS SOUPS 33158 WITH SCORE 33368.809
AT ITER 7340 NEW BEST:: SOT 246659 SOS 210888 HAS SOPS 111912 HAS SOUS 33617 HAS SOUPS 33127 WITH SCORE 33337.888
AT ITER 7368 NEW BEST:: SOT 246522 SOS 210751 HAS SOPS 111775 HAS SOUS 33480 HAS SOUPS 32990 WITH SCORE 33200.751
AT ITER 7371 NEW BEST:: SOT 246420 SOS 210649 HAS SOPS 111678 HAS SOUS 33473 HAS SOUPS 32983 WITH SCORE 33193.649
AT ITER 7378 NEW BEST:: SOT 246401 SOS 210630 HAS SOPS 111654 HAS SOUS 33468 HAS SOUPS 32978 WITH SCORE 33188.63
AT ITER 7393 NEW BEST:: SOT 246401 SOS 210630 HAS SOPS 111641 HAS SOUS 33429 HAS SOUPS 32939 WITH SCORE 33149.63
AT ITER 7406 NEW BEST:: SOT 246519 SOS 210748 HAS SOPS 111451 HAS SOUS 33395 HAS SOUPS 32905 WITH SCORE 33115.748
AT ITER 7415 NEW BEST:: SOT 247419 SOS 211648 HAS SOPS 112051 HAS SOUS 33320 HAS SOUPS 32830 WITH SCORE 33041.648
AT ITER 7653 NEW BEST:: SOT 247411 SOS 211640 HAS SOPS 112047 HAS SOUS 33315 HAS SOUPS 32825 WITH SCORE 33036.64
AT ITER 7655 NEW BEST:: SOT 247833 SOS 212062 HAS SOPS 112187 HAS SOUS 33271 HAS SOUPS 32781 WITH SCORE 32993.062
AT ITER 7782 NEW BEST:: SOT 248587 SOS 212816 HAS SOPS 112511 HAS SOUS 33197 HAS SOUPS 32707 WITH SCORE 32919.816
AT ITER 7795 NEW BEST:: SOT 248407 SOS 212636 HAS SOPS 112367 HAS SOUS 33053 HAS SOUPS 32563 WITH SCORE 32775.636
AT ITER 7811 NEW BEST:: SOT 248580 SOS 212809 HAS SOPS 112521 HAS SOUS 33041 HAS SOUPS 32551 WITH SCORE 32763.809
AT ITER 7864 NEW BEST:: SOT 248543 SOS 212772 HAS SOPS 112484 HAS SOUS 33041 HAS SOUPS 32551 WITH SCORE 32763.772
AT ITER 7898 NEW BEST:: SOT 248897 SOS 213126 HAS SOPS 112714 HAS SOUS 33034 HAS SOUPS 32544 WITH SCORE 32757.126
AT ITER 7938 NEW BEST:: SOT 248861 SOS 213090 HAS SOPS 112678 HAS SOUS 32920 HAS SOUPS 32430 WITH SCORE 32643.09
AT ITER 7970 NEW BEST:: SOT 248861 SOS 213068 HAS SOPS 112656 HAS SOUS 32898 HAS SOUPS 32408 WITH SCORE 32621.068
AT ITER 7978 NEW BEST:: SOT 248740 SOS 212947 HAS SOPS 112559 HAS SOUS 32898 HAS SOUPS 32408 WITH SCORE 32620.947
AT ITER 8006 NEW BEST:: SOT 249693 SOS 213900 HAS SOPS 113153 HAS SOUS 32816 HAS SOUPS 32326 WITH SCORE 32539.9
AT ITER 8117 NEW BEST:: SOT 249672 SOS 213879 HAS SOPS 113153 HAS SOUS 32816 HAS SOUPS 32326 WITH SCORE 32539.879
AT ITER 8208 NEW BEST:: SOT 246384 SOS 213408 HAS SOPS 112645 HAS SOUS 30029 HAS SOUPS 29502 WITH SCORE 29715.408
AT ITER 8337 NEW BEST:: SOT 247818 SOS 214842 HAS SOPS 113785 HAS SOUS 29921 HAS SOUPS 29394 WITH SCORE 29608.842
AT ITER 8406 NEW BEST:: SOT 248688 SOS 215712 HAS SOPS 114533 HAS SOUS 29859 HAS SOUPS 29332 WITH SCORE 29547.712
AT ITER 8409 NEW BEST:: SOT 248688 SOS 215698 HAS SOPS 114519 HAS SOUS 29859 HAS SOUPS 29332 WITH SCORE 29547.698
AT ITER 8412 NEW BEST:: SOT 248688 SOS 215698 HAS SOPS 114434 HAS SOUS 29766 HAS SOUPS 29239 WITH SCORE 29454.698
AT ITER 8529 NEW BEST:: SOT 248669 SOS 215678 HAS SOPS 114395 HAS SOUS 29743 HAS SOUPS 29216 WITH SCORE 29431.678
AT ITER 8567 NEW BEST:: SOT 248423 SOS 215432 HAS SOPS 114628 HAS SOUS 29743 HAS SOUPS 29216 WITH SCORE 29431.432
AT ITER 8617 NEW BEST:: SOT 248081 SOS 215134 HAS SOPS 114488 HAS SOUS 29672 HAS SOUPS 29145 WITH SCORE 29360.134
AT ITER 8626 NEW BEST:: SOT 248182 SOS 215235 HAS SOPS 114589 HAS SOUS 29637 HAS SOUPS 29110 WITH SCORE 29325.235
AT ITER 8902 NEW BEST:: SOT 248021 SOS 215106 HAS SOPS 114460 HAS SOUS 29637 HAS SOUPS 29110 WITH SCORE 29325.106
AT ITER 8931 NEW BEST:: SOT 247932 SOS 215017 HAS SOPS 114388 HAS SOUS 29624 HAS SOUPS 29097 WITH SCORE 29312.017
AT ITER 8945 NEW BEST:: SOT 242712 SOS 209797 HAS SOPS 114431 HAS SOUS 28610 HAS SOUPS 28107 WITH SCORE 28316.797
AT ITER 9035 NEW BEST:: SOT 242712 SOS 209780 HAS SOPS 114414 HAS SOUS 28577 HAS SOUPS 28074 WITH SCORE 28283.78
AT ITER 9163 NEW BEST:: SOT 243042 SOS 210110 HAS SOPS 114744 HAS SOUS 28508 HAS SOUPS 28005 WITH SCORE 28215.11
AT ITER 9177 NEW BEST:: SOT 242987 SOS 210055 HAS SOPS 114565 HAS SOUS 28460 HAS SOUPS 27957 WITH SCORE 28167.055
AT ITER 9200 NEW BEST:: SOT 243172 SOS 210240 HAS SOPS 114536 HAS SOUS 28431 HAS SOUPS 27928 WITH SCORE 28138.24
AT ITER 9347 NEW BEST:: SOT 240040 SOS 207108 HAS SOPS 119100 HAS SOUS 28356 HAS SOUPS 27923 WITH SCORE 28130.108
AT ITER 9382 NEW BEST:: SOT 240066 SOS 207134 HAS SOPS 119126 HAS SOUS 28317 HAS SOUPS 27884 WITH SCORE 28091.134
AT ITER 9484 NEW BEST:: SOT 240161 SOS 207213 HAS SOPS 118716 HAS SOUS 28292 HAS SOUPS 27859 WITH SCORE 28066.213
AT ITER 9485 NEW BEST:: SOT 239892 SOS 206944 HAS SOPS 118772 HAS SOUS 28220 HAS SOUPS 27787 WITH SCORE 27993.944
AT ITER 9533 NEW BEST:: SOT 241472 SOS 208524 HAS SOPS 119420 HAS SOUS 28063 HAS SOUPS 27630 WITH SCORE 27838.524
AT ITER 9597 NEW BEST:: SOT 241243 SOS 208295 HAS SOPS 119774 HAS SOUS 28063 HAS SOUPS 27630 WITH SCORE 27838.295
AT ITER 9630 NEW BEST:: SOT 241629 SOS 208681 HAS SOPS 120160 HAS SOUS 28025 HAS SOUPS 27592 WITH SCORE 27800.681
AT ITER 9647 NEW BEST:: SOT 241694 SOS 208746 HAS SOPS 120210 HAS SOUS 28020 HAS SOUPS 27587 WITH SCORE 27795.746
AT ITER 9650 NEW BEST:: SOT 241836 SOS 208888 HAS SOPS 120352 HAS SOUS 28000 HAS SOUPS 27567 WITH SCORE 27775.888
AT ITER 9746 NEW BEST:: SOT 241822 SOS 208874 HAS SOPS 120338 HAS SOUS 27986 HAS SOUPS 27553 WITH SCORE 27761.874
AT ITER 9747 NEW BEST:: SOT 242016 SOS 209037 HAS SOPS 120501 HAS SOUS 27919 HAS SOUPS 27486 WITH SCORE 27695.037
AT ITER 9772 NEW BEST:: SOT 242008 SOS 209029 HAS SOPS 120493 HAS SOUS 27911 HAS SOUPS 27478 WITH SCORE 27687.029
AT ITER 9817 NEW BEST:: SOT 242048 SOS 209069 HAS SOPS 119493 HAS SOUS 27869 HAS SOUPS 27436 WITH SCORE 27645.069
STATE_SPACE STATES 3262 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5922 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679387541352

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

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="SieveSingleMsgMbox-PT-d1m04"
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 SieveSingleMsgMbox-PT-d1m04, 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 r427-tajo-167905979600408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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