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.r099-tall-167814472700624.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 DLCround-PT-03a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472700624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 18:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 18:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 18:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 18:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 18:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 18:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 108K Feb 25 18:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 148K 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 1678255183824

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=DLCround-PT-03a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 03a
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: 113 places, 617 transitions, 2269 arcs.
AT ITER 0 NEW BEST:: SOT 47826 SOS 35768 HAS SOPS 21670 HAS SOUS 7938 HAS SOUPS 5125 WITH SCORE 5160.768
AT ITER 10 NEW BEST:: SOT 47821 SOS 35723 HAS SOPS 21625 HAS SOUS 7933 HAS SOUPS 5120 WITH SCORE 5155.723
AT ITER 13 NEW BEST:: SOT 47782 SOS 35697 HAS SOPS 21534 HAS SOUS 7859 HAS SOUPS 5029 WITH SCORE 5064.697
AT ITER 15 NEW BEST:: SOT 47801 SOS 35535 HAS SOPS 21652 HAS SOUS 7768 HAS SOUPS 4978 WITH SCORE 5013.535
AT ITER 17 NEW BEST:: SOT 47701 SOS 35667 HAS SOPS 21616 HAS SOUS 7747 HAS SOUPS 4943 WITH SCORE 4978.667
AT ITER 20 NEW BEST:: SOT 47750 SOS 35696 HAS SOPS 21645 HAS SOUS 7741 HAS SOUPS 4937 WITH SCORE 4972.696
AT ITER 24 NEW BEST:: SOT 47743 SOS 35647 HAS SOPS 21624 HAS SOUS 7713 HAS SOUPS 4916 WITH SCORE 4951.647
AT ITER 29 NEW BEST:: SOT 47741 SOS 35643 HAS SOPS 21668 HAS SOUS 7699 HAS SOUPS 4914 WITH SCORE 4949.643
AT ITER 36 NEW BEST:: SOT 47574 SOS 35797 HAS SOPS 21638 HAS SOUS 7621 HAS SOUPS 4836 WITH SCORE 4871.797
AT ITER 43 NEW BEST:: SOT 47375 SOS 35427 HAS SOPS 21436 HAS SOUS 7681 HAS SOUPS 4835 WITH SCORE 4870.427
AT ITER 46 NEW BEST:: SOT 47110 SOS 34987 HAS SOPS 21262 HAS SOUS 7490 HAS SOUPS 4700 WITH SCORE 4734.987
AT ITER 49 NEW BEST:: SOT 47106 SOS 34885 HAS SOPS 21160 HAS SOUS 7488 HAS SOUPS 4698 WITH SCORE 4732.885
AT ITER 50 NEW BEST:: SOT 47124 SOS 34960 HAS SOPS 21235 HAS SOUS 7486 HAS SOUPS 4696 WITH SCORE 4730.96
AT ITER 63 NEW BEST:: SOT 46585 SOS 33969 HAS SOPS 20796 HAS SOUS 7492 HAS SOUPS 4671 WITH SCORE 4704.969
AT ITER 70 NEW BEST:: SOT 46579 SOS 33816 HAS SOPS 20643 HAS SOUS 7489 HAS SOUPS 4668 WITH SCORE 4701.816
AT ITER 78 NEW BEST:: SOT 46634 SOS 33662 HAS SOPS 20727 HAS SOUS 7442 HAS SOUPS 4655 WITH SCORE 4688.662
AT ITER 88 NEW BEST:: SOT 46226 SOS 32967 HAS SOPS 20411 HAS SOUS 7436 HAS SOUPS 4634 WITH SCORE 4666.967
AT ITER 96 NEW BEST:: SOT 46225 SOS 32973 HAS SOPS 20410 HAS SOUS 7442 HAS SOUPS 4633 WITH SCORE 4665.973
AT ITER 101 NEW BEST:: SOT 46235 SOS 31930 HAS SOPS 19412 HAS SOUS 7439 HAS SOUPS 4630 WITH SCORE 4661.93
AT ITER 103 NEW BEST:: SOT 45905 SOS 31376 HAS SOPS 19139 HAS SOUS 7421 HAS SOUPS 4610 WITH SCORE 4641.376
AT ITER 106 NEW BEST:: SOT 45885 SOS 31196 HAS SOPS 19099 HAS SOUS 7401 HAS SOUPS 4610 WITH SCORE 4641.196
AT ITER 112 NEW BEST:: SOT 45887 SOS 31223 HAS SOPS 19126 HAS SOUS 7372 HAS SOUPS 4581 WITH SCORE 4612.223
AT ITER 117 NEW BEST:: SOT 45894 SOS 31237 HAS SOPS 19126 HAS SOUS 7373 HAS SOUPS 4575 WITH SCORE 4606.237
AT ITER 164 NEW BEST:: SOT 45894 SOS 31245 HAS SOPS 19134 HAS SOUS 7365 HAS SOUPS 4567 WITH SCORE 4598.245
AT ITER 165 NEW BEST:: SOT 45899 SOS 31232 HAS SOPS 19127 HAS SOUS 7355 HAS SOUPS 4560 WITH SCORE 4591.232
AT ITER 172 NEW BEST:: SOT 45893 SOS 31228 HAS SOPS 19113 HAS SOUS 7337 HAS SOUPS 4542 WITH SCORE 4573.228
AT ITER 176 NEW BEST:: SOT 45837 SOS 31130 HAS SOPS 19064 HAS SOUS 7349 HAS SOUPS 4540 WITH SCORE 4571.13
AT ITER 187 NEW BEST:: SOT 45841 SOS 31122 HAS SOPS 19052 HAS SOUS 7345 HAS SOUPS 4536 WITH SCORE 4567.122
AT ITER 215 NEW BEST:: SOT 46069 SOS 31282 HAS SOPS 19053 HAS SOUS 7509 HAS SOUPS 4531 WITH SCORE 4562.282
AT ITER 219 NEW BEST:: SOT 46064 SOS 31197 HAS SOPS 19028 HAS SOUS 7469 HAS SOUPS 4506 WITH SCORE 4537.197
AT ITER 232 NEW BEST:: SOT 46047 SOS 31166 HAS SOPS 19007 HAS SOUS 7479 HAS SOUPS 4506 WITH SCORE 4537.166
AT ITER 235 NEW BEST:: SOT 45997 SOS 30860 HAS SOPS 18834 HAS SOUS 7427 HAS SOUPS 4473 WITH SCORE 4503.86
AT ITER 239 NEW BEST:: SOT 45815 SOS 30615 HAS SOPS 18709 HAS SOUS 7422 HAS SOUPS 4468 WITH SCORE 4498.615
AT ITER 246 NEW BEST:: SOT 45781 SOS 30309 HAS SOPS 18522 HAS SOUS 7388 HAS SOUPS 4451 WITH SCORE 4481.309
AT ITER 247 NEW BEST:: SOT 45950 SOS 30647 HAS SOPS 18682 HAS SOUS 7409 HAS SOUPS 4438 WITH SCORE 4468.647
AT ITER 255 NEW BEST:: SOT 45936 SOS 30626 HAS SOPS 18626 HAS SOUS 7382 HAS SOUPS 4404 WITH SCORE 4434.626
AT ITER 262 NEW BEST:: SOT 45888 SOS 30542 HAS SOPS 18584 HAS SOUS 7394 HAS SOUPS 4404 WITH SCORE 4434.542
AT ITER 267 NEW BEST:: SOT 45962 SOS 30668 HAS SOPS 18694 HAS SOUS 7230 HAS SOUPS 4343 WITH SCORE 4373.668
AT ITER 268 NEW BEST:: SOT 45957 SOS 30616 HAS SOPS 18663 HAS SOUS 7226 HAS SOUPS 4342 WITH SCORE 4372.616
AT ITER 309 NEW BEST:: SOT 45952 SOS 30606 HAS SOPS 18653 HAS SOUS 7216 HAS SOUPS 4332 WITH SCORE 4362.606
AT ITER 312 NEW BEST:: SOT 45929 SOS 30426 HAS SOPS 18564 HAS SOUS 7185 HAS SOUPS 4314 WITH SCORE 4344.426
AT ITER 313 NEW BEST:: SOT 45931 SOS 30375 HAS SOPS 18557 HAS SOUS 7166 HAS SOUPS 4306 WITH SCORE 4336.375
AT ITER 315 NEW BEST:: SOT 45917 SOS 30347 HAS SOPS 18532 HAS SOUS 7148 HAS SOUPS 4298 WITH SCORE 4328.347
AT ITER 317 NEW BEST:: SOT 45907 SOS 30312 HAS SOPS 18517 HAS SOUS 7139 HAS SOUPS 4294 WITH SCORE 4324.312
AT ITER 322 NEW BEST:: SOT 45810 SOS 30794 HAS SOPS 18719 HAS SOUS 7121 HAS SOUPS 4276 WITH SCORE 4306.794
AT ITER 324 NEW BEST:: SOT 45623 SOS 30471 HAS SOPS 18647 HAS SOUS 7118 HAS SOUPS 4273 WITH SCORE 4303.471
AT ITER 325 NEW BEST:: SOT 45612 SOS 30449 HAS SOPS 18649 HAS SOUS 7110 HAS SOUPS 4271 WITH SCORE 4301.449
AT ITER 333 NEW BEST:: SOT 45611 SOS 30424 HAS SOPS 18648 HAS SOUS 7103 HAS SOUPS 4270 WITH SCORE 4300.424
AT ITER 334 NEW BEST:: SOT 45611 SOS 30424 HAS SOPS 18649 HAS SOUS 7102 HAS SOUPS 4269 WITH SCORE 4299.424
AT ITER 341 NEW BEST:: SOT 45673 SOS 28999 HAS SOPS 17489 HAS SOUS 7015 HAS SOUPS 4264 WITH SCORE 4292.999
AT ITER 346 NEW BEST:: SOT 45609 SOS 28884 HAS SOPS 17398 HAS SOUS 7068 HAS SOUPS 4264 WITH SCORE 4292.884
AT ITER 350 NEW BEST:: SOT 45597 SOS 28694 HAS SOPS 17022 HAS SOUS 7086 HAS SOUPS 4238 WITH SCORE 4266.694
AT ITER 352 NEW BEST:: SOT 45602 SOS 28671 HAS SOPS 17027 HAS SOUS 7079 HAS SOUPS 4235 WITH SCORE 4263.671
AT ITER 383 NEW BEST:: SOT 45666 SOS 28756 HAS SOPS 17049 HAS SOUS 7109 HAS SOUPS 4214 WITH SCORE 4242.756
AT ITER 394 NEW BEST:: SOT 45662 SOS 28748 HAS SOPS 17041 HAS SOUS 7105 HAS SOUPS 4210 WITH SCORE 4238.748
AT ITER 397 NEW BEST:: SOT 45511 SOS 28938 HAS SOPS 17284 HAS SOUS 7040 HAS SOUPS 4145 WITH SCORE 4173.938
AT ITER 414 NEW BEST:: SOT 45512 SOS 28283 HAS SOPS 16629 HAS SOUS 7038 HAS SOUPS 4143 WITH SCORE 4171.283
AT ITER 415 NEW BEST:: SOT 45504 SOS 28267 HAS SOPS 16617 HAS SOUS 7032 HAS SOUPS 4139 WITH SCORE 4167.267
AT ITER 417 NEW BEST:: SOT 45493 SOS 28245 HAS SOPS 16606 HAS SOUS 6933 HAS SOUPS 4095 WITH SCORE 4123.245
AT ITER 423 NEW BEST:: SOT 45631 SOS 28421 HAS SOPS 16598 HAS SOUS 6995 HAS SOUPS 4044 WITH SCORE 4072.421
AT ITER 441 NEW BEST:: SOT 45614 SOS 28278 HAS SOPS 16609 HAS SOUS 6971 HAS SOUPS 4042 WITH SCORE 4070.278
AT ITER 449 NEW BEST:: SOT 45682 SOS 28269 HAS SOPS 16467 HAS SOUS 7086 HAS SOUPS 4018 WITH SCORE 4046.269
AT ITER 454 NEW BEST:: SOT 45781 SOS 28345 HAS SOPS 16589 HAS SOUS 7047 HAS SOUPS 4002 WITH SCORE 4030.345
AT ITER 455 NEW BEST:: SOT 45777 SOS 28305 HAS SOPS 16557 HAS SOUS 7047 HAS SOUPS 4002 WITH SCORE 4030.305
AT ITER 464 NEW BEST:: SOT 45788 SOS 28181 HAS SOPS 16552 HAS SOUS 7030 HAS SOUPS 4002 WITH SCORE 4030.181
AT ITER 475 NEW BEST:: SOT 45763 SOS 28199 HAS SOPS 16554 HAS SOUS 6940 HAS SOUPS 3973 WITH SCORE 4001.199
AT ITER 481 NEW BEST:: SOT 45838 SOS 28329 HAS SOPS 16602 HAS SOUS 6946 HAS SOUPS 3972 WITH SCORE 4000.329
AT ITER 489 NEW BEST:: SOT 45838 SOS 28329 HAS SOPS 16602 HAS SOUS 6943 HAS SOUPS 3970 WITH SCORE 3998.329
AT ITER 490 NEW BEST:: SOT 45935 SOS 28489 HAS SOPS 16705 HAS SOUS 6876 HAS SOUPS 3968 WITH SCORE 3996.489
AT ITER 500 NEW BEST:: SOT 45972 SOS 28526 HAS SOPS 16712 HAS SOUS 6865 HAS SOUPS 3957 WITH SCORE 3985.526
AT ITER 503 NEW BEST:: SOT 45936 SOS 28854 HAS SOPS 16896 HAS SOUS 6847 HAS SOUPS 3939 WITH SCORE 3967.854
AT ITER 530 NEW BEST:: SOT 45798 SOS 28703 HAS SOPS 16808 HAS SOUS 6820 HAS SOUPS 3928 WITH SCORE 3956.703
AT ITER 532 NEW BEST:: SOT 45740 SOS 28411 HAS SOPS 16677 HAS SOUS 6794 HAS SOUPS 3925 WITH SCORE 3953.411
AT ITER 541 NEW BEST:: SOT 45738 SOS 28409 HAS SOPS 16677 HAS SOUS 6790 HAS SOUPS 3921 WITH SCORE 3949.409
AT ITER 554 NEW BEST:: SOT 45798 SOS 28469 HAS SOPS 16707 HAS SOUS 6785 HAS SOUPS 3916 WITH SCORE 3944.469
AT ITER 563 NEW BEST:: SOT 45798 SOS 28469 HAS SOPS 16707 HAS SOUS 6783 HAS SOUPS 3914 WITH SCORE 3942.469
AT ITER 575 NEW BEST:: SOT 45679 SOS 28350 HAS SOPS 16673 HAS SOUS 6780 HAS SOUPS 3912 WITH SCORE 3940.35
AT ITER 589 NEW BEST:: SOT 45643 SOS 28296 HAS SOPS 16676 HAS SOUS 6633 HAS SOUPS 3827 WITH SCORE 3855.296
AT ITER 604 NEW BEST:: SOT 45623 SOS 28280 HAS SOPS 16652 HAS SOUS 6647 HAS SOUPS 3826 WITH SCORE 3854.28
AT ITER 615 NEW BEST:: SOT 45588 SOS 28204 HAS SOPS 16640 HAS SOUS 6626 HAS SOUPS 3821 WITH SCORE 3849.204
AT ITER 616 NEW BEST:: SOT 45561 SOS 28150 HAS SOPS 16600 HAS SOUS 6607 HAS SOUPS 3809 WITH SCORE 3837.15
AT ITER 617 NEW BEST:: SOT 45561 SOS 28126 HAS SOPS 16594 HAS SOUS 6595 HAS SOUPS 3797 WITH SCORE 3825.126
AT ITER 618 NEW BEST:: SOT 45561 SOS 28056 HAS SOPS 16524 HAS SOUS 6581 HAS SOUPS 3783 WITH SCORE 3811.056
AT ITER 629 NEW BEST:: SOT 45578 SOS 28090 HAS SOPS 16534 HAS SOUS 6586 HAS SOUPS 3782 WITH SCORE 3810.09
AT ITER 656 NEW BEST:: SOT 45575 SOS 28085 HAS SOPS 16526 HAS SOUS 6585 HAS SOUPS 3780 WITH SCORE 3808.085
AT ITER 669 NEW BEST:: SOT 45514 SOS 28011 HAS SOPS 16476 HAS SOUS 6574 HAS SOUPS 3769 WITH SCORE 3797.011
AT ITER 670 NEW BEST:: SOT 45514 SOS 28011 HAS SOPS 16476 HAS SOUS 6570 HAS SOUPS 3761 WITH SCORE 3789.011
AT ITER 693 NEW BEST:: SOT 45483 SOS 27588 HAS SOPS 16233 HAS SOUS 6544 HAS SOUPS 3750 WITH SCORE 3777.588
AT ITER 694 NEW BEST:: SOT 45507 SOS 27636 HAS SOPS 16231 HAS SOUS 6576 HAS SOUPS 3747 WITH SCORE 3774.636
AT ITER 720 NEW BEST:: SOT 46088 SOS 28427 HAS SOPS 16537 HAS SOUS 6602 HAS SOUPS 3683 WITH SCORE 3711.427
AT ITER 721 NEW BEST:: SOT 46064 SOS 28371 HAS SOPS 16513 HAS SOUS 6580 HAS SOUPS 3669 WITH SCORE 3697.371
AT ITER 727 NEW BEST:: SOT 46049 SOS 28471 HAS SOPS 16578 HAS SOUS 6580 HAS SOUPS 3664 WITH SCORE 3692.471
AT ITER 731 NEW BEST:: SOT 45799 SOS 28211 HAS SOPS 16418 HAS SOUS 6580 HAS SOUPS 3664 WITH SCORE 3692.211
AT ITER 754 NEW BEST:: SOT 45798 SOS 28209 HAS SOPS 16417 HAS SOUS 6571 HAS SOUPS 3660 WITH SCORE 3688.209
AT ITER 761 NEW BEST:: SOT 45788 SOS 28189 HAS SOPS 16402 HAS SOUS 6546 HAS SOUPS 3645 WITH SCORE 3673.189
AT ITER 783 NEW BEST:: SOT 45781 SOS 28175 HAS SOPS 16395 HAS SOUS 6529 HAS SOUPS 3639 WITH SCORE 3667.175
AT ITER 789 NEW BEST:: SOT 45788 SOS 28126 HAS SOPS 16395 HAS SOUS 6515 HAS SOUPS 3632 WITH SCORE 3660.126
AT ITER 792 NEW BEST:: SOT 45783 SOS 28226 HAS SOPS 16535 HAS SOUS 6502 HAS SOUPS 3629 WITH SCORE 3657.226
AT ITER 795 NEW BEST:: SOT 45783 SOS 28226 HAS SOPS 16535 HAS SOUS 6478 HAS SOUPS 3605 WITH SCORE 3633.226
AT ITER 807 NEW BEST:: SOT 45773 SOS 28214 HAS SOPS 16523 HAS SOUS 6477 HAS SOUPS 3603 WITH SCORE 3631.214
AT ITER 809 NEW BEST:: SOT 45500 SOS 27631 HAS SOPS 16234 HAS SOUS 6436 HAS SOUPS 3580 WITH SCORE 3607.631
AT ITER 810 NEW BEST:: SOT 45456 SOS 27543 HAS SOPS 16190 HAS SOUS 6414 HAS SOUPS 3569 WITH SCORE 3596.543
AT ITER 821 NEW BEST:: SOT 45416 SOS 27623 HAS SOPS 16174 HAS SOUS 6414 HAS SOUPS 3561 WITH SCORE 3588.623
AT ITER 831 NEW BEST:: SOT 45413 SOS 27617 HAS SOPS 16171 HAS SOUS 6387 HAS SOUPS 3549 WITH SCORE 3576.617
AT ITER 850 NEW BEST:: SOT 45403 SOS 27602 HAS SOPS 16166 HAS SOUS 6377 HAS SOUPS 3544 WITH SCORE 3571.602
AT ITER 853 NEW BEST:: SOT 45350 SOS 27551 HAS SOPS 16137 HAS SOUS 6379 HAS SOUPS 3542 WITH SCORE 3569.551
AT ITER 855 NEW BEST:: SOT 45196 SOS 27125 HAS SOPS 16111 HAS SOUS 6348 HAS SOUPS 3541 WITH SCORE 3568.125
AT ITER 887 NEW BEST:: SOT 45192 SOS 27121 HAS SOPS 16111 HAS SOUS 6348 HAS SOUPS 3541 WITH SCORE 3568.121
AT ITER 893 NEW BEST:: SOT 45088 SOS 26997 HAS SOPS 16052 HAS SOUS 6278 HAS SOUPS 3519 WITH SCORE 3545.997
AT ITER 897 NEW BEST:: SOT 45062 SOS 26961 HAS SOPS 16032 HAS SOUS 6272 HAS SOUPS 3515 WITH SCORE 3541.961
AT ITER 899 NEW BEST:: SOT 44773 SOS 26671 HAS SOPS 15887 HAS SOUS 6263 HAS SOUPS 3510 WITH SCORE 3536.671
AT ITER 909 NEW BEST:: SOT 44795 SOS 26703 HAS SOPS 15907 HAS SOUS 6262 HAS SOUPS 3509 WITH SCORE 3535.703
AT ITER 924 NEW BEST:: SOT 44795 SOS 26694 HAS SOPS 15895 HAS SOUS 6259 HAS SOUPS 3506 WITH SCORE 3532.694
AT ITER 927 NEW BEST:: SOT 44807 SOS 26580 HAS SOPS 15853 HAS SOUS 6250 HAS SOUPS 3503 WITH SCORE 3529.58
AT ITER 933 NEW BEST:: SOT 45041 SOS 26865 HAS SOPS 16008 HAS SOUS 6267 HAS SOUPS 3497 WITH SCORE 3523.865
AT ITER 934 NEW BEST:: SOT 45039 SOS 26851 HAS SOPS 16004 HAS SOUS 6260 HAS SOUPS 3495 WITH SCORE 3521.851
AT ITER 938 NEW BEST:: SOT 45091 SOS 26731 HAS SOPS 15978 HAS SOUS 6254 HAS SOUPS 3489 WITH SCORE 3515.731
AT ITER 947 NEW BEST:: SOT 45083 SOS 26728 HAS SOPS 15954 HAS SOUS 6261 HAS SOUPS 3483 WITH SCORE 3509.728
AT ITER 1003 NEW BEST:: SOT 45081 SOS 26706 HAS SOPS 15944 HAS SOUS 6253 HAS SOUPS 3481 WITH SCORE 3507.706
AT ITER 1007 NEW BEST:: SOT 45138 SOS 26780 HAS SOPS 16018 HAS SOUS 6247 HAS SOUPS 3475 WITH SCORE 3501.78
AT ITER 1015 NEW BEST:: SOT 45136 SOS 26777 HAS SOPS 16018 HAS SOUS 6246 HAS SOUPS 3475 WITH SCORE 3501.777
AT ITER 1036 NEW BEST:: SOT 44810 SOS 24960 HAS SOPS 14504 HAS SOUS 6191 HAS SOUPS 3435 WITH SCORE 3459.96
AT ITER 1050 NEW BEST:: SOT 44762 SOS 25089 HAS SOPS 14684 HAS SOUS 6012 HAS SOUPS 3407 WITH SCORE 3432.089
AT ITER 1055 NEW BEST:: SOT 44596 SOS 24975 HAS SOPS 14628 HAS SOUS 6007 HAS SOUPS 3402 WITH SCORE 3426.975
AT ITER 1074 NEW BEST:: SOT 44528 SOS 24939 HAS SOPS 14558 HAS SOUS 5981 HAS SOUPS 3376 WITH SCORE 3400.939
AT ITER 1075 NEW BEST:: SOT 44521 SOS 24932 HAS SOPS 14556 HAS SOUS 5981 HAS SOUPS 3376 WITH SCORE 3400.932
AT ITER 1079 NEW BEST:: SOT 44483 SOS 24950 HAS SOPS 14441 HAS SOUS 5979 HAS SOUPS 3355 WITH SCORE 3379.95
AT ITER 1085 NEW BEST:: SOT 44393 SOS 24860 HAS SOPS 14351 HAS SOUS 5871 HAS SOUPS 3295 WITH SCORE 3319.86
AT ITER 1102 NEW BEST:: SOT 44392 SOS 24858 HAS SOPS 14349 HAS SOUS 5870 HAS SOUPS 3294 WITH SCORE 3318.858
AT ITER 1107 NEW BEST:: SOT 44392 SOS 24851 HAS SOPS 14342 HAS SOUS 5869 HAS SOUPS 3293 WITH SCORE 3317.851
AT ITER 1111 NEW BEST:: SOT 44287 SOS 24431 HAS SOPS 14073 HAS SOUS 5873 HAS SOUPS 3285 WITH SCORE 3309.431
AT ITER 1117 NEW BEST:: SOT 44297 SOS 24451 HAS SOPS 14081 HAS SOUS 5865 HAS SOUPS 3277 WITH SCORE 3301.451
AT ITER 1129 NEW BEST:: SOT 44295 SOS 24447 HAS SOPS 14077 HAS SOUS 5861 HAS SOUPS 3273 WITH SCORE 3297.447
AT ITER 1141 NEW BEST:: SOT 44410 SOS 24531 HAS SOPS 14198 HAS SOUS 5823 HAS SOUPS 3258 WITH SCORE 3282.531
AT ITER 1144 NEW BEST:: SOT 44332 SOS 24453 HAS SOPS 14120 HAS SOUS 5820 HAS SOUPS 3243 WITH SCORE 3267.453
AT ITER 1150 NEW BEST:: SOT 44377 SOS 24488 HAS SOPS 14168 HAS SOUS 5783 HAS SOUPS 3241 WITH SCORE 3265.488
AT ITER 1165 NEW BEST:: SOT 44450 SOS 24548 HAS SOPS 14199 HAS SOUS 5751 HAS SOUPS 3217 WITH SCORE 3241.548
AT ITER 1166 NEW BEST:: SOT 44440 SOS 24532 HAS SOPS 14183 HAS SOUS 5750 HAS SOUPS 3215 WITH SCORE 3239.532
AT ITER 1170 NEW BEST:: SOT 44181 SOS 24224 HAS SOPS 13908 HAS SOUS 5746 HAS SOUPS 3185 WITH SCORE 3209.224
AT ITER 1171 NEW BEST:: SOT 44180 SOS 24239 HAS SOPS 13944 HAS SOUS 5742 HAS SOUPS 3184 WITH SCORE 3208.239
AT ITER 1186 NEW BEST:: SOT 44192 SOS 24243 HAS SOPS 13964 HAS SOUS 5734 HAS SOUPS 3180 WITH SCORE 3204.243
AT ITER 1198 NEW BEST:: SOT 44191 SOS 24235 HAS SOPS 13956 HAS SOUS 5732 HAS SOUPS 3178 WITH SCORE 3202.235
AT ITER 1202 NEW BEST:: SOT 44188 SOS 24249 HAS SOPS 13962 HAS SOUS 5730 HAS SOUPS 3176 WITH SCORE 3200.249
AT ITER 1220 NEW BEST:: SOT 43961 SOS 23210 HAS SOPS 13192 HAS SOUS 5525 HAS SOUPS 3058 WITH SCORE 3081.21
AT ITER 1234 NEW BEST:: SOT 43780 SOS 23016 HAS SOPS 13086 HAS SOUS 5483 HAS SOUPS 3044 WITH SCORE 3067.016
AT ITER 1235 NEW BEST:: SOT 43732 SOS 22940 HAS SOPS 13052 HAS SOUS 5473 HAS SOUPS 3037 WITH SCORE 3059.94
AT ITER 1238 NEW BEST:: SOT 43553 SOS 22700 HAS SOPS 12934 HAS SOUS 5421 HAS SOUPS 3006 WITH SCORE 3028.7
AT ITER 1259 NEW BEST:: SOT 43387 SOS 22530 HAS SOPS 12784 HAS SOUS 5425 HAS SOUPS 2998 WITH SCORE 3020.53
AT ITER 1296 NEW BEST:: SOT 43329 SOS 22337 HAS SOPS 12791 HAS SOUS 5416 HAS SOUPS 2997 WITH SCORE 3019.337
AT ITER 1314 NEW BEST:: SOT 43287 SOS 22295 HAS SOPS 12749 HAS SOUS 5371 HAS SOUPS 2974 WITH SCORE 2996.295
AT ITER 1340 NEW BEST:: SOT 43043 SOS 21694 HAS SOPS 11952 HAS SOUS 5394 HAS SOUPS 2949 WITH SCORE 2970.694
AT ITER 1350 NEW BEST:: SOT 43036 SOS 21725 HAS SOPS 11948 HAS SOUS 5396 HAS SOUPS 2946 WITH SCORE 2967.725
AT ITER 1383 NEW BEST:: SOT 43033 SOS 21719 HAS SOPS 11948 HAS SOUS 5393 HAS SOUPS 2946 WITH SCORE 2967.719
AT ITER 1388 NEW BEST:: SOT 43023 SOS 21707 HAS SOPS 11940 HAS SOUS 5383 HAS SOUPS 2938 WITH SCORE 2959.707
AT ITER 1422 NEW BEST:: SOT 43004 SOS 21670 HAS SOPS 11939 HAS SOUS 5372 HAS SOUPS 2937 WITH SCORE 2958.67
AT ITER 1425 NEW BEST:: SOT 43025 SOS 21705 HAS SOPS 11946 HAS SOUS 5372 HAS SOUPS 2930 WITH SCORE 2951.705
AT ITER 1459 NEW BEST:: SOT 43057 SOS 21751 HAS SOPS 11986 HAS SOUS 5370 HAS SOUPS 2928 WITH SCORE 2949.751
AT ITER 1462 NEW BEST:: SOT 43001 SOS 21739 HAS SOPS 11994 HAS SOUS 5364 HAS SOUPS 2927 WITH SCORE 2948.739
AT ITER 1486 NEW BEST:: SOT 42944 SOS 21650 HAS SOPS 11961 HAS SOUS 5363 HAS SOUPS 2926 WITH SCORE 2947.65
AT ITER 1505 NEW BEST:: SOT 42932 SOS 21602 HAS SOPS 11913 HAS SOUS 5339 HAS SOUPS 2902 WITH SCORE 2923.602
AT ITER 1517 NEW BEST:: SOT 42927 SOS 21592 HAS SOPS 11913 HAS SOUS 5334 HAS SOUPS 2902 WITH SCORE 2923.592
AT ITER 1530 NEW BEST:: SOT 42922 SOS 21587 HAS SOPS 11913 HAS SOUS 5334 HAS SOUPS 2902 WITH SCORE 2923.587
AT ITER 1590 NEW BEST:: SOT 42748 SOS 21570 HAS SOPS 11702 HAS SOUS 5356 HAS SOUPS 2902 WITH SCORE 2923.57
AT ITER 1597 NEW BEST:: SOT 42647 SOS 21398 HAS SOPS 11654 HAS SOUS 5346 HAS SOUPS 2889 WITH SCORE 2910.398
AT ITER 1604 NEW BEST:: SOT 42523 SOS 21200 HAS SOPS 11606 HAS SOUS 5343 HAS SOUPS 2886 WITH SCORE 2907.2
AT ITER 1617 NEW BEST:: SOT 42524 SOS 21129 HAS SOPS 11533 HAS SOUS 5346 HAS SOUPS 2885 WITH SCORE 2906.129
AT ITER 1618 NEW BEST:: SOT 42512 SOS 21015 HAS SOPS 11419 HAS SOUS 5336 HAS SOUPS 2875 WITH SCORE 2896.015
AT ITER 1632 NEW BEST:: SOT 42482 SOS 20955 HAS SOPS 11351 HAS SOUS 5348 HAS SOUPS 2875 WITH SCORE 2895.955
AT ITER 1642 NEW BEST:: SOT 42361 SOS 20797 HAS SOPS 11269 HAS SOUS 5308 HAS SOUPS 2855 WITH SCORE 2875.797
AT ITER 1674 NEW BEST:: SOT 42275 SOS 20777 HAS SOPS 11202 HAS SOUS 5323 HAS SOUPS 2853 WITH SCORE 2873.777
AT ITER 1678 NEW BEST:: SOT 42265 SOS 20768 HAS SOPS 11195 HAS SOUS 5315 HAS SOUPS 2848 WITH SCORE 2868.768
AT ITER 1687 NEW BEST:: SOT 42258 SOS 20761 HAS SOPS 11188 HAS SOUS 5308 HAS SOUPS 2841 WITH SCORE 2861.761
AT ITER 1689 NEW BEST:: SOT 42181 SOS 20687 HAS SOPS 11156 HAS SOUS 5311 HAS SOUPS 2841 WITH SCORE 2861.687
AT ITER 1707 NEW BEST:: SOT 42181 SOS 20682 HAS SOPS 11154 HAS SOUS 5310 HAS SOUPS 2839 WITH SCORE 2859.682
AT ITER 1711 NEW BEST:: SOT 42198 SOS 20711 HAS SOPS 11154 HAS SOUS 5311 HAS SOUPS 2835 WITH SCORE 2855.711
AT ITER 1736 NEW BEST:: SOT 42198 SOS 20711 HAS SOPS 11154 HAS SOUS 5308 HAS SOUPS 2833 WITH SCORE 2853.711
AT ITER 1739 NEW BEST:: SOT 42196 SOS 20707 HAS SOPS 11162 HAS SOUS 5303 HAS SOUPS 2831 WITH SCORE 2851.707
AT ITER 1742 NEW BEST:: SOT 42197 SOS 20713 HAS SOPS 11186 HAS SOUS 5296 HAS SOUPS 2827 WITH SCORE 2847.713
AT ITER 1761 NEW BEST:: SOT 42190 SOS 20843 HAS SOPS 11244 HAS SOUS 5301 HAS SOUPS 2826 WITH SCORE 2846.843
AT ITER 1783 NEW BEST:: SOT 42178 SOS 20819 HAS SOPS 11244 HAS SOUS 5301 HAS SOUPS 2826 WITH SCORE 2846.819
AT ITER 1792 NEW BEST:: SOT 42149 SOS 20785 HAS SOPS 11226 HAS SOUS 5297 HAS SOUPS 2821 WITH SCORE 2841.785
AT ITER 1831 NEW BEST:: SOT 42152 SOS 20791 HAS SOPS 11229 HAS SOUS 5297 HAS SOUPS 2818 WITH SCORE 2838.791
AT ITER 1836 NEW BEST:: SOT 42019 SOS 20562 HAS SOPS 11003 HAS SOUS 5314 HAS SOUPS 2818 WITH SCORE 2838.562
AT ITER 1865 NEW BEST:: SOT 42015 SOS 20542 HAS SOPS 10999 HAS SOUS 5306 HAS SOUPS 2814 WITH SCORE 2834.542
AT ITER 1882 NEW BEST:: SOT 42011 SOS 20538 HAS SOPS 10995 HAS SOUS 5300 HAS SOUPS 2808 WITH SCORE 2828.538
AT ITER 1896 NEW BEST:: SOT 42012 SOS 20520 HAS SOPS 10972 HAS SOUS 5300 HAS SOUPS 2808 WITH SCORE 2828.52
AT ITER 1927 NEW BEST:: SOT 42001 SOS 20505 HAS SOPS 10966 HAS SOUS 5299 HAS SOUPS 2808 WITH SCORE 2828.505
AT ITER 1933 NEW BEST:: SOT 41910 SOS 20215 HAS SOPS 10712 HAS SOUS 5264 HAS SOUPS 2773 WITH SCORE 2793.215
AT ITER 1955 NEW BEST:: SOT 41903 SOS 20249 HAS SOPS 10730 HAS SOUS 5274 HAS SOUPS 2767 WITH SCORE 2787.249
AT ITER 2016 NEW BEST:: SOT 42000 SOS 20514 HAS SOPS 10813 HAS SOUS 5273 HAS SOUPS 2766 WITH SCORE 2786.514
AT ITER 2039 NEW BEST:: SOT 42000 SOS 20349 HAS SOPS 10746 HAS SOUS 5244 HAS SOUPS 2751 WITH SCORE 2771.349
AT ITER 2054 NEW BEST:: SOT 42076 SOS 20482 HAS SOPS 10823 HAS SOUS 5198 HAS SOUPS 2737 WITH SCORE 2757.482
AT ITER 2071 NEW BEST:: SOT 42130 SOS 20169 HAS SOPS 10515 HAS SOUS 5196 HAS SOUPS 2722 WITH SCORE 2742.169
AT ITER 2085 NEW BEST:: SOT 42112 SOS 20013 HAS SOPS 10303 HAS SOUS 5197 HAS SOUPS 2707 WITH SCORE 2727.013
AT ITER 2129 NEW BEST:: SOT 42128 SOS 20042 HAS SOPS 10316 HAS SOUS 5193 HAS SOUPS 2705 WITH SCORE 2725.042
AT ITER 2168 NEW BEST:: SOT 42126 SOS 20013 HAS SOPS 10301 HAS SOUS 5189 HAS SOUPS 2703 WITH SCORE 2723.013
AT ITER 2183 NEW BEST:: SOT 42257 SOS 19822 HAS SOPS 10089 HAS SOUS 5232 HAS SOUPS 2697 WITH SCORE 2716.822
AT ITER 2190 NEW BEST:: SOT 42249 SOS 19807 HAS SOPS 10088 HAS SOUS 5223 HAS SOUPS 2694 WITH SCORE 2713.807
AT ITER 2236 NEW BEST:: SOT 42262 SOS 19740 HAS SOPS 10003 HAS SOUS 5210 HAS SOUPS 2681 WITH SCORE 2700.74
AT ITER 2255 NEW BEST:: SOT 42231 SOS 19691 HAS SOPS 9960 HAS SOUS 5208 HAS SOUPS 2676 WITH SCORE 2695.691
AT ITER 2263 NEW BEST:: SOT 42491 SOS 20066 HAS SOPS 10203 HAS SOUS 5203 HAS SOUPS 2671 WITH SCORE 2691.066
AT ITER 2288 NEW BEST:: SOT 42464 SOS 20013 HAS SOPS 10159 HAS SOUS 5197 HAS SOUPS 2665 WITH SCORE 2685.013
AT ITER 2299 NEW BEST:: SOT 42462 SOS 20007 HAS SOPS 10175 HAS SOUS 5193 HAS SOUPS 2663 WITH SCORE 2683.007
AT ITER 2332 NEW BEST:: SOT 42398 SOS 19930 HAS SOPS 10137 HAS SOUS 5175 HAS SOUPS 2661 WITH SCORE 2680.93
AT ITER 2336 NEW BEST:: SOT 42356 SOS 19491 HAS SOPS 9766 HAS SOUS 5172 HAS SOUPS 2657 WITH SCORE 2676.491
AT ITER 2368 NEW BEST:: SOT 42303 SOS 19439 HAS SOPS 9712 HAS SOUS 5173 HAS SOUPS 2657 WITH SCORE 2676.439
AT ITER 2371 NEW BEST:: SOT 42291 SOS 19450 HAS SOPS 9680 HAS SOUS 5157 HAS SOUPS 2634 WITH SCORE 2653.45
AT ITER 2376 NEW BEST:: SOT 42187 SOS 19313 HAS SOPS 9531 HAS SOUS 5165 HAS SOUPS 2625 WITH SCORE 2644.313
AT ITER 2400 NEW BEST:: SOT 42182 SOS 19291 HAS SOPS 9515 HAS SOUS 5133 HAS SOUPS 2602 WITH SCORE 2621.291
AT ITER 2429 NEW BEST:: SOT 42183 SOS 19294 HAS SOPS 9493 HAS SOUS 5132 HAS SOUPS 2598 WITH SCORE 2617.294
AT ITER 2435 NEW BEST:: SOT 42174 SOS 19306 HAS SOPS 9481 HAS SOUS 5133 HAS SOUPS 2593 WITH SCORE 2612.306
AT ITER 2449 NEW BEST:: SOT 42169 SOS 19300 HAS SOPS 9480 HAS SOUS 5119 HAS SOUPS 2593 WITH SCORE 2612.3
AT ITER 2462 NEW BEST:: SOT 42165 SOS 19300 HAS SOPS 9480 HAS SOUS 5115 HAS SOUPS 2589 WITH SCORE 2608.3
AT ITER 2470 NEW BEST:: SOT 42164 SOS 19298 HAS SOPS 9480 HAS SOUS 5114 HAS SOUPS 2589 WITH SCORE 2608.298
AT ITER 2507 NEW BEST:: SOT 42178 SOS 19326 HAS SOPS 9498 HAS SOUS 5113 HAS SOUPS 2588 WITH SCORE 2607.326
AT ITER 2543 NEW BEST:: SOT 42157 SOS 19293 HAS SOPS 9474 HAS SOUS 5101 HAS SOUPS 2579 WITH SCORE 2598.293
AT ITER 2551 NEW BEST:: SOT 42145 SOS 19281 HAS SOPS 9462 HAS SOUS 5101 HAS SOUPS 2579 WITH SCORE 2598.281
AT ITER 2573 NEW BEST:: SOT 42144 SOS 19280 HAS SOPS 9461 HAS SOUS 5100 HAS SOUPS 2578 WITH SCORE 2597.28
AT ITER 2595 NEW BEST:: SOT 42142 SOS 19276 HAS SOPS 9459 HAS SOUS 5099 HAS SOUPS 2577 WITH SCORE 2596.276
AT ITER 2621 NEW BEST:: SOT 42146 SOS 19278 HAS SOPS 9460 HAS SOUS 5098 HAS SOUPS 2576 WITH SCORE 2595.278
AT ITER 2669 NEW BEST:: SOT 41890 SOS 18957 HAS SOPS 9313 HAS SOUS 5046 HAS SOUPS 2565 WITH SCORE 2583.957
AT ITER 2751 NEW BEST:: SOT 41888 SOS 18955 HAS SOPS 9312 HAS SOUS 5045 HAS SOUPS 2564 WITH SCORE 2582.955
AT ITER 2757 NEW BEST:: SOT 41881 SOS 18993 HAS SOPS 9298 HAS SOUS 5049 HAS SOUPS 2561 WITH SCORE 2579.993
AT ITER 2763 NEW BEST:: SOT 41865 SOS 19117 HAS SOPS 9402 HAS SOUS 5043 HAS SOUPS 2555 WITH SCORE 2574.117
AT ITER 2780 NEW BEST:: SOT 41843 SOS 19073 HAS SOPS 9402 HAS SOUS 5008 HAS SOUPS 2555 WITH SCORE 2574.073
AT ITER 2782 NEW BEST:: SOT 41849 SOS 19085 HAS SOPS 9402 HAS SOUS 5008 HAS SOUPS 2552 WITH SCORE 2571.085
AT ITER 2787 NEW BEST:: SOT 41896 SOS 19144 HAS SOPS 9432 HAS SOUS 5005 HAS SOUPS 2549 WITH SCORE 2568.144
AT ITER 2788 NEW BEST:: SOT 41896 SOS 19144 HAS SOPS 9432 HAS SOUS 5002 HAS SOUPS 2547 WITH SCORE 2566.144
AT ITER 2790 NEW BEST:: SOT 41846 SOS 19078 HAS SOPS 9384 HAS SOUS 4999 HAS SOUPS 2544 WITH SCORE 2563.078
AT ITER 2812 NEW BEST:: SOT 41800 SOS 18986 HAS SOPS 9384 HAS SOUS 4973 HAS SOUPS 2544 WITH SCORE 2562.986
AT ITER 2861 NEW BEST:: SOT 41800 SOS 18977 HAS SOPS 9384 HAS SOUS 4973 HAS SOUPS 2544 WITH SCORE 2562.977
AT ITER 2866 NEW BEST:: SOT 41800 SOS 18977 HAS SOPS 9384 HAS SOUS 4963 HAS SOUPS 2540 WITH SCORE 2558.977
AT ITER 2870 NEW BEST:: SOT 41765 SOS 18942 HAS SOPS 9374 HAS SOUS 4959 HAS SOUPS 2540 WITH SCORE 2558.942
AT ITER 2888 NEW BEST:: SOT 41772 SOS 18956 HAS SOPS 9376 HAS SOUS 4958 HAS SOUPS 2536 WITH SCORE 2554.956
AT ITER 2907 NEW BEST:: SOT 41736 SOS 18868 HAS SOPS 9320 HAS SOUS 4950 HAS SOUPS 2528 WITH SCORE 2546.868
AT ITER 2909 NEW BEST:: SOT 41770 SOS 18937 HAS SOPS 9356 HAS SOUS 4950 HAS SOUPS 2522 WITH SCORE 2540.937
AT ITER 2911 NEW BEST:: SOT 41769 SOS 18934 HAS SOPS 9355 HAS SOUS 4947 HAS SOUPS 2521 WITH SCORE 2539.934
AT ITER 3002 NEW BEST:: SOT 41750 SOS 18895 HAS SOPS 9331 HAS SOUS 4943 HAS SOUPS 2520 WITH SCORE 2538.895
AT ITER 3021 NEW BEST:: SOT 41754 SOS 18899 HAS SOPS 9335 HAS SOUS 4941 HAS SOUPS 2518 WITH SCORE 2536.899
AT ITER 3064 NEW BEST:: SOT 41840 SOS 19101 HAS SOPS 9392 HAS SOUS 4951 HAS SOUPS 2517 WITH SCORE 2536.101
AT ITER 3070 NEW BEST:: SOT 41826 SOS 19090 HAS SOPS 9387 HAS SOUS 4951 HAS SOUPS 2515 WITH SCORE 2534.09
AT ITER 3072 NEW BEST:: SOT 41765 SOS 19004 HAS SOPS 9345 HAS SOUS 4897 HAS SOUPS 2491 WITH SCORE 2510.004
AT ITER 3074 NEW BEST:: SOT 41768 SOS 18983 HAS SOPS 9305 HAS SOUS 4900 HAS SOUPS 2488 WITH SCORE 2506.983
AT ITER 3101 NEW BEST:: SOT 41800 SOS 19047 HAS SOPS 9305 HAS SOUS 4959 HAS SOUPS 2486 WITH SCORE 2505.047
AT ITER 3134 NEW BEST:: SOT 41810 SOS 19069 HAS SOPS 9301 HAS SOUS 4958 HAS SOUPS 2485 WITH SCORE 2504.069
AT ITER 3139 NEW BEST:: SOT 41816 SOS 19011 HAS SOPS 9299 HAS SOUS 4946 HAS SOUPS 2481 WITH SCORE 2500.011
AT ITER 3183 NEW BEST:: SOT 41801 SOS 18911 HAS SOPS 9243 HAS SOUS 4932 HAS SOUPS 2467 WITH SCORE 2485.911
AT ITER 3230 NEW BEST:: SOT 41797 SOS 18907 HAS SOPS 9243 HAS SOUS 4923 HAS SOUPS 2462 WITH SCORE 2480.907
AT ITER 3239 NEW BEST:: SOT 41799 SOS 18863 HAS SOPS 9181 HAS SOUS 4921 HAS SOUPS 2456 WITH SCORE 2474.863
AT ITER 3301 NEW BEST:: SOT 41789 SOS 18852 HAS SOPS 9172 HAS SOUS 4920 HAS SOUPS 2455 WITH SCORE 2473.852
AT ITER 3313 NEW BEST:: SOT 41797 SOS 18862 HAS SOPS 9182 HAS SOUS 4918 HAS SOUPS 2453 WITH SCORE 2471.862
AT ITER 3365 NEW BEST:: SOT 41752 SOS 18744 HAS SOPS 9043 HAS SOUS 4911 HAS SOUPS 2446 WITH SCORE 2464.744
AT ITER 3372 NEW BEST:: SOT 41757 SOS 18750 HAS SOPS 9043 HAS SOUS 4907 HAS SOUPS 2442 WITH SCORE 2460.75
AT ITER 3390 NEW BEST:: SOT 41707 SOS 18660 HAS SOPS 8973 HAS SOUS 4905 HAS SOUPS 2438 WITH SCORE 2456.66
AT ITER 3399 NEW BEST:: SOT 41701 SOS 18650 HAS SOPS 8957 HAS SOUS 4903 HAS SOUPS 2434 WITH SCORE 2452.65
AT ITER 3446 NEW BEST:: SOT 41701 SOS 18641 HAS SOPS 8957 HAS SOUS 4903 HAS SOUPS 2434 WITH SCORE 2452.641
AT ITER 3460 NEW BEST:: SOT 41667 SOS 18583 HAS SOPS 8953 HAS SOUS 4852 HAS SOUPS 2434 WITH SCORE 2452.583
AT ITER 3467 NEW BEST:: SOT 41689 SOS 18609 HAS SOPS 8965 HAS SOUS 4855 HAS SOUPS 2433 WITH SCORE 2451.609
AT ITER 3471 NEW BEST:: SOT 41521 SOS 18287 HAS SOPS 8863 HAS SOUS 4829 HAS SOUPS 2421 WITH SCORE 2439.287
AT ITER 3476 NEW BEST:: SOT 41521 SOS 18287 HAS SOPS 8863 HAS SOUS 4805 HAS SOUPS 2405 WITH SCORE 2423.287
AT ITER 3495 NEW BEST:: SOT 41517 SOS 18287 HAS SOPS 8857 HAS SOUS 4803 HAS SOUPS 2403 WITH SCORE 2421.287
AT ITER 3637 NEW BEST:: SOT 41509 SOS 18279 HAS SOPS 8833 HAS SOUS 4785 HAS SOUPS 2384 WITH SCORE 2402.279
AT ITER 3638 NEW BEST:: SOT 41502 SOS 18266 HAS SOPS 8828 HAS SOUS 4784 HAS SOUPS 2383 WITH SCORE 2401.266
AT ITER 3692 NEW BEST:: SOT 41497 SOS 18253 HAS SOPS 8827 HAS SOUS 4783 HAS SOUPS 2383 WITH SCORE 2401.253
AT ITER 3710 NEW BEST:: SOT 41493 SOS 18245 HAS SOPS 8823 HAS SOUS 4782 HAS SOUPS 2383 WITH SCORE 2401.245
AT ITER 3737 NEW BEST:: SOT 41462 SOS 18243 HAS SOPS 8831 HAS SOUS 4775 HAS SOUPS 2379 WITH SCORE 2397.243
AT ITER 3763 NEW BEST:: SOT 41493 SOS 18265 HAS SOPS 8843 HAS SOUS 4769 HAS SOUPS 2378 WITH SCORE 2396.265
AT ITER 3774 NEW BEST:: SOT 41491 SOS 18259 HAS SOPS 8841 HAS SOUS 4768 HAS SOUPS 2378 WITH SCORE 2396.259
AT ITER 3824 NEW BEST:: SOT 41452 SOS 18182 HAS SOPS 8794 HAS SOUS 4763 HAS SOUPS 2373 WITH SCORE 2391.182
AT ITER 3864 NEW BEST:: SOT 41456 SOS 18188 HAS SOPS 8797 HAS SOUS 4762 HAS SOUPS 2372 WITH SCORE 2390.188
AT ITER 3899 NEW BEST:: SOT 41456 SOS 18188 HAS SOPS 8797 HAS SOUS 4744 HAS SOUPS 2362 WITH SCORE 2380.188
AT ITER 3981 NEW BEST:: SOT 41446 SOS 18178 HAS SOPS 8797 HAS SOUS 4744 HAS SOUPS 2362 WITH SCORE 2380.178
AT ITER 4084 NEW BEST:: SOT 41446 SOS 18178 HAS SOPS 8797 HAS SOUS 4734 HAS SOUPS 2352 WITH SCORE 2370.178
AT ITER 4170 NEW BEST:: SOT 41189 SOS 17850 HAS SOPS 8534 HAS SOUS 4733 HAS SOUPS 2339 WITH SCORE 2356.85
AT ITER 4203 NEW BEST:: SOT 41138 SOS 17835 HAS SOPS 8468 HAS SOUS 4750 HAS SOUPS 2339 WITH SCORE 2356.835
AT ITER 4227 NEW BEST:: SOT 41121 SOS 17818 HAS SOPS 8451 HAS SOUS 4733 HAS SOUPS 2322 WITH SCORE 2339.818
AT ITER 4289 NEW BEST:: SOT 41197 SOS 17971 HAS SOPS 8501 HAS SOUS 4755 HAS SOUPS 2319 WITH SCORE 2336.971
AT ITER 4308 NEW BEST:: SOT 41197 SOS 17971 HAS SOPS 8501 HAS SOUS 4746 HAS SOUPS 2314 WITH SCORE 2331.971
AT ITER 4322 NEW BEST:: SOT 40992 SOS 17753 HAS SOPS 8297 HAS SOUS 4722 HAS SOUPS 2308 WITH SCORE 2325.753
AT ITER 4355 NEW BEST:: SOT 40996 SOS 17684 HAS SOPS 8249 HAS SOUS 4719 HAS SOUPS 2305 WITH SCORE 2322.684
AT ITER 4425 NEW BEST:: SOT 40988 SOS 17676 HAS SOPS 8241 HAS SOUS 4717 HAS SOUPS 2303 WITH SCORE 2320.676
AT ITER 4453 NEW BEST:: SOT 41000 SOS 17649 HAS SOPS 8225 HAS SOUS 4699 HAS SOUPS 2290 WITH SCORE 2307.649
AT ITER 4471 NEW BEST:: SOT 40998 SOS 17659 HAS SOPS 8205 HAS SOUS 4698 HAS SOUPS 2283 WITH SCORE 2300.659
AT ITER 4494 NEW BEST:: SOT 40974 SOS 17611 HAS SOPS 8193 HAS SOUS 4680 HAS SOUPS 2271 WITH SCORE 2288.611
AT ITER 4591 NEW BEST:: SOT 40968 SOS 17547 HAS SOPS 8117 HAS SOUS 4670 HAS SOUPS 2257 WITH SCORE 2274.547
AT ITER 4608 NEW BEST:: SOT 40967 SOS 17539 HAS SOPS 8116 HAS SOUS 4669 HAS SOUPS 2257 WITH SCORE 2274.539
AT ITER 4649 NEW BEST:: SOT 40971 SOS 17518 HAS SOPS 8092 HAS SOUS 4667 HAS SOUPS 2254 WITH SCORE 2271.518
AT ITER 4664 NEW BEST:: SOT 40968 SOS 17511 HAS SOPS 8090 HAS SOUS 4666 HAS SOUPS 2254 WITH SCORE 2271.511
AT ITER 4699 NEW BEST:: SOT 40974 SOS 17523 HAS SOPS 8090 HAS SOUS 4670 HAS SOUPS 2250 WITH SCORE 2267.523
AT ITER 4849 NEW BEST:: SOT 40990 SOS 17537 HAS SOPS 8096 HAS SOUS 4666 HAS SOUPS 2248 WITH SCORE 2265.537
AT ITER 4855 NEW BEST:: SOT 40992 SOS 17469 HAS SOPS 8020 HAS SOUS 4666 HAS SOUPS 2246 WITH SCORE 2263.469
AT ITER 4873 NEW BEST:: SOT 40765 SOS 16954 HAS SOPS 7715 HAS SOUS 4656 HAS SOUPS 2242 WITH SCORE 2258.954
AT ITER 4892 NEW BEST:: SOT 40728 SOS 16880 HAS SOPS 7677 HAS SOUS 4638 HAS SOUPS 2233 WITH SCORE 2249.88
AT ITER 5001 NEW BEST:: SOT 40726 SOS 16876 HAS SOPS 7673 HAS SOUS 4636 HAS SOUPS 2231 WITH SCORE 2247.876
AT ITER 5005 NEW BEST:: SOT 40744 SOS 16849 HAS SOPS 7673 HAS SOUS 4629 HAS SOUPS 2231 WITH SCORE 2247.849
AT ITER 5054 NEW BEST:: SOT 40777 SOS 16932 HAS SOPS 7696 HAS SOUS 4618 HAS SOUPS 2220 WITH SCORE 2236.932
AT ITER 5068 NEW BEST:: SOT 40767 SOS 16912 HAS SOPS 7684 HAS SOUS 4610 HAS SOUPS 2214 WITH SCORE 2230.912
AT ITER 5091 NEW BEST:: SOT 40787 SOS 16952 HAS SOPS 7680 HAS SOUS 4618 HAS SOUPS 2212 WITH SCORE 2228.952
AT ITER 5111 NEW BEST:: SOT 40784 SOS 16948 HAS SOPS 7676 HAS SOUS 4618 HAS SOUPS 2212 WITH SCORE 2228.948
AT ITER 5118 NEW BEST:: SOT 40805 SOS 16564 HAS SOPS 7286 HAS SOUS 4624 HAS SOUPS 2209 WITH SCORE 2225.564
AT ITER 5155 NEW BEST:: SOT 40800 SOS 16557 HAS SOPS 7283 HAS SOUS 4619 HAS SOUPS 2206 WITH SCORE 2222.557
AT ITER 5168 NEW BEST:: SOT 40794 SOS 16503 HAS SOPS 7229 HAS SOUS 4612 HAS SOUPS 2199 WITH SCORE 2215.503
AT ITER 5230 NEW BEST:: SOT 40855 SOS 16572 HAS SOPS 7272 HAS SOUS 4591 HAS SOUPS 2185 WITH SCORE 2201.572
AT ITER 5259 NEW BEST:: SOT 40833 SOS 16464 HAS SOPS 7207 HAS SOUS 4586 HAS SOUPS 2183 WITH SCORE 2199.464
AT ITER 5272 NEW BEST:: SOT 40820 SOS 16445 HAS SOPS 7191 HAS SOUS 4584 HAS SOUPS 2180 WITH SCORE 2196.445
AT ITER 5285 NEW BEST:: SOT 40821 SOS 16447 HAS SOPS 7192 HAS SOUS 4584 HAS SOUPS 2179 WITH SCORE 2195.447
AT ITER 5322 NEW BEST:: SOT 40927 SOS 16641 HAS SOPS 7277 HAS SOUS 4571 HAS SOUPS 2163 WITH SCORE 2179.641
AT ITER 5347 NEW BEST:: SOT 40924 SOS 16634 HAS SOPS 7267 HAS SOUS 4572 HAS SOUPS 2163 WITH SCORE 2179.634
AT ITER 5407 NEW BEST:: SOT 40860 SOS 16593 HAS SOPS 7227 HAS SOUS 4562 HAS SOUPS 2157 WITH SCORE 2173.593
AT ITER 5445 NEW BEST:: SOT 40837 SOS 16570 HAS SOPS 7223 HAS SOUS 4558 HAS SOUPS 2153 WITH SCORE 2169.57
AT ITER 5650 NEW BEST:: SOT 40829 SOS 16568 HAS SOPS 7219 HAS SOUS 4554 HAS SOUPS 2149 WITH SCORE 2165.568
AT ITER 5687 NEW BEST:: SOT 40607 SOS 16396 HAS SOPS 7104 HAS SOUS 4492 HAS SOUPS 2139 WITH SCORE 2155.396
AT ITER 5720 NEW BEST:: SOT 40738 SOS 16661 HAS SOPS 7180 HAS SOUS 4498 HAS SOUPS 2137 WITH SCORE 2153.661
AT ITER 5722 NEW BEST:: SOT 40710 SOS 16630 HAS SOPS 7161 HAS SOUS 4497 HAS SOUPS 2133 WITH SCORE 2149.63
AT ITER 5774 NEW BEST:: SOT 40750 SOS 16611 HAS SOPS 7132 HAS SOUS 4496 HAS SOUPS 2132 WITH SCORE 2148.611
AT ITER 5794 NEW BEST:: SOT 40752 SOS 16605 HAS SOPS 7134 HAS SOUS 4494 HAS SOUPS 2131 WITH SCORE 2147.605
AT ITER 5895 NEW BEST:: SOT 40752 SOS 16605 HAS SOPS 7122 HAS SOUS 4492 HAS SOUPS 2127 WITH SCORE 2143.605
AT ITER 5918 NEW BEST:: SOT 40752 SOS 16607 HAS SOPS 7118 HAS SOUS 4488 HAS SOUPS 2123 WITH SCORE 2139.607
AT ITER 5963 NEW BEST:: SOT 40697 SOS 16527 HAS SOPS 7082 HAS SOUS 4476 HAS SOUPS 2119 WITH SCORE 2135.527
AT ITER 6005 NEW BEST:: SOT 40683 SOS 16523 HAS SOPS 7085 HAS SOUS 4474 HAS SOUPS 2117 WITH SCORE 2133.523
AT ITER 6052 NEW BEST:: SOT 40659 SOS 16491 HAS SOPS 7061 HAS SOUS 4462 HAS SOUPS 2105 WITH SCORE 2121.491
AT ITER 6093 NEW BEST:: SOT 40800 SOS 16776 HAS SOPS 7130 HAS SOUS 4459 HAS SOUPS 2102 WITH SCORE 2118.776
AT ITER 6128 NEW BEST:: SOT 40794 SOS 16722 HAS SOPS 7118 HAS SOUS 4453 HAS SOUPS 2102 WITH SCORE 2118.722
AT ITER 6168 NEW BEST:: SOT 40793 SOS 16706 HAS SOPS 7116 HAS SOUS 4451 HAS SOUPS 2102 WITH SCORE 2118.706
AT ITER 6256 NEW BEST:: SOT 40797 SOS 16712 HAS SOPS 7121 HAS SOUS 4447 HAS SOUPS 2101 WITH SCORE 2117.712
AT ITER 6257 NEW BEST:: SOT 40815 SOS 16696 HAS SOPS 7081 HAS SOUS 4449 HAS SOUPS 2099 WITH SCORE 2115.696
AT ITER 6274 NEW BEST:: SOT 40756 SOS 16579 HAS SOPS 7044 HAS SOUS 4448 HAS SOUPS 2098 WITH SCORE 2114.579
AT ITER 6302 NEW BEST:: SOT 40744 SOS 16548 HAS SOPS 7010 HAS SOUS 4439 HAS SOUPS 2089 WITH SCORE 2105.548
AT ITER 6309 NEW BEST:: SOT 40726 SOS 16516 HAS SOPS 6980 HAS SOUS 4439 HAS SOUPS 2087 WITH SCORE 2103.516
AT ITER 6395 NEW BEST:: SOT 40709 SOS 16553 HAS SOPS 7008 HAS SOUS 4438 HAS SOUPS 2086 WITH SCORE 2102.553
AT ITER 6406 NEW BEST:: SOT 40710 SOS 16509 HAS SOPS 6968 HAS SOUS 4438 HAS SOUPS 2086 WITH SCORE 2102.509
AT ITER 6429 NEW BEST:: SOT 40621 SOS 16490 HAS SOPS 6943 HAS SOUS 4458 HAS SOUPS 2085 WITH SCORE 2101.49
AT ITER 6436 NEW BEST:: SOT 40629 SOS 16486 HAS SOPS 6943 HAS SOUS 4444 HAS SOUPS 2071 WITH SCORE 2087.486
AT ITER 6468 NEW BEST:: SOT 40469 SOS 16305 HAS SOPS 6871 HAS SOUS 4433 HAS SOUPS 2069 WITH SCORE 2085.305
AT ITER 6474 NEW BEST:: SOT 40469 SOS 16317 HAS SOPS 6872 HAS SOUS 4435 HAS SOUPS 2068 WITH SCORE 2084.317
AT ITER 6542 NEW BEST:: SOT 40497 SOS 16357 HAS SOPS 6914 HAS SOUS 4418 HAS SOUPS 2066 WITH SCORE 2082.357
AT ITER 6548 NEW BEST:: SOT 40496 SOS 16355 HAS SOPS 6912 HAS SOUS 4417 HAS SOUPS 2065 WITH SCORE 2081.355
AT ITER 6584 NEW BEST:: SOT 40476 SOS 16289 HAS SOPS 6829 HAS SOUS 4407 HAS SOUPS 2055 WITH SCORE 2071.289
AT ITER 6716 NEW BEST:: SOT 40469 SOS 16033 HAS SOPS 6583 HAS SOUS 4397 HAS SOUPS 2045 WITH SCORE 2061.033
AT ITER 6725 NEW BEST:: SOT 40451 SOS 15991 HAS SOPS 6555 HAS SOUS 4393 HAS SOUPS 2041 WITH SCORE 2056.991
AT ITER 6752 NEW BEST:: SOT 40439 SOS 16092 HAS SOPS 6534 HAS SOUS 4383 HAS SOUPS 2031 WITH SCORE 2047.092
AT ITER 6793 NEW BEST:: SOT 40409 SOS 16062 HAS SOPS 6504 HAS SOUS 4383 HAS SOUPS 2031 WITH SCORE 2047.062
AT ITER 6808 NEW BEST:: SOT 40390 SOS 16125 HAS SOPS 6499 HAS SOUS 4372 HAS SOUPS 2020 WITH SCORE 2036.125
AT ITER 6962 NEW BEST:: SOT 40408 SOS 16121 HAS SOPS 6491 HAS SOUS 4373 HAS SOUPS 2019 WITH SCORE 2035.121
AT ITER 7053 NEW BEST:: SOT 40390 SOS 16099 HAS SOPS 6479 HAS SOUS 4357 HAS SOUPS 2011 WITH SCORE 2027.099
AT ITER 7126 NEW BEST:: SOT 40412 SOS 16118 HAS SOPS 6485 HAS SOUS 4360 HAS SOUPS 2010 WITH SCORE 2026.118
AT ITER 7175 NEW BEST:: SOT 40395 SOS 16085 HAS SOPS 6466 HAS SOUS 4357 HAS SOUPS 2007 WITH SCORE 2023.085
AT ITER 7272 NEW BEST:: SOT 40262 SOS 15962 HAS SOPS 6379 HAS SOUS 4334 HAS SOUPS 1984 WITH SCORE 1999.962
AT ITER 7273 NEW BEST:: SOT 40270 SOS 15967 HAS SOPS 6384 HAS SOUS 4329 HAS SOUPS 1979 WITH SCORE 1994.967
AT ITER 7278 NEW BEST:: SOT 40270 SOS 15960 HAS SOPS 6377 HAS SOUS 4328 HAS SOUPS 1978 WITH SCORE 1993.96
AT ITER 7437 NEW BEST:: SOT 40270 SOS 15964 HAS SOPS 6377 HAS SOUS 4324 HAS SOUPS 1974 WITH SCORE 1989.964
AT ITER 7451 NEW BEST:: SOT 40308 SOS 15960 HAS SOPS 6367 HAS SOUS 4320 HAS SOUPS 1966 WITH SCORE 1981.96
AT ITER 7565 NEW BEST:: SOT 40307 SOS 15953 HAS SOPS 6359 HAS SOUS 4319 HAS SOUPS 1965 WITH SCORE 1980.953
AT ITER 7605 NEW BEST:: SOT 40292 SOS 15928 HAS SOPS 6327 HAS SOUS 4312 HAS SOUPS 1958 WITH SCORE 1973.928
AT ITER 7625 NEW BEST:: SOT 40284 SOS 15858 HAS SOPS 6302 HAS SOUS 4303 HAS SOUPS 1958 WITH SCORE 1973.858
AT ITER 7674 NEW BEST:: SOT 40266 SOS 15831 HAS SOPS 6290 HAS SOUS 4276 HAS SOUPS 1943 WITH SCORE 1958.831
AT ITER 7688 NEW BEST:: SOT 40238 SOS 15796 HAS SOPS 6262 HAS SOUS 4284 HAS SOUPS 1942 WITH SCORE 1957.796
AT ITER 7766 NEW BEST:: SOT 40249 SOS 15816 HAS SOPS 6267 HAS SOUS 4283 HAS SOUPS 1941 WITH SCORE 1956.816
AT ITER 7795 NEW BEST:: SOT 40249 SOS 15813 HAS SOPS 6268 HAS SOUS 4282 HAS SOUPS 1940 WITH SCORE 1955.813
AT ITER 7837 NEW BEST:: SOT 40249 SOS 15812 HAS SOPS 6268 HAS SOUS 4281 HAS SOUPS 1940 WITH SCORE 1955.812
AT ITER 7888 NEW BEST:: SOT 40246 SOS 15809 HAS SOPS 6268 HAS SOUS 4279 HAS SOUPS 1938 WITH SCORE 1953.809
AT ITER 8049 NEW BEST:: SOT 40235 SOS 15809 HAS SOPS 6264 HAS SOUS 4276 HAS SOUPS 1935 WITH SCORE 1950.809
AT ITER 8076 NEW BEST:: SOT 40254 SOS 15850 HAS SOPS 6272 HAS SOUS 4273 HAS SOUPS 1932 WITH SCORE 1947.85
AT ITER 8117 NEW BEST:: SOT 40254 SOS 15854 HAS SOPS 6272 HAS SOUS 4272 HAS SOUPS 1931 WITH SCORE 1946.854
AT ITER 8168 NEW BEST:: SOT 40266 SOS 15874 HAS SOPS 6284 HAS SOUS 4262 HAS SOUPS 1927 WITH SCORE 1942.874
AT ITER 8314 NEW BEST:: SOT 40256 SOS 15875 HAS SOPS 6221 HAS SOUS 4240 HAS SOUPS 1892 WITH SCORE 1907.875
AT ITER 8556 NEW BEST:: SOT 40254 SOS 15871 HAS SOPS 6213 HAS SOUS 4238 HAS SOUPS 1889 WITH SCORE 1904.871
AT ITER 8600 NEW BEST:: SOT 40316 SOS 15995 HAS SOPS 6213 HAS SOUS 4258 HAS SOUPS 1881 WITH SCORE 1896.995
AT ITER 8752 NEW BEST:: SOT 40300 SOS 15988 HAS SOPS 6211 HAS SOUS 4255 HAS SOUPS 1880 WITH SCORE 1895.988
AT ITER 8832 NEW BEST:: SOT 40298 SOS 15978 HAS SOPS 6200 HAS SOUS 4254 HAS SOUPS 1879 WITH SCORE 1894.978
AT ITER 8925 NEW BEST:: SOT 40288 SOS 15953 HAS SOPS 6176 HAS SOUS 4244 HAS SOUPS 1872 WITH SCORE 1887.953
AT ITER 8968 NEW BEST:: SOT 40275 SOS 15934 HAS SOPS 6168 HAS SOUS 4229 HAS SOUPS 1869 WITH SCORE 1884.934
AT ITER 8982 NEW BEST:: SOT 40235 SOS 15854 HAS SOPS 6168 HAS SOUS 4219 HAS SOUPS 1869 WITH SCORE 1884.854
AT ITER 9054 NEW BEST:: SOT 40259 SOS 15830 HAS SOPS 6180 HAS SOUS 4216 HAS SOUPS 1866 WITH SCORE 1881.83
AT ITER 9094 NEW BEST:: SOT 40251 SOS 15829 HAS SOPS 6182 HAS SOUS 4209 HAS SOUPS 1865 WITH SCORE 1880.829
AT ITER 9097 NEW BEST:: SOT 40256 SOS 15818 HAS SOPS 6185 HAS SOUS 4209 HAS SOUPS 1865 WITH SCORE 1880.818
AT ITER 9104 NEW BEST:: SOT 40248 SOS 15763 HAS SOPS 6188 HAS SOUS 4204 HAS SOUPS 1864 WITH SCORE 1879.763
AT ITER 9153 NEW BEST:: SOT 40243 SOS 15759 HAS SOPS 6185 HAS SOUS 4204 HAS SOUPS 1864 WITH SCORE 1879.759
AT ITER 9184 NEW BEST:: SOT 40156 SOS 15582 HAS SOPS 6075 HAS SOUS 4183 HAS SOUPS 1852 WITH SCORE 1867.582
AT ITER 9206 NEW BEST:: SOT 40160 SOS 15588 HAS SOPS 6078 HAS SOUS 4180 HAS SOUPS 1849 WITH SCORE 1864.588
AT ITER 9315 NEW BEST:: SOT 40146 SOS 15574 HAS SOPS 6074 HAS SOUS 4172 HAS SOUPS 1849 WITH SCORE 1864.574
AT ITER 9461 NEW BEST:: SOT 40147 SOS 15566 HAS SOPS 6073 HAS SOUS 4169 HAS SOUPS 1847 WITH SCORE 1862.566
AT ITER 9491 NEW BEST:: SOT 40073 SOS 15448 HAS SOPS 5963 HAS SOUS 4172 HAS SOUPS 1842 WITH SCORE 1857.448
AT ITER 9520 NEW BEST:: SOT 40073 SOS 15443 HAS SOPS 5961 HAS SOUS 4171 HAS SOUPS 1840 WITH SCORE 1855.443
AT ITER 9562 NEW BEST:: SOT 40065 SOS 15429 HAS SOPS 5957 HAS SOUS 4171 HAS SOUPS 1840 WITH SCORE 1855.429
AT ITER 9611 NEW BEST:: SOT 40013 SOS 15420 HAS SOPS 5959 HAS SOUS 4111 HAS SOUPS 1804 WITH SCORE 1819.42
AT ITER 9696 NEW BEST:: SOT 40020 SOS 15426 HAS SOPS 5961 HAS SOUS 4109 HAS SOUPS 1803 WITH SCORE 1818.426
AT ITER 9741 NEW BEST:: SOT 40045 SOS 15498 HAS SOPS 5868 HAS SOUS 4112 HAS SOUPS 1795 WITH SCORE 1810.498
AT ITER 9784 NEW BEST:: SOT 40067 SOS 15536 HAS SOPS 5886 HAS SOUS 4110 HAS SOUPS 1794 WITH SCORE 1809.536
AT ITER 9850 NEW BEST:: SOT 40067 SOS 15515 HAS SOPS 5886 HAS SOUS 4110 HAS SOUPS 1794 WITH SCORE 1809.515
AT ITER 9855 NEW BEST:: SOT 40056 SOS 15492 HAS SOPS 5870 HAS SOUS 4105 HAS SOUPS 1790 WITH SCORE 1805.492
AT ITER 9959 NEW BEST:: SOT 40078 SOS 15543 HAS SOPS 5878 HAS SOUS 4098 HAS SOUPS 1783 WITH SCORE 1798.543
STATE_SPACE STATES 24010001 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 52 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1664236001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678255203010

--------------------
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="DLCround-PT-03a"
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 DLCround-PT-03a, 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 r099-tall-167814472700624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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