Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r227-tall-167856410500472.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is LeafsetExtension-PT-S08C4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410500472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 720K
-rw-r--r-- 1 mcc users 13K Feb 25 16:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 16:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 16:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 16:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 16:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 16:56 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 254K 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 1678613721785

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S08C4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S08C4
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 462 places, 409 transitions, 1324 arcs.
AT ITER 0 NEW BEST:: SOT 107047 SOS 26593 HAS SOPS 26264 HAS SOUS 23052 HAS SOUPS 22955 WITH SCORE 22981.593
AT ITER 15 NEW BEST:: SOT 107002 SOS 26554 HAS SOPS 26225 HAS SOUS 23039 HAS SOUPS 22942 WITH SCORE 22968.554
AT ITER 29 NEW BEST:: SOT 106382 SOS 25965 HAS SOPS 25636 HAS SOUS 22450 HAS SOUPS 22353 WITH SCORE 22378.965
AT ITER 46 NEW BEST:: SOT 106345 SOS 25680 HAS SOPS 25351 HAS SOUS 22409 HAS SOUPS 22312 WITH SCORE 22337.68
AT ITER 60 NEW BEST:: SOT 106243 SOS 25251 HAS SOPS 24922 HAS SOUS 22190 HAS SOUPS 22093 WITH SCORE 22118.251
AT ITER 64 NEW BEST:: SOT 106243 SOS 25260 HAS SOPS 24918 HAS SOUS 22198 HAS SOUPS 22089 WITH SCORE 22114.26
AT ITER 66 NEW BEST:: SOT 106174 SOS 24993 HAS SOPS 24651 HAS SOUS 22104 HAS SOUPS 21995 WITH SCORE 22019.993
AT ITER 68 NEW BEST:: SOT 106001 SOS 24903 HAS SOPS 24561 HAS SOUS 21955 HAS SOUPS 21846 WITH SCORE 21870.903
AT ITER 93 NEW BEST:: SOT 105837 SOS 24846 HAS SOPS 24504 HAS SOUS 21871 HAS SOUPS 21762 WITH SCORE 21786.846
AT ITER 112 NEW BEST:: SOT 105718 SOS 24879 HAS SOPS 24385 HAS SOUS 21790 HAS SOUPS 21643 WITH SCORE 21667.879
AT ITER 117 NEW BEST:: SOT 105718 SOS 24841 HAS SOPS 24347 HAS SOUS 21790 HAS SOUPS 21643 WITH SCORE 21667.841
AT ITER 157 NEW BEST:: SOT 105717 SOS 24836 HAS SOPS 24342 HAS SOUS 21785 HAS SOUPS 21638 WITH SCORE 21662.836
AT ITER 172 NEW BEST:: SOT 105706 SOS 24812 HAS SOPS 24318 HAS SOUS 21761 HAS SOUPS 21614 WITH SCORE 21638.812
AT ITER 177 NEW BEST:: SOT 105698 SOS 24792 HAS SOPS 24298 HAS SOUS 21741 HAS SOUPS 21594 WITH SCORE 21618.792
AT ITER 202 NEW BEST:: SOT 105669 SOS 24763 HAS SOPS 24269 HAS SOUS 21709 HAS SOUPS 21562 WITH SCORE 21586.763
AT ITER 218 NEW BEST:: SOT 105649 SOS 24743 HAS SOPS 24249 HAS SOUS 21669 HAS SOUPS 21522 WITH SCORE 21546.743
AT ITER 249 NEW BEST:: SOT 105623 SOS 24717 HAS SOPS 24223 HAS SOUS 21617 HAS SOUPS 21470 WITH SCORE 21494.717
AT ITER 267 NEW BEST:: SOT 105596 SOS 24720 HAS SOPS 24226 HAS SOUS 21593 HAS SOUPS 21446 WITH SCORE 21470.72
AT ITER 290 NEW BEST:: SOT 105600 SOS 24716 HAS SOPS 24222 HAS SOUS 21589 HAS SOUPS 21442 WITH SCORE 21466.716
AT ITER 296 NEW BEST:: SOT 105596 SOS 24703 HAS SOPS 24209 HAS SOUS 21576 HAS SOUPS 21429 WITH SCORE 21453.703
AT ITER 329 NEW BEST:: SOT 105596 SOS 24686 HAS SOPS 24192 HAS SOUS 21556 HAS SOUPS 21409 WITH SCORE 21433.686
AT ITER 343 NEW BEST:: SOT 105569 SOS 24632 HAS SOPS 24138 HAS SOUS 21502 HAS SOUPS 21355 WITH SCORE 21379.632
AT ITER 394 NEW BEST:: SOT 105345 SOS 25030 HAS SOPS 24040 HAS SOUS 21483 HAS SOUPS 21257 WITH SCORE 21282.03
AT ITER 399 NEW BEST:: SOT 105308 SOS 25025 HAS SOPS 24035 HAS SOUS 21475 HAS SOUPS 21249 WITH SCORE 21274.025
AT ITER 411 NEW BEST:: SOT 105308 SOS 24981 HAS SOPS 23991 HAS SOUS 21475 HAS SOUPS 21249 WITH SCORE 21273.981
AT ITER 436 NEW BEST:: SOT 105308 SOS 24981 HAS SOPS 23991 HAS SOUS 21471 HAS SOUPS 21245 WITH SCORE 21269.981
AT ITER 440 NEW BEST:: SOT 105308 SOS 24988 HAS SOPS 23982 HAS SOUS 21464 HAS SOUPS 21236 WITH SCORE 21260.988
AT ITER 458 NEW BEST:: SOT 105264 SOS 24986 HAS SOPS 23980 HAS SOUS 21424 HAS SOUPS 21196 WITH SCORE 21220.986
AT ITER 466 NEW BEST:: SOT 105246 SOS 24964 HAS SOPS 23958 HAS SOUS 21402 HAS SOUPS 21174 WITH SCORE 21198.964
AT ITER 468 NEW BEST:: SOT 105211 SOS 24933 HAS SOPS 23927 HAS SOUS 21395 HAS SOUPS 21167 WITH SCORE 21191.933
AT ITER 469 NEW BEST:: SOT 105204 SOS 24825 HAS SOPS 23819 HAS SOUS 21383 HAS SOUPS 21155 WITH SCORE 21179.825
AT ITER 481 NEW BEST:: SOT 105187 SOS 24808 HAS SOPS 23802 HAS SOUS 21366 HAS SOUPS 21138 WITH SCORE 21162.808
AT ITER 496 NEW BEST:: SOT 105184 SOS 24805 HAS SOPS 23799 HAS SOUS 21363 HAS SOUPS 21135 WITH SCORE 21159.805
AT ITER 505 NEW BEST:: SOT 105184 SOS 24787 HAS SOPS 23781 HAS SOUS 21348 HAS SOUPS 21120 WITH SCORE 21144.787
AT ITER 508 NEW BEST:: SOT 105143 SOS 24766 HAS SOPS 23760 HAS SOUS 21327 HAS SOUPS 21099 WITH SCORE 21123.766
AT ITER 510 NEW BEST:: SOT 105123 SOS 24726 HAS SOPS 23720 HAS SOUS 21287 HAS SOUPS 21059 WITH SCORE 21083.726
AT ITER 525 NEW BEST:: SOT 105123 SOS 24726 HAS SOPS 23720 HAS SOUS 21285 HAS SOUPS 21057 WITH SCORE 21081.726
AT ITER 570 NEW BEST:: SOT 105113 SOS 24711 HAS SOPS 23705 HAS SOUS 21270 HAS SOUPS 21042 WITH SCORE 21066.711
AT ITER 586 NEW BEST:: SOT 105110 SOS 24698 HAS SOPS 23692 HAS SOUS 21257 HAS SOUPS 21029 WITH SCORE 21053.698
AT ITER 640 NEW BEST:: SOT 105110 SOS 24656 HAS SOPS 23650 HAS SOUS 21257 HAS SOUPS 21029 WITH SCORE 21053.656
AT ITER 651 NEW BEST:: SOT 105141 SOS 24687 HAS SOPS 23681 HAS SOUS 21254 HAS SOUPS 21026 WITH SCORE 21050.687
AT ITER 674 NEW BEST:: SOT 105121 SOS 24662 HAS SOPS 23661 HAS SOUS 21234 HAS SOUPS 21006 WITH SCORE 21030.662
AT ITER 675 NEW BEST:: SOT 105109 SOS 24665 HAS SOPS 23664 HAS SOUS 21231 HAS SOUPS 21003 WITH SCORE 21027.665
AT ITER 691 NEW BEST:: SOT 105040 SOS 24606 HAS SOPS 23629 HAS SOUS 21190 HAS SOUPS 20962 WITH SCORE 20986.606
AT ITER 696 NEW BEST:: SOT 104865 SOS 24176 HAS SOPS 23199 HAS SOUS 20865 HAS SOUPS 20637 WITH SCORE 20661.176
AT ITER 725 NEW BEST:: SOT 104861 SOS 24176 HAS SOPS 23199 HAS SOUS 20862 HAS SOUPS 20634 WITH SCORE 20658.176
AT ITER 735 NEW BEST:: SOT 104810 SOS 24174 HAS SOPS 23197 HAS SOUS 20835 HAS SOUPS 20607 WITH SCORE 20631.174
AT ITER 755 NEW BEST:: SOT 104820 SOS 24204 HAS SOPS 22943 HAS SOUS 20878 HAS SOUPS 20373 WITH SCORE 20397.204
AT ITER 758 NEW BEST:: SOT 104799 SOS 24043 HAS SOPS 22782 HAS SOUS 20853 HAS SOUPS 20348 WITH SCORE 20372.043
AT ITER 793 NEW BEST:: SOT 104788 SOS 24075 HAS SOPS 22803 HAS SOUS 20855 HAS SOUPS 20339 WITH SCORE 20363.075
AT ITER 798 NEW BEST:: SOT 104729 SOS 24016 HAS SOPS 22764 HAS SOUS 20789 HAS SOUPS 20273 WITH SCORE 20297.016
AT ITER 839 NEW BEST:: SOT 104714 SOS 24000 HAS SOPS 22733 HAS SOUS 20774 HAS SOUPS 20243 WITH SCORE 20267.0
AT ITER 859 NEW BEST:: SOT 104714 SOS 24000 HAS SOPS 22733 HAS SOUS 20771 HAS SOUPS 20240 WITH SCORE 20264.0
AT ITER 870 NEW BEST:: SOT 104691 SOS 23830 HAS SOPS 22563 HAS SOUS 20730 HAS SOUPS 20199 WITH SCORE 20222.83
AT ITER 932 NEW BEST:: SOT 104672 SOS 23738 HAS SOPS 22471 HAS SOUS 20686 HAS SOUPS 20155 WITH SCORE 20178.738
AT ITER 934 NEW BEST:: SOT 104642 SOS 23692 HAS SOPS 22425 HAS SOUS 20656 HAS SOUPS 20125 WITH SCORE 20148.692
AT ITER 959 NEW BEST:: SOT 104632 SOS 23682 HAS SOPS 22415 HAS SOUS 20646 HAS SOUPS 20115 WITH SCORE 20138.682
AT ITER 961 NEW BEST:: SOT 104604 SOS 23648 HAS SOPS 22381 HAS SOUS 20612 HAS SOUPS 20081 WITH SCORE 20104.648
AT ITER 963 NEW BEST:: SOT 104604 SOS 23646 HAS SOPS 22379 HAS SOUS 20610 HAS SOUPS 20079 WITH SCORE 20102.646
AT ITER 978 NEW BEST:: SOT 104591 SOS 23633 HAS SOPS 22366 HAS SOUS 20597 HAS SOUPS 20066 WITH SCORE 20089.633
AT ITER 985 NEW BEST:: SOT 104579 SOS 23621 HAS SOPS 22354 HAS SOUS 20585 HAS SOUPS 20054 WITH SCORE 20077.621
AT ITER 1006 NEW BEST:: SOT 104518 SOS 23425 HAS SOPS 22158 HAS SOUS 20464 HAS SOUPS 19933 WITH SCORE 19956.425
AT ITER 1007 NEW BEST:: SOT 104487 SOS 23395 HAS SOPS 22128 HAS SOUS 20433 HAS SOUPS 19902 WITH SCORE 19925.395
AT ITER 1046 NEW BEST:: SOT 104487 SOS 23378 HAS SOPS 22111 HAS SOUS 20416 HAS SOUPS 19885 WITH SCORE 19908.378
AT ITER 1069 NEW BEST:: SOT 104382 SOS 23269 HAS SOPS 22037 HAS SOUS 20342 HAS SOUPS 19811 WITH SCORE 19834.269
AT ITER 1091 NEW BEST:: SOT 104382 SOS 23224 HAS SOPS 21992 HAS SOUS 20342 HAS SOUPS 19811 WITH SCORE 19834.224
AT ITER 1096 NEW BEST:: SOT 104372 SOS 23185 HAS SOPS 21953 HAS SOUS 20303 HAS SOUPS 19772 WITH SCORE 19795.185
AT ITER 1157 NEW BEST:: SOT 104372 SOS 23181 HAS SOPS 21949 HAS SOUS 20303 HAS SOUPS 19772 WITH SCORE 19795.181
AT ITER 1159 NEW BEST:: SOT 104380 SOS 23120 HAS SOPS 21888 HAS SOUS 20265 HAS SOUPS 19734 WITH SCORE 19757.12
AT ITER 1173 NEW BEST:: SOT 104330 SOS 23026 HAS SOPS 21795 HAS SOUS 20172 HAS SOUPS 19641 WITH SCORE 19664.026
AT ITER 1175 NEW BEST:: SOT 104282 SOS 23130 HAS SOPS 21763 HAS SOUS 20197 HAS SOUPS 19635 WITH SCORE 19658.13
AT ITER 1176 NEW BEST:: SOT 104270 SOS 23142 HAS SOPS 21751 HAS SOUS 20197 HAS SOUPS 19629 WITH SCORE 19652.142
AT ITER 1180 NEW BEST:: SOT 104270 SOS 23111 HAS SOPS 21720 HAS SOUS 20130 HAS SOUPS 19562 WITH SCORE 19585.111
AT ITER 1182 NEW BEST:: SOT 104116 SOS 22958 HAS SOPS 21567 HAS SOUS 19976 HAS SOUPS 19408 WITH SCORE 19430.958
AT ITER 1187 NEW BEST:: SOT 104116 SOS 22911 HAS SOPS 21520 HAS SOUS 19976 HAS SOUPS 19408 WITH SCORE 19430.911
AT ITER 1243 NEW BEST:: SOT 104113 SOS 22807 HAS SOPS 21416 HAS SOUS 19969 HAS SOUPS 19401 WITH SCORE 19423.807
AT ITER 1246 NEW BEST:: SOT 104113 SOS 22807 HAS SOPS 21416 HAS SOUS 19967 HAS SOUPS 19399 WITH SCORE 19421.807
AT ITER 1251 NEW BEST:: SOT 104088 SOS 22815 HAS SOPS 21424 HAS SOUS 19956 HAS SOUPS 19388 WITH SCORE 19410.815
AT ITER 1258 NEW BEST:: SOT 104154 SOS 22903 HAS SOPS 21380 HAS SOUS 19946 HAS SOUPS 19352 WITH SCORE 19374.903
AT ITER 1259 NEW BEST:: SOT 104154 SOS 22899 HAS SOPS 21376 HAS SOUS 19942 HAS SOUPS 19348 WITH SCORE 19370.899
AT ITER 1262 NEW BEST:: SOT 104134 SOS 22879 HAS SOPS 21356 HAS SOUS 19922 HAS SOUPS 19328 WITH SCORE 19350.879
AT ITER 1268 NEW BEST:: SOT 104121 SOS 22803 HAS SOPS 21280 HAS SOUS 19895 HAS SOUPS 19301 WITH SCORE 19323.803
AT ITER 1291 NEW BEST:: SOT 104062 SOS 22818 HAS SOPS 21295 HAS SOUS 19851 HAS SOUPS 19257 WITH SCORE 19279.818
AT ITER 1306 NEW BEST:: SOT 104011 SOS 22715 HAS SOPS 21192 HAS SOUS 19749 HAS SOUPS 19155 WITH SCORE 19177.715
AT ITER 1309 NEW BEST:: SOT 103979 SOS 22555 HAS SOPS 21032 HAS SOUS 19685 HAS SOUPS 19091 WITH SCORE 19113.555
AT ITER 1318 NEW BEST:: SOT 103960 SOS 22540 HAS SOPS 21017 HAS SOUS 19670 HAS SOUPS 19076 WITH SCORE 19098.54
AT ITER 1341 NEW BEST:: SOT 103944 SOS 22491 HAS SOPS 20968 HAS SOUS 19650 HAS SOUPS 19056 WITH SCORE 19078.491
AT ITER 1346 NEW BEST:: SOT 103951 SOS 22492 HAS SOPS 20969 HAS SOUS 19648 HAS SOUPS 19054 WITH SCORE 19076.492
AT ITER 1386 NEW BEST:: SOT 103925 SOS 22462 HAS SOPS 20939 HAS SOUS 19618 HAS SOUPS 19024 WITH SCORE 19046.462
AT ITER 1421 NEW BEST:: SOT 103879 SOS 22394 HAS SOPS 20918 HAS SOUS 19587 HAS SOUPS 18993 WITH SCORE 19015.394
AT ITER 1427 NEW BEST:: SOT 103879 SOS 22391 HAS SOPS 20915 HAS SOUS 19587 HAS SOUPS 18993 WITH SCORE 19015.391
AT ITER 1468 NEW BEST:: SOT 103829 SOS 22358 HAS SOPS 20882 HAS SOUS 19546 HAS SOUPS 18952 WITH SCORE 18974.358
AT ITER 1475 NEW BEST:: SOT 103912 SOS 22458 HAS SOPS 20708 HAS SOUS 19442 HAS SOUPS 18808 WITH SCORE 18830.458
AT ITER 1492 NEW BEST:: SOT 103905 SOS 22491 HAS SOPS 20741 HAS SOUS 19435 HAS SOUPS 18801 WITH SCORE 18823.491
AT ITER 1528 NEW BEST:: SOT 103896 SOS 22482 HAS SOPS 20732 HAS SOUS 19434 HAS SOUPS 18800 WITH SCORE 18822.482
AT ITER 1540 NEW BEST:: SOT 103893 SOS 22454 HAS SOPS 20704 HAS SOUS 19428 HAS SOUPS 18794 WITH SCORE 18816.454
AT ITER 1571 NEW BEST:: SOT 103854 SOS 22454 HAS SOPS 20704 HAS SOUS 19389 HAS SOUPS 18755 WITH SCORE 18777.454
AT ITER 1621 NEW BEST:: SOT 103812 SOS 22404 HAS SOPS 20654 HAS SOUS 19339 HAS SOUPS 18705 WITH SCORE 18727.404
AT ITER 1633 NEW BEST:: SOT 103807 SOS 22399 HAS SOPS 20649 HAS SOUS 19334 HAS SOUPS 18700 WITH SCORE 18722.399
AT ITER 1651 NEW BEST:: SOT 103803 SOS 22391 HAS SOPS 20641 HAS SOUS 19326 HAS SOUPS 18692 WITH SCORE 18714.391
AT ITER 1678 NEW BEST:: SOT 103803 SOS 22391 HAS SOPS 20641 HAS SOUS 19325 HAS SOUPS 18691 WITH SCORE 18713.391
AT ITER 1680 NEW BEST:: SOT 103780 SOS 22363 HAS SOPS 20615 HAS SOUS 19278 HAS SOUPS 18644 WITH SCORE 18666.363
AT ITER 1748 NEW BEST:: SOT 103789 SOS 22351 HAS SOPS 20603 HAS SOUS 19275 HAS SOUPS 18641 WITH SCORE 18663.351
AT ITER 1753 NEW BEST:: SOT 103742 SOS 22304 HAS SOPS 20589 HAS SOUS 19224 HAS SOUPS 18617 WITH SCORE 18639.304
AT ITER 1755 NEW BEST:: SOT 103736 SOS 22275 HAS SOPS 20560 HAS SOUS 19189 HAS SOUPS 18582 WITH SCORE 18604.275
AT ITER 1770 NEW BEST:: SOT 103736 SOS 22271 HAS SOPS 20556 HAS SOUS 19185 HAS SOUPS 18578 WITH SCORE 18600.271
AT ITER 1784 NEW BEST:: SOT 103736 SOS 22271 HAS SOPS 20556 HAS SOUS 19182 HAS SOUPS 18575 WITH SCORE 18597.271
AT ITER 1820 NEW BEST:: SOT 103870 SOS 22460 HAS SOPS 20524 HAS SOUS 19162 HAS SOUPS 18549 WITH SCORE 18571.46
AT ITER 1825 NEW BEST:: SOT 103864 SOS 22412 HAS SOPS 20476 HAS SOUS 19150 HAS SOUPS 18537 WITH SCORE 18559.412
AT ITER 1866 NEW BEST:: SOT 103816 SOS 22323 HAS SOPS 20388 HAS SOUS 19054 HAS SOUPS 18441 WITH SCORE 18463.323
AT ITER 1884 NEW BEST:: SOT 103820 SOS 22244 HAS SOPS 20309 HAS SOUS 19042 HAS SOUPS 18429 WITH SCORE 18451.244
AT ITER 1894 NEW BEST:: SOT 103806 SOS 22230 HAS SOPS 20295 HAS SOUS 19021 HAS SOUPS 18408 WITH SCORE 18430.23
AT ITER 1990 NEW BEST:: SOT 103781 SOS 22302 HAS SOPS 20334 HAS SOUS 19042 HAS SOUPS 18398 WITH SCORE 18420.302
AT ITER 2026 NEW BEST:: SOT 103781 SOS 22300 HAS SOPS 20332 HAS SOUS 19040 HAS SOUPS 18396 WITH SCORE 18418.3
AT ITER 2096 NEW BEST:: SOT 103775 SOS 22291 HAS SOPS 20323 HAS SOUS 19031 HAS SOUPS 18387 WITH SCORE 18409.291
AT ITER 2105 NEW BEST:: SOT 103766 SOS 22282 HAS SOPS 20314 HAS SOUS 19013 HAS SOUPS 18369 WITH SCORE 18391.282
AT ITER 2109 NEW BEST:: SOT 103736 SOS 22297 HAS SOPS 20329 HAS SOUS 18990 HAS SOUPS 18346 WITH SCORE 18368.297
AT ITER 2120 NEW BEST:: SOT 103736 SOS 22278 HAS SOPS 20310 HAS SOUS 18978 HAS SOUPS 18334 WITH SCORE 18356.278
AT ITER 2133 NEW BEST:: SOT 103680 SOS 22327 HAS SOPS 20231 HAS SOUS 18954 HAS SOUPS 18278 WITH SCORE 18300.327
AT ITER 2222 NEW BEST:: SOT 103672 SOS 22318 HAS SOPS 20222 HAS SOUS 18937 HAS SOUPS 18261 WITH SCORE 18283.318
AT ITER 2236 NEW BEST:: SOT 103674 SOS 22312 HAS SOPS 20216 HAS SOUS 18931 HAS SOUPS 18255 WITH SCORE 18277.312
AT ITER 2247 NEW BEST:: SOT 103672 SOS 22307 HAS SOPS 20211 HAS SOUS 18927 HAS SOUPS 18251 WITH SCORE 18273.307
AT ITER 2270 NEW BEST:: SOT 103667 SOS 22281 HAS SOPS 20183 HAS SOUS 18909 HAS SOUPS 18233 WITH SCORE 18255.281
AT ITER 2292 NEW BEST:: SOT 103659 SOS 22260 HAS SOPS 20162 HAS SOUS 18900 HAS SOUPS 18224 WITH SCORE 18246.26
AT ITER 2348 NEW BEST:: SOT 103655 SOS 22312 HAS SOPS 20214 HAS SOUS 18896 HAS SOUPS 18220 WITH SCORE 18242.312
AT ITER 2436 NEW BEST:: SOT 103643 SOS 22310 HAS SOPS 20212 HAS SOUS 18894 HAS SOUPS 18218 WITH SCORE 18240.31
AT ITER 2438 NEW BEST:: SOT 103640 SOS 22310 HAS SOPS 20212 HAS SOUS 18891 HAS SOUPS 18215 WITH SCORE 18237.31
AT ITER 2462 NEW BEST:: SOT 103633 SOS 22300 HAS SOPS 20182 HAS SOUS 18861 HAS SOUPS 18185 WITH SCORE 18207.3
AT ITER 2548 NEW BEST:: SOT 103637 SOS 22281 HAS SOPS 20163 HAS SOUS 18846 HAS SOUPS 18170 WITH SCORE 18192.281
AT ITER 2615 NEW BEST:: SOT 103616 SOS 22176 HAS SOPS 20058 HAS SOUS 18804 HAS SOUPS 18128 WITH SCORE 18150.176
AT ITER 2625 NEW BEST:: SOT 103608 SOS 22161 HAS SOPS 20027 HAS SOUS 18785 HAS SOUPS 18104 WITH SCORE 18126.161
AT ITER 2628 NEW BEST:: SOT 103602 SOS 22047 HAS SOPS 19913 HAS SOUS 18770 HAS SOUPS 18089 WITH SCORE 18111.047
AT ITER 2653 NEW BEST:: SOT 103598 SOS 21922 HAS SOPS 19788 HAS SOUS 18762 HAS SOUPS 18081 WITH SCORE 18102.922
AT ITER 2659 NEW BEST:: SOT 103567 SOS 21860 HAS SOPS 19726 HAS SOUS 18700 HAS SOUPS 18019 WITH SCORE 18040.86
AT ITER 2679 NEW BEST:: SOT 103541 SOS 21830 HAS SOPS 19696 HAS SOUS 18670 HAS SOUPS 17989 WITH SCORE 18010.83
AT ITER 2684 NEW BEST:: SOT 103541 SOS 21830 HAS SOPS 19696 HAS SOUS 18666 HAS SOUPS 17985 WITH SCORE 18006.83
AT ITER 2686 NEW BEST:: SOT 103545 SOS 21834 HAS SOPS 19672 HAS SOUS 18642 HAS SOUPS 17961 WITH SCORE 17982.834
AT ITER 2721 NEW BEST:: SOT 103540 SOS 21829 HAS SOPS 19667 HAS SOUS 18637 HAS SOUPS 17956 WITH SCORE 17977.829
AT ITER 2727 NEW BEST:: SOT 103536 SOS 21801 HAS SOPS 19639 HAS SOUS 18629 HAS SOUPS 17948 WITH SCORE 17969.801
AT ITER 2749 NEW BEST:: SOT 103536 SOS 21799 HAS SOPS 19637 HAS SOUS 18628 HAS SOUPS 17947 WITH SCORE 17968.799
AT ITER 2817 NEW BEST:: SOT 103501 SOS 21833 HAS SOPS 19671 HAS SOUS 18597 HAS SOUPS 17916 WITH SCORE 17937.833
AT ITER 2834 NEW BEST:: SOT 103503 SOS 21803 HAS SOPS 19641 HAS SOUS 18582 HAS SOUPS 17901 WITH SCORE 17922.803
AT ITER 2835 NEW BEST:: SOT 103496 SOS 21789 HAS SOPS 19627 HAS SOUS 18561 HAS SOUPS 17880 WITH SCORE 17901.789
AT ITER 2842 NEW BEST:: SOT 103491 SOS 21784 HAS SOPS 19617 HAS SOUS 18551 HAS SOUPS 17870 WITH SCORE 17891.784
AT ITER 2848 NEW BEST:: SOT 103488 SOS 21819 HAS SOPS 19592 HAS SOUS 18548 HAS SOUPS 17855 WITH SCORE 17876.819
AT ITER 2860 NEW BEST:: SOT 103481 SOS 21812 HAS SOPS 19585 HAS SOUS 18539 HAS SOUPS 17846 WITH SCORE 17867.812
AT ITER 2865 NEW BEST:: SOT 103478 SOS 21834 HAS SOPS 19604 HAS SOUS 18535 HAS SOUPS 17840 WITH SCORE 17861.834
AT ITER 2885 NEW BEST:: SOT 103470 SOS 21826 HAS SOPS 19588 HAS SOUS 18518 HAS SOUPS 17823 WITH SCORE 17844.826
AT ITER 2897 NEW BEST:: SOT 103470 SOS 21822 HAS SOPS 19584 HAS SOUS 18514 HAS SOUPS 17819 WITH SCORE 17840.822
AT ITER 2900 NEW BEST:: SOT 103450 SOS 21804 HAS SOPS 19566 HAS SOUS 18496 HAS SOUPS 17801 WITH SCORE 17822.804
AT ITER 2926 NEW BEST:: SOT 103489 SOS 21843 HAS SOPS 19532 HAS SOUS 18543 HAS SOUPS 17781 WITH SCORE 17802.843
AT ITER 2936 NEW BEST:: SOT 103490 SOS 21658 HAS SOPS 19340 HAS SOUS 18537 HAS SOUPS 17775 WITH SCORE 17796.658
AT ITER 2961 NEW BEST:: SOT 103490 SOS 21657 HAS SOPS 19339 HAS SOUS 18537 HAS SOUPS 17775 WITH SCORE 17796.657
AT ITER 3008 NEW BEST:: SOT 103419 SOS 21651 HAS SOPS 19339 HAS SOUS 18438 HAS SOUPS 17676 WITH SCORE 17697.651
AT ITER 3019 NEW BEST:: SOT 103416 SOS 21638 HAS SOPS 19326 HAS SOUS 18431 HAS SOUPS 17669 WITH SCORE 17690.638
AT ITER 3048 NEW BEST:: SOT 103367 SOS 21540 HAS SOPS 19228 HAS SOUS 18333 HAS SOUPS 17571 WITH SCORE 17592.54
AT ITER 3059 NEW BEST:: SOT 103365 SOS 21536 HAS SOPS 19224 HAS SOUS 18329 HAS SOUPS 17567 WITH SCORE 17588.536
AT ITER 3091 NEW BEST:: SOT 103361 SOS 21512 HAS SOPS 19200 HAS SOUS 18321 HAS SOUPS 17559 WITH SCORE 17580.512
AT ITER 3112 NEW BEST:: SOT 103361 SOS 21510 HAS SOPS 19198 HAS SOUS 18319 HAS SOUPS 17557 WITH SCORE 17578.51
AT ITER 3127 NEW BEST:: SOT 103361 SOS 21492 HAS SOPS 19180 HAS SOUS 18301 HAS SOUPS 17539 WITH SCORE 17560.492
AT ITER 3139 NEW BEST:: SOT 103311 SOS 21442 HAS SOPS 19167 HAS SOUS 18288 HAS SOUPS 17526 WITH SCORE 17547.442
AT ITER 3154 NEW BEST:: SOT 103302 SOS 21438 HAS SOPS 19157 HAS SOUS 18278 HAS SOUPS 17516 WITH SCORE 17537.438
AT ITER 3203 NEW BEST:: SOT 103301 SOS 21437 HAS SOPS 19092 HAS SOUS 18213 HAS SOUPS 17451 WITH SCORE 17472.437
AT ITER 3214 NEW BEST:: SOT 103309 SOS 21435 HAS SOPS 19088 HAS SOUS 18201 HAS SOUPS 17439 WITH SCORE 17460.435
AT ITER 3243 NEW BEST:: SOT 103290 SOS 21404 HAS SOPS 19038 HAS SOUS 18168 HAS SOUPS 17401 WITH SCORE 17422.404
AT ITER 3301 NEW BEST:: SOT 103262 SOS 21477 HAS SOPS 19010 HAS SOUS 18155 HAS SOUPS 17373 WITH SCORE 17394.477
AT ITER 3346 NEW BEST:: SOT 103262 SOS 21473 HAS SOPS 19006 HAS SOUS 18151 HAS SOUPS 17369 WITH SCORE 17390.473
AT ITER 3351 NEW BEST:: SOT 103254 SOS 21461 HAS SOPS 18994 HAS SOUS 18139 HAS SOUPS 17357 WITH SCORE 17378.461
AT ITER 3355 NEW BEST:: SOT 103254 SOS 21455 HAS SOPS 18988 HAS SOUS 18139 HAS SOUPS 17357 WITH SCORE 17378.455
AT ITER 3439 NEW BEST:: SOT 103254 SOS 21444 HAS SOPS 18977 HAS SOUS 18128 HAS SOUPS 17346 WITH SCORE 17367.444
AT ITER 3506 NEW BEST:: SOT 103251 SOS 21438 HAS SOPS 18971 HAS SOUS 18122 HAS SOUPS 17340 WITH SCORE 17361.438
AT ITER 3516 NEW BEST:: SOT 103222 SOS 21448 HAS SOPS 18981 HAS SOUS 18105 HAS SOUPS 17323 WITH SCORE 17344.448
AT ITER 3521 NEW BEST:: SOT 103204 SOS 21439 HAS SOPS 18972 HAS SOUS 18096 HAS SOUPS 17314 WITH SCORE 17335.439
AT ITER 3557 NEW BEST:: SOT 103192 SOS 21450 HAS SOPS 18946 HAS SOUS 18072 HAS SOUPS 17290 WITH SCORE 17311.45
AT ITER 3581 NEW BEST:: SOT 103179 SOS 21440 HAS SOPS 18936 HAS SOUS 18065 HAS SOUPS 17283 WITH SCORE 17304.44
AT ITER 3605 NEW BEST:: SOT 103176 SOS 21437 HAS SOPS 18933 HAS SOUS 18054 HAS SOUPS 17272 WITH SCORE 17293.437
AT ITER 3621 NEW BEST:: SOT 103169 SOS 21430 HAS SOPS 18926 HAS SOUS 18047 HAS SOUPS 17265 WITH SCORE 17286.43
AT ITER 3631 NEW BEST:: SOT 103169 SOS 21426 HAS SOPS 18922 HAS SOUS 18046 HAS SOUPS 17264 WITH SCORE 17285.426
AT ITER 3641 NEW BEST:: SOT 103169 SOS 21425 HAS SOPS 18921 HAS SOUS 18045 HAS SOUPS 17263 WITH SCORE 17284.425
AT ITER 3668 NEW BEST:: SOT 103160 SOS 21817 HAS SOPS 18920 HAS SOUS 18093 HAS SOUPS 17262 WITH SCORE 17283.817
AT ITER 3669 NEW BEST:: SOT 103160 SOS 21806 HAS SOPS 18909 HAS SOUS 18082 HAS SOUPS 17251 WITH SCORE 17272.806
AT ITER 3716 NEW BEST:: SOT 103158 SOS 21804 HAS SOPS 18907 HAS SOUS 18080 HAS SOUPS 17249 WITH SCORE 17270.804
AT ITER 3734 NEW BEST:: SOT 103158 SOS 21789 HAS SOPS 18916 HAS SOUS 18080 HAS SOUPS 17249 WITH SCORE 17270.789
AT ITER 3740 NEW BEST:: SOT 103158 SOS 21778 HAS SOPS 18905 HAS SOUS 18080 HAS SOUPS 17249 WITH SCORE 17270.778
AT ITER 3780 NEW BEST:: SOT 103115 SOS 21883 HAS SOPS 18879 HAS SOUS 18089 HAS SOUPS 17229 WITH SCORE 17250.883
AT ITER 3800 NEW BEST:: SOT 103094 SOS 21789 HAS SOPS 18768 HAS SOUS 18025 HAS SOUPS 17165 WITH SCORE 17186.789
AT ITER 3888 NEW BEST:: SOT 103091 SOS 21770 HAS SOPS 18749 HAS SOUS 18006 HAS SOUPS 17146 WITH SCORE 17167.77
AT ITER 3919 NEW BEST:: SOT 103089 SOS 21766 HAS SOPS 18745 HAS SOUS 18002 HAS SOUPS 17142 WITH SCORE 17163.766
AT ITER 3921 NEW BEST:: SOT 103083 SOS 21765 HAS SOPS 18744 HAS SOUS 17998 HAS SOUPS 17138 WITH SCORE 17159.765
AT ITER 4074 NEW BEST:: SOT 103082 SOS 21764 HAS SOPS 18743 HAS SOUS 17996 HAS SOUPS 17136 WITH SCORE 17157.764
AT ITER 4087 NEW BEST:: SOT 103056 SOS 21707 HAS SOPS 18686 HAS SOUS 17939 HAS SOUPS 17079 WITH SCORE 17100.707
AT ITER 4092 NEW BEST:: SOT 103080 SOS 21687 HAS SOPS 18666 HAS SOUS 17928 HAS SOUPS 17068 WITH SCORE 17089.687
AT ITER 4106 NEW BEST:: SOT 103071 SOS 21678 HAS SOPS 18657 HAS SOUS 17919 HAS SOUPS 17059 WITH SCORE 17080.678
AT ITER 4145 NEW BEST:: SOT 103071 SOS 21657 HAS SOPS 18636 HAS SOUS 17914 HAS SOUPS 17054 WITH SCORE 17075.657
AT ITER 4167 NEW BEST:: SOT 103023 SOS 21540 HAS SOPS 18519 HAS SOUS 17830 HAS SOUPS 16970 WITH SCORE 16991.54
AT ITER 4171 NEW BEST:: SOT 102946 SOS 21497 HAS SOPS 18512 HAS SOUS 17754 HAS SOUPS 16925 WITH SCORE 16946.497
AT ITER 4217 NEW BEST:: SOT 102945 SOS 21496 HAS SOPS 18511 HAS SOUS 17752 HAS SOUPS 16923 WITH SCORE 16944.496
AT ITER 4237 NEW BEST:: SOT 102937 SOS 21488 HAS SOPS 18503 HAS SOUS 17740 HAS SOUPS 16911 WITH SCORE 16932.488
AT ITER 4247 NEW BEST:: SOT 102936 SOS 21486 HAS SOPS 18501 HAS SOUS 17738 HAS SOUPS 16909 WITH SCORE 16930.486
AT ITER 4296 NEW BEST:: SOT 102936 SOS 21481 HAS SOPS 18496 HAS SOUS 17738 HAS SOUPS 16909 WITH SCORE 16930.481
AT ITER 4316 NEW BEST:: SOT 102942 SOS 21460 HAS SOPS 18475 HAS SOUS 17717 HAS SOUPS 16888 WITH SCORE 16909.46
AT ITER 4371 NEW BEST:: SOT 102897 SOS 21421 HAS SOPS 18436 HAS SOUS 17678 HAS SOUPS 16849 WITH SCORE 16870.421
AT ITER 4385 NEW BEST:: SOT 102882 SOS 21409 HAS SOPS 18424 HAS SOUS 17678 HAS SOUPS 16849 WITH SCORE 16870.409
AT ITER 4425 NEW BEST:: SOT 102853 SOS 21415 HAS SOPS 18430 HAS SOUS 17649 HAS SOUPS 16820 WITH SCORE 16841.415
AT ITER 4441 NEW BEST:: SOT 102853 SOS 21410 HAS SOPS 18425 HAS SOUS 17644 HAS SOUPS 16815 WITH SCORE 16836.41
AT ITER 4560 NEW BEST:: SOT 102819 SOS 21341 HAS SOPS 18356 HAS SOUS 17578 HAS SOUPS 16749 WITH SCORE 16770.341
AT ITER 4577 NEW BEST:: SOT 102806 SOS 21319 HAS SOPS 18334 HAS SOUS 17561 HAS SOUPS 16732 WITH SCORE 16753.319
AT ITER 4597 NEW BEST:: SOT 102800 SOS 21436 HAS SOPS 18451 HAS SOUS 17560 HAS SOUPS 16731 WITH SCORE 16752.436
AT ITER 4603 NEW BEST:: SOT 102794 SOS 21430 HAS SOPS 18445 HAS SOUS 17554 HAS SOUPS 16725 WITH SCORE 16746.43
AT ITER 4676 NEW BEST:: SOT 102788 SOS 21346 HAS SOPS 18346 HAS SOUS 17531 HAS SOUPS 16702 WITH SCORE 16723.346
AT ITER 4678 NEW BEST:: SOT 102795 SOS 21340 HAS SOPS 18340 HAS SOUS 17525 HAS SOUPS 16696 WITH SCORE 16717.34
AT ITER 4684 NEW BEST:: SOT 102742 SOS 21273 HAS SOPS 18273 HAS SOUS 17458 HAS SOUPS 16629 WITH SCORE 16650.273
AT ITER 4686 NEW BEST:: SOT 102739 SOS 21266 HAS SOPS 18269 HAS SOUS 17454 HAS SOUPS 16625 WITH SCORE 16646.266
AT ITER 4699 NEW BEST:: SOT 102726 SOS 21279 HAS SOPS 18269 HAS SOUS 17441 HAS SOUPS 16599 WITH SCORE 16620.279
AT ITER 4756 NEW BEST:: SOT 102724 SOS 21277 HAS SOPS 18267 HAS SOUS 17437 HAS SOUPS 16595 WITH SCORE 16616.277
AT ITER 4786 NEW BEST:: SOT 102738 SOS 21275 HAS SOPS 18265 HAS SOUS 17436 HAS SOUPS 16594 WITH SCORE 16615.275
AT ITER 4833 NEW BEST:: SOT 102732 SOS 21274 HAS SOPS 18249 HAS SOUS 17420 HAS SOUPS 16578 WITH SCORE 16599.274
AT ITER 4957 NEW BEST:: SOT 102731 SOS 21273 HAS SOPS 18248 HAS SOUS 17419 HAS SOUPS 16577 WITH SCORE 16598.273
AT ITER 4959 NEW BEST:: SOT 102695 SOS 21249 HAS SOPS 18224 HAS SOUS 17394 HAS SOUPS 16552 WITH SCORE 16573.249
AT ITER 5025 NEW BEST:: SOT 102689 SOS 21237 HAS SOPS 18212 HAS SOUS 17387 HAS SOUPS 16545 WITH SCORE 16566.237
AT ITER 5113 NEW BEST:: SOT 102695 SOS 21235 HAS SOPS 18210 HAS SOUS 17385 HAS SOUPS 16543 WITH SCORE 16564.235
AT ITER 5197 NEW BEST:: SOT 102695 SOS 21234 HAS SOPS 18209 HAS SOUS 17384 HAS SOUPS 16542 WITH SCORE 16563.234
AT ITER 5202 NEW BEST:: SOT 102689 SOS 21228 HAS SOPS 18203 HAS SOUS 17378 HAS SOUPS 16536 WITH SCORE 16557.228
AT ITER 5218 NEW BEST:: SOT 102689 SOS 21243 HAS SOPS 18218 HAS SOUS 17375 HAS SOUPS 16533 WITH SCORE 16554.243
AT ITER 5236 NEW BEST:: SOT 102687 SOS 21236 HAS SOPS 18192 HAS SOUS 17371 HAS SOUPS 16529 WITH SCORE 16550.236
AT ITER 5255 NEW BEST:: SOT 102673 SOS 21208 HAS SOPS 18164 HAS SOUS 17343 HAS SOUPS 16501 WITH SCORE 16522.208
AT ITER 5287 NEW BEST:: SOT 102673 SOS 21219 HAS SOPS 18146 HAS SOUS 17343 HAS SOUPS 16495 WITH SCORE 16516.219
AT ITER 5327 NEW BEST:: SOT 102667 SOS 21198 HAS SOPS 18125 HAS SOUS 17331 HAS SOUPS 16483 WITH SCORE 16504.198
AT ITER 5337 NEW BEST:: SOT 102658 SOS 21193 HAS SOPS 18120 HAS SOUS 17326 HAS SOUPS 16478 WITH SCORE 16499.193
AT ITER 5354 NEW BEST:: SOT 102687 SOS 21242 HAS SOPS 18102 HAS SOUS 17314 HAS SOUPS 16466 WITH SCORE 16487.242
AT ITER 5418 NEW BEST:: SOT 102687 SOS 21235 HAS SOPS 18095 HAS SOUS 17313 HAS SOUPS 16465 WITH SCORE 16486.235
AT ITER 5446 NEW BEST:: SOT 102687 SOS 21228 HAS SOPS 18087 HAS SOUS 17312 HAS SOUPS 16464 WITH SCORE 16485.228
AT ITER 5449 NEW BEST:: SOT 102676 SOS 21217 HAS SOPS 18076 HAS SOUS 17303 HAS SOUPS 16455 WITH SCORE 16476.217
AT ITER 5493 NEW BEST:: SOT 102672 SOS 21213 HAS SOPS 18072 HAS SOUS 17299 HAS SOUPS 16451 WITH SCORE 16472.213
AT ITER 5552 NEW BEST:: SOT 102668 SOS 21226 HAS SOPS 18081 HAS SOUS 17295 HAS SOUPS 16443 WITH SCORE 16464.226
AT ITER 5630 NEW BEST:: SOT 102667 SOS 21224 HAS SOPS 18078 HAS SOUS 17292 HAS SOUPS 16440 WITH SCORE 16461.224
AT ITER 5634 NEW BEST:: SOT 102665 SOS 21222 HAS SOPS 18076 HAS SOUS 17288 HAS SOUPS 16436 WITH SCORE 16457.222
AT ITER 5695 NEW BEST:: SOT 102649 SOS 21190 HAS SOPS 18044 HAS SOUS 17256 HAS SOUPS 16404 WITH SCORE 16425.19
AT ITER 5723 NEW BEST:: SOT 102646 SOS 21278 HAS SOPS 18027 HAS SOUS 17257 HAS SOUPS 16384 WITH SCORE 16405.278
AT ITER 5753 NEW BEST:: SOT 102646 SOS 21270 HAS SOPS 18019 HAS SOUS 17252 HAS SOUPS 16379 WITH SCORE 16400.27
AT ITER 5777 NEW BEST:: SOT 102645 SOS 21266 HAS SOPS 18014 HAS SOUS 17249 HAS SOUPS 16376 WITH SCORE 16397.266
AT ITER 5828 NEW BEST:: SOT 102645 SOS 21261 HAS SOPS 18009 HAS SOUS 17244 HAS SOUPS 16371 WITH SCORE 16392.261
AT ITER 5839 NEW BEST:: SOT 102641 SOS 21259 HAS SOPS 18007 HAS SOUS 17237 HAS SOUPS 16364 WITH SCORE 16385.259
AT ITER 5850 NEW BEST:: SOT 102626 SOS 21262 HAS SOPS 18010 HAS SOUS 17225 HAS SOUPS 16352 WITH SCORE 16373.262
AT ITER 5949 NEW BEST:: SOT 102626 SOS 21248 HAS SOPS 17983 HAS SOUS 17195 HAS SOUPS 16322 WITH SCORE 16343.248
AT ITER 6001 NEW BEST:: SOT 102626 SOS 21242 HAS SOPS 17977 HAS SOUS 17195 HAS SOUPS 16322 WITH SCORE 16343.242
AT ITER 6020 NEW BEST:: SOT 102602 SOS 21186 HAS SOPS 17933 HAS SOUS 17183 HAS SOUPS 16310 WITH SCORE 16331.186
AT ITER 6033 NEW BEST:: SOT 102598 SOS 21181 HAS SOPS 17928 HAS SOUS 17178 HAS SOUPS 16305 WITH SCORE 16326.181
AT ITER 6051 NEW BEST:: SOT 102590 SOS 21179 HAS SOPS 17926 HAS SOUS 17162 HAS SOUPS 16289 WITH SCORE 16310.179
AT ITER 6069 NEW BEST:: SOT 102590 SOS 21179 HAS SOPS 17926 HAS SOUS 17160 HAS SOUPS 16287 WITH SCORE 16308.179
AT ITER 6071 NEW BEST:: SOT 102581 SOS 21158 HAS SOPS 17905 HAS SOUS 17139 HAS SOUPS 16266 WITH SCORE 16287.158
AT ITER 6088 NEW BEST:: SOT 102581 SOS 21155 HAS SOPS 17902 HAS SOUS 17139 HAS SOUPS 16266 WITH SCORE 16287.155
AT ITER 6179 NEW BEST:: SOT 102587 SOS 21161 HAS SOPS 17898 HAS SOUS 17147 HAS SOUPS 16264 WITH SCORE 16285.161
AT ITER 6222 NEW BEST:: SOT 102572 SOS 21151 HAS SOPS 17888 HAS SOUS 17132 HAS SOUPS 16249 WITH SCORE 16270.151
AT ITER 6282 NEW BEST:: SOT 102572 SOS 21148 HAS SOPS 17885 HAS SOUS 17130 HAS SOUPS 16247 WITH SCORE 16268.148
AT ITER 6286 NEW BEST:: SOT 102564 SOS 21140 HAS SOPS 17877 HAS SOUS 17114 HAS SOUPS 16231 WITH SCORE 16252.14
AT ITER 6334 NEW BEST:: SOT 102581 SOS 21157 HAS SOPS 17873 HAS SOUS 17134 HAS SOUPS 16230 WITH SCORE 16251.157
AT ITER 6372 NEW BEST:: SOT 102581 SOS 21156 HAS SOPS 17872 HAS SOUS 17133 HAS SOUPS 16229 WITH SCORE 16250.156
AT ITER 6424 NEW BEST:: SOT 102577 SOS 21152 HAS SOPS 17868 HAS SOUS 17129 HAS SOUPS 16225 WITH SCORE 16246.152
AT ITER 6527 NEW BEST:: SOT 102558 SOS 21121 HAS SOPS 17837 HAS SOUS 17091 HAS SOUPS 16187 WITH SCORE 16208.121
AT ITER 6529 NEW BEST:: SOT 102548 SOS 21131 HAS SOPS 17837 HAS SOUS 17081 HAS SOUPS 16167 WITH SCORE 16188.131
AT ITER 6553 NEW BEST:: SOT 102550 SOS 21128 HAS SOPS 17834 HAS SOUS 17080 HAS SOUPS 16166 WITH SCORE 16187.128
AT ITER 6561 NEW BEST:: SOT 102539 SOS 21073 HAS SOPS 17779 HAS SOUS 17048 HAS SOUPS 16134 WITH SCORE 16155.073
AT ITER 6567 NEW BEST:: SOT 102530 SOS 21111 HAS SOPS 17796 HAS SOUS 17045 HAS SOUPS 16131 WITH SCORE 16152.111
AT ITER 6611 NEW BEST:: SOT 102529 SOS 21110 HAS SOPS 17795 HAS SOUS 17043 HAS SOUPS 16129 WITH SCORE 16150.11
AT ITER 6624 NEW BEST:: SOT 102525 SOS 21111 HAS SOPS 17796 HAS SOUS 17041 HAS SOUPS 16127 WITH SCORE 16148.111
AT ITER 6651 NEW BEST:: SOT 102519 SOS 21099 HAS SOPS 17784 HAS SOUS 17029 HAS SOUPS 16115 WITH SCORE 16136.099
AT ITER 6686 NEW BEST:: SOT 102519 SOS 21085 HAS SOPS 17770 HAS SOUS 17015 HAS SOUPS 16101 WITH SCORE 16122.085
AT ITER 6757 NEW BEST:: SOT 102467 SOS 21488 HAS SOPS 18173 HAS SOUS 16963 HAS SOUPS 16049 WITH SCORE 16070.488
AT ITER 6767 NEW BEST:: SOT 102465 SOS 21486 HAS SOPS 18171 HAS SOUS 16963 HAS SOUPS 16049 WITH SCORE 16070.486
AT ITER 6778 NEW BEST:: SOT 102453 SOS 21485 HAS SOPS 18170 HAS SOUS 16962 HAS SOUPS 16048 WITH SCORE 16069.485
AT ITER 6813 NEW BEST:: SOT 102479 SOS 22172 HAS SOPS 18191 HAS SOUS 17015 HAS SOUPS 16031 WITH SCORE 16053.172
AT ITER 6838 NEW BEST:: SOT 102471 SOS 22164 HAS SOPS 18183 HAS SOUS 16999 HAS SOUPS 16015 WITH SCORE 16037.164
AT ITER 6860 NEW BEST:: SOT 102471 SOS 22159 HAS SOPS 18178 HAS SOUS 16998 HAS SOUPS 16014 WITH SCORE 16036.159
AT ITER 6898 NEW BEST:: SOT 102441 SOS 22118 HAS SOPS 18137 HAS SOUS 16977 HAS SOUPS 15993 WITH SCORE 16015.118
AT ITER 6924 NEW BEST:: SOT 102438 SOS 22114 HAS SOPS 18130 HAS SOUS 16970 HAS SOUPS 15986 WITH SCORE 16008.114
AT ITER 6948 NEW BEST:: SOT 102438 SOS 22099 HAS SOPS 18115 HAS SOUS 16970 HAS SOUPS 15986 WITH SCORE 16008.099
AT ITER 6975 NEW BEST:: SOT 102442 SOS 22125 HAS SOPS 18119 HAS SOUS 16957 HAS SOUPS 15973 WITH SCORE 15995.125
AT ITER 7008 NEW BEST:: SOT 102442 SOS 22113 HAS SOPS 18107 HAS SOUS 16952 HAS SOUPS 15968 WITH SCORE 15990.113
AT ITER 7009 NEW BEST:: SOT 102442 SOS 22098 HAS SOPS 18092 HAS SOUS 16945 HAS SOUPS 15961 WITH SCORE 15983.098
AT ITER 7048 NEW BEST:: SOT 102437 SOS 22095 HAS SOPS 18089 HAS SOUS 16942 HAS SOUPS 15958 WITH SCORE 15980.095
AT ITER 7113 NEW BEST:: SOT 102437 SOS 22088 HAS SOPS 18072 HAS SOUS 16922 HAS SOUPS 15938 WITH SCORE 15960.088
AT ITER 7200 NEW BEST:: SOT 102406 SOS 22067 HAS SOPS 18051 HAS SOUS 16894 HAS SOUPS 15910 WITH SCORE 15932.067
AT ITER 7209 NEW BEST:: SOT 102416 SOS 22032 HAS SOPS 18016 HAS SOUS 16859 HAS SOUPS 15875 WITH SCORE 15897.032
AT ITER 7295 NEW BEST:: SOT 102415 SOS 22031 HAS SOPS 18015 HAS SOUS 16858 HAS SOUPS 15874 WITH SCORE 15896.031
AT ITER 7325 NEW BEST:: SOT 102392 SOS 22008 HAS SOPS 17992 HAS SOUS 16778 HAS SOUPS 15794 WITH SCORE 15816.008
AT ITER 7372 NEW BEST:: SOT 102380 SOS 21951 HAS SOPS 17935 HAS SOUS 16754 HAS SOUPS 15770 WITH SCORE 15791.951
AT ITER 7437 NEW BEST:: SOT 102379 SOS 21950 HAS SOPS 17933 HAS SOUS 16753 HAS SOUPS 15768 WITH SCORE 15789.95
AT ITER 7445 NEW BEST:: SOT 102378 SOS 21949 HAS SOPS 17932 HAS SOUS 16751 HAS SOUPS 15766 WITH SCORE 15787.949
AT ITER 7487 NEW BEST:: SOT 102370 SOS 21952 HAS SOPS 17935 HAS SOUS 16746 HAS SOUPS 15761 WITH SCORE 15782.952
AT ITER 7539 NEW BEST:: SOT 102368 SOS 21948 HAS SOPS 17931 HAS SOUS 16742 HAS SOUPS 15757 WITH SCORE 15778.948
AT ITER 7548 NEW BEST:: SOT 102360 SOS 21929 HAS SOPS 17912 HAS SOUS 16723 HAS SOUPS 15738 WITH SCORE 15759.929
AT ITER 7651 NEW BEST:: SOT 102353 SOS 21872 HAS SOPS 17865 HAS SOUS 16706 HAS SOUPS 15721 WITH SCORE 15742.872
AT ITER 7665 NEW BEST:: SOT 102360 SOS 21851 HAS SOPS 17844 HAS SOUS 16690 HAS SOUPS 15705 WITH SCORE 15726.851
AT ITER 7744 NEW BEST:: SOT 102360 SOS 21849 HAS SOPS 17842 HAS SOUS 16688 HAS SOUPS 15703 WITH SCORE 15724.849
AT ITER 7772 NEW BEST:: SOT 102355 SOS 21854 HAS SOPS 17847 HAS SOUS 16683 HAS SOUPS 15698 WITH SCORE 15719.854
AT ITER 7782 NEW BEST:: SOT 102340 SOS 21865 HAS SOPS 17858 HAS SOUS 16679 HAS SOUPS 15694 WITH SCORE 15715.865
AT ITER 7793 NEW BEST:: SOT 102340 SOS 21860 HAS SOPS 17853 HAS SOUS 16673 HAS SOUPS 15688 WITH SCORE 15709.86
AT ITER 7802 NEW BEST:: SOT 102328 SOS 21830 HAS SOPS 17829 HAS SOUS 16649 HAS SOUPS 15664 WITH SCORE 15685.83
AT ITER 7821 NEW BEST:: SOT 102320 SOS 21819 HAS SOPS 17818 HAS SOUS 16638 HAS SOUPS 15653 WITH SCORE 15674.819
AT ITER 7855 NEW BEST:: SOT 102316 SOS 21837 HAS SOPS 17836 HAS SOUS 16634 HAS SOUPS 15649 WITH SCORE 15670.837
AT ITER 7945 NEW BEST:: SOT 102305 SOS 21839 HAS SOPS 17838 HAS SOUS 16625 HAS SOUPS 15640 WITH SCORE 15661.839
AT ITER 7948 NEW BEST:: SOT 102309 SOS 21834 HAS SOPS 17833 HAS SOUS 16624 HAS SOUPS 15639 WITH SCORE 15660.834
AT ITER 8121 NEW BEST:: SOT 102299 SOS 21824 HAS SOPS 17823 HAS SOUS 16621 HAS SOUPS 15636 WITH SCORE 15657.824
AT ITER 8164 NEW BEST:: SOT 102317 SOS 21806 HAS SOPS 17805 HAS SOUS 16603 HAS SOUPS 15618 WITH SCORE 15639.806
AT ITER 8194 NEW BEST:: SOT 102327 SOS 21788 HAS SOPS 17787 HAS SOUS 16595 HAS SOUPS 15610 WITH SCORE 15631.788
AT ITER 8209 NEW BEST:: SOT 102310 SOS 21771 HAS SOPS 17769 HAS SOUS 16563 HAS SOUPS 15578 WITH SCORE 15599.771
AT ITER 8256 NEW BEST:: SOT 102307 SOS 21779 HAS SOPS 17766 HAS SOUS 16560 HAS SOUPS 15575 WITH SCORE 15596.779
AT ITER 8287 NEW BEST:: SOT 102305 SOS 21777 HAS SOPS 17766 HAS SOUS 16560 HAS SOUPS 15575 WITH SCORE 15596.777
AT ITER 8289 NEW BEST:: SOT 102305 SOS 21776 HAS SOPS 17755 HAS SOUS 16549 HAS SOUPS 15564 WITH SCORE 15585.776
AT ITER 8290 NEW BEST:: SOT 102305 SOS 21768 HAS SOPS 17747 HAS SOUS 16541 HAS SOUPS 15556 WITH SCORE 15577.768
AT ITER 8387 NEW BEST:: SOT 102308 SOS 21760 HAS SOPS 17739 HAS SOUS 16536 HAS SOUPS 15551 WITH SCORE 15572.76
AT ITER 8532 NEW BEST:: SOT 102306 SOS 21758 HAS SOPS 17737 HAS SOUS 16534 HAS SOUPS 15549 WITH SCORE 15570.758
AT ITER 8596 NEW BEST:: SOT 102302 SOS 21758 HAS SOPS 17737 HAS SOUS 16532 HAS SOUPS 15547 WITH SCORE 15568.758
AT ITER 8641 NEW BEST:: SOT 102294 SOS 21750 HAS SOPS 17729 HAS SOUS 16524 HAS SOUPS 15539 WITH SCORE 15560.75
AT ITER 8646 NEW BEST:: SOT 102286 SOS 21718 HAS SOPS 17697 HAS SOUS 16520 HAS SOUPS 15535 WITH SCORE 15556.718
AT ITER 8693 NEW BEST:: SOT 102286 SOS 21717 HAS SOPS 17696 HAS SOUS 16520 HAS SOUPS 15535 WITH SCORE 15556.717
AT ITER 8722 NEW BEST:: SOT 102286 SOS 21717 HAS SOPS 17694 HAS SOUS 16518 HAS SOUPS 15533 WITH SCORE 15554.717
AT ITER 8822 NEW BEST:: SOT 102286 SOS 21715 HAS SOPS 17694 HAS SOUS 16518 HAS SOUPS 15533 WITH SCORE 15554.715
AT ITER 8879 NEW BEST:: SOT 102257 SOS 21668 HAS SOPS 17648 HAS SOUS 16472 HAS SOUPS 15487 WITH SCORE 15508.668
AT ITER 8894 NEW BEST:: SOT 102292 SOS 21668 HAS SOPS 17648 HAS SOUS 16471 HAS SOUPS 15486 WITH SCORE 15507.668
AT ITER 8935 NEW BEST:: SOT 102291 SOS 21670 HAS SOPS 17647 HAS SOUS 16470 HAS SOUPS 15485 WITH SCORE 15506.67
AT ITER 8939 NEW BEST:: SOT 102287 SOS 21676 HAS SOPS 17653 HAS SOUS 16468 HAS SOUPS 15483 WITH SCORE 15504.676
AT ITER 8996 NEW BEST:: SOT 102287 SOS 21666 HAS SOPS 17643 HAS SOUS 16458 HAS SOUPS 15473 WITH SCORE 15494.666
AT ITER 9025 NEW BEST:: SOT 102293 SOS 21655 HAS SOPS 17632 HAS SOUS 16447 HAS SOUPS 15462 WITH SCORE 15483.655
AT ITER 9042 NEW BEST:: SOT 102286 SOS 21655 HAS SOPS 17632 HAS SOUS 16437 HAS SOUPS 15452 WITH SCORE 15473.655
AT ITER 9064 NEW BEST:: SOT 102287 SOS 21651 HAS SOPS 17628 HAS SOUS 16435 HAS SOUPS 15450 WITH SCORE 15471.651
AT ITER 9074 NEW BEST:: SOT 102287 SOS 21647 HAS SOPS 17624 HAS SOUS 16435 HAS SOUPS 15450 WITH SCORE 15471.647
AT ITER 9081 NEW BEST:: SOT 102282 SOS 21642 HAS SOPS 17619 HAS SOUS 16430 HAS SOUPS 15445 WITH SCORE 15466.642
AT ITER 9144 NEW BEST:: SOT 102276 SOS 21635 HAS SOPS 17606 HAS SOUS 16418 HAS SOUPS 15433 WITH SCORE 15454.635
AT ITER 9198 NEW BEST:: SOT 102259 SOS 21616 HAS SOPS 17587 HAS SOUS 16399 HAS SOUPS 15414 WITH SCORE 15435.616
AT ITER 9339 NEW BEST:: SOT 102259 SOS 21614 HAS SOPS 17585 HAS SOUS 16397 HAS SOUPS 15412 WITH SCORE 15433.614
AT ITER 9463 NEW BEST:: SOT 102259 SOS 21572 HAS SOPS 17584 HAS SOUS 16392 HAS SOUPS 15412 WITH SCORE 15433.572
AT ITER 9468 NEW BEST:: SOT 102257 SOS 21570 HAS SOPS 17582 HAS SOUS 16388 HAS SOUPS 15408 WITH SCORE 15429.57
AT ITER 9513 NEW BEST:: SOT 102257 SOS 21564 HAS SOPS 17576 HAS SOUS 16388 HAS SOUPS 15408 WITH SCORE 15429.564
AT ITER 9561 NEW BEST:: SOT 102256 SOS 21560 HAS SOPS 17572 HAS SOUS 16385 HAS SOUPS 15405 WITH SCORE 15426.56
AT ITER 9601 NEW BEST:: SOT 102254 SOS 21553 HAS SOPS 17572 HAS SOUS 16381 HAS SOUPS 15401 WITH SCORE 15422.553
AT ITER 9606 NEW BEST:: SOT 102244 SOS 21470 HAS SOPS 17624 HAS SOUS 16356 HAS SOUPS 15391 WITH SCORE 15412.47
AT ITER 9661 NEW BEST:: SOT 102225 SOS 21470 HAS SOPS 17624 HAS SOUS 16337 HAS SOUPS 15372 WITH SCORE 15393.47
AT ITER 9692 NEW BEST:: SOT 102241 SOS 21481 HAS SOPS 17635 HAS SOUS 16336 HAS SOUPS 15371 WITH SCORE 15392.481
AT ITER 9693 NEW BEST:: SOT 102271 SOS 21481 HAS SOPS 17635 HAS SOUS 16320 HAS SOUPS 15355 WITH SCORE 15376.481
AT ITER 9718 NEW BEST:: SOT 102270 SOS 21468 HAS SOPS 17622 HAS SOUS 16317 HAS SOUPS 15352 WITH SCORE 15373.468
AT ITER 9750 NEW BEST:: SOT 102240 SOS 21438 HAS SOPS 17592 HAS SOUS 16287 HAS SOUPS 15322 WITH SCORE 15343.438
AT ITER 9752 NEW BEST:: SOT 102240 SOS 21434 HAS SOPS 17588 HAS SOUS 16283 HAS SOUPS 15318 WITH SCORE 15339.434
AT ITER 9795 NEW BEST:: SOT 102239 SOS 21433 HAS SOPS 17587 HAS SOUS 16281 HAS SOUPS 15316 WITH SCORE 15337.433
AT ITER 9827 NEW BEST:: SOT 102256 SOS 21433 HAS SOPS 17587 HAS SOUS 16278 HAS SOUPS 15313 WITH SCORE 15334.433
AT ITER 9878 NEW BEST:: SOT 102256 SOS 21420 HAS SOPS 17574 HAS SOUS 16275 HAS SOUPS 15310 WITH SCORE 15331.42
AT ITER 9928 NEW BEST:: SOT 102263 SOS 21418 HAS SOPS 17572 HAS SOUS 16267 HAS SOUPS 15302 WITH SCORE 15323.418
AT ITER 9950 NEW BEST:: SOT 102257 SOS 21412 HAS SOPS 17566 HAS SOUS 16261 HAS SOUPS 15296 WITH SCORE 15317.412
AT ITER 9954 NEW BEST:: SOT 102257 SOS 21407 HAS SOPS 17566 HAS SOUS 16261 HAS SOUPS 15296 WITH SCORE 15317.407
STATE_SPACE STATES 2465267306 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9874895169 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678614737545

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

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-S08C4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is LeafsetExtension-PT-S08C4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410500472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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