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.r195-smll-167840342300344.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 HealthRecord-PT-14, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342300344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 6.8K Feb 26 17:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 17:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 17:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 17:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 17:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 17:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 72K 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 1678496759759

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=HealthRecord-PT-14
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 14
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: 162 places, 347 transitions, 915 arcs.
AT ITER 0 NEW BEST:: SOT 40570 SOS 23758 HAS SOPS 23736 HAS SOUS 13416 HAS SOUPS 13403 WITH SCORE 13426.758
AT ITER 2 NEW BEST:: SOT 40570 SOS 23760 HAS SOPS 23738 HAS SOUS 13415 HAS SOUPS 13402 WITH SCORE 13425.76
AT ITER 4 NEW BEST:: SOT 40570 SOS 23684 HAS SOPS 23662 HAS SOUS 13415 HAS SOUPS 13402 WITH SCORE 13425.684
AT ITER 5 NEW BEST:: SOT 40483 SOS 23510 HAS SOPS 23488 HAS SOUS 13345 HAS SOUPS 13332 WITH SCORE 13355.51
AT ITER 6 NEW BEST:: SOT 40413 SOS 23335 HAS SOPS 23313 HAS SOUS 13275 HAS SOUPS 13262 WITH SCORE 13285.335
AT ITER 12 NEW BEST:: SOT 40309 SOS 23090 HAS SOPS 23068 HAS SOUS 13125 HAS SOUPS 13112 WITH SCORE 13135.09
AT ITER 13 NEW BEST:: SOT 40092 SOS 22815 HAS SOPS 22793 HAS SOUS 13112 HAS SOUPS 13099 WITH SCORE 13121.815
AT ITER 15 NEW BEST:: SOT 40092 SOS 22766 HAS SOPS 22744 HAS SOUS 13059 HAS SOUPS 13046 WITH SCORE 13068.766
AT ITER 16 NEW BEST:: SOT 38788 SOS 21974 HAS SOPS 21952 HAS SOUS 12803 HAS SOUPS 12790 WITH SCORE 12811.974
AT ITER 17 NEW BEST:: SOT 38788 SOS 21658 HAS SOPS 21636 HAS SOUS 12750 HAS SOUPS 12737 WITH SCORE 12758.658
AT ITER 20 NEW BEST:: SOT 38157 SOS 21546 HAS SOPS 21524 HAS SOUS 12590 HAS SOUPS 12577 WITH SCORE 12598.546
AT ITER 28 NEW BEST:: SOT 38359 SOS 21470 HAS SOPS 21448 HAS SOUS 12547 HAS SOUPS 12534 WITH SCORE 12555.47
AT ITER 30 NEW BEST:: SOT 38261 SOS 21323 HAS SOPS 21301 HAS SOUS 12493 HAS SOUPS 12480 WITH SCORE 12501.323
AT ITER 32 NEW BEST:: SOT 38255 SOS 21314 HAS SOPS 21292 HAS SOUS 12493 HAS SOUPS 12480 WITH SCORE 12501.314
AT ITER 35 NEW BEST:: SOT 38115 SOS 21175 HAS SOPS 21153 HAS SOUS 12435 HAS SOUPS 12422 WITH SCORE 12443.175
AT ITER 38 NEW BEST:: SOT 38118 SOS 21168 HAS SOPS 21146 HAS SOUS 12421 HAS SOUPS 12408 WITH SCORE 12429.168
AT ITER 40 NEW BEST:: SOT 37967 SOS 21894 HAS SOPS 21872 HAS SOUS 12206 HAS SOUPS 12193 WITH SCORE 12214.894
AT ITER 44 NEW BEST:: SOT 37961 SOS 21895 HAS SOPS 21873 HAS SOUS 12193 HAS SOUPS 12180 WITH SCORE 12201.895
AT ITER 46 NEW BEST:: SOT 38037 SOS 21971 HAS SOPS 21949 HAS SOUS 12170 HAS SOUPS 12157 WITH SCORE 12178.971
AT ITER 48 NEW BEST:: SOT 38060 SOS 22040 HAS SOPS 22018 HAS SOUS 12150 HAS SOUPS 12137 WITH SCORE 12159.04
AT ITER 49 NEW BEST:: SOT 38031 SOS 22006 HAS SOPS 21984 HAS SOUS 12150 HAS SOUPS 12137 WITH SCORE 12159.006
AT ITER 51 NEW BEST:: SOT 37967 SOS 21878 HAS SOPS 21856 HAS SOUS 12150 HAS SOUPS 12137 WITH SCORE 12158.878
AT ITER 52 NEW BEST:: SOT 37975 SOS 21900 HAS SOPS 21878 HAS SOUS 12139 HAS SOUPS 12126 WITH SCORE 12147.9
AT ITER 58 NEW BEST:: SOT 37915 SOS 21840 HAS SOPS 21818 HAS SOUS 12071 HAS SOUPS 12058 WITH SCORE 12079.84
AT ITER 62 NEW BEST:: SOT 37911 SOS 21828 HAS SOPS 21806 HAS SOUS 12067 HAS SOUPS 12054 WITH SCORE 12075.828
AT ITER 63 NEW BEST:: SOT 37807 SOS 21728 HAS SOPS 21706 HAS SOUS 11954 HAS SOUPS 11941 WITH SCORE 11962.728
AT ITER 66 NEW BEST:: SOT 37810 SOS 21731 HAS SOPS 21709 HAS SOUS 11951 HAS SOUPS 11938 WITH SCORE 11959.731
AT ITER 71 NEW BEST:: SOT 37747 SOS 21479 HAS SOPS 21457 HAS SOUS 11945 HAS SOUPS 11932 WITH SCORE 11953.479
AT ITER 77 NEW BEST:: SOT 37476 SOS 21217 HAS SOPS 21195 HAS SOUS 11674 HAS SOUPS 11661 WITH SCORE 11682.217
AT ITER 80 NEW BEST:: SOT 37428 SOS 21121 HAS SOPS 21099 HAS SOUS 11621 HAS SOUPS 11608 WITH SCORE 11629.121
AT ITER 84 NEW BEST:: SOT 37354 SOS 20899 HAS SOPS 20877 HAS SOUS 11489 HAS SOUPS 11476 WITH SCORE 11496.899
AT ITER 86 NEW BEST:: SOT 37354 SOS 20899 HAS SOPS 20877 HAS SOUS 11474 HAS SOUPS 11461 WITH SCORE 11481.899
AT ITER 91 NEW BEST:: SOT 37395 SOS 20891 HAS SOPS 20869 HAS SOUS 11474 HAS SOUPS 11461 WITH SCORE 11481.891
AT ITER 94 NEW BEST:: SOT 37370 SOS 20762 HAS SOPS 20740 HAS SOUS 11449 HAS SOUPS 11436 WITH SCORE 11456.762
AT ITER 95 NEW BEST:: SOT 37370 SOS 20507 HAS SOPS 20485 HAS SOUS 11382 HAS SOUPS 11369 WITH SCORE 11389.507
AT ITER 96 NEW BEST:: SOT 37369 SOS 20506 HAS SOPS 20484 HAS SOUS 11381 HAS SOUPS 11368 WITH SCORE 11388.506
AT ITER 97 NEW BEST:: SOT 37229 SOS 20156 HAS SOPS 20134 HAS SOUS 11258 HAS SOUPS 11245 WITH SCORE 11265.156
AT ITER 99 NEW BEST:: SOT 37125 SOS 19962 HAS SOPS 19940 HAS SOUS 11042 HAS SOUPS 11029 WITH SCORE 11048.962
AT ITER 104 NEW BEST:: SOT 37153 SOS 20001 HAS SOPS 19979 HAS SOUS 11025 HAS SOUPS 11012 WITH SCORE 11032.001
AT ITER 109 NEW BEST:: SOT 37277 SOS 19949 HAS SOPS 19927 HAS SOUS 10982 HAS SOUPS 10969 WITH SCORE 10988.949
AT ITER 113 NEW BEST:: SOT 37306 SOS 19321 HAS SOPS 19299 HAS SOUS 10982 HAS SOUPS 10969 WITH SCORE 10988.321
AT ITER 116 NEW BEST:: SOT 37276 SOS 19415 HAS SOPS 19393 HAS SOUS 10981 HAS SOUPS 10968 WITH SCORE 10987.415
AT ITER 118 NEW BEST:: SOT 36052 SOS 20757 HAS SOPS 20735 HAS SOUS 9885 HAS SOUPS 9872 WITH SCORE 9892.757
AT ITER 119 NEW BEST:: SOT 36012 SOS 20716 HAS SOPS 20694 HAS SOUS 9884 HAS SOUPS 9871 WITH SCORE 9891.716
AT ITER 121 NEW BEST:: SOT 36012 SOS 20651 HAS SOPS 20629 HAS SOUS 9884 HAS SOUPS 9871 WITH SCORE 9891.651
AT ITER 122 NEW BEST:: SOT 36003 SOS 20642 HAS SOPS 20620 HAS SOUS 9882 HAS SOUPS 9869 WITH SCORE 9889.642
AT ITER 125 NEW BEST:: SOT 35874 SOS 20384 HAS SOPS 20362 HAS SOUS 9753 HAS SOUPS 9740 WITH SCORE 9760.384
AT ITER 126 NEW BEST:: SOT 35860 SOS 20349 HAS SOPS 20327 HAS SOUS 9739 HAS SOUPS 9726 WITH SCORE 9746.349
AT ITER 128 NEW BEST:: SOT 35860 SOS 20349 HAS SOPS 20327 HAS SOUS 9702 HAS SOUPS 9689 WITH SCORE 9709.349
AT ITER 132 NEW BEST:: SOT 35831 SOS 20280 HAS SOPS 20258 HAS SOUS 9691 HAS SOUPS 9678 WITH SCORE 9698.28
AT ITER 136 NEW BEST:: SOT 35830 SOS 20279 HAS SOPS 20257 HAS SOUS 9647 HAS SOUPS 9634 WITH SCORE 9654.279
AT ITER 139 NEW BEST:: SOT 35315 SOS 20227 HAS SOPS 20205 HAS SOUS 9238 HAS SOUPS 9225 WITH SCORE 9245.227
AT ITER 140 NEW BEST:: SOT 35041 SOS 21695 HAS SOPS 21673 HAS SOUS 9166 HAS SOUPS 9153 WITH SCORE 9174.695
AT ITER 141 NEW BEST:: SOT 33977 SOS 20865 HAS SOPS 20843 HAS SOUS 8370 HAS SOUPS 8357 WITH SCORE 8377.865
AT ITER 142 NEW BEST:: SOT 33955 SOS 20833 HAS SOPS 20811 HAS SOUS 8352 HAS SOUPS 8339 WITH SCORE 8359.833
AT ITER 143 NEW BEST:: SOT 33947 SOS 20825 HAS SOPS 20803 HAS SOUS 8323 HAS SOUPS 8310 WITH SCORE 8330.825
AT ITER 151 NEW BEST:: SOT 33947 SOS 20820 HAS SOPS 20798 HAS SOUS 8323 HAS SOUPS 8310 WITH SCORE 8330.82
AT ITER 152 NEW BEST:: SOT 33413 SOS 20802 HAS SOPS 20780 HAS SOUS 7931 HAS SOUPS 7918 WITH SCORE 7938.802
AT ITER 164 NEW BEST:: SOT 33393 SOS 20748 HAS SOPS 20726 HAS SOUS 7925 HAS SOUPS 7912 WITH SCORE 7932.748
AT ITER 165 NEW BEST:: SOT 33350 SOS 20705 HAS SOPS 20683 HAS SOUS 7893 HAS SOUPS 7880 WITH SCORE 7900.705
AT ITER 169 NEW BEST:: SOT 32461 SOS 20520 HAS SOPS 20498 HAS SOUS 7476 HAS SOUPS 7463 WITH SCORE 7483.52
AT ITER 175 NEW BEST:: SOT 32419 SOS 20457 HAS SOPS 20435 HAS SOUS 7455 HAS SOUPS 7442 WITH SCORE 7462.457
AT ITER 176 NEW BEST:: SOT 32415 SOS 20449 HAS SOPS 20427 HAS SOUS 7451 HAS SOUPS 7438 WITH SCORE 7458.449
AT ITER 181 NEW BEST:: SOT 32390 SOS 20426 HAS SOPS 20404 HAS SOUS 7409 HAS SOUPS 7396 WITH SCORE 7416.426
AT ITER 184 NEW BEST:: SOT 32391 SOS 20429 HAS SOPS 20407 HAS SOUS 7408 HAS SOUPS 7395 WITH SCORE 7415.429
AT ITER 185 NEW BEST:: SOT 32404 SOS 20442 HAS SOPS 20420 HAS SOUS 7361 HAS SOUPS 7348 WITH SCORE 7368.442
AT ITER 187 NEW BEST:: SOT 32403 SOS 20441 HAS SOPS 20419 HAS SOUS 7360 HAS SOUPS 7347 WITH SCORE 7367.441
AT ITER 189 NEW BEST:: SOT 32292 SOS 20185 HAS SOPS 20163 HAS SOUS 7213 HAS SOUPS 7200 WITH SCORE 7220.185
AT ITER 194 NEW BEST:: SOT 32246 SOS 20093 HAS SOPS 20071 HAS SOUS 7167 HAS SOUPS 7154 WITH SCORE 7174.093
AT ITER 195 NEW BEST:: SOT 32154 SOS 19858 HAS SOPS 19836 HAS SOUS 7086 HAS SOUPS 7073 WITH SCORE 7092.858
AT ITER 211 NEW BEST:: SOT 32124 SOS 19798 HAS SOPS 19776 HAS SOUS 7056 HAS SOUPS 7043 WITH SCORE 7062.798
AT ITER 212 NEW BEST:: SOT 31984 SOS 19691 HAS SOPS 19669 HAS SOUS 6992 HAS SOUPS 6979 WITH SCORE 6998.691
AT ITER 215 NEW BEST:: SOT 32011 SOS 19715 HAS SOPS 19693 HAS SOUS 6989 HAS SOUPS 6976 WITH SCORE 6995.715
AT ITER 231 NEW BEST:: SOT 31978 SOS 19670 HAS SOPS 19648 HAS SOUS 6977 HAS SOUPS 6964 WITH SCORE 6983.67
AT ITER 233 NEW BEST:: SOT 31980 SOS 19678 HAS SOPS 19656 HAS SOUS 6976 HAS SOUPS 6963 WITH SCORE 6982.678
AT ITER 234 NEW BEST:: SOT 31923 SOS 19583 HAS SOPS 19561 HAS SOUS 6917 HAS SOUPS 6904 WITH SCORE 6923.583
AT ITER 249 NEW BEST:: SOT 31897 SOS 19505 HAS SOPS 19483 HAS SOUS 6915 HAS SOUPS 6902 WITH SCORE 6921.505
AT ITER 260 NEW BEST:: SOT 31897 SOS 19505 HAS SOPS 19483 HAS SOUS 6908 HAS SOUPS 6895 WITH SCORE 6914.505
AT ITER 264 NEW BEST:: SOT 31855 SOS 19502 HAS SOPS 19480 HAS SOUS 6890 HAS SOUPS 6877 WITH SCORE 6896.502
AT ITER 277 NEW BEST:: SOT 31829 SOS 19495 HAS SOPS 19473 HAS SOUS 6864 HAS SOUPS 6851 WITH SCORE 6870.495
AT ITER 283 NEW BEST:: SOT 31703 SOS 19257 HAS SOPS 19235 HAS SOUS 6782 HAS SOUPS 6769 WITH SCORE 6788.257
AT ITER 287 NEW BEST:: SOT 31635 SOS 19237 HAS SOPS 19215 HAS SOUS 6724 HAS SOUPS 6711 WITH SCORE 6730.237
AT ITER 291 NEW BEST:: SOT 31018 SOS 19357 HAS SOPS 19335 HAS SOUS 6644 HAS SOUPS 6631 WITH SCORE 6650.357
AT ITER 296 NEW BEST:: SOT 31004 SOS 19349 HAS SOPS 19327 HAS SOUS 6618 HAS SOUPS 6605 WITH SCORE 6624.349
AT ITER 299 NEW BEST:: SOT 30960 SOS 19227 HAS SOPS 19205 HAS SOUS 6616 HAS SOUPS 6603 WITH SCORE 6622.227
AT ITER 309 NEW BEST:: SOT 31007 SOS 19268 HAS SOPS 19246 HAS SOUS 6560 HAS SOUPS 6547 WITH SCORE 6566.268
AT ITER 311 NEW BEST:: SOT 30994 SOS 19229 HAS SOPS 19207 HAS SOUS 6514 HAS SOUPS 6501 WITH SCORE 6520.229
AT ITER 323 NEW BEST:: SOT 30936 SOS 19041 HAS SOPS 19019 HAS SOUS 6437 HAS SOUPS 6424 WITH SCORE 6443.041
AT ITER 326 NEW BEST:: SOT 30952 SOS 19075 HAS SOPS 19053 HAS SOUS 6424 HAS SOUPS 6411 WITH SCORE 6430.075
AT ITER 330 NEW BEST:: SOT 30947 SOS 19024 HAS SOPS 19002 HAS SOUS 6412 HAS SOUPS 6399 WITH SCORE 6418.024
AT ITER 335 NEW BEST:: SOT 30944 SOS 19021 HAS SOPS 18999 HAS SOUS 6409 HAS SOUPS 6396 WITH SCORE 6415.021
AT ITER 340 NEW BEST:: SOT 30927 SOS 19004 HAS SOPS 18982 HAS SOUS 6392 HAS SOUPS 6379 WITH SCORE 6398.004
AT ITER 354 NEW BEST:: SOT 30899 SOS 18962 HAS SOPS 18940 HAS SOUS 6364 HAS SOUPS 6351 WITH SCORE 6369.962
AT ITER 363 NEW BEST:: SOT 30899 SOS 18962 HAS SOPS 18940 HAS SOUS 6363 HAS SOUPS 6350 WITH SCORE 6368.962
AT ITER 372 NEW BEST:: SOT 30876 SOS 19373 HAS SOPS 19351 HAS SOUS 6325 HAS SOUPS 6312 WITH SCORE 6331.373
AT ITER 373 NEW BEST:: SOT 30867 SOS 19364 HAS SOPS 19342 HAS SOUS 6325 HAS SOUPS 6312 WITH SCORE 6331.364
AT ITER 378 NEW BEST:: SOT 30865 SOS 19363 HAS SOPS 19341 HAS SOUS 6325 HAS SOUPS 6312 WITH SCORE 6331.363
AT ITER 379 NEW BEST:: SOT 30783 SOS 19415 HAS SOPS 19393 HAS SOUS 6276 HAS SOUPS 6263 WITH SCORE 6282.415
AT ITER 381 NEW BEST:: SOT 30785 SOS 19417 HAS SOPS 19395 HAS SOUS 6274 HAS SOUPS 6261 WITH SCORE 6280.417
AT ITER 383 NEW BEST:: SOT 30756 SOS 19401 HAS SOPS 19379 HAS SOUS 6273 HAS SOUPS 6260 WITH SCORE 6279.401
AT ITER 387 NEW BEST:: SOT 30736 SOS 19381 HAS SOPS 19359 HAS SOUS 6225 HAS SOUPS 6212 WITH SCORE 6231.381
AT ITER 390 NEW BEST:: SOT 30704 SOS 20704 HAS SOPS 20682 HAS SOUS 6182 HAS SOUPS 6169 WITH SCORE 6189.704
AT ITER 394 NEW BEST:: SOT 30591 SOS 20335 HAS SOPS 20313 HAS SOUS 6173 HAS SOUPS 6160 WITH SCORE 6180.335
AT ITER 395 NEW BEST:: SOT 30586 SOS 20320 HAS SOPS 20298 HAS SOUS 6163 HAS SOUPS 6150 WITH SCORE 6170.32
AT ITER 396 NEW BEST:: SOT 30469 SOS 20130 HAS SOPS 20108 HAS SOUS 6008 HAS SOUPS 5995 WITH SCORE 6015.13
AT ITER 401 NEW BEST:: SOT 30458 SOS 21033 HAS SOPS 21011 HAS SOUS 6000 HAS SOUPS 5987 WITH SCORE 6008.033
AT ITER 402 NEW BEST:: SOT 30409 SOS 20922 HAS SOPS 20900 HAS SOUS 5951 HAS SOUPS 5938 WITH SCORE 5958.922
AT ITER 405 NEW BEST:: SOT 30241 SOS 20642 HAS SOPS 20620 HAS SOUS 5949 HAS SOUPS 5936 WITH SCORE 5956.642
AT ITER 427 NEW BEST:: SOT 30237 SOS 20638 HAS SOPS 20616 HAS SOUS 5949 HAS SOUPS 5936 WITH SCORE 5956.638
AT ITER 429 NEW BEST:: SOT 30196 SOS 20570 HAS SOPS 20548 HAS SOUS 5938 HAS SOUPS 5925 WITH SCORE 5945.57
AT ITER 430 NEW BEST:: SOT 30192 SOS 20562 HAS SOPS 20540 HAS SOUS 5924 HAS SOUPS 5911 WITH SCORE 5931.562
AT ITER 434 NEW BEST:: SOT 30178 SOS 20548 HAS SOPS 20526 HAS SOUS 5912 HAS SOUPS 5899 WITH SCORE 5919.548
AT ITER 435 NEW BEST:: SOT 30142 SOS 20494 HAS SOPS 20472 HAS SOUS 5912 HAS SOUPS 5899 WITH SCORE 5919.494
AT ITER 439 NEW BEST:: SOT 30165 SOS 20497 HAS SOPS 20475 HAS SOUS 5907 HAS SOUPS 5894 WITH SCORE 5914.497
AT ITER 443 NEW BEST:: SOT 30178 SOS 20510 HAS SOPS 20488 HAS SOUS 5903 HAS SOUPS 5890 WITH SCORE 5910.51
AT ITER 444 NEW BEST:: SOT 30146 SOS 20478 HAS SOPS 20456 HAS SOUS 5839 HAS SOUPS 5826 WITH SCORE 5846.478
AT ITER 447 NEW BEST:: SOT 30146 SOS 20473 HAS SOPS 20451 HAS SOUS 5829 HAS SOUPS 5816 WITH SCORE 5836.473
AT ITER 451 NEW BEST:: SOT 30146 SOS 20473 HAS SOPS 20451 HAS SOUS 5825 HAS SOUPS 5812 WITH SCORE 5832.473
AT ITER 458 NEW BEST:: SOT 30146 SOS 20473 HAS SOPS 20451 HAS SOUS 5824 HAS SOUPS 5811 WITH SCORE 5831.473
AT ITER 464 NEW BEST:: SOT 30151 SOS 20483 HAS SOPS 20461 HAS SOUS 5800 HAS SOUPS 5787 WITH SCORE 5807.483
AT ITER 473 NEW BEST:: SOT 30149 SOS 20481 HAS SOPS 20459 HAS SOUS 5800 HAS SOUPS 5787 WITH SCORE 5807.481
AT ITER 478 NEW BEST:: SOT 30154 SOS 20480 HAS SOPS 20458 HAS SOUS 5782 HAS SOUPS 5769 WITH SCORE 5789.48
AT ITER 490 NEW BEST:: SOT 30142 SOS 20462 HAS SOPS 20440 HAS SOUS 5776 HAS SOUPS 5763 WITH SCORE 5783.462
AT ITER 491 NEW BEST:: SOT 30139 SOS 20459 HAS SOPS 20437 HAS SOUS 5776 HAS SOUPS 5763 WITH SCORE 5783.459
AT ITER 494 NEW BEST:: SOT 30010 SOS 20244 HAS SOPS 20222 HAS SOUS 5690 HAS SOUPS 5677 WITH SCORE 5697.244
AT ITER 496 NEW BEST:: SOT 30006 SOS 20232 HAS SOPS 20210 HAS SOUS 5686 HAS SOUPS 5673 WITH SCORE 5693.232
AT ITER 497 NEW BEST:: SOT 30013 SOS 20241 HAS SOPS 20219 HAS SOUS 5682 HAS SOUPS 5669 WITH SCORE 5689.241
AT ITER 499 NEW BEST:: SOT 30017 SOS 20241 HAS SOPS 20219 HAS SOUS 5676 HAS SOUPS 5663 WITH SCORE 5683.241
AT ITER 513 NEW BEST:: SOT 30010 SOS 20234 HAS SOPS 20212 HAS SOUS 5672 HAS SOUPS 5659 WITH SCORE 5679.234
AT ITER 517 NEW BEST:: SOT 30010 SOS 20234 HAS SOPS 20212 HAS SOUS 5622 HAS SOUPS 5609 WITH SCORE 5629.234
AT ITER 519 NEW BEST:: SOT 30001 SOS 20209 HAS SOPS 20187 HAS SOUS 5618 HAS SOUPS 5605 WITH SCORE 5625.209
AT ITER 521 NEW BEST:: SOT 29985 SOS 20193 HAS SOPS 20171 HAS SOUS 5616 HAS SOUPS 5603 WITH SCORE 5623.193
AT ITER 526 NEW BEST:: SOT 29957 SOS 20165 HAS SOPS 20143 HAS SOUS 5591 HAS SOUPS 5578 WITH SCORE 5598.165
AT ITER 529 NEW BEST:: SOT 29955 SOS 20163 HAS SOPS 20141 HAS SOUS 5589 HAS SOUPS 5576 WITH SCORE 5596.163
AT ITER 533 NEW BEST:: SOT 29955 SOS 20163 HAS SOPS 20141 HAS SOUS 5587 HAS SOUPS 5574 WITH SCORE 5594.163
AT ITER 560 NEW BEST:: SOT 29957 SOS 20163 HAS SOPS 20141 HAS SOUS 5577 HAS SOUPS 5564 WITH SCORE 5584.163
AT ITER 562 NEW BEST:: SOT 29927 SOS 20133 HAS SOPS 20111 HAS SOUS 5545 HAS SOUPS 5532 WITH SCORE 5552.133
AT ITER 566 NEW BEST:: SOT 29907 SOS 20093 HAS SOPS 20071 HAS SOUS 5538 HAS SOUPS 5525 WITH SCORE 5545.093
AT ITER 571 NEW BEST:: SOT 29892 SOS 20078 HAS SOPS 20056 HAS SOUS 5523 HAS SOUPS 5510 WITH SCORE 5530.078
AT ITER 576 NEW BEST:: SOT 29875 SOS 20017 HAS SOPS 19995 HAS SOUS 5511 HAS SOUPS 5498 WITH SCORE 5518.017
AT ITER 581 NEW BEST:: SOT 29866 SOS 20008 HAS SOPS 19986 HAS SOUS 5502 HAS SOUPS 5489 WITH SCORE 5509.008
AT ITER 588 NEW BEST:: SOT 29829 SOS 19971 HAS SOPS 19949 HAS SOUS 5497 HAS SOUPS 5484 WITH SCORE 5503.971
AT ITER 590 NEW BEST:: SOT 29794 SOS 19912 HAS SOPS 19890 HAS SOUS 5474 HAS SOUPS 5461 WITH SCORE 5480.912
AT ITER 596 NEW BEST:: SOT 29784 SOS 19902 HAS SOPS 19880 HAS SOUS 5464 HAS SOUPS 5451 WITH SCORE 5470.902
AT ITER 597 NEW BEST:: SOT 29667 SOS 19607 HAS SOPS 19585 HAS SOUS 5346 HAS SOUPS 5333 WITH SCORE 5352.607
AT ITER 605 NEW BEST:: SOT 29667 SOS 19607 HAS SOPS 19585 HAS SOUS 5336 HAS SOUPS 5323 WITH SCORE 5342.607
AT ITER 609 NEW BEST:: SOT 29672 SOS 19612 HAS SOPS 19590 HAS SOUS 5327 HAS SOUPS 5314 WITH SCORE 5333.612
AT ITER 618 NEW BEST:: SOT 29575 SOS 19426 HAS SOPS 19404 HAS SOUS 5246 HAS SOUPS 5233 WITH SCORE 5252.426
AT ITER 620 NEW BEST:: SOT 29572 SOS 19423 HAS SOPS 19401 HAS SOUS 5246 HAS SOUPS 5233 WITH SCORE 5252.423
AT ITER 625 NEW BEST:: SOT 29562 SOS 19413 HAS SOPS 19391 HAS SOUS 5226 HAS SOUPS 5213 WITH SCORE 5232.413
AT ITER 632 NEW BEST:: SOT 29582 SOS 19453 HAS SOPS 19431 HAS SOUS 5223 HAS SOUPS 5210 WITH SCORE 5229.453
AT ITER 634 NEW BEST:: SOT 29595 SOS 19466 HAS SOPS 19444 HAS SOUS 5216 HAS SOUPS 5203 WITH SCORE 5222.466
AT ITER 642 NEW BEST:: SOT 29623 SOS 19490 HAS SOPS 19468 HAS SOUS 5198 HAS SOUPS 5185 WITH SCORE 5204.49
AT ITER 645 NEW BEST:: SOT 29621 SOS 19484 HAS SOPS 19462 HAS SOUS 5197 HAS SOUPS 5184 WITH SCORE 5203.484
AT ITER 646 NEW BEST:: SOT 29614 SOS 19425 HAS SOPS 19403 HAS SOUS 5190 HAS SOUPS 5177 WITH SCORE 5196.425
AT ITER 648 NEW BEST:: SOT 29624 SOS 19395 HAS SOPS 19373 HAS SOUS 5188 HAS SOUPS 5175 WITH SCORE 5194.395
AT ITER 659 NEW BEST:: SOT 29619 SOS 19390 HAS SOPS 19368 HAS SOUS 5183 HAS SOUPS 5170 WITH SCORE 5189.39
AT ITER 665 NEW BEST:: SOT 29615 SOS 19396 HAS SOPS 19374 HAS SOUS 5182 HAS SOUPS 5169 WITH SCORE 5188.396
AT ITER 685 NEW BEST:: SOT 29616 SOS 19300 HAS SOPS 19278 HAS SOUS 5182 HAS SOUPS 5169 WITH SCORE 5188.3
AT ITER 697 NEW BEST:: SOT 29600 SOS 19284 HAS SOPS 19262 HAS SOUS 5182 HAS SOUPS 5169 WITH SCORE 5188.284
AT ITER 706 NEW BEST:: SOT 29600 SOS 19273 HAS SOPS 19251 HAS SOUS 5182 HAS SOUPS 5169 WITH SCORE 5188.273
AT ITER 719 NEW BEST:: SOT 29696 SOS 19415 HAS SOPS 19393 HAS SOUS 5174 HAS SOUPS 5161 WITH SCORE 5180.415
AT ITER 723 NEW BEST:: SOT 29759 SOS 19478 HAS SOPS 19456 HAS SOUS 5168 HAS SOUPS 5155 WITH SCORE 5174.478
AT ITER 724 NEW BEST:: SOT 29748 SOS 19438 HAS SOPS 19416 HAS SOUS 5150 HAS SOUPS 5137 WITH SCORE 5156.438
AT ITER 731 NEW BEST:: SOT 29650 SOS 19278 HAS SOPS 19256 HAS SOUS 5140 HAS SOUPS 5127 WITH SCORE 5146.278
AT ITER 744 NEW BEST:: SOT 29650 SOS 19278 HAS SOPS 19256 HAS SOUS 5084 HAS SOUPS 5071 WITH SCORE 5090.278
AT ITER 745 NEW BEST:: SOT 29640 SOS 19268 HAS SOPS 19246 HAS SOUS 5054 HAS SOUPS 5041 WITH SCORE 5060.268
AT ITER 760 NEW BEST:: SOT 29638 SOS 19257 HAS SOPS 19235 HAS SOUS 5054 HAS SOUPS 5041 WITH SCORE 5060.257
AT ITER 762 NEW BEST:: SOT 29626 SOS 19245 HAS SOPS 19223 HAS SOUS 5042 HAS SOUPS 5029 WITH SCORE 5048.245
AT ITER 771 NEW BEST:: SOT 29576 SOS 19170 HAS SOPS 19148 HAS SOUS 5017 HAS SOUPS 5004 WITH SCORE 5023.17
AT ITER 777 NEW BEST:: SOT 29581 SOS 19175 HAS SOPS 19153 HAS SOUS 4987 HAS SOUPS 4974 WITH SCORE 4993.175
AT ITER 782 NEW BEST:: SOT 29604 SOS 19198 HAS SOPS 19176 HAS SOUS 4963 HAS SOUPS 4950 WITH SCORE 4969.198
AT ITER 784 NEW BEST:: SOT 29580 SOS 19150 HAS SOPS 19128 HAS SOUS 4963 HAS SOUPS 4950 WITH SCORE 4969.15
AT ITER 789 NEW BEST:: SOT 29587 SOS 19157 HAS SOPS 19135 HAS SOUS 4948 HAS SOUPS 4935 WITH SCORE 4954.157
AT ITER 798 NEW BEST:: SOT 29575 SOS 19145 HAS SOPS 19123 HAS SOUS 4912 HAS SOUPS 4899 WITH SCORE 4918.145
AT ITER 828 NEW BEST:: SOT 29561 SOS 19132 HAS SOPS 19110 HAS SOUS 4884 HAS SOUPS 4871 WITH SCORE 4890.132
AT ITER 830 NEW BEST:: SOT 29535 SOS 19093 HAS SOPS 19071 HAS SOUS 4884 HAS SOUPS 4871 WITH SCORE 4890.093
AT ITER 831 NEW BEST:: SOT 29530 SOS 19088 HAS SOPS 19066 HAS SOUS 4874 HAS SOUPS 4861 WITH SCORE 4880.088
AT ITER 848 NEW BEST:: SOT 29554 SOS 19098 HAS SOPS 19076 HAS SOUS 4855 HAS SOUPS 4842 WITH SCORE 4861.098
AT ITER 865 NEW BEST:: SOT 29540 SOS 19100 HAS SOPS 19078 HAS SOUS 4849 HAS SOUPS 4836 WITH SCORE 4855.1
AT ITER 869 NEW BEST:: SOT 29569 SOS 19129 HAS SOPS 19107 HAS SOUS 4838 HAS SOUPS 4825 WITH SCORE 4844.129
AT ITER 872 NEW BEST:: SOT 29569 SOS 19129 HAS SOPS 19107 HAS SOUS 4815 HAS SOUPS 4802 WITH SCORE 4821.129
AT ITER 878 NEW BEST:: SOT 29551 SOS 19099 HAS SOPS 19077 HAS SOUS 4791 HAS SOUPS 4778 WITH SCORE 4797.099
AT ITER 902 NEW BEST:: SOT 29519 SOS 19067 HAS SOPS 19045 HAS SOUS 4785 HAS SOUPS 4772 WITH SCORE 4791.067
AT ITER 927 NEW BEST:: SOT 29476 SOS 19005 HAS SOPS 18983 HAS SOUS 4761 HAS SOUPS 4748 WITH SCORE 4767.005
AT ITER 942 NEW BEST:: SOT 29471 SOS 19000 HAS SOPS 18978 HAS SOUS 4756 HAS SOUPS 4743 WITH SCORE 4762.0
AT ITER 952 NEW BEST:: SOT 29502 SOS 19055 HAS SOPS 19033 HAS SOUS 4746 HAS SOUPS 4733 WITH SCORE 4752.055
AT ITER 955 NEW BEST:: SOT 29482 SOS 19015 HAS SOPS 18993 HAS SOUS 4746 HAS SOUPS 4733 WITH SCORE 4752.015
AT ITER 969 NEW BEST:: SOT 29496 SOS 19026 HAS SOPS 19004 HAS SOUS 4738 HAS SOUPS 4725 WITH SCORE 4744.026
AT ITER 974 NEW BEST:: SOT 29468 SOS 18981 HAS SOPS 18959 HAS SOUS 4733 HAS SOUPS 4720 WITH SCORE 4738.981
AT ITER 984 NEW BEST:: SOT 29475 SOS 18869 HAS SOPS 18847 HAS SOUS 4719 HAS SOUPS 4706 WITH SCORE 4724.869
AT ITER 1010 NEW BEST:: SOT 29497 SOS 18849 HAS SOPS 18827 HAS SOUS 4717 HAS SOUPS 4704 WITH SCORE 4722.849
AT ITER 1023 NEW BEST:: SOT 29516 SOS 18868 HAS SOPS 18846 HAS SOUS 4713 HAS SOUPS 4700 WITH SCORE 4718.868
AT ITER 1030 NEW BEST:: SOT 29511 SOS 18863 HAS SOPS 18841 HAS SOUS 4713 HAS SOUPS 4700 WITH SCORE 4718.863
AT ITER 1031 NEW BEST:: SOT 29524 SOS 18883 HAS SOPS 18861 HAS SOUS 4711 HAS SOUPS 4698 WITH SCORE 4716.883
AT ITER 1037 NEW BEST:: SOT 29531 SOS 18896 HAS SOPS 18874 HAS SOUS 4707 HAS SOUPS 4694 WITH SCORE 4712.896
AT ITER 1043 NEW BEST:: SOT 29525 SOS 18890 HAS SOPS 18868 HAS SOUS 4695 HAS SOUPS 4682 WITH SCORE 4700.89
AT ITER 1061 NEW BEST:: SOT 29529 SOS 18894 HAS SOPS 18872 HAS SOUS 4685 HAS SOUPS 4672 WITH SCORE 4690.894
AT ITER 1075 NEW BEST:: SOT 29517 SOS 18882 HAS SOPS 18860 HAS SOUS 4682 HAS SOUPS 4669 WITH SCORE 4687.882
AT ITER 1083 NEW BEST:: SOT 29517 SOS 18882 HAS SOPS 18860 HAS SOUS 4679 HAS SOUPS 4666 WITH SCORE 4684.882
AT ITER 1088 NEW BEST:: SOT 29534 SOS 18916 HAS SOPS 18894 HAS SOUS 4662 HAS SOUPS 4649 WITH SCORE 4667.916
AT ITER 1096 NEW BEST:: SOT 29534 SOS 18916 HAS SOPS 18894 HAS SOUS 4653 HAS SOUPS 4640 WITH SCORE 4658.916
AT ITER 1123 NEW BEST:: SOT 29534 SOS 18916 HAS SOPS 18894 HAS SOUS 4641 HAS SOUPS 4628 WITH SCORE 4646.916
AT ITER 1128 NEW BEST:: SOT 29511 SOS 18880 HAS SOPS 18858 HAS SOUS 4631 HAS SOUPS 4618 WITH SCORE 4636.88
AT ITER 1131 NEW BEST:: SOT 29460 SOS 18795 HAS SOPS 18773 HAS SOUS 4597 HAS SOUPS 4584 WITH SCORE 4602.795
AT ITER 1139 NEW BEST:: SOT 29454 SOS 18791 HAS SOPS 18769 HAS SOUS 4593 HAS SOUPS 4580 WITH SCORE 4598.791
AT ITER 1154 NEW BEST:: SOT 29453 SOS 18790 HAS SOPS 18768 HAS SOUS 4592 HAS SOUPS 4579 WITH SCORE 4597.79
AT ITER 1156 NEW BEST:: SOT 29439 SOS 18755 HAS SOPS 18733 HAS SOUS 4575 HAS SOUPS 4562 WITH SCORE 4580.755
AT ITER 1164 NEW BEST:: SOT 29436 SOS 18749 HAS SOPS 18727 HAS SOUS 4572 HAS SOUPS 4559 WITH SCORE 4577.749
AT ITER 1167 NEW BEST:: SOT 29413 SOS 18703 HAS SOPS 18681 HAS SOUS 4544 HAS SOUPS 4531 WITH SCORE 4549.703
AT ITER 1168 NEW BEST:: SOT 29377 SOS 18667 HAS SOPS 18645 HAS SOUS 4508 HAS SOUPS 4495 WITH SCORE 4513.667
AT ITER 1171 NEW BEST:: SOT 29387 SOS 18687 HAS SOPS 18665 HAS SOUS 4498 HAS SOUPS 4485 WITH SCORE 4503.687
AT ITER 1186 NEW BEST:: SOT 29383 SOS 18683 HAS SOPS 18661 HAS SOUS 4495 HAS SOUPS 4482 WITH SCORE 4500.683
AT ITER 1189 NEW BEST:: SOT 29383 SOS 18683 HAS SOPS 18661 HAS SOUS 4487 HAS SOUPS 4474 WITH SCORE 4492.683
AT ITER 1196 NEW BEST:: SOT 29376 SOS 18676 HAS SOPS 18654 HAS SOUS 4487 HAS SOUPS 4474 WITH SCORE 4492.676
AT ITER 1201 NEW BEST:: SOT 29370 SOS 18670 HAS SOPS 18648 HAS SOUS 4481 HAS SOUPS 4468 WITH SCORE 4486.67
AT ITER 1228 NEW BEST:: SOT 29369 SOS 18669 HAS SOPS 18647 HAS SOUS 4480 HAS SOUPS 4467 WITH SCORE 4485.669
AT ITER 1234 NEW BEST:: SOT 29370 SOS 18671 HAS SOPS 18649 HAS SOUS 4479 HAS SOUPS 4466 WITH SCORE 4484.671
AT ITER 1269 NEW BEST:: SOT 29356 SOS 18657 HAS SOPS 18635 HAS SOUS 4478 HAS SOUPS 4465 WITH SCORE 4483.657
AT ITER 1271 NEW BEST:: SOT 29356 SOS 18657 HAS SOPS 18635 HAS SOUS 4476 HAS SOUPS 4463 WITH SCORE 4481.657
AT ITER 1276 NEW BEST:: SOT 29351 SOS 18652 HAS SOPS 18630 HAS SOUS 4471 HAS SOUPS 4458 WITH SCORE 4476.652
AT ITER 1283 NEW BEST:: SOT 29254 SOS 18503 HAS SOPS 18481 HAS SOUS 4433 HAS SOUPS 4420 WITH SCORE 4438.503
AT ITER 1292 NEW BEST:: SOT 29257 SOS 18506 HAS SOPS 18484 HAS SOUS 4426 HAS SOUPS 4413 WITH SCORE 4431.506
AT ITER 1307 NEW BEST:: SOT 29241 SOS 18449 HAS SOPS 18427 HAS SOUS 4412 HAS SOUPS 4399 WITH SCORE 4417.449
AT ITER 1325 NEW BEST:: SOT 29234 SOS 18433 HAS SOPS 18411 HAS SOUS 4395 HAS SOUPS 4382 WITH SCORE 4400.433
AT ITER 1333 NEW BEST:: SOT 29235 SOS 18434 HAS SOPS 18412 HAS SOUS 4386 HAS SOUPS 4373 WITH SCORE 4391.434
AT ITER 1340 NEW BEST:: SOT 29327 SOS 18094 HAS SOPS 18072 HAS SOUS 4385 HAS SOUPS 4372 WITH SCORE 4390.094
AT ITER 1360 NEW BEST:: SOT 29322 SOS 18089 HAS SOPS 18067 HAS SOUS 4380 HAS SOUPS 4367 WITH SCORE 4385.089
AT ITER 1368 NEW BEST:: SOT 29321 SOS 18088 HAS SOPS 18066 HAS SOUS 4379 HAS SOUPS 4366 WITH SCORE 4384.088
AT ITER 1382 NEW BEST:: SOT 29352 SOS 18150 HAS SOPS 18128 HAS SOUS 4362 HAS SOUPS 4349 WITH SCORE 4367.15
AT ITER 1394 NEW BEST:: SOT 29349 SOS 18147 HAS SOPS 18125 HAS SOUS 4345 HAS SOUPS 4332 WITH SCORE 4350.147
AT ITER 1413 NEW BEST:: SOT 29349 SOS 18147 HAS SOPS 18125 HAS SOUS 4339 HAS SOUPS 4326 WITH SCORE 4344.147
AT ITER 1435 NEW BEST:: SOT 29327 SOS 18108 HAS SOPS 18086 HAS SOUS 4335 HAS SOUPS 4322 WITH SCORE 4340.108
AT ITER 1456 NEW BEST:: SOT 29362 SOS 18123 HAS SOPS 18101 HAS SOUS 4328 HAS SOUPS 4315 WITH SCORE 4333.123
AT ITER 1462 NEW BEST:: SOT 29436 SOS 18254 HAS SOPS 18232 HAS SOUS 4293 HAS SOUPS 4280 WITH SCORE 4298.254
AT ITER 1469 NEW BEST:: SOT 29408 SOS 18158 HAS SOPS 18136 HAS SOUS 4262 HAS SOUPS 4249 WITH SCORE 4267.158
AT ITER 1495 NEW BEST:: SOT 29336 SOS 18050 HAS SOPS 18028 HAS SOUS 4246 HAS SOUPS 4233 WITH SCORE 4251.05
AT ITER 1499 NEW BEST:: SOT 29332 SOS 18042 HAS SOPS 18020 HAS SOUS 4242 HAS SOUPS 4229 WITH SCORE 4247.042
AT ITER 1552 NEW BEST:: SOT 29339 SOS 18049 HAS SOPS 18027 HAS SOUS 4232 HAS SOUPS 4219 WITH SCORE 4237.049
AT ITER 1553 NEW BEST:: SOT 29362 SOS 18095 HAS SOPS 18073 HAS SOUS 4199 HAS SOUPS 4186 WITH SCORE 4204.095
AT ITER 1557 NEW BEST:: SOT 29386 SOS 18119 HAS SOPS 18097 HAS SOUS 4187 HAS SOUPS 4174 WITH SCORE 4192.119
AT ITER 1561 NEW BEST:: SOT 29386 SOS 18119 HAS SOPS 18097 HAS SOUS 4186 HAS SOUPS 4173 WITH SCORE 4191.119
AT ITER 1569 NEW BEST:: SOT 29400 SOS 18145 HAS SOPS 18123 HAS SOUS 4166 HAS SOUPS 4153 WITH SCORE 4171.145
AT ITER 1575 NEW BEST:: SOT 29378 SOS 18112 HAS SOPS 18090 HAS SOUS 4157 HAS SOUPS 4144 WITH SCORE 4162.112
AT ITER 1582 NEW BEST:: SOT 29364 SOS 18084 HAS SOPS 18062 HAS SOUS 4157 HAS SOUPS 4144 WITH SCORE 4162.084
AT ITER 1595 NEW BEST:: SOT 29364 SOS 18076 HAS SOPS 18054 HAS SOUS 4156 HAS SOUPS 4143 WITH SCORE 4161.076
AT ITER 1613 NEW BEST:: SOT 29356 SOS 18068 HAS SOPS 18046 HAS SOUS 4150 HAS SOUPS 4137 WITH SCORE 4155.068
AT ITER 1620 NEW BEST:: SOT 29340 SOS 18044 HAS SOPS 18022 HAS SOUS 4150 HAS SOUPS 4137 WITH SCORE 4155.044
AT ITER 1629 NEW BEST:: SOT 29340 SOS 18047 HAS SOPS 18025 HAS SOUS 4148 HAS SOUPS 4135 WITH SCORE 4153.047
AT ITER 1639 NEW BEST:: SOT 29319 SOS 18026 HAS SOPS 18004 HAS SOUS 4116 HAS SOUPS 4103 WITH SCORE 4121.026
AT ITER 1642 NEW BEST:: SOT 29319 SOS 18026 HAS SOPS 18004 HAS SOUS 4112 HAS SOUPS 4099 WITH SCORE 4117.026
AT ITER 1647 NEW BEST:: SOT 29306 SOS 18019 HAS SOPS 17997 HAS SOUS 4111 HAS SOUPS 4098 WITH SCORE 4116.019
AT ITER 1654 NEW BEST:: SOT 29305 SOS 18018 HAS SOPS 17996 HAS SOUS 4103 HAS SOUPS 4090 WITH SCORE 4108.018
AT ITER 1657 NEW BEST:: SOT 29203 SOS 18335 HAS SOPS 18313 HAS SOUS 4101 HAS SOUPS 4088 WITH SCORE 4106.335
AT ITER 1670 NEW BEST:: SOT 29073 SOS 18140 HAS SOPS 18118 HAS SOUS 4101 HAS SOUPS 4088 WITH SCORE 4106.14
AT ITER 1671 NEW BEST:: SOT 29072 SOS 18147 HAS SOPS 18125 HAS SOUS 4084 HAS SOUPS 4071 WITH SCORE 4089.147
AT ITER 1693 NEW BEST:: SOT 29068 SOS 18154 HAS SOPS 18132 HAS SOUS 4075 HAS SOUPS 4062 WITH SCORE 4080.154
AT ITER 1699 NEW BEST:: SOT 29064 SOS 18148 HAS SOPS 18126 HAS SOUS 4067 HAS SOUPS 4054 WITH SCORE 4072.148
AT ITER 1728 NEW BEST:: SOT 29068 SOS 18152 HAS SOPS 18130 HAS SOUS 4047 HAS SOUPS 4034 WITH SCORE 4052.152
AT ITER 1731 NEW BEST:: SOT 29076 SOS 18160 HAS SOPS 18138 HAS SOUS 4034 HAS SOUPS 4021 WITH SCORE 4039.16
AT ITER 1732 NEW BEST:: SOT 29056 SOS 17899 HAS SOPS 17877 HAS SOUS 4024 HAS SOUPS 4011 WITH SCORE 4028.899
AT ITER 1736 NEW BEST:: SOT 29055 SOS 17898 HAS SOPS 17876 HAS SOUS 4021 HAS SOUPS 4008 WITH SCORE 4025.898
AT ITER 1744 NEW BEST:: SOT 29031 SOS 17874 HAS SOPS 17852 HAS SOUS 4021 HAS SOUPS 4008 WITH SCORE 4025.874
AT ITER 1745 NEW BEST:: SOT 29044 SOS 17887 HAS SOPS 17865 HAS SOUS 4018 HAS SOUPS 4005 WITH SCORE 4022.887
AT ITER 1758 NEW BEST:: SOT 29044 SOS 17870 HAS SOPS 17848 HAS SOUS 4001 HAS SOUPS 3988 WITH SCORE 4005.87
AT ITER 1760 NEW BEST:: SOT 29068 SOS 17867 HAS SOPS 17845 HAS SOUS 3998 HAS SOUPS 3985 WITH SCORE 4002.867
AT ITER 1772 NEW BEST:: SOT 29068 SOS 17867 HAS SOPS 17845 HAS SOUS 3989 HAS SOUPS 3976 WITH SCORE 3993.867
AT ITER 1785 NEW BEST:: SOT 29068 SOS 17867 HAS SOPS 17845 HAS SOUS 3988 HAS SOUPS 3975 WITH SCORE 3992.867
AT ITER 1801 NEW BEST:: SOT 29068 SOS 17867 HAS SOPS 17845 HAS SOUS 3986 HAS SOUPS 3973 WITH SCORE 3990.867
AT ITER 1808 NEW BEST:: SOT 29048 SOS 17840 HAS SOPS 17818 HAS SOUS 3979 HAS SOUPS 3966 WITH SCORE 3983.84
AT ITER 1816 NEW BEST:: SOT 29036 SOS 17822 HAS SOPS 17800 HAS SOUS 3979 HAS SOUPS 3966 WITH SCORE 3983.822
AT ITER 1844 NEW BEST:: SOT 29048 SOS 17834 HAS SOPS 17812 HAS SOUS 3973 HAS SOUPS 3960 WITH SCORE 3977.834
AT ITER 1846 NEW BEST:: SOT 29048 SOS 17834 HAS SOPS 17812 HAS SOUS 3970 HAS SOUPS 3957 WITH SCORE 3974.834
AT ITER 1847 NEW BEST:: SOT 29038 SOS 17824 HAS SOPS 17802 HAS SOUS 3960 HAS SOUPS 3947 WITH SCORE 3964.824
AT ITER 1855 NEW BEST:: SOT 29035 SOS 17821 HAS SOPS 17799 HAS SOUS 3960 HAS SOUPS 3947 WITH SCORE 3964.821
AT ITER 1857 NEW BEST:: SOT 29033 SOS 17819 HAS SOPS 17797 HAS SOUS 3954 HAS SOUPS 3941 WITH SCORE 3958.819
AT ITER 1903 NEW BEST:: SOT 29033 SOS 17819 HAS SOPS 17797 HAS SOUS 3949 HAS SOUPS 3936 WITH SCORE 3953.819
AT ITER 1914 NEW BEST:: SOT 29033 SOS 17831 HAS SOPS 17809 HAS SOUS 3946 HAS SOUPS 3933 WITH SCORE 3950.831
AT ITER 1937 NEW BEST:: SOT 29032 SOS 17842 HAS SOPS 17820 HAS SOUS 3943 HAS SOUPS 3930 WITH SCORE 3947.842
AT ITER 1963 NEW BEST:: SOT 29028 SOS 17836 HAS SOPS 17814 HAS SOUS 3941 HAS SOUPS 3928 WITH SCORE 3945.836
AT ITER 1991 NEW BEST:: SOT 29028 SOS 17832 HAS SOPS 17810 HAS SOUS 3941 HAS SOUPS 3928 WITH SCORE 3945.832
AT ITER 1997 NEW BEST:: SOT 29020 SOS 17824 HAS SOPS 17802 HAS SOUS 3940 HAS SOUPS 3927 WITH SCORE 3944.824
AT ITER 2009 NEW BEST:: SOT 29020 SOS 17824 HAS SOPS 17802 HAS SOUS 3938 HAS SOUPS 3925 WITH SCORE 3942.824
AT ITER 2012 NEW BEST:: SOT 29003 SOS 17807 HAS SOPS 17785 HAS SOUS 3936 HAS SOUPS 3923 WITH SCORE 3940.807
AT ITER 2014 NEW BEST:: SOT 28998 SOS 17802 HAS SOPS 17780 HAS SOUS 3931 HAS SOUPS 3918 WITH SCORE 3935.802
AT ITER 2016 NEW BEST:: SOT 28967 SOS 17771 HAS SOPS 17749 HAS SOUS 3900 HAS SOUPS 3887 WITH SCORE 3904.771
AT ITER 2051 NEW BEST:: SOT 28946 SOS 17729 HAS SOPS 17707 HAS SOUS 3892 HAS SOUPS 3879 WITH SCORE 3896.729
AT ITER 2071 NEW BEST:: SOT 28906 SOS 17689 HAS SOPS 17667 HAS SOUS 3892 HAS SOUPS 3879 WITH SCORE 3896.689
AT ITER 2082 NEW BEST:: SOT 28906 SOS 17685 HAS SOPS 17663 HAS SOUS 3890 HAS SOUPS 3877 WITH SCORE 3894.685
AT ITER 2093 NEW BEST:: SOT 28901 SOS 17677 HAS SOPS 17655 HAS SOUS 3887 HAS SOUPS 3874 WITH SCORE 3891.677
AT ITER 2124 NEW BEST:: SOT 28894 SOS 17663 HAS SOPS 17641 HAS SOUS 3887 HAS SOUPS 3874 WITH SCORE 3891.663
AT ITER 2129 NEW BEST:: SOT 28869 SOS 17638 HAS SOPS 17616 HAS SOUS 3884 HAS SOUPS 3871 WITH SCORE 3888.638
AT ITER 2136 NEW BEST:: SOT 28868 SOS 17637 HAS SOPS 17615 HAS SOUS 3883 HAS SOUPS 3870 WITH SCORE 3887.637
AT ITER 2138 NEW BEST:: SOT 28868 SOS 17637 HAS SOPS 17615 HAS SOUS 3881 HAS SOUPS 3868 WITH SCORE 3885.637
AT ITER 2151 NEW BEST:: SOT 28868 SOS 17637 HAS SOPS 17615 HAS SOUS 3866 HAS SOUPS 3853 WITH SCORE 3870.637
AT ITER 2159 NEW BEST:: SOT 28866 SOS 17632 HAS SOPS 17610 HAS SOUS 3866 HAS SOUPS 3853 WITH SCORE 3870.632
AT ITER 2172 NEW BEST:: SOT 28864 SOS 17630 HAS SOPS 17608 HAS SOUS 3863 HAS SOUPS 3850 WITH SCORE 3867.63
AT ITER 2177 NEW BEST:: SOT 28860 SOS 17622 HAS SOPS 17600 HAS SOUS 3855 HAS SOUPS 3842 WITH SCORE 3859.622
AT ITER 2178 NEW BEST:: SOT 28857 SOS 17611 HAS SOPS 17589 HAS SOUS 3853 HAS SOUPS 3840 WITH SCORE 3857.611
AT ITER 2232 NEW BEST:: SOT 28860 SOS 17614 HAS SOPS 17592 HAS SOUS 3840 HAS SOUPS 3827 WITH SCORE 3844.614
AT ITER 2245 NEW BEST:: SOT 28855 SOS 17604 HAS SOPS 17582 HAS SOUS 3840 HAS SOUPS 3827 WITH SCORE 3844.604
AT ITER 2248 NEW BEST:: SOT 28855 SOS 17599 HAS SOPS 17577 HAS SOUS 3825 HAS SOUPS 3812 WITH SCORE 3829.599
AT ITER 2249 NEW BEST:: SOT 28852 SOS 17635 HAS SOPS 17613 HAS SOUS 3806 HAS SOUPS 3793 WITH SCORE 3810.635
AT ITER 2257 NEW BEST:: SOT 28854 SOS 17637 HAS SOPS 17615 HAS SOUS 3803 HAS SOUPS 3790 WITH SCORE 3807.637
AT ITER 2275 NEW BEST:: SOT 28842 SOS 17625 HAS SOPS 17603 HAS SOUS 3803 HAS SOUPS 3790 WITH SCORE 3807.625
AT ITER 2305 NEW BEST:: SOT 28833 SOS 17616 HAS SOPS 17594 HAS SOUS 3794 HAS SOUPS 3781 WITH SCORE 3798.616
AT ITER 2337 NEW BEST:: SOT 28832 SOS 17615 HAS SOPS 17593 HAS SOUS 3793 HAS SOUPS 3780 WITH SCORE 3797.615
AT ITER 2352 NEW BEST:: SOT 28832 SOS 17615 HAS SOPS 17593 HAS SOUS 3790 HAS SOUPS 3777 WITH SCORE 3794.615
AT ITER 2380 NEW BEST:: SOT 28833 SOS 17616 HAS SOPS 17594 HAS SOUS 3787 HAS SOUPS 3774 WITH SCORE 3791.616
AT ITER 2419 NEW BEST:: SOT 28833 SOS 17616 HAS SOPS 17594 HAS SOUS 3765 HAS SOUPS 3752 WITH SCORE 3769.616
AT ITER 2437 NEW BEST:: SOT 28832 SOS 17614 HAS SOPS 17592 HAS SOUS 3763 HAS SOUPS 3750 WITH SCORE 3767.614
AT ITER 2452 NEW BEST:: SOT 28832 SOS 17614 HAS SOPS 17592 HAS SOUS 3758 HAS SOUPS 3745 WITH SCORE 3762.614
AT ITER 2481 NEW BEST:: SOT 28669 SOS 17449 HAS SOPS 17427 HAS SOUS 3724 HAS SOUPS 3711 WITH SCORE 3728.449
AT ITER 2490 NEW BEST:: SOT 28664 SOS 17444 HAS SOPS 17422 HAS SOUS 3724 HAS SOUPS 3711 WITH SCORE 3728.444
AT ITER 2497 NEW BEST:: SOT 28660 SOS 17440 HAS SOPS 17418 HAS SOUS 3719 HAS SOUPS 3706 WITH SCORE 3723.44
AT ITER 2557 NEW BEST:: SOT 28644 SOS 17414 HAS SOPS 17392 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3705.414
AT ITER 2571 NEW BEST:: SOT 28654 SOS 17424 HAS SOPS 17402 HAS SOUS 3665 HAS SOUPS 3652 WITH SCORE 3669.424
AT ITER 2602 NEW BEST:: SOT 28692 SOS 17462 HAS SOPS 17440 HAS SOUS 3663 HAS SOUPS 3650 WITH SCORE 3667.462
AT ITER 2640 NEW BEST:: SOT 28683 SOS 17453 HAS SOPS 17431 HAS SOUS 3647 HAS SOUPS 3634 WITH SCORE 3651.453
AT ITER 2659 NEW BEST:: SOT 28682 SOS 17451 HAS SOPS 17429 HAS SOUS 3640 HAS SOUPS 3627 WITH SCORE 3644.451
AT ITER 2693 NEW BEST:: SOT 28675 SOS 17444 HAS SOPS 17422 HAS SOUS 3633 HAS SOUPS 3620 WITH SCORE 3637.444
AT ITER 2699 NEW BEST:: SOT 28680 SOS 17532 HAS SOPS 17510 HAS SOUS 3630 HAS SOUPS 3617 WITH SCORE 3634.532
AT ITER 2700 NEW BEST:: SOT 28678 SOS 17519 HAS SOPS 17497 HAS SOUS 3628 HAS SOUPS 3615 WITH SCORE 3632.519
AT ITER 2708 NEW BEST:: SOT 28677 SOS 17518 HAS SOPS 17496 HAS SOUS 3624 HAS SOUPS 3611 WITH SCORE 3628.518
AT ITER 2712 NEW BEST:: SOT 28659 SOS 17500 HAS SOPS 17478 HAS SOUS 3620 HAS SOUPS 3607 WITH SCORE 3624.5
AT ITER 2723 NEW BEST:: SOT 28657 SOS 17496 HAS SOPS 17474 HAS SOUS 3618 HAS SOUPS 3605 WITH SCORE 3622.496
AT ITER 2728 NEW BEST:: SOT 28656 SOS 17493 HAS SOPS 17471 HAS SOUS 3618 HAS SOUPS 3605 WITH SCORE 3622.493
AT ITER 2773 NEW BEST:: SOT 28650 SOS 17475 HAS SOPS 17453 HAS SOUS 3612 HAS SOUPS 3599 WITH SCORE 3616.475
AT ITER 2790 NEW BEST:: SOT 28651 SOS 17483 HAS SOPS 17461 HAS SOUS 3604 HAS SOUPS 3591 WITH SCORE 3608.483
AT ITER 2811 NEW BEST:: SOT 28651 SOS 17483 HAS SOPS 17461 HAS SOUS 3594 HAS SOUPS 3581 WITH SCORE 3598.483
AT ITER 2812 NEW BEST:: SOT 28666 SOS 17498 HAS SOPS 17476 HAS SOUS 3585 HAS SOUPS 3572 WITH SCORE 3589.498
AT ITER 2824 NEW BEST:: SOT 28653 SOS 17478 HAS SOPS 17456 HAS SOUS 3575 HAS SOUPS 3562 WITH SCORE 3579.478
AT ITER 2840 NEW BEST:: SOT 28649 SOS 17474 HAS SOPS 17452 HAS SOUS 3571 HAS SOUPS 3558 WITH SCORE 3575.474
AT ITER 2869 NEW BEST:: SOT 28664 SOS 17468 HAS SOPS 17446 HAS SOUS 3560 HAS SOUPS 3547 WITH SCORE 3564.468
AT ITER 2874 NEW BEST:: SOT 28682 SOS 17492 HAS SOPS 17470 HAS SOUS 3547 HAS SOUPS 3534 WITH SCORE 3551.492
AT ITER 2897 NEW BEST:: SOT 28672 SOS 17482 HAS SOPS 17460 HAS SOUS 3527 HAS SOUPS 3514 WITH SCORE 3531.482
AT ITER 2905 NEW BEST:: SOT 28665 SOS 17472 HAS SOPS 17450 HAS SOUS 3524 HAS SOUPS 3511 WITH SCORE 3528.472
AT ITER 2959 NEW BEST:: SOT 28663 SOS 17470 HAS SOPS 17448 HAS SOUS 3522 HAS SOUPS 3509 WITH SCORE 3526.47
AT ITER 2968 NEW BEST:: SOT 28661 SOS 17463 HAS SOPS 17441 HAS SOUS 3522 HAS SOUPS 3509 WITH SCORE 3526.463
AT ITER 3003 NEW BEST:: SOT 28653 SOS 17455 HAS SOPS 17433 HAS SOUS 3522 HAS SOUPS 3509 WITH SCORE 3526.455
AT ITER 3029 NEW BEST:: SOT 28653 SOS 17456 HAS SOPS 17434 HAS SOUS 3521 HAS SOUPS 3508 WITH SCORE 3525.456
AT ITER 3041 NEW BEST:: SOT 28671 SOS 17474 HAS SOPS 17452 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3520.474
AT ITER 3058 NEW BEST:: SOT 28669 SOS 17472 HAS SOPS 17450 HAS SOUS 3512 HAS SOUPS 3499 WITH SCORE 3516.472
AT ITER 3076 NEW BEST:: SOT 28668 SOS 17471 HAS SOPS 17449 HAS SOUS 3508 HAS SOUPS 3495 WITH SCORE 3512.471
AT ITER 3109 NEW BEST:: SOT 28668 SOS 17471 HAS SOPS 17449 HAS SOUS 3507 HAS SOUPS 3494 WITH SCORE 3511.471
AT ITER 3118 NEW BEST:: SOT 28669 SOS 17472 HAS SOPS 17450 HAS SOUS 3506 HAS SOUPS 3493 WITH SCORE 3510.472
AT ITER 3149 NEW BEST:: SOT 28669 SOS 17472 HAS SOPS 17450 HAS SOUS 3499 HAS SOUPS 3486 WITH SCORE 3503.472
AT ITER 3176 NEW BEST:: SOT 28667 SOS 17469 HAS SOPS 17447 HAS SOUS 3499 HAS SOUPS 3486 WITH SCORE 3503.469
AT ITER 3230 NEW BEST:: SOT 28649 SOS 17451 HAS SOPS 17429 HAS SOUS 3481 HAS SOUPS 3468 WITH SCORE 3485.451
AT ITER 3257 NEW BEST:: SOT 28643 SOS 17445 HAS SOPS 17423 HAS SOUS 3470 HAS SOUPS 3457 WITH SCORE 3474.445
AT ITER 3325 NEW BEST:: SOT 28651 SOS 17457 HAS SOPS 17435 HAS SOUS 3467 HAS SOUPS 3454 WITH SCORE 3471.457
AT ITER 3335 NEW BEST:: SOT 28643 SOS 17449 HAS SOPS 17427 HAS SOUS 3459 HAS SOUPS 3446 WITH SCORE 3463.449
AT ITER 3389 NEW BEST:: SOT 28640 SOS 17446 HAS SOPS 17424 HAS SOUS 3456 HAS SOUPS 3443 WITH SCORE 3460.446
AT ITER 3451 NEW BEST:: SOT 28623 SOS 17411 HAS SOPS 17389 HAS SOUS 3440 HAS SOUPS 3427 WITH SCORE 3444.411
AT ITER 3454 NEW BEST:: SOT 28619 SOS 17407 HAS SOPS 17385 HAS SOUS 3436 HAS SOUPS 3423 WITH SCORE 3440.407
AT ITER 3457 NEW BEST:: SOT 28614 SOS 17402 HAS SOPS 17380 HAS SOUS 3430 HAS SOUPS 3417 WITH SCORE 3434.402
AT ITER 3471 NEW BEST:: SOT 28612 SOS 17396 HAS SOPS 17374 HAS SOUS 3429 HAS SOUPS 3416 WITH SCORE 3433.396
AT ITER 3478 NEW BEST:: SOT 28603 SOS 17387 HAS SOPS 17365 HAS SOUS 3426 HAS SOUPS 3413 WITH SCORE 3430.387
AT ITER 3479 NEW BEST:: SOT 28595 SOS 17379 HAS SOPS 17357 HAS SOUS 3422 HAS SOUPS 3409 WITH SCORE 3426.379
AT ITER 3482 NEW BEST:: SOT 28587 SOS 17363 HAS SOPS 17341 HAS SOUS 3418 HAS SOUPS 3405 WITH SCORE 3422.363
AT ITER 3494 NEW BEST:: SOT 28587 SOS 17363 HAS SOPS 17341 HAS SOUS 3411 HAS SOUPS 3398 WITH SCORE 3415.363
AT ITER 3518 NEW BEST:: SOT 28586 SOS 17358 HAS SOPS 17336 HAS SOUS 3406 HAS SOUPS 3393 WITH SCORE 3410.358
AT ITER 3533 NEW BEST:: SOT 28584 SOS 17354 HAS SOPS 17332 HAS SOUS 3404 HAS SOUPS 3391 WITH SCORE 3408.354
AT ITER 3572 NEW BEST:: SOT 28581 SOS 17348 HAS SOPS 17326 HAS SOUS 3402 HAS SOUPS 3389 WITH SCORE 3406.348
AT ITER 3592 NEW BEST:: SOT 28573 SOS 17340 HAS SOPS 17318 HAS SOUS 3394 HAS SOUPS 3381 WITH SCORE 3398.34
AT ITER 3610 NEW BEST:: SOT 28565 SOS 17332 HAS SOPS 17310 HAS SOUS 3394 HAS SOUPS 3381 WITH SCORE 3398.332
AT ITER 3683 NEW BEST:: SOT 28556 SOS 17324 HAS SOPS 17302 HAS SOUS 3392 HAS SOUPS 3379 WITH SCORE 3396.324
AT ITER 3698 NEW BEST:: SOT 28594 SOS 17391 HAS SOPS 17369 HAS SOUS 3387 HAS SOUPS 3374 WITH SCORE 3391.391
AT ITER 3784 NEW BEST:: SOT 28588 SOS 17385 HAS SOPS 17363 HAS SOUS 3385 HAS SOUPS 3372 WITH SCORE 3389.385
AT ITER 3826 NEW BEST:: SOT 28600 SOS 17403 HAS SOPS 17381 HAS SOUS 3382 HAS SOUPS 3369 WITH SCORE 3386.403
AT ITER 3837 NEW BEST:: SOT 28586 SOS 17375 HAS SOPS 17353 HAS SOUS 3370 HAS SOUPS 3357 WITH SCORE 3374.375
AT ITER 3881 NEW BEST:: SOT 28583 SOS 17363 HAS SOPS 17341 HAS SOUS 3359 HAS SOUPS 3346 WITH SCORE 3363.363
AT ITER 3890 NEW BEST:: SOT 28579 SOS 17355 HAS SOPS 17333 HAS SOUS 3353 HAS SOUPS 3340 WITH SCORE 3357.355
AT ITER 3901 NEW BEST:: SOT 28579 SOS 17355 HAS SOPS 17333 HAS SOUS 3352 HAS SOUPS 3339 WITH SCORE 3356.355
AT ITER 3957 NEW BEST:: SOT 28579 SOS 17355 HAS SOPS 17333 HAS SOUS 3350 HAS SOUPS 3337 WITH SCORE 3354.355
AT ITER 3958 NEW BEST:: SOT 28580 SOS 17362 HAS SOPS 17340 HAS SOUS 3348 HAS SOUPS 3335 WITH SCORE 3352.362
AT ITER 3968 NEW BEST:: SOT 28575 SOS 17354 HAS SOPS 17332 HAS SOUS 3342 HAS SOUPS 3329 WITH SCORE 3346.354
AT ITER 3980 NEW BEST:: SOT 28583 SOS 17366 HAS SOPS 17344 HAS SOUS 3338 HAS SOUPS 3325 WITH SCORE 3342.366
AT ITER 4031 NEW BEST:: SOT 28587 SOS 17374 HAS SOPS 17352 HAS SOUS 3334 HAS SOUPS 3321 WITH SCORE 3338.374
AT ITER 4038 NEW BEST:: SOT 28588 SOS 17375 HAS SOPS 17353 HAS SOUS 3331 HAS SOUPS 3318 WITH SCORE 3335.375
AT ITER 4134 NEW BEST:: SOT 28590 SOS 17377 HAS SOPS 17355 HAS SOUS 3330 HAS SOUPS 3317 WITH SCORE 3334.377
AT ITER 4142 NEW BEST:: SOT 28566 SOS 17309 HAS SOPS 17287 HAS SOUS 3321 HAS SOUPS 3308 WITH SCORE 3325.309
AT ITER 4153 NEW BEST:: SOT 28558 SOS 17301 HAS SOPS 17279 HAS SOUS 3321 HAS SOUPS 3308 WITH SCORE 3325.301
AT ITER 4155 NEW BEST:: SOT 28556 SOS 17271 HAS SOPS 17249 HAS SOUS 3319 HAS SOUPS 3306 WITH SCORE 3323.271
AT ITER 4200 NEW BEST:: SOT 28542 SOS 17257 HAS SOPS 17235 HAS SOUS 3305 HAS SOUPS 3292 WITH SCORE 3309.257
AT ITER 4292 NEW BEST:: SOT 28541 SOS 17256 HAS SOPS 17234 HAS SOUS 3303 HAS SOUPS 3290 WITH SCORE 3307.256
AT ITER 4307 NEW BEST:: SOT 28524 SOS 17239 HAS SOPS 17217 HAS SOUS 3303 HAS SOUPS 3290 WITH SCORE 3307.239
AT ITER 4356 NEW BEST:: SOT 28504 SOS 17199 HAS SOPS 17177 HAS SOUS 3285 HAS SOUPS 3272 WITH SCORE 3289.199
AT ITER 4375 NEW BEST:: SOT 28506 SOS 17197 HAS SOPS 17175 HAS SOUS 3285 HAS SOUPS 3272 WITH SCORE 3289.197
AT ITER 4384 NEW BEST:: SOT 28510 SOS 17190 HAS SOPS 17168 HAS SOUS 3278 HAS SOUPS 3265 WITH SCORE 3282.19
AT ITER 4471 NEW BEST:: SOT 28508 SOS 17186 HAS SOPS 17164 HAS SOUS 3275 HAS SOUPS 3262 WITH SCORE 3279.186
AT ITER 4516 NEW BEST:: SOT 28490 SOS 17228 HAS SOPS 17206 HAS SOUS 3272 HAS SOUPS 3259 WITH SCORE 3276.228
AT ITER 4523 NEW BEST:: SOT 28497 SOS 17235 HAS SOPS 17213 HAS SOUS 3262 HAS SOUPS 3249 WITH SCORE 3266.235
AT ITER 4527 NEW BEST:: SOT 28496 SOS 17234 HAS SOPS 17212 HAS SOUS 3261 HAS SOUPS 3248 WITH SCORE 3265.234
AT ITER 4622 NEW BEST:: SOT 28514 SOS 17252 HAS SOPS 17230 HAS SOUS 3253 HAS SOUPS 3240 WITH SCORE 3257.252
AT ITER 4635 NEW BEST:: SOT 28512 SOS 17250 HAS SOPS 17228 HAS SOUS 3251 HAS SOUPS 3238 WITH SCORE 3255.25
AT ITER 4710 NEW BEST:: SOT 28515 SOS 17256 HAS SOPS 17234 HAS SOUS 3248 HAS SOUPS 3235 WITH SCORE 3252.256
AT ITER 4768 NEW BEST:: SOT 28513 SOS 17254 HAS SOPS 17232 HAS SOUS 3244 HAS SOUPS 3231 WITH SCORE 3248.254
AT ITER 4845 NEW BEST:: SOT 28508 SOS 17249 HAS SOPS 17227 HAS SOUS 3239 HAS SOUPS 3226 WITH SCORE 3243.249
AT ITER 4847 NEW BEST:: SOT 28508 SOS 17249 HAS SOPS 17227 HAS SOUS 3237 HAS SOUPS 3224 WITH SCORE 3241.249
AT ITER 4882 NEW BEST:: SOT 28508 SOS 17249 HAS SOPS 17227 HAS SOUS 3230 HAS SOUPS 3217 WITH SCORE 3234.249
AT ITER 5013 NEW BEST:: SOT 28531 SOS 17295 HAS SOPS 17273 HAS SOUS 3223 HAS SOUPS 3210 WITH SCORE 3227.295
AT ITER 5072 NEW BEST:: SOT 28531 SOS 17287 HAS SOPS 17265 HAS SOUS 3223 HAS SOUPS 3210 WITH SCORE 3227.287
AT ITER 5181 NEW BEST:: SOT 28528 SOS 17284 HAS SOPS 17262 HAS SOUS 3222 HAS SOUPS 3209 WITH SCORE 3226.284
AT ITER 5208 NEW BEST:: SOT 28526 SOS 17282 HAS SOPS 17260 HAS SOUS 3220 HAS SOUPS 3207 WITH SCORE 3224.282
AT ITER 5219 NEW BEST:: SOT 28523 SOS 17281 HAS SOPS 17259 HAS SOUS 3220 HAS SOUPS 3207 WITH SCORE 3224.281
AT ITER 5280 NEW BEST:: SOT 28540 SOS 17298 HAS SOPS 17276 HAS SOUS 3217 HAS SOUPS 3204 WITH SCORE 3221.298
AT ITER 5353 NEW BEST:: SOT 28544 SOS 17302 HAS SOPS 17280 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3219.302
AT ITER 5389 NEW BEST:: SOT 28543 SOS 17300 HAS SOPS 17278 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3219.3
AT ITER 5395 NEW BEST:: SOT 28538 SOS 17225 HAS SOPS 17203 HAS SOUS 3210 HAS SOUPS 3197 WITH SCORE 3214.225
AT ITER 5399 NEW BEST:: SOT 28534 SOS 17217 HAS SOPS 17195 HAS SOUS 3210 HAS SOUPS 3197 WITH SCORE 3214.217
AT ITER 5410 NEW BEST:: SOT 28534 SOS 17217 HAS SOPS 17195 HAS SOUS 3208 HAS SOUPS 3195 WITH SCORE 3212.217
AT ITER 5438 NEW BEST:: SOT 28523 SOS 17191 HAS SOPS 17169 HAS SOUS 3194 HAS SOUPS 3181 WITH SCORE 3198.191
AT ITER 5557 NEW BEST:: SOT 28516 SOS 17184 HAS SOPS 17162 HAS SOUS 3180 HAS SOUPS 3167 WITH SCORE 3184.184
AT ITER 5655 NEW BEST:: SOT 28523 SOS 17191 HAS SOPS 17169 HAS SOUS 3179 HAS SOUPS 3166 WITH SCORE 3183.191
AT ITER 5725 NEW BEST:: SOT 28497 SOS 17165 HAS SOPS 17143 HAS SOUS 3161 HAS SOUPS 3148 WITH SCORE 3165.165
AT ITER 5875 NEW BEST:: SOT 28495 SOS 17161 HAS SOPS 17139 HAS SOUS 3161 HAS SOUPS 3148 WITH SCORE 3165.161
AT ITER 5955 NEW BEST:: SOT 28494 SOS 17016 HAS SOPS 16994 HAS SOUS 3158 HAS SOUPS 3145 WITH SCORE 3162.016
AT ITER 5983 NEW BEST:: SOT 28490 SOS 17005 HAS SOPS 16983 HAS SOUS 3158 HAS SOUPS 3145 WITH SCORE 3162.005
AT ITER 6043 NEW BEST:: SOT 28491 SOS 16934 HAS SOPS 16912 HAS SOUS 3158 HAS SOUPS 3145 WITH SCORE 3161.934
AT ITER 6123 NEW BEST:: SOT 28487 SOS 16915 HAS SOPS 16893 HAS SOUS 3158 HAS SOUPS 3145 WITH SCORE 3161.915
AT ITER 6211 NEW BEST:: SOT 28485 SOS 16913 HAS SOPS 16891 HAS SOUS 3154 HAS SOUPS 3141 WITH SCORE 3157.913
AT ITER 6220 NEW BEST:: SOT 28479 SOS 16901 HAS SOPS 16879 HAS SOUS 3129 HAS SOUPS 3116 WITH SCORE 3132.901
AT ITER 6251 NEW BEST:: SOT 28476 SOS 16900 HAS SOPS 16878 HAS SOUS 3124 HAS SOUPS 3111 WITH SCORE 3127.9
AT ITER 6258 NEW BEST:: SOT 28476 SOS 16892 HAS SOPS 16870 HAS SOUS 3123 HAS SOUPS 3110 WITH SCORE 3126.892
AT ITER 6390 NEW BEST:: SOT 28476 SOS 16892 HAS SOPS 16870 HAS SOUS 3120 HAS SOUPS 3107 WITH SCORE 3123.892
AT ITER 6398 NEW BEST:: SOT 28476 SOS 16892 HAS SOPS 16870 HAS SOUS 3118 HAS SOUPS 3105 WITH SCORE 3121.892
AT ITER 6406 NEW BEST:: SOT 28473 SOS 16883 HAS SOPS 16861 HAS SOUS 3115 HAS SOUPS 3102 WITH SCORE 3118.883
AT ITER 6416 NEW BEST:: SOT 28471 SOS 16881 HAS SOPS 16859 HAS SOUS 3111 HAS SOUPS 3098 WITH SCORE 3114.881
AT ITER 6687 NEW BEST:: SOT 28468 SOS 16878 HAS SOPS 16856 HAS SOUS 3108 HAS SOUPS 3095 WITH SCORE 3111.878
AT ITER 6692 NEW BEST:: SOT 28470 SOS 16880 HAS SOPS 16858 HAS SOUS 3103 HAS SOUPS 3090 WITH SCORE 3106.88
AT ITER 6716 NEW BEST:: SOT 28468 SOS 16878 HAS SOPS 16856 HAS SOUS 3101 HAS SOUPS 3088 WITH SCORE 3104.878
AT ITER 6788 NEW BEST:: SOT 28462 SOS 16872 HAS SOPS 16850 HAS SOUS 3100 HAS SOUPS 3087 WITH SCORE 3103.872
AT ITER 6801 NEW BEST:: SOT 28461 SOS 16871 HAS SOPS 16849 HAS SOUS 3096 HAS SOUPS 3083 WITH SCORE 3099.871
AT ITER 6842 NEW BEST:: SOT 28456 SOS 16858 HAS SOPS 16836 HAS SOUS 3087 HAS SOUPS 3074 WITH SCORE 3090.858
AT ITER 6864 NEW BEST:: SOT 28455 SOS 16857 HAS SOPS 16835 HAS SOUS 3086 HAS SOUPS 3073 WITH SCORE 3089.857
AT ITER 6907 NEW BEST:: SOT 28451 SOS 16853 HAS SOPS 16831 HAS SOUS 3085 HAS SOUPS 3072 WITH SCORE 3088.853
AT ITER 6928 NEW BEST:: SOT 28438 SOS 16840 HAS SOPS 16818 HAS SOUS 3082 HAS SOUPS 3069 WITH SCORE 3085.84
AT ITER 6963 NEW BEST:: SOT 28430 SOS 16802 HAS SOPS 16780 HAS SOUS 3074 HAS SOUPS 3061 WITH SCORE 3077.802
AT ITER 7042 NEW BEST:: SOT 28428 SOS 16818 HAS SOPS 16796 HAS SOUS 3073 HAS SOUPS 3060 WITH SCORE 3076.818
AT ITER 7066 NEW BEST:: SOT 28429 SOS 16820 HAS SOPS 16798 HAS SOUS 3072 HAS SOUPS 3059 WITH SCORE 3075.82
AT ITER 7076 NEW BEST:: SOT 28429 SOS 16885 HAS SOPS 16863 HAS SOUS 3071 HAS SOUPS 3058 WITH SCORE 3074.885
AT ITER 7152 NEW BEST:: SOT 28428 SOS 16884 HAS SOPS 16862 HAS SOUS 3071 HAS SOUPS 3058 WITH SCORE 3074.884
AT ITER 7168 NEW BEST:: SOT 28425 SOS 16881 HAS SOPS 16859 HAS SOUS 3068 HAS SOUPS 3055 WITH SCORE 3071.881
AT ITER 7195 NEW BEST:: SOT 28424 SOS 16880 HAS SOPS 16858 HAS SOUS 3064 HAS SOUPS 3051 WITH SCORE 3067.88
AT ITER 7234 NEW BEST:: SOT 28408 SOS 16856 HAS SOPS 16834 HAS SOUS 3064 HAS SOUPS 3051 WITH SCORE 3067.856
AT ITER 7262 NEW BEST:: SOT 28406 SOS 16850 HAS SOPS 16828 HAS SOUS 3061 HAS SOUPS 3048 WITH SCORE 3064.85
AT ITER 7263 NEW BEST:: SOT 28384 SOS 16817 HAS SOPS 16795 HAS SOUS 3061 HAS SOUPS 3048 WITH SCORE 3064.817
AT ITER 7445 NEW BEST:: SOT 28381 SOS 16814 HAS SOPS 16792 HAS SOUS 3058 HAS SOUPS 3045 WITH SCORE 3061.814
AT ITER 7541 NEW BEST:: SOT 28382 SOS 16768 HAS SOPS 16746 HAS SOUS 3058 HAS SOUPS 3045 WITH SCORE 3061.768
AT ITER 7555 NEW BEST:: SOT 28385 SOS 16776 HAS SOPS 16754 HAS SOUS 3055 HAS SOUPS 3042 WITH SCORE 3058.776
AT ITER 7560 NEW BEST:: SOT 28364 SOS 16735 HAS SOPS 16713 HAS SOUS 3054 HAS SOUPS 3041 WITH SCORE 3057.735
AT ITER 7603 NEW BEST:: SOT 28364 SOS 16735 HAS SOPS 16713 HAS SOUS 3052 HAS SOUPS 3039 WITH SCORE 3055.735
AT ITER 7615 NEW BEST:: SOT 28371 SOS 16742 HAS SOPS 16720 HAS SOUS 3050 HAS SOUPS 3037 WITH SCORE 3053.742
AT ITER 7622 NEW BEST:: SOT 28379 SOS 16750 HAS SOPS 16728 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3049.75
AT ITER 7719 NEW BEST:: SOT 28379 SOS 16748 HAS SOPS 16726 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3049.748
AT ITER 7841 NEW BEST:: SOT 28375 SOS 16738 HAS SOPS 16716 HAS SOUS 3038 HAS SOUPS 3025 WITH SCORE 3041.738
AT ITER 7860 NEW BEST:: SOT 28380 SOS 16728 HAS SOPS 16706 HAS SOUS 3038 HAS SOUPS 3025 WITH SCORE 3041.728
AT ITER 7929 NEW BEST:: SOT 28375 SOS 16723 HAS SOPS 16701 HAS SOUS 3033 HAS SOUPS 3020 WITH SCORE 3036.723
AT ITER 7957 NEW BEST:: SOT 28374 SOS 16722 HAS SOPS 16700 HAS SOUS 3032 HAS SOUPS 3019 WITH SCORE 3035.722
AT ITER 8016 NEW BEST:: SOT 28403 SOS 16780 HAS SOPS 16758 HAS SOUS 3029 HAS SOUPS 3016 WITH SCORE 3032.78
AT ITER 8069 NEW BEST:: SOT 28403 SOS 16735 HAS SOPS 16713 HAS SOUS 3026 HAS SOUPS 3013 WITH SCORE 3029.735
AT ITER 8173 NEW BEST:: SOT 28398 SOS 16730 HAS SOPS 16708 HAS SOUS 3021 HAS SOUPS 3008 WITH SCORE 3024.73
AT ITER 8194 NEW BEST:: SOT 28395 SOS 16727 HAS SOPS 16705 HAS SOUS 3020 HAS SOUPS 3007 WITH SCORE 3023.727
AT ITER 8230 NEW BEST:: SOT 28399 SOS 16729 HAS SOPS 16707 HAS SOUS 3018 HAS SOUPS 3005 WITH SCORE 3021.729
AT ITER 8296 NEW BEST:: SOT 28394 SOS 16724 HAS SOPS 16702 HAS SOUS 3018 HAS SOUPS 3005 WITH SCORE 3021.724
AT ITER 8301 NEW BEST:: SOT 28411 SOS 16648 HAS SOPS 16626 HAS SOUS 3015 HAS SOUPS 3002 WITH SCORE 3018.648
AT ITER 8303 NEW BEST:: SOT 28433 SOS 16670 HAS SOPS 16648 HAS SOUS 3011 HAS SOUPS 2998 WITH SCORE 3014.67
AT ITER 8369 NEW BEST:: SOT 28432 SOS 16669 HAS SOPS 16647 HAS SOUS 3010 HAS SOUPS 2997 WITH SCORE 3013.669
AT ITER 8439 NEW BEST:: SOT 28441 SOS 16678 HAS SOPS 16656 HAS SOUS 3009 HAS SOUPS 2996 WITH SCORE 3012.678
AT ITER 8519 NEW BEST:: SOT 28440 SOS 16676 HAS SOPS 16654 HAS SOUS 3007 HAS SOUPS 2994 WITH SCORE 3010.676
AT ITER 8540 NEW BEST:: SOT 28418 SOS 16632 HAS SOPS 16610 HAS SOUS 3007 HAS SOUPS 2994 WITH SCORE 3010.632
AT ITER 8623 NEW BEST:: SOT 28442 SOS 16708 HAS SOPS 16686 HAS SOUS 2999 HAS SOUPS 2986 WITH SCORE 3002.708
AT ITER 8643 NEW BEST:: SOT 28439 SOS 16702 HAS SOPS 16680 HAS SOUS 2996 HAS SOUPS 2983 WITH SCORE 2999.702
AT ITER 8669 NEW BEST:: SOT 28438 SOS 16701 HAS SOPS 16679 HAS SOUS 2994 HAS SOUPS 2981 WITH SCORE 2997.701
AT ITER 8766 NEW BEST:: SOT 28433 SOS 16711 HAS SOPS 16689 HAS SOUS 2986 HAS SOUPS 2973 WITH SCORE 2989.711
AT ITER 8781 NEW BEST:: SOT 28438 SOS 16695 HAS SOPS 16673 HAS SOUS 2986 HAS SOUPS 2973 WITH SCORE 2989.695
AT ITER 8822 NEW BEST:: SOT 28439 SOS 16696 HAS SOPS 16674 HAS SOUS 2982 HAS SOUPS 2969 WITH SCORE 2985.696
AT ITER 8865 NEW BEST:: SOT 28442 SOS 16702 HAS SOPS 16680 HAS SOUS 2979 HAS SOUPS 2966 WITH SCORE 2982.702
AT ITER 9028 NEW BEST:: SOT 28442 SOS 16702 HAS SOPS 16680 HAS SOUS 2978 HAS SOUPS 2965 WITH SCORE 2981.702
AT ITER 9107 NEW BEST:: SOT 28435 SOS 16695 HAS SOPS 16673 HAS SOUS 2972 HAS SOUPS 2959 WITH SCORE 2975.695
AT ITER 9192 NEW BEST:: SOT 28434 SOS 16694 HAS SOPS 16672 HAS SOUS 2972 HAS SOUPS 2959 WITH SCORE 2975.694
AT ITER 9209 NEW BEST:: SOT 28441 SOS 16701 HAS SOPS 16679 HAS SOUS 2967 HAS SOUPS 2954 WITH SCORE 2970.701
AT ITER 9231 NEW BEST:: SOT 28439 SOS 16699 HAS SOPS 16677 HAS SOUS 2965 HAS SOUPS 2952 WITH SCORE 2968.699
AT ITER 9300 NEW BEST:: SOT 28438 SOS 16698 HAS SOPS 16676 HAS SOUS 2962 HAS SOUPS 2949 WITH SCORE 2965.698
AT ITER 9472 NEW BEST:: SOT 28415 SOS 16675 HAS SOPS 16653 HAS SOUS 2961 HAS SOUPS 2948 WITH SCORE 2964.675
AT ITER 9499 NEW BEST:: SOT 28412 SOS 16672 HAS SOPS 16650 HAS SOUS 2958 HAS SOUPS 2945 WITH SCORE 2961.672
AT ITER 9572 NEW BEST:: SOT 28410 SOS 16670 HAS SOPS 16648 HAS SOUS 2957 HAS SOUPS 2944 WITH SCORE 2960.67
AT ITER 9576 NEW BEST:: SOT 28410 SOS 16670 HAS SOPS 16648 HAS SOUS 2956 HAS SOUPS 2943 WITH SCORE 2959.67
AT ITER 9886 NEW BEST:: SOT 28409 SOS 16668 HAS SOPS 16646 HAS SOUS 2953 HAS SOUPS 2940 WITH SCORE 2956.668
AT ITER 9891 NEW BEST:: SOT 28408 SOS 16667 HAS SOPS 16645 HAS SOUS 2953 HAS SOUPS 2940 WITH SCORE 2956.667
AT ITER 9963 NEW BEST:: SOT 28408 SOS 16664 HAS SOPS 16642 HAS SOUS 2950 HAS SOUPS 2937 WITH SCORE 2953.664
AT ITER 9965 NEW BEST:: SOT 28407 SOS 16649 HAS SOPS 16627 HAS SOUS 2949 HAS SOUPS 2936 WITH SCORE 2952.649
STATE_SPACE STATES 2742958039 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 45684708632 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678496794243

--------------------
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="HealthRecord-PT-14"
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 HealthRecord-PT-14, 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 r195-smll-167840342300344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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