Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807700616.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807700616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 3.8K Mar 31 06:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 31 06:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 23:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 23:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 07:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 07:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 54K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589363168081

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 07b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 212 places, 224 transitions, 582 arcs.
AT ITER 0 NEW BEST:: SOT 32957 SOS 15503 HAS SOPS 15503 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.503
AT ITER 2 NEW BEST:: SOT 31742 SOS 18008 HAS SOPS 18008 HAS SOUS 12719 HAS SOUPS 12719 WITH SCORE 12737.008
AT ITER 9 NEW BEST:: SOT 31563 SOS 18142 HAS SOPS 18142 HAS SOUS 12692 HAS SOUPS 12692 WITH SCORE 12710.142
AT ITER 11 NEW BEST:: SOT 31535 SOS 18107 HAS SOPS 18107 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12654.107
AT ITER 14 NEW BEST:: SOT 31433 SOS 17903 HAS SOPS 17903 HAS SOUS 12486 HAS SOUPS 12486 WITH SCORE 12503.903
AT ITER 18 NEW BEST:: SOT 31419 SOS 17889 HAS SOPS 17889 HAS SOUS 12472 HAS SOUPS 12472 WITH SCORE 12489.889
AT ITER 19 NEW BEST:: SOT 31357 SOS 17765 HAS SOPS 17765 HAS SOUS 12422 HAS SOUPS 12422 WITH SCORE 12439.765
AT ITER 24 NEW BEST:: SOT 31316 SOS 17684 HAS SOPS 17684 HAS SOUS 12411 HAS SOUPS 12411 WITH SCORE 12428.684
AT ITER 30 NEW BEST:: SOT 31174 SOS 17403 HAS SOPS 17403 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12220.403
AT ITER 31 NEW BEST:: SOT 31157 SOS 17352 HAS SOPS 17352 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12203.352
AT ITER 36 NEW BEST:: SOT 31157 SOS 17317 HAS SOPS 17317 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12203.317
AT ITER 38 NEW BEST:: SOT 31056 SOS 17115 HAS SOPS 17115 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12051.115
AT ITER 45 NEW BEST:: SOT 31040 SOS 17084 HAS SOPS 17084 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12026.084
AT ITER 51 NEW BEST:: SOT 30985 SOS 16917 HAS SOPS 16917 HAS SOUS 11950 HAS SOUPS 11950 WITH SCORE 11966.917
AT ITER 54 NEW BEST:: SOT 30871 SOS 16690 HAS SOPS 16690 HAS SOUS 11776 HAS SOUPS 11776 WITH SCORE 11792.69
AT ITER 55 NEW BEST:: SOT 30870 SOS 16454 HAS SOPS 16454 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11765.454
AT ITER 62 NEW BEST:: SOT 30862 SOS 16446 HAS SOPS 16446 HAS SOUS 11731 HAS SOUPS 11731 WITH SCORE 11747.446
AT ITER 67 NEW BEST:: SOT 30625 SOS 16280 HAS SOPS 16280 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11531.28
AT ITER 68 NEW BEST:: SOT 30578 SOS 16079 HAS SOPS 16079 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11394.079
AT ITER 71 NEW BEST:: SOT 30531 SOS 15985 HAS SOPS 15985 HAS SOUS 11331 HAS SOUPS 11331 WITH SCORE 11346.985
AT ITER 76 NEW BEST:: SOT 30452 SOS 15861 HAS SOPS 15861 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11267.861
AT ITER 82 NEW BEST:: SOT 30408 SOS 15833 HAS SOPS 15833 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11178.833
AT ITER 89 NEW BEST:: SOT 30380 SOS 15777 HAS SOPS 15777 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11165.777
AT ITER 91 NEW BEST:: SOT 30380 SOS 15776 HAS SOPS 15776 HAS SOUS 11149 HAS SOUPS 11149 WITH SCORE 11164.776
AT ITER 94 NEW BEST:: SOT 30350 SOS 15682 HAS SOPS 15682 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11070.682
AT ITER 118 NEW BEST:: SOT 30344 SOS 15634 HAS SOPS 15634 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11023.634
AT ITER 125 NEW BEST:: SOT 30190 SOS 15480 HAS SOPS 15480 HAS SOUS 10835 HAS SOUPS 10835 WITH SCORE 10850.48
AT ITER 128 NEW BEST:: SOT 30190 SOS 15465 HAS SOPS 15465 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10835.465
AT ITER 133 NEW BEST:: SOT 30135 SOS 15373 HAS SOPS 15373 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10809.373
AT ITER 136 NEW BEST:: SOT 30129 SOS 15361 HAS SOPS 15361 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10797.361
AT ITER 148 NEW BEST:: SOT 30095 SOS 15259 HAS SOPS 15259 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10729.259
AT ITER 150 NEW BEST:: SOT 29986 SOS 15041 HAS SOPS 15041 HAS SOUS 10629 HAS SOUPS 10629 WITH SCORE 10644.041
AT ITER 157 NEW BEST:: SOT 29986 SOS 15024 HAS SOPS 15024 HAS SOUS 10629 HAS SOUPS 10629 WITH SCORE 10644.024
AT ITER 179 NEW BEST:: SOT 29972 SOS 15010 HAS SOPS 15010 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10630.01
AT ITER 183 NEW BEST:: SOT 29975 SOS 15017 HAS SOPS 15017 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10629.017
AT ITER 193 NEW BEST:: SOT 29967 SOS 15001 HAS SOPS 15001 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10621.001
AT ITER 195 NEW BEST:: SOT 29990 SOS 14982 HAS SOPS 14982 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10600.982
AT ITER 204 NEW BEST:: SOT 30021 SOS 13003 HAS SOPS 13003 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10591.003
AT ITER 206 NEW BEST:: SOT 29973 SOS 12708 HAS SOPS 12708 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10494.708
AT ITER 216 NEW BEST:: SOT 29964 SOS 12699 HAS SOPS 12699 HAS SOUS 10473 HAS SOUPS 10473 WITH SCORE 10485.699
AT ITER 220 NEW BEST:: SOT 29958 SOS 12710 HAS SOPS 12710 HAS SOUS 10461 HAS SOUPS 10461 WITH SCORE 10473.71
AT ITER 223 NEW BEST:: SOT 29950 SOS 12702 HAS SOPS 12702 HAS SOUS 10453 HAS SOUPS 10453 WITH SCORE 10465.702
AT ITER 225 NEW BEST:: SOT 29953 SOS 12654 HAS SOPS 12654 HAS SOUS 10444 HAS SOUPS 10444 WITH SCORE 10456.654
AT ITER 229 NEW BEST:: SOT 29960 SOS 12611 HAS SOPS 12611 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10452.611
AT ITER 232 NEW BEST:: SOT 29953 SOS 12582 HAS SOPS 12582 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10423.582
AT ITER 239 NEW BEST:: SOT 29962 SOS 12554 HAS SOPS 12554 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10420.554
AT ITER 241 NEW BEST:: SOT 29862 SOS 12488 HAS SOPS 12488 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10358.488
AT ITER 247 NEW BEST:: SOT 29774 SOS 12407 HAS SOPS 12407 HAS SOUS 10248 HAS SOUPS 10248 WITH SCORE 10260.407
AT ITER 254 NEW BEST:: SOT 29758 SOS 12376 HAS SOPS 12376 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10229.376
AT ITER 260 NEW BEST:: SOT 29744 SOS 12340 HAS SOPS 12340 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10208.34
AT ITER 261 NEW BEST:: SOT 29731 SOS 12301 HAS SOPS 12301 HAS SOUS 10157 HAS SOUPS 10157 WITH SCORE 10169.301
AT ITER 265 NEW BEST:: SOT 29648 SOS 12051 HAS SOPS 12051 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9923.051
AT ITER 267 NEW BEST:: SOT 29639 SOS 12042 HAS SOPS 12042 HAS SOUS 9893 HAS SOUPS 9893 WITH SCORE 9905.042
AT ITER 270 NEW BEST:: SOT 29627 SOS 12020 HAS SOPS 12020 HAS SOUS 9865 HAS SOUPS 9865 WITH SCORE 9877.02
AT ITER 272 NEW BEST:: SOT 29611 SOS 11972 HAS SOPS 11972 HAS SOUS 9832 HAS SOUPS 9832 WITH SCORE 9843.972
AT ITER 286 NEW BEST:: SOT 29520 SOS 11790 HAS SOPS 11790 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9662.79
AT ITER 296 NEW BEST:: SOT 29520 SOS 11467 HAS SOPS 11467 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9662.467
AT ITER 297 NEW BEST:: SOT 29505 SOS 11437 HAS SOPS 11437 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9647.437
AT ITER 301 NEW BEST:: SOT 29433 SOS 11318 HAS SOPS 11318 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9538.318
AT ITER 304 NEW BEST:: SOT 29396 SOS 11244 HAS SOPS 11244 HAS SOUS 9414 HAS SOUPS 9414 WITH SCORE 9425.244
AT ITER 306 NEW BEST:: SOT 29377 SOS 11224 HAS SOPS 11224 HAS SOUS 9395 HAS SOUPS 9395 WITH SCORE 9406.224
AT ITER 312 NEW BEST:: SOT 29376 SOS 11222 HAS SOPS 11222 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9404.222
AT ITER 317 NEW BEST:: SOT 29370 SOS 11216 HAS SOPS 11216 HAS SOUS 9385 HAS SOUPS 9385 WITH SCORE 9396.216
AT ITER 319 NEW BEST:: SOT 29370 SOS 11176 HAS SOPS 11176 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9356.176
AT ITER 320 NEW BEST:: SOT 29363 SOS 11162 HAS SOPS 11162 HAS SOUS 9333 HAS SOUPS 9333 WITH SCORE 9344.162
AT ITER 323 NEW BEST:: SOT 29362 SOS 11160 HAS SOPS 11160 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9342.16
AT ITER 325 NEW BEST:: SOT 29263 SOS 11006 HAS SOPS 11006 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9221.006
AT ITER 333 NEW BEST:: SOT 29244 SOS 10991 HAS SOPS 10991 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9182.991
AT ITER 341 NEW BEST:: SOT 29226 SOS 10956 HAS SOPS 10956 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9146.956
AT ITER 344 NEW BEST:: SOT 29218 SOS 10940 HAS SOPS 10940 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9130.94
AT ITER 350 NEW BEST:: SOT 29162 SOS 10893 HAS SOPS 10893 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9082.893
AT ITER 358 NEW BEST:: SOT 29121 SOS 10852 HAS SOPS 10852 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9061.852
AT ITER 360 NEW BEST:: SOT 29081 SOS 10834 HAS SOPS 10834 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9016.834
AT ITER 361 NEW BEST:: SOT 29080 SOS 10833 HAS SOPS 10833 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9014.833
AT ITER 366 NEW BEST:: SOT 29080 SOS 10816 HAS SOPS 10816 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9014.816
AT ITER 373 NEW BEST:: SOT 29072 SOS 10808 HAS SOPS 10808 HAS SOUS 8995 HAS SOUPS 8995 WITH SCORE 9005.808
AT ITER 376 NEW BEST:: SOT 29072 SOS 10620 HAS SOPS 10620 HAS SOUS 8995 HAS SOUPS 8995 WITH SCORE 9005.62
AT ITER 380 NEW BEST:: SOT 29081 SOS 10638 HAS SOPS 10638 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9003.638
AT ITER 382 NEW BEST:: SOT 29080 SOS 10636 HAS SOPS 10636 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9001.636
AT ITER 383 NEW BEST:: SOT 29054 SOS 10610 HAS SOPS 10610 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8975.61
AT ITER 384 NEW BEST:: SOT 29049 SOS 10600 HAS SOPS 10600 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8970.6
AT ITER 386 NEW BEST:: SOT 29019 SOS 10540 HAS SOPS 10540 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8940.54
AT ITER 387 NEW BEST:: SOT 29012 SOS 11550 HAS SOPS 11550 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8935.55
AT ITER 392 NEW BEST:: SOT 29009 SOS 11544 HAS SOPS 11544 HAS SOUS 8918 HAS SOUPS 8918 WITH SCORE 8929.544
AT ITER 393 NEW BEST:: SOT 28990 SOS 11507 HAS SOPS 11507 HAS SOUS 8880 HAS SOUPS 8880 WITH SCORE 8891.507
AT ITER 394 NEW BEST:: SOT 28986 SOS 11503 HAS SOPS 11503 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8883.503
AT ITER 415 NEW BEST:: SOT 28979 SOS 11486 HAS SOPS 11486 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8876.486
AT ITER 437 NEW BEST:: SOT 28976 SOS 11481 HAS SOPS 11481 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8871.481
AT ITER 440 NEW BEST:: SOT 28963 SOS 11455 HAS SOPS 11455 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8845.455
AT ITER 441 NEW BEST:: SOT 28950 SOS 11398 HAS SOPS 11398 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8778.398
AT ITER 467 NEW BEST:: SOT 28951 SOS 11384 HAS SOPS 11384 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8773.384
AT ITER 476 NEW BEST:: SOT 28948 SOS 11378 HAS SOPS 11378 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8770.378
AT ITER 522 NEW BEST:: SOT 28947 SOS 11402 HAS SOPS 11402 HAS SOUS 8757 HAS SOUPS 8757 WITH SCORE 8768.402
AT ITER 535 NEW BEST:: SOT 28916 SOS 11371 HAS SOPS 11371 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8751.371
AT ITER 548 NEW BEST:: SOT 28911 SOS 11361 HAS SOPS 11361 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8741.361
AT ITER 565 NEW BEST:: SOT 28910 SOS 11357 HAS SOPS 11357 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8738.357
AT ITER 569 NEW BEST:: SOT 28885 SOS 11282 HAS SOPS 11282 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8688.282
AT ITER 570 NEW BEST:: SOT 28883 SOS 11278 HAS SOPS 11278 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8684.278
AT ITER 577 NEW BEST:: SOT 28874 SOS 11260 HAS SOPS 11260 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8666.26
AT ITER 596 NEW BEST:: SOT 28873 SOS 11259 HAS SOPS 11259 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8664.259
AT ITER 621 NEW BEST:: SOT 28827 SOS 11213 HAS SOPS 11213 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8618.213
AT ITER 622 NEW BEST:: SOT 28825 SOS 11211 HAS SOPS 11211 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8616.211
AT ITER 626 NEW BEST:: SOT 28806 SOS 11153 HAS SOPS 11153 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8587.153
AT ITER 641 NEW BEST:: SOT 28801 SOS 11148 HAS SOPS 11148 HAS SOUS 8571 HAS SOUPS 8571 WITH SCORE 8582.148
AT ITER 643 NEW BEST:: SOT 28793 SOS 11082 HAS SOPS 11082 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8539.082
AT ITER 649 NEW BEST:: SOT 28793 SOS 11077 HAS SOPS 11077 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8534.077
AT ITER 654 NEW BEST:: SOT 28783 SOS 11057 HAS SOPS 11057 HAS SOUS 8503 HAS SOUPS 8503 WITH SCORE 8514.057
AT ITER 661 NEW BEST:: SOT 28783 SOS 11057 HAS SOPS 11057 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8499.057
AT ITER 668 NEW BEST:: SOT 28766 SOS 11059 HAS SOPS 11059 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8492.059
AT ITER 671 NEW BEST:: SOT 28722 SOS 10993 HAS SOPS 10993 HAS SOUS 8406 HAS SOUPS 8406 WITH SCORE 8416.993
AT ITER 685 NEW BEST:: SOT 28709 SOS 10984 HAS SOPS 10984 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8407.984
AT ITER 693 NEW BEST:: SOT 28656 SOS 10931 HAS SOPS 10931 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8384.931
AT ITER 707 NEW BEST:: SOT 28660 SOS 10922 HAS SOPS 10922 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8375.922
AT ITER 708 NEW BEST:: SOT 28640 SOS 10882 HAS SOPS 10882 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8354.882
AT ITER 710 NEW BEST:: SOT 28631 SOS 10869 HAS SOPS 10869 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8347.869
AT ITER 713 NEW BEST:: SOT 28635 SOS 10863 HAS SOPS 10863 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8330.863
AT ITER 719 NEW BEST:: SOT 28629 SOS 10851 HAS SOPS 10851 HAS SOUS 8314 HAS SOUPS 8314 WITH SCORE 8324.851
AT ITER 720 NEW BEST:: SOT 28637 SOS 10848 HAS SOPS 10848 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8321.848
AT ITER 721 NEW BEST:: SOT 28634 SOS 10842 HAS SOPS 10842 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8318.842
AT ITER 724 NEW BEST:: SOT 28634 SOS 10815 HAS SOPS 10815 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8317.815
AT ITER 732 NEW BEST:: SOT 28627 SOS 10801 HAS SOPS 10801 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8303.801
AT ITER 745 NEW BEST:: SOT 28586 SOS 10749 HAS SOPS 10749 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8260.749
AT ITER 749 NEW BEST:: SOT 28556 SOS 10706 HAS SOPS 10706 HAS SOUS 8244 HAS SOUPS 8244 WITH SCORE 8254.706
AT ITER 750 NEW BEST:: SOT 28522 SOS 10672 HAS SOPS 10672 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8220.672
AT ITER 758 NEW BEST:: SOT 28522 SOS 10671 HAS SOPS 10671 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8219.671
AT ITER 768 NEW BEST:: SOT 28538 SOS 10683 HAS SOPS 10683 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8208.683
AT ITER 770 NEW BEST:: SOT 28537 SOS 10681 HAS SOPS 10681 HAS SOUS 8196 HAS SOUPS 8196 WITH SCORE 8206.681
AT ITER 775 NEW BEST:: SOT 28529 SOS 10665 HAS SOPS 10665 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8199.665
AT ITER 793 NEW BEST:: SOT 28523 SOS 10653 HAS SOPS 10653 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8193.653
AT ITER 811 NEW BEST:: SOT 28520 SOS 10639 HAS SOPS 10639 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8186.639
AT ITER 814 NEW BEST:: SOT 28515 SOS 10624 HAS SOPS 10624 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8181.624
AT ITER 821 NEW BEST:: SOT 28513 SOS 10620 HAS SOPS 10620 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8179.62
AT ITER 828 NEW BEST:: SOT 28466 SOS 10557 HAS SOPS 10557 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8116.557
AT ITER 856 NEW BEST:: SOT 28469 SOS 10558 HAS SOPS 10558 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8109.558
AT ITER 861 NEW BEST:: SOT 28460 SOS 10540 HAS SOPS 10540 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8091.54
AT ITER 862 NEW BEST:: SOT 28452 SOS 10516 HAS SOPS 10516 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8075.516
AT ITER 873 NEW BEST:: SOT 28423 SOS 10506 HAS SOPS 10506 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8065.506
AT ITER 884 NEW BEST:: SOT 28426 SOS 10512 HAS SOPS 10512 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8060.512
AT ITER 896 NEW BEST:: SOT 28394 SOS 10464 HAS SOPS 10464 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8012.464
AT ITER 898 NEW BEST:: SOT 28394 SOS 10462 HAS SOPS 10462 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8010.462
AT ITER 910 NEW BEST:: SOT 28393 SOS 10461 HAS SOPS 10461 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8008.461
AT ITER 914 NEW BEST:: SOT 28381 SOS 10437 HAS SOPS 10437 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7996.437
AT ITER 922 NEW BEST:: SOT 28380 SOS 10436 HAS SOPS 10436 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7996.436
AT ITER 924 NEW BEST:: SOT 28371 SOS 10407 HAS SOPS 10407 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7976.407
AT ITER 947 NEW BEST:: SOT 28342 SOS 10449 HAS SOPS 10449 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7957.449
AT ITER 956 NEW BEST:: SOT 28340 SOS 10727 HAS SOPS 10727 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7955.727
AT ITER 965 NEW BEST:: SOT 28340 SOS 10727 HAS SOPS 10727 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7941.727
AT ITER 966 NEW BEST:: SOT 28302 SOS 10682 HAS SOPS 10682 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7887.682
AT ITER 980 NEW BEST:: SOT 28297 SOS 10670 HAS SOPS 10670 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7875.67
AT ITER 988 NEW BEST:: SOT 28290 SOS 10656 HAS SOPS 10656 HAS SOUS 7858 HAS SOUPS 7858 WITH SCORE 7868.656
AT ITER 1006 NEW BEST:: SOT 28252 SOS 10646 HAS SOPS 10646 HAS SOUS 7854 HAS SOUPS 7854 WITH SCORE 7864.646
AT ITER 1007 NEW BEST:: SOT 28248 SOS 10654 HAS SOPS 10654 HAS SOUS 7846 HAS SOUPS 7846 WITH SCORE 7856.654
AT ITER 1015 NEW BEST:: SOT 28245 SOS 10648 HAS SOPS 10648 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7854.648
AT ITER 1033 NEW BEST:: SOT 28245 SOS 10648 HAS SOPS 10648 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7845.648
AT ITER 1045 NEW BEST:: SOT 28244 SOS 10646 HAS SOPS 10646 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7844.646
AT ITER 1047 NEW BEST:: SOT 28188 SOS 10660 HAS SOPS 10660 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7808.66
AT ITER 1049 NEW BEST:: SOT 28184 SOS 10656 HAS SOPS 10656 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7804.656
AT ITER 1057 NEW BEST:: SOT 28184 SOS 10656 HAS SOPS 10656 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7799.656
AT ITER 1064 NEW BEST:: SOT 28174 SOS 10651 HAS SOPS 10651 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7794.651
AT ITER 1070 NEW BEST:: SOT 28096 SOS 10527 HAS SOPS 10527 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7716.527
AT ITER 1071 NEW BEST:: SOT 28058 SOS 10451 HAS SOPS 10451 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7693.451
AT ITER 1078 NEW BEST:: SOT 28058 SOS 10437 HAS SOPS 10437 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7679.437
AT ITER 1088 NEW BEST:: SOT 28021 SOS 10400 HAS SOPS 10400 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7639.4
AT ITER 1096 NEW BEST:: SOT 28035 SOS 10372 HAS SOPS 10372 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7582.372
AT ITER 1102 NEW BEST:: SOT 28035 SOS 10372 HAS SOPS 10372 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7573.372
AT ITER 1134 NEW BEST:: SOT 28033 SOS 10369 HAS SOPS 10369 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7571.369
AT ITER 1139 NEW BEST:: SOT 28033 SOS 10354 HAS SOPS 10354 HAS SOUS 7546 HAS SOUPS 7546 WITH SCORE 7556.354
AT ITER 1144 NEW BEST:: SOT 28012 SOS 10333 HAS SOPS 10333 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7539.333
AT ITER 1145 NEW BEST:: SOT 28002 SOS 10323 HAS SOPS 10323 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7529.323
AT ITER 1180 NEW BEST:: SOT 27994 SOS 10326 HAS SOPS 10326 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7527.326
AT ITER 1191 NEW BEST:: SOT 27989 SOS 10316 HAS SOPS 10316 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7522.316
AT ITER 1202 NEW BEST:: SOT 27989 SOS 10316 HAS SOPS 10316 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7519.316
AT ITER 1214 NEW BEST:: SOT 27959 SOS 10284 HAS SOPS 10284 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7517.284
AT ITER 1244 NEW BEST:: SOT 27957 SOS 10280 HAS SOPS 10280 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7515.28
AT ITER 1259 NEW BEST:: SOT 27956 SOS 10278 HAS SOPS 10278 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7514.278
AT ITER 1262 NEW BEST:: SOT 27955 SOS 10268 HAS SOPS 10268 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7512.268
AT ITER 1273 NEW BEST:: SOT 27955 SOS 10268 HAS SOPS 10268 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7506.268
AT ITER 1277 NEW BEST:: SOT 27954 SOS 10271 HAS SOPS 10271 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7505.271
AT ITER 1291 NEW BEST:: SOT 27954 SOS 10188 HAS SOPS 10188 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7505.188
AT ITER 1301 NEW BEST:: SOT 27929 SOS 10126 HAS SOPS 10126 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7468.126
AT ITER 1322 NEW BEST:: SOT 27904 SOS 10061 HAS SOPS 10061 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7425.061
AT ITER 1323 NEW BEST:: SOT 27912 SOS 10017 HAS SOPS 10017 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7403.017
AT ITER 1332 NEW BEST:: SOT 27912 SOS 10017 HAS SOPS 10017 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7396.017
AT ITER 1353 NEW BEST:: SOT 27918 SOS 10011 HAS SOPS 10011 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7390.011
AT ITER 1363 NEW BEST:: SOT 27918 SOS 10011 HAS SOPS 10011 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7384.011
AT ITER 1387 NEW BEST:: SOT 27915 SOS 10008 HAS SOPS 10008 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7381.008
AT ITER 1457 NEW BEST:: SOT 27873 SOS 10019 HAS SOPS 10019 HAS SOUS 7329 HAS SOUPS 7329 WITH SCORE 7339.019
AT ITER 1458 NEW BEST:: SOT 27872 SOS 10017 HAS SOPS 10017 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7337.017
AT ITER 1466 NEW BEST:: SOT 27872 SOS 10014 HAS SOPS 10014 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7337.014
AT ITER 1484 NEW BEST:: SOT 27875 SOS 10017 HAS SOPS 10017 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7336.017
AT ITER 1496 NEW BEST:: SOT 27851 SOS 10012 HAS SOPS 10012 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7316.012
AT ITER 1501 NEW BEST:: SOT 27851 SOS 10006 HAS SOPS 10006 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7316.006
AT ITER 1512 NEW BEST:: SOT 27842 SOS 9997 HAS SOPS 9997 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7297.997
AT ITER 1521 NEW BEST:: SOT 27838 SOS 9957 HAS SOPS 9957 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7289.957
AT ITER 1540 NEW BEST:: SOT 27826 SOS 9922 HAS SOPS 9922 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7265.922
AT ITER 1556 NEW BEST:: SOT 27826 SOS 9921 HAS SOPS 9921 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7264.921
AT ITER 1563 NEW BEST:: SOT 27798 SOS 9877 HAS SOPS 9877 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7208.877
AT ITER 1568 NEW BEST:: SOT 27776 SOS 9864 HAS SOPS 9864 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7195.864
AT ITER 1573 NEW BEST:: SOT 27776 SOS 9859 HAS SOPS 9859 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7195.859
AT ITER 1583 NEW BEST:: SOT 27804 SOS 9895 HAS SOPS 9895 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7155.895
AT ITER 1597 NEW BEST:: SOT 27805 SOS 9881 HAS SOPS 9881 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7131.881
AT ITER 1605 NEW BEST:: SOT 27805 SOS 9881 HAS SOPS 9881 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7124.881
AT ITER 1613 NEW BEST:: SOT 27782 SOS 9836 HAS SOPS 9836 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7100.836
AT ITER 1629 NEW BEST:: SOT 27776 SOS 9824 HAS SOPS 9824 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7096.824
AT ITER 1659 NEW BEST:: SOT 27769 SOS 9838 HAS SOPS 9838 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7089.838
AT ITER 1661 NEW BEST:: SOT 27767 SOS 9836 HAS SOPS 9836 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7085.836
AT ITER 1702 NEW BEST:: SOT 27777 SOS 9825 HAS SOPS 9825 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7067.825
AT ITER 1712 NEW BEST:: SOT 27766 SOS 9814 HAS SOPS 9814 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7045.814
AT ITER 1715 NEW BEST:: SOT 27765 SOS 9812 HAS SOPS 9812 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7043.812
AT ITER 1724 NEW BEST:: SOT 27743 SOS 9780 HAS SOPS 9780 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7011.78
AT ITER 1725 NEW BEST:: SOT 27743 SOS 9776 HAS SOPS 9776 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7011.776
AT ITER 1729 NEW BEST:: SOT 27742 SOS 9761 HAS SOPS 9761 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7009.761
AT ITER 1743 NEW BEST:: SOT 27742 SOS 9750 HAS SOPS 9750 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7006.75
AT ITER 1753 NEW BEST:: SOT 27739 SOS 9747 HAS SOPS 9747 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7006.747
AT ITER 1758 NEW BEST:: SOT 27731 SOS 9731 HAS SOPS 9731 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6997.731
AT ITER 1766 NEW BEST:: SOT 27721 SOS 9736 HAS SOPS 9736 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6992.736
AT ITER 1772 NEW BEST:: SOT 27724 SOS 9758 HAS SOPS 9758 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6989.758
AT ITER 1781 NEW BEST:: SOT 27703 SOS 9716 HAS SOPS 9716 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6947.716
AT ITER 1801 NEW BEST:: SOT 27705 SOS 9714 HAS SOPS 9714 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6943.714
AT ITER 1802 NEW BEST:: SOT 27705 SOS 9714 HAS SOPS 9714 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6903.714
AT ITER 1813 NEW BEST:: SOT 27700 SOS 9709 HAS SOPS 9709 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6898.709
AT ITER 1817 NEW BEST:: SOT 27665 SOS 9667 HAS SOPS 9667 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6856.667
AT ITER 1828 NEW BEST:: SOT 27665 SOS 9667 HAS SOPS 9667 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6851.667
AT ITER 1879 NEW BEST:: SOT 27632 SOS 9619 HAS SOPS 9619 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6809.619
AT ITER 1907 NEW BEST:: SOT 27625 SOS 9613 HAS SOPS 9613 HAS SOUS 6784 HAS SOUPS 6784 WITH SCORE 6793.613
AT ITER 1912 NEW BEST:: SOT 27619 SOS 9595 HAS SOPS 9595 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6781.595
AT ITER 1919 NEW BEST:: SOT 27530 SOS 9610 HAS SOPS 9610 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6699.61
AT ITER 1945 NEW BEST:: SOT 27529 SOS 9608 HAS SOPS 9608 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6698.608
AT ITER 1952 NEW BEST:: SOT 27522 SOS 9601 HAS SOPS 9601 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6684.601
AT ITER 1953 NEW BEST:: SOT 27501 SOS 9559 HAS SOPS 9559 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6644.559
AT ITER 1978 NEW BEST:: SOT 27480 SOS 9514 HAS SOPS 9514 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6596.514
AT ITER 2005 NEW BEST:: SOT 27476 SOS 9521 HAS SOPS 9521 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6588.521
AT ITER 2096 NEW BEST:: SOT 27477 SOS 9523 HAS SOPS 9523 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6580.523
AT ITER 2102 NEW BEST:: SOT 27470 SOS 9509 HAS SOPS 9509 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6573.509
AT ITER 2104 NEW BEST:: SOT 27465 SOS 9499 HAS SOPS 9499 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6566.499
AT ITER 2109 NEW BEST:: SOT 27457 SOS 9494 HAS SOPS 9494 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6551.494
AT ITER 2138 NEW BEST:: SOT 27461 SOS 9498 HAS SOPS 9498 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6548.498
AT ITER 2142 NEW BEST:: SOT 27457 SOS 9484 HAS SOPS 9484 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6538.484
AT ITER 2144 NEW BEST:: SOT 27456 SOS 9482 HAS SOPS 9482 HAS SOUS 6528 HAS SOUPS 6528 WITH SCORE 6537.482
AT ITER 2175 NEW BEST:: SOT 27437 SOS 9463 HAS SOPS 9463 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6524.463
AT ITER 2213 NEW BEST:: SOT 27425 SOS 9439 HAS SOPS 9439 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6507.439
AT ITER 2245 NEW BEST:: SOT 27419 SOS 9427 HAS SOPS 9427 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6495.427
AT ITER 2250 NEW BEST:: SOT 27414 SOS 9410 HAS SOPS 9410 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6485.41
AT ITER 2251 NEW BEST:: SOT 27412 SOS 9406 HAS SOPS 9406 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6481.406
AT ITER 2257 NEW BEST:: SOT 27382 SOS 9326 HAS SOPS 9326 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6421.326
AT ITER 2260 NEW BEST:: SOT 27399 SOS 9307 HAS SOPS 9307 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6402.307
AT ITER 2263 NEW BEST:: SOT 27399 SOS 9307 HAS SOPS 9307 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6391.307
AT ITER 2274 NEW BEST:: SOT 27398 SOS 9305 HAS SOPS 9305 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6391.305
AT ITER 2282 NEW BEST:: SOT 27388 SOS 9314 HAS SOPS 9314 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6371.314
AT ITER 2284 NEW BEST:: SOT 27376 SOS 9290 HAS SOPS 9290 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6359.29
AT ITER 2300 NEW BEST:: SOT 27370 SOS 9263 HAS SOPS 9263 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6359.263
AT ITER 2314 NEW BEST:: SOT 27373 SOS 9262 HAS SOPS 9262 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6358.262
AT ITER 2334 NEW BEST:: SOT 27362 SOS 9240 HAS SOPS 9240 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6341.24
AT ITER 2348 NEW BEST:: SOT 27364 SOS 9205 HAS SOPS 9205 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6306.205
AT ITER 2350 NEW BEST:: SOT 27366 SOS 9201 HAS SOPS 9201 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6302.201
AT ITER 2351 NEW BEST:: SOT 27361 SOS 9191 HAS SOPS 9191 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6292.191
AT ITER 2363 NEW BEST:: SOT 27361 SOS 9190 HAS SOPS 9190 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6292.19
AT ITER 2438 NEW BEST:: SOT 27319 SOS 9271 HAS SOPS 9271 HAS SOUS 6275 HAS SOUPS 6275 WITH SCORE 6284.271
AT ITER 2441 NEW BEST:: SOT 27321 SOS 9259 HAS SOPS 9259 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6281.259
AT ITER 2443 NEW BEST:: SOT 27307 SOS 9217 HAS SOPS 9217 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6280.217
AT ITER 2466 NEW BEST:: SOT 27300 SOS 9187 HAS SOPS 9187 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6269.187
AT ITER 2482 NEW BEST:: SOT 27300 SOS 9187 HAS SOPS 9187 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6268.187
AT ITER 2516 NEW BEST:: SOT 27290 SOS 9068 HAS SOPS 9068 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6250.068
AT ITER 2517 NEW BEST:: SOT 27280 SOS 9058 HAS SOPS 9058 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6250.058
AT ITER 2536 NEW BEST:: SOT 27280 SOS 9056 HAS SOPS 9056 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6248.056
AT ITER 2542 NEW BEST:: SOT 27280 SOS 9054 HAS SOPS 9054 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6248.054
AT ITER 2547 NEW BEST:: SOT 27280 SOS 9040 HAS SOPS 9040 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6248.04
AT ITER 2565 NEW BEST:: SOT 27271 SOS 9061 HAS SOPS 9061 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6239.061
AT ITER 2581 NEW BEST:: SOT 27266 SOS 9093 HAS SOPS 9093 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6232.093
AT ITER 2582 NEW BEST:: SOT 27259 SOS 9079 HAS SOPS 9079 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6225.079
AT ITER 2627 NEW BEST:: SOT 27259 SOS 9065 HAS SOPS 9065 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6225.065
AT ITER 2644 NEW BEST:: SOT 27250 SOS 9053 HAS SOPS 9053 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6213.053
AT ITER 2657 NEW BEST:: SOT 27244 SOS 9047 HAS SOPS 9047 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6186.047
AT ITER 2686 NEW BEST:: SOT 27242 SOS 8965 HAS SOPS 8965 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6163.965
AT ITER 2691 NEW BEST:: SOT 27242 SOS 8965 HAS SOPS 8965 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6157.965
AT ITER 2747 NEW BEST:: SOT 27242 SOS 8965 HAS SOPS 8965 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6144.965
AT ITER 2749 NEW BEST:: SOT 27236 SOS 8967 HAS SOPS 8967 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6140.967
AT ITER 2801 NEW BEST:: SOT 27216 SOS 9007 HAS SOPS 9007 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6108.007
AT ITER 2804 NEW BEST:: SOT 27215 SOS 9023 HAS SOPS 9023 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6106.023
AT ITER 2821 NEW BEST:: SOT 27219 SOS 9043 HAS SOPS 9043 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6090.043
AT ITER 2849 NEW BEST:: SOT 27221 SOS 9029 HAS SOPS 9029 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6076.029
AT ITER 2867 NEW BEST:: SOT 27211 SOS 8995 HAS SOPS 8995 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6065.995
AT ITER 2879 NEW BEST:: SOT 27208 SOS 8996 HAS SOPS 8996 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6062.996
AT ITER 2882 NEW BEST:: SOT 27208 SOS 8993 HAS SOPS 8993 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6059.993
AT ITER 2890 NEW BEST:: SOT 27185 SOS 8983 HAS SOPS 8983 HAS SOUS 6041 HAS SOUPS 6041 WITH SCORE 6049.983
AT ITER 2898 NEW BEST:: SOT 27185 SOS 8978 HAS SOPS 8978 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6044.978
AT ITER 2900 NEW BEST:: SOT 27177 SOS 8970 HAS SOPS 8970 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6028.97
AT ITER 2942 NEW BEST:: SOT 27176 SOS 8968 HAS SOPS 8968 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6026.968
AT ITER 2952 NEW BEST:: SOT 27128 SOS 8897 HAS SOPS 8897 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5979.897
AT ITER 2980 NEW BEST:: SOT 27142 SOS 8898 HAS SOPS 8898 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5977.898
AT ITER 2986 NEW BEST:: SOT 27136 SOS 8894 HAS SOPS 8894 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5975.894
AT ITER 2992 NEW BEST:: SOT 27132 SOS 8866 HAS SOPS 8866 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5962.866
AT ITER 3060 NEW BEST:: SOT 27123 SOS 8859 HAS SOPS 8859 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5955.859
AT ITER 3081 NEW BEST:: SOT 27112 SOS 8886 HAS SOPS 8886 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5944.886
AT ITER 3114 NEW BEST:: SOT 27111 SOS 8885 HAS SOPS 8885 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5942.885
AT ITER 3126 NEW BEST:: SOT 27111 SOS 8885 HAS SOPS 8885 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5916.885
AT ITER 3238 NEW BEST:: SOT 27117 SOS 8871 HAS SOPS 8871 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5912.871
AT ITER 3252 NEW BEST:: SOT 27117 SOS 8865 HAS SOPS 8865 HAS SOUS 5904 HAS SOUPS 5904 WITH SCORE 5912.865
AT ITER 3289 NEW BEST:: SOT 27110 SOS 8844 HAS SOPS 8844 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5901.844
AT ITER 3300 NEW BEST:: SOT 27109 SOS 8843 HAS SOPS 8843 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5900.843
AT ITER 3325 NEW BEST:: SOT 27105 SOS 8835 HAS SOPS 8835 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5892.835
AT ITER 3376 NEW BEST:: SOT 27101 SOS 8830 HAS SOPS 8830 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5887.83
AT ITER 3379 NEW BEST:: SOT 27089 SOS 8821 HAS SOPS 8821 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5871.821
AT ITER 3401 NEW BEST:: SOT 27088 SOS 8821 HAS SOPS 8821 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5870.821
AT ITER 3412 NEW BEST:: SOT 27088 SOS 8818 HAS SOPS 8818 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5867.818
AT ITER 3427 NEW BEST:: SOT 27088 SOS 8818 HAS SOPS 8818 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5865.818
AT ITER 3455 NEW BEST:: SOT 27087 SOS 8817 HAS SOPS 8817 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5863.817
AT ITER 3479 NEW BEST:: SOT 27071 SOS 8786 HAS SOPS 8786 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5831.786
AT ITER 3495 NEW BEST:: SOT 27069 SOS 8784 HAS SOPS 8784 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5829.784
AT ITER 3542 NEW BEST:: SOT 27067 SOS 8785 HAS SOPS 8785 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5827.785
AT ITER 3556 NEW BEST:: SOT 27073 SOS 8746 HAS SOPS 8746 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5800.746
AT ITER 3557 NEW BEST:: SOT 27054 SOS 8708 HAS SOPS 8708 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5782.708
AT ITER 3600 NEW BEST:: SOT 27051 SOS 8705 HAS SOPS 8705 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5779.705
AT ITER 3636 NEW BEST:: SOT 27040 SOS 8683 HAS SOPS 8683 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5757.683
AT ITER 3672 NEW BEST:: SOT 27037 SOS 8677 HAS SOPS 8677 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5752.677
AT ITER 3702 NEW BEST:: SOT 27035 SOS 8675 HAS SOPS 8675 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5750.675
AT ITER 3710 NEW BEST:: SOT 27037 SOS 8683 HAS SOPS 8683 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5748.683
AT ITER 3711 NEW BEST:: SOT 27031 SOS 8950 HAS SOPS 8950 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5747.95
AT ITER 3762 NEW BEST:: SOT 27025 SOS 8938 HAS SOPS 8938 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5741.938
AT ITER 3825 NEW BEST:: SOT 27018 SOS 8942 HAS SOPS 8942 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5734.942
AT ITER 3830 NEW BEST:: SOT 27018 SOS 8942 HAS SOPS 8942 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5726.942
AT ITER 3841 NEW BEST:: SOT 27004 SOS 8939 HAS SOPS 8939 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5721.939
AT ITER 3852 NEW BEST:: SOT 27003 SOS 8935 HAS SOPS 8935 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5719.935
AT ITER 3858 NEW BEST:: SOT 26997 SOS 8909 HAS SOPS 8909 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5699.909
AT ITER 3867 NEW BEST:: SOT 26997 SOS 8903 HAS SOPS 8903 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5699.903
AT ITER 3900 NEW BEST:: SOT 26986 SOS 8884 HAS SOPS 8884 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5677.884
AT ITER 3987 NEW BEST:: SOT 26985 SOS 8904 HAS SOPS 8904 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5676.904
AT ITER 3992 NEW BEST:: SOT 26981 SOS 8894 HAS SOPS 8894 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5665.894
AT ITER 4057 NEW BEST:: SOT 26980 SOS 8893 HAS SOPS 8893 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5664.893
AT ITER 4079 NEW BEST:: SOT 26977 SOS 8895 HAS SOPS 8895 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5660.895
AT ITER 4117 NEW BEST:: SOT 26977 SOS 8887 HAS SOPS 8887 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5660.887
AT ITER 4134 NEW BEST:: SOT 26973 SOS 8879 HAS SOPS 8879 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5652.879
AT ITER 4178 NEW BEST:: SOT 26955 SOS 8845 HAS SOPS 8845 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5648.845
AT ITER 4206 NEW BEST:: SOT 26955 SOS 8812 HAS SOPS 8812 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5648.812
AT ITER 4238 NEW BEST:: SOT 26953 SOS 8811 HAS SOPS 8811 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5647.811
AT ITER 4244 NEW BEST:: SOT 26947 SOS 8805 HAS SOPS 8805 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5635.805
AT ITER 4284 NEW BEST:: SOT 26943 SOS 8801 HAS SOPS 8801 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5631.801
AT ITER 4299 NEW BEST:: SOT 26944 SOS 8794 HAS SOPS 8794 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5628.794
AT ITER 4305 NEW BEST:: SOT 26942 SOS 8792 HAS SOPS 8792 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5624.792
AT ITER 4328 NEW BEST:: SOT 26937 SOS 8781 HAS SOPS 8781 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5614.781
AT ITER 4403 NEW BEST:: SOT 26934 SOS 8775 HAS SOPS 8775 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5608.775
AT ITER 4418 NEW BEST:: SOT 26930 SOS 8767 HAS SOPS 8767 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5603.767
AT ITER 4539 NEW BEST:: SOT 26922 SOS 8764 HAS SOPS 8764 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5598.764
AT ITER 4572 NEW BEST:: SOT 26914 SOS 8739 HAS SOPS 8739 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5579.739
AT ITER 4582 NEW BEST:: SOT 26916 SOS 8743 HAS SOPS 8743 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5575.743
AT ITER 4587 NEW BEST:: SOT 26916 SOS 8732 HAS SOPS 8732 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5575.732
AT ITER 4621 NEW BEST:: SOT 26916 SOS 8732 HAS SOPS 8732 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5573.732
AT ITER 4648 NEW BEST:: SOT 26915 SOS 8727 HAS SOPS 8727 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5554.727
AT ITER 4667 NEW BEST:: SOT 26907 SOS 8714 HAS SOPS 8714 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5543.714
AT ITER 4671 NEW BEST:: SOT 26897 SOS 8688 HAS SOPS 8688 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5541.688
AT ITER 4673 NEW BEST:: SOT 26896 SOS 8677 HAS SOPS 8677 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5539.677
AT ITER 4708 NEW BEST:: SOT 26896 SOS 8661 HAS SOPS 8661 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5523.661
AT ITER 4736 NEW BEST:: SOT 26894 SOS 8661 HAS SOPS 8661 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5521.661
AT ITER 4756 NEW BEST:: SOT 26893 SOS 8660 HAS SOPS 8660 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5520.66
AT ITER 4786 NEW BEST:: SOT 26887 SOS 8651 HAS SOPS 8651 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5511.651
AT ITER 4819 NEW BEST:: SOT 26880 SOS 8653 HAS SOPS 8653 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5497.653
AT ITER 4861 NEW BEST:: SOT 26876 SOS 8660 HAS SOPS 8660 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5496.66
AT ITER 4880 NEW BEST:: SOT 26876 SOS 8660 HAS SOPS 8660 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5491.66
AT ITER 4910 NEW BEST:: SOT 26876 SOS 8660 HAS SOPS 8660 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5484.66
AT ITER 4929 NEW BEST:: SOT 26874 SOS 8629 HAS SOPS 8629 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5480.629
AT ITER 4937 NEW BEST:: SOT 26870 SOS 8617 HAS SOPS 8617 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5472.617
AT ITER 5024 NEW BEST:: SOT 26860 SOS 8607 HAS SOPS 8607 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5462.607
AT ITER 5057 NEW BEST:: SOT 26852 SOS 8588 HAS SOPS 8588 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5443.588
AT ITER 5058 NEW BEST:: SOT 26852 SOS 8588 HAS SOPS 8588 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5423.588
AT ITER 5101 NEW BEST:: SOT 26855 SOS 8594 HAS SOPS 8594 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5418.594
AT ITER 5128 NEW BEST:: SOT 26853 SOS 8590 HAS SOPS 8590 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5416.59
AT ITER 5131 NEW BEST:: SOT 26839 SOS 8583 HAS SOPS 8583 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5388.583
AT ITER 5172 NEW BEST:: SOT 26811 SOS 8546 HAS SOPS 8546 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5365.546
AT ITER 5226 NEW BEST:: SOT 26807 SOS 8534 HAS SOPS 8534 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5357.534
AT ITER 5244 NEW BEST:: SOT 26806 SOS 8525 HAS SOPS 8525 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5355.525
AT ITER 5323 NEW BEST:: SOT 26807 SOS 8517 HAS SOPS 8517 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5354.517
AT ITER 5382 NEW BEST:: SOT 26805 SOS 8515 HAS SOPS 8515 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5350.515
AT ITER 5395 NEW BEST:: SOT 26805 SOS 8515 HAS SOPS 8515 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5348.515
AT ITER 5411 NEW BEST:: SOT 26805 SOS 8359 HAS SOPS 8359 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5340.359
AT ITER 5531 NEW BEST:: SOT 26807 SOS 8360 HAS SOPS 8360 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5338.36
AT ITER 5563 NEW BEST:: SOT 26801 SOS 8352 HAS SOPS 8352 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5332.352
AT ITER 5564 NEW BEST:: SOT 26801 SOS 8350 HAS SOPS 8350 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5331.35
AT ITER 5610 NEW BEST:: SOT 26800 SOS 8348 HAS SOPS 8348 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5329.348
AT ITER 5613 NEW BEST:: SOT 26799 SOS 8346 HAS SOPS 8346 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5327.346
AT ITER 5653 NEW BEST:: SOT 26797 SOS 8344 HAS SOPS 8344 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5323.344
AT ITER 5691 NEW BEST:: SOT 26838 SOS 8382 HAS SOPS 8382 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5319.382
AT ITER 5751 NEW BEST:: SOT 26836 SOS 8362 HAS SOPS 8362 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5299.362
AT ITER 5766 NEW BEST:: SOT 26826 SOS 8342 HAS SOPS 8342 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5279.342
AT ITER 5786 NEW BEST:: SOT 26817 SOS 8339 HAS SOPS 8339 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5277.339
AT ITER 5841 NEW BEST:: SOT 26828 SOS 8361 HAS SOPS 8361 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5272.361
AT ITER 5881 NEW BEST:: SOT 26828 SOS 8359 HAS SOPS 8359 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5270.359
AT ITER 5927 NEW BEST:: SOT 26827 SOS 8358 HAS SOPS 8358 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5269.358
AT ITER 5936 NEW BEST:: SOT 26824 SOS 8354 HAS SOPS 8354 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5265.354
AT ITER 5964 NEW BEST:: SOT 26824 SOS 8336 HAS SOPS 8336 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5265.336
AT ITER 6004 NEW BEST:: SOT 26823 SOS 8311 HAS SOPS 8311 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5263.311
AT ITER 6028 NEW BEST:: SOT 26826 SOS 8317 HAS SOPS 8317 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5261.317
AT ITER 6093 NEW BEST:: SOT 26818 SOS 8301 HAS SOPS 8301 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5240.301
AT ITER 6134 NEW BEST:: SOT 26805 SOS 8275 HAS SOPS 8275 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5212.275
AT ITER 6151 NEW BEST:: SOT 26800 SOS 8272 HAS SOPS 8272 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5203.272
AT ITER 6189 NEW BEST:: SOT 26798 SOS 8268 HAS SOPS 8268 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5199.268
AT ITER 6219 NEW BEST:: SOT 26798 SOS 8273 HAS SOPS 8273 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5194.273
AT ITER 6355 NEW BEST:: SOT 26788 SOS 8253 HAS SOPS 8253 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5174.253
AT ITER 6362 NEW BEST:: SOT 26788 SOS 8242 HAS SOPS 8242 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5174.242
AT ITER 6369 NEW BEST:: SOT 26785 SOS 8234 HAS SOPS 8234 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5168.234
AT ITER 6456 NEW BEST:: SOT 26785 SOS 8176 HAS SOPS 8176 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5168.176
AT ITER 6476 NEW BEST:: SOT 26763 SOS 8132 HAS SOPS 8132 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5130.132
AT ITER 6532 NEW BEST:: SOT 26762 SOS 8129 HAS SOPS 8129 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5128.129
AT ITER 6570 NEW BEST:: SOT 26760 SOS 8125 HAS SOPS 8125 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5128.125
AT ITER 6648 NEW BEST:: SOT 26749 SOS 8114 HAS SOPS 8114 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5117.114
AT ITER 6779 NEW BEST:: SOT 26744 SOS 8104 HAS SOPS 8104 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5111.104
AT ITER 6824 NEW BEST:: SOT 26726 SOS 8089 HAS SOPS 8089 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5096.089
AT ITER 6891 NEW BEST:: SOT 26724 SOS 8085 HAS SOPS 8085 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5091.085
AT ITER 6908 NEW BEST:: SOT 26717 SOS 8078 HAS SOPS 8078 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5084.078
AT ITER 6930 NEW BEST:: SOT 26705 SOS 8066 HAS SOPS 8066 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5072.066
AT ITER 6947 NEW BEST:: SOT 26702 SOS 8067 HAS SOPS 8067 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5066.067
AT ITER 6963 NEW BEST:: SOT 26700 SOS 8063 HAS SOPS 8063 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5062.063
AT ITER 7051 NEW BEST:: SOT 26699 SOS 8060 HAS SOPS 8060 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5060.06
AT ITER 7127 NEW BEST:: SOT 26695 SOS 8054 HAS SOPS 8054 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5054.054
AT ITER 7130 NEW BEST:: SOT 26694 SOS 8058 HAS SOPS 8058 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5052.058
AT ITER 7167 NEW BEST:: SOT 26669 SOS 8033 HAS SOPS 8033 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5027.033
AT ITER 7296 NEW BEST:: SOT 26671 SOS 8032 HAS SOPS 8032 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5026.032
AT ITER 7351 NEW BEST:: SOT 26668 SOS 8086 HAS SOPS 8086 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5025.086
AT ITER 7389 NEW BEST:: SOT 26669 SOS 8084 HAS SOPS 8084 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5023.084
AT ITER 7465 NEW BEST:: SOT 26667 SOS 8080 HAS SOPS 8080 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5021.08
AT ITER 7490 NEW BEST:: SOT 26665 SOS 8068 HAS SOPS 8068 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5017.068
AT ITER 7643 NEW BEST:: SOT 26665 SOS 8056 HAS SOPS 8056 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5010.056
AT ITER 7652 NEW BEST:: SOT 26658 SOS 8042 HAS SOPS 8042 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4996.042
AT ITER 7667 NEW BEST:: SOT 26686 SOS 8032 HAS SOPS 8032 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4983.032
AT ITER 7755 NEW BEST:: SOT 26686 SOS 8028 HAS SOPS 8028 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4983.028
AT ITER 7843 NEW BEST:: SOT 26681 SOS 8018 HAS SOPS 8018 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4968.018
AT ITER 7909 NEW BEST:: SOT 26694 SOS 8003 HAS SOPS 8003 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4953.003
AT ITER 7930 NEW BEST:: SOT 26693 SOS 8002 HAS SOPS 8002 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4951.002
AT ITER 7953 NEW BEST:: SOT 26692 SOS 8000 HAS SOPS 8000 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4946.0
AT ITER 8021 NEW BEST:: SOT 26692 SOS 7984 HAS SOPS 7984 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4945.984
AT ITER 8089 NEW BEST:: SOT 26682 SOS 7974 HAS SOPS 7974 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4925.974
AT ITER 8108 NEW BEST:: SOT 26681 SOS 7972 HAS SOPS 7972 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4924.972
AT ITER 8139 NEW BEST:: SOT 26679 SOS 7968 HAS SOPS 7968 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4923.968
AT ITER 8144 NEW BEST:: SOT 26682 SOS 7984 HAS SOPS 7984 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4917.984
AT ITER 8156 NEW BEST:: SOT 26679 SOS 7977 HAS SOPS 7977 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4911.977
AT ITER 8165 NEW BEST:: SOT 26679 SOS 7968 HAS SOPS 7968 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4910.968
AT ITER 8298 NEW BEST:: SOT 26676 SOS 7962 HAS SOPS 7962 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4904.962
AT ITER 8348 NEW BEST:: SOT 26659 SOS 7974 HAS SOPS 7974 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4899.974
AT ITER 8383 NEW BEST:: SOT 26659 SOS 7971 HAS SOPS 7971 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4896.971
AT ITER 8445 NEW BEST:: SOT 26660 SOS 7956 HAS SOPS 7956 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4896.956
AT ITER 8461 NEW BEST:: SOT 26660 SOS 7953 HAS SOPS 7953 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4896.953
AT ITER 8548 NEW BEST:: SOT 26660 SOS 7949 HAS SOPS 7949 HAS SOUS 4885 HAS SOUPS 4885 WITH SCORE 4892.949
AT ITER 8556 NEW BEST:: SOT 26656 SOS 7941 HAS SOPS 7941 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4884.941
AT ITER 8557 NEW BEST:: SOT 26656 SOS 7956 HAS SOPS 7956 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4873.956
AT ITER 8636 NEW BEST:: SOT 26656 SOS 7956 HAS SOPS 7956 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4872.956
AT ITER 8668 NEW BEST:: SOT 26656 SOS 7953 HAS SOPS 7953 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4869.953
AT ITER 8699 NEW BEST:: SOT 26664 SOS 7945 HAS SOPS 7945 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4869.945
AT ITER 8723 NEW BEST:: SOT 26663 SOS 7940 HAS SOPS 7940 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4869.94
AT ITER 8727 NEW BEST:: SOT 26663 SOS 7931 HAS SOPS 7931 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4865.931
AT ITER 8758 NEW BEST:: SOT 26661 SOS 7927 HAS SOPS 7927 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4857.927
AT ITER 8834 NEW BEST:: SOT 26661 SOS 7921 HAS SOPS 7921 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4857.921
AT ITER 8845 NEW BEST:: SOT 26657 SOS 7913 HAS SOPS 7913 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4848.913
AT ITER 8903 NEW BEST:: SOT 26656 SOS 7911 HAS SOPS 7911 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4846.911
AT ITER 8957 NEW BEST:: SOT 26653 SOS 7908 HAS SOPS 7908 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4843.908
AT ITER 8982 NEW BEST:: SOT 26651 SOS 7904 HAS SOPS 7904 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4839.904
AT ITER 9070 NEW BEST:: SOT 26647 SOS 7900 HAS SOPS 7900 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4835.9
AT ITER 9096 NEW BEST:: SOT 26645 SOS 7899 HAS SOPS 7899 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4831.899
AT ITER 9110 NEW BEST:: SOT 26644 SOS 7897 HAS SOPS 7897 HAS SOUS 4823 HAS SOUPS 4823 WITH SCORE 4830.897
AT ITER 9133 NEW BEST:: SOT 26642 SOS 7895 HAS SOPS 7895 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4828.895
AT ITER 9251 NEW BEST:: SOT 26642 SOS 7869 HAS SOPS 7869 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4802.869
AT ITER 9259 NEW BEST:: SOT 26641 SOS 7867 HAS SOPS 7867 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4800.867
AT ITER 9272 NEW BEST:: SOT 26604 SOS 7848 HAS SOPS 7848 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4781.848
AT ITER 9281 NEW BEST:: SOT 26600 SOS 7844 HAS SOPS 7844 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4773.844
AT ITER 9345 NEW BEST:: SOT 26597 SOS 7841 HAS SOPS 7841 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4767.841
AT ITER 9401 NEW BEST:: SOT 26592 SOS 7831 HAS SOPS 7831 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4757.831
AT ITER 9465 NEW BEST:: SOT 26575 SOS 7797 HAS SOPS 7797 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4737.797
AT ITER 9483 NEW BEST:: SOT 26574 SOS 7796 HAS SOPS 7796 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4736.796
AT ITER 9494 NEW BEST:: SOT 26568 SOS 7790 HAS SOPS 7790 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4727.79
AT ITER 9527 NEW BEST:: SOT 26565 SOS 7788 HAS SOPS 7788 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4725.788
AT ITER 9600 NEW BEST:: SOT 26566 SOS 7786 HAS SOPS 7786 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4725.786
AT ITER 9678 NEW BEST:: SOT 26565 SOS 7784 HAS SOPS 7784 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4717.784
AT ITER 9723 NEW BEST:: SOT 26563 SOS 7782 HAS SOPS 7782 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4713.782
AT ITER 9725 NEW BEST:: SOT 26562 SOS 7780 HAS SOPS 7780 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4713.78
AT ITER 9842 NEW BEST:: SOT 26563 SOS 7782 HAS SOPS 7782 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4712.782
AT ITER 9860 NEW BEST:: SOT 26567 SOS 7786 HAS SOPS 7786 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4694.786
AT ITER 9883 NEW BEST:: SOT 26567 SOS 7783 HAS SOPS 7783 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4691.783
AT ITER 9892 NEW BEST:: SOT 26617 SOS 7781 HAS SOPS 7781 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4690.781
AT ITER 9982 NEW BEST:: SOT 26610 SOS 7774 HAS SOPS 7774 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4676.774

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="DiscoveryGPU-PT-07b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 DiscoveryGPU-PT-07b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807700616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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