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.r171-tall-167838858600464.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 smartxred
Input is FlexibleBarrier-PT-06a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858600464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 7.5K Feb 25 12:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 12:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 12:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 12:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 12:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 25 12:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 12:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 25 12:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 41K 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 1679474707956

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-06a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 08:45:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 08:45:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 08:45:09] [INFO ] Load time of PNML (sax parser for PT used): 41 ms
[2023-03-22 08:45:09] [INFO ] Transformed 75 places.
[2023-03-22 08:45:09] [INFO ] Transformed 154 transitions.
[2023-03-22 08:45:09] [INFO ] Found NUPN structural information;
[2023-03-22 08:45:09] [INFO ] Parsed PT model containing 75 places and 154 transitions and 599 arcs in 99 ms.
[2023-03-22 08:45:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 75 places, 154 transitions and 599 arcs took 4 ms.
Total runtime 129 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 06a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 75 places, 154 transitions, 599 arcs.
AT ITER 0 NEW BEST:: SOT 9261 SOS 6945 HAS SOPS 6945 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4697.945
AT ITER 1 NEW BEST:: SOT 9268 SOS 6950 HAS SOPS 6950 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4613.95
AT ITER 2 NEW BEST:: SOT 9308 SOS 6912 HAS SOPS 6912 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4607.912
AT ITER 4 NEW BEST:: SOT 9227 SOS 6842 HAS SOPS 6842 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4557.842
AT ITER 7 NEW BEST:: SOT 9089 SOS 6695 HAS SOPS 6694 HAS SOUS 4397 HAS SOUPS 4396 WITH SCORE 4402.695
AT ITER 8 NEW BEST:: SOT 9105 SOS 6673 HAS SOPS 6672 HAS SOUS 4377 HAS SOUPS 4376 WITH SCORE 4382.673
AT ITER 10 NEW BEST:: SOT 9119 SOS 6655 HAS SOPS 6654 HAS SOUS 4359 HAS SOUPS 4358 WITH SCORE 4364.655
AT ITER 11 NEW BEST:: SOT 9159 SOS 6695 HAS SOPS 6694 HAS SOUS 4215 HAS SOUPS 4214 WITH SCORE 4220.695
AT ITER 13 NEW BEST:: SOT 9240 SOS 6610 HAS SOPS 6599 HAS SOUS 4054 HAS SOUPS 4049 WITH SCORE 4055.61
AT ITER 14 NEW BEST:: SOT 9111 SOS 6476 HAS SOPS 6449 HAS SOUS 3999 HAS SOUPS 3983 WITH SCORE 3989.476
AT ITER 15 NEW BEST:: SOT 9128 SOS 6510 HAS SOPS 6483 HAS SOUS 3998 HAS SOUPS 3982 WITH SCORE 3988.51
AT ITER 20 NEW BEST:: SOT 9151 SOS 6523 HAS SOPS 6496 HAS SOUS 3989 HAS SOUPS 3973 WITH SCORE 3979.523
AT ITER 21 NEW BEST:: SOT 9173 SOS 6527 HAS SOPS 6500 HAS SOUS 3981 HAS SOUPS 3965 WITH SCORE 3971.527
AT ITER 22 NEW BEST:: SOT 9171 SOS 6163 HAS SOPS 6074 HAS SOUS 3642 HAS SOUPS 3625 WITH SCORE 3631.163
AT ITER 24 NEW BEST:: SOT 8996 SOS 5986 HAS SOPS 5897 HAS SOUS 3520 HAS SOUPS 3503 WITH SCORE 3508.986
AT ITER 25 NEW BEST:: SOT 8996 SOS 5971 HAS SOPS 5882 HAS SOUS 3520 HAS SOUPS 3503 WITH SCORE 3508.971
AT ITER 26 NEW BEST:: SOT 9005 SOS 5960 HAS SOPS 5871 HAS SOUS 3519 HAS SOUPS 3502 WITH SCORE 3507.96
AT ITER 31 NEW BEST:: SOT 9000 SOS 5955 HAS SOPS 5866 HAS SOUS 3514 HAS SOUPS 3497 WITH SCORE 3502.955
AT ITER 34 NEW BEST:: SOT 9000 SOS 5951 HAS SOPS 5862 HAS SOUS 3506 HAS SOUPS 3489 WITH SCORE 3494.951
AT ITER 35 NEW BEST:: SOT 9008 SOS 5804 HAS SOPS 5685 HAS SOUS 3431 HAS SOUPS 3414 WITH SCORE 3419.804
AT ITER 42 NEW BEST:: SOT 9006 SOS 5799 HAS SOPS 5680 HAS SOUS 3429 HAS SOUPS 3412 WITH SCORE 3417.799
AT ITER 44 NEW BEST:: SOT 8692 SOS 5702 HAS SOPS 5609 HAS SOUS 3355 HAS SOUPS 3338 WITH SCORE 3343.702
AT ITER 46 NEW BEST:: SOT 8667 SOS 5652 HAS SOPS 5559 HAS SOUS 3332 HAS SOUPS 3315 WITH SCORE 3320.652
AT ITER 50 NEW BEST:: SOT 8618 SOS 5579 HAS SOPS 5486 HAS SOUS 3287 HAS SOUPS 3270 WITH SCORE 3275.579
AT ITER 51 NEW BEST:: SOT 8351 SOS 5468 HAS SOPS 5219 HAS SOUS 2953 HAS SOUPS 2904 WITH SCORE 2909.468
AT ITER 52 NEW BEST:: SOT 8351 SOS 5468 HAS SOPS 5219 HAS SOUS 2950 HAS SOUPS 2901 WITH SCORE 2906.468
AT ITER 54 NEW BEST:: SOT 8206 SOS 5289 HAS SOPS 5036 HAS SOUS 2846 HAS SOUPS 2797 WITH SCORE 2802.289
AT ITER 55 NEW BEST:: SOT 8214 SOS 5297 HAS SOPS 5044 HAS SOUS 2838 HAS SOUPS 2789 WITH SCORE 2794.297
AT ITER 63 NEW BEST:: SOT 8212 SOS 5295 HAS SOPS 5040 HAS SOUS 2836 HAS SOUPS 2787 WITH SCORE 2792.295
AT ITER 64 NEW BEST:: SOT 8204 SOS 5279 HAS SOPS 5024 HAS SOUS 2825 HAS SOUPS 2776 WITH SCORE 2781.279
AT ITER 69 NEW BEST:: SOT 8213 SOS 5257 HAS SOPS 5002 HAS SOUS 2784 HAS SOUPS 2735 WITH SCORE 2740.257
AT ITER 70 NEW BEST:: SOT 8212 SOS 5247 HAS SOPS 4992 HAS SOUS 2777 HAS SOUPS 2728 WITH SCORE 2733.247
AT ITER 72 NEW BEST:: SOT 8178 SOS 5147 HAS SOPS 4894 HAS SOUS 2747 HAS SOUPS 2698 WITH SCORE 2703.147
AT ITER 74 NEW BEST:: SOT 8203 SOS 5078 HAS SOPS 4825 HAS SOUS 2739 HAS SOUPS 2690 WITH SCORE 2695.078
AT ITER 75 NEW BEST:: SOT 8150 SOS 5158 HAS SOPS 4772 HAS SOUS 2706 HAS SOUPS 2646 WITH SCORE 2651.158
AT ITER 85 NEW BEST:: SOT 8167 SOS 5080 HAS SOPS 4686 HAS SOUS 2626 HAS SOUPS 2566 WITH SCORE 2571.08
AT ITER 86 NEW BEST:: SOT 8162 SOS 5070 HAS SOPS 4676 HAS SOUS 2621 HAS SOUPS 2561 WITH SCORE 2566.07
AT ITER 87 NEW BEST:: SOT 8161 SOS 5066 HAS SOPS 4672 HAS SOUS 2619 HAS SOUPS 2559 WITH SCORE 2564.066
AT ITER 89 NEW BEST:: SOT 8143 SOS 5030 HAS SOPS 4627 HAS SOUS 2583 HAS SOUPS 2523 WITH SCORE 2528.03
AT ITER 95 NEW BEST:: SOT 8154 SOS 4828 HAS SOPS 4434 HAS SOUS 2531 HAS SOUPS 2471 WITH SCORE 2475.828
AT ITER 96 NEW BEST:: SOT 8143 SOS 4817 HAS SOPS 4412 HAS SOUS 2517 HAS SOUPS 2457 WITH SCORE 2461.817
AT ITER 100 NEW BEST:: SOT 8030 SOS 4704 HAS SOPS 4299 HAS SOUS 2457 HAS SOUPS 2397 WITH SCORE 2401.704
AT ITER 102 NEW BEST:: SOT 8024 SOS 4695 HAS SOPS 4287 HAS SOUS 2457 HAS SOUPS 2397 WITH SCORE 2401.695
AT ITER 109 NEW BEST:: SOT 8137 SOS 4790 HAS SOPS 4270 HAS SOUS 2365 HAS SOUPS 2297 WITH SCORE 2301.79
AT ITER 110 NEW BEST:: SOT 8130 SOS 4788 HAS SOPS 4256 HAS SOUS 2351 HAS SOUPS 2283 WITH SCORE 2287.788
AT ITER 124 NEW BEST:: SOT 8085 SOS 4735 HAS SOPS 4192 HAS SOUS 2317 HAS SOUPS 2249 WITH SCORE 2253.735
AT ITER 125 NEW BEST:: SOT 8029 SOS 4798 HAS SOPS 4115 HAS SOUS 2291 HAS SOUPS 2216 WITH SCORE 2220.798
AT ITER 126 NEW BEST:: SOT 8030 SOS 4776 HAS SOPS 4087 HAS SOUS 2264 HAS SOUPS 2188 WITH SCORE 2192.776
AT ITER 133 NEW BEST:: SOT 7993 SOS 5094 HAS SOPS 4027 HAS SOUS 2255 HAS SOUPS 2161 WITH SCORE 2166.094
AT ITER 135 NEW BEST:: SOT 7984 SOS 5078 HAS SOPS 4001 HAS SOUS 2239 HAS SOUPS 2145 WITH SCORE 2150.078
AT ITER 143 NEW BEST:: SOT 7984 SOS 5033 HAS SOPS 3977 HAS SOUS 2239 HAS SOUPS 2145 WITH SCORE 2150.033
AT ITER 145 NEW BEST:: SOT 7991 SOS 4966 HAS SOPS 3937 HAS SOUS 2219 HAS SOUPS 2125 WITH SCORE 2129.966
AT ITER 150 NEW BEST:: SOT 7991 SOS 4964 HAS SOPS 3935 HAS SOUS 2219 HAS SOUPS 2125 WITH SCORE 2129.964
AT ITER 158 NEW BEST:: SOT 7991 SOS 4963 HAS SOPS 3935 HAS SOUS 2218 HAS SOUPS 2124 WITH SCORE 2128.963
AT ITER 163 NEW BEST:: SOT 7998 SOS 4902 HAS SOPS 3879 HAS SOUS 2213 HAS SOUPS 2119 WITH SCORE 2123.902
AT ITER 167 NEW BEST:: SOT 7983 SOS 4887 HAS SOPS 3864 HAS SOUS 2204 HAS SOUPS 2110 WITH SCORE 2114.887
AT ITER 172 NEW BEST:: SOT 7963 SOS 4891 HAS SOPS 3855 HAS SOUS 2202 HAS SOUPS 2108 WITH SCORE 2112.891
AT ITER 173 NEW BEST:: SOT 7959 SOS 4883 HAS SOPS 3843 HAS SOUS 2194 HAS SOUPS 2100 WITH SCORE 2104.883
AT ITER 182 NEW BEST:: SOT 7959 SOS 4883 HAS SOPS 3835 HAS SOUS 2186 HAS SOUPS 2092 WITH SCORE 2096.883
AT ITER 185 NEW BEST:: SOT 7929 SOS 4857 HAS SOPS 3775 HAS SOUS 2147 HAS SOUPS 2053 WITH SCORE 2057.857
AT ITER 186 NEW BEST:: SOT 7923 SOS 4849 HAS SOPS 3765 HAS SOUS 2136 HAS SOUPS 2042 WITH SCORE 2046.849
AT ITER 188 NEW BEST:: SOT 7918 SOS 4839 HAS SOPS 3755 HAS SOUS 2126 HAS SOUPS 2032 WITH SCORE 2036.839
AT ITER 189 NEW BEST:: SOT 7892 SOS 4815 HAS SOPS 3719 HAS SOUS 2086 HAS SOUPS 1992 WITH SCORE 1996.815
AT ITER 194 NEW BEST:: SOT 7888 SOS 4832 HAS SOPS 3711 HAS SOUS 2065 HAS SOUPS 1971 WITH SCORE 1975.832
AT ITER 200 NEW BEST:: SOT 7824 SOS 4768 HAS SOPS 3647 HAS SOUS 2033 HAS SOUPS 1939 WITH SCORE 1943.768
AT ITER 204 NEW BEST:: SOT 7830 SOS 4757 HAS SOPS 3622 HAS SOUS 2002 HAS SOUPS 1908 WITH SCORE 1912.757
AT ITER 207 NEW BEST:: SOT 7829 SOS 4725 HAS SOPS 3592 HAS SOUS 1994 HAS SOUPS 1900 WITH SCORE 1904.725
AT ITER 211 NEW BEST:: SOT 7827 SOS 4723 HAS SOPS 3589 HAS SOUS 1990 HAS SOUPS 1896 WITH SCORE 1900.723
AT ITER 218 NEW BEST:: SOT 7812 SOS 4719 HAS SOPS 3583 HAS SOUS 1984 HAS SOUPS 1890 WITH SCORE 1894.719
AT ITER 222 NEW BEST:: SOT 7800 SOS 4702 HAS SOPS 3558 HAS SOUS 1963 HAS SOUPS 1869 WITH SCORE 1873.702
AT ITER 228 NEW BEST:: SOT 7783 SOS 4781 HAS SOPS 3541 HAS SOUS 1961 HAS SOUPS 1863 WITH SCORE 1867.781
AT ITER 233 NEW BEST:: SOT 7775 SOS 4763 HAS SOPS 3515 HAS SOUS 1945 HAS SOUPS 1847 WITH SCORE 1851.763
AT ITER 235 NEW BEST:: SOT 7784 SOS 4743 HAS SOPS 3504 HAS SOUS 1931 HAS SOUPS 1833 WITH SCORE 1837.743
AT ITER 248 NEW BEST:: SOT 7730 SOS 4705 HAS SOPS 3498 HAS SOUS 1898 HAS SOUPS 1800 WITH SCORE 1804.705
AT ITER 263 NEW BEST:: SOT 7713 SOS 4702 HAS SOPS 3481 HAS SOUS 1881 HAS SOUPS 1783 WITH SCORE 1787.702
AT ITER 276 NEW BEST:: SOT 7695 SOS 4666 HAS SOPS 3445 HAS SOUS 1855 HAS SOUPS 1757 WITH SCORE 1761.666
AT ITER 281 NEW BEST:: SOT 7661 SOS 5320 HAS SOPS 3345 HAS SOUS 1864 HAS SOUPS 1744 WITH SCORE 1749.32
AT ITER 282 NEW BEST:: SOT 7658 SOS 5274 HAS SOPS 3342 HAS SOUS 1859 HAS SOUPS 1740 WITH SCORE 1745.274
AT ITER 287 NEW BEST:: SOT 7697 SOS 5281 HAS SOPS 3290 HAS SOUS 1840 HAS SOUPS 1721 WITH SCORE 1726.281
AT ITER 288 NEW BEST:: SOT 7700 SOS 5281 HAS SOPS 3275 HAS SOUS 1837 HAS SOUPS 1718 WITH SCORE 1723.281
AT ITER 296 NEW BEST:: SOT 7699 SOS 5239 HAS SOPS 3276 HAS SOUS 1834 HAS SOUPS 1716 WITH SCORE 1721.239
AT ITER 303 NEW BEST:: SOT 7703 SOS 5206 HAS SOPS 3230 HAS SOUS 1762 HAS SOUPS 1644 WITH SCORE 1649.206
AT ITER 308 NEW BEST:: SOT 7695 SOS 5198 HAS SOPS 3224 HAS SOUS 1756 HAS SOUPS 1638 WITH SCORE 1643.198
AT ITER 310 NEW BEST:: SOT 7695 SOS 5198 HAS SOPS 3215 HAS SOUS 1747 HAS SOUPS 1629 WITH SCORE 1634.198
AT ITER 341 NEW BEST:: SOT 7688 SOS 5191 HAS SOPS 3201 HAS SOUS 1738 HAS SOUPS 1615 WITH SCORE 1620.191
AT ITER 354 NEW BEST:: SOT 7679 SOS 5154 HAS SOPS 3164 HAS SOUS 1724 HAS SOUPS 1601 WITH SCORE 1606.154
AT ITER 359 NEW BEST:: SOT 7667 SOS 5142 HAS SOPS 3157 HAS SOUS 1717 HAS SOUPS 1594 WITH SCORE 1599.142
AT ITER 382 NEW BEST:: SOT 7667 SOS 5142 HAS SOPS 3153 HAS SOUS 1713 HAS SOUPS 1590 WITH SCORE 1595.142
AT ITER 388 NEW BEST:: SOT 7665 SOS 5138 HAS SOPS 3149 HAS SOUS 1713 HAS SOUPS 1590 WITH SCORE 1595.138
AT ITER 389 NEW BEST:: SOT 7658 SOS 5123 HAS SOPS 3135 HAS SOUS 1710 HAS SOUPS 1587 WITH SCORE 1592.123
AT ITER 413 NEW BEST:: SOT 7648 SOS 5103 HAS SOPS 3115 HAS SOUS 1701 HAS SOUPS 1578 WITH SCORE 1583.103
AT ITER 424 NEW BEST:: SOT 7640 SOS 5087 HAS SOPS 3099 HAS SOUS 1689 HAS SOUPS 1566 WITH SCORE 1571.087
AT ITER 431 NEW BEST:: SOT 7635 SOS 5094 HAS SOPS 3099 HAS SOUS 1685 HAS SOUPS 1562 WITH SCORE 1567.094
AT ITER 451 NEW BEST:: SOT 7637 SOS 5079 HAS SOPS 3079 HAS SOUS 1665 HAS SOUPS 1542 WITH SCORE 1547.079
AT ITER 466 NEW BEST:: SOT 7634 SOS 5076 HAS SOPS 3073 HAS SOUS 1659 HAS SOUPS 1536 WITH SCORE 1541.076
AT ITER 472 NEW BEST:: SOT 7634 SOS 5064 HAS SOPS 3067 HAS SOUS 1659 HAS SOUPS 1536 WITH SCORE 1541.064
AT ITER 491 NEW BEST:: SOT 7626 SOS 5063 HAS SOPS 3059 HAS SOUS 1651 HAS SOUPS 1528 WITH SCORE 1533.063
AT ITER 499 NEW BEST:: SOT 7624 SOS 5072 HAS SOPS 3055 HAS SOUS 1647 HAS SOUPS 1524 WITH SCORE 1529.072
AT ITER 500 NEW BEST:: SOT 7615 SOS 5079 HAS SOPS 3050 HAS SOUS 1645 HAS SOUPS 1522 WITH SCORE 1527.079
AT ITER 505 NEW BEST:: SOT 7614 SOS 5079 HAS SOPS 3049 HAS SOUS 1644 HAS SOUPS 1521 WITH SCORE 1526.079
AT ITER 506 NEW BEST:: SOT 7612 SOS 5075 HAS SOPS 3044 HAS SOUS 1640 HAS SOUPS 1517 WITH SCORE 1522.075
AT ITER 509 NEW BEST:: SOT 7615 SOS 5081 HAS SOPS 3027 HAS SOUS 1623 HAS SOUPS 1500 WITH SCORE 1505.081
AT ITER 526 NEW BEST:: SOT 7615 SOS 5081 HAS SOPS 3026 HAS SOUS 1622 HAS SOUPS 1499 WITH SCORE 1504.081
AT ITER 534 NEW BEST:: SOT 7613 SOS 5077 HAS SOPS 3020 HAS SOUS 1614 HAS SOUPS 1491 WITH SCORE 1496.077
AT ITER 550 NEW BEST:: SOT 7612 SOS 5075 HAS SOPS 3018 HAS SOUS 1614 HAS SOUPS 1491 WITH SCORE 1496.075
AT ITER 563 NEW BEST:: SOT 7608 SOS 5074 HAS SOPS 3015 HAS SOUS 1608 HAS SOUPS 1485 WITH SCORE 1490.074
AT ITER 569 NEW BEST:: SOT 7569 SOS 5040 HAS SOPS 2971 HAS SOUS 1562 HAS SOUPS 1439 WITH SCORE 1444.04
AT ITER 573 NEW BEST:: SOT 7568 SOS 5037 HAS SOPS 2968 HAS SOUS 1560 HAS SOUPS 1437 WITH SCORE 1442.037
AT ITER 589 NEW BEST:: SOT 7565 SOS 5034 HAS SOPS 2964 HAS SOUS 1556 HAS SOUPS 1433 WITH SCORE 1438.034
AT ITER 600 NEW BEST:: SOT 7583 SOS 5022 HAS SOPS 2964 HAS SOUS 1556 HAS SOUPS 1433 WITH SCORE 1438.022
AT ITER 622 NEW BEST:: SOT 7577 SOS 5026 HAS SOPS 2952 HAS SOUS 1544 HAS SOUPS 1421 WITH SCORE 1426.026
AT ITER 637 NEW BEST:: SOT 7558 SOS 5020 HAS SOPS 2938 HAS SOUS 1530 HAS SOUPS 1407 WITH SCORE 1412.02
AT ITER 638 NEW BEST:: SOT 7556 SOS 5015 HAS SOPS 2937 HAS SOUS 1529 HAS SOUPS 1406 WITH SCORE 1411.015
AT ITER 662 NEW BEST:: SOT 7555 SOS 5014 HAS SOPS 2935 HAS SOUS 1527 HAS SOUPS 1403 WITH SCORE 1408.014
AT ITER 665 NEW BEST:: SOT 7553 SOS 5011 HAS SOPS 2931 HAS SOUS 1525 HAS SOUPS 1401 WITH SCORE 1406.011
AT ITER 670 NEW BEST:: SOT 7553 SOS 4999 HAS SOPS 2918 HAS SOUS 1523 HAS SOUPS 1399 WITH SCORE 1403.999
AT ITER 691 NEW BEST:: SOT 7552 SOS 4996 HAS SOPS 2915 HAS SOUS 1521 HAS SOUPS 1397 WITH SCORE 1401.996
AT ITER 708 NEW BEST:: SOT 7533 SOS 4949 HAS SOPS 2877 HAS SOUS 1497 HAS SOUPS 1373 WITH SCORE 1377.949
AT ITER 760 NEW BEST:: SOT 7531 SOS 4931 HAS SOPS 2863 HAS SOUS 1489 HAS SOUPS 1365 WITH SCORE 1369.931
AT ITER 764 NEW BEST:: SOT 7528 SOS 4916 HAS SOPS 2848 HAS SOUS 1473 HAS SOUPS 1349 WITH SCORE 1353.916
AT ITER 778 NEW BEST:: SOT 7525 SOS 4910 HAS SOPS 2842 HAS SOUS 1467 HAS SOUPS 1346 WITH SCORE 1350.91
AT ITER 800 NEW BEST:: SOT 7523 SOS 4907 HAS SOPS 2838 HAS SOUS 1464 HAS SOUPS 1343 WITH SCORE 1347.907
AT ITER 813 NEW BEST:: SOT 7523 SOS 4904 HAS SOPS 2838 HAS SOUS 1464 HAS SOUPS 1343 WITH SCORE 1347.904
AT ITER 823 NEW BEST:: SOT 7521 SOS 4922 HAS SOPS 2834 HAS SOUS 1459 HAS SOUPS 1338 WITH SCORE 1342.922
AT ITER 827 NEW BEST:: SOT 7517 SOS 4913 HAS SOPS 2821 HAS SOUS 1446 HAS SOUPS 1325 WITH SCORE 1329.913
AT ITER 834 NEW BEST:: SOT 7517 SOS 4910 HAS SOPS 2821 HAS SOUS 1446 HAS SOUPS 1325 WITH SCORE 1329.91
AT ITER 836 NEW BEST:: SOT 7488 SOS 4879 HAS SOPS 2797 HAS SOUS 1426 HAS SOUPS 1305 WITH SCORE 1309.879
AT ITER 841 NEW BEST:: SOT 7465 SOS 4858 HAS SOPS 2772 HAS SOUS 1406 HAS SOUPS 1285 WITH SCORE 1289.858
AT ITER 908 NEW BEST:: SOT 7495 SOS 4870 HAS SOPS 2778 HAS SOUS 1401 HAS SOUPS 1280 WITH SCORE 1284.87
AT ITER 974 NEW BEST:: SOT 7495 SOS 4870 HAS SOPS 2777 HAS SOUS 1400 HAS SOUPS 1279 WITH SCORE 1283.87
AT ITER 989 NEW BEST:: SOT 7490 SOS 4869 HAS SOPS 2776 HAS SOUS 1400 HAS SOUPS 1279 WITH SCORE 1283.869
AT ITER 993 NEW BEST:: SOT 7489 SOS 4869 HAS SOPS 2775 HAS SOUS 1399 HAS SOUPS 1278 WITH SCORE 1282.869
AT ITER 1002 NEW BEST:: SOT 7483 SOS 4872 HAS SOPS 2772 HAS SOUS 1396 HAS SOUPS 1275 WITH SCORE 1279.872
AT ITER 1007 NEW BEST:: SOT 7486 SOS 4914 HAS SOPS 2674 HAS SOUS 1395 HAS SOUPS 1269 WITH SCORE 1273.914
AT ITER 1018 NEW BEST:: SOT 7485 SOS 4916 HAS SOPS 2672 HAS SOUS 1393 HAS SOUPS 1267 WITH SCORE 1271.916
AT ITER 1021 NEW BEST:: SOT 7492 SOS 4931 HAS SOPS 2686 HAS SOUS 1391 HAS SOUPS 1265 WITH SCORE 1269.931
AT ITER 1038 NEW BEST:: SOT 7492 SOS 4927 HAS SOPS 2679 HAS SOUS 1381 HAS SOUPS 1255 WITH SCORE 1259.927
AT ITER 1039 NEW BEST:: SOT 7491 SOS 4926 HAS SOPS 2677 HAS SOUS 1380 HAS SOUPS 1254 WITH SCORE 1258.926
AT ITER 1048 NEW BEST:: SOT 7491 SOS 4922 HAS SOPS 2673 HAS SOUS 1380 HAS SOUPS 1254 WITH SCORE 1258.922
AT ITER 1049 NEW BEST:: SOT 7470 SOS 4895 HAS SOPS 2643 HAS SOUS 1359 HAS SOUPS 1233 WITH SCORE 1237.895
AT ITER 1083 NEW BEST:: SOT 7469 SOS 4892 HAS SOPS 2640 HAS SOUS 1357 HAS SOUPS 1231 WITH SCORE 1235.892
AT ITER 1130 NEW BEST:: SOT 7468 SOS 5017 HAS SOPS 2635 HAS SOUS 1358 HAS SOUPS 1229 WITH SCORE 1234.017
AT ITER 1148 NEW BEST:: SOT 7467 SOS 5015 HAS SOPS 2633 HAS SOUS 1356 HAS SOUPS 1227 WITH SCORE 1232.015
AT ITER 1151 NEW BEST:: SOT 7467 SOS 5013 HAS SOPS 2632 HAS SOUS 1356 HAS SOUPS 1227 WITH SCORE 1232.013
AT ITER 1168 NEW BEST:: SOT 7467 SOS 5013 HAS SOPS 2632 HAS SOUS 1355 HAS SOUPS 1226 WITH SCORE 1231.013
AT ITER 1180 NEW BEST:: SOT 7471 SOS 5009 HAS SOPS 2632 HAS SOUS 1353 HAS SOUPS 1224 WITH SCORE 1229.009
AT ITER 1181 NEW BEST:: SOT 7461 SOS 4984 HAS SOPS 2612 HAS SOUS 1341 HAS SOUPS 1212 WITH SCORE 1216.984
AT ITER 1197 NEW BEST:: SOT 7461 SOS 4983 HAS SOPS 2611 HAS SOUS 1340 HAS SOUPS 1211 WITH SCORE 1215.983
AT ITER 1201 NEW BEST:: SOT 7461 SOS 4974 HAS SOPS 2602 HAS SOUS 1322 HAS SOUPS 1193 WITH SCORE 1197.974
AT ITER 1202 NEW BEST:: SOT 7455 SOS 4962 HAS SOPS 2590 HAS SOUS 1316 HAS SOUPS 1187 WITH SCORE 1191.962
AT ITER 1220 NEW BEST:: SOT 7465 SOS 4967 HAS SOPS 2545 HAS SOUS 1309 HAS SOUPS 1180 WITH SCORE 1184.967
AT ITER 1236 NEW BEST:: SOT 7462 SOS 4964 HAS SOPS 2539 HAS SOUS 1303 HAS SOUPS 1174 WITH SCORE 1178.964
AT ITER 1247 NEW BEST:: SOT 7462 SOS 4959 HAS SOPS 2534 HAS SOUS 1298 HAS SOUPS 1169 WITH SCORE 1173.959
AT ITER 1270 NEW BEST:: SOT 7465 SOS 4967 HAS SOPS 2540 HAS SOUS 1297 HAS SOUPS 1168 WITH SCORE 1172.967
AT ITER 1354 NEW BEST:: SOT 7466 SOS 4935 HAS SOPS 2490 HAS SOUS 1293 HAS SOUPS 1164 WITH SCORE 1168.935
AT ITER 1412 NEW BEST:: SOT 7460 SOS 4929 HAS SOPS 2483 HAS SOUS 1289 HAS SOUPS 1160 WITH SCORE 1164.929
AT ITER 1425 NEW BEST:: SOT 7459 SOS 4926 HAS SOPS 2479 HAS SOUS 1285 HAS SOUPS 1156 WITH SCORE 1160.926
AT ITER 1438 NEW BEST:: SOT 7459 SOS 4925 HAS SOPS 2478 HAS SOUS 1285 HAS SOUPS 1156 WITH SCORE 1160.925
AT ITER 1457 NEW BEST:: SOT 7457 SOS 4923 HAS SOPS 2474 HAS SOUS 1281 HAS SOUPS 1152 WITH SCORE 1156.923
AT ITER 1495 NEW BEST:: SOT 7449 SOS 4900 HAS SOPS 2450 HAS SOUS 1263 HAS SOUPS 1134 WITH SCORE 1138.9
AT ITER 1501 NEW BEST:: SOT 7445 SOS 4896 HAS SOPS 2446 HAS SOUS 1263 HAS SOUPS 1134 WITH SCORE 1138.896
AT ITER 1522 NEW BEST:: SOT 7441 SOS 4894 HAS SOPS 2442 HAS SOUS 1257 HAS SOUPS 1128 WITH SCORE 1132.894
AT ITER 1530 NEW BEST:: SOT 7440 SOS 4894 HAS SOPS 2440 HAS SOUS 1256 HAS SOUPS 1127 WITH SCORE 1131.894
AT ITER 1542 NEW BEST:: SOT 7439 SOS 4893 HAS SOPS 2439 HAS SOUS 1255 HAS SOUPS 1126 WITH SCORE 1130.893
AT ITER 1547 NEW BEST:: SOT 7437 SOS 4891 HAS SOPS 2435 HAS SOUS 1251 HAS SOUPS 1122 WITH SCORE 1126.891
AT ITER 1570 NEW BEST:: SOT 7435 SOS 4888 HAS SOPS 2431 HAS SOUS 1246 HAS SOUPS 1117 WITH SCORE 1121.888
AT ITER 1603 NEW BEST:: SOT 7421 SOS 4863 HAS SOPS 2415 HAS SOUS 1229 HAS SOUPS 1100 WITH SCORE 1104.863
AT ITER 1662 NEW BEST:: SOT 7366 SOS 4810 HAS SOPS 2360 HAS SOUS 1205 HAS SOUPS 1076 WITH SCORE 1080.81
AT ITER 1671 NEW BEST:: SOT 7365 SOS 4807 HAS SOPS 2358 HAS SOUS 1203 HAS SOUPS 1074 WITH SCORE 1078.807
AT ITER 1685 NEW BEST:: SOT 7352 SOS 4801 HAS SOPS 2362 HAS SOUS 1198 HAS SOUPS 1069 WITH SCORE 1073.801
AT ITER 1690 NEW BEST:: SOT 7352 SOS 4800 HAS SOPS 2360 HAS SOUS 1197 HAS SOUPS 1067 WITH SCORE 1071.8
AT ITER 1716 NEW BEST:: SOT 7353 SOS 4799 HAS SOPS 2362 HAS SOUS 1197 HAS SOUPS 1067 WITH SCORE 1071.799
AT ITER 1729 NEW BEST:: SOT 7351 SOS 4797 HAS SOPS 2360 HAS SOUS 1195 HAS SOUPS 1065 WITH SCORE 1069.797
AT ITER 1737 NEW BEST:: SOT 7350 SOS 4781 HAS SOPS 2347 HAS SOUS 1187 HAS SOUPS 1059 WITH SCORE 1063.781
AT ITER 1794 NEW BEST:: SOT 7349 SOS 4776 HAS SOPS 2345 HAS SOUS 1185 HAS SOUPS 1057 WITH SCORE 1061.776
AT ITER 1798 NEW BEST:: SOT 7349 SOS 4769 HAS SOPS 2345 HAS SOUS 1185 HAS SOUPS 1057 WITH SCORE 1061.769
AT ITER 1884 NEW BEST:: SOT 7347 SOS 4768 HAS SOPS 2343 HAS SOUS 1186 HAS SOUPS 1057 WITH SCORE 1061.768
AT ITER 1958 NEW BEST:: SOT 7346 SOS 4767 HAS SOPS 2341 HAS SOUS 1184 HAS SOUPS 1055 WITH SCORE 1059.767
AT ITER 1973 NEW BEST:: SOT 7346 SOS 4767 HAS SOPS 2341 HAS SOUS 1183 HAS SOUPS 1054 WITH SCORE 1058.767
AT ITER 2097 NEW BEST:: SOT 7356 SOS 4772 HAS SOPS 2330 HAS SOUS 1178 HAS SOUPS 1049 WITH SCORE 1053.772
AT ITER 2099 NEW BEST:: SOT 7355 SOS 4770 HAS SOPS 2328 HAS SOUS 1177 HAS SOUPS 1048 WITH SCORE 1052.77
AT ITER 2121 NEW BEST:: SOT 7352 SOS 4763 HAS SOPS 2320 HAS SOUS 1171 HAS SOUPS 1042 WITH SCORE 1046.763
AT ITER 2220 NEW BEST:: SOT 7351 SOS 4763 HAS SOPS 2319 HAS SOUS 1171 HAS SOUPS 1041 WITH SCORE 1045.763
AT ITER 2222 NEW BEST:: SOT 7350 SOS 4720 HAS SOPS 2337 HAS SOUS 1170 HAS SOUPS 1041 WITH SCORE 1045.72
AT ITER 2270 NEW BEST:: SOT 7350 SOS 4718 HAS SOPS 2335 HAS SOUS 1168 HAS SOUPS 1039 WITH SCORE 1043.718
AT ITER 2308 NEW BEST:: SOT 7349 SOS 4717 HAS SOPS 2334 HAS SOUS 1167 HAS SOUPS 1038 WITH SCORE 1042.717
AT ITER 2363 NEW BEST:: SOT 7349 SOS 4717 HAS SOPS 2333 HAS SOUS 1166 HAS SOUPS 1037 WITH SCORE 1041.717
AT ITER 2468 NEW BEST:: SOT 7348 SOS 4727 HAS SOPS 2339 HAS SOUS 1163 HAS SOUPS 1034 WITH SCORE 1038.727
AT ITER 2500 NEW BEST:: SOT 7342 SOS 4725 HAS SOPS 2337 HAS SOUS 1162 HAS SOUPS 1033 WITH SCORE 1037.725
AT ITER 2506 NEW BEST:: SOT 7341 SOS 4724 HAS SOPS 2335 HAS SOUS 1160 HAS SOUPS 1031 WITH SCORE 1035.724
AT ITER 2558 NEW BEST:: SOT 7339 SOS 4721 HAS SOPS 2331 HAS SOUS 1158 HAS SOUPS 1029 WITH SCORE 1033.721
AT ITER 2582 NEW BEST:: SOT 7339 SOS 4716 HAS SOPS 2327 HAS SOUS 1154 HAS SOUPS 1026 WITH SCORE 1030.716
AT ITER 2583 NEW BEST:: SOT 7275 SOS 4652 HAS SOPS 2259 HAS SOUS 1120 HAS SOUPS 992 WITH SCORE 996.652
AT ITER 2621 NEW BEST:: SOT 7276 SOS 4651 HAS SOPS 2259 HAS SOUS 1120 HAS SOUPS 992 WITH SCORE 996.651
AT ITER 2828 NEW BEST:: SOT 7273 SOS 4648 HAS SOPS 2253 HAS SOUS 1114 HAS SOUPS 986 WITH SCORE 990.648
AT ITER 2866 NEW BEST:: SOT 7273 SOS 4647 HAS SOPS 2252 HAS SOUS 1113 HAS SOUPS 985 WITH SCORE 989.647
AT ITER 2888 NEW BEST:: SOT 7270 SOS 4646 HAS SOPS 2250 HAS SOUS 1112 HAS SOUPS 984 WITH SCORE 988.646
AT ITER 2890 NEW BEST:: SOT 7270 SOS 4645 HAS SOPS 2248 HAS SOUS 1111 HAS SOUPS 982 WITH SCORE 986.645
AT ITER 2964 NEW BEST:: SOT 7269 SOS 4645 HAS SOPS 2247 HAS SOUS 1110 HAS SOUPS 981 WITH SCORE 985.645
AT ITER 3068 NEW BEST:: SOT 7271 SOS 4642 HAS SOPS 2245 HAS SOUS 1107 HAS SOUPS 978 WITH SCORE 982.642
AT ITER 3095 NEW BEST:: SOT 7264 SOS 4636 HAS SOPS 2251 HAS SOUS 1105 HAS SOUPS 976 WITH SCORE 980.636
AT ITER 3181 NEW BEST:: SOT 7264 SOS 4634 HAS SOPS 2251 HAS SOUS 1105 HAS SOUPS 976 WITH SCORE 980.634
AT ITER 3241 NEW BEST:: SOT 7264 SOS 4631 HAS SOPS 2251 HAS SOUS 1105 HAS SOUPS 976 WITH SCORE 980.631
AT ITER 3367 NEW BEST:: SOT 7246 SOS 4612 HAS SOPS 2232 HAS SOUS 1094 HAS SOUPS 965 WITH SCORE 969.612
AT ITER 3432 NEW BEST:: SOT 7247 SOS 4611 HAS SOPS 2232 HAS SOUS 1094 HAS SOUPS 965 WITH SCORE 969.611
AT ITER 3525 NEW BEST:: SOT 7246 SOS 4610 HAS SOPS 2230 HAS SOUS 1092 HAS SOUPS 963 WITH SCORE 967.61
AT ITER 3644 NEW BEST:: SOT 7246 SOS 4582 HAS SOPS 2231 HAS SOUS 1091 HAS SOUPS 963 WITH SCORE 967.582
AT ITER 3647 NEW BEST:: SOT 7246 SOS 4579 HAS SOPS 2231 HAS SOUS 1091 HAS SOUPS 963 WITH SCORE 967.579
AT ITER 3688 NEW BEST:: SOT 7246 SOS 4577 HAS SOPS 2231 HAS SOUS 1091 HAS SOUPS 963 WITH SCORE 967.577
AT ITER 3741 NEW BEST:: SOT 7246 SOS 4570 HAS SOPS 2224 HAS SOUS 1084 HAS SOUPS 956 WITH SCORE 960.57
AT ITER 3918 NEW BEST:: SOT 7277 SOS 4571 HAS SOPS 2222 HAS SOUS 1082 HAS SOUPS 954 WITH SCORE 958.571
AT ITER 3928 NEW BEST:: SOT 7302 SOS 4545 HAS SOPS 2196 HAS SOUS 1082 HAS SOUPS 954 WITH SCORE 958.545
AT ITER 3940 NEW BEST:: SOT 7298 SOS 4541 HAS SOPS 2192 HAS SOUS 1081 HAS SOUPS 953 WITH SCORE 957.541
AT ITER 4010 NEW BEST:: SOT 7302 SOS 5075 HAS SOPS 2184 HAS SOUS 1083 HAS SOUPS 946 WITH SCORE 951.075
AT ITER 4072 NEW BEST:: SOT 7300 SOS 5073 HAS SOPS 2181 HAS SOUS 1081 HAS SOUPS 944 WITH SCORE 949.073
AT ITER 4200 NEW BEST:: SOT 7298 SOS 5074 HAS SOPS 2177 HAS SOUS 1077 HAS SOUPS 940 WITH SCORE 945.074
AT ITER 4219 NEW BEST:: SOT 7297 SOS 5072 HAS SOPS 2175 HAS SOUS 1074 HAS SOUPS 937 WITH SCORE 942.072
AT ITER 4236 NEW BEST:: SOT 7297 SOS 5008 HAS SOPS 2175 HAS SOUS 1074 HAS SOUPS 937 WITH SCORE 942.008
AT ITER 4281 NEW BEST:: SOT 7297 SOS 5007 HAS SOPS 2174 HAS SOUS 1073 HAS SOUPS 936 WITH SCORE 941.007
AT ITER 4324 NEW BEST:: SOT 7306 SOS 5016 HAS SOPS 2176 HAS SOUS 1071 HAS SOUPS 934 WITH SCORE 939.016
AT ITER 4372 NEW BEST:: SOT 7314 SOS 5023 HAS SOPS 2175 HAS SOUS 1069 HAS SOUPS 932 WITH SCORE 937.023
AT ITER 4383 NEW BEST:: SOT 7312 SOS 5013 HAS SOPS 2164 HAS SOUS 1056 HAS SOUPS 919 WITH SCORE 924.013
AT ITER 4398 NEW BEST:: SOT 7312 SOS 5013 HAS SOPS 2163 HAS SOUS 1055 HAS SOUPS 918 WITH SCORE 923.013
AT ITER 4409 NEW BEST:: SOT 7284 SOS 4985 HAS SOPS 2139 HAS SOUS 1050 HAS SOUPS 913 WITH SCORE 917.985
AT ITER 4467 NEW BEST:: SOT 7284 SOS 4984 HAS SOPS 2138 HAS SOUS 1049 HAS SOUPS 912 WITH SCORE 916.984
AT ITER 4505 NEW BEST:: SOT 7284 SOS 4982 HAS SOPS 2137 HAS SOUS 1049 HAS SOUPS 912 WITH SCORE 916.982
AT ITER 4508 NEW BEST:: SOT 7283 SOS 4980 HAS SOPS 2134 HAS SOUS 1046 HAS SOUPS 909 WITH SCORE 913.98
AT ITER 4711 NEW BEST:: SOT 7281 SOS 4978 HAS SOPS 2132 HAS SOUS 1044 HAS SOUPS 907 WITH SCORE 911.978
AT ITER 4786 NEW BEST:: SOT 7277 SOS 4974 HAS SOPS 2128 HAS SOUS 1043 HAS SOUPS 906 WITH SCORE 910.974
AT ITER 4893 NEW BEST:: SOT 7273 SOS 4965 HAS SOPS 2118 HAS SOUS 1038 HAS SOUPS 901 WITH SCORE 905.965
AT ITER 4898 NEW BEST:: SOT 7272 SOS 4962 HAS SOPS 2114 HAS SOUS 1034 HAS SOUPS 897 WITH SCORE 901.962
AT ITER 5357 NEW BEST:: SOT 7272 SOS 4959 HAS SOPS 2109 HAS SOUS 1029 HAS SOUPS 892 WITH SCORE 896.959
AT ITER 5466 NEW BEST:: SOT 7271 SOS 4959 HAS SOPS 2108 HAS SOUS 1028 HAS SOUPS 891 WITH SCORE 895.959
AT ITER 5771 NEW BEST:: SOT 7285 SOS 4988 HAS SOPS 2136 HAS SOUS 1026 HAS SOUPS 889 WITH SCORE 893.988
AT ITER 5779 NEW BEST:: SOT 7285 SOS 4987 HAS SOPS 2135 HAS SOUS 1025 HAS SOUPS 888 WITH SCORE 892.987
AT ITER 6054 NEW BEST:: SOT 7283 SOS 4965 HAS SOPS 2121 HAS SOUS 1021 HAS SOUPS 884 WITH SCORE 888.965
AT ITER 6164 NEW BEST:: SOT 7282 SOS 4963 HAS SOPS 2119 HAS SOUS 1021 HAS SOUPS 884 WITH SCORE 888.963
AT ITER 6165 NEW BEST:: SOT 7281 SOS 4962 HAS SOPS 2117 HAS SOUS 1019 HAS SOUPS 882 WITH SCORE 886.962
AT ITER 6258 NEW BEST:: SOT 7278 SOS 4956 HAS SOPS 2111 HAS SOUS 1014 HAS SOUPS 877 WITH SCORE 881.956
AT ITER 6295 NEW BEST:: SOT 7278 SOS 4957 HAS SOPS 2111 HAS SOUS 1013 HAS SOUPS 876 WITH SCORE 880.957
AT ITER 6325 NEW BEST:: SOT 7277 SOS 4956 HAS SOPS 2109 HAS SOUS 1011 HAS SOUPS 874 WITH SCORE 878.956
AT ITER 6331 NEW BEST:: SOT 7276 SOS 4954 HAS SOPS 2107 HAS SOUS 1008 HAS SOUPS 871 WITH SCORE 875.954
AT ITER 6529 NEW BEST:: SOT 7280 SOS 4957 HAS SOPS 2105 HAS SOUS 1007 HAS SOUPS 870 WITH SCORE 874.957
AT ITER 6531 NEW BEST:: SOT 7278 SOS 4954 HAS SOPS 2101 HAS SOUS 1003 HAS SOUPS 866 WITH SCORE 870.954
AT ITER 6688 NEW BEST:: SOT 7271 SOS 4954 HAS SOPS 2094 HAS SOUS 996 HAS SOUPS 859 WITH SCORE 863.954
AT ITER 6786 NEW BEST:: SOT 7269 SOS 4952 HAS SOPS 2092 HAS SOUS 996 HAS SOUPS 859 WITH SCORE 863.952
AT ITER 6838 NEW BEST:: SOT 7268 SOS 4951 HAS SOPS 2091 HAS SOUS 995 HAS SOUPS 858 WITH SCORE 862.951
AT ITER 6923 NEW BEST:: SOT 7267 SOS 4947 HAS SOPS 2087 HAS SOUS 992 HAS SOUPS 855 WITH SCORE 859.947
AT ITER 7366 NEW BEST:: SOT 7279 SOS 4959 HAS SOPS 2095 HAS SOUS 989 HAS SOUPS 852 WITH SCORE 856.959
AT ITER 7487 NEW BEST:: SOT 7275 SOS 4950 HAS SOPS 2087 HAS SOUS 986 HAS SOUPS 849 WITH SCORE 853.95
AT ITER 7529 NEW BEST:: SOT 7275 SOS 4951 HAS SOPS 2087 HAS SOUS 985 HAS SOUPS 848 WITH SCORE 852.951
AT ITER 7534 NEW BEST:: SOT 7275 SOS 4921 HAS SOPS 2087 HAS SOUS 984 HAS SOUPS 848 WITH SCORE 852.921
AT ITER 7811 NEW BEST:: SOT 7274 SOS 4919 HAS SOPS 2085 HAS SOUS 982 HAS SOUPS 846 WITH SCORE 850.919
AT ITER 7819 NEW BEST:: SOT 7277 SOS 4918 HAS SOPS 2087 HAS SOUS 981 HAS SOUPS 845 WITH SCORE 849.918
AT ITER 8103 NEW BEST:: SOT 7276 SOS 4914 HAS SOPS 2085 HAS SOUS 981 HAS SOUPS 845 WITH SCORE 849.914
AT ITER 8141 NEW BEST:: SOT 7271 SOS 4905 HAS SOPS 2075 HAS SOUS 975 HAS SOUPS 839 WITH SCORE 843.905
AT ITER 8368 NEW BEST:: SOT 7271 SOS 4903 HAS SOPS 2075 HAS SOUS 974 HAS SOUPS 838 WITH SCORE 842.903
AT ITER 8515 NEW BEST:: SOT 7272 SOS 4902 HAS SOPS 2074 HAS SOUS 970 HAS SOUPS 834 WITH SCORE 838.902
AT ITER 8745 NEW BEST:: SOT 7270 SOS 4898 HAS SOPS 2070 HAS SOUS 967 HAS SOUPS 831 WITH SCORE 835.898
AT ITER 8748 NEW BEST:: SOT 7269 SOS 4895 HAS SOPS 2068 HAS SOUS 965 HAS SOUPS 829 WITH SCORE 833.895
AT ITER 8769 NEW BEST:: SOT 7268 SOS 4894 HAS SOPS 2066 HAS SOUS 963 HAS SOUPS 827 WITH SCORE 831.894
AT ITER 9001 NEW BEST:: SOT 7268 SOS 4892 HAS SOPS 2064 HAS SOUS 961 HAS SOUPS 825 WITH SCORE 829.892
AT ITER 9237 NEW BEST:: SOT 7265 SOS 4886 HAS SOPS 2058 HAS SOUS 959 HAS SOUPS 823 WITH SCORE 827.886
AT ITER 9266 NEW BEST:: SOT 7263 SOS 4882 HAS SOPS 2053 HAS SOUS 955 HAS SOUPS 819 WITH SCORE 823.882
AT ITER 9427 NEW BEST:: SOT 7264 SOS 4881 HAS SOPS 2053 HAS SOUS 955 HAS SOUPS 819 WITH SCORE 823.881
AT ITER 9436 NEW BEST:: SOT 7264 SOS 4882 HAS SOPS 2053 HAS SOUS 954 HAS SOUPS 818 WITH SCORE 822.882
AT ITER 9553 NEW BEST:: SOT 7262 SOS 4880 HAS SOPS 2051 HAS SOUS 952 HAS SOUPS 816 WITH SCORE 820.88
AT ITER 9688 NEW BEST:: SOT 7262 SOS 4879 HAS SOPS 2050 HAS SOUS 951 HAS SOUPS 815 WITH SCORE 819.879
AT ITER 9753 NEW BEST:: SOT 7261 SOS 4878 HAS SOPS 2048 HAS SOUS 951 HAS SOUPS 815 WITH SCORE 819.878
STATE_SPACE STATES 2985985 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 26666497 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679474717181

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-06a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is FlexibleBarrier-PT-06a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858600464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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