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.r107-tall-167814484000256.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 DBSingleClientW-PT-d1m06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484000256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 864K
-rw-r--r-- 1 mcc users 8.8K Feb 26 15:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 15:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 15:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 26 15:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 26 15:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 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 432K 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 1678350839942

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=DBSingleClientW-PT-d1m06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 08:34:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 08:34:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 08:34:01] [INFO ] Load time of PNML (sax parser for PT used): 88 ms
[2023-03-09 08:34:01] [INFO ] Transformed 1440 places.
[2023-03-09 08:34:01] [INFO ] Transformed 672 transitions.
[2023-03-09 08:34:01] [INFO ] Parsed PT model containing 1440 places and 672 transitions and 2688 arcs in 155 ms.
[2023-03-09 08:34:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1440 places, 672 transitions and 2688 arcs took 11 ms.
Total runtime 193 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m06
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: 1440 places, 672 transitions, 2688 arcs.
AT ITER 0 NEW BEST:: SOT 229313 SOS 216647 HAS SOPS 216632 HAS SOUS 158140 HAS SOUPS 158125 WITH SCORE 158341.647
AT ITER 116 NEW BEST:: SOT 229313 SOS 216618 HAS SOPS 216603 HAS SOUS 158122 HAS SOUPS 158107 WITH SCORE 158323.618
AT ITER 162 NEW BEST:: SOT 229313 SOS 216618 HAS SOPS 216603 HAS SOUS 158120 HAS SOUPS 158105 WITH SCORE 158321.618
AT ITER 224 NEW BEST:: SOT 229313 SOS 216618 HAS SOPS 216603 HAS SOUS 158119 HAS SOUPS 158104 WITH SCORE 158320.618
AT ITER 331 NEW BEST:: SOT 229313 SOS 216618 HAS SOPS 216603 HAS SOUS 158114 HAS SOUPS 158099 WITH SCORE 158315.618
AT ITER 385 NEW BEST:: SOT 229313 SOS 216474 HAS SOPS 216459 HAS SOUS 158114 HAS SOUPS 158099 WITH SCORE 158315.474
AT ITER 461 NEW BEST:: SOT 229313 SOS 216466 HAS SOPS 216451 HAS SOUS 158113 HAS SOUPS 158098 WITH SCORE 158314.466
AT ITER 554 NEW BEST:: SOT 229313 SOS 216461 HAS SOPS 216446 HAS SOUS 158113 HAS SOUPS 158098 WITH SCORE 158314.461
AT ITER 619 NEW BEST:: SOT 229601 SOS 214367 HAS SOPS 214352 HAS SOUS 157895 HAS SOUPS 157880 WITH SCORE 158094.367
AT ITER 630 NEW BEST:: SOT 229601 SOS 214417 HAS SOPS 214402 HAS SOUS 157855 HAS SOUPS 157840 WITH SCORE 158054.417
AT ITER 658 NEW BEST:: SOT 229601 SOS 214417 HAS SOPS 214402 HAS SOUS 157781 HAS SOUPS 157766 WITH SCORE 157980.417
AT ITER 674 NEW BEST:: SOT 229832 SOS 214648 HAS SOPS 214633 HAS SOUS 157682 HAS SOUPS 157667 WITH SCORE 157881.648
AT ITER 732 NEW BEST:: SOT 229914 SOS 214730 HAS SOPS 214715 HAS SOUS 157607 HAS SOUPS 157592 WITH SCORE 157806.73
AT ITER 752 NEW BEST:: SOT 229914 SOS 214730 HAS SOPS 214715 HAS SOUS 157458 HAS SOUPS 157443 WITH SCORE 157657.73
AT ITER 813 NEW BEST:: SOT 229914 SOS 214750 HAS SOPS 214735 HAS SOUS 157340 HAS SOUPS 157325 WITH SCORE 157539.75
AT ITER 820 NEW BEST:: SOT 229914 SOS 214750 HAS SOPS 214735 HAS SOUS 157305 HAS SOUPS 157290 WITH SCORE 157504.75
AT ITER 903 NEW BEST:: SOT 232209 SOS 217045 HAS SOPS 217030 HAS SOUS 157292 HAS SOUPS 157277 WITH SCORE 157494.045
AT ITER 922 NEW BEST:: SOT 232209 SOS 217045 HAS SOPS 217030 HAS SOUS 157238 HAS SOUPS 157223 WITH SCORE 157440.045
AT ITER 995 NEW BEST:: SOT 232209 SOS 217045 HAS SOPS 217030 HAS SOUS 157237 HAS SOUPS 157222 WITH SCORE 157439.045
AT ITER 1017 NEW BEST:: SOT 232301 SOS 216779 HAS SOPS 216763 HAS SOUS 157116 HAS SOUPS 157101 WITH SCORE 157317.779
AT ITER 1065 NEW BEST:: SOT 232427 SOS 216905 HAS SOPS 216889 HAS SOUS 156994 HAS SOUPS 156979 WITH SCORE 157195.905
AT ITER 1086 NEW BEST:: SOT 232427 SOS 216905 HAS SOPS 216889 HAS SOUS 156839 HAS SOUPS 156824 WITH SCORE 157040.905
AT ITER 1113 NEW BEST:: SOT 232427 SOS 216905 HAS SOPS 216889 HAS SOUS 156737 HAS SOUPS 156722 WITH SCORE 156938.905
AT ITER 1124 NEW BEST:: SOT 232427 SOS 216420 HAS SOPS 216404 HAS SOUS 156732 HAS SOUPS 156717 WITH SCORE 156933.42
AT ITER 1130 NEW BEST:: SOT 232427 SOS 216420 HAS SOPS 216404 HAS SOUS 156666 HAS SOUPS 156651 WITH SCORE 156867.42
AT ITER 1133 NEW BEST:: SOT 232709 SOS 216702 HAS SOPS 216686 HAS SOUS 156490 HAS SOUPS 156475 WITH SCORE 156691.702
AT ITER 1152 NEW BEST:: SOT 232709 SOS 216702 HAS SOPS 216686 HAS SOUS 156410 HAS SOUPS 156395 WITH SCORE 156611.702
AT ITER 1164 NEW BEST:: SOT 234229 SOS 218222 HAS SOPS 218206 HAS SOUS 153989 HAS SOUPS 153974 WITH SCORE 154192.222
AT ITER 1181 NEW BEST:: SOT 234265 SOS 218258 HAS SOPS 218242 HAS SOUS 153935 HAS SOUPS 153920 WITH SCORE 154138.258
AT ITER 1206 NEW BEST:: SOT 234237 SOS 218230 HAS SOPS 218214 HAS SOUS 153898 HAS SOUPS 153883 WITH SCORE 154101.23
AT ITER 1256 NEW BEST:: SOT 234351 SOS 218344 HAS SOPS 218328 HAS SOUS 153737 HAS SOUPS 153722 WITH SCORE 153940.344
AT ITER 1282 NEW BEST:: SOT 234375 SOS 218348 HAS SOPS 218332 HAS SOUS 153174 HAS SOUPS 153159 WITH SCORE 153377.348
AT ITER 1284 NEW BEST:: SOT 234375 SOS 218307 HAS SOPS 218291 HAS SOUS 152924 HAS SOUPS 152909 WITH SCORE 153127.307
AT ITER 1313 NEW BEST:: SOT 234375 SOS 218307 HAS SOPS 218291 HAS SOUS 152921 HAS SOUPS 152906 WITH SCORE 153124.307
AT ITER 1324 NEW BEST:: SOT 235140 SOS 219015 HAS SOPS 218999 HAS SOUS 152915 HAS SOUPS 152900 WITH SCORE 153119.015
AT ITER 1334 NEW BEST:: SOT 235140 SOS 219008 HAS SOPS 218992 HAS SOUS 152908 HAS SOUPS 152893 WITH SCORE 153112.008
AT ITER 1335 NEW BEST:: SOT 235140 SOS 218832 HAS SOPS 218816 HAS SOUS 152152 HAS SOUPS 152137 WITH SCORE 152355.832
AT ITER 1342 NEW BEST:: SOT 235365 SOS 219057 HAS SOPS 219041 HAS SOUS 151817 HAS SOUPS 151802 WITH SCORE 152021.057
AT ITER 1347 NEW BEST:: SOT 235365 SOS 219057 HAS SOPS 219041 HAS SOUS 151794 HAS SOUPS 151779 WITH SCORE 151998.057
AT ITER 1359 NEW BEST:: SOT 235665 SOS 219207 HAS SOPS 219191 HAS SOUS 151532 HAS SOUPS 151517 WITH SCORE 151736.207
AT ITER 1428 NEW BEST:: SOT 235665 SOS 219159 HAS SOPS 219143 HAS SOUS 151304 HAS SOUPS 151289 WITH SCORE 151508.159
AT ITER 1452 NEW BEST:: SOT 235665 SOS 219186 HAS SOPS 219170 HAS SOUS 151034 HAS SOUPS 151019 WITH SCORE 151238.186
AT ITER 1499 NEW BEST:: SOT 235665 SOS 219186 HAS SOPS 219170 HAS SOUS 149913 HAS SOUPS 149898 WITH SCORE 150117.186
AT ITER 1532 NEW BEST:: SOT 235685 SOS 219056 HAS SOPS 219040 HAS SOUS 149319 HAS SOUPS 149304 WITH SCORE 149523.056
AT ITER 1558 NEW BEST:: SOT 239621 SOS 221926 HAS SOPS 221910 HAS SOUS 148379 HAS SOUPS 148364 WITH SCORE 148585.926
AT ITER 1575 NEW BEST:: SOT 243635 SOS 225842 HAS SOPS 225826 HAS SOUS 147679 HAS SOUPS 147664 WITH SCORE 147889.842
AT ITER 1588 NEW BEST:: SOT 243635 SOS 225882 HAS SOPS 225866 HAS SOUS 147399 HAS SOUPS 147384 WITH SCORE 147609.882
AT ITER 1589 NEW BEST:: SOT 243710 SOS 223743 HAS SOPS 223707 HAS SOUS 147143 HAS SOUPS 147124 WITH SCORE 147347.743
AT ITER 1591 NEW BEST:: SOT 243710 SOS 223776 HAS SOPS 223740 HAS SOUS 146537 HAS SOUPS 146518 WITH SCORE 146741.776
AT ITER 1633 NEW BEST:: SOT 243710 SOS 223389 HAS SOPS 223353 HAS SOUS 145276 HAS SOUPS 145257 WITH SCORE 145480.389
AT ITER 1642 NEW BEST:: SOT 243710 SOS 223437 HAS SOPS 223401 HAS SOUS 145131 HAS SOUPS 145112 WITH SCORE 145335.437
AT ITER 1659 NEW BEST:: SOT 243710 SOS 223437 HAS SOPS 223401 HAS SOUS 145112 HAS SOUPS 145093 WITH SCORE 145316.437
AT ITER 1680 NEW BEST:: SOT 243710 SOS 222777 HAS SOPS 222741 HAS SOUS 145082 HAS SOUPS 145063 WITH SCORE 145285.777
AT ITER 1708 NEW BEST:: SOT 244703 SOS 223770 HAS SOPS 223734 HAS SOUS 144963 HAS SOUPS 144944 WITH SCORE 145167.77
AT ITER 1710 NEW BEST:: SOT 244887 SOS 223954 HAS SOPS 223918 HAS SOUS 144922 HAS SOUPS 144903 WITH SCORE 145126.954
AT ITER 1713 NEW BEST:: SOT 244936 SOS 223950 HAS SOPS 223865 HAS SOUS 144913 HAS SOUPS 144850 WITH SCORE 145073.95
AT ITER 1723 NEW BEST:: SOT 245000 SOS 224014 HAS SOPS 223929 HAS SOUS 144429 HAS SOUPS 144366 WITH SCORE 144590.014
AT ITER 1741 NEW BEST:: SOT 249495 SOS 227317 HAS SOPS 227227 HAS SOUS 143408 HAS SOUPS 143345 WITH SCORE 143572.317
AT ITER 1747 NEW BEST:: SOT 249945 SOS 227767 HAS SOPS 227677 HAS SOUS 142677 HAS SOUPS 142614 WITH SCORE 142841.767
AT ITER 1756 NEW BEST:: SOT 251763 SOS 229585 HAS SOPS 229495 HAS SOUS 142044 HAS SOUPS 141981 WITH SCORE 142210.585
AT ITER 1763 NEW BEST:: SOT 251763 SOS 228720 HAS SOPS 228630 HAS SOUS 142031 HAS SOUPS 141968 WITH SCORE 142196.72
AT ITER 1765 NEW BEST:: SOT 250995 SOS 227952 HAS SOPS 227862 HAS SOUS 141775 HAS SOUPS 141712 WITH SCORE 141939.952
AT ITER 1771 NEW BEST:: SOT 251041 SOS 227940 HAS SOPS 227804 HAS SOUS 141717 HAS SOUPS 141654 WITH SCORE 141881.94
AT ITER 1779 NEW BEST:: SOT 251161 SOS 228060 HAS SOPS 227924 HAS SOUS 141653 HAS SOUPS 141590 WITH SCORE 141818.06
AT ITER 1814 NEW BEST:: SOT 251161 SOS 228060 HAS SOPS 227924 HAS SOUS 141634 HAS SOUPS 141571 WITH SCORE 141799.06
AT ITER 1829 NEW BEST:: SOT 252436 SOS 228828 HAS SOPS 228687 HAS SOUS 140116 HAS SOUPS 140053 WITH SCORE 140281.828
AT ITER 1832 NEW BEST:: SOT 252576 SOS 228968 HAS SOPS 228827 HAS SOUS 140046 HAS SOUPS 139983 WITH SCORE 140211.968
AT ITER 1857 NEW BEST:: SOT 255924 SOS 231804 HAS SOPS 231658 HAS SOUS 137767 HAS SOUPS 137704 WITH SCORE 137935.804
AT ITER 1923 NEW BEST:: SOT 256095 SOS 231975 HAS SOPS 231829 HAS SOUS 137343 HAS SOUPS 137280 WITH SCORE 137511.975
AT ITER 1928 NEW BEST:: SOT 256095 SOS 231975 HAS SOPS 231829 HAS SOUS 136794 HAS SOUPS 136731 WITH SCORE 136962.975
AT ITER 1941 NEW BEST:: SOT 256224 SOS 232104 HAS SOPS 231958 HAS SOUS 136460 HAS SOUPS 136397 WITH SCORE 136629.104
AT ITER 1960 NEW BEST:: SOT 253614 SOS 229571 HAS SOPS 229479 HAS SOUS 136400 HAS SOUPS 136340 WITH SCORE 136569.571
AT ITER 1976 NEW BEST:: SOT 253628 SOS 229575 HAS SOPS 229483 HAS SOUS 136344 HAS SOUPS 136284 WITH SCORE 136513.575
AT ITER 1985 NEW BEST:: SOT 253733 SOS 229680 HAS SOPS 229588 HAS SOUS 136257 HAS SOUPS 136197 WITH SCORE 136426.68
AT ITER 1993 NEW BEST:: SOT 253733 SOS 227571 HAS SOPS 227479 HAS SOUS 134822 HAS SOUPS 134762 WITH SCORE 134989.571
AT ITER 2027 NEW BEST:: SOT 253733 SOS 227241 HAS SOPS 227149 HAS SOUS 134822 HAS SOUPS 134762 WITH SCORE 134989.241
AT ITER 2076 NEW BEST:: SOT 257432 SOS 230940 HAS SOPS 230848 HAS SOUS 134465 HAS SOUPS 134405 WITH SCORE 134635.94
AT ITER 2083 NEW BEST:: SOT 256222 SOS 229730 HAS SOPS 229638 HAS SOUS 134223 HAS SOUPS 134163 WITH SCORE 134392.73
AT ITER 2102 NEW BEST:: SOT 256391 SOS 229747 HAS SOPS 229655 HAS SOUS 134094 HAS SOUPS 134034 WITH SCORE 134263.747
AT ITER 2123 NEW BEST:: SOT 256787 SOS 230143 HAS SOPS 230051 HAS SOUS 133675 HAS SOUPS 133615 WITH SCORE 133845.143
AT ITER 2142 NEW BEST:: SOT 257555 SOS 230911 HAS SOPS 230819 HAS SOUS 133180 HAS SOUPS 133120 WITH SCORE 133350.911
AT ITER 2173 NEW BEST:: SOT 257324 SOS 230680 HAS SOPS 230588 HAS SOUS 133072 HAS SOUPS 133012 WITH SCORE 133242.68
AT ITER 2185 NEW BEST:: SOT 260469 SOS 233350 HAS SOPS 233253 HAS SOUS 131152 HAS SOUPS 131092 WITH SCORE 131325.35
AT ITER 2231 NEW BEST:: SOT 260469 SOS 233309 HAS SOPS 233212 HAS SOUS 131152 HAS SOUPS 131092 WITH SCORE 131325.309
AT ITER 2244 NEW BEST:: SOT 260469 SOS 233309 HAS SOPS 233212 HAS SOUS 131047 HAS SOUPS 130987 WITH SCORE 131220.309
AT ITER 2266 NEW BEST:: SOT 259019 SOS 231859 HAS SOPS 231762 HAS SOUS 130757 HAS SOUPS 130697 WITH SCORE 130928.859
AT ITER 2268 NEW BEST:: SOT 259301 SOS 232141 HAS SOPS 232044 HAS SOUS 130519 HAS SOUPS 130459 WITH SCORE 130691.141
AT ITER 2339 NEW BEST:: SOT 259301 SOS 232104 HAS SOPS 232007 HAS SOUS 130515 HAS SOUPS 130455 WITH SCORE 130687.104
AT ITER 2340 NEW BEST:: SOT 263501 SOS 235791 HAS SOPS 235689 HAS SOUS 128399 HAS SOUPS 128339 WITH SCORE 128574.791
AT ITER 2375 NEW BEST:: SOT 263492 SOS 235773 HAS SOPS 235671 HAS SOUS 128399 HAS SOUPS 128339 WITH SCORE 128574.773
AT ITER 2376 NEW BEST:: SOT 263348 SOS 235965 HAS SOPS 235863 HAS SOUS 128230 HAS SOUPS 128170 WITH SCORE 128405.965
AT ITER 2385 NEW BEST:: SOT 263348 SOS 235965 HAS SOPS 235863 HAS SOUS 128229 HAS SOUPS 128169 WITH SCORE 128404.965
AT ITER 2389 NEW BEST:: SOT 263348 SOS 235984 HAS SOPS 235882 HAS SOUS 128219 HAS SOUPS 128159 WITH SCORE 128394.984
AT ITER 2393 NEW BEST:: SOT 262973 SOS 235609 HAS SOPS 235507 HAS SOUS 127958 HAS SOUPS 127898 WITH SCORE 128133.609
AT ITER 2417 NEW BEST:: SOT 263727 SOS 236363 HAS SOPS 236261 HAS SOUS 127872 HAS SOUPS 127812 WITH SCORE 128048.363
AT ITER 2418 NEW BEST:: SOT 263382 SOS 236018 HAS SOPS 235916 HAS SOUS 127819 HAS SOUPS 127759 WITH SCORE 127995.018
AT ITER 2458 NEW BEST:: SOT 259676 SOS 232362 HAS SOPS 232304 HAS SOUS 127510 HAS SOUPS 127489 WITH SCORE 127721.362
AT ITER 2471 NEW BEST:: SOT 259486 SOS 232172 HAS SOPS 232114 HAS SOUS 127320 HAS SOUPS 127299 WITH SCORE 127531.172
AT ITER 2474 NEW BEST:: SOT 259486 SOS 232172 HAS SOPS 232114 HAS SOUS 127165 HAS SOUPS 127144 WITH SCORE 127376.172
AT ITER 2512 NEW BEST:: SOT 259486 SOS 230659 HAS SOPS 230601 HAS SOUS 126950 HAS SOUPS 126929 WITH SCORE 127159.659
AT ITER 2525 NEW BEST:: SOT 259486 SOS 227316 HAS SOPS 227258 HAS SOUS 126902 HAS SOUPS 126881 WITH SCORE 127108.316
AT ITER 2526 NEW BEST:: SOT 258631 SOS 226461 HAS SOPS 226403 HAS SOUS 126807 HAS SOUPS 126786 WITH SCORE 127012.461
AT ITER 2531 NEW BEST:: SOT 258787 SOS 226617 HAS SOPS 226559 HAS SOUS 126019 HAS SOUPS 125998 WITH SCORE 126224.617
AT ITER 2539 NEW BEST:: SOT 259009 SOS 226689 HAS SOPS 226631 HAS SOUS 125489 HAS SOUPS 125468 WITH SCORE 125694.689
AT ITER 2546 NEW BEST:: SOT 259582 SOS 227023 HAS SOPS 226965 HAS SOUS 124846 HAS SOUPS 124825 WITH SCORE 125052.023
AT ITER 2559 NEW BEST:: SOT 259408 SOS 226849 HAS SOPS 226791 HAS SOUS 124730 HAS SOUPS 124709 WITH SCORE 124935.849
AT ITER 2614 NEW BEST:: SOT 260820 SOS 227164 HAS SOPS 226928 HAS SOUS 122276 HAS SOUPS 122103 WITH SCORE 122330.164
AT ITER 2625 NEW BEST:: SOT 261180 SOS 227524 HAS SOPS 227288 HAS SOUS 119835 HAS SOUPS 119662 WITH SCORE 119889.524
AT ITER 2633 NEW BEST:: SOT 261180 SOS 227463 HAS SOPS 227227 HAS SOUS 119835 HAS SOUPS 119662 WITH SCORE 119889.463
AT ITER 2638 NEW BEST:: SOT 261180 SOS 227463 HAS SOPS 227227 HAS SOUS 119826 HAS SOUPS 119653 WITH SCORE 119880.463
AT ITER 2646 NEW BEST:: SOT 261408 SOS 227025 HAS SOPS 226713 HAS SOUS 119713 HAS SOUPS 119540 WITH SCORE 119767.025
AT ITER 2654 NEW BEST:: SOT 263225 SOS 224321 HAS SOPS 223204 HAS SOUS 118714 HAS SOUPS 118541 WITH SCORE 118765.321
AT ITER 2671 NEW BEST:: SOT 263225 SOS 224351 HAS SOPS 223234 HAS SOUS 118671 HAS SOUPS 118498 WITH SCORE 118722.351
AT ITER 2675 NEW BEST:: SOT 263225 SOS 224351 HAS SOPS 223234 HAS SOUS 118391 HAS SOUPS 118218 WITH SCORE 118442.351
AT ITER 2681 NEW BEST:: SOT 267455 SOS 228581 HAS SOPS 227464 HAS SOUS 116821 HAS SOUPS 116648 WITH SCORE 116876.581
AT ITER 2705 NEW BEST:: SOT 267455 SOS 228581 HAS SOPS 227464 HAS SOUS 116819 HAS SOUPS 116646 WITH SCORE 116874.581
AT ITER 2733 NEW BEST:: SOT 267455 SOS 228581 HAS SOPS 227464 HAS SOUS 116807 HAS SOUPS 116634 WITH SCORE 116862.581
AT ITER 2742 NEW BEST:: SOT 268916 SOS 229053 HAS SOPS 227817 HAS SOUS 114927 HAS SOUPS 114754 WITH SCORE 114983.053
AT ITER 2805 NEW BEST:: SOT 267953 SOS 228090 HAS SOPS 226854 HAS SOUS 114348 HAS SOUPS 114175 WITH SCORE 114403.09
AT ITER 2816 NEW BEST:: SOT 267953 SOS 228043 HAS SOPS 226807 HAS SOUS 114254 HAS SOUPS 114081 WITH SCORE 114309.043
AT ITER 2842 NEW BEST:: SOT 267895 SOS 227985 HAS SOPS 226749 HAS SOUS 114196 HAS SOUPS 114023 WITH SCORE 114250.985
AT ITER 2888 NEW BEST:: SOT 268039 SOS 227619 HAS SOPS 226383 HAS SOUS 114105 HAS SOUPS 113932 WITH SCORE 114159.619
AT ITER 2895 NEW BEST:: SOT 268039 SOS 227604 HAS SOPS 226368 HAS SOUS 113967 HAS SOUPS 113794 WITH SCORE 114021.604
AT ITER 2899 NEW BEST:: SOT 268039 SOS 224901 HAS SOPS 223665 HAS SOUS 113006 HAS SOUPS 112833 WITH SCORE 113057.901
AT ITER 2979 NEW BEST:: SOT 268087 SOS 224822 HAS SOPS 223538 HAS SOUS 112867 HAS SOUPS 112694 WITH SCORE 112918.822
AT ITER 2995 NEW BEST:: SOT 269104 SOS 225327 HAS SOPS 224043 HAS SOUS 112512 HAS SOUPS 112339 WITH SCORE 112564.327
AT ITER 3093 NEW BEST:: SOT 270139 SOS 226340 HAS SOPS 225056 HAS SOUS 112460 HAS SOUPS 112287 WITH SCORE 112513.34
AT ITER 3100 NEW BEST:: SOT 270941 SOS 227142 HAS SOPS 225858 HAS SOUS 112238 HAS SOUPS 112065 WITH SCORE 112292.142
AT ITER 3105 NEW BEST:: SOT 270941 SOS 227142 HAS SOPS 225858 HAS SOUS 112123 HAS SOUPS 111950 WITH SCORE 112177.142
AT ITER 3130 NEW BEST:: SOT 270941 SOS 227070 HAS SOPS 225786 HAS SOUS 112049 HAS SOUPS 111876 WITH SCORE 112103.07
AT ITER 3145 NEW BEST:: SOT 270941 SOS 226994 HAS SOPS 225710 HAS SOUS 112011 HAS SOUPS 111838 WITH SCORE 112064.994
AT ITER 3174 NEW BEST:: SOT 271985 SOS 227879 HAS SOPS 226595 HAS SOUS 111860 HAS SOUPS 111687 WITH SCORE 111914.879
AT ITER 3229 NEW BEST:: SOT 271985 SOS 227809 HAS SOPS 226525 HAS SOUS 111509 HAS SOUPS 111336 WITH SCORE 111563.809
AT ITER 3230 NEW BEST:: SOT 271985 SOS 227809 HAS SOPS 226525 HAS SOUS 111469 HAS SOUPS 111296 WITH SCORE 111523.809
AT ITER 3231 NEW BEST:: SOT 272090 SOS 227914 HAS SOPS 226630 HAS SOUS 111396 HAS SOUPS 111223 WITH SCORE 111450.914
AT ITER 3249 NEW BEST:: SOT 272747 SOS 228421 HAS SOPS 227137 HAS SOUS 111015 HAS SOUPS 110842 WITH SCORE 111070.421
AT ITER 3274 NEW BEST:: SOT 273395 SOS 229069 HAS SOPS 227785 HAS SOUS 109036 HAS SOUPS 108863 WITH SCORE 109092.069
AT ITER 3317 NEW BEST:: SOT 273303 SOS 228826 HAS SOPS 227450 HAS SOUS 108929 HAS SOUPS 108756 WITH SCORE 108984.826
AT ITER 3344 NEW BEST:: SOT 274296 SOS 229666 HAS SOPS 228290 HAS SOUS 108616 HAS SOUPS 108443 WITH SCORE 108672.666
AT ITER 3347 NEW BEST:: SOT 274476 SOS 229846 HAS SOPS 228470 HAS SOUS 108234 HAS SOUPS 108061 WITH SCORE 108290.846
AT ITER 3357 NEW BEST:: SOT 274476 SOS 229881 HAS SOPS 228505 HAS SOUS 108219 HAS SOUPS 108046 WITH SCORE 108275.881
AT ITER 3392 NEW BEST:: SOT 274484 SOS 229889 HAS SOPS 228513 HAS SOUS 107932 HAS SOUPS 107759 WITH SCORE 107988.889
AT ITER 3408 NEW BEST:: SOT 272818 SOS 228235 HAS SOPS 226978 HAS SOUS 107821 HAS SOUPS 107648 WITH SCORE 107876.235
AT ITER 3421 NEW BEST:: SOT 272928 SOS 228345 HAS SOPS 227088 HAS SOUS 107717 HAS SOUPS 107544 WITH SCORE 107772.345
AT ITER 3429 NEW BEST:: SOT 272928 SOS 224074 HAS SOPS 222817 HAS SOUS 106578 HAS SOUPS 106405 WITH SCORE 106629.074
AT ITER 3450 NEW BEST:: SOT 272586 SOS 223732 HAS SOPS 222475 HAS SOUS 106464 HAS SOUPS 106291 WITH SCORE 106514.732
AT ITER 3507 NEW BEST:: SOT 272586 SOS 223526 HAS SOPS 222269 HAS SOUS 106317 HAS SOUPS 106144 WITH SCORE 106367.526
AT ITER 3597 NEW BEST:: SOT 272586 SOS 223526 HAS SOPS 222269 HAS SOUS 106172 HAS SOUPS 105999 WITH SCORE 106222.526
AT ITER 3739 NEW BEST:: SOT 272586 SOS 223222 HAS SOPS 221965 HAS SOUS 106172 HAS SOUPS 105999 WITH SCORE 106222.222
AT ITER 3752 NEW BEST:: SOT 272594 SOS 223230 HAS SOPS 221973 HAS SOUS 106022 HAS SOUPS 105849 WITH SCORE 106072.23
AT ITER 3758 NEW BEST:: SOT 273857 SOS 224310 HAS SOPS 222888 HAS SOUS 105925 HAS SOUPS 105752 WITH SCORE 105976.31
AT ITER 3767 NEW BEST:: SOT 274112 SOS 224565 HAS SOPS 223143 HAS SOUS 105457 HAS SOUPS 105284 WITH SCORE 105508.565
AT ITER 3780 NEW BEST:: SOT 274112 SOS 224560 HAS SOPS 223138 HAS SOUS 105442 HAS SOUPS 105269 WITH SCORE 105493.56
AT ITER 3799 NEW BEST:: SOT 274377 SOS 224803 HAS SOPS 223346 HAS SOUS 105395 HAS SOUPS 105222 WITH SCORE 105446.803
AT ITER 3805 NEW BEST:: SOT 274377 SOS 224803 HAS SOPS 223346 HAS SOUS 105371 HAS SOUPS 105198 WITH SCORE 105422.803
AT ITER 3809 NEW BEST:: SOT 279487 SOS 228800 HAS SOPS 227224 HAS SOUS 105213 HAS SOUPS 105040 WITH SCORE 105268.8
AT ITER 3853 NEW BEST:: SOT 280470 SOS 229564 HAS SOPS 227988 HAS SOUS 104865 HAS SOUPS 104692 WITH SCORE 104921.564
AT ITER 3874 NEW BEST:: SOT 280470 SOS 229504 HAS SOPS 227928 HAS SOUS 104816 HAS SOUPS 104643 WITH SCORE 104872.504
AT ITER 3906 NEW BEST:: SOT 280821 SOS 229167 HAS SOPS 227586 HAS SOUS 103596 HAS SOUPS 103423 WITH SCORE 103652.167
AT ITER 3933 NEW BEST:: SOT 280821 SOS 229055 HAS SOPS 227474 HAS SOUS 103595 HAS SOUPS 103422 WITH SCORE 103651.055
AT ITER 3937 NEW BEST:: SOT 281496 SOS 229461 HAS SOPS 227880 HAS SOUS 102875 HAS SOUPS 102702 WITH SCORE 102931.461
AT ITER 3943 NEW BEST:: SOT 281431 SOS 229396 HAS SOPS 227787 HAS SOUS 102847 HAS SOUPS 102674 WITH SCORE 102903.396
AT ITER 4005 NEW BEST:: SOT 281749 SOS 229714 HAS SOPS 228105 HAS SOUS 102361 HAS SOUPS 102188 WITH SCORE 102417.714
AT ITER 4007 NEW BEST:: SOT 281527 SOS 229492 HAS SOPS 227883 HAS SOUS 102287 HAS SOUPS 102114 WITH SCORE 102343.492
AT ITER 4012 NEW BEST:: SOT 281527 SOS 228387 HAS SOPS 226778 HAS SOUS 100857 HAS SOUPS 100684 WITH SCORE 100912.387
AT ITER 4014 NEW BEST:: SOT 278202 SOS 225062 HAS SOPS 223521 HAS SOUS 100571 HAS SOUPS 100398 WITH SCORE 100623.062
AT ITER 4071 NEW BEST:: SOT 280503 SOS 225886 HAS SOPS 224226 HAS SOUS 99332 HAS SOUPS 99159 WITH SCORE 99384.886
AT ITER 4077 NEW BEST:: SOT 284864 SOS 228568 HAS SOPS 226789 HAS SOUS 98310 HAS SOUPS 98137 WITH SCORE 98365.568
AT ITER 4101 NEW BEST:: SOT 284968 SOS 228661 HAS SOPS 226882 HAS SOUS 98309 HAS SOUPS 98136 WITH SCORE 98364.661
AT ITER 4116 NEW BEST:: SOT 285022 SOS 228599 HAS SOPS 226820 HAS SOUS 97796 HAS SOUPS 97623 WITH SCORE 97851.599
AT ITER 4134 NEW BEST:: SOT 285249 SOS 228596 HAS SOPS 226817 HAS SOUS 97559 HAS SOUPS 97386 WITH SCORE 97614.596
AT ITER 4178 NEW BEST:: SOT 285672 SOS 229019 HAS SOPS 227240 HAS SOUS 96278 HAS SOUPS 96105 WITH SCORE 96334.019
AT ITER 4265 NEW BEST:: SOT 285672 SOS 226722 HAS SOPS 224943 HAS SOUS 96048 HAS SOUPS 95875 WITH SCORE 96101.722
AT ITER 4267 NEW BEST:: SOT 285728 SOS 226778 HAS SOPS 224999 HAS SOUS 95464 HAS SOUPS 95291 WITH SCORE 95517.778
AT ITER 4304 NEW BEST:: SOT 285886 SOS 226936 HAS SOPS 225157 HAS SOUS 95409 HAS SOUPS 95236 WITH SCORE 95462.936
AT ITER 4315 NEW BEST:: SOT 286172 SOS 227012 HAS SOPS 224947 HAS SOUS 95326 HAS SOUPS 95026 WITH SCORE 95253.012
AT ITER 4356 NEW BEST:: SOT 284820 SOS 225660 HAS SOPS 223703 HAS SOUS 95142 HAS SOUPS 94842 WITH SCORE 95067.66
AT ITER 4364 NEW BEST:: SOT 284890 SOS 225640 HAS SOPS 223683 HAS SOUS 95031 HAS SOUPS 94731 WITH SCORE 94956.64
AT ITER 4409 NEW BEST:: SOT 284890 SOS 225640 HAS SOPS 223683 HAS SOUS 94961 HAS SOUPS 94661 WITH SCORE 94886.64
AT ITER 4416 NEW BEST:: SOT 284890 SOS 225640 HAS SOPS 223683 HAS SOUS 94925 HAS SOUPS 94625 WITH SCORE 94850.64
AT ITER 4423 NEW BEST:: SOT 285514 SOS 226264 HAS SOPS 224307 HAS SOUS 94735 HAS SOUPS 94435 WITH SCORE 94661.264
AT ITER 4432 NEW BEST:: SOT 285514 SOS 225096 HAS SOPS 223139 HAS SOUS 94729 HAS SOUPS 94429 WITH SCORE 94654.096
AT ITER 4458 NEW BEST:: SOT 285400 SOS 224982 HAS SOPS 223025 HAS SOUS 94691 HAS SOUPS 94391 WITH SCORE 94615.982
AT ITER 4492 NEW BEST:: SOT 285435 SOS 224723 HAS SOPS 222765 HAS SOUS 94401 HAS SOUPS 94101 WITH SCORE 94325.723
AT ITER 4537 NEW BEST:: SOT 284245 SOS 226314 HAS SOPS 225540 HAS SOUS 93765 HAS SOUPS 93465 WITH SCORE 93691.314
AT ITER 4625 NEW BEST:: SOT 284245 SOS 227354 HAS SOPS 226580 HAS SOUS 93310 HAS SOUPS 93010 WITH SCORE 93237.354
AT ITER 4652 NEW BEST:: SOT 284245 SOS 227354 HAS SOPS 226580 HAS SOUS 93303 HAS SOUPS 93003 WITH SCORE 93230.354
AT ITER 4657 NEW BEST:: SOT 284018 SOS 227115 HAS SOPS 226341 HAS SOUS 93067 HAS SOUPS 92767 WITH SCORE 92994.115
AT ITER 4722 NEW BEST:: SOT 281327 SOS 224424 HAS SOPS 223650 HAS SOUS 92768 HAS SOUPS 92468 WITH SCORE 92692.424
AT ITER 4763 NEW BEST:: SOT 280991 SOS 224088 HAS SOPS 223314 HAS SOUS 92656 HAS SOUPS 92356 WITH SCORE 92580.088
AT ITER 4791 NEW BEST:: SOT 280962 SOS 224567 HAS SOPS 223798 HAS SOUS 92512 HAS SOUPS 92212 WITH SCORE 92436.567
AT ITER 4792 NEW BEST:: SOT 280962 SOS 224491 HAS SOPS 223722 HAS SOUS 92511 HAS SOUPS 92211 WITH SCORE 92435.491
AT ITER 4964 NEW BEST:: SOT 281058 SOS 224519 HAS SOPS 223654 HAS SOUS 92443 HAS SOUPS 92143 WITH SCORE 92367.519
AT ITER 4984 NEW BEST:: SOT 280347 SOS 223808 HAS SOPS 222943 HAS SOUS 92227 HAS SOUPS 91927 WITH SCORE 92150.808
AT ITER 4989 NEW BEST:: SOT 278322 SOS 221783 HAS SOPS 220918 HAS SOUS 90202 HAS SOUPS 89902 WITH SCORE 90123.783
AT ITER 4999 NEW BEST:: SOT 278322 SOS 221747 HAS SOPS 220882 HAS SOUS 89874 HAS SOUPS 89574 WITH SCORE 89795.747
AT ITER 5015 NEW BEST:: SOT 278322 SOS 221737 HAS SOPS 220872 HAS SOUS 89837 HAS SOUPS 89537 WITH SCORE 89758.737
AT ITER 5105 NEW BEST:: SOT 277860 SOS 221275 HAS SOPS 220410 HAS SOUS 89683 HAS SOUPS 89383 WITH SCORE 89604.275
AT ITER 5107 NEW BEST:: SOT 278290 SOS 221492 HAS SOPS 220469 HAS SOUS 89670 HAS SOUPS 89370 WITH SCORE 89591.492
AT ITER 5111 NEW BEST:: SOT 278290 SOS 221397 HAS SOPS 220374 HAS SOUS 89370 HAS SOUPS 89070 WITH SCORE 89291.397
AT ITER 5122 NEW BEST:: SOT 278290 SOS 221397 HAS SOPS 220374 HAS SOUS 89180 HAS SOUPS 88880 WITH SCORE 89101.397
AT ITER 5138 NEW BEST:: SOT 278290 SOS 221319 HAS SOPS 220296 HAS SOUS 89156 HAS SOUPS 88856 WITH SCORE 89077.319
AT ITER 5186 NEW BEST:: SOT 278136 SOS 221165 HAS SOPS 220142 HAS SOUS 89012 HAS SOUPS 88712 WITH SCORE 88933.165
AT ITER 5226 NEW BEST:: SOT 278154 SOS 221183 HAS SOPS 220160 HAS SOUS 88927 HAS SOUPS 88627 WITH SCORE 88848.183
AT ITER 5241 NEW BEST:: SOT 264247 SOS 209688 HAS SOPS 206508 HAS SOUS 75104 HAS SOUPS 74750 WITH SCORE 74959.688
AT ITER 5280 NEW BEST:: SOT 264247 SOS 209688 HAS SOPS 206508 HAS SOUS 75089 HAS SOUPS 74735 WITH SCORE 74944.688
AT ITER 5335 NEW BEST:: SOT 264532 SOS 209222 HAS SOPS 205863 HAS SOUS 74822 HAS SOUPS 74468 WITH SCORE 74677.222
AT ITER 5352 NEW BEST:: SOT 264666 SOS 209351 HAS SOPS 205858 HAS SOUS 74817 HAS SOUPS 74463 WITH SCORE 74672.351
AT ITER 5378 NEW BEST:: SOT 264666 SOS 208626 HAS SOPS 205133 HAS SOUS 74527 HAS SOUPS 74173 WITH SCORE 74381.626
AT ITER 5494 NEW BEST:: SOT 264511 SOS 208479 HAS SOPS 204986 HAS SOUS 74383 HAS SOUPS 74029 WITH SCORE 74237.479
AT ITER 5527 NEW BEST:: SOT 264419 SOS 208387 HAS SOPS 204894 HAS SOUS 74337 HAS SOUPS 73983 WITH SCORE 74191.387
AT ITER 5549 NEW BEST:: SOT 264419 SOS 208372 HAS SOPS 204879 HAS SOUS 74322 HAS SOUPS 73968 WITH SCORE 74176.372
AT ITER 5557 NEW BEST:: SOT 268270 SOS 211326 HAS SOPS 207737 HAS SOUS 73193 HAS SOUPS 72839 WITH SCORE 73050.326
AT ITER 5573 NEW BEST:: SOT 264139 SOS 207195 HAS SOPS 203606 HAS SOUS 71886 HAS SOUPS 71532 WITH SCORE 71739.195
AT ITER 5588 NEW BEST:: SOT 265885 SOS 208941 HAS SOPS 205352 HAS SOUS 71768 HAS SOUPS 71414 WITH SCORE 71622.941
AT ITER 5596 NEW BEST:: SOT 265633 SOS 208689 HAS SOPS 205100 HAS SOUS 71684 HAS SOUPS 71330 WITH SCORE 71538.689
AT ITER 5611 NEW BEST:: SOT 264123 SOS 207179 HAS SOPS 203590 HAS SOUS 71382 HAS SOUPS 71028 WITH SCORE 71235.179
AT ITER 5661 NEW BEST:: SOT 264641 SOS 202538 HAS SOPS 197472 HAS SOUS 71196 HAS SOUPS 70842 WITH SCORE 71044.538
AT ITER 5714 NEW BEST:: SOT 265141 SOS 200858 HAS SOPS 195792 HAS SOUS 71154 HAS SOUPS 70800 WITH SCORE 71000.858
AT ITER 5716 NEW BEST:: SOT 265156 SOS 200448 HAS SOPS 195373 HAS SOUS 70660 HAS SOUPS 70306 WITH SCORE 70506.448
AT ITER 5718 NEW BEST:: SOT 265156 SOS 200408 HAS SOPS 195333 HAS SOUS 70660 HAS SOUPS 70306 WITH SCORE 70506.408
AT ITER 5760 NEW BEST:: SOT 265156 SOS 200387 HAS SOPS 195312 HAS SOUS 70660 HAS SOUPS 70306 WITH SCORE 70506.387
AT ITER 5816 NEW BEST:: SOT 265162 SOS 200393 HAS SOPS 195318 HAS SOUS 70452 HAS SOUPS 70098 WITH SCORE 70298.393
AT ITER 5826 NEW BEST:: SOT 265162 SOS 200393 HAS SOPS 195318 HAS SOUS 70440 HAS SOUPS 70086 WITH SCORE 70286.393
AT ITER 5871 NEW BEST:: SOT 265148 SOS 200379 HAS SOPS 195304 HAS SOUS 70426 HAS SOUPS 70072 WITH SCORE 70272.379
AT ITER 5879 NEW BEST:: SOT 265148 SOS 200379 HAS SOPS 195304 HAS SOUS 70325 HAS SOUPS 69971 WITH SCORE 70171.379
AT ITER 5933 NEW BEST:: SOT 265148 SOS 200242 HAS SOPS 195167 HAS SOUS 70325 HAS SOUPS 69971 WITH SCORE 70171.242
AT ITER 5980 NEW BEST:: SOT 265148 SOS 200204 HAS SOPS 195129 HAS SOUS 70325 HAS SOUPS 69971 WITH SCORE 70171.204
AT ITER 5997 NEW BEST:: SOT 265321 SOS 200377 HAS SOPS 195302 HAS SOUS 69908 HAS SOUPS 69554 WITH SCORE 69754.377
AT ITER 6011 NEW BEST:: SOT 266387 SOS 201352 HAS SOPS 196277 HAS SOUS 69873 HAS SOUPS 69519 WITH SCORE 69720.352
AT ITER 6014 NEW BEST:: SOT 266387 SOS 200022 HAS SOPS 194947 HAS SOUS 69816 HAS SOUPS 69462 WITH SCORE 69662.022
AT ITER 6018 NEW BEST:: SOT 266387 SOS 199987 HAS SOPS 194912 HAS SOUS 69751 HAS SOUPS 69397 WITH SCORE 69596.987
AT ITER 6081 NEW BEST:: SOT 266049 SOS 199649 HAS SOPS 194574 HAS SOUS 69751 HAS SOUPS 69397 WITH SCORE 69596.649
AT ITER 6107 NEW BEST:: SOT 266049 SOS 199644 HAS SOPS 194569 HAS SOUS 69746 HAS SOUPS 69392 WITH SCORE 69591.644
AT ITER 6121 NEW BEST:: SOT 266436 SOS 199801 HAS SOPS 194717 HAS SOUS 69676 HAS SOUPS 69322 WITH SCORE 69521.801
AT ITER 6131 NEW BEST:: SOT 266436 SOS 199589 HAS SOPS 194505 HAS SOUS 69570 HAS SOUPS 69216 WITH SCORE 69415.589
AT ITER 6155 NEW BEST:: SOT 266311 SOS 199464 HAS SOPS 194380 HAS SOUS 69511 HAS SOUPS 69157 WITH SCORE 69356.464
AT ITER 6177 NEW BEST:: SOT 267779 SOS 200932 HAS SOPS 195636 HAS SOUS 69467 HAS SOUPS 69113 WITH SCORE 69313.932
AT ITER 6202 NEW BEST:: SOT 268660 SOS 201641 HAS SOPS 196345 HAS SOUS 69145 HAS SOUPS 68791 WITH SCORE 68992.641
AT ITER 6216 NEW BEST:: SOT 268244 SOS 201225 HAS SOPS 195929 HAS SOUS 68937 HAS SOUPS 68583 WITH SCORE 68784.225
AT ITER 6235 NEW BEST:: SOT 267626 SOS 200607 HAS SOPS 195311 HAS SOUS 68874 HAS SOUPS 68520 WITH SCORE 68720.607
AT ITER 6265 NEW BEST:: SOT 267455 SOS 200436 HAS SOPS 195140 HAS SOUS 68817 HAS SOUPS 68463 WITH SCORE 68663.436
AT ITER 6336 NEW BEST:: SOT 259892 SOS 198103 HAS SOPS 188428 HAS SOUS 61218 HAS SOUPS 60815 WITH SCORE 61013.103
AT ITER 6349 NEW BEST:: SOT 259862 SOS 198073 HAS SOPS 188398 HAS SOUS 61208 HAS SOUPS 60805 WITH SCORE 61003.073
AT ITER 6352 NEW BEST:: SOT 259812 SOS 198023 HAS SOPS 188348 HAS SOUS 61208 HAS SOUPS 60805 WITH SCORE 61003.023
AT ITER 6449 NEW BEST:: SOT 259829 SOS 197870 HAS SOPS 188195 HAS SOUS 61206 HAS SOUPS 60803 WITH SCORE 61000.87
AT ITER 6507 NEW BEST:: SOT 259623 SOS 197664 HAS SOPS 188262 HAS SOUS 61005 HAS SOUPS 60602 WITH SCORE 60799.664
AT ITER 6520 NEW BEST:: SOT 259636 SOS 197677 HAS SOPS 188275 HAS SOUS 60980 HAS SOUPS 60577 WITH SCORE 60774.677
AT ITER 6551 NEW BEST:: SOT 259500 SOS 197541 HAS SOPS 188139 HAS SOUS 60912 HAS SOUPS 60509 WITH SCORE 60706.541
AT ITER 6572 NEW BEST:: SOT 258882 SOS 196923 HAS SOPS 187521 HAS SOUS 60720 HAS SOUPS 60317 WITH SCORE 60513.923
AT ITER 6594 NEW BEST:: SOT 258882 SOS 196923 HAS SOPS 187521 HAS SOUS 60717 HAS SOUPS 60314 WITH SCORE 60510.923
AT ITER 6605 NEW BEST:: SOT 258780 SOS 196821 HAS SOPS 187419 HAS SOUS 60615 HAS SOUPS 60212 WITH SCORE 60408.821
AT ITER 6637 NEW BEST:: SOT 258945 SOS 196986 HAS SOPS 187402 HAS SOUS 60586 HAS SOUPS 60183 WITH SCORE 60379.986
AT ITER 6732 NEW BEST:: SOT 258856 SOS 196817 HAS SOPS 187233 HAS SOUS 60431 HAS SOUPS 60028 WITH SCORE 60224.817
AT ITER 6792 NEW BEST:: SOT 258856 SOS 196817 HAS SOPS 187233 HAS SOUS 60385 HAS SOUPS 59982 WITH SCORE 60178.817
AT ITER 6822 NEW BEST:: SOT 258448 SOS 196409 HAS SOPS 186994 HAS SOUS 60146 HAS SOUPS 59743 WITH SCORE 59939.409
AT ITER 6836 NEW BEST:: SOT 258287 SOS 196248 HAS SOPS 186833 HAS SOUS 60070 HAS SOUPS 59667 WITH SCORE 59863.248
AT ITER 6879 NEW BEST:: SOT 258219 SOS 196180 HAS SOPS 186765 HAS SOUS 60070 HAS SOUPS 59667 WITH SCORE 59863.18
AT ITER 7011 NEW BEST:: SOT 258219 SOS 195990 HAS SOPS 186575 HAS SOUS 60070 HAS SOUPS 59667 WITH SCORE 59862.99
AT ITER 7020 NEW BEST:: SOT 258391 SOS 196162 HAS SOPS 186747 HAS SOUS 60061 HAS SOUPS 59658 WITH SCORE 59854.162
AT ITER 7032 NEW BEST:: SOT 257607 SOS 195378 HAS SOPS 185963 HAS SOUS 59805 HAS SOUPS 59402 WITH SCORE 59597.378
AT ITER 7065 NEW BEST:: SOT 257703 SOS 195474 HAS SOPS 186059 HAS SOUS 59771 HAS SOUPS 59368 WITH SCORE 59563.474
AT ITER 7088 NEW BEST:: SOT 257689 SOS 195460 HAS SOPS 186059 HAS SOUS 59771 HAS SOUPS 59368 WITH SCORE 59563.46
AT ITER 7090 NEW BEST:: SOT 257755 SOS 193401 HAS SOPS 184000 HAS SOUS 59459 HAS SOUPS 59056 WITH SCORE 59249.401
AT ITER 7107 NEW BEST:: SOT 257728 SOS 193226 HAS SOPS 183769 HAS SOUS 59425 HAS SOUPS 59022 WITH SCORE 59215.226
AT ITER 7139 NEW BEST:: SOT 257968 SOS 193466 HAS SOPS 184009 HAS SOUS 59142 HAS SOUPS 58739 WITH SCORE 58932.466
AT ITER 7154 NEW BEST:: SOT 257968 SOS 193466 HAS SOPS 184009 HAS SOUS 59091 HAS SOUPS 58688 WITH SCORE 58881.466
AT ITER 7217 NEW BEST:: SOT 257968 SOS 193199 HAS SOPS 183742 HAS SOUS 59085 HAS SOUPS 58682 WITH SCORE 58875.199
AT ITER 7252 NEW BEST:: SOT 257968 SOS 193137 HAS SOPS 183680 HAS SOUS 59082 HAS SOUPS 58679 WITH SCORE 58872.137
AT ITER 7365 NEW BEST:: SOT 257780 SOS 192949 HAS SOPS 183492 HAS SOUS 59039 HAS SOUPS 58636 WITH SCORE 58828.949
AT ITER 7424 NEW BEST:: SOT 257785 SOS 192954 HAS SOPS 183497 HAS SOUS 58992 HAS SOUPS 58589 WITH SCORE 58781.954
AT ITER 7435 NEW BEST:: SOT 257785 SOS 192954 HAS SOPS 183497 HAS SOUS 58978 HAS SOUPS 58575 WITH SCORE 58767.954
AT ITER 7436 NEW BEST:: SOT 256315 SOS 191484 HAS SOPS 182197 HAS SOUS 58675 HAS SOUPS 58272 WITH SCORE 58463.484
AT ITER 7516 NEW BEST:: SOT 256625 SOS 191794 HAS SOPS 182507 HAS SOUS 58669 HAS SOUPS 58266 WITH SCORE 58457.794
AT ITER 7573 NEW BEST:: SOT 256895 SOS 191932 HAS SOPS 182466 HAS SOUS 58523 HAS SOUPS 58120 WITH SCORE 58311.932
AT ITER 7714 NEW BEST:: SOT 256659 SOS 191696 HAS SOPS 182244 HAS SOUS 58487 HAS SOUPS 58098 WITH SCORE 58289.696
AT ITER 7723 NEW BEST:: SOT 256659 SOS 191373 HAS SOPS 181921 HAS SOUS 58426 HAS SOUPS 58037 WITH SCORE 58228.373
AT ITER 7737 NEW BEST:: SOT 256328 SOS 191365 HAS SOPS 183429 HAS SOUS 58314 HAS SOUPS 57925 WITH SCORE 58116.365
AT ITER 7750 NEW BEST:: SOT 256328 SOS 191365 HAS SOPS 183429 HAS SOUS 58198 HAS SOUPS 57809 WITH SCORE 58000.365
AT ITER 7791 NEW BEST:: SOT 256344 SOS 191381 HAS SOPS 183445 HAS SOUS 57926 HAS SOUPS 57537 WITH SCORE 57728.381
AT ITER 7794 NEW BEST:: SOT 256423 SOS 191460 HAS SOPS 183524 HAS SOUS 57827 HAS SOUPS 57438 WITH SCORE 57629.46
AT ITER 7797 NEW BEST:: SOT 256305 SOS 191342 HAS SOPS 183406 HAS SOUS 57637 HAS SOUPS 57248 WITH SCORE 57439.342
AT ITER 7875 NEW BEST:: SOT 256305 SOS 174056 HAS SOPS 166134 HAS SOUS 57623 HAS SOUPS 57248 WITH SCORE 57422.056
AT ITER 7895 NEW BEST:: SOT 256341 SOS 173705 HAS SOPS 165783 HAS SOUS 57515 HAS SOUPS 57140 WITH SCORE 57313.705
AT ITER 8028 NEW BEST:: SOT 256341 SOS 173705 HAS SOPS 165783 HAS SOUS 57508 HAS SOUPS 57133 WITH SCORE 57306.705
AT ITER 8040 NEW BEST:: SOT 256356 SOS 173723 HAS SOPS 165801 HAS SOUS 57471 HAS SOUPS 57096 WITH SCORE 57269.723
AT ITER 8100 NEW BEST:: SOT 255946 SOS 173270 HAS SOPS 165151 HAS SOUS 57365 HAS SOUPS 56990 WITH SCORE 57163.27
AT ITER 8172 NEW BEST:: SOT 255946 SOS 173270 HAS SOPS 165151 HAS SOUS 57355 HAS SOUPS 56980 WITH SCORE 57153.27
AT ITER 8233 NEW BEST:: SOT 255946 SOS 173270 HAS SOPS 165145 HAS SOUS 57343 HAS SOUPS 56968 WITH SCORE 57141.27
AT ITER 8235 NEW BEST:: SOT 255966 SOS 169209 HAS SOPS 161004 HAS SOUS 57277 HAS SOUPS 56902 WITH SCORE 57071.209
AT ITER 8251 NEW BEST:: SOT 256555 SOS 169593 HAS SOPS 161388 HAS SOUS 57098 HAS SOUPS 56723 WITH SCORE 56892.593
AT ITER 8256 NEW BEST:: SOT 256394 SOS 169432 HAS SOPS 161248 HAS SOUS 56873 HAS SOUPS 56498 WITH SCORE 56667.432
AT ITER 8339 NEW BEST:: SOT 256394 SOS 169432 HAS SOPS 161248 HAS SOUS 56871 HAS SOUPS 56496 WITH SCORE 56665.432
AT ITER 8436 NEW BEST:: SOT 256202 SOS 169240 HAS SOPS 161056 HAS SOUS 56615 HAS SOUPS 56240 WITH SCORE 56409.24
AT ITER 8454 NEW BEST:: SOT 256601 SOS 169580 HAS SOPS 161391 HAS SOUS 56492 HAS SOUPS 56117 WITH SCORE 56286.58
AT ITER 8463 NEW BEST:: SOT 256914 SOS 169893 HAS SOPS 161704 HAS SOUS 56446 HAS SOUPS 56071 WITH SCORE 56240.893
AT ITER 8500 NEW BEST:: SOT 257043 SOS 169995 HAS SOPS 161806 HAS SOUS 56177 HAS SOUPS 55802 WITH SCORE 55971.995
AT ITER 8518 NEW BEST:: SOT 256963 SOS 169915 HAS SOPS 161726 HAS SOUS 56097 HAS SOUPS 55722 WITH SCORE 55891.915
AT ITER 8539 NEW BEST:: SOT 256963 SOS 171224 HAS SOPS 163035 HAS SOUS 56020 HAS SOUPS 55645 WITH SCORE 55816.224
AT ITER 8583 NEW BEST:: SOT 256963 SOS 171108 HAS SOPS 162919 HAS SOUS 55063 HAS SOUPS 54688 WITH SCORE 54859.108
AT ITER 8625 NEW BEST:: SOT 256837 SOS 170982 HAS SOPS 162793 HAS SOUS 54935 HAS SOUPS 54560 WITH SCORE 54730.982
AT ITER 8641 NEW BEST:: SOT 256427 SOS 170572 HAS SOPS 162383 HAS SOUS 54853 HAS SOUPS 54478 WITH SCORE 54648.572
AT ITER 8671 NEW BEST:: SOT 256292 SOS 170437 HAS SOPS 162248 HAS SOUS 54808 HAS SOUPS 54433 WITH SCORE 54603.437
AT ITER 8691 NEW BEST:: SOT 256107 SOS 170252 HAS SOPS 162063 HAS SOUS 54643 HAS SOUPS 54268 WITH SCORE 54438.252
AT ITER 8727 NEW BEST:: SOT 255707 SOS 169852 HAS SOPS 161663 HAS SOUS 54563 HAS SOUPS 54188 WITH SCORE 54357.852
AT ITER 8788 NEW BEST:: SOT 255707 SOS 169810 HAS SOPS 161621 HAS SOUS 54538 HAS SOUPS 54163 WITH SCORE 54332.81
AT ITER 8823 NEW BEST:: SOT 248593 SOS 216559 HAS SOPS 174827 HAS SOUS 47964 HAS SOUPS 47409 WITH SCORE 47625.559
AT ITER 8878 NEW BEST:: SOT 248609 SOS 216575 HAS SOPS 174843 HAS SOUS 47962 HAS SOUPS 47407 WITH SCORE 47623.575
AT ITER 8881 NEW BEST:: SOT 248529 SOS 216495 HAS SOPS 174763 HAS SOUS 47882 HAS SOUPS 47327 WITH SCORE 47543.495
AT ITER 8972 NEW BEST:: SOT 248511 SOS 216477 HAS SOPS 174727 HAS SOUS 47864 HAS SOUPS 47309 WITH SCORE 47525.477
AT ITER 8989 NEW BEST:: SOT 244022 SOS 211988 HAS SOPS 171233 HAS SOUS 47862 HAS SOUPS 47307 WITH SCORE 47518.988
AT ITER 9041 NEW BEST:: SOT 243974 SOS 211940 HAS SOPS 171185 HAS SOUS 47856 HAS SOUPS 47301 WITH SCORE 47512.94
AT ITER 9140 NEW BEST:: SOT 243690 SOS 211656 HAS SOPS 170904 HAS SOUS 47818 HAS SOUPS 47263 WITH SCORE 47474.656
AT ITER 9173 NEW BEST:: SOT 243812 SOS 211778 HAS SOPS 171026 HAS SOUS 47816 HAS SOUPS 47261 WITH SCORE 47472.778
AT ITER 9180 NEW BEST:: SOT 243786 SOS 211752 HAS SOPS 171000 HAS SOUS 47738 HAS SOUPS 47183 WITH SCORE 47394.752
AT ITER 9198 NEW BEST:: SOT 242844 SOS 210810 HAS SOPS 170152 HAS SOUS 47680 HAS SOUPS 47125 WITH SCORE 47335.81
AT ITER 9232 NEW BEST:: SOT 243082 SOS 211048 HAS SOPS 170390 HAS SOUS 47592 HAS SOUPS 47037 WITH SCORE 47248.048
AT ITER 9234 NEW BEST:: SOT 243274 SOS 211240 HAS SOPS 170486 HAS SOUS 47560 HAS SOUPS 47005 WITH SCORE 47216.24
AT ITER 9345 NEW BEST:: SOT 243274 SOS 211240 HAS SOPS 170486 HAS SOUS 47516 HAS SOUPS 46961 WITH SCORE 47172.24
AT ITER 9479 NEW BEST:: SOT 243001 SOS 210967 HAS SOPS 170213 HAS SOUS 47347 HAS SOUPS 46792 WITH SCORE 47002.967
AT ITER 9522 NEW BEST:: SOT 242484 SOS 210450 HAS SOPS 169813 HAS SOUS 46947 HAS SOUPS 46392 WITH SCORE 46602.45
AT ITER 9575 NEW BEST:: SOT 242452 SOS 210418 HAS SOPS 169781 HAS SOUS 46837 HAS SOUPS 46282 WITH SCORE 46492.418
AT ITER 9653 NEW BEST:: SOT 242434 SOS 210400 HAS SOPS 169933 HAS SOUS 46740 HAS SOUPS 46185 WITH SCORE 46395.4
AT ITER 9655 NEW BEST:: SOT 242394 SOS 210360 HAS SOPS 169893 HAS SOUS 46720 HAS SOUPS 46165 WITH SCORE 46375.36
AT ITER 9682 NEW BEST:: SOT 242348 SOS 210314 HAS SOPS 169847 HAS SOUS 46712 HAS SOUPS 46157 WITH SCORE 46367.314
AT ITER 9779 NEW BEST:: SOT 242292 SOS 210258 HAS SOPS 169791 HAS SOUS 46712 HAS SOUPS 46157 WITH SCORE 46367.258
AT ITER 9785 NEW BEST:: SOT 242287 SOS 210253 HAS SOPS 169786 HAS SOUS 46712 HAS SOUPS 46157 WITH SCORE 46367.253
AT ITER 9977 NEW BEST:: SOT 239508 SOS 207474 HAS SOPS 167007 HAS SOUS 46317 HAS SOUPS 45762 WITH SCORE 45969.474
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 11068516 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16123108 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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
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="DBSingleClientW-PT-d1m06"
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 DBSingleClientW-PT-d1m06, 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 r107-tall-167814484000256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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