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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 18:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 17:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 26 18:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 26 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 31K Feb 26 18:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 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 67K 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 1678493173502

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-07
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 07
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: 155 places, 320 transitions, 839 arcs.
AT ITER 0 NEW BEST:: SOT 31892 SOS 16943 HAS SOPS 16921 HAS SOUS 10108 HAS SOUPS 10095 WITH SCORE 10111.943
AT ITER 3 NEW BEST:: SOT 31899 SOS 16970 HAS SOPS 16948 HAS SOUS 10107 HAS SOUPS 10094 WITH SCORE 10110.97
AT ITER 8 NEW BEST:: SOT 31899 SOS 16969 HAS SOPS 16947 HAS SOUS 10107 HAS SOUPS 10094 WITH SCORE 10110.969
AT ITER 9 NEW BEST:: SOT 30835 SOS 16479 HAS SOPS 16457 HAS SOUS 10007 HAS SOUPS 9994 WITH SCORE 10010.479
AT ITER 14 NEW BEST:: SOT 30764 SOS 16285 HAS SOPS 16263 HAS SOUS 9953 HAS SOUPS 9940 WITH SCORE 9956.285
AT ITER 15 NEW BEST:: SOT 30764 SOS 16285 HAS SOPS 16263 HAS SOUS 9917 HAS SOUPS 9904 WITH SCORE 9920.285
AT ITER 16 NEW BEST:: SOT 30795 SOS 16269 HAS SOPS 16247 HAS SOUS 9894 HAS SOUPS 9881 WITH SCORE 9897.269
AT ITER 20 NEW BEST:: SOT 30739 SOS 16446 HAS SOPS 16424 HAS SOUS 9887 HAS SOUPS 9874 WITH SCORE 9890.446
AT ITER 21 NEW BEST:: SOT 30677 SOS 16322 HAS SOPS 16300 HAS SOUS 9849 HAS SOUPS 9836 WITH SCORE 9852.322
AT ITER 23 NEW BEST:: SOT 30703 SOS 16374 HAS SOPS 16352 HAS SOUS 9823 HAS SOUPS 9810 WITH SCORE 9826.374
AT ITER 24 NEW BEST:: SOT 30675 SOS 16280 HAS SOPS 16258 HAS SOUS 9769 HAS SOUPS 9756 WITH SCORE 9772.28
AT ITER 25 NEW BEST:: SOT 28972 SOS 16267 HAS SOPS 16245 HAS SOUS 8848 HAS SOUPS 8835 WITH SCORE 8851.267
AT ITER 26 NEW BEST:: SOT 27554 SOS 15565 HAS SOPS 15543 HAS SOUS 7430 HAS SOUPS 7417 WITH SCORE 7432.565
AT ITER 27 NEW BEST:: SOT 26523 SOS 15489 HAS SOPS 15467 HAS SOUS 6288 HAS SOUPS 6275 WITH SCORE 6290.489
AT ITER 29 NEW BEST:: SOT 26588 SOS 15554 HAS SOPS 15532 HAS SOUS 6262 HAS SOUPS 6249 WITH SCORE 6264.554
AT ITER 31 NEW BEST:: SOT 26588 SOS 15554 HAS SOPS 15532 HAS SOUS 6261 HAS SOUPS 6248 WITH SCORE 6263.554
AT ITER 35 NEW BEST:: SOT 26564 SOS 15644 HAS SOPS 15622 HAS SOUS 6231 HAS SOUPS 6218 WITH SCORE 6233.644
AT ITER 43 NEW BEST:: SOT 26549 SOS 15629 HAS SOPS 15607 HAS SOUS 6215 HAS SOUPS 6202 WITH SCORE 6217.629
AT ITER 51 NEW BEST:: SOT 26549 SOS 15629 HAS SOPS 15607 HAS SOUS 6214 HAS SOUPS 6201 WITH SCORE 6216.629
AT ITER 53 NEW BEST:: SOT 26551 SOS 15617 HAS SOPS 15595 HAS SOUS 6202 HAS SOUPS 6189 WITH SCORE 6204.617
AT ITER 54 NEW BEST:: SOT 26494 SOS 15522 HAS SOPS 15500 HAS SOUS 6145 HAS SOUPS 6132 WITH SCORE 6147.522
AT ITER 62 NEW BEST:: SOT 26504 SOS 15594 HAS SOPS 15572 HAS SOUS 6125 HAS SOUPS 6112 WITH SCORE 6127.594
AT ITER 73 NEW BEST:: SOT 26546 SOS 15636 HAS SOPS 15614 HAS SOUS 6124 HAS SOUPS 6111 WITH SCORE 6126.636
AT ITER 77 NEW BEST:: SOT 26516 SOS 15606 HAS SOPS 15584 HAS SOUS 6112 HAS SOUPS 6099 WITH SCORE 6114.606
AT ITER 81 NEW BEST:: SOT 26462 SOS 15471 HAS SOPS 15449 HAS SOUS 6041 HAS SOUPS 6028 WITH SCORE 6043.471
AT ITER 82 NEW BEST:: SOT 26462 SOS 15471 HAS SOPS 15449 HAS SOUS 6029 HAS SOUPS 6016 WITH SCORE 6031.471
AT ITER 83 NEW BEST:: SOT 26480 SOS 15489 HAS SOPS 15467 HAS SOUS 6020 HAS SOUPS 6007 WITH SCORE 6022.489
AT ITER 86 NEW BEST:: SOT 26453 SOS 15462 HAS SOPS 15440 HAS SOUS 5999 HAS SOUPS 5986 WITH SCORE 6001.462
AT ITER 88 NEW BEST:: SOT 26433 SOS 15442 HAS SOPS 15420 HAS SOUS 5979 HAS SOUPS 5966 WITH SCORE 5981.442
AT ITER 90 NEW BEST:: SOT 26441 SOS 15452 HAS SOPS 15430 HAS SOUS 5974 HAS SOUPS 5961 WITH SCORE 5976.452
AT ITER 91 NEW BEST:: SOT 26384 SOS 15390 HAS SOPS 15368 HAS SOUS 5817 HAS SOUPS 5804 WITH SCORE 5819.39
AT ITER 92 NEW BEST:: SOT 26380 SOS 15386 HAS SOPS 15364 HAS SOUS 5813 HAS SOUPS 5800 WITH SCORE 5815.386
AT ITER 98 NEW BEST:: SOT 26343 SOS 15295 HAS SOPS 15273 HAS SOUS 5796 HAS SOUPS 5783 WITH SCORE 5798.295
AT ITER 100 NEW BEST:: SOT 26349 SOS 15293 HAS SOPS 15271 HAS SOUS 5774 HAS SOUPS 5761 WITH SCORE 5776.293
AT ITER 101 NEW BEST:: SOT 26345 SOS 15285 HAS SOPS 15263 HAS SOUS 5774 HAS SOUPS 5761 WITH SCORE 5776.285
AT ITER 106 NEW BEST:: SOT 26242 SOS 15130 HAS SOPS 15108 HAS SOUS 5731 HAS SOUPS 5718 WITH SCORE 5733.13
AT ITER 108 NEW BEST:: SOT 26239 SOS 15094 HAS SOPS 15072 HAS SOUS 5699 HAS SOUPS 5686 WITH SCORE 5701.094
AT ITER 112 NEW BEST:: SOT 26280 SOS 15123 HAS SOPS 15101 HAS SOUS 5682 HAS SOUPS 5669 WITH SCORE 5684.123
AT ITER 118 NEW BEST:: SOT 26298 SOS 15159 HAS SOPS 15137 HAS SOUS 5664 HAS SOUPS 5651 WITH SCORE 5666.159
AT ITER 121 NEW BEST:: SOT 26184 SOS 15359 HAS SOPS 15337 HAS SOUS 5640 HAS SOUPS 5627 WITH SCORE 5642.359
AT ITER 123 NEW BEST:: SOT 26189 SOS 15367 HAS SOPS 15345 HAS SOUS 5589 HAS SOUPS 5576 WITH SCORE 5591.367
AT ITER 127 NEW BEST:: SOT 26163 SOS 15366 HAS SOPS 15344 HAS SOUS 5575 HAS SOUPS 5562 WITH SCORE 5577.366
AT ITER 136 NEW BEST:: SOT 26152 SOS 15333 HAS SOPS 15311 HAS SOUS 5553 HAS SOUPS 5540 WITH SCORE 5555.333
AT ITER 139 NEW BEST:: SOT 26085 SOS 15136 HAS SOPS 15114 HAS SOUS 5484 HAS SOUPS 5471 WITH SCORE 5486.136
AT ITER 142 NEW BEST:: SOT 26071 SOS 15122 HAS SOPS 15100 HAS SOUS 5456 HAS SOUPS 5443 WITH SCORE 5458.122
AT ITER 144 NEW BEST:: SOT 26060 SOS 15111 HAS SOPS 15089 HAS SOUS 5445 HAS SOUPS 5432 WITH SCORE 5447.111
AT ITER 149 NEW BEST:: SOT 26017 SOS 15068 HAS SOPS 15046 HAS SOUS 5398 HAS SOUPS 5385 WITH SCORE 5400.068
AT ITER 166 NEW BEST:: SOT 26011 SOS 15062 HAS SOPS 15040 HAS SOUS 5392 HAS SOUPS 5379 WITH SCORE 5394.062
AT ITER 176 NEW BEST:: SOT 26024 SOS 15075 HAS SOPS 15053 HAS SOUS 5367 HAS SOUPS 5354 WITH SCORE 5369.075
AT ITER 184 NEW BEST:: SOT 26011 SOS 15040 HAS SOPS 15018 HAS SOUS 5352 HAS SOUPS 5339 WITH SCORE 5354.04
AT ITER 190 NEW BEST:: SOT 25986 SOS 14976 HAS SOPS 14954 HAS SOUS 5321 HAS SOUPS 5308 WITH SCORE 5322.976
AT ITER 198 NEW BEST:: SOT 25983 SOS 14973 HAS SOPS 14951 HAS SOUS 5316 HAS SOUPS 5303 WITH SCORE 5317.973
AT ITER 200 NEW BEST:: SOT 25927 SOS 14799 HAS SOPS 14777 HAS SOUS 5250 HAS SOUPS 5237 WITH SCORE 5251.799
AT ITER 209 NEW BEST:: SOT 25927 SOS 14799 HAS SOPS 14777 HAS SOUS 5245 HAS SOUPS 5232 WITH SCORE 5246.799
AT ITER 226 NEW BEST:: SOT 25961 SOS 14785 HAS SOPS 14763 HAS SOUS 5211 HAS SOUPS 5198 WITH SCORE 5212.785
AT ITER 227 NEW BEST:: SOT 25969 SOS 14796 HAS SOPS 14774 HAS SOUS 5206 HAS SOUPS 5193 WITH SCORE 5207.796
AT ITER 228 NEW BEST:: SOT 25961 SOS 14793 HAS SOPS 14771 HAS SOUS 5198 HAS SOUPS 5185 WITH SCORE 5199.793
AT ITER 240 NEW BEST:: SOT 25890 SOS 14738 HAS SOPS 14716 HAS SOUS 5141 HAS SOUPS 5128 WITH SCORE 5142.738
AT ITER 249 NEW BEST:: SOT 25893 SOS 14736 HAS SOPS 14714 HAS SOUS 5129 HAS SOUPS 5116 WITH SCORE 5130.736
AT ITER 252 NEW BEST:: SOT 25891 SOS 14734 HAS SOPS 14712 HAS SOUS 5127 HAS SOUPS 5114 WITH SCORE 5128.734
AT ITER 257 NEW BEST:: SOT 25859 SOS 14670 HAS SOPS 14648 HAS SOUS 5095 HAS SOUPS 5082 WITH SCORE 5096.67
AT ITER 262 NEW BEST:: SOT 25859 SOS 14670 HAS SOPS 14648 HAS SOUS 5092 HAS SOUPS 5079 WITH SCORE 5093.67
AT ITER 267 NEW BEST:: SOT 25842 SOS 14653 HAS SOPS 14631 HAS SOUS 5075 HAS SOUPS 5062 WITH SCORE 5076.653
AT ITER 268 NEW BEST:: SOT 25839 SOS 14518 HAS SOPS 14496 HAS SOUS 5062 HAS SOUPS 5049 WITH SCORE 5063.518
AT ITER 276 NEW BEST:: SOT 25839 SOS 14515 HAS SOPS 14493 HAS SOUS 5062 HAS SOUPS 5049 WITH SCORE 5063.515
AT ITER 284 NEW BEST:: SOT 25829 SOS 14485 HAS SOPS 14463 HAS SOUS 5042 HAS SOUPS 5029 WITH SCORE 5043.485
AT ITER 291 NEW BEST:: SOT 25761 SOS 14417 HAS SOPS 14395 HAS SOUS 5010 HAS SOUPS 4997 WITH SCORE 5011.417
AT ITER 299 NEW BEST:: SOT 25759 SOS 14411 HAS SOPS 14389 HAS SOUS 5006 HAS SOUPS 4993 WITH SCORE 5007.411
AT ITER 305 NEW BEST:: SOT 25752 SOS 14404 HAS SOPS 14382 HAS SOUS 4999 HAS SOUPS 4986 WITH SCORE 5000.404
AT ITER 306 NEW BEST:: SOT 25718 SOS 14370 HAS SOPS 14348 HAS SOUS 4925 HAS SOUPS 4912 WITH SCORE 4926.37
AT ITER 308 NEW BEST:: SOT 25709 SOS 14374 HAS SOPS 14352 HAS SOUS 4923 HAS SOUPS 4910 WITH SCORE 4924.374
AT ITER 328 NEW BEST:: SOT 25684 SOS 14327 HAS SOPS 14305 HAS SOUS 4920 HAS SOUPS 4907 WITH SCORE 4921.327
AT ITER 331 NEW BEST:: SOT 25688 SOS 14345 HAS SOPS 14323 HAS SOUS 4915 HAS SOUPS 4902 WITH SCORE 4916.345
AT ITER 343 NEW BEST:: SOT 25500 SOS 14049 HAS SOPS 14027 HAS SOUS 4869 HAS SOUPS 4856 WITH SCORE 4870.049
AT ITER 379 NEW BEST:: SOT 25505 SOS 14064 HAS SOPS 14042 HAS SOUS 4859 HAS SOUPS 4846 WITH SCORE 4860.064
AT ITER 384 NEW BEST:: SOT 25505 SOS 14064 HAS SOPS 14042 HAS SOUS 4858 HAS SOUPS 4845 WITH SCORE 4859.064
AT ITER 389 NEW BEST:: SOT 25502 SOS 14058 HAS SOPS 14036 HAS SOUS 4849 HAS SOUPS 4836 WITH SCORE 4850.058
AT ITER 393 NEW BEST:: SOT 25500 SOS 14054 HAS SOPS 14032 HAS SOUS 4845 HAS SOUPS 4832 WITH SCORE 4846.054
AT ITER 401 NEW BEST:: SOT 25495 SOS 14049 HAS SOPS 14027 HAS SOUS 4840 HAS SOUPS 4827 WITH SCORE 4841.049
AT ITER 402 NEW BEST:: SOT 25481 SOS 14021 HAS SOPS 13999 HAS SOUS 4833 HAS SOUPS 4820 WITH SCORE 4834.021
AT ITER 403 NEW BEST:: SOT 25484 SOS 14001 HAS SOPS 13979 HAS SOUS 4814 HAS SOUPS 4801 WITH SCORE 4815.001
AT ITER 407 NEW BEST:: SOT 25485 SOS 13976 HAS SOPS 13954 HAS SOUS 4792 HAS SOUPS 4779 WITH SCORE 4792.976
AT ITER 422 NEW BEST:: SOT 25500 SOS 14006 HAS SOPS 13984 HAS SOUS 4786 HAS SOUPS 4773 WITH SCORE 4787.006
AT ITER 424 NEW BEST:: SOT 25475 SOS 13981 HAS SOPS 13959 HAS SOUS 4758 HAS SOUPS 4745 WITH SCORE 4758.981
AT ITER 439 NEW BEST:: SOT 25517 SOS 14023 HAS SOPS 14001 HAS SOUS 4740 HAS SOUPS 4727 WITH SCORE 4741.023
AT ITER 445 NEW BEST:: SOT 25508 SOS 14014 HAS SOPS 13992 HAS SOUS 4722 HAS SOUPS 4709 WITH SCORE 4723.014
AT ITER 452 NEW BEST:: SOT 25480 SOS 13965 HAS SOPS 13943 HAS SOUS 4653 HAS SOUPS 4640 WITH SCORE 4653.965
AT ITER 466 NEW BEST:: SOT 25471 SOS 13956 HAS SOPS 13934 HAS SOUS 4644 HAS SOUPS 4631 WITH SCORE 4644.956
AT ITER 467 NEW BEST:: SOT 25485 SOS 13966 HAS SOPS 13944 HAS SOUS 4633 HAS SOUPS 4620 WITH SCORE 4633.966
AT ITER 494 NEW BEST:: SOT 25467 SOS 13936 HAS SOPS 13914 HAS SOUS 4627 HAS SOUPS 4614 WITH SCORE 4627.936
AT ITER 503 NEW BEST:: SOT 25500 SOS 14002 HAS SOPS 13980 HAS SOUS 4624 HAS SOUPS 4611 WITH SCORE 4625.002
AT ITER 508 NEW BEST:: SOT 25462 SOS 13926 HAS SOPS 13904 HAS SOUS 4624 HAS SOUPS 4611 WITH SCORE 4624.926
AT ITER 519 NEW BEST:: SOT 25462 SOS 13926 HAS SOPS 13904 HAS SOUS 4623 HAS SOUPS 4610 WITH SCORE 4623.926
AT ITER 524 NEW BEST:: SOT 25478 SOS 13941 HAS SOPS 13919 HAS SOUS 4613 HAS SOUPS 4600 WITH SCORE 4613.941
AT ITER 535 NEW BEST:: SOT 25458 SOS 13921 HAS SOPS 13899 HAS SOUS 4566 HAS SOUPS 4553 WITH SCORE 4566.921
AT ITER 542 NEW BEST:: SOT 25459 SOS 13922 HAS SOPS 13900 HAS SOUS 4535 HAS SOUPS 4522 WITH SCORE 4535.922
AT ITER 549 NEW BEST:: SOT 25427 SOS 13878 HAS SOPS 13856 HAS SOUS 4529 HAS SOUPS 4516 WITH SCORE 4529.878
AT ITER 556 NEW BEST:: SOT 25419 SOS 13870 HAS SOPS 13848 HAS SOUS 4521 HAS SOUPS 4508 WITH SCORE 4521.87
AT ITER 576 NEW BEST:: SOT 25417 SOS 13806 HAS SOPS 13784 HAS SOUS 4488 HAS SOUPS 4475 WITH SCORE 4488.806
AT ITER 588 NEW BEST:: SOT 25407 SOS 13796 HAS SOPS 13774 HAS SOUS 4460 HAS SOUPS 4447 WITH SCORE 4460.796
AT ITER 589 NEW BEST:: SOT 25374 SOS 13705 HAS SOPS 13683 HAS SOUS 4422 HAS SOUPS 4409 WITH SCORE 4422.705
AT ITER 590 NEW BEST:: SOT 25290 SOS 13559 HAS SOPS 13537 HAS SOUS 4350 HAS SOUPS 4337 WITH SCORE 4350.559
AT ITER 597 NEW BEST:: SOT 25280 SOS 13529 HAS SOPS 13507 HAS SOUS 4350 HAS SOUPS 4337 WITH SCORE 4350.529
AT ITER 598 NEW BEST:: SOT 25180 SOS 13367 HAS SOPS 13345 HAS SOUS 4326 HAS SOUPS 4313 WITH SCORE 4326.367
AT ITER 599 NEW BEST:: SOT 25141 SOS 13328 HAS SOPS 13306 HAS SOUS 4303 HAS SOUPS 4290 WITH SCORE 4303.328
AT ITER 610 NEW BEST:: SOT 25176 SOS 13262 HAS SOPS 13240 HAS SOUS 4302 HAS SOUPS 4289 WITH SCORE 4302.262
AT ITER 612 NEW BEST:: SOT 25153 SOS 13239 HAS SOPS 13217 HAS SOUS 4300 HAS SOUPS 4287 WITH SCORE 4300.239
AT ITER 638 NEW BEST:: SOT 25147 SOS 13233 HAS SOPS 13211 HAS SOUS 4297 HAS SOUPS 4284 WITH SCORE 4297.233
AT ITER 640 NEW BEST:: SOT 25132 SOS 13203 HAS SOPS 13181 HAS SOUS 4292 HAS SOUPS 4279 WITH SCORE 4292.203
AT ITER 646 NEW BEST:: SOT 25120 SOS 13179 HAS SOPS 13157 HAS SOUS 4268 HAS SOUPS 4255 WITH SCORE 4268.179
AT ITER 650 NEW BEST:: SOT 25124 SOS 13183 HAS SOPS 13161 HAS SOUS 4260 HAS SOUPS 4247 WITH SCORE 4260.183
AT ITER 662 NEW BEST:: SOT 25108 SOS 13167 HAS SOPS 13145 HAS SOUS 4222 HAS SOUPS 4209 WITH SCORE 4222.167
AT ITER 663 NEW BEST:: SOT 24973 SOS 12943 HAS SOPS 12921 HAS SOUS 4219 HAS SOUPS 4206 WITH SCORE 4218.943
AT ITER 665 NEW BEST:: SOT 24977 SOS 12933 HAS SOPS 12911 HAS SOUS 4208 HAS SOUPS 4195 WITH SCORE 4207.933
AT ITER 668 NEW BEST:: SOT 24937 SOS 12893 HAS SOPS 12871 HAS SOUS 4195 HAS SOUPS 4182 WITH SCORE 4194.893
AT ITER 677 NEW BEST:: SOT 24918 SOS 12874 HAS SOPS 12852 HAS SOUS 4157 HAS SOUPS 4144 WITH SCORE 4156.874
AT ITER 692 NEW BEST:: SOT 24913 SOS 12861 HAS SOPS 12839 HAS SOUS 4155 HAS SOUPS 4142 WITH SCORE 4154.861
AT ITER 695 NEW BEST:: SOT 24899 SOS 12840 HAS SOPS 12818 HAS SOUS 4148 HAS SOUPS 4135 WITH SCORE 4147.84
AT ITER 700 NEW BEST:: SOT 24884 SOS 12810 HAS SOPS 12788 HAS SOUS 4138 HAS SOUPS 4125 WITH SCORE 4137.81
AT ITER 705 NEW BEST:: SOT 24879 SOS 12805 HAS SOPS 12783 HAS SOUS 4116 HAS SOUPS 4103 WITH SCORE 4115.805
AT ITER 712 NEW BEST:: SOT 24879 SOS 12805 HAS SOPS 12783 HAS SOUS 4111 HAS SOUPS 4098 WITH SCORE 4110.805
AT ITER 728 NEW BEST:: SOT 24829 SOS 12680 HAS SOPS 12658 HAS SOUS 4076 HAS SOUPS 4063 WITH SCORE 4075.68
AT ITER 747 NEW BEST:: SOT 24827 SOS 12678 HAS SOPS 12656 HAS SOUS 4070 HAS SOUPS 4057 WITH SCORE 4069.678
AT ITER 753 NEW BEST:: SOT 24823 SOS 12674 HAS SOPS 12652 HAS SOUS 4062 HAS SOUPS 4049 WITH SCORE 4061.674
AT ITER 768 NEW BEST:: SOT 24804 SOS 12655 HAS SOPS 12633 HAS SOUS 4043 HAS SOUPS 4030 WITH SCORE 4042.655
AT ITER 773 NEW BEST:: SOT 24803 SOS 12648 HAS SOPS 12626 HAS SOUS 4036 HAS SOUPS 4023 WITH SCORE 4035.648
AT ITER 785 NEW BEST:: SOT 24816 SOS 12661 HAS SOPS 12639 HAS SOUS 4029 HAS SOUPS 4016 WITH SCORE 4028.661
AT ITER 802 NEW BEST:: SOT 24784 SOS 12609 HAS SOPS 12587 HAS SOUS 4001 HAS SOUPS 3988 WITH SCORE 4000.609
AT ITER 807 NEW BEST:: SOT 24777 SOS 12601 HAS SOPS 12579 HAS SOUS 3999 HAS SOUPS 3986 WITH SCORE 3998.601
AT ITER 812 NEW BEST:: SOT 24763 SOS 12580 HAS SOPS 12558 HAS SOUS 3992 HAS SOUPS 3979 WITH SCORE 3991.58
AT ITER 815 NEW BEST:: SOT 24915 SOS 12784 HAS SOPS 12762 HAS SOUS 3982 HAS SOUPS 3969 WITH SCORE 3981.784
AT ITER 816 NEW BEST:: SOT 24911 SOS 12778 HAS SOPS 12756 HAS SOUS 3980 HAS SOUPS 3967 WITH SCORE 3979.778
AT ITER 819 NEW BEST:: SOT 24923 SOS 12779 HAS SOPS 12757 HAS SOUS 3969 HAS SOUPS 3956 WITH SCORE 3968.779
AT ITER 823 NEW BEST:: SOT 24929 SOS 12784 HAS SOPS 12762 HAS SOUS 3968 HAS SOUPS 3955 WITH SCORE 3967.784
AT ITER 837 NEW BEST:: SOT 24928 SOS 12783 HAS SOPS 12761 HAS SOUS 3967 HAS SOUPS 3954 WITH SCORE 3966.783
AT ITER 848 NEW BEST:: SOT 24930 SOS 12784 HAS SOPS 12762 HAS SOUS 3966 HAS SOUPS 3953 WITH SCORE 3965.784
AT ITER 863 NEW BEST:: SOT 24933 SOS 12788 HAS SOPS 12766 HAS SOUS 3959 HAS SOUPS 3946 WITH SCORE 3958.788
AT ITER 892 NEW BEST:: SOT 24925 SOS 12768 HAS SOPS 12746 HAS SOUS 3954 HAS SOUPS 3941 WITH SCORE 3953.768
AT ITER 893 NEW BEST:: SOT 24922 SOS 12761 HAS SOPS 12739 HAS SOUS 3953 HAS SOUPS 3940 WITH SCORE 3952.761
AT ITER 894 NEW BEST:: SOT 24932 SOS 12771 HAS SOPS 12749 HAS SOUS 3948 HAS SOUPS 3935 WITH SCORE 3947.771
AT ITER 897 NEW BEST:: SOT 24930 SOS 12754 HAS SOPS 12732 HAS SOUS 3946 HAS SOUPS 3933 WITH SCORE 3945.754
AT ITER 904 NEW BEST:: SOT 24970 SOS 12814 HAS SOPS 12792 HAS SOUS 3942 HAS SOUPS 3929 WITH SCORE 3941.814
AT ITER 906 NEW BEST:: SOT 24962 SOS 12806 HAS SOPS 12784 HAS SOUS 3938 HAS SOUPS 3925 WITH SCORE 3937.806
AT ITER 915 NEW BEST:: SOT 24952 SOS 12796 HAS SOPS 12774 HAS SOUS 3922 HAS SOUPS 3909 WITH SCORE 3921.796
AT ITER 930 NEW BEST:: SOT 24938 SOS 12775 HAS SOPS 12753 HAS SOUS 3898 HAS SOUPS 3885 WITH SCORE 3897.775
AT ITER 938 NEW BEST:: SOT 24943 SOS 12785 HAS SOPS 12763 HAS SOUS 3893 HAS SOUPS 3880 WITH SCORE 3892.785
AT ITER 944 NEW BEST:: SOT 24943 SOS 12785 HAS SOPS 12763 HAS SOUS 3881 HAS SOUPS 3868 WITH SCORE 3880.785
AT ITER 989 NEW BEST:: SOT 24901 SOS 12735 HAS SOPS 12713 HAS SOUS 3873 HAS SOUPS 3860 WITH SCORE 3872.735
AT ITER 993 NEW BEST:: SOT 24897 SOS 12731 HAS SOPS 12709 HAS SOUS 3857 HAS SOUPS 3844 WITH SCORE 3856.731
AT ITER 1014 NEW BEST:: SOT 24852 SOS 12662 HAS SOPS 12640 HAS SOUS 3827 HAS SOUPS 3814 WITH SCORE 3826.662
AT ITER 1015 NEW BEST:: SOT 24832 SOS 12626 HAS SOPS 12604 HAS SOUS 3823 HAS SOUPS 3810 WITH SCORE 3822.626
AT ITER 1045 NEW BEST:: SOT 24831 SOS 12618 HAS SOPS 12596 HAS SOUS 3822 HAS SOUPS 3809 WITH SCORE 3821.618
AT ITER 1046 NEW BEST:: SOT 24826 SOS 12608 HAS SOPS 12586 HAS SOUS 3821 HAS SOUPS 3808 WITH SCORE 3820.608
AT ITER 1053 NEW BEST:: SOT 24822 SOS 12600 HAS SOPS 12578 HAS SOUS 3813 HAS SOUPS 3800 WITH SCORE 3812.6
AT ITER 1064 NEW BEST:: SOT 24821 SOS 12597 HAS SOPS 12575 HAS SOUS 3810 HAS SOUPS 3797 WITH SCORE 3809.597
AT ITER 1080 NEW BEST:: SOT 24823 SOS 12608 HAS SOPS 12586 HAS SOUS 3804 HAS SOUPS 3791 WITH SCORE 3803.608
AT ITER 1123 NEW BEST:: SOT 24819 SOS 12719 HAS SOPS 12697 HAS SOUS 3789 HAS SOUPS 3776 WITH SCORE 3788.719
AT ITER 1125 NEW BEST:: SOT 24785 SOS 12633 HAS SOPS 12611 HAS SOUS 3765 HAS SOUPS 3752 WITH SCORE 3764.633
AT ITER 1141 NEW BEST:: SOT 24758 SOS 12579 HAS SOPS 12557 HAS SOUS 3738 HAS SOUPS 3725 WITH SCORE 3737.579
AT ITER 1150 NEW BEST:: SOT 24749 SOS 12568 HAS SOPS 12546 HAS SOUS 3736 HAS SOUPS 3723 WITH SCORE 3735.568
AT ITER 1170 NEW BEST:: SOT 24736 SOS 12727 HAS SOPS 12705 HAS SOUS 3735 HAS SOUPS 3722 WITH SCORE 3734.727
AT ITER 1183 NEW BEST:: SOT 24728 SOS 12719 HAS SOPS 12697 HAS SOUS 3731 HAS SOUPS 3718 WITH SCORE 3730.719
AT ITER 1221 NEW BEST:: SOT 24704 SOS 12695 HAS SOPS 12673 HAS SOUS 3731 HAS SOUPS 3718 WITH SCORE 3730.695
AT ITER 1238 NEW BEST:: SOT 24701 SOS 12692 HAS SOPS 12670 HAS SOUS 3728 HAS SOUPS 3715 WITH SCORE 3727.692
AT ITER 1246 NEW BEST:: SOT 24695 SOS 12686 HAS SOPS 12664 HAS SOUS 3728 HAS SOUPS 3715 WITH SCORE 3727.686
AT ITER 1286 NEW BEST:: SOT 24698 SOS 12691 HAS SOPS 12669 HAS SOUS 3723 HAS SOUPS 3710 WITH SCORE 3722.691
AT ITER 1293 NEW BEST:: SOT 24697 SOS 12690 HAS SOPS 12668 HAS SOUS 3721 HAS SOUPS 3708 WITH SCORE 3720.69
AT ITER 1294 NEW BEST:: SOT 24856 SOS 12927 HAS SOPS 12905 HAS SOUS 3718 HAS SOUPS 3705 WITH SCORE 3717.927
AT ITER 1296 NEW BEST:: SOT 24842 SOS 12899 HAS SOPS 12877 HAS SOUS 3716 HAS SOUPS 3703 WITH SCORE 3715.899
AT ITER 1299 NEW BEST:: SOT 24840 SOS 12895 HAS SOPS 12873 HAS SOUS 3714 HAS SOUPS 3701 WITH SCORE 3713.895
AT ITER 1312 NEW BEST:: SOT 24842 SOS 12897 HAS SOPS 12875 HAS SOUS 3711 HAS SOUPS 3698 WITH SCORE 3710.897
AT ITER 1343 NEW BEST:: SOT 24847 SOS 12902 HAS SOPS 12880 HAS SOUS 3704 HAS SOUPS 3691 WITH SCORE 3703.902
AT ITER 1350 NEW BEST:: SOT 24806 SOS 12839 HAS SOPS 12817 HAS SOUS 3663 HAS SOUPS 3650 WITH SCORE 3662.839
AT ITER 1361 NEW BEST:: SOT 24803 SOS 12830 HAS SOPS 12808 HAS SOUS 3663 HAS SOUPS 3650 WITH SCORE 3662.83
AT ITER 1383 NEW BEST:: SOT 24803 SOS 12830 HAS SOPS 12808 HAS SOUS 3661 HAS SOUPS 3648 WITH SCORE 3660.83
AT ITER 1384 NEW BEST:: SOT 24817 SOS 12844 HAS SOPS 12822 HAS SOUS 3633 HAS SOUPS 3620 WITH SCORE 3632.844
AT ITER 1395 NEW BEST:: SOT 24827 SOS 12854 HAS SOPS 12832 HAS SOUS 3605 HAS SOUPS 3592 WITH SCORE 3604.854
AT ITER 1427 NEW BEST:: SOT 24827 SOS 12854 HAS SOPS 12832 HAS SOUS 3602 HAS SOUPS 3589 WITH SCORE 3601.854
AT ITER 1434 NEW BEST:: SOT 24819 SOS 12838 HAS SOPS 12816 HAS SOUS 3594 HAS SOUPS 3581 WITH SCORE 3593.838
AT ITER 1452 NEW BEST:: SOT 24819 SOS 12838 HAS SOPS 12816 HAS SOUS 3593 HAS SOUPS 3580 WITH SCORE 3592.838
AT ITER 1462 NEW BEST:: SOT 24825 SOS 12848 HAS SOPS 12826 HAS SOUS 3592 HAS SOUPS 3579 WITH SCORE 3591.848
AT ITER 1463 NEW BEST:: SOT 24811 SOS 12820 HAS SOPS 12798 HAS SOUS 3589 HAS SOUPS 3576 WITH SCORE 3588.82
AT ITER 1472 NEW BEST:: SOT 24809 SOS 12812 HAS SOPS 12790 HAS SOUS 3585 HAS SOUPS 3572 WITH SCORE 3584.812
AT ITER 1529 NEW BEST:: SOT 24803 SOS 12806 HAS SOPS 12784 HAS SOUS 3585 HAS SOUPS 3572 WITH SCORE 3584.806
AT ITER 1536 NEW BEST:: SOT 24782 SOS 12782 HAS SOPS 12760 HAS SOUS 3554 HAS SOUPS 3541 WITH SCORE 3553.782
AT ITER 1592 NEW BEST:: SOT 24786 SOS 12790 HAS SOPS 12768 HAS SOUS 3550 HAS SOUPS 3537 WITH SCORE 3549.79
AT ITER 1611 NEW BEST:: SOT 24775 SOS 12768 HAS SOPS 12746 HAS SOUS 3541 HAS SOUPS 3528 WITH SCORE 3540.768
AT ITER 1615 NEW BEST:: SOT 24798 SOS 12814 HAS SOPS 12792 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3539.814
AT ITER 1620 NEW BEST:: SOT 24796 SOS 12808 HAS SOPS 12786 HAS SOUS 3538 HAS SOUPS 3525 WITH SCORE 3537.808
AT ITER 1636 NEW BEST:: SOT 24796 SOS 12809 HAS SOPS 12787 HAS SOUS 3537 HAS SOUPS 3524 WITH SCORE 3536.809
AT ITER 1654 NEW BEST:: SOT 24743 SOS 12729 HAS SOPS 12707 HAS SOUS 3485 HAS SOUPS 3472 WITH SCORE 3484.729
AT ITER 1656 NEW BEST:: SOT 24749 SOS 12707 HAS SOPS 12685 HAS SOUS 3483 HAS SOUPS 3470 WITH SCORE 3482.707
AT ITER 1678 NEW BEST:: SOT 24743 SOS 12701 HAS SOPS 12679 HAS SOUS 3482 HAS SOUPS 3469 WITH SCORE 3481.701
AT ITER 1698 NEW BEST:: SOT 24741 SOS 12699 HAS SOPS 12677 HAS SOUS 3478 HAS SOUPS 3465 WITH SCORE 3477.699
AT ITER 1711 NEW BEST:: SOT 24747 SOS 12600 HAS SOPS 12578 HAS SOUS 3478 HAS SOUPS 3465 WITH SCORE 3477.6
AT ITER 1716 NEW BEST:: SOT 24745 SOS 12673 HAS SOPS 12651 HAS SOUS 3475 HAS SOUPS 3462 WITH SCORE 3474.673
AT ITER 1750 NEW BEST:: SOT 24735 SOS 12663 HAS SOPS 12641 HAS SOUS 3455 HAS SOUPS 3442 WITH SCORE 3454.663
AT ITER 1824 NEW BEST:: SOT 24731 SOS 12659 HAS SOPS 12637 HAS SOUS 3447 HAS SOUPS 3434 WITH SCORE 3446.659
AT ITER 1842 NEW BEST:: SOT 24721 SOS 12635 HAS SOPS 12613 HAS SOUS 3447 HAS SOUPS 3434 WITH SCORE 3446.635
AT ITER 1864 NEW BEST:: SOT 24721 SOS 12635 HAS SOPS 12613 HAS SOUS 3446 HAS SOUPS 3433 WITH SCORE 3445.635
AT ITER 1928 NEW BEST:: SOT 24702 SOS 12616 HAS SOPS 12594 HAS SOUS 3444 HAS SOUPS 3431 WITH SCORE 3443.616
AT ITER 1947 NEW BEST:: SOT 24702 SOS 12616 HAS SOPS 12594 HAS SOUS 3442 HAS SOUPS 3429 WITH SCORE 3441.616
AT ITER 1969 NEW BEST:: SOT 24690 SOS 12592 HAS SOPS 12570 HAS SOUS 3437 HAS SOUPS 3424 WITH SCORE 3436.592
AT ITER 1970 NEW BEST:: SOT 24686 SOS 12584 HAS SOPS 12562 HAS SOUS 3436 HAS SOUPS 3423 WITH SCORE 3435.584
AT ITER 1986 NEW BEST:: SOT 24680 SOS 12578 HAS SOPS 12556 HAS SOUS 3430 HAS SOUPS 3417 WITH SCORE 3429.578
AT ITER 2006 NEW BEST:: SOT 24680 SOS 12578 HAS SOPS 12556 HAS SOUS 3425 HAS SOUPS 3412 WITH SCORE 3424.578
AT ITER 2045 NEW BEST:: SOT 24676 SOS 12574 HAS SOPS 12552 HAS SOUS 3417 HAS SOUPS 3404 WITH SCORE 3416.574
AT ITER 2068 NEW BEST:: SOT 24674 SOS 12568 HAS SOPS 12546 HAS SOUS 3415 HAS SOUPS 3402 WITH SCORE 3414.568
AT ITER 2079 NEW BEST:: SOT 24674 SOS 12568 HAS SOPS 12546 HAS SOUS 3414 HAS SOUPS 3401 WITH SCORE 3413.568
AT ITER 2109 NEW BEST:: SOT 24674 SOS 12560 HAS SOPS 12538 HAS SOUS 3406 HAS SOUPS 3393 WITH SCORE 3405.56
AT ITER 2126 NEW BEST:: SOT 24672 SOS 12496 HAS SOPS 12474 HAS SOUS 3406 HAS SOUPS 3393 WITH SCORE 3405.496
AT ITER 2135 NEW BEST:: SOT 24667 SOS 12486 HAS SOPS 12464 HAS SOUS 3401 HAS SOUPS 3388 WITH SCORE 3400.486
AT ITER 2138 NEW BEST:: SOT 24665 SOS 12484 HAS SOPS 12462 HAS SOUS 3401 HAS SOUPS 3388 WITH SCORE 3400.484
AT ITER 2196 NEW BEST:: SOT 24654 SOS 12473 HAS SOPS 12451 HAS SOUS 3390 HAS SOUPS 3377 WITH SCORE 3389.473
AT ITER 2245 NEW BEST:: SOT 24650 SOS 12463 HAS SOPS 12441 HAS SOUS 3386 HAS SOUPS 3373 WITH SCORE 3385.463
AT ITER 2256 NEW BEST:: SOT 24659 SOS 12480 HAS SOPS 12458 HAS SOUS 3385 HAS SOUPS 3372 WITH SCORE 3384.48
AT ITER 2265 NEW BEST:: SOT 24506 SOS 12253 HAS SOPS 12231 HAS SOUS 3379 HAS SOUPS 3366 WITH SCORE 3378.253
AT ITER 2269 NEW BEST:: SOT 24506 SOS 12253 HAS SOPS 12231 HAS SOUS 3378 HAS SOUPS 3365 WITH SCORE 3377.253
AT ITER 2290 NEW BEST:: SOT 24508 SOS 12229 HAS SOPS 12207 HAS SOUS 3378 HAS SOUPS 3365 WITH SCORE 3377.229
AT ITER 2298 NEW BEST:: SOT 24505 SOS 12225 HAS SOPS 12203 HAS SOUS 3377 HAS SOUPS 3364 WITH SCORE 3376.225
AT ITER 2309 NEW BEST:: SOT 24504 SOS 12219 HAS SOPS 12197 HAS SOUS 3377 HAS SOUPS 3364 WITH SCORE 3376.219
AT ITER 2331 NEW BEST:: SOT 24504 SOS 12219 HAS SOPS 12197 HAS SOUS 3366 HAS SOUPS 3353 WITH SCORE 3365.219
AT ITER 2396 NEW BEST:: SOT 24513 SOS 12228 HAS SOPS 12206 HAS SOUS 3357 HAS SOUPS 3344 WITH SCORE 3356.228
AT ITER 2442 NEW BEST:: SOT 24509 SOS 12218 HAS SOPS 12196 HAS SOUS 3354 HAS SOUPS 3341 WITH SCORE 3353.218
AT ITER 2472 NEW BEST:: SOT 24509 SOS 12217 HAS SOPS 12195 HAS SOUS 3354 HAS SOUPS 3341 WITH SCORE 3353.217
AT ITER 2489 NEW BEST:: SOT 24508 SOS 12213 HAS SOPS 12191 HAS SOUS 3354 HAS SOUPS 3341 WITH SCORE 3353.213
AT ITER 2580 NEW BEST:: SOT 24493 SOS 12186 HAS SOPS 12164 HAS SOUS 3348 HAS SOUPS 3335 WITH SCORE 3347.186
AT ITER 2591 NEW BEST:: SOT 24531 SOS 12145 HAS SOPS 12123 HAS SOUS 3318 HAS SOUPS 3305 WITH SCORE 3317.145
AT ITER 2643 NEW BEST:: SOT 24535 SOS 12149 HAS SOPS 12127 HAS SOUS 3317 HAS SOUPS 3304 WITH SCORE 3316.149
AT ITER 2652 NEW BEST:: SOT 24532 SOS 12143 HAS SOPS 12121 HAS SOUS 3302 HAS SOUPS 3289 WITH SCORE 3301.143
AT ITER 2672 NEW BEST:: SOT 24539 SOS 12150 HAS SOPS 12128 HAS SOUS 3288 HAS SOUPS 3275 WITH SCORE 3287.15
AT ITER 2746 NEW BEST:: SOT 24525 SOS 12136 HAS SOPS 12114 HAS SOUS 3282 HAS SOUPS 3269 WITH SCORE 3281.136
AT ITER 2825 NEW BEST:: SOT 24524 SOS 12134 HAS SOPS 12112 HAS SOUS 3282 HAS SOUPS 3269 WITH SCORE 3281.134
AT ITER 2827 NEW BEST:: SOT 24521 SOS 12131 HAS SOPS 12109 HAS SOUS 3279 HAS SOUPS 3266 WITH SCORE 3278.131
AT ITER 2840 NEW BEST:: SOT 24514 SOS 12124 HAS SOPS 12102 HAS SOUS 3272 HAS SOUPS 3259 WITH SCORE 3271.124
AT ITER 2858 NEW BEST:: SOT 24526 SOS 12106 HAS SOPS 12084 HAS SOUS 3268 HAS SOUPS 3255 WITH SCORE 3267.106
AT ITER 2902 NEW BEST:: SOT 24529 SOS 12109 HAS SOPS 12087 HAS SOUS 3265 HAS SOUPS 3252 WITH SCORE 3264.109
AT ITER 3018 NEW BEST:: SOT 24465 SOS 12025 HAS SOPS 12003 HAS SOUS 3263 HAS SOUPS 3250 WITH SCORE 3262.025
AT ITER 3055 NEW BEST:: SOT 24458 SOS 12018 HAS SOPS 11996 HAS SOUS 3246 HAS SOUPS 3233 WITH SCORE 3245.018
AT ITER 3063 NEW BEST:: SOT 24435 SOS 11965 HAS SOPS 11943 HAS SOUS 3219 HAS SOUPS 3206 WITH SCORE 3217.965
AT ITER 3129 NEW BEST:: SOT 24431 SOS 11961 HAS SOPS 11939 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3213.961
AT ITER 3155 NEW BEST:: SOT 24430 SOS 11960 HAS SOPS 11938 HAS SOUS 3214 HAS SOUPS 3201 WITH SCORE 3212.96
AT ITER 3180 NEW BEST:: SOT 24427 SOS 11956 HAS SOPS 11934 HAS SOUS 3213 HAS SOUPS 3200 WITH SCORE 3211.956
AT ITER 3186 NEW BEST:: SOT 24438 SOS 11987 HAS SOPS 11965 HAS SOUS 3211 HAS SOUPS 3198 WITH SCORE 3209.987
AT ITER 3212 NEW BEST:: SOT 24436 SOS 11985 HAS SOPS 11963 HAS SOUS 3209 HAS SOUPS 3196 WITH SCORE 3207.985
AT ITER 3224 NEW BEST:: SOT 24432 SOS 11972 HAS SOPS 11950 HAS SOUS 3198 HAS SOUPS 3185 WITH SCORE 3196.972
AT ITER 3309 NEW BEST:: SOT 24440 SOS 11911 HAS SOPS 11889 HAS SOUS 3195 HAS SOUPS 3182 WITH SCORE 3193.911
AT ITER 3377 NEW BEST:: SOT 24463 SOS 11934 HAS SOPS 11912 HAS SOUS 3192 HAS SOUPS 3179 WITH SCORE 3190.934
AT ITER 3380 NEW BEST:: SOT 24457 SOS 11923 HAS SOPS 11901 HAS SOUS 3190 HAS SOUPS 3177 WITH SCORE 3188.923
AT ITER 3415 NEW BEST:: SOT 24465 SOS 11931 HAS SOPS 11909 HAS SOUS 3186 HAS SOUPS 3173 WITH SCORE 3184.931
AT ITER 3581 NEW BEST:: SOT 24464 SOS 11955 HAS SOPS 11933 HAS SOUS 3185 HAS SOUPS 3172 WITH SCORE 3183.955
AT ITER 3615 NEW BEST:: SOT 24467 SOS 11924 HAS SOPS 11902 HAS SOUS 3184 HAS SOUPS 3171 WITH SCORE 3182.924
AT ITER 3642 NEW BEST:: SOT 24464 SOS 11879 HAS SOPS 11857 HAS SOUS 3181 HAS SOUPS 3168 WITH SCORE 3179.879
AT ITER 3729 NEW BEST:: SOT 24455 SOS 11870 HAS SOPS 11848 HAS SOUS 3165 HAS SOUPS 3152 WITH SCORE 3163.87
AT ITER 3756 NEW BEST:: SOT 24455 SOS 11870 HAS SOPS 11848 HAS SOUS 3157 HAS SOUPS 3144 WITH SCORE 3155.87
AT ITER 3777 NEW BEST:: SOT 24451 SOS 11866 HAS SOPS 11844 HAS SOUS 3149 HAS SOUPS 3136 WITH SCORE 3147.866
AT ITER 3785 NEW BEST:: SOT 24460 SOS 11810 HAS SOPS 11788 HAS SOUS 3149 HAS SOUPS 3136 WITH SCORE 3147.81
AT ITER 3879 NEW BEST:: SOT 24453 SOS 11796 HAS SOPS 11774 HAS SOUS 3149 HAS SOUPS 3136 WITH SCORE 3147.796
AT ITER 3906 NEW BEST:: SOT 24447 SOS 11784 HAS SOPS 11762 HAS SOUS 3145 HAS SOUPS 3132 WITH SCORE 3143.784
AT ITER 3908 NEW BEST:: SOT 24445 SOS 11780 HAS SOPS 11758 HAS SOUS 3143 HAS SOUPS 3130 WITH SCORE 3141.78
AT ITER 4009 NEW BEST:: SOT 24442 SOS 11777 HAS SOPS 11755 HAS SOUS 3142 HAS SOUPS 3129 WITH SCORE 3140.777
AT ITER 4101 NEW BEST:: SOT 24437 SOS 11774 HAS SOPS 11752 HAS SOUS 3136 HAS SOUPS 3123 WITH SCORE 3134.774
AT ITER 4251 NEW BEST:: SOT 24434 SOS 11762 HAS SOPS 11740 HAS SOUS 3136 HAS SOUPS 3123 WITH SCORE 3134.762
AT ITER 4316 NEW BEST:: SOT 24440 SOS 11768 HAS SOPS 11746 HAS SOUS 3131 HAS SOUPS 3118 WITH SCORE 3129.768
AT ITER 4338 NEW BEST:: SOT 24438 SOS 11767 HAS SOPS 11745 HAS SOUS 3130 HAS SOUPS 3117 WITH SCORE 3128.767
AT ITER 4339 NEW BEST:: SOT 24442 SOS 11771 HAS SOPS 11749 HAS SOUS 3126 HAS SOUPS 3113 WITH SCORE 3124.771
AT ITER 4387 NEW BEST:: SOT 24436 SOS 11765 HAS SOPS 11743 HAS SOUS 3124 HAS SOUPS 3111 WITH SCORE 3122.765
AT ITER 4401 NEW BEST:: SOT 24435 SOS 11765 HAS SOPS 11743 HAS SOUS 3123 HAS SOUPS 3110 WITH SCORE 3121.765
AT ITER 4416 NEW BEST:: SOT 24443 SOS 11781 HAS SOPS 11759 HAS SOUS 3119 HAS SOUPS 3106 WITH SCORE 3117.781
AT ITER 4439 NEW BEST:: SOT 24445 SOS 11783 HAS SOPS 11761 HAS SOUS 3107 HAS SOUPS 3094 WITH SCORE 3105.783
AT ITER 4515 NEW BEST:: SOT 24453 SOS 11807 HAS SOPS 11785 HAS SOUS 3103 HAS SOUPS 3090 WITH SCORE 3101.807
AT ITER 4575 NEW BEST:: SOT 24451 SOS 11805 HAS SOPS 11783 HAS SOUS 3101 HAS SOUPS 3088 WITH SCORE 3099.805
AT ITER 4593 NEW BEST:: SOT 24447 SOS 11795 HAS SOPS 11773 HAS SOUS 3098 HAS SOUPS 3085 WITH SCORE 3096.795
AT ITER 4658 NEW BEST:: SOT 24452 SOS 11805 HAS SOPS 11783 HAS SOUS 3095 HAS SOUPS 3082 WITH SCORE 3093.805
AT ITER 4679 NEW BEST:: SOT 24452 SOS 11805 HAS SOPS 11783 HAS SOUS 3092 HAS SOUPS 3079 WITH SCORE 3090.805
AT ITER 4801 NEW BEST:: SOT 24449 SOS 11797 HAS SOPS 11775 HAS SOUS 3092 HAS SOUPS 3079 WITH SCORE 3090.797
AT ITER 4876 NEW BEST:: SOT 24450 SOS 11798 HAS SOPS 11776 HAS SOUS 3089 HAS SOUPS 3076 WITH SCORE 3087.798
AT ITER 4898 NEW BEST:: SOT 24442 SOS 11789 HAS SOPS 11767 HAS SOUS 3079 HAS SOUPS 3066 WITH SCORE 3077.789
AT ITER 4899 NEW BEST:: SOT 24442 SOS 11789 HAS SOPS 11767 HAS SOUS 3075 HAS SOUPS 3062 WITH SCORE 3073.789
AT ITER 4921 NEW BEST:: SOT 24447 SOS 11802 HAS SOPS 11780 HAS SOUS 3071 HAS SOUPS 3058 WITH SCORE 3069.802
AT ITER 4990 NEW BEST:: SOT 24446 SOS 11801 HAS SOPS 11779 HAS SOUS 3070 HAS SOUPS 3057 WITH SCORE 3068.801
AT ITER 5040 NEW BEST:: SOT 24446 SOS 11801 HAS SOPS 11779 HAS SOUS 3069 HAS SOUPS 3056 WITH SCORE 3067.801
AT ITER 5064 NEW BEST:: SOT 24444 SOS 11799 HAS SOPS 11777 HAS SOUS 3067 HAS SOUPS 3054 WITH SCORE 3065.799
AT ITER 5200 NEW BEST:: SOT 24431 SOS 11911 HAS SOPS 11889 HAS SOUS 3055 HAS SOUPS 3042 WITH SCORE 3053.911
AT ITER 5250 NEW BEST:: SOT 24430 SOS 11909 HAS SOPS 11887 HAS SOUS 3055 HAS SOUPS 3042 WITH SCORE 3053.909
AT ITER 5309 NEW BEST:: SOT 24422 SOS 11893 HAS SOPS 11871 HAS SOUS 3047 HAS SOUPS 3034 WITH SCORE 3045.893
AT ITER 5448 NEW BEST:: SOT 24417 SOS 11888 HAS SOPS 11866 HAS SOUS 3047 HAS SOUPS 3034 WITH SCORE 3045.888
AT ITER 5468 NEW BEST:: SOT 24414 SOS 11885 HAS SOPS 11863 HAS SOUS 3047 HAS SOUPS 3034 WITH SCORE 3045.885
AT ITER 5479 NEW BEST:: SOT 24404 SOS 11868 HAS SOPS 11846 HAS SOUS 3037 HAS SOUPS 3024 WITH SCORE 3035.868
AT ITER 5502 NEW BEST:: SOT 24404 SOS 11868 HAS SOPS 11846 HAS SOUS 3036 HAS SOUPS 3023 WITH SCORE 3034.868
AT ITER 5614 NEW BEST:: SOT 24397 SOS 11854 HAS SOPS 11832 HAS SOUS 3035 HAS SOUPS 3022 WITH SCORE 3033.854
AT ITER 5649 NEW BEST:: SOT 24398 SOS 11853 HAS SOPS 11831 HAS SOUS 3035 HAS SOUPS 3022 WITH SCORE 3033.853
AT ITER 5661 NEW BEST:: SOT 24384 SOS 11825 HAS SOPS 11803 HAS SOUS 3035 HAS SOUPS 3022 WITH SCORE 3033.825
AT ITER 5742 NEW BEST:: SOT 24393 SOS 11822 HAS SOPS 11800 HAS SOUS 3024 HAS SOUPS 3011 WITH SCORE 3022.822
AT ITER 5912 NEW BEST:: SOT 24397 SOS 11824 HAS SOPS 11802 HAS SOUS 3023 HAS SOUPS 3010 WITH SCORE 3021.824
AT ITER 6038 NEW BEST:: SOT 24393 SOS 11820 HAS SOPS 11798 HAS SOUS 3021 HAS SOUPS 3008 WITH SCORE 3019.82
AT ITER 6067 NEW BEST:: SOT 24436 SOS 11864 HAS SOPS 11842 HAS SOUS 3019 HAS SOUPS 3006 WITH SCORE 3017.864
AT ITER 6392 NEW BEST:: SOT 24435 SOS 11863 HAS SOPS 11841 HAS SOUS 3018 HAS SOUPS 3005 WITH SCORE 3016.863
AT ITER 6450 NEW BEST:: SOT 24429 SOS 11857 HAS SOPS 11835 HAS SOUS 3016 HAS SOUPS 3003 WITH SCORE 3014.857
AT ITER 6486 NEW BEST:: SOT 24429 SOS 11849 HAS SOPS 11827 HAS SOUS 3016 HAS SOUPS 3003 WITH SCORE 3014.849
AT ITER 6685 NEW BEST:: SOT 24428 SOS 11848 HAS SOPS 11826 HAS SOUS 3014 HAS SOUPS 3001 WITH SCORE 3012.848
AT ITER 6760 NEW BEST:: SOT 24428 SOS 11853 HAS SOPS 11831 HAS SOUS 3012 HAS SOUPS 2999 WITH SCORE 3010.853
AT ITER 6847 NEW BEST:: SOT 24425 SOS 11850 HAS SOPS 11828 HAS SOUS 3010 HAS SOUPS 2997 WITH SCORE 3008.85
AT ITER 6900 NEW BEST:: SOT 24423 SOS 11822 HAS SOPS 11800 HAS SOUS 3010 HAS SOUPS 2997 WITH SCORE 3008.822
AT ITER 7003 NEW BEST:: SOT 24422 SOS 11819 HAS SOPS 11797 HAS SOUS 3009 HAS SOUPS 2996 WITH SCORE 3007.819
AT ITER 7092 NEW BEST:: SOT 24407 SOS 11789 HAS SOPS 11767 HAS SOUS 3009 HAS SOUPS 2996 WITH SCORE 3007.789
AT ITER 7095 NEW BEST:: SOT 24407 SOS 11795 HAS SOPS 11773 HAS SOUS 3002 HAS SOUPS 2989 WITH SCORE 3000.795
AT ITER 7150 NEW BEST:: SOT 24407 SOS 11795 HAS SOPS 11773 HAS SOUS 3000 HAS SOUPS 2987 WITH SCORE 2998.795
AT ITER 7294 NEW BEST:: SOT 24407 SOS 11799 HAS SOPS 11777 HAS SOUS 2998 HAS SOUPS 2985 WITH SCORE 2996.799
AT ITER 7384 NEW BEST:: SOT 24399 SOS 11791 HAS SOPS 11769 HAS SOUS 2991 HAS SOUPS 2978 WITH SCORE 2989.791
AT ITER 7524 NEW BEST:: SOT 24402 SOS 11794 HAS SOPS 11772 HAS SOUS 2986 HAS SOUPS 2973 WITH SCORE 2984.794
AT ITER 7611 NEW BEST:: SOT 24417 SOS 11834 HAS SOPS 11812 HAS SOUS 2985 HAS SOUPS 2972 WITH SCORE 2983.834
AT ITER 7666 NEW BEST:: SOT 24413 SOS 11830 HAS SOPS 11808 HAS SOUS 2983 HAS SOUPS 2970 WITH SCORE 2981.83
AT ITER 7755 NEW BEST:: SOT 24411 SOS 11826 HAS SOPS 11804 HAS SOUS 2983 HAS SOUPS 2970 WITH SCORE 2981.826
AT ITER 7804 NEW BEST:: SOT 24408 SOS 11820 HAS SOPS 11798 HAS SOUS 2980 HAS SOUPS 2967 WITH SCORE 2978.82
AT ITER 7979 NEW BEST:: SOT 24405 SOS 11817 HAS SOPS 11795 HAS SOUS 2980 HAS SOUPS 2967 WITH SCORE 2978.817
AT ITER 8089 NEW BEST:: SOT 24405 SOS 11813 HAS SOPS 11791 HAS SOUS 2976 HAS SOUPS 2963 WITH SCORE 2974.813
AT ITER 8195 NEW BEST:: SOT 24405 SOS 11813 HAS SOPS 11791 HAS SOUS 2974 HAS SOUPS 2961 WITH SCORE 2972.813
AT ITER 8278 NEW BEST:: SOT 24405 SOS 11811 HAS SOPS 11789 HAS SOUS 2974 HAS SOUPS 2961 WITH SCORE 2972.811
AT ITER 8384 NEW BEST:: SOT 24404 SOS 11810 HAS SOPS 11788 HAS SOUS 2972 HAS SOUPS 2959 WITH SCORE 2970.81
AT ITER 8424 NEW BEST:: SOT 24407 SOS 11977 HAS SOPS 11955 HAS SOUS 2970 HAS SOUPS 2957 WITH SCORE 2968.977
AT ITER 8430 NEW BEST:: SOT 24405 SOS 11975 HAS SOPS 11953 HAS SOUS 2968 HAS SOUPS 2955 WITH SCORE 2966.975
AT ITER 8468 NEW BEST:: SOT 24407 SOS 11972 HAS SOPS 11950 HAS SOUS 2965 HAS SOUPS 2952 WITH SCORE 2963.972
AT ITER 8614 NEW BEST:: SOT 24406 SOS 11971 HAS SOPS 11949 HAS SOUS 2964 HAS SOUPS 2951 WITH SCORE 2962.971
AT ITER 8654 NEW BEST:: SOT 24405 SOS 11970 HAS SOPS 11948 HAS SOUS 2964 HAS SOUPS 2951 WITH SCORE 2962.97
AT ITER 8680 NEW BEST:: SOT 24396 SOS 11985 HAS SOPS 11963 HAS SOUS 2963 HAS SOUPS 2950 WITH SCORE 2961.985
AT ITER 8722 NEW BEST:: SOT 24393 SOS 11988 HAS SOPS 11966 HAS SOUS 2957 HAS SOUPS 2944 WITH SCORE 2955.988
AT ITER 8724 NEW BEST:: SOT 24399 SOS 12003 HAS SOPS 11981 HAS SOUS 2951 HAS SOUPS 2938 WITH SCORE 2950.003
AT ITER 8817 NEW BEST:: SOT 24396 SOS 11945 HAS SOPS 11923 HAS SOUS 2947 HAS SOUPS 2934 WITH SCORE 2945.945
AT ITER 8829 NEW BEST:: SOT 24396 SOS 11943 HAS SOPS 11921 HAS SOUS 2947 HAS SOUPS 2934 WITH SCORE 2945.943
AT ITER 8918 NEW BEST:: SOT 24389 SOS 11937 HAS SOPS 11915 HAS SOUS 2945 HAS SOUPS 2932 WITH SCORE 2943.937
AT ITER 8997 NEW BEST:: SOT 24389 SOS 11930 HAS SOPS 11908 HAS SOUS 2944 HAS SOUPS 2931 WITH SCORE 2942.93
AT ITER 9104 NEW BEST:: SOT 24353 SOS 11894 HAS SOPS 11872 HAS SOUS 2944 HAS SOUPS 2931 WITH SCORE 2942.894
AT ITER 9140 NEW BEST:: SOT 24348 SOS 11889 HAS SOPS 11867 HAS SOUS 2939 HAS SOUPS 2926 WITH SCORE 2937.889
AT ITER 9157 NEW BEST:: SOT 24348 SOS 11888 HAS SOPS 11866 HAS SOUS 2939 HAS SOUPS 2926 WITH SCORE 2937.888
AT ITER 9327 NEW BEST:: SOT 24324 SOS 11851 HAS SOPS 11829 HAS SOUS 2931 HAS SOUPS 2918 WITH SCORE 2929.851
AT ITER 9505 NEW BEST:: SOT 24323 SOS 11849 HAS SOPS 11827 HAS SOUS 2929 HAS SOUPS 2916 WITH SCORE 2927.849
AT ITER 9583 NEW BEST:: SOT 24320 SOS 11939 HAS SOPS 11917 HAS SOUS 2927 HAS SOUPS 2914 WITH SCORE 2925.939
AT ITER 9619 NEW BEST:: SOT 24311 SOS 11930 HAS SOPS 11908 HAS SOUS 2927 HAS SOUPS 2914 WITH SCORE 2925.93
AT ITER 9674 NEW BEST:: SOT 24310 SOS 11929 HAS SOPS 11907 HAS SOUS 2926 HAS SOUPS 2913 WITH SCORE 2924.929
AT ITER 9676 NEW BEST:: SOT 24310 SOS 11929 HAS SOPS 11907 HAS SOUS 2924 HAS SOUPS 2911 WITH SCORE 2922.929
AT ITER 9741 NEW BEST:: SOT 24310 SOS 11928 HAS SOPS 11906 HAS SOUS 2924 HAS SOUPS 2911 WITH SCORE 2922.928
AT ITER 9769 NEW BEST:: SOT 24307 SOS 11925 HAS SOPS 11903 HAS SOUS 2921 HAS SOUPS 2908 WITH SCORE 2919.925
AT ITER 9824 NEW BEST:: SOT 24305 SOS 11923 HAS SOPS 11901 HAS SOUS 2919 HAS SOUPS 2906 WITH SCORE 2917.923
AT ITER 9926 NEW BEST:: SOT 24302 SOS 11921 HAS SOPS 11899 HAS SOUS 2917 HAS SOUPS 2904 WITH SCORE 2915.921
AT ITER 9928 NEW BEST:: SOT 24301 SOS 11920 HAS SOPS 11898 HAS SOUS 2917 HAS SOUPS 2904 WITH SCORE 2915.92
AT ITER 9938 NEW BEST:: SOT 24298 SOS 11918 HAS SOPS 11896 HAS SOUS 2917 HAS SOUPS 2904 WITH SCORE 2915.918
AT ITER 9956 NEW BEST:: SOT 24305 SOS 11812 HAS SOPS 11790 HAS SOUS 2917 HAS SOUPS 2904 WITH SCORE 2915.812
AT ITER 9995 NEW BEST:: SOT 24301 SOS 11808 HAS SOPS 11786 HAS SOUS 2913 HAS SOUPS 2900 WITH SCORE 2911.808
STATE_SPACE STATES 524711692 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 7997959542 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678493230189

--------------------
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-07"
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-07, 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-167840342200288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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