About the Execution of smart for NQueens-PT-12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.160 | 3600000.00 | 3600030.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250100139.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 NQueens-PT-12, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100139
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.5K Apr 8 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 16:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 16:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 6 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 02:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 6 02:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 127K Mar 24 05:37 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 NQueens-PT-12-CTLCardinality-00
FORMULA_NAME NQueens-PT-12-CTLCardinality-01
FORMULA_NAME NQueens-PT-12-CTLCardinality-02
FORMULA_NAME NQueens-PT-12-CTLCardinality-03
FORMULA_NAME NQueens-PT-12-CTLCardinality-04
FORMULA_NAME NQueens-PT-12-CTLCardinality-05
FORMULA_NAME NQueens-PT-12-CTLCardinality-06
FORMULA_NAME NQueens-PT-12-CTLCardinality-07
FORMULA_NAME NQueens-PT-12-CTLCardinality-08
FORMULA_NAME NQueens-PT-12-CTLCardinality-09
FORMULA_NAME NQueens-PT-12-CTLCardinality-10
FORMULA_NAME NQueens-PT-12-CTLCardinality-11
FORMULA_NAME NQueens-PT-12-CTLCardinality-12
FORMULA_NAME NQueens-PT-12-CTLCardinality-13
FORMULA_NAME NQueens-PT-12-CTLCardinality-14
FORMULA_NAME NQueens-PT-12-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589637823410
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 12
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: 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 3 NEW BEST:: SOT 24121 SOS 15119 HAS SOPS 15119 HAS SOUS 13699 HAS SOUPS 13699 WITH SCORE 13714.119
AT ITER 5 NEW BEST:: SOT 24120 SOS 15118 HAS SOPS 15118 HAS SOUS 13698 HAS SOUPS 13698 WITH SCORE 13713.118
AT ITER 8 NEW BEST:: SOT 24067 SOS 15082 HAS SOPS 15082 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13681.082
AT ITER 10 NEW BEST:: SOT 24067 SOS 15064 HAS SOPS 15064 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13681.064
AT ITER 11 NEW BEST:: SOT 24060 SOS 15053 HAS SOPS 15053 HAS SOUS 13651 HAS SOUPS 13651 WITH SCORE 13666.053
AT ITER 12 NEW BEST:: SOT 23977 SOS 14983 HAS SOPS 14983 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13629.983
AT ITER 14 NEW BEST:: SOT 23977 SOS 14959 HAS SOPS 14959 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13629.959
AT ITER 15 NEW BEST:: SOT 23932 SOS 15064 HAS SOPS 15064 HAS SOUS 13583 HAS SOUPS 13583 WITH SCORE 13598.064
AT ITER 16 NEW BEST:: SOT 23932 SOS 15000 HAS SOPS 15000 HAS SOUS 13549 HAS SOUPS 13549 WITH SCORE 13564.0
AT ITER 20 NEW BEST:: SOT 23932 SOS 14985 HAS SOPS 14985 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13556.985
AT ITER 21 NEW BEST:: SOT 23932 SOS 14966 HAS SOPS 14966 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13556.966
AT ITER 23 NEW BEST:: SOT 23932 SOS 14871 HAS SOPS 14871 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13556.871
AT ITER 25 NEW BEST:: SOT 23932 SOS 14867 HAS SOPS 14867 HAS SOUS 13538 HAS SOUPS 13538 WITH SCORE 13552.867
AT ITER 30 NEW BEST:: SOT 23966 SOS 14871 HAS SOPS 14871 HAS SOUS 13531 HAS SOUPS 13531 WITH SCORE 13545.871
AT ITER 33 NEW BEST:: SOT 23966 SOS 14596 HAS SOPS 14596 HAS SOUS 13531 HAS SOUPS 13531 WITH SCORE 13545.596
AT ITER 37 NEW BEST:: SOT 23966 SOS 14584 HAS SOPS 14584 HAS SOUS 13531 HAS SOUPS 13531 WITH SCORE 13545.584
AT ITER 56 NEW BEST:: SOT 24000 SOS 14529 HAS SOPS 14529 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13538.529
AT ITER 59 NEW BEST:: SOT 23980 SOS 14625 HAS SOPS 14625 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13516.625
AT ITER 61 NEW BEST:: SOT 23980 SOS 14498 HAS SOPS 14498 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13516.498
AT ITER 67 NEW BEST:: SOT 23980 SOS 14480 HAS SOPS 14480 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13516.48
AT ITER 68 NEW BEST:: SOT 23980 SOS 14478 HAS SOPS 14478 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13514.478
AT ITER 73 NEW BEST:: SOT 23980 SOS 14454 HAS SOPS 14454 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13514.454
AT ITER 85 NEW BEST:: SOT 23926 SOS 14400 HAS SOPS 14400 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13488.4
AT ITER 87 NEW BEST:: SOT 23889 SOS 14409 HAS SOPS 14409 HAS SOUS 13435 HAS SOUPS 13435 WITH SCORE 13449.409
AT ITER 91 NEW BEST:: SOT 23871 SOS 14737 HAS SOPS 14737 HAS SOUS 13431 HAS SOUPS 13431 WITH SCORE 13445.737
AT ITER 96 NEW BEST:: SOT 23835 SOS 14726 HAS SOPS 14726 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13413.726
AT ITER 101 NEW BEST:: SOT 23835 SOS 14669 HAS SOPS 14669 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13413.669
AT ITER 103 NEW BEST:: SOT 23835 SOS 14546 HAS SOPS 14546 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13413.546
AT ITER 105 NEW BEST:: SOT 23835 SOS 14254 HAS SOPS 14254 HAS SOUS 13386 HAS SOUPS 13386 WITH SCORE 13400.254
AT ITER 112 NEW BEST:: SOT 23621 SOS 14066 HAS SOPS 14066 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13212.066
AT ITER 134 NEW BEST:: SOT 23621 SOS 14040 HAS SOPS 14040 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13186.04
AT ITER 136 NEW BEST:: SOT 23621 SOS 14009 HAS SOPS 14009 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13186.009
AT ITER 150 NEW BEST:: SOT 23621 SOS 13935 HAS SOPS 13935 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13185.935
AT ITER 151 NEW BEST:: SOT 23621 SOS 13903 HAS SOPS 13903 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13171.903
AT ITER 153 NEW BEST:: SOT 23633 SOS 13894 HAS SOPS 13894 HAS SOUS 13157 HAS SOUPS 13157 WITH SCORE 13170.894
AT ITER 156 NEW BEST:: SOT 23633 SOS 13877 HAS SOPS 13877 HAS SOUS 13157 HAS SOUPS 13157 WITH SCORE 13170.877
AT ITER 163 NEW BEST:: SOT 23631 SOS 13872 HAS SOPS 13872 HAS SOUS 13151 HAS SOUPS 13151 WITH SCORE 13164.872
AT ITER 166 NEW BEST:: SOT 23626 SOS 13865 HAS SOPS 13865 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13159.865
AT ITER 169 NEW BEST:: SOT 23626 SOS 13851 HAS SOPS 13851 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13159.851
AT ITER 172 NEW BEST:: SOT 23622 SOS 13847 HAS SOPS 13847 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13155.847
AT ITER 185 NEW BEST:: SOT 23622 SOS 13838 HAS SOPS 13838 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13155.838
AT ITER 190 NEW BEST:: SOT 23620 SOS 13836 HAS SOPS 13836 HAS SOUS 13140 HAS SOUPS 13140 WITH SCORE 13153.836
AT ITER 192 NEW BEST:: SOT 23531 SOS 13761 HAS SOPS 13761 HAS SOUS 13065 HAS SOUPS 13065 WITH SCORE 13078.761
AT ITER 194 NEW BEST:: SOT 23530 SOS 13760 HAS SOPS 13760 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13077.76
AT ITER 198 NEW BEST:: SOT 23517 SOS 13729 HAS SOPS 13729 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13072.729
AT ITER 209 NEW BEST:: SOT 23503 SOS 13715 HAS SOPS 13715 HAS SOUS 13045 HAS SOUPS 13045 WITH SCORE 13058.715
AT ITER 224 NEW BEST:: SOT 23497 SOS 13676 HAS SOPS 13676 HAS SOUS 13027 HAS SOUPS 13027 WITH SCORE 13040.676
AT ITER 231 NEW BEST:: SOT 23488 SOS 13661 HAS SOPS 13661 HAS SOUS 13016 HAS SOUPS 13016 WITH SCORE 13029.661
AT ITER 239 NEW BEST:: SOT 23488 SOS 13607 HAS SOPS 13607 HAS SOUS 13016 HAS SOUPS 13016 WITH SCORE 13029.607
AT ITER 246 NEW BEST:: SOT 23576 SOS 13652 HAS SOPS 13652 HAS SOUS 13002 HAS SOUPS 13002 WITH SCORE 13015.652
AT ITER 251 NEW BEST:: SOT 23526 SOS 13688 HAS SOPS 13688 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12965.688
AT ITER 253 NEW BEST:: SOT 23526 SOS 13674 HAS SOPS 13674 HAS SOUS 12946 HAS SOUPS 12946 WITH SCORE 12959.674
AT ITER 256 NEW BEST:: SOT 23603 SOS 13640 HAS SOPS 13640 HAS SOUS 12908 HAS SOUPS 12908 WITH SCORE 12921.64
AT ITER 278 NEW BEST:: SOT 23587 SOS 13654 HAS SOPS 13654 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12914.654
AT ITER 282 NEW BEST:: SOT 23587 SOS 13647 HAS SOPS 13647 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12914.647
AT ITER 286 NEW BEST:: SOT 23590 SOS 13635 HAS SOPS 13635 HAS SOUS 12894 HAS SOUPS 12894 WITH SCORE 12907.635
AT ITER 314 NEW BEST:: SOT 23554 SOS 13640 HAS SOPS 13640 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12883.64
AT ITER 318 NEW BEST:: SOT 23481 SOS 13627 HAS SOPS 13627 HAS SOUS 12832 HAS SOUPS 12832 WITH SCORE 12845.627
AT ITER 332 NEW BEST:: SOT 23481 SOS 13605 HAS SOPS 13605 HAS SOUS 12810 HAS SOUPS 12810 WITH SCORE 12823.605
AT ITER 333 NEW BEST:: SOT 23328 SOS 13729 HAS SOPS 13729 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12801.729
AT ITER 337 NEW BEST:: SOT 23328 SOS 13729 HAS SOPS 13729 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12791.729
AT ITER 343 NEW BEST:: SOT 23305 SOS 13740 HAS SOPS 13740 HAS SOUS 12766 HAS SOUPS 12766 WITH SCORE 12779.74
AT ITER 350 NEW BEST:: SOT 23216 SOS 13840 HAS SOPS 13840 HAS SOUS 12763 HAS SOUPS 12763 WITH SCORE 12776.84
AT ITER 352 NEW BEST:: SOT 23209 SOS 13833 HAS SOPS 13833 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12769.833
AT ITER 355 NEW BEST:: SOT 23209 SOS 13749 HAS SOPS 13749 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12697.749
AT ITER 356 NEW BEST:: SOT 23209 SOS 13724 HAS SOPS 13724 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12697.724
AT ITER 358 NEW BEST:: SOT 23207 SOS 13722 HAS SOPS 13722 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12695.722
AT ITER 364 NEW BEST:: SOT 23207 SOS 13721 HAS SOPS 13721 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12676.721
AT ITER 370 NEW BEST:: SOT 23207 SOS 13692 HAS SOPS 13692 HAS SOUS 12650 HAS SOUPS 12650 WITH SCORE 12663.692
AT ITER 401 NEW BEST:: SOT 23196 SOS 13622 HAS SOPS 13622 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12652.622
AT ITER 402 NEW BEST:: SOT 23130 SOS 13558 HAS SOPS 13558 HAS SOUS 12575 HAS SOUPS 12575 WITH SCORE 12588.558
AT ITER 405 NEW BEST:: SOT 23130 SOS 13535 HAS SOPS 13535 HAS SOUS 12575 HAS SOUPS 12575 WITH SCORE 12588.535
AT ITER 408 NEW BEST:: SOT 23130 SOS 13535 HAS SOPS 13535 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12580.535
AT ITER 411 NEW BEST:: SOT 23066 SOS 13471 HAS SOPS 13471 HAS SOUS 12503 HAS SOUPS 12503 WITH SCORE 12516.471
AT ITER 414 NEW BEST:: SOT 23046 SOS 13451 HAS SOPS 13451 HAS SOUS 12483 HAS SOUPS 12483 WITH SCORE 12496.451
AT ITER 419 NEW BEST:: SOT 23046 SOS 13446 HAS SOPS 13446 HAS SOUS 12476 HAS SOUPS 12476 WITH SCORE 12489.446
AT ITER 421 NEW BEST:: SOT 23012 SOS 13587 HAS SOPS 13587 HAS SOUS 12450 HAS SOUPS 12450 WITH SCORE 12463.587
AT ITER 424 NEW BEST:: SOT 23012 SOS 13584 HAS SOPS 13584 HAS SOUS 12450 HAS SOUPS 12450 WITH SCORE 12463.584
AT ITER 441 NEW BEST:: SOT 22973 SOS 13545 HAS SOPS 13545 HAS SOUS 12411 HAS SOUPS 12411 WITH SCORE 12424.545
AT ITER 449 NEW BEST:: SOT 22960 SOS 13532 HAS SOPS 13532 HAS SOUS 12398 HAS SOUPS 12398 WITH SCORE 12411.532
AT ITER 451 NEW BEST:: SOT 22960 SOS 13500 HAS SOPS 13500 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12375.5
AT ITER 457 NEW BEST:: SOT 22906 SOS 13503 HAS SOPS 13503 HAS SOUS 12351 HAS SOUPS 12351 WITH SCORE 12364.503
AT ITER 464 NEW BEST:: SOT 22895 SOS 13479 HAS SOPS 13479 HAS SOUS 12340 HAS SOUPS 12340 WITH SCORE 12353.479
AT ITER 466 NEW BEST:: SOT 22715 SOS 13314 HAS SOPS 13314 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12188.314
AT ITER 477 NEW BEST:: SOT 22673 SOS 13337 HAS SOPS 13337 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12147.337
AT ITER 481 NEW BEST:: SOT 22673 SOS 13316 HAS SOPS 13316 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12140.316
AT ITER 490 NEW BEST:: SOT 22568 SOS 13575 HAS SOPS 13575 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12116.575
AT ITER 491 NEW BEST:: SOT 22568 SOS 13565 HAS SOPS 13565 HAS SOUS 12083 HAS SOUPS 12083 WITH SCORE 12096.565
AT ITER 509 NEW BEST:: SOT 22568 SOS 13528 HAS SOPS 13528 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12060.528
AT ITER 510 NEW BEST:: SOT 22568 SOS 13495 HAS SOPS 13495 HAS SOUS 12017 HAS SOUPS 12017 WITH SCORE 12030.495
AT ITER 512 NEW BEST:: SOT 22566 SOS 13493 HAS SOPS 13493 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12028.493
AT ITER 524 NEW BEST:: SOT 22566 SOS 13491 HAS SOPS 13491 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12026.491
AT ITER 531 NEW BEST:: SOT 22514 SOS 13493 HAS SOPS 13493 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 11995.493
AT ITER 532 NEW BEST:: SOT 22492 SOS 13486 HAS SOPS 13486 HAS SOUS 11936 HAS SOUPS 11936 WITH SCORE 11949.486
AT ITER 535 NEW BEST:: SOT 22492 SOS 13481 HAS SOPS 13481 HAS SOUS 11919 HAS SOUPS 11919 WITH SCORE 11932.481
AT ITER 536 NEW BEST:: SOT 22446 SOS 13762 HAS SOPS 13762 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11890.762
AT ITER 540 NEW BEST:: SOT 22446 SOS 13763 HAS SOPS 13763 HAS SOUS 11862 HAS SOUPS 11862 WITH SCORE 11875.763
AT ITER 549 NEW BEST:: SOT 22439 SOS 13756 HAS SOPS 13756 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11868.756
AT ITER 553 NEW BEST:: SOT 22439 SOS 13640 HAS SOPS 13640 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11868.64
AT ITER 558 NEW BEST:: SOT 22439 SOS 13638 HAS SOPS 13638 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11868.638
AT ITER 564 NEW BEST:: SOT 22438 SOS 13637 HAS SOPS 13637 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11868.637
AT ITER 570 NEW BEST:: SOT 22375 SOS 13574 HAS SOPS 13574 HAS SOUS 11819 HAS SOUPS 11819 WITH SCORE 11832.574
AT ITER 576 NEW BEST:: SOT 22370 SOS 13569 HAS SOPS 13569 HAS SOUS 11814 HAS SOUPS 11814 WITH SCORE 11827.569
AT ITER 581 NEW BEST:: SOT 22349 SOS 13548 HAS SOPS 13548 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11806.548
AT ITER 588 NEW BEST:: SOT 22349 SOS 13428 HAS SOPS 13428 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11802.428
AT ITER 595 NEW BEST:: SOT 22347 SOS 13412 HAS SOPS 13412 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11783.412
AT ITER 613 NEW BEST:: SOT 22379 SOS 13389 HAS SOPS 13389 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11760.389
AT ITER 625 NEW BEST:: SOT 22351 SOS 13403 HAS SOPS 13403 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11746.403
AT ITER 626 NEW BEST:: SOT 22351 SOS 13392 HAS SOPS 13392 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11746.392
AT ITER 627 NEW BEST:: SOT 22291 SOS 13332 HAS SOPS 13332 HAS SOUS 11721 HAS SOUPS 11721 WITH SCORE 11734.332
AT ITER 629 NEW BEST:: SOT 22279 SOS 13320 HAS SOPS 13320 HAS SOUS 11709 HAS SOUPS 11709 WITH SCORE 11722.32
AT ITER 630 NEW BEST:: SOT 22276 SOS 13317 HAS SOPS 13317 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11719.317
AT ITER 634 NEW BEST:: SOT 22250 SOS 13232 HAS SOPS 13232 HAS SOUS 11638 HAS SOUPS 11638 WITH SCORE 11651.232
AT ITER 653 NEW BEST:: SOT 22236 SOS 13218 HAS SOPS 13218 HAS SOUS 11624 HAS SOUPS 11624 WITH SCORE 11637.218
AT ITER 665 NEW BEST:: SOT 22236 SOS 13178 HAS SOPS 13178 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11606.178
AT ITER 684 NEW BEST:: SOT 22236 SOS 13176 HAS SOPS 13176 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11604.176
AT ITER 688 NEW BEST:: SOT 22234 SOS 13174 HAS SOPS 13174 HAS SOUS 11589 HAS SOUPS 11589 WITH SCORE 11602.174
AT ITER 693 NEW BEST:: SOT 22228 SOS 13168 HAS SOPS 13168 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11596.168
AT ITER 698 NEW BEST:: SOT 22212 SOS 13152 HAS SOPS 13152 HAS SOUS 11567 HAS SOUPS 11567 WITH SCORE 11580.152
AT ITER 700 NEW BEST:: SOT 22163 SOS 13102 HAS SOPS 13102 HAS SOUS 11534 HAS SOUPS 11534 WITH SCORE 11547.102
AT ITER 709 NEW BEST:: SOT 22140 SOS 13079 HAS SOPS 13079 HAS SOUS 11511 HAS SOUPS 11511 WITH SCORE 11524.079
AT ITER 729 NEW BEST:: SOT 22162 SOS 13133 HAS SOPS 13133 HAS SOUS 11505 HAS SOUPS 11505 WITH SCORE 11518.133
AT ITER 731 NEW BEST:: SOT 22173 SOS 13137 HAS SOPS 13137 HAS SOUS 11502 HAS SOUPS 11502 WITH SCORE 11515.137
AT ITER 736 NEW BEST:: SOT 22113 SOS 13389 HAS SOPS 13389 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11494.389
AT ITER 760 NEW BEST:: SOT 22131 SOS 13325 HAS SOPS 13325 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11455.325
AT ITER 776 NEW BEST:: SOT 22125 SOS 13319 HAS SOPS 13319 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11449.319
AT ITER 785 NEW BEST:: SOT 22125 SOS 13314 HAS SOPS 13314 HAS SOUS 11431 HAS SOUPS 11431 WITH SCORE 11444.314
AT ITER 793 NEW BEST:: SOT 22113 SOS 13307 HAS SOPS 13307 HAS SOUS 11431 HAS SOUPS 11431 WITH SCORE 11444.307
AT ITER 827 NEW BEST:: SOT 22113 SOS 13283 HAS SOPS 13283 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11420.283
AT ITER 840 NEW BEST:: SOT 22044 SOS 13262 HAS SOPS 13262 HAS SOUS 11327 HAS SOUPS 11327 WITH SCORE 11340.262
AT ITER 844 NEW BEST:: SOT 22034 SOS 13252 HAS SOPS 13252 HAS SOUS 11317 HAS SOUPS 11317 WITH SCORE 11330.252
AT ITER 851 NEW BEST:: SOT 22019 SOS 13211 HAS SOPS 13211 HAS SOUS 11302 HAS SOUPS 11302 WITH SCORE 11315.211
AT ITER 855 NEW BEST:: SOT 22008 SOS 13200 HAS SOPS 13200 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11291.2
AT ITER 858 NEW BEST:: SOT 22007 SOS 13205 HAS SOPS 13205 HAS SOUS 11277 HAS SOUPS 11277 WITH SCORE 11290.205
AT ITER 868 NEW BEST:: SOT 22004 SOS 13471 HAS SOPS 13471 HAS SOUS 11274 HAS SOUPS 11274 WITH SCORE 11287.471
AT ITER 870 NEW BEST:: SOT 22004 SOS 13463 HAS SOPS 13463 HAS SOUS 11270 HAS SOUPS 11270 WITH SCORE 11283.463
AT ITER 886 NEW BEST:: SOT 22004 SOS 13461 HAS SOPS 13461 HAS SOUS 11270 HAS SOUPS 11270 WITH SCORE 11283.461
AT ITER 891 NEW BEST:: SOT 22004 SOS 13450 HAS SOPS 13450 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11274.45
AT ITER 904 NEW BEST:: SOT 22004 SOS 13446 HAS SOPS 13446 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11270.446
AT ITER 914 NEW BEST:: SOT 21978 SOS 13427 HAS SOPS 13427 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11251.427
AT ITER 916 NEW BEST:: SOT 21978 SOS 13407 HAS SOPS 13407 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11251.407
AT ITER 920 NEW BEST:: SOT 21978 SOS 13400 HAS SOPS 13400 HAS SOUS 11231 HAS SOUPS 11231 WITH SCORE 11244.4
AT ITER 922 NEW BEST:: SOT 21978 SOS 13400 HAS SOPS 13400 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11240.4
AT ITER 934 NEW BEST:: SOT 21919 SOS 13365 HAS SOPS 13365 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11205.365
AT ITER 936 NEW BEST:: SOT 21922 SOS 13388 HAS SOPS 13388 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11189.388
AT ITER 960 NEW BEST:: SOT 21922 SOS 13387 HAS SOPS 13387 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11189.387
AT ITER 968 NEW BEST:: SOT 21936 SOS 13385 HAS SOPS 13385 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11187.385
AT ITER 969 NEW BEST:: SOT 21936 SOS 13387 HAS SOPS 13387 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11177.387
AT ITER 980 NEW BEST:: SOT 21922 SOS 13341 HAS SOPS 13341 HAS SOUS 11161 HAS SOUPS 11161 WITH SCORE 11174.341
AT ITER 982 NEW BEST:: SOT 21917 SOS 13336 HAS SOPS 13336 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11165.336
AT ITER 1008 NEW BEST:: SOT 21917 SOS 13363 HAS SOPS 13363 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11137.363
AT ITER 1017 NEW BEST:: SOT 21917 SOS 13344 HAS SOPS 13344 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11137.344
AT ITER 1022 NEW BEST:: SOT 21914 SOS 13341 HAS SOPS 13341 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11134.341
AT ITER 1050 NEW BEST:: SOT 21914 SOS 13365 HAS SOPS 13365 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11129.365
AT ITER 1055 NEW BEST:: SOT 21914 SOS 13347 HAS SOPS 13347 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11129.347
AT ITER 1064 NEW BEST:: SOT 21914 SOS 13337 HAS SOPS 13337 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11129.337
AT ITER 1066 NEW BEST:: SOT 21887 SOS 13529 HAS SOPS 13529 HAS SOUS 11102 HAS SOUPS 11102 WITH SCORE 11115.529
AT ITER 1072 NEW BEST:: SOT 21887 SOS 13529 HAS SOPS 13529 HAS SOUS 11095 HAS SOUPS 11095 WITH SCORE 11108.529
AT ITER 1109 NEW BEST:: SOT 21889 SOS 13400 HAS SOPS 13400 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11104.4
AT ITER 1121 NEW BEST:: SOT 21889 SOS 13393 HAS SOPS 13393 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11096.393
AT ITER 1123 NEW BEST:: SOT 21889 SOS 13385 HAS SOPS 13385 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11096.385
AT ITER 1124 NEW BEST:: SOT 21889 SOS 13366 HAS SOPS 13366 HAS SOUS 11072 HAS SOUPS 11072 WITH SCORE 11085.366
AT ITER 1127 NEW BEST:: SOT 21889 SOS 13366 HAS SOPS 13366 HAS SOUS 11067 HAS SOUPS 11067 WITH SCORE 11080.366
AT ITER 1165 NEW BEST:: SOT 21889 SOS 13384 HAS SOPS 13384 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11079.384
AT ITER 1183 NEW BEST:: SOT 21884 SOS 13379 HAS SOPS 13379 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11074.379
AT ITER 1184 NEW BEST:: SOT 21884 SOS 13378 HAS SOPS 13378 HAS SOUS 11060 HAS SOUPS 11060 WITH SCORE 11073.378
AT ITER 1188 NEW BEST:: SOT 21884 SOS 13333 HAS SOPS 13333 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11067.333
AT ITER 1269 NEW BEST:: SOT 21884 SOS 13333 HAS SOPS 13333 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11057.333
AT ITER 1270 NEW BEST:: SOT 21875 SOS 13246 HAS SOPS 13246 HAS SOUS 11032 HAS SOUPS 11032 WITH SCORE 11045.246
AT ITER 1296 NEW BEST:: SOT 21875 SOS 13266 HAS SOPS 13266 HAS SOUS 11029 HAS SOUPS 11029 WITH SCORE 11042.266
AT ITER 1375 NEW BEST:: SOT 21864 SOS 13255 HAS SOPS 13255 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11031.255
AT ITER 1448 NEW BEST:: SOT 21852 SOS 13243 HAS SOPS 13243 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11029.243
AT ITER 1460 NEW BEST:: SOT 21732 SOS 13254 HAS SOPS 13254 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10998.254
AT ITER 1471 NEW BEST:: SOT 21732 SOS 13250 HAS SOPS 13250 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10998.25
AT ITER 1485 NEW BEST:: SOT 21732 SOS 13181 HAS SOPS 13181 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10998.181
AT ITER 1508 NEW BEST:: SOT 21732 SOS 13165 HAS SOPS 13165 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10998.165
AT ITER 1510 NEW BEST:: SOT 21732 SOS 13161 HAS SOPS 13161 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10998.161
AT ITER 1521 NEW BEST:: SOT 21732 SOS 13156 HAS SOPS 13156 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10998.156
AT ITER 1532 NEW BEST:: SOT 21732 SOS 13141 HAS SOPS 13141 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10998.141
AT ITER 1545 NEW BEST:: SOT 21725 SOS 13134 HAS SOPS 13134 HAS SOUS 10978 HAS SOUPS 10978 WITH SCORE 10991.134
AT ITER 1568 NEW BEST:: SOT 21707 SOS 13116 HAS SOPS 13116 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10973.116
AT ITER 1591 NEW BEST:: SOT 21707 SOS 13084 HAS SOPS 13084 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10973.084
AT ITER 1603 NEW BEST:: SOT 21707 SOS 13026 HAS SOPS 13026 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10968.026
AT ITER 1616 NEW BEST:: SOT 21703 SOS 13022 HAS SOPS 13022 HAS SOUS 10951 HAS SOUPS 10951 WITH SCORE 10964.022
AT ITER 1618 NEW BEST:: SOT 21714 SOS 13053 HAS SOPS 13053 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10959.053
AT ITER 1619 NEW BEST:: SOT 21714 SOS 13038 HAS SOPS 13038 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10959.038
AT ITER 1634 NEW BEST:: SOT 21714 SOS 13024 HAS SOPS 13024 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10959.024
AT ITER 1641 NEW BEST:: SOT 21714 SOS 13024 HAS SOPS 13024 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10935.024
AT ITER 1649 NEW BEST:: SOT 21714 SOS 13004 HAS SOPS 13004 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10935.004
AT ITER 1659 NEW BEST:: SOT 21714 SOS 13004 HAS SOPS 13004 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10919.004
AT ITER 1673 NEW BEST:: SOT 21714 SOS 12978 HAS SOPS 12978 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10913.978
AT ITER 1686 NEW BEST:: SOT 21714 SOS 12969 HAS SOPS 12969 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10913.969
AT ITER 1687 NEW BEST:: SOT 21714 SOS 12951 HAS SOPS 12951 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10913.951
AT ITER 1701 NEW BEST:: SOT 21712 SOS 12949 HAS SOPS 12949 HAS SOUS 10899 HAS SOUPS 10899 WITH SCORE 10911.949
AT ITER 1714 NEW BEST:: SOT 21712 SOS 12931 HAS SOPS 12931 HAS SOUS 10899 HAS SOUPS 10899 WITH SCORE 10911.931
AT ITER 1715 NEW BEST:: SOT 21717 SOS 12936 HAS SOPS 12936 HAS SOUS 10889 HAS SOUPS 10889 WITH SCORE 10901.936
AT ITER 1718 NEW BEST:: SOT 21719 SOS 12915 HAS SOPS 12915 HAS SOUS 10887 HAS SOUPS 10887 WITH SCORE 10899.915
AT ITER 1737 NEW BEST:: SOT 21719 SOS 12909 HAS SOPS 12909 HAS SOUS 10887 HAS SOUPS 10887 WITH SCORE 10899.909
AT ITER 1764 NEW BEST:: SOT 21716 SOS 12906 HAS SOPS 12906 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10896.906
AT ITER 1770 NEW BEST:: SOT 21716 SOS 12889 HAS SOPS 12889 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10896.889
AT ITER 1799 NEW BEST:: SOT 21716 SOS 12768 HAS SOPS 12768 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10896.768
AT ITER 1800 NEW BEST:: SOT 21699 SOS 12742 HAS SOPS 12742 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10870.742
AT ITER 1807 NEW BEST:: SOT 21695 SOS 12738 HAS SOPS 12738 HAS SOUS 10854 HAS SOUPS 10854 WITH SCORE 10866.738
AT ITER 1810 NEW BEST:: SOT 21670 SOS 12713 HAS SOPS 12713 HAS SOUS 10829 HAS SOUPS 10829 WITH SCORE 10841.713
AT ITER 1816 NEW BEST:: SOT 21670 SOS 12700 HAS SOPS 12700 HAS SOUS 10824 HAS SOUPS 10824 WITH SCORE 10836.7
AT ITER 1820 NEW BEST:: SOT 21670 SOS 12694 HAS SOPS 12694 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10830.694
AT ITER 1830 NEW BEST:: SOT 21648 SOS 12666 HAS SOPS 12666 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10817.666
AT ITER 1835 NEW BEST:: SOT 21641 SOS 12659 HAS SOPS 12659 HAS SOUS 10798 HAS SOUPS 10798 WITH SCORE 10810.659
AT ITER 1851 NEW BEST:: SOT 21641 SOS 12623 HAS SOPS 12623 HAS SOUS 10798 HAS SOUPS 10798 WITH SCORE 10810.623
AT ITER 1853 NEW BEST:: SOT 21641 SOS 12623 HAS SOPS 12623 HAS SOUS 10785 HAS SOUPS 10785 WITH SCORE 10797.623
AT ITER 1855 NEW BEST:: SOT 21589 SOS 12890 HAS SOPS 12890 HAS SOUS 10776 HAS SOUPS 10776 WITH SCORE 10788.89
AT ITER 1856 NEW BEST:: SOT 21589 SOS 12886 HAS SOPS 12886 HAS SOUS 10776 HAS SOUPS 10776 WITH SCORE 10788.886
AT ITER 1887 NEW BEST:: SOT 21583 SOS 12880 HAS SOPS 12880 HAS SOUS 10770 HAS SOUPS 10770 WITH SCORE 10782.88
AT ITER 1890 NEW BEST:: SOT 21567 SOS 12874 HAS SOPS 12874 HAS SOUS 10763 HAS SOUPS 10763 WITH SCORE 10775.874
AT ITER 1891 NEW BEST:: SOT 21577 SOS 12881 HAS SOPS 12881 HAS SOUS 10753 HAS SOUPS 10753 WITH SCORE 10765.881
AT ITER 1894 NEW BEST:: SOT 21577 SOS 12756 HAS SOPS 12756 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10734.756
AT ITER 1904 NEW BEST:: SOT 21576 SOS 12755 HAS SOPS 12755 HAS SOUS 10721 HAS SOUPS 10721 WITH SCORE 10733.755
AT ITER 1911 NEW BEST:: SOT 21576 SOS 12755 HAS SOPS 12755 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10732.755
AT ITER 1949 NEW BEST:: SOT 21576 SOS 12750 HAS SOPS 12750 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10732.75
AT ITER 1986 NEW BEST:: SOT 21576 SOS 12726 HAS SOPS 12726 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10732.726
AT ITER 1996 NEW BEST:: SOT 21576 SOS 12717 HAS SOPS 12717 HAS SOUS 10709 HAS SOUPS 10709 WITH SCORE 10721.717
AT ITER 1997 NEW BEST:: SOT 21576 SOS 12717 HAS SOPS 12717 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10717.717
AT ITER 1998 NEW BEST:: SOT 21572 SOS 12713 HAS SOPS 12713 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10713.713
AT ITER 2006 NEW BEST:: SOT 21572 SOS 12714 HAS SOPS 12714 HAS SOUS 10694 HAS SOUPS 10694 WITH SCORE 10706.714
AT ITER 2009 NEW BEST:: SOT 21530 SOS 13025 HAS SOPS 13025 HAS SOUS 10652 HAS SOUPS 10652 WITH SCORE 10665.025
AT ITER 2035 NEW BEST:: SOT 21530 SOS 13049 HAS SOPS 13049 HAS SOUS 10645 HAS SOUPS 10645 WITH SCORE 10658.049
AT ITER 2047 NEW BEST:: SOT 21530 SOS 13049 HAS SOPS 13049 HAS SOUS 10644 HAS SOUPS 10644 WITH SCORE 10657.049
AT ITER 2091 NEW BEST:: SOT 21553 SOS 13096 HAS SOPS 13096 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10636.096
AT ITER 2112 NEW BEST:: SOT 21553 SOS 13089 HAS SOPS 13089 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10636.089
AT ITER 2127 NEW BEST:: SOT 21544 SOS 13080 HAS SOPS 13080 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10630.08
AT ITER 2128 NEW BEST:: SOT 21521 SOS 13057 HAS SOPS 13057 HAS SOUS 10592 HAS SOUPS 10592 WITH SCORE 10605.057
AT ITER 2136 NEW BEST:: SOT 21522 SOS 13058 HAS SOPS 13058 HAS SOUS 10590 HAS SOUPS 10590 WITH SCORE 10603.058
AT ITER 2160 NEW BEST:: SOT 21522 SOS 13081 HAS SOPS 13081 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10599.081
AT ITER 2162 NEW BEST:: SOT 21522 SOS 13080 HAS SOPS 13080 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10599.08
AT ITER 2165 NEW BEST:: SOT 21520 SOS 13078 HAS SOPS 13078 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10587.078
AT ITER 2174 NEW BEST:: SOT 21520 SOS 13065 HAS SOPS 13065 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10587.065
AT ITER 2182 NEW BEST:: SOT 21520 SOS 13048 HAS SOPS 13048 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10587.048
AT ITER 2191 NEW BEST:: SOT 21512 SOS 13040 HAS SOPS 13040 HAS SOUS 10566 HAS SOUPS 10566 WITH SCORE 10579.04
AT ITER 2201 NEW BEST:: SOT 21491 SOS 13019 HAS SOPS 13019 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10558.019
AT ITER 2234 NEW BEST:: SOT 21489 SOS 13017 HAS SOPS 13017 HAS SOUS 10535 HAS SOUPS 10535 WITH SCORE 10548.017
AT ITER 2248 NEW BEST:: SOT 21489 SOS 13019 HAS SOPS 13019 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10535.019
AT ITER 2253 NEW BEST:: SOT 21489 SOS 13017 HAS SOPS 13017 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10535.017
AT ITER 2257 NEW BEST:: SOT 21483 SOS 13010 HAS SOPS 13010 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10532.01
AT ITER 2284 NEW BEST:: SOT 21483 SOS 13003 HAS SOPS 13003 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10532.003
AT ITER 2309 NEW BEST:: SOT 21487 SOS 12999 HAS SOPS 12999 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10520.999
AT ITER 2316 NEW BEST:: SOT 21487 SOS 12997 HAS SOPS 12997 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10520.997
AT ITER 2329 NEW BEST:: SOT 21487 SOS 12997 HAS SOPS 12997 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10519.997
AT ITER 2344 NEW BEST:: SOT 21486 SOS 12995 HAS SOPS 12995 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10517.995
AT ITER 2345 NEW BEST:: SOT 21486 SOS 12986 HAS SOPS 12986 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10515.986
AT ITER 2349 NEW BEST:: SOT 21485 SOS 12985 HAS SOPS 12985 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10514.985
AT ITER 2386 NEW BEST:: SOT 21485 SOS 12983 HAS SOPS 12983 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10514.983
AT ITER 2435 NEW BEST:: SOT 21485 SOS 12953 HAS SOPS 12953 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10514.953
AT ITER 2448 NEW BEST:: SOT 21548 SOS 12914 HAS SOPS 12914 HAS SOUS 10491 HAS SOUPS 10491 WITH SCORE 10503.914
AT ITER 2452 NEW BEST:: SOT 21528 SOS 12915 HAS SOPS 12915 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10493.915
AT ITER 2458 NEW BEST:: SOT 21528 SOS 12914 HAS SOPS 12914 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10493.914
AT ITER 2459 NEW BEST:: SOT 21528 SOS 12910 HAS SOPS 12910 HAS SOUS 10477 HAS SOUPS 10477 WITH SCORE 10489.91
AT ITER 2465 NEW BEST:: SOT 21528 SOS 12925 HAS SOPS 12925 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10484.925
AT ITER 2480 NEW BEST:: SOT 21523 SOS 12920 HAS SOPS 12920 HAS SOUS 10467 HAS SOUPS 10467 WITH SCORE 10479.92
AT ITER 2485 NEW BEST:: SOT 21523 SOS 12914 HAS SOPS 12914 HAS SOUS 10467 HAS SOUPS 10467 WITH SCORE 10479.914
AT ITER 2502 NEW BEST:: SOT 21538 SOS 12901 HAS SOPS 12901 HAS SOUS 10454 HAS SOUPS 10454 WITH SCORE 10466.901
AT ITER 2538 NEW BEST:: SOT 21538 SOS 12901 HAS SOPS 12901 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10460.901
AT ITER 2548 NEW BEST:: SOT 21529 SOS 12892 HAS SOPS 12892 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10451.892
AT ITER 2558 NEW BEST:: SOT 21509 SOS 12872 HAS SOPS 12872 HAS SOUS 10401 HAS SOUPS 10401 WITH SCORE 10413.872
AT ITER 2567 NEW BEST:: SOT 21508 SOS 12871 HAS SOPS 12871 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10412.871
AT ITER 2576 NEW BEST:: SOT 21508 SOS 12868 HAS SOPS 12868 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10412.868
AT ITER 2583 NEW BEST:: SOT 21507 SOS 12867 HAS SOPS 12867 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10410.867
AT ITER 2602 NEW BEST:: SOT 21507 SOS 12860 HAS SOPS 12860 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10410.86
AT ITER 2603 NEW BEST:: SOT 21507 SOS 12912 HAS SOPS 12912 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10407.912
AT ITER 2622 NEW BEST:: SOT 21507 SOS 12889 HAS SOPS 12889 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10407.889
AT ITER 2652 NEW BEST:: SOT 21507 SOS 12883 HAS SOPS 12883 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10407.883
AT ITER 2664 NEW BEST:: SOT 21478 SOS 12859 HAS SOPS 12859 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10399.859
AT ITER 2699 NEW BEST:: SOT 21478 SOS 12860 HAS SOPS 12860 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10398.86
AT ITER 2719 NEW BEST:: SOT 21478 SOS 12837 HAS SOPS 12837 HAS SOUS 10371 HAS SOUPS 10371 WITH SCORE 10383.837
AT ITER 2741 NEW BEST:: SOT 21463 SOS 12867 HAS SOPS 12867 HAS SOUS 10365 HAS SOUPS 10365 WITH SCORE 10377.867
AT ITER 2763 NEW BEST:: SOT 21463 SOS 12857 HAS SOPS 12857 HAS SOUS 10365 HAS SOUPS 10365 WITH SCORE 10377.857
AT ITER 2784 NEW BEST:: SOT 21439 SOS 12833 HAS SOPS 12833 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10353.833
AT ITER 2802 NEW BEST:: SOT 21439 SOS 12832 HAS SOPS 12832 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10351.832
AT ITER 2815 NEW BEST:: SOT 21439 SOS 12803 HAS SOPS 12803 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10351.803
AT ITER 2820 NEW BEST:: SOT 21439 SOS 12801 HAS SOPS 12801 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10351.801
AT ITER 2850 NEW BEST:: SOT 21439 SOS 12788 HAS SOPS 12788 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10351.788
AT ITER 2893 NEW BEST:: SOT 21439 SOS 12778 HAS SOPS 12778 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10351.778
AT ITER 2902 NEW BEST:: SOT 21439 SOS 12776 HAS SOPS 12776 HAS SOUS 10339 HAS SOUPS 10339 WITH SCORE 10351.776
AT ITER 2953 NEW BEST:: SOT 21439 SOS 12773 HAS SOPS 12773 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10346.773
AT ITER 2955 NEW BEST:: SOT 21441 SOS 12774 HAS SOPS 12774 HAS SOUS 10330 HAS SOUPS 10330 WITH SCORE 10342.774
AT ITER 2968 NEW BEST:: SOT 21441 SOS 12774 HAS SOPS 12774 HAS SOUS 10316 HAS SOUPS 10316 WITH SCORE 10328.774
AT ITER 2969 NEW BEST:: SOT 21428 SOS 12755 HAS SOPS 12755 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10320.755
AT ITER 3010 NEW BEST:: SOT 21430 SOS 12735 HAS SOPS 12735 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10312.735
AT ITER 3041 NEW BEST:: SOT 21425 SOS 12741 HAS SOPS 12741 HAS SOUS 10295 HAS SOUPS 10295 WITH SCORE 10307.741
AT ITER 3075 NEW BEST:: SOT 21416 SOS 12732 HAS SOPS 12732 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10298.732
AT ITER 3088 NEW BEST:: SOT 21414 SOS 12730 HAS SOPS 12730 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10296.73
AT ITER 3132 NEW BEST:: SOT 21412 SOS 12728 HAS SOPS 12728 HAS SOUS 10280 HAS SOUPS 10280 WITH SCORE 10292.728
AT ITER 3134 NEW BEST:: SOT 21411 SOS 12727 HAS SOPS 12727 HAS SOUS 10279 HAS SOUPS 10279 WITH SCORE 10291.727
AT ITER 3136 NEW BEST:: SOT 21411 SOS 12727 HAS SOPS 12727 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10285.727
AT ITER 3215 NEW BEST:: SOT 21353 SOS 12736 HAS SOPS 12736 HAS SOUS 10250 HAS SOUPS 10250 WITH SCORE 10262.736
AT ITER 3244 NEW BEST:: SOT 21353 SOS 12755 HAS SOPS 12755 HAS SOUS 10249 HAS SOUPS 10249 WITH SCORE 10261.755
AT ITER 3245 NEW BEST:: SOT 21349 SOS 12751 HAS SOPS 12751 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10257.751
AT ITER 3246 NEW BEST:: SOT 21349 SOS 12743 HAS SOPS 12743 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10257.743
AT ITER 3249 NEW BEST:: SOT 21343 SOS 12737 HAS SOPS 12737 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10247.737
AT ITER 3272 NEW BEST:: SOT 21342 SOS 12736 HAS SOPS 12736 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10246.736
AT ITER 3276 NEW BEST:: SOT 21342 SOS 12720 HAS SOPS 12720 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10246.72
AT ITER 3288 NEW BEST:: SOT 21340 SOS 12718 HAS SOPS 12718 HAS SOUS 10232 HAS SOUPS 10232 WITH SCORE 10244.718
AT ITER 3304 NEW BEST:: SOT 21340 SOS 12743 HAS SOPS 12743 HAS SOUS 10226 HAS SOUPS 10226 WITH SCORE 10238.743
AT ITER 3312 NEW BEST:: SOT 21352 SOS 12686 HAS SOPS 12686 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10231.686
AT ITER 3314 NEW BEST:: SOT 21348 SOS 12682 HAS SOPS 12682 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10227.682
AT ITER 3346 NEW BEST:: SOT 21348 SOS 12670 HAS SOPS 12670 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10227.67
AT ITER 3362 NEW BEST:: SOT 21348 SOS 12668 HAS SOPS 12668 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10227.668
AT ITER 3380 NEW BEST:: SOT 21348 SOS 12667 HAS SOPS 12667 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10227.667
AT ITER 3406 NEW BEST:: SOT 21348 SOS 12659 HAS SOPS 12659 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10227.659
AT ITER 3443 NEW BEST:: SOT 21348 SOS 12655 HAS SOPS 12655 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10227.655
AT ITER 3444 NEW BEST:: SOT 21348 SOS 12641 HAS SOPS 12641 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10227.641
AT ITER 3473 NEW BEST:: SOT 21343 SOS 12636 HAS SOPS 12636 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10222.636
AT ITER 3492 NEW BEST:: SOT 21340 SOS 12632 HAS SOPS 12632 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10212.632
AT ITER 3493 NEW BEST:: SOT 21325 SOS 12620 HAS SOPS 12620 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10210.62
AT ITER 3525 NEW BEST:: SOT 21325 SOS 12611 HAS SOPS 12611 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10206.611
AT ITER 3536 NEW BEST:: SOT 21321 SOS 12607 HAS SOPS 12607 HAS SOUS 10190 HAS SOUPS 10190 WITH SCORE 10202.607
AT ITER 3555 NEW BEST:: SOT 21301 SOS 12686 HAS SOPS 12686 HAS SOUS 10188 HAS SOUPS 10188 WITH SCORE 10200.686
AT ITER 3575 NEW BEST:: SOT 21300 SOS 12685 HAS SOPS 12685 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10199.685
AT ITER 3593 NEW BEST:: SOT 21300 SOS 12685 HAS SOPS 12685 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10198.685
AT ITER 3599 NEW BEST:: SOT 21297 SOS 12682 HAS SOPS 12682 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10197.682
AT ITER 3632 NEW BEST:: SOT 21315 SOS 12675 HAS SOPS 12675 HAS SOUS 10177 HAS SOUPS 10177 WITH SCORE 10189.675
AT ITER 3643 NEW BEST:: SOT 21315 SOS 12726 HAS SOPS 12726 HAS SOUS 10168 HAS SOUPS 10168 WITH SCORE 10180.726
AT ITER 3672 NEW BEST:: SOT 21315 SOS 12723 HAS SOPS 12723 HAS SOUS 10165 HAS SOUPS 10165 WITH SCORE 10177.723
AT ITER 3695 NEW BEST:: SOT 21314 SOS 12722 HAS SOPS 12722 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10176.722
AT ITER 3701 NEW BEST:: SOT 21314 SOS 12722 HAS SOPS 12722 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10170.722
AT ITER 3703 NEW BEST:: SOT 21314 SOS 12736 HAS SOPS 12736 HAS SOUS 10157 HAS SOUPS 10157 WITH SCORE 10169.736
AT ITER 3708 NEW BEST:: SOT 21314 SOS 12723 HAS SOPS 12723 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10167.723
AT ITER 3709 NEW BEST:: SOT 21314 SOS 12714 HAS SOPS 12714 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10167.714
AT ITER 3740 NEW BEST:: SOT 21314 SOS 12741 HAS SOPS 12741 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10165.741
AT ITER 3756 NEW BEST:: SOT 21281 SOS 12899 HAS SOPS 12899 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10153.899
AT ITER 3766 NEW BEST:: SOT 21281 SOS 12901 HAS SOPS 12901 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10152.901
AT ITER 3771 NEW BEST:: SOT 21281 SOS 12903 HAS SOPS 12903 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10151.903
AT ITER 3796 NEW BEST:: SOT 21253 SOS 12997 HAS SOPS 12997 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10131.997
AT ITER 3812 NEW BEST:: SOT 21253 SOS 12997 HAS SOPS 12997 HAS SOUS 10111 HAS SOUPS 10111 WITH SCORE 10123.997
AT ITER 3813 NEW BEST:: SOT 21253 SOS 12997 HAS SOPS 12997 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10106.997
AT ITER 3833 NEW BEST:: SOT 21253 SOS 12997 HAS SOPS 12997 HAS SOUS 10077 HAS SOUPS 10077 WITH SCORE 10089.997
AT ITER 3869 NEW BEST:: SOT 21253 SOS 12993 HAS SOPS 12993 HAS SOUS 10077 HAS SOUPS 10077 WITH SCORE 10089.993
AT ITER 3874 NEW BEST:: SOT 21255 SOS 12990 HAS SOPS 12990 HAS SOUS 10075 HAS SOUPS 10075 WITH SCORE 10087.99
AT ITER 3881 NEW BEST:: SOT 21253 SOS 12988 HAS SOPS 12988 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10086.988
AT ITER 3896 NEW BEST:: SOT 21253 SOS 12987 HAS SOPS 12987 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10086.987
AT ITER 3913 NEW BEST:: SOT 21253 SOS 13002 HAS SOPS 13002 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10081.002
AT ITER 3951 NEW BEST:: SOT 21247 SOS 12999 HAS SOPS 12999 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10077.999
AT ITER 4015 NEW BEST:: SOT 21244 SOS 12972 HAS SOPS 12972 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10077.972
AT ITER 4017 NEW BEST:: SOT 21244 SOS 12954 HAS SOPS 12954 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10062.954
AT ITER 4051 NEW BEST:: SOT 21244 SOS 12953 HAS SOPS 12953 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10062.953
AT ITER 4114 NEW BEST:: SOT 21244 SOS 12953 HAS SOPS 12953 HAS SOUS 10049 HAS SOUPS 10049 WITH SCORE 10061.953
AT ITER 4119 NEW BEST:: SOT 21244 SOS 12953 HAS SOPS 12953 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10054.953
AT ITER 4130 NEW BEST:: SOT 21255 SOS 12964 HAS SOPS 12964 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10050.964
AT ITER 4162 NEW BEST:: SOT 21255 SOS 12960 HAS SOPS 12960 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10050.96
AT ITER 4171 NEW BEST:: SOT 21211 SOS 12916 HAS SOPS 12916 HAS SOUS 10027 HAS SOUPS 10027 WITH SCORE 10039.916
AT ITER 4198 NEW BEST:: SOT 21206 SOS 12911 HAS SOPS 12911 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10034.911
AT ITER 4208 NEW BEST:: SOT 21196 SOS 12914 HAS SOPS 12914 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10032.914
AT ITER 4229 NEW BEST:: SOT 21196 SOS 12912 HAS SOPS 12912 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10027.912
AT ITER 4257 NEW BEST:: SOT 21196 SOS 12910 HAS SOPS 12910 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10027.91
AT ITER 4280 NEW BEST:: SOT 21196 SOS 12907 HAS SOPS 12907 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10026.907
AT ITER 4330 NEW BEST:: SOT 21062 SOS 12869 HAS SOPS 12869 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9981.869
AT ITER 4333 NEW BEST:: SOT 20953 SOS 12896 HAS SOPS 12896 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9920.896
AT ITER 4368 NEW BEST:: SOT 20953 SOS 12893 HAS SOPS 12893 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9920.893
AT ITER 4375 NEW BEST:: SOT 20953 SOS 12891 HAS SOPS 12891 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9920.891
AT ITER 4376 NEW BEST:: SOT 20953 SOS 12891 HAS SOPS 12891 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9918.891
AT ITER 4419 NEW BEST:: SOT 20953 SOS 12891 HAS SOPS 12891 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9910.891
AT ITER 4516 NEW BEST:: SOT 20950 SOS 12886 HAS SOPS 12886 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9903.886
AT ITER 4519 NEW BEST:: SOT 20938 SOS 12874 HAS SOPS 12874 HAS SOUS 9879 HAS SOUPS 9879 WITH SCORE 9891.874
AT ITER 4548 NEW BEST:: SOT 20928 SOS 12864 HAS SOPS 12864 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9881.864
AT ITER 4553 NEW BEST:: SOT 20928 SOS 12863 HAS SOPS 12863 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9881.863
AT ITER 4564 NEW BEST:: SOT 20924 SOS 12862 HAS SOPS 12862 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9881.862
AT ITER 4595 NEW BEST:: SOT 20923 SOS 12861 HAS SOPS 12861 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9880.861
AT ITER 4653 NEW BEST:: SOT 20923 SOS 12857 HAS SOPS 12857 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9880.857
AT ITER 4660 NEW BEST:: SOT 20908 SOS 12872 HAS SOPS 12872 HAS SOUS 9863 HAS SOUPS 9863 WITH SCORE 9875.872
AT ITER 4665 NEW BEST:: SOT 20774 SOS 13014 HAS SOPS 13014 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9802.014
AT ITER 4717 NEW BEST:: SOT 20767 SOS 13007 HAS SOPS 13007 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9795.007
AT ITER 4725 NEW BEST:: SOT 20760 SOS 13000 HAS SOPS 13000 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9792.0
AT ITER 4746 NEW BEST:: SOT 20721 SOS 12961 HAS SOPS 12961 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9780.961
AT ITER 4759 NEW BEST:: SOT 20719 SOS 12959 HAS SOPS 12959 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9778.959
AT ITER 4768 NEW BEST:: SOT 20722 SOS 12938 HAS SOPS 12938 HAS SOUS 9753 HAS SOUPS 9753 WITH SCORE 9765.938
AT ITER 4772 NEW BEST:: SOT 20726 SOS 12938 HAS SOPS 12938 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9757.938
AT ITER 4790 NEW BEST:: SOT 20703 SOS 12944 HAS SOPS 12944 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9743.944
AT ITER 4793 NEW BEST:: SOT 20695 SOS 12936 HAS SOPS 12936 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9735.936
AT ITER 4838 NEW BEST:: SOT 20695 SOS 12867 HAS SOPS 12867 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9735.867
AT ITER 4900 NEW BEST:: SOT 20695 SOS 12865 HAS SOPS 12865 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9735.865
AT ITER 4910 NEW BEST:: SOT 20682 SOS 12848 HAS SOPS 12848 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9735.848
AT ITER 4917 NEW BEST:: SOT 20682 SOS 12848 HAS SOPS 12848 HAS SOUS 9713 HAS SOUPS 9713 WITH SCORE 9725.848
AT ITER 4932 NEW BEST:: SOT 20682 SOS 12848 HAS SOPS 12848 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9722.848
AT ITER 4947 NEW BEST:: SOT 20682 SOS 12850 HAS SOPS 12850 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9721.85
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NQueens-PT-12-CTLCardinality-00 (AF(( (! ( potential( ( 2 ) <= (tk(P26)) ) | potential( ( 1 ) <= (tk(P30)) ) )) & potential( ( 3 ) <= (tk(P144)) ) )))
PROPERTY: NQueens-PT-12-CTLCardinality-01 ( ( (! (EX( potential( ( 2 ) <= (tk(P154)) )))) & (AF(( potential( (tk(P77)) <= (tk(P167)) ) & potential( ( 3 ) <= (tk(P109)) ) ))) ) | (EG( potential( ( 1 ) <= (tk(P76)) ))) )
PROPERTY: NQueens-PT-12-CTLCardinality-02 ( (EG( ( ( potential( ( 3 ) <= (tk(P152)) ) | potential( (tk(P112)) <= (tk(P95)) ) ) | ( potential( ( 3 ) <= (tk(P38)) ) & potential( (tk(P23)) <= (tk(P186)) ) ) ))) & ( ( (AF(potential( ( 3 ) <= (tk(P176)) ))) | ( potential( ( 2 ) <= (tk(P188)) ) & (! potential( (tk(P15)) <= (tk(P200)) )) ) ) | (EG( ( potential( ( 3 ) <= (tk(P146)) ) | potential( ( 3 ) <= (tk(P11)) ) ))) ) )
PROPERTY: NQueens-PT-12-CTLCardinality-03 (AG( (EF(( potential( (tk(P57)) <= (tk(P116)) ) | potential( ( 2 ) <= (tk(P66)) ) )))))
PROPERTY: NQueens-PT-12-CTLCardinality-04 (AG( ( (AF(potential( ( 1 ) <= (tk(P60)) ))) | (! (! potential( ( 3 ) <= (tk(P109)) ))) )))
PROPERTY: NQueens-PT-12-CTLCardinality-05 (EU( (! potential( (tk(P79)) <= (tk(P186)) )),(EG( potential( (tk(P71)) <= (tk(P80)) ))) ))
PROPERTY: NQueens-PT-12-CTLCardinality-06 ( ( potential( (tk(P135)) <= (tk(P153)) ) | potential( ( 1 ) <= (tk(P53)) ) ) & (AF((AF(potential( ( 3 ) <= (tk(P204)) ))))) )
PROPERTY: NQueens-PT-12-CTLCardinality-07 (! (EG( (! ( potential( ( 3 ) <= (tk(P159)) ) | potential( ( 1 ) <= (tk(P42)) ) )))))
PROPERTY: NQueens-PT-12-CTLCardinality-08 (EU( potential( (tk(P35)) <= (tk(P71)) ),(AG( potential( ( 2 ) <= (tk(P69)) ))) ))
PROPERTY: NQueens-PT-12-CTLCardinality-09 ( (AF(( (! potential( ( 1 ) <= (tk(P82)) )) & potential( ( 3 ) <= (tk(P98)) ) ))) | (! (! (AX( potential( ( 1 ) <= (tk(P156)) ))))) )
PROPERTY: NQueens-PT-12-CTLCardinality-10 (AF((AG( potential( ( 2 ) <= (tk(P20)) )))))
PROPERTY: NQueens-PT-12-CTLCardinality-11 (! (AG( (EF(potential( (tk(P60)) <= (tk(P56)) ))))))
PROPERTY: NQueens-PT-12-CTLCardinality-12 ( ( ( (AG( potential( (tk(P170)) <= (tk(P159)) ))) | ( ( potential( (tk(P48)) <= (tk(P116)) ) & potential( ( 1 ) <= (tk(P117)) ) ) | (! potential( (tk(P50)) <= (tk(P40)) )) ) ) & (EG( ( potential( ( 1 ) <= (tk(P195)) ) | potential( (tk(P78)) <= (tk(P80)) ) ))) ) | (EU( ( potential( (tk(P115)) <= (tk(P9)) ) | potential( (tk(P146)) <= (tk(P8)) ) ),( potential( ( 3 ) <= (tk(P169)) ) & potential( (tk(P27)) <= (tk(P99)) ) ) )) )
PROPERTY: NQueens-PT-12-CTLCardinality-13 (EG( (AF(potential( (tk(P33)) <= (tk(P45)) )))))
PROPERTY: NQueens-PT-12-CTLCardinality-14 (EU( (! potential( ( 3 ) <= (tk(P71)) )),(! ( potential( ( 1 ) <= (tk(P192)) ) | potential( (tk(P77)) <= (tk(P173)) ) )) ))
PROPERTY: NQueens-PT-12-CTLCardinality-15 (AF((AU( potential( (tk(P166)) <= (tk(P63)) ),potential( (tk(P179)) <= (tk(P109)) ) ))))
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="NQueens-PT-12"
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 NQueens-PT-12, 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 r108-csrt-158961250100139"
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 [ "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 '
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 ;