Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538400139.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-18, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538400139
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 4.1K May 14 03:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 03:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 159K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SmartHome-PT-18-CTLCardinality-00
FORMULA_NAME SmartHome-PT-18-CTLCardinality-01
FORMULA_NAME SmartHome-PT-18-CTLCardinality-02
FORMULA_NAME SmartHome-PT-18-CTLCardinality-03
FORMULA_NAME SmartHome-PT-18-CTLCardinality-04
FORMULA_NAME SmartHome-PT-18-CTLCardinality-05
FORMULA_NAME SmartHome-PT-18-CTLCardinality-06
FORMULA_NAME SmartHome-PT-18-CTLCardinality-07
FORMULA_NAME SmartHome-PT-18-CTLCardinality-08
FORMULA_NAME SmartHome-PT-18-CTLCardinality-09
FORMULA_NAME SmartHome-PT-18-CTLCardinality-10
FORMULA_NAME SmartHome-PT-18-CTLCardinality-11
FORMULA_NAME SmartHome-PT-18-CTLCardinality-12
FORMULA_NAME SmartHome-PT-18-CTLCardinality-13
FORMULA_NAME SmartHome-PT-18-CTLCardinality-14
FORMULA_NAME SmartHome-PT-18-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590469805413

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 18
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 653 places, 706 transitions, 1618 arcs.
AT ITER 0 NEW BEST:: SOT 271711 SOS 61371 HAS SOPS 61371 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60015.371
AT ITER 21 NEW BEST:: SOT 271500 SOS 61103 HAS SOPS 61103 HAS SOUS 59650 HAS SOUPS 59650 WITH SCORE 59711.103
AT ITER 25 NEW BEST:: SOT 271480 SOS 61083 HAS SOPS 61083 HAS SOUS 59630 HAS SOUPS 59630 WITH SCORE 59691.083
AT ITER 29 NEW BEST:: SOT 271505 SOS 61133 HAS SOPS 61133 HAS SOUS 59586 HAS SOUPS 59586 WITH SCORE 59647.133
AT ITER 31 NEW BEST:: SOT 270331 SOS 60686 HAS SOPS 60686 HAS SOUS 58384 HAS SOUPS 58384 WITH SCORE 58444.686
AT ITER 41 NEW BEST:: SOT 270124 SOS 62197 HAS SOPS 62197 HAS SOUS 58307 HAS SOUPS 58307 WITH SCORE 58369.197
AT ITER 45 NEW BEST:: SOT 270118 SOS 62185 HAS SOPS 62185 HAS SOUS 58295 HAS SOUPS 58295 WITH SCORE 58357.185
AT ITER 46 NEW BEST:: SOT 270118 SOS 62155 HAS SOPS 62155 HAS SOUS 58279 HAS SOUPS 58279 WITH SCORE 58341.155
AT ITER 47 NEW BEST:: SOT 270058 SOS 61940 HAS SOPS 61940 HAS SOUS 58064 HAS SOUPS 58064 WITH SCORE 58125.94
AT ITER 81 NEW BEST:: SOT 269974 SOS 61856 HAS SOPS 61856 HAS SOUS 57980 HAS SOUPS 57980 WITH SCORE 58041.856
AT ITER 85 NEW BEST:: SOT 269938 SOS 61841 HAS SOPS 61841 HAS SOUS 57956 HAS SOUPS 57956 WITH SCORE 58017.841
AT ITER 100 NEW BEST:: SOT 269938 SOS 61789 HAS SOPS 61789 HAS SOUS 57904 HAS SOUPS 57904 WITH SCORE 57965.789
AT ITER 103 NEW BEST:: SOT 268052 SOS 66508 HAS SOPS 66508 HAS SOUS 56543 HAS SOUPS 56543 WITH SCORE 56609.508
AT ITER 106 NEW BEST:: SOT 267997 SOS 66343 HAS SOPS 66343 HAS SOUS 56345 HAS SOUPS 56345 WITH SCORE 56411.343
AT ITER 139 NEW BEST:: SOT 267746 SOS 65985 HAS SOPS 65985 HAS SOUS 56167 HAS SOUPS 56167 WITH SCORE 56232.985
AT ITER 152 NEW BEST:: SOT 267746 SOS 65899 HAS SOPS 65899 HAS SOUS 56093 HAS SOUPS 56093 WITH SCORE 56158.899
AT ITER 170 NEW BEST:: SOT 267150 SOS 66211 HAS SOPS 66211 HAS SOUS 55666 HAS SOUPS 55666 WITH SCORE 55732.211
AT ITER 173 NEW BEST:: SOT 267135 SOS 66181 HAS SOPS 66181 HAS SOUS 55547 HAS SOUPS 55547 WITH SCORE 55613.181
AT ITER 189 NEW BEST:: SOT 267045 SOS 66001 HAS SOPS 66001 HAS SOUS 55412 HAS SOUPS 55412 WITH SCORE 55478.001
AT ITER 199 NEW BEST:: SOT 267065 SOS 66041 HAS SOPS 66041 HAS SOUS 55405 HAS SOUPS 55405 WITH SCORE 55471.041
AT ITER 206 NEW BEST:: SOT 267065 SOS 65974 HAS SOPS 65974 HAS SOUS 55338 HAS SOUPS 55338 WITH SCORE 55403.974
AT ITER 210 NEW BEST:: SOT 267060 SOS 65969 HAS SOPS 65969 HAS SOUS 55333 HAS SOUPS 55333 WITH SCORE 55398.969
AT ITER 215 NEW BEST:: SOT 267060 SOS 65969 HAS SOPS 65969 HAS SOUS 55322 HAS SOUPS 55322 WITH SCORE 55387.969
AT ITER 261 NEW BEST:: SOT 267054 SOS 65962 HAS SOPS 65962 HAS SOUS 55315 HAS SOUPS 55315 WITH SCORE 55380.962
AT ITER 268 NEW BEST:: SOT 266983 SOS 65962 HAS SOPS 65962 HAS SOUS 55314 HAS SOUPS 55314 WITH SCORE 55379.962
AT ITER 285 NEW BEST:: SOT 266857 SOS 65836 HAS SOPS 65836 HAS SOUS 55306 HAS SOUPS 55306 WITH SCORE 55371.836
AT ITER 286 NEW BEST:: SOT 266819 SOS 65813 HAS SOPS 65813 HAS SOUS 55283 HAS SOUPS 55283 WITH SCORE 55348.813
AT ITER 293 NEW BEST:: SOT 266819 SOS 65683 HAS SOPS 65683 HAS SOUS 55257 HAS SOUPS 55257 WITH SCORE 55322.683
AT ITER 300 NEW BEST:: SOT 266815 SOS 65673 HAS SOPS 65673 HAS SOUS 55253 HAS SOUPS 55253 WITH SCORE 55318.673
AT ITER 303 NEW BEST:: SOT 266815 SOS 65643 HAS SOPS 65643 HAS SOUS 55253 HAS SOUPS 55253 WITH SCORE 55318.643
AT ITER 316 NEW BEST:: SOT 266862 SOS 65636 HAS SOPS 65636 HAS SOUS 55199 HAS SOUPS 55199 WITH SCORE 55264.636
AT ITER 325 NEW BEST:: SOT 266790 SOS 65492 HAS SOPS 65492 HAS SOUS 55055 HAS SOUPS 55055 WITH SCORE 55120.492
AT ITER 329 NEW BEST:: SOT 266692 SOS 65408 HAS SOPS 65408 HAS SOUS 54964 HAS SOUPS 54964 WITH SCORE 55029.408
AT ITER 331 NEW BEST:: SOT 266663 SOS 65379 HAS SOPS 65379 HAS SOUS 54935 HAS SOUPS 54935 WITH SCORE 55000.379
AT ITER 351 NEW BEST:: SOT 266611 SOS 65327 HAS SOPS 65327 HAS SOUS 54935 HAS SOUPS 54935 WITH SCORE 55000.327
AT ITER 353 NEW BEST:: SOT 266611 SOS 65316 HAS SOPS 65316 HAS SOUS 54935 HAS SOUPS 54935 WITH SCORE 55000.316
AT ITER 375 NEW BEST:: SOT 266582 SOS 65258 HAS SOPS 65258 HAS SOUS 54819 HAS SOUPS 54819 WITH SCORE 54884.258
AT ITER 379 NEW BEST:: SOT 266641 SOS 65256 HAS SOPS 65256 HAS SOUS 54817 HAS SOUPS 54817 WITH SCORE 54882.256
AT ITER 393 NEW BEST:: SOT 266619 SOS 65212 HAS SOPS 65212 HAS SOUS 54773 HAS SOUPS 54773 WITH SCORE 54838.212
AT ITER 405 NEW BEST:: SOT 266670 SOS 65181 HAS SOPS 65181 HAS SOUS 54742 HAS SOUPS 54742 WITH SCORE 54807.181
AT ITER 412 NEW BEST:: SOT 266590 SOS 65101 HAS SOPS 65101 HAS SOUS 54662 HAS SOUPS 54662 WITH SCORE 54727.101
AT ITER 433 NEW BEST:: SOT 266589 SOS 65027 HAS SOPS 65027 HAS SOUS 54655 HAS SOUPS 54655 WITH SCORE 54720.027
AT ITER 438 NEW BEST:: SOT 266601 SOS 65026 HAS SOPS 65026 HAS SOUS 54653 HAS SOUPS 54653 WITH SCORE 54718.026
AT ITER 439 NEW BEST:: SOT 266534 SOS 64998 HAS SOPS 64998 HAS SOUS 54625 HAS SOUPS 54625 WITH SCORE 54689.998
AT ITER 443 NEW BEST:: SOT 266341 SOS 64738 HAS SOPS 64738 HAS SOUS 54343 HAS SOUPS 54343 WITH SCORE 54407.738
AT ITER 446 NEW BEST:: SOT 266339 SOS 64722 HAS SOPS 64722 HAS SOUS 54327 HAS SOUPS 54327 WITH SCORE 54391.722
AT ITER 447 NEW BEST:: SOT 266337 SOS 64695 HAS SOPS 64695 HAS SOUS 54300 HAS SOUPS 54300 WITH SCORE 54364.695
AT ITER 457 NEW BEST:: SOT 266420 SOS 64699 HAS SOPS 64699 HAS SOUS 54230 HAS SOUPS 54230 WITH SCORE 54294.699
AT ITER 462 NEW BEST:: SOT 266384 SOS 64603 HAS SOPS 64603 HAS SOUS 54133 HAS SOUPS 54133 WITH SCORE 54197.603
AT ITER 476 NEW BEST:: SOT 266354 SOS 64571 HAS SOPS 64571 HAS SOUS 54103 HAS SOUPS 54103 WITH SCORE 54167.571
AT ITER 499 NEW BEST:: SOT 266418 SOS 64563 HAS SOPS 64563 HAS SOUS 54095 HAS SOUPS 54095 WITH SCORE 54159.563
AT ITER 512 NEW BEST:: SOT 266379 SOS 64575 HAS SOPS 64575 HAS SOUS 54091 HAS SOUPS 54091 WITH SCORE 54155.575
AT ITER 514 NEW BEST:: SOT 266359 SOS 64555 HAS SOPS 64555 HAS SOUS 54091 HAS SOUPS 54091 WITH SCORE 54155.555
AT ITER 515 NEW BEST:: SOT 266385 SOS 64499 HAS SOPS 64499 HAS SOUS 54034 HAS SOUPS 54034 WITH SCORE 54098.499
AT ITER 519 NEW BEST:: SOT 266365 SOS 64479 HAS SOPS 64479 HAS SOUS 54014 HAS SOUPS 54014 WITH SCORE 54078.479
AT ITER 522 NEW BEST:: SOT 266358 SOS 64485 HAS SOPS 64485 HAS SOUS 53971 HAS SOUPS 53971 WITH SCORE 54035.485
AT ITER 529 NEW BEST:: SOT 266390 SOS 64436 HAS SOPS 64436 HAS SOUS 53922 HAS SOUPS 53922 WITH SCORE 53986.436
AT ITER 531 NEW BEST:: SOT 266390 SOS 64410 HAS SOPS 64410 HAS SOUS 53896 HAS SOUPS 53896 WITH SCORE 53960.41
AT ITER 584 NEW BEST:: SOT 266351 SOS 64355 HAS SOPS 64355 HAS SOUS 53841 HAS SOUPS 53841 WITH SCORE 53905.355
AT ITER 595 NEW BEST:: SOT 266285 SOS 64223 HAS SOPS 64223 HAS SOUS 53786 HAS SOUPS 53786 WITH SCORE 53850.223
AT ITER 619 NEW BEST:: SOT 266281 SOS 64219 HAS SOPS 64219 HAS SOUS 53784 HAS SOUPS 53784 WITH SCORE 53848.219
AT ITER 629 NEW BEST:: SOT 266384 SOS 64177 HAS SOPS 64177 HAS SOUS 53742 HAS SOUPS 53742 WITH SCORE 53806.177
AT ITER 637 NEW BEST:: SOT 266492 SOS 64264 HAS SOPS 64264 HAS SOUS 53721 HAS SOUPS 53721 WITH SCORE 53785.264
AT ITER 648 NEW BEST:: SOT 266520 SOS 64262 HAS SOPS 64262 HAS SOUS 53707 HAS SOUPS 53707 WITH SCORE 53771.262
AT ITER 664 NEW BEST:: SOT 266478 SOS 64220 HAS SOPS 64220 HAS SOUS 53665 HAS SOUPS 53665 WITH SCORE 53729.22
AT ITER 669 NEW BEST:: SOT 265600 SOS 69610 HAS SOPS 69610 HAS SOUS 53183 HAS SOUPS 53183 WITH SCORE 53252.61
AT ITER 677 NEW BEST:: SOT 265550 SOS 69460 HAS SOPS 69460 HAS SOUS 53033 HAS SOUPS 53033 WITH SCORE 53102.46
AT ITER 690 NEW BEST:: SOT 265363 SOS 69206 HAS SOPS 69206 HAS SOUS 52798 HAS SOUPS 52798 WITH SCORE 52867.206
AT ITER 717 NEW BEST:: SOT 265363 SOS 69206 HAS SOPS 69206 HAS SOUS 52741 HAS SOUPS 52741 WITH SCORE 52810.206
AT ITER 718 NEW BEST:: SOT 265376 SOS 69232 HAS SOPS 69232 HAS SOUS 52731 HAS SOUPS 52731 WITH SCORE 52800.232
AT ITER 723 NEW BEST:: SOT 265369 SOS 69218 HAS SOPS 69218 HAS SOUS 52724 HAS SOUPS 52724 WITH SCORE 52793.218
AT ITER 726 NEW BEST:: SOT 264678 SOS 75755 HAS SOPS 75755 HAS SOUS 52703 HAS SOUPS 52703 WITH SCORE 52778.755
AT ITER 727 NEW BEST:: SOT 264680 SOS 75631 HAS SOPS 75631 HAS SOUS 52694 HAS SOUPS 52694 WITH SCORE 52769.631
AT ITER 738 NEW BEST:: SOT 264653 SOS 75577 HAS SOPS 75577 HAS SOUS 52607 HAS SOUPS 52607 WITH SCORE 52682.577
AT ITER 743 NEW BEST:: SOT 264445 SOS 75463 HAS SOPS 75463 HAS SOUS 52439 HAS SOUPS 52439 WITH SCORE 52514.463
AT ITER 778 NEW BEST:: SOT 264412 SOS 75427 HAS SOPS 75427 HAS SOUS 52384 HAS SOUPS 52384 WITH SCORE 52459.427
AT ITER 782 NEW BEST:: SOT 264428 SOS 75459 HAS SOPS 75459 HAS SOUS 52339 HAS SOUPS 52339 WITH SCORE 52414.459
AT ITER 793 NEW BEST:: SOT 264390 SOS 75326 HAS SOPS 75326 HAS SOUS 52228 HAS SOUPS 52228 WITH SCORE 52303.326
AT ITER 804 NEW BEST:: SOT 264336 SOS 75309 HAS SOPS 75309 HAS SOUS 52179 HAS SOUPS 52179 WITH SCORE 52254.309
AT ITER 816 NEW BEST:: SOT 263977 SOS 74591 HAS SOPS 74591 HAS SOUS 51843 HAS SOUPS 51843 WITH SCORE 51917.591
AT ITER 820 NEW BEST:: SOT 263956 SOS 74646 HAS SOPS 74646 HAS SOUS 51822 HAS SOUPS 51822 WITH SCORE 51896.646
AT ITER 823 NEW BEST:: SOT 263893 SOS 74589 HAS SOPS 74589 HAS SOUS 51765 HAS SOUPS 51765 WITH SCORE 51839.589
AT ITER 853 NEW BEST:: SOT 263809 SOS 74421 HAS SOPS 74421 HAS SOUS 51670 HAS SOUPS 51670 WITH SCORE 51744.421
AT ITER 870 NEW BEST:: SOT 263809 SOS 74405 HAS SOPS 74405 HAS SOUS 51654 HAS SOUPS 51654 WITH SCORE 51728.405
AT ITER 871 NEW BEST:: SOT 263809 SOS 74320 HAS SOPS 74320 HAS SOUS 51569 HAS SOUPS 51569 WITH SCORE 51643.32
AT ITER 876 NEW BEST:: SOT 263808 SOS 74277 HAS SOPS 74277 HAS SOUS 51562 HAS SOUPS 51562 WITH SCORE 51636.277
AT ITER 886 NEW BEST:: SOT 263710 SOS 74178 HAS SOPS 74178 HAS SOUS 51561 HAS SOUPS 51561 WITH SCORE 51635.178
AT ITER 888 NEW BEST:: SOT 263701 SOS 74151 HAS SOPS 74151 HAS SOUS 51543 HAS SOUPS 51543 WITH SCORE 51617.151
AT ITER 890 NEW BEST:: SOT 263687 SOS 74123 HAS SOPS 74123 HAS SOUS 51515 HAS SOUPS 51515 WITH SCORE 51589.123
AT ITER 897 NEW BEST:: SOT 263636 SOS 74021 HAS SOPS 74021 HAS SOUS 51413 HAS SOUPS 51413 WITH SCORE 51487.021
AT ITER 902 NEW BEST:: SOT 263635 SOS 74019 HAS SOPS 74019 HAS SOUS 51411 HAS SOUPS 51411 WITH SCORE 51485.019
AT ITER 912 NEW BEST:: SOT 263528 SOS 73853 HAS SOPS 73853 HAS SOUS 51293 HAS SOUPS 51293 WITH SCORE 51366.853
AT ITER 918 NEW BEST:: SOT 263528 SOS 73835 HAS SOPS 73835 HAS SOUS 51275 HAS SOUPS 51275 WITH SCORE 51348.835
AT ITER 930 NEW BEST:: SOT 263512 SOS 73803 HAS SOPS 73803 HAS SOUS 51243 HAS SOUPS 51243 WITH SCORE 51316.803
AT ITER 931 NEW BEST:: SOT 263506 SOS 73791 HAS SOPS 73791 HAS SOUS 51179 HAS SOUPS 51179 WITH SCORE 51252.791
AT ITER 956 NEW BEST:: SOT 263485 SOS 73815 HAS SOPS 73815 HAS SOUS 51173 HAS SOUPS 51173 WITH SCORE 51246.815
AT ITER 970 NEW BEST:: SOT 263141 SOS 73691 HAS SOPS 73691 HAS SOUS 50871 HAS SOUPS 50871 WITH SCORE 50944.691
AT ITER 977 NEW BEST:: SOT 263141 SOS 73666 HAS SOPS 73666 HAS SOUS 50846 HAS SOUPS 50846 WITH SCORE 50919.666
AT ITER 979 NEW BEST:: SOT 263140 SOS 73752 HAS SOPS 73752 HAS SOUS 50845 HAS SOUPS 50845 WITH SCORE 50918.752
AT ITER 985 NEW BEST:: SOT 263084 SOS 73640 HAS SOPS 73640 HAS SOUS 50733 HAS SOUPS 50733 WITH SCORE 50806.64
AT ITER 989 NEW BEST:: SOT 263066 SOS 73640 HAS SOPS 73640 HAS SOUS 50727 HAS SOUPS 50727 WITH SCORE 50800.64
AT ITER 993 NEW BEST:: SOT 263062 SOS 73610 HAS SOPS 73610 HAS SOUS 50697 HAS SOUPS 50697 WITH SCORE 50770.61
AT ITER 997 NEW BEST:: SOT 263062 SOS 73600 HAS SOPS 73600 HAS SOUS 50687 HAS SOUPS 50687 WITH SCORE 50760.6
AT ITER 998 NEW BEST:: SOT 262915 SOS 69820 HAS SOPS 69820 HAS SOUS 50300 HAS SOUPS 50300 WITH SCORE 50369.82
AT ITER 1000 NEW BEST:: SOT 262903 SOS 69796 HAS SOPS 69796 HAS SOUS 50287 HAS SOUPS 50287 WITH SCORE 50356.796
AT ITER 1020 NEW BEST:: SOT 262728 SOS 69621 HAS SOPS 69621 HAS SOUS 50112 HAS SOUPS 50112 WITH SCORE 50181.621
AT ITER 1031 NEW BEST:: SOT 262728 SOS 69607 HAS SOPS 69607 HAS SOUS 50098 HAS SOUPS 50098 WITH SCORE 50167.607
AT ITER 1049 NEW BEST:: SOT 262728 SOS 69559 HAS SOPS 69559 HAS SOUS 50050 HAS SOUPS 50050 WITH SCORE 50119.559
AT ITER 1050 NEW BEST:: SOT 262710 SOS 69541 HAS SOPS 69541 HAS SOUS 50039 HAS SOUPS 50039 WITH SCORE 50108.541
AT ITER 1055 NEW BEST:: SOT 262688 SOS 69479 HAS SOPS 69479 HAS SOUS 49993 HAS SOUPS 49993 WITH SCORE 50062.479
AT ITER 1060 NEW BEST:: SOT 262680 SOS 69463 HAS SOPS 69463 HAS SOUS 49984 HAS SOUPS 49984 WITH SCORE 50053.463
AT ITER 1068 NEW BEST:: SOT 262667 SOS 69450 HAS SOPS 69450 HAS SOUS 49974 HAS SOUPS 49974 WITH SCORE 50043.45
AT ITER 1070 NEW BEST:: SOT 262647 SOS 69430 HAS SOPS 69430 HAS SOUS 49954 HAS SOUPS 49954 WITH SCORE 50023.43
AT ITER 1071 NEW BEST:: SOT 262606 SOS 69389 HAS SOPS 69389 HAS SOUS 49954 HAS SOUPS 49954 WITH SCORE 50023.389
AT ITER 1072 NEW BEST:: SOT 262592 SOS 69368 HAS SOPS 69368 HAS SOUS 49940 HAS SOUPS 49940 WITH SCORE 50009.368
AT ITER 1090 NEW BEST:: SOT 262535 SOS 69165 HAS SOPS 69165 HAS SOUS 49794 HAS SOUPS 49794 WITH SCORE 49863.165
AT ITER 1091 NEW BEST:: SOT 261810 SOS 72571 HAS SOPS 72571 HAS SOUS 49769 HAS SOUPS 49769 WITH SCORE 49841.571
AT ITER 1092 NEW BEST:: SOT 261773 SOS 72562 HAS SOPS 72562 HAS SOUS 49746 HAS SOUPS 49746 WITH SCORE 49818.562
AT ITER 1099 NEW BEST:: SOT 261658 SOS 72332 HAS SOPS 72332 HAS SOUS 49516 HAS SOUPS 49516 WITH SCORE 49588.332
AT ITER 1112 NEW BEST:: SOT 261589 SOS 72125 HAS SOPS 72125 HAS SOUS 49378 HAS SOUPS 49378 WITH SCORE 49450.125
AT ITER 1140 NEW BEST:: SOT 261576 SOS 72099 HAS SOPS 72099 HAS SOUS 49352 HAS SOUPS 49352 WITH SCORE 49424.099
AT ITER 1154 NEW BEST:: SOT 261524 SOS 71943 HAS SOPS 71943 HAS SOUS 49196 HAS SOUPS 49196 WITH SCORE 49267.943
AT ITER 1176 NEW BEST:: SOT 261527 SOS 71925 HAS SOPS 71925 HAS SOUS 49178 HAS SOUPS 49178 WITH SCORE 49249.925
AT ITER 1177 NEW BEST:: SOT 261348 SOS 71746 HAS SOPS 71746 HAS SOUS 49117 HAS SOUPS 49117 WITH SCORE 49188.746
AT ITER 1187 NEW BEST:: SOT 261339 SOS 71728 HAS SOPS 71728 HAS SOUS 49099 HAS SOUPS 49099 WITH SCORE 49170.728
AT ITER 1194 NEW BEST:: SOT 261299 SOS 71648 HAS SOPS 71648 HAS SOUS 49059 HAS SOUPS 49059 WITH SCORE 49130.648
AT ITER 1199 NEW BEST:: SOT 260564 SOS 71686 HAS SOPS 71686 HAS SOUS 48552 HAS SOUPS 48552 WITH SCORE 48623.686
AT ITER 1213 NEW BEST:: SOT 260602 SOS 71602 HAS SOPS 71602 HAS SOUS 48507 HAS SOUPS 48507 WITH SCORE 48578.602
AT ITER 1223 NEW BEST:: SOT 260559 SOS 71516 HAS SOPS 71516 HAS SOUS 48428 HAS SOUPS 48428 WITH SCORE 48499.516
AT ITER 1224 NEW BEST:: SOT 260538 SOS 71508 HAS SOPS 71508 HAS SOUS 48420 HAS SOUPS 48420 WITH SCORE 48491.508
AT ITER 1233 NEW BEST:: SOT 260459 SOS 71350 HAS SOPS 71350 HAS SOUS 48367 HAS SOUPS 48367 WITH SCORE 48438.35
AT ITER 1235 NEW BEST:: SOT 260410 SOS 71252 HAS SOPS 71252 HAS SOUS 48269 HAS SOUPS 48269 WITH SCORE 48340.252
AT ITER 1241 NEW BEST:: SOT 260396 SOS 71238 HAS SOPS 71238 HAS SOUS 48269 HAS SOUPS 48269 WITH SCORE 48340.238
AT ITER 1252 NEW BEST:: SOT 260382 SOS 71224 HAS SOPS 71224 HAS SOUS 48267 HAS SOUPS 48267 WITH SCORE 48338.224
AT ITER 1270 NEW BEST:: SOT 260420 SOS 71193 HAS SOPS 71193 HAS SOUS 48263 HAS SOUPS 48263 WITH SCORE 48334.193
AT ITER 1272 NEW BEST:: SOT 260410 SOS 71173 HAS SOPS 71173 HAS SOUS 48243 HAS SOUPS 48243 WITH SCORE 48314.173
AT ITER 1275 NEW BEST:: SOT 260456 SOS 71186 HAS SOPS 71186 HAS SOUS 48242 HAS SOUPS 48242 WITH SCORE 48313.186
AT ITER 1279 NEW BEST:: SOT 260456 SOS 71138 HAS SOPS 71138 HAS SOUS 48218 HAS SOUPS 48218 WITH SCORE 48289.138
AT ITER 1280 NEW BEST:: SOT 260436 SOS 71098 HAS SOPS 71098 HAS SOUS 48184 HAS SOUPS 48184 WITH SCORE 48255.098
AT ITER 1295 NEW BEST:: SOT 260436 SOS 71096 HAS SOPS 71096 HAS SOUS 48182 HAS SOUPS 48182 WITH SCORE 48253.096
AT ITER 1324 NEW BEST:: SOT 260436 SOS 71088 HAS SOPS 71088 HAS SOUS 48174 HAS SOUPS 48174 WITH SCORE 48245.088
AT ITER 1328 NEW BEST:: SOT 260387 SOS 70990 HAS SOPS 70990 HAS SOUS 48076 HAS SOUPS 48076 WITH SCORE 48146.99
AT ITER 1332 NEW BEST:: SOT 260378 SOS 70981 HAS SOPS 70981 HAS SOUS 48076 HAS SOUPS 48076 WITH SCORE 48146.981
AT ITER 1337 NEW BEST:: SOT 260366 SOS 70957 HAS SOPS 70957 HAS SOUS 48067 HAS SOUPS 48067 WITH SCORE 48137.957
AT ITER 1358 NEW BEST:: SOT 259924 SOS 72895 HAS SOPS 72895 HAS SOUS 47967 HAS SOUPS 47967 WITH SCORE 48039.895
AT ITER 1380 NEW BEST:: SOT 259867 SOS 72823 HAS SOPS 72823 HAS SOUS 47895 HAS SOUPS 47895 WITH SCORE 47967.823
AT ITER 1397 NEW BEST:: SOT 260382 SOS 72746 HAS SOPS 72746 HAS SOUS 47818 HAS SOUPS 47818 WITH SCORE 47890.746
AT ITER 1405 NEW BEST:: SOT 260365 SOS 72712 HAS SOPS 72712 HAS SOUS 47784 HAS SOUPS 47784 WITH SCORE 47856.712
AT ITER 1423 NEW BEST:: SOT 260309 SOS 72660 HAS SOPS 72660 HAS SOUS 47732 HAS SOUPS 47732 WITH SCORE 47804.66
AT ITER 1428 NEW BEST:: SOT 260308 SOS 72658 HAS SOPS 72658 HAS SOUS 47731 HAS SOUPS 47731 WITH SCORE 47803.658
AT ITER 1436 NEW BEST:: SOT 260191 SOS 72853 HAS SOPS 72853 HAS SOUS 47653 HAS SOUPS 47653 WITH SCORE 47725.853
AT ITER 1439 NEW BEST:: SOT 260199 SOS 72869 HAS SOPS 72869 HAS SOUS 47638 HAS SOUPS 47638 WITH SCORE 47710.869
AT ITER 1447 NEW BEST:: SOT 260228 SOS 72833 HAS SOPS 72833 HAS SOUS 47540 HAS SOUPS 47540 WITH SCORE 47612.833
AT ITER 1453 NEW BEST:: SOT 259968 SOS 74263 HAS SOPS 74263 HAS SOUS 47430 HAS SOUPS 47430 WITH SCORE 47504.263
AT ITER 1456 NEW BEST:: SOT 259925 SOS 74234 HAS SOPS 74234 HAS SOUS 47423 HAS SOUPS 47423 WITH SCORE 47497.234
AT ITER 1457 NEW BEST:: SOT 259923 SOS 74230 HAS SOPS 74230 HAS SOUS 47419 HAS SOUPS 47419 WITH SCORE 47493.23
AT ITER 1471 NEW BEST:: SOT 259910 SOS 74218 HAS SOPS 74218 HAS SOUS 47406 HAS SOUPS 47406 WITH SCORE 47480.218
AT ITER 1479 NEW BEST:: SOT 259902 SOS 74210 HAS SOPS 74210 HAS SOUS 47398 HAS SOUPS 47398 WITH SCORE 47472.21
AT ITER 1486 NEW BEST:: SOT 259891 SOS 74170 HAS SOPS 74170 HAS SOUS 47381 HAS SOUPS 47381 WITH SCORE 47455.17
AT ITER 1487 NEW BEST:: SOT 259801 SOS 74222 HAS SOPS 74222 HAS SOUS 47307 HAS SOUPS 47307 WITH SCORE 47381.222
AT ITER 1488 NEW BEST:: SOT 259734 SOS 74088 HAS SOPS 74088 HAS SOUS 47209 HAS SOUPS 47209 WITH SCORE 47283.088
AT ITER 1490 NEW BEST:: SOT 259726 SOS 74080 HAS SOPS 74080 HAS SOUS 47201 HAS SOUPS 47201 WITH SCORE 47275.08
AT ITER 1495 NEW BEST:: SOT 259703 SOS 74034 HAS SOPS 74034 HAS SOUS 47178 HAS SOUPS 47178 WITH SCORE 47252.034
AT ITER 1500 NEW BEST:: SOT 259703 SOS 74029 HAS SOPS 74029 HAS SOUS 47173 HAS SOUPS 47173 WITH SCORE 47247.029
AT ITER 1503 NEW BEST:: SOT 259703 SOS 74029 HAS SOPS 74029 HAS SOUS 47161 HAS SOUPS 47161 WITH SCORE 47235.029
AT ITER 1505 NEW BEST:: SOT 259689 SOS 74001 HAS SOPS 74001 HAS SOUS 47133 HAS SOUPS 47133 WITH SCORE 47207.001
AT ITER 1514 NEW BEST:: SOT 259690 SOS 74037 HAS SOPS 74037 HAS SOUS 47053 HAS SOUPS 47053 WITH SCORE 47127.037
AT ITER 1536 NEW BEST:: SOT 259597 SOS 73762 HAS SOPS 73762 HAS SOUS 46843 HAS SOUPS 46843 WITH SCORE 46916.762
AT ITER 1546 NEW BEST:: SOT 259527 SOS 73702 HAS SOPS 73702 HAS SOUS 46835 HAS SOUPS 46835 WITH SCORE 46908.702
AT ITER 1558 NEW BEST:: SOT 259512 SOS 73684 HAS SOPS 73684 HAS SOUS 46817 HAS SOUPS 46817 WITH SCORE 46890.684
AT ITER 1596 NEW BEST:: SOT 259512 SOS 73610 HAS SOPS 73610 HAS SOUS 46805 HAS SOUPS 46805 WITH SCORE 46878.61
AT ITER 1602 NEW BEST:: SOT 259503 SOS 73592 HAS SOPS 73592 HAS SOUS 46796 HAS SOUPS 46796 WITH SCORE 46869.592
AT ITER 1608 NEW BEST:: SOT 259494 SOS 73574 HAS SOPS 73574 HAS SOUS 46778 HAS SOUPS 46778 WITH SCORE 46851.574
AT ITER 1613 NEW BEST:: SOT 259494 SOS 73570 HAS SOPS 73570 HAS SOUS 46774 HAS SOUPS 46774 WITH SCORE 46847.57
AT ITER 1620 NEW BEST:: SOT 259494 SOS 73570 HAS SOPS 73570 HAS SOUS 46668 HAS SOUPS 46668 WITH SCORE 46741.57
AT ITER 1638 NEW BEST:: SOT 259721 SOS 73469 HAS SOPS 73469 HAS SOUS 46644 HAS SOUPS 46644 WITH SCORE 46717.469
AT ITER 1640 NEW BEST:: SOT 259721 SOS 71579 HAS SOPS 71579 HAS SOUS 46644 HAS SOUPS 46644 WITH SCORE 46715.579
AT ITER 1647 NEW BEST:: SOT 259698 SOS 71565 HAS SOPS 71565 HAS SOUS 46630 HAS SOUPS 46630 WITH SCORE 46701.565
AT ITER 1653 NEW BEST:: SOT 259550 SOS 71269 HAS SOPS 71269 HAS SOUS 46482 HAS SOUPS 46482 WITH SCORE 46553.269
AT ITER 1660 NEW BEST:: SOT 259449 SOS 71067 HAS SOPS 71067 HAS SOUS 46381 HAS SOUPS 46381 WITH SCORE 46452.067
AT ITER 1687 NEW BEST:: SOT 259428 SOS 71046 HAS SOPS 71046 HAS SOUS 46360 HAS SOUPS 46360 WITH SCORE 46431.046
AT ITER 1688 NEW BEST:: SOT 259427 SOS 71044 HAS SOPS 71044 HAS SOUS 46336 HAS SOUPS 46336 WITH SCORE 46407.044
AT ITER 1689 NEW BEST:: SOT 259412 SOS 71029 HAS SOPS 71029 HAS SOUS 46321 HAS SOUPS 46321 WITH SCORE 46392.029
AT ITER 1724 NEW BEST:: SOT 259374 SOS 70869 HAS SOPS 70869 HAS SOUS 46204 HAS SOUPS 46204 WITH SCORE 46274.869
AT ITER 1729 NEW BEST:: SOT 259168 SOS 70646 HAS SOPS 70646 HAS SOUS 46170 HAS SOUPS 46170 WITH SCORE 46240.646
AT ITER 1735 NEW BEST:: SOT 259160 SOS 70630 HAS SOPS 70630 HAS SOUS 46154 HAS SOUPS 46154 WITH SCORE 46224.63
AT ITER 1737 NEW BEST:: SOT 259160 SOS 70609 HAS SOPS 70609 HAS SOUS 46133 HAS SOUPS 46133 WITH SCORE 46203.609
AT ITER 1739 NEW BEST:: SOT 259135 SOS 70569 HAS SOPS 70569 HAS SOUS 46105 HAS SOUPS 46105 WITH SCORE 46175.569
AT ITER 1741 NEW BEST:: SOT 259135 SOS 70519 HAS SOPS 70519 HAS SOUS 46070 HAS SOUPS 46070 WITH SCORE 46140.519
AT ITER 1743 NEW BEST:: SOT 259120 SOS 70489 HAS SOPS 70489 HAS SOUS 46015 HAS SOUPS 46015 WITH SCORE 46085.489
AT ITER 1756 NEW BEST:: SOT 259111 SOS 70471 HAS SOPS 70471 HAS SOUS 45997 HAS SOUPS 45997 WITH SCORE 46067.471
AT ITER 1758 NEW BEST:: SOT 258825 SOS 70185 HAS SOPS 70185 HAS SOUS 45891 HAS SOUPS 45891 WITH SCORE 45961.185
AT ITER 1812 NEW BEST:: SOT 258816 SOS 70167 HAS SOPS 70167 HAS SOUS 45873 HAS SOUPS 45873 WITH SCORE 45943.167
AT ITER 1837 NEW BEST:: SOT 258808 SOS 70151 HAS SOPS 70151 HAS SOUS 45865 HAS SOUPS 45865 WITH SCORE 45935.151
AT ITER 1884 NEW BEST:: SOT 258760 SOS 70055 HAS SOPS 70055 HAS SOUS 45721 HAS SOUPS 45721 WITH SCORE 45791.055
AT ITER 1898 NEW BEST:: SOT 258710 SOS 69955 HAS SOPS 69955 HAS SOUS 45689 HAS SOUPS 45689 WITH SCORE 45758.955
AT ITER 1907 NEW BEST:: SOT 258588 SOS 69833 HAS SOPS 69833 HAS SOUS 45628 HAS SOUPS 45628 WITH SCORE 45697.833
AT ITER 1918 NEW BEST:: SOT 258605 SOS 69850 HAS SOPS 69850 HAS SOUS 45627 HAS SOUPS 45627 WITH SCORE 45696.85
AT ITER 1919 NEW BEST:: SOT 258520 SOS 69773 HAS SOPS 69773 HAS SOUS 45550 HAS SOUPS 45550 WITH SCORE 45619.773
AT ITER 1938 NEW BEST:: SOT 258486 SOS 69739 HAS SOPS 69739 HAS SOUS 45516 HAS SOUPS 45516 WITH SCORE 45585.739
AT ITER 1947 NEW BEST:: SOT 258470 SOS 69707 HAS SOPS 69707 HAS SOUS 45484 HAS SOUPS 45484 WITH SCORE 45553.707
AT ITER 1969 NEW BEST:: SOT 258404 SOS 69799 HAS SOPS 69799 HAS SOUS 45455 HAS SOUPS 45455 WITH SCORE 45524.799
AT ITER 1977 NEW BEST:: SOT 258291 SOS 69573 HAS SOPS 69573 HAS SOUS 45331 HAS SOUPS 45331 WITH SCORE 45400.573
AT ITER 1988 NEW BEST:: SOT 258351 SOS 69466 HAS SOPS 69466 HAS SOUS 45306 HAS SOUPS 45306 WITH SCORE 45375.466
AT ITER 1989 NEW BEST:: SOT 258343 SOS 69450 HAS SOPS 69450 HAS SOUS 45290 HAS SOUPS 45290 WITH SCORE 45359.45
AT ITER 1997 NEW BEST:: SOT 258343 SOS 69447 HAS SOPS 69447 HAS SOUS 45287 HAS SOUPS 45287 WITH SCORE 45356.447
AT ITER 2016 NEW BEST:: SOT 258343 SOS 69479 HAS SOPS 69479 HAS SOUS 45255 HAS SOUPS 45255 WITH SCORE 45324.479
AT ITER 2032 NEW BEST:: SOT 258370 SOS 69506 HAS SOPS 69506 HAS SOUS 45240 HAS SOUPS 45240 WITH SCORE 45309.506
AT ITER 2042 NEW BEST:: SOT 258353 SOS 69472 HAS SOPS 69472 HAS SOUS 45240 HAS SOUPS 45240 WITH SCORE 45309.472
AT ITER 2043 NEW BEST:: SOT 258353 SOS 69460 HAS SOPS 69460 HAS SOUS 45228 HAS SOUPS 45228 WITH SCORE 45297.46
AT ITER 2049 NEW BEST:: SOT 258010 SOS 69100 HAS SOPS 69100 HAS SOUS 44813 HAS SOUPS 44813 WITH SCORE 44882.1
AT ITER 2051 NEW BEST:: SOT 258010 SOS 69100 HAS SOPS 69100 HAS SOUS 44800 HAS SOUPS 44800 WITH SCORE 44869.1
AT ITER 2065 NEW BEST:: SOT 257982 SOS 69044 HAS SOPS 69044 HAS SOUS 44786 HAS SOUPS 44786 WITH SCORE 44855.044
AT ITER 2084 NEW BEST:: SOT 257975 SOS 68882 HAS SOPS 68882 HAS SOUS 44766 HAS SOUPS 44766 WITH SCORE 44834.882
AT ITER 2094 NEW BEST:: SOT 257897 SOS 68648 HAS SOPS 68648 HAS SOUS 44688 HAS SOUPS 44688 WITH SCORE 44756.648
AT ITER 2096 NEW BEST:: SOT 257882 SOS 68633 HAS SOPS 68633 HAS SOUS 44673 HAS SOUPS 44673 WITH SCORE 44741.633
AT ITER 2097 NEW BEST:: SOT 257881 SOS 68631 HAS SOPS 68631 HAS SOUS 44673 HAS SOUPS 44673 WITH SCORE 44741.631
AT ITER 2098 NEW BEST:: SOT 257881 SOS 68567 HAS SOPS 68567 HAS SOUS 44609 HAS SOUPS 44609 WITH SCORE 44677.567
AT ITER 2116 NEW BEST:: SOT 257939 SOS 68567 HAS SOPS 68567 HAS SOUS 44551 HAS SOUPS 44551 WITH SCORE 44619.567
AT ITER 2119 NEW BEST:: SOT 257876 SOS 68509 HAS SOPS 68509 HAS SOUS 44425 HAS SOUPS 44425 WITH SCORE 44493.509
AT ITER 2144 NEW BEST:: SOT 257876 SOS 68402 HAS SOPS 68402 HAS SOUS 44393 HAS SOUPS 44393 WITH SCORE 44461.402
AT ITER 2168 NEW BEST:: SOT 257873 SOS 68393 HAS SOPS 68393 HAS SOUS 44387 HAS SOUPS 44387 WITH SCORE 44455.393
AT ITER 2171 NEW BEST:: SOT 257832 SOS 68281 HAS SOPS 68281 HAS SOUS 44346 HAS SOUPS 44346 WITH SCORE 44414.281
AT ITER 2182 NEW BEST:: SOT 257824 SOS 68252 HAS SOPS 68252 HAS SOUS 44343 HAS SOUPS 44343 WITH SCORE 44411.252
AT ITER 2192 NEW BEST:: SOT 257824 SOS 68251 HAS SOPS 68251 HAS SOUS 44343 HAS SOUPS 44343 WITH SCORE 44411.251
AT ITER 2194 NEW BEST:: SOT 257823 SOS 68249 HAS SOPS 68249 HAS SOUS 44342 HAS SOUPS 44342 WITH SCORE 44410.249
AT ITER 2198 NEW BEST:: SOT 257798 SOS 68213 HAS SOPS 68213 HAS SOUS 44320 HAS SOUPS 44320 WITH SCORE 44388.213
AT ITER 2216 NEW BEST:: SOT 257791 SOS 68206 HAS SOPS 68206 HAS SOUS 44313 HAS SOUPS 44313 WITH SCORE 44381.206
AT ITER 2238 NEW BEST:: SOT 257752 SOS 68128 HAS SOPS 68128 HAS SOUS 44235 HAS SOUPS 44235 WITH SCORE 44303.128
AT ITER 2243 NEW BEST:: SOT 257742 SOS 68108 HAS SOPS 68108 HAS SOUS 44215 HAS SOUPS 44215 WITH SCORE 44283.108
AT ITER 2247 NEW BEST:: SOT 257680 SOS 68046 HAS SOPS 68046 HAS SOUS 44211 HAS SOUPS 44211 WITH SCORE 44279.046
AT ITER 2254 NEW BEST:: SOT 257583 SOS 65815 HAS SOPS 65815 HAS SOUS 44017 HAS SOUPS 44017 WITH SCORE 44082.815
AT ITER 2282 NEW BEST:: SOT 257558 SOS 65783 HAS SOPS 65783 HAS SOUS 43985 HAS SOUPS 43985 WITH SCORE 44050.783
AT ITER 2303 NEW BEST:: SOT 257544 SOS 65755 HAS SOPS 65755 HAS SOUS 43957 HAS SOUPS 43957 WITH SCORE 44022.755
AT ITER 2322 NEW BEST:: SOT 257560 SOS 65488 HAS SOPS 65488 HAS SOUS 43950 HAS SOUPS 43950 WITH SCORE 44015.488
AT ITER 2326 NEW BEST:: SOT 257553 SOS 65474 HAS SOPS 65474 HAS SOUS 43936 HAS SOUPS 43936 WITH SCORE 44001.474
AT ITER 2327 NEW BEST:: SOT 257536 SOS 65440 HAS SOPS 65440 HAS SOUS 43902 HAS SOUPS 43902 WITH SCORE 43967.44
AT ITER 2345 NEW BEST:: SOT 257561 SOS 65365 HAS SOPS 65365 HAS SOUS 43897 HAS SOUPS 43897 WITH SCORE 43962.365
AT ITER 2346 NEW BEST:: SOT 257546 SOS 65313 HAS SOPS 65313 HAS SOUS 43845 HAS SOUPS 43845 WITH SCORE 43910.313
AT ITER 2384 NEW BEST:: SOT 257538 SOS 65297 HAS SOPS 65297 HAS SOUS 43837 HAS SOUPS 43837 WITH SCORE 43902.297
AT ITER 2390 NEW BEST:: SOT 257501 SOS 65196 HAS SOPS 65196 HAS SOUS 43799 HAS SOUPS 43799 WITH SCORE 43864.196
AT ITER 2391 NEW BEST:: SOT 257364 SOS 64922 HAS SOPS 64922 HAS SOUS 43605 HAS SOUPS 43605 WITH SCORE 43669.922
AT ITER 2398 NEW BEST:: SOT 257371 SOS 64922 HAS SOPS 64922 HAS SOUS 43598 HAS SOUPS 43598 WITH SCORE 43662.922
AT ITER 2406 NEW BEST:: SOT 257356 SOS 64907 HAS SOPS 64907 HAS SOUS 43598 HAS SOUPS 43598 WITH SCORE 43662.907
AT ITER 2431 NEW BEST:: SOT 257393 SOS 64917 HAS SOPS 64917 HAS SOUS 43576 HAS SOUPS 43576 WITH SCORE 43640.917
AT ITER 2432 NEW BEST:: SOT 257294 SOS 64719 HAS SOPS 64719 HAS SOUS 43378 HAS SOUPS 43378 WITH SCORE 43442.719
AT ITER 2451 NEW BEST:: SOT 257281 SOS 64667 HAS SOPS 64667 HAS SOUS 43368 HAS SOUPS 43368 WITH SCORE 43432.667
AT ITER 2488 NEW BEST:: SOT 257122 SOS 64492 HAS SOPS 64492 HAS SOUS 43336 HAS SOUPS 43336 WITH SCORE 43400.492
AT ITER 2495 NEW BEST:: SOT 256931 SOS 64110 HAS SOPS 64110 HAS SOUS 43315 HAS SOUPS 43315 WITH SCORE 43379.11
AT ITER 2503 NEW BEST:: SOT 256939 SOS 64118 HAS SOPS 64118 HAS SOUS 43308 HAS SOUPS 43308 WITH SCORE 43372.118
AT ITER 2504 NEW BEST:: SOT 256924 SOS 64088 HAS SOPS 64088 HAS SOUS 43278 HAS SOUPS 43278 WITH SCORE 43342.088
AT ITER 2522 NEW BEST:: SOT 256858 SOS 63877 HAS SOPS 63877 HAS SOUS 43087 HAS SOUPS 43087 WITH SCORE 43150.877
AT ITER 2526 NEW BEST:: SOT 256918 SOS 63846 HAS SOPS 63846 HAS SOUS 43056 HAS SOUPS 43056 WITH SCORE 43119.846
AT ITER 2565 NEW BEST:: SOT 256889 SOS 63788 HAS SOPS 63788 HAS SOUS 42998 HAS SOUPS 42998 WITH SCORE 43061.788
AT ITER 2569 NEW BEST:: SOT 256810 SOS 63630 HAS SOPS 63630 HAS SOUS 42919 HAS SOUPS 42919 WITH SCORE 42982.63
AT ITER 2577 NEW BEST:: SOT 256810 SOS 63628 HAS SOPS 63628 HAS SOUS 42918 HAS SOUPS 42918 WITH SCORE 42981.628
AT ITER 2580 NEW BEST:: SOT 256705 SOS 63418 HAS SOPS 63418 HAS SOUS 42771 HAS SOUPS 42771 WITH SCORE 42834.418
AT ITER 2590 NEW BEST:: SOT 256699 SOS 63412 HAS SOPS 63412 HAS SOUS 42765 HAS SOUPS 42765 WITH SCORE 42828.412
AT ITER 2596 NEW BEST:: SOT 256673 SOS 63373 HAS SOPS 63373 HAS SOUS 42739 HAS SOUPS 42739 WITH SCORE 42802.373
AT ITER 2600 NEW BEST:: SOT 256673 SOS 63341 HAS SOPS 63341 HAS SOUS 42707 HAS SOUPS 42707 WITH SCORE 42770.341
AT ITER 2625 NEW BEST:: SOT 256650 SOS 63295 HAS SOPS 63295 HAS SOUS 42661 HAS SOUPS 42661 WITH SCORE 42724.295
AT ITER 2658 NEW BEST:: SOT 256555 SOS 63570 HAS SOPS 63570 HAS SOUS 42603 HAS SOUPS 42603 WITH SCORE 42666.57
AT ITER 2667 NEW BEST:: SOT 256558 SOS 63547 HAS SOPS 63547 HAS SOUS 42580 HAS SOUPS 42580 WITH SCORE 42643.547
AT ITER 2672 NEW BEST:: SOT 256558 SOS 63494 HAS SOPS 63494 HAS SOUS 42562 HAS SOUPS 42562 WITH SCORE 42625.494
AT ITER 2679 NEW BEST:: SOT 256482 SOS 63531 HAS SOPS 63531 HAS SOUS 42500 HAS SOUPS 42500 WITH SCORE 42563.531
AT ITER 2712 NEW BEST:: SOT 256454 SOS 63480 HAS SOPS 63480 HAS SOUS 42457 HAS SOUPS 42457 WITH SCORE 42520.48
AT ITER 2723 NEW BEST:: SOT 256454 SOS 63480 HAS SOPS 63480 HAS SOUS 42455 HAS SOUPS 42455 WITH SCORE 42518.48
AT ITER 2760 NEW BEST:: SOT 256584 SOS 63393 HAS SOPS 63393 HAS SOUS 42430 HAS SOUPS 42430 WITH SCORE 42493.393
AT ITER 2764 NEW BEST:: SOT 256617 SOS 63459 HAS SOPS 63459 HAS SOUS 42378 HAS SOUPS 42378 WITH SCORE 42441.459
AT ITER 2769 NEW BEST:: SOT 256419 SOS 64045 HAS SOPS 64045 HAS SOUS 42256 HAS SOUPS 42256 WITH SCORE 42320.045
AT ITER 2799 NEW BEST:: SOT 256390 SOS 64022 HAS SOPS 64022 HAS SOUS 42244 HAS SOUPS 42244 WITH SCORE 42308.022
AT ITER 2810 NEW BEST:: SOT 256468 SOS 64020 HAS SOPS 64020 HAS SOUS 42228 HAS SOUPS 42228 WITH SCORE 42292.02
AT ITER 2822 NEW BEST:: SOT 256381 SOS 64437 HAS SOPS 64437 HAS SOUS 42218 HAS SOUPS 42218 WITH SCORE 42282.437
AT ITER 2823 NEW BEST:: SOT 256473 SOS 63327 HAS SOPS 63327 HAS SOUS 42197 HAS SOUPS 42197 WITH SCORE 42260.327
AT ITER 2827 NEW BEST:: SOT 256434 SOS 63278 HAS SOPS 63278 HAS SOUS 42148 HAS SOUPS 42148 WITH SCORE 42211.278
AT ITER 2847 NEW BEST:: SOT 256444 SOS 63271 HAS SOPS 63271 HAS SOUS 42141 HAS SOUPS 42141 WITH SCORE 42204.271
AT ITER 2848 NEW BEST:: SOT 256522 SOS 63278 HAS SOPS 63278 HAS SOUS 42138 HAS SOUPS 42138 WITH SCORE 42201.278
AT ITER 2850 NEW BEST:: SOT 256520 SOS 63274 HAS SOPS 63274 HAS SOUS 42110 HAS SOUPS 42110 WITH SCORE 42173.274
AT ITER 2855 NEW BEST:: SOT 256588 SOS 63338 HAS SOPS 63338 HAS SOUS 42106 HAS SOUPS 42106 WITH SCORE 42169.338
AT ITER 2862 NEW BEST:: SOT 256588 SOS 63150 HAS SOPS 63150 HAS SOUS 42106 HAS SOUPS 42106 WITH SCORE 42169.15
AT ITER 2879 NEW BEST:: SOT 256539 SOS 63052 HAS SOPS 63052 HAS SOUS 42057 HAS SOUPS 42057 WITH SCORE 42120.052
AT ITER 2881 NEW BEST:: SOT 256512 SOS 62982 HAS SOPS 62982 HAS SOUS 42034 HAS SOUPS 42034 WITH SCORE 42096.982
AT ITER 2908 NEW BEST:: SOT 256512 SOS 62976 HAS SOPS 62976 HAS SOUS 42028 HAS SOUPS 42028 WITH SCORE 42090.976
AT ITER 2941 NEW BEST:: SOT 256621 SOS 63194 HAS SOPS 63194 HAS SOUS 41968 HAS SOUPS 41968 WITH SCORE 42031.194
AT ITER 2957 NEW BEST:: SOT 256603 SOS 63158 HAS SOPS 63158 HAS SOUS 41950 HAS SOUPS 41950 WITH SCORE 42013.158
AT ITER 2960 NEW BEST:: SOT 256598 SOS 63148 HAS SOPS 63148 HAS SOUS 41940 HAS SOUPS 41940 WITH SCORE 42003.148
AT ITER 2968 NEW BEST:: SOT 256589 SOS 63121 HAS SOPS 63121 HAS SOUS 41922 HAS SOUPS 41922 WITH SCORE 41985.121
AT ITER 2987 NEW BEST:: SOT 256619 SOS 63101 HAS SOPS 63101 HAS SOUS 41912 HAS SOUPS 41912 WITH SCORE 41975.101
AT ITER 3008 NEW BEST:: SOT 256594 SOS 63051 HAS SOPS 63051 HAS SOUS 41831 HAS SOUPS 41831 WITH SCORE 41894.051
AT ITER 3011 NEW BEST:: SOT 256594 SOS 63051 HAS SOPS 63051 HAS SOUS 41828 HAS SOUPS 41828 WITH SCORE 41891.051
AT ITER 3015 NEW BEST:: SOT 256580 SOS 63023 HAS SOPS 63023 HAS SOUS 41800 HAS SOUPS 41800 WITH SCORE 41863.023
AT ITER 3018 NEW BEST:: SOT 256482 SOS 62883 HAS SOPS 62883 HAS SOUS 41748 HAS SOUPS 41748 WITH SCORE 41810.883
AT ITER 3028 NEW BEST:: SOT 256482 SOS 62883 HAS SOPS 62883 HAS SOUS 41747 HAS SOUPS 41747 WITH SCORE 41809.883
AT ITER 3029 NEW BEST:: SOT 256479 SOS 62877 HAS SOPS 62877 HAS SOUS 41744 HAS SOUPS 41744 WITH SCORE 41806.877
AT ITER 3037 NEW BEST:: SOT 256479 SOS 62807 HAS SOPS 62807 HAS SOUS 41744 HAS SOUPS 41744 WITH SCORE 41806.807
AT ITER 3049 NEW BEST:: SOT 256460 SOS 62788 HAS SOPS 62788 HAS SOUS 41731 HAS SOUPS 41731 WITH SCORE 41793.788
AT ITER 3051 NEW BEST:: SOT 256398 SOS 62482 HAS SOPS 62482 HAS SOUS 41530 HAS SOUPS 41530 WITH SCORE 41592.482
AT ITER 3087 NEW BEST:: SOT 256180 SOS 62290 HAS SOPS 62290 HAS SOUS 41338 HAS SOUPS 41338 WITH SCORE 41400.29
AT ITER 3094 NEW BEST:: SOT 256178 SOS 62286 HAS SOPS 62286 HAS SOUS 41334 HAS SOUPS 41334 WITH SCORE 41396.286
AT ITER 3099 NEW BEST:: SOT 256177 SOS 62284 HAS SOPS 62284 HAS SOUS 41333 HAS SOUPS 41333 WITH SCORE 41395.284
AT ITER 3104 NEW BEST:: SOT 256165 SOS 62262 HAS SOPS 62262 HAS SOUS 41311 HAS SOUPS 41311 WITH SCORE 41373.262
AT ITER 3117 NEW BEST:: SOT 256078 SOS 62892 HAS SOPS 62892 HAS SOUS 41273 HAS SOUPS 41273 WITH SCORE 41335.892
AT ITER 3130 NEW BEST:: SOT 256024 SOS 62838 HAS SOPS 62838 HAS SOUS 41172 HAS SOUPS 41172 WITH SCORE 41234.838
AT ITER 3167 NEW BEST:: SOT 255979 SOS 62748 HAS SOPS 62748 HAS SOUS 41127 HAS SOUPS 41127 WITH SCORE 41189.748
AT ITER 3168 NEW BEST:: SOT 255916 SOS 62659 HAS SOPS 62659 HAS SOUS 41075 HAS SOUPS 41075 WITH SCORE 41137.659
AT ITER 3176 NEW BEST:: SOT 255916 SOS 62659 HAS SOPS 62659 HAS SOUS 41071 HAS SOUPS 41071 WITH SCORE 41133.659
AT ITER 3210 NEW BEST:: SOT 255898 SOS 62641 HAS SOPS 62641 HAS SOUS 41053 HAS SOUPS 41053 WITH SCORE 41115.641
AT ITER 3215 NEW BEST:: SOT 255694 SOS 62233 HAS SOPS 62233 HAS SOUS 40796 HAS SOUPS 40796 WITH SCORE 40858.233
AT ITER 3222 NEW BEST:: SOT 255591 SOS 62027 HAS SOPS 62027 HAS SOUS 40590 HAS SOUPS 40590 WITH SCORE 40652.027
AT ITER 3252 NEW BEST:: SOT 255570 SOS 61985 HAS SOPS 61985 HAS SOUS 40569 HAS SOUPS 40569 WITH SCORE 40630.985
AT ITER 3264 NEW BEST:: SOT 255527 SOS 61984 HAS SOPS 61984 HAS SOUS 40568 HAS SOUPS 40568 WITH SCORE 40629.984
AT ITER 3276 NEW BEST:: SOT 255648 SOS 62058 HAS SOPS 62058 HAS SOUS 40521 HAS SOUPS 40521 WITH SCORE 40583.058
AT ITER 3288 NEW BEST:: SOT 255647 SOS 62030 HAS SOPS 62030 HAS SOUS 40493 HAS SOUPS 40493 WITH SCORE 40555.03
AT ITER 3292 NEW BEST:: SOT 255627 SOS 61990 HAS SOPS 61990 HAS SOUS 40453 HAS SOUPS 40453 WITH SCORE 40514.99
AT ITER 3296 NEW BEST:: SOT 255636 SOS 61985 HAS SOPS 61985 HAS SOUS 40448 HAS SOUPS 40448 WITH SCORE 40509.985
AT ITER 3305 NEW BEST:: SOT 255596 SOS 61925 HAS SOPS 61925 HAS SOUS 40388 HAS SOUPS 40388 WITH SCORE 40449.925
AT ITER 3310 NEW BEST:: SOT 255568 SOS 61869 HAS SOPS 61869 HAS SOUS 40350 HAS SOUPS 40350 WITH SCORE 40411.869
AT ITER 3316 NEW BEST:: SOT 255559 SOS 61851 HAS SOPS 61851 HAS SOUS 40341 HAS SOUPS 40341 WITH SCORE 40402.851
AT ITER 3340 NEW BEST:: SOT 255565 SOS 61838 HAS SOPS 61838 HAS SOUS 40322 HAS SOUPS 40322 WITH SCORE 40383.838
AT ITER 3345 NEW BEST:: SOT 255570 SOS 61726 HAS SOPS 61726 HAS SOUS 40318 HAS SOUPS 40318 WITH SCORE 40379.726
AT ITER 3432 NEW BEST:: SOT 255522 SOS 61696 HAS SOPS 61696 HAS SOUS 40288 HAS SOUPS 40288 WITH SCORE 40349.696
AT ITER 3440 NEW BEST:: SOT 255395 SOS 61442 HAS SOPS 61442 HAS SOUS 40228 HAS SOUPS 40228 WITH SCORE 40289.442
AT ITER 3469 NEW BEST:: SOT 255359 SOS 61406 HAS SOPS 61406 HAS SOUS 40174 HAS SOUPS 40174 WITH SCORE 40235.406
AT ITER 3474 NEW BEST:: SOT 255322 SOS 61385 HAS SOPS 61385 HAS SOUS 40153 HAS SOUPS 40153 WITH SCORE 40214.385
AT ITER 3475 NEW BEST:: SOT 255305 SOS 61352 HAS SOPS 61352 HAS SOUS 40120 HAS SOUPS 40120 WITH SCORE 40181.352
AT ITER 3486 NEW BEST:: SOT 255288 SOS 61362 HAS SOPS 61362 HAS SOUS 40117 HAS SOUPS 40117 WITH SCORE 40178.362
AT ITER 3509 NEW BEST:: SOT 255267 SOS 61320 HAS SOPS 61320 HAS SOUS 40075 HAS SOUPS 40075 WITH SCORE 40136.32
AT ITER 3571 NEW BEST:: SOT 255231 SOS 61284 HAS SOPS 61284 HAS SOUS 40075 HAS SOUPS 40075 WITH SCORE 40136.284
AT ITER 3575 NEW BEST:: SOT 255229 SOS 61282 HAS SOPS 61282 HAS SOUS 40073 HAS SOUPS 40073 WITH SCORE 40134.282
AT ITER 3620 NEW BEST:: SOT 255225 SOS 61278 HAS SOPS 61278 HAS SOUS 40069 HAS SOUPS 40069 WITH SCORE 40130.278
AT ITER 3628 NEW BEST:: SOT 255102 SOS 61032 HAS SOPS 61032 HAS SOUS 39945 HAS SOUPS 39945 WITH SCORE 40006.032
AT ITER 3644 NEW BEST:: SOT 254987 SOS 60802 HAS SOPS 60802 HAS SOUS 39830 HAS SOUPS 39830 WITH SCORE 39890.802
AT ITER 3652 NEW BEST:: SOT 254794 SOS 60682 HAS SOPS 60682 HAS SOUS 39820 HAS SOUPS 39820 WITH SCORE 39880.682
AT ITER 3654 NEW BEST:: SOT 254759 SOS 60673 HAS SOPS 60673 HAS SOUS 39811 HAS SOUPS 39811 WITH SCORE 39871.673
AT ITER 3670 NEW BEST:: SOT 254759 SOS 60587 HAS SOPS 60587 HAS SOUS 39811 HAS SOUPS 39811 WITH SCORE 39871.587
AT ITER 3696 NEW BEST:: SOT 254738 SOS 60566 HAS SOPS 60566 HAS SOUS 39790 HAS SOUPS 39790 WITH SCORE 39850.566
AT ITER 3697 NEW BEST:: SOT 254488 SOS 60198 HAS SOPS 60198 HAS SOUS 39554 HAS SOUPS 39554 WITH SCORE 39614.198
AT ITER 3716 NEW BEST:: SOT 254488 SOS 60198 HAS SOPS 60198 HAS SOUS 39547 HAS SOUPS 39547 WITH SCORE 39607.198
AT ITER 3748 NEW BEST:: SOT 254504 SOS 59944 HAS SOPS 59944 HAS SOUS 39541 HAS SOUPS 39541 WITH SCORE 39600.944
AT ITER 3755 NEW BEST:: SOT 254492 SOS 59920 HAS SOPS 59920 HAS SOUS 39517 HAS SOUPS 39517 WITH SCORE 39576.92
AT ITER 3771 NEW BEST:: SOT 254489 SOS 59914 HAS SOPS 59914 HAS SOUS 39510 HAS SOUPS 39510 WITH SCORE 39569.914
AT ITER 3775 NEW BEST:: SOT 254567 SOS 59898 HAS SOPS 59898 HAS SOUS 39500 HAS SOUPS 39500 WITH SCORE 39559.898
AT ITER 3777 NEW BEST:: SOT 254559 SOS 59882 HAS SOPS 59882 HAS SOUS 39497 HAS SOUPS 39497 WITH SCORE 39556.882
AT ITER 3780 NEW BEST:: SOT 254512 SOS 59840 HAS SOPS 59840 HAS SOUS 39455 HAS SOUPS 39455 WITH SCORE 39514.84
AT ITER 3854 NEW BEST:: SOT 254512 SOS 59824 HAS SOPS 59824 HAS SOUS 39439 HAS SOUPS 39439 WITH SCORE 39498.824
AT ITER 3865 NEW BEST:: SOT 254453 SOS 60129 HAS SOPS 60129 HAS SOUS 39430 HAS SOUPS 39430 WITH SCORE 39490.129
AT ITER 3877 NEW BEST:: SOT 254450 SOS 60123 HAS SOPS 60123 HAS SOUS 39424 HAS SOUPS 39424 WITH SCORE 39484.123
AT ITER 3897 NEW BEST:: SOT 254442 SOS 59939 HAS SOPS 59939 HAS SOUS 39408 HAS SOUPS 39408 WITH SCORE 39467.939
AT ITER 3898 NEW BEST:: SOT 254442 SOS 59939 HAS SOPS 59939 HAS SOUS 39399 HAS SOUPS 39399 WITH SCORE 39458.939
AT ITER 3915 NEW BEST:: SOT 254298 SOS 59907 HAS SOPS 59907 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39364.907
AT ITER 3931 NEW BEST:: SOT 254298 SOS 59905 HAS SOPS 59905 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39364.905
AT ITER 3959 NEW BEST:: SOT 254270 SOS 59863 HAS SOPS 59863 HAS SOUS 39291 HAS SOUPS 39291 WITH SCORE 39350.863
AT ITER 3976 NEW BEST:: SOT 254270 SOS 59871 HAS SOPS 59871 HAS SOUS 39283 HAS SOUPS 39283 WITH SCORE 39342.871
AT ITER 3987 NEW BEST:: SOT 254314 SOS 59929 HAS SOPS 59929 HAS SOUS 39276 HAS SOUPS 39276 WITH SCORE 39335.929
AT ITER 4012 NEW BEST:: SOT 254306 SOS 59913 HAS SOPS 59913 HAS SOUS 39260 HAS SOUPS 39260 WITH SCORE 39319.913
AT ITER 4018 NEW BEST:: SOT 254282 SOS 59885 HAS SOPS 59885 HAS SOUS 39232 HAS SOUPS 39232 WITH SCORE 39291.885
AT ITER 4026 NEW BEST:: SOT 254278 SOS 59881 HAS SOPS 59881 HAS SOUS 39232 HAS SOUPS 39232 WITH SCORE 39291.881
AT ITER 4050 NEW BEST:: SOT 254228 SOS 59930 HAS SOPS 59930 HAS SOUS 39176 HAS SOUPS 39176 WITH SCORE 39235.93
AT ITER 4076 NEW BEST:: SOT 254222 SOS 59918 HAS SOPS 59918 HAS SOUS 39164 HAS SOUPS 39164 WITH SCORE 39223.918
AT ITER 4090 NEW BEST:: SOT 254223 SOS 59919 HAS SOPS 59919 HAS SOUS 39161 HAS SOUPS 39161 WITH SCORE 39220.919
AT ITER 4103 NEW BEST:: SOT 254189 SOS 59885 HAS SOPS 59885 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39186.885
AT ITER 4114 NEW BEST:: SOT 254171 SOS 59849 HAS SOPS 59849 HAS SOUS 39091 HAS SOUPS 39091 WITH SCORE 39150.849
AT ITER 4132 NEW BEST:: SOT 254017 SOS 59541 HAS SOPS 59541 HAS SOUS 38863 HAS SOUPS 38863 WITH SCORE 38922.541
AT ITER 4148 NEW BEST:: SOT 253877 SOS 59343 HAS SOPS 59343 HAS SOUS 38744 HAS SOUPS 38744 WITH SCORE 38803.343
AT ITER 4163 NEW BEST:: SOT 253861 SOS 59327 HAS SOPS 59327 HAS SOUS 38744 HAS SOUPS 38744 WITH SCORE 38803.327
AT ITER 4164 NEW BEST:: SOT 253876 SOS 59147 HAS SOPS 59147 HAS SOUS 38697 HAS SOUPS 38697 WITH SCORE 38756.147
AT ITER 4167 NEW BEST:: SOT 253868 SOS 59131 HAS SOPS 59131 HAS SOUS 38689 HAS SOUPS 38689 WITH SCORE 38748.131
AT ITER 4182 NEW BEST:: SOT 253871 SOS 59137 HAS SOPS 59137 HAS SOUS 38660 HAS SOUPS 38660 WITH SCORE 38719.137
AT ITER 4188 NEW BEST:: SOT 253793 SOS 59137 HAS SOPS 59137 HAS SOUS 38582 HAS SOUPS 38582 WITH SCORE 38641.137
AT ITER 4225 NEW BEST:: SOT 253773 SOS 59097 HAS SOPS 59097 HAS SOUS 38542 HAS SOUPS 38542 WITH SCORE 38601.097
AT ITER 4236 NEW BEST:: SOT 253768 SOS 59171 HAS SOPS 59171 HAS SOUS 38472 HAS SOUPS 38472 WITH SCORE 38531.171
AT ITER 4246 NEW BEST:: SOT 253731 SOS 59141 HAS SOPS 59141 HAS SOUS 38442 HAS SOUPS 38442 WITH SCORE 38501.141
AT ITER 4248 NEW BEST:: SOT 253724 SOS 59127 HAS SOPS 59127 HAS SOUS 38435 HAS SOUPS 38435 WITH SCORE 38494.127
AT ITER 4257 NEW BEST:: SOT 253722 SOS 59123 HAS SOPS 59123 HAS SOUS 38433 HAS SOUPS 38433 WITH SCORE 38492.123
AT ITER 4258 NEW BEST:: SOT 253621 SOS 59022 HAS SOPS 59022 HAS SOUS 38332 HAS SOUPS 38332 WITH SCORE 38391.022
AT ITER 4278 NEW BEST:: SOT 253621 SOS 59006 HAS SOPS 59006 HAS SOUS 38316 HAS SOUPS 38316 WITH SCORE 38375.006
AT ITER 4281 NEW BEST:: SOT 253545 SOS 58854 HAS SOPS 58854 HAS SOUS 38196 HAS SOUPS 38196 WITH SCORE 38254.854
AT ITER 4288 NEW BEST:: SOT 253543 SOS 58848 HAS SOPS 58848 HAS SOUS 38192 HAS SOUPS 38192 WITH SCORE 38250.848
AT ITER 4308 NEW BEST:: SOT 253543 SOS 58848 HAS SOPS 58848 HAS SOUS 38190 HAS SOUPS 38190 WITH SCORE 38248.848
AT ITER 4328 NEW BEST:: SOT 253417 SOS 58750 HAS SOPS 58750 HAS SOUS 38049 HAS SOUPS 38049 WITH SCORE 38107.75
AT ITER 4329 NEW BEST:: SOT 253417 SOS 58729 HAS SOPS 58729 HAS SOUS 38049 HAS SOUPS 38049 WITH SCORE 38107.729
AT ITER 4334 NEW BEST:: SOT 253420 SOS 58690 HAS SOPS 58690 HAS SOUS 38049 HAS SOUPS 38049 WITH SCORE 38107.69
AT ITER 4344 NEW BEST:: SOT 253374 SOS 58644 HAS SOPS 58644 HAS SOUS 38003 HAS SOUPS 38003 WITH SCORE 38061.644
AT ITER 4366 NEW BEST:: SOT 253374 SOS 58637 HAS SOPS 58637 HAS SOUS 38003 HAS SOUPS 38003 WITH SCORE 38061.637
AT ITER 4376 NEW BEST:: SOT 253371 SOS 58631 HAS SOPS 58631 HAS SOUS 37997 HAS SOUPS 37997 WITH SCORE 38055.631
AT ITER 4378 NEW BEST:: SOT 253374 SOS 58637 HAS SOPS 58637 HAS SOUS 37995 HAS SOUPS 37995 WITH SCORE 38053.637
AT ITER 4382 NEW BEST:: SOT 253370 SOS 58633 HAS SOPS 58633 HAS SOUS 37991 HAS SOUPS 37991 WITH SCORE 38049.633
AT ITER 4384 NEW BEST:: SOT 253340 SOS 58573 HAS SOPS 58573 HAS SOUS 37900 HAS SOUPS 37900 WITH SCORE 37958.573
AT ITER 4433 NEW BEST:: SOT 253317 SOS 58527 HAS SOPS 58527 HAS SOUS 37853 HAS SOUPS 37853 WITH SCORE 37911.527
AT ITER 4438 NEW BEST:: SOT 253316 SOS 58526 HAS SOPS 58526 HAS SOUS 37852 HAS SOUPS 37852 WITH SCORE 37910.526
AT ITER 4457 NEW BEST:: SOT 253302 SOS 58512 HAS SOPS 58512 HAS SOUS 37824 HAS SOUPS 37824 WITH SCORE 37882.512
AT ITER 4468 NEW BEST:: SOT 253302 SOS 58508 HAS SOPS 58508 HAS SOUS 37820 HAS SOUPS 37820 WITH SCORE 37878.508
AT ITER 4471 NEW BEST:: SOT 253264 SOS 58432 HAS SOPS 58432 HAS SOUS 37801 HAS SOUPS 37801 WITH SCORE 37859.432
AT ITER 4493 NEW BEST:: SOT 253258 SOS 58530 HAS SOPS 58530 HAS SOUS 37795 HAS SOUPS 37795 WITH SCORE 37853.53
AT ITER 4496 NEW BEST:: SOT 253267 SOS 58532 HAS SOPS 58532 HAS SOUS 37774 HAS SOUPS 37774 WITH SCORE 37832.532
AT ITER 4533 NEW BEST:: SOT 253216 SOS 58346 HAS SOPS 58346 HAS SOUS 37723 HAS SOUPS 37723 WITH SCORE 37781.346
AT ITER 4534 NEW BEST:: SOT 253207 SOS 58328 HAS SOPS 58328 HAS SOUS 37723 HAS SOUPS 37723 WITH SCORE 37781.328
AT ITER 4540 NEW BEST:: SOT 253010 SOS 57948 HAS SOPS 57948 HAS SOUS 37615 HAS SOUPS 37615 WITH SCORE 37672.948
AT ITER 4554 NEW BEST:: SOT 253006 SOS 57940 HAS SOPS 57940 HAS SOUS 37607 HAS SOUPS 37607 WITH SCORE 37664.94
AT ITER 4558 NEW BEST:: SOT 252943 SOS 57877 HAS SOPS 57877 HAS SOUS 37607 HAS SOUPS 37607 WITH SCORE 37664.877
AT ITER 4572 NEW BEST:: SOT 252984 SOS 57918 HAS SOPS 57918 HAS SOUS 37592 HAS SOUPS 37592 WITH SCORE 37649.918
AT ITER 4612 NEW BEST:: SOT 252969 SOS 57903 HAS SOPS 57903 HAS SOUS 37577 HAS SOUPS 37577 WITH SCORE 37634.903
AT ITER 4624 NEW BEST:: SOT 252969 SOS 57761 HAS SOPS 57761 HAS SOUS 37498 HAS SOUPS 37498 WITH SCORE 37555.761
AT ITER 4637 NEW BEST:: SOT 252914 SOS 57690 HAS SOPS 57690 HAS SOUS 37482 HAS SOUPS 37482 WITH SCORE 37539.69
AT ITER 4658 NEW BEST:: SOT 252896 SOS 57672 HAS SOPS 57672 HAS SOUS 37473 HAS SOUPS 37473 WITH SCORE 37530.672
AT ITER 4676 NEW BEST:: SOT 252832 SOS 57544 HAS SOPS 57544 HAS SOUS 37409 HAS SOUPS 37409 WITH SCORE 37466.544
AT ITER 4706 NEW BEST:: SOT 252828 SOS 57536 HAS SOPS 57536 HAS SOUS 37401 HAS SOUPS 37401 WITH SCORE 37458.536
AT ITER 4724 NEW BEST:: SOT 252808 SOS 57496 HAS SOPS 57496 HAS SOUS 37361 HAS SOUPS 37361 WITH SCORE 37418.496
AT ITER 4744 NEW BEST:: SOT 252764 SOS 57408 HAS SOPS 57408 HAS SOUS 37273 HAS SOUPS 37273 WITH SCORE 37330.408
AT ITER 4754 NEW BEST:: SOT 252667 SOS 57268 HAS SOPS 57268 HAS SOUS 37133 HAS SOUPS 37133 WITH SCORE 37190.268
AT ITER 4756 NEW BEST:: SOT 252667 SOS 57268 HAS SOPS 57268 HAS SOUS 37092 HAS SOUPS 37092 WITH SCORE 37149.268
AT ITER 4763 NEW BEST:: SOT 252667 SOS 57265 HAS SOPS 57265 HAS SOUS 37089 HAS SOUPS 37089 WITH SCORE 37146.265
AT ITER 4789 NEW BEST:: SOT 252653 SOS 57237 HAS SOPS 57237 HAS SOUS 37069 HAS SOUPS 37069 WITH SCORE 37126.237
AT ITER 4817 NEW BEST:: SOT 252653 SOS 57237 HAS SOPS 57237 HAS SOUS 37054 HAS SOUPS 37054 WITH SCORE 37111.237
AT ITER 4829 NEW BEST:: SOT 252644 SOS 57229 HAS SOPS 57229 HAS SOUS 37046 HAS SOUPS 37046 WITH SCORE 37103.229
AT ITER 4882 NEW BEST:: SOT 252621 SOS 57183 HAS SOPS 57183 HAS SOUS 37018 HAS SOUPS 37018 WITH SCORE 37075.183
AT ITER 4898 NEW BEST:: SOT 252617 SOS 57171 HAS SOPS 57171 HAS SOUS 37010 HAS SOUPS 37010 WITH SCORE 37067.171
AT ITER 4904 NEW BEST:: SOT 252610 SOS 57157 HAS SOPS 57157 HAS SOUS 36996 HAS SOUPS 36996 WITH SCORE 37053.157
AT ITER 4920 NEW BEST:: SOT 252610 SOS 57152 HAS SOPS 57152 HAS SOUS 36991 HAS SOUPS 36991 WITH SCORE 37048.152
AT ITER 4951 NEW BEST:: SOT 252597 SOS 57126 HAS SOPS 57126 HAS SOUS 36978 HAS SOUPS 36978 WITH SCORE 37035.126
AT ITER 4962 NEW BEST:: SOT 252568 SOS 57097 HAS SOPS 57097 HAS SOUS 36978 HAS SOUPS 36978 WITH SCORE 37035.097
AT ITER 4996 NEW BEST:: SOT 252552 SOS 57065 HAS SOPS 57065 HAS SOUS 36946 HAS SOUPS 36946 WITH SCORE 37003.065
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SmartHome-PT-18-CTLCardinality-00 ( (EF(( potential( ( 2 ) <= (tk(P629)) ) & (! potential( ( 3 ) <= (tk(P424)) )) ))) & (EF(( ( potential( (tk(P362)) <= (tk(P53)) ) & potential( ( 2 ) <= (tk(P9)) ) ) & ( potential( (tk(P360)) <= (tk(P86)) ) & potential( ( 2 ) <= (tk(P414)) ) ) ))) )
PROPERTY: SmartHome-PT-18-CTLCardinality-01 ( (EU( (! potential( (tk(P45)) <= (tk(P314)) )),(! potential( ( 1 ) <= (tk(P617)) )) )) & (EU( (! potential( ( 3 ) <= (tk(P556)) )),( potential( ( 2 ) <= (tk(P115)) ) & potential( (tk(P494)) <= (tk(P352)) ) ) )) )
PROPERTY: SmartHome-PT-18-CTLCardinality-02 (EU( (! (! potential( (tk(P190)) <= (tk(P525)) ))),( ( potential( ( 2 ) <= (tk(P480)) ) & potential( ( 3 ) <= (tk(P334)) ) ) & ( potential( (tk(P277)) <= (tk(P176)) ) & potential( (tk(P398)) <= (tk(P246)) ) ) ) ))
PROPERTY: SmartHome-PT-18-CTLCardinality-03 ( (AG( ( potential( (tk(P592)) <= (tk(P620)) ) | (! potential( (tk(P51)) <= (tk(P169)) )) ))) | (AU( ( potential( (tk(P113)) <= (tk(P322)) ) | potential( (tk(P223)) <= (tk(P639)) ) ),potential( ( 2 ) <= (tk(P307)) ) )) )
PROPERTY: SmartHome-PT-18-CTLCardinality-04 (! (EF((AF(potential( ( 3 ) <= (tk(P329)) ))))))
PROPERTY: SmartHome-PT-18-CTLCardinality-05 ( (EX( (AG( potential( (tk(P482)) <= (tk(P495)) ))))) | ( ( ( potential( ( 1 ) <= (tk(P585)) ) & potential( (tk(P178)) <= (tk(P313)) ) ) | ( (! potential( (tk(P462)) <= (tk(P29)) )) | ( potential( (tk(P648)) <= (tk(P465)) ) | potential( ( 3 ) <= (tk(P199)) ) ) ) ) & ( ( potential( ( 3 ) <= (tk(P175)) ) & (! potential( (tk(P322)) <= (tk(P116)) )) ) | ( (! potential( (tk(P400)) <= (tk(P370)) )) & ( potential( ( 3 ) <= (tk(P445)) ) & potential( ( 3 ) <= (tk(P40)) ) ) ) ) ) )
PROPERTY: SmartHome-PT-18-CTLCardinality-06 (AG( potential( (tk(P635)) <= (tk(P505)) )))
PROPERTY: SmartHome-PT-18-CTLCardinality-07 (! ( (EF(( potential( (tk(P50)) <= (tk(P271)) ) & potential( ( 3 ) <= (tk(P287)) ) ))) | (! ( ( potential( ( 2 ) <= (tk(P494)) ) | potential( (tk(P529)) <= (tk(P295)) ) ) | ( potential( (tk(P567)) <= (tk(P510)) ) & potential( ( 3 ) <= (tk(P159)) ) ) )) ))
PROPERTY: SmartHome-PT-18-CTLCardinality-08 ( ( ( (EG( potential( ( 2 ) <= (tk(P461)) ))) & (EG( potential( ( 3 ) <= (tk(P296)) ))) ) | (AG( ( potential( (tk(P60)) <= (tk(P469)) ) | potential( ( 2 ) <= (tk(P3)) ) ))) ) | (! ( (EX( potential( (tk(P192)) <= (tk(P76)) ))) | (EF(potential( ( 2 ) <= (tk(P190)) ))) )) )
PROPERTY: SmartHome-PT-18-CTLCardinality-09 (EX( (EU( potential( (tk(P448)) <= (tk(P281)) ),potential( ( 3 ) <= (tk(P237)) ) ))))
PROPERTY: SmartHome-PT-18-CTLCardinality-10 ( (! (AG( (! potential( ( 1 ) <= (tk(P599)) ))))) | ( potential( ( 1 ) <= (tk(P529)) ) & potential( ( 3 ) <= (tk(P7)) ) ) )
PROPERTY: SmartHome-PT-18-CTLCardinality-11 (EX( (EU( potential( (tk(P383)) <= (tk(P536)) ),potential( ( 2 ) <= (tk(P419)) ) ))))
PROPERTY: SmartHome-PT-18-CTLCardinality-12 (AU( (AG( potential( (tk(P117)) <= (tk(P120)) ))),(EF(potential( ( 3 ) <= (tk(P151)) ))) ))
PROPERTY: SmartHome-PT-18-CTLCardinality-13 (! (AG( (! (! potential( (tk(P535)) <= (tk(P437)) ))))))
PROPERTY: SmartHome-PT-18-CTLCardinality-14 (AX( ( (EF(potential( ( 3 ) <= (tk(P467)) ))) & ( ( potential( (tk(P537)) <= (tk(P265)) ) | potential( (tk(P6)) <= (tk(P14)) ) ) | ( potential( ( 3 ) <= (tk(P347)) ) & potential( ( 1 ) <= (tk(P379)) ) ) ) )))
PROPERTY: SmartHome-PT-18-CTLCardinality-15 ( (EF(( ( potential( (tk(P337)) <= (tk(P428)) ) & potential( ( 3 ) <= (tk(P389)) ) ) | potential( ( 1 ) <= (tk(P639)) ) ))) & (EU( potential( (tk(P431)) <= (tk(P565)) ),(! potential( ( 1 ) <= (tk(P88)) )) )) )

BK_TIME_CONFINEMENT_REACHED

--------------------
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="SmartHome-PT-18"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is SmartHome-PT-18, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538400139"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-18.tgz
mv SmartHome-PT-18 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;