About the Execution of Smart for HypercubeGrid-PT-C4K3P3B12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16197.063 | 3600000.00 | 3588417.00 | 12552.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r227-tall-167856409800016.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool 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 r227-tall-167856409800016
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 8.0K Feb 26 03:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 03:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 02:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 16:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 05:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 05:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 04:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 3.0M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678602365123
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=HypercubeGrid-PT-C4K3P3B12
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C4K3P3B12
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: 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 3 NEW BEST:: SOT 7447687 SOS 1598801 HAS SOPS 1598801 HAS SOUS 616042 HAS SOUPS 616042 WITH SCORE 617640.801
AT ITER 54 NEW BEST:: SOT 7447435 SOS 1598513 HAS SOPS 1598513 HAS SOUS 615754 HAS SOUPS 615754 WITH SCORE 617352.513
AT ITER 69 NEW BEST:: SOT 7447317 SOS 1598277 HAS SOPS 1598277 HAS SOUS 615278 HAS SOUPS 615278 WITH SCORE 616876.277
AT ITER 70 NEW BEST:: SOT 7447317 SOS 1598277 HAS SOPS 1598277 HAS SOUS 615208 HAS SOUPS 615208 WITH SCORE 616806.277
AT ITER 79 NEW BEST:: SOT 7446736 SOS 1597613 HAS SOPS 1597613 HAS SOUS 614265 HAS SOUPS 614265 WITH SCORE 615862.613
AT ITER 101 NEW BEST:: SOT 7446768 SOS 1597645 HAS SOPS 1597645 HAS SOUS 614259 HAS SOUPS 614259 WITH SCORE 615856.645
AT ITER 114 NEW BEST:: SOT 7446687 SOS 1597564 HAS SOPS 1597564 HAS SOUS 614178 HAS SOUPS 614178 WITH SCORE 615775.564
AT ITER 121 NEW BEST:: SOT 7446862 SOS 1597827 HAS SOPS 1597827 HAS SOUS 614058 HAS SOUPS 614058 WITH SCORE 615655.827
AT ITER 194 NEW BEST:: SOT 7446862 SOS 1597730 HAS SOPS 1597730 HAS SOUS 613847 HAS SOUPS 613847 WITH SCORE 615444.73
AT ITER 198 NEW BEST:: SOT 7446791 SOS 1597091 HAS SOPS 1597091 HAS SOUS 613634 HAS SOUPS 613634 WITH SCORE 615231.091
AT ITER 278 NEW BEST:: SOT 7446791 SOS 1596986 HAS SOPS 1596986 HAS SOUS 613163 HAS SOUPS 613163 WITH SCORE 614759.986
AT ITER 308 NEW BEST:: SOT 7445937 SOS 1596010 HAS SOPS 1596010 HAS SOUS 612139 HAS SOUPS 612139 WITH SCORE 613735.01
AT ITER 326 NEW BEST:: SOT 7445949 SOS 1595054 HAS SOPS 1595054 HAS SOUS 612023 HAS SOUPS 612023 WITH SCORE 613618.054
AT ITER 352 NEW BEST:: SOT 7445862 SOS 1594358 HAS SOPS 1594358 HAS SOUS 611849 HAS SOUPS 611849 WITH SCORE 613443.358
AT ITER 397 NEW BEST:: SOT 7445281 SOS 1593113 HAS SOPS 1593113 HAS SOUS 611102 HAS SOUPS 611102 WITH SCORE 612695.113
AT ITER 403 NEW BEST:: SOT 7445239 SOS 1593071 HAS SOPS 1593071 HAS SOUS 611060 HAS SOUPS 611060 WITH SCORE 612653.071
AT ITER 413 NEW BEST:: SOT 7445001 SOS 1592799 HAS SOPS 1592799 HAS SOUS 610738 HAS SOUPS 610738 WITH SCORE 612330.799
AT ITER 454 NEW BEST:: SOT 7444023 SOS 1590843 HAS SOPS 1590843 HAS SOUS 610258 HAS SOUPS 610258 WITH SCORE 611848.843
AT ITER 528 NEW BEST:: SOT 7443995 SOS 1590838 HAS SOPS 1590838 HAS SOUS 610253 HAS SOUPS 610253 WITH SCORE 611843.838
AT ITER 541 NEW BEST:: SOT 7443963 SOS 1590806 HAS SOPS 1590806 HAS SOUS 610253 HAS SOUPS 610253 WITH SCORE 611843.806
AT ITER 579 NEW BEST:: SOT 7443963 SOS 1590366 HAS SOPS 1590366 HAS SOUS 610143 HAS SOUPS 610143 WITH SCORE 611733.366
AT ITER 587 NEW BEST:: SOT 7443704 SOS 1589848 HAS SOPS 1589848 HAS SOUS 609847 HAS SOUPS 609847 WITH SCORE 611436.848
AT ITER 588 NEW BEST:: SOT 7443529 SOS 1589673 HAS SOPS 1589673 HAS SOUS 609672 HAS SOUPS 609672 WITH SCORE 611261.673
AT ITER 613 NEW BEST:: SOT 7443529 SOS 1589057 HAS SOPS 1589057 HAS SOUS 609584 HAS SOUPS 609584 WITH SCORE 611173.057
AT ITER 670 NEW BEST:: SOT 7443424 SOS 1588847 HAS SOPS 1588847 HAS SOUS 609134 HAS SOUPS 609134 WITH SCORE 610722.847
AT ITER 675 NEW BEST:: SOT 7443393 SOS 1588599 HAS SOPS 1588599 HAS SOUS 609072 HAS SOUPS 609072 WITH SCORE 610660.599
AT ITER 678 NEW BEST:: SOT 7442329 SOS 1586356 HAS SOPS 1586356 HAS SOUS 608000 HAS SOUPS 608000 WITH SCORE 609586.356
AT ITER 746 NEW BEST:: SOT 7442329 SOS 1585492 HAS SOPS 1585492 HAS SOUS 607784 HAS SOUPS 607784 WITH SCORE 609369.492
AT ITER 755 NEW BEST:: SOT 7442294 SOS 1585457 HAS SOPS 1585457 HAS SOUS 607749 HAS SOUPS 607749 WITH SCORE 609334.457
AT ITER 793 NEW BEST:: SOT 7442294 SOS 1584585 HAS SOPS 1584585 HAS SOUS 607531 HAS SOUPS 607531 WITH SCORE 609115.585
AT ITER 808 NEW BEST:: SOT 7441909 SOS 1583443 HAS SOPS 1583443 HAS SOUS 607091 HAS SOUPS 607091 WITH SCORE 608674.443
AT ITER 817 NEW BEST:: SOT 7441909 SOS 1582740 HAS SOPS 1582740 HAS SOUS 607060 HAS SOUPS 607060 WITH SCORE 608642.74
AT ITER 843 NEW BEST:: SOT 7441419 SOS 1582250 HAS SOPS 1582250 HAS SOUS 606570 HAS SOUPS 606570 WITH SCORE 608152.25
AT ITER 852 NEW BEST:: SOT 7441419 SOS 1581834 HAS SOPS 1581834 HAS SOUS 606466 HAS SOUPS 606466 WITH SCORE 608047.834
AT ITER 864 NEW BEST:: SOT 7441397 SOS 1581790 HAS SOPS 1581790 HAS SOUS 606422 HAS SOUPS 606422 WITH SCORE 608003.79
AT ITER 926 NEW BEST:: SOT 7441397 SOS 1581790 HAS SOPS 1581790 HAS SOUS 606404 HAS SOUPS 606404 WITH SCORE 607985.79
AT ITER 935 NEW BEST:: SOT 7441111 SOS 1581218 HAS SOPS 1581218 HAS SOUS 606096 HAS SOUPS 606096 WITH SCORE 607677.218
AT ITER 1018 NEW BEST:: SOT 7441014 SOS 1580345 HAS SOPS 1580345 HAS SOUS 605805 HAS SOUPS 605805 WITH SCORE 607385.345
AT ITER 1072 NEW BEST:: SOT 7440977 SOS 1580271 HAS SOPS 1580271 HAS SOUS 605731 HAS SOUPS 605731 WITH SCORE 607311.271
AT ITER 1100 NEW BEST:: SOT 7440894 SOS 1580105 HAS SOPS 1580105 HAS SOUS 605298 HAS SOUPS 605298 WITH SCORE 606878.105
AT ITER 1141 NEW BEST:: SOT 7439906 SOS 1578129 HAS SOPS 1578129 HAS SOUS 604766 HAS SOUPS 604766 WITH SCORE 606344.129
AT ITER 1164 NEW BEST:: SOT 7439895 SOS 1578118 HAS SOPS 1578118 HAS SOUS 604766 HAS SOUPS 604766 WITH SCORE 606344.118
AT ITER 1237 NEW BEST:: SOT 7439806 SOS 1577797 HAS SOPS 1577797 HAS SOUS 604619 HAS SOUPS 604619 WITH SCORE 606196.797
AT ITER 1253 NEW BEST:: SOT 7439092 SOS 1576267 HAS SOPS 1576267 HAS SOUS 603701 HAS SOUPS 603701 WITH SCORE 605277.267
AT ITER 1303 NEW BEST:: SOT 7439088 SOS 1576231 HAS SOPS 1576231 HAS SOUS 603699 HAS SOUPS 603699 WITH SCORE 605275.231
AT ITER 1329 NEW BEST:: SOT 7438620 SOS 1575763 HAS SOPS 1575763 HAS SOUS 603231 HAS SOUPS 603231 WITH SCORE 604806.763
AT ITER 1348 NEW BEST:: SOT 7438607 SOS 1575737 HAS SOPS 1575737 HAS SOUS 603205 HAS SOUPS 603205 WITH SCORE 604780.737
AT ITER 1400 NEW BEST:: SOT 7438531 SOS 1575129 HAS SOPS 1575129 HAS SOUS 603053 HAS SOUPS 603053 WITH SCORE 604628.129
AT ITER 1461 NEW BEST:: SOT 7438531 SOS 1574857 HAS SOPS 1574857 HAS SOUS 602985 HAS SOUPS 602985 WITH SCORE 604559.857
AT ITER 1482 NEW BEST:: SOT 7438291 SOS 1574617 HAS SOPS 1574617 HAS SOUS 602745 HAS SOUPS 602745 WITH SCORE 604319.617
AT ITER 1506 NEW BEST:: SOT 7438151 SOS 1574101 HAS SOPS 1574101 HAS SOUS 602511 HAS SOUPS 602511 WITH SCORE 604085.101
AT ITER 1553 NEW BEST:: SOT 7438052 SOS 1573309 HAS SOPS 1573309 HAS SOUS 602313 HAS SOUPS 602313 WITH SCORE 603886.309
AT ITER 1574 NEW BEST:: SOT 7438052 SOS 1572833 HAS SOPS 1572833 HAS SOUS 602245 HAS SOUPS 602245 WITH SCORE 603817.833
AT ITER 1577 NEW BEST:: SOT 7438052 SOS 1572833 HAS SOPS 1572833 HAS SOUS 602185 HAS SOUPS 602185 WITH SCORE 603757.833
AT ITER 1580 NEW BEST:: SOT 7438028 SOS 1572641 HAS SOPS 1572641 HAS SOUS 602137 HAS SOUPS 602137 WITH SCORE 603709.641
AT ITER 1582 NEW BEST:: SOT 7437384 SOS 1571905 HAS SOPS 1571905 HAS SOUS 601365 HAS SOUPS 601365 WITH SCORE 602936.905
AT ITER 1614 NEW BEST:: SOT 7436341 SOS 1570713 HAS SOPS 1570713 HAS SOUS 599933 HAS SOUPS 599933 WITH SCORE 601503.713
AT ITER 1662 NEW BEST:: SOT 7435277 SOS 1568508 HAS SOPS 1568508 HAS SOUS 599165 HAS SOUPS 599165 WITH SCORE 600733.508
AT ITER 1727 NEW BEST:: SOT 7435277 SOS 1568508 HAS SOPS 1568508 HAS SOUS 599019 HAS SOUPS 599019 WITH SCORE 600587.508
AT ITER 1749 NEW BEST:: SOT 7435206 SOS 1567940 HAS SOPS 1567940 HAS SOUS 598877 HAS SOUPS 598877 WITH SCORE 600444.94
AT ITER 1799 NEW BEST:: SOT 7435163 SOS 1566925 HAS SOPS 1566925 HAS SOUS 598774 HAS SOUPS 598774 WITH SCORE 600340.925
AT ITER 1914 NEW BEST:: SOT 7435163 SOS 1566925 HAS SOPS 1566925 HAS SOUS 598754 HAS SOUPS 598754 WITH SCORE 600320.925
AT ITER 1930 NEW BEST:: SOT 7434869 SOS 1566589 HAS SOPS 1566589 HAS SOUS 598418 HAS SOUPS 598418 WITH SCORE 599984.589
AT ITER 1956 NEW BEST:: SOT 7434841 SOS 1566180 HAS SOPS 1566180 HAS SOUS 598369 HAS SOUPS 598369 WITH SCORE 599935.18
AT ITER 1992 NEW BEST:: SOT 7433903 SOS 1564170 HAS SOPS 1564170 HAS SOUS 597163 HAS SOUPS 597163 WITH SCORE 598727.17
AT ITER 2021 NEW BEST:: SOT 7433903 SOS 1564170 HAS SOPS 1564170 HAS SOUS 597135 HAS SOUPS 597135 WITH SCORE 598699.17
AT ITER 2045 NEW BEST:: SOT 7433903 SOS 1563778 HAS SOPS 1563778 HAS SOUS 597079 HAS SOUPS 597079 WITH SCORE 598642.778
AT ITER 2069 NEW BEST:: SOT 7433810 SOS 1563034 HAS SOPS 1563034 HAS SOUS 596893 HAS SOUPS 596893 WITH SCORE 598456.034
AT ITER 2098 NEW BEST:: SOT 7433791 SOS 1562996 HAS SOPS 1562996 HAS SOUS 596855 HAS SOUPS 596855 WITH SCORE 598417.996
AT ITER 2115 NEW BEST:: SOT 7433091 SOS 1561527 HAS SOPS 1561527 HAS SOUS 595986 HAS SOUPS 595986 WITH SCORE 597547.527
AT ITER 2117 NEW BEST:: SOT 7433091 SOS 1561487 HAS SOPS 1561487 HAS SOUS 595976 HAS SOUPS 595976 WITH SCORE 597537.487
AT ITER 2121 NEW BEST:: SOT 7433091 SOS 1561487 HAS SOPS 1561487 HAS SOUS 595972 HAS SOUPS 595972 WITH SCORE 597533.487
AT ITER 2129 NEW BEST:: SOT 7432671 SOS 1561067 HAS SOPS 1561067 HAS SOUS 595552 HAS SOUPS 595552 WITH SCORE 597113.067
AT ITER 2132 NEW BEST:: SOT 7432661 SOS 1561047 HAS SOPS 1561047 HAS SOUS 595532 HAS SOUPS 595532 WITH SCORE 597093.047
AT ITER 2141 NEW BEST:: SOT 7432629 SOS 1560791 HAS SOPS 1560791 HAS SOUS 595468 HAS SOUPS 595468 WITH SCORE 597028.791
AT ITER 2163 NEW BEST:: SOT 7432593 SOS 1560719 HAS SOPS 1560719 HAS SOUS 595396 HAS SOUPS 595396 WITH SCORE 596956.719
AT ITER 2187 NEW BEST:: SOT 7432559 SOS 1560034 HAS SOPS 1560034 HAS SOUS 595383 HAS SOUPS 595383 WITH SCORE 596943.034
AT ITER 2224 NEW BEST:: SOT 7432551 SOS 1560026 HAS SOPS 1560026 HAS SOUS 595375 HAS SOUPS 595375 WITH SCORE 596935.026
AT ITER 2230 NEW BEST:: SOT 7432536 SOS 1559996 HAS SOPS 1559996 HAS SOUS 595345 HAS SOUPS 595345 WITH SCORE 596904.996
AT ITER 2257 NEW BEST:: SOT 7432438 SOS 1559212 HAS SOPS 1559212 HAS SOUS 595149 HAS SOUPS 595149 WITH SCORE 596708.212
AT ITER 2259 NEW BEST:: SOT 7432415 SOS 1559189 HAS SOPS 1559189 HAS SOUS 595126 HAS SOUPS 595126 WITH SCORE 596685.189
AT ITER 2262 NEW BEST:: SOT 7432415 SOS 1559294 HAS SOPS 1559294 HAS SOUS 595039 HAS SOUPS 595039 WITH SCORE 596598.294
AT ITER 2276 NEW BEST:: SOT 7431449 SOS 1558190 HAS SOPS 1558190 HAS SOUS 593848 HAS SOUPS 593848 WITH SCORE 595406.19
AT ITER 2326 NEW BEST:: SOT 7430469 SOS 1557070 HAS SOPS 1557070 HAS SOUS 592728 HAS SOUPS 592728 WITH SCORE 594285.07
AT ITER 2333 NEW BEST:: SOT 7429587 SOS 1556062 HAS SOPS 1556062 HAS SOUS 591720 HAS SOUPS 591720 WITH SCORE 593276.062
AT ITER 2374 NEW BEST:: SOT 7429568 SOS 1555910 HAS SOPS 1555910 HAS SOUS 591682 HAS SOUPS 591682 WITH SCORE 593237.91
AT ITER 2382 NEW BEST:: SOT 7428543 SOS 1553860 HAS SOPS 1553860 HAS SOUS 590817 HAS SOUPS 590817 WITH SCORE 592370.86
AT ITER 2388 NEW BEST:: SOT 7428509 SOS 1553588 HAS SOPS 1553588 HAS SOUS 590749 HAS SOUPS 590749 WITH SCORE 592302.588
AT ITER 2394 NEW BEST:: SOT 7428152 SOS 1553231 HAS SOPS 1553231 HAS SOUS 590392 HAS SOUPS 590392 WITH SCORE 591945.231
AT ITER 2402 NEW BEST:: SOT 7428152 SOS 1553231 HAS SOPS 1553231 HAS SOUS 590344 HAS SOUPS 590344 WITH SCORE 591897.231
AT ITER 2430 NEW BEST:: SOT 7427816 SOS 1552511 HAS SOPS 1552511 HAS SOUS 589912 HAS SOUPS 589912 WITH SCORE 591464.511
AT ITER 2440 NEW BEST:: SOT 7427816 SOS 1552868 HAS SOPS 1552868 HAS SOUS 589855 HAS SOUPS 589855 WITH SCORE 591407.868
AT ITER 2446 NEW BEST:: SOT 7427807 SOS 1552850 HAS SOPS 1552850 HAS SOUS 589837 HAS SOUPS 589837 WITH SCORE 591389.85
AT ITER 2464 NEW BEST:: SOT 7427807 SOS 1552114 HAS SOPS 1552114 HAS SOUS 589653 HAS SOUPS 589653 WITH SCORE 591205.114
AT ITER 2480 NEW BEST:: SOT 7427786 SOS 1552069 HAS SOPS 1552069 HAS SOUS 589647 HAS SOUPS 589647 WITH SCORE 591199.069
AT ITER 2491 NEW BEST:: SOT 7427843 SOS 1552126 HAS SOPS 1552126 HAS SOUS 589455 HAS SOUPS 589455 WITH SCORE 591007.126
AT ITER 2505 NEW BEST:: SOT 7427220 SOS 1551414 HAS SOPS 1551414 HAS SOUS 588743 HAS SOUPS 588743 WITH SCORE 590294.414
AT ITER 2507 NEW BEST:: SOT 7427172 SOS 1551366 HAS SOPS 1551366 HAS SOUS 588647 HAS SOUPS 588647 WITH SCORE 590198.366
AT ITER 2529 NEW BEST:: SOT 7427152 SOS 1551326 HAS SOPS 1551326 HAS SOUS 588607 HAS SOUPS 588607 WITH SCORE 590158.326
AT ITER 2570 NEW BEST:: SOT 7427000 SOS 1550056 HAS SOPS 1550056 HAS SOUS 588165 HAS SOUPS 588165 WITH SCORE 589715.056
AT ITER 2606 NEW BEST:: SOT 7426952 SOS 1550051 HAS SOPS 1550051 HAS SOUS 588160 HAS SOUPS 588160 WITH SCORE 589710.051
AT ITER 2612 NEW BEST:: SOT 7426802 SOS 1549901 HAS SOPS 1549901 HAS SOUS 588010 HAS SOUPS 588010 WITH SCORE 589559.901
AT ITER 2623 NEW BEST:: SOT 7426802 SOS 1549901 HAS SOPS 1549901 HAS SOUS 587984 HAS SOUPS 587984 WITH SCORE 589533.901
AT ITER 2658 NEW BEST:: SOT 7426774 SOS 1549400 HAS SOPS 1549400 HAS SOUS 587885 HAS SOUPS 587885 WITH SCORE 589434.4
AT ITER 2680 NEW BEST:: SOT 7426886 SOS 1550592 HAS SOPS 1550592 HAS SOUS 587853 HAS SOUPS 587853 WITH SCORE 589403.592
AT ITER 2689 NEW BEST:: SOT 7426644 SOS 1550350 HAS SOPS 1550350 HAS SOUS 587577 HAS SOUPS 587577 WITH SCORE 589127.35
AT ITER 2698 NEW BEST:: SOT 7426147 SOS 1549285 HAS SOPS 1549285 HAS SOUS 586938 HAS SOUPS 586938 WITH SCORE 588487.285
AT ITER 2706 NEW BEST:: SOT 7426147 SOS 1549285 HAS SOPS 1549285 HAS SOUS 586919 HAS SOUPS 586919 WITH SCORE 588468.285
AT ITER 2742 NEW BEST:: SOT 7426125 SOS 1549241 HAS SOPS 1549241 HAS SOUS 586875 HAS SOUPS 586875 WITH SCORE 588424.241
AT ITER 2770 NEW BEST:: SOT 7425951 SOS 1549067 HAS SOPS 1549067 HAS SOUS 586701 HAS SOUPS 586701 WITH SCORE 588250.067
AT ITER 2835 NEW BEST:: SOT 7425967 SOS 1549099 HAS SOPS 1549099 HAS SOUS 585941 HAS SOUPS 585941 WITH SCORE 587490.099
AT ITER 2850 NEW BEST:: SOT 7425957 SOS 1549089 HAS SOPS 1549089 HAS SOUS 585911 HAS SOUPS 585911 WITH SCORE 587460.089
AT ITER 2894 NEW BEST:: SOT 7425957 SOS 1549089 HAS SOPS 1549089 HAS SOUS 585897 HAS SOUPS 585897 WITH SCORE 587446.089
AT ITER 2923 NEW BEST:: SOT 7425597 SOS 1548729 HAS SOPS 1548729 HAS SOUS 585537 HAS SOUPS 585537 WITH SCORE 587085.729
AT ITER 2936 NEW BEST:: SOT 7425589 SOS 1547758 HAS SOPS 1547758 HAS SOUS 585478 HAS SOUPS 585478 WITH SCORE 587025.758
AT ITER 2941 NEW BEST:: SOT 7424805 SOS 1546862 HAS SOPS 1546862 HAS SOUS 584401 HAS SOUPS 584401 WITH SCORE 585947.862
AT ITER 2956 NEW BEST:: SOT 7424805 SOS 1546862 HAS SOPS 1546862 HAS SOUS 584097 HAS SOUPS 584097 WITH SCORE 585643.862
AT ITER 2959 NEW BEST:: SOT 7424805 SOS 1546862 HAS SOPS 1546862 HAS SOUS 584094 HAS SOUPS 584094 WITH SCORE 585640.862
AT ITER 2972 NEW BEST:: SOT 7424705 SOS 1546200 HAS SOPS 1546200 HAS SOUS 583828 HAS SOUPS 583828 WITH SCORE 585374.2
AT ITER 2976 NEW BEST:: SOT 7424705 SOS 1545878 HAS SOPS 1545878 HAS SOUS 583782 HAS SOUPS 583782 WITH SCORE 585327.878
AT ITER 3012 NEW BEST:: SOT 7424656 SOS 1545822 HAS SOPS 1545822 HAS SOUS 583684 HAS SOUPS 583684 WITH SCORE 585229.822
AT ITER 3056 NEW BEST:: SOT 7423936 SOS 1545102 HAS SOPS 1545102 HAS SOUS 582964 HAS SOUPS 582964 WITH SCORE 584509.102
AT ITER 3098 NEW BEST:: SOT 7423782 SOS 1544926 HAS SOPS 1544926 HAS SOUS 582788 HAS SOUPS 582788 WITH SCORE 584332.926
AT ITER 3100 NEW BEST:: SOT 7423782 SOS 1544910 HAS SOPS 1544910 HAS SOUS 582784 HAS SOUPS 582784 WITH SCORE 584328.91
AT ITER 3104 NEW BEST:: SOT 7423782 SOS 1544606 HAS SOPS 1544606 HAS SOUS 582708 HAS SOUPS 582708 WITH SCORE 584252.606
AT ITER 3163 NEW BEST:: SOT 7423782 SOS 1544802 HAS SOPS 1544802 HAS SOUS 582666 HAS SOUPS 582666 WITH SCORE 584210.802
AT ITER 3235 NEW BEST:: SOT 7423711 SOS 1544731 HAS SOPS 1544731 HAS SOUS 582602 HAS SOUPS 582602 WITH SCORE 584146.731
AT ITER 3347 NEW BEST:: SOT 7423621 SOS 1544353 HAS SOPS 1544353 HAS SOUS 582566 HAS SOUPS 582566 WITH SCORE 584110.353
AT ITER 3389 NEW BEST:: SOT 7423573 SOS 1543969 HAS SOPS 1543969 HAS SOUS 582470 HAS SOUPS 582470 WITH SCORE 584013.969
AT ITER 3420 NEW BEST:: SOT 7423556 SOS 1543952 HAS SOPS 1543952 HAS SOUS 582453 HAS SOUPS 582453 WITH SCORE 583996.952
AT ITER 3501 NEW BEST:: SOT 7423556 SOS 1543133 HAS SOPS 1543133 HAS SOUS 582336 HAS SOUPS 582336 WITH SCORE 583879.133
AT ITER 3509 NEW BEST:: SOT 7422762 SOS 1541419 HAS SOPS 1541419 HAS SOUS 582101 HAS SOUPS 582101 WITH SCORE 583642.419
AT ITER 3565 NEW BEST:: SOT 7422153 SOS 1540114 HAS SOPS 1540114 HAS SOUS 581318 HAS SOUPS 581318 WITH SCORE 582858.114
AT ITER 3619 NEW BEST:: SOT 7422153 SOS 1540042 HAS SOPS 1540042 HAS SOUS 581246 HAS SOUPS 581246 WITH SCORE 582786.042
AT ITER 3640 NEW BEST:: SOT 7422118 SOS 1540963 HAS SOPS 1540963 HAS SOUS 581159 HAS SOUPS 581159 WITH SCORE 582699.963
AT ITER 3674 NEW BEST:: SOT 7422090 SOS 1540957 HAS SOPS 1540957 HAS SOUS 581153 HAS SOUPS 581153 WITH SCORE 582693.957
AT ITER 3698 NEW BEST:: SOT 7422139 SOS 1541013 HAS SOPS 1541013 HAS SOUS 580668 HAS SOUPS 580668 WITH SCORE 582209.013
AT ITER 3707 NEW BEST:: SOT 7422139 SOS 1540971 HAS SOPS 1540971 HAS SOUS 580626 HAS SOUPS 580626 WITH SCORE 582166.971
AT ITER 3762 NEW BEST:: SOT 7422139 SOS 1539935 HAS SOPS 1539935 HAS SOUS 580502 HAS SOUPS 580502 WITH SCORE 582041.935
AT ITER 3767 NEW BEST:: SOT 7421138 SOS 1538791 HAS SOPS 1538791 HAS SOUS 579358 HAS SOUPS 579358 WITH SCORE 580896.791
AT ITER 3779 NEW BEST:: SOT 7421138 SOS 1538762 HAS SOPS 1538762 HAS SOUS 579329 HAS SOUPS 579329 WITH SCORE 580867.762
AT ITER 3798 NEW BEST:: SOT 7421138 SOS 1538738 HAS SOPS 1538738 HAS SOUS 579323 HAS SOUPS 579323 WITH SCORE 580861.738
AT ITER 3800 NEW BEST:: SOT 7421082 SOS 1538682 HAS SOPS 1538682 HAS SOUS 579267 HAS SOUPS 579267 WITH SCORE 580805.682
AT ITER 3822 NEW BEST:: SOT 7421082 SOS 1538682 HAS SOPS 1538682 HAS SOUS 579181 HAS SOUPS 579181 WITH SCORE 580719.682
AT ITER 3828 NEW BEST:: SOT 7421070 SOS 1539018 HAS SOPS 1539018 HAS SOUS 578706 HAS SOUPS 578706 WITH SCORE 580245.018
AT ITER 3862 NEW BEST:: SOT 7420926 SOS 1537925 HAS SOPS 1537925 HAS SOUS 578303 HAS SOUPS 578303 WITH SCORE 579840.925
AT ITER 3893 NEW BEST:: SOT 7420926 SOS 1538317 HAS SOPS 1538317 HAS SOUS 578179 HAS SOUPS 578179 WITH SCORE 579717.317
AT ITER 3961 NEW BEST:: SOT 7420506 SOS 1537591 HAS SOPS 1537591 HAS SOUS 577848 HAS SOUPS 577848 WITH SCORE 579385.591
AT ITER 3965 NEW BEST:: SOT 7420467 SOS 1537513 HAS SOPS 1537513 HAS SOUS 577770 HAS SOUPS 577770 WITH SCORE 579307.513
AT ITER 3974 NEW BEST:: SOT 7420518 SOS 1537564 HAS SOPS 1537564 HAS SOUS 577744 HAS SOUPS 577744 WITH SCORE 579281.564
AT ITER 4009 NEW BEST:: SOT 7420518 SOS 1537564 HAS SOPS 1537564 HAS SOUS 577686 HAS SOUPS 577686 WITH SCORE 579223.564
AT ITER 4022 NEW BEST:: SOT 7420374 SOS 1537031 HAS SOPS 1537031 HAS SOUS 577363 HAS SOUPS 577363 WITH SCORE 578900.031
AT ITER 4102 NEW BEST:: SOT 7419569 SOS 1535421 HAS SOPS 1535421 HAS SOUS 576443 HAS SOUPS 576443 WITH SCORE 577978.421
AT ITER 4104 NEW BEST:: SOT 7419569 SOS 1534331 HAS SOPS 1534331 HAS SOUS 576331 HAS SOUPS 576331 WITH SCORE 577865.331
AT ITER 4120 NEW BEST:: SOT 7418806 SOS 1532696 HAS SOPS 1532696 HAS SOUS 575350 HAS SOUPS 575350 WITH SCORE 576882.696
AT ITER 4133 NEW BEST:: SOT 7418806 SOS 1532569 HAS SOPS 1532569 HAS SOUS 575109 HAS SOUPS 575109 WITH SCORE 576641.569
AT ITER 4141 NEW BEST:: SOT 7418386 SOS 1531669 HAS SOPS 1531669 HAS SOUS 574569 HAS SOUPS 574569 WITH SCORE 576100.669
AT ITER 4203 NEW BEST:: SOT 7417679 SOS 1529860 HAS SOPS 1529860 HAS SOUS 573873 HAS SOUPS 573873 WITH SCORE 575402.86
AT ITER 4227 NEW BEST:: SOT 7417563 SOS 1528932 HAS SOPS 1528932 HAS SOUS 573641 HAS SOUPS 573641 WITH SCORE 575169.932
AT ITER 4238 NEW BEST:: SOT 7417563 SOS 1528929 HAS SOPS 1528929 HAS SOUS 573638 HAS SOUPS 573638 WITH SCORE 575166.929
AT ITER 4247 NEW BEST:: SOT 7416555 SOS 1527965 HAS SOPS 1527965 HAS SOUS 572963 HAS SOUPS 572963 WITH SCORE 574490.965
AT ITER 4251 NEW BEST:: SOT 7416531 SOS 1527917 HAS SOPS 1527917 HAS SOUS 572915 HAS SOUPS 572915 WITH SCORE 574442.917
AT ITER 4308 NEW BEST:: SOT 7416613 SOS 1527999 HAS SOPS 1527999 HAS SOUS 572863 HAS SOUPS 572863 WITH SCORE 574390.999
AT ITER 4310 NEW BEST:: SOT 7416672 SOS 1528058 HAS SOPS 1528058 HAS SOUS 572723 HAS SOUPS 572723 WITH SCORE 574251.058
AT ITER 4329 NEW BEST:: SOT 7416672 SOS 1527122 HAS SOPS 1527122 HAS SOUS 572699 HAS SOUPS 572699 WITH SCORE 574226.122
AT ITER 4332 NEW BEST:: SOT 7416640 SOS 1527058 HAS SOPS 1527058 HAS SOUS 572635 HAS SOUPS 572635 WITH SCORE 574162.058
AT ITER 4371 NEW BEST:: SOT 7416602 SOS 1526306 HAS SOPS 1526306 HAS SOUS 572543 HAS SOUPS 572543 WITH SCORE 574069.306
AT ITER 4384 NEW BEST:: SOT 7416483 SOS 1525626 HAS SOPS 1525626 HAS SOUS 572520 HAS SOUPS 572520 WITH SCORE 574045.626
AT ITER 4416 NEW BEST:: SOT 7416483 SOS 1525626 HAS SOPS 1525626 HAS SOUS 572372 HAS SOUPS 572372 WITH SCORE 573897.626
AT ITER 4419 NEW BEST:: SOT 7416483 SOS 1525626 HAS SOPS 1525626 HAS SOUS 572271 HAS SOUPS 572271 WITH SCORE 573796.626
AT ITER 4450 NEW BEST:: SOT 7416447 SOS 1525554 HAS SOPS 1525554 HAS SOUS 572199 HAS SOUPS 572199 WITH SCORE 573724.554
AT ITER 4480 NEW BEST:: SOT 7416433 SOS 1525428 HAS SOPS 1525428 HAS SOUS 572157 HAS SOUPS 572157 WITH SCORE 573682.428
AT ITER 4482 NEW BEST:: SOT 7416409 SOS 1525212 HAS SOPS 1525212 HAS SOUS 572085 HAS SOUPS 572085 WITH SCORE 573610.212
AT ITER 4490 NEW BEST:: SOT 7416409 SOS 1525204 HAS SOPS 1525204 HAS SOUS 572077 HAS SOUPS 572077 WITH SCORE 573602.204
AT ITER 4500 NEW BEST:: SOT 7416384 SOS 1525179 HAS SOPS 1525179 HAS SOUS 572077 HAS SOUPS 572077 WITH SCORE 573602.179
AT ITER 4529 NEW BEST:: SOT 7416367 SOS 1525026 HAS SOPS 1525026 HAS SOUS 572026 HAS SOUPS 572026 WITH SCORE 573551.026
AT ITER 4591 NEW BEST:: SOT 7416367 SOS 1525026 HAS SOPS 1525026 HAS SOUS 572003 HAS SOUPS 572003 WITH SCORE 573528.026
AT ITER 4622 NEW BEST:: SOT 7415983 SOS 1524642 HAS SOPS 1524642 HAS SOUS 571619 HAS SOUPS 571619 WITH SCORE 573143.642
AT ITER 4631 NEW BEST:: SOT 7415430 SOS 1524010 HAS SOPS 1524010 HAS SOUS 570897 HAS SOUPS 570897 WITH SCORE 572421.01
AT ITER 4632 NEW BEST:: SOT 7415430 SOS 1523273 HAS SOPS 1523273 HAS SOUS 570832 HAS SOUPS 570832 WITH SCORE 572355.273
AT ITER 4689 NEW BEST:: SOT 7415430 SOS 1522977 HAS SOPS 1522977 HAS SOUS 570758 HAS SOUPS 570758 WITH SCORE 572280.977
AT ITER 4783 NEW BEST:: SOT 7415421 SOS 1522968 HAS SOPS 1522968 HAS SOUS 570758 HAS SOUPS 570758 WITH SCORE 572280.968
AT ITER 4788 NEW BEST:: SOT 7415394 SOS 1522914 HAS SOPS 1522914 HAS SOUS 570704 HAS SOUPS 570704 WITH SCORE 572226.914
AT ITER 4798 NEW BEST:: SOT 7415394 SOS 1522834 HAS SOPS 1522834 HAS SOUS 570684 HAS SOUPS 570684 WITH SCORE 572206.834
AT ITER 4806 NEW BEST:: SOT 7415394 SOS 1522780 HAS SOPS 1522780 HAS SOUS 570630 HAS SOUPS 570630 WITH SCORE 572152.78
AT ITER 4881 NEW BEST:: SOT 7415394 SOS 1522780 HAS SOPS 1522780 HAS SOUS 570598 HAS SOUPS 570598 WITH SCORE 572120.78
AT ITER 4882 NEW BEST:: SOT 7415394 SOS 1523277 HAS SOPS 1523277 HAS SOUS 570203 HAS SOUPS 570203 WITH SCORE 571726.277
AT ITER 4917 NEW BEST:: SOT 7415394 SOS 1523199 HAS SOPS 1523199 HAS SOUS 570125 HAS SOUPS 570125 WITH SCORE 571648.199
AT ITER 4933 NEW BEST:: SOT 7415394 SOS 1523199 HAS SOPS 1523199 HAS SOUS 570067 HAS SOUPS 570067 WITH SCORE 571590.199
AT ITER 5024 NEW BEST:: SOT 7415135 SOS 1522940 HAS SOPS 1522940 HAS SOUS 569808 HAS SOUPS 569808 WITH SCORE 571330.94
AT ITER 5025 NEW BEST:: SOT 7415143 SOS 1522116 HAS SOPS 1522116 HAS SOUS 569698 HAS SOUPS 569698 WITH SCORE 571220.116
AT ITER 5058 NEW BEST:: SOT 7414408 SOS 1521276 HAS SOPS 1521276 HAS SOUS 568858 HAS SOUPS 568858 WITH SCORE 570379.276
AT ITER 5084 NEW BEST:: SOT 7414395 SOS 1520323 HAS SOPS 1520323 HAS SOUS 568817 HAS SOUPS 568817 WITH SCORE 570337.323
AT ITER 5138 NEW BEST:: SOT 7414395 SOS 1519913 HAS SOPS 1519913 HAS SOUS 568767 HAS SOUPS 568767 WITH SCORE 570286.913
AT ITER 5172 NEW BEST:: SOT 7414379 SOS 1519769 HAS SOPS 1519769 HAS SOUS 568719 HAS SOUPS 568719 WITH SCORE 570238.769
AT ITER 5287 NEW BEST:: SOT 7413854 SOS 1519236 HAS SOPS 1519236 HAS SOUS 568192 HAS SOUPS 568192 WITH SCORE 569711.236
AT ITER 5322 NEW BEST:: SOT 7413854 SOS 1518265 HAS SOPS 1518265 HAS SOUS 568085 HAS SOUPS 568085 WITH SCORE 569603.265
AT ITER 5330 NEW BEST:: SOT 7413854 SOS 1517772 HAS SOPS 1517772 HAS SOUS 568048 HAS SOUPS 568048 WITH SCORE 569565.772
AT ITER 5411 NEW BEST:: SOT 7413796 SOS 1517714 HAS SOPS 1517714 HAS SOUS 567932 HAS SOUPS 567932 WITH SCORE 569449.714
AT ITER 5425 NEW BEST:: SOT 7413859 SOS 1517749 HAS SOPS 1517749 HAS SOUS 567913 HAS SOUPS 567913 WITH SCORE 569430.749
AT ITER 5452 NEW BEST:: SOT 7413859 SOS 1517629 HAS SOPS 1517629 HAS SOUS 567883 HAS SOUPS 567883 WITH SCORE 569400.629
AT ITER 5494 NEW BEST:: SOT 7414106 SOS 1518123 HAS SOPS 1518123 HAS SOUS 567801 HAS SOUPS 567801 WITH SCORE 569319.123
AT ITER 5544 NEW BEST:: SOT 7414102 SOS 1518119 HAS SOPS 1518119 HAS SOUS 567777 HAS SOUPS 567777 WITH SCORE 569295.119
AT ITER 5572 NEW BEST:: SOT 7414102 SOS 1518119 HAS SOPS 1518119 HAS SOUS 567681 HAS SOUPS 567681 WITH SCORE 569199.119
AT ITER 5587 NEW BEST:: SOT 7414126 SOS 1517947 HAS SOPS 1517947 HAS SOUS 567677 HAS SOUPS 567677 WITH SCORE 569194.947
AT ITER 5602 NEW BEST:: SOT 7414066 SOS 1518097 HAS SOPS 1518097 HAS SOUS 567647 HAS SOUPS 567647 WITH SCORE 569165.097
AT ITER 5627 NEW BEST:: SOT 7414066 SOS 1518090 HAS SOPS 1518090 HAS SOUS 567640 HAS SOUPS 567640 WITH SCORE 569158.09
AT ITER 5630 NEW BEST:: SOT 7413974 SOS 1517262 HAS SOPS 1517262 HAS SOUS 567364 HAS SOUPS 567364 WITH SCORE 568881.262
AT ITER 5638 NEW BEST:: SOT 7414142 SOS 1517478 HAS SOPS 1517478 HAS SOUS 566572 HAS SOUPS 566572 WITH SCORE 568089.478
AT ITER 5706 NEW BEST:: SOT 7414128 SOS 1516546 HAS SOPS 1516546 HAS SOUS 566504 HAS SOUPS 566504 WITH SCORE 568020.546
AT ITER 5757 NEW BEST:: SOT 7414128 SOS 1516546 HAS SOPS 1516546 HAS SOUS 566402 HAS SOUPS 566402 WITH SCORE 567918.546
AT ITER 5828 NEW BEST:: SOT 7414139 SOS 1516551 HAS SOPS 1516551 HAS SOUS 566341 HAS SOUPS 566341 WITH SCORE 567857.551
AT ITER 5847 NEW BEST:: SOT 7413460 SOS 1515193 HAS SOPS 1515193 HAS SOUS 565730 HAS SOUPS 565730 WITH SCORE 567245.193
AT ITER 5931 NEW BEST:: SOT 7412396 SOS 1513495 HAS SOPS 1513495 HAS SOUS 564709 HAS SOUPS 564709 WITH SCORE 566222.495
AT ITER 5973 NEW BEST:: SOT 7412275 SOS 1513253 HAS SOPS 1513253 HAS SOUS 564340 HAS SOUPS 564340 WITH SCORE 565853.253
AT ITER 5974 NEW BEST:: SOT 7412261 SOS 1513239 HAS SOPS 1513239 HAS SOUS 564340 HAS SOUPS 564340 WITH SCORE 565853.239
AT ITER 6018 NEW BEST:: SOT 7412250 SOS 1513217 HAS SOPS 1513217 HAS SOUS 564241 HAS SOUPS 564241 WITH SCORE 565754.217
AT ITER 6045 NEW BEST:: SOT 7412250 SOS 1513180 HAS SOPS 1513180 HAS SOUS 563982 HAS SOUPS 563982 WITH SCORE 565495.18
AT ITER 6086 NEW BEST:: SOT 7412246 SOS 1513148 HAS SOPS 1513148 HAS SOUS 563974 HAS SOUPS 563974 WITH SCORE 565487.148
AT ITER 6126 NEW BEST:: SOT 7411815 SOS 1512514 HAS SOPS 1512514 HAS SOUS 563514 HAS SOUPS 563514 WITH SCORE 565026.514
AT ITER 6170 NEW BEST:: SOT 7411772 SOS 1512471 HAS SOPS 1512471 HAS SOUS 563471 HAS SOUPS 563471 WITH SCORE 564983.471
AT ITER 6171 NEW BEST:: SOT 7411698 SOS 1511879 HAS SOPS 1511879 HAS SOUS 563323 HAS SOUPS 563323 WITH SCORE 564834.879
AT ITER 6202 NEW BEST:: SOT 7411550 SOS 1510579 HAS SOPS 1510579 HAS SOUS 562887 HAS SOUPS 562887 WITH SCORE 564397.579
AT ITER 6209 NEW BEST:: SOT 7410556 SOS 1509443 HAS SOPS 1509443 HAS SOUS 561637 HAS SOUPS 561637 WITH SCORE 563146.443
AT ITER 6217 NEW BEST:: SOT 7410504 SOS 1509339 HAS SOPS 1509339 HAS SOUS 561533 HAS SOUPS 561533 WITH SCORE 563042.339
AT ITER 6226 NEW BEST:: SOT 7410504 SOS 1508821 HAS SOPS 1508821 HAS SOUS 561459 HAS SOUPS 561459 WITH SCORE 562967.821
AT ITER 6260 NEW BEST:: SOT 7410563 SOS 1508880 HAS SOPS 1508880 HAS SOUS 561341 HAS SOUPS 561341 WITH SCORE 562849.88
AT ITER 6262 NEW BEST:: SOT 7410563 SOS 1509223 HAS SOPS 1509223 HAS SOUS 561336 HAS SOUPS 561336 WITH SCORE 562845.223
AT ITER 6330 NEW BEST:: SOT 7409987 SOS 1508647 HAS SOPS 1508647 HAS SOUS 560760 HAS SOUPS 560760 WITH SCORE 562268.647
AT ITER 6343 NEW BEST:: SOT 7409897 SOS 1508557 HAS SOPS 1508557 HAS SOUS 560670 HAS SOUPS 560670 WITH SCORE 562178.557
AT ITER 6366 NEW BEST:: SOT 7409897 SOS 1508869 HAS SOPS 1508869 HAS SOUS 560640 HAS SOUPS 560640 WITH SCORE 562148.869
AT ITER 6401 NEW BEST:: SOT 7409806 SOS 1508674 HAS SOPS 1508674 HAS SOUS 560523 HAS SOUPS 560523 WITH SCORE 562031.674
AT ITER 6424 NEW BEST:: SOT 7408742 SOS 1506398 HAS SOPS 1506398 HAS SOUS 559187 HAS SOUPS 559187 WITH SCORE 560693.398
AT ITER 6454 NEW BEST:: SOT 7408675 SOS 1506331 HAS SOPS 1506331 HAS SOUS 559120 HAS SOUPS 559120 WITH SCORE 560626.331
AT ITER 6461 NEW BEST:: SOT 7407862 SOS 1504567 HAS SOPS 1504567 HAS SOUS 558617 HAS SOUPS 558617 WITH SCORE 560121.567
AT ITER 6465 NEW BEST:: SOT 7407862 SOS 1503857 HAS SOPS 1503857 HAS SOUS 558579 HAS SOUPS 558579 WITH SCORE 560082.857
AT ITER 6468 NEW BEST:: SOT 7407822 SOS 1503820 HAS SOPS 1503820 HAS SOUS 558542 HAS SOUPS 558542 WITH SCORE 560045.82
AT ITER 6472 NEW BEST:: SOT 7407822 SOS 1504037 HAS SOPS 1504037 HAS SOUS 558453 HAS SOUPS 558453 WITH SCORE 559957.037
AT ITER 6474 NEW BEST:: SOT 7407822 SOS 1503645 HAS SOPS 1503645 HAS SOUS 558355 HAS SOUPS 558355 WITH SCORE 559858.645
AT ITER 6485 NEW BEST:: SOT 7407747 SOS 1502970 HAS SOPS 1502970 HAS SOUS 558130 HAS SOUPS 558130 WITH SCORE 559632.97
AT ITER 6501 NEW BEST:: SOT 7407729 SOS 1502952 HAS SOPS 1502952 HAS SOUS 558112 HAS SOUPS 558112 WITH SCORE 559614.952
AT ITER 6534 NEW BEST:: SOT 7407827 SOS 1503064 HAS SOPS 1503064 HAS SOUS 558011 HAS SOUPS 558011 WITH SCORE 559514.064
AT ITER 6593 NEW BEST:: SOT 7407733 SOS 1502876 HAS SOPS 1502876 HAS SOUS 557679 HAS SOUPS 557679 WITH SCORE 559181.876
AT ITER 6626 NEW BEST:: SOT 7407680 SOS 1503100 HAS SOPS 1503100 HAS SOUS 556896 HAS SOUPS 556896 WITH SCORE 558399.1
AT ITER 6669 NEW BEST:: SOT 7407680 SOS 1502854 HAS SOPS 1502854 HAS SOUS 556896 HAS SOUPS 556896 WITH SCORE 558398.854
AT ITER 6686 NEW BEST:: SOT 7407680 SOS 1502854 HAS SOPS 1502854 HAS SOUS 556801 HAS SOUPS 556801 WITH SCORE 558303.854
AT ITER 6695 NEW BEST:: SOT 7407672 SOS 1502846 HAS SOPS 1502846 HAS SOUS 556801 HAS SOUPS 556801 WITH SCORE 558303.846
AT ITER 6700 NEW BEST:: SOT 7407552 SOS 1501886 HAS SOPS 1501886 HAS SOUS 556561 HAS SOUPS 556561 WITH SCORE 558062.886
AT ITER 6735 NEW BEST:: SOT 7407578 SOS 1501912 HAS SOPS 1501912 HAS SOUS 556509 HAS SOUPS 556509 WITH SCORE 558010.912
AT ITER 6761 NEW BEST:: SOT 7407507 SOS 1501841 HAS SOPS 1501841 HAS SOUS 556509 HAS SOUPS 556509 WITH SCORE 558010.841
AT ITER 6766 NEW BEST:: SOT 7407447 SOS 1501361 HAS SOPS 1501361 HAS SOUS 556389 HAS SOUPS 556389 WITH SCORE 557890.361
AT ITER 6789 NEW BEST:: SOT 7407436 SOS 1501339 HAS SOPS 1501339 HAS SOUS 556367 HAS SOUPS 556367 WITH SCORE 557868.339
AT ITER 6793 NEW BEST:: SOT 7407247 SOS 1501150 HAS SOPS 1501150 HAS SOUS 556178 HAS SOUPS 556178 WITH SCORE 557679.15
AT ITER 6818 NEW BEST:: SOT 7407160 SOS 1500976 HAS SOPS 1500976 HAS SOUS 555638 HAS SOUPS 555638 WITH SCORE 557138.976
AT ITER 6845 NEW BEST:: SOT 7407160 SOS 1500976 HAS SOPS 1500976 HAS SOUS 555626 HAS SOUPS 555626 WITH SCORE 557126.976
AT ITER 6906 NEW BEST:: SOT 7407160 SOS 1500451 HAS SOPS 1500451 HAS SOUS 555551 HAS SOUPS 555551 WITH SCORE 557051.451
AT ITER 6928 NEW BEST:: SOT 7407146 SOS 1500339 HAS SOPS 1500339 HAS SOUS 555523 HAS SOUPS 555523 WITH SCORE 557023.339
AT ITER 6995 NEW BEST:: SOT 7407122 SOS 1500933 HAS SOPS 1500933 HAS SOUS 555361 HAS SOUPS 555361 WITH SCORE 556861.933
AT ITER 7019 NEW BEST:: SOT 7407122 SOS 1500982 HAS SOPS 1500982 HAS SOUS 555321 HAS SOUPS 555321 WITH SCORE 556821.982
AT ITER 7054 NEW BEST:: SOT 7406464 SOS 1500230 HAS SOPS 1500230 HAS SOUS 553805 HAS SOUPS 553805 WITH SCORE 555305.23
AT ITER 7136 NEW BEST:: SOT 7405846 SOS 1499612 HAS SOPS 1499612 HAS SOUS 553187 HAS SOUPS 553187 WITH SCORE 554686.612
AT ITER 7152 NEW BEST:: SOT 7405846 SOS 1499612 HAS SOPS 1499612 HAS SOUS 553163 HAS SOUPS 553163 WITH SCORE 554662.612
AT ITER 7223 NEW BEST:: SOT 7405813 SOS 1499546 HAS SOPS 1499546 HAS SOUS 552959 HAS SOUPS 552959 WITH SCORE 554458.546
AT ITER 7265 NEW BEST:: SOT 7405813 SOS 1499147 HAS SOPS 1499147 HAS SOUS 552920 HAS SOUPS 552920 WITH SCORE 554419.147
AT ITER 7266 NEW BEST:: SOT 7405765 SOS 1499099 HAS SOPS 1499099 HAS SOUS 552786 HAS SOUPS 552786 WITH SCORE 554285.099
AT ITER 7294 NEW BEST:: SOT 7404974 SOS 1497194 HAS SOPS 1497194 HAS SOUS 551854 HAS SOUPS 551854 WITH SCORE 553351.194
AT ITER 7337 NEW BEST:: SOT 7404960 SOS 1497472 HAS SOPS 1497472 HAS SOUS 551622 HAS SOUPS 551622 WITH SCORE 553119.472
AT ITER 7341 NEW BEST:: SOT 7404750 SOS 1497262 HAS SOPS 1497262 HAS SOUS 551412 HAS SOUPS 551412 WITH SCORE 552909.262
AT ITER 7394 NEW BEST:: SOT 7404739 SOS 1497163 HAS SOPS 1497163 HAS SOUS 551379 HAS SOUPS 551379 WITH SCORE 552876.163
AT ITER 7464 NEW BEST:: SOT 7404653 SOS 1497077 HAS SOPS 1497077 HAS SOUS 551293 HAS SOUPS 551293 WITH SCORE 552790.077
AT ITER 7486 NEW BEST:: SOT 7404543 SOS 1497114 HAS SOPS 1497114 HAS SOUS 551204 HAS SOUPS 551204 WITH SCORE 552701.114
AT ITER 7489 NEW BEST:: SOT 7404543 SOS 1496412 HAS SOPS 1496412 HAS SOUS 551048 HAS SOUPS 551048 WITH SCORE 552544.412
AT ITER 7499 NEW BEST:: SOT 7404514 SOS 1496151 HAS SOPS 1496151 HAS SOUS 550961 HAS SOUPS 550961 WITH SCORE 552457.151
AT ITER 7516 NEW BEST:: SOT 7404510 SOS 1495248 HAS SOPS 1495248 HAS SOUS 550922 HAS SOUPS 550922 WITH SCORE 552417.248
AT ITER 7534 NEW BEST:: SOT 7404492 SOS 1495104 HAS SOPS 1495104 HAS SOUS 550886 HAS SOUPS 550886 WITH SCORE 552381.104
AT ITER 7537 NEW BEST:: SOT 7404409 SOS 1494938 HAS SOPS 1494938 HAS SOUS 550720 HAS SOUPS 550720 WITH SCORE 552214.938
AT ITER 7612 NEW BEST:: SOT 7404409 SOS 1494917 HAS SOPS 1494917 HAS SOUS 550717 HAS SOUPS 550717 WITH SCORE 552211.917
AT ITER 7649 NEW BEST:: SOT 7404409 SOS 1494917 HAS SOPS 1494917 HAS SOUS 550661 HAS SOUPS 550661 WITH SCORE 552155.917
AT ITER 7652 NEW BEST:: SOT 7404409 SOS 1494993 HAS SOPS 1494993 HAS SOUS 550551 HAS SOUPS 550551 WITH SCORE 552045.993
AT ITER 7655 NEW BEST:: SOT 7404409 SOS 1494979 HAS SOPS 1494979 HAS SOUS 550537 HAS SOUPS 550537 WITH SCORE 552031.979
AT ITER 7705 NEW BEST:: SOT 7403735 SOS 1493631 HAS SOPS 1493631 HAS SOUS 549945 HAS SOUPS 549945 WITH SCORE 551438.631
AT ITER 7798 NEW BEST:: SOT 7403690 SOS 1493370 HAS SOPS 1493370 HAS SOUS 549927 HAS SOUPS 549927 WITH SCORE 551420.37
AT ITER 7799 NEW BEST:: SOT 7403630 SOS 1492890 HAS SOPS 1492890 HAS SOUS 549807 HAS SOUPS 549807 WITH SCORE 551299.89
AT ITER 7830 NEW BEST:: SOT 7403497 SOS 1492605 HAS SOPS 1492605 HAS SOUS 549636 HAS SOUPS 549636 WITH SCORE 551128.605
AT ITER 7834 NEW BEST:: SOT 7403077 SOS 1491737 HAS SOPS 1491737 HAS SOUS 549352 HAS SOUPS 549352 WITH SCORE 550843.737
AT ITER 7929 NEW BEST:: SOT 7402069 SOS 1489980 HAS SOPS 1489980 HAS SOUS 548393 HAS SOUPS 548393 WITH SCORE 549882.98
AT ITER 7935 NEW BEST:: SOT 7401579 SOS 1489420 HAS SOPS 1489420 HAS SOUS 547833 HAS SOUPS 547833 WITH SCORE 549322.42
AT ITER 8021 NEW BEST:: SOT 7401575 SOS 1489416 HAS SOPS 1489416 HAS SOUS 547829 HAS SOUPS 547829 WITH SCORE 549318.416
AT ITER 8063 NEW BEST:: SOT 7401729 SOS 1490530 HAS SOPS 1490530 HAS SOUS 547197 HAS SOUPS 547197 WITH SCORE 548687.53
AT ITER 8079 NEW BEST:: SOT 7401729 SOS 1490523 HAS SOPS 1490523 HAS SOUS 547148 HAS SOUPS 547148 WITH SCORE 548638.523
AT ITER 8121 NEW BEST:: SOT 7401183 SOS 1489977 HAS SOPS 1489977 HAS SOUS 546602 HAS SOUPS 546602 WITH SCORE 548091.977
AT ITER 8138 NEW BEST:: SOT 7401175 SOS 1489353 HAS SOPS 1489353 HAS SOUS 546578 HAS SOUPS 546578 WITH SCORE 548067.353
AT ITER 8146 NEW BEST:: SOT 7401139 SOS 1489271 HAS SOPS 1489271 HAS SOUS 546496 HAS SOUPS 546496 WITH SCORE 547985.271
AT ITER 8167 NEW BEST:: SOT 7400893 SOS 1489025 HAS SOPS 1489025 HAS SOUS 546250 HAS SOUPS 546250 WITH SCORE 547739.025
AT ITER 8175 NEW BEST:: SOT 7400872 SOS 1489001 HAS SOPS 1489001 HAS SOUS 546226 HAS SOUPS 546226 WITH SCORE 547715.001
AT ITER 8205 NEW BEST:: SOT 7400410 SOS 1488011 HAS SOPS 1488011 HAS SOUS 545632 HAS SOUPS 545632 WITH SCORE 547120.011
AT ITER 8234 NEW BEST:: SOT 7399662 SOS 1486353 HAS SOPS 1486353 HAS SOUS 545308 HAS SOUPS 545308 WITH SCORE 546794.353
AT ITER 8322 NEW BEST:: SOT 7399424 SOS 1486081 HAS SOPS 1486081 HAS SOUS 545036 HAS SOUPS 545036 WITH SCORE 546522.081
AT ITER 8331 NEW BEST:: SOT 7399424 SOS 1486405 HAS SOPS 1486405 HAS SOUS 544925 HAS SOUPS 544925 WITH SCORE 546411.405
AT ITER 8346 NEW BEST:: SOT 7399370 SOS 1485973 HAS SOPS 1485973 HAS SOUS 544817 HAS SOUPS 544817 WITH SCORE 546302.973
AT ITER 8444 NEW BEST:: SOT 7399314 SOS 1485909 HAS SOPS 1485909 HAS SOUS 544705 HAS SOUPS 544705 WITH SCORE 546190.909
AT ITER 8464 NEW BEST:: SOT 7399203 SOS 1484873 HAS SOPS 1484873 HAS SOUS 544335 HAS SOUPS 544335 WITH SCORE 545819.873
AT ITER 8475 NEW BEST:: SOT 7399133 SOS 1484271 HAS SOPS 1484271 HAS SOUS 544255 HAS SOUPS 544255 WITH SCORE 545739.271
AT ITER 8534 NEW BEST:: SOT 7399133 SOS 1483419 HAS SOPS 1483419 HAS SOUS 544135 HAS SOUPS 544135 WITH SCORE 545618.419
AT ITER 8549 NEW BEST:: SOT 7399133 SOS 1483419 HAS SOPS 1483419 HAS SOUS 544109 HAS SOUPS 544109 WITH SCORE 545592.419
AT ITER 8553 NEW BEST:: SOT 7399133 SOS 1483419 HAS SOPS 1483419 HAS SOUS 544051 HAS SOUPS 544051 WITH SCORE 545534.419
AT ITER 8570 NEW BEST:: SOT 7399133 SOS 1483387 HAS SOPS 1483387 HAS SOUS 544043 HAS SOUPS 544043 WITH SCORE 545526.387
AT ITER 8592 NEW BEST:: SOT 7399115 SOS 1483369 HAS SOPS 1483369 HAS SOUS 544025 HAS SOUPS 544025 WITH SCORE 545508.369
AT ITER 8601 NEW BEST:: SOT 7399107 SOS 1483353 HAS SOPS 1483353 HAS SOUS 544009 HAS SOUPS 544009 WITH SCORE 545492.353
AT ITER 8662 NEW BEST:: SOT 7399043 SOS 1482777 HAS SOPS 1482777 HAS SOUS 543817 HAS SOUPS 543817 WITH SCORE 545299.777
AT ITER 8684 NEW BEST:: SOT 7399033 SOS 1483447 HAS SOPS 1483447 HAS SOUS 543785 HAS SOUPS 543785 WITH SCORE 545268.447
AT ITER 8710 NEW BEST:: SOT 7399033 SOS 1483351 HAS SOPS 1483351 HAS SOUS 543761 HAS SOUPS 543761 WITH SCORE 545244.351
AT ITER 8720 NEW BEST:: SOT 7398955 SOS 1482236 HAS SOPS 1482236 HAS SOUS 543510 HAS SOUPS 543510 WITH SCORE 544992.236
AT ITER 8740 NEW BEST:: SOT 7398927 SOS 1482215 HAS SOPS 1482215 HAS SOUS 543489 HAS SOUPS 543489 WITH SCORE 544971.215
AT ITER 8800 NEW BEST:: SOT 7398402 SOS 1481690 HAS SOPS 1481690 HAS SOUS 542964 HAS SOUPS 542964 WITH SCORE 544445.69
AT ITER 8825 NEW BEST:: SOT 7398386 SOS 1481674 HAS SOPS 1481674 HAS SOUS 542948 HAS SOUPS 542948 WITH SCORE 544429.674
AT ITER 8842 NEW BEST:: SOT 7397903 SOS 1481122 HAS SOPS 1481122 HAS SOUS 541844 HAS SOUPS 541844 WITH SCORE 543325.122
AT ITER 8856 NEW BEST:: SOT 7397903 SOS 1480996 HAS SOPS 1480996 HAS SOUS 541718 HAS SOUPS 541718 WITH SCORE 543198.996
AT ITER 8884 NEW BEST:: SOT 7397903 SOS 1480996 HAS SOPS 1480996 HAS SOUS 541670 HAS SOUPS 541670 WITH SCORE 543150.996
AT ITER 8922 NEW BEST:: SOT 7397864 SOS 1480957 HAS SOPS 1480957 HAS SOUS 541631 HAS SOUPS 541631 WITH SCORE 543111.957
AT ITER 8932 NEW BEST:: SOT 7397864 SOS 1481111 HAS SOPS 1481111 HAS SOUS 541621 HAS SOUPS 541621 WITH SCORE 543102.111
AT ITER 8945 NEW BEST:: SOT 7397990 SOS 1481963 HAS SOPS 1481963 HAS SOUS 541609 HAS SOUPS 541609 WITH SCORE 543090.963
AT ITER 8949 NEW BEST:: SOT 7397949 SOS 1481035 HAS SOPS 1481035 HAS SOUS 541593 HAS SOUPS 541593 WITH SCORE 543074.035
AT ITER 8971 NEW BEST:: SOT 7396920 SOS 1479450 HAS SOPS 1479450 HAS SOUS 540560 HAS SOUPS 540560 WITH SCORE 542039.45
AT ITER 8997 NEW BEST:: SOT 7396914 SOS 1479456 HAS SOPS 1479456 HAS SOUS 540265 HAS SOUPS 540265 WITH SCORE 541744.456
AT ITER 9000 NEW BEST:: SOT 7396560 SOS 1479102 HAS SOPS 1479102 HAS SOUS 539911 HAS SOUPS 539911 WITH SCORE 541390.102
AT ITER 9009 NEW BEST:: SOT 7396579 SOS 1479080 HAS SOPS 1479080 HAS SOUS 539889 HAS SOUPS 539889 WITH SCORE 541368.08
AT ITER 9035 NEW BEST:: SOT 7396600 SOS 1479104 HAS SOPS 1479104 HAS SOUS 539631 HAS SOUPS 539631 WITH SCORE 541110.104
AT ITER 9235 NEW BEST:: SOT 7396607 SOS 1479112 HAS SOPS 1479112 HAS SOUS 539621 HAS SOUPS 539621 WITH SCORE 541100.112
AT ITER 9240 NEW BEST:: SOT 7396603 SOS 1479108 HAS SOPS 1479108 HAS SOUS 539621 HAS SOUPS 539621 WITH SCORE 541100.108
AT ITER 9253 NEW BEST:: SOT 7396597 SOS 1479096 HAS SOPS 1479096 HAS SOUS 539609 HAS SOUPS 539609 WITH SCORE 541088.096
AT ITER 9255 NEW BEST:: SOT 7395981 SOS 1478392 HAS SOPS 1478392 HAS SOUS 538282 HAS SOUPS 538282 WITH SCORE 539760.392
AT ITER 9313 NEW BEST:: SOT 7395941 SOS 1478358 HAS SOPS 1478358 HAS SOUS 538248 HAS SOUPS 538248 WITH SCORE 539726.358
AT ITER 9343 NEW BEST:: SOT 7395941 SOS 1478278 HAS SOPS 1478278 HAS SOUS 538228 HAS SOUPS 538228 WITH SCORE 539706.278
AT ITER 9346 NEW BEST:: SOT 7395299 SOS 1477666 HAS SOPS 1477666 HAS SOUS 537817 HAS SOUPS 537817 WITH SCORE 539294.666
AT ITER 9357 NEW BEST:: SOT 7395299 SOS 1476898 HAS SOPS 1476898 HAS SOUS 537751 HAS SOUPS 537751 WITH SCORE 539227.898
AT ITER 9388 NEW BEST:: SOT 7395287 SOS 1476893 HAS SOPS 1476893 HAS SOUS 537746 HAS SOUPS 537746 WITH SCORE 539222.893
AT ITER 9400 NEW BEST:: SOT 7395287 SOS 1476893 HAS SOPS 1476893 HAS SOUS 537584 HAS SOUPS 537584 WITH SCORE 539060.893
AT ITER 9407 NEW BEST:: SOT 7395287 SOS 1476855 HAS SOPS 1476855 HAS SOUS 537546 HAS SOUPS 537546 WITH SCORE 539022.855
AT ITER 9481 NEW BEST:: SOT 7395287 SOS 1476659 HAS SOPS 1476659 HAS SOUS 537518 HAS SOUPS 537518 WITH SCORE 538994.659
AT ITER 9521 NEW BEST:: SOT 7395307 SOS 1476631 HAS SOPS 1476631 HAS SOUS 537490 HAS SOUPS 537490 WITH SCORE 538966.631
AT ITER 9560 NEW BEST:: SOT 7395307 SOS 1476631 HAS SOPS 1476631 HAS SOUS 537403 HAS SOUPS 537403 WITH SCORE 538879.631
AT ITER 9580 NEW BEST:: SOT 7395262 SOS 1476541 HAS SOPS 1476541 HAS SOUS 537313 HAS SOUPS 537313 WITH SCORE 538789.541
AT ITER 9642 NEW BEST:: SOT 7394457 SOS 1475764 HAS SOPS 1475764 HAS SOUS 536843 HAS SOUPS 536843 WITH SCORE 538318.764
AT ITER 9666 NEW BEST:: SOT 7394470 SOS 1475753 HAS SOPS 1475753 HAS SOUS 536832 HAS SOUPS 536832 WITH SCORE 538307.753
AT ITER 9678 NEW BEST:: SOT 7394183 SOS 1475425 HAS SOPS 1475425 HAS SOUS 536504 HAS SOUPS 536504 WITH SCORE 537979.425
AT ITER 9684 NEW BEST:: SOT 7393406 SOS 1474368 HAS SOPS 1474368 HAS SOUS 535657 HAS SOUPS 535657 WITH SCORE 537131.368
AT ITER 9697 NEW BEST:: SOT 7393406 SOS 1474271 HAS SOPS 1474271 HAS SOUS 535560 HAS SOUPS 535560 WITH SCORE 537034.271
AT ITER 9771 NEW BEST:: SOT 7393317 SOS 1474182 HAS SOPS 1474182 HAS SOUS 535550 HAS SOUPS 535550 WITH SCORE 537024.182
AT ITER 9788 NEW BEST:: SOT 7392890 SOS 1473267 HAS SOPS 1473267 HAS SOUS 535001 HAS SOUPS 535001 WITH SCORE 536474.267
AT ITER 9923 NEW BEST:: SOT 7392830 SOS 1472755 HAS SOPS 1472755 HAS SOUS 534825 HAS SOUPS 534825 WITH SCORE 536297.755
AT ITER 9975 NEW BEST:: SOT 7392744 SOS 1472067 HAS SOPS 1472067 HAS SOUS 534653 HAS SOUPS 534653 WITH SCORE 536125.067
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 164268 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16299852 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"
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 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 r227-tall-167856409800016"
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 '
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 ;