About the Execution of smart for BusinessProcesses-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.490 | 3600000.00 | 3597040.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 '/data/fko/mcc2020-input.r018-oct2-158897680100524.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100524
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.6K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 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 131K 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 BusinessProcesses-PT-10-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-10-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589019252035
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 10
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 518 places, 471 transitions, 1415 arcs.
AT ITER 0 NEW BEST:: SOT 157270 SOS 64272 HAS SOPS 64272 HAS SOUS 61445 HAS SOUPS 61445 WITH SCORE 61509.272
AT ITER 1 NEW BEST:: SOT 157270 SOS 64218 HAS SOPS 64218 HAS SOUS 61391 HAS SOUPS 61391 WITH SCORE 61455.218
AT ITER 6 NEW BEST:: SOT 157270 SOS 64081 HAS SOPS 64081 HAS SOUS 61254 HAS SOUPS 61254 WITH SCORE 61318.081
AT ITER 9 NEW BEST:: SOT 157153 SOS 63963 HAS SOPS 63963 HAS SOUS 61136 HAS SOUPS 61136 WITH SCORE 61199.963
AT ITER 15 NEW BEST:: SOT 157145 SOS 63955 HAS SOPS 63955 HAS SOUS 61128 HAS SOUPS 61128 WITH SCORE 61191.955
AT ITER 22 NEW BEST:: SOT 157034 SOS 63898 HAS SOPS 63898 HAS SOUS 61071 HAS SOUPS 61071 WITH SCORE 61134.898
AT ITER 30 NEW BEST:: SOT 157014 SOS 63878 HAS SOPS 63878 HAS SOUS 61051 HAS SOUPS 61051 WITH SCORE 61114.878
AT ITER 44 NEW BEST:: SOT 157013 SOS 63876 HAS SOPS 63876 HAS SOUS 61049 HAS SOUPS 61049 WITH SCORE 61112.876
AT ITER 46 NEW BEST:: SOT 157012 SOS 63810 HAS SOPS 63810 HAS SOUS 60983 HAS SOUPS 60983 WITH SCORE 61046.81
AT ITER 51 NEW BEST:: SOT 156896 SOS 63684 HAS SOPS 63684 HAS SOUS 60936 HAS SOUPS 60936 WITH SCORE 60999.684
AT ITER 53 NEW BEST:: SOT 156891 SOS 63677 HAS SOPS 63677 HAS SOUS 60929 HAS SOUPS 60929 WITH SCORE 60992.677
AT ITER 64 NEW BEST:: SOT 156891 SOS 63677 HAS SOPS 63677 HAS SOUS 60851 HAS SOUPS 60851 WITH SCORE 60914.677
AT ITER 66 NEW BEST:: SOT 156891 SOS 63628 HAS SOPS 63628 HAS SOUS 60802 HAS SOUPS 60802 WITH SCORE 60865.628
AT ITER 70 NEW BEST:: SOT 156890 SOS 63626 HAS SOPS 63626 HAS SOUS 60800 HAS SOUPS 60800 WITH SCORE 60863.626
AT ITER 72 NEW BEST:: SOT 156839 SOS 63634 HAS SOPS 63634 HAS SOUS 60770 HAS SOUPS 60770 WITH SCORE 60833.634
AT ITER 73 NEW BEST:: SOT 156880 SOS 63589 HAS SOPS 63589 HAS SOUS 60725 HAS SOUPS 60725 WITH SCORE 60788.589
AT ITER 86 NEW BEST:: SOT 156838 SOS 63505 HAS SOPS 63505 HAS SOUS 60641 HAS SOUPS 60641 WITH SCORE 60704.505
AT ITER 87 NEW BEST:: SOT 156838 SOS 63430 HAS SOPS 63430 HAS SOUS 60566 HAS SOUPS 60566 WITH SCORE 60629.43
AT ITER 88 NEW BEST:: SOT 156729 SOS 63387 HAS SOPS 63387 HAS SOUS 60523 HAS SOUPS 60523 WITH SCORE 60586.387
AT ITER 91 NEW BEST:: SOT 156604 SOS 63218 HAS SOPS 63218 HAS SOUS 60431 HAS SOUPS 60431 WITH SCORE 60494.218
AT ITER 137 NEW BEST:: SOT 156604 SOS 63217 HAS SOPS 63217 HAS SOUS 60431 HAS SOUPS 60431 WITH SCORE 60494.217
AT ITER 162 NEW BEST:: SOT 156443 SOS 62902 HAS SOPS 62902 HAS SOUS 60116 HAS SOUPS 60116 WITH SCORE 60178.902
AT ITER 166 NEW BEST:: SOT 156471 SOS 62769 HAS SOPS 62769 HAS SOUS 59983 HAS SOUPS 59983 WITH SCORE 60045.769
AT ITER 167 NEW BEST:: SOT 156225 SOS 62522 HAS SOPS 62522 HAS SOUS 59736 HAS SOUPS 59736 WITH SCORE 59798.522
AT ITER 171 NEW BEST:: SOT 154200 SOS 60631 HAS SOPS 60631 HAS SOUS 57845 HAS SOUPS 57845 WITH SCORE 57905.631
AT ITER 190 NEW BEST:: SOT 154173 SOS 60605 HAS SOPS 60605 HAS SOUS 57845 HAS SOUPS 57845 WITH SCORE 57905.605
AT ITER 201 NEW BEST:: SOT 154173 SOS 60598 HAS SOPS 60598 HAS SOUS 57838 HAS SOUPS 57838 WITH SCORE 57898.598
AT ITER 217 NEW BEST:: SOT 154173 SOS 60447 HAS SOPS 60447 HAS SOUS 57687 HAS SOUPS 57687 WITH SCORE 57747.447
AT ITER 233 NEW BEST:: SOT 154180 SOS 60419 HAS SOPS 60419 HAS SOUS 57658 HAS SOUPS 57658 WITH SCORE 57718.419
AT ITER 244 NEW BEST:: SOT 154082 SOS 60296 HAS SOPS 60296 HAS SOUS 57535 HAS SOUPS 57535 WITH SCORE 57595.296
AT ITER 254 NEW BEST:: SOT 150457 SOS 66889 HAS SOPS 66889 HAS SOUS 54455 HAS SOUPS 54455 WITH SCORE 54521.889
AT ITER 259 NEW BEST:: SOT 150412 SOS 66785 HAS SOPS 66785 HAS SOUS 54351 HAS SOUPS 54351 WITH SCORE 54417.785
AT ITER 265 NEW BEST:: SOT 150375 SOS 66748 HAS SOPS 66748 HAS SOUS 54314 HAS SOUPS 54314 WITH SCORE 54380.748
AT ITER 276 NEW BEST:: SOT 150399 SOS 66715 HAS SOPS 66715 HAS SOUS 54296 HAS SOUPS 54296 WITH SCORE 54362.715
AT ITER 280 NEW BEST:: SOT 150364 SOS 66551 HAS SOPS 66551 HAS SOUS 54278 HAS SOUPS 54278 WITH SCORE 54344.551
AT ITER 281 NEW BEST:: SOT 150223 SOS 66269 HAS SOPS 66269 HAS SOUS 54090 HAS SOUPS 54090 WITH SCORE 54156.269
AT ITER 282 NEW BEST:: SOT 150111 SOS 66156 HAS SOPS 66156 HAS SOUS 54088 HAS SOUPS 54088 WITH SCORE 54154.156
AT ITER 292 NEW BEST:: SOT 150015 SOS 66060 HAS SOPS 66060 HAS SOUS 54040 HAS SOUPS 54040 WITH SCORE 54106.06
AT ITER 315 NEW BEST:: SOT 149919 SOS 65735 HAS SOPS 65735 HAS SOUS 53848 HAS SOUPS 53848 WITH SCORE 53913.735
AT ITER 316 NEW BEST:: SOT 149985 SOS 65684 HAS SOPS 65684 HAS SOUS 53744 HAS SOUPS 53744 WITH SCORE 53809.684
AT ITER 320 NEW BEST:: SOT 149985 SOS 65684 HAS SOPS 65684 HAS SOUS 53703 HAS SOUPS 53703 WITH SCORE 53768.684
AT ITER 322 NEW BEST:: SOT 149984 SOS 65268 HAS SOPS 65268 HAS SOUS 53543 HAS SOUPS 53543 WITH SCORE 53608.268
AT ITER 336 NEW BEST:: SOT 149786 SOS 64868 HAS SOPS 64868 HAS SOUS 53232 HAS SOUPS 53232 WITH SCORE 53296.868
AT ITER 339 NEW BEST:: SOT 149784 SOS 64768 HAS SOPS 64768 HAS SOUS 53132 HAS SOUPS 53132 WITH SCORE 53196.768
AT ITER 349 NEW BEST:: SOT 149765 SOS 64716 HAS SOPS 64716 HAS SOUS 53042 HAS SOUPS 53042 WITH SCORE 53106.716
AT ITER 351 NEW BEST:: SOT 149788 SOS 64555 HAS SOPS 64555 HAS SOUS 53010 HAS SOUPS 53010 WITH SCORE 53074.555
AT ITER 365 NEW BEST:: SOT 149767 SOS 64513 HAS SOPS 64513 HAS SOUS 52989 HAS SOUPS 52989 WITH SCORE 53053.513
AT ITER 367 NEW BEST:: SOT 149817 SOS 64563 HAS SOPS 64563 HAS SOUS 52979 HAS SOUPS 52979 WITH SCORE 53043.563
AT ITER 372 NEW BEST:: SOT 149808 SOS 64554 HAS SOPS 64554 HAS SOUS 52979 HAS SOUPS 52979 WITH SCORE 53043.554
AT ITER 375 NEW BEST:: SOT 149849 SOS 64595 HAS SOPS 64595 HAS SOUS 52978 HAS SOUPS 52978 WITH SCORE 53042.595
AT ITER 376 NEW BEST:: SOT 149849 SOS 64583 HAS SOPS 64583 HAS SOUS 52966 HAS SOUPS 52966 WITH SCORE 53030.583
AT ITER 384 NEW BEST:: SOT 149837 SOS 64571 HAS SOPS 64571 HAS SOUS 52954 HAS SOUPS 52954 WITH SCORE 53018.571
AT ITER 393 NEW BEST:: SOT 149803 SOS 64503 HAS SOPS 64503 HAS SOUS 52941 HAS SOUPS 52941 WITH SCORE 53005.503
AT ITER 402 NEW BEST:: SOT 149763 SOS 64463 HAS SOPS 64463 HAS SOUS 52901 HAS SOUPS 52901 WITH SCORE 52965.463
AT ITER 403 NEW BEST:: SOT 149741 SOS 64419 HAS SOPS 64419 HAS SOUS 52857 HAS SOUPS 52857 WITH SCORE 52921.419
AT ITER 404 NEW BEST:: SOT 149702 SOS 64341 HAS SOPS 64341 HAS SOUS 52779 HAS SOUPS 52779 WITH SCORE 52843.341
AT ITER 414 NEW BEST:: SOT 149701 SOS 64325 HAS SOPS 64325 HAS SOUS 52763 HAS SOUPS 52763 WITH SCORE 52827.325
AT ITER 426 NEW BEST:: SOT 149686 SOS 64310 HAS SOPS 64310 HAS SOUS 52748 HAS SOUPS 52748 WITH SCORE 52812.31
AT ITER 427 NEW BEST:: SOT 149612 SOS 64208 HAS SOPS 64208 HAS SOUS 52645 HAS SOUPS 52645 WITH SCORE 52709.208
AT ITER 428 NEW BEST:: SOT 147954 SOS 62404 HAS SOPS 62404 HAS SOUS 50841 HAS SOUPS 50841 WITH SCORE 50903.404
AT ITER 430 NEW BEST:: SOT 147977 SOS 62515 HAS SOPS 62515 HAS SOUS 50832 HAS SOUPS 50832 WITH SCORE 50894.515
AT ITER 472 NEW BEST:: SOT 147987 SOS 62364 HAS SOPS 62364 HAS SOUS 50766 HAS SOUPS 50766 WITH SCORE 50828.364
AT ITER 491 NEW BEST:: SOT 147966 SOS 62226 HAS SOPS 62226 HAS SOUS 50628 HAS SOUPS 50628 WITH SCORE 50690.226
AT ITER 504 NEW BEST:: SOT 147938 SOS 62139 HAS SOPS 62139 HAS SOUS 50541 HAS SOUPS 50541 WITH SCORE 50603.139
AT ITER 511 NEW BEST:: SOT 147917 SOS 62107 HAS SOPS 62107 HAS SOUS 50509 HAS SOUPS 50509 WITH SCORE 50571.107
AT ITER 517 NEW BEST:: SOT 147917 SOS 61946 HAS SOPS 61946 HAS SOUS 50348 HAS SOUPS 50348 WITH SCORE 50409.946
AT ITER 519 NEW BEST:: SOT 147747 SOS 61835 HAS SOPS 61835 HAS SOUS 50237 HAS SOUPS 50237 WITH SCORE 50298.835
AT ITER 522 NEW BEST:: SOT 147792 SOS 61787 HAS SOPS 61787 HAS SOUS 50189 HAS SOUPS 50189 WITH SCORE 50250.787
AT ITER 530 NEW BEST:: SOT 147792 SOS 61760 HAS SOPS 61760 HAS SOUS 50161 HAS SOUPS 50161 WITH SCORE 50222.76
AT ITER 536 NEW BEST:: SOT 147785 SOS 61753 HAS SOPS 61753 HAS SOUS 50161 HAS SOUPS 50161 WITH SCORE 50222.753
AT ITER 546 NEW BEST:: SOT 147692 SOS 61658 HAS SOPS 61658 HAS SOUS 50066 HAS SOUPS 50066 WITH SCORE 50127.658
AT ITER 551 NEW BEST:: SOT 147691 SOS 61609 HAS SOPS 61609 HAS SOUS 50041 HAS SOUPS 50041 WITH SCORE 50102.609
AT ITER 552 NEW BEST:: SOT 147307 SOS 61062 HAS SOPS 61062 HAS SOUS 49730 HAS SOUPS 49730 WITH SCORE 49791.062
AT ITER 572 NEW BEST:: SOT 147292 SOS 60913 HAS SOPS 60913 HAS SOUS 49611 HAS SOUPS 49611 WITH SCORE 49671.913
AT ITER 574 NEW BEST:: SOT 147265 SOS 60859 HAS SOPS 60859 HAS SOUS 49557 HAS SOUPS 49557 WITH SCORE 49617.859
AT ITER 592 NEW BEST:: SOT 147211 SOS 60641 HAS SOPS 60641 HAS SOUS 49466 HAS SOUPS 49466 WITH SCORE 49526.641
AT ITER 610 NEW BEST:: SOT 147211 SOS 60641 HAS SOPS 60641 HAS SOUS 49435 HAS SOUPS 49435 WITH SCORE 49495.641
AT ITER 615 NEW BEST:: SOT 147228 SOS 60675 HAS SOPS 60675 HAS SOUS 49315 HAS SOUPS 49315 WITH SCORE 49375.675
AT ITER 630 NEW BEST:: SOT 147185 SOS 60632 HAS SOPS 60632 HAS SOUS 49272 HAS SOUPS 49272 WITH SCORE 49332.632
AT ITER 635 NEW BEST:: SOT 147238 SOS 60590 HAS SOPS 60590 HAS SOUS 49242 HAS SOUPS 49242 WITH SCORE 49302.59
AT ITER 641 NEW BEST:: SOT 147232 SOS 60584 HAS SOPS 60584 HAS SOUS 49236 HAS SOUPS 49236 WITH SCORE 49296.584
AT ITER 644 NEW BEST:: SOT 147247 SOS 60554 HAS SOPS 60554 HAS SOUS 49125 HAS SOUPS 49125 WITH SCORE 49185.554
AT ITER 647 NEW BEST:: SOT 147198 SOS 60529 HAS SOPS 60529 HAS SOUS 49100 HAS SOUPS 49100 WITH SCORE 49160.529
AT ITER 649 NEW BEST:: SOT 147142 SOS 60439 HAS SOPS 60439 HAS SOUS 49038 HAS SOUPS 49038 WITH SCORE 49098.439
AT ITER 654 NEW BEST:: SOT 147001 SOS 60193 HAS SOPS 60193 HAS SOUS 48824 HAS SOUPS 48824 WITH SCORE 48884.193
AT ITER 655 NEW BEST:: SOT 146959 SOS 59877 HAS SOPS 59877 HAS SOUS 48588 HAS SOUPS 48588 WITH SCORE 48647.877
AT ITER 658 NEW BEST:: SOT 146945 SOS 59863 HAS SOPS 59863 HAS SOUS 48574 HAS SOUPS 48574 WITH SCORE 48633.863
AT ITER 667 NEW BEST:: SOT 146978 SOS 59896 HAS SOPS 59896 HAS SOUS 48573 HAS SOUPS 48573 WITH SCORE 48632.896
AT ITER 676 NEW BEST:: SOT 146977 SOS 59868 HAS SOPS 59868 HAS SOUS 48545 HAS SOUPS 48545 WITH SCORE 48604.868
AT ITER 679 NEW BEST:: SOT 146923 SOS 59760 HAS SOPS 59760 HAS SOUS 48494 HAS SOUPS 48494 WITH SCORE 48553.76
AT ITER 686 NEW BEST:: SOT 146925 SOS 59716 HAS SOPS 59716 HAS SOUS 48450 HAS SOUPS 48450 WITH SCORE 48509.716
AT ITER 692 NEW BEST:: SOT 146913 SOS 59690 HAS SOPS 59690 HAS SOUS 48424 HAS SOUPS 48424 WITH SCORE 48483.69
AT ITER 694 NEW BEST:: SOT 146913 SOS 59668 HAS SOPS 59668 HAS SOUS 48402 HAS SOUPS 48402 WITH SCORE 48461.668
AT ITER 704 NEW BEST:: SOT 146893 SOS 59489 HAS SOPS 59489 HAS SOUS 48241 HAS SOUPS 48241 WITH SCORE 48300.489
AT ITER 714 NEW BEST:: SOT 146858 SOS 59399 HAS SOPS 59399 HAS SOUS 48151 HAS SOUPS 48151 WITH SCORE 48210.399
AT ITER 719 NEW BEST:: SOT 146828 SOS 59369 HAS SOPS 59369 HAS SOUS 48121 HAS SOUPS 48121 WITH SCORE 48180.369
AT ITER 721 NEW BEST:: SOT 146828 SOS 59369 HAS SOPS 59369 HAS SOUS 48106 HAS SOUPS 48106 WITH SCORE 48165.369
AT ITER 722 NEW BEST:: SOT 146677 SOS 59067 HAS SOPS 59067 HAS SOUS 47955 HAS SOUPS 47955 WITH SCORE 48014.067
AT ITER 747 NEW BEST:: SOT 146677 SOS 59011 HAS SOPS 59011 HAS SOUS 47899 HAS SOUPS 47899 WITH SCORE 47958.011
AT ITER 755 NEW BEST:: SOT 146638 SOS 58972 HAS SOPS 58972 HAS SOUS 47860 HAS SOUPS 47860 WITH SCORE 47918.972
AT ITER 758 NEW BEST:: SOT 146614 SOS 58969 HAS SOPS 58969 HAS SOUS 47857 HAS SOUPS 47857 WITH SCORE 47915.969
AT ITER 769 NEW BEST:: SOT 146614 SOS 58934 HAS SOPS 58934 HAS SOUS 47822 HAS SOUPS 47822 WITH SCORE 47880.934
AT ITER 771 NEW BEST:: SOT 146597 SOS 58893 HAS SOPS 58893 HAS SOUS 47781 HAS SOUPS 47781 WITH SCORE 47839.893
AT ITER 784 NEW BEST:: SOT 146564 SOS 58860 HAS SOPS 58860 HAS SOUS 47748 HAS SOUPS 47748 WITH SCORE 47806.86
AT ITER 788 NEW BEST:: SOT 146549 SOS 58830 HAS SOPS 58830 HAS SOUS 47718 HAS SOUPS 47718 WITH SCORE 47776.83
AT ITER 794 NEW BEST:: SOT 146467 SOS 58666 HAS SOPS 58666 HAS SOUS 47554 HAS SOUPS 47554 WITH SCORE 47612.666
AT ITER 798 NEW BEST:: SOT 146316 SOS 58546 HAS SOPS 58546 HAS SOUS 47429 HAS SOUPS 47429 WITH SCORE 47487.546
AT ITER 826 NEW BEST:: SOT 146315 SOS 58544 HAS SOPS 58544 HAS SOUS 47427 HAS SOUPS 47427 WITH SCORE 47485.544
AT ITER 834 NEW BEST:: SOT 146057 SOS 58974 HAS SOPS 58974 HAS SOUS 47185 HAS SOUPS 47185 WITH SCORE 47243.974
AT ITER 836 NEW BEST:: SOT 146057 SOS 58974 HAS SOPS 58974 HAS SOUS 47167 HAS SOUPS 47167 WITH SCORE 47225.974
AT ITER 837 NEW BEST:: SOT 146046 SOS 56397 HAS SOPS 56397 HAS SOUS 47103 HAS SOUPS 47103 WITH SCORE 47159.397
AT ITER 839 NEW BEST:: SOT 146042 SOS 56393 HAS SOPS 56393 HAS SOUS 47099 HAS SOUPS 47099 WITH SCORE 47155.393
AT ITER 848 NEW BEST:: SOT 146025 SOS 56359 HAS SOPS 56359 HAS SOUS 47065 HAS SOUPS 47065 WITH SCORE 47121.359
AT ITER 873 NEW BEST:: SOT 146037 SOS 56339 HAS SOPS 56339 HAS SOUS 47045 HAS SOUPS 47045 WITH SCORE 47101.339
AT ITER 901 NEW BEST:: SOT 145797 SOS 56058 HAS SOPS 56058 HAS SOUS 46964 HAS SOUPS 46964 WITH SCORE 47020.058
AT ITER 905 NEW BEST:: SOT 145878 SOS 56040 HAS SOPS 56040 HAS SOUS 46946 HAS SOUPS 46946 WITH SCORE 47002.04
AT ITER 910 NEW BEST:: SOT 145878 SOS 56019 HAS SOPS 56019 HAS SOUS 46925 HAS SOUPS 46925 WITH SCORE 46981.019
AT ITER 913 NEW BEST:: SOT 145826 SOS 55888 HAS SOPS 55888 HAS SOUS 46794 HAS SOUPS 46794 WITH SCORE 46849.888
AT ITER 917 NEW BEST:: SOT 143968 SOS 54161 HAS SOPS 54161 HAS SOUS 44767 HAS SOUPS 44767 WITH SCORE 44821.161
AT ITER 930 NEW BEST:: SOT 143799 SOS 53992 HAS SOPS 53992 HAS SOUS 44676 HAS SOUPS 44676 WITH SCORE 44729.992
AT ITER 931 NEW BEST:: SOT 143832 SOS 53938 HAS SOPS 53938 HAS SOUS 44589 HAS SOUPS 44589 WITH SCORE 44642.938
AT ITER 945 NEW BEST:: SOT 143704 SOS 53682 HAS SOPS 53682 HAS SOUS 44461 HAS SOUPS 44461 WITH SCORE 44514.682
AT ITER 962 NEW BEST:: SOT 143623 SOS 53601 HAS SOPS 53601 HAS SOUS 44380 HAS SOUPS 44380 WITH SCORE 44433.601
AT ITER 969 NEW BEST:: SOT 143605 SOS 53439 HAS SOPS 53439 HAS SOUS 44362 HAS SOUPS 44362 WITH SCORE 44415.439
AT ITER 975 NEW BEST:: SOT 143566 SOS 53121 HAS SOPS 53121 HAS SOUS 44303 HAS SOUPS 44303 WITH SCORE 44356.121
AT ITER 987 NEW BEST:: SOT 143504 SOS 53058 HAS SOPS 53058 HAS SOUS 44301 HAS SOUPS 44301 WITH SCORE 44354.058
AT ITER 995 NEW BEST:: SOT 143468 SOS 53026 HAS SOPS 53026 HAS SOUS 44269 HAS SOUPS 44269 WITH SCORE 44322.026
AT ITER 996 NEW BEST:: SOT 143443 SOS 53000 HAS SOPS 53000 HAS SOUS 44268 HAS SOUPS 44268 WITH SCORE 44321.0
AT ITER 997 NEW BEST:: SOT 143502 SOS 53058 HAS SOPS 53058 HAS SOUS 44266 HAS SOUPS 44266 WITH SCORE 44319.058
AT ITER 998 NEW BEST:: SOT 143508 SOS 53055 HAS SOPS 53055 HAS SOUS 44263 HAS SOUPS 44263 WITH SCORE 44316.055
AT ITER 1003 NEW BEST:: SOT 143498 SOS 53045 HAS SOPS 53045 HAS SOUS 44263 HAS SOUPS 44263 WITH SCORE 44316.045
AT ITER 1007 NEW BEST:: SOT 143475 SOS 52976 HAS SOPS 52976 HAS SOUS 44217 HAS SOUPS 44217 WITH SCORE 44269.976
AT ITER 1020 NEW BEST:: SOT 143243 SOS 52632 HAS SOPS 52632 HAS SOUS 43985 HAS SOUPS 43985 WITH SCORE 44037.632
AT ITER 1037 NEW BEST:: SOT 143158 SOS 52462 HAS SOPS 52462 HAS SOUS 43767 HAS SOUPS 43767 WITH SCORE 43819.462
AT ITER 1040 NEW BEST:: SOT 143084 SOS 52462 HAS SOPS 52462 HAS SOUS 43766 HAS SOUPS 43766 WITH SCORE 43818.462
AT ITER 1052 NEW BEST:: SOT 143082 SOS 52460 HAS SOPS 52460 HAS SOUS 43764 HAS SOUPS 43764 WITH SCORE 43816.46
AT ITER 1056 NEW BEST:: SOT 143092 SOS 52456 HAS SOPS 52456 HAS SOUS 43736 HAS SOUPS 43736 WITH SCORE 43788.456
AT ITER 1063 NEW BEST:: SOT 143092 SOS 52437 HAS SOPS 52437 HAS SOUS 43717 HAS SOUPS 43717 WITH SCORE 43769.437
AT ITER 1085 NEW BEST:: SOT 143077 SOS 52407 HAS SOPS 52407 HAS SOUS 43702 HAS SOUPS 43702 WITH SCORE 43754.407
AT ITER 1093 NEW BEST:: SOT 143076 SOS 52405 HAS SOPS 52405 HAS SOUS 43700 HAS SOUPS 43700 WITH SCORE 43752.405
AT ITER 1099 NEW BEST:: SOT 143057 SOS 52366 HAS SOPS 52366 HAS SOUS 43661 HAS SOUPS 43661 WITH SCORE 43713.366
AT ITER 1107 NEW BEST:: SOT 143160 SOS 52365 HAS SOPS 52365 HAS SOUS 43660 HAS SOUPS 43660 WITH SCORE 43712.365
AT ITER 1111 NEW BEST:: SOT 143203 SOS 52408 HAS SOPS 52408 HAS SOUS 43659 HAS SOUPS 43659 WITH SCORE 43711.408
AT ITER 1120 NEW BEST:: SOT 143161 SOS 52387 HAS SOPS 52387 HAS SOUS 43638 HAS SOUPS 43638 WITH SCORE 43690.387
AT ITER 1123 NEW BEST:: SOT 143123 SOS 52269 HAS SOPS 52269 HAS SOUS 43602 HAS SOUPS 43602 WITH SCORE 43654.269
AT ITER 1129 NEW BEST:: SOT 143090 SOS 52157 HAS SOPS 52157 HAS SOUS 43569 HAS SOUPS 43569 WITH SCORE 43621.157
AT ITER 1131 NEW BEST:: SOT 143113 SOS 52279 HAS SOPS 52279 HAS SOUS 43562 HAS SOUPS 43562 WITH SCORE 43614.279
AT ITER 1148 NEW BEST:: SOT 143103 SOS 52240 HAS SOPS 52240 HAS SOUS 43542 HAS SOUPS 43542 WITH SCORE 43594.24
AT ITER 1150 NEW BEST:: SOT 143097 SOS 52060 HAS SOPS 52060 HAS SOUS 43126 HAS SOUPS 43126 WITH SCORE 43178.06
AT ITER 1151 NEW BEST:: SOT 143093 SOS 52052 HAS SOPS 52052 HAS SOUS 43118 HAS SOUPS 43118 WITH SCORE 43170.052
AT ITER 1174 NEW BEST:: SOT 143150 SOS 52012 HAS SOPS 52012 HAS SOUS 43078 HAS SOUPS 43078 WITH SCORE 43130.012
AT ITER 1175 NEW BEST:: SOT 143078 SOS 51941 HAS SOPS 51941 HAS SOUS 43022 HAS SOUPS 43022 WITH SCORE 43073.941
AT ITER 1182 NEW BEST:: SOT 143039 SOS 51902 HAS SOPS 51902 HAS SOUS 43022 HAS SOUPS 43022 WITH SCORE 43073.902
AT ITER 1190 NEW BEST:: SOT 143055 SOS 51757 HAS SOPS 51757 HAS SOUS 42934 HAS SOUPS 42934 WITH SCORE 42985.757
AT ITER 1203 NEW BEST:: SOT 142978 SOS 51603 HAS SOPS 51603 HAS SOUS 42896 HAS SOUPS 42896 WITH SCORE 42947.603
AT ITER 1209 NEW BEST:: SOT 142974 SOS 51597 HAS SOPS 51597 HAS SOUS 42890 HAS SOUPS 42890 WITH SCORE 42941.597
AT ITER 1214 NEW BEST:: SOT 142966 SOS 51585 HAS SOPS 51585 HAS SOUS 42878 HAS SOUPS 42878 WITH SCORE 42929.585
AT ITER 1217 NEW BEST:: SOT 142517 SOS 51346 HAS SOPS 51346 HAS SOUS 42496 HAS SOUPS 42496 WITH SCORE 42547.346
AT ITER 1244 NEW BEST:: SOT 142494 SOS 51323 HAS SOPS 51323 HAS SOUS 42473 HAS SOUPS 42473 WITH SCORE 42524.323
AT ITER 1254 NEW BEST:: SOT 142473 SOS 51281 HAS SOPS 51281 HAS SOUS 42431 HAS SOUPS 42431 WITH SCORE 42482.281
AT ITER 1260 NEW BEST:: SOT 142359 SOS 51110 HAS SOPS 51110 HAS SOUS 42260 HAS SOUPS 42260 WITH SCORE 42311.11
AT ITER 1267 NEW BEST:: SOT 142189 SOS 50999 HAS SOPS 50999 HAS SOUS 42192 HAS SOUPS 42192 WITH SCORE 42242.999
AT ITER 1268 NEW BEST:: SOT 142186 SOS 50966 HAS SOPS 50966 HAS SOUS 42168 HAS SOUPS 42168 WITH SCORE 42218.966
AT ITER 1275 NEW BEST:: SOT 142205 SOS 50949 HAS SOPS 50949 HAS SOUS 42076 HAS SOUPS 42076 WITH SCORE 42126.949
AT ITER 1301 NEW BEST:: SOT 142184 SOS 50943 HAS SOPS 50943 HAS SOUS 42070 HAS SOUPS 42070 WITH SCORE 42120.943
AT ITER 1308 NEW BEST:: SOT 142104 SOS 50783 HAS SOPS 50783 HAS SOUS 41991 HAS SOUPS 41991 WITH SCORE 42041.783
AT ITER 1327 NEW BEST:: SOT 142104 SOS 50726 HAS SOPS 50726 HAS SOUS 41934 HAS SOUPS 41934 WITH SCORE 41984.726
AT ITER 1338 NEW BEST:: SOT 142104 SOS 50723 HAS SOPS 50723 HAS SOUS 41931 HAS SOUPS 41931 WITH SCORE 41981.723
AT ITER 1339 NEW BEST:: SOT 142097 SOS 50709 HAS SOPS 50709 HAS SOUS 41917 HAS SOUPS 41917 WITH SCORE 41967.709
AT ITER 1340 NEW BEST:: SOT 142072 SOS 50684 HAS SOPS 50684 HAS SOUS 41892 HAS SOUPS 41892 WITH SCORE 41942.684
AT ITER 1343 NEW BEST:: SOT 142032 SOS 50642 HAS SOPS 50642 HAS SOUS 41890 HAS SOUPS 41890 WITH SCORE 41940.642
AT ITER 1344 NEW BEST:: SOT 142075 SOS 50641 HAS SOPS 50641 HAS SOUS 41802 HAS SOUPS 41802 WITH SCORE 41852.641
AT ITER 1369 NEW BEST:: SOT 142028 SOS 50547 HAS SOPS 50547 HAS SOUS 41749 HAS SOUPS 41749 WITH SCORE 41799.547
AT ITER 1384 NEW BEST:: SOT 141961 SOS 50480 HAS SOPS 50480 HAS SOUS 41682 HAS SOUPS 41682 WITH SCORE 41732.48
AT ITER 1392 NEW BEST:: SOT 141961 SOS 50479 HAS SOPS 50479 HAS SOUS 41681 HAS SOUPS 41681 WITH SCORE 41731.479
AT ITER 1407 NEW BEST:: SOT 141923 SOS 50440 HAS SOPS 50440 HAS SOUS 41642 HAS SOUPS 41642 WITH SCORE 41692.44
AT ITER 1408 NEW BEST:: SOT 141913 SOS 50420 HAS SOPS 50420 HAS SOUS 41622 HAS SOUPS 41622 WITH SCORE 41672.42
AT ITER 1409 NEW BEST:: SOT 141897 SOS 50354 HAS SOPS 50354 HAS SOUS 41556 HAS SOUPS 41556 WITH SCORE 41606.354
AT ITER 1412 NEW BEST:: SOT 141900 SOS 50342 HAS SOPS 50342 HAS SOUS 41544 HAS SOUPS 41544 WITH SCORE 41594.342
AT ITER 1429 NEW BEST:: SOT 141898 SOS 50338 HAS SOPS 50338 HAS SOUS 41540 HAS SOUPS 41540 WITH SCORE 41590.338
AT ITER 1446 NEW BEST:: SOT 141881 SOS 50316 HAS SOPS 50316 HAS SOUS 41518 HAS SOUPS 41518 WITH SCORE 41568.316
AT ITER 1456 NEW BEST:: SOT 141819 SOS 50204 HAS SOPS 50204 HAS SOUS 41456 HAS SOUPS 41456 WITH SCORE 41506.204
AT ITER 1484 NEW BEST:: SOT 141735 SOS 50036 HAS SOPS 50036 HAS SOUS 41372 HAS SOUPS 41372 WITH SCORE 41422.036
AT ITER 1495 NEW BEST:: SOT 141795 SOS 50096 HAS SOPS 50096 HAS SOUS 41370 HAS SOUPS 41370 WITH SCORE 41420.096
AT ITER 1501 NEW BEST:: SOT 141800 SOS 50104 HAS SOPS 50104 HAS SOUS 41365 HAS SOUPS 41365 WITH SCORE 41415.104
AT ITER 1515 NEW BEST:: SOT 141779 SOS 50040 HAS SOPS 50040 HAS SOUS 41301 HAS SOUPS 41301 WITH SCORE 41351.04
AT ITER 1517 NEW BEST:: SOT 141701 SOS 49884 HAS SOPS 49884 HAS SOUS 41145 HAS SOUPS 41145 WITH SCORE 41194.884
AT ITER 1518 NEW BEST:: SOT 141681 SOS 49861 HAS SOPS 49861 HAS SOUS 41122 HAS SOUPS 41122 WITH SCORE 41171.861
AT ITER 1527 NEW BEST:: SOT 141086 SOS 49439 HAS SOPS 49439 HAS SOUS 40700 HAS SOUPS 40700 WITH SCORE 40749.439
AT ITER 1528 NEW BEST:: SOT 141108 SOS 49483 HAS SOPS 49483 HAS SOUS 40677 HAS SOUPS 40677 WITH SCORE 40726.483
AT ITER 1532 NEW BEST:: SOT 141208 SOS 49133 HAS SOPS 49133 HAS SOUS 40655 HAS SOUPS 40655 WITH SCORE 40704.133
AT ITER 1533 NEW BEST:: SOT 141208 SOS 49118 HAS SOPS 49118 HAS SOUS 40640 HAS SOUPS 40640 WITH SCORE 40689.118
AT ITER 1536 NEW BEST:: SOT 141282 SOS 49217 HAS SOPS 49217 HAS SOUS 40631 HAS SOUPS 40631 WITH SCORE 40680.217
AT ITER 1539 NEW BEST:: SOT 141229 SOS 49142 HAS SOPS 49142 HAS SOUS 40556 HAS SOUPS 40556 WITH SCORE 40605.142
AT ITER 1545 NEW BEST:: SOT 141125 SOS 48934 HAS SOPS 48934 HAS SOUS 40364 HAS SOUPS 40364 WITH SCORE 40412.934
AT ITER 1581 NEW BEST:: SOT 141005 SOS 48801 HAS SOPS 48801 HAS SOUS 40338 HAS SOUPS 40338 WITH SCORE 40386.801
AT ITER 1582 NEW BEST:: SOT 140999 SOS 48752 HAS SOPS 48752 HAS SOUS 40296 HAS SOUPS 40296 WITH SCORE 40344.752
AT ITER 1584 NEW BEST:: SOT 140999 SOS 48770 HAS SOPS 48770 HAS SOUS 40291 HAS SOUPS 40291 WITH SCORE 40339.77
AT ITER 1587 NEW BEST:: SOT 140953 SOS 48735 HAS SOPS 48735 HAS SOUS 40256 HAS SOUPS 40256 WITH SCORE 40304.735
AT ITER 1595 NEW BEST:: SOT 140904 SOS 48588 HAS SOPS 48588 HAS SOUS 40158 HAS SOUPS 40158 WITH SCORE 40206.588
AT ITER 1637 NEW BEST:: SOT 140815 SOS 48346 HAS SOPS 48346 HAS SOUS 39916 HAS SOUPS 39916 WITH SCORE 39964.346
AT ITER 1639 NEW BEST:: SOT 140803 SOS 48322 HAS SOPS 48322 HAS SOUS 39892 HAS SOUPS 39892 WITH SCORE 39940.322
AT ITER 1665 NEW BEST:: SOT 140661 SOS 48180 HAS SOPS 48180 HAS SOUS 39753 HAS SOUPS 39753 WITH SCORE 39801.18
AT ITER 1693 NEW BEST:: SOT 140658 SOS 48171 HAS SOPS 48171 HAS SOUS 39744 HAS SOUPS 39744 WITH SCORE 39792.171
AT ITER 1694 NEW BEST:: SOT 140355 SOS 47718 HAS SOPS 47718 HAS SOUS 39444 HAS SOUPS 39444 WITH SCORE 39491.718
AT ITER 1699 NEW BEST:: SOT 140388 SOS 47746 HAS SOPS 47746 HAS SOUS 39439 HAS SOUPS 39439 WITH SCORE 39486.746
AT ITER 1719 NEW BEST:: SOT 140364 SOS 47734 HAS SOPS 47734 HAS SOUS 39427 HAS SOUPS 39427 WITH SCORE 39474.734
AT ITER 1730 NEW BEST:: SOT 140350 SOS 47706 HAS SOPS 47706 HAS SOUS 39399 HAS SOUPS 39399 WITH SCORE 39446.706
AT ITER 1731 NEW BEST:: SOT 140365 SOS 47704 HAS SOPS 47704 HAS SOUS 39397 HAS SOUPS 39397 WITH SCORE 39444.704
AT ITER 1732 NEW BEST:: SOT 140364 SOS 47702 HAS SOPS 47702 HAS SOUS 39395 HAS SOUPS 39395 WITH SCORE 39442.702
AT ITER 1750 NEW BEST:: SOT 140235 SOS 47636 HAS SOPS 47636 HAS SOUS 39329 HAS SOUPS 39329 WITH SCORE 39376.636
AT ITER 1758 NEW BEST:: SOT 140168 SOS 47524 HAS SOPS 47524 HAS SOUS 39217 HAS SOUPS 39217 WITH SCORE 39264.524
AT ITER 1772 NEW BEST:: SOT 140168 SOS 47520 HAS SOPS 47520 HAS SOUS 39209 HAS SOUPS 39209 WITH SCORE 39256.52
AT ITER 1776 NEW BEST:: SOT 140255 SOS 47699 HAS SOPS 47699 HAS SOUS 39162 HAS SOUPS 39162 WITH SCORE 39209.699
AT ITER 1788 NEW BEST:: SOT 140252 SOS 47696 HAS SOPS 47696 HAS SOUS 39159 HAS SOUPS 39159 WITH SCORE 39206.696
AT ITER 1790 NEW BEST:: SOT 140316 SOS 47535 HAS SOPS 47535 HAS SOUS 38998 HAS SOUPS 38998 WITH SCORE 39045.535
AT ITER 1801 NEW BEST:: SOT 140178 SOS 47463 HAS SOPS 47463 HAS SOUS 38869 HAS SOUPS 38869 WITH SCORE 38916.463
AT ITER 1819 NEW BEST:: SOT 140207 SOS 47448 HAS SOPS 47448 HAS SOUS 38854 HAS SOUPS 38854 WITH SCORE 38901.448
AT ITER 1836 NEW BEST:: SOT 140206 SOS 47447 HAS SOPS 47447 HAS SOUS 38853 HAS SOUPS 38853 WITH SCORE 38900.447
AT ITER 1839 NEW BEST:: SOT 140245 SOS 47456 HAS SOPS 47456 HAS SOUS 38836 HAS SOUPS 38836 WITH SCORE 38883.456
AT ITER 1841 NEW BEST:: SOT 140223 SOS 47430 HAS SOPS 47430 HAS SOUS 38804 HAS SOUPS 38804 WITH SCORE 38851.43
AT ITER 1842 NEW BEST:: SOT 140194 SOS 47401 HAS SOPS 47401 HAS SOUS 38804 HAS SOUPS 38804 WITH SCORE 38851.401
AT ITER 1848 NEW BEST:: SOT 140163 SOS 47214 HAS SOPS 47214 HAS SOUS 38760 HAS SOUPS 38760 WITH SCORE 38807.214
AT ITER 1852 NEW BEST:: SOT 140144 SOS 47176 HAS SOPS 47176 HAS SOUS 38722 HAS SOUPS 38722 WITH SCORE 38769.176
AT ITER 1859 NEW BEST:: SOT 140098 SOS 47084 HAS SOPS 47084 HAS SOUS 38676 HAS SOUPS 38676 WITH SCORE 38723.084
AT ITER 1878 NEW BEST:: SOT 140098 SOS 47027 HAS SOPS 47027 HAS SOUS 38619 HAS SOUPS 38619 WITH SCORE 38666.027
AT ITER 1889 NEW BEST:: SOT 140095 SOS 47024 HAS SOPS 47024 HAS SOUS 38619 HAS SOUPS 38619 WITH SCORE 38666.024
AT ITER 1894 NEW BEST:: SOT 140095 SOS 47023 HAS SOPS 47023 HAS SOUS 38617 HAS SOUPS 38617 WITH SCORE 38664.023
AT ITER 1911 NEW BEST:: SOT 139857 SOS 46903 HAS SOPS 46903 HAS SOUS 38497 HAS SOUPS 38497 WITH SCORE 38543.903
AT ITER 1913 NEW BEST:: SOT 139829 SOS 46847 HAS SOPS 46847 HAS SOUS 38469 HAS SOUPS 38469 WITH SCORE 38515.847
AT ITER 1922 NEW BEST:: SOT 139807 SOS 46719 HAS SOPS 46719 HAS SOUS 38458 HAS SOUPS 38458 WITH SCORE 38504.719
AT ITER 1924 NEW BEST:: SOT 139806 SOS 46694 HAS SOPS 46694 HAS SOUS 38450 HAS SOUPS 38450 WITH SCORE 38496.694
AT ITER 1929 NEW BEST:: SOT 139800 SOS 46688 HAS SOPS 46688 HAS SOUS 38444 HAS SOUPS 38444 WITH SCORE 38490.688
AT ITER 1933 NEW BEST:: SOT 139800 SOS 46683 HAS SOPS 46683 HAS SOUS 38439 HAS SOUPS 38439 WITH SCORE 38485.683
AT ITER 1934 NEW BEST:: SOT 139796 SOS 46658 HAS SOPS 46658 HAS SOUS 38414 HAS SOUPS 38414 WITH SCORE 38460.658
AT ITER 1938 NEW BEST:: SOT 139773 SOS 46639 HAS SOPS 46639 HAS SOUS 38350 HAS SOUPS 38350 WITH SCORE 38396.639
AT ITER 1970 NEW BEST:: SOT 139773 SOS 46511 HAS SOPS 46511 HAS SOUS 38342 HAS SOUPS 38342 WITH SCORE 38388.511
AT ITER 1979 NEW BEST:: SOT 139731 SOS 46487 HAS SOPS 46487 HAS SOUS 38318 HAS SOUPS 38318 WITH SCORE 38364.487
AT ITER 1989 NEW BEST:: SOT 139605 SOS 46349 HAS SOPS 46349 HAS SOUS 38221 HAS SOUPS 38221 WITH SCORE 38267.349
AT ITER 1998 NEW BEST:: SOT 139635 SOS 46340 HAS SOPS 46340 HAS SOUS 38212 HAS SOUPS 38212 WITH SCORE 38258.34
AT ITER 2021 NEW BEST:: SOT 139635 SOS 46299 HAS SOPS 46299 HAS SOUS 38195 HAS SOUPS 38195 WITH SCORE 38241.299
AT ITER 2024 NEW BEST:: SOT 139580 SOS 46214 HAS SOPS 46214 HAS SOUS 38110 HAS SOUPS 38110 WITH SCORE 38156.214
AT ITER 2032 NEW BEST:: SOT 139565 SOS 46199 HAS SOPS 46199 HAS SOUS 38110 HAS SOUPS 38110 WITH SCORE 38156.199
AT ITER 2041 NEW BEST:: SOT 139567 SOS 46181 HAS SOPS 46181 HAS SOUS 38092 HAS SOUPS 38092 WITH SCORE 38138.181
AT ITER 2053 NEW BEST:: SOT 139558 SOS 46163 HAS SOPS 46163 HAS SOUS 38074 HAS SOUPS 38074 WITH SCORE 38120.163
AT ITER 2054 NEW BEST:: SOT 139555 SOS 46143 HAS SOPS 46143 HAS SOUS 38054 HAS SOUPS 38054 WITH SCORE 38100.143
AT ITER 2066 NEW BEST:: SOT 139554 SOS 46094 HAS SOPS 46094 HAS SOUS 38053 HAS SOUPS 38053 WITH SCORE 38099.094
AT ITER 2078 NEW BEST:: SOT 139527 SOS 46040 HAS SOPS 46040 HAS SOUS 38019 HAS SOUPS 38019 WITH SCORE 38065.04
AT ITER 2081 NEW BEST:: SOT 139531 SOS 45851 HAS SOPS 45851 HAS SOUS 37830 HAS SOUPS 37830 WITH SCORE 37875.851
AT ITER 2092 NEW BEST:: SOT 139520 SOS 45840 HAS SOPS 45840 HAS SOUS 37819 HAS SOUPS 37819 WITH SCORE 37864.84
AT ITER 2099 NEW BEST:: SOT 139567 SOS 45827 HAS SOPS 45827 HAS SOUS 37746 HAS SOUPS 37746 WITH SCORE 37791.827
AT ITER 2105 NEW BEST:: SOT 139547 SOS 45807 HAS SOPS 45807 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37771.807
AT ITER 2108 NEW BEST:: SOT 139505 SOS 45841 HAS SOPS 45841 HAS SOUS 37684 HAS SOUPS 37684 WITH SCORE 37729.841
AT ITER 2110 NEW BEST:: SOT 139445 SOS 45811 HAS SOPS 45811 HAS SOUS 37654 HAS SOUPS 37654 WITH SCORE 37699.811
AT ITER 2115 NEW BEST:: SOT 139481 SOS 45676 HAS SOPS 45676 HAS SOUS 37560 HAS SOUPS 37560 WITH SCORE 37605.676
AT ITER 2124 NEW BEST:: SOT 139481 SOS 45660 HAS SOPS 45660 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37573.66
AT ITER 2147 NEW BEST:: SOT 139481 SOS 45660 HAS SOPS 45660 HAS SOUS 37522 HAS SOUPS 37522 WITH SCORE 37567.66
AT ITER 2152 NEW BEST:: SOT 139458 SOS 45605 HAS SOPS 45605 HAS SOUS 37467 HAS SOUPS 37467 WITH SCORE 37512.605
AT ITER 2182 NEW BEST:: SOT 139445 SOS 45592 HAS SOPS 45592 HAS SOUS 37454 HAS SOUPS 37454 WITH SCORE 37499.592
AT ITER 2189 NEW BEST:: SOT 139277 SOS 45405 HAS SOPS 45405 HAS SOUS 37393 HAS SOUPS 37393 WITH SCORE 37438.405
AT ITER 2207 NEW BEST:: SOT 139283 SOS 45417 HAS SOPS 45417 HAS SOUS 37377 HAS SOUPS 37377 WITH SCORE 37422.417
AT ITER 2239 NEW BEST:: SOT 139274 SOS 45274 HAS SOPS 45274 HAS SOUS 37157 HAS SOUPS 37157 WITH SCORE 37202.274
AT ITER 2267 NEW BEST:: SOT 139272 SOS 45270 HAS SOPS 45270 HAS SOUS 37155 HAS SOUPS 37155 WITH SCORE 37200.27
AT ITER 2277 NEW BEST:: SOT 139279 SOS 45268 HAS SOPS 45268 HAS SOUS 37155 HAS SOUPS 37155 WITH SCORE 37200.268
AT ITER 2287 NEW BEST:: SOT 139216 SOS 45121 HAS SOPS 45121 HAS SOUS 37037 HAS SOUPS 37037 WITH SCORE 37082.121
AT ITER 2290 NEW BEST:: SOT 139205 SOS 45110 HAS SOPS 45110 HAS SOUS 37037 HAS SOUPS 37037 WITH SCORE 37082.11
AT ITER 2293 NEW BEST:: SOT 138885 SOS 44575 HAS SOPS 44575 HAS SOUS 36502 HAS SOUPS 36502 WITH SCORE 36546.575
AT ITER 2294 NEW BEST:: SOT 138728 SOS 48523 HAS SOPS 48523 HAS SOUS 36478 HAS SOUPS 36478 WITH SCORE 36526.523
AT ITER 2356 NEW BEST:: SOT 138720 SOS 48515 HAS SOPS 48515 HAS SOUS 36470 HAS SOUPS 36470 WITH SCORE 36518.515
AT ITER 2394 NEW BEST:: SOT 138690 SOS 48420 HAS SOPS 48420 HAS SOUS 36392 HAS SOUPS 36392 WITH SCORE 36440.42
AT ITER 2437 NEW BEST:: SOT 138718 SOS 48380 HAS SOPS 48380 HAS SOUS 36352 HAS SOUPS 36352 WITH SCORE 36400.38
AT ITER 2455 NEW BEST:: SOT 138718 SOS 48358 HAS SOPS 48358 HAS SOUS 36329 HAS SOUPS 36329 WITH SCORE 36377.358
AT ITER 2477 NEW BEST:: SOT 138680 SOS 48301 HAS SOPS 48301 HAS SOUS 36288 HAS SOUPS 36288 WITH SCORE 36336.301
AT ITER 2478 NEW BEST:: SOT 138657 SOS 48255 HAS SOPS 48255 HAS SOUS 36258 HAS SOUPS 36258 WITH SCORE 36306.255
AT ITER 2488 NEW BEST:: SOT 138657 SOS 48266 HAS SOPS 48266 HAS SOUS 36250 HAS SOUPS 36250 WITH SCORE 36298.266
AT ITER 2547 NEW BEST:: SOT 138653 SOS 48258 HAS SOPS 48258 HAS SOUS 36242 HAS SOUPS 36242 WITH SCORE 36290.258
AT ITER 2556 NEW BEST:: SOT 138659 SOS 48076 HAS SOPS 48076 HAS SOUS 36162 HAS SOUPS 36162 WITH SCORE 36210.076
AT ITER 2582 NEW BEST:: SOT 138649 SOS 48056 HAS SOPS 48056 HAS SOUS 36142 HAS SOUPS 36142 WITH SCORE 36190.056
AT ITER 2619 NEW BEST:: SOT 138649 SOS 48042 HAS SOPS 48042 HAS SOUS 36114 HAS SOUPS 36114 WITH SCORE 36162.042
AT ITER 2621 NEW BEST:: SOT 138594 SOS 47965 HAS SOPS 47965 HAS SOUS 36092 HAS SOUPS 36092 WITH SCORE 36139.965
AT ITER 2631 NEW BEST:: SOT 138587 SOS 47951 HAS SOPS 47951 HAS SOUS 36083 HAS SOUPS 36083 WITH SCORE 36130.951
AT ITER 2634 NEW BEST:: SOT 138713 SOS 47861 HAS SOPS 47861 HAS SOUS 36083 HAS SOUPS 36083 WITH SCORE 36130.861
AT ITER 2644 NEW BEST:: SOT 138713 SOS 47854 HAS SOPS 47854 HAS SOUS 36076 HAS SOUPS 36076 WITH SCORE 36123.854
AT ITER 2645 NEW BEST:: SOT 138679 SOS 47838 HAS SOPS 47838 HAS SOUS 36060 HAS SOUPS 36060 WITH SCORE 36107.838
AT ITER 2665 NEW BEST:: SOT 138638 SOS 47797 HAS SOPS 47797 HAS SOUS 36018 HAS SOUPS 36018 WITH SCORE 36065.797
AT ITER 2673 NEW BEST:: SOT 138570 SOS 47661 HAS SOPS 47661 HAS SOUS 35901 HAS SOUPS 35901 WITH SCORE 35948.661
AT ITER 2677 NEW BEST:: SOT 138423 SOS 47500 HAS SOPS 47500 HAS SOUS 35866 HAS SOUPS 35866 WITH SCORE 35913.5
AT ITER 2687 NEW BEST:: SOT 138422 SOS 47499 HAS SOPS 47499 HAS SOUS 35865 HAS SOUPS 35865 WITH SCORE 35912.499
AT ITER 2692 NEW BEST:: SOT 138422 SOS 47517 HAS SOPS 47517 HAS SOUS 35863 HAS SOUPS 35863 WITH SCORE 35910.517
AT ITER 2695 NEW BEST:: SOT 138395 SOS 47463 HAS SOPS 47463 HAS SOUS 35809 HAS SOUPS 35809 WITH SCORE 35856.463
AT ITER 2722 NEW BEST:: SOT 138373 SOS 47419 HAS SOPS 47419 HAS SOUS 35765 HAS SOUPS 35765 WITH SCORE 35812.419
AT ITER 2732 NEW BEST:: SOT 138374 SOS 47384 HAS SOPS 47384 HAS SOUS 35730 HAS SOUPS 35730 WITH SCORE 35777.384
AT ITER 2741 NEW BEST:: SOT 138352 SOS 47340 HAS SOPS 47340 HAS SOUS 35686 HAS SOUPS 35686 WITH SCORE 35733.34
AT ITER 2754 NEW BEST:: SOT 138364 SOS 47329 HAS SOPS 47329 HAS SOUS 35675 HAS SOUPS 35675 WITH SCORE 35722.329
AT ITER 2792 NEW BEST:: SOT 138361 SOS 47329 HAS SOPS 47329 HAS SOUS 35672 HAS SOUPS 35672 WITH SCORE 35719.329
AT ITER 2797 NEW BEST:: SOT 138258 SOS 47310 HAS SOPS 47310 HAS SOUS 35586 HAS SOUPS 35586 WITH SCORE 35633.31
AT ITER 2798 NEW BEST:: SOT 138227 SOS 47285 HAS SOPS 47285 HAS SOUS 35586 HAS SOUPS 35586 WITH SCORE 35633.285
AT ITER 2806 NEW BEST:: SOT 138227 SOS 47286 HAS SOPS 47286 HAS SOUS 35583 HAS SOUPS 35583 WITH SCORE 35630.286
AT ITER 2809 NEW BEST:: SOT 138219 SOS 47278 HAS SOPS 47278 HAS SOUS 35567 HAS SOUPS 35567 WITH SCORE 35614.278
AT ITER 2815 NEW BEST:: SOT 138222 SOS 47284 HAS SOPS 47284 HAS SOUS 35563 HAS SOUPS 35563 WITH SCORE 35610.284
AT ITER 2822 NEW BEST:: SOT 138222 SOS 47294 HAS SOPS 47294 HAS SOUS 35554 HAS SOUPS 35554 WITH SCORE 35601.294
AT ITER 2826 NEW BEST:: SOT 138254 SOS 47326 HAS SOPS 47326 HAS SOUS 35509 HAS SOUPS 35509 WITH SCORE 35556.326
AT ITER 2827 NEW BEST:: SOT 138111 SOS 47263 HAS SOPS 47263 HAS SOUS 35446 HAS SOUPS 35446 WITH SCORE 35493.263
AT ITER 2835 NEW BEST:: SOT 138111 SOS 47183 HAS SOPS 47183 HAS SOUS 35366 HAS SOUPS 35366 WITH SCORE 35413.183
AT ITER 2844 NEW BEST:: SOT 138012 SOS 47054 HAS SOPS 47054 HAS SOUS 35237 HAS SOUPS 35237 WITH SCORE 35284.054
AT ITER 2854 NEW BEST:: SOT 138012 SOS 47053 HAS SOPS 47053 HAS SOUS 35236 HAS SOUPS 35236 WITH SCORE 35283.053
AT ITER 2885 NEW BEST:: SOT 137924 SOS 46945 HAS SOPS 46945 HAS SOUS 35203 HAS SOUPS 35203 WITH SCORE 35249.945
AT ITER 2889 NEW BEST:: SOT 137924 SOS 46945 HAS SOPS 46945 HAS SOUS 35179 HAS SOUPS 35179 WITH SCORE 35225.945
AT ITER 2912 NEW BEST:: SOT 137899 SOS 46895 HAS SOPS 46895 HAS SOUS 35105 HAS SOUPS 35105 WITH SCORE 35151.895
AT ITER 2935 NEW BEST:: SOT 137729 SOS 46798 HAS SOPS 46798 HAS SOUS 35008 HAS SOUPS 35008 WITH SCORE 35054.798
AT ITER 2950 NEW BEST:: SOT 137370 SOS 46452 HAS SOPS 46452 HAS SOUS 34682 HAS SOUPS 34682 WITH SCORE 34728.452
AT ITER 2954 NEW BEST:: SOT 137294 SOS 46298 HAS SOPS 46298 HAS SOUS 34648 HAS SOUPS 34648 WITH SCORE 34694.298
AT ITER 3002 NEW BEST:: SOT 137298 SOS 46304 HAS SOPS 46304 HAS SOUS 34647 HAS SOUPS 34647 WITH SCORE 34693.304
AT ITER 3048 NEW BEST:: SOT 137298 SOS 46269 HAS SOPS 46269 HAS SOUS 34622 HAS SOUPS 34622 WITH SCORE 34668.269
AT ITER 3051 NEW BEST:: SOT 137252 SOS 46177 HAS SOPS 46177 HAS SOUS 34575 HAS SOUPS 34575 WITH SCORE 34621.177
AT ITER 3086 NEW BEST:: SOT 137252 SOS 46092 HAS SOPS 46092 HAS SOUS 34490 HAS SOUPS 34490 WITH SCORE 34536.092
AT ITER 3100 NEW BEST:: SOT 137231 SOS 46050 HAS SOPS 46050 HAS SOUS 34424 HAS SOUPS 34424 WITH SCORE 34470.05
AT ITER 3116 NEW BEST:: SOT 137181 SOS 45950 HAS SOPS 45950 HAS SOUS 34324 HAS SOUPS 34324 WITH SCORE 34369.95
AT ITER 3132 NEW BEST:: SOT 137133 SOS 45911 HAS SOPS 45911 HAS SOUS 34268 HAS SOUPS 34268 WITH SCORE 34313.911
AT ITER 3158 NEW BEST:: SOT 137099 SOS 45877 HAS SOPS 45877 HAS SOUS 34234 HAS SOUPS 34234 WITH SCORE 34279.877
AT ITER 3167 NEW BEST:: SOT 137113 SOS 45817 HAS SOPS 45817 HAS SOUS 34174 HAS SOUPS 34174 WITH SCORE 34219.817
AT ITER 3177 NEW BEST:: SOT 137113 SOS 45817 HAS SOPS 45817 HAS SOUS 34155 HAS SOUPS 34155 WITH SCORE 34200.817
AT ITER 3199 NEW BEST:: SOT 137063 SOS 45717 HAS SOPS 45717 HAS SOUS 34131 HAS SOUPS 34131 WITH SCORE 34176.717
AT ITER 3207 NEW BEST:: SOT 137072 SOS 45735 HAS SOPS 45735 HAS SOUS 34116 HAS SOUPS 34116 WITH SCORE 34161.735
AT ITER 3219 NEW BEST:: SOT 137048 SOS 45701 HAS SOPS 45701 HAS SOUS 34082 HAS SOUPS 34082 WITH SCORE 34127.701
AT ITER 3245 NEW BEST:: SOT 136871 SOS 45537 HAS SOPS 45537 HAS SOUS 33895 HAS SOUPS 33895 WITH SCORE 33940.537
AT ITER 3248 NEW BEST:: SOT 136864 SOS 45530 HAS SOPS 45530 HAS SOUS 33888 HAS SOUPS 33888 WITH SCORE 33933.53
AT ITER 3253 NEW BEST:: SOT 136864 SOS 45525 HAS SOPS 45525 HAS SOUS 33883 HAS SOUPS 33883 WITH SCORE 33928.525
AT ITER 3264 NEW BEST:: SOT 136836 SOS 45497 HAS SOPS 45497 HAS SOUS 33883 HAS SOUPS 33883 WITH SCORE 33928.497
AT ITER 3331 NEW BEST:: SOT 136836 SOS 45488 HAS SOPS 45488 HAS SOUS 33865 HAS SOUPS 33865 WITH SCORE 33910.488
AT ITER 3358 NEW BEST:: SOT 136855 SOS 45463 HAS SOPS 45463 HAS SOUS 33840 HAS SOUPS 33840 WITH SCORE 33885.463
AT ITER 3379 NEW BEST:: SOT 136738 SOS 45421 HAS SOPS 45421 HAS SOUS 33776 HAS SOUPS 33776 WITH SCORE 33821.421
AT ITER 3383 NEW BEST:: SOT 136742 SOS 45407 HAS SOPS 45407 HAS SOUS 33762 HAS SOUPS 33762 WITH SCORE 33807.407
AT ITER 3408 NEW BEST:: SOT 136727 SOS 45377 HAS SOPS 45377 HAS SOUS 33732 HAS SOUPS 33732 WITH SCORE 33777.377
AT ITER 3437 NEW BEST:: SOT 136713 SOS 45363 HAS SOPS 45363 HAS SOUS 33718 HAS SOUPS 33718 WITH SCORE 33763.363
AT ITER 3446 NEW BEST:: SOT 136708 SOS 45353 HAS SOPS 45353 HAS SOUS 33708 HAS SOUPS 33708 WITH SCORE 33753.353
AT ITER 3452 NEW BEST:: SOT 136707 SOS 45351 HAS SOPS 45351 HAS SOUS 33706 HAS SOUPS 33706 WITH SCORE 33751.351
AT ITER 3486 NEW BEST:: SOT 136643 SOS 45333 HAS SOPS 45333 HAS SOUS 33704 HAS SOUPS 33704 WITH SCORE 33749.333
AT ITER 3499 NEW BEST:: SOT 136639 SOS 45325 HAS SOPS 45325 HAS SOUS 33696 HAS SOUPS 33696 WITH SCORE 33741.325
AT ITER 3521 NEW BEST:: SOT 136588 SOS 45274 HAS SOPS 45274 HAS SOUS 33645 HAS SOUPS 33645 WITH SCORE 33690.274
AT ITER 3524 NEW BEST:: SOT 136499 SOS 45162 HAS SOPS 45162 HAS SOUS 33556 HAS SOUPS 33556 WITH SCORE 33601.162
AT ITER 3534 NEW BEST:: SOT 136406 SOS 44905 HAS SOPS 44905 HAS SOUS 33388 HAS SOUPS 33388 WITH SCORE 33432.905
AT ITER 3548 NEW BEST:: SOT 136406 SOS 44909 HAS SOPS 44909 HAS SOUS 33386 HAS SOUPS 33386 WITH SCORE 33430.909
AT ITER 3552 NEW BEST:: SOT 136366 SOS 44890 HAS SOPS 44890 HAS SOUS 33367 HAS SOUPS 33367 WITH SCORE 33411.89
AT ITER 3553 NEW BEST:: SOT 136336 SOS 44860 HAS SOPS 44860 HAS SOUS 33360 HAS SOUPS 33360 WITH SCORE 33404.86
AT ITER 3576 NEW BEST:: SOT 136328 SOS 44852 HAS SOPS 44852 HAS SOUS 33352 HAS SOUPS 33352 WITH SCORE 33396.852
AT ITER 3578 NEW BEST:: SOT 136290 SOS 44776 HAS SOPS 44776 HAS SOUS 33276 HAS SOUPS 33276 WITH SCORE 33320.776
AT ITER 3587 NEW BEST:: SOT 136303 SOS 44745 HAS SOPS 44745 HAS SOUS 33245 HAS SOUPS 33245 WITH SCORE 33289.745
AT ITER 3603 NEW BEST:: SOT 136256 SOS 44651 HAS SOPS 44651 HAS SOUS 33151 HAS SOUPS 33151 WITH SCORE 33195.651
AT ITER 3623 NEW BEST:: SOT 136254 SOS 44649 HAS SOPS 44649 HAS SOUS 33133 HAS SOUPS 33133 WITH SCORE 33177.649
AT ITER 3630 NEW BEST:: SOT 136224 SOS 44608 HAS SOPS 44608 HAS SOUS 33092 HAS SOUPS 33092 WITH SCORE 33136.608
AT ITER 3632 NEW BEST:: SOT 136218 SOS 44596 HAS SOPS 44596 HAS SOUS 33080 HAS SOUPS 33080 WITH SCORE 33124.596
AT ITER 3662 NEW BEST:: SOT 136202 SOS 45045 HAS SOPS 45045 HAS SOUS 33069 HAS SOUPS 33069 WITH SCORE 33114.045
AT ITER 3676 NEW BEST:: SOT 136196 SOS 45039 HAS SOPS 45039 HAS SOUS 33069 HAS SOUPS 33069 WITH SCORE 33114.039
AT ITER 3689 NEW BEST:: SOT 136174 SOS 44995 HAS SOPS 44995 HAS SOUS 33047 HAS SOUPS 33047 WITH SCORE 33091.995
AT ITER 3693 NEW BEST:: SOT 136160 SOS 44954 HAS SOPS 44954 HAS SOUS 33006 HAS SOUPS 33006 WITH SCORE 33050.954
AT ITER 3709 NEW BEST:: SOT 136154 SOS 44942 HAS SOPS 44942 HAS SOUS 32994 HAS SOUPS 32994 WITH SCORE 33038.942
AT ITER 3729 NEW BEST:: SOT 136152 SOS 44938 HAS SOPS 44938 HAS SOUS 32991 HAS SOUPS 32991 WITH SCORE 33035.938
AT ITER 3731 NEW BEST:: SOT 136143 SOS 44929 HAS SOPS 44929 HAS SOUS 32964 HAS SOUPS 32964 WITH SCORE 33008.929
AT ITER 3737 NEW BEST:: SOT 136059 SOS 44759 HAS SOPS 44759 HAS SOUS 32949 HAS SOUPS 32949 WITH SCORE 32993.759
AT ITER 3745 NEW BEST:: SOT 136050 SOS 44721 HAS SOPS 44721 HAS SOUS 32911 HAS SOUPS 32911 WITH SCORE 32955.721
AT ITER 3753 NEW BEST:: SOT 135958 SOS 44639 HAS SOPS 44639 HAS SOUS 32829 HAS SOUPS 32829 WITH SCORE 32873.639
AT ITER 3758 NEW BEST:: SOT 135932 SOS 44600 HAS SOPS 44600 HAS SOUS 32803 HAS SOUPS 32803 WITH SCORE 32847.6
AT ITER 3761 NEW BEST:: SOT 135911 SOS 44537 HAS SOPS 44537 HAS SOUS 32803 HAS SOUPS 32803 WITH SCORE 32847.537
AT ITER 3803 NEW BEST:: SOT 136027 SOS 44638 HAS SOPS 44638 HAS SOUS 32791 HAS SOUPS 32791 WITH SCORE 32835.638
AT ITER 3808 NEW BEST:: SOT 136019 SOS 44632 HAS SOPS 44632 HAS SOUS 32785 HAS SOUPS 32785 WITH SCORE 32829.632
AT ITER 3857 NEW BEST:: SOT 135985 SOS 44598 HAS SOPS 44598 HAS SOUS 32785 HAS SOUPS 32785 WITH SCORE 32829.598
AT ITER 3860 NEW BEST:: SOT 135968 SOS 44564 HAS SOPS 44564 HAS SOUS 32777 HAS SOUPS 32777 WITH SCORE 32821.564
AT ITER 3870 NEW BEST:: SOT 135963 SOS 44558 HAS SOPS 44558 HAS SOUS 32775 HAS SOUPS 32775 WITH SCORE 32819.558
AT ITER 3890 NEW BEST:: SOT 135949 SOS 44524 HAS SOPS 44524 HAS SOUS 32741 HAS SOUPS 32741 WITH SCORE 32785.524
AT ITER 3902 NEW BEST:: SOT 135947 SOS 44499 HAS SOPS 44499 HAS SOUS 32716 HAS SOUPS 32716 WITH SCORE 32760.499
AT ITER 3923 NEW BEST:: SOT 135909 SOS 44403 HAS SOPS 44403 HAS SOUS 32556 HAS SOUPS 32556 WITH SCORE 32600.403
AT ITER 3932 NEW BEST:: SOT 135906 SOS 44394 HAS SOPS 44394 HAS SOUS 32550 HAS SOUPS 32550 WITH SCORE 32594.394
AT ITER 3935 NEW BEST:: SOT 135890 SOS 44362 HAS SOPS 44362 HAS SOUS 32540 HAS SOUPS 32540 WITH SCORE 32584.362
AT ITER 3939 NEW BEST:: SOT 135969 SOS 44396 HAS SOPS 44396 HAS SOUS 32505 HAS SOUPS 32505 WITH SCORE 32549.396
AT ITER 3946 NEW BEST:: SOT 135967 SOS 44392 HAS SOPS 44392 HAS SOUS 32501 HAS SOUPS 32501 WITH SCORE 32545.392
AT ITER 3950 NEW BEST:: SOT 135901 SOS 44326 HAS SOPS 44326 HAS SOUS 32435 HAS SOUPS 32435 WITH SCORE 32479.326
AT ITER 3990 NEW BEST:: SOT 135913 SOS 44312 HAS SOPS 44312 HAS SOUS 32400 HAS SOUPS 32400 WITH SCORE 32444.312
AT ITER 4010 NEW BEST:: SOT 135904 SOS 44273 HAS SOPS 44273 HAS SOUS 32361 HAS SOUPS 32361 WITH SCORE 32405.273
AT ITER 4014 NEW BEST:: SOT 135900 SOS 44269 HAS SOPS 44269 HAS SOUS 32357 HAS SOUPS 32357 WITH SCORE 32401.269
AT ITER 4020 NEW BEST:: SOT 135848 SOS 44190 HAS SOPS 44190 HAS SOUS 32278 HAS SOUPS 32278 WITH SCORE 32322.19
AT ITER 4023 NEW BEST:: SOT 135848 SOS 44190 HAS SOPS 44190 HAS SOUS 32203 HAS SOUPS 32203 WITH SCORE 32247.19
AT ITER 4103 NEW BEST:: SOT 135839 SOS 44172 HAS SOPS 44172 HAS SOUS 32196 HAS SOUPS 32196 WITH SCORE 32240.172
AT ITER 4113 NEW BEST:: SOT 135807 SOS 44140 HAS SOPS 44140 HAS SOUS 32147 HAS SOUPS 32147 WITH SCORE 32191.14
AT ITER 4149 NEW BEST:: SOT 135779 SOS 44099 HAS SOPS 44099 HAS SOUS 32133 HAS SOUPS 32133 WITH SCORE 32177.099
AT ITER 4151 NEW BEST:: SOT 135748 SOS 44043 HAS SOPS 44043 HAS SOUS 32077 HAS SOUPS 32077 WITH SCORE 32121.043
AT ITER 4199 NEW BEST:: SOT 135695 SOS 43937 HAS SOPS 43937 HAS SOUS 32024 HAS SOUPS 32024 WITH SCORE 32067.937
AT ITER 4209 NEW BEST:: SOT 135684 SOS 43915 HAS SOPS 43915 HAS SOUS 32002 HAS SOUPS 32002 WITH SCORE 32045.915
AT ITER 4213 NEW BEST:: SOT 135670 SOS 43873 HAS SOPS 43873 HAS SOUS 31974 HAS SOUPS 31974 WITH SCORE 32017.873
AT ITER 4250 NEW BEST:: SOT 135666 SOS 43870 HAS SOPS 43870 HAS SOUS 31971 HAS SOUPS 31971 WITH SCORE 32014.87
AT ITER 4251 NEW BEST:: SOT 135658 SOS 43862 HAS SOPS 43862 HAS SOUS 31963 HAS SOUPS 31963 WITH SCORE 32006.862
AT ITER 4260 NEW BEST:: SOT 135617 SOS 43810 HAS SOPS 43810 HAS SOUS 31938 HAS SOUPS 31938 WITH SCORE 31981.81
AT ITER 4303 NEW BEST:: SOT 135593 SOS 43762 HAS SOPS 43762 HAS SOUS 31886 HAS SOUPS 31886 WITH SCORE 31929.762
AT ITER 4310 NEW BEST:: SOT 135592 SOS 43760 HAS SOPS 43760 HAS SOUS 31884 HAS SOUPS 31884 WITH SCORE 31927.76
AT ITER 4355 NEW BEST:: SOT 135539 SOS 43659 HAS SOPS 43659 HAS SOUS 31783 HAS SOUPS 31783 WITH SCORE 31826.659
AT ITER 4372 NEW BEST:: SOT 135487 SOS 43607 HAS SOPS 43607 HAS SOUS 31731 HAS SOUPS 31731 WITH SCORE 31774.607
AT ITER 4394 NEW BEST:: SOT 135481 SOS 43582 HAS SOPS 43582 HAS SOUS 31709 HAS SOUPS 31709 WITH SCORE 31752.582
AT ITER 4400 NEW BEST:: SOT 135472 SOS 43578 HAS SOPS 43578 HAS SOUS 31705 HAS SOUPS 31705 WITH SCORE 31748.578
AT ITER 4411 NEW BEST:: SOT 135418 SOS 43497 HAS SOPS 43497 HAS SOUS 31635 HAS SOUPS 31635 WITH SCORE 31678.497
AT ITER 4441 NEW BEST:: SOT 135404 SOS 43469 HAS SOPS 43469 HAS SOUS 31607 HAS SOUPS 31607 WITH SCORE 31650.469
AT ITER 4447 NEW BEST:: SOT 135344 SOS 43349 HAS SOPS 43349 HAS SOUS 31583 HAS SOUPS 31583 WITH SCORE 31626.349
AT ITER 4450 NEW BEST:: SOT 135349 SOS 43350 HAS SOPS 43350 HAS SOUS 31575 HAS SOUPS 31575 WITH SCORE 31618.35
AT ITER 4454 NEW BEST:: SOT 135301 SOS 43286 HAS SOPS 43286 HAS SOUS 31511 HAS SOUPS 31511 WITH SCORE 31554.286
AT ITER 4457 NEW BEST:: SOT 135293 SOS 43246 HAS SOPS 43246 HAS SOUS 31471 HAS SOUPS 31471 WITH SCORE 31514.246
AT ITER 4458 NEW BEST:: SOT 135272 SOS 43126 HAS SOPS 43126 HAS SOUS 31426 HAS SOUPS 31426 WITH SCORE 31469.126
AT ITER 4508 NEW BEST:: SOT 135375 SOS 43083 HAS SOPS 43083 HAS SOUS 31383 HAS SOUPS 31383 WITH SCORE 31426.083
AT ITER 4526 NEW BEST:: SOT 135365 SOS 43058 HAS SOPS 43058 HAS SOUS 31373 HAS SOUPS 31373 WITH SCORE 31416.058
AT ITER 4533 NEW BEST:: SOT 135345 SOS 43018 HAS SOPS 43018 HAS SOUS 31333 HAS SOUPS 31333 WITH SCORE 31376.018
AT ITER 4545 NEW BEST:: SOT 135345 SOS 42946 HAS SOPS 42946 HAS SOUS 31322 HAS SOUPS 31322 WITH SCORE 31364.946
AT ITER 4558 NEW BEST:: SOT 135328 SOS 42912 HAS SOPS 42912 HAS SOUS 31288 HAS SOUPS 31288 WITH SCORE 31330.912
AT ITER 4559 NEW BEST:: SOT 135286 SOS 43662 HAS SOPS 43662 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31307.662
AT ITER 4595 NEW BEST:: SOT 135299 SOS 43667 HAS SOPS 43667 HAS SOUS 31256 HAS SOUPS 31256 WITH SCORE 31299.667
AT ITER 4615 NEW BEST:: SOT 135287 SOS 43655 HAS SOPS 43655 HAS SOUS 31244 HAS SOUPS 31244 WITH SCORE 31287.655
AT ITER 4642 NEW BEST:: SOT 135287 SOS 43606 HAS SOPS 43606 HAS SOUS 31195 HAS SOUPS 31195 WITH SCORE 31238.606
AT ITER 4661 NEW BEST:: SOT 135282 SOS 43690 HAS SOPS 43690 HAS SOUS 31161 HAS SOUPS 31161 WITH SCORE 31204.69
AT ITER 4686 NEW BEST:: SOT 135277 SOS 43648 HAS SOPS 43648 HAS SOUS 31124 HAS SOUPS 31124 WITH SCORE 31167.648
AT ITER 4694 NEW BEST:: SOT 135277 SOS 43559 HAS SOPS 43559 HAS SOUS 31107 HAS SOUPS 31107 WITH SCORE 31150.559
AT ITER 4704 NEW BEST:: SOT 135204 SOS 43413 HAS SOPS 43413 HAS SOUS 30961 HAS SOUPS 30961 WITH SCORE 31004.413
AT ITER 4782 NEW BEST:: SOT 135190 SOS 43398 HAS SOPS 43398 HAS SOUS 30946 HAS SOUPS 30946 WITH SCORE 30989.398
AT ITER 4793 NEW BEST:: SOT 135190 SOS 43356 HAS SOPS 43356 HAS SOUS 30941 HAS SOUPS 30941 WITH SCORE 30984.356
AT ITER 4802 NEW BEST:: SOT 135123 SOS 43222 HAS SOPS 43222 HAS SOUS 30874 HAS SOUPS 30874 WITH SCORE 30917.222
AT ITER 4812 NEW BEST:: SOT 135101 SOS 43178 HAS SOPS 43178 HAS SOUS 30830 HAS SOUPS 30830 WITH SCORE 30873.178
AT ITER 4817 NEW BEST:: SOT 135033 SOS 43113 HAS SOPS 43113 HAS SOUS 30765 HAS SOUPS 30765 WITH SCORE 30808.113
AT ITER 4819 NEW BEST:: SOT 135019 SOS 43085 HAS SOPS 43085 HAS SOUS 30737 HAS SOUPS 30737 WITH SCORE 30780.085
AT ITER 4859 NEW BEST:: SOT 135017 SOS 43081 HAS SOPS 43081 HAS SOUS 30733 HAS SOUPS 30733 WITH SCORE 30776.081
AT ITER 4876 NEW BEST:: SOT 135017 SOS 43080 HAS SOPS 43080 HAS SOUS 30732 HAS SOUPS 30732 WITH SCORE 30775.08
AT ITER 4877 NEW BEST:: SOT 135003 SOS 43054 HAS SOPS 43054 HAS SOUS 30720 HAS SOUPS 30720 WITH SCORE 30763.054
AT ITER 4898 NEW BEST:: SOT 134938 SOS 42956 HAS SOPS 42956 HAS SOUS 30703 HAS SOUPS 30703 WITH SCORE 30745.956
AT ITER 4934 NEW BEST:: SOT 134830 SOS 42742 HAS SOPS 42742 HAS SOUS 30635 HAS SOUPS 30635 WITH SCORE 30677.742
AT ITER 4997 NEW BEST:: SOT 134823 SOS 42728 HAS SOPS 42728 HAS SOUS 30621 HAS SOUPS 30621 WITH SCORE 30663.728
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-10-CTLFireability-00 (AU( (! ( ( ((potential((tk(P98)>=1)))) & ((potential((tk(P477)>=1)))) ) & ( ((potential((tk(P214)>=1)))) | ((potential((tk(P335)>=1) & (tk(P181)>=1) & (tk(P492)>=1)))) ) )) , (AG( (! ((potential((tk(P297)>=1))))))) ))
PROPERTY: BusinessProcesses-PT-10-CTLFireability-01 (! (! ( (EF( ( ((potential((tk(P66)>=1)))) | ((potential((tk(P131)>=1)))) ))) & ( (! ( ((potential((tk(P207)>=1)))) | ((potential((tk(P56)>=1)))) )) | (AF( ((potential((tk(P402)>=1)))))) ) )))
PROPERTY: BusinessProcesses-PT-10-CTLFireability-02 (AX( (EF( ((potential((tk(P306)>=1))))))))
PROPERTY: BusinessProcesses-PT-10-CTLFireability-03 (EF( (AG( (EX( ((potential((tk(P289)>=1) & (tk(P79)>=1) & (tk(P480)>=1))))))))))
PROPERTY: BusinessProcesses-PT-10-CTLFireability-04 (EU( ((potential((tk(P241)>=1)))) , (AG( (! ((potential((tk(P350)>=1) & (tk(P178)>=1) & (tk(P498)>=1))))))) ))
PROPERTY: BusinessProcesses-PT-10-CTLFireability-05 (EU( ( ( ((potential((tk(P208)>=1)))) & (! ((potential((tk(P376)>=1))))) ) | (! ( ((potential((tk(P464)>=1)))) & ((potential((tk(P323)>=1)))) )) ) , ( (AF( ((potential((tk(P364)>=1)))))) | ( ( ((potential((tk(P463)>=1)))) & ((potential((tk(P185)>=1) & (tk(P182)>=1)))) ) & ( ((potential((tk(P18)>=1)))) & ((potential((tk(P174)>=1)))) ) ) ) ))
PROPERTY: BusinessProcesses-PT-10-CTLFireability-06 ( ( (AF( ((potential((tk(P269)>=1) & (tk(P58)>=1) & (tk(P480)>=1)))))) & (! ((potential((tk(P518)>=1))))) ) | (EX( (EF( ( ((potential((tk(P131)>=1)))) & ((potential((tk(P333)>=1)))) ))))) )
PROPERTY: BusinessProcesses-PT-10-CTLFireability-07 ( (AU( (! ( ((potential((tk(P506)>=1)))) | ((potential((tk(P38)>=1)))) )) , (! ((potential((tk(P413)>=1))))) )) & (EF( ( ( ((potential((tk(P444)>=1)))) | ((potential((tk(P312)>=1)))) ) & (! (! ((potential((tk(P365)>=1)))))) ))) )
PROPERTY: BusinessProcesses-PT-10-CTLFireability-08 ( ((potential((tk(P138)>=1)))) | (EF( (AG( ( ((potential((tk(P134)>=1)))) | ((potential((tk(P332)>=1)))) ))))) )
PROPERTY: BusinessProcesses-PT-10-CTLFireability-09 (EF( (! (! ((potential((tk(P427)>=1))))))))
PROPERTY: BusinessProcesses-PT-10-CTLFireability-10 (! (! (AG( (! ( ((potential((tk(P75)>=1)))) & ((potential((tk(P443)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-10-CTLFireability-11 ( (AU( ( ((potential((tk(P238)>=1)))) & ( ((potential((tk(P231)>=1)))) & ((potential((tk(P461)>=1)))) ) ) , ((potential((tk(P247)>=1)))) )) | ( (EF( (AF( ((potential((tk(P344)>=1) & (tk(P110)>=1) & (tk(P480)>=1)))))))) | ( ((potential((tk(P272)>=1)))) & (! ((potential((tk(P328)>=1))))) ) ) )
PROPERTY: BusinessProcesses-PT-10-CTLFireability-12 ( ( (! (EF( (! ((potential((tk(P399)>=1)))))))) | (AF( (EF( ((potential((tk(P261)>=1)))))))) ) | (AG( (EG( ((potential((tk(P183)>=1)))))))) )
PROPERTY: BusinessProcesses-PT-10-CTLFireability-13 ( (EU( (! ( ((potential((tk(P262)>=1)))) | ((potential((tk(P438)>=1)))) )) , ( ((potential((tk(P335)>=1) & (tk(P172)>=1) & (tk(P492)>=1)))) & ((potential((tk(P301)>=1)))) ) )) | ((potential((tk(P271)>=1)))) )
PROPERTY: BusinessProcesses-PT-10-CTLFireability-14 (EF( (AF( (AG( ((potential((tk(P153)>=1))))))))))
PROPERTY: BusinessProcesses-PT-10-CTLFireability-15 (EF( ( ((potential((tk(P81)>=1)))) & ( (AX( ((potential((tk(P43)>=1)))))) | ( ((potential((tk(P389)>=1)))) & (! ((potential((tk(P352)>=1))))) ) ) )))
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="BusinessProcesses-PT-10"
export BK_EXAMINATION="CTLFireability"
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 BusinessProcesses-PT-10, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680100524"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-10.tgz
mv BusinessProcesses-PT-10 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;