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.r419-tajo-167905973900520.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 SimpleLoadBal-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973900520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 968K
-rw-r--r-- 1 mcc users 8.8K Feb 26 03:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 03:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 03:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 03:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 03:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 03:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 535K 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 1679092290017

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=SimpleLoadBal-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SimpleLoadBal (PT), instance 10
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: 104 places, 605 transitions, 4148 arcs.
AT ITER 0 NEW BEST:: SOT 59019 SOS 37636 HAS SOPS 36496 HAS SOUS 26347 HAS SOUPS 26276 WITH SCORE 26313.636
AT ITER 6 NEW BEST:: SOT 59019 SOS 37105 HAS SOPS 35882 HAS SOUS 26272 HAS SOUPS 26201 WITH SCORE 26238.105
AT ITER 7 NEW BEST:: SOT 59019 SOS 37002 HAS SOPS 35150 HAS SOUS 25714 HAS SOUPS 25039 WITH SCORE 25076.002
AT ITER 8 NEW BEST:: SOT 59008 SOS 36994 HAS SOPS 35142 HAS SOUS 25706 HAS SOUPS 25031 WITH SCORE 25067.994
AT ITER 10 NEW BEST:: SOT 48100 SOS 26215 HAS SOPS 24518 HAS SOUS 14785 HAS SOUPS 14265 WITH SCORE 14291.215
AT ITER 18 NEW BEST:: SOT 47890 SOS 26005 HAS SOPS 24308 HAS SOUS 14173 HAS SOUPS 13653 WITH SCORE 13679.005
AT ITER 21 NEW BEST:: SOT 47760 SOS 25875 HAS SOPS 24178 HAS SOUS 13953 HAS SOUPS 13433 WITH SCORE 13458.875
AT ITER 22 NEW BEST:: SOT 47676 SOS 25793 HAS SOPS 24096 HAS SOUS 13657 HAS SOUPS 13137 WITH SCORE 13162.793
AT ITER 25 NEW BEST:: SOT 47648 SOS 25765 HAS SOPS 24068 HAS SOUS 13611 HAS SOUPS 13091 WITH SCORE 13116.765
AT ITER 26 NEW BEST:: SOT 47311 SOS 25428 HAS SOPS 23731 HAS SOUS 13071 HAS SOUPS 12551 WITH SCORE 12576.428
AT ITER 29 NEW BEST:: SOT 47197 SOS 25317 HAS SOPS 23620 HAS SOUS 12715 HAS SOUPS 12195 WITH SCORE 12220.317
AT ITER 46 NEW BEST:: SOT 47197 SOS 25317 HAS SOPS 23620 HAS SOUS 12703 HAS SOUPS 12183 WITH SCORE 12208.317
AT ITER 90 NEW BEST:: SOT 47117 SOS 25274 HAS SOPS 23577 HAS SOUS 12668 HAS SOUPS 12148 WITH SCORE 12173.274
AT ITER 98 NEW BEST:: SOT 47057 SOS 25245 HAS SOPS 23548 HAS SOUS 12661 HAS SOUPS 12141 WITH SCORE 12166.245
AT ITER 99 NEW BEST:: SOT 47070 SOS 25313 HAS SOPS 23616 HAS SOUS 12610 HAS SOUPS 12090 WITH SCORE 12115.313
AT ITER 118 NEW BEST:: SOT 47069 SOS 25325 HAS SOPS 23628 HAS SOUS 12578 HAS SOUPS 12058 WITH SCORE 12083.325
AT ITER 129 NEW BEST:: SOT 46901 SOS 25157 HAS SOPS 23460 HAS SOUS 12410 HAS SOUPS 11890 WITH SCORE 11915.157
AT ITER 176 NEW BEST:: SOT 46894 SOS 25164 HAS SOPS 23467 HAS SOUS 12369 HAS SOUPS 11849 WITH SCORE 11874.164
AT ITER 197 NEW BEST:: SOT 46895 SOS 25169 HAS SOPS 23472 HAS SOUS 12366 HAS SOUPS 11846 WITH SCORE 11871.169
AT ITER 202 NEW BEST:: SOT 46875 SOS 25149 HAS SOPS 23452 HAS SOUS 12346 HAS SOUPS 11826 WITH SCORE 11851.149
AT ITER 206 NEW BEST:: SOT 46875 SOS 25152 HAS SOPS 23455 HAS SOUS 12337 HAS SOUPS 11817 WITH SCORE 11842.152
AT ITER 239 NEW BEST:: SOT 46866 SOS 25138 HAS SOPS 23441 HAS SOUS 12323 HAS SOUPS 11803 WITH SCORE 11828.138
AT ITER 240 NEW BEST:: SOT 46877 SOS 25150 HAS SOPS 23453 HAS SOUS 12257 HAS SOUPS 11737 WITH SCORE 11762.15
AT ITER 247 NEW BEST:: SOT 46877 SOS 25149 HAS SOPS 23452 HAS SOUS 12256 HAS SOUPS 11736 WITH SCORE 11761.149
AT ITER 253 NEW BEST:: SOT 46868 SOS 25140 HAS SOPS 23443 HAS SOUS 12247 HAS SOUPS 11727 WITH SCORE 11752.14
AT ITER 261 NEW BEST:: SOT 46866 SOS 25138 HAS SOPS 23441 HAS SOUS 12237 HAS SOUPS 11717 WITH SCORE 11742.138
AT ITER 264 NEW BEST:: SOT 46863 SOS 25135 HAS SOPS 23438 HAS SOUS 12228 HAS SOUPS 11708 WITH SCORE 11733.135
AT ITER 274 NEW BEST:: SOT 46956 SOS 25249 HAS SOPS 23552 HAS SOUS 12209 HAS SOUPS 11689 WITH SCORE 11714.249
AT ITER 275 NEW BEST:: SOT 46956 SOS 25244 HAS SOPS 23547 HAS SOUS 12178 HAS SOUPS 11658 WITH SCORE 11683.244
AT ITER 286 NEW BEST:: SOT 46956 SOS 25245 HAS SOPS 23527 HAS SOUS 12176 HAS SOUPS 11657 WITH SCORE 11682.245
AT ITER 292 NEW BEST:: SOT 46958 SOS 25247 HAS SOPS 23529 HAS SOUS 12170 HAS SOUPS 11651 WITH SCORE 11676.247
AT ITER 296 NEW BEST:: SOT 46940 SOS 25229 HAS SOPS 23511 HAS SOUS 12152 HAS SOUPS 11633 WITH SCORE 11658.229
AT ITER 310 NEW BEST:: SOT 46940 SOS 25229 HAS SOPS 23511 HAS SOUS 12150 HAS SOUPS 11631 WITH SCORE 11656.229
AT ITER 315 NEW BEST:: SOT 46940 SOS 25336 HAS SOPS 23419 HAS SOUS 12135 HAS SOUPS 11618 WITH SCORE 11643.336
AT ITER 317 NEW BEST:: SOT 46909 SOS 25326 HAS SOPS 23409 HAS SOUS 12131 HAS SOUPS 11614 WITH SCORE 11639.326
AT ITER 321 NEW BEST:: SOT 46909 SOS 25316 HAS SOPS 23399 HAS SOUS 12121 HAS SOUPS 11604 WITH SCORE 11629.316
AT ITER 329 NEW BEST:: SOT 46891 SOS 25298 HAS SOPS 23381 HAS SOUS 12067 HAS SOUPS 11550 WITH SCORE 11575.298
AT ITER 351 NEW BEST:: SOT 46595 SOS 25002 HAS SOPS 23085 HAS SOUS 11771 HAS SOUPS 11254 WITH SCORE 11279.002
AT ITER 366 NEW BEST:: SOT 46595 SOS 25001 HAS SOPS 23084 HAS SOUS 11768 HAS SOUPS 11251 WITH SCORE 11276.001
AT ITER 386 NEW BEST:: SOT 46600 SOS 24991 HAS SOPS 23074 HAS SOUS 11758 HAS SOUPS 11241 WITH SCORE 11265.991
AT ITER 396 NEW BEST:: SOT 46600 SOS 25517 HAS SOPS 23420 HAS SOUS 11758 HAS SOUPS 11213 WITH SCORE 11238.517
AT ITER 402 NEW BEST:: SOT 46598 SOS 25515 HAS SOPS 23418 HAS SOUS 11756 HAS SOUPS 11211 WITH SCORE 11236.515
AT ITER 406 NEW BEST:: SOT 46526 SOS 25448 HAS SOPS 23351 HAS SOUS 11508 HAS SOUPS 10963 WITH SCORE 10988.448
AT ITER 426 NEW BEST:: SOT 46526 SOS 25445 HAS SOPS 23348 HAS SOUS 11505 HAS SOUPS 10960 WITH SCORE 10985.445
AT ITER 453 NEW BEST:: SOT 46526 SOS 25443 HAS SOPS 23346 HAS SOUS 11503 HAS SOUPS 10958 WITH SCORE 10983.443
AT ITER 459 NEW BEST:: SOT 47002 SOS 25983 HAS SOPS 23886 HAS SOUS 11287 HAS SOUPS 10742 WITH SCORE 10767.983
AT ITER 475 NEW BEST:: SOT 47091 SOS 26066 HAS SOPS 23969 HAS SOUS 11238 HAS SOUPS 10693 WITH SCORE 10719.066
AT ITER 493 NEW BEST:: SOT 47091 SOS 26064 HAS SOPS 23967 HAS SOUS 11236 HAS SOUPS 10691 WITH SCORE 10717.064
AT ITER 519 NEW BEST:: SOT 47134 SOS 26803 HAS SOPS 24706 HAS SOUS 11210 HAS SOUPS 10665 WITH SCORE 10691.803
AT ITER 524 NEW BEST:: SOT 47074 SOS 26743 HAS SOPS 24646 HAS SOUS 11120 HAS SOUPS 10575 WITH SCORE 10601.743
AT ITER 525 NEW BEST:: SOT 46852 SOS 26521 HAS SOPS 24424 HAS SOUS 10898 HAS SOUPS 10353 WITH SCORE 10379.521
AT ITER 536 NEW BEST:: SOT 46852 SOS 26489 HAS SOPS 24392 HAS SOUS 10898 HAS SOUPS 10353 WITH SCORE 10379.489
AT ITER 553 NEW BEST:: SOT 46850 SOS 26488 HAS SOPS 24391 HAS SOUS 10897 HAS SOUPS 10352 WITH SCORE 10378.488
AT ITER 564 NEW BEST:: SOT 47067 SOS 26700 HAS SOPS 24603 HAS SOUS 10881 HAS SOUPS 10336 WITH SCORE 10362.7
AT ITER 568 NEW BEST:: SOT 46950 SOS 26631 HAS SOPS 24534 HAS SOUS 10812 HAS SOUPS 10267 WITH SCORE 10293.631
AT ITER 572 NEW BEST:: SOT 46950 SOS 26619 HAS SOPS 24522 HAS SOUS 10800 HAS SOUPS 10255 WITH SCORE 10281.619
AT ITER 574 NEW BEST:: SOT 46950 SOS 26601 HAS SOPS 24504 HAS SOUS 10800 HAS SOUPS 10255 WITH SCORE 10281.601
AT ITER 625 NEW BEST:: SOT 47091 SOS 26742 HAS SOPS 24645 HAS SOUS 10740 HAS SOUPS 10195 WITH SCORE 10221.742
AT ITER 626 NEW BEST:: SOT 47007 SOS 26658 HAS SOPS 24561 HAS SOUS 10566 HAS SOUPS 10021 WITH SCORE 10047.658
AT ITER 654 NEW BEST:: SOT 46745 SOS 26396 HAS SOPS 24299 HAS SOUS 9798 HAS SOUPS 9253 WITH SCORE 9279.396
AT ITER 656 NEW BEST:: SOT 46865 SOS 26516 HAS SOPS 24419 HAS SOUS 9728 HAS SOUPS 9183 WITH SCORE 9209.516
AT ITER 663 NEW BEST:: SOT 46862 SOS 26508 HAS SOPS 24411 HAS SOUS 9720 HAS SOUPS 9175 WITH SCORE 9201.508
AT ITER 672 NEW BEST:: SOT 46862 SOS 25841 HAS SOPS 24013 HAS SOUS 9698 HAS SOUPS 9172 WITH SCORE 9197.841
AT ITER 676 NEW BEST:: SOT 46853 SOS 25716 HAS SOPS 23888 HAS SOUS 9678 HAS SOUPS 9152 WITH SCORE 9177.716
AT ITER 689 NEW BEST:: SOT 46617 SOS 25480 HAS SOPS 23776 HAS SOUS 9404 HAS SOUPS 9002 WITH SCORE 9027.48
AT ITER 705 NEW BEST:: SOT 46595 SOS 24904 HAS SOPS 23466 HAS SOUS 9355 HAS SOUPS 8966 WITH SCORE 8990.904
AT ITER 721 NEW BEST:: SOT 46584 SOS 24893 HAS SOPS 23455 HAS SOUS 9344 HAS SOUPS 8955 WITH SCORE 8979.893
AT ITER 730 NEW BEST:: SOT 46579 SOS 24905 HAS SOPS 23467 HAS SOUS 9292 HAS SOUPS 8903 WITH SCORE 8927.905
AT ITER 740 NEW BEST:: SOT 46578 SOS 24904 HAS SOPS 23466 HAS SOUS 9291 HAS SOUPS 8902 WITH SCORE 8926.904
AT ITER 742 NEW BEST:: SOT 46576 SOS 24899 HAS SOPS 23461 HAS SOUS 9286 HAS SOUPS 8897 WITH SCORE 8921.899
AT ITER 765 NEW BEST:: SOT 46500 SOS 24823 HAS SOPS 23385 HAS SOUS 9210 HAS SOUPS 8821 WITH SCORE 8845.823
AT ITER 780 NEW BEST:: SOT 46500 SOS 24831 HAS SOPS 23393 HAS SOUS 9209 HAS SOUPS 8820 WITH SCORE 8844.831
AT ITER 793 NEW BEST:: SOT 46497 SOS 24822 HAS SOPS 23384 HAS SOUS 9200 HAS SOUPS 8811 WITH SCORE 8835.822
AT ITER 807 NEW BEST:: SOT 46314 SOS 25170 HAS SOPS 23732 HAS SOUS 9105 HAS SOUPS 8716 WITH SCORE 8741.17
AT ITER 813 NEW BEST:: SOT 46309 SOS 24942 HAS SOPS 23588 HAS SOUS 9094 HAS SOUPS 8712 WITH SCORE 8736.942
AT ITER 819 NEW BEST:: SOT 46279 SOS 24912 HAS SOPS 23558 HAS SOUS 9086 HAS SOUPS 8704 WITH SCORE 8728.912
AT ITER 821 NEW BEST:: SOT 46279 SOS 24911 HAS SOPS 23557 HAS SOUS 9085 HAS SOUPS 8703 WITH SCORE 8727.911
AT ITER 829 NEW BEST:: SOT 46252 SOS 24884 HAS SOPS 23530 HAS SOUS 9058 HAS SOUPS 8676 WITH SCORE 8700.884
AT ITER 854 NEW BEST:: SOT 46252 SOS 24753 HAS SOPS 23320 HAS SOUS 9004 HAS SOUPS 8642 WITH SCORE 8666.753
AT ITER 863 NEW BEST:: SOT 46199 SOS 24652 HAS SOPS 23219 HAS SOUS 8922 HAS SOUPS 8560 WITH SCORE 8584.652
AT ITER 867 NEW BEST:: SOT 46179 SOS 24632 HAS SOPS 23199 HAS SOUS 8884 HAS SOUPS 8522 WITH SCORE 8546.632
AT ITER 880 NEW BEST:: SOT 46133 SOS 24586 HAS SOPS 23153 HAS SOUS 8764 HAS SOUPS 8402 WITH SCORE 8426.586
AT ITER 883 NEW BEST:: SOT 46081 SOS 24534 HAS SOPS 23101 HAS SOUS 8708 HAS SOUPS 8346 WITH SCORE 8370.534
AT ITER 884 NEW BEST:: SOT 46072 SOS 24516 HAS SOPS 23083 HAS SOUS 8708 HAS SOUPS 8346 WITH SCORE 8370.516
AT ITER 887 NEW BEST:: SOT 45906 SOS 24350 HAS SOPS 22917 HAS SOUS 8460 HAS SOUPS 8098 WITH SCORE 8122.35
AT ITER 899 NEW BEST:: SOT 45928 SOS 24372 HAS SOPS 22939 HAS SOUS 8385 HAS SOUPS 8023 WITH SCORE 8047.372
AT ITER 900 NEW BEST:: SOT 45927 SOS 24371 HAS SOPS 22938 HAS SOUS 8384 HAS SOUPS 8022 WITH SCORE 8046.371
AT ITER 938 NEW BEST:: SOT 45922 SOS 24027 HAS SOPS 22594 HAS SOUS 8382 HAS SOUPS 8020 WITH SCORE 8044.027
AT ITER 939 NEW BEST:: SOT 45922 SOS 24016 HAS SOPS 22594 HAS SOUS 8380 HAS SOUPS 8018 WITH SCORE 8042.016
AT ITER 950 NEW BEST:: SOT 45922 SOS 24010 HAS SOPS 22588 HAS SOUS 8374 HAS SOUPS 8012 WITH SCORE 8036.01
AT ITER 981 NEW BEST:: SOT 45914 SOS 23896 HAS SOPS 22474 HAS SOUS 8355 HAS SOUPS 7993 WITH SCORE 8016.896
AT ITER 983 NEW BEST:: SOT 45912 SOS 23874 HAS SOPS 22452 HAS SOUS 8333 HAS SOUPS 7971 WITH SCORE 7994.874
AT ITER 992 NEW BEST:: SOT 45912 SOS 23609 HAS SOPS 22302 HAS SOUS 8313 HAS SOUPS 7956 WITH SCORE 7979.609
AT ITER 993 NEW BEST:: SOT 45891 SOS 23588 HAS SOPS 22281 HAS SOUS 8292 HAS SOUPS 7935 WITH SCORE 7958.588
AT ITER 1009 NEW BEST:: SOT 45891 SOS 23537 HAS SOPS 22241 HAS SOUS 8283 HAS SOUPS 7926 WITH SCORE 7949.537
AT ITER 1012 NEW BEST:: SOT 45801 SOS 23447 HAS SOPS 22151 HAS SOUS 8278 HAS SOUPS 7921 WITH SCORE 7944.447
AT ITER 1023 NEW BEST:: SOT 45793 SOS 23431 HAS SOPS 22135 HAS SOUS 8270 HAS SOUPS 7913 WITH SCORE 7936.431
AT ITER 1027 NEW BEST:: SOT 45769 SOS 23378 HAS SOPS 22082 HAS SOUS 8211 HAS SOUPS 7854 WITH SCORE 7877.378
AT ITER 1063 NEW BEST:: SOT 45765 SOS 23366 HAS SOPS 22070 HAS SOUS 8207 HAS SOUPS 7850 WITH SCORE 7873.366
AT ITER 1116 NEW BEST:: SOT 45732 SOS 23333 HAS SOPS 22037 HAS SOUS 8174 HAS SOUPS 7817 WITH SCORE 7840.333
AT ITER 1165 NEW BEST:: SOT 45726 SOS 23293 HAS SOPS 21997 HAS SOUS 8158 HAS SOUPS 7801 WITH SCORE 7824.293
AT ITER 1196 NEW BEST:: SOT 45640 SOS 23260 HAS SOPS 21964 HAS SOUS 8125 HAS SOUPS 7768 WITH SCORE 7791.26
AT ITER 1209 NEW BEST:: SOT 45625 SOS 23245 HAS SOPS 21949 HAS SOUS 8110 HAS SOUPS 7753 WITH SCORE 7776.245
AT ITER 1214 NEW BEST:: SOT 45625 SOS 23291 HAS SOPS 21909 HAS SOUS 8106 HAS SOUPS 7751 WITH SCORE 7774.291
AT ITER 1225 NEW BEST:: SOT 45528 SOS 23742 HAS SOPS 22130 HAS SOUS 8083 HAS SOUPS 7704 WITH SCORE 7727.742
AT ITER 1251 NEW BEST:: SOT 45525 SOS 23674 HAS SOPS 22062 HAS SOUS 8015 HAS SOUPS 7636 WITH SCORE 7659.674
AT ITER 1253 NEW BEST:: SOT 45525 SOS 23750 HAS SOPS 22138 HAS SOUS 8009 HAS SOUPS 7630 WITH SCORE 7653.75
AT ITER 1297 NEW BEST:: SOT 45525 SOS 23847 HAS SOPS 22128 HAS SOUS 7996 HAS SOUPS 7624 WITH SCORE 7647.847
AT ITER 1327 NEW BEST:: SOT 45525 SOS 23462 HAS SOPS 21958 HAS SOUS 7995 HAS SOUPS 7618 WITH SCORE 7641.462
AT ITER 1332 NEW BEST:: SOT 45494 SOS 23431 HAS SOPS 21927 HAS SOUS 7964 HAS SOUPS 7587 WITH SCORE 7610.431
AT ITER 1345 NEW BEST:: SOT 45494 SOS 23461 HAS SOPS 21957 HAS SOUS 7963 HAS SOUPS 7586 WITH SCORE 7609.461
AT ITER 1349 NEW BEST:: SOT 45455 SOS 23448 HAS SOPS 21944 HAS SOUS 7956 HAS SOUPS 7579 WITH SCORE 7602.448
AT ITER 1382 NEW BEST:: SOT 45473 SOS 23466 HAS SOPS 21962 HAS SOUS 7932 HAS SOUPS 7555 WITH SCORE 7578.466
AT ITER 1393 NEW BEST:: SOT 45471 SOS 23464 HAS SOPS 21960 HAS SOUS 7930 HAS SOUPS 7553 WITH SCORE 7576.464
AT ITER 1395 NEW BEST:: SOT 45291 SOS 23276 HAS SOPS 21772 HAS SOUS 7762 HAS SOUPS 7385 WITH SCORE 7408.276
AT ITER 1396 NEW BEST:: SOT 45211 SOS 23196 HAS SOPS 21692 HAS SOUS 7677 HAS SOUPS 7300 WITH SCORE 7323.196
AT ITER 1427 NEW BEST:: SOT 45217 SOS 23327 HAS SOPS 21823 HAS SOUS 7675 HAS SOUPS 7298 WITH SCORE 7321.327
AT ITER 1433 NEW BEST:: SOT 45212 SOS 23322 HAS SOPS 21818 HAS SOUS 7670 HAS SOUPS 7293 WITH SCORE 7316.322
AT ITER 1453 NEW BEST:: SOT 45210 SOS 23331 HAS SOPS 21827 HAS SOUS 7655 HAS SOUPS 7278 WITH SCORE 7301.331
AT ITER 1456 NEW BEST:: SOT 45204 SOS 23318 HAS SOPS 21814 HAS SOUS 7642 HAS SOUPS 7265 WITH SCORE 7288.318
AT ITER 1488 NEW BEST:: SOT 45165 SOS 23279 HAS SOPS 21775 HAS SOUS 7594 HAS SOUPS 7217 WITH SCORE 7240.279
AT ITER 1513 NEW BEST:: SOT 45165 SOS 23186 HAS SOPS 21718 HAS SOUS 7591 HAS SOUPS 7217 WITH SCORE 7240.186
AT ITER 1524 NEW BEST:: SOT 45165 SOS 23393 HAS SOPS 21925 HAS SOUS 7589 HAS SOUPS 7215 WITH SCORE 7238.393
AT ITER 1547 NEW BEST:: SOT 45174 SOS 23390 HAS SOPS 21922 HAS SOUS 7586 HAS SOUPS 7212 WITH SCORE 7235.39
AT ITER 1548 NEW BEST:: SOT 45158 SOS 23374 HAS SOPS 21906 HAS SOUS 7550 HAS SOUPS 7176 WITH SCORE 7199.374
AT ITER 1604 NEW BEST:: SOT 45158 SOS 23344 HAS SOPS 21876 HAS SOUS 7549 HAS SOUPS 7175 WITH SCORE 7198.344
AT ITER 1666 NEW BEST:: SOT 45158 SOS 23344 HAS SOPS 21816 HAS SOUS 7534 HAS SOUPS 7164 WITH SCORE 7187.344
AT ITER 1682 NEW BEST:: SOT 45148 SOS 23334 HAS SOPS 21806 HAS SOUS 7486 HAS SOUPS 7116 WITH SCORE 7139.334
AT ITER 1685 NEW BEST:: SOT 45144 SOS 23330 HAS SOPS 21802 HAS SOUS 7482 HAS SOUPS 7112 WITH SCORE 7135.33
AT ITER 1689 NEW BEST:: SOT 45037 SOS 23222 HAS SOPS 21694 HAS SOUS 7254 HAS SOUPS 6884 WITH SCORE 6907.222
AT ITER 1699 NEW BEST:: SOT 45046 SOS 23245 HAS SOPS 21717 HAS SOUS 7249 HAS SOUPS 6879 WITH SCORE 6902.245
AT ITER 1711 NEW BEST:: SOT 45027 SOS 23188 HAS SOPS 21660 HAS SOUS 7212 HAS SOUPS 6842 WITH SCORE 6865.188
AT ITER 1742 NEW BEST:: SOT 44991 SOS 23152 HAS SOPS 21624 HAS SOUS 7199 HAS SOUPS 6829 WITH SCORE 6852.152
AT ITER 1767 NEW BEST:: SOT 44991 SOS 23057 HAS SOPS 21529 HAS SOUS 7199 HAS SOUPS 6829 WITH SCORE 6852.057
AT ITER 1773 NEW BEST:: SOT 45063 SOS 23129 HAS SOPS 21601 HAS SOUS 7195 HAS SOUPS 6825 WITH SCORE 6848.129
AT ITER 1779 NEW BEST:: SOT 44982 SOS 22907 HAS SOPS 21379 HAS SOUS 7106 HAS SOUPS 6736 WITH SCORE 6758.907
AT ITER 1809 NEW BEST:: SOT 44975 SOS 22760 HAS SOPS 21232 HAS SOUS 7099 HAS SOUPS 6729 WITH SCORE 6751.76
AT ITER 1866 NEW BEST:: SOT 44973 SOS 22772 HAS SOPS 21244 HAS SOUS 7095 HAS SOUPS 6725 WITH SCORE 6747.772
AT ITER 1892 NEW BEST:: SOT 44968 SOS 22768 HAS SOPS 21240 HAS SOUS 7091 HAS SOUPS 6721 WITH SCORE 6743.768
AT ITER 1949 NEW BEST:: SOT 44962 SOS 22761 HAS SOPS 21233 HAS SOUS 7084 HAS SOUPS 6714 WITH SCORE 6736.761
AT ITER 1981 NEW BEST:: SOT 44923 SOS 22722 HAS SOPS 21194 HAS SOUS 7045 HAS SOUPS 6675 WITH SCORE 6697.722
AT ITER 1991 NEW BEST:: SOT 44923 SOS 22720 HAS SOPS 21192 HAS SOUS 7043 HAS SOUPS 6673 WITH SCORE 6695.72
AT ITER 1993 NEW BEST:: SOT 44923 SOS 22720 HAS SOPS 21192 HAS SOUS 7040 HAS SOUPS 6670 WITH SCORE 6692.72
AT ITER 1995 NEW BEST:: SOT 44924 SOS 22681 HAS SOPS 21153 HAS SOUS 7040 HAS SOUPS 6670 WITH SCORE 6692.681
AT ITER 2012 NEW BEST:: SOT 44863 SOS 22620 HAS SOPS 21092 HAS SOUS 6910 HAS SOUPS 6540 WITH SCORE 6562.62
AT ITER 2032 NEW BEST:: SOT 44864 SOS 22619 HAS SOPS 21091 HAS SOUS 6909 HAS SOUPS 6539 WITH SCORE 6561.619
AT ITER 2035 NEW BEST:: SOT 44862 SOS 22614 HAS SOPS 21086 HAS SOUS 6904 HAS SOUPS 6534 WITH SCORE 6556.614
AT ITER 2047 NEW BEST:: SOT 44844 SOS 22596 HAS SOPS 21068 HAS SOUS 6868 HAS SOUPS 6498 WITH SCORE 6520.596
AT ITER 2091 NEW BEST:: SOT 44842 SOS 22578 HAS SOPS 21050 HAS SOUS 6868 HAS SOUPS 6498 WITH SCORE 6520.578
AT ITER 2093 NEW BEST:: SOT 44842 SOS 22632 HAS SOPS 21040 HAS SOUS 6860 HAS SOUPS 6492 WITH SCORE 6514.632
AT ITER 2158 NEW BEST:: SOT 44844 SOS 22634 HAS SOPS 21042 HAS SOUS 6859 HAS SOUPS 6491 WITH SCORE 6513.634
AT ITER 2187 NEW BEST:: SOT 44841 SOS 22631 HAS SOPS 21039 HAS SOUS 6855 HAS SOUPS 6487 WITH SCORE 6509.631
AT ITER 2223 NEW BEST:: SOT 44835 SOS 22625 HAS SOPS 21033 HAS SOUS 6851 HAS SOUPS 6483 WITH SCORE 6505.625
AT ITER 2251 NEW BEST:: SOT 44817 SOS 22607 HAS SOPS 21015 HAS SOUS 6815 HAS SOUPS 6447 WITH SCORE 6469.607
AT ITER 2273 NEW BEST:: SOT 44818 SOS 22662 HAS SOPS 21070 HAS SOUS 6813 HAS SOUPS 6445 WITH SCORE 6467.662
AT ITER 2304 NEW BEST:: SOT 44818 SOS 22716 HAS SOPS 21124 HAS SOUS 6810 HAS SOUPS 6442 WITH SCORE 6464.716
AT ITER 2320 NEW BEST:: SOT 44818 SOS 22758 HAS SOPS 21134 HAS SOUS 6806 HAS SOUPS 6440 WITH SCORE 6462.758
AT ITER 2407 NEW BEST:: SOT 44818 SOS 22755 HAS SOPS 21131 HAS SOUS 6803 HAS SOUPS 6437 WITH SCORE 6459.755
AT ITER 2434 NEW BEST:: SOT 44800 SOS 22737 HAS SOPS 21113 HAS SOUS 6747 HAS SOUPS 6381 WITH SCORE 6403.737
AT ITER 2469 NEW BEST:: SOT 44800 SOS 22737 HAS SOPS 21053 HAS SOUS 6732 HAS SOUPS 6371 WITH SCORE 6393.737
AT ITER 2501 NEW BEST:: SOT 44797 SOS 22734 HAS SOPS 21050 HAS SOUS 6728 HAS SOUPS 6367 WITH SCORE 6389.734
AT ITER 2635 NEW BEST:: SOT 44797 SOS 22740 HAS SOPS 20930 HAS SOUS 6697 HAS SOUPS 6343 WITH SCORE 6365.74
AT ITER 2666 NEW BEST:: SOT 44641 SOS 22583 HAS SOPS 20773 HAS SOUS 6680 HAS SOUPS 6326 WITH SCORE 6348.583
AT ITER 2699 NEW BEST:: SOT 44640 SOS 22572 HAS SOPS 20762 HAS SOUS 6669 HAS SOUPS 6315 WITH SCORE 6337.572
AT ITER 2870 NEW BEST:: SOT 44638 SOS 22568 HAS SOPS 20758 HAS SOUS 6665 HAS SOUPS 6311 WITH SCORE 6333.568
AT ITER 2896 NEW BEST:: SOT 44673 SOS 22636 HAS SOPS 20826 HAS SOUS 6663 HAS SOUPS 6309 WITH SCORE 6331.636
AT ITER 2909 NEW BEST:: SOT 44680 SOS 22682 HAS SOPS 20872 HAS SOUS 6655 HAS SOUPS 6301 WITH SCORE 6323.682
AT ITER 2910 NEW BEST:: SOT 44680 SOS 23106 HAS SOPS 20952 HAS SOUS 6644 HAS SOUPS 6298 WITH SCORE 6321.106
AT ITER 2945 NEW BEST:: SOT 44680 SOS 23136 HAS SOPS 20982 HAS SOUS 6637 HAS SOUPS 6291 WITH SCORE 6314.136
AT ITER 3064 NEW BEST:: SOT 44436 SOS 22916 HAS SOPS 20926 HAS SOUS 6480 HAS SOUPS 6253 WITH SCORE 6275.916
AT ITER 3077 NEW BEST:: SOT 44400 SOS 22880 HAS SOPS 20890 HAS SOUS 6408 HAS SOUPS 6181 WITH SCORE 6203.88
AT ITER 3079 NEW BEST:: SOT 44390 SOS 22870 HAS SOPS 20880 HAS SOUS 6398 HAS SOUPS 6171 WITH SCORE 6193.87
AT ITER 3088 NEW BEST:: SOT 44388 SOS 22868 HAS SOPS 20878 HAS SOUS 6340 HAS SOUPS 6113 WITH SCORE 6135.868
AT ITER 3121 NEW BEST:: SOT 44387 SOS 22867 HAS SOPS 20877 HAS SOUS 6339 HAS SOUPS 6112 WITH SCORE 6134.867
AT ITER 3154 NEW BEST:: SOT 44383 SOS 22901 HAS SOPS 20911 HAS SOUS 6337 HAS SOUPS 6110 WITH SCORE 6132.901
AT ITER 3198 NEW BEST:: SOT 44383 SOS 22901 HAS SOPS 20891 HAS SOUS 6332 HAS SOUPS 6106 WITH SCORE 6128.901
AT ITER 3223 NEW BEST:: SOT 44331 SOS 22818 HAS SOPS 20808 HAS SOUS 6332 HAS SOUPS 6106 WITH SCORE 6128.818
AT ITER 3255 NEW BEST:: SOT 44330 SOS 22817 HAS SOPS 20807 HAS SOUS 6301 HAS SOUPS 6075 WITH SCORE 6097.817
AT ITER 3272 NEW BEST:: SOT 44320 SOS 22807 HAS SOPS 20797 HAS SOUS 6291 HAS SOUPS 6065 WITH SCORE 6087.807
AT ITER 3344 NEW BEST:: SOT 44316 SOS 22794 HAS SOPS 20784 HAS SOUS 6290 HAS SOUPS 6064 WITH SCORE 6086.794
AT ITER 3407 NEW BEST:: SOT 44315 SOS 22789 HAS SOPS 20779 HAS SOUS 6285 HAS SOUPS 6059 WITH SCORE 6081.789
AT ITER 3478 NEW BEST:: SOT 44315 SOS 22859 HAS SOPS 20659 HAS SOUS 6259 HAS SOUPS 6041 WITH SCORE 6063.859
AT ITER 3497 NEW BEST:: SOT 44315 SOS 22859 HAS SOPS 20659 HAS SOUS 6250 HAS SOUPS 6032 WITH SCORE 6054.859
AT ITER 3536 NEW BEST:: SOT 44312 SOS 22854 HAS SOPS 20654 HAS SOUS 6245 HAS SOUPS 6027 WITH SCORE 6049.854
AT ITER 3540 NEW BEST:: SOT 44312 SOS 22784 HAS SOPS 20620 HAS SOUS 6240 HAS SOUPS 6025 WITH SCORE 6047.784
AT ITER 3563 NEW BEST:: SOT 44312 SOS 22830 HAS SOPS 20580 HAS SOUS 6232 HAS SOUPS 6019 WITH SCORE 6041.83
AT ITER 3564 NEW BEST:: SOT 44285 SOS 22803 HAS SOPS 20553 HAS SOUS 6206 HAS SOUPS 5993 WITH SCORE 6015.803
AT ITER 3578 NEW BEST:: SOT 44227 SOS 22745 HAS SOPS 20495 HAS SOUS 6194 HAS SOUPS 5981 WITH SCORE 6003.745
AT ITER 3594 NEW BEST:: SOT 44227 SOS 22745 HAS SOPS 20475 HAS SOUS 6188 HAS SOUPS 5976 WITH SCORE 5998.745
AT ITER 3636 NEW BEST:: SOT 44227 SOS 22683 HAS SOPS 20435 HAS SOUS 6187 HAS SOUPS 5975 WITH SCORE 5997.683
AT ITER 3641 NEW BEST:: SOT 44185 SOS 22564 HAS SOPS 20316 HAS SOUS 6152 HAS SOUPS 5940 WITH SCORE 5962.564
AT ITER 3652 NEW BEST:: SOT 44233 SOS 22592 HAS SOPS 20148 HAS SOUS 6266 HAS SOUPS 5938 WITH SCORE 5960.592
AT ITER 3745 NEW BEST:: SOT 44232 SOS 22585 HAS SOPS 20141 HAS SOUS 6259 HAS SOUPS 5931 WITH SCORE 5953.585
AT ITER 3816 NEW BEST:: SOT 44204 SOS 22556 HAS SOPS 20112 HAS SOUS 6231 HAS SOUPS 5903 WITH SCORE 5925.556
AT ITER 3822 NEW BEST:: SOT 44236 SOS 22666 HAS SOPS 20222 HAS SOUS 6229 HAS SOUPS 5901 WITH SCORE 5923.666
AT ITER 3916 NEW BEST:: SOT 44234 SOS 22663 HAS SOPS 20219 HAS SOUS 6226 HAS SOUPS 5898 WITH SCORE 5920.663
AT ITER 4197 NEW BEST:: SOT 44196 SOS 22625 HAS SOPS 20181 HAS SOUS 6170 HAS SOUPS 5842 WITH SCORE 5864.625
AT ITER 4319 NEW BEST:: SOT 44158 SOS 22587 HAS SOPS 20143 HAS SOUS 6090 HAS SOUPS 5762 WITH SCORE 5784.587
AT ITER 4447 NEW BEST:: SOT 44159 SOS 22558 HAS SOPS 20114 HAS SOUS 6090 HAS SOUPS 5762 WITH SCORE 5784.558
AT ITER 4477 NEW BEST:: SOT 44159 SOS 22468 HAS SOPS 20024 HAS SOUS 6088 HAS SOUPS 5760 WITH SCORE 5782.468
AT ITER 4663 NEW BEST:: SOT 44160 SOS 22471 HAS SOPS 20027 HAS SOUS 6087 HAS SOUPS 5759 WITH SCORE 5781.471
AT ITER 4814 NEW BEST:: SOT 44160 SOS 22470 HAS SOPS 20026 HAS SOUS 6086 HAS SOUPS 5758 WITH SCORE 5780.47
AT ITER 4852 NEW BEST:: SOT 44160 SOS 22468 HAS SOPS 20024 HAS SOUS 6084 HAS SOUPS 5756 WITH SCORE 5778.468
AT ITER 5008 NEW BEST:: SOT 44160 SOS 22467 HAS SOPS 20023 HAS SOUS 6083 HAS SOUPS 5755 WITH SCORE 5777.467
AT ITER 5047 NEW BEST:: SOT 44162 SOS 22474 HAS SOPS 20030 HAS SOUS 6082 HAS SOUPS 5754 WITH SCORE 5776.474
AT ITER 5303 NEW BEST:: SOT 44121 SOS 22433 HAS SOPS 19989 HAS SOUS 5994 HAS SOUPS 5666 WITH SCORE 5688.433
AT ITER 5464 NEW BEST:: SOT 44155 SOS 22470 HAS SOPS 20026 HAS SOUS 5978 HAS SOUPS 5650 WITH SCORE 5672.47
AT ITER 5469 NEW BEST:: SOT 44102 SOS 22417 HAS SOPS 19973 HAS SOUS 5848 HAS SOUPS 5520 WITH SCORE 5542.417
AT ITER 5529 NEW BEST:: SOT 44073 SOS 22388 HAS SOPS 19944 HAS SOUS 5780 HAS SOUPS 5452 WITH SCORE 5474.388
AT ITER 5641 NEW BEST:: SOT 44071 SOS 22386 HAS SOPS 19942 HAS SOUS 5778 HAS SOUPS 5450 WITH SCORE 5472.386
AT ITER 5660 NEW BEST:: SOT 44070 SOS 22385 HAS SOPS 19941 HAS SOUS 5768 HAS SOUPS 5440 WITH SCORE 5462.385
AT ITER 5796 NEW BEST:: SOT 44068 SOS 22383 HAS SOPS 19939 HAS SOUS 5766 HAS SOUPS 5438 WITH SCORE 5460.383
AT ITER 5840 NEW BEST:: SOT 44110 SOS 22457 HAS SOPS 20013 HAS SOUS 5752 HAS SOUPS 5424 WITH SCORE 5446.457
AT ITER 5871 NEW BEST:: SOT 44102 SOS 22449 HAS SOPS 20005 HAS SOUS 5744 HAS SOUPS 5416 WITH SCORE 5438.449
AT ITER 5872 NEW BEST:: SOT 44097 SOS 22444 HAS SOPS 19992 HAS SOUS 5723 HAS SOUPS 5395 WITH SCORE 5417.444
AT ITER 6002 NEW BEST:: SOT 44102 SOS 22426 HAS SOPS 19974 HAS SOUS 5701 HAS SOUPS 5373 WITH SCORE 5395.426
AT ITER 6092 NEW BEST:: SOT 44100 SOS 22424 HAS SOPS 19972 HAS SOUS 5693 HAS SOUPS 5365 WITH SCORE 5387.424
AT ITER 6258 NEW BEST:: SOT 44098 SOS 22422 HAS SOPS 19970 HAS SOUS 5691 HAS SOUPS 5363 WITH SCORE 5385.422
AT ITER 6606 NEW BEST:: SOT 44096 SOS 22420 HAS SOPS 19968 HAS SOUS 5687 HAS SOUPS 5359 WITH SCORE 5381.42
AT ITER 6639 NEW BEST:: SOT 44095 SOS 22418 HAS SOPS 19966 HAS SOUS 5685 HAS SOUPS 5357 WITH SCORE 5379.418
AT ITER 6978 NEW BEST:: SOT 44094 SOS 22385 HAS SOPS 19945 HAS SOUS 5683 HAS SOUPS 5356 WITH SCORE 5378.385
AT ITER 7012 NEW BEST:: SOT 44073 SOS 22364 HAS SOPS 19924 HAS SOUS 5641 HAS SOUPS 5314 WITH SCORE 5336.364
AT ITER 7042 NEW BEST:: SOT 44054 SOS 22345 HAS SOPS 19905 HAS SOUS 5611 HAS SOUPS 5284 WITH SCORE 5306.345
AT ITER 7215 NEW BEST:: SOT 44052 SOS 22343 HAS SOPS 19903 HAS SOUS 5611 HAS SOUPS 5284 WITH SCORE 5306.343
AT ITER 7245 NEW BEST:: SOT 44054 SOS 22345 HAS SOPS 19925 HAS SOUS 5566 HAS SOUPS 5237 WITH SCORE 5259.345
AT ITER 7336 NEW BEST:: SOT 44055 SOS 22346 HAS SOPS 19946 HAS SOUS 5545 HAS SOUPS 5214 WITH SCORE 5236.346
AT ITER 7431 NEW BEST:: SOT 44054 SOS 22345 HAS SOPS 19945 HAS SOUS 5544 HAS SOUPS 5213 WITH SCORE 5235.345
AT ITER 7568 NEW BEST:: SOT 44053 SOS 22342 HAS SOPS 19942 HAS SOUS 5541 HAS SOUPS 5210 WITH SCORE 5232.342
AT ITER 7740 NEW BEST:: SOT 44052 SOS 22341 HAS SOPS 19941 HAS SOUS 5540 HAS SOUPS 5209 WITH SCORE 5231.341
AT ITER 7789 NEW BEST:: SOT 44052 SOS 22341 HAS SOPS 19941 HAS SOUS 5536 HAS SOUPS 5205 WITH SCORE 5227.341
AT ITER 8101 NEW BEST:: SOT 44041 SOS 22332 HAS SOPS 19932 HAS SOUS 5511 HAS SOUPS 5180 WITH SCORE 5202.332
AT ITER 8460 NEW BEST:: SOT 44040 SOS 22330 HAS SOPS 19930 HAS SOUS 5511 HAS SOUPS 5180 WITH SCORE 5202.33
AT ITER 8501 NEW BEST:: SOT 44039 SOS 22329 HAS SOPS 19929 HAS SOUS 5510 HAS SOUPS 5179 WITH SCORE 5201.329
AT ITER 8517 NEW BEST:: SOT 44037 SOS 22325 HAS SOPS 19925 HAS SOUS 5510 HAS SOUPS 5179 WITH SCORE 5201.325
AT ITER 8601 NEW BEST:: SOT 44036 SOS 22324 HAS SOPS 19924 HAS SOUS 5508 HAS SOUPS 5177 WITH SCORE 5199.324
AT ITER 8908 NEW BEST:: SOT 44036 SOS 22294 HAS SOPS 19894 HAS SOUS 5507 HAS SOUPS 5176 WITH SCORE 5198.294
AT ITER 9048 NEW BEST:: SOT 44035 SOS 22293 HAS SOPS 19893 HAS SOUS 5502 HAS SOUPS 5171 WITH SCORE 5193.293
AT ITER 9067 NEW BEST:: SOT 44035 SOS 22275 HAS SOPS 19875 HAS SOUS 5502 HAS SOUPS 5171 WITH SCORE 5193.275
AT ITER 9096 NEW BEST:: SOT 44036 SOS 22246 HAS SOPS 19846 HAS SOUS 5502 HAS SOUPS 5171 WITH SCORE 5193.246
AT ITER 9911 NEW BEST:: SOT 44036 SOS 22216 HAS SOPS 19816 HAS SOUS 5502 HAS SOUPS 5171 WITH SCORE 5193.216
STATE_SPACE STATES 406034376 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 27 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3051203628 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679092386391

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SimpleLoadBal-PT-10"
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 SimpleLoadBal-PT-10, 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 r419-tajo-167905973900520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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