About the Execution of smart for TokenRing-PT-015
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.640 | 285737.00 | 285039.00 | 0.00 | 3.5358E+0007 2.6518E+0008 1 16 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r190-csrt-159033382800496.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is TokenRing-PT-015, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033382800496
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 22M
-rw-r--r-- 1 mcc users 138K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 460K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4M Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 6.5M Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 165K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 582K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.3M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 104K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 338K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 984K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.7M Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 30K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 71K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 2.6M Apr 27 15:14 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 1590408101585
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 015
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 256 places, 3616 transitions, 14464 arcs.
AT ITER 0 NEW BEST:: SOT 505270 SOS 126880 HAS SOPS 80324 HAS SOUS 69673 HAS SOUPS 65924 WITH SCORE 66050.88
AT ITER 32 NEW BEST:: SOT 504979 SOS 126624 HAS SOPS 80332 HAS SOUS 69621 HAS SOUPS 65887 WITH SCORE 66013.624
AT ITER 81 NEW BEST:: SOT 504824 SOS 126389 HAS SOPS 80443 HAS SOUS 69546 HAS SOUPS 65822 WITH SCORE 65948.389
AT ITER 85 NEW BEST:: SOT 504595 SOS 126240 HAS SOPS 80627 HAS SOUS 69461 HAS SOUPS 65754 WITH SCORE 65880.24
AT ITER 104 NEW BEST:: SOT 504406 SOS 126036 HAS SOPS 80530 HAS SOUS 69351 HAS SOUPS 65648 WITH SCORE 65774.036
AT ITER 117 NEW BEST:: SOT 504453 SOS 126373 HAS SOPS 80867 HAS SOUS 69268 HAS SOUPS 65565 WITH SCORE 65691.373
AT ITER 150 NEW BEST:: SOT 504566 SOS 127252 HAS SOPS 81746 HAS SOUS 69223 HAS SOUPS 65520 WITH SCORE 65647.252
AT ITER 164 NEW BEST:: SOT 504549 SOS 127966 HAS SOPS 82601 HAS SOUS 69195 HAS SOUPS 65499 WITH SCORE 65626.966
AT ITER 186 NEW BEST:: SOT 504534 SOS 128004 HAS SOPS 82968 HAS SOUS 68926 HAS SOUPS 65243 WITH SCORE 65371.004
AT ITER 190 NEW BEST:: SOT 504610 SOS 128632 HAS SOPS 83596 HAS SOUS 68546 HAS SOUPS 64863 WITH SCORE 64991.632
AT ITER 224 NEW BEST:: SOT 504584 SOS 128576 HAS SOPS 83570 HAS SOUS 68516 HAS SOUPS 64837 WITH SCORE 64965.576
AT ITER 250 NEW BEST:: SOT 504751 SOS 128896 HAS SOPS 84027 HAS SOUS 68511 HAS SOUPS 64832 WITH SCORE 64960.896
AT ITER 256 NEW BEST:: SOT 504750 SOS 129037 HAS SOPS 84268 HAS SOUS 68368 HAS SOUPS 64689 WITH SCORE 64818.037
AT ITER 257 NEW BEST:: SOT 504765 SOS 129586 HAS SOPS 84705 HAS SOUS 68031 HAS SOUPS 64360 WITH SCORE 64489.586
AT ITER 284 NEW BEST:: SOT 504752 SOS 129582 HAS SOPS 84686 HAS SOUS 68010 HAS SOUPS 64339 WITH SCORE 64468.582
AT ITER 287 NEW BEST:: SOT 504823 SOS 129793 HAS SOPS 84967 HAS SOUS 67955 HAS SOUPS 64281 WITH SCORE 64410.793
AT ITER 300 NEW BEST:: SOT 504805 SOS 129939 HAS SOPS 85095 HAS SOUS 67787 HAS SOUPS 64113 WITH SCORE 64242.939
AT ITER 305 NEW BEST:: SOT 504801 SOS 129883 HAS SOPS 85091 HAS SOUS 67771 HAS SOUPS 64101 WITH SCORE 64230.883
AT ITER 388 NEW BEST:: SOT 504780 SOS 129687 HAS SOPS 85070 HAS SOUS 67701 HAS SOUPS 64045 WITH SCORE 64174.687
AT ITER 390 NEW BEST:: SOT 504837 SOS 130492 HAS SOPS 85875 HAS SOUS 67682 HAS SOUPS 64026 WITH SCORE 64156.492
AT ITER 473 NEW BEST:: SOT 504902 SOS 130741 HAS SOPS 86124 HAS SOUS 67563 HAS SOUPS 63907 WITH SCORE 64037.741
AT ITER 499 NEW BEST:: SOT 505082 SOS 131457 HAS SOPS 86840 HAS SOUS 67207 HAS SOUPS 63551 WITH SCORE 63682.457
AT ITER 508 NEW BEST:: SOT 505197 SOS 132082 HAS SOPS 87649 HAS SOUS 66896 HAS SOUPS 63247 WITH SCORE 63379.082
AT ITER 529 NEW BEST:: SOT 505356 SOS 133005 HAS SOPS 88380 HAS SOUS 66844 HAS SOUPS 63181 WITH SCORE 63314.005
AT ITER 545 NEW BEST:: SOT 505820 SOS 134259 HAS SOPS 89634 HAS SOUS 66646 HAS SOUPS 62983 WITH SCORE 63117.259
AT ITER 553 NEW BEST:: SOT 505898 SOS 134763 HAS SOPS 90130 HAS SOUS 66507 HAS SOUPS 62844 WITH SCORE 62978.763
AT ITER 589 NEW BEST:: SOT 505877 SOS 134803 HAS SOPS 90331 HAS SOUS 66462 HAS SOUPS 62811 WITH SCORE 62945.803
AT ITER 613 NEW BEST:: SOT 506244 SOS 136128 HAS SOPS 91556 HAS SOUS 66093 HAS SOUPS 62433 WITH SCORE 62569.128
AT ITER 650 NEW BEST:: SOT 506179 SOS 136033 HAS SOPS 91461 HAS SOUS 66058 HAS SOUPS 62398 WITH SCORE 62534.033
AT ITER 669 NEW BEST:: SOT 506155 SOS 135920 HAS SOPS 91715 HAS SOUS 65915 HAS SOUPS 62284 WITH SCORE 62419.92
AT ITER 678 NEW BEST:: SOT 506443 SOS 137170 HAS SOPS 92599 HAS SOUS 65737 HAS SOUPS 62075 WITH SCORE 62212.17
AT ITER 695 NEW BEST:: SOT 506477 SOS 137761 HAS SOPS 93045 HAS SOUS 65484 HAS SOUPS 61824 WITH SCORE 61961.761
AT ITER 698 NEW BEST:: SOT 506487 SOS 137831 HAS SOPS 93115 HAS SOUS 65434 HAS SOUPS 61774 WITH SCORE 61911.831
AT ITER 702 NEW BEST:: SOT 506577 SOS 138605 HAS SOPS 93889 HAS SOUS 65352 HAS SOUPS 61692 WITH SCORE 61830.605
AT ITER 720 NEW BEST:: SOT 506561 SOS 138489 HAS SOPS 93971 HAS SOUS 65212 HAS SOUPS 61566 WITH SCORE 61704.489
AT ITER 734 NEW BEST:: SOT 506261 SOS 138231 HAS SOPS 93902 HAS SOUS 65137 HAS SOUPS 61501 WITH SCORE 61639.231
AT ITER 765 NEW BEST:: SOT 506565 SOS 138704 HAS SOPS 94734 HAS SOUS 65084 HAS SOUPS 61445 WITH SCORE 61583.704
AT ITER 791 NEW BEST:: SOT 506989 SOS 139746 HAS SOPS 95820 HAS SOUS 65089 HAS SOUPS 61437 WITH SCORE 61576.746
AT ITER 794 NEW BEST:: SOT 507317 SOS 140845 HAS SOPS 96776 HAS SOUS 64822 HAS SOUPS 61159 WITH SCORE 61299.845
AT ITER 802 NEW BEST:: SOT 507450 SOS 141342 HAS SOPS 97273 HAS SOUS 64591 HAS SOUPS 60928 WITH SCORE 61069.342
AT ITER 803 NEW BEST:: SOT 507734 SOS 142147 HAS SOPS 98089 HAS SOUS 64512 HAS SOUPS 60858 WITH SCORE 61000.147
AT ITER 806 NEW BEST:: SOT 507884 SOS 143394 HAS SOPS 99495 HAS SOUS 64492 HAS SOUPS 60852 WITH SCORE 60995.394
AT ITER 836 NEW BEST:: SOT 507889 SOS 143442 HAS SOPS 99608 HAS SOUS 64374 HAS SOUPS 60739 WITH SCORE 60882.442
AT ITER 838 NEW BEST:: SOT 507666 SOS 143948 HAS SOPS 99473 HAS SOUS 63956 HAS SOUPS 60317 WITH SCORE 60460.948
AT ITER 860 NEW BEST:: SOT 507753 SOS 144180 HAS SOPS 99788 HAS SOUS 63920 HAS SOUPS 60276 WITH SCORE 60420.18
AT ITER 862 NEW BEST:: SOT 507779 SOS 144194 HAS SOPS 99748 HAS SOUS 63831 HAS SOUPS 60179 WITH SCORE 60323.194
AT ITER 882 NEW BEST:: SOT 507818 SOS 144442 HAS SOPS 100035 HAS SOUS 63682 HAS SOUPS 60026 WITH SCORE 60170.442
AT ITER 886 NEW BEST:: SOT 507905 SOS 144832 HAS SOPS 100428 HAS SOUS 63466 HAS SOUPS 59810 WITH SCORE 59954.832
AT ITER 896 NEW BEST:: SOT 507631 SOS 144435 HAS SOPS 100000 HAS SOUS 63115 HAS SOUPS 59472 WITH SCORE 59616.435
AT ITER 907 NEW BEST:: SOT 507316 SOS 144192 HAS SOPS 99936 HAS SOUS 63031 HAS SOUPS 59406 WITH SCORE 59550.192
AT ITER 963 NEW BEST:: SOT 507282 SOS 144134 HAS SOPS 99921 HAS SOUS 62951 HAS SOUPS 59331 WITH SCORE 59475.134
AT ITER 987 NEW BEST:: SOT 507332 SOS 144396 HAS SOPS 100187 HAS SOUS 62789 HAS SOUPS 59169 WITH SCORE 59313.396
AT ITER 1018 NEW BEST:: SOT 507670 SOS 145454 HAS SOPS 101249 HAS SOUS 62455 HAS SOUPS 58832 WITH SCORE 58977.454
AT ITER 1029 NEW BEST:: SOT 507513 SOS 145310 HAS SOPS 100970 HAS SOUS 62288 HAS SOUPS 58665 WITH SCORE 58810.31
AT ITER 1077 NEW BEST:: SOT 507603 SOS 145502 HAS SOPS 101208 HAS SOUS 62260 HAS SOUPS 58637 WITH SCORE 58782.502
AT ITER 1108 NEW BEST:: SOT 507696 SOS 145595 HAS SOPS 101233 HAS SOUS 62248 HAS SOUPS 58632 WITH SCORE 58777.595
AT ITER 1120 NEW BEST:: SOT 508124 SOS 146491 HAS SOPS 102129 HAS SOUS 62208 HAS SOUPS 58592 WITH SCORE 58738.491
AT ITER 1148 NEW BEST:: SOT 508176 SOS 146659 HAS SOPS 102369 HAS SOUS 62182 HAS SOUPS 58568 WITH SCORE 58714.659
AT ITER 1149 NEW BEST:: SOT 508339 SOS 146832 HAS SOPS 102232 HAS SOUS 62055 HAS SOUPS 58451 WITH SCORE 58597.832
AT ITER 1155 NEW BEST:: SOT 508254 SOS 147002 HAS SOPS 102213 HAS SOUS 61909 HAS SOUPS 58305 WITH SCORE 58452.002
AT ITER 1184 NEW BEST:: SOT 508330 SOS 147437 HAS SOPS 102445 HAS SOUS 61753 HAS SOUPS 58144 WITH SCORE 58291.437
AT ITER 1196 NEW BEST:: SOT 508301 SOS 147409 HAS SOPS 102416 HAS SOUS 61723 HAS SOUPS 58114 WITH SCORE 58261.409
AT ITER 1281 NEW BEST:: SOT 508315 SOS 147509 HAS SOPS 102458 HAS SOUS 61715 HAS SOUPS 58102 WITH SCORE 58249.509
AT ITER 1287 NEW BEST:: SOT 508300 SOS 147507 HAS SOPS 102441 HAS SOUS 61688 HAS SOUPS 58075 WITH SCORE 58222.507
AT ITER 1309 NEW BEST:: SOT 508575 SOS 148024 HAS SOPS 103204 HAS SOUS 61585 HAS SOUPS 57979 WITH SCORE 58127.024
AT ITER 1323 NEW BEST:: SOT 508646 SOS 148269 HAS SOPS 103521 HAS SOUS 61506 HAS SOUPS 57896 WITH SCORE 58044.269
AT ITER 1339 NEW BEST:: SOT 508604 SOS 148223 HAS SOPS 103431 HAS SOUS 61464 HAS SOUPS 57854 WITH SCORE 58002.223
AT ITER 1340 NEW BEST:: SOT 508703 SOS 148503 HAS SOPS 103716 HAS SOUS 61414 HAS SOUPS 57804 WITH SCORE 57952.503
AT ITER 1432 NEW BEST:: SOT 509170 SOS 149522 HAS SOPS 104817 HAS SOUS 61265 HAS SOUPS 57659 WITH SCORE 57808.522
AT ITER 1435 NEW BEST:: SOT 509105 SOS 149377 HAS SOPS 104722 HAS SOUS 61200 HAS SOUPS 57599 WITH SCORE 57748.377
AT ITER 1436 NEW BEST:: SOT 509217 SOS 149769 HAS SOPS 105108 HAS SOUS 61096 HAS SOUPS 57495 WITH SCORE 57644.769
AT ITER 1460 NEW BEST:: SOT 509199 SOS 149759 HAS SOPS 105072 HAS SOUS 61066 HAS SOUPS 57467 WITH SCORE 57616.759
AT ITER 1474 NEW BEST:: SOT 509129 SOS 149686 HAS SOPS 104990 HAS SOUS 60973 HAS SOUPS 57381 WITH SCORE 57530.686
AT ITER 1540 NEW BEST:: SOT 509239 SOS 149812 HAS SOPS 105060 HAS SOUS 60949 HAS SOUPS 57347 WITH SCORE 57496.812
AT ITER 1565 NEW BEST:: SOT 508867 SOS 149403 HAS SOPS 104788 HAS SOUS 60722 HAS SOUPS 57133 WITH SCORE 57282.403
AT ITER 1572 NEW BEST:: SOT 508626 SOS 149199 HAS SOPS 104359 HAS SOUS 60459 HAS SOUPS 56870 WITH SCORE 57019.199
AT ITER 1658 NEW BEST:: SOT 508361 SOS 149030 HAS SOPS 103772 HAS SOUS 60420 HAS SOUPS 56821 WITH SCORE 56970.03
AT ITER 1671 NEW BEST:: SOT 508350 SOS 149020 HAS SOPS 103739 HAS SOUS 60408 HAS SOUPS 56809 WITH SCORE 56958.02
AT ITER 1673 NEW BEST:: SOT 508362 SOS 149234 HAS SOPS 103865 HAS SOUS 60330 HAS SOUPS 56724 WITH SCORE 56873.234
AT ITER 1684 NEW BEST:: SOT 508527 SOS 149579 HAS SOPS 104248 HAS SOUS 60327 HAS SOUPS 56721 WITH SCORE 56870.579
AT ITER 1692 NEW BEST:: SOT 508398 SOS 149467 HAS SOPS 103939 HAS SOUS 60280 HAS SOUPS 56680 WITH SCORE 56829.467
AT ITER 1700 NEW BEST:: SOT 508422 SOS 149545 HAS SOPS 104041 HAS SOUS 60256 HAS SOUPS 56656 WITH SCORE 56805.545
AT ITER 1716 NEW BEST:: SOT 508430 SOS 149554 HAS SOPS 104037 HAS SOUS 60250 HAS SOUPS 56650 WITH SCORE 56799.554
AT ITER 1776 NEW BEST:: SOT 508427 SOS 149550 HAS SOPS 104042 HAS SOUS 60248 HAS SOUPS 56648 WITH SCORE 56797.55
AT ITER 1815 NEW BEST:: SOT 508271 SOS 149052 HAS SOPS 103780 HAS SOUS 60194 HAS SOUPS 56609 WITH SCORE 56758.052
AT ITER 1819 NEW BEST:: SOT 508293 SOS 149120 HAS SOPS 103882 HAS SOUS 60182 HAS SOUPS 56597 WITH SCORE 56746.12
AT ITER 1824 NEW BEST:: SOT 508274 SOS 149092 HAS SOPS 103863 HAS SOUS 60140 HAS SOUPS 56557 WITH SCORE 56706.092
AT ITER 1856 NEW BEST:: SOT 508324 SOS 149253 HAS SOPS 104065 HAS SOUS 59967 HAS SOUPS 56391 WITH SCORE 56540.253
AT ITER 1864 NEW BEST:: SOT 508356 SOS 149270 HAS SOPS 104107 HAS SOUS 59959 HAS SOUPS 56388 WITH SCORE 56537.27
AT ITER 1899 NEW BEST:: SOT 508347 SOS 149228 HAS SOPS 104098 HAS SOUS 59935 HAS SOUPS 56367 WITH SCORE 56516.228
AT ITER 2090 NEW BEST:: SOT 508296 SOS 149105 HAS SOPS 103993 HAS SOUS 59908 HAS SOUPS 56343 WITH SCORE 56492.105
AT ITER 2098 NEW BEST:: SOT 508189 SOS 148993 HAS SOPS 103886 HAS SOUS 59754 HAS SOUPS 56194 WITH SCORE 56342.993
AT ITER 2105 NEW BEST:: SOT 508166 SOS 148990 HAS SOPS 103965 HAS SOUS 59535 HAS SOUPS 55986 WITH SCORE 56134.99
AT ITER 2112 NEW BEST:: SOT 508203 SOS 149177 HAS SOPS 104152 HAS SOUS 59454 HAS SOUPS 55905 WITH SCORE 56054.177
AT ITER 2119 NEW BEST:: SOT 508556 SOS 150225 HAS SOPS 104929 HAS SOUS 59448 HAS SOUPS 55878 WITH SCORE 56028.225
AT ITER 2158 NEW BEST:: SOT 508530 SOS 150197 HAS SOPS 104903 HAS SOUS 59392 HAS SOUPS 55824 WITH SCORE 55974.197
AT ITER 2175 NEW BEST:: SOT 508530 SOS 150198 HAS SOPS 104907 HAS SOUS 59391 HAS SOUPS 55823 WITH SCORE 55973.198
AT ITER 2187 NEW BEST:: SOT 508661 SOS 150488 HAS SOPS 105236 HAS SOUS 59299 HAS SOUPS 55735 WITH SCORE 55885.488
AT ITER 2192 NEW BEST:: SOT 508664 SOS 150483 HAS SOPS 105251 HAS SOUS 59294 HAS SOUPS 55731 WITH SCORE 55881.483
AT ITER 2271 NEW BEST:: SOT 508655 SOS 150441 HAS SOPS 105242 HAS SOUS 59270 HAS SOUPS 55710 WITH SCORE 55860.441
AT ITER 2299 NEW BEST:: SOT 508634 SOS 150371 HAS SOPS 105199 HAS SOUS 59191 HAS SOUPS 55632 WITH SCORE 55782.371
AT ITER 2339 NEW BEST:: SOT 508629 SOS 150366 HAS SOPS 105194 HAS SOUS 59186 HAS SOUPS 55627 WITH SCORE 55777.366
AT ITER 2389 NEW BEST:: SOT 508629 SOS 150347 HAS SOPS 105194 HAS SOUS 59167 HAS SOUPS 55627 WITH SCORE 55777.347
AT ITER 2415 NEW BEST:: SOT 508683 SOS 150487 HAS SOPS 105021 HAS SOUS 59173 HAS SOUPS 55618 WITH SCORE 55768.487
AT ITER 2424 NEW BEST:: SOT 508674 SOS 150472 HAS SOPS 105006 HAS SOUS 59170 HAS SOUPS 55615 WITH SCORE 55765.472
AT ITER 2425 NEW BEST:: SOT 508722 SOS 150580 HAS SOPS 105114 HAS SOUS 59158 HAS SOUPS 55603 WITH SCORE 55753.58
AT ITER 2499 NEW BEST:: SOT 508717 SOS 150674 HAS SOPS 105203 HAS SOUS 59067 HAS SOUPS 55512 WITH SCORE 55662.674
AT ITER 2502 NEW BEST:: SOT 508712 SOS 150687 HAS SOPS 105182 HAS SOUS 59060 HAS SOUPS 55504 WITH SCORE 55654.687
AT ITER 2565 NEW BEST:: SOT 508572 SOS 150547 HAS SOPS 105042 HAS SOUS 58920 HAS SOUPS 55364 WITH SCORE 55514.547
AT ITER 2592 NEW BEST:: SOT 508492 SOS 150471 HAS SOPS 104968 HAS SOUS 58900 HAS SOUPS 55346 WITH SCORE 55496.471
AT ITER 2595 NEW BEST:: SOT 508456 SOS 150436 HAS SOPS 104838 HAS SOUS 58863 HAS SOUPS 55309 WITH SCORE 55459.436
AT ITER 2601 NEW BEST:: SOT 508545 SOS 150601 HAS SOPS 105029 HAS SOUS 58860 HAS SOUPS 55306 WITH SCORE 55456.601
AT ITER 2692 NEW BEST:: SOT 508532 SOS 150602 HAS SOPS 105002 HAS SOUS 58848 HAS SOUPS 55294 WITH SCORE 55444.602
AT ITER 2715 NEW BEST:: SOT 508522 SOS 150580 HAS SOPS 104982 HAS SOUS 58826 HAS SOUPS 55274 WITH SCORE 55424.58
AT ITER 2737 NEW BEST:: SOT 508553 SOS 150670 HAS SOPS 105033 HAS SOUS 58780 HAS SOUPS 55229 WITH SCORE 55379.67
AT ITER 2785 NEW BEST:: SOT 508532 SOS 150628 HAS SOPS 105012 HAS SOUS 58732 HAS SOUPS 55184 WITH SCORE 55334.628
AT ITER 2808 NEW BEST:: SOT 508502 SOS 150543 HAS SOPS 104996 HAS SOUS 58693 HAS SOUPS 55149 WITH SCORE 55299.543
AT ITER 2899 NEW BEST:: SOT 508494 SOS 150540 HAS SOPS 104980 HAS SOUS 58678 HAS SOUPS 55135 WITH SCORE 55285.54
AT ITER 2960 NEW BEST:: SOT 508523 SOS 150620 HAS SOPS 105089 HAS SOUS 58667 HAS SOUPS 55124 WITH SCORE 55274.62
AT ITER 3030 NEW BEST:: SOT 508836 SOS 150975 HAS SOPS 105027 HAS SOUS 58469 HAS SOUPS 54914 WITH SCORE 55064.975
AT ITER 3032 NEW BEST:: SOT 508771 SOS 150869 HAS SOPS 104914 HAS SOUS 58460 HAS SOUPS 54905 WITH SCORE 55055.869
AT ITER 3044 NEW BEST:: SOT 508777 SOS 150891 HAS SOPS 104936 HAS SOUS 58450 HAS SOUPS 54895 WITH SCORE 55045.891
AT ITER 3051 NEW BEST:: SOT 509097 SOS 151577 HAS SOPS 105622 HAS SOUS 58404 HAS SOUPS 54849 WITH SCORE 55000.577
AT ITER 3059 NEW BEST:: SOT 509464 SOS 152348 HAS SOPS 106393 HAS SOUS 58399 HAS SOUPS 54844 WITH SCORE 54996.348
AT ITER 3069 NEW BEST:: SOT 509180 SOS 151878 HAS SOPS 105923 HAS SOUS 58301 HAS SOUPS 54746 WITH SCORE 54897.878
AT ITER 3109 NEW BEST:: SOT 509090 SOS 151704 HAS SOPS 105841 HAS SOUS 58103 HAS SOUPS 54561 WITH SCORE 54712.704
AT ITER 3130 NEW BEST:: SOT 508916 SOS 151815 HAS SOPS 105517 HAS SOUS 58120 HAS SOUPS 54550 WITH SCORE 54701.815
AT ITER 3163 NEW BEST:: SOT 508677 SOS 151329 HAS SOPS 104948 HAS SOUS 58079 HAS SOUPS 54509 WITH SCORE 54660.329
AT ITER 3216 NEW BEST:: SOT 508683 SOS 151356 HAS SOPS 104984 HAS SOUS 58064 HAS SOUPS 54494 WITH SCORE 54645.356
AT ITER 3224 NEW BEST:: SOT 508707 SOS 151410 HAS SOPS 105062 HAS SOUS 58058 HAS SOUPS 54488 WITH SCORE 54639.41
AT ITER 3240 NEW BEST:: SOT 508695 SOS 151355 HAS SOPS 105052 HAS SOUS 58041 HAS SOUPS 54474 WITH SCORE 54625.355
AT ITER 3241 NEW BEST:: SOT 508739 SOS 151099 HAS SOPS 105234 HAS SOUS 58017 HAS SOUPS 54473 WITH SCORE 54624.099
AT ITER 3306 NEW BEST:: SOT 508638 SOS 151090 HAS SOPS 105031 HAS SOUS 57960 HAS SOUPS 54408 WITH SCORE 54559.09
AT ITER 3422 NEW BEST:: SOT 508665 SOS 151254 HAS SOPS 105036 HAS SOUS 57962 HAS SOUPS 54403 WITH SCORE 54554.254
AT ITER 3476 NEW BEST:: SOT 508664 SOS 151241 HAS SOPS 105045 HAS SOUS 57957 HAS SOUPS 54399 WITH SCORE 54550.241
AT ITER 3482 NEW BEST:: SOT 508658 SOS 151204 HAS SOPS 104990 HAS SOUS 57922 HAS SOUPS 54352 WITH SCORE 54503.204
AT ITER 3534 NEW BEST:: SOT 508520 SOS 151103 HAS SOPS 104808 HAS SOUS 57772 HAS SOUPS 54209 WITH SCORE 54360.103
AT ITER 3604 NEW BEST:: SOT 508521 SOS 151139 HAS SOPS 104869 HAS SOUS 57658 HAS SOUPS 54100 WITH SCORE 54251.139
AT ITER 3653 NEW BEST:: SOT 508425 SOS 150898 HAS SOPS 104669 HAS SOUS 57625 HAS SOUPS 54070 WITH SCORE 54220.898
AT ITER 3673 NEW BEST:: SOT 508506 SOS 150972 HAS SOPS 104742 HAS SOUS 57601 HAS SOUPS 54045 WITH SCORE 54195.972
AT ITER 3701 NEW BEST:: SOT 508473 SOS 150933 HAS SOPS 104677 HAS SOUS 57576 HAS SOUPS 54020 WITH SCORE 54170.933
AT ITER 3785 NEW BEST:: SOT 508300 SOS 150626 HAS SOPS 104290 HAS SOUS 57475 HAS SOUPS 53917 WITH SCORE 54067.626
AT ITER 3837 NEW BEST:: SOT 508404 SOS 150753 HAS SOPS 104206 HAS SOUS 57347 HAS SOUPS 53783 WITH SCORE 53933.753
AT ITER 3992 NEW BEST:: SOT 508422 SOS 150678 HAS SOPS 104258 HAS SOUS 57298 HAS SOUPS 53744 WITH SCORE 53894.678
AT ITER 4033 NEW BEST:: SOT 508362 SOS 150557 HAS SOPS 104062 HAS SOUS 57267 HAS SOUPS 53711 WITH SCORE 53861.557
AT ITER 4037 NEW BEST:: SOT 508326 SOS 150493 HAS SOPS 103998 HAS SOUS 57227 HAS SOUPS 53671 WITH SCORE 53821.493
AT ITER 4077 NEW BEST:: SOT 508218 SOS 150384 HAS SOPS 103910 HAS SOUS 57192 HAS SOUPS 53645 WITH SCORE 53795.384
AT ITER 4089 NEW BEST:: SOT 508477 SOS 150655 HAS SOPS 104581 HAS SOUS 57167 HAS SOUPS 53637 WITH SCORE 53787.655
AT ITER 4101 NEW BEST:: SOT 508345 SOS 150411 HAS SOPS 104337 HAS SOUS 57147 HAS SOUPS 53617 WITH SCORE 53767.411
AT ITER 4125 NEW BEST:: SOT 508339 SOS 150405 HAS SOPS 104331 HAS SOUS 57141 HAS SOUPS 53611 WITH SCORE 53761.405
AT ITER 4168 NEW BEST:: SOT 508305 SOS 150327 HAS SOPS 104219 HAS SOUS 57141 HAS SOUPS 53611 WITH SCORE 53761.327
AT ITER 4245 NEW BEST:: SOT 508276 SOS 150257 HAS SOPS 104190 HAS SOUS 57073 HAS SOUPS 53548 WITH SCORE 53698.257
AT ITER 4319 NEW BEST:: SOT 508287 SOS 150331 HAS SOPS 104275 HAS SOUS 57034 HAS SOUPS 53509 WITH SCORE 53659.331
AT ITER 4352 NEW BEST:: SOT 508321 SOS 150381 HAS SOPS 104191 HAS SOUS 57026 HAS SOUPS 53497 WITH SCORE 53647.381
AT ITER 4362 NEW BEST:: SOT 508409 SOS 150709 HAS SOPS 104519 HAS SOUS 57002 HAS SOUPS 53473 WITH SCORE 53623.709
AT ITER 4389 NEW BEST:: SOT 508309 SOS 150341 HAS SOPS 104399 HAS SOUS 56898 HAS SOUPS 53386 WITH SCORE 53536.341
AT ITER 4400 NEW BEST:: SOT 508288 SOS 150341 HAS SOPS 104378 HAS SOUS 56859 HAS SOUPS 53347 WITH SCORE 53497.341
AT ITER 4432 NEW BEST:: SOT 508338 SOS 150450 HAS SOPS 104486 HAS SOUS 56850 HAS SOUPS 53338 WITH SCORE 53488.45
AT ITER 4627 NEW BEST:: SOT 508310 SOS 150408 HAS SOPS 104458 HAS SOUS 56788 HAS SOUPS 53279 WITH SCORE 53429.408
AT ITER 4716 NEW BEST:: SOT 508315 SOS 150529 HAS SOPS 104591 HAS SOUS 56746 HAS SOUPS 53239 WITH SCORE 53389.529
AT ITER 4823 NEW BEST:: SOT 508309 SOS 150517 HAS SOPS 104579 HAS SOUS 56746 HAS SOUPS 53239 WITH SCORE 53389.517
AT ITER 4840 NEW BEST:: SOT 508250 SOS 150459 HAS SOPS 104488 HAS SOUS 56638 HAS SOUPS 53134 WITH SCORE 53284.459
AT ITER 4891 NEW BEST:: SOT 508235 SOS 150430 HAS SOPS 104464 HAS SOUS 56609 HAS SOUPS 53110 WITH SCORE 53260.43
AT ITER 4944 NEW BEST:: SOT 508235 SOS 150419 HAS SOPS 104464 HAS SOUS 56598 HAS SOUPS 53110 WITH SCORE 53260.419
AT ITER 5073 NEW BEST:: SOT 508227 SOS 150347 HAS SOPS 104474 HAS SOUS 56574 HAS SOUPS 53091 WITH SCORE 53241.347
AT ITER 5088 NEW BEST:: SOT 508226 SOS 150279 HAS SOPS 104405 HAS SOUS 56560 HAS SOUPS 53076 WITH SCORE 53226.279
AT ITER 5213 NEW BEST:: SOT 508214 SOS 150265 HAS SOPS 104393 HAS SOUS 56534 HAS SOUPS 53051 WITH SCORE 53201.265
AT ITER 5228 NEW BEST:: SOT 508214 SOS 150261 HAS SOPS 104393 HAS SOUS 56530 HAS SOUPS 53051 WITH SCORE 53201.261
AT ITER 5326 NEW BEST:: SOT 508194 SOS 150205 HAS SOPS 104373 HAS SOUS 56482 HAS SOUPS 53007 WITH SCORE 53157.205
AT ITER 5333 NEW BEST:: SOT 508208 SOS 150258 HAS SOPS 104417 HAS SOUS 56457 HAS SOUPS 52982 WITH SCORE 53132.258
AT ITER 5467 NEW BEST:: SOT 508202 SOS 150244 HAS SOPS 104411 HAS SOUS 56443 HAS SOUPS 52969 WITH SCORE 53119.244
AT ITER 5563 NEW BEST:: SOT 508207 SOS 150249 HAS SOPS 104406 HAS SOUS 56433 HAS SOUPS 52958 WITH SCORE 53108.249
AT ITER 5570 NEW BEST:: SOT 508209 SOS 150255 HAS SOPS 104412 HAS SOUS 56431 HAS SOUPS 52956 WITH SCORE 53106.255
AT ITER 5591 NEW BEST:: SOT 508153 SOS 150199 HAS SOPS 104356 HAS SOUS 56375 HAS SOUPS 52900 WITH SCORE 53050.199
AT ITER 5699 NEW BEST:: SOT 508304 SOS 150618 HAS SOPS 104745 HAS SOUS 56276 HAS SOUPS 52801 WITH SCORE 52951.618
AT ITER 5748 NEW BEST:: SOT 508288 SOS 150637 HAS SOPS 104715 HAS SOUS 56257 HAS SOUPS 52780 WITH SCORE 52930.637
AT ITER 5753 NEW BEST:: SOT 508396 SOS 150880 HAS SOPS 104979 HAS SOUS 56239 HAS SOUPS 52762 WITH SCORE 52912.88
AT ITER 5840 NEW BEST:: SOT 508385 SOS 150845 HAS SOPS 104944 HAS SOUS 56188 HAS SOUPS 52711 WITH SCORE 52861.845
AT ITER 5910 NEW BEST:: SOT 508378 SOS 150831 HAS SOPS 104937 HAS SOUS 56172 HAS SOUPS 52696 WITH SCORE 52846.831
AT ITER 5972 NEW BEST:: SOT 508372 SOS 150825 HAS SOPS 104931 HAS SOUS 56166 HAS SOUPS 52690 WITH SCORE 52840.825
AT ITER 6036 NEW BEST:: SOT 508400 SOS 150885 HAS SOPS 104991 HAS SOUS 56162 HAS SOUPS 52686 WITH SCORE 52836.885
AT ITER 6134 NEW BEST:: SOT 508395 SOS 150871 HAS SOPS 104986 HAS SOUS 56150 HAS SOUPS 52675 WITH SCORE 52825.871
AT ITER 6211 NEW BEST:: SOT 508391 SOS 150877 HAS SOPS 104978 HAS SOUS 56136 HAS SOUPS 52661 WITH SCORE 52811.877
AT ITER 6337 NEW BEST:: SOT 508341 SOS 150857 HAS SOPS 104864 HAS SOUS 56056 HAS SOUPS 52581 WITH SCORE 52731.857
AT ITER 6360 NEW BEST:: SOT 508389 SOS 150965 HAS SOPS 104972 HAS SOUS 56032 HAS SOUPS 52557 WITH SCORE 52707.965
AT ITER 6365 NEW BEST:: SOT 508381 SOS 150937 HAS SOPS 104964 HAS SOUS 56012 HAS SOUPS 52539 WITH SCORE 52689.937
AT ITER 6385 NEW BEST:: SOT 508249 SOS 150805 HAS SOPS 104832 HAS SOUS 55880 HAS SOUPS 52407 WITH SCORE 52557.805
AT ITER 6431 NEW BEST:: SOT 508236 SOS 150792 HAS SOPS 104819 HAS SOUS 55867 HAS SOUPS 52394 WITH SCORE 52544.792
AT ITER 6473 NEW BEST:: SOT 508450 SOS 150724 HAS SOPS 104743 HAS SOUS 55735 HAS SOUPS 52261 WITH SCORE 52411.724
AT ITER 6500 NEW BEST:: SOT 508468 SOS 150787 HAS SOPS 104799 HAS SOUS 55708 HAS SOUPS 52234 WITH SCORE 52384.787
AT ITER 6644 NEW BEST:: SOT 508335 SOS 150660 HAS SOPS 104560 HAS SOUS 55577 HAS SOUPS 52103 WITH SCORE 52253.66
AT ITER 6646 NEW BEST:: SOT 508320 SOS 150635 HAS SOPS 104536 HAS SOUS 55546 HAS SOUPS 52069 WITH SCORE 52219.635
AT ITER 6648 NEW BEST:: SOT 508373 SOS 150774 HAS SOPS 104671 HAS SOUS 55529 HAS SOUPS 52051 WITH SCORE 52201.774
AT ITER 6690 NEW BEST:: SOT 508339 SOS 150764 HAS SOPS 104633 HAS SOUS 55479 HAS SOUPS 52001 WITH SCORE 52151.764
AT ITER 6698 NEW BEST:: SOT 508338 SOS 150735 HAS SOPS 104628 HAS SOUS 55474 HAS SOUPS 51998 WITH SCORE 52148.735
AT ITER 6704 NEW BEST:: SOT 508337 SOS 150721 HAS SOPS 104631 HAS SOUS 55470 HAS SOUPS 51995 WITH SCORE 52145.721
AT ITER 6706 NEW BEST:: SOT 508299 SOS 150659 HAS SOPS 104539 HAS SOUS 55458 HAS SOUPS 51983 WITH SCORE 52133.659
AT ITER 6780 NEW BEST:: SOT 508252 SOS 150645 HAS SOPS 104492 HAS SOUS 55399 HAS SOUPS 51922 WITH SCORE 52072.645
AT ITER 6784 NEW BEST:: SOT 508256 SOS 150658 HAS SOPS 104165 HAS SOUS 55146 HAS SOUPS 51650 WITH SCORE 51800.658
AT ITER 6835 NEW BEST:: SOT 508241 SOS 150650 HAS SOPS 104165 HAS SOUS 55138 HAS SOUPS 51643 WITH SCORE 51793.65
AT ITER 6922 NEW BEST:: SOT 508116 SOS 150525 HAS SOPS 103886 HAS SOUS 55007 HAS SOUPS 51512 WITH SCORE 51662.525
AT ITER 6956 NEW BEST:: SOT 508077 SOS 150486 HAS SOPS 103459 HAS SOUS 54713 HAS SOUPS 51201 WITH SCORE 51351.486
AT ITER 7070 NEW BEST:: SOT 507785 SOS 150299 HAS SOPS 102889 HAS SOUS 54656 HAS SOUPS 51123 WITH SCORE 51273.299
AT ITER 7077 NEW BEST:: SOT 507783 SOS 150297 HAS SOPS 102887 HAS SOUS 54654 HAS SOUPS 51121 WITH SCORE 51271.297
AT ITER 7079 NEW BEST:: SOT 507816 SOS 150456 HAS SOPS 103046 HAS SOUS 54593 HAS SOUPS 51060 WITH SCORE 51210.456
AT ITER 7084 NEW BEST:: SOT 507735 SOS 150444 HAS SOPS 102887 HAS SOUS 54522 HAS SOUPS 50987 WITH SCORE 51137.444
AT ITER 7173 NEW BEST:: SOT 507659 SOS 150220 HAS SOPS 102667 HAS SOUS 54450 HAS SOUPS 50916 WITH SCORE 51066.22
AT ITER 7254 NEW BEST:: SOT 507691 SOS 150248 HAS SOPS 102735 HAS SOUS 54426 HAS SOUPS 50892 WITH SCORE 51042.248
AT ITER 7314 NEW BEST:: SOT 507669 SOS 150199 HAS SOPS 102727 HAS SOUS 54351 HAS SOUPS 50822 WITH SCORE 50972.199
AT ITER 7874 NEW BEST:: SOT 507665 SOS 150227 HAS SOPS 102727 HAS SOUS 54315 HAS SOUPS 50786 WITH SCORE 50936.227
AT ITER 7938 NEW BEST:: SOT 508050 SOS 150538 HAS SOPS 103044 HAS SOUS 54222 HAS SOUPS 50701 WITH SCORE 50851.538
AT ITER 7991 NEW BEST:: SOT 507984 SOS 150433 HAS SOPS 102900 HAS SOUS 54176 HAS SOUPS 50655 WITH SCORE 50805.433
AT ITER 8050 NEW BEST:: SOT 508384 SOS 150751 HAS SOPS 103218 HAS SOUS 54118 HAS SOUPS 50597 WITH SCORE 50747.751
AT ITER 8213 NEW BEST:: SOT 508354 SOS 150826 HAS SOPS 103196 HAS SOUS 53990 HAS SOUPS 50469 WITH SCORE 50619.826
AT ITER 8376 NEW BEST:: SOT 508294 SOS 150766 HAS SOPS 103126 HAS SOUS 53886 HAS SOUPS 50361 WITH SCORE 50511.766
AT ITER 8418 NEW BEST:: SOT 508333 SOS 150820 HAS SOPS 102997 HAS SOUS 53870 HAS SOUPS 50332 WITH SCORE 50482.82
AT ITER 8436 NEW BEST:: SOT 508342 SOS 150841 HAS SOPS 103018 HAS SOUS 53867 HAS SOUPS 50329 WITH SCORE 50479.841
AT ITER 8530 NEW BEST:: SOT 508348 SOS 150863 HAS SOPS 103040 HAS SOUS 53857 HAS SOUPS 50319 WITH SCORE 50469.863
AT ITER 8695 NEW BEST:: SOT 508415 SOS 151114 HAS SOPS 103291 HAS SOUS 53836 HAS SOUPS 50298 WITH SCORE 50449.114
AT ITER 8727 NEW BEST:: SOT 508423 SOS 151134 HAS SOPS 103311 HAS SOUS 53832 HAS SOUPS 50294 WITH SCORE 50445.134
AT ITER 8732 NEW BEST:: SOT 508711 SOS 151242 HAS SOPS 103419 HAS SOUS 53796 HAS SOUPS 50258 WITH SCORE 50409.242
AT ITER 8781 NEW BEST:: SOT 508732 SOS 151285 HAS SOPS 103462 HAS SOUS 53795 HAS SOUPS 50257 WITH SCORE 50408.285
AT ITER 8832 NEW BEST:: SOT 508724 SOS 151271 HAS SOPS 103454 HAS SOUS 53777 HAS SOUPS 50240 WITH SCORE 50391.271
AT ITER 8925 NEW BEST:: SOT 509217 SOS 152323 HAS SOPS 104503 HAS SOUS 53743 HAS SOUPS 50206 WITH SCORE 50358.323
AT ITER 9000 NEW BEST:: SOT 509208 SOS 152303 HAS SOPS 104528 HAS SOUS 53697 HAS SOUPS 50163 WITH SCORE 50315.303
AT ITER 9046 NEW BEST:: SOT 509280 SOS 152483 HAS SOPS 104708 HAS SOUS 53673 HAS SOUPS 50139 WITH SCORE 50291.483
AT ITER 9058 NEW BEST:: SOT 509280 SOS 152485 HAS SOPS 104710 HAS SOUS 53671 HAS SOUPS 50137 WITH SCORE 50289.485
AT ITER 9158 NEW BEST:: SOT 509275 SOS 152480 HAS SOPS 104705 HAS SOUS 53666 HAS SOUPS 50132 WITH SCORE 50284.48
AT ITER 9182 NEW BEST:: SOT 509279 SOS 152480 HAS SOPS 104711 HAS SOUS 53657 HAS SOUPS 50124 WITH SCORE 50276.48
AT ITER 9189 NEW BEST:: SOT 509278 SOS 152479 HAS SOPS 104710 HAS SOUS 53656 HAS SOUPS 50123 WITH SCORE 50275.479
AT ITER 9356 NEW BEST:: SOT 509086 SOS 152301 HAS SOPS 104532 HAS SOUS 53650 HAS SOUPS 50117 WITH SCORE 50269.301
AT ITER 9368 NEW BEST:: SOT 509061 SOS 152289 HAS SOPS 104507 HAS SOUS 53638 HAS SOUPS 50106 WITH SCORE 50258.289
AT ITER 9456 NEW BEST:: SOT 509055 SOS 152283 HAS SOPS 104501 HAS SOUS 53632 HAS SOUPS 50100 WITH SCORE 50252.283
AT ITER 9467 NEW BEST:: SOT 508991 SOS 152001 HAS SOPS 104219 HAS SOUS 53626 HAS SOUPS 50094 WITH SCORE 50246.001
AT ITER 9527 NEW BEST:: SOT 508868 SOS 151921 HAS SOPS 103980 HAS SOUS 53632 HAS SOUPS 50088 WITH SCORE 50239.921
AT ITER 9583 NEW BEST:: SOT 508844 SOS 151899 HAS SOPS 103868 HAS SOUS 53565 HAS SOUPS 50018 WITH SCORE 50169.899
AT ITER 9653 NEW BEST:: SOT 508837 SOS 151885 HAS SOPS 103861 HAS SOUS 53549 HAS SOUPS 50003 WITH SCORE 50154.885
AT ITER 9897 NEW BEST:: SOT 508826 SOS 151864 HAS SOPS 103840 HAS SOUS 53548 HAS SOUPS 50002 WITH SCORE 50153.864
AT ITER 9914 NEW BEST:: SOT 508739 SOS 151819 HAS SOPS 103713 HAS SOUS 53425 HAS SOUPS 49879 WITH SCORE 50030.819
AT ITER 9963 NEW BEST:: SOT 508734 SOS 151814 HAS SOPS 103708 HAS SOUS 53420 HAS SOUPS 49874 WITH SCORE 50025.814
STATE_SPACE STATES 35357924 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 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 265182780 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1590408387322
--------------------
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="TokenRing-PT-015"
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"
# 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-4028"
echo " Executing tool smart"
echo " Input is TokenRing-PT-015, 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 r190-csrt-159033382800496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-015.tgz
mv TokenRing-PT-015 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;