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.r259-smll-167863534000040.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 NQueens-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534000040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 652K
-rw-r--r-- 1 mcc users 6.7K Feb 26 17:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 17:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 17:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 17:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 17:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 183K Feb 26 17:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 26 17:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 134K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678659060667

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=NQueens-PT-12
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 12
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: 216 places, 144 transitions, 720 arcs.
AT ITER 0 NEW BEST:: SOT 24170 SOS 15015 HAS SOPS 15015 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13764.015
AT ITER 2 NEW BEST:: SOT 24170 SOS 15015 HAS SOPS 15015 HAS SOUS 13740 HAS SOUPS 13740 WITH SCORE 13755.015
AT ITER 3 NEW BEST:: SOT 24157 SOS 15068 HAS SOPS 15068 HAS SOUS 13734 HAS SOUPS 13734 WITH SCORE 13749.068
AT ITER 4 NEW BEST:: SOT 24137 SOS 15432 HAS SOPS 15432 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13741.432
AT ITER 15 NEW BEST:: SOT 24100 SOS 15351 HAS SOPS 15351 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13673.351
AT ITER 20 NEW BEST:: SOT 24016 SOS 15264 HAS SOPS 15264 HAS SOUS 13643 HAS SOUPS 13643 WITH SCORE 13658.264
AT ITER 28 NEW BEST:: SOT 24016 SOS 15196 HAS SOPS 15196 HAS SOUS 13643 HAS SOUPS 13643 WITH SCORE 13658.196
AT ITER 29 NEW BEST:: SOT 24016 SOS 15128 HAS SOPS 15128 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13649.128
AT ITER 36 NEW BEST:: SOT 24016 SOS 14845 HAS SOPS 14845 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13648.845
AT ITER 40 NEW BEST:: SOT 24016 SOS 14764 HAS SOPS 14764 HAS SOUS 13624 HAS SOUPS 13624 WITH SCORE 13638.764
AT ITER 46 NEW BEST:: SOT 23923 SOS 14580 HAS SOPS 14580 HAS SOUS 13578 HAS SOUPS 13578 WITH SCORE 13592.58
AT ITER 48 NEW BEST:: SOT 23877 SOS 14660 HAS SOPS 14660 HAS SOUS 13519 HAS SOUPS 13519 WITH SCORE 13533.66
AT ITER 50 NEW BEST:: SOT 23830 SOS 14661 HAS SOPS 14661 HAS SOUS 13495 HAS SOUPS 13495 WITH SCORE 13509.661
AT ITER 54 NEW BEST:: SOT 23777 SOS 14760 HAS SOPS 14760 HAS SOUS 13490 HAS SOUPS 13490 WITH SCORE 13504.76
AT ITER 64 NEW BEST:: SOT 23732 SOS 14788 HAS SOPS 14788 HAS SOUS 13481 HAS SOUPS 13481 WITH SCORE 13495.788
AT ITER 67 NEW BEST:: SOT 23732 SOS 14788 HAS SOPS 14788 HAS SOUS 13430 HAS SOUPS 13430 WITH SCORE 13444.788
AT ITER 71 NEW BEST:: SOT 23732 SOS 14737 HAS SOPS 14737 HAS SOUS 13383 HAS SOUPS 13383 WITH SCORE 13397.737
AT ITER 72 NEW BEST:: SOT 23732 SOS 14716 HAS SOPS 14716 HAS SOUS 13383 HAS SOUPS 13383 WITH SCORE 13397.716
AT ITER 74 NEW BEST:: SOT 23732 SOS 14589 HAS SOPS 14589 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13354.589
AT ITER 82 NEW BEST:: SOT 23650 SOS 14504 HAS SOPS 14504 HAS SOUS 13251 HAS SOUPS 13251 WITH SCORE 13265.504
AT ITER 84 NEW BEST:: SOT 23616 SOS 14487 HAS SOPS 14487 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13205.487
AT ITER 91 NEW BEST:: SOT 23538 SOS 14586 HAS SOPS 14586 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13160.586
AT ITER 94 NEW BEST:: SOT 23538 SOS 14466 HAS SOPS 14466 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13160.466
AT ITER 95 NEW BEST:: SOT 23522 SOS 14441 HAS SOPS 14441 HAS SOUS 13126 HAS SOUPS 13126 WITH SCORE 13140.441
AT ITER 96 NEW BEST:: SOT 23449 SOS 14377 HAS SOPS 14377 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13073.377
AT ITER 97 NEW BEST:: SOT 23449 SOS 14360 HAS SOPS 14360 HAS SOUS 13055 HAS SOUPS 13055 WITH SCORE 13069.36
AT ITER 99 NEW BEST:: SOT 23449 SOS 14298 HAS SOPS 14298 HAS SOUS 12993 HAS SOUPS 12993 WITH SCORE 13007.298
AT ITER 112 NEW BEST:: SOT 23416 SOS 14358 HAS SOPS 14358 HAS SOUS 12978 HAS SOUPS 12978 WITH SCORE 12992.358
AT ITER 114 NEW BEST:: SOT 23226 SOS 14190 HAS SOPS 14190 HAS SOUS 12810 HAS SOUPS 12810 WITH SCORE 12824.19
AT ITER 121 NEW BEST:: SOT 23226 SOS 14185 HAS SOPS 14185 HAS SOUS 12810 HAS SOUPS 12810 WITH SCORE 12824.185
AT ITER 132 NEW BEST:: SOT 23199 SOS 14200 HAS SOPS 14200 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12789.2
AT ITER 139 NEW BEST:: SOT 23199 SOS 14186 HAS SOPS 14186 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12789.186
AT ITER 146 NEW BEST:: SOT 23199 SOS 14001 HAS SOPS 14001 HAS SOUS 12766 HAS SOUPS 12766 WITH SCORE 12780.001
AT ITER 148 NEW BEST:: SOT 23169 SOS 13982 HAS SOPS 13982 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12760.982
AT ITER 149 NEW BEST:: SOT 23122 SOS 13950 HAS SOPS 13950 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12724.95
AT ITER 154 NEW BEST:: SOT 23114 SOS 13942 HAS SOPS 13942 HAS SOUS 12703 HAS SOUPS 12703 WITH SCORE 12716.942
AT ITER 155 NEW BEST:: SOT 23125 SOS 13847 HAS SOPS 13847 HAS SOUS 12648 HAS SOUPS 12648 WITH SCORE 12661.847
AT ITER 168 NEW BEST:: SOT 23090 SOS 13821 HAS SOPS 13821 HAS SOUS 12605 HAS SOUPS 12605 WITH SCORE 12618.821
AT ITER 183 NEW BEST:: SOT 22860 SOS 13591 HAS SOPS 13591 HAS SOUS 12375 HAS SOUPS 12375 WITH SCORE 12388.591
AT ITER 188 NEW BEST:: SOT 22860 SOS 13572 HAS SOPS 13572 HAS SOUS 12361 HAS SOUPS 12361 WITH SCORE 12374.572
AT ITER 199 NEW BEST:: SOT 22860 SOS 13533 HAS SOPS 13533 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12363.533
AT ITER 208 NEW BEST:: SOT 22860 SOS 13513 HAS SOPS 13513 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12363.513
AT ITER 217 NEW BEST:: SOT 22860 SOS 13542 HAS SOPS 13542 HAS SOUS 12322 HAS SOUPS 12322 WITH SCORE 12335.542
AT ITER 219 NEW BEST:: SOT 22840 SOS 13515 HAS SOPS 13515 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12293.515
AT ITER 225 NEW BEST:: SOT 22824 SOS 13507 HAS SOPS 13507 HAS SOUS 12265 HAS SOUPS 12265 WITH SCORE 12278.507
AT ITER 235 NEW BEST:: SOT 22879 SOS 13512 HAS SOPS 13512 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12270.512
AT ITER 255 NEW BEST:: SOT 22879 SOS 13505 HAS SOPS 13505 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12270.505
AT ITER 276 NEW BEST:: SOT 22879 SOS 13415 HAS SOPS 13415 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12270.415
AT ITER 285 NEW BEST:: SOT 22785 SOS 13345 HAS SOPS 13345 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12221.345
AT ITER 286 NEW BEST:: SOT 22768 SOS 13338 HAS SOPS 13338 HAS SOUS 12192 HAS SOUPS 12192 WITH SCORE 12205.338
AT ITER 295 NEW BEST:: SOT 22768 SOS 13322 HAS SOPS 13322 HAS SOUS 12170 HAS SOUPS 12170 WITH SCORE 12183.322
AT ITER 298 NEW BEST:: SOT 22768 SOS 13288 HAS SOPS 13288 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12173.288
AT ITER 314 NEW BEST:: SOT 22768 SOS 13172 HAS SOPS 13172 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12173.172
AT ITER 316 NEW BEST:: SOT 22771 SOS 13162 HAS SOPS 13162 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12173.162
AT ITER 323 NEW BEST:: SOT 22761 SOS 13152 HAS SOPS 13152 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12163.152
AT ITER 351 NEW BEST:: SOT 22761 SOS 13136 HAS SOPS 13136 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12163.136
AT ITER 365 NEW BEST:: SOT 22745 SOS 13129 HAS SOPS 13129 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12150.129
AT ITER 366 NEW BEST:: SOT 22745 SOS 12757 HAS SOPS 12757 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12149.757
AT ITER 384 NEW BEST:: SOT 22730 SOS 12670 HAS SOPS 12670 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12046.67
AT ITER 400 NEW BEST:: SOT 22730 SOS 12658 HAS SOPS 12658 HAS SOUS 12024 HAS SOUPS 12024 WITH SCORE 12036.658
AT ITER 409 NEW BEST:: SOT 22698 SOS 12649 HAS SOPS 12649 HAS SOUS 11997 HAS SOUPS 11997 WITH SCORE 12009.649
AT ITER 416 NEW BEST:: SOT 22698 SOS 12590 HAS SOPS 12590 HAS SOUS 11997 HAS SOUPS 11997 WITH SCORE 12009.59
AT ITER 427 NEW BEST:: SOT 22689 SOS 12581 HAS SOPS 12581 HAS SOUS 11988 HAS SOUPS 11988 WITH SCORE 12000.581
AT ITER 441 NEW BEST:: SOT 22689 SOS 12576 HAS SOPS 12576 HAS SOUS 11988 HAS SOUPS 11988 WITH SCORE 12000.576
AT ITER 448 NEW BEST:: SOT 22640 SOS 12606 HAS SOPS 12606 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11967.606
AT ITER 476 NEW BEST:: SOT 22634 SOS 12600 HAS SOPS 12600 HAS SOUS 11949 HAS SOUPS 11949 WITH SCORE 11961.6
AT ITER 478 NEW BEST:: SOT 22570 SOS 12538 HAS SOPS 12538 HAS SOUS 11889 HAS SOUPS 11889 WITH SCORE 11901.538
AT ITER 486 NEW BEST:: SOT 22570 SOS 12545 HAS SOPS 12545 HAS SOUS 11888 HAS SOUPS 11888 WITH SCORE 11900.545
AT ITER 487 NEW BEST:: SOT 22565 SOS 13067 HAS SOPS 13067 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11896.067
AT ITER 494 NEW BEST:: SOT 22557 SOS 13009 HAS SOPS 13009 HAS SOUS 11875 HAS SOUPS 11875 WITH SCORE 11888.009
AT ITER 497 NEW BEST:: SOT 22557 SOS 13012 HAS SOPS 13012 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11870.012
AT ITER 513 NEW BEST:: SOT 22543 SOS 12998 HAS SOPS 12998 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11855.998
AT ITER 530 NEW BEST:: SOT 22504 SOS 12959 HAS SOPS 12959 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11848.959
AT ITER 557 NEW BEST:: SOT 22477 SOS 12946 HAS SOPS 12946 HAS SOUS 11832 HAS SOUPS 11832 WITH SCORE 11844.946
AT ITER 562 NEW BEST:: SOT 22474 SOS 12943 HAS SOPS 12943 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11841.943
AT ITER 565 NEW BEST:: SOT 22465 SOS 12948 HAS SOPS 12948 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11811.948
AT ITER 566 NEW BEST:: SOT 22465 SOS 12483 HAS SOPS 12483 HAS SOUS 11797 HAS SOUPS 11797 WITH SCORE 11809.483
AT ITER 595 NEW BEST:: SOT 22465 SOS 12480 HAS SOPS 12480 HAS SOUS 11797 HAS SOUPS 11797 WITH SCORE 11809.48
AT ITER 607 NEW BEST:: SOT 22465 SOS 12465 HAS SOPS 12465 HAS SOUS 11797 HAS SOUPS 11797 WITH SCORE 11809.465
AT ITER 616 NEW BEST:: SOT 22465 SOS 12449 HAS SOPS 12449 HAS SOUS 11797 HAS SOUPS 11797 WITH SCORE 11809.449
AT ITER 626 NEW BEST:: SOT 22403 SOS 12815 HAS SOPS 12815 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11795.815
AT ITER 633 NEW BEST:: SOT 22403 SOS 12499 HAS SOPS 12499 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11795.499
AT ITER 640 NEW BEST:: SOT 22403 SOS 12492 HAS SOPS 12492 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11795.492
AT ITER 641 NEW BEST:: SOT 22403 SOS 12478 HAS SOPS 12478 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11795.478
AT ITER 671 NEW BEST:: SOT 22387 SOS 12431 HAS SOPS 12431 HAS SOUS 11761 HAS SOUPS 11761 WITH SCORE 11773.431
AT ITER 676 NEW BEST:: SOT 22387 SOS 12379 HAS SOPS 12379 HAS SOUS 11735 HAS SOUPS 11735 WITH SCORE 11747.379
AT ITER 678 NEW BEST:: SOT 22387 SOS 12301 HAS SOPS 12301 HAS SOUS 11735 HAS SOUPS 11735 WITH SCORE 11747.301
AT ITER 687 NEW BEST:: SOT 22387 SOS 12298 HAS SOPS 12298 HAS SOUS 11735 HAS SOUPS 11735 WITH SCORE 11747.298
AT ITER 692 NEW BEST:: SOT 22384 SOS 12206 HAS SOPS 12206 HAS SOUS 11727 HAS SOUPS 11727 WITH SCORE 11739.206
AT ITER 705 NEW BEST:: SOT 22384 SOS 12549 HAS SOPS 12549 HAS SOUS 11721 HAS SOUPS 11721 WITH SCORE 11733.549
AT ITER 715 NEW BEST:: SOT 22389 SOS 12527 HAS SOPS 12527 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11711.527
AT ITER 717 NEW BEST:: SOT 22389 SOS 12513 HAS SOPS 12513 HAS SOUS 11699 HAS SOUPS 11699 WITH SCORE 11711.513
AT ITER 728 NEW BEST:: SOT 22328 SOS 12978 HAS SOPS 12978 HAS SOUS 11692 HAS SOUPS 11692 WITH SCORE 11704.978
AT ITER 731 NEW BEST:: SOT 22304 SOS 12967 HAS SOPS 12967 HAS SOUS 11681 HAS SOUPS 11681 WITH SCORE 11693.967
AT ITER 734 NEW BEST:: SOT 22290 SOS 12947 HAS SOPS 12947 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11683.947
AT ITER 736 NEW BEST:: SOT 22177 SOS 12904 HAS SOPS 12904 HAS SOUS 11581 HAS SOUPS 11581 WITH SCORE 11593.904
AT ITER 766 NEW BEST:: SOT 22072 SOS 12899 HAS SOPS 12899 HAS SOUS 11542 HAS SOUPS 11542 WITH SCORE 11554.899
AT ITER 771 NEW BEST:: SOT 22043 SOS 12884 HAS SOPS 12884 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11553.884
AT ITER 791 NEW BEST:: SOT 22043 SOS 12839 HAS SOPS 12839 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11553.839
AT ITER 808 NEW BEST:: SOT 22043 SOS 12825 HAS SOPS 12825 HAS SOUS 11531 HAS SOUPS 11531 WITH SCORE 11543.825
AT ITER 841 NEW BEST:: SOT 22027 SOS 12809 HAS SOPS 12809 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11527.809
AT ITER 870 NEW BEST:: SOT 22027 SOS 12816 HAS SOPS 12816 HAS SOUS 11514 HAS SOUPS 11514 WITH SCORE 11526.816
AT ITER 873 NEW BEST:: SOT 22027 SOS 12812 HAS SOPS 12812 HAS SOUS 11514 HAS SOUPS 11514 WITH SCORE 11526.812
AT ITER 879 NEW BEST:: SOT 22015 SOS 12781 HAS SOPS 12781 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11500.781
AT ITER 894 NEW BEST:: SOT 22015 SOS 12788 HAS SOPS 12788 HAS SOUS 11484 HAS SOUPS 11484 WITH SCORE 11496.788
AT ITER 897 NEW BEST:: SOT 22015 SOS 12777 HAS SOPS 12777 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11485.777
AT ITER 913 NEW BEST:: SOT 22015 SOS 12726 HAS SOPS 12726 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11485.726
AT ITER 917 NEW BEST:: SOT 22017 SOS 12698 HAS SOPS 12698 HAS SOUS 11461 HAS SOUPS 11461 WITH SCORE 11473.698
AT ITER 927 NEW BEST:: SOT 22017 SOS 12694 HAS SOPS 12694 HAS SOUS 11457 HAS SOUPS 11457 WITH SCORE 11469.694
AT ITER 934 NEW BEST:: SOT 22017 SOS 12644 HAS SOPS 12644 HAS SOUS 11457 HAS SOUPS 11457 WITH SCORE 11469.644
AT ITER 935 NEW BEST:: SOT 22017 SOS 12644 HAS SOPS 12644 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11457.644
AT ITER 949 NEW BEST:: SOT 22017 SOS 12634 HAS SOPS 12634 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11452.634
AT ITER 955 NEW BEST:: SOT 22003 SOS 12614 HAS SOPS 12614 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11419.614
AT ITER 975 NEW BEST:: SOT 22003 SOS 12612 HAS SOPS 12612 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11419.612
AT ITER 982 NEW BEST:: SOT 22003 SOS 12605 HAS SOPS 12605 HAS SOUS 11406 HAS SOUPS 11406 WITH SCORE 11418.605
AT ITER 995 NEW BEST:: SOT 22003 SOS 12596 HAS SOPS 12596 HAS SOUS 11406 HAS SOUPS 11406 WITH SCORE 11418.596
AT ITER 1000 NEW BEST:: SOT 22003 SOS 12589 HAS SOPS 12589 HAS SOUS 11406 HAS SOUPS 11406 WITH SCORE 11418.589
AT ITER 1016 NEW BEST:: SOT 22003 SOS 12545 HAS SOPS 12545 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11380.545
AT ITER 1019 NEW BEST:: SOT 21965 SOS 12525 HAS SOPS 12525 HAS SOUS 11312 HAS SOUPS 11312 WITH SCORE 11324.525
AT ITER 1033 NEW BEST:: SOT 21934 SOS 12737 HAS SOPS 12737 HAS SOUS 11310 HAS SOUPS 11310 WITH SCORE 11322.737
AT ITER 1037 NEW BEST:: SOT 21934 SOS 12714 HAS SOPS 12714 HAS SOUS 11287 HAS SOUPS 11287 WITH SCORE 11299.714
AT ITER 1044 NEW BEST:: SOT 21934 SOS 12714 HAS SOPS 12714 HAS SOUS 11283 HAS SOUPS 11283 WITH SCORE 11295.714
AT ITER 1045 NEW BEST:: SOT 21902 SOS 12721 HAS SOPS 12721 HAS SOUS 11251 HAS SOUPS 11251 WITH SCORE 11263.721
AT ITER 1046 NEW BEST:: SOT 21902 SOS 12692 HAS SOPS 12692 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11250.692
AT ITER 1055 NEW BEST:: SOT 21893 SOS 12683 HAS SOPS 12683 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11241.683
AT ITER 1063 NEW BEST:: SOT 21967 SOS 12660 HAS SOPS 12660 HAS SOUS 11206 HAS SOUPS 11206 WITH SCORE 11218.66
AT ITER 1064 NEW BEST:: SOT 21961 SOS 12654 HAS SOPS 12654 HAS SOUS 11170 HAS SOUPS 11170 WITH SCORE 11182.654
AT ITER 1068 NEW BEST:: SOT 21966 SOS 12590 HAS SOPS 12590 HAS SOUS 11162 HAS SOUPS 11162 WITH SCORE 11174.59
AT ITER 1097 NEW BEST:: SOT 21999 SOS 12589 HAS SOPS 12589 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11168.589
AT ITER 1106 NEW BEST:: SOT 21999 SOS 12556 HAS SOPS 12556 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11168.556
AT ITER 1109 NEW BEST:: SOT 21999 SOS 12490 HAS SOPS 12490 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11168.49
AT ITER 1113 NEW BEST:: SOT 21943 SOS 12496 HAS SOPS 12496 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11141.496
AT ITER 1119 NEW BEST:: SOT 21943 SOS 12489 HAS SOPS 12489 HAS SOUS 11122 HAS SOUPS 11122 WITH SCORE 11134.489
AT ITER 1122 NEW BEST:: SOT 21941 SOS 12487 HAS SOPS 12487 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11132.487
AT ITER 1133 NEW BEST:: SOT 21936 SOS 12482 HAS SOPS 12482 HAS SOUS 11115 HAS SOUPS 11115 WITH SCORE 11127.482
AT ITER 1151 NEW BEST:: SOT 21936 SOS 12475 HAS SOPS 12475 HAS SOUS 11115 HAS SOUPS 11115 WITH SCORE 11127.475
AT ITER 1154 NEW BEST:: SOT 21935 SOS 12474 HAS SOPS 12474 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11125.474
AT ITER 1159 NEW BEST:: SOT 21935 SOS 12452 HAS SOPS 12452 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11125.452
AT ITER 1164 NEW BEST:: SOT 21926 SOS 12438 HAS SOPS 12438 HAS SOUS 11101 HAS SOUPS 11101 WITH SCORE 11113.438
AT ITER 1171 NEW BEST:: SOT 21926 SOS 12433 HAS SOPS 12433 HAS SOUS 11101 HAS SOUPS 11101 WITH SCORE 11113.433
AT ITER 1188 NEW BEST:: SOT 21919 SOS 12421 HAS SOPS 12421 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11106.421
AT ITER 1191 NEW BEST:: SOT 21916 SOS 12420 HAS SOPS 12420 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11103.42
AT ITER 1192 NEW BEST:: SOT 21895 SOS 12399 HAS SOPS 12399 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11082.399
AT ITER 1213 NEW BEST:: SOT 21880 SOS 12384 HAS SOPS 12384 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11082.384
AT ITER 1237 NEW BEST:: SOT 21880 SOS 12109 HAS SOPS 12109 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11076.109
AT ITER 1247 NEW BEST:: SOT 21880 SOS 12103 HAS SOPS 12103 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11076.103
AT ITER 1251 NEW BEST:: SOT 21880 SOS 12088 HAS SOPS 12088 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11073.088
AT ITER 1259 NEW BEST:: SOT 21752 SOS 12352 HAS SOPS 12352 HAS SOUS 11045 HAS SOUPS 11045 WITH SCORE 11057.352
AT ITER 1279 NEW BEST:: SOT 21751 SOS 12351 HAS SOPS 12351 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11056.351
AT ITER 1295 NEW BEST:: SOT 21751 SOS 12349 HAS SOPS 12349 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11052.349
AT ITER 1298 NEW BEST:: SOT 21751 SOS 12345 HAS SOPS 12345 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11048.345
AT ITER 1299 NEW BEST:: SOT 21739 SOS 12324 HAS SOPS 12324 HAS SOUS 11029 HAS SOUPS 11029 WITH SCORE 11041.324
AT ITER 1308 NEW BEST:: SOT 21771 SOS 12336 HAS SOPS 12336 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11032.336
AT ITER 1309 NEW BEST:: SOT 21764 SOS 12329 HAS SOPS 12329 HAS SOUS 11013 HAS SOUPS 11013 WITH SCORE 11025.329
AT ITER 1316 NEW BEST:: SOT 21787 SOS 12182 HAS SOPS 12182 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11024.182
AT ITER 1330 NEW BEST:: SOT 21787 SOS 12161 HAS SOPS 12161 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11017.161
AT ITER 1340 NEW BEST:: SOT 21787 SOS 12141 HAS SOPS 12141 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11017.141
AT ITER 1342 NEW BEST:: SOT 21830 SOS 12180 HAS SOPS 12180 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11016.18
AT ITER 1358 NEW BEST:: SOT 21830 SOS 12225 HAS SOPS 12225 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11010.225
AT ITER 1366 NEW BEST:: SOT 21830 SOS 12195 HAS SOPS 12195 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11010.195
AT ITER 1377 NEW BEST:: SOT 21830 SOS 12190 HAS SOPS 12190 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11010.19
AT ITER 1401 NEW BEST:: SOT 21830 SOS 12160 HAS SOPS 12160 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11010.16
AT ITER 1410 NEW BEST:: SOT 21825 SOS 12129 HAS SOPS 12129 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11003.129
AT ITER 1451 NEW BEST:: SOT 21764 SOS 12105 HAS SOPS 12105 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10942.105
AT ITER 1459 NEW BEST:: SOT 21748 SOS 12097 HAS SOPS 12097 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10934.097
AT ITER 1464 NEW BEST:: SOT 21751 SOS 12095 HAS SOPS 12095 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10924.095
AT ITER 1487 NEW BEST:: SOT 21751 SOS 12082 HAS SOPS 12082 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10924.082
AT ITER 1499 NEW BEST:: SOT 21738 SOS 12073 HAS SOPS 12073 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10915.073
AT ITER 1510 NEW BEST:: SOT 21738 SOS 12029 HAS SOPS 12029 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10915.029
AT ITER 1544 NEW BEST:: SOT 21738 SOS 12005 HAS SOPS 12005 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10915.005
AT ITER 1547 NEW BEST:: SOT 21736 SOS 12003 HAS SOPS 12003 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10913.003
AT ITER 1572 NEW BEST:: SOT 21736 SOS 11976 HAS SOPS 11976 HAS SOUS 10873 HAS SOUPS 10873 WITH SCORE 10884.976
AT ITER 1586 NEW BEST:: SOT 21736 SOS 11998 HAS SOPS 11998 HAS SOUS 10871 HAS SOUPS 10871 WITH SCORE 10882.998
AT ITER 1595 NEW BEST:: SOT 21735 SOS 11997 HAS SOPS 11997 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10881.997
AT ITER 1612 NEW BEST:: SOT 21711 SOS 11976 HAS SOPS 11976 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10869.976
AT ITER 1616 NEW BEST:: SOT 21711 SOS 11906 HAS SOPS 11906 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10869.906
AT ITER 1641 NEW BEST:: SOT 21711 SOS 11896 HAS SOPS 11896 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10869.896
AT ITER 1646 NEW BEST:: SOT 21711 SOS 11885 HAS SOPS 11885 HAS SOUS 10853 HAS SOUPS 10853 WITH SCORE 10864.885
AT ITER 1677 NEW BEST:: SOT 21642 SOS 12316 HAS SOPS 12316 HAS SOUS 10812 HAS SOUPS 10812 WITH SCORE 10824.316
AT ITER 1678 NEW BEST:: SOT 21642 SOS 12309 HAS SOPS 12309 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10817.309
AT ITER 1684 NEW BEST:: SOT 21616 SOS 12501 HAS SOPS 12501 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10794.501
AT ITER 1699 NEW BEST:: SOT 21617 SOS 12504 HAS SOPS 12504 HAS SOUS 10781 HAS SOUPS 10781 WITH SCORE 10793.504
AT ITER 1706 NEW BEST:: SOT 21608 SOS 12509 HAS SOPS 12509 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10776.509
AT ITER 1716 NEW BEST:: SOT 21608 SOS 12481 HAS SOPS 12481 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10776.481
AT ITER 1725 NEW BEST:: SOT 21611 SOS 12446 HAS SOPS 12446 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10771.446
AT ITER 1728 NEW BEST:: SOT 21611 SOS 12443 HAS SOPS 12443 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10769.443
AT ITER 1735 NEW BEST:: SOT 21606 SOS 12438 HAS SOPS 12438 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10764.438
AT ITER 1737 NEW BEST:: SOT 21606 SOS 12423 HAS SOPS 12423 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10759.423
AT ITER 1746 NEW BEST:: SOT 21606 SOS 12417 HAS SOPS 12417 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10753.417
AT ITER 1751 NEW BEST:: SOT 21588 SOS 12443 HAS SOPS 12443 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10744.443
AT ITER 1768 NEW BEST:: SOT 21588 SOS 12440 HAS SOPS 12440 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10741.44
AT ITER 1772 NEW BEST:: SOT 21580 SOS 12432 HAS SOPS 12432 HAS SOUS 10725 HAS SOUPS 10725 WITH SCORE 10737.432
AT ITER 1798 NEW BEST:: SOT 21580 SOS 12410 HAS SOPS 12410 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10726.41
AT ITER 1801 NEW BEST:: SOT 21580 SOS 12368 HAS SOPS 12368 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10713.368
AT ITER 1819 NEW BEST:: SOT 21580 SOS 12368 HAS SOPS 12368 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10710.368
AT ITER 1827 NEW BEST:: SOT 21581 SOS 12398 HAS SOPS 12398 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10701.398
AT ITER 1840 NEW BEST:: SOT 21562 SOS 12379 HAS SOPS 12379 HAS SOUS 10670 HAS SOUPS 10670 WITH SCORE 10682.379
AT ITER 1873 NEW BEST:: SOT 21542 SOS 12475 HAS SOPS 12475 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10662.475
AT ITER 1877 NEW BEST:: SOT 21538 SOS 12471 HAS SOPS 12471 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10658.471
AT ITER 1884 NEW BEST:: SOT 21519 SOS 12482 HAS SOPS 12482 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10638.482
AT ITER 1888 NEW BEST:: SOT 21519 SOS 12465 HAS SOPS 12465 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10633.465
AT ITER 1890 NEW BEST:: SOT 21471 SOS 12617 HAS SOPS 12617 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10593.617
AT ITER 1893 NEW BEST:: SOT 21452 SOS 12601 HAS SOPS 12601 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10591.601
AT ITER 1896 NEW BEST:: SOT 21452 SOS 12632 HAS SOPS 12632 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10583.632
AT ITER 1943 NEW BEST:: SOT 21452 SOS 12630 HAS SOPS 12630 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10580.63
AT ITER 1950 NEW BEST:: SOT 21450 SOS 12628 HAS SOPS 12628 HAS SOUS 10558 HAS SOUPS 10558 WITH SCORE 10570.628
AT ITER 1951 NEW BEST:: SOT 21450 SOS 12604 HAS SOPS 12604 HAS SOUS 10558 HAS SOUPS 10558 WITH SCORE 10570.604
AT ITER 1965 NEW BEST:: SOT 21465 SOS 12574 HAS SOPS 12574 HAS SOUS 10558 HAS SOUPS 10558 WITH SCORE 10570.574
AT ITER 1975 NEW BEST:: SOT 21457 SOS 12566 HAS SOPS 12566 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10551.566
AT ITER 1990 NEW BEST:: SOT 21457 SOS 12538 HAS SOPS 12538 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10551.538
AT ITER 2004 NEW BEST:: SOT 21457 SOS 12520 HAS SOPS 12520 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10536.52
AT ITER 2016 NEW BEST:: SOT 21457 SOS 12517 HAS SOPS 12517 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10536.517
AT ITER 2021 NEW BEST:: SOT 21457 SOS 12516 HAS SOPS 12516 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10536.516
AT ITER 2025 NEW BEST:: SOT 21451 SOS 12504 HAS SOPS 12504 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10524.504
AT ITER 2039 NEW BEST:: SOT 21451 SOS 12503 HAS SOPS 12503 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10523.503
AT ITER 2044 NEW BEST:: SOT 21445 SOS 12513 HAS SOPS 12513 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10517.513
AT ITER 2068 NEW BEST:: SOT 21411 SOS 12493 HAS SOPS 12493 HAS SOUS 10473 HAS SOUPS 10473 WITH SCORE 10485.493
AT ITER 2109 NEW BEST:: SOT 21411 SOS 12492 HAS SOPS 12492 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10484.492
AT ITER 2110 NEW BEST:: SOT 21411 SOS 12476 HAS SOPS 12476 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10484.476
AT ITER 2117 NEW BEST:: SOT 21411 SOS 12472 HAS SOPS 12472 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10484.472
AT ITER 2122 NEW BEST:: SOT 21402 SOS 12479 HAS SOPS 12479 HAS SOUS 10463 HAS SOUPS 10463 WITH SCORE 10475.479
AT ITER 2129 NEW BEST:: SOT 21390 SOS 12466 HAS SOPS 12466 HAS SOUS 10444 HAS SOUPS 10444 WITH SCORE 10456.466
AT ITER 2159 NEW BEST:: SOT 21388 SOS 12464 HAS SOPS 12464 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10454.464
AT ITER 2178 NEW BEST:: SOT 21388 SOS 12462 HAS SOPS 12462 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10454.462
AT ITER 2225 NEW BEST:: SOT 21388 SOS 12457 HAS SOPS 12457 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10454.457
AT ITER 2264 NEW BEST:: SOT 21388 SOS 12443 HAS SOPS 12443 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10452.443
AT ITER 2301 NEW BEST:: SOT 21387 SOS 12442 HAS SOPS 12442 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10451.442
AT ITER 2323 NEW BEST:: SOT 21387 SOS 12442 HAS SOPS 12442 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10449.442
AT ITER 2327 NEW BEST:: SOT 21280 SOS 12531 HAS SOPS 12531 HAS SOUS 10405 HAS SOUPS 10405 WITH SCORE 10417.531
AT ITER 2339 NEW BEST:: SOT 21233 SOS 12509 HAS SOPS 12509 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10403.509
AT ITER 2409 NEW BEST:: SOT 21230 SOS 12506 HAS SOPS 12506 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10403.506
AT ITER 2419 NEW BEST:: SOT 21230 SOS 12506 HAS SOPS 12506 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10402.506
AT ITER 2421 NEW BEST:: SOT 21204 SOS 12480 HAS SOPS 12480 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10376.48
AT ITER 2462 NEW BEST:: SOT 21196 SOS 12472 HAS SOPS 12472 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10368.472
AT ITER 2465 NEW BEST:: SOT 21149 SOS 12459 HAS SOPS 12459 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10360.459
AT ITER 2481 NEW BEST:: SOT 21129 SOS 12439 HAS SOPS 12439 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10340.439
AT ITER 2488 NEW BEST:: SOT 21129 SOS 12434 HAS SOPS 12434 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10296.434
AT ITER 2491 NEW BEST:: SOT 21103 SOS 12408 HAS SOPS 12408 HAS SOUS 10277 HAS SOUPS 10277 WITH SCORE 10289.408
AT ITER 2500 NEW BEST:: SOT 21100 SOS 12405 HAS SOPS 12405 HAS SOUS 10267 HAS SOUPS 10267 WITH SCORE 10279.405
AT ITER 2516 NEW BEST:: SOT 21100 SOS 12552 HAS SOPS 12552 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10275.552
AT ITER 2551 NEW BEST:: SOT 21030 SOS 12646 HAS SOPS 12646 HAS SOUS 10193 HAS SOUPS 10193 WITH SCORE 10205.646
AT ITER 2555 NEW BEST:: SOT 21030 SOS 12644 HAS SOPS 12644 HAS SOUS 10193 HAS SOUPS 10193 WITH SCORE 10205.644
AT ITER 2589 NEW BEST:: SOT 21030 SOS 12652 HAS SOPS 12652 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10204.652
AT ITER 2609 NEW BEST:: SOT 21025 SOS 12657 HAS SOPS 12657 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10194.657
AT ITER 2633 NEW BEST:: SOT 21025 SOS 12618 HAS SOPS 12618 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10194.618
AT ITER 2647 NEW BEST:: SOT 20941 SOS 12555 HAS SOPS 12555 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10182.555
AT ITER 2656 NEW BEST:: SOT 20941 SOS 12554 HAS SOPS 12554 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10182.554
AT ITER 2708 NEW BEST:: SOT 20941 SOS 12540 HAS SOPS 12540 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10182.54
AT ITER 2712 NEW BEST:: SOT 20949 SOS 12603 HAS SOPS 12603 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10181.603
AT ITER 2749 NEW BEST:: SOT 20911 SOS 12580 HAS SOPS 12580 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10098.58
AT ITER 2777 NEW BEST:: SOT 20911 SOS 12479 HAS SOPS 12479 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10098.479
AT ITER 2823 NEW BEST:: SOT 20906 SOS 12474 HAS SOPS 12474 HAS SOUS 10071 HAS SOUPS 10071 WITH SCORE 10083.474
AT ITER 2880 NEW BEST:: SOT 20906 SOS 12471 HAS SOPS 12471 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10080.471
AT ITER 2900 NEW BEST:: SOT 20891 SOS 12544 HAS SOPS 12544 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10075.544
AT ITER 2911 NEW BEST:: SOT 20890 SOS 12543 HAS SOPS 12543 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10074.543
AT ITER 2914 NEW BEST:: SOT 20893 SOS 12546 HAS SOPS 12546 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10062.546
AT ITER 2935 NEW BEST:: SOT 20872 SOS 12532 HAS SOPS 12532 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10058.532
AT ITER 2938 NEW BEST:: SOT 20867 SOS 12530 HAS SOPS 12530 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10056.53
AT ITER 2942 NEW BEST:: SOT 20867 SOS 12508 HAS SOPS 12508 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10056.508
AT ITER 2955 NEW BEST:: SOT 20858 SOS 12499 HAS SOPS 12499 HAS SOUS 10035 HAS SOUPS 10035 WITH SCORE 10047.499
AT ITER 2964 NEW BEST:: SOT 20813 SOS 12454 HAS SOPS 12454 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10029.454
AT ITER 3054 NEW BEST:: SOT 20811 SOS 12439 HAS SOPS 12439 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10026.439
AT ITER 3072 NEW BEST:: SOT 20811 SOS 12463 HAS SOPS 12463 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10023.463
AT ITER 3083 NEW BEST:: SOT 20806 SOS 12458 HAS SOPS 12458 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10013.458
AT ITER 3091 NEW BEST:: SOT 20806 SOS 12446 HAS SOPS 12446 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10013.446
AT ITER 3107 NEW BEST:: SOT 20798 SOS 12438 HAS SOPS 12438 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10005.438
AT ITER 3114 NEW BEST:: SOT 20805 SOS 12445 HAS SOPS 12445 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 9999.445
AT ITER 3132 NEW BEST:: SOT 20795 SOS 12807 HAS SOPS 12807 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9989.807
AT ITER 3133 NEW BEST:: SOT 20796 SOS 12803 HAS SOPS 12803 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9989.803
AT ITER 3170 NEW BEST:: SOT 20805 SOS 12812 HAS SOPS 12812 HAS SOUS 9970 HAS SOUPS 9970 WITH SCORE 9982.812
AT ITER 3197 NEW BEST:: SOT 20811 SOS 12774 HAS SOPS 12774 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9981.774
AT ITER 3208 NEW BEST:: SOT 20798 SOS 12761 HAS SOPS 12761 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9951.761
AT ITER 3210 NEW BEST:: SOT 20785 SOS 12768 HAS SOPS 12768 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9947.768
AT ITER 3227 NEW BEST:: SOT 20785 SOS 12715 HAS SOPS 12715 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9946.715
AT ITER 3228 NEW BEST:: SOT 20785 SOS 12713 HAS SOPS 12713 HAS SOUS 9932 HAS SOUPS 9932 WITH SCORE 9944.713
AT ITER 3232 NEW BEST:: SOT 20785 SOS 12710 HAS SOPS 12710 HAS SOUS 9932 HAS SOUPS 9932 WITH SCORE 9944.71
AT ITER 3256 NEW BEST:: SOT 20752 SOS 12677 HAS SOPS 12677 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9911.677
AT ITER 3258 NEW BEST:: SOT 20743 SOS 12741 HAS SOPS 12741 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9909.741
AT ITER 3296 NEW BEST:: SOT 20743 SOS 12736 HAS SOPS 12736 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9909.736
AT ITER 3300 NEW BEST:: SOT 20736 SOS 12729 HAS SOPS 12729 HAS SOUS 9890 HAS SOUPS 9890 WITH SCORE 9902.729
AT ITER 3303 NEW BEST:: SOT 20723 SOS 12716 HAS SOPS 12716 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9889.716
AT ITER 3389 NEW BEST:: SOT 20723 SOS 12712 HAS SOPS 12712 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9889.712
AT ITER 3440 NEW BEST:: SOT 20723 SOS 12706 HAS SOPS 12706 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9889.706
AT ITER 3461 NEW BEST:: SOT 20722 SOS 12709 HAS SOPS 12709 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9860.709
AT ITER 3496 NEW BEST:: SOT 20722 SOS 12708 HAS SOPS 12708 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9859.708
AT ITER 3503 NEW BEST:: SOT 20722 SOS 12652 HAS SOPS 12652 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9859.652
AT ITER 3527 NEW BEST:: SOT 20722 SOS 12641 HAS SOPS 12641 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9859.641
AT ITER 3537 NEW BEST:: SOT 20719 SOS 12638 HAS SOPS 12638 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9856.638
AT ITER 3547 NEW BEST:: SOT 20719 SOS 12632 HAS SOPS 12632 HAS SOUS 9839 HAS SOUPS 9839 WITH SCORE 9851.632
AT ITER 3549 NEW BEST:: SOT 20719 SOS 12658 HAS SOPS 12658 HAS SOUS 9837 HAS SOUPS 9837 WITH SCORE 9849.658
AT ITER 3552 NEW BEST:: SOT 20715 SOS 12654 HAS SOPS 12654 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9839.654
AT ITER 3568 NEW BEST:: SOT 20715 SOS 12647 HAS SOPS 12647 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9839.647
AT ITER 3585 NEW BEST:: SOT 20664 SOS 12596 HAS SOPS 12596 HAS SOUS 9803 HAS SOUPS 9803 WITH SCORE 9815.596
AT ITER 3588 NEW BEST:: SOT 20664 SOS 12589 HAS SOPS 12589 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9813.589
AT ITER 3597 NEW BEST:: SOT 20664 SOS 12578 HAS SOPS 12578 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9811.578
AT ITER 3615 NEW BEST:: SOT 20660 SOS 12574 HAS SOPS 12574 HAS SOUS 9795 HAS SOUPS 9795 WITH SCORE 9807.574
AT ITER 3635 NEW BEST:: SOT 20660 SOS 12558 HAS SOPS 12558 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9802.558
AT ITER 3649 NEW BEST:: SOT 20656 SOS 12554 HAS SOPS 12554 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9798.554
AT ITER 3720 NEW BEST:: SOT 20652 SOS 12550 HAS SOPS 12550 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9794.55
AT ITER 3764 NEW BEST:: SOT 20652 SOS 12549 HAS SOPS 12549 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9794.549
AT ITER 3794 NEW BEST:: SOT 20650 SOS 12547 HAS SOPS 12547 HAS SOUS 9780 HAS SOUPS 9780 WITH SCORE 9792.547
AT ITER 3857 NEW BEST:: SOT 20650 SOS 12547 HAS SOPS 12547 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9774.547
AT ITER 3862 NEW BEST:: SOT 20627 SOS 12524 HAS SOPS 12524 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9732.524
AT ITER 3866 NEW BEST:: SOT 20626 SOS 12523 HAS SOPS 12523 HAS SOUS 9719 HAS SOUPS 9719 WITH SCORE 9731.523
AT ITER 3881 NEW BEST:: SOT 20625 SOS 12522 HAS SOPS 12522 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9730.522
AT ITER 3906 NEW BEST:: SOT 20630 SOS 12477 HAS SOPS 12477 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9728.477
AT ITER 3948 NEW BEST:: SOT 20634 SOS 12473 HAS SOPS 12473 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9728.473
AT ITER 3949 NEW BEST:: SOT 20634 SOS 12473 HAS SOPS 12473 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9712.473
AT ITER 3973 NEW BEST:: SOT 20632 SOS 12471 HAS SOPS 12471 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9710.471
AT ITER 3981 NEW BEST:: SOT 20630 SOS 12469 HAS SOPS 12469 HAS SOUS 9696 HAS SOUPS 9696 WITH SCORE 9708.469
AT ITER 3989 NEW BEST:: SOT 20618 SOS 12435 HAS SOPS 12435 HAS SOUS 9683 HAS SOUPS 9683 WITH SCORE 9695.435
AT ITER 3996 NEW BEST:: SOT 20610 SOS 12427 HAS SOPS 12427 HAS SOUS 9675 HAS SOUPS 9675 WITH SCORE 9687.427
AT ITER 4060 NEW BEST:: SOT 20600 SOS 12548 HAS SOPS 12548 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9677.548
AT ITER 4089 NEW BEST:: SOT 20586 SOS 12534 HAS SOPS 12534 HAS SOUS 9657 HAS SOUPS 9657 WITH SCORE 9669.534
AT ITER 4095 NEW BEST:: SOT 20584 SOS 12532 HAS SOPS 12532 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9667.532
AT ITER 4116 NEW BEST:: SOT 20584 SOS 12530 HAS SOPS 12530 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9667.53
AT ITER 4130 NEW BEST:: SOT 20584 SOS 12530 HAS SOPS 12530 HAS SOUS 9649 HAS SOUPS 9649 WITH SCORE 9661.53
AT ITER 4136 NEW BEST:: SOT 20584 SOS 12527 HAS SOPS 12527 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9649.527
AT ITER 4143 NEW BEST:: SOT 20582 SOS 12525 HAS SOPS 12525 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9647.525
AT ITER 4158 NEW BEST:: SOT 20580 SOS 12526 HAS SOPS 12526 HAS SOUS 9634 HAS SOUPS 9634 WITH SCORE 9646.526
AT ITER 4174 NEW BEST:: SOT 20580 SOS 12536 HAS SOPS 12536 HAS SOUS 9624 HAS SOUPS 9624 WITH SCORE 9636.536
AT ITER 4194 NEW BEST:: SOT 20580 SOS 12543 HAS SOPS 12543 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9618.543
AT ITER 4206 NEW BEST:: SOT 20580 SOS 12515 HAS SOPS 12515 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9618.515
AT ITER 4226 NEW BEST:: SOT 20580 SOS 12514 HAS SOPS 12514 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9618.514
AT ITER 4273 NEW BEST:: SOT 20580 SOS 12561 HAS SOPS 12561 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9617.561
AT ITER 4275 NEW BEST:: SOT 20575 SOS 12556 HAS SOPS 12556 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9612.556
AT ITER 4285 NEW BEST:: SOT 20575 SOS 12548 HAS SOPS 12548 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9612.548
AT ITER 4295 NEW BEST:: SOT 20570 SOS 12548 HAS SOPS 12548 HAS SOUS 9595 HAS SOUPS 9595 WITH SCORE 9607.548
AT ITER 4296 NEW BEST:: SOT 20524 SOS 12716 HAS SOPS 12716 HAS SOUS 9578 HAS SOUPS 9578 WITH SCORE 9590.716
AT ITER 4314 NEW BEST:: SOT 20517 SOS 12709 HAS SOPS 12709 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9588.709
AT ITER 4348 NEW BEST:: SOT 20515 SOS 12707 HAS SOPS 12707 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9586.707
AT ITER 4354 NEW BEST:: SOT 20515 SOS 12707 HAS SOPS 12707 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9581.707
AT ITER 4432 NEW BEST:: SOT 20515 SOS 12702 HAS SOPS 12702 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9580.702
AT ITER 4513 NEW BEST:: SOT 20511 SOS 12726 HAS SOPS 12726 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9576.726
AT ITER 4514 NEW BEST:: SOT 20511 SOS 12724 HAS SOPS 12724 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9576.724
AT ITER 4525 NEW BEST:: SOT 20449 SOS 13064 HAS SOPS 13064 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9561.064
AT ITER 4530 NEW BEST:: SOT 20446 SOS 13061 HAS SOPS 13061 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9558.061
AT ITER 4573 NEW BEST:: SOT 20450 SOS 12835 HAS SOPS 12835 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9549.835
AT ITER 4591 NEW BEST:: SOT 20444 SOS 12829 HAS SOPS 12829 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9543.829
AT ITER 4602 NEW BEST:: SOT 20437 SOS 12826 HAS SOPS 12826 HAS SOUS 9529 HAS SOUPS 9529 WITH SCORE 9541.826
AT ITER 4628 NEW BEST:: SOT 20437 SOS 12791 HAS SOPS 12791 HAS SOUS 9529 HAS SOUPS 9529 WITH SCORE 9541.791
AT ITER 4632 NEW BEST:: SOT 20432 SOS 12872 HAS SOPS 12872 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9536.872
AT ITER 4652 NEW BEST:: SOT 20409 SOS 12857 HAS SOPS 12857 HAS SOUS 9503 HAS SOUPS 9503 WITH SCORE 9515.857
AT ITER 4717 NEW BEST:: SOT 20409 SOS 12857 HAS SOPS 12857 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9508.857
AT ITER 4779 NEW BEST:: SOT 20408 SOS 12856 HAS SOPS 12856 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9507.856
AT ITER 4786 NEW BEST:: SOT 20408 SOS 12855 HAS SOPS 12855 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9507.855
AT ITER 4826 NEW BEST:: SOT 20408 SOS 12852 HAS SOPS 12852 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9507.852
AT ITER 4933 NEW BEST:: SOT 20408 SOS 12850 HAS SOPS 12850 HAS SOUS 9494 HAS SOUPS 9494 WITH SCORE 9506.85
AT ITER 4936 NEW BEST:: SOT 20408 SOS 12850 HAS SOPS 12850 HAS SOUS 9477 HAS SOUPS 9477 WITH SCORE 9489.85
AT ITER 4961 NEW BEST:: SOT 20408 SOS 12850 HAS SOPS 12850 HAS SOUS 9471 HAS SOUPS 9471 WITH SCORE 9483.85
AT ITER 4966 NEW BEST:: SOT 20394 SOS 12841 HAS SOPS 12841 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9461.841
AT ITER 4991 NEW BEST:: SOT 20394 SOS 12840 HAS SOPS 12840 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9461.84
AT ITER 4995 NEW BEST:: SOT 20373 SOS 12867 HAS SOPS 12867 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9446.867
AT ITER 4996 NEW BEST:: SOT 20373 SOS 12867 HAS SOPS 12867 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9444.867
AT ITER 5030 NEW BEST:: SOT 20375 SOS 12869 HAS SOPS 12869 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9439.869
AT ITER 5075 NEW BEST:: SOT 20375 SOS 12861 HAS SOPS 12861 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9439.861
AT ITER 5127 NEW BEST:: SOT 20367 SOS 12883 HAS SOPS 12883 HAS SOUS 9424 HAS SOUPS 9424 WITH SCORE 9436.883
AT ITER 5130 NEW BEST:: SOT 20374 SOS 12890 HAS SOPS 12890 HAS SOUS 9423 HAS SOUPS 9423 WITH SCORE 9435.89
AT ITER 5139 NEW BEST:: SOT 20373 SOS 12889 HAS SOPS 12889 HAS SOUS 9422 HAS SOUPS 9422 WITH SCORE 9434.889
AT ITER 5170 NEW BEST:: SOT 20373 SOS 12886 HAS SOPS 12886 HAS SOUS 9422 HAS SOUPS 9422 WITH SCORE 9434.886
AT ITER 5219 NEW BEST:: SOT 20370 SOS 12883 HAS SOPS 12883 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9431.883
AT ITER 5287 NEW BEST:: SOT 20370 SOS 12874 HAS SOPS 12874 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9422.874
AT ITER 5398 NEW BEST:: SOT 20370 SOS 12874 HAS SOPS 12874 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9420.874
AT ITER 5410 NEW BEST:: SOT 20370 SOS 12870 HAS SOPS 12870 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9415.87
AT ITER 5413 NEW BEST:: SOT 20368 SOS 12868 HAS SOPS 12868 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9413.868
AT ITER 5420 NEW BEST:: SOT 20395 SOS 12891 HAS SOPS 12891 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9412.891
AT ITER 5460 NEW BEST:: SOT 20395 SOS 12867 HAS SOPS 12867 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9412.867
AT ITER 5502 NEW BEST:: SOT 20393 SOS 12865 HAS SOPS 12865 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9409.865
AT ITER 5511 NEW BEST:: SOT 20374 SOS 12846 HAS SOPS 12846 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9405.846
AT ITER 5528 NEW BEST:: SOT 20325 SOS 12848 HAS SOPS 12848 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9396.848
AT ITER 5533 NEW BEST:: SOT 20324 SOS 12847 HAS SOPS 12847 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9395.847
AT ITER 5584 NEW BEST:: SOT 20324 SOS 12837 HAS SOPS 12837 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9395.837
AT ITER 5600 NEW BEST:: SOT 20322 SOS 12827 HAS SOPS 12827 HAS SOUS 9376 HAS SOUPS 9376 WITH SCORE 9388.827
AT ITER 5619 NEW BEST:: SOT 20322 SOS 12827 HAS SOPS 12827 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9347.827
AT ITER 5641 NEW BEST:: SOT 20326 SOS 12826 HAS SOPS 12826 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9340.826
AT ITER 5670 NEW BEST:: SOT 20325 SOS 12825 HAS SOPS 12825 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9340.825
AT ITER 5779 NEW BEST:: SOT 20324 SOS 12824 HAS SOPS 12824 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9339.824
AT ITER 5845 NEW BEST:: SOT 20324 SOS 12839 HAS SOPS 12839 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9336.839
AT ITER 5897 NEW BEST:: SOT 20324 SOS 12816 HAS SOPS 12816 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9336.816
AT ITER 5921 NEW BEST:: SOT 20324 SOS 12811 HAS SOPS 12811 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9335.811
AT ITER 5938 NEW BEST:: SOT 20327 SOS 12805 HAS SOPS 12805 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9332.805
AT ITER 5986 NEW BEST:: SOT 20318 SOS 12796 HAS SOPS 12796 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9323.796
AT ITER 6003 NEW BEST:: SOT 20294 SOS 12837 HAS SOPS 12837 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9308.837
AT ITER 6019 NEW BEST:: SOT 20294 SOS 12837 HAS SOPS 12837 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9304.837
AT ITER 6097 NEW BEST:: SOT 20294 SOS 12835 HAS SOPS 12835 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9301.835
AT ITER 6108 NEW BEST:: SOT 20283 SOS 12960 HAS SOPS 12960 HAS SOUS 9287 HAS SOUPS 9287 WITH SCORE 9299.96
AT ITER 6152 NEW BEST:: SOT 20283 SOS 12957 HAS SOPS 12957 HAS SOUS 9287 HAS SOUPS 9287 WITH SCORE 9299.957
AT ITER 6169 NEW BEST:: SOT 20283 SOS 12965 HAS SOPS 12965 HAS SOUS 9285 HAS SOUPS 9285 WITH SCORE 9297.965
AT ITER 6186 NEW BEST:: SOT 20283 SOS 12965 HAS SOPS 12965 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9293.965
AT ITER 6187 NEW BEST:: SOT 20283 SOS 12964 HAS SOPS 12964 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9293.964
AT ITER 6226 NEW BEST:: SOT 20276 SOS 12957 HAS SOPS 12957 HAS SOUS 9277 HAS SOUPS 9277 WITH SCORE 9289.957
AT ITER 6299 NEW BEST:: SOT 20276 SOS 12957 HAS SOPS 12957 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9285.957
AT ITER 6321 NEW BEST:: SOT 20275 SOS 12956 HAS SOPS 12956 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9284.956
AT ITER 6342 NEW BEST:: SOT 20271 SOS 12952 HAS SOPS 12952 HAS SOUS 9265 HAS SOUPS 9265 WITH SCORE 9277.952
AT ITER 6479 NEW BEST:: SOT 20271 SOS 12938 HAS SOPS 12938 HAS SOUS 9256 HAS SOUPS 9256 WITH SCORE 9268.938
AT ITER 6498 NEW BEST:: SOT 20271 SOS 12933 HAS SOPS 12933 HAS SOUS 9256 HAS SOUPS 9256 WITH SCORE 9268.933
AT ITER 6516 NEW BEST:: SOT 20267 SOS 12929 HAS SOPS 12929 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9267.929
AT ITER 6530 NEW BEST:: SOT 20267 SOS 12925 HAS SOPS 12925 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9267.925
AT ITER 6537 NEW BEST:: SOT 20266 SOS 12924 HAS SOPS 12924 HAS SOUS 9254 HAS SOUPS 9254 WITH SCORE 9266.924
AT ITER 6601 NEW BEST:: SOT 20263 SOS 12921 HAS SOPS 12921 HAS SOUS 9254 HAS SOUPS 9254 WITH SCORE 9266.921
AT ITER 6637 NEW BEST:: SOT 20261 SOS 12919 HAS SOPS 12919 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9264.919
AT ITER 6652 NEW BEST:: SOT 20261 SOS 12929 HAS SOPS 12929 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9263.929
AT ITER 6659 NEW BEST:: SOT 20261 SOS 12929 HAS SOPS 12929 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9260.929
AT ITER 6701 NEW BEST:: SOT 20235 SOS 12908 HAS SOPS 12908 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9240.908
AT ITER 6712 NEW BEST:: SOT 20229 SOS 12902 HAS SOPS 12902 HAS SOUS 9211 HAS SOUPS 9211 WITH SCORE 9223.902
AT ITER 6716 NEW BEST:: SOT 20221 SOS 12894 HAS SOPS 12894 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9222.894
AT ITER 6751 NEW BEST:: SOT 20221 SOS 12892 HAS SOPS 12892 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9221.892
AT ITER 6829 NEW BEST:: SOT 20221 SOS 12886 HAS SOPS 12886 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9221.886
AT ITER 6843 NEW BEST:: SOT 20221 SOS 12882 HAS SOPS 12882 HAS SOUS 9186 HAS SOUPS 9186 WITH SCORE 9198.882
AT ITER 6900 NEW BEST:: SOT 20221 SOS 12882 HAS SOPS 12882 HAS SOUS 9185 HAS SOUPS 9185 WITH SCORE 9197.882
AT ITER 7000 NEW BEST:: SOT 20220 SOS 12881 HAS SOPS 12881 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9196.881
AT ITER 7006 NEW BEST:: SOT 20220 SOS 12878 HAS SOPS 12878 HAS SOUS 9181 HAS SOUPS 9181 WITH SCORE 9193.878
AT ITER 7037 NEW BEST:: SOT 20213 SOS 12871 HAS SOPS 12871 HAS SOUS 9174 HAS SOUPS 9174 WITH SCORE 9186.871
AT ITER 7048 NEW BEST:: SOT 20212 SOS 12870 HAS SOPS 12870 HAS SOUS 9170 HAS SOUPS 9170 WITH SCORE 9182.87
AT ITER 7067 NEW BEST:: SOT 20212 SOS 12867 HAS SOPS 12867 HAS SOUS 9170 HAS SOUPS 9170 WITH SCORE 9182.867
AT ITER 7095 NEW BEST:: SOT 20212 SOS 12867 HAS SOPS 12867 HAS SOUS 9160 HAS SOUPS 9160 WITH SCORE 9172.867
AT ITER 7113 NEW BEST:: SOT 20212 SOS 12867 HAS SOPS 12867 HAS SOUS 9151 HAS SOUPS 9151 WITH SCORE 9163.867
AT ITER 7125 NEW BEST:: SOT 20210 SOS 13016 HAS SOPS 13016 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9162.016
AT ITER 7134 NEW BEST:: SOT 20210 SOS 13014 HAS SOPS 13014 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9162.014
AT ITER 7153 NEW BEST:: SOT 20206 SOS 13010 HAS SOPS 13010 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9158.01
AT ITER 7166 NEW BEST:: SOT 20206 SOS 13003 HAS SOPS 13003 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9158.003
AT ITER 7170 NEW BEST:: SOT 20206 SOS 13002 HAS SOPS 13002 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9157.002
AT ITER 7230 NEW BEST:: SOT 20206 SOS 12995 HAS SOPS 12995 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9156.995
AT ITER 7341 NEW BEST:: SOT 20206 SOS 12937 HAS SOPS 12937 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9156.937
AT ITER 7407 NEW BEST:: SOT 20206 SOS 12909 HAS SOPS 12909 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9156.909
AT ITER 7435 NEW BEST:: SOT 20206 SOS 12909 HAS SOPS 12909 HAS SOUS 9141 HAS SOUPS 9141 WITH SCORE 9153.909
AT ITER 7465 NEW BEST:: SOT 20199 SOS 12922 HAS SOPS 12922 HAS SOUS 9134 HAS SOUPS 9134 WITH SCORE 9146.922
AT ITER 7483 NEW BEST:: SOT 20199 SOS 12922 HAS SOPS 12922 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9143.922
AT ITER 7503 NEW BEST:: SOT 20197 SOS 12920 HAS SOPS 12920 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9141.92
AT ITER 7611 NEW BEST:: SOT 20197 SOS 12926 HAS SOPS 12926 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9138.926
AT ITER 7643 NEW BEST:: SOT 20197 SOS 12926 HAS SOPS 12926 HAS SOUS 9118 HAS SOUPS 9118 WITH SCORE 9130.926
AT ITER 7702 NEW BEST:: SOT 20197 SOS 12923 HAS SOPS 12923 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9127.923
AT ITER 7791 NEW BEST:: SOT 20193 SOS 12919 HAS SOPS 12919 HAS SOUS 9111 HAS SOUPS 9111 WITH SCORE 9123.919
AT ITER 7817 NEW BEST:: SOT 20192 SOS 12918 HAS SOPS 12918 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9122.918
AT ITER 7890 NEW BEST:: SOT 20192 SOS 12918 HAS SOPS 12918 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9121.918
AT ITER 8080 NEW BEST:: SOT 20190 SOS 12916 HAS SOPS 12916 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9120.916
AT ITER 8190 NEW BEST:: SOT 20186 SOS 12912 HAS SOPS 12912 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9116.912
AT ITER 8226 NEW BEST:: SOT 20186 SOS 12897 HAS SOPS 12897 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9100.897
AT ITER 8360 NEW BEST:: SOT 20194 SOS 12881 HAS SOPS 12881 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9100.881
AT ITER 8423 NEW BEST:: SOT 20194 SOS 12894 HAS SOPS 12894 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9098.894
AT ITER 8437 NEW BEST:: SOT 20193 SOS 12893 HAS SOPS 12893 HAS SOUS 9085 HAS SOUPS 9085 WITH SCORE 9097.893
AT ITER 8503 NEW BEST:: SOT 20181 SOS 12881 HAS SOPS 12881 HAS SOUS 9077 HAS SOUPS 9077 WITH SCORE 9089.881
AT ITER 8524 NEW BEST:: SOT 20181 SOS 12866 HAS SOPS 12866 HAS SOUS 9077 HAS SOUPS 9077 WITH SCORE 9089.866
AT ITER 8533 NEW BEST:: SOT 20161 SOS 12850 HAS SOPS 12850 HAS SOUS 9066 HAS SOUPS 9066 WITH SCORE 9078.85
AT ITER 8661 NEW BEST:: SOT 20159 SOS 12848 HAS SOPS 12848 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9076.848
AT ITER 8677 NEW BEST:: SOT 20159 SOS 12842 HAS SOPS 12842 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9076.842
AT ITER 8697 NEW BEST:: SOT 20158 SOS 12841 HAS SOPS 12841 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9075.841
AT ITER 8701 NEW BEST:: SOT 20158 SOS 12838 HAS SOPS 12838 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9072.838
AT ITER 8727 NEW BEST:: SOT 20158 SOS 12838 HAS SOPS 12838 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9071.838
AT ITER 8742 NEW BEST:: SOT 20156 SOS 12836 HAS SOPS 12836 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9064.836
AT ITER 8754 NEW BEST:: SOT 20157 SOS 12765 HAS SOPS 12765 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9063.765
AT ITER 8901 NEW BEST:: SOT 20153 SOS 12761 HAS SOPS 12761 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9059.761
AT ITER 8932 NEW BEST:: SOT 20153 SOS 12779 HAS SOPS 12779 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9058.779
AT ITER 8994 NEW BEST:: SOT 20153 SOS 12771 HAS SOPS 12771 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9058.771
AT ITER 9028 NEW BEST:: SOT 20150 SOS 12768 HAS SOPS 12768 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9055.768
AT ITER 9056 NEW BEST:: SOT 20143 SOS 12761 HAS SOPS 12761 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9048.761
AT ITER 9092 NEW BEST:: SOT 20143 SOS 12760 HAS SOPS 12760 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9048.76
AT ITER 9135 NEW BEST:: SOT 20116 SOS 12740 HAS SOPS 12740 HAS SOUS 9033 HAS SOUPS 9033 WITH SCORE 9045.74
AT ITER 9290 NEW BEST:: SOT 20116 SOS 12740 HAS SOPS 12740 HAS SOUS 9022 HAS SOUPS 9022 WITH SCORE 9034.74
AT ITER 9511 NEW BEST:: SOT 20111 SOS 12735 HAS SOPS 12735 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9029.735
AT ITER 9581 NEW BEST:: SOT 20111 SOS 12728 HAS SOPS 12728 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9029.728
AT ITER 9669 NEW BEST:: SOT 20113 SOS 12730 HAS SOPS 12730 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9017.73
AT ITER 9695 NEW BEST:: SOT 20111 SOS 12728 HAS SOPS 12728 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9015.728
AT ITER 9718 NEW BEST:: SOT 20075 SOS 12692 HAS SOPS 12692 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9008.692
AT ITER 9784 NEW BEST:: SOT 20075 SOS 12693 HAS SOPS 12693 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9003.693
AT ITER 9791 NEW BEST:: SOT 20073 SOS 12691 HAS SOPS 12691 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9001.691
AT ITER 9928 NEW BEST:: SOT 20070 SOS 12691 HAS SOPS 12691 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 9000.691
AT ITER 9929 NEW BEST:: SOT 20070 SOS 12691 HAS SOPS 12691 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8997.691
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 153104 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16281944 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="NQueens-PT-12"
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 NQueens-PT-12, 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 r259-smll-167863534000040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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