Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140300264.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 HypercubeGrid-PT-C4K3P3B12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140300264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 5.3K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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 4.3K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 3.0M 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 1589613913034

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C4K3P3B12
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 2457 places, 5400 transitions, 21600 arcs.
AT ITER 0 NEW BEST:: SOT 7447726 SOS 1598879 HAS SOPS 1598879 HAS SOUS 616210 HAS SOUPS 616210 WITH SCORE 617808.879
AT ITER 41 NEW BEST:: SOT 7447726 SOS 1599269 HAS SOPS 1599269 HAS SOUS 615970 HAS SOUPS 615970 WITH SCORE 617569.269
AT ITER 111 NEW BEST:: SOT 7447608 SOS 1599151 HAS SOPS 1599151 HAS SOUS 615852 HAS SOUPS 615852 WITH SCORE 617451.151
AT ITER 161 NEW BEST:: SOT 7447531 SOS 1598535 HAS SOPS 1598535 HAS SOUS 615698 HAS SOUPS 615698 WITH SCORE 617296.535
AT ITER 188 NEW BEST:: SOT 7447300 SOS 1598304 HAS SOPS 1598304 HAS SOUS 615467 HAS SOUPS 615467 WITH SCORE 617065.304
AT ITER 291 NEW BEST:: SOT 7446340 SOS 1596384 HAS SOPS 1596384 HAS SOUS 614903 HAS SOUPS 614903 WITH SCORE 616499.384
AT ITER 330 NEW BEST:: SOT 7446304 SOS 1595684 HAS SOPS 1595684 HAS SOUS 614875 HAS SOUPS 614875 WITH SCORE 616470.684
AT ITER 367 NEW BEST:: SOT 7446270 SOS 1595263 HAS SOPS 1595263 HAS SOUS 614658 HAS SOUPS 614658 WITH SCORE 616253.263
AT ITER 419 NEW BEST:: SOT 7446270 SOS 1594261 HAS SOPS 1594261 HAS SOUS 614568 HAS SOUPS 614568 WITH SCORE 616162.261
AT ITER 430 NEW BEST:: SOT 7446244 SOS 1594235 HAS SOPS 1594235 HAS SOUS 614549 HAS SOUPS 614549 WITH SCORE 616143.235
AT ITER 431 NEW BEST:: SOT 7446244 SOS 1594235 HAS SOPS 1594235 HAS SOUS 614350 HAS SOUPS 614350 WITH SCORE 615944.235
AT ITER 452 NEW BEST:: SOT 7445607 SOS 1593507 HAS SOPS 1593507 HAS SOUS 613550 HAS SOUPS 613550 WITH SCORE 615143.507
AT ITER 482 NEW BEST:: SOT 7445607 SOS 1593507 HAS SOPS 1593507 HAS SOUS 613410 HAS SOUPS 613410 WITH SCORE 615003.507
AT ITER 488 NEW BEST:: SOT 7445151 SOS 1593051 HAS SOPS 1593051 HAS SOUS 612954 HAS SOUPS 612954 WITH SCORE 614547.051
AT ITER 492 NEW BEST:: SOT 7445151 SOS 1593051 HAS SOPS 1593051 HAS SOUS 612858 HAS SOUPS 612858 WITH SCORE 614451.051
AT ITER 501 NEW BEST:: SOT 7444149 SOS 1591047 HAS SOPS 1591047 HAS SOUS 612200 HAS SOUPS 612200 WITH SCORE 613791.047
AT ITER 505 NEW BEST:: SOT 7443449 SOS 1589577 HAS SOPS 1589577 HAS SOUS 611420 HAS SOUPS 611420 WITH SCORE 613009.577
AT ITER 515 NEW BEST:: SOT 7443440 SOS 1589559 HAS SOPS 1589559 HAS SOUS 611402 HAS SOUPS 611402 WITH SCORE 612991.559
AT ITER 567 NEW BEST:: SOT 7443350 SOS 1589469 HAS SOPS 1589469 HAS SOUS 611312 HAS SOUPS 611312 WITH SCORE 612901.469
AT ITER 601 NEW BEST:: SOT 7442345 SOS 1587459 HAS SOPS 1587459 HAS SOUS 610609 HAS SOUPS 610609 WITH SCORE 612196.459
AT ITER 607 NEW BEST:: SOT 7442307 SOS 1587383 HAS SOPS 1587383 HAS SOUS 610533 HAS SOUPS 610533 WITH SCORE 612120.383
AT ITER 635 NEW BEST:: SOT 7442299 SOS 1587367 HAS SOPS 1587367 HAS SOUS 610517 HAS SOUPS 610517 WITH SCORE 612104.367
AT ITER 674 NEW BEST:: SOT 7441396 SOS 1586335 HAS SOPS 1586335 HAS SOUS 609386 HAS SOUPS 609386 WITH SCORE 610972.335
AT ITER 700 NEW BEST:: SOT 7441376 SOS 1585349 HAS SOPS 1585349 HAS SOUS 609312 HAS SOUPS 609312 WITH SCORE 610897.349
AT ITER 727 NEW BEST:: SOT 7441376 SOS 1584408 HAS SOPS 1584408 HAS SOUS 609235 HAS SOUPS 609235 WITH SCORE 610819.408
AT ITER 825 NEW BEST:: SOT 7441378 SOS 1583362 HAS SOPS 1583362 HAS SOUS 609089 HAS SOUPS 609089 WITH SCORE 610672.362
AT ITER 849 NEW BEST:: SOT 7440433 SOS 1582282 HAS SOPS 1582282 HAS SOUS 607810 HAS SOUPS 607810 WITH SCORE 609392.282
AT ITER 850 NEW BEST:: SOT 7440303 SOS 1581242 HAS SOPS 1581242 HAS SOUS 607550 HAS SOUPS 607550 WITH SCORE 609131.242
AT ITER 925 NEW BEST:: SOT 7440226 SOS 1580549 HAS SOPS 1580549 HAS SOUS 607319 HAS SOUPS 607319 WITH SCORE 608899.549
AT ITER 943 NEW BEST:: SOT 7440299 SOS 1580695 HAS SOPS 1580695 HAS SOUS 607279 HAS SOUPS 607279 WITH SCORE 608859.695
AT ITER 944 NEW BEST:: SOT 7440161 SOS 1580557 HAS SOPS 1580557 HAS SOUS 607141 HAS SOUPS 607141 WITH SCORE 608721.557
AT ITER 978 NEW BEST:: SOT 7440091 SOS 1579997 HAS SOPS 1579997 HAS SOUS 607001 HAS SOUPS 607001 WITH SCORE 608580.997
AT ITER 1014 NEW BEST:: SOT 7440060 SOS 1579935 HAS SOPS 1579935 HAS SOUS 606939 HAS SOUPS 606939 WITH SCORE 608518.935
AT ITER 1047 NEW BEST:: SOT 7440087 SOS 1579478 HAS SOPS 1579478 HAS SOUS 606920 HAS SOUPS 606920 WITH SCORE 608499.478
AT ITER 1085 NEW BEST:: SOT 7440087 SOS 1578522 HAS SOPS 1578522 HAS SOUS 606876 HAS SOUPS 606876 WITH SCORE 608454.522
AT ITER 1108 NEW BEST:: SOT 7440065 SOS 1577638 HAS SOPS 1577638 HAS SOUS 606856 HAS SOUPS 606856 WITH SCORE 608433.638
AT ITER 1126 NEW BEST:: SOT 7440049 SOS 1577606 HAS SOPS 1577606 HAS SOUS 606752 HAS SOUPS 606752 WITH SCORE 608329.606
AT ITER 1129 NEW BEST:: SOT 7440049 SOS 1576734 HAS SOPS 1576734 HAS SOUS 606534 HAS SOUPS 606534 WITH SCORE 608110.734
AT ITER 1151 NEW BEST:: SOT 7439719 SOS 1576404 HAS SOPS 1576404 HAS SOUS 606204 HAS SOUPS 606204 WITH SCORE 607780.404
AT ITER 1164 NEW BEST:: SOT 7439692 SOS 1576377 HAS SOPS 1576377 HAS SOUS 606177 HAS SOUPS 606177 WITH SCORE 607753.377
AT ITER 1211 NEW BEST:: SOT 7439678 SOS 1576363 HAS SOPS 1576363 HAS SOUS 606177 HAS SOUPS 606177 WITH SCORE 607753.363
AT ITER 1220 NEW BEST:: SOT 7439678 SOS 1576255 HAS SOPS 1576255 HAS SOUS 605841 HAS SOUPS 605841 WITH SCORE 607417.255
AT ITER 1232 NEW BEST:: SOT 7439637 SOS 1575927 HAS SOPS 1575927 HAS SOUS 605759 HAS SOUPS 605759 WITH SCORE 607334.927
AT ITER 1245 NEW BEST:: SOT 7439280 SOS 1575570 HAS SOPS 1575570 HAS SOUS 605402 HAS SOUPS 605402 WITH SCORE 606977.57
AT ITER 1270 NEW BEST:: SOT 7438482 SOS 1574658 HAS SOPS 1574658 HAS SOUS 604239 HAS SOUPS 604239 WITH SCORE 605813.658
AT ITER 1272 NEW BEST:: SOT 7438349 SOS 1574506 HAS SOPS 1574506 HAS SOUS 604074 HAS SOUPS 604074 WITH SCORE 605648.506
AT ITER 1445 NEW BEST:: SOT 7438332 SOS 1574489 HAS SOPS 1574489 HAS SOUS 603989 HAS SOUPS 603989 WITH SCORE 605563.489
AT ITER 1498 NEW BEST:: SOT 7437653 SOS 1573713 HAS SOPS 1573713 HAS SOUS 603213 HAS SOUPS 603213 WITH SCORE 604786.713
AT ITER 1512 NEW BEST:: SOT 7437653 SOS 1573265 HAS SOPS 1573265 HAS SOUS 603149 HAS SOUPS 603149 WITH SCORE 604722.265
AT ITER 1518 NEW BEST:: SOT 7437622 SOS 1573234 HAS SOPS 1573234 HAS SOUS 603149 HAS SOUPS 603149 WITH SCORE 604722.234
AT ITER 1551 NEW BEST:: SOT 7437583 SOS 1573156 HAS SOPS 1573156 HAS SOUS 603071 HAS SOUPS 603071 WITH SCORE 604644.156
AT ITER 1558 NEW BEST:: SOT 7437421 SOS 1572994 HAS SOPS 1572994 HAS SOUS 602909 HAS SOUPS 602909 WITH SCORE 604481.994
AT ITER 1567 NEW BEST:: SOT 7436987 SOS 1572560 HAS SOPS 1572560 HAS SOUS 602475 HAS SOUPS 602475 WITH SCORE 604047.56
AT ITER 1623 NEW BEST:: SOT 7435979 SOS 1570485 HAS SOPS 1570485 HAS SOUS 601819 HAS SOUPS 601819 WITH SCORE 603389.485
AT ITER 1657 NEW BEST:: SOT 7435661 SOS 1570167 HAS SOPS 1570167 HAS SOUS 601501 HAS SOUPS 601501 WITH SCORE 603071.167
AT ITER 1688 NEW BEST:: SOT 7435659 SOS 1571007 HAS SOPS 1571007 HAS SOUS 601489 HAS SOUPS 601489 WITH SCORE 603060.007
AT ITER 1742 NEW BEST:: SOT 7435512 SOS 1570860 HAS SOPS 1570860 HAS SOUS 601342 HAS SOUPS 601342 WITH SCORE 602912.86
AT ITER 1775 NEW BEST:: SOT 7435806 SOS 1571390 HAS SOPS 1571390 HAS SOUS 601323 HAS SOUPS 601323 WITH SCORE 602894.39
AT ITER 1838 NEW BEST:: SOT 7435771 SOS 1571320 HAS SOPS 1571320 HAS SOUS 601253 HAS SOUPS 601253 WITH SCORE 602824.32
AT ITER 1839 NEW BEST:: SOT 7435771 SOS 1570403 HAS SOPS 1570403 HAS SOUS 601122 HAS SOUPS 601122 WITH SCORE 602692.403
AT ITER 1844 NEW BEST:: SOT 7435728 SOS 1570360 HAS SOPS 1570360 HAS SOUS 601079 HAS SOUPS 601079 WITH SCORE 602649.36
AT ITER 1858 NEW BEST:: SOT 7434838 SOS 1569360 HAS SOPS 1569360 HAS SOUS 600478 HAS SOUPS 600478 WITH SCORE 602047.36
AT ITER 1927 NEW BEST:: SOT 7434838 SOS 1569360 HAS SOPS 1569360 HAS SOUS 600389 HAS SOUPS 600389 WITH SCORE 601958.36
AT ITER 1943 NEW BEST:: SOT 7434874 SOS 1569396 HAS SOPS 1569396 HAS SOUS 600349 HAS SOUPS 600349 WITH SCORE 601918.396
AT ITER 1957 NEW BEST:: SOT 7434852 SOS 1569352 HAS SOPS 1569352 HAS SOUS 600305 HAS SOUPS 600305 WITH SCORE 601874.352
AT ITER 1967 NEW BEST:: SOT 7434762 SOS 1568632 HAS SOPS 1568632 HAS SOUS 600125 HAS SOUPS 600125 WITH SCORE 601693.632
AT ITER 2007 NEW BEST:: SOT 7434827 SOS 1568697 HAS SOPS 1568697 HAS SOUS 599970 HAS SOUPS 599970 WITH SCORE 601538.697
AT ITER 2019 NEW BEST:: SOT 7434722 SOS 1567752 HAS SOPS 1567752 HAS SOUS 599655 HAS SOUPS 599655 WITH SCORE 601222.752
AT ITER 2024 NEW BEST:: SOT 7434104 SOS 1567146 HAS SOPS 1567146 HAS SOUS 599506 HAS SOUPS 599506 WITH SCORE 601073.146
AT ITER 2032 NEW BEST:: SOT 7433711 SOS 1566360 HAS SOPS 1566360 HAS SOUS 599269 HAS SOUPS 599269 WITH SCORE 600835.36
AT ITER 2055 NEW BEST:: SOT 7432705 SOS 1564348 HAS SOPS 1564348 HAS SOUS 598538 HAS SOUPS 598538 WITH SCORE 600102.348
AT ITER 2072 NEW BEST:: SOT 7432694 SOS 1564337 HAS SOPS 1564337 HAS SOUS 598527 HAS SOUPS 598527 WITH SCORE 600091.337
AT ITER 2090 NEW BEST:: SOT 7432694 SOS 1563545 HAS SOPS 1563545 HAS SOUS 598329 HAS SOUPS 598329 WITH SCORE 599892.545
AT ITER 2105 NEW BEST:: SOT 7432729 SOS 1563476 HAS SOPS 1563476 HAS SOUS 598230 HAS SOUPS 598230 WITH SCORE 599793.476
AT ITER 2106 NEW BEST:: SOT 7432729 SOS 1563763 HAS SOPS 1563763 HAS SOUS 598121 HAS SOUPS 598121 WITH SCORE 599684.763
AT ITER 2121 NEW BEST:: SOT 7431806 SOS 1561917 HAS SOPS 1561917 HAS SOUS 597714 HAS SOUPS 597714 WITH SCORE 599275.917
AT ITER 2152 NEW BEST:: SOT 7431630 SOS 1561741 HAS SOPS 1561741 HAS SOUS 597486 HAS SOUPS 597486 WITH SCORE 599047.741
AT ITER 2173 NEW BEST:: SOT 7430622 SOS 1560133 HAS SOPS 1560133 HAS SOUS 596618 HAS SOUPS 596618 WITH SCORE 598178.133
AT ITER 2268 NEW BEST:: SOT 7430622 SOS 1560133 HAS SOPS 1560133 HAS SOUS 596537 HAS SOUPS 596537 WITH SCORE 598097.133
AT ITER 2283 NEW BEST:: SOT 7430574 SOS 1559200 HAS SOPS 1559200 HAS SOUS 596516 HAS SOUPS 596516 WITH SCORE 598075.2
AT ITER 2298 NEW BEST:: SOT 7430550 SOS 1559008 HAS SOPS 1559008 HAS SOUS 596468 HAS SOUPS 596468 WITH SCORE 598027.008
AT ITER 2303 NEW BEST:: SOT 7430550 SOS 1559008 HAS SOPS 1559008 HAS SOUS 596334 HAS SOUPS 596334 WITH SCORE 597893.008
AT ITER 2332 NEW BEST:: SOT 7430518 SOS 1558752 HAS SOPS 1558752 HAS SOUS 596270 HAS SOUPS 596270 WITH SCORE 597828.752
AT ITER 2356 NEW BEST:: SOT 7430518 SOS 1558592 HAS SOPS 1558592 HAS SOUS 596230 HAS SOUPS 596230 WITH SCORE 597788.592
AT ITER 2363 NEW BEST:: SOT 7430518 SOS 1558440 HAS SOPS 1558440 HAS SOUS 596192 HAS SOUPS 596192 WITH SCORE 597750.44
AT ITER 2385 NEW BEST:: SOT 7430454 SOS 1558312 HAS SOPS 1558312 HAS SOUS 596064 HAS SOUPS 596064 WITH SCORE 597622.312
AT ITER 2398 NEW BEST:: SOT 7430454 SOS 1558312 HAS SOPS 1558312 HAS SOUS 596008 HAS SOUPS 596008 WITH SCORE 597566.312
AT ITER 2423 NEW BEST:: SOT 7430454 SOS 1558690 HAS SOPS 1558690 HAS SOUS 595684 HAS SOUPS 595684 WITH SCORE 597242.69
AT ITER 2522 NEW BEST:: SOT 7429863 SOS 1558108 HAS SOPS 1558108 HAS SOUS 595156 HAS SOUPS 595156 WITH SCORE 596714.108
AT ITER 2528 NEW BEST:: SOT 7429767 SOS 1557868 HAS SOPS 1557868 HAS SOUS 594916 HAS SOUPS 594916 WITH SCORE 596473.868
AT ITER 2545 NEW BEST:: SOT 7429767 SOS 1556996 HAS SOPS 1556996 HAS SOUS 594698 HAS SOUPS 594698 WITH SCORE 596254.996
AT ITER 2563 NEW BEST:: SOT 7429767 SOS 1556212 HAS SOPS 1556212 HAS SOUS 594502 HAS SOUPS 594502 WITH SCORE 596058.212
AT ITER 2614 NEW BEST:: SOT 7429767 SOS 1555162 HAS SOPS 1555162 HAS SOUS 594352 HAS SOUPS 594352 WITH SCORE 595907.162
AT ITER 2628 NEW BEST:: SOT 7429102 SOS 1554402 HAS SOPS 1554402 HAS SOUS 593159 HAS SOUPS 593159 WITH SCORE 594713.402
AT ITER 2631 NEW BEST:: SOT 7429102 SOS 1554756 HAS SOPS 1554756 HAS SOUS 592926 HAS SOUPS 592926 WITH SCORE 594480.756
AT ITER 2655 NEW BEST:: SOT 7429102 SOS 1554756 HAS SOPS 1554756 HAS SOUS 592902 HAS SOUPS 592902 WITH SCORE 594456.756
AT ITER 2673 NEW BEST:: SOT 7429050 SOS 1554340 HAS SOPS 1554340 HAS SOUS 592798 HAS SOUPS 592798 WITH SCORE 594352.34
AT ITER 2695 NEW BEST:: SOT 7429048 SOS 1554324 HAS SOPS 1554324 HAS SOUS 592794 HAS SOUPS 592794 WITH SCORE 594348.324
AT ITER 2734 NEW BEST:: SOT 7429330 SOS 1554888 HAS SOPS 1554888 HAS SOUS 592613 HAS SOUPS 592613 WITH SCORE 594167.888
AT ITER 2739 NEW BEST:: SOT 7429330 SOS 1554888 HAS SOPS 1554888 HAS SOUS 592598 HAS SOUPS 592598 WITH SCORE 594152.888
AT ITER 2740 NEW BEST:: SOT 7429313 SOS 1553930 HAS SOPS 1553930 HAS SOUS 592552 HAS SOUPS 592552 WITH SCORE 594105.93
AT ITER 2792 NEW BEST:: SOT 7429096 SOS 1553815 HAS SOPS 1553815 HAS SOUS 592437 HAS SOUPS 592437 WITH SCORE 593990.815
AT ITER 2903 NEW BEST:: SOT 7429001 SOS 1553625 HAS SOPS 1553625 HAS SOUS 591881 HAS SOUPS 591881 WITH SCORE 593434.625
AT ITER 2937 NEW BEST:: SOT 7428961 SOS 1553545 HAS SOPS 1553545 HAS SOUS 591722 HAS SOUPS 591722 WITH SCORE 593275.545
AT ITER 2943 NEW BEST:: SOT 7428906 SOS 1553490 HAS SOPS 1553490 HAS SOUS 591667 HAS SOUPS 591667 WITH SCORE 593220.49
AT ITER 2967 NEW BEST:: SOT 7428887 SOS 1553471 HAS SOPS 1553471 HAS SOUS 591629 HAS SOUPS 591629 WITH SCORE 593182.471
AT ITER 2973 NEW BEST:: SOT 7428305 SOS 1552889 HAS SOPS 1552889 HAS SOUS 591047 HAS SOUPS 591047 WITH SCORE 592599.889
AT ITER 3005 NEW BEST:: SOT 7428248 SOS 1552433 HAS SOPS 1552433 HAS SOUS 590933 HAS SOUPS 590933 WITH SCORE 592485.433
AT ITER 3030 NEW BEST:: SOT 7428192 SOS 1552321 HAS SOPS 1552321 HAS SOUS 590567 HAS SOUPS 590567 WITH SCORE 592119.321
AT ITER 3035 NEW BEST:: SOT 7427904 SOS 1551745 HAS SOPS 1551745 HAS SOUS 590375 HAS SOUPS 590375 WITH SCORE 591926.745
AT ITER 3039 NEW BEST:: SOT 7427877 SOS 1551529 HAS SOPS 1551529 HAS SOUS 590321 HAS SOUPS 590321 WITH SCORE 591872.529
AT ITER 3068 NEW BEST:: SOT 7427877 SOS 1551553 HAS SOPS 1551553 HAS SOUS 590293 HAS SOUPS 590293 WITH SCORE 591844.553
AT ITER 3072 NEW BEST:: SOT 7427891 SOS 1550979 HAS SOPS 1550979 HAS SOUS 590235 HAS SOUPS 590235 WITH SCORE 591785.979
AT ITER 3140 NEW BEST:: SOT 7427755 SOS 1549947 HAS SOPS 1549947 HAS SOUS 589875 HAS SOUPS 589875 WITH SCORE 591424.947
AT ITER 3270 NEW BEST:: SOT 7427716 SOS 1549869 HAS SOPS 1549869 HAS SOUS 589797 HAS SOUPS 589797 WITH SCORE 591346.869
AT ITER 3283 NEW BEST:: SOT 7427716 SOS 1549831 HAS SOPS 1549831 HAS SOUS 589759 HAS SOUPS 589759 WITH SCORE 591308.831
AT ITER 3306 NEW BEST:: SOT 7427654 SOS 1549707 HAS SOPS 1549707 HAS SOUS 589635 HAS SOUPS 589635 WITH SCORE 591184.707
AT ITER 3308 NEW BEST:: SOT 7427042 SOS 1549095 HAS SOPS 1549095 HAS SOUS 589023 HAS SOUPS 589023 WITH SCORE 590572.095
AT ITER 3313 NEW BEST:: SOT 7427042 SOS 1548084 HAS SOPS 1548084 HAS SOUS 588924 HAS SOUPS 588924 WITH SCORE 590472.084
AT ITER 3314 NEW BEST:: SOT 7427042 SOS 1547652 HAS SOPS 1547652 HAS SOUS 588894 HAS SOUPS 588894 WITH SCORE 590441.652
AT ITER 3401 NEW BEST:: SOT 7426089 SOS 1545746 HAS SOPS 1545746 HAS SOUS 588237 HAS SOUPS 588237 WITH SCORE 589782.746
AT ITER 3411 NEW BEST:: SOT 7426042 SOS 1545699 HAS SOPS 1545699 HAS SOUS 588150 HAS SOUPS 588150 WITH SCORE 589695.699
AT ITER 3426 NEW BEST:: SOT 7426042 SOS 1545699 HAS SOPS 1545699 HAS SOUS 588115 HAS SOUPS 588115 WITH SCORE 589660.699
AT ITER 3450 NEW BEST:: SOT 7426013 SOS 1545641 HAS SOPS 1545641 HAS SOUS 588057 HAS SOUPS 588057 WITH SCORE 589602.641
AT ITER 3452 NEW BEST:: SOT 7425976 SOS 1545308 HAS SOPS 1545308 HAS SOUS 587946 HAS SOUPS 587946 WITH SCORE 589491.308
AT ITER 3520 NEW BEST:: SOT 7425976 SOS 1545215 HAS SOPS 1545215 HAS SOUS 587853 HAS SOUPS 587853 WITH SCORE 589398.215
AT ITER 3522 NEW BEST:: SOT 7425962 SOS 1545201 HAS SOPS 1545201 HAS SOUS 587839 HAS SOUPS 587839 WITH SCORE 589384.201
AT ITER 3549 NEW BEST:: SOT 7425942 SOS 1545161 HAS SOPS 1545161 HAS SOUS 587799 HAS SOUPS 587799 WITH SCORE 589344.161
AT ITER 3557 NEW BEST:: SOT 7425242 SOS 1543741 HAS SOPS 1543741 HAS SOUS 587507 HAS SOUPS 587507 WITH SCORE 589050.741
AT ITER 3559 NEW BEST:: SOT 7425122 SOS 1543414 HAS SOPS 1543414 HAS SOUS 587180 HAS SOUPS 587180 WITH SCORE 588723.414
AT ITER 3586 NEW BEST:: SOT 7425094 SOS 1542713 HAS SOPS 1542713 HAS SOUS 587079 HAS SOUPS 587079 WITH SCORE 588621.713
AT ITER 3587 NEW BEST:: SOT 7424310 SOS 1541114 HAS SOPS 1541114 HAS SOUS 586624 HAS SOUPS 586624 WITH SCORE 588165.114
AT ITER 3588 NEW BEST:: SOT 7424273 SOS 1540781 HAS SOPS 1540781 HAS SOUS 586513 HAS SOUPS 586513 WITH SCORE 588053.781
AT ITER 3614 NEW BEST:: SOT 7424241 SOS 1540717 HAS SOPS 1540717 HAS SOUS 586449 HAS SOUPS 586449 WITH SCORE 587989.717
AT ITER 3620 NEW BEST:: SOT 7424241 SOS 1540189 HAS SOPS 1540189 HAS SOUS 586317 HAS SOUPS 586317 WITH SCORE 587857.189
AT ITER 3629 NEW BEST:: SOT 7424129 SOS 1540077 HAS SOPS 1540077 HAS SOUS 586205 HAS SOUPS 586205 WITH SCORE 587745.077
AT ITER 3655 NEW BEST:: SOT 7424129 SOS 1540077 HAS SOPS 1540077 HAS SOUS 586109 HAS SOUPS 586109 WITH SCORE 587649.077
AT ITER 3656 NEW BEST:: SOT 7424096 SOS 1540011 HAS SOPS 1540011 HAS SOUS 585947 HAS SOUPS 585947 WITH SCORE 587487.011
AT ITER 3716 NEW BEST:: SOT 7424056 SOS 1539999 HAS SOPS 1539999 HAS SOUS 585935 HAS SOUPS 585935 WITH SCORE 587474.999
AT ITER 3722 NEW BEST:: SOT 7423482 SOS 1539343 HAS SOPS 1539343 HAS SOUS 585363 HAS SOUPS 585363 WITH SCORE 586902.343
AT ITER 3734 NEW BEST:: SOT 7423482 SOS 1539308 HAS SOPS 1539308 HAS SOUS 585270 HAS SOUPS 585270 WITH SCORE 586809.308
AT ITER 3791 NEW BEST:: SOT 7422894 SOS 1538636 HAS SOPS 1538636 HAS SOUS 584520 HAS SOUPS 584520 WITH SCORE 586058.636
AT ITER 3869 NEW BEST:: SOT 7422873 SOS 1538594 HAS SOPS 1538594 HAS SOUS 584478 HAS SOUPS 584478 WITH SCORE 586016.594
AT ITER 3871 NEW BEST:: SOT 7422840 SOS 1538561 HAS SOPS 1538561 HAS SOUS 584436 HAS SOUPS 584436 WITH SCORE 585974.561
AT ITER 3932 NEW BEST:: SOT 7422812 SOS 1538550 HAS SOPS 1538550 HAS SOUS 584425 HAS SOUPS 584425 WITH SCORE 585963.55
AT ITER 3944 NEW BEST:: SOT 7422763 SOS 1538452 HAS SOPS 1538452 HAS SOUS 584369 HAS SOUPS 584369 WITH SCORE 585907.452
AT ITER 3962 NEW BEST:: SOT 7422724 SOS 1538374 HAS SOPS 1538374 HAS SOUS 584291 HAS SOUPS 584291 WITH SCORE 585829.374
AT ITER 4015 NEW BEST:: SOT 7421848 SOS 1536526 HAS SOPS 1536526 HAS SOUS 583963 HAS SOUPS 583963 WITH SCORE 585499.526
AT ITER 4038 NEW BEST:: SOT 7421484 SOS 1535798 HAS SOPS 1535798 HAS SOUS 583547 HAS SOUPS 583547 WITH SCORE 585082.798
AT ITER 4048 NEW BEST:: SOT 7421113 SOS 1535374 HAS SOPS 1535374 HAS SOUS 583123 HAS SOUPS 583123 WITH SCORE 584658.374
AT ITER 4099 NEW BEST:: SOT 7421047 SOS 1535308 HAS SOPS 1535308 HAS SOUS 583123 HAS SOUPS 583123 WITH SCORE 584658.308
AT ITER 4103 NEW BEST:: SOT 7421047 SOS 1535651 HAS SOPS 1535651 HAS SOUS 582932 HAS SOUPS 582932 WITH SCORE 584467.651
AT ITER 4125 NEW BEST:: SOT 7421047 SOS 1534963 HAS SOPS 1534963 HAS SOUS 582916 HAS SOUPS 582916 WITH SCORE 584450.963
AT ITER 4174 NEW BEST:: SOT 7420813 SOS 1534759 HAS SOPS 1534759 HAS SOUS 582712 HAS SOUPS 582712 WITH SCORE 584246.759
AT ITER 4192 NEW BEST:: SOT 7420713 SOS 1534006 HAS SOPS 1534006 HAS SOUS 582433 HAS SOUPS 582433 WITH SCORE 583967.006
AT ITER 4206 NEW BEST:: SOT 7420707 SOS 1533994 HAS SOPS 1533994 HAS SOUS 582421 HAS SOUPS 582421 WITH SCORE 583954.994
AT ITER 4209 NEW BEST:: SOT 7420645 SOS 1533498 HAS SOPS 1533498 HAS SOUS 582297 HAS SOUPS 582297 WITH SCORE 583830.498
AT ITER 4240 NEW BEST:: SOT 7420591 SOS 1533066 HAS SOPS 1533066 HAS SOUS 582189 HAS SOUPS 582189 WITH SCORE 583722.066
AT ITER 4331 NEW BEST:: SOT 7420311 SOS 1532746 HAS SOPS 1532746 HAS SOUS 581755 HAS SOUPS 581755 WITH SCORE 583287.746
AT ITER 4334 NEW BEST:: SOT 7420159 SOS 1531504 HAS SOPS 1531504 HAS SOUS 581317 HAS SOUPS 581317 WITH SCORE 582848.504
AT ITER 4386 NEW BEST:: SOT 7420078 SOS 1531423 HAS SOPS 1531423 HAS SOUS 581244 HAS SOUPS 581244 WITH SCORE 582775.423
AT ITER 4414 NEW BEST:: SOT 7420078 SOS 1530767 HAS SOPS 1530767 HAS SOUS 581188 HAS SOUPS 581188 WITH SCORE 582718.767
AT ITER 4434 NEW BEST:: SOT 7420069 SOS 1530758 HAS SOPS 1530758 HAS SOUS 581179 HAS SOUPS 581179 WITH SCORE 582709.758
AT ITER 4457 NEW BEST:: SOT 7419523 SOS 1529666 HAS SOPS 1529666 HAS SOUS 580555 HAS SOUPS 580555 WITH SCORE 582084.666
AT ITER 4490 NEW BEST:: SOT 7418662 SOS 1527821 HAS SOPS 1527821 HAS SOUS 579448 HAS SOUPS 579448 WITH SCORE 580975.821
AT ITER 4547 NEW BEST:: SOT 7418662 SOS 1527711 HAS SOPS 1527711 HAS SOUS 579236 HAS SOUPS 579236 WITH SCORE 580763.711
AT ITER 4551 NEW BEST:: SOT 7418547 SOS 1526676 HAS SOPS 1526676 HAS SOUS 578891 HAS SOUPS 578891 WITH SCORE 580417.676
AT ITER 4567 NEW BEST:: SOT 7418530 SOS 1526540 HAS SOPS 1526540 HAS SOUS 578857 HAS SOUPS 578857 WITH SCORE 580383.54
AT ITER 4573 NEW BEST:: SOT 7418075 SOS 1525565 HAS SOPS 1525565 HAS SOUS 578272 HAS SOUPS 578272 WITH SCORE 579797.565
AT ITER 4609 NEW BEST:: SOT 7418075 SOS 1526039 HAS SOPS 1526039 HAS SOUS 578091 HAS SOUPS 578091 WITH SCORE 579617.039
AT ITER 4617 NEW BEST:: SOT 7417564 SOS 1524944 HAS SOPS 1524944 HAS SOUS 577434 HAS SOUPS 577434 WITH SCORE 578958.944
AT ITER 4647 NEW BEST:: SOT 7417552 SOS 1524632 HAS SOPS 1524632 HAS SOUS 577386 HAS SOUPS 577386 WITH SCORE 578910.632
AT ITER 4648 NEW BEST:: SOT 7417090 SOS 1523299 HAS SOPS 1523299 HAS SOUS 576845 HAS SOUPS 576845 WITH SCORE 578368.299
AT ITER 4654 NEW BEST:: SOT 7417090 SOS 1523022 HAS SOPS 1523022 HAS SOUS 576826 HAS SOUPS 576826 WITH SCORE 578349.022
AT ITER 4670 NEW BEST:: SOT 7416951 SOS 1521910 HAS SOPS 1521910 HAS SOUS 576548 HAS SOUPS 576548 WITH SCORE 578069.91
AT ITER 4695 NEW BEST:: SOT 7416951 SOS 1521836 HAS SOPS 1521836 HAS SOUS 576474 HAS SOUPS 576474 WITH SCORE 577995.836
AT ITER 4739 NEW BEST:: SOT 7416979 SOS 1521836 HAS SOPS 1521836 HAS SOUS 576196 HAS SOUPS 576196 WITH SCORE 577717.836
AT ITER 4753 NEW BEST:: SOT 7416979 SOS 1521692 HAS SOPS 1521692 HAS SOUS 576160 HAS SOUPS 576160 WITH SCORE 577681.692
AT ITER 4758 NEW BEST:: SOT 7416956 SOS 1521646 HAS SOPS 1521646 HAS SOUS 576114 HAS SOUPS 576114 WITH SCORE 577635.646
AT ITER 4774 NEW BEST:: SOT 7416956 SOS 1521646 HAS SOPS 1521646 HAS SOUS 576064 HAS SOUPS 576064 WITH SCORE 577585.646
AT ITER 4801 NEW BEST:: SOT 7416918 SOS 1521608 HAS SOPS 1521608 HAS SOUS 576064 HAS SOUPS 576064 WITH SCORE 577585.608
AT ITER 4812 NEW BEST:: SOT 7416866 SOS 1521556 HAS SOPS 1521556 HAS SOUS 576016 HAS SOUPS 576016 WITH SCORE 577537.556
AT ITER 4829 NEW BEST:: SOT 7416855 SOS 1521468 HAS SOPS 1521468 HAS SOUS 575994 HAS SOUPS 575994 WITH SCORE 577515.468
AT ITER 4860 NEW BEST:: SOT 7416813 SOS 1521384 HAS SOPS 1521384 HAS SOUS 575910 HAS SOUPS 575910 WITH SCORE 577431.384
AT ITER 4943 NEW BEST:: SOT 7416232 SOS 1520139 HAS SOPS 1520139 HAS SOUS 575163 HAS SOUPS 575163 WITH SCORE 576683.139
AT ITER 4950 NEW BEST:: SOT 7416232 SOS 1519659 HAS SOPS 1519659 HAS SOUS 575043 HAS SOUPS 575043 WITH SCORE 576562.659
AT ITER 4966 NEW BEST:: SOT 7415168 SOS 1518443 HAS SOPS 1518443 HAS SOUS 573960 HAS SOUPS 573960 WITH SCORE 575478.443
AT ITER 4997 NEW BEST:: SOT 7415162 SOS 1518431 HAS SOPS 1518431 HAS SOUS 573948 HAS SOUPS 573948 WITH SCORE 575466.431
AT ITER 5017 NEW BEST:: SOT 7415162 SOS 1518235 HAS SOPS 1518235 HAS SOUS 573920 HAS SOUPS 573920 WITH SCORE 575438.235
AT ITER 5019 NEW BEST:: SOT 7415162 SOS 1518235 HAS SOPS 1518235 HAS SOUS 573861 HAS SOUPS 573861 WITH SCORE 575379.235
AT ITER 5028 NEW BEST:: SOT 7415021 SOS 1516959 HAS SOPS 1516959 HAS SOUS 573431 HAS SOUPS 573431 WITH SCORE 574947.959
AT ITER 5052 NEW BEST:: SOT 7414987 SOS 1516687 HAS SOPS 1516687 HAS SOUS 573363 HAS SOUPS 573363 WITH SCORE 574879.687
AT ITER 5075 NEW BEST:: SOT 7414987 SOS 1516662 HAS SOPS 1516662 HAS SOUS 573188 HAS SOUPS 573188 WITH SCORE 574704.662
AT ITER 5097 NEW BEST:: SOT 7414017 SOS 1514722 HAS SOPS 1514722 HAS SOUS 572340 HAS SOUPS 572340 WITH SCORE 573854.722
AT ITER 5120 NEW BEST:: SOT 7413729 SOS 1514434 HAS SOPS 1514434 HAS SOUS 572052 HAS SOUPS 572052 WITH SCORE 573566.434
AT ITER 5137 NEW BEST:: SOT 7413729 SOS 1515070 HAS SOPS 1515070 HAS SOUS 571416 HAS SOUPS 571416 WITH SCORE 572931.07
AT ITER 5176 NEW BEST:: SOT 7413729 SOS 1515089 HAS SOPS 1515089 HAS SOUS 571321 HAS SOUPS 571321 WITH SCORE 572836.089
AT ITER 5247 NEW BEST:: SOT 7413673 SOS 1514965 HAS SOPS 1514965 HAS SOUS 571271 HAS SOUPS 571271 WITH SCORE 572785.965
AT ITER 5302 NEW BEST:: SOT 7412735 SOS 1512955 HAS SOPS 1512955 HAS SOUS 570065 HAS SOUPS 570065 WITH SCORE 571577.955
AT ITER 5343 NEW BEST:: SOT 7412735 SOS 1512955 HAS SOPS 1512955 HAS SOUS 570031 HAS SOUPS 570031 WITH SCORE 571543.955
AT ITER 5350 NEW BEST:: SOT 7412735 SOS 1512598 HAS SOPS 1512598 HAS SOUS 569980 HAS SOUPS 569980 WITH SCORE 571492.598
AT ITER 5357 NEW BEST:: SOT 7412581 SOS 1512444 HAS SOPS 1512444 HAS SOUS 569826 HAS SOUPS 569826 WITH SCORE 571338.444
AT ITER 5394 NEW BEST:: SOT 7412429 SOS 1512049 HAS SOPS 1512049 HAS SOUS 569509 HAS SOUPS 569509 WITH SCORE 571021.049
AT ITER 5429 NEW BEST:: SOT 7412425 SOS 1512041 HAS SOPS 1512041 HAS SOUS 569477 HAS SOUPS 569477 WITH SCORE 570989.041
AT ITER 5446 NEW BEST:: SOT 7412425 SOS 1512041 HAS SOPS 1512041 HAS SOUS 569466 HAS SOUPS 569466 WITH SCORE 570978.041
AT ITER 5520 NEW BEST:: SOT 7412425 SOS 1511982 HAS SOPS 1511982 HAS SOUS 569407 HAS SOUPS 569407 WITH SCORE 570918.982
AT ITER 5522 NEW BEST:: SOT 7412782 SOS 1512390 HAS SOPS 1512390 HAS SOUS 569136 HAS SOUPS 569136 WITH SCORE 570648.39
AT ITER 5560 NEW BEST:: SOT 7412782 SOS 1512390 HAS SOPS 1512390 HAS SOUS 569042 HAS SOUPS 569042 WITH SCORE 570554.39
AT ITER 5565 NEW BEST:: SOT 7412782 SOS 1511898 HAS SOPS 1511898 HAS SOUS 569042 HAS SOUPS 569042 WITH SCORE 570553.898
AT ITER 5584 NEW BEST:: SOT 7412676 SOS 1511824 HAS SOPS 1511824 HAS SOUS 568968 HAS SOUPS 568968 WITH SCORE 570479.824
AT ITER 5592 NEW BEST:: SOT 7412571 SOS 1510879 HAS SOPS 1510879 HAS SOUS 568653 HAS SOUPS 568653 WITH SCORE 570163.879
AT ITER 5594 NEW BEST:: SOT 7412571 SOS 1509663 HAS SOPS 1509663 HAS SOUS 568349 HAS SOUPS 568349 WITH SCORE 569858.663
AT ITER 5613 NEW BEST:: SOT 7412571 SOS 1509663 HAS SOPS 1509663 HAS SOUS 568317 HAS SOUPS 568317 WITH SCORE 569826.663
AT ITER 5616 NEW BEST:: SOT 7411759 SOS 1508851 HAS SOPS 1508851 HAS SOUS 567505 HAS SOUPS 567505 WITH SCORE 569013.851
AT ITER 5631 NEW BEST:: SOT 7411740 SOS 1508103 HAS SOPS 1508103 HAS SOUS 567429 HAS SOUPS 567429 WITH SCORE 568937.103
AT ITER 5641 NEW BEST:: SOT 7411740 SOS 1508103 HAS SOPS 1508103 HAS SOUS 567419 HAS SOUPS 567419 WITH SCORE 568927.103
AT ITER 5676 NEW BEST:: SOT 7411726 SOS 1507711 HAS SOPS 1507711 HAS SOUS 567387 HAS SOUPS 567387 WITH SCORE 568894.711
AT ITER 5682 NEW BEST:: SOT 7411810 SOS 1508591 HAS SOPS 1508591 HAS SOUS 567127 HAS SOUPS 567127 WITH SCORE 568635.591
AT ITER 5686 NEW BEST:: SOT 7411778 SOS 1508527 HAS SOPS 1508527 HAS SOUS 567063 HAS SOUPS 567063 WITH SCORE 568571.527
AT ITER 5726 NEW BEST:: SOT 7411309 SOS 1508058 HAS SOPS 1508058 HAS SOUS 566594 HAS SOUPS 566594 WITH SCORE 568102.058
AT ITER 5752 NEW BEST:: SOT 7411309 SOS 1507877 HAS SOPS 1507877 HAS SOUS 566413 HAS SOUPS 566413 WITH SCORE 567920.877
AT ITER 5754 NEW BEST:: SOT 7411299 SOS 1507867 HAS SOPS 1507867 HAS SOUS 566413 HAS SOUPS 566413 WITH SCORE 567920.867
AT ITER 5770 NEW BEST:: SOT 7411242 SOS 1507753 HAS SOPS 1507753 HAS SOUS 566299 HAS SOUPS 566299 WITH SCORE 567806.753
AT ITER 5819 NEW BEST:: SOT 7411189 SOS 1507700 HAS SOPS 1507700 HAS SOUS 566208 HAS SOUPS 566208 WITH SCORE 567715.7
AT ITER 5860 NEW BEST:: SOT 7411188 SOS 1507699 HAS SOPS 1507699 HAS SOUS 566207 HAS SOUPS 566207 WITH SCORE 567714.699
AT ITER 5880 NEW BEST:: SOT 7411104 SOS 1507615 HAS SOPS 1507615 HAS SOUS 566123 HAS SOUPS 566123 WITH SCORE 567630.615
AT ITER 5913 NEW BEST:: SOT 7411090 SOS 1507503 HAS SOPS 1507503 HAS SOUS 566095 HAS SOUPS 566095 WITH SCORE 567602.503
AT ITER 5945 NEW BEST:: SOT 7411090 SOS 1507503 HAS SOPS 1507503 HAS SOUS 566089 HAS SOUPS 566089 WITH SCORE 567596.503
AT ITER 5958 NEW BEST:: SOT 7411090 SOS 1507440 HAS SOPS 1507440 HAS SOUS 566026 HAS SOUPS 566026 WITH SCORE 567533.44
AT ITER 5996 NEW BEST:: SOT 7410943 SOS 1507272 HAS SOPS 1507272 HAS SOUS 565858 HAS SOUPS 565858 WITH SCORE 567365.272
AT ITER 6007 NEW BEST:: SOT 7410926 SOS 1507136 HAS SOPS 1507136 HAS SOUS 565824 HAS SOUPS 565824 WITH SCORE 567331.136
AT ITER 6019 NEW BEST:: SOT 7410667 SOS 1506877 HAS SOPS 1506877 HAS SOUS 565565 HAS SOUPS 565565 WITH SCORE 567071.877
AT ITER 6041 NEW BEST:: SOT 7410506 SOS 1506716 HAS SOPS 1506716 HAS SOUS 565404 HAS SOUPS 565404 WITH SCORE 566910.716
AT ITER 6080 NEW BEST:: SOT 7410446 SOS 1505872 HAS SOPS 1505872 HAS SOUS 565232 HAS SOUPS 565232 WITH SCORE 566737.872
AT ITER 6087 NEW BEST:: SOT 7410446 SOS 1505818 HAS SOPS 1505818 HAS SOUS 565178 HAS SOUPS 565178 WITH SCORE 566683.818
AT ITER 6093 NEW BEST:: SOT 7410252 SOS 1505646 HAS SOPS 1505646 HAS SOUS 565138 HAS SOUPS 565138 WITH SCORE 566643.646
AT ITER 6213 NEW BEST:: SOT 7410262 SOS 1505639 HAS SOPS 1505639 HAS SOUS 565131 HAS SOUPS 565131 WITH SCORE 566636.639
AT ITER 6220 NEW BEST:: SOT 7409842 SOS 1505163 HAS SOPS 1505163 HAS SOUS 564697 HAS SOUPS 564697 WITH SCORE 566202.163
AT ITER 6283 NEW BEST:: SOT 7409809 SOS 1504866 HAS SOPS 1504866 HAS SOUS 564598 HAS SOUPS 564598 WITH SCORE 566102.866
AT ITER 6304 NEW BEST:: SOT 7409809 SOS 1505048 HAS SOPS 1505048 HAS SOUS 564442 HAS SOUPS 564442 WITH SCORE 565947.048
AT ITER 6325 NEW BEST:: SOT 7409809 SOS 1503944 HAS SOPS 1503944 HAS SOUS 564166 HAS SOUPS 564166 WITH SCORE 565669.944
AT ITER 6370 NEW BEST:: SOT 7409809 SOS 1503282 HAS SOPS 1503282 HAS SOUS 564104 HAS SOUPS 564104 WITH SCORE 565607.282
AT ITER 6418 NEW BEST:: SOT 7409809 SOS 1503180 HAS SOPS 1503180 HAS SOUS 564104 HAS SOUPS 564104 WITH SCORE 565607.18
AT ITER 6429 NEW BEST:: SOT 7409809 SOS 1503180 HAS SOPS 1503180 HAS SOUS 564020 HAS SOUPS 564020 WITH SCORE 565523.18
AT ITER 6461 NEW BEST:: SOT 7409578 SOS 1502916 HAS SOPS 1502916 HAS SOUS 563525 HAS SOUPS 563525 WITH SCORE 565027.916
AT ITER 6482 NEW BEST:: SOT 7409578 SOS 1502724 HAS SOPS 1502724 HAS SOUS 563477 HAS SOUPS 563477 WITH SCORE 564979.724
AT ITER 6491 NEW BEST:: SOT 7409769 SOS 1502803 HAS SOPS 1502803 HAS SOUS 563371 HAS SOUPS 563371 WITH SCORE 564873.803
AT ITER 6543 NEW BEST:: SOT 7409615 SOS 1502627 HAS SOPS 1502627 HAS SOUS 563249 HAS SOUPS 563249 WITH SCORE 564751.627
AT ITER 6552 NEW BEST:: SOT 7409569 SOS 1502259 HAS SOPS 1502259 HAS SOUS 563157 HAS SOUPS 563157 WITH SCORE 564659.259
AT ITER 6557 NEW BEST:: SOT 7409569 SOS 1502420 HAS SOPS 1502420 HAS SOUS 563042 HAS SOUPS 563042 WITH SCORE 564544.42
AT ITER 6633 NEW BEST:: SOT 7409419 SOS 1501220 HAS SOPS 1501220 HAS SOUS 562742 HAS SOUPS 562742 WITH SCORE 564243.22
AT ITER 6720 NEW BEST:: SOT 7409393 SOS 1501168 HAS SOPS 1501168 HAS SOUS 562518 HAS SOUPS 562518 WITH SCORE 564019.168
AT ITER 6723 NEW BEST:: SOT 7409393 SOS 1501156 HAS SOPS 1501156 HAS SOUS 562506 HAS SOUPS 562506 WITH SCORE 564007.156
AT ITER 6764 NEW BEST:: SOT 7409393 SOS 1501097 HAS SOPS 1501097 HAS SOUS 562034 HAS SOUPS 562034 WITH SCORE 563535.097
AT ITER 6782 NEW BEST:: SOT 7409393 SOS 1500681 HAS SOPS 1500681 HAS SOUS 561978 HAS SOUPS 561978 WITH SCORE 563478.681
AT ITER 6864 NEW BEST:: SOT 7408686 SOS 1499166 HAS SOPS 1499166 HAS SOUS 561069 HAS SOUPS 561069 WITH SCORE 562568.166
AT ITER 6865 NEW BEST:: SOT 7408434 SOS 1498950 HAS SOPS 1498950 HAS SOUS 560853 HAS SOUPS 560853 WITH SCORE 562351.95
AT ITER 6943 NEW BEST:: SOT 7408049 SOS 1498180 HAS SOPS 1498180 HAS SOUS 560413 HAS SOUPS 560413 WITH SCORE 561911.18
AT ITER 6962 NEW BEST:: SOT 7408259 SOS 1499117 HAS SOPS 1499117 HAS SOUS 560286 HAS SOUPS 560286 WITH SCORE 561785.117
AT ITER 7010 NEW BEST:: SOT 7407738 SOS 1498561 HAS SOPS 1498561 HAS SOUS 559760 HAS SOUPS 559760 WITH SCORE 561258.561
AT ITER 7102 NEW BEST:: SOT 7407631 SOS 1497705 HAS SOPS 1497705 HAS SOUS 559546 HAS SOUPS 559546 WITH SCORE 561043.705
AT ITER 7109 NEW BEST:: SOT 7407611 SOS 1497685 HAS SOPS 1497685 HAS SOUS 559546 HAS SOUPS 559546 WITH SCORE 561043.685
AT ITER 7115 NEW BEST:: SOT 7407593 SOS 1497649 HAS SOPS 1497649 HAS SOUS 559510 HAS SOUPS 559510 WITH SCORE 561007.649
AT ITER 7119 NEW BEST:: SOT 7407593 SOS 1496689 HAS SOPS 1496689 HAS SOUS 559270 HAS SOUPS 559270 WITH SCORE 560766.689
AT ITER 7131 NEW BEST:: SOT 7407775 SOS 1497419 HAS SOPS 1497419 HAS SOUS 559063 HAS SOUPS 559063 WITH SCORE 560560.419
AT ITER 7149 NEW BEST:: SOT 7407745 SOS 1497245 HAS SOPS 1497245 HAS SOUS 559051 HAS SOUPS 559051 WITH SCORE 560548.245
AT ITER 7218 NEW BEST:: SOT 7407745 SOS 1497227 HAS SOPS 1497227 HAS SOUS 559033 HAS SOUPS 559033 WITH SCORE 560530.227
AT ITER 7220 NEW BEST:: SOT 7407733 SOS 1497131 HAS SOPS 1497131 HAS SOUS 559009 HAS SOUPS 559009 WITH SCORE 560506.131
AT ITER 7226 NEW BEST:: SOT 7407705 SOS 1496740 HAS SOPS 1496740 HAS SOUS 558978 HAS SOUPS 558978 WITH SCORE 560474.74
AT ITER 7228 NEW BEST:: SOT 7407638 SOS 1496673 HAS SOPS 1496673 HAS SOUS 558911 HAS SOUPS 558911 WITH SCORE 560407.673
AT ITER 7258 NEW BEST:: SOT 7407398 SOS 1496433 HAS SOPS 1496433 HAS SOUS 558671 HAS SOUPS 558671 WITH SCORE 560167.433
AT ITER 7294 NEW BEST:: SOT 7407174 SOS 1496212 HAS SOPS 1496212 HAS SOUS 558450 HAS SOUPS 558450 WITH SCORE 559946.212
AT ITER 7295 NEW BEST:: SOT 7407174 SOS 1496618 HAS SOPS 1496618 HAS SOUS 558412 HAS SOUPS 558412 WITH SCORE 559908.618
AT ITER 7336 NEW BEST:: SOT 7407140 SOS 1496550 HAS SOPS 1496550 HAS SOUS 558344 HAS SOUPS 558344 WITH SCORE 559840.55
AT ITER 7420 NEW BEST:: SOT 7406075 SOS 1494510 HAS SOPS 1494510 HAS SOUS 557366 HAS SOUPS 557366 WITH SCORE 558860.51
AT ITER 7421 NEW BEST:: SOT 7406075 SOS 1493799 HAS SOPS 1493799 HAS SOUS 557327 HAS SOUPS 557327 WITH SCORE 558820.799
AT ITER 7422 NEW BEST:: SOT 7406053 SOS 1493755 HAS SOPS 1493755 HAS SOUS 557283 HAS SOUPS 557283 WITH SCORE 558776.755
AT ITER 7433 NEW BEST:: SOT 7406697 SOS 1494620 HAS SOPS 1494620 HAS SOUS 557277 HAS SOUPS 557277 WITH SCORE 558771.62
AT ITER 7453 NEW BEST:: SOT 7406697 SOS 1494539 HAS SOPS 1494539 HAS SOUS 556920 HAS SOUPS 556920 WITH SCORE 558414.539
AT ITER 7485 NEW BEST:: SOT 7406697 SOS 1494539 HAS SOPS 1494539 HAS SOUS 556845 HAS SOUPS 556845 WITH SCORE 558339.539
AT ITER 7497 NEW BEST:: SOT 7406445 SOS 1493897 HAS SOPS 1493897 HAS SOUS 556718 HAS SOUPS 556718 WITH SCORE 558211.897
AT ITER 7525 NEW BEST:: SOT 7406504 SOS 1493901 HAS SOPS 1493901 HAS SOUS 556356 HAS SOUPS 556356 WITH SCORE 557849.901
AT ITER 7546 NEW BEST:: SOT 7406360 SOS 1492749 HAS SOPS 1492749 HAS SOUS 556068 HAS SOUPS 556068 WITH SCORE 557560.749
AT ITER 7552 NEW BEST:: SOT 7406318 SOS 1492665 HAS SOPS 1492665 HAS SOUS 555984 HAS SOUPS 555984 WITH SCORE 557476.665
AT ITER 7574 NEW BEST:: SOT 7406318 SOS 1492641 HAS SOPS 1492641 HAS SOUS 555960 HAS SOUPS 555960 WITH SCORE 557452.641
AT ITER 7633 NEW BEST:: SOT 7406240 SOS 1492251 HAS SOPS 1492251 HAS SOUS 555804 HAS SOUPS 555804 WITH SCORE 557296.251
AT ITER 7661 NEW BEST:: SOT 7406160 SOS 1492171 HAS SOPS 1492171 HAS SOUS 555641 HAS SOUPS 555641 WITH SCORE 557133.171
AT ITER 7694 NEW BEST:: SOT 7406105 SOS 1491705 HAS SOPS 1491705 HAS SOUS 555481 HAS SOUPS 555481 WITH SCORE 556972.705
AT ITER 7865 NEW BEST:: SOT 7405265 SOS 1490865 HAS SOPS 1490865 HAS SOUS 554641 HAS SOUPS 554641 WITH SCORE 556131.865
AT ITER 7917 NEW BEST:: SOT 7404614 SOS 1489563 HAS SOPS 1489563 HAS SOUS 554053 HAS SOUPS 554053 WITH SCORE 555542.563
AT ITER 7993 NEW BEST:: SOT 7404576 SOS 1489259 HAS SOPS 1489259 HAS SOUS 553977 HAS SOUPS 553977 WITH SCORE 555466.259
AT ITER 8085 NEW BEST:: SOT 7404825 SOS 1489480 HAS SOPS 1489480 HAS SOUS 553901 HAS SOUPS 553901 WITH SCORE 555390.48
AT ITER 8116 NEW BEST:: SOT 7403992 SOS 1488204 HAS SOPS 1488204 HAS SOUS 552991 HAS SOUPS 552991 WITH SCORE 554479.204
AT ITER 8128 NEW BEST:: SOT 7403932 SOS 1488144 HAS SOPS 1488144 HAS SOUS 552931 HAS SOUPS 552931 WITH SCORE 554419.144
AT ITER 8132 NEW BEST:: SOT 7403887 SOS 1488054 HAS SOPS 1488054 HAS SOUS 552841 HAS SOUPS 552841 WITH SCORE 554329.054
AT ITER 8145 NEW BEST:: SOT 7403783 SOS 1487950 HAS SOPS 1487950 HAS SOUS 552737 HAS SOUPS 552737 WITH SCORE 554224.95
AT ITER 8182 NEW BEST:: SOT 7403713 SOS 1487656 HAS SOPS 1487656 HAS SOUS 552709 HAS SOUPS 552709 WITH SCORE 554196.656
AT ITER 8215 NEW BEST:: SOT 7403139 SOS 1487082 HAS SOPS 1487082 HAS SOUS 552135 HAS SOUPS 552135 WITH SCORE 553622.082
AT ITER 8302 NEW BEST:: SOT 7403128 SOS 1486982 HAS SOPS 1486982 HAS SOUS 552101 HAS SOUPS 552101 WITH SCORE 553587.982
AT ITER 8411 NEW BEST:: SOT 7403128 SOS 1486532 HAS SOPS 1486532 HAS SOUS 552101 HAS SOUPS 552101 WITH SCORE 553587.532
AT ITER 8443 NEW BEST:: SOT 7402085 SOS 1485340 HAS SOPS 1485340 HAS SOUS 550795 HAS SOUPS 550795 WITH SCORE 552280.34
AT ITER 8474 NEW BEST:: SOT 7402221 SOS 1485438 HAS SOPS 1485438 HAS SOUS 550778 HAS SOUPS 550778 WITH SCORE 552263.438
AT ITER 8477 NEW BEST:: SOT 7402123 SOS 1485242 HAS SOPS 1485242 HAS SOUS 550210 HAS SOUPS 550210 WITH SCORE 551695.242
AT ITER 8480 NEW BEST:: SOT 7401658 SOS 1484072 HAS SOPS 1484072 HAS SOUS 550052 HAS SOUPS 550052 WITH SCORE 551536.072
AT ITER 8484 NEW BEST:: SOT 7401596 SOS 1483576 HAS SOPS 1483576 HAS SOUS 549928 HAS SOUPS 549928 WITH SCORE 551411.576
AT ITER 8494 NEW BEST:: SOT 7401592 SOS 1483568 HAS SOPS 1483568 HAS SOUS 549920 HAS SOUPS 549920 WITH SCORE 551403.568
AT ITER 8495 NEW BEST:: SOT 7401584 SOS 1482632 HAS SOPS 1482632 HAS SOUS 549896 HAS SOUPS 549896 WITH SCORE 551378.632
AT ITER 8497 NEW BEST:: SOT 7401504 SOS 1482472 HAS SOPS 1482472 HAS SOUS 549610 HAS SOUPS 549610 WITH SCORE 551092.472
AT ITER 8507 NEW BEST:: SOT 7401504 SOS 1482468 HAS SOPS 1482468 HAS SOUS 549606 HAS SOUPS 549606 WITH SCORE 551088.468
AT ITER 8536 NEW BEST:: SOT 7400584 SOS 1480628 HAS SOPS 1480628 HAS SOUS 549100 HAS SOUPS 549100 WITH SCORE 550580.628
AT ITER 8562 NEW BEST:: SOT 7400555 SOS 1480570 HAS SOPS 1480570 HAS SOUS 548855 HAS SOUPS 548855 WITH SCORE 550335.57
AT ITER 8595 NEW BEST:: SOT 7400552 SOS 1480564 HAS SOPS 1480564 HAS SOUS 548849 HAS SOUPS 548849 WITH SCORE 550329.564
AT ITER 8597 NEW BEST:: SOT 7400547 SOS 1480519 HAS SOPS 1480519 HAS SOUS 548834 HAS SOUPS 548834 WITH SCORE 550314.519
AT ITER 8608 NEW BEST:: SOT 7400547 SOS 1479935 HAS SOPS 1479935 HAS SOUS 548688 HAS SOUPS 548688 WITH SCORE 550167.935
AT ITER 8620 NEW BEST:: SOT 7400547 SOS 1479533 HAS SOPS 1479533 HAS SOUS 548652 HAS SOUPS 548652 WITH SCORE 550131.533
AT ITER 8642 NEW BEST:: SOT 7400547 SOS 1479533 HAS SOPS 1479533 HAS SOUS 548625 HAS SOUPS 548625 WITH SCORE 550104.533
AT ITER 8668 NEW BEST:: SOT 7400204 SOS 1479190 HAS SOPS 1479190 HAS SOUS 548282 HAS SOUPS 548282 WITH SCORE 549761.19
AT ITER 8706 NEW BEST:: SOT 7400110 SOS 1479002 HAS SOPS 1479002 HAS SOUS 547632 HAS SOUPS 547632 WITH SCORE 549111.002
AT ITER 8714 NEW BEST:: SOT 7399893 SOS 1478568 HAS SOPS 1478568 HAS SOUS 547384 HAS SOUPS 547384 WITH SCORE 548862.568
AT ITER 8736 NEW BEST:: SOT 7399893 SOS 1478076 HAS SOPS 1478076 HAS SOUS 547324 HAS SOUPS 547324 WITH SCORE 548802.076
AT ITER 8760 NEW BEST:: SOT 7399893 SOS 1478065 HAS SOPS 1478065 HAS SOUS 547313 HAS SOUPS 547313 WITH SCORE 548791.065
AT ITER 8782 NEW BEST:: SOT 7399876 SOS 1477036 HAS SOPS 1477036 HAS SOUS 547220 HAS SOUPS 547220 WITH SCORE 548697.036
AT ITER 8804 NEW BEST:: SOT 7399914 SOS 1476370 HAS SOPS 1476370 HAS SOUS 547190 HAS SOUPS 547190 WITH SCORE 548666.37
AT ITER 8807 NEW BEST:: SOT 7399873 SOS 1476329 HAS SOPS 1476329 HAS SOUS 547190 HAS SOUPS 547190 WITH SCORE 548666.329
AT ITER 8862 NEW BEST:: SOT 7399873 SOS 1476203 HAS SOPS 1476203 HAS SOUS 547190 HAS SOUPS 547190 WITH SCORE 548666.203
AT ITER 8904 NEW BEST:: SOT 7399201 SOS 1474679 HAS SOPS 1474679 HAS SOUS 546398 HAS SOUPS 546398 WITH SCORE 547872.679
AT ITER 8927 NEW BEST:: SOT 7399138 SOS 1474607 HAS SOPS 1474607 HAS SOUS 546326 HAS SOUPS 546326 WITH SCORE 547800.607
AT ITER 8930 NEW BEST:: SOT 7399131 SOS 1474600 HAS SOPS 1474600 HAS SOUS 546312 HAS SOUPS 546312 WITH SCORE 547786.6
AT ITER 8960 NEW BEST:: SOT 7399026 SOS 1473655 HAS SOPS 1473655 HAS SOUS 545997 HAS SOUPS 545997 WITH SCORE 547470.655
AT ITER 9046 NEW BEST:: SOT 7399026 SOS 1473581 HAS SOPS 1473581 HAS SOUS 545995 HAS SOUPS 545995 WITH SCORE 547468.581
AT ITER 9079 NEW BEST:: SOT 7398993 SOS 1473548 HAS SOPS 1473548 HAS SOUS 545843 HAS SOUPS 545843 WITH SCORE 547316.548
AT ITER 9132 NEW BEST:: SOT 7398993 SOS 1473954 HAS SOPS 1473954 HAS SOUS 545577 HAS SOUPS 545577 WITH SCORE 547050.954
AT ITER 9133 NEW BEST:: SOT 7398685 SOS 1473303 HAS SOPS 1473303 HAS SOUS 545196 HAS SOUPS 545196 WITH SCORE 546669.303
AT ITER 9167 NEW BEST:: SOT 7398648 SOS 1472947 HAS SOPS 1472947 HAS SOUS 545062 HAS SOUPS 545062 WITH SCORE 546534.947
AT ITER 9169 NEW BEST:: SOT 7398565 SOS 1472097 HAS SOPS 1472097 HAS SOUS 544896 HAS SOUPS 544896 WITH SCORE 546368.097
AT ITER 9195 NEW BEST:: SOT 7398285 SOS 1471537 HAS SOPS 1471537 HAS SOUS 544576 HAS SOUPS 544576 WITH SCORE 546047.537
AT ITER 9368 NEW BEST:: SOT 7398263 SOS 1471520 HAS SOPS 1471520 HAS SOUS 544559 HAS SOUPS 544559 WITH SCORE 546030.52
AT ITER 9393 NEW BEST:: SOT 7398243 SOS 1471480 HAS SOPS 1471480 HAS SOUS 544519 HAS SOUPS 544519 WITH SCORE 545990.48
AT ITER 9425 NEW BEST:: SOT 7398196 SOS 1471377 HAS SOPS 1471377 HAS SOUS 544464 HAS SOUPS 544464 WITH SCORE 545935.377
AT ITER 9446 NEW BEST:: SOT 7398196 SOS 1471377 HAS SOPS 1471377 HAS SOUS 544414 HAS SOUPS 544414 WITH SCORE 545885.377
AT ITER 9456 NEW BEST:: SOT 7398179 SOS 1471276 HAS SOPS 1471276 HAS SOUS 544379 HAS SOUPS 544379 WITH SCORE 545850.276
AT ITER 9457 NEW BEST:: SOT 7398167 SOS 1471252 HAS SOPS 1471252 HAS SOUS 544355 HAS SOUPS 544355 WITH SCORE 545826.252
AT ITER 9552 NEW BEST:: SOT 7398167 SOS 1471468 HAS SOPS 1471468 HAS SOUS 544139 HAS SOUPS 544139 WITH SCORE 545610.468
AT ITER 9631 NEW BEST:: SOT 7398147 SOS 1471428 HAS SOPS 1471428 HAS SOUS 544099 HAS SOUPS 544099 WITH SCORE 545570.428
AT ITER 9677 NEW BEST:: SOT 7397643 SOS 1470336 HAS SOPS 1470336 HAS SOUS 543615 HAS SOUPS 543615 WITH SCORE 545085.336
AT ITER 9708 NEW BEST:: SOT 7397652 SOS 1469997 HAS SOPS 1469997 HAS SOUS 543582 HAS SOUPS 543582 WITH SCORE 545051.997
AT ITER 9733 NEW BEST:: SOT 7397633 SOS 1469845 HAS SOPS 1469845 HAS SOUS 543544 HAS SOUPS 543544 WITH SCORE 545013.845
AT ITER 9768 NEW BEST:: SOT 7396933 SOS 1469077 HAS SOPS 1469077 HAS SOUS 543058 HAS SOUPS 543058 WITH SCORE 544527.077
AT ITER 9839 NEW BEST:: SOT 7396723 SOS 1468867 HAS SOPS 1468867 HAS SOUS 542848 HAS SOUPS 542848 WITH SCORE 544316.867
AT ITER 9928 NEW BEST:: SOT 7395769 SOS 1466959 HAS SOPS 1466959 HAS SOUS 542154 HAS SOUPS 542154 WITH SCORE 543620.959
AT ITER 9984 NEW BEST:: SOT 7395750 SOS 1466921 HAS SOPS 1466921 HAS SOUS 542116 HAS SOUPS 542116 WITH SCORE 543582.921
AT ITER 9986 NEW BEST:: SOT 7395713 SOS 1466625 HAS SOPS 1466625 HAS SOUS 542042 HAS SOUPS 542042 WITH SCORE 543508.625

BK_STOP 1589616552134

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 458 Aborted ${SMART} ${INPUT_SM}

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="HypercubeGrid-PT-C4K3P3B12"
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 HypercubeGrid-PT-C4K3P3B12, 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 r093-oct2-158940140300264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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