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.r235-tall-167856421800456.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 LeafsetExtension-PT-S08C2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421800456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 13K Feb 25 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 16:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 25 16:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 25 16:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 647K 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 1678657282041

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=LeafsetExtension-PT-S08C2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 21:41:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 21:41:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 21:41:23] [INFO ] Load time of PNML (sax parser for PT used): 78 ms
[2023-03-12 21:41:23] [INFO ] Transformed 462 places.
[2023-03-12 21:41:23] [INFO ] Transformed 409 transitions.
[2023-03-12 21:41:23] [INFO ] Parsed PT model containing 462 places and 409 transitions and 1324 arcs in 138 ms.
[2023-03-12 21:41:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 462 places, 409 transitions and 1324 arcs took 7 ms.
Total runtime 171 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S08C2
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: 462 places, 409 transitions, 1324 arcs.
AT ITER 0 NEW BEST:: SOT 105063 SOS 23254 HAS SOPS 22608 HAS SOUS 20563 HAS SOUPS 20213 WITH SCORE 20236.254
AT ITER 3 NEW BEST:: SOT 105054 SOS 23141 HAS SOPS 22495 HAS SOUS 20552 HAS SOUPS 20202 WITH SCORE 20225.141
AT ITER 25 NEW BEST:: SOT 105015 SOS 23102 HAS SOPS 22456 HAS SOUS 20513 HAS SOUPS 20163 WITH SCORE 20186.102
AT ITER 56 NEW BEST:: SOT 104835 SOS 23118 HAS SOPS 22472 HAS SOUS 20424 HAS SOUPS 20074 WITH SCORE 20097.118
AT ITER 69 NEW BEST:: SOT 104834 SOS 23024 HAS SOPS 22378 HAS SOUS 20422 HAS SOUPS 20072 WITH SCORE 20095.024
AT ITER 72 NEW BEST:: SOT 104809 SOS 23024 HAS SOPS 22378 HAS SOUS 20397 HAS SOUPS 20047 WITH SCORE 20070.024
AT ITER 186 NEW BEST:: SOT 104799 SOS 23004 HAS SOPS 22358 HAS SOUS 20380 HAS SOUPS 20030 WITH SCORE 20053.004
AT ITER 191 NEW BEST:: SOT 104788 SOS 22965 HAS SOPS 22319 HAS SOUS 20358 HAS SOUPS 20008 WITH SCORE 20030.965
AT ITER 255 NEW BEST:: SOT 104688 SOS 22885 HAS SOPS 22239 HAS SOUS 20276 HAS SOUPS 19926 WITH SCORE 19948.885
AT ITER 264 NEW BEST:: SOT 104494 SOS 25449 HAS SOPS 24803 HAS SOUS 20250 HAS SOUPS 19900 WITH SCORE 19925.449
AT ITER 273 NEW BEST:: SOT 104458 SOS 25390 HAS SOPS 24780 HAS SOUS 20201 HAS SOUPS 19861 WITH SCORE 19886.39
AT ITER 306 NEW BEST:: SOT 104420 SOS 22939 HAS SOPS 22329 HAS SOUS 20140 HAS SOUPS 19800 WITH SCORE 19822.939
AT ITER 312 NEW BEST:: SOT 104372 SOS 22994 HAS SOPS 22384 HAS SOUS 20116 HAS SOUPS 19776 WITH SCORE 19798.994
AT ITER 357 NEW BEST:: SOT 104346 SOS 22968 HAS SOPS 22358 HAS SOUS 20107 HAS SOUPS 19767 WITH SCORE 19789.968
AT ITER 358 NEW BEST:: SOT 104349 SOS 22955 HAS SOPS 22338 HAS SOUS 20100 HAS SOUPS 19760 WITH SCORE 19782.955
AT ITER 373 NEW BEST:: SOT 104349 SOS 22969 HAS SOPS 22352 HAS SOUS 20099 HAS SOUPS 19759 WITH SCORE 19781.969
AT ITER 388 NEW BEST:: SOT 104180 SOS 23189 HAS SOPS 22241 HAS SOUS 20037 HAS SOUPS 19648 WITH SCORE 19671.189
AT ITER 397 NEW BEST:: SOT 104180 SOS 23076 HAS SOPS 22128 HAS SOUS 20037 HAS SOUPS 19648 WITH SCORE 19671.076
AT ITER 416 NEW BEST:: SOT 104174 SOS 23046 HAS SOPS 22098 HAS SOUS 20025 HAS SOUPS 19636 WITH SCORE 19659.046
AT ITER 445 NEW BEST:: SOT 104174 SOS 23034 HAS SOPS 21756 HAS SOUS 19846 HAS SOUPS 19329 WITH SCORE 19352.034
AT ITER 457 NEW BEST:: SOT 104172 SOS 23029 HAS SOPS 21755 HAS SOUS 19841 HAS SOUPS 19326 WITH SCORE 19349.029
AT ITER 475 NEW BEST:: SOT 104163 SOS 23021 HAS SOPS 21747 HAS SOUS 19831 HAS SOUPS 19316 WITH SCORE 19339.021
AT ITER 493 NEW BEST:: SOT 104151 SOS 22980 HAS SOPS 21631 HAS SOUS 19734 HAS SOUPS 19219 WITH SCORE 19241.98
AT ITER 529 NEW BEST:: SOT 104151 SOS 22980 HAS SOPS 21631 HAS SOUS 19723 HAS SOUPS 19208 WITH SCORE 19230.98
AT ITER 536 NEW BEST:: SOT 104136 SOS 22979 HAS SOPS 21630 HAS SOUS 19708 HAS SOUPS 19193 WITH SCORE 19215.979
AT ITER 594 NEW BEST:: SOT 104122 SOS 22887 HAS SOPS 21538 HAS SOUS 19694 HAS SOUPS 19179 WITH SCORE 19201.887
AT ITER 601 NEW BEST:: SOT 104106 SOS 22895 HAS SOPS 21546 HAS SOUS 19686 HAS SOUPS 19171 WITH SCORE 19193.895
AT ITER 615 NEW BEST:: SOT 104079 SOS 22873 HAS SOPS 21524 HAS SOUS 19664 HAS SOUPS 19149 WITH SCORE 19171.873
AT ITER 631 NEW BEST:: SOT 104065 SOS 22765 HAS SOPS 21416 HAS SOUS 19636 HAS SOUPS 19121 WITH SCORE 19143.765
AT ITER 632 NEW BEST:: SOT 104065 SOS 22765 HAS SOPS 21416 HAS SOUS 19630 HAS SOUPS 19115 WITH SCORE 19137.765
AT ITER 660 NEW BEST:: SOT 104065 SOS 22765 HAS SOPS 21416 HAS SOUS 19608 HAS SOUPS 19093 WITH SCORE 19115.765
AT ITER 662 NEW BEST:: SOT 104069 SOS 22765 HAS SOPS 21416 HAS SOUS 19580 HAS SOUPS 19065 WITH SCORE 19087.765
AT ITER 669 NEW BEST:: SOT 104076 SOS 22767 HAS SOPS 21418 HAS SOUS 19561 HAS SOUPS 19046 WITH SCORE 19068.767
AT ITER 680 NEW BEST:: SOT 104062 SOS 22753 HAS SOPS 21404 HAS SOUS 19547 HAS SOUPS 19032 WITH SCORE 19054.753
AT ITER 686 NEW BEST:: SOT 104062 SOS 22726 HAS SOPS 21377 HAS SOUS 19547 HAS SOUPS 19032 WITH SCORE 19054.726
AT ITER 726 NEW BEST:: SOT 104048 SOS 22715 HAS SOPS 21366 HAS SOUS 19533 HAS SOUPS 19018 WITH SCORE 19040.715
AT ITER 743 NEW BEST:: SOT 104043 SOS 22689 HAS SOPS 21340 HAS SOUS 19507 HAS SOUPS 18992 WITH SCORE 19014.689
AT ITER 757 NEW BEST:: SOT 104043 SOS 22634 HAS SOPS 21285 HAS SOUS 19507 HAS SOUPS 18992 WITH SCORE 19014.634
AT ITER 763 NEW BEST:: SOT 104053 SOS 22644 HAS SOPS 21295 HAS SOUS 19485 HAS SOUPS 18970 WITH SCORE 18992.644
AT ITER 769 NEW BEST:: SOT 104025 SOS 22582 HAS SOPS 21233 HAS SOUS 19423 HAS SOUPS 18908 WITH SCORE 18930.582
AT ITER 773 NEW BEST:: SOT 104030 SOS 22587 HAS SOPS 21238 HAS SOUS 19393 HAS SOUPS 18878 WITH SCORE 18900.587
AT ITER 858 NEW BEST:: SOT 103996 SOS 22556 HAS SOPS 21207 HAS SOUS 19358 HAS SOUPS 18843 WITH SCORE 18865.556
AT ITER 873 NEW BEST:: SOT 103996 SOS 22545 HAS SOPS 21196 HAS SOUS 19358 HAS SOUPS 18843 WITH SCORE 18865.545
AT ITER 898 NEW BEST:: SOT 103984 SOS 22538 HAS SOPS 21189 HAS SOUS 19352 HAS SOUPS 18837 WITH SCORE 18859.538
AT ITER 904 NEW BEST:: SOT 103970 SOS 22530 HAS SOPS 21181 HAS SOUS 19341 HAS SOUPS 18826 WITH SCORE 18848.53
AT ITER 922 NEW BEST:: SOT 103978 SOS 22538 HAS SOPS 21189 HAS SOUS 19316 HAS SOUPS 18801 WITH SCORE 18823.538
AT ITER 923 NEW BEST:: SOT 103955 SOS 22517 HAS SOPS 21150 HAS SOUS 19277 HAS SOUPS 18762 WITH SCORE 18784.517
AT ITER 927 NEW BEST:: SOT 103920 SOS 22504 HAS SOPS 21137 HAS SOUS 19265 HAS SOUPS 18750 WITH SCORE 18772.504
AT ITER 943 NEW BEST:: SOT 103928 SOS 22504 HAS SOPS 21137 HAS SOUS 19242 HAS SOUPS 18727 WITH SCORE 18749.504
AT ITER 978 NEW BEST:: SOT 103928 SOS 22470 HAS SOPS 21103 HAS SOUS 19242 HAS SOUPS 18727 WITH SCORE 18749.47
AT ITER 1008 NEW BEST:: SOT 103925 SOS 22458 HAS SOPS 21091 HAS SOUS 19230 HAS SOUPS 18715 WITH SCORE 18737.458
AT ITER 1020 NEW BEST:: SOT 103924 SOS 22420 HAS SOPS 21053 HAS SOUS 19228 HAS SOUPS 18713 WITH SCORE 18735.42
AT ITER 1057 NEW BEST:: SOT 103924 SOS 22420 HAS SOPS 21053 HAS SOUS 19217 HAS SOUPS 18702 WITH SCORE 18724.42
AT ITER 1077 NEW BEST:: SOT 103912 SOS 22408 HAS SOPS 21029 HAS SOUS 19215 HAS SOUPS 18696 WITH SCORE 18718.408
AT ITER 1079 NEW BEST:: SOT 103887 SOS 22423 HAS SOPS 21044 HAS SOUS 19168 HAS SOUPS 18649 WITH SCORE 18671.423
AT ITER 1130 NEW BEST:: SOT 103880 SOS 22416 HAS SOPS 21030 HAS SOUS 19161 HAS SOUPS 18635 WITH SCORE 18657.416
AT ITER 1202 NEW BEST:: SOT 103883 SOS 22404 HAS SOPS 21006 HAS SOUS 19152 HAS SOUPS 18626 WITH SCORE 18648.404
AT ITER 1239 NEW BEST:: SOT 103901 SOS 22416 HAS SOPS 21018 HAS SOUS 19139 HAS SOUPS 18613 WITH SCORE 18635.416
AT ITER 1244 NEW BEST:: SOT 103901 SOS 22421 HAS SOPS 21023 HAS SOUS 19135 HAS SOUPS 18609 WITH SCORE 18631.421
AT ITER 1256 NEW BEST:: SOT 103901 SOS 22421 HAS SOPS 21023 HAS SOUS 19098 HAS SOUPS 18572 WITH SCORE 18594.421
AT ITER 1257 NEW BEST:: SOT 103876 SOS 22283 HAS SOPS 20885 HAS SOUS 19045 HAS SOUPS 18519 WITH SCORE 18541.283
AT ITER 1269 NEW BEST:: SOT 103852 SOS 22277 HAS SOPS 20879 HAS SOUS 19029 HAS SOUPS 18503 WITH SCORE 18525.277
AT ITER 1279 NEW BEST:: SOT 103852 SOS 22278 HAS SOPS 20880 HAS SOUS 19026 HAS SOUPS 18500 WITH SCORE 18522.278
AT ITER 1297 NEW BEST:: SOT 103845 SOS 22284 HAS SOPS 20879 HAS SOUS 19019 HAS SOUPS 18486 WITH SCORE 18508.284
AT ITER 1308 NEW BEST:: SOT 103725 SOS 22284 HAS SOPS 20879 HAS SOUS 18980 HAS SOUPS 18447 WITH SCORE 18469.284
AT ITER 1325 NEW BEST:: SOT 103725 SOS 22276 HAS SOPS 20871 HAS SOUS 18972 HAS SOUPS 18439 WITH SCORE 18461.276
AT ITER 1365 NEW BEST:: SOT 103695 SOS 22276 HAS SOPS 20871 HAS SOUS 18946 HAS SOUPS 18413 WITH SCORE 18435.276
AT ITER 1374 NEW BEST:: SOT 103457 SOS 22067 HAS SOPS 20662 HAS SOUS 18737 HAS SOUPS 18204 WITH SCORE 18226.067
AT ITER 1376 NEW BEST:: SOT 103482 SOS 22072 HAS SOPS 20386 HAS SOUS 18539 HAS SOUPS 17973 WITH SCORE 17995.072
AT ITER 1473 NEW BEST:: SOT 103461 SOS 21988 HAS SOPS 20302 HAS SOUS 18497 HAS SOUPS 17931 WITH SCORE 17952.988
AT ITER 1488 NEW BEST:: SOT 103438 SOS 21988 HAS SOPS 20302 HAS SOUS 18474 HAS SOUPS 17908 WITH SCORE 17929.988
AT ITER 1533 NEW BEST:: SOT 103431 SOS 21921 HAS SOPS 20254 HAS SOUS 18460 HAS SOUPS 17894 WITH SCORE 17915.921
AT ITER 1541 NEW BEST:: SOT 103424 SOS 21893 HAS SOPS 20226 HAS SOUS 18446 HAS SOUPS 17880 WITH SCORE 17901.893
AT ITER 1589 NEW BEST:: SOT 103411 SOS 21880 HAS SOPS 20213 HAS SOUS 18432 HAS SOUPS 17866 WITH SCORE 17887.88
AT ITER 1594 NEW BEST:: SOT 103404 SOS 21853 HAS SOPS 20183 HAS SOUS 18402 HAS SOUPS 17836 WITH SCORE 17857.853
AT ITER 1603 NEW BEST:: SOT 103404 SOS 21833 HAS SOPS 20163 HAS SOUS 18402 HAS SOUPS 17836 WITH SCORE 17857.833
AT ITER 1614 NEW BEST:: SOT 103401 SOS 21823 HAS SOPS 20160 HAS SOUS 18399 HAS SOUPS 17833 WITH SCORE 17854.823
AT ITER 1678 NEW BEST:: SOT 103404 SOS 21809 HAS SOPS 20146 HAS SOUS 18385 HAS SOUPS 17819 WITH SCORE 17840.809
AT ITER 1694 NEW BEST:: SOT 103400 SOS 21719 HAS SOPS 20056 HAS SOUS 18378 HAS SOUPS 17812 WITH SCORE 17833.719
AT ITER 1734 NEW BEST:: SOT 103399 SOS 21718 HAS SOPS 20055 HAS SOUS 18377 HAS SOUPS 17811 WITH SCORE 17832.718
AT ITER 1758 NEW BEST:: SOT 103377 SOS 21581 HAS SOPS 19918 HAS SOUS 18341 HAS SOUPS 17775 WITH SCORE 17796.581
AT ITER 1761 NEW BEST:: SOT 103362 SOS 21566 HAS SOPS 19903 HAS SOUS 18322 HAS SOUPS 17756 WITH SCORE 17777.566
AT ITER 1762 NEW BEST:: SOT 103358 SOS 21562 HAS SOPS 19899 HAS SOUS 18314 HAS SOUPS 17748 WITH SCORE 17769.562
AT ITER 1768 NEW BEST:: SOT 103347 SOS 21539 HAS SOPS 19876 HAS SOUS 18303 HAS SOUPS 17737 WITH SCORE 17758.539
AT ITER 1788 NEW BEST:: SOT 103332 SOS 21539 HAS SOPS 19876 HAS SOUS 18295 HAS SOUPS 17729 WITH SCORE 17750.539
AT ITER 1812 NEW BEST:: SOT 103329 SOS 21536 HAS SOPS 19870 HAS SOUS 18289 HAS SOUPS 17723 WITH SCORE 17744.536
AT ITER 1825 NEW BEST:: SOT 103329 SOS 21552 HAS SOPS 19886 HAS SOUS 18284 HAS SOUPS 17718 WITH SCORE 17739.552
AT ITER 1879 NEW BEST:: SOT 103329 SOS 21552 HAS SOPS 19886 HAS SOUS 18276 HAS SOUPS 17710 WITH SCORE 17731.552
AT ITER 1938 NEW BEST:: SOT 103367 SOS 21854 HAS SOPS 19876 HAS SOUS 18323 HAS SOUPS 17706 WITH SCORE 17727.854
AT ITER 1941 NEW BEST:: SOT 103363 SOS 21850 HAS SOPS 19876 HAS SOUS 18323 HAS SOUPS 17706 WITH SCORE 17727.85
AT ITER 1945 NEW BEST:: SOT 103349 SOS 21822 HAS SOPS 19848 HAS SOUS 18309 HAS SOUPS 17692 WITH SCORE 17713.822
AT ITER 1949 NEW BEST:: SOT 103344 SOS 21817 HAS SOPS 19843 HAS SOUS 18299 HAS SOUPS 17682 WITH SCORE 17703.817
AT ITER 1981 NEW BEST:: SOT 103338 SOS 21811 HAS SOPS 19822 HAS SOUS 18292 HAS SOUPS 17661 WITH SCORE 17682.811
AT ITER 2020 NEW BEST:: SOT 103335 SOS 21796 HAS SOPS 19807 HAS SOUS 18286 HAS SOUPS 17655 WITH SCORE 17676.796
AT ITER 2027 NEW BEST:: SOT 103335 SOS 21735 HAS SOPS 19746 HAS SOUS 18264 HAS SOUPS 17633 WITH SCORE 17654.735
AT ITER 2030 NEW BEST:: SOT 103333 SOS 21733 HAS SOPS 19744 HAS SOUS 18262 HAS SOUPS 17631 WITH SCORE 17652.733
AT ITER 2036 NEW BEST:: SOT 103346 SOS 22183 HAS SOPS 19725 HAS SOUS 18322 HAS SOUPS 17619 WITH SCORE 17641.183
AT ITER 2101 NEW BEST:: SOT 103322 SOS 21881 HAS SOPS 19710 HAS SOUS 18268 HAS SOUPS 17604 WITH SCORE 17625.881
AT ITER 2107 NEW BEST:: SOT 103336 SOS 21895 HAS SOPS 19724 HAS SOUS 18253 HAS SOUPS 17589 WITH SCORE 17610.895
AT ITER 2109 NEW BEST:: SOT 103310 SOS 21869 HAS SOPS 19667 HAS SOUS 18225 HAS SOUPS 17561 WITH SCORE 17582.869
AT ITER 2128 NEW BEST:: SOT 103310 SOS 21854 HAS SOPS 19652 HAS SOUS 18225 HAS SOUPS 17561 WITH SCORE 17582.854
AT ITER 2171 NEW BEST:: SOT 103219 SOS 21977 HAS SOPS 19775 HAS SOUS 18190 HAS SOUPS 17526 WITH SCORE 17547.977
AT ITER 2174 NEW BEST:: SOT 103201 SOS 21961 HAS SOPS 19759 HAS SOUS 18172 HAS SOUPS 17508 WITH SCORE 17529.961
AT ITER 2177 NEW BEST:: SOT 103188 SOS 21948 HAS SOPS 19733 HAS SOUS 18146 HAS SOUPS 17482 WITH SCORE 17503.948
AT ITER 2217 NEW BEST:: SOT 103188 SOS 21914 HAS SOPS 19699 HAS SOUS 18146 HAS SOUPS 17482 WITH SCORE 17503.914
AT ITER 2240 NEW BEST:: SOT 103158 SOS 21901 HAS SOPS 19686 HAS SOUS 18129 HAS SOUPS 17465 WITH SCORE 17486.901
AT ITER 2254 NEW BEST:: SOT 103182 SOS 22168 HAS SOPS 19666 HAS SOUS 18148 HAS SOUPS 17445 WITH SCORE 17467.168
AT ITER 2257 NEW BEST:: SOT 103182 SOS 22168 HAS SOPS 19666 HAS SOUS 18147 HAS SOUPS 17444 WITH SCORE 17466.168
AT ITER 2381 NEW BEST:: SOT 103180 SOS 22166 HAS SOPS 19664 HAS SOUS 18143 HAS SOUPS 17440 WITH SCORE 17462.166
AT ITER 2403 NEW BEST:: SOT 103193 SOS 22179 HAS SOPS 19677 HAS SOUS 18139 HAS SOUPS 17436 WITH SCORE 17458.179
AT ITER 2451 NEW BEST:: SOT 103190 SOS 22266 HAS SOPS 19754 HAS SOUS 18138 HAS SOUPS 17429 WITH SCORE 17451.266
AT ITER 2491 NEW BEST:: SOT 103183 SOS 22234 HAS SOPS 19722 HAS SOUS 18124 HAS SOUPS 17415 WITH SCORE 17437.234
AT ITER 2504 NEW BEST:: SOT 103183 SOS 22226 HAS SOPS 19714 HAS SOUS 18122 HAS SOUPS 17413 WITH SCORE 17435.226
AT ITER 2529 NEW BEST:: SOT 103176 SOS 22183 HAS SOPS 19671 HAS SOUS 18115 HAS SOUPS 17406 WITH SCORE 17428.183
AT ITER 2536 NEW BEST:: SOT 103176 SOS 22197 HAS SOPS 19685 HAS SOUS 18102 HAS SOUPS 17393 WITH SCORE 17415.197
AT ITER 2539 NEW BEST:: SOT 103175 SOS 22207 HAS SOPS 19684 HAS SOUS 18101 HAS SOUPS 17392 WITH SCORE 17414.207
AT ITER 2580 NEW BEST:: SOT 103148 SOS 22347 HAS SOPS 19824 HAS SOUS 18076 HAS SOUPS 17367 WITH SCORE 17389.347
AT ITER 2585 NEW BEST:: SOT 103148 SOS 22337 HAS SOPS 19814 HAS SOUS 18076 HAS SOUPS 17367 WITH SCORE 17389.337
AT ITER 2599 NEW BEST:: SOT 103133 SOS 22187 HAS SOPS 19799 HAS SOUS 18046 HAS SOUPS 17352 WITH SCORE 17374.187
AT ITER 2611 NEW BEST:: SOT 103133 SOS 22423 HAS SOPS 19798 HAS SOUS 18052 HAS SOUPS 17314 WITH SCORE 17336.423
AT ITER 2614 NEW BEST:: SOT 103139 SOS 22429 HAS SOPS 19804 HAS SOUS 18049 HAS SOUPS 17311 WITH SCORE 17333.429
AT ITER 2762 NEW BEST:: SOT 103095 SOS 22402 HAS SOPS 19751 HAS SOUS 17972 HAS SOUPS 17234 WITH SCORE 17256.402
AT ITER 2844 NEW BEST:: SOT 103092 SOS 22399 HAS SOPS 19748 HAS SOUS 17969 HAS SOUPS 17231 WITH SCORE 17253.399
AT ITER 2866 NEW BEST:: SOT 103092 SOS 22380 HAS SOPS 19729 HAS SOUS 17969 HAS SOUPS 17231 WITH SCORE 17253.38
AT ITER 2985 NEW BEST:: SOT 103092 SOS 22379 HAS SOPS 19728 HAS SOUS 17960 HAS SOUPS 17222 WITH SCORE 17244.379
AT ITER 3042 NEW BEST:: SOT 103092 SOS 22369 HAS SOPS 19718 HAS SOUS 17958 HAS SOUPS 17220 WITH SCORE 17242.369
AT ITER 3112 NEW BEST:: SOT 103080 SOS 22354 HAS SOPS 19703 HAS SOUS 17954 HAS SOUPS 17216 WITH SCORE 17238.354
AT ITER 3115 NEW BEST:: SOT 103079 SOS 22344 HAS SOPS 19701 HAS SOUS 17952 HAS SOUPS 17214 WITH SCORE 17236.344
AT ITER 3131 NEW BEST:: SOT 103079 SOS 22329 HAS SOPS 19686 HAS SOUS 17952 HAS SOUPS 17214 WITH SCORE 17236.329
AT ITER 3138 NEW BEST:: SOT 103075 SOS 22325 HAS SOPS 19682 HAS SOUS 17944 HAS SOUPS 17206 WITH SCORE 17228.325
AT ITER 3168 NEW BEST:: SOT 103075 SOS 22310 HAS SOPS 19667 HAS SOUS 17944 HAS SOUPS 17206 WITH SCORE 17228.31
AT ITER 3180 NEW BEST:: SOT 103064 SOS 22322 HAS SOPS 19668 HAS SOUS 17936 HAS SOUPS 17189 WITH SCORE 17211.322
AT ITER 3191 NEW BEST:: SOT 103064 SOS 22315 HAS SOPS 19661 HAS SOUS 17929 HAS SOUPS 17182 WITH SCORE 17204.315
AT ITER 3239 NEW BEST:: SOT 103064 SOS 22315 HAS SOPS 19661 HAS SOUS 17916 HAS SOUPS 17169 WITH SCORE 17191.315
AT ITER 3240 NEW BEST:: SOT 102965 SOS 21743 HAS SOPS 19562 HAS SOUS 17760 HAS SOUPS 17086 WITH SCORE 17107.743
AT ITER 3253 NEW BEST:: SOT 102959 SOS 21737 HAS SOPS 19556 HAS SOUS 17748 HAS SOUPS 17074 WITH SCORE 17095.737
AT ITER 3308 NEW BEST:: SOT 103123 SOS 22279 HAS SOPS 19799 HAS SOUS 17633 HAS SOUPS 16949 WITH SCORE 16971.279
AT ITER 3322 NEW BEST:: SOT 103114 SOS 22265 HAS SOPS 19750 HAS SOUS 17631 HAS SOUPS 16929 WITH SCORE 16951.265
AT ITER 3380 NEW BEST:: SOT 103112 SOS 22261 HAS SOPS 19746 HAS SOUS 17625 HAS SOUPS 16923 WITH SCORE 16945.261
AT ITER 3390 NEW BEST:: SOT 103112 SOS 22258 HAS SOPS 19743 HAS SOUS 17624 HAS SOUPS 16922 WITH SCORE 16944.258
AT ITER 3475 NEW BEST:: SOT 103109 SOS 22257 HAS SOPS 19739 HAS SOUS 17622 HAS SOUPS 16920 WITH SCORE 16942.257
AT ITER 3526 NEW BEST:: SOT 103102 SOS 22293 HAS SOPS 19743 HAS SOUS 17617 HAS SOUPS 16911 WITH SCORE 16933.293
AT ITER 3542 NEW BEST:: SOT 103102 SOS 22284 HAS SOPS 19734 HAS SOUS 17608 HAS SOUPS 16902 WITH SCORE 16924.284
AT ITER 3612 NEW BEST:: SOT 103102 SOS 22284 HAS SOPS 19734 HAS SOUS 17579 HAS SOUPS 16873 WITH SCORE 16895.284
AT ITER 3645 NEW BEST:: SOT 103101 SOS 22283 HAS SOPS 19733 HAS SOUS 17577 HAS SOUPS 16871 WITH SCORE 16893.283
AT ITER 3651 NEW BEST:: SOT 103098 SOS 22283 HAS SOPS 19733 HAS SOUS 17574 HAS SOUPS 16868 WITH SCORE 16890.283
AT ITER 3671 NEW BEST:: SOT 103096 SOS 22256 HAS SOPS 19718 HAS SOUS 17559 HAS SOUPS 16853 WITH SCORE 16875.256
AT ITER 3709 NEW BEST:: SOT 103053 SOS 22213 HAS SOPS 19675 HAS SOUS 17512 HAS SOUPS 16806 WITH SCORE 16828.213
AT ITER 3716 NEW BEST:: SOT 103053 SOS 22207 HAS SOPS 19669 HAS SOUS 17506 HAS SOUPS 16800 WITH SCORE 16822.207
AT ITER 3765 NEW BEST:: SOT 103051 SOS 22195 HAS SOPS 19657 HAS SOUS 17500 HAS SOUPS 16794 WITH SCORE 16816.195
AT ITER 3776 NEW BEST:: SOT 103051 SOS 22192 HAS SOPS 19654 HAS SOUS 17497 HAS SOUPS 16791 WITH SCORE 16813.192
AT ITER 3781 NEW BEST:: SOT 103047 SOS 22153 HAS SOPS 19647 HAS SOUS 17490 HAS SOUPS 16788 WITH SCORE 16810.153
AT ITER 3783 NEW BEST:: SOT 103047 SOS 22133 HAS SOPS 19636 HAS SOUS 17490 HAS SOUPS 16788 WITH SCORE 16810.133
AT ITER 3795 NEW BEST:: SOT 103045 SOS 22132 HAS SOPS 19632 HAS SOUS 17486 HAS SOUPS 16784 WITH SCORE 16806.132
AT ITER 3802 NEW BEST:: SOT 103028 SOS 21979 HAS SOPS 19479 HAS SOUS 17462 HAS SOUPS 16760 WITH SCORE 16781.979
AT ITER 4001 NEW BEST:: SOT 103028 SOS 21974 HAS SOPS 19474 HAS SOUS 17462 HAS SOUPS 16760 WITH SCORE 16781.974
AT ITER 4144 NEW BEST:: SOT 103016 SOS 21962 HAS SOPS 19462 HAS SOUS 17438 HAS SOUPS 16736 WITH SCORE 16757.962
AT ITER 4188 NEW BEST:: SOT 103008 SOS 22090 HAS SOPS 19460 HAS SOUS 17439 HAS SOUPS 16714 WITH SCORE 16736.09
AT ITER 4241 NEW BEST:: SOT 103008 SOS 22080 HAS SOPS 19450 HAS SOUS 17439 HAS SOUPS 16714 WITH SCORE 16736.08
AT ITER 4324 NEW BEST:: SOT 103005 SOS 22097 HAS SOPS 19464 HAS SOUS 17432 HAS SOUPS 16707 WITH SCORE 16729.097
AT ITER 4347 NEW BEST:: SOT 102964 SOS 22056 HAS SOPS 19423 HAS SOUS 17350 HAS SOUPS 16625 WITH SCORE 16647.056
AT ITER 4348 NEW BEST:: SOT 102930 SOS 22192 HAS SOPS 19559 HAS SOUS 17347 HAS SOUPS 16622 WITH SCORE 16644.192
AT ITER 4369 NEW BEST:: SOT 102930 SOS 22160 HAS SOPS 19552 HAS SOUS 17347 HAS SOUPS 16622 WITH SCORE 16644.16
AT ITER 4394 NEW BEST:: SOT 102930 SOS 22160 HAS SOPS 19552 HAS SOUS 17344 HAS SOUPS 16619 WITH SCORE 16641.16
AT ITER 4397 NEW BEST:: SOT 102930 SOS 22156 HAS SOPS 19548 HAS SOUS 17340 HAS SOUPS 16615 WITH SCORE 16637.156
AT ITER 4448 NEW BEST:: SOT 102927 SOS 22153 HAS SOPS 19545 HAS SOUS 17334 HAS SOUPS 16609 WITH SCORE 16631.153
AT ITER 4473 NEW BEST:: SOT 102905 SOS 22144 HAS SOPS 19536 HAS SOUS 17312 HAS SOUPS 16587 WITH SCORE 16609.144
AT ITER 4578 NEW BEST:: SOT 102905 SOS 22125 HAS SOPS 19517 HAS SOUS 17312 HAS SOUPS 16587 WITH SCORE 16609.125
AT ITER 4579 NEW BEST:: SOT 102905 SOS 22110 HAS SOPS 19502 HAS SOUS 17312 HAS SOUPS 16587 WITH SCORE 16609.11
AT ITER 4586 NEW BEST:: SOT 102905 SOS 22096 HAS SOPS 19488 HAS SOUS 17312 HAS SOUPS 16587 WITH SCORE 16609.096
AT ITER 4621 NEW BEST:: SOT 102905 SOS 22095 HAS SOPS 19487 HAS SOUS 17311 HAS SOUPS 16586 WITH SCORE 16608.095
AT ITER 4659 NEW BEST:: SOT 102902 SOS 22092 HAS SOPS 19481 HAS SOUS 17308 HAS SOUPS 16580 WITH SCORE 16602.092
AT ITER 4719 NEW BEST:: SOT 102905 SOS 22100 HAS SOPS 19484 HAS SOUS 17309 HAS SOUPS 16579 WITH SCORE 16601.1
AT ITER 4773 NEW BEST:: SOT 102905 SOS 22092 HAS SOPS 19484 HAS SOUS 17309 HAS SOUPS 16579 WITH SCORE 16601.092
AT ITER 4959 NEW BEST:: SOT 102900 SOS 22087 HAS SOPS 19479 HAS SOUS 17304 HAS SOUPS 16574 WITH SCORE 16596.087
AT ITER 4975 NEW BEST:: SOT 102900 SOS 22094 HAS SOPS 19486 HAS SOUS 17303 HAS SOUPS 16573 WITH SCORE 16595.094
AT ITER 4983 NEW BEST:: SOT 102900 SOS 22075 HAS SOPS 19467 HAS SOUS 17298 HAS SOUPS 16568 WITH SCORE 16590.075
AT ITER 5096 NEW BEST:: SOT 102896 SOS 22067 HAS SOPS 19459 HAS SOUS 17290 HAS SOUPS 16560 WITH SCORE 16582.067
AT ITER 5123 NEW BEST:: SOT 102894 SOS 22060 HAS SOPS 19452 HAS SOUS 17286 HAS SOUPS 16556 WITH SCORE 16578.06
AT ITER 5128 NEW BEST:: SOT 102894 SOS 22011 HAS SOPS 19403 HAS SOUS 17279 HAS SOUPS 16549 WITH SCORE 16571.011
AT ITER 5178 NEW BEST:: SOT 102855 SOS 21964 HAS SOPS 19356 HAS SOUS 17247 HAS SOUPS 16517 WITH SCORE 16538.964
AT ITER 5184 NEW BEST:: SOT 102855 SOS 21874 HAS SOPS 19266 HAS SOUS 17247 HAS SOUPS 16517 WITH SCORE 16538.874
AT ITER 5218 NEW BEST:: SOT 102874 SOS 21890 HAS SOPS 19282 HAS SOUS 17239 HAS SOUPS 16509 WITH SCORE 16530.89
AT ITER 5252 NEW BEST:: SOT 102871 SOS 21914 HAS SOPS 19301 HAS SOUS 17238 HAS SOUPS 16508 WITH SCORE 16529.914
AT ITER 5260 NEW BEST:: SOT 102871 SOS 21884 HAS SOPS 19271 HAS SOUS 17238 HAS SOUPS 16508 WITH SCORE 16529.884
AT ITER 5288 NEW BEST:: SOT 102869 SOS 21866 HAS SOPS 19253 HAS SOUS 17231 HAS SOUPS 16501 WITH SCORE 16522.866
AT ITER 5347 NEW BEST:: SOT 102868 SOS 21865 HAS SOPS 19252 HAS SOUS 17229 HAS SOUPS 16499 WITH SCORE 16520.865
AT ITER 5379 NEW BEST:: SOT 102860 SOS 21849 HAS SOPS 19228 HAS SOUS 17211 HAS SOUPS 16481 WITH SCORE 16502.849
AT ITER 5381 NEW BEST:: SOT 102860 SOS 21831 HAS SOPS 19210 HAS SOUS 17211 HAS SOUPS 16481 WITH SCORE 16502.831
AT ITER 5386 NEW BEST:: SOT 102799 SOS 21760 HAS SOPS 19197 HAS SOUS 17178 HAS SOUPS 16461 WITH SCORE 16482.76
AT ITER 5389 NEW BEST:: SOT 102788 SOS 21757 HAS SOPS 19194 HAS SOUS 17176 HAS SOUPS 16459 WITH SCORE 16480.757
AT ITER 5395 NEW BEST:: SOT 102788 SOS 21753 HAS SOPS 19190 HAS SOUS 17176 HAS SOUPS 16459 WITH SCORE 16480.753
AT ITER 5409 NEW BEST:: SOT 102786 SOS 21751 HAS SOPS 19188 HAS SOUS 17174 HAS SOUPS 16457 WITH SCORE 16478.751
AT ITER 5412 NEW BEST:: SOT 102776 SOS 21730 HAS SOPS 19167 HAS SOUS 17153 HAS SOUPS 16436 WITH SCORE 16457.73
AT ITER 5493 NEW BEST:: SOT 102784 SOS 21738 HAS SOPS 19159 HAS SOUS 17158 HAS SOUPS 16431 WITH SCORE 16452.738
AT ITER 5551 NEW BEST:: SOT 102788 SOS 21742 HAS SOPS 19151 HAS SOUS 17164 HAS SOUPS 16425 WITH SCORE 16446.742
AT ITER 5617 NEW BEST:: SOT 102782 SOS 21730 HAS SOPS 19145 HAS SOUS 17152 HAS SOUPS 16413 WITH SCORE 16434.73
AT ITER 5621 NEW BEST:: SOT 102782 SOS 21728 HAS SOPS 19143 HAS SOUS 17150 HAS SOUPS 16411 WITH SCORE 16432.728
AT ITER 5624 NEW BEST:: SOT 102770 SOS 21716 HAS SOPS 19131 HAS SOUS 17142 HAS SOUPS 16403 WITH SCORE 16424.716
AT ITER 5679 NEW BEST:: SOT 102770 SOS 21587 HAS SOPS 19002 HAS SOUS 17102 HAS SOUPS 16363 WITH SCORE 16384.587
AT ITER 5738 NEW BEST:: SOT 102770 SOS 21587 HAS SOPS 19002 HAS SOUS 17100 HAS SOUPS 16361 WITH SCORE 16382.587
AT ITER 5747 NEW BEST:: SOT 102775 SOS 21595 HAS SOPS 19001 HAS SOUS 17098 HAS SOUPS 16359 WITH SCORE 16380.595
AT ITER 5785 NEW BEST:: SOT 102766 SOS 21577 HAS SOPS 18974 HAS SOUS 17071 HAS SOUPS 16332 WITH SCORE 16353.577
AT ITER 5821 NEW BEST:: SOT 102766 SOS 21572 HAS SOPS 18969 HAS SOUS 17066 HAS SOUPS 16327 WITH SCORE 16348.572
AT ITER 5822 NEW BEST:: SOT 102763 SOS 21566 HAS SOPS 18963 HAS SOUS 17060 HAS SOUPS 16321 WITH SCORE 16342.566
AT ITER 5880 NEW BEST:: SOT 102757 SOS 21554 HAS SOPS 18951 HAS SOUS 17048 HAS SOUPS 16309 WITH SCORE 16330.554
AT ITER 5929 NEW BEST:: SOT 102753 SOS 21840 HAS SOPS 18933 HAS SOUS 17060 HAS SOUPS 16287 WITH SCORE 16308.84
AT ITER 5966 NEW BEST:: SOT 102753 SOS 21841 HAS SOPS 18934 HAS SOUS 17057 HAS SOUPS 16284 WITH SCORE 16305.841
AT ITER 6320 NEW BEST:: SOT 102745 SOS 21793 HAS SOPS 18886 HAS SOUS 17041 HAS SOUPS 16268 WITH SCORE 16289.793
AT ITER 6419 NEW BEST:: SOT 102742 SOS 21790 HAS SOPS 18883 HAS SOUS 17035 HAS SOUPS 16262 WITH SCORE 16283.79
AT ITER 6428 NEW BEST:: SOT 102738 SOS 21786 HAS SOPS 18879 HAS SOUS 17018 HAS SOUPS 16245 WITH SCORE 16266.786
AT ITER 6463 NEW BEST:: SOT 102738 SOS 21770 HAS SOPS 18863 HAS SOUS 17010 HAS SOUPS 16237 WITH SCORE 16258.77
AT ITER 6596 NEW BEST:: SOT 102738 SOS 21756 HAS SOPS 18849 HAS SOUS 17010 HAS SOUPS 16237 WITH SCORE 16258.756
AT ITER 6612 NEW BEST:: SOT 102738 SOS 21749 HAS SOPS 18842 HAS SOUS 17003 HAS SOUPS 16230 WITH SCORE 16251.749
AT ITER 6684 NEW BEST:: SOT 102735 SOS 21731 HAS SOPS 18816 HAS SOUS 16995 HAS SOUPS 16222 WITH SCORE 16243.731
AT ITER 6695 NEW BEST:: SOT 102735 SOS 21714 HAS SOPS 18799 HAS SOUS 16995 HAS SOUPS 16222 WITH SCORE 16243.714
AT ITER 6741 NEW BEST:: SOT 102733 SOS 21701 HAS SOPS 18784 HAS SOUS 16984 HAS SOUPS 16211 WITH SCORE 16232.701
AT ITER 6792 NEW BEST:: SOT 102729 SOS 21697 HAS SOPS 18780 HAS SOUS 16976 HAS SOUPS 16203 WITH SCORE 16224.697
AT ITER 6801 NEW BEST:: SOT 102729 SOS 21667 HAS SOPS 18750 HAS SOUS 16976 HAS SOUPS 16203 WITH SCORE 16224.667
AT ITER 6837 NEW BEST:: SOT 102706 SOS 21615 HAS SOPS 18684 HAS SOUS 16946 HAS SOUPS 16173 WITH SCORE 16194.615
AT ITER 6854 NEW BEST:: SOT 102705 SOS 21615 HAS SOPS 18683 HAS SOUS 16945 HAS SOUPS 16172 WITH SCORE 16193.615
AT ITER 6878 NEW BEST:: SOT 102689 SOS 21694 HAS SOPS 18762 HAS SOUS 16943 HAS SOUPS 16170 WITH SCORE 16191.694
AT ITER 6948 NEW BEST:: SOT 102698 SOS 21711 HAS SOPS 18779 HAS SOUS 16934 HAS SOUPS 16161 WITH SCORE 16182.711
AT ITER 6955 NEW BEST:: SOT 102694 SOS 21707 HAS SOPS 18780 HAS SOUS 16931 HAS SOUPS 16158 WITH SCORE 16179.707
AT ITER 7068 NEW BEST:: SOT 102694 SOS 21697 HAS SOPS 18770 HAS SOUS 16931 HAS SOUPS 16158 WITH SCORE 16179.697
AT ITER 7149 NEW BEST:: SOT 102714 SOS 21695 HAS SOPS 18768 HAS SOUS 16929 HAS SOUPS 16156 WITH SCORE 16177.695
AT ITER 7178 NEW BEST:: SOT 102718 SOS 21701 HAS SOPS 18764 HAS SOUS 16925 HAS SOUPS 16152 WITH SCORE 16173.701
AT ITER 7265 NEW BEST:: SOT 102718 SOS 21690 HAS SOPS 18753 HAS SOUS 16918 HAS SOUPS 16145 WITH SCORE 16166.69
AT ITER 7308 NEW BEST:: SOT 102715 SOS 21687 HAS SOPS 18750 HAS SOUS 16915 HAS SOUPS 16142 WITH SCORE 16163.687
AT ITER 7323 NEW BEST:: SOT 102715 SOS 21687 HAS SOPS 18735 HAS SOUS 16911 HAS SOUPS 16138 WITH SCORE 16159.687
AT ITER 7347 NEW BEST:: SOT 102699 SOS 21778 HAS SOPS 18719 HAS SOUS 16926 HAS SOUPS 16133 WITH SCORE 16154.778
AT ITER 7350 NEW BEST:: SOT 102695 SOS 21772 HAS SOPS 18713 HAS SOUS 16918 HAS SOUPS 16125 WITH SCORE 16146.772
AT ITER 7358 NEW BEST:: SOT 102704 SOS 21756 HAS SOPS 18697 HAS SOUS 16902 HAS SOUPS 16109 WITH SCORE 16130.756
AT ITER 7370 NEW BEST:: SOT 102704 SOS 21744 HAS SOPS 18685 HAS SOUS 16890 HAS SOUPS 16097 WITH SCORE 16118.744
AT ITER 7380 NEW BEST:: SOT 102701 SOS 21745 HAS SOPS 18683 HAS SOUS 16891 HAS SOUPS 16095 WITH SCORE 16116.745
AT ITER 7388 NEW BEST:: SOT 102701 SOS 21693 HAS SOPS 18631 HAS SOUS 16877 HAS SOUPS 16081 WITH SCORE 16102.693
AT ITER 7419 NEW BEST:: SOT 102701 SOS 21692 HAS SOPS 18630 HAS SOUS 16877 HAS SOUPS 16081 WITH SCORE 16102.692
AT ITER 7424 NEW BEST:: SOT 102651 SOS 21683 HAS SOPS 18579 HAS SOUS 16858 HAS SOUPS 16048 WITH SCORE 16069.683
AT ITER 7477 NEW BEST:: SOT 102643 SOS 21695 HAS SOPS 18583 HAS SOUS 16842 HAS SOUPS 16032 WITH SCORE 16053.695
AT ITER 7635 NEW BEST:: SOT 102634 SOS 21682 HAS SOPS 18570 HAS SOUS 16829 HAS SOUPS 16019 WITH SCORE 16040.682
AT ITER 7779 NEW BEST:: SOT 102634 SOS 21671 HAS SOPS 18559 HAS SOUS 16829 HAS SOUPS 16019 WITH SCORE 16040.671
AT ITER 7805 NEW BEST:: SOT 102634 SOS 21657 HAS SOPS 18545 HAS SOUS 16815 HAS SOUPS 16005 WITH SCORE 16026.657
AT ITER 7814 NEW BEST:: SOT 102632 SOS 21655 HAS SOPS 18543 HAS SOUS 16814 HAS SOUPS 16004 WITH SCORE 16025.655
AT ITER 7932 NEW BEST:: SOT 102632 SOS 21652 HAS SOPS 18540 HAS SOUS 16814 HAS SOUPS 16004 WITH SCORE 16025.652
AT ITER 8033 NEW BEST:: SOT 102635 SOS 21632 HAS SOPS 18520 HAS SOUS 16794 HAS SOUPS 15984 WITH SCORE 16005.632
AT ITER 8077 NEW BEST:: SOT 102635 SOS 21628 HAS SOPS 18516 HAS SOUS 16790 HAS SOUPS 15980 WITH SCORE 16001.628
AT ITER 8080 NEW BEST:: SOT 102630 SOS 21618 HAS SOPS 18506 HAS SOUS 16780 HAS SOUPS 15970 WITH SCORE 15991.618
AT ITER 8224 NEW BEST:: SOT 102630 SOS 21616 HAS SOPS 18504 HAS SOUS 16780 HAS SOUPS 15970 WITH SCORE 15991.616
AT ITER 8232 NEW BEST:: SOT 102630 SOS 21611 HAS SOPS 18499 HAS SOUS 16780 HAS SOUPS 15970 WITH SCORE 15991.611
AT ITER 8247 NEW BEST:: SOT 102632 SOS 21610 HAS SOPS 18498 HAS SOUS 16779 HAS SOUPS 15969 WITH SCORE 15990.61
AT ITER 8298 NEW BEST:: SOT 102629 SOS 21601 HAS SOPS 18492 HAS SOUS 16773 HAS SOUPS 15963 WITH SCORE 15984.601
AT ITER 8333 NEW BEST:: SOT 102627 SOS 21597 HAS SOPS 18490 HAS SOUS 16769 HAS SOUPS 15959 WITH SCORE 15980.597
AT ITER 8359 NEW BEST:: SOT 102627 SOS 21579 HAS SOPS 18472 HAS SOUS 16769 HAS SOUPS 15959 WITH SCORE 15980.579
AT ITER 8369 NEW BEST:: SOT 102629 SOS 21583 HAS SOPS 18464 HAS SOUS 16761 HAS SOUPS 15951 WITH SCORE 15972.583
AT ITER 8483 NEW BEST:: SOT 102627 SOS 21581 HAS SOPS 18462 HAS SOUS 16759 HAS SOUPS 15949 WITH SCORE 15970.581
AT ITER 8573 NEW BEST:: SOT 102627 SOS 21581 HAS SOPS 18462 HAS SOUS 16758 HAS SOUPS 15948 WITH SCORE 15969.581
AT ITER 8575 NEW BEST:: SOT 102601 SOS 21586 HAS SOPS 18467 HAS SOUS 16737 HAS SOUPS 15927 WITH SCORE 15948.586
AT ITER 8755 NEW BEST:: SOT 102599 SOS 21588 HAS SOPS 18468 HAS SOUS 16734 HAS SOUPS 15924 WITH SCORE 15945.588
AT ITER 8799 NEW BEST:: SOT 102596 SOS 21584 HAS SOPS 18464 HAS SOUS 16730 HAS SOUPS 15920 WITH SCORE 15941.584
AT ITER 8815 NEW BEST:: SOT 102596 SOS 21577 HAS SOPS 18457 HAS SOUS 16730 HAS SOUPS 15920 WITH SCORE 15941.577
AT ITER 8821 NEW BEST:: SOT 102599 SOS 21569 HAS SOPS 18449 HAS SOUS 16729 HAS SOUPS 15919 WITH SCORE 15940.569
AT ITER 8842 NEW BEST:: SOT 102599 SOS 21538 HAS SOPS 18418 HAS SOUS 16728 HAS SOUPS 15918 WITH SCORE 15939.538
AT ITER 8904 NEW BEST:: SOT 102599 SOS 21525 HAS SOPS 18405 HAS SOUS 16728 HAS SOUPS 15918 WITH SCORE 15939.525
AT ITER 8960 NEW BEST:: SOT 102587 SOS 21538 HAS SOPS 18418 HAS SOUS 16713 HAS SOUPS 15903 WITH SCORE 15924.538
AT ITER 8987 NEW BEST:: SOT 102577 SOS 21491 HAS SOPS 18371 HAS SOUS 16677 HAS SOUPS 15867 WITH SCORE 15888.491
AT ITER 9010 NEW BEST:: SOT 102577 SOS 21494 HAS SOPS 18374 HAS SOUS 16674 HAS SOUPS 15864 WITH SCORE 15885.494
AT ITER 9044 NEW BEST:: SOT 102577 SOS 21491 HAS SOPS 18371 HAS SOUS 16674 HAS SOUPS 15864 WITH SCORE 15885.491
AT ITER 9115 NEW BEST:: SOT 102563 SOS 21498 HAS SOPS 18350 HAS SOUS 16678 HAS SOUPS 15861 WITH SCORE 15882.498
AT ITER 9129 NEW BEST:: SOT 102561 SOS 21496 HAS SOPS 18346 HAS SOUS 16674 HAS SOUPS 15857 WITH SCORE 15878.496
AT ITER 9168 NEW BEST:: SOT 102561 SOS 21478 HAS SOPS 18328 HAS SOUS 16674 HAS SOUPS 15857 WITH SCORE 15878.478
AT ITER 9181 NEW BEST:: SOT 102557 SOS 21455 HAS SOPS 18305 HAS SOUS 16666 HAS SOUPS 15849 WITH SCORE 15870.455
AT ITER 9197 NEW BEST:: SOT 102561 SOS 21459 HAS SOPS 18309 HAS SOUS 16659 HAS SOUPS 15842 WITH SCORE 15863.459
AT ITER 9337 NEW BEST:: SOT 102575 SOS 21473 HAS SOPS 18323 HAS SOUS 16647 HAS SOUPS 15830 WITH SCORE 15851.473
AT ITER 9370 NEW BEST:: SOT 102577 SOS 21475 HAS SOPS 18319 HAS SOUS 16645 HAS SOUPS 15827 WITH SCORE 15848.475
AT ITER 9567 NEW BEST:: SOT 102572 SOS 21470 HAS SOPS 18314 HAS SOUS 16635 HAS SOUPS 15817 WITH SCORE 15838.47
AT ITER 9634 NEW BEST:: SOT 102572 SOS 21457 HAS SOPS 18301 HAS SOUS 16634 HAS SOUPS 15816 WITH SCORE 15837.457
AT ITER 9681 NEW BEST:: SOT 102572 SOS 21429 HAS SOPS 18273 HAS SOUS 16625 HAS SOUPS 15807 WITH SCORE 15828.429
AT ITER 9688 NEW BEST:: SOT 102572 SOS 21429 HAS SOPS 18273 HAS SOUS 16622 HAS SOUPS 15804 WITH SCORE 15825.429
AT ITER 9705 NEW BEST:: SOT 102566 SOS 21367 HAS SOPS 18211 HAS SOUS 16606 HAS SOUPS 15788 WITH SCORE 15809.367
AT ITER 9730 NEW BEST:: SOT 102546 SOS 21573 HAS SOPS 18417 HAS SOUS 16594 HAS SOUPS 15776 WITH SCORE 15797.573
AT ITER 9811 NEW BEST:: SOT 102546 SOS 21573 HAS SOPS 18417 HAS SOUS 16561 HAS SOUPS 15743 WITH SCORE 15764.573
AT ITER 9854 NEW BEST:: SOT 102547 SOS 21574 HAS SOPS 18418 HAS SOUS 16537 HAS SOUPS 15719 WITH SCORE 15740.574
AT ITER 9881 NEW BEST:: SOT 102547 SOS 21574 HAS SOPS 18416 HAS SOUS 16535 HAS SOUPS 15717 WITH SCORE 15738.574
AT ITER 9922 NEW BEST:: SOT 102601 SOS 21628 HAS SOPS 18396 HAS SOUS 16516 HAS SOUPS 15697 WITH SCORE 15718.628
STATE_SPACE STATES 172248 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 2 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 359351 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678657305340

--------------------
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="LeafsetExtension-PT-S08C2"
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 LeafsetExtension-PT-S08C2, 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 r235-tall-167856421800456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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