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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 6.0K Feb 26 15:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 15:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 26 15:37 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 1678355158621

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-d1m09
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 09:46:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 09:46:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 09:46:00] [INFO ] Load time of PNML (sax parser for PT used): 83 ms
[2023-03-09 09:46:00] [INFO ] Transformed 1440 places.
[2023-03-09 09:46:00] [INFO ] Transformed 672 transitions.
[2023-03-09 09:46:00] [INFO ] Parsed PT model containing 1440 places and 672 transitions and 2688 arcs in 148 ms.
[2023-03-09 09:46:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1440 places, 672 transitions and 2688 arcs took 10 ms.
Total runtime 184 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m09
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 22 NEW BEST:: SOT 229313 SOS 216647 HAS SOPS 216632 HAS SOUS 157980 HAS SOUPS 157965 WITH SCORE 158181.647
AT ITER 29 NEW BEST:: SOT 229313 SOS 216647 HAS SOPS 216632 HAS SOUS 157764 HAS SOUPS 157749 WITH SCORE 157965.647
AT ITER 65 NEW BEST:: SOT 229313 SOS 216647 HAS SOPS 216632 HAS SOUS 156545 HAS SOUPS 156530 WITH SCORE 156746.647
AT ITER 67 NEW BEST:: SOT 229313 SOS 216647 HAS SOPS 216632 HAS SOUS 155734 HAS SOUPS 155719 WITH SCORE 155935.647
AT ITER 116 NEW BEST:: SOT 231086 SOS 218420 HAS SOPS 218405 HAS SOUS 154994 HAS SOUPS 154979 WITH SCORE 155197.42
AT ITER 215 NEW BEST:: SOT 231198 SOS 218532 HAS SOPS 218517 HAS SOUS 154896 HAS SOUPS 154881 WITH SCORE 155099.532
AT ITER 227 NEW BEST:: SOT 231742 SOS 219076 HAS SOPS 219061 HAS SOUS 154635 HAS SOUPS 154620 WITH SCORE 154839.076
AT ITER 254 NEW BEST:: SOT 235567 SOS 222811 HAS SOPS 222796 HAS SOUS 154386 HAS SOUPS 154371 WITH SCORE 154593.811
AT ITER 262 NEW BEST:: SOT 235567 SOS 222311 HAS SOPS 222296 HAS SOUS 152414 HAS SOUPS 152399 WITH SCORE 152621.311
AT ITER 280 NEW BEST:: SOT 235551 SOS 222295 HAS SOPS 222280 HAS SOUS 152398 HAS SOUPS 152383 WITH SCORE 152605.295
AT ITER 287 NEW BEST:: SOT 235551 SOS 222295 HAS SOPS 222280 HAS SOUS 152143 HAS SOUPS 152128 WITH SCORE 152350.295
AT ITER 315 NEW BEST:: SOT 236256 SOS 223000 HAS SOPS 222985 HAS SOUS 152140 HAS SOUPS 152125 WITH SCORE 152348.0
AT ITER 322 NEW BEST:: SOT 236256 SOS 222909 HAS SOPS 222894 HAS SOUS 152127 HAS SOUPS 152112 WITH SCORE 152334.909
AT ITER 326 NEW BEST:: SOT 195883 SOS 182767 HAS SOPS 182521 HAS SOUS 111827 HAS SOUPS 111739 WITH SCORE 111921.767
AT ITER 346 NEW BEST:: SOT 198921 SOS 185805 HAS SOPS 185559 HAS SOUS 110120 HAS SOUPS 110032 WITH SCORE 110217.805
AT ITER 449 NEW BEST:: SOT 198921 SOS 185764 HAS SOPS 185518 HAS SOUS 110120 HAS SOUPS 110032 WITH SCORE 110217.764
AT ITER 483 NEW BEST:: SOT 201272 SOS 187888 HAS SOPS 187626 HAS SOUS 108308 HAS SOUPS 108220 WITH SCORE 108407.888
AT ITER 488 NEW BEST:: SOT 201287 SOS 187903 HAS SOPS 187641 HAS SOUS 108212 HAS SOUPS 108124 WITH SCORE 108311.903
AT ITER 492 NEW BEST:: SOT 204637 SOS 191060 HAS SOPS 190798 HAS SOUS 106881 HAS SOUPS 106793 WITH SCORE 106984.06
AT ITER 508 NEW BEST:: SOT 205054 SOS 191477 HAS SOPS 191215 HAS SOUS 106677 HAS SOUPS 106589 WITH SCORE 106780.477
AT ITER 522 NEW BEST:: SOT 208704 SOS 194934 HAS SOPS 194672 HAS SOUS 105422 HAS SOUPS 105334 WITH SCORE 105528.934
AT ITER 544 NEW BEST:: SOT 205218 SOS 191448 HAS SOPS 191186 HAS SOUS 105319 HAS SOUPS 105231 WITH SCORE 105422.448
AT ITER 550 NEW BEST:: SOT 205162 SOS 191392 HAS SOPS 191130 HAS SOUS 105263 HAS SOUPS 105175 WITH SCORE 105366.392
AT ITER 562 NEW BEST:: SOT 205162 SOS 191392 HAS SOPS 191130 HAS SOUS 105247 HAS SOUPS 105159 WITH SCORE 105350.392
AT ITER 570 NEW BEST:: SOT 205274 SOS 191572 HAS SOPS 191326 HAS SOUS 104687 HAS SOUPS 104599 WITH SCORE 104790.572
AT ITER 577 NEW BEST:: SOT 205274 SOS 191572 HAS SOPS 191326 HAS SOUS 104678 HAS SOUPS 104590 WITH SCORE 104781.572
AT ITER 615 NEW BEST:: SOT 205274 SOS 191572 HAS SOPS 191326 HAS SOUS 104628 HAS SOUPS 104540 WITH SCORE 104731.572
AT ITER 617 NEW BEST:: SOT 205274 SOS 191572 HAS SOPS 191326 HAS SOUS 104623 HAS SOUPS 104535 WITH SCORE 104726.572
AT ITER 671 NEW BEST:: SOT 205274 SOS 191572 HAS SOPS 191326 HAS SOUS 104584 HAS SOUPS 104496 WITH SCORE 104687.572
AT ITER 762 NEW BEST:: SOT 206133 SOS 192431 HAS SOPS 192185 HAS SOUS 102642 HAS SOUPS 102554 WITH SCORE 102746.431
AT ITER 783 NEW BEST:: SOT 206640 SOS 192742 HAS SOPS 192475 HAS SOUS 101142 HAS SOUPS 101054 WITH SCORE 101246.742
AT ITER 805 NEW BEST:: SOT 206640 SOS 192742 HAS SOPS 192475 HAS SOUS 101076 HAS SOUPS 100988 WITH SCORE 101180.742
AT ITER 874 NEW BEST:: SOT 206970 SOS 193072 HAS SOPS 192805 HAS SOUS 100968 HAS SOUPS 100880 WITH SCORE 101073.072
AT ITER 876 NEW BEST:: SOT 207441 SOS 193543 HAS SOPS 193276 HAS SOUS 100932 HAS SOUPS 100844 WITH SCORE 101037.543
AT ITER 877 NEW BEST:: SOT 207441 SOS 192707 HAS SOPS 192440 HAS SOUS 100932 HAS SOUPS 100844 WITH SCORE 101036.707
AT ITER 878 NEW BEST:: SOT 207720 SOS 192845 HAS SOPS 192400 HAS SOUS 100992 HAS SOUPS 100800 WITH SCORE 100992.845
AT ITER 934 NEW BEST:: SOT 207720 SOS 192413 HAS SOPS 191968 HAS SOUS 100020 HAS SOUPS 99828 WITH SCORE 100020.413
AT ITER 969 NEW BEST:: SOT 208350 SOS 193043 HAS SOPS 192598 HAS SOUS 99983 HAS SOUPS 99791 WITH SCORE 99984.043
AT ITER 1022 NEW BEST:: SOT 208938 SOS 193631 HAS SOPS 193186 HAS SOUS 99558 HAS SOUPS 99366 WITH SCORE 99559.631
AT ITER 1037 NEW BEST:: SOT 209253 SOS 193923 HAS SOPS 193478 HAS SOUS 99294 HAS SOUPS 99102 WITH SCORE 99295.923
AT ITER 1104 NEW BEST:: SOT 209253 SOS 193923 HAS SOPS 193478 HAS SOUS 99261 HAS SOUPS 99069 WITH SCORE 99262.923
AT ITER 1113 NEW BEST:: SOT 209253 SOS 193923 HAS SOPS 193478 HAS SOUS 98968 HAS SOUPS 98776 WITH SCORE 98969.923
AT ITER 1156 NEW BEST:: SOT 209253 SOS 193923 HAS SOPS 193478 HAS SOUS 98967 HAS SOUPS 98775 WITH SCORE 98968.923
AT ITER 1202 NEW BEST:: SOT 209814 SOS 194342 HAS SOPS 193582 HAS SOUS 98855 HAS SOUPS 98526 WITH SCORE 98720.342
AT ITER 1241 NEW BEST:: SOT 209814 SOS 194480 HAS SOPS 193720 HAS SOUS 98694 HAS SOUPS 98365 WITH SCORE 98559.48
AT ITER 1281 NEW BEST:: SOT 209626 SOS 194292 HAS SOPS 193532 HAS SOUS 98506 HAS SOUPS 98177 WITH SCORE 98371.292
AT ITER 1287 NEW BEST:: SOT 209626 SOS 194310 HAS SOPS 193550 HAS SOUS 98497 HAS SOUPS 98168 WITH SCORE 98362.31
AT ITER 1293 NEW BEST:: SOT 209626 SOS 194284 HAS SOPS 193524 HAS SOUS 98497 HAS SOUPS 98168 WITH SCORE 98362.284
AT ITER 1296 NEW BEST:: SOT 212739 SOS 196923 HAS SOPS 196116 HAS SOUS 96925 HAS SOUPS 96596 WITH SCORE 96792.923
AT ITER 1298 NEW BEST:: SOT 212739 SOS 194154 HAS SOPS 193347 HAS SOUS 96900 HAS SOUPS 96571 WITH SCORE 96765.154
AT ITER 1320 NEW BEST:: SOT 213216 SOS 194631 HAS SOPS 193824 HAS SOUS 96561 HAS SOUPS 96232 WITH SCORE 96426.631
AT ITER 1372 NEW BEST:: SOT 213216 SOS 194631 HAS SOPS 193824 HAS SOUS 96324 HAS SOUPS 95995 WITH SCORE 96189.631
AT ITER 1397 NEW BEST:: SOT 211992 SOS 193407 HAS SOPS 192600 HAS SOUS 96188 HAS SOUPS 95859 WITH SCORE 96052.407
AT ITER 1492 NEW BEST:: SOT 212996 SOS 194411 HAS SOPS 193604 HAS SOUS 96052 HAS SOUPS 95723 WITH SCORE 95917.411
AT ITER 1493 NEW BEST:: SOT 213073 SOS 194488 HAS SOPS 193681 HAS SOUS 95752 HAS SOUPS 95423 WITH SCORE 95617.488
AT ITER 1497 NEW BEST:: SOT 213310 SOS 194725 HAS SOPS 193918 HAS SOUS 95459 HAS SOUPS 95130 WITH SCORE 95324.725
AT ITER 1532 NEW BEST:: SOT 213310 SOS 194070 HAS SOPS 193263 HAS SOUS 95362 HAS SOUPS 95033 WITH SCORE 95227.07
AT ITER 1541 NEW BEST:: SOT 213310 SOS 194070 HAS SOPS 193263 HAS SOUS 95361 HAS SOUPS 95032 WITH SCORE 95226.07
AT ITER 1546 NEW BEST:: SOT 214533 SOS 195161 HAS SOPS 194354 HAS SOUS 93386 HAS SOUPS 93057 WITH SCORE 93252.161
AT ITER 1605 NEW BEST:: SOT 218679 SOS 199176 HAS SOPS 198369 HAS SOUS 92479 HAS SOUPS 92150 WITH SCORE 92349.176
AT ITER 1627 NEW BEST:: SOT 218634 SOS 199131 HAS SOPS 198324 HAS SOUS 92434 HAS SOUPS 92105 WITH SCORE 92304.131
AT ITER 1635 NEW BEST:: SOT 219014 SOS 199511 HAS SOPS 198704 HAS SOUS 92258 HAS SOUPS 91929 WITH SCORE 92128.511
AT ITER 1668 NEW BEST:: SOT 219014 SOS 196393 HAS SOPS 195586 HAS SOUS 91818 HAS SOUPS 91489 WITH SCORE 91685.393
AT ITER 1706 NEW BEST:: SOT 219014 SOS 196171 HAS SOPS 195364 HAS SOUS 91422 HAS SOUPS 91093 WITH SCORE 91289.171
AT ITER 1708 NEW BEST:: SOT 219014 SOS 196085 HAS SOPS 195278 HAS SOUS 91315 HAS SOUPS 90986 WITH SCORE 91182.085
AT ITER 1738 NEW BEST:: SOT 219014 SOS 196085 HAS SOPS 195278 HAS SOUS 91302 HAS SOUPS 90973 WITH SCORE 91169.085
AT ITER 1756 NEW BEST:: SOT 223603 SOS 199912 HAS SOPS 199054 HAS SOUS 90470 HAS SOUPS 90141 WITH SCORE 90340.912
AT ITER 1778 NEW BEST:: SOT 224458 SOS 200767 HAS SOPS 199909 HAS SOUS 90421 HAS SOUPS 90092 WITH SCORE 90292.767
AT ITER 1786 NEW BEST:: SOT 224458 SOS 200420 HAS SOPS 199562 HAS SOUS 90414 HAS SOUPS 90085 WITH SCORE 90285.42
AT ITER 1804 NEW BEST:: SOT 224442 SOS 200404 HAS SOPS 199546 HAS SOUS 90406 HAS SOUPS 90077 WITH SCORE 90277.404
AT ITER 1879 NEW BEST:: SOT 224470 SOS 200432 HAS SOPS 199574 HAS SOUS 89906 HAS SOUPS 89577 WITH SCORE 89777.432
AT ITER 1928 NEW BEST:: SOT 224470 SOS 198655 HAS SOPS 197797 HAS SOUS 89906 HAS SOUPS 89577 WITH SCORE 89775.655
AT ITER 1949 NEW BEST:: SOT 224704 SOS 198889 HAS SOPS 198031 HAS SOUS 89876 HAS SOUPS 89547 WITH SCORE 89745.889
AT ITER 1962 NEW BEST:: SOT 224970 SOS 199155 HAS SOPS 198297 HAS SOUS 89512 HAS SOUPS 89183 WITH SCORE 89382.155
AT ITER 2031 NEW BEST:: SOT 225749 SOS 199934 HAS SOPS 199076 HAS SOUS 89495 HAS SOUPS 89166 WITH SCORE 89365.934
AT ITER 2084 NEW BEST:: SOT 226292 SOS 200477 HAS SOPS 199619 HAS SOUS 89360 HAS SOUPS 89031 WITH SCORE 89231.477
AT ITER 2088 NEW BEST:: SOT 227140 SOS 201120 HAS SOPS 199897 HAS SOUS 89392 HAS SOUPS 89013 WITH SCORE 89214.12
AT ITER 2123 NEW BEST:: SOT 227140 SOS 201145 HAS SOPS 199922 HAS SOUS 89348 HAS SOUPS 88969 WITH SCORE 89170.145
AT ITER 2152 NEW BEST:: SOT 228013 SOS 202018 HAS SOPS 200795 HAS SOUS 88957 HAS SOUPS 88578 WITH SCORE 88780.018
AT ITER 2212 NEW BEST:: SOT 228631 SOS 202636 HAS SOPS 201413 HAS SOUS 88807 HAS SOUPS 88428 WITH SCORE 88630.636
AT ITER 2311 NEW BEST:: SOT 233077 SOS 205810 HAS SOPS 204533 HAS SOUS 88151 HAS SOUPS 87772 WITH SCORE 87977.81
AT ITER 2476 NEW BEST:: SOT 233041 SOS 205774 HAS SOPS 204497 HAS SOUS 88139 HAS SOUPS 87760 WITH SCORE 87965.774
AT ITER 2480 NEW BEST:: SOT 234039 SOS 206772 HAS SOPS 205495 HAS SOUS 88081 HAS SOUPS 87702 WITH SCORE 87908.772
AT ITER 2518 NEW BEST:: SOT 234019 SOS 206752 HAS SOPS 205475 HAS SOUS 88071 HAS SOUPS 87692 WITH SCORE 87898.752
AT ITER 2522 NEW BEST:: SOT 234019 SOS 204842 HAS SOPS 203565 HAS SOUS 87779 HAS SOUPS 87400 WITH SCORE 87604.842
AT ITER 2531 NEW BEST:: SOT 234019 SOS 204740 HAS SOPS 203463 HAS SOUS 87677 HAS SOUPS 87298 WITH SCORE 87502.74
AT ITER 2549 NEW BEST:: SOT 234019 SOS 204740 HAS SOPS 203463 HAS SOUS 87427 HAS SOUPS 87048 WITH SCORE 87252.74
AT ITER 2585 NEW BEST:: SOT 234006 SOS 204727 HAS SOPS 203450 HAS SOUS 87388 HAS SOUPS 87009 WITH SCORE 87213.727
AT ITER 2648 NEW BEST:: SOT 234125 SOS 204846 HAS SOPS 203430 HAS SOUS 87367 HAS SOUPS 86988 WITH SCORE 87192.846
AT ITER 2685 NEW BEST:: SOT 234125 SOS 204846 HAS SOPS 203430 HAS SOUS 87353 HAS SOUPS 86974 WITH SCORE 87178.846
AT ITER 2699 NEW BEST:: SOT 234125 SOS 204796 HAS SOPS 203380 HAS SOUS 87253 HAS SOUPS 86874 WITH SCORE 87078.796
AT ITER 2722 NEW BEST:: SOT 234136 SOS 204777 HAS SOPS 203361 HAS SOUS 87169 HAS SOUPS 86790 WITH SCORE 86994.777
AT ITER 2728 NEW BEST:: SOT 234151 SOS 204792 HAS SOPS 203127 HAS SOUS 86950 HAS SOUPS 86571 WITH SCORE 86775.792
AT ITER 2731 NEW BEST:: SOT 234393 SOS 205034 HAS SOPS 203369 HAS SOUS 86760 HAS SOUPS 86381 WITH SCORE 86586.034
AT ITER 2818 NEW BEST:: SOT 233947 SOS 204588 HAS SOPS 203044 HAS SOUS 86385 HAS SOUPS 86056 WITH SCORE 86260.588
AT ITER 2878 NEW BEST:: SOT 233853 SOS 204494 HAS SOPS 202950 HAS SOUS 86371 HAS SOUPS 86042 WITH SCORE 86246.494
AT ITER 2890 NEW BEST:: SOT 234541 SOS 205182 HAS SOPS 203638 HAS SOUS 86311 HAS SOUPS 85982 WITH SCORE 86187.182
AT ITER 2926 NEW BEST:: SOT 233866 SOS 204507 HAS SOPS 202963 HAS SOUS 86236 HAS SOUPS 85907 WITH SCORE 86111.507
AT ITER 2939 NEW BEST:: SOT 233866 SOS 203957 HAS SOPS 202413 HAS SOUS 86003 HAS SOUPS 85674 WITH SCORE 85877.957
AT ITER 2945 NEW BEST:: SOT 233866 SOS 203957 HAS SOPS 202413 HAS SOUS 85990 HAS SOUPS 85661 WITH SCORE 85864.957
AT ITER 2979 NEW BEST:: SOT 233866 SOS 202271 HAS SOPS 200727 HAS SOUS 85866 HAS SOUPS 85537 WITH SCORE 85739.271
AT ITER 3001 NEW BEST:: SOT 233866 SOS 202186 HAS SOPS 200642 HAS SOUS 85861 HAS SOUPS 85532 WITH SCORE 85734.186
AT ITER 3135 NEW BEST:: SOT 234155 SOS 202475 HAS SOPS 200931 HAS SOUS 85711 HAS SOUPS 85382 WITH SCORE 85584.475
AT ITER 3263 NEW BEST:: SOT 234081 SOS 202401 HAS SOPS 200857 HAS SOUS 85711 HAS SOUPS 85382 WITH SCORE 85584.401
AT ITER 3282 NEW BEST:: SOT 234081 SOS 202350 HAS SOPS 200806 HAS SOUS 85711 HAS SOUPS 85382 WITH SCORE 85584.35
AT ITER 3339 NEW BEST:: SOT 234081 SOS 202270 HAS SOPS 200726 HAS SOUS 85630 HAS SOUPS 85301 WITH SCORE 85503.27
AT ITER 3410 NEW BEST:: SOT 234775 SOS 202964 HAS SOPS 201420 HAS SOUS 85438 HAS SOUPS 85109 WITH SCORE 85311.964
AT ITER 3447 NEW BEST:: SOT 234775 SOS 202964 HAS SOPS 201420 HAS SOUS 85425 HAS SOUPS 85096 WITH SCORE 85298.964
AT ITER 3465 NEW BEST:: SOT 234451 SOS 202640 HAS SOPS 201096 HAS SOUS 85310 HAS SOUPS 84981 WITH SCORE 85183.64
AT ITER 3562 NEW BEST:: SOT 234604 SOS 202793 HAS SOPS 201073 HAS SOUS 85268 HAS SOUPS 84939 WITH SCORE 85141.793
AT ITER 3577 NEW BEST:: SOT 235060 SOS 203249 HAS SOPS 201529 HAS SOUS 85115 HAS SOUPS 84786 WITH SCORE 84989.249
AT ITER 3652 NEW BEST:: SOT 235310 SOS 203522 HAS SOPS 201804 HAS SOUS 84155 HAS SOUPS 83826 WITH SCORE 84029.522
AT ITER 3656 NEW BEST:: SOT 224844 SOS 193659 HAS SOPS 191338 HAS SOUS 73723 HAS SOUPS 73358 WITH SCORE 73551.659
AT ITER 3733 NEW BEST:: SOT 225020 SOS 193835 HAS SOPS 191278 HAS SOUS 73637 HAS SOUPS 73272 WITH SCORE 73465.835
AT ITER 3784 NEW BEST:: SOT 222283 SOS 191098 HAS SOPS 188554 HAS SOUS 72817 HAS SOUPS 72452 WITH SCORE 72643.098
AT ITER 3802 NEW BEST:: SOT 221987 SOS 190802 HAS SOPS 188258 HAS SOUS 72641 HAS SOUPS 72276 WITH SCORE 72466.802
AT ITER 3828 NEW BEST:: SOT 221987 SOS 190617 HAS SOPS 188073 HAS SOUS 72272 HAS SOUPS 71907 WITH SCORE 72097.617
AT ITER 3829 NEW BEST:: SOT 221829 SOS 190459 HAS SOPS 187994 HAS SOUS 72193 HAS SOUPS 71828 WITH SCORE 72018.459
AT ITER 3922 NEW BEST:: SOT 221829 SOS 190459 HAS SOPS 187994 HAS SOUS 72191 HAS SOUPS 71826 WITH SCORE 72016.459
AT ITER 3998 NEW BEST:: SOT 221829 SOS 190458 HAS SOPS 187993 HAS SOUS 72133 HAS SOUPS 71768 WITH SCORE 71958.458
AT ITER 4010 NEW BEST:: SOT 221845 SOS 190474 HAS SOPS 188009 HAS SOUS 72028 HAS SOUPS 71663 WITH SCORE 71853.474
AT ITER 4133 NEW BEST:: SOT 221742 SOS 190332 HAS SOPS 187867 HAS SOUS 71703 HAS SOUPS 71338 WITH SCORE 71528.332
AT ITER 4151 NEW BEST:: SOT 219312 SOS 187902 HAS SOPS 185437 HAS SOUS 70801 HAS SOUPS 70436 WITH SCORE 70623.902
AT ITER 4240 NEW BEST:: SOT 219887 SOS 188477 HAS SOPS 186012 HAS SOUS 70739 HAS SOUPS 70374 WITH SCORE 70562.477
AT ITER 4262 NEW BEST:: SOT 219815 SOS 188405 HAS SOPS 185940 HAS SOUS 70724 HAS SOUPS 70359 WITH SCORE 70547.405
AT ITER 4279 NEW BEST:: SOT 219815 SOS 187893 HAS SOPS 185428 HAS SOUS 70705 HAS SOUPS 70340 WITH SCORE 70527.893
AT ITER 4358 NEW BEST:: SOT 219763 SOS 187841 HAS SOPS 185376 HAS SOUS 70679 HAS SOUPS 70314 WITH SCORE 70501.841
AT ITER 4441 NEW BEST:: SOT 219719 SOS 187797 HAS SOPS 185332 HAS SOUS 70647 HAS SOUPS 70282 WITH SCORE 70469.797
AT ITER 4444 NEW BEST:: SOT 219446 SOS 187524 HAS SOPS 185059 HAS SOUS 70474 HAS SOUPS 70109 WITH SCORE 70296.524
AT ITER 4517 NEW BEST:: SOT 219547 SOS 187625 HAS SOPS 185160 HAS SOUS 70440 HAS SOUPS 70075 WITH SCORE 70262.625
AT ITER 4522 NEW BEST:: SOT 219541 SOS 187619 HAS SOPS 185154 HAS SOUS 70434 HAS SOUPS 70069 WITH SCORE 70256.619
AT ITER 4567 NEW BEST:: SOT 219507 SOS 187585 HAS SOPS 185120 HAS SOUS 70401 HAS SOUPS 70036 WITH SCORE 70223.585
AT ITER 4594 NEW BEST:: SOT 219507 SOS 187585 HAS SOPS 185120 HAS SOUS 70261 HAS SOUPS 69896 WITH SCORE 70083.585
AT ITER 4639 NEW BEST:: SOT 219810 SOS 187863 HAS SOPS 185398 HAS SOUS 70236 HAS SOUPS 69871 WITH SCORE 70058.863
AT ITER 4683 NEW BEST:: SOT 219489 SOS 187542 HAS SOPS 185077 HAS SOUS 70117 HAS SOUPS 69752 WITH SCORE 69939.542
AT ITER 4703 NEW BEST:: SOT 219464 SOS 187376 HAS SOPS 184886 HAS SOUS 70117 HAS SOUPS 69752 WITH SCORE 69939.376
AT ITER 4717 NEW BEST:: SOT 219085 SOS 186997 HAS SOPS 184507 HAS SOUS 70047 HAS SOUPS 69682 WITH SCORE 69868.997
AT ITER 4787 NEW BEST:: SOT 219085 SOS 186560 HAS SOPS 184070 HAS SOUS 70024 HAS SOUPS 69659 WITH SCORE 69845.56
AT ITER 4824 NEW BEST:: SOT 219059 SOS 186526 HAS SOPS 184021 HAS SOUS 69987 HAS SOUPS 69622 WITH SCORE 69808.526
AT ITER 4854 NEW BEST:: SOT 219059 SOS 186368 HAS SOPS 183863 HAS SOUS 69985 HAS SOUPS 69620 WITH SCORE 69806.368
AT ITER 4876 NEW BEST:: SOT 219072 SOS 186381 HAS SOPS 183876 HAS SOUS 69973 HAS SOUPS 69608 WITH SCORE 69794.381
AT ITER 4919 NEW BEST:: SOT 219072 SOS 186381 HAS SOPS 183876 HAS SOUS 69972 HAS SOUPS 69607 WITH SCORE 69793.381
AT ITER 4938 NEW BEST:: SOT 219072 SOS 186381 HAS SOPS 183876 HAS SOUS 69927 HAS SOUPS 69562 WITH SCORE 69748.381
AT ITER 4950 NEW BEST:: SOT 217532 SOS 184841 HAS SOPS 182336 HAS SOUS 69619 HAS SOUPS 69254 WITH SCORE 69438.841
AT ITER 4963 NEW BEST:: SOT 217276 SOS 184585 HAS SOPS 182080 HAS SOUS 69619 HAS SOUPS 69254 WITH SCORE 69438.585
AT ITER 5277 NEW BEST:: SOT 217124 SOS 184433 HAS SOPS 181928 HAS SOUS 69467 HAS SOUPS 69102 WITH SCORE 69286.433
AT ITER 5333 NEW BEST:: SOT 217109 SOS 184418 HAS SOPS 181913 HAS SOUS 69452 HAS SOUPS 69087 WITH SCORE 69271.418
AT ITER 5371 NEW BEST:: SOT 217109 SOS 184418 HAS SOPS 181913 HAS SOUS 69427 HAS SOUPS 69062 WITH SCORE 69246.418
AT ITER 5377 NEW BEST:: SOT 216647 SOS 183956 HAS SOPS 181451 HAS SOUS 69427 HAS SOUPS 69062 WITH SCORE 69245.956
AT ITER 5472 NEW BEST:: SOT 216647 SOS 183463 HAS SOPS 180958 HAS SOUS 69374 HAS SOUPS 69009 WITH SCORE 69192.463
AT ITER 5570 NEW BEST:: SOT 216589 SOS 183405 HAS SOPS 180900 HAS SOUS 69262 HAS SOUPS 68897 WITH SCORE 69080.405
AT ITER 5614 NEW BEST:: SOT 216730 SOS 183290 HAS SOPS 180630 HAS SOUS 69138 HAS SOUPS 68773 WITH SCORE 68956.29
AT ITER 5637 NEW BEST:: SOT 212209 SOS 179050 HAS SOPS 176801 HAS SOUS 68457 HAS SOUPS 68092 WITH SCORE 68271.05
AT ITER 5642 NEW BEST:: SOT 212209 SOS 179050 HAS SOPS 176801 HAS SOUS 68437 HAS SOUPS 68072 WITH SCORE 68251.05
AT ITER 5645 NEW BEST:: SOT 212204 SOS 179045 HAS SOPS 176796 HAS SOUS 68432 HAS SOUPS 68067 WITH SCORE 68246.045
AT ITER 5717 NEW BEST:: SOT 212757 SOS 179598 HAS SOPS 177349 HAS SOUS 68352 HAS SOUPS 67987 WITH SCORE 68166.598
AT ITER 5758 NEW BEST:: SOT 212753 SOS 179594 HAS SOPS 177345 HAS SOUS 68344 HAS SOUPS 67979 WITH SCORE 68158.594
AT ITER 5765 NEW BEST:: SOT 213542 SOS 180383 HAS SOPS 178134 HAS SOUS 68229 HAS SOUPS 67864 WITH SCORE 68044.383
AT ITER 5778 NEW BEST:: SOT 215780 SOS 182195 HAS SOPS 179796 HAS SOUS 68062 HAS SOUPS 67697 WITH SCORE 67879.195
AT ITER 5780 NEW BEST:: SOT 215759 SOS 182174 HAS SOPS 179775 HAS SOUS 68041 HAS SOUPS 67676 WITH SCORE 67858.174
AT ITER 5801 NEW BEST:: SOT 214819 SOS 181234 HAS SOPS 178835 HAS SOUS 67853 HAS SOUPS 67488 WITH SCORE 67669.234
AT ITER 5853 NEW BEST:: SOT 214819 SOS 181254 HAS SOPS 178855 HAS SOUS 67827 HAS SOUPS 67462 WITH SCORE 67643.254
AT ITER 5925 NEW BEST:: SOT 215191 SOS 181618 HAS SOPS 179219 HAS SOUS 67603 HAS SOUPS 67238 WITH SCORE 67419.618
AT ITER 5973 NEW BEST:: SOT 215155 SOS 181582 HAS SOPS 179183 HAS SOUS 67585 HAS SOUPS 67220 WITH SCORE 67401.582
AT ITER 6090 NEW BEST:: SOT 215347 SOS 181774 HAS SOPS 179375 HAS SOUS 67445 HAS SOUPS 67080 WITH SCORE 67261.774
AT ITER 6151 NEW BEST:: SOT 215347 SOS 181774 HAS SOPS 179375 HAS SOUS 67380 HAS SOUPS 67015 WITH SCORE 67196.774
AT ITER 6183 NEW BEST:: SOT 215104 SOS 181531 HAS SOPS 179132 HAS SOUS 67299 HAS SOUPS 66934 WITH SCORE 67115.531
AT ITER 6188 NEW BEST:: SOT 215024 SOS 181451 HAS SOPS 179052 HAS SOUS 67299 HAS SOUPS 66934 WITH SCORE 67115.451
AT ITER 6223 NEW BEST:: SOT 214721 SOS 181148 HAS SOPS 178749 HAS SOUS 67198 HAS SOUPS 66833 WITH SCORE 67014.148
AT ITER 6299 NEW BEST:: SOT 214721 SOS 181038 HAS SOPS 178639 HAS SOUS 67126 HAS SOUPS 66761 WITH SCORE 66942.038
AT ITER 6365 NEW BEST:: SOT 214721 SOS 178698 HAS SOPS 176299 HAS SOUS 66920 HAS SOUPS 66555 WITH SCORE 66733.698
AT ITER 6393 NEW BEST:: SOT 214741 SOS 178718 HAS SOPS 176319 HAS SOUS 66858 HAS SOUPS 66493 WITH SCORE 66671.718
AT ITER 6437 NEW BEST:: SOT 214933 SOS 178910 HAS SOPS 176511 HAS SOUS 66805 HAS SOUPS 66440 WITH SCORE 66618.91
AT ITER 6451 NEW BEST:: SOT 214923 SOS 178900 HAS SOPS 176501 HAS SOUS 66805 HAS SOUPS 66440 WITH SCORE 66618.9
AT ITER 6498 NEW BEST:: SOT 214923 SOS 162961 HAS SOPS 160576 HAS SOUS 66449 HAS SOUPS 66098 WITH SCORE 66260.961
AT ITER 6504 NEW BEST:: SOT 214913 SOS 162951 HAS SOPS 160566 HAS SOUS 66392 HAS SOUPS 66041 WITH SCORE 66203.951
AT ITER 6573 NEW BEST:: SOT 215654 SOS 163411 HAS SOPS 160832 HAS SOUS 66095 HAS SOUPS 65744 WITH SCORE 65907.411
AT ITER 6614 NEW BEST:: SOT 215654 SOS 163353 HAS SOPS 160774 HAS SOUS 66075 HAS SOUPS 65724 WITH SCORE 65887.353
AT ITER 6617 NEW BEST:: SOT 215261 SOS 162960 HAS SOPS 160233 HAS SOUS 66024 HAS SOUPS 65673 WITH SCORE 65835.96
AT ITER 6673 NEW BEST:: SOT 215261 SOS 163088 HAS SOPS 160361 HAS SOUS 65971 HAS SOUPS 65620 WITH SCORE 65783.088
AT ITER 6695 NEW BEST:: SOT 214210 SOS 162166 HAS SOPS 159439 HAS SOUS 65640 HAS SOUPS 65289 WITH SCORE 65451.166
AT ITER 6706 NEW BEST:: SOT 214210 SOS 162258 HAS SOPS 159531 HAS SOUS 65623 HAS SOUPS 65272 WITH SCORE 65434.258
AT ITER 6736 NEW BEST:: SOT 214208 SOS 162256 HAS SOPS 159529 HAS SOUS 65619 HAS SOUPS 65268 WITH SCORE 65430.256
AT ITER 6775 NEW BEST:: SOT 214208 SOS 162336 HAS SOPS 159609 HAS SOUS 65579 HAS SOUPS 65228 WITH SCORE 65390.336
AT ITER 6781 NEW BEST:: SOT 214208 SOS 162239 HAS SOPS 159512 HAS SOUS 65496 HAS SOUPS 65145 WITH SCORE 65307.239
AT ITER 6785 NEW BEST:: SOT 214098 SOS 162129 HAS SOPS 159413 HAS SOUS 65463 HAS SOUPS 65112 WITH SCORE 65274.129
AT ITER 6859 NEW BEST:: SOT 214778 SOS 162809 HAS SOPS 160093 HAS SOUS 65399 HAS SOUPS 65048 WITH SCORE 65210.809
AT ITER 6877 NEW BEST:: SOT 214038 SOS 162069 HAS SOPS 159413 HAS SOUS 65151 HAS SOUPS 64856 WITH SCORE 65018.069
AT ITER 6942 NEW BEST:: SOT 214145 SOS 161756 HAS SOPS 159100 HAS SOUS 65085 HAS SOUPS 64790 WITH SCORE 64951.756
AT ITER 6975 NEW BEST:: SOT 214145 SOS 161317 HAS SOPS 158661 HAS SOUS 65084 HAS SOUPS 64789 WITH SCORE 64950.317
AT ITER 6993 NEW BEST:: SOT 214565 SOS 161737 HAS SOPS 159081 HAS SOUS 64993 HAS SOUPS 64698 WITH SCORE 64859.737
AT ITER 7072 NEW BEST:: SOT 214961 SOS 162133 HAS SOPS 159477 HAS SOUS 64791 HAS SOUPS 64496 WITH SCORE 64658.133
AT ITER 7091 NEW BEST:: SOT 213998 SOS 161189 HAS SOPS 158533 HAS SOUS 64742 HAS SOUPS 64447 WITH SCORE 64608.189
AT ITER 7134 NEW BEST:: SOT 213995 SOS 161186 HAS SOPS 158530 HAS SOUS 64742 HAS SOUPS 64447 WITH SCORE 64608.186
AT ITER 7178 NEW BEST:: SOT 214220 SOS 161411 HAS SOPS 158755 HAS SOUS 64725 HAS SOUPS 64430 WITH SCORE 64591.411
AT ITER 7228 NEW BEST:: SOT 214452 SOS 161587 HAS SOPS 158931 HAS SOUS 64707 HAS SOUPS 64412 WITH SCORE 64573.587
AT ITER 7233 NEW BEST:: SOT 214293 SOS 161428 HAS SOPS 158772 HAS SOUS 64690 HAS SOUPS 64395 WITH SCORE 64556.428
AT ITER 7273 NEW BEST:: SOT 214293 SOS 161648 HAS SOPS 158992 HAS SOUS 64650 HAS SOUPS 64355 WITH SCORE 64516.648
AT ITER 7354 NEW BEST:: SOT 214293 SOS 161648 HAS SOPS 158992 HAS SOUS 64625 HAS SOUPS 64330 WITH SCORE 64491.648
AT ITER 7388 NEW BEST:: SOT 214293 SOS 161547 HAS SOPS 158891 HAS SOUS 64536 HAS SOUPS 64241 WITH SCORE 64402.547
AT ITER 7394 NEW BEST:: SOT 214351 SOS 161638 HAS SOPS 159032 HAS SOUS 64479 HAS SOUPS 64184 WITH SCORE 64345.638
AT ITER 7417 NEW BEST:: SOT 214220 SOS 161505 HAS SOPS 158899 HAS SOUS 64271 HAS SOUPS 63976 WITH SCORE 64137.505
AT ITER 7478 NEW BEST:: SOT 214152 SOS 161437 HAS SOPS 158831 HAS SOUS 64203 HAS SOUPS 63908 WITH SCORE 64069.437
AT ITER 7537 NEW BEST:: SOT 214152 SOS 161437 HAS SOPS 158831 HAS SOUS 64187 HAS SOUPS 63892 WITH SCORE 64053.437
AT ITER 7544 NEW BEST:: SOT 214148 SOS 161427 HAS SOPS 158819 HAS SOUS 64167 HAS SOUPS 63872 WITH SCORE 64033.427
AT ITER 7554 NEW BEST:: SOT 214148 SOS 161110 HAS SOPS 158502 HAS SOUS 64113 HAS SOUPS 63818 WITH SCORE 63979.11
AT ITER 7606 NEW BEST:: SOT 214331 SOS 161274 HAS SOPS 158666 HAS SOUS 63902 HAS SOUPS 63607 WITH SCORE 63768.274
AT ITER 7616 NEW BEST:: SOT 214041 SOS 160984 HAS SOPS 158376 HAS SOUS 63844 HAS SOUPS 63549 WITH SCORE 63709.984
AT ITER 7690 NEW BEST:: SOT 214041 SOS 160908 HAS SOPS 158300 HAS SOUS 63732 HAS SOUPS 63437 WITH SCORE 63597.908
AT ITER 7692 NEW BEST:: SOT 214041 SOS 160812 HAS SOPS 158204 HAS SOUS 63708 HAS SOUPS 63413 WITH SCORE 63573.812
AT ITER 7713 NEW BEST:: SOT 214186 SOS 160896 HAS SOPS 158288 HAS SOUS 63705 HAS SOUPS 63410 WITH SCORE 63570.896
AT ITER 7816 NEW BEST:: SOT 214446 SOS 161156 HAS SOPS 158548 HAS SOUS 63591 HAS SOUPS 63296 WITH SCORE 63457.156
AT ITER 7867 NEW BEST:: SOT 214446 SOS 161156 HAS SOPS 158548 HAS SOUS 63559 HAS SOUPS 63264 WITH SCORE 63425.156
AT ITER 7883 NEW BEST:: SOT 214446 SOS 160772 HAS SOPS 158164 HAS SOUS 63461 HAS SOUPS 63166 WITH SCORE 63326.772
AT ITER 7908 NEW BEST:: SOT 214284 SOS 160610 HAS SOPS 158002 HAS SOUS 63379 HAS SOUPS 63084 WITH SCORE 63244.61
AT ITER 8057 NEW BEST:: SOT 214243 SOS 160569 HAS SOPS 157961 HAS SOUS 63379 HAS SOUPS 63084 WITH SCORE 63244.569
AT ITER 8078 NEW BEST:: SOT 214243 SOS 160569 HAS SOPS 157961 HAS SOUS 63245 HAS SOUPS 62950 WITH SCORE 63110.569
AT ITER 8083 NEW BEST:: SOT 214243 SOS 160570 HAS SOPS 157962 HAS SOUS 62795 HAS SOUPS 62500 WITH SCORE 62660.57
AT ITER 8099 NEW BEST:: SOT 214163 SOS 160490 HAS SOPS 157882 HAS SOUS 62715 HAS SOUPS 62420 WITH SCORE 62580.49
AT ITER 8238 NEW BEST:: SOT 212573 SOS 158900 HAS SOPS 156502 HAS SOUS 62565 HAS SOUPS 62270 WITH SCORE 62428.9
AT ITER 8300 NEW BEST:: SOT 212525 SOS 158852 HAS SOPS 156454 HAS SOUS 62517 HAS SOUPS 62222 WITH SCORE 62380.852
AT ITER 8324 NEW BEST:: SOT 212520 SOS 158847 HAS SOPS 156449 HAS SOUS 62512 HAS SOUPS 62217 WITH SCORE 62375.847
AT ITER 8349 NEW BEST:: SOT 212520 SOS 158329 HAS SOPS 155931 HAS SOUS 62438 HAS SOUPS 62143 WITH SCORE 62301.329
AT ITER 8352 NEW BEST:: SOT 212520 SOS 158146 HAS SOPS 155748 HAS SOUS 62438 HAS SOUPS 62143 WITH SCORE 62301.146
AT ITER 8387 NEW BEST:: SOT 212296 SOS 157922 HAS SOPS 155524 HAS SOUS 62404 HAS SOUPS 62109 WITH SCORE 62266.922
AT ITER 8391 NEW BEST:: SOT 212659 SOS 157978 HAS SOPS 155553 HAS SOUS 62395 HAS SOUPS 62100 WITH SCORE 62257.978
AT ITER 8418 NEW BEST:: SOT 212659 SOS 158255 HAS SOPS 155830 HAS SOUS 62377 HAS SOUPS 62082 WITH SCORE 62240.255
AT ITER 8435 NEW BEST:: SOT 212689 SOS 158285 HAS SOPS 155860 HAS SOUS 61980 HAS SOUPS 61685 WITH SCORE 61843.285
AT ITER 8506 NEW BEST:: SOT 212689 SOS 157905 HAS SOPS 155480 HAS SOUS 61980 HAS SOUPS 61685 WITH SCORE 61842.905
AT ITER 8509 NEW BEST:: SOT 212423 SOS 157639 HAS SOPS 155214 HAS SOUS 61920 HAS SOUPS 61625 WITH SCORE 61782.639
AT ITER 8510 NEW BEST:: SOT 212399 SOS 157615 HAS SOPS 155190 HAS SOUS 61903 HAS SOUPS 61608 WITH SCORE 61765.615
AT ITER 8537 NEW BEST:: SOT 212432 SOS 157718 HAS SOPS 155293 HAS SOUS 61828 HAS SOUPS 61533 WITH SCORE 61690.718
AT ITER 8559 NEW BEST:: SOT 212432 SOS 158682 HAS SOPS 156257 HAS SOUS 61823 HAS SOUPS 61528 WITH SCORE 61686.682
AT ITER 8567 NEW BEST:: SOT 212432 SOS 158682 HAS SOPS 156257 HAS SOUS 61822 HAS SOUPS 61527 WITH SCORE 61685.682
AT ITER 8664 NEW BEST:: SOT 212611 SOS 158829 HAS SOPS 156225 HAS SOUS 61790 HAS SOUPS 61495 WITH SCORE 61653.829
AT ITER 8826 NEW BEST:: SOT 212725 SOS 158943 HAS SOPS 156339 HAS SOUS 61775 HAS SOUPS 61480 WITH SCORE 61638.943
AT ITER 8842 NEW BEST:: SOT 212712 SOS 158930 HAS SOPS 156326 HAS SOUS 61736 HAS SOUPS 61441 WITH SCORE 61599.93
AT ITER 8850 NEW BEST:: SOT 212712 SOS 158439 HAS SOPS 155835 HAS SOUS 61685 HAS SOUPS 61390 WITH SCORE 61548.439
AT ITER 8967 NEW BEST:: SOT 212734 SOS 158512 HAS SOPS 155908 HAS SOUS 61669 HAS SOUPS 61374 WITH SCORE 61532.512
AT ITER 8968 NEW BEST:: SOT 212431 SOS 158358 HAS SOPS 155754 HAS SOUS 61619 HAS SOUPS 61324 WITH SCORE 61482.358
AT ITER 8969 NEW BEST:: SOT 212712 SOS 158455 HAS SOPS 155851 HAS SOUS 61385 HAS SOUPS 61090 WITH SCORE 61248.455
AT ITER 8974 NEW BEST:: SOT 212712 SOS 158417 HAS SOPS 155813 HAS SOUS 61309 HAS SOUPS 61014 WITH SCORE 61172.417
AT ITER 9007 NEW BEST:: SOT 212672 SOS 158377 HAS SOPS 155773 HAS SOUS 61269 HAS SOUPS 60974 WITH SCORE 61132.377
AT ITER 9089 NEW BEST:: SOT 212527 SOS 158234 HAS SOPS 155630 HAS SOUS 61126 HAS SOUPS 60831 WITH SCORE 60989.234
AT ITER 9146 NEW BEST:: SOT 212527 SOS 156604 HAS SOPS 154000 HAS SOUS 60991 HAS SOUPS 60696 WITH SCORE 60852.604
AT ITER 9190 NEW BEST:: SOT 212463 SOS 156540 HAS SOPS 153936 HAS SOUS 60991 HAS SOUPS 60696 WITH SCORE 60852.54
AT ITER 9306 NEW BEST:: SOT 212582 SOS 156708 HAS SOPS 154104 HAS SOUS 60376 HAS SOUPS 60081 WITH SCORE 60237.708
AT ITER 9361 NEW BEST:: SOT 212489 SOS 156615 HAS SOPS 154011 HAS SOUS 60142 HAS SOUPS 59847 WITH SCORE 60003.615
AT ITER 9478 NEW BEST:: SOT 212508 SOS 156634 HAS SOPS 154030 HAS SOUS 60141 HAS SOUPS 59846 WITH SCORE 60002.634
AT ITER 9538 NEW BEST:: SOT 212508 SOS 155804 HAS SOPS 153200 HAS SOUS 59921 HAS SOUPS 59626 WITH SCORE 59781.804
AT ITER 9565 NEW BEST:: SOT 212508 SOS 155368 HAS SOPS 152764 HAS SOUS 59912 HAS SOUPS 59617 WITH SCORE 59772.368
AT ITER 9604 NEW BEST:: SOT 212508 SOS 155258 HAS SOPS 152654 HAS SOUS 59802 HAS SOUPS 59507 WITH SCORE 59662.258
AT ITER 9776 NEW BEST:: SOT 212418 SOS 155168 HAS SOPS 152564 HAS SOUS 59712 HAS SOUPS 59417 WITH SCORE 59572.168
AT ITER 9780 NEW BEST:: SOT 212633 SOS 155254 HAS SOPS 152583 HAS SOUS 59663 HAS SOUPS 59368 WITH SCORE 59523.254
AT ITER 9781 NEW BEST:: SOT 212612 SOS 155269 HAS SOPS 152598 HAS SOUS 59642 HAS SOUPS 59347 WITH SCORE 59502.269
AT ITER 9799 NEW BEST:: SOT 211577 SOS 154234 HAS SOPS 151563 HAS SOUS 59527 HAS SOUPS 59232 WITH SCORE 59386.234
AT ITER 9828 NEW BEST:: SOT 211577 SOS 154301 HAS SOPS 151630 HAS SOUS 59480 HAS SOUPS 59185 WITH SCORE 59339.301
AT ITER 9932 NEW BEST:: SOT 211573 SOS 154297 HAS SOPS 151626 HAS SOUS 59472 HAS SOUPS 59177 WITH SCORE 59331.297
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3525072 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122816 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-d1m09"
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-d1m09, 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-167814484000280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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