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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 6.2K Feb 26 05:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 05:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 05:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 05:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 05:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 05:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 05:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 05:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 101K Mar 5 18:23 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 1679194102308

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=SmartHome-PT-14
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 14
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 422 places, 448 transitions, 1026 arcs.
AT ITER 0 NEW BEST:: SOT 111766 SOS 25867 HAS SOPS 25867 HAS SOUS 25198 HAS SOUPS 25198 WITH SCORE 25223.867
AT ITER 59 NEW BEST:: SOT 111766 SOS 25856 HAS SOPS 25856 HAS SOUS 25187 HAS SOUPS 25187 WITH SCORE 25212.856
AT ITER 72 NEW BEST:: SOT 110671 SOS 26022 HAS SOPS 26022 HAS SOUS 24255 HAS SOUPS 24255 WITH SCORE 24281.022
AT ITER 73 NEW BEST:: SOT 110678 SOS 26011 HAS SOPS 26011 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24270.011
AT ITER 76 NEW BEST:: SOT 110678 SOS 25931 HAS SOPS 25931 HAS SOUS 24198 HAS SOUPS 24198 WITH SCORE 24223.931
AT ITER 123 NEW BEST:: SOT 110624 SOS 25796 HAS SOPS 25796 HAS SOUS 24136 HAS SOUPS 24136 WITH SCORE 24161.796
AT ITER 129 NEW BEST:: SOT 110624 SOS 25793 HAS SOPS 25793 HAS SOUS 24133 HAS SOUPS 24133 WITH SCORE 24158.793
AT ITER 152 NEW BEST:: SOT 110591 SOS 25791 HAS SOPS 25791 HAS SOUS 24116 HAS SOUPS 24116 WITH SCORE 24141.791
AT ITER 154 NEW BEST:: SOT 110579 SOS 25748 HAS SOPS 25748 HAS SOUS 24088 HAS SOUPS 24088 WITH SCORE 24113.748
AT ITER 155 NEW BEST:: SOT 110579 SOS 25732 HAS SOPS 25732 HAS SOUS 24072 HAS SOUPS 24072 WITH SCORE 24097.732
AT ITER 177 NEW BEST:: SOT 110605 SOS 25672 HAS SOPS 25672 HAS SOUS 24049 HAS SOUPS 24049 WITH SCORE 24074.672
AT ITER 195 NEW BEST:: SOT 110239 SOS 25480 HAS SOPS 25480 HAS SOUS 23670 HAS SOUPS 23670 WITH SCORE 23695.48
AT ITER 198 NEW BEST:: SOT 110235 SOS 25476 HAS SOPS 25476 HAS SOUS 23666 HAS SOUPS 23666 WITH SCORE 23691.476
AT ITER 202 NEW BEST:: SOT 110235 SOS 25434 HAS SOPS 25434 HAS SOUS 23624 HAS SOUPS 23624 WITH SCORE 23649.434
AT ITER 208 NEW BEST:: SOT 110223 SOS 25410 HAS SOPS 25410 HAS SOUS 23612 HAS SOUPS 23612 WITH SCORE 23637.41
AT ITER 212 NEW BEST:: SOT 109503 SOS 24954 HAS SOPS 24954 HAS SOUS 22917 HAS SOUPS 22917 WITH SCORE 22941.954
AT ITER 216 NEW BEST:: SOT 109498 SOS 24967 HAS SOPS 24967 HAS SOUS 22912 HAS SOUPS 22912 WITH SCORE 22936.967
AT ITER 245 NEW BEST:: SOT 109493 SOS 24957 HAS SOPS 24957 HAS SOUS 22907 HAS SOUPS 22907 WITH SCORE 22931.957
AT ITER 249 NEW BEST:: SOT 109493 SOS 24917 HAS SOPS 24917 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22891.917
AT ITER 260 NEW BEST:: SOT 109439 SOS 24863 HAS SOPS 24863 HAS SOUS 22806 HAS SOUPS 22806 WITH SCORE 22830.863
AT ITER 290 NEW BEST:: SOT 109411 SOS 24789 HAS SOPS 24789 HAS SOUS 22732 HAS SOUPS 22732 WITH SCORE 22756.789
AT ITER 320 NEW BEST:: SOT 109363 SOS 24691 HAS SOPS 24691 HAS SOUS 22634 HAS SOUPS 22634 WITH SCORE 22658.691
AT ITER 334 NEW BEST:: SOT 109317 SOS 24575 HAS SOPS 24575 HAS SOUS 22491 HAS SOUPS 22491 WITH SCORE 22515.575
AT ITER 338 NEW BEST:: SOT 109307 SOS 24555 HAS SOPS 24555 HAS SOUS 22455 HAS SOUPS 22455 WITH SCORE 22479.555
AT ITER 345 NEW BEST:: SOT 109281 SOS 24503 HAS SOPS 24503 HAS SOUS 22344 HAS SOUPS 22344 WITH SCORE 22368.503
AT ITER 351 NEW BEST:: SOT 108728 SOS 30011 HAS SOPS 30011 HAS SOUS 22322 HAS SOUPS 22322 WITH SCORE 22352.011
AT ITER 354 NEW BEST:: SOT 108693 SOS 29898 HAS SOPS 29898 HAS SOUS 22243 HAS SOUPS 22243 WITH SCORE 22272.898
AT ITER 357 NEW BEST:: SOT 108692 SOS 29908 HAS SOPS 29908 HAS SOUS 22242 HAS SOUPS 22242 WITH SCORE 22271.908
AT ITER 371 NEW BEST:: SOT 108722 SOS 29905 HAS SOPS 29905 HAS SOUS 22239 HAS SOUPS 22239 WITH SCORE 22268.905
AT ITER 380 NEW BEST:: SOT 108359 SOS 29641 HAS SOPS 29641 HAS SOUS 21909 HAS SOUPS 21909 WITH SCORE 21938.641
AT ITER 390 NEW BEST:: SOT 108348 SOS 29624 HAS SOPS 29624 HAS SOUS 21897 HAS SOUPS 21897 WITH SCORE 21926.624
AT ITER 418 NEW BEST:: SOT 108337 SOS 29613 HAS SOPS 29613 HAS SOUS 21886 HAS SOUPS 21886 WITH SCORE 21915.613
AT ITER 420 NEW BEST:: SOT 108336 SOS 29611 HAS SOPS 29611 HAS SOUS 21884 HAS SOUPS 21884 WITH SCORE 21913.611
AT ITER 433 NEW BEST:: SOT 108121 SOS 29503 HAS SOPS 29503 HAS SOUS 21774 HAS SOUPS 21774 WITH SCORE 21803.503
AT ITER 438 NEW BEST:: SOT 108113 SOS 29479 HAS SOPS 29479 HAS SOUS 21767 HAS SOUPS 21767 WITH SCORE 21796.479
AT ITER 441 NEW BEST:: SOT 108121 SOS 29498 HAS SOPS 29498 HAS SOUS 21731 HAS SOUPS 21731 WITH SCORE 21760.498
AT ITER 460 NEW BEST:: SOT 108085 SOS 29426 HAS SOPS 29426 HAS SOUS 21723 HAS SOUPS 21723 WITH SCORE 21752.426
AT ITER 461 NEW BEST:: SOT 108095 SOS 29446 HAS SOPS 29446 HAS SOUS 21713 HAS SOUPS 21713 WITH SCORE 21742.446
AT ITER 482 NEW BEST:: SOT 108108 SOS 29440 HAS SOPS 29440 HAS SOUS 21694 HAS SOUPS 21694 WITH SCORE 21723.44
AT ITER 498 NEW BEST:: SOT 107444 SOS 29414 HAS SOPS 29414 HAS SOUS 21066 HAS SOUPS 21066 WITH SCORE 21095.414
AT ITER 499 NEW BEST:: SOT 107443 SOS 29413 HAS SOPS 29413 HAS SOUS 21043 HAS SOUPS 21043 WITH SCORE 21072.413
AT ITER 514 NEW BEST:: SOT 107209 SOS 30517 HAS SOPS 30517 HAS SOUS 20989 HAS SOUPS 20989 WITH SCORE 21019.517
AT ITER 515 NEW BEST:: SOT 107156 SOS 30411 HAS SOPS 30411 HAS SOUS 20835 HAS SOUPS 20835 WITH SCORE 20865.411
AT ITER 516 NEW BEST:: SOT 107152 SOS 30403 HAS SOPS 30403 HAS SOUS 20827 HAS SOUPS 20827 WITH SCORE 20857.403
AT ITER 530 NEW BEST:: SOT 107122 SOS 29517 HAS SOPS 29517 HAS SOUS 20702 HAS SOUPS 20702 WITH SCORE 20731.517
AT ITER 539 NEW BEST:: SOT 107104 SOS 29452 HAS SOPS 29452 HAS SOUS 20655 HAS SOUPS 20655 WITH SCORE 20684.452
AT ITER 554 NEW BEST:: SOT 107029 SOS 29332 HAS SOPS 29332 HAS SOUS 20535 HAS SOUPS 20535 WITH SCORE 20564.332
AT ITER 565 NEW BEST:: SOT 107029 SOS 29332 HAS SOPS 29332 HAS SOUS 20528 HAS SOUPS 20528 WITH SCORE 20557.332
AT ITER 568 NEW BEST:: SOT 107025 SOS 29311 HAS SOPS 29311 HAS SOUS 20507 HAS SOUPS 20507 WITH SCORE 20536.311
AT ITER 570 NEW BEST:: SOT 106959 SOS 29212 HAS SOPS 29212 HAS SOUS 20441 HAS SOUPS 20441 WITH SCORE 20470.212
AT ITER 572 NEW BEST:: SOT 106943 SOS 29186 HAS SOPS 29186 HAS SOUS 20432 HAS SOUPS 20432 WITH SCORE 20461.186
AT ITER 580 NEW BEST:: SOT 106934 SOS 29168 HAS SOPS 29168 HAS SOUS 20414 HAS SOUPS 20414 WITH SCORE 20443.168
AT ITER 589 NEW BEST:: SOT 106934 SOS 29084 HAS SOPS 29084 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20401.084
AT ITER 601 NEW BEST:: SOT 106669 SOS 29851 HAS SOPS 29851 HAS SOUS 20290 HAS SOUPS 20290 WITH SCORE 20319.851
AT ITER 638 NEW BEST:: SOT 106564 SOS 29641 HAS SOPS 29641 HAS SOUS 20206 HAS SOUPS 20206 WITH SCORE 20235.641
AT ITER 647 NEW BEST:: SOT 106556 SOS 29633 HAS SOPS 29633 HAS SOUS 20198 HAS SOUPS 20198 WITH SCORE 20227.633
AT ITER 674 NEW BEST:: SOT 106556 SOS 29616 HAS SOPS 29616 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20210.616
AT ITER 682 NEW BEST:: SOT 106525 SOS 29594 HAS SOPS 29594 HAS SOUS 20159 HAS SOUPS 20159 WITH SCORE 20188.594
AT ITER 722 NEW BEST:: SOT 106513 SOS 27191 HAS SOPS 27191 HAS SOUS 20147 HAS SOUPS 20147 WITH SCORE 20174.191
AT ITER 724 NEW BEST:: SOT 106504 SOS 27173 HAS SOPS 27173 HAS SOUS 20087 HAS SOUPS 20087 WITH SCORE 20114.173
AT ITER 730 NEW BEST:: SOT 106504 SOS 27171 HAS SOPS 27171 HAS SOUS 20087 HAS SOUPS 20087 WITH SCORE 20114.171
AT ITER 733 NEW BEST:: SOT 106497 SOS 27166 HAS SOPS 27166 HAS SOUS 20082 HAS SOUPS 20082 WITH SCORE 20109.166
AT ITER 740 NEW BEST:: SOT 106546 SOS 27004 HAS SOPS 27004 HAS SOUS 19920 HAS SOUPS 19920 WITH SCORE 19947.004
AT ITER 744 NEW BEST:: SOT 106520 SOS 26916 HAS SOPS 26916 HAS SOUS 19858 HAS SOUPS 19858 WITH SCORE 19884.916
AT ITER 750 NEW BEST:: SOT 106558 SOS 26902 HAS SOPS 26902 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19870.902
AT ITER 754 NEW BEST:: SOT 106451 SOS 26839 HAS SOPS 26839 HAS SOUS 19781 HAS SOUPS 19781 WITH SCORE 19807.839
AT ITER 755 NEW BEST:: SOT 106406 SOS 26749 HAS SOPS 26749 HAS SOUS 19691 HAS SOUPS 19691 WITH SCORE 19717.749
AT ITER 768 NEW BEST:: SOT 106406 SOS 26691 HAS SOPS 26691 HAS SOUS 19691 HAS SOUPS 19691 WITH SCORE 19717.691
AT ITER 771 NEW BEST:: SOT 106361 SOS 26635 HAS SOPS 26635 HAS SOUS 19635 HAS SOUPS 19635 WITH SCORE 19661.635
AT ITER 790 NEW BEST:: SOT 106361 SOS 26635 HAS SOPS 26635 HAS SOUS 19630 HAS SOUPS 19630 WITH SCORE 19656.635
AT ITER 795 NEW BEST:: SOT 106360 SOS 26603 HAS SOPS 26603 HAS SOUS 19628 HAS SOUPS 19628 WITH SCORE 19654.603
AT ITER 815 NEW BEST:: SOT 106144 SOS 26816 HAS SOPS 26816 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19504.816
AT ITER 831 NEW BEST:: SOT 106143 SOS 26814 HAS SOPS 26814 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19502.814
AT ITER 832 NEW BEST:: SOT 106137 SOS 26808 HAS SOPS 26808 HAS SOUS 19470 HAS SOUPS 19470 WITH SCORE 19496.808
AT ITER 850 NEW BEST:: SOT 106073 SOS 26954 HAS SOPS 26954 HAS SOUS 19459 HAS SOUPS 19459 WITH SCORE 19485.954
AT ITER 862 NEW BEST:: SOT 105964 SOS 26736 HAS SOPS 26736 HAS SOUS 19350 HAS SOUPS 19350 WITH SCORE 19376.736
AT ITER 868 NEW BEST:: SOT 105928 SOS 26621 HAS SOPS 26621 HAS SOUS 19271 HAS SOUPS 19271 WITH SCORE 19297.621
AT ITER 871 NEW BEST:: SOT 105916 SOS 26621 HAS SOPS 26621 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19285.621
AT ITER 884 NEW BEST:: SOT 105902 SOS 26607 HAS SOPS 26607 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19282.607
AT ITER 898 NEW BEST:: SOT 105863 SOS 26574 HAS SOPS 26574 HAS SOUS 19223 HAS SOUPS 19223 WITH SCORE 19249.574
AT ITER 905 NEW BEST:: SOT 105863 SOS 26541 HAS SOPS 26541 HAS SOUS 19223 HAS SOUPS 19223 WITH SCORE 19249.541
AT ITER 910 NEW BEST:: SOT 105849 SOS 26551 HAS SOPS 26551 HAS SOUS 19209 HAS SOUPS 19209 WITH SCORE 19235.551
AT ITER 916 NEW BEST:: SOT 105739 SOS 26402 HAS SOPS 26402 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19054.402
AT ITER 917 NEW BEST:: SOT 105706 SOS 26377 HAS SOPS 26377 HAS SOUS 19003 HAS SOUPS 19003 WITH SCORE 19029.377
AT ITER 920 NEW BEST:: SOT 105692 SOS 26363 HAS SOPS 26363 HAS SOUS 18989 HAS SOUPS 18989 WITH SCORE 19015.363
AT ITER 923 NEW BEST:: SOT 105728 SOS 26356 HAS SOPS 26356 HAS SOUS 18989 HAS SOUPS 18989 WITH SCORE 19015.356
AT ITER 982 NEW BEST:: SOT 105724 SOS 26348 HAS SOPS 26348 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19007.348
AT ITER 987 NEW BEST:: SOT 105744 SOS 26166 HAS SOPS 26166 HAS SOUS 18904 HAS SOUPS 18904 WITH SCORE 18930.166
AT ITER 992 NEW BEST:: SOT 105716 SOS 26110 HAS SOPS 26110 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18874.11
AT ITER 1047 NEW BEST:: SOT 105753 SOS 26107 HAS SOPS 26107 HAS SOUS 18845 HAS SOUPS 18845 WITH SCORE 18871.107
AT ITER 1059 NEW BEST:: SOT 105744 SOS 25907 HAS SOPS 25907 HAS SOUS 18836 HAS SOUPS 18836 WITH SCORE 18861.907
AT ITER 1068 NEW BEST:: SOT 105728 SOS 25891 HAS SOPS 25891 HAS SOUS 18833 HAS SOUPS 18833 WITH SCORE 18858.891
AT ITER 1081 NEW BEST:: SOT 105752 SOS 25837 HAS SOPS 25837 HAS SOUS 18780 HAS SOUPS 18780 WITH SCORE 18805.837
AT ITER 1098 NEW BEST:: SOT 105720 SOS 25773 HAS SOPS 25773 HAS SOUS 18682 HAS SOUPS 18682 WITH SCORE 18707.773
AT ITER 1101 NEW BEST:: SOT 105715 SOS 25758 HAS SOPS 25758 HAS SOUS 18672 HAS SOUPS 18672 WITH SCORE 18697.758
AT ITER 1103 NEW BEST:: SOT 105755 SOS 25772 HAS SOPS 25772 HAS SOUS 18670 HAS SOUPS 18670 WITH SCORE 18695.772
AT ITER 1107 NEW BEST:: SOT 105744 SOS 25761 HAS SOPS 25761 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18693.761
AT ITER 1110 NEW BEST:: SOT 105744 SOS 25755 HAS SOPS 25755 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18693.755
AT ITER 1111 NEW BEST:: SOT 105776 SOS 25787 HAS SOPS 25787 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18690.787
AT ITER 1116 NEW BEST:: SOT 105783 SOS 25765 HAS SOPS 25765 HAS SOUS 18643 HAS SOUPS 18643 WITH SCORE 18668.765
AT ITER 1117 NEW BEST:: SOT 105755 SOS 25681 HAS SOPS 25681 HAS SOUS 18587 HAS SOUPS 18587 WITH SCORE 18612.681
AT ITER 1119 NEW BEST:: SOT 105755 SOS 25674 HAS SOPS 25674 HAS SOUS 18580 HAS SOUPS 18580 WITH SCORE 18605.674
AT ITER 1123 NEW BEST:: SOT 105732 SOS 25646 HAS SOPS 25646 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18577.646
AT ITER 1126 NEW BEST:: SOT 105707 SOS 25621 HAS SOPS 25621 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18576.621
AT ITER 1131 NEW BEST:: SOT 105690 SOS 25571 HAS SOPS 25571 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18505.571
AT ITER 1137 NEW BEST:: SOT 105608 SOS 25569 HAS SOPS 25569 HAS SOUS 18477 HAS SOUPS 18477 WITH SCORE 18502.569
AT ITER 1141 NEW BEST:: SOT 105644 SOS 25583 HAS SOPS 25583 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18486.583
AT ITER 1161 NEW BEST:: SOT 105644 SOS 25581 HAS SOPS 25581 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18486.581
AT ITER 1196 NEW BEST:: SOT 105628 SOS 25549 HAS SOPS 25549 HAS SOUS 18393 HAS SOUPS 18393 WITH SCORE 18418.549
AT ITER 1197 NEW BEST:: SOT 105601 SOS 25522 HAS SOPS 25522 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18391.522
AT ITER 1203 NEW BEST:: SOT 105591 SOS 25522 HAS SOPS 25522 HAS SOUS 18346 HAS SOUPS 18346 WITH SCORE 18371.522
AT ITER 1218 NEW BEST:: SOT 105538 SOS 25469 HAS SOPS 25469 HAS SOUS 18331 HAS SOUPS 18331 WITH SCORE 18356.469
AT ITER 1221 NEW BEST:: SOT 105525 SOS 25483 HAS SOPS 25483 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18350.483
AT ITER 1260 NEW BEST:: SOT 105544 SOS 25479 HAS SOPS 25479 HAS SOUS 18321 HAS SOUPS 18321 WITH SCORE 18346.479
AT ITER 1280 NEW BEST:: SOT 105511 SOS 25418 HAS SOPS 25418 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18299.418
AT ITER 1284 NEW BEST:: SOT 105497 SOS 25390 HAS SOPS 25390 HAS SOUS 18246 HAS SOUPS 18246 WITH SCORE 18271.39
AT ITER 1295 NEW BEST:: SOT 105497 SOS 25376 HAS SOPS 25376 HAS SOUS 18232 HAS SOUPS 18232 WITH SCORE 18257.376
AT ITER 1297 NEW BEST:: SOT 105483 SOS 25306 HAS SOPS 25306 HAS SOUS 18201 HAS SOUPS 18201 WITH SCORE 18226.306
AT ITER 1306 NEW BEST:: SOT 105468 SOS 25276 HAS SOPS 25276 HAS SOUS 18171 HAS SOUPS 18171 WITH SCORE 18196.276
AT ITER 1318 NEW BEST:: SOT 105432 SOS 25219 HAS SOPS 25219 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18153.219
AT ITER 1319 NEW BEST:: SOT 105425 SOS 25205 HAS SOPS 25205 HAS SOUS 18121 HAS SOUPS 18121 WITH SCORE 18146.205
AT ITER 1386 NEW BEST:: SOT 105449 SOS 25202 HAS SOPS 25202 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18143.202
AT ITER 1399 NEW BEST:: SOT 105379 SOS 25016 HAS SOPS 25016 HAS SOUS 18008 HAS SOUPS 18008 WITH SCORE 18033.016
AT ITER 1409 NEW BEST:: SOT 105378 SOS 24532 HAS SOPS 24532 HAS SOUS 18007 HAS SOUPS 18007 WITH SCORE 18031.532
AT ITER 1463 NEW BEST:: SOT 105397 SOS 24551 HAS SOPS 24551 HAS SOUS 18000 HAS SOUPS 18000 WITH SCORE 18024.551
AT ITER 1469 NEW BEST:: SOT 105515 SOS 24669 HAS SOPS 24669 HAS SOUS 17995 HAS SOUPS 17995 WITH SCORE 18019.669
AT ITER 1474 NEW BEST:: SOT 105411 SOS 24461 HAS SOPS 24461 HAS SOUS 17765 HAS SOUPS 17765 WITH SCORE 17789.461
AT ITER 1478 NEW BEST:: SOT 105408 SOS 24455 HAS SOPS 24455 HAS SOUS 17764 HAS SOUPS 17764 WITH SCORE 17788.455
AT ITER 1480 NEW BEST:: SOT 105379 SOS 24426 HAS SOPS 24426 HAS SOUS 17735 HAS SOUPS 17735 WITH SCORE 17759.426
AT ITER 1484 NEW BEST:: SOT 105416 SOS 24427 HAS SOPS 24427 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17736.427
AT ITER 1509 NEW BEST:: SOT 105433 SOS 24396 HAS SOPS 24396 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17718.396
AT ITER 1518 NEW BEST:: SOT 105424 SOS 24378 HAS SOPS 24378 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17700.378
AT ITER 1522 NEW BEST:: SOT 105403 SOS 24336 HAS SOPS 24336 HAS SOUS 17655 HAS SOUPS 17655 WITH SCORE 17679.336
AT ITER 1537 NEW BEST:: SOT 105403 SOS 24327 HAS SOPS 24327 HAS SOUS 17646 HAS SOUPS 17646 WITH SCORE 17670.327
AT ITER 1583 NEW BEST:: SOT 105400 SOS 24321 HAS SOPS 24321 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17664.321
AT ITER 1591 NEW BEST:: SOT 105392 SOS 24305 HAS SOPS 24305 HAS SOUS 17624 HAS SOUPS 17624 WITH SCORE 17648.305
AT ITER 1599 NEW BEST:: SOT 105349 SOS 24330 HAS SOPS 24330 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17605.33
AT ITER 1620 NEW BEST:: SOT 105295 SOS 24222 HAS SOPS 24222 HAS SOUS 17527 HAS SOUPS 17527 WITH SCORE 17551.222
AT ITER 1623 NEW BEST:: SOT 105293 SOS 24220 HAS SOPS 24220 HAS SOUS 17523 HAS SOUPS 17523 WITH SCORE 17547.22
AT ITER 1631 NEW BEST:: SOT 105289 SOS 24212 HAS SOPS 24212 HAS SOUS 17515 HAS SOUPS 17515 WITH SCORE 17539.212
AT ITER 1648 NEW BEST:: SOT 105356 SOS 23614 HAS SOPS 23614 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17529.614
AT ITER 1701 NEW BEST:: SOT 105356 SOS 23584 HAS SOPS 23584 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17499.584
AT ITER 1716 NEW BEST:: SOT 105353 SOS 23580 HAS SOPS 23580 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17498.58
AT ITER 1719 NEW BEST:: SOT 105332 SOS 23538 HAS SOPS 23538 HAS SOUS 17416 HAS SOUPS 17416 WITH SCORE 17439.538
AT ITER 1748 NEW BEST:: SOT 105340 SOS 23507 HAS SOPS 23507 HAS SOUS 17385 HAS SOUPS 17385 WITH SCORE 17408.507
AT ITER 1753 NEW BEST:: SOT 105334 SOS 23501 HAS SOPS 23501 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17406.501
AT ITER 1775 NEW BEST:: SOT 105334 SOS 23460 HAS SOPS 23460 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17406.46
AT ITER 1779 NEW BEST:: SOT 105331 SOS 23454 HAS SOPS 23454 HAS SOUS 17377 HAS SOUPS 17377 WITH SCORE 17400.454
AT ITER 1828 NEW BEST:: SOT 105331 SOS 23441 HAS SOPS 23441 HAS SOUS 17373 HAS SOUPS 17373 WITH SCORE 17396.441
AT ITER 1857 NEW BEST:: SOT 105326 SOS 23436 HAS SOPS 23436 HAS SOUS 17368 HAS SOUPS 17368 WITH SCORE 17391.436
AT ITER 1871 NEW BEST:: SOT 105292 SOS 23402 HAS SOPS 23402 HAS SOUS 17300 HAS SOUPS 17300 WITH SCORE 17323.402
AT ITER 1879 NEW BEST:: SOT 105251 SOS 23385 HAS SOPS 23385 HAS SOUS 17259 HAS SOUPS 17259 WITH SCORE 17282.385
AT ITER 1887 NEW BEST:: SOT 105237 SOS 23386 HAS SOPS 23386 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17268.386
AT ITER 1891 NEW BEST:: SOT 105235 SOS 23384 HAS SOPS 23384 HAS SOUS 17243 HAS SOUPS 17243 WITH SCORE 17266.384
AT ITER 1895 NEW BEST:: SOT 105144 SOS 23050 HAS SOPS 23050 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17127.05
AT ITER 1902 NEW BEST:: SOT 105130 SOS 23022 HAS SOPS 23022 HAS SOUS 17076 HAS SOUPS 17076 WITH SCORE 17099.022
AT ITER 1914 NEW BEST:: SOT 105111 SOS 22978 HAS SOPS 22978 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17054.978
AT ITER 1921 NEW BEST:: SOT 105111 SOS 22962 HAS SOPS 22962 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17054.962
AT ITER 1957 NEW BEST:: SOT 105110 SOS 22912 HAS SOPS 22912 HAS SOUS 17027 HAS SOUPS 17027 WITH SCORE 17049.912
AT ITER 1984 NEW BEST:: SOT 105074 SOS 22840 HAS SOPS 22840 HAS SOUS 16955 HAS SOUPS 16955 WITH SCORE 16977.84
AT ITER 2004 NEW BEST:: SOT 105053 SOS 22798 HAS SOPS 22798 HAS SOUS 16922 HAS SOUPS 16922 WITH SCORE 16944.798
AT ITER 2055 NEW BEST:: SOT 104964 SOS 23520 HAS SOPS 23520 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16939.52
AT ITER 2070 NEW BEST:: SOT 104870 SOS 23396 HAS SOPS 23396 HAS SOUS 16825 HAS SOUPS 16825 WITH SCORE 16848.396
AT ITER 2076 NEW BEST:: SOT 104739 SOS 24047 HAS SOPS 24047 HAS SOUS 16801 HAS SOUPS 16801 WITH SCORE 16825.047
AT ITER 2107 NEW BEST:: SOT 104617 SOS 24301 HAS SOPS 24301 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16724.301
AT ITER 2118 NEW BEST:: SOT 104617 SOS 24300 HAS SOPS 24300 HAS SOUS 16699 HAS SOUPS 16699 WITH SCORE 16723.3
AT ITER 2136 NEW BEST:: SOT 104581 SOS 24250 HAS SOPS 24250 HAS SOUS 16680 HAS SOUPS 16680 WITH SCORE 16704.25
AT ITER 2143 NEW BEST:: SOT 104577 SOS 24176 HAS SOPS 24176 HAS SOUS 16680 HAS SOUPS 16680 WITH SCORE 16704.176
AT ITER 2185 NEW BEST:: SOT 104597 SOS 24153 HAS SOPS 24153 HAS SOUS 16680 HAS SOUPS 16680 WITH SCORE 16704.153
AT ITER 2192 NEW BEST:: SOT 104597 SOS 24135 HAS SOPS 24135 HAS SOUS 16662 HAS SOUPS 16662 WITH SCORE 16686.135
AT ITER 2208 NEW BEST:: SOT 104514 SOS 24023 HAS SOPS 24023 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16603.023
AT ITER 2229 NEW BEST:: SOT 104463 SOS 23972 HAS SOPS 23972 HAS SOUS 16528 HAS SOUPS 16528 WITH SCORE 16551.972
AT ITER 2249 NEW BEST:: SOT 104463 SOS 23957 HAS SOPS 23957 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16536.957
AT ITER 2275 NEW BEST:: SOT 104471 SOS 23864 HAS SOPS 23864 HAS SOUS 16505 HAS SOUPS 16505 WITH SCORE 16528.864
AT ITER 2281 NEW BEST:: SOT 104470 SOS 23869 HAS SOPS 23869 HAS SOUS 16504 HAS SOUPS 16504 WITH SCORE 16527.869
AT ITER 2294 NEW BEST:: SOT 104463 SOS 23855 HAS SOPS 23855 HAS SOUS 16490 HAS SOUPS 16490 WITH SCORE 16513.855
AT ITER 2332 NEW BEST:: SOT 104440 SOS 23853 HAS SOPS 23853 HAS SOUS 16488 HAS SOUPS 16488 WITH SCORE 16511.853
AT ITER 2335 NEW BEST:: SOT 104298 SOS 23769 HAS SOPS 23769 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16369.769
AT ITER 2382 NEW BEST:: SOT 104335 SOS 23749 HAS SOPS 23749 HAS SOUS 16326 HAS SOUPS 16326 WITH SCORE 16349.749
AT ITER 2392 NEW BEST:: SOT 104451 SOS 23647 HAS SOPS 23647 HAS SOUS 16224 HAS SOUPS 16224 WITH SCORE 16247.647
AT ITER 2412 NEW BEST:: SOT 104428 SOS 23624 HAS SOPS 23624 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16224.624
AT ITER 2415 NEW BEST:: SOT 104400 SOS 23906 HAS SOPS 23906 HAS SOUS 16199 HAS SOUPS 16199 WITH SCORE 16222.906
AT ITER 2431 NEW BEST:: SOT 104394 SOS 23894 HAS SOPS 23894 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16213.894
AT ITER 2445 NEW BEST:: SOT 104401 SOS 23879 HAS SOPS 23879 HAS SOUS 16177 HAS SOUPS 16177 WITH SCORE 16200.879
AT ITER 2474 NEW BEST:: SOT 104354 SOS 23845 HAS SOPS 23845 HAS SOUS 16143 HAS SOUPS 16143 WITH SCORE 16166.845
AT ITER 2485 NEW BEST:: SOT 104346 SOS 23829 HAS SOPS 23829 HAS SOUS 16114 HAS SOUPS 16114 WITH SCORE 16137.829
AT ITER 2546 NEW BEST:: SOT 104366 SOS 23828 HAS SOPS 23828 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16136.828
AT ITER 2549 NEW BEST:: SOT 104352 SOS 23800 HAS SOPS 23800 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16122.8
AT ITER 2556 NEW BEST:: SOT 104347 SOS 23820 HAS SOPS 23820 HAS SOUS 16089 HAS SOUPS 16089 WITH SCORE 16112.82
AT ITER 2610 NEW BEST:: SOT 104358 SOS 23874 HAS SOPS 23874 HAS SOUS 16055 HAS SOUPS 16055 WITH SCORE 16078.874
AT ITER 2614 NEW BEST:: SOT 104346 SOS 23838 HAS SOPS 23838 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16066.838
AT ITER 2615 NEW BEST:: SOT 104348 SOS 23840 HAS SOPS 23840 HAS SOUS 16041 HAS SOUPS 16041 WITH SCORE 16064.84
AT ITER 2630 NEW BEST:: SOT 104331 SOS 23806 HAS SOPS 23806 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16030.806
AT ITER 2633 NEW BEST:: SOT 104307 SOS 23782 HAS SOPS 23782 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16006.782
AT ITER 2636 NEW BEST:: SOT 104291 SOS 23750 HAS SOPS 23750 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15990.75
AT ITER 2638 NEW BEST:: SOT 104291 SOS 23740 HAS SOPS 23740 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 15980.74
AT ITER 2653 NEW BEST:: SOT 104274 SOS 23706 HAS SOPS 23706 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15946.706
AT ITER 2658 NEW BEST:: SOT 104269 SOS 23696 HAS SOPS 23696 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15936.696
AT ITER 2689 NEW BEST:: SOT 104257 SOS 23670 HAS SOPS 23670 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15924.67
AT ITER 2690 NEW BEST:: SOT 104257 SOS 23667 HAS SOPS 23667 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15924.667
AT ITER 2695 NEW BEST:: SOT 104256 SOS 23666 HAS SOPS 23666 HAS SOUS 15896 HAS SOUPS 15896 WITH SCORE 15919.666
AT ITER 2714 NEW BEST:: SOT 104245 SOS 22762 HAS SOPS 22762 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15870.762
AT ITER 2719 NEW BEST:: SOT 104300 SOS 22798 HAS SOPS 22798 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15851.798
AT ITER 2728 NEW BEST:: SOT 104298 SOS 22803 HAS SOPS 22803 HAS SOUS 15827 HAS SOUPS 15827 WITH SCORE 15849.803
AT ITER 2761 NEW BEST:: SOT 104135 SOS 23229 HAS SOPS 23229 HAS SOUS 15756 HAS SOUPS 15756 WITH SCORE 15779.229
AT ITER 2782 NEW BEST:: SOT 104017 SOS 22993 HAS SOPS 22993 HAS SOUS 15600 HAS SOUPS 15600 WITH SCORE 15622.993
AT ITER 2783 NEW BEST:: SOT 103913 SOS 22811 HAS SOPS 22811 HAS SOUS 15523 HAS SOUPS 15523 WITH SCORE 15545.811
AT ITER 2799 NEW BEST:: SOT 103897 SOS 22779 HAS SOPS 22779 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15513.779
AT ITER 2834 NEW BEST:: SOT 103877 SOS 22739 HAS SOPS 22739 HAS SOUS 15478 HAS SOUPS 15478 WITH SCORE 15500.739
AT ITER 2855 NEW BEST:: SOT 103864 SOS 22713 HAS SOPS 22713 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15474.713
AT ITER 2863 NEW BEST:: SOT 103858 SOS 22707 HAS SOPS 22707 HAS SOUS 15446 HAS SOUPS 15446 WITH SCORE 15468.707
AT ITER 2886 NEW BEST:: SOT 103858 SOS 22539 HAS SOPS 22539 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15454.539
AT ITER 2928 NEW BEST:: SOT 103866 SOS 22483 HAS SOPS 22483 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15414.483
AT ITER 2945 NEW BEST:: SOT 103772 SOS 22302 HAS SOPS 22302 HAS SOUS 15309 HAS SOUPS 15309 WITH SCORE 15331.302
AT ITER 2958 NEW BEST:: SOT 103772 SOS 22292 HAS SOPS 22292 HAS SOUS 15309 HAS SOUPS 15309 WITH SCORE 15331.292
AT ITER 2970 NEW BEST:: SOT 103774 SOS 22288 HAS SOPS 22288 HAS SOUS 15305 HAS SOUPS 15305 WITH SCORE 15327.288
AT ITER 2976 NEW BEST:: SOT 103759 SOS 22273 HAS SOPS 22273 HAS SOUS 15290 HAS SOUPS 15290 WITH SCORE 15312.273
AT ITER 3003 NEW BEST:: SOT 103751 SOS 22257 HAS SOPS 22257 HAS SOUS 15274 HAS SOUPS 15274 WITH SCORE 15296.257
AT ITER 3024 NEW BEST:: SOT 103809 SOS 22225 HAS SOPS 22225 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15280.225
AT ITER 3032 NEW BEST:: SOT 103819 SOS 22203 HAS SOPS 22203 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15258.203
AT ITER 3034 NEW BEST:: SOT 103819 SOS 22184 HAS SOPS 22184 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15258.184
AT ITER 3043 NEW BEST:: SOT 103819 SOS 22184 HAS SOPS 22184 HAS SOUS 15234 HAS SOUPS 15234 WITH SCORE 15256.184
AT ITER 3048 NEW BEST:: SOT 103819 SOS 22184 HAS SOPS 22184 HAS SOUS 15233 HAS SOUPS 15233 WITH SCORE 15255.184
AT ITER 3087 NEW BEST:: SOT 103818 SOS 22183 HAS SOPS 22183 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15254.183
AT ITER 3107 NEW BEST:: SOT 103809 SOS 22165 HAS SOPS 22165 HAS SOUS 15214 HAS SOUPS 15214 WITH SCORE 15236.165
AT ITER 3115 NEW BEST:: SOT 103811 SOS 22167 HAS SOPS 22167 HAS SOUS 15204 HAS SOUPS 15204 WITH SCORE 15226.167
AT ITER 3132 NEW BEST:: SOT 103811 SOS 22167 HAS SOPS 22167 HAS SOUS 15203 HAS SOUPS 15203 WITH SCORE 15225.167
AT ITER 3153 NEW BEST:: SOT 103810 SOS 22166 HAS SOPS 22166 HAS SOUS 15201 HAS SOUPS 15201 WITH SCORE 15223.166
AT ITER 3157 NEW BEST:: SOT 103805 SOS 22156 HAS SOPS 22156 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15218.156
AT ITER 3169 NEW BEST:: SOT 103800 SOS 22146 HAS SOPS 22146 HAS SOUS 15186 HAS SOUPS 15186 WITH SCORE 15208.146
AT ITER 3176 NEW BEST:: SOT 103800 SOS 22094 HAS SOPS 22094 HAS SOUS 15186 HAS SOUPS 15186 WITH SCORE 15208.094
AT ITER 3298 NEW BEST:: SOT 103776 SOS 22084 HAS SOPS 22084 HAS SOUS 15176 HAS SOUPS 15176 WITH SCORE 15198.084
AT ITER 3405 NEW BEST:: SOT 103759 SOS 22067 HAS SOPS 22067 HAS SOUS 15159 HAS SOUPS 15159 WITH SCORE 15181.067
AT ITER 3409 NEW BEST:: SOT 103759 SOS 22066 HAS SOPS 22066 HAS SOUS 15158 HAS SOUPS 15158 WITH SCORE 15180.066
AT ITER 3423 NEW BEST:: SOT 103722 SOS 21992 HAS SOPS 21992 HAS SOUS 15121 HAS SOUPS 15121 WITH SCORE 15142.992
AT ITER 3424 NEW BEST:: SOT 103701 SOS 21950 HAS SOPS 21950 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15115.95
AT ITER 3451 NEW BEST:: SOT 103699 SOS 21950 HAS SOPS 21950 HAS SOUS 15090 HAS SOUPS 15090 WITH SCORE 15111.95
AT ITER 3452 NEW BEST:: SOT 103698 SOS 21948 HAS SOPS 21948 HAS SOUS 15090 HAS SOUPS 15090 WITH SCORE 15111.948
AT ITER 3465 NEW BEST:: SOT 103659 SOS 21870 HAS SOPS 21870 HAS SOUS 15051 HAS SOUPS 15051 WITH SCORE 15072.87
AT ITER 3480 NEW BEST:: SOT 103657 SOS 21866 HAS SOPS 21866 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15070.866
AT ITER 3503 NEW BEST:: SOT 103657 SOS 21858 HAS SOPS 21858 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15070.858
AT ITER 3532 NEW BEST:: SOT 103635 SOS 21854 HAS SOPS 21854 HAS SOUS 15045 HAS SOUPS 15045 WITH SCORE 15066.854
AT ITER 3545 NEW BEST:: SOT 103641 SOS 21860 HAS SOPS 21860 HAS SOUS 15040 HAS SOUPS 15040 WITH SCORE 15061.86
AT ITER 3622 NEW BEST:: SOT 103629 SOS 21848 HAS SOPS 21848 HAS SOUS 15028 HAS SOUPS 15028 WITH SCORE 15049.848
AT ITER 3637 NEW BEST:: SOT 103620 SOS 21839 HAS SOPS 21839 HAS SOUS 15019 HAS SOUPS 15019 WITH SCORE 15040.839
AT ITER 3647 NEW BEST:: SOT 103584 SOS 21785 HAS SOPS 21785 HAS SOUS 14983 HAS SOUPS 14983 WITH SCORE 15004.785
AT ITER 3666 NEW BEST:: SOT 103581 SOS 21779 HAS SOPS 21779 HAS SOUS 14977 HAS SOUPS 14977 WITH SCORE 14998.779
AT ITER 3748 NEW BEST:: SOT 103575 SOS 21767 HAS SOPS 21767 HAS SOUS 14965 HAS SOUPS 14965 WITH SCORE 14986.767
AT ITER 3777 NEW BEST:: SOT 103558 SOS 21750 HAS SOPS 21750 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14949.75
AT ITER 3791 NEW BEST:: SOT 103552 SOS 21791 HAS SOPS 21791 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14943.791
AT ITER 3794 NEW BEST:: SOT 103540 SOS 21779 HAS SOPS 21779 HAS SOUS 14920 HAS SOUPS 14920 WITH SCORE 14941.779
AT ITER 3822 NEW BEST:: SOT 103535 SOS 21769 HAS SOPS 21769 HAS SOUS 14917 HAS SOUPS 14917 WITH SCORE 14938.769
AT ITER 3835 NEW BEST:: SOT 103535 SOS 21714 HAS SOPS 21714 HAS SOUS 14892 HAS SOUPS 14892 WITH SCORE 14913.714
AT ITER 3843 NEW BEST:: SOT 103533 SOS 21710 HAS SOPS 21710 HAS SOUS 14888 HAS SOUPS 14888 WITH SCORE 14909.71
AT ITER 3845 NEW BEST:: SOT 103548 SOS 21745 HAS SOPS 21745 HAS SOUS 14887 HAS SOUPS 14887 WITH SCORE 14908.745
AT ITER 3882 NEW BEST:: SOT 103545 SOS 21739 HAS SOPS 21739 HAS SOUS 14881 HAS SOUPS 14881 WITH SCORE 14902.739
AT ITER 3885 NEW BEST:: SOT 103559 SOS 21691 HAS SOPS 21691 HAS SOUS 14833 HAS SOUPS 14833 WITH SCORE 14854.691
AT ITER 3921 NEW BEST:: SOT 103565 SOS 21726 HAS SOPS 21726 HAS SOUS 14827 HAS SOUPS 14827 WITH SCORE 14848.726
AT ITER 3929 NEW BEST:: SOT 103554 SOS 21704 HAS SOPS 21704 HAS SOUS 14805 HAS SOUPS 14805 WITH SCORE 14826.704
AT ITER 3951 NEW BEST:: SOT 103496 SOS 21656 HAS SOPS 21656 HAS SOUS 14757 HAS SOUPS 14757 WITH SCORE 14778.656
AT ITER 4003 NEW BEST:: SOT 103516 SOS 21676 HAS SOPS 21676 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14759.676
AT ITER 4017 NEW BEST:: SOT 103515 SOS 21675 HAS SOPS 21675 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14758.675
AT ITER 4100 NEW BEST:: SOT 103511 SOS 21670 HAS SOPS 21670 HAS SOUS 14735 HAS SOUPS 14735 WITH SCORE 14756.67
AT ITER 4113 NEW BEST:: SOT 103501 SOS 21650 HAS SOPS 21650 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14736.65
AT ITER 4164 NEW BEST:: SOT 103501 SOS 21650 HAS SOPS 21650 HAS SOUS 14713 HAS SOUPS 14713 WITH SCORE 14734.65
AT ITER 4165 NEW BEST:: SOT 103501 SOS 21650 HAS SOPS 21650 HAS SOUS 14700 HAS SOUPS 14700 WITH SCORE 14721.65
AT ITER 4181 NEW BEST:: SOT 103498 SOS 21572 HAS SOPS 21572 HAS SOUS 14694 HAS SOUPS 14694 WITH SCORE 14715.572
AT ITER 4211 NEW BEST:: SOT 103492 SOS 21566 HAS SOPS 21566 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14709.566
AT ITER 4222 NEW BEST:: SOT 103508 SOS 21485 HAS SOPS 21485 HAS SOUS 14645 HAS SOUPS 14645 WITH SCORE 14666.485
AT ITER 4232 NEW BEST:: SOT 103505 SOS 21473 HAS SOPS 21473 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14660.473
AT ITER 4240 NEW BEST:: SOT 103508 SOS 21428 HAS SOPS 21428 HAS SOUS 14633 HAS SOUPS 14633 WITH SCORE 14654.428
AT ITER 4253 NEW BEST:: SOT 103474 SOS 21360 HAS SOPS 21360 HAS SOUS 14577 HAS SOUPS 14577 WITH SCORE 14598.36
AT ITER 4264 NEW BEST:: SOT 103470 SOS 21355 HAS SOPS 21355 HAS SOUS 14573 HAS SOUPS 14573 WITH SCORE 14594.355
AT ITER 4281 NEW BEST:: SOT 103470 SOS 21355 HAS SOPS 21355 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14583.355
AT ITER 4342 NEW BEST:: SOT 103466 SOS 21351 HAS SOPS 21351 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14579.351
AT ITER 4367 NEW BEST:: SOT 103435 SOS 21264 HAS SOPS 21264 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14517.264
AT ITER 4390 NEW BEST:: SOT 103423 SOS 21252 HAS SOPS 21252 HAS SOUS 14490 HAS SOUPS 14490 WITH SCORE 14511.252
AT ITER 4394 NEW BEST:: SOT 103430 SOS 21252 HAS SOPS 21252 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14504.252
AT ITER 4396 NEW BEST:: SOT 103454 SOS 21276 HAS SOPS 21276 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14503.276
AT ITER 4405 NEW BEST:: SOT 103485 SOS 21262 HAS SOPS 21262 HAS SOUS 14468 HAS SOUPS 14468 WITH SCORE 14489.262
AT ITER 4425 NEW BEST:: SOT 103461 SOS 21214 HAS SOPS 21214 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14465.214
AT ITER 4462 NEW BEST:: SOT 103446 SOS 21199 HAS SOPS 21199 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14450.199
AT ITER 4517 NEW BEST:: SOT 103446 SOS 21191 HAS SOPS 21191 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14450.191
AT ITER 4537 NEW BEST:: SOT 103435 SOS 21116 HAS SOPS 21116 HAS SOUS 14405 HAS SOUPS 14405 WITH SCORE 14426.116
AT ITER 4554 NEW BEST:: SOT 103426 SOS 21098 HAS SOPS 21098 HAS SOUS 14395 HAS SOUPS 14395 WITH SCORE 14416.098
AT ITER 4598 NEW BEST:: SOT 103408 SOS 21086 HAS SOPS 21086 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14398.086
AT ITER 4608 NEW BEST:: SOT 103412 SOS 21026 HAS SOPS 21026 HAS SOUS 14366 HAS SOUPS 14366 WITH SCORE 14387.026
AT ITER 4646 NEW BEST:: SOT 103328 SOS 20994 HAS SOPS 20994 HAS SOUS 14326 HAS SOUPS 14326 WITH SCORE 14346.994
AT ITER 4782 NEW BEST:: SOT 103287 SOS 20912 HAS SOPS 20912 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14264.912
AT ITER 4856 NEW BEST:: SOT 103287 SOS 20968 HAS SOPS 20968 HAS SOUS 14242 HAS SOUPS 14242 WITH SCORE 14262.968
AT ITER 4894 NEW BEST:: SOT 103281 SOS 20956 HAS SOPS 20956 HAS SOUS 14224 HAS SOUPS 14224 WITH SCORE 14244.956
AT ITER 4923 NEW BEST:: SOT 103306 SOS 20936 HAS SOPS 20936 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14224.936
AT ITER 4924 NEW BEST:: SOT 103307 SOS 20934 HAS SOPS 20934 HAS SOUS 14202 HAS SOUPS 14202 WITH SCORE 14222.934
AT ITER 4937 NEW BEST:: SOT 103282 SOS 20887 HAS SOPS 20887 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14172.887
AT ITER 4954 NEW BEST:: SOT 103275 SOS 20873 HAS SOPS 20873 HAS SOUS 14137 HAS SOUPS 14137 WITH SCORE 14157.873
AT ITER 4959 NEW BEST:: SOT 103279 SOS 20875 HAS SOPS 20875 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14156.875
AT ITER 4965 NEW BEST:: SOT 103279 SOS 20868 HAS SOPS 20868 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14156.868
AT ITER 4970 NEW BEST:: SOT 103254 SOS 20818 HAS SOPS 20818 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14106.818
AT ITER 5012 NEW BEST:: SOT 103242 SOS 20794 HAS SOPS 20794 HAS SOUS 14062 HAS SOUPS 14062 WITH SCORE 14082.794
AT ITER 5045 NEW BEST:: SOT 103242 SOS 20738 HAS SOPS 20738 HAS SOUS 14062 HAS SOUPS 14062 WITH SCORE 14082.738
AT ITER 5076 NEW BEST:: SOT 103279 SOS 20775 HAS SOPS 20775 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14079.775
AT ITER 5077 NEW BEST:: SOT 103262 SOS 20695 HAS SOPS 20695 HAS SOUS 13996 HAS SOUPS 13996 WITH SCORE 14016.695
AT ITER 5102 NEW BEST:: SOT 103280 SOS 20749 HAS SOPS 20749 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 14001.749
AT ITER 5150 NEW BEST:: SOT 103278 SOS 20747 HAS SOPS 20747 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 14001.747
AT ITER 5159 NEW BEST:: SOT 103278 SOS 20738 HAS SOPS 20738 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 14001.738
AT ITER 5164 NEW BEST:: SOT 103247 SOS 21209 HAS SOPS 21209 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13979.209
AT ITER 5250 NEW BEST:: SOT 103220 SOS 21155 HAS SOPS 21155 HAS SOUS 13904 HAS SOUPS 13904 WITH SCORE 13925.155
AT ITER 5266 NEW BEST:: SOT 103138 SOS 21034 HAS SOPS 21034 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13843.034
AT ITER 5288 NEW BEST:: SOT 103065 SOS 20944 HAS SOPS 20944 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13811.944
AT ITER 5368 NEW BEST:: SOT 103062 SOS 20938 HAS SOPS 20938 HAS SOUS 13785 HAS SOUPS 13785 WITH SCORE 13805.938
AT ITER 5374 NEW BEST:: SOT 103084 SOS 20956 HAS SOPS 20956 HAS SOUS 13784 HAS SOUPS 13784 WITH SCORE 13804.956
AT ITER 5385 NEW BEST:: SOT 103082 SOS 20952 HAS SOPS 20952 HAS SOUS 13776 HAS SOUPS 13776 WITH SCORE 13796.952
AT ITER 5388 NEW BEST:: SOT 103082 SOS 20952 HAS SOPS 20952 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13795.952
AT ITER 5408 NEW BEST:: SOT 103080 SOS 20950 HAS SOPS 20950 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13791.95
AT ITER 5409 NEW BEST:: SOT 103080 SOS 20944 HAS SOPS 20944 HAS SOUS 13765 HAS SOUPS 13765 WITH SCORE 13785.944
AT ITER 5465 NEW BEST:: SOT 103067 SOS 20918 HAS SOPS 20918 HAS SOUS 13739 HAS SOUPS 13739 WITH SCORE 13759.918
AT ITER 5466 NEW BEST:: SOT 103048 SOS 20880 HAS SOPS 20880 HAS SOUS 13712 HAS SOUPS 13712 WITH SCORE 13732.88
AT ITER 5498 NEW BEST:: SOT 103007 SOS 20824 HAS SOPS 20824 HAS SOUS 13676 HAS SOUPS 13676 WITH SCORE 13696.824
AT ITER 5520 NEW BEST:: SOT 102999 SOS 20812 HAS SOPS 20812 HAS SOUS 13668 HAS SOUPS 13668 WITH SCORE 13688.812
AT ITER 5526 NEW BEST:: SOT 102996 SOS 20806 HAS SOPS 20806 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13682.806
AT ITER 5543 NEW BEST:: SOT 102985 SOS 20795 HAS SOPS 20795 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13682.795
AT ITER 5603 NEW BEST:: SOT 102978 SOS 20781 HAS SOPS 20781 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13668.781
AT ITER 5665 NEW BEST:: SOT 102950 SOS 20775 HAS SOPS 20775 HAS SOUS 13642 HAS SOUPS 13642 WITH SCORE 13662.775
AT ITER 5668 NEW BEST:: SOT 102956 SOS 20721 HAS SOPS 20721 HAS SOUS 13588 HAS SOUPS 13588 WITH SCORE 13608.721
AT ITER 5677 NEW BEST:: SOT 102953 SOS 20729 HAS SOPS 20729 HAS SOUS 13586 HAS SOUPS 13586 WITH SCORE 13606.729
AT ITER 5709 NEW BEST:: SOT 102953 SOS 20729 HAS SOPS 20729 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13592.729
AT ITER 5723 NEW BEST:: SOT 102942 SOS 20718 HAS SOPS 20718 HAS SOUS 13561 HAS SOUPS 13561 WITH SCORE 13581.718
AT ITER 5797 NEW BEST:: SOT 102937 SOS 20708 HAS SOPS 20708 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13576.708
AT ITER 5808 NEW BEST:: SOT 102928 SOS 20690 HAS SOPS 20690 HAS SOUS 13538 HAS SOUPS 13538 WITH SCORE 13558.69
AT ITER 5838 NEW BEST:: SOT 102919 SOS 20672 HAS SOPS 20672 HAS SOUS 13534 HAS SOUPS 13534 WITH SCORE 13554.672
AT ITER 5849 NEW BEST:: SOT 102919 SOS 20664 HAS SOPS 20664 HAS SOUS 13534 HAS SOUPS 13534 WITH SCORE 13554.664
AT ITER 5861 NEW BEST:: SOT 102901 SOS 20628 HAS SOPS 20628 HAS SOUS 13519 HAS SOUPS 13519 WITH SCORE 13539.628
AT ITER 5884 NEW BEST:: SOT 102879 SOS 20584 HAS SOPS 20584 HAS SOUS 13497 HAS SOUPS 13497 WITH SCORE 13517.584
AT ITER 5908 NEW BEST:: SOT 102846 SOS 20518 HAS SOPS 20518 HAS SOUS 13431 HAS SOUPS 13431 WITH SCORE 13451.518
AT ITER 5929 NEW BEST:: SOT 102803 SOS 20465 HAS SOPS 20465 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13407.465
AT ITER 5957 NEW BEST:: SOT 102801 SOS 20463 HAS SOPS 20463 HAS SOUS 13385 HAS SOUPS 13385 WITH SCORE 13405.463
AT ITER 5968 NEW BEST:: SOT 102683 SOS 20345 HAS SOPS 20345 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13319.345
AT ITER 6038 NEW BEST:: SOT 102714 SOS 20376 HAS SOPS 20376 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13311.376
AT ITER 6083 NEW BEST:: SOT 102714 SOS 20332 HAS SOPS 20332 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13311.332
AT ITER 6084 NEW BEST:: SOT 102683 SOS 20301 HAS SOPS 20301 HAS SOUS 13288 HAS SOUPS 13288 WITH SCORE 13308.301
AT ITER 6126 NEW BEST:: SOT 102648 SOS 20249 HAS SOPS 20249 HAS SOUS 13276 HAS SOUPS 13276 WITH SCORE 13296.249
AT ITER 6142 NEW BEST:: SOT 102648 SOS 20212 HAS SOPS 20212 HAS SOUS 13239 HAS SOUPS 13239 WITH SCORE 13259.212
AT ITER 6291 NEW BEST:: SOT 102638 SOS 20192 HAS SOPS 20192 HAS SOUS 13229 HAS SOUPS 13229 WITH SCORE 13249.192
AT ITER 6304 NEW BEST:: SOT 102636 SOS 20190 HAS SOPS 20190 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13247.19
AT ITER 6310 NEW BEST:: SOT 102634 SOS 20186 HAS SOPS 20186 HAS SOUS 13223 HAS SOUPS 13223 WITH SCORE 13243.186
AT ITER 6320 NEW BEST:: SOT 102626 SOS 20178 HAS SOPS 20178 HAS SOUS 13217 HAS SOUPS 13217 WITH SCORE 13237.178
AT ITER 6373 NEW BEST:: SOT 102631 SOS 20175 HAS SOPS 20175 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13234.175
AT ITER 6458 NEW BEST:: SOT 102551 SOS 20038 HAS SOPS 20038 HAS SOUS 13202 HAS SOUPS 13202 WITH SCORE 13222.038
AT ITER 6481 NEW BEST:: SOT 102609 SOS 20025 HAS SOPS 20025 HAS SOUS 13189 HAS SOUPS 13189 WITH SCORE 13209.025
AT ITER 6514 NEW BEST:: SOT 102609 SOS 20025 HAS SOPS 20025 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13196.025
AT ITER 6559 NEW BEST:: SOT 102609 SOS 20023 HAS SOPS 20023 HAS SOUS 13174 HAS SOUPS 13174 WITH SCORE 13194.023
AT ITER 6598 NEW BEST:: SOT 102603 SOS 20011 HAS SOPS 20011 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13188.011
AT ITER 6658 NEW BEST:: SOT 102610 SOS 20010 HAS SOPS 20010 HAS SOUS 13160 HAS SOUPS 13160 WITH SCORE 13180.01
AT ITER 6701 NEW BEST:: SOT 102570 SOS 20010 HAS SOPS 20010 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13163.01
AT ITER 6730 NEW BEST:: SOT 102571 SOS 19996 HAS SOPS 19996 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13148.996
AT ITER 6735 NEW BEST:: SOT 102571 SOS 19990 HAS SOPS 19990 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13148.99
AT ITER 6780 NEW BEST:: SOT 102562 SOS 19962 HAS SOPS 19962 HAS SOUS 13120 HAS SOUPS 13120 WITH SCORE 13139.962
AT ITER 6787 NEW BEST:: SOT 102562 SOS 19962 HAS SOPS 19962 HAS SOUS 13117 HAS SOUPS 13117 WITH SCORE 13136.962
AT ITER 6797 NEW BEST:: SOT 102521 SOS 19880 HAS SOPS 19880 HAS SOUS 13073 HAS SOUPS 13073 WITH SCORE 13092.88
AT ITER 6897 NEW BEST:: SOT 102446 SOS 19733 HAS SOPS 19733 HAS SOUS 13054 HAS SOUPS 13054 WITH SCORE 13073.733
AT ITER 6910 NEW BEST:: SOT 102382 SOS 19674 HAS SOPS 19674 HAS SOUS 13034 HAS SOUPS 13034 WITH SCORE 13053.674
AT ITER 6962 NEW BEST:: SOT 102374 SOS 19666 HAS SOPS 19666 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13045.666
AT ITER 7031 NEW BEST:: SOT 102365 SOS 19663 HAS SOPS 19663 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13042.663
AT ITER 7051 NEW BEST:: SOT 102365 SOS 19658 HAS SOPS 19658 HAS SOUS 13018 HAS SOUPS 13018 WITH SCORE 13037.658
AT ITER 7070 NEW BEST:: SOT 102349 SOS 19642 HAS SOPS 19642 HAS SOUS 12986 HAS SOUPS 12986 WITH SCORE 13005.642
AT ITER 7072 NEW BEST:: SOT 102284 SOS 19624 HAS SOPS 19624 HAS SOUS 12966 HAS SOUPS 12966 WITH SCORE 12985.624
AT ITER 7082 NEW BEST:: SOT 102283 SOS 19622 HAS SOPS 19622 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12984.622
AT ITER 7132 NEW BEST:: SOT 102267 SOS 19614 HAS SOPS 19614 HAS SOUS 12957 HAS SOUPS 12957 WITH SCORE 12976.614
AT ITER 7145 NEW BEST:: SOT 102263 SOS 19615 HAS SOPS 19615 HAS SOUS 12953 HAS SOUPS 12953 WITH SCORE 12972.615
AT ITER 7151 NEW BEST:: SOT 102285 SOS 19611 HAS SOPS 19611 HAS SOUS 12949 HAS SOUPS 12949 WITH SCORE 12968.611
AT ITER 7159 NEW BEST:: SOT 102248 SOS 19574 HAS SOPS 19574 HAS SOUS 12927 HAS SOUPS 12927 WITH SCORE 12946.574
AT ITER 7175 NEW BEST:: SOT 102262 SOS 19536 HAS SOPS 19536 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12944.536
AT ITER 7293 NEW BEST:: SOT 102262 SOS 19536 HAS SOPS 19536 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12941.536
AT ITER 7299 NEW BEST:: SOT 102262 SOS 19526 HAS SOPS 19526 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12937.526
AT ITER 7333 NEW BEST:: SOT 102278 SOS 19522 HAS SOPS 19522 HAS SOUS 12914 HAS SOUPS 12914 WITH SCORE 12933.522
AT ITER 7392 NEW BEST:: SOT 102248 SOS 19493 HAS SOPS 19493 HAS SOUS 12885 HAS SOUPS 12885 WITH SCORE 12904.493
AT ITER 7412 NEW BEST:: SOT 102258 SOS 19491 HAS SOPS 19491 HAS SOUS 12883 HAS SOUPS 12883 WITH SCORE 12902.491
AT ITER 7419 NEW BEST:: SOT 102258 SOS 19481 HAS SOPS 19481 HAS SOUS 12873 HAS SOUPS 12873 WITH SCORE 12892.481
AT ITER 7452 NEW BEST:: SOT 102249 SOS 19463 HAS SOPS 19463 HAS SOUS 12855 HAS SOUPS 12855 WITH SCORE 12874.463
AT ITER 7484 NEW BEST:: SOT 102247 SOS 19450 HAS SOPS 19450 HAS SOUS 12842 HAS SOUPS 12842 WITH SCORE 12861.45
AT ITER 7495 NEW BEST:: SOT 102231 SOS 19418 HAS SOPS 19418 HAS SOUS 12842 HAS SOUPS 12842 WITH SCORE 12861.418
AT ITER 7497 NEW BEST:: SOT 102213 SOS 19400 HAS SOPS 19400 HAS SOUS 12806 HAS SOUPS 12806 WITH SCORE 12825.4
AT ITER 7525 NEW BEST:: SOT 102202 SOS 19381 HAS SOPS 19381 HAS SOUS 12795 HAS SOUPS 12795 WITH SCORE 12814.381
AT ITER 7584 NEW BEST:: SOT 102191 SOS 19370 HAS SOPS 19370 HAS SOUS 12784 HAS SOUPS 12784 WITH SCORE 12803.37
AT ITER 7585 NEW BEST:: SOT 102193 SOS 19367 HAS SOPS 19367 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12800.367
AT ITER 7612 NEW BEST:: SOT 102185 SOS 19351 HAS SOPS 19351 HAS SOUS 12779 HAS SOUPS 12779 WITH SCORE 12798.351
AT ITER 7614 NEW BEST:: SOT 102184 SOS 19350 HAS SOPS 19350 HAS SOUS 12779 HAS SOUPS 12779 WITH SCORE 12798.35
AT ITER 7657 NEW BEST:: SOT 102172 SOS 19337 HAS SOPS 19337 HAS SOUS 12766 HAS SOUPS 12766 WITH SCORE 12785.337
AT ITER 7669 NEW BEST:: SOT 102159 SOS 19311 HAS SOPS 19311 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12774.311
AT ITER 7745 NEW BEST:: SOT 102153 SOS 19305 HAS SOPS 19305 HAS SOUS 12749 HAS SOUPS 12749 WITH SCORE 12768.305
AT ITER 7778 NEW BEST:: SOT 102141 SOS 19288 HAS SOPS 19288 HAS SOUS 12732 HAS SOUPS 12732 WITH SCORE 12751.288
AT ITER 7787 NEW BEST:: SOT 102139 SOS 19277 HAS SOPS 19277 HAS SOUS 12728 HAS SOUPS 12728 WITH SCORE 12747.277
AT ITER 7795 NEW BEST:: SOT 102139 SOS 19249 HAS SOPS 19249 HAS SOUS 12706 HAS SOUPS 12706 WITH SCORE 12725.249
AT ITER 7823 NEW BEST:: SOT 102138 SOS 19248 HAS SOPS 19248 HAS SOUS 12705 HAS SOUPS 12705 WITH SCORE 12724.248
AT ITER 7833 NEW BEST:: SOT 102097 SOS 19194 HAS SOPS 19194 HAS SOUS 12651 HAS SOUPS 12651 WITH SCORE 12670.194
AT ITER 7868 NEW BEST:: SOT 102070 SOS 19190 HAS SOPS 19190 HAS SOUS 12647 HAS SOUPS 12647 WITH SCORE 12666.19
AT ITER 7874 NEW BEST:: SOT 102070 SOS 19177 HAS SOPS 19177 HAS SOUS 12647 HAS SOUPS 12647 WITH SCORE 12666.177
AT ITER 7906 NEW BEST:: SOT 102065 SOS 19117 HAS SOPS 19117 HAS SOUS 12616 HAS SOUPS 12616 WITH SCORE 12635.117
AT ITER 7909 NEW BEST:: SOT 102061 SOS 19112 HAS SOPS 19112 HAS SOUS 12614 HAS SOUPS 12614 WITH SCORE 12633.112
AT ITER 7962 NEW BEST:: SOT 102059 SOS 19108 HAS SOPS 19108 HAS SOUS 12610 HAS SOUPS 12610 WITH SCORE 12629.108
AT ITER 7991 NEW BEST:: SOT 102044 SOS 19229 HAS SOPS 19229 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12625.229
AT ITER 8012 NEW BEST:: SOT 102040 SOS 19244 HAS SOPS 19244 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12621.244
AT ITER 8054 NEW BEST:: SOT 101998 SOS 19160 HAS SOPS 19160 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12537.16
AT ITER 8078 NEW BEST:: SOT 102003 SOS 19155 HAS SOPS 19155 HAS SOUS 12513 HAS SOUPS 12513 WITH SCORE 12532.155
AT ITER 8214 NEW BEST:: SOT 101945 SOS 19091 HAS SOPS 19091 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12474.091
AT ITER 8257 NEW BEST:: SOT 101945 SOS 19030 HAS SOPS 19030 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12474.03
AT ITER 8307 NEW BEST:: SOT 101942 SOS 19024 HAS SOPS 19024 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12467.024
AT ITER 8323 NEW BEST:: SOT 101941 SOS 19023 HAS SOPS 19023 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12467.023
AT ITER 8348 NEW BEST:: SOT 101932 SOS 19005 HAS SOPS 19005 HAS SOUS 12433 HAS SOUPS 12433 WITH SCORE 12452.005
AT ITER 8362 NEW BEST:: SOT 101930 SOS 19003 HAS SOPS 19003 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12450.003
AT ITER 8392 NEW BEST:: SOT 101925 SOS 18993 HAS SOPS 18993 HAS SOUS 12427 HAS SOUPS 12427 WITH SCORE 12445.993
AT ITER 8455 NEW BEST:: SOT 101920 SOS 18988 HAS SOPS 18988 HAS SOUS 12420 HAS SOUPS 12420 WITH SCORE 12438.988
AT ITER 8462 NEW BEST:: SOT 101944 SOS 18890 HAS SOPS 18890 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12437.89
AT ITER 8482 NEW BEST:: SOT 101925 SOS 18886 HAS SOPS 18886 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12433.886
AT ITER 8484 NEW BEST:: SOT 101903 SOS 18840 HAS SOPS 18840 HAS SOUS 12391 HAS SOUPS 12391 WITH SCORE 12409.84
AT ITER 8519 NEW BEST:: SOT 101900 SOS 18816 HAS SOPS 18816 HAS SOUS 12390 HAS SOUPS 12390 WITH SCORE 12408.816
AT ITER 8522 NEW BEST:: SOT 101900 SOS 18750 HAS SOPS 18750 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12377.75
AT ITER 8527 NEW BEST:: SOT 101897 SOS 18747 HAS SOPS 18747 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12374.747
AT ITER 8563 NEW BEST:: SOT 101819 SOS 18625 HAS SOPS 18625 HAS SOUS 12343 HAS SOUPS 12343 WITH SCORE 12361.625
AT ITER 8586 NEW BEST:: SOT 101802 SOS 18591 HAS SOPS 18591 HAS SOUS 12326 HAS SOUPS 12326 WITH SCORE 12344.591
AT ITER 8594 NEW BEST:: SOT 101783 SOS 18571 HAS SOPS 18571 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12342.571
AT ITER 8660 NEW BEST:: SOT 101783 SOS 18557 HAS SOPS 18557 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12328.557
AT ITER 8679 NEW BEST:: SOT 101779 SOS 18553 HAS SOPS 18553 HAS SOUS 12306 HAS SOUPS 12306 WITH SCORE 12324.553
AT ITER 8839 NEW BEST:: SOT 101744 SOS 18483 HAS SOPS 18483 HAS SOUS 12281 HAS SOUPS 12281 WITH SCORE 12299.483
AT ITER 8925 NEW BEST:: SOT 101737 SOS 18443 HAS SOPS 18443 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12279.443
AT ITER 8971 NEW BEST:: SOT 101736 SOS 18510 HAS SOPS 18510 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12278.51
AT ITER 8980 NEW BEST:: SOT 101736 SOS 18509 HAS SOPS 18509 HAS SOUS 12258 HAS SOUPS 12258 WITH SCORE 12276.509
AT ITER 9072 NEW BEST:: SOT 101736 SOS 18535 HAS SOPS 18535 HAS SOUS 12239 HAS SOUPS 12239 WITH SCORE 12257.535
AT ITER 9084 NEW BEST:: SOT 101721 SOS 18527 HAS SOPS 18527 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12242.527
AT ITER 9099 NEW BEST:: SOT 101679 SOS 18841 HAS SOPS 18841 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12214.841
AT ITER 9183 NEW BEST:: SOT 101675 SOS 18833 HAS SOPS 18833 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12206.833
AT ITER 9213 NEW BEST:: SOT 101667 SOS 18816 HAS SOPS 18816 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12198.816
AT ITER 9217 NEW BEST:: SOT 101665 SOS 18805 HAS SOPS 18805 HAS SOUS 12176 HAS SOUPS 12176 WITH SCORE 12194.805
AT ITER 9250 NEW BEST:: SOT 101652 SOS 18779 HAS SOPS 18779 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12168.779
AT ITER 9275 NEW BEST:: SOT 101645 SOS 18765 HAS SOPS 18765 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12154.765
AT ITER 9313 NEW BEST:: SOT 101645 SOS 18765 HAS SOPS 18765 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12145.765
AT ITER 9324 NEW BEST:: SOT 101662 SOS 18782 HAS SOPS 18782 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12121.782
AT ITER 9337 NEW BEST:: SOT 101661 SOS 18780 HAS SOPS 18780 HAS SOUS 12101 HAS SOUPS 12101 WITH SCORE 12119.78
AT ITER 9424 NEW BEST:: SOT 101649 SOS 18756 HAS SOPS 18756 HAS SOUS 12096 HAS SOUPS 12096 WITH SCORE 12114.756
AT ITER 9430 NEW BEST:: SOT 101634 SOS 18726 HAS SOPS 18726 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12099.726
AT ITER 9434 NEW BEST:: SOT 101644 SOS 18746 HAS SOPS 18746 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12081.746
AT ITER 9451 NEW BEST:: SOT 101643 SOS 18743 HAS SOPS 18743 HAS SOUS 12060 HAS SOUPS 12060 WITH SCORE 12078.743
AT ITER 9455 NEW BEST:: SOT 101636 SOS 18729 HAS SOPS 18729 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12077.729
AT ITER 9467 NEW BEST:: SOT 101639 SOS 18732 HAS SOPS 18732 HAS SOUS 12058 HAS SOUPS 12058 WITH SCORE 12076.732
AT ITER 9477 NEW BEST:: SOT 101639 SOS 18720 HAS SOPS 18720 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12064.72
AT ITER 9572 NEW BEST:: SOT 101626 SOS 18722 HAS SOPS 18722 HAS SOUS 12033 HAS SOUPS 12033 WITH SCORE 12051.722
AT ITER 9627 NEW BEST:: SOT 101619 SOS 18720 HAS SOPS 18720 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12049.72
AT ITER 9634 NEW BEST:: SOT 101670 SOS 18724 HAS SOPS 18724 HAS SOUS 12029 HAS SOUPS 12029 WITH SCORE 12047.724
AT ITER 9752 NEW BEST:: SOT 101662 SOS 18708 HAS SOPS 18708 HAS SOUS 12021 HAS SOUPS 12021 WITH SCORE 12039.708
AT ITER 9773 NEW BEST:: SOT 101649 SOS 18682 HAS SOPS 18682 HAS SOUS 12008 HAS SOUPS 12008 WITH SCORE 12026.682
AT ITER 9902 NEW BEST:: SOT 101647 SOS 18678 HAS SOPS 18678 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12022.678
AT ITER 9905 NEW BEST:: SOT 101655 SOS 18679 HAS SOPS 18679 HAS SOUS 12003 HAS SOUPS 12003 WITH SCORE 12021.679
AT ITER 9935 NEW BEST:: SOT 101641 SOS 18658 HAS SOPS 18658 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 12000.658
AT ITER 9964 NEW BEST:: SOT 101632 SOS 18649 HAS SOPS 18649 HAS SOUS 11973 HAS SOUPS 11973 WITH SCORE 11991.649
AT ITER 9981 NEW BEST:: SOT 101622 SOS 18629 HAS SOPS 18629 HAS SOUS 11964 HAS SOUPS 11964 WITH SCORE 11982.629
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5946976 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154848 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SmartHome-PT-14"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-14.tgz
mv SmartHome-PT-14 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;