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.r048-ebro-158902542300496.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 DLCround-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 3.2K Mar 30 18:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 18:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 08:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 08:48 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:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 04:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 04:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 23:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 23:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 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 674K 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 1589124834241

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

Filename model.pnml
Petri model created: 1999 places, 2887 transitions, 7649 arcs.
AT ITER 0 NEW BEST:: SOT 3496588 SOS 761341 HAS SOPS 761341 HAS SOUS 512452 HAS SOUPS 512452 WITH SCORE 513213.341
AT ITER 8 NEW BEST:: SOT 3496092 SOS 761177 HAS SOPS 761177 HAS SOUS 512232 HAS SOUPS 512232 WITH SCORE 512993.177
AT ITER 15 NEW BEST:: SOT 3495932 SOS 761720 HAS SOPS 761720 HAS SOUS 511911 HAS SOUPS 511911 WITH SCORE 512672.72
AT ITER 49 NEW BEST:: SOT 3495931 SOS 761718 HAS SOPS 761718 HAS SOUS 511909 HAS SOUPS 511909 WITH SCORE 512670.718
AT ITER 54 NEW BEST:: SOT 3495617 SOS 760148 HAS SOPS 760148 HAS SOUS 511281 HAS SOUPS 511281 WITH SCORE 512041.148
AT ITER 61 NEW BEST:: SOT 3495594 SOS 760056 HAS SOPS 760056 HAS SOUS 511235 HAS SOUPS 511235 WITH SCORE 511995.056
AT ITER 67 NEW BEST:: SOT 3495493 SOS 761671 HAS SOPS 761671 HAS SOUS 511032 HAS SOUPS 511032 WITH SCORE 511793.671
AT ITER 114 NEW BEST:: SOT 3495067 SOS 761245 HAS SOPS 761245 HAS SOUS 510606 HAS SOUPS 510606 WITH SCORE 511367.245
AT ITER 120 NEW BEST:: SOT 3494715 SOS 759133 HAS SOPS 759133 HAS SOUS 510254 HAS SOUPS 510254 WITH SCORE 511013.133
AT ITER 127 NEW BEST:: SOT 3494809 SOS 759321 HAS SOPS 759321 HAS SOUS 510185 HAS SOUPS 510185 WITH SCORE 510944.321
AT ITER 159 NEW BEST:: SOT 3494586 SOS 759098 HAS SOPS 759098 HAS SOUS 509962 HAS SOUPS 509962 WITH SCORE 510721.098
AT ITER 161 NEW BEST:: SOT 3494481 SOS 759094 HAS SOPS 759094 HAS SOUS 509961 HAS SOUPS 509961 WITH SCORE 510720.094
AT ITER 182 NEW BEST:: SOT 3494221 SOS 758574 HAS SOPS 758574 HAS SOUS 509835 HAS SOUPS 509835 WITH SCORE 510593.574
AT ITER 196 NEW BEST:: SOT 3493975 SOS 758082 HAS SOPS 758082 HAS SOUS 509343 HAS SOUPS 509343 WITH SCORE 510101.082
AT ITER 199 NEW BEST:: SOT 3492368 SOS 762865 HAS SOPS 762865 HAS SOUS 508780 HAS SOUPS 508780 WITH SCORE 509542.865
AT ITER 222 NEW BEST:: SOT 3492603 SOS 763099 HAS SOPS 763099 HAS SOUS 508779 HAS SOUPS 508779 WITH SCORE 509542.099
AT ITER 256 NEW BEST:: SOT 3492561 SOS 763384 HAS SOPS 763384 HAS SOUS 508737 HAS SOUPS 508737 WITH SCORE 509500.384
AT ITER 274 NEW BEST:: SOT 3492291 SOS 763070 HAS SOPS 763070 HAS SOUS 508423 HAS SOUPS 508423 WITH SCORE 509186.07
AT ITER 308 NEW BEST:: SOT 3491961 SOS 759179 HAS SOPS 759179 HAS SOUS 508092 HAS SOUPS 508092 WITH SCORE 508851.179
AT ITER 332 NEW BEST:: SOT 3491898 SOS 759116 HAS SOPS 759116 HAS SOUS 508029 HAS SOUPS 508029 WITH SCORE 508788.116
AT ITER 345 NEW BEST:: SOT 3489593 SOS 757814 HAS SOPS 757814 HAS SOUS 505881 HAS SOUPS 505881 WITH SCORE 506638.814
AT ITER 355 NEW BEST:: SOT 3489159 SOS 757380 HAS SOPS 757380 HAS SOUS 505447 HAS SOUPS 505447 WITH SCORE 506204.38
AT ITER 387 NEW BEST:: SOT 3488951 SOS 757243 HAS SOPS 757243 HAS SOUS 505318 HAS SOUPS 505318 WITH SCORE 506075.243
AT ITER 396 NEW BEST:: SOT 3488875 SOS 757167 HAS SOPS 757167 HAS SOUS 505318 HAS SOUPS 505318 WITH SCORE 506075.167
AT ITER 410 NEW BEST:: SOT 3488330 SOS 756831 HAS SOPS 756831 HAS SOUS 504783 HAS SOUPS 504783 WITH SCORE 505539.831
AT ITER 463 NEW BEST:: SOT 3487945 SOS 756491 HAS SOPS 756491 HAS SOUS 504421 HAS SOUPS 504421 WITH SCORE 505177.491
AT ITER 476 NEW BEST:: SOT 3487631 SOS 753037 HAS SOPS 753037 HAS SOUS 503793 HAS SOUPS 503793 WITH SCORE 504546.037
AT ITER 488 NEW BEST:: SOT 3487601 SOS 753049 HAS SOPS 753049 HAS SOUS 503787 HAS SOUPS 503787 WITH SCORE 504540.049
AT ITER 502 NEW BEST:: SOT 3487562 SOS 752971 HAS SOPS 752971 HAS SOUS 503709 HAS SOUPS 503709 WITH SCORE 504461.971
AT ITER 509 NEW BEST:: SOT 3486804 SOS 753083 HAS SOPS 753083 HAS SOUS 503423 HAS SOUPS 503423 WITH SCORE 504176.083
AT ITER 519 NEW BEST:: SOT 3486721 SOS 753084 HAS SOPS 753084 HAS SOUS 503382 HAS SOUPS 503382 WITH SCORE 504135.084
AT ITER 561 NEW BEST:: SOT 3486583 SOS 752808 HAS SOPS 752808 HAS SOUS 503106 HAS SOUPS 503106 WITH SCORE 503858.808
AT ITER 565 NEW BEST:: SOT 3486220 SOS 752554 HAS SOPS 752554 HAS SOUS 502797 HAS SOUPS 502797 WITH SCORE 503549.554
AT ITER 572 NEW BEST:: SOT 3486006 SOS 752392 HAS SOPS 752392 HAS SOUS 502635 HAS SOUPS 502635 WITH SCORE 503387.392
AT ITER 583 NEW BEST:: SOT 3486005 SOS 753541 HAS SOPS 753541 HAS SOUS 502632 HAS SOUPS 502632 WITH SCORE 503385.541
AT ITER 592 NEW BEST:: SOT 3486005 SOS 753541 HAS SOPS 753541 HAS SOUS 502631 HAS SOUPS 502631 WITH SCORE 503384.541
AT ITER 601 NEW BEST:: SOT 3485786 SOS 753487 HAS SOPS 753487 HAS SOUS 502577 HAS SOUPS 502577 WITH SCORE 503330.487
AT ITER 614 NEW BEST:: SOT 3485785 SOS 753485 HAS SOPS 753485 HAS SOUS 502575 HAS SOUPS 502575 WITH SCORE 503328.485
AT ITER 619 NEW BEST:: SOT 3485785 SOS 753278 HAS SOPS 753278 HAS SOUS 502575 HAS SOUPS 502575 WITH SCORE 503328.278
AT ITER 634 NEW BEST:: SOT 3485784 SOS 753276 HAS SOPS 753276 HAS SOUS 502573 HAS SOUPS 502573 WITH SCORE 503326.276
AT ITER 667 NEW BEST:: SOT 3485784 SOS 752823 HAS SOPS 752823 HAS SOUS 502422 HAS SOUPS 502422 WITH SCORE 503174.823
AT ITER 692 NEW BEST:: SOT 3485713 SOS 752743 HAS SOPS 752743 HAS SOUS 502320 HAS SOUPS 502320 WITH SCORE 503072.743
AT ITER 710 NEW BEST:: SOT 3485548 SOS 752574 HAS SOPS 752574 HAS SOUS 502154 HAS SOUPS 502154 WITH SCORE 502906.574
AT ITER 715 NEW BEST:: SOT 3485548 SOS 752574 HAS SOPS 752574 HAS SOUS 501721 HAS SOUPS 501721 WITH SCORE 502473.574
AT ITER 725 NEW BEST:: SOT 3485548 SOS 752253 HAS SOPS 752253 HAS SOUS 501721 HAS SOUPS 501721 WITH SCORE 502473.253
AT ITER 727 NEW BEST:: SOT 3485149 SOS 752291 HAS SOPS 752291 HAS SOUS 501175 HAS SOUPS 501175 WITH SCORE 501927.291
AT ITER 737 NEW BEST:: SOT 3484681 SOS 751823 HAS SOPS 751823 HAS SOUS 500707 HAS SOUPS 500707 WITH SCORE 501458.823
AT ITER 754 NEW BEST:: SOT 3484580 SOS 752655 HAS SOPS 752655 HAS SOUS 500504 HAS SOUPS 500504 WITH SCORE 501256.655
AT ITER 771 NEW BEST:: SOT 3484580 SOS 752584 HAS SOPS 752584 HAS SOUS 500433 HAS SOUPS 500433 WITH SCORE 501185.584
AT ITER 788 NEW BEST:: SOT 3484261 SOS 751609 HAS SOPS 751609 HAS SOUS 499950 HAS SOUPS 499950 WITH SCORE 500701.609
AT ITER 791 NEW BEST:: SOT 3483768 SOS 749385 HAS SOPS 749385 HAS SOUS 499544 HAS SOUPS 499544 WITH SCORE 500293.385
AT ITER 827 NEW BEST:: SOT 3483446 SOS 749012 HAS SOPS 749012 HAS SOUS 499064 HAS SOUPS 499064 WITH SCORE 499813.012
AT ITER 835 NEW BEST:: SOT 3483402 SOS 748990 HAS SOPS 748990 HAS SOUS 499042 HAS SOUPS 499042 WITH SCORE 499790.99
AT ITER 880 NEW BEST:: SOT 3483270 SOS 748858 HAS SOPS 748858 HAS SOUS 498910 HAS SOUPS 498910 WITH SCORE 499658.858
AT ITER 904 NEW BEST:: SOT 3483270 SOS 748858 HAS SOPS 748858 HAS SOUS 498872 HAS SOUPS 498872 WITH SCORE 499620.858
AT ITER 917 NEW BEST:: SOT 3482908 SOS 748588 HAS SOPS 748588 HAS SOUS 498110 HAS SOUPS 498110 WITH SCORE 498858.588
AT ITER 945 NEW BEST:: SOT 3482908 SOS 747360 HAS SOPS 747360 HAS SOUS 498109 HAS SOUPS 498109 WITH SCORE 498856.36
AT ITER 951 NEW BEST:: SOT 3482806 SOS 748164 HAS SOPS 748164 HAS SOUS 497905 HAS SOUPS 497905 WITH SCORE 498653.164
AT ITER 975 NEW BEST:: SOT 3482806 SOS 749342 HAS SOPS 749342 HAS SOUS 497827 HAS SOUPS 497827 WITH SCORE 498576.342
AT ITER 984 NEW BEST:: SOT 3482670 SOS 749189 HAS SOPS 749189 HAS SOUS 497723 HAS SOUPS 497723 WITH SCORE 498472.189
AT ITER 993 NEW BEST:: SOT 3482657 SOS 749163 HAS SOPS 749163 HAS SOUS 497710 HAS SOUPS 497710 WITH SCORE 498459.163
AT ITER 1035 NEW BEST:: SOT 3482429 SOS 749039 HAS SOPS 749039 HAS SOUS 497531 HAS SOUPS 497531 WITH SCORE 498280.039
AT ITER 1041 NEW BEST:: SOT 3482428 SOS 748997 HAS SOPS 748997 HAS SOUS 497489 HAS SOUPS 497489 WITH SCORE 498237.997
AT ITER 1081 NEW BEST:: SOT 3482150 SOS 748997 HAS SOPS 748997 HAS SOUS 497444 HAS SOUPS 497444 WITH SCORE 498192.997
AT ITER 1089 NEW BEST:: SOT 3482150 SOS 748899 HAS SOPS 748899 HAS SOUS 497444 HAS SOUPS 497444 WITH SCORE 498192.899
AT ITER 1092 NEW BEST:: SOT 3482150 SOS 748899 HAS SOPS 748899 HAS SOUS 497321 HAS SOUPS 497321 WITH SCORE 498069.899
AT ITER 1114 NEW BEST:: SOT 3482150 SOS 749096 HAS SOPS 749096 HAS SOUS 497320 HAS SOUPS 497320 WITH SCORE 498069.096
AT ITER 1130 NEW BEST:: SOT 3480917 SOS 748137 HAS SOPS 748137 HAS SOUS 497183 HAS SOUPS 497183 WITH SCORE 497931.137
AT ITER 1139 NEW BEST:: SOT 3479727 SOS 747103 HAS SOPS 747103 HAS SOUS 496011 HAS SOUPS 496011 WITH SCORE 496758.103
AT ITER 1172 NEW BEST:: SOT 3479369 SOS 746741 HAS SOPS 746741 HAS SOUS 495652 HAS SOUPS 495652 WITH SCORE 496398.741
AT ITER 1173 NEW BEST:: SOT 3479510 SOS 747023 HAS SOPS 747023 HAS SOUS 495437 HAS SOUPS 495437 WITH SCORE 496184.023
AT ITER 1194 NEW BEST:: SOT 3478754 SOS 746155 HAS SOPS 746155 HAS SOUS 494537 HAS SOUPS 494537 WITH SCORE 495283.155
AT ITER 1205 NEW BEST:: SOT 3477089 SOS 748103 HAS SOPS 748103 HAS SOUS 493673 HAS SOUPS 493673 WITH SCORE 494421.103
AT ITER 1248 NEW BEST:: SOT 3477089 SOS 748236 HAS SOPS 748236 HAS SOUS 493672 HAS SOUPS 493672 WITH SCORE 494420.236
AT ITER 1255 NEW BEST:: SOT 3476873 SOS 747400 HAS SOPS 747400 HAS SOUS 493301 HAS SOUPS 493301 WITH SCORE 494048.4
AT ITER 1261 NEW BEST:: SOT 3476873 SOS 747807 HAS SOPS 747807 HAS SOUS 493300 HAS SOUPS 493300 WITH SCORE 494047.807
AT ITER 1306 NEW BEST:: SOT 3476596 SOS 747253 HAS SOPS 747253 HAS SOUS 492746 HAS SOUPS 492746 WITH SCORE 493493.253
AT ITER 1324 NEW BEST:: SOT 3476654 SOS 747174 HAS SOPS 747174 HAS SOUS 492667 HAS SOUPS 492667 WITH SCORE 493414.174
AT ITER 1359 NEW BEST:: SOT 3476384 SOS 750333 HAS SOPS 750333 HAS SOUS 492538 HAS SOUPS 492538 WITH SCORE 493288.333
AT ITER 1366 NEW BEST:: SOT 3476348 SOS 750261 HAS SOPS 750261 HAS SOUS 492502 HAS SOUPS 492502 WITH SCORE 493252.261
AT ITER 1430 NEW BEST:: SOT 3476335 SOS 750738 HAS SOPS 750738 HAS SOUS 492382 HAS SOUPS 492382 WITH SCORE 493132.738
AT ITER 1438 NEW BEST:: SOT 3476186 SOS 750586 HAS SOPS 750586 HAS SOUS 492232 HAS SOUPS 492232 WITH SCORE 492982.586
AT ITER 1462 NEW BEST:: SOT 3476188 SOS 750590 HAS SOPS 750590 HAS SOUS 492100 HAS SOUPS 492100 WITH SCORE 492850.59
AT ITER 1482 NEW BEST:: SOT 3476160 SOS 750534 HAS SOPS 750534 HAS SOUS 492044 HAS SOUPS 492044 WITH SCORE 492794.534
AT ITER 1497 NEW BEST:: SOT 3476136 SOS 750486 HAS SOPS 750486 HAS SOUS 491996 HAS SOUPS 491996 WITH SCORE 492746.486
AT ITER 1511 NEW BEST:: SOT 3475909 SOS 750484 HAS SOPS 750484 HAS SOUS 491847 HAS SOUPS 491847 WITH SCORE 492597.484
AT ITER 1529 NEW BEST:: SOT 3475709 SOS 750483 HAS SOPS 750483 HAS SOUS 491846 HAS SOUPS 491846 WITH SCORE 492596.483
AT ITER 1576 NEW BEST:: SOT 3475474 SOS 750271 HAS SOPS 750271 HAS SOUS 491634 HAS SOUPS 491634 WITH SCORE 492384.271
AT ITER 1581 NEW BEST:: SOT 3475474 SOS 750040 HAS SOPS 750040 HAS SOUS 491403 HAS SOUPS 491403 WITH SCORE 492153.04
AT ITER 1591 NEW BEST:: SOT 3475291 SOS 749674 HAS SOPS 749674 HAS SOUS 491037 HAS SOUPS 491037 WITH SCORE 491786.674
AT ITER 1592 NEW BEST:: SOT 3475224 SOS 749609 HAS SOPS 749609 HAS SOUS 490972 HAS SOUPS 490972 WITH SCORE 491721.609
AT ITER 1635 NEW BEST:: SOT 3474924 SOS 749316 HAS SOPS 749316 HAS SOUS 490688 HAS SOUPS 490688 WITH SCORE 491437.316
AT ITER 1667 NEW BEST:: SOT 3475233 SOS 749934 HAS SOPS 749934 HAS SOUS 490326 HAS SOUPS 490326 WITH SCORE 491075.934
AT ITER 1674 NEW BEST:: SOT 3474913 SOS 749614 HAS SOPS 749614 HAS SOUS 490006 HAS SOUPS 490006 WITH SCORE 490755.614
AT ITER 1692 NEW BEST:: SOT 3474829 SOS 749511 HAS SOPS 749511 HAS SOUS 489920 HAS SOUPS 489920 WITH SCORE 490669.511
AT ITER 1729 NEW BEST:: SOT 3474260 SOS 749312 HAS SOPS 749312 HAS SOUS 489664 HAS SOUPS 489664 WITH SCORE 490413.312
AT ITER 1737 NEW BEST:: SOT 3473659 SOS 748898 HAS SOPS 748898 HAS SOUS 489063 HAS SOUPS 489063 WITH SCORE 489811.898
AT ITER 1750 NEW BEST:: SOT 3473659 SOS 748851 HAS SOPS 748851 HAS SOUS 489016 HAS SOUPS 489016 WITH SCORE 489764.851
AT ITER 1752 NEW BEST:: SOT 3473255 SOS 746518 HAS SOPS 746518 HAS SOUS 488207 HAS SOUPS 488207 WITH SCORE 488953.518
AT ITER 1765 NEW BEST:: SOT 3473193 SOS 746487 HAS SOPS 746487 HAS SOUS 488176 HAS SOUPS 488176 WITH SCORE 488922.487
AT ITER 1774 NEW BEST:: SOT 3472761 SOS 746225 HAS SOPS 746225 HAS SOUS 487744 HAS SOUPS 487744 WITH SCORE 488490.225
AT ITER 1839 NEW BEST:: SOT 3472714 SOS 746084 HAS SOPS 746084 HAS SOUS 487603 HAS SOUPS 487603 WITH SCORE 488349.084
AT ITER 1883 NEW BEST:: SOT 3472714 SOS 746014 HAS SOPS 746014 HAS SOUS 487568 HAS SOUPS 487568 WITH SCORE 488314.014
AT ITER 1884 NEW BEST:: SOT 3472714 SOS 745930 HAS SOPS 745930 HAS SOUS 487484 HAS SOUPS 487484 WITH SCORE 488229.93
AT ITER 1910 NEW BEST:: SOT 3472418 SOS 745660 HAS SOPS 745660 HAS SOUS 487214 HAS SOUPS 487214 WITH SCORE 487959.66
AT ITER 1920 NEW BEST:: SOT 3472210 SOS 745244 HAS SOPS 745244 HAS SOUS 486798 HAS SOUPS 486798 WITH SCORE 487543.244
AT ITER 1935 NEW BEST:: SOT 3472210 SOS 745939 HAS SOPS 745939 HAS SOUS 486701 HAS SOUPS 486701 WITH SCORE 487446.939
AT ITER 1937 NEW BEST:: SOT 3472210 SOS 745950 HAS SOPS 745950 HAS SOUS 486690 HAS SOUPS 486690 WITH SCORE 487435.95
AT ITER 1963 NEW BEST:: SOT 3471969 SOS 745709 HAS SOPS 745709 HAS SOUS 486449 HAS SOUPS 486449 WITH SCORE 487194.709
AT ITER 2007 NEW BEST:: SOT 3471845 SOS 745461 HAS SOPS 745461 HAS SOUS 486201 HAS SOUPS 486201 WITH SCORE 486946.461
AT ITER 2010 NEW BEST:: SOT 3471771 SOS 745515 HAS SOPS 745515 HAS SOUS 486127 HAS SOUPS 486127 WITH SCORE 486872.515
AT ITER 2019 NEW BEST:: SOT 3471817 SOS 745213 HAS SOPS 745213 HAS SOUS 486095 HAS SOUPS 486095 WITH SCORE 486840.213
AT ITER 2027 NEW BEST:: SOT 3471750 SOS 745079 HAS SOPS 745079 HAS SOUS 486028 HAS SOUPS 486028 WITH SCORE 486773.079
AT ITER 2084 NEW BEST:: SOT 3471749 SOS 745077 HAS SOPS 745077 HAS SOUS 486026 HAS SOUPS 486026 WITH SCORE 486771.077
AT ITER 2089 NEW BEST:: SOT 3471541 SOS 744765 HAS SOPS 744765 HAS SOUS 485714 HAS SOUPS 485714 WITH SCORE 486458.765
AT ITER 2120 NEW BEST:: SOT 3471261 SOS 744759 HAS SOPS 744759 HAS SOUS 485708 HAS SOUPS 485708 WITH SCORE 486452.759
AT ITER 2124 NEW BEST:: SOT 3471227 SOS 744623 HAS SOPS 744623 HAS SOUS 485640 HAS SOUPS 485640 WITH SCORE 486384.623
AT ITER 2139 NEW BEST:: SOT 3471182 SOS 744578 HAS SOPS 744578 HAS SOUS 485595 HAS SOUPS 485595 WITH SCORE 486339.578
AT ITER 2140 NEW BEST:: SOT 3470942 SOS 744338 HAS SOPS 744338 HAS SOUS 485355 HAS SOUPS 485355 WITH SCORE 486099.338
AT ITER 2143 NEW BEST:: SOT 3470474 SOS 744104 HAS SOPS 744104 HAS SOUS 485121 HAS SOUPS 485121 WITH SCORE 485865.104
AT ITER 2158 NEW BEST:: SOT 3470156 SOS 743831 HAS SOPS 743831 HAS SOUS 484803 HAS SOUPS 484803 WITH SCORE 485546.831
AT ITER 2220 NEW BEST:: SOT 3470099 SOS 743717 HAS SOPS 743717 HAS SOUS 484746 HAS SOUPS 484746 WITH SCORE 485489.717
AT ITER 2222 NEW BEST:: SOT 3469988 SOS 743795 HAS SOPS 743795 HAS SOUS 484729 HAS SOUPS 484729 WITH SCORE 485472.795
AT ITER 2250 NEW BEST:: SOT 3469591 SOS 743398 HAS SOPS 743398 HAS SOUS 484332 HAS SOUPS 484332 WITH SCORE 485075.398
AT ITER 2268 NEW BEST:: SOT 3469591 SOS 743394 HAS SOPS 743394 HAS SOUS 484328 HAS SOUPS 484328 WITH SCORE 485071.394
AT ITER 2311 NEW BEST:: SOT 3469591 SOS 743331 HAS SOPS 743331 HAS SOUS 484328 HAS SOUPS 484328 WITH SCORE 485071.331
AT ITER 2317 NEW BEST:: SOT 3469726 SOS 743601 HAS SOPS 743601 HAS SOUS 484217 HAS SOUPS 484217 WITH SCORE 484960.601
AT ITER 2334 NEW BEST:: SOT 3469463 SOS 743807 HAS SOPS 743807 HAS SOUS 484198 HAS SOUPS 484198 WITH SCORE 484941.807
AT ITER 2337 NEW BEST:: SOT 3467624 SOS 741830 HAS SOPS 741830 HAS SOUS 482520 HAS SOUPS 482520 WITH SCORE 483261.83
AT ITER 2346 NEW BEST:: SOT 3467609 SOS 742233 HAS SOPS 742233 HAS SOUS 482490 HAS SOUPS 482490 WITH SCORE 483232.233
AT ITER 2359 NEW BEST:: SOT 3467561 SOS 742185 HAS SOPS 742185 HAS SOUS 482442 HAS SOUPS 482442 WITH SCORE 483184.185
AT ITER 2367 NEW BEST:: SOT 3467340 SOS 741914 HAS SOPS 741914 HAS SOUS 482228 HAS SOUPS 482228 WITH SCORE 482969.914
AT ITER 2368 NEW BEST:: SOT 3467340 SOS 741914 HAS SOPS 741914 HAS SOUS 482225 HAS SOUPS 482225 WITH SCORE 482966.914
AT ITER 2387 NEW BEST:: SOT 3467059 SOS 743305 HAS SOPS 743305 HAS SOUS 481474 HAS SOUPS 481474 WITH SCORE 482217.305
AT ITER 2391 NEW BEST:: SOT 3466832 SOS 742851 HAS SOPS 742851 HAS SOUS 481247 HAS SOUPS 481247 WITH SCORE 481989.851
AT ITER 2409 NEW BEST:: SOT 3466813 SOS 742879 HAS SOPS 742879 HAS SOUS 481228 HAS SOUPS 481228 WITH SCORE 481970.879
AT ITER 2425 NEW BEST:: SOT 3466556 SOS 743241 HAS SOPS 743241 HAS SOUS 480971 HAS SOUPS 480971 WITH SCORE 481714.241
AT ITER 2426 NEW BEST:: SOT 3465390 SOS 742393 HAS SOPS 742393 HAS SOUS 480335 HAS SOUPS 480335 WITH SCORE 481077.393
AT ITER 2439 NEW BEST:: SOT 3465390 SOS 742393 HAS SOPS 742393 HAS SOUS 480331 HAS SOUPS 480331 WITH SCORE 481073.393
AT ITER 2445 NEW BEST:: SOT 3463921 SOS 744027 HAS SOPS 744027 HAS SOUS 479809 HAS SOUPS 479809 WITH SCORE 480553.027
AT ITER 2457 NEW BEST:: SOT 3463921 SOS 743981 HAS SOPS 743981 HAS SOUS 479670 HAS SOUPS 479670 WITH SCORE 480413.981
AT ITER 2466 NEW BEST:: SOT 3463792 SOS 744107 HAS SOPS 744107 HAS SOUS 479637 HAS SOUPS 479637 WITH SCORE 480381.107
AT ITER 2467 NEW BEST:: SOT 3463388 SOS 743703 HAS SOPS 743703 HAS SOUS 479233 HAS SOUPS 479233 WITH SCORE 479976.703
AT ITER 2476 NEW BEST:: SOT 3463379 SOS 743289 HAS SOPS 743289 HAS SOUS 479050 HAS SOUPS 479050 WITH SCORE 479793.289
AT ITER 2487 NEW BEST:: SOT 3463138 SOS 741752 HAS SOPS 741752 HAS SOUS 478659 HAS SOUPS 478659 WITH SCORE 479400.752
AT ITER 2496 NEW BEST:: SOT 3463137 SOS 741647 HAS SOPS 741647 HAS SOUS 478554 HAS SOUPS 478554 WITH SCORE 479295.647
AT ITER 2513 NEW BEST:: SOT 3463074 SOS 741584 HAS SOPS 741584 HAS SOUS 478491 HAS SOUPS 478491 WITH SCORE 479232.584
AT ITER 2575 NEW BEST:: SOT 3463040 SOS 741546 HAS SOPS 741546 HAS SOUS 478422 HAS SOUPS 478422 WITH SCORE 479163.546
AT ITER 2577 NEW BEST:: SOT 3462817 SOS 741323 HAS SOPS 741323 HAS SOUS 478199 HAS SOUPS 478199 WITH SCORE 478940.323
AT ITER 2578 NEW BEST:: SOT 3462838 SOS 741322 HAS SOPS 741322 HAS SOUS 478198 HAS SOUPS 478198 WITH SCORE 478939.322
AT ITER 2601 NEW BEST:: SOT 3462739 SOS 741223 HAS SOPS 741223 HAS SOUS 478099 HAS SOUPS 478099 WITH SCORE 478840.223
AT ITER 2604 NEW BEST:: SOT 3462671 SOS 741155 HAS SOPS 741155 HAS SOUS 478031 HAS SOUPS 478031 WITH SCORE 478772.155
AT ITER 2615 NEW BEST:: SOT 3462671 SOS 741155 HAS SOPS 741155 HAS SOUS 478030 HAS SOUPS 478030 WITH SCORE 478771.155
AT ITER 2665 NEW BEST:: SOT 3462570 SOS 740953 HAS SOPS 740953 HAS SOUS 477828 HAS SOUPS 477828 WITH SCORE 478568.953
AT ITER 2673 NEW BEST:: SOT 3462553 SOS 740902 HAS SOPS 740902 HAS SOUS 477811 HAS SOUPS 477811 WITH SCORE 478551.902
AT ITER 2717 NEW BEST:: SOT 3462495 SOS 740844 HAS SOPS 740844 HAS SOUS 477752 HAS SOUPS 477752 WITH SCORE 478492.844
AT ITER 2750 NEW BEST:: SOT 3462495 SOS 740844 HAS SOPS 740844 HAS SOUS 477751 HAS SOUPS 477751 WITH SCORE 478491.844
AT ITER 2751 NEW BEST:: SOT 3462472 SOS 740798 HAS SOPS 740798 HAS SOUS 477640 HAS SOUPS 477640 WITH SCORE 478380.798
AT ITER 2768 NEW BEST:: SOT 3462129 SOS 740451 HAS SOPS 740451 HAS SOUS 477296 HAS SOUPS 477296 WITH SCORE 478036.451
AT ITER 2787 NEW BEST:: SOT 3462057 SOS 740335 HAS SOPS 740335 HAS SOUS 477180 HAS SOUPS 477180 WITH SCORE 477920.335
AT ITER 2796 NEW BEST:: SOT 3461986 SOS 740193 HAS SOPS 740193 HAS SOUS 477038 HAS SOUPS 477038 WITH SCORE 477778.193
AT ITER 2824 NEW BEST:: SOT 3462005 SOS 740231 HAS SOPS 740231 HAS SOUS 476977 HAS SOUPS 476977 WITH SCORE 477717.231
AT ITER 2826 NEW BEST:: SOT 3461945 SOS 740287 HAS SOPS 740287 HAS SOUS 476856 HAS SOUPS 476856 WITH SCORE 477596.287
AT ITER 2849 NEW BEST:: SOT 3461809 SOS 740015 HAS SOPS 740015 HAS SOUS 476720 HAS SOUPS 476720 WITH SCORE 477460.015
AT ITER 2854 NEW BEST:: SOT 3461673 SOS 739302 HAS SOPS 739302 HAS SOUS 476437 HAS SOUPS 476437 WITH SCORE 477176.302
AT ITER 2872 NEW BEST:: SOT 3461328 SOS 739371 HAS SOPS 739371 HAS SOUS 476345 HAS SOUPS 476345 WITH SCORE 477084.371
AT ITER 2879 NEW BEST:: SOT 3461307 SOS 739355 HAS SOPS 739355 HAS SOUS 476324 HAS SOUPS 476324 WITH SCORE 477063.355
AT ITER 2884 NEW BEST:: SOT 3461064 SOS 738869 HAS SOPS 738869 HAS SOUS 475577 HAS SOUPS 475577 WITH SCORE 476315.869
AT ITER 2899 NEW BEST:: SOT 3460365 SOS 742773 HAS SOPS 742773 HAS SOUS 475486 HAS SOUPS 475486 WITH SCORE 476228.773
AT ITER 2914 NEW BEST:: SOT 3460352 SOS 742760 HAS SOPS 742760 HAS SOUS 475486 HAS SOUPS 475486 WITH SCORE 476228.76
AT ITER 2930 NEW BEST:: SOT 3460293 SOS 742111 HAS SOPS 742111 HAS SOUS 475368 HAS SOUPS 475368 WITH SCORE 476110.111
AT ITER 2978 NEW BEST:: SOT 3460276 SOS 742107 HAS SOPS 742107 HAS SOUS 475350 HAS SOUPS 475350 WITH SCORE 476092.107
AT ITER 3020 NEW BEST:: SOT 3460178 SOS 741911 HAS SOPS 741911 HAS SOUS 475154 HAS SOUPS 475154 WITH SCORE 475895.911
AT ITER 3026 NEW BEST:: SOT 3460078 SOS 741981 HAS SOPS 741981 HAS SOUS 475143 HAS SOUPS 475143 WITH SCORE 475884.981
AT ITER 3037 NEW BEST:: SOT 3459974 SOS 741877 HAS SOPS 741877 HAS SOUS 475039 HAS SOUPS 475039 WITH SCORE 475780.877
AT ITER 3045 NEW BEST:: SOT 3459547 SOS 741811 HAS SOPS 741811 HAS SOUS 474973 HAS SOUPS 474973 WITH SCORE 475714.811
AT ITER 3050 NEW BEST:: SOT 3459118 SOS 741393 HAS SOPS 741393 HAS SOUS 474544 HAS SOUPS 474544 WITH SCORE 475285.393
AT ITER 3099 NEW BEST:: SOT 3459046 SOS 741363 HAS SOPS 741363 HAS SOUS 474411 HAS SOUPS 474411 WITH SCORE 475152.363
AT ITER 3152 NEW BEST:: SOT 3458820 SOS 740911 HAS SOPS 740911 HAS SOUS 473996 HAS SOUPS 473996 WITH SCORE 474736.911
AT ITER 3154 NEW BEST:: SOT 3458661 SOS 740909 HAS SOPS 740909 HAS SOUS 473994 HAS SOUPS 473994 WITH SCORE 474734.909
AT ITER 3195 NEW BEST:: SOT 3458538 SOS 740663 HAS SOPS 740663 HAS SOUS 473748 HAS SOUPS 473748 WITH SCORE 474488.663
AT ITER 3285 NEW BEST:: SOT 3458548 SOS 740683 HAS SOPS 740683 HAS SOUS 473680 HAS SOUPS 473680 WITH SCORE 474420.683
AT ITER 3297 NEW BEST:: SOT 3458521 SOS 740629 HAS SOPS 740629 HAS SOUS 473626 HAS SOUPS 473626 WITH SCORE 474366.629
AT ITER 3320 NEW BEST:: SOT 3458426 SOS 741584 HAS SOPS 741584 HAS SOUS 473541 HAS SOUPS 473541 WITH SCORE 474282.584
AT ITER 3324 NEW BEST:: SOT 3458339 SOS 741086 HAS SOPS 741086 HAS SOUS 473259 HAS SOUPS 473259 WITH SCORE 474000.086
AT ITER 3357 NEW BEST:: SOT 3458339 SOS 740919 HAS SOPS 740919 HAS SOUS 473092 HAS SOUPS 473092 WITH SCORE 473832.919
AT ITER 3383 NEW BEST:: SOT 3458324 SOS 740889 HAS SOPS 740889 HAS SOUS 473054 HAS SOUPS 473054 WITH SCORE 473794.889
AT ITER 3414 NEW BEST:: SOT 3458148 SOS 740269 HAS SOPS 740269 HAS SOUS 472730 HAS SOUPS 472730 WITH SCORE 473470.269
AT ITER 3431 NEW BEST:: SOT 3458211 SOS 740206 HAS SOPS 740206 HAS SOUS 472730 HAS SOUPS 472730 WITH SCORE 473470.206
AT ITER 3436 NEW BEST:: SOT 3458141 SOS 740066 HAS SOPS 740066 HAS SOUS 472443 HAS SOUPS 472443 WITH SCORE 473183.066
AT ITER 3437 NEW BEST:: SOT 3456831 SOS 741163 HAS SOPS 741163 HAS SOUS 470458 HAS SOUPS 470458 WITH SCORE 471199.163
AT ITER 3458 NEW BEST:: SOT 3456673 SOS 741312 HAS SOPS 741312 HAS SOUS 470450 HAS SOUPS 470450 WITH SCORE 471191.312
AT ITER 3463 NEW BEST:: SOT 3456599 SOS 741164 HAS SOPS 741164 HAS SOUS 470302 HAS SOUPS 470302 WITH SCORE 471043.164
AT ITER 3473 NEW BEST:: SOT 3456599 SOS 741104 HAS SOPS 741104 HAS SOUS 470242 HAS SOUPS 470242 WITH SCORE 470983.104
AT ITER 3483 NEW BEST:: SOT 3456348 SOS 741480 HAS SOPS 741480 HAS SOUS 469739 HAS SOUPS 469739 WITH SCORE 470480.48
AT ITER 3519 NEW BEST:: SOT 3456515 SOS 741814 HAS SOPS 741814 HAS SOUS 469686 HAS SOUPS 469686 WITH SCORE 470427.814
AT ITER 3532 NEW BEST:: SOT 3455774 SOS 740904 HAS SOPS 740904 HAS SOUS 468659 HAS SOUPS 468659 WITH SCORE 469399.904
AT ITER 3552 NEW BEST:: SOT 3455774 SOS 739932 HAS SOPS 739932 HAS SOUS 468659 HAS SOUPS 468659 WITH SCORE 469398.932
AT ITER 3555 NEW BEST:: SOT 3455675 SOS 739844 HAS SOPS 739844 HAS SOUS 468560 HAS SOUPS 468560 WITH SCORE 469299.844
AT ITER 3559 NEW BEST:: SOT 3455577 SOS 739844 HAS SOPS 739844 HAS SOUS 468462 HAS SOUPS 468462 WITH SCORE 469201.844
AT ITER 3564 NEW BEST:: SOT 3455577 SOS 738380 HAS SOPS 738380 HAS SOUS 468072 HAS SOUPS 468072 WITH SCORE 468810.38
AT ITER 3590 NEW BEST:: SOT 3455540 SOS 738446 HAS SOPS 738446 HAS SOUS 468033 HAS SOUPS 468033 WITH SCORE 468771.446
AT ITER 3592 NEW BEST:: SOT 3455407 SOS 738180 HAS SOPS 738180 HAS SOUS 467767 HAS SOUPS 467767 WITH SCORE 468505.18
AT ITER 3621 NEW BEST:: SOT 3455462 SOS 737404 HAS SOPS 737404 HAS SOUS 467445 HAS SOUPS 467445 WITH SCORE 468182.404
AT ITER 3622 NEW BEST:: SOT 3455452 SOS 737350 HAS SOPS 737350 HAS SOUS 467397 HAS SOUPS 467397 WITH SCORE 468134.35
AT ITER 3679 NEW BEST:: SOT 3455452 SOS 737224 HAS SOPS 737224 HAS SOUS 467271 HAS SOUPS 467271 WITH SCORE 468008.224
AT ITER 3702 NEW BEST:: SOT 3455080 SOS 736687 HAS SOPS 736687 HAS SOUS 466734 HAS SOUPS 466734 WITH SCORE 467470.687
AT ITER 3747 NEW BEST:: SOT 3455080 SOS 736456 HAS SOPS 736456 HAS SOUS 466734 HAS SOUPS 466734 WITH SCORE 467470.456
AT ITER 3755 NEW BEST:: SOT 3455077 SOS 736456 HAS SOPS 736456 HAS SOUS 466728 HAS SOUPS 466728 WITH SCORE 467464.456
AT ITER 3832 NEW BEST:: SOT 3455026 SOS 736418 HAS SOPS 736418 HAS SOUS 466690 HAS SOUPS 466690 WITH SCORE 467426.418
AT ITER 3843 NEW BEST:: SOT 3454884 SOS 736276 HAS SOPS 736276 HAS SOUS 466690 HAS SOUPS 466690 WITH SCORE 467426.276
AT ITER 3873 NEW BEST:: SOT 3454884 SOS 736208 HAS SOPS 736208 HAS SOUS 466622 HAS SOUPS 466622 WITH SCORE 467358.208
AT ITER 3915 NEW BEST:: SOT 3454852 SOS 736176 HAS SOPS 736176 HAS SOUS 466592 HAS SOUPS 466592 WITH SCORE 467328.176
AT ITER 3936 NEW BEST:: SOT 3454796 SOS 736120 HAS SOPS 736120 HAS SOUS 466536 HAS SOUPS 466536 WITH SCORE 467272.12
AT ITER 3940 NEW BEST:: SOT 3454716 SOS 736045 HAS SOPS 736045 HAS SOUS 466456 HAS SOUPS 466456 WITH SCORE 467192.045
AT ITER 4005 NEW BEST:: SOT 3454700 SOS 735962 HAS SOPS 735962 HAS SOUS 466389 HAS SOUPS 466389 WITH SCORE 467124.962
AT ITER 4015 NEW BEST:: SOT 3454543 SOS 735648 HAS SOPS 735648 HAS SOUS 466075 HAS SOUPS 466075 WITH SCORE 466810.648
AT ITER 4018 NEW BEST:: SOT 3454504 SOS 735332 HAS SOPS 735332 HAS SOUS 465996 HAS SOUPS 465996 WITH SCORE 466731.332
AT ITER 4054 NEW BEST:: SOT 3454500 SOS 735390 HAS SOPS 735390 HAS SOUS 465992 HAS SOUPS 465992 WITH SCORE 466727.39
AT ITER 4079 NEW BEST:: SOT 3454466 SOS 735267 HAS SOPS 735267 HAS SOUS 465911 HAS SOUPS 465911 WITH SCORE 466646.267
AT ITER 4130 NEW BEST:: SOT 3454385 SOS 735105 HAS SOPS 735105 HAS SOUS 465749 HAS SOUPS 465749 WITH SCORE 466484.105
AT ITER 4150 NEW BEST:: SOT 3454289 SOS 734923 HAS SOPS 734923 HAS SOUS 465567 HAS SOUPS 465567 WITH SCORE 466301.923
AT ITER 4195 NEW BEST:: SOT 3453895 SOS 734528 HAS SOPS 734528 HAS SOUS 465172 HAS SOUPS 465172 WITH SCORE 465906.528
AT ITER 4257 NEW BEST:: SOT 3453894 SOS 735384 HAS SOPS 735384 HAS SOUS 465171 HAS SOUPS 465171 WITH SCORE 465906.384
AT ITER 4282 NEW BEST:: SOT 3453822 SOS 735240 HAS SOPS 735240 HAS SOUS 465027 HAS SOUPS 465027 WITH SCORE 465762.24
AT ITER 4287 NEW BEST:: SOT 3453822 SOS 735240 HAS SOPS 735240 HAS SOUS 465002 HAS SOUPS 465002 WITH SCORE 465737.24
AT ITER 4301 NEW BEST:: SOT 3453732 SOS 735060 HAS SOPS 735060 HAS SOUS 464822 HAS SOUPS 464822 WITH SCORE 465557.06
AT ITER 4325 NEW BEST:: SOT 3453730 SOS 735056 HAS SOPS 735056 HAS SOUS 464818 HAS SOUPS 464818 WITH SCORE 465553.056
AT ITER 4342 NEW BEST:: SOT 3453359 SOS 735056 HAS SOPS 735056 HAS SOUS 464447 HAS SOUPS 464447 WITH SCORE 465182.056
AT ITER 4371 NEW BEST:: SOT 3453202 SOS 734852 HAS SOPS 734852 HAS SOUS 464243 HAS SOUPS 464243 WITH SCORE 464977.852
AT ITER 4372 NEW BEST:: SOT 3452974 SOS 734396 HAS SOPS 734396 HAS SOUS 464014 HAS SOUPS 464014 WITH SCORE 464748.396
AT ITER 4392 NEW BEST:: SOT 3452974 SOS 734396 HAS SOPS 734396 HAS SOUS 463523 HAS SOUPS 463523 WITH SCORE 464257.396
AT ITER 4469 NEW BEST:: SOT 3452961 SOS 734370 HAS SOPS 734370 HAS SOUS 463510 HAS SOUPS 463510 WITH SCORE 464244.37
AT ITER 4518 NEW BEST:: SOT 3452949 SOS 734346 HAS SOPS 734346 HAS SOUS 463486 HAS SOUPS 463486 WITH SCORE 464220.346
AT ITER 4523 NEW BEST:: SOT 3452949 SOS 734663 HAS SOPS 734663 HAS SOUS 463485 HAS SOUPS 463485 WITH SCORE 464219.663
AT ITER 4526 NEW BEST:: SOT 3453056 SOS 734400 HAS SOPS 734400 HAS SOUS 463433 HAS SOUPS 463433 WITH SCORE 464167.4
AT ITER 4541 NEW BEST:: SOT 3452783 SOS 734147 HAS SOPS 734147 HAS SOUS 463180 HAS SOUPS 463180 WITH SCORE 463914.147
AT ITER 4568 NEW BEST:: SOT 3452779 SOS 734143 HAS SOPS 734143 HAS SOUS 463176 HAS SOUPS 463176 WITH SCORE 463910.143
AT ITER 4571 NEW BEST:: SOT 3452778 SOS 734141 HAS SOPS 734141 HAS SOUS 463174 HAS SOUPS 463174 WITH SCORE 463908.141
AT ITER 4592 NEW BEST:: SOT 3452744 SOS 734039 HAS SOPS 734039 HAS SOUS 463174 HAS SOUPS 463174 WITH SCORE 463908.039
AT ITER 4622 NEW BEST:: SOT 3452714 SOS 734009 HAS SOPS 734009 HAS SOUS 463144 HAS SOUPS 463144 WITH SCORE 463878.009
AT ITER 4655 NEW BEST:: SOT 3452702 SOS 733997 HAS SOPS 733997 HAS SOUS 463132 HAS SOUPS 463132 WITH SCORE 463865.997
AT ITER 4706 NEW BEST:: SOT 3452702 SOS 733996 HAS SOPS 733996 HAS SOUS 463019 HAS SOUPS 463019 WITH SCORE 463752.996
AT ITER 4742 NEW BEST:: SOT 3452759 SOS 734110 HAS SOPS 734110 HAS SOUS 462912 HAS SOUPS 462912 WITH SCORE 463646.11
AT ITER 4755 NEW BEST:: SOT 3452385 SOS 734246 HAS SOPS 734246 HAS SOUS 462492 HAS SOUPS 462492 WITH SCORE 463226.246
AT ITER 4756 NEW BEST:: SOT 3452122 SOS 734056 HAS SOPS 734056 HAS SOUS 461966 HAS SOUPS 461966 WITH SCORE 462700.056
AT ITER 4760 NEW BEST:: SOT 3452083 SOS 733787 HAS SOPS 733787 HAS SOUS 461884 HAS SOUPS 461884 WITH SCORE 462617.787
AT ITER 4761 NEW BEST:: SOT 3451991 SOS 733879 HAS SOPS 733879 HAS SOUS 461883 HAS SOUPS 461883 WITH SCORE 462616.879
AT ITER 4786 NEW BEST:: SOT 3451964 SOS 733825 HAS SOPS 733825 HAS SOUS 461829 HAS SOUPS 461829 WITH SCORE 462562.825
AT ITER 4793 NEW BEST:: SOT 3451964 SOS 733825 HAS SOPS 733825 HAS SOUS 461540 HAS SOUPS 461540 WITH SCORE 462273.825
AT ITER 4795 NEW BEST:: SOT 3451852 SOS 733601 HAS SOPS 733601 HAS SOUS 461316 HAS SOUPS 461316 WITH SCORE 462049.601
AT ITER 4800 NEW BEST:: SOT 3451852 SOS 733588 HAS SOPS 733588 HAS SOUS 461316 HAS SOUPS 461316 WITH SCORE 462049.588
AT ITER 4854 NEW BEST:: SOT 3451795 SOS 733930 HAS SOPS 733930 HAS SOUS 461202 HAS SOUPS 461202 WITH SCORE 461935.93
AT ITER 4857 NEW BEST:: SOT 3451809 SOS 732917 HAS SOPS 732917 HAS SOUS 460685 HAS SOUPS 460685 WITH SCORE 461417.917
AT ITER 4880 NEW BEST:: SOT 3451236 SOS 732833 HAS SOPS 732833 HAS SOUS 460189 HAS SOUPS 460189 WITH SCORE 460921.833
AT ITER 4892 NEW BEST:: SOT 3451236 SOS 732746 HAS SOPS 732746 HAS SOUS 460102 HAS SOUPS 460102 WITH SCORE 460834.746
AT ITER 4905 NEW BEST:: SOT 3451225 SOS 732812 HAS SOPS 732812 HAS SOUS 460091 HAS SOUPS 460091 WITH SCORE 460823.812
AT ITER 4907 NEW BEST:: SOT 3451224 SOS 732810 HAS SOPS 732810 HAS SOUS 460089 HAS SOUPS 460089 WITH SCORE 460821.81
AT ITER 4940 NEW BEST:: SOT 3451219 SOS 732804 HAS SOPS 732804 HAS SOUS 460087 HAS SOUPS 460087 WITH SCORE 460819.804
AT ITER 4943 NEW BEST:: SOT 3451034 SOS 732434 HAS SOPS 732434 HAS SOUS 459717 HAS SOUPS 459717 WITH SCORE 460449.434
AT ITER 4964 NEW BEST:: SOT 3450331 SOS 731696 HAS SOPS 731696 HAS SOUS 459090 HAS SOUPS 459090 WITH SCORE 459821.696
AT ITER 5004 NEW BEST:: SOT 3450340 SOS 731661 HAS SOPS 731661 HAS SOUS 459055 HAS SOUPS 459055 WITH SCORE 459786.661
AT ITER 5028 NEW BEST:: SOT 3450340 SOS 731860 HAS SOPS 731860 HAS SOUS 459054 HAS SOUPS 459054 WITH SCORE 459785.86
AT ITER 5098 NEW BEST:: SOT 3450250 SOS 731680 HAS SOPS 731680 HAS SOUS 458874 HAS SOUPS 458874 WITH SCORE 459605.68
AT ITER 5106 NEW BEST:: SOT 3450047 SOS 731274 HAS SOPS 731274 HAS SOUS 458489 HAS SOUPS 458489 WITH SCORE 459220.274
AT ITER 5110 NEW BEST:: SOT 3449802 SOS 730737 HAS SOPS 730737 HAS SOUS 457927 HAS SOUPS 457927 WITH SCORE 458657.737
AT ITER 5137 NEW BEST:: SOT 3449802 SOS 730703 HAS SOPS 730703 HAS SOUS 457893 HAS SOUPS 457893 WITH SCORE 458623.703
AT ITER 5159 NEW BEST:: SOT 3449547 SOS 730193 HAS SOPS 730193 HAS SOUS 457383 HAS SOUPS 457383 WITH SCORE 458113.193
AT ITER 5174 NEW BEST:: SOT 3449523 SOS 729335 HAS SOPS 729335 HAS SOUS 457346 HAS SOUPS 457346 WITH SCORE 458075.335
AT ITER 5186 NEW BEST:: SOT 3449450 SOS 729189 HAS SOPS 729189 HAS SOUS 457200 HAS SOUPS 457200 WITH SCORE 457929.189
AT ITER 5189 NEW BEST:: SOT 3448537 SOS 729532 HAS SOPS 729532 HAS SOUS 456801 HAS SOUPS 456801 WITH SCORE 457530.532
AT ITER 5212 NEW BEST:: SOT 3448537 SOS 729423 HAS SOPS 729423 HAS SOUS 456692 HAS SOUPS 456692 WITH SCORE 457421.423
AT ITER 5256 NEW BEST:: SOT 3448421 SOS 729191 HAS SOPS 729191 HAS SOUS 456518 HAS SOUPS 456518 WITH SCORE 457247.191
AT ITER 5264 NEW BEST:: SOT 3448422 SOS 729190 HAS SOPS 729190 HAS SOUS 456518 HAS SOUPS 456518 WITH SCORE 457247.19
AT ITER 5310 NEW BEST:: SOT 3448181 SOS 729316 HAS SOPS 729316 HAS SOUS 456073 HAS SOUPS 456073 WITH SCORE 456802.316
AT ITER 5334 NEW BEST:: SOT 3448181 SOS 729315 HAS SOPS 729315 HAS SOUS 456072 HAS SOUPS 456072 WITH SCORE 456801.315
AT ITER 5339 NEW BEST:: SOT 3448180 SOS 729313 HAS SOPS 729313 HAS SOUS 456070 HAS SOUPS 456070 WITH SCORE 456799.313
AT ITER 5368 NEW BEST:: SOT 3448130 SOS 729753 HAS SOPS 729753 HAS SOUS 456069 HAS SOUPS 456069 WITH SCORE 456798.753
AT ITER 5424 NEW BEST:: SOT 3448070 SOS 729483 HAS SOPS 729483 HAS SOUS 455934 HAS SOUPS 455934 WITH SCORE 456663.483
AT ITER 5428 NEW BEST:: SOT 3448060 SOS 729468 HAS SOPS 729468 HAS SOUS 455922 HAS SOUPS 455922 WITH SCORE 456651.468
AT ITER 5431 NEW BEST:: SOT 3448301 SOS 729050 HAS SOPS 729050 HAS SOUS 455863 HAS SOUPS 455863 WITH SCORE 456592.05
AT ITER 5444 NEW BEST:: SOT 3448226 SOS 728900 HAS SOPS 728900 HAS SOUS 455645 HAS SOUPS 455645 WITH SCORE 456373.9
AT ITER 5467 NEW BEST:: SOT 3448226 SOS 728900 HAS SOPS 728900 HAS SOUS 455538 HAS SOUPS 455538 WITH SCORE 456266.9
AT ITER 5475 NEW BEST:: SOT 3447568 SOS 729324 HAS SOPS 729324 HAS SOUS 455473 HAS SOUPS 455473 WITH SCORE 456202.324
AT ITER 5530 NEW BEST:: SOT 3447692 SOS 728717 HAS SOPS 728717 HAS SOUS 455283 HAS SOUPS 455283 WITH SCORE 456011.717
AT ITER 5586 NEW BEST:: SOT 3447554 SOS 728579 HAS SOPS 728579 HAS SOUS 455007 HAS SOUPS 455007 WITH SCORE 455735.579
AT ITER 5590 NEW BEST:: SOT 3447412 SOS 725727 HAS SOPS 725727 HAS SOUS 454723 HAS SOUPS 454723 WITH SCORE 455448.727
AT ITER 5601 NEW BEST:: SOT 3447235 SOS 725739 HAS SOPS 725739 HAS SOUS 454638 HAS SOUPS 454638 WITH SCORE 455363.739
AT ITER 5676 NEW BEST:: SOT 3447218 SOS 725706 HAS SOPS 725706 HAS SOUS 454605 HAS SOUPS 454605 WITH SCORE 455330.706
AT ITER 5685 NEW BEST:: SOT 3447216 SOS 725693 HAS SOPS 725693 HAS SOUS 454592 HAS SOUPS 454592 WITH SCORE 455317.693
AT ITER 5715 NEW BEST:: SOT 3447216 SOS 725682 HAS SOPS 725682 HAS SOUS 454592 HAS SOUPS 454592 WITH SCORE 455317.682
AT ITER 5716 NEW BEST:: SOT 3447215 SOS 725681 HAS SOPS 725681 HAS SOUS 454591 HAS SOUPS 454591 WITH SCORE 455316.681
AT ITER 5795 NEW BEST:: SOT 3447169 SOS 725588 HAS SOPS 725588 HAS SOUS 454498 HAS SOUPS 454498 WITH SCORE 455223.588
AT ITER 5875 NEW BEST:: SOT 3447123 SOS 725565 HAS SOPS 725565 HAS SOUS 454466 HAS SOUPS 454466 WITH SCORE 455191.565
AT ITER 5908 NEW BEST:: SOT 3447170 SOS 725518 HAS SOPS 725518 HAS SOUS 454466 HAS SOUPS 454466 WITH SCORE 455191.518
AT ITER 5923 NEW BEST:: SOT 3446426 SOS 724681 HAS SOPS 724681 HAS SOUS 453720 HAS SOUPS 453720 WITH SCORE 454444.681
AT ITER 5954 NEW BEST:: SOT 3446426 SOS 724533 HAS SOPS 724533 HAS SOUS 453720 HAS SOUPS 453720 WITH SCORE 454444.533
AT ITER 5974 NEW BEST:: SOT 3446643 SOS 723857 HAS SOPS 723857 HAS SOUS 453668 HAS SOUPS 453668 WITH SCORE 454391.857
AT ITER 6002 NEW BEST:: SOT 3446643 SOS 724309 HAS SOPS 724309 HAS SOUS 453667 HAS SOUPS 453667 WITH SCORE 454391.309
AT ITER 6061 NEW BEST:: SOT 3446555 SOS 724133 HAS SOPS 724133 HAS SOUS 453491 HAS SOUPS 453491 WITH SCORE 454215.133
AT ITER 6064 NEW BEST:: SOT 3446638 SOS 724027 HAS SOPS 724027 HAS SOUS 453480 HAS SOUPS 453480 WITH SCORE 454204.027
AT ITER 6065 NEW BEST:: SOT 3446611 SOS 723973 HAS SOPS 723973 HAS SOUS 453426 HAS SOUPS 453426 WITH SCORE 454149.973
AT ITER 6068 NEW BEST:: SOT 3446551 SOS 723919 HAS SOPS 723919 HAS SOUS 453372 HAS SOUPS 453372 WITH SCORE 454095.919
AT ITER 6088 NEW BEST:: SOT 3446543 SOS 723917 HAS SOPS 723917 HAS SOUS 453370 HAS SOUPS 453370 WITH SCORE 454093.917
AT ITER 6090 NEW BEST:: SOT 3446331 SOS 723693 HAS SOPS 723693 HAS SOUS 453145 HAS SOUPS 453145 WITH SCORE 453868.693
AT ITER 6129 NEW BEST:: SOT 3446371 SOS 723623 HAS SOPS 723623 HAS SOUS 453110 HAS SOUPS 453110 WITH SCORE 453833.623
AT ITER 6130 NEW BEST:: SOT 3446331 SOS 723587 HAS SOPS 723587 HAS SOUS 453052 HAS SOUPS 453052 WITH SCORE 453775.587
AT ITER 6175 NEW BEST:: SOT 3446225 SOS 723375 HAS SOPS 723375 HAS SOUS 452443 HAS SOUPS 452443 WITH SCORE 453166.375
AT ITER 6193 NEW BEST:: SOT 3446160 SOS 723312 HAS SOPS 723312 HAS SOUS 452378 HAS SOUPS 452378 WITH SCORE 453101.312
AT ITER 6238 NEW BEST:: SOT 3446009 SOS 723161 HAS SOPS 723161 HAS SOUS 452227 HAS SOUPS 452227 WITH SCORE 452950.161
AT ITER 6254 NEW BEST:: SOT 3446004 SOS 723151 HAS SOPS 723151 HAS SOUS 452222 HAS SOUPS 452222 WITH SCORE 452945.151
AT ITER 6267 NEW BEST:: SOT 3445960 SOS 723415 HAS SOPS 723415 HAS SOUS 452134 HAS SOUPS 452134 WITH SCORE 452857.415
AT ITER 6276 NEW BEST:: SOT 3445872 SOS 723239 HAS SOPS 723239 HAS SOUS 451958 HAS SOUPS 451958 WITH SCORE 452681.239
AT ITER 6277 NEW BEST:: SOT 3445819 SOS 723133 HAS SOPS 723133 HAS SOUS 451905 HAS SOUPS 451905 WITH SCORE 452628.133
AT ITER 6320 NEW BEST:: SOT 3445660 SOS 722974 HAS SOPS 722974 HAS SOUS 451746 HAS SOUPS 451746 WITH SCORE 452468.974
AT ITER 6327 NEW BEST:: SOT 3445531 SOS 722170 HAS SOPS 722170 HAS SOUS 451670 HAS SOUPS 451670 WITH SCORE 452392.17
AT ITER 6353 NEW BEST:: SOT 3445597 SOS 722302 HAS SOPS 722302 HAS SOUS 451504 HAS SOUPS 451504 WITH SCORE 452226.302
AT ITER 6355 NEW BEST:: SOT 3445538 SOS 722184 HAS SOPS 722184 HAS SOUS 451444 HAS SOUPS 451444 WITH SCORE 452166.184
AT ITER 6366 NEW BEST:: SOT 3445663 SOS 722162 HAS SOPS 722162 HAS SOUS 451422 HAS SOUPS 451422 WITH SCORE 452144.162
AT ITER 6389 NEW BEST:: SOT 3445643 SOS 722084 HAS SOPS 722084 HAS SOUS 451401 HAS SOUPS 451401 WITH SCORE 452123.084
AT ITER 6407 NEW BEST:: SOT 3445684 SOS 722077 HAS SOPS 722077 HAS SOUS 451394 HAS SOUPS 451394 WITH SCORE 452116.077
AT ITER 6421 NEW BEST:: SOT 3445625 SOS 721856 HAS SOPS 721856 HAS SOUS 451173 HAS SOUPS 451173 WITH SCORE 451894.856
AT ITER 6446 NEW BEST:: SOT 3445561 SOS 721664 HAS SOPS 721664 HAS SOUS 451173 HAS SOUPS 451173 WITH SCORE 451894.664
AT ITER 6455 NEW BEST:: SOT 3445539 SOS 721661 HAS SOPS 721661 HAS SOUS 451172 HAS SOUPS 451172 WITH SCORE 451893.661
AT ITER 6478 NEW BEST:: SOT 3445422 SOS 721910 HAS SOPS 721910 HAS SOUS 451055 HAS SOUPS 451055 WITH SCORE 451776.91
AT ITER 6534 NEW BEST:: SOT 3445368 SOS 721802 HAS SOPS 721802 HAS SOUS 451001 HAS SOUPS 451001 WITH SCORE 451722.802
AT ITER 6559 NEW BEST:: SOT 3445368 SOS 721802 HAS SOPS 721802 HAS SOUS 450967 HAS SOUPS 450967 WITH SCORE 451688.802
AT ITER 6612 NEW BEST:: SOT 3444845 SOS 720756 HAS SOPS 720756 HAS SOUS 450259 HAS SOUPS 450259 WITH SCORE 450979.756
AT ITER 6644 NEW BEST:: SOT 3444734 SOS 720534 HAS SOPS 720534 HAS SOUS 450177 HAS SOUPS 450177 WITH SCORE 450897.534
AT ITER 6651 NEW BEST:: SOT 3444437 SOS 720237 HAS SOPS 720237 HAS SOUS 449880 HAS SOUPS 449880 WITH SCORE 450600.237
AT ITER 6726 NEW BEST:: SOT 3443756 SOS 719419 HAS SOPS 719419 HAS SOUS 449764 HAS SOUPS 449764 WITH SCORE 450483.419
AT ITER 6733 NEW BEST:: SOT 3443756 SOS 719326 HAS SOPS 719326 HAS SOUS 449764 HAS SOUPS 449764 WITH SCORE 450483.326
AT ITER 6735 NEW BEST:: SOT 3443713 SOS 719039 HAS SOPS 719039 HAS SOUS 449678 HAS SOUPS 449678 WITH SCORE 450397.039
AT ITER 6786 NEW BEST:: SOT 3443713 SOS 719885 HAS SOPS 719885 HAS SOUS 449620 HAS SOUPS 449620 WITH SCORE 450339.885
AT ITER 6856 NEW BEST:: SOT 3443713 SOS 719652 HAS SOPS 719652 HAS SOUS 449387 HAS SOUPS 449387 WITH SCORE 450106.652
AT ITER 6868 NEW BEST:: SOT 3443701 SOS 719628 HAS SOPS 719628 HAS SOUS 449369 HAS SOUPS 449369 WITH SCORE 450088.628
AT ITER 6873 NEW BEST:: SOT 3443701 SOS 716300 HAS SOPS 716300 HAS SOUS 449369 HAS SOUPS 449369 WITH SCORE 450085.3
AT ITER 6874 NEW BEST:: SOT 3443719 SOS 716336 HAS SOPS 716336 HAS SOUS 449264 HAS SOUPS 449264 WITH SCORE 449980.336
AT ITER 6885 NEW BEST:: SOT 3443553 SOS 716004 HAS SOPS 716004 HAS SOUS 448851 HAS SOUPS 448851 WITH SCORE 449567.004
AT ITER 6898 NEW BEST:: SOT 3443443 SOS 715784 HAS SOPS 715784 HAS SOUS 448631 HAS SOUPS 448631 WITH SCORE 449346.784
AT ITER 6914 NEW BEST:: SOT 3443443 SOS 715742 HAS SOPS 715742 HAS SOUS 448631 HAS SOUPS 448631 WITH SCORE 449346.742
AT ITER 6978 NEW BEST:: SOT 3443437 SOS 715730 HAS SOPS 715730 HAS SOUS 448619 HAS SOUPS 448619 WITH SCORE 449334.73
AT ITER 6988 NEW BEST:: SOT 3440525 SOS 717689 HAS SOPS 717689 HAS SOUS 447671 HAS SOUPS 447671 WITH SCORE 448388.689
AT ITER 7031 NEW BEST:: SOT 3440308 SOS 717255 HAS SOPS 717255 HAS SOUS 447617 HAS SOUPS 447617 WITH SCORE 448334.255
AT ITER 7034 NEW BEST:: SOT 3440042 SOS 716723 HAS SOPS 716723 HAS SOUS 447424 HAS SOUPS 447424 WITH SCORE 448140.723
AT ITER 7038 NEW BEST:: SOT 3440042 SOS 716703 HAS SOPS 716703 HAS SOUS 447424 HAS SOUPS 447424 WITH SCORE 448140.703
AT ITER 7068 NEW BEST:: SOT 3440002 SOS 717012 HAS SOPS 717012 HAS SOUS 446742 HAS SOUPS 446742 WITH SCORE 447459.012
AT ITER 7111 NEW BEST:: SOT 3439547 SOS 716716 HAS SOPS 716716 HAS SOUS 446448 HAS SOUPS 446448 WITH SCORE 447164.716
AT ITER 7135 NEW BEST:: SOT 3439907 SOS 716679 HAS SOPS 716679 HAS SOUS 446411 HAS SOUPS 446411 WITH SCORE 447127.679
AT ITER 7146 NEW BEST:: SOT 3439892 SOS 715861 HAS SOPS 715861 HAS SOUS 446287 HAS SOUPS 446287 WITH SCORE 447002.861
AT ITER 7158 NEW BEST:: SOT 3439381 SOS 715640 HAS SOPS 715640 HAS SOUS 446043 HAS SOUPS 446043 WITH SCORE 446758.64
AT ITER 7163 NEW BEST:: SOT 3439377 SOS 715158 HAS SOPS 715158 HAS SOUS 445920 HAS SOUPS 445920 WITH SCORE 446635.158
AT ITER 7164 NEW BEST:: SOT 3439376 SOS 715156 HAS SOPS 715156 HAS SOUS 445918 HAS SOUPS 445918 WITH SCORE 446633.156
AT ITER 7165 NEW BEST:: SOT 3439367 SOS 715138 HAS SOPS 715138 HAS SOUS 445909 HAS SOUPS 445909 WITH SCORE 446624.138
AT ITER 7229 NEW BEST:: SOT 3439361 SOS 715111 HAS SOPS 715111 HAS SOUS 445897 HAS SOUPS 445897 WITH SCORE 446612.111
AT ITER 7260 NEW BEST:: SOT 3439095 SOS 714765 HAS SOPS 714765 HAS SOUS 445637 HAS SOUPS 445637 WITH SCORE 446351.765
AT ITER 7292 NEW BEST:: SOT 3438978 SOS 714531 HAS SOPS 714531 HAS SOUS 445403 HAS SOUPS 445403 WITH SCORE 446117.531
AT ITER 7305 NEW BEST:: SOT 3438952 SOS 715209 HAS SOPS 715209 HAS SOUS 445377 HAS SOUPS 445377 WITH SCORE 446092.209
AT ITER 7318 NEW BEST:: SOT 3438946 SOS 715203 HAS SOPS 715203 HAS SOUS 445371 HAS SOUPS 445371 WITH SCORE 446086.203
AT ITER 7330 NEW BEST:: SOT 3439058 SOS 716244 HAS SOPS 716244 HAS SOUS 445293 HAS SOUPS 445293 WITH SCORE 446009.244
AT ITER 7354 NEW BEST:: SOT 3438959 SOS 715933 HAS SOPS 715933 HAS SOUS 445150 HAS SOUPS 445150 WITH SCORE 445865.933
AT ITER 7395 NEW BEST:: SOT 3438974 SOS 719436 HAS SOPS 719436 HAS SOUS 444890 HAS SOUPS 444890 WITH SCORE 445609.436
AT ITER 7397 NEW BEST:: SOT 3438948 SOS 719410 HAS SOPS 719410 HAS SOUS 444864 HAS SOUPS 444864 WITH SCORE 445583.41
AT ITER 7453 NEW BEST:: SOT 3438911 SOS 719336 HAS SOPS 719336 HAS SOUS 444827 HAS SOUPS 444827 WITH SCORE 445546.336
AT ITER 7487 NEW BEST:: SOT 3438771 SOS 718916 HAS SOPS 718916 HAS SOUS 444659 HAS SOUPS 444659 WITH SCORE 445377.916
AT ITER 7504 NEW BEST:: SOT 3438776 SOS 718732 HAS SOPS 718732 HAS SOUS 444475 HAS SOUPS 444475 WITH SCORE 445193.732
AT ITER 7506 NEW BEST:: SOT 3438774 SOS 718728 HAS SOPS 718728 HAS SOUS 444471 HAS SOUPS 444471 WITH SCORE 445189.728
AT ITER 7525 NEW BEST:: SOT 3438594 SOS 718728 HAS SOPS 718728 HAS SOUS 444328 HAS SOUPS 444328 WITH SCORE 445046.728
AT ITER 7527 NEW BEST:: SOT 3438481 SOS 718502 HAS SOPS 718502 HAS SOUS 444102 HAS SOUPS 444102 WITH SCORE 444820.502
AT ITER 7528 NEW BEST:: SOT 3438276 SOS 717477 HAS SOPS 717477 HAS SOUS 443692 HAS SOUPS 443692 WITH SCORE 444409.477
AT ITER 7532 NEW BEST:: SOT 3437628 SOS 717288 HAS SOPS 717288 HAS SOUS 443413 HAS SOUPS 443413 WITH SCORE 444130.288
AT ITER 7541 NEW BEST:: SOT 3437521 SOS 717074 HAS SOPS 717074 HAS SOUS 443273 HAS SOUPS 443273 WITH SCORE 443990.074
AT ITER 7558 NEW BEST:: SOT 3437353 SOS 716738 HAS SOPS 716738 HAS SOUS 442937 HAS SOUPS 442937 WITH SCORE 443653.738
AT ITER 7599 NEW BEST:: SOT 3437265 SOS 716446 HAS SOPS 716446 HAS SOUS 442733 HAS SOUPS 442733 WITH SCORE 443449.446
AT ITER 7623 NEW BEST:: SOT 3437277 SOS 716470 HAS SOPS 716470 HAS SOUS 442602 HAS SOUPS 442602 WITH SCORE 443318.47
AT ITER 7624 NEW BEST:: SOT 3436319 SOS 720560 HAS SOPS 720560 HAS SOUS 442573 HAS SOUPS 442573 WITH SCORE 443293.56
AT ITER 7641 NEW BEST:: SOT 3436463 SOS 720424 HAS SOPS 720424 HAS SOUS 442528 HAS SOUPS 442528 WITH SCORE 443248.424
AT ITER 7655 NEW BEST:: SOT 3436382 SOS 719947 HAS SOPS 719947 HAS SOUS 442342 HAS SOUPS 442342 WITH SCORE 443061.947
AT ITER 7671 NEW BEST:: SOT 3436382 SOS 719835 HAS SOPS 719835 HAS SOUS 442342 HAS SOUPS 442342 WITH SCORE 443061.835
AT ITER 7683 NEW BEST:: SOT 3436322 SOS 719805 HAS SOPS 719805 HAS SOUS 442312 HAS SOUPS 442312 WITH SCORE 443031.805
AT ITER 7687 NEW BEST:: SOT 3436147 SOS 719509 HAS SOPS 719509 HAS SOUS 442223 HAS SOUPS 442223 WITH SCORE 442942.509
AT ITER 7723 NEW BEST:: SOT 3435986 SOS 719388 HAS SOPS 719388 HAS SOUS 442102 HAS SOUPS 442102 WITH SCORE 442821.388
AT ITER 7738 NEW BEST:: SOT 3435735 SOS 718886 HAS SOPS 718886 HAS SOUS 441979 HAS SOUPS 441979 WITH SCORE 442697.886
AT ITER 7751 NEW BEST:: SOT 3435693 SOS 718802 HAS SOPS 718802 HAS SOUS 441895 HAS SOUPS 441895 WITH SCORE 442613.802
AT ITER 7771 NEW BEST:: SOT 3435669 SOS 718730 HAS SOPS 718730 HAS SOUS 441847 HAS SOUPS 441847 WITH SCORE 442565.73
AT ITER 7790 NEW BEST:: SOT 3434733 SOS 717050 HAS SOPS 717050 HAS SOUS 440722 HAS SOUPS 440722 WITH SCORE 441439.05
AT ITER 7813 NEW BEST:: SOT 3434687 SOS 716866 HAS SOPS 716866 HAS SOUS 440630 HAS SOUPS 440630 WITH SCORE 441346.866
AT ITER 7840 NEW BEST:: SOT 3434702 SOS 716896 HAS SOPS 716896 HAS SOUS 440556 HAS SOUPS 440556 WITH SCORE 441272.896
AT ITER 7841 NEW BEST:: SOT 3434477 SOS 716912 HAS SOPS 716912 HAS SOUS 440331 HAS SOUPS 440331 WITH SCORE 441047.912
AT ITER 7852 NEW BEST:: SOT 3434477 SOS 716901 HAS SOPS 716901 HAS SOUS 440320 HAS SOUPS 440320 WITH SCORE 441036.901
AT ITER 7905 NEW BEST:: SOT 3434126 SOS 716727 HAS SOPS 716727 HAS SOUS 440122 HAS SOUPS 440122 WITH SCORE 440838.727
AT ITER 7961 NEW BEST:: SOT 3434124 SOS 716838 HAS SOPS 716838 HAS SOUS 440118 HAS SOUPS 440118 WITH SCORE 440834.838
AT ITER 7962 NEW BEST:: SOT 3433952 SOS 716494 HAS SOPS 716494 HAS SOUS 439860 HAS SOUPS 439860 WITH SCORE 440576.494
AT ITER 7966 NEW BEST:: SOT 3433952 SOS 716987 HAS SOPS 716987 HAS SOUS 439859 HAS SOUPS 439859 WITH SCORE 440575.987
AT ITER 7983 NEW BEST:: SOT 3433952 SOS 716894 HAS SOPS 716894 HAS SOUS 439828 HAS SOUPS 439828 WITH SCORE 440544.894
AT ITER 7987 NEW BEST:: SOT 3433883 SOS 716756 HAS SOPS 716756 HAS SOUS 439690 HAS SOUPS 439690 WITH SCORE 440406.756
AT ITER 8014 NEW BEST:: SOT 3433862 SOS 716714 HAS SOPS 716714 HAS SOUS 439567 HAS SOUPS 439567 WITH SCORE 440283.714
AT ITER 8039 NEW BEST:: SOT 3433911 SOS 716542 HAS SOPS 716542 HAS SOUS 439526 HAS SOUPS 439526 WITH SCORE 440242.542
AT ITER 8042 NEW BEST:: SOT 3433816 SOS 716352 HAS SOPS 716352 HAS SOUS 439431 HAS SOUPS 439431 WITH SCORE 440147.352
AT ITER 8063 NEW BEST:: SOT 3433790 SOS 716326 HAS SOPS 716326 HAS SOUS 439405 HAS SOUPS 439405 WITH SCORE 440121.326
AT ITER 8138 NEW BEST:: SOT 3433602 SOS 715950 HAS SOPS 715950 HAS SOUS 439029 HAS SOUPS 439029 WITH SCORE 439744.95
AT ITER 8143 NEW BEST:: SOT 3433458 SOS 715797 HAS SOPS 715797 HAS SOUS 438901 HAS SOUPS 438901 WITH SCORE 439616.797
AT ITER 8185 NEW BEST:: SOT 3433616 SOS 715421 HAS SOPS 715421 HAS SOUS 438829 HAS SOUPS 438829 WITH SCORE 439544.421
AT ITER 8195 NEW BEST:: SOT 3433616 SOS 715049 HAS SOPS 715049 HAS SOUS 438705 HAS SOUPS 438705 WITH SCORE 439420.049
AT ITER 8199 NEW BEST:: SOT 3433145 SOS 714107 HAS SOPS 714107 HAS SOUS 437698 HAS SOUPS 437698 WITH SCORE 438412.107
AT ITER 8217 NEW BEST:: SOT 3432984 SOS 713785 HAS SOPS 713785 HAS SOUS 437531 HAS SOUPS 437531 WITH SCORE 438244.785
AT ITER 8233 NEW BEST:: SOT 3432984 SOS 713536 HAS SOPS 713536 HAS SOUS 437474 HAS SOUPS 437474 WITH SCORE 438187.536
AT ITER 8281 NEW BEST:: SOT 3432827 SOS 713474 HAS SOPS 713474 HAS SOUS 437401 HAS SOUPS 437401 WITH SCORE 438114.474
AT ITER 8301 NEW BEST:: SOT 3432754 SOS 713328 HAS SOPS 713328 HAS SOUS 437255 HAS SOUPS 437255 WITH SCORE 437968.328
AT ITER 8304 NEW BEST:: SOT 3432625 SOS 712038 HAS SOPS 712038 HAS SOUS 437126 HAS SOUPS 437126 WITH SCORE 437838.038
AT ITER 8352 NEW BEST:: SOT 3432705 SOS 711834 HAS SOPS 711834 HAS SOUS 437075 HAS SOUPS 437075 WITH SCORE 437786.834
AT ITER 8358 NEW BEST:: SOT 3432605 SOS 711634 HAS SOPS 711634 HAS SOUS 436875 HAS SOUPS 436875 WITH SCORE 437586.634
AT ITER 8389 NEW BEST:: SOT 3432604 SOS 711632 HAS SOPS 711632 HAS SOUS 436874 HAS SOUPS 436874 WITH SCORE 437585.632
AT ITER 8408 NEW BEST:: SOT 3432604 SOS 711597 HAS SOPS 711597 HAS SOUS 436839 HAS SOUPS 436839 WITH SCORE 437550.597
AT ITER 8417 NEW BEST:: SOT 3432504 SOS 711597 HAS SOPS 711597 HAS SOUS 436768 HAS SOUPS 436768 WITH SCORE 437479.597
AT ITER 8438 NEW BEST:: SOT 3432504 SOS 711282 HAS SOPS 711282 HAS SOUS 436663 HAS SOUPS 436663 WITH SCORE 437374.282
AT ITER 8447 NEW BEST:: SOT 3431504 SOS 709282 HAS SOPS 709282 HAS SOUS 435463 HAS SOUPS 435463 WITH SCORE 436172.282
AT ITER 8487 NEW BEST:: SOT 3431504 SOS 709102 HAS SOPS 709102 HAS SOUS 435463 HAS SOUPS 435463 WITH SCORE 436172.102
AT ITER 8495 NEW BEST:: SOT 3431236 SOS 708769 HAS SOPS 708769 HAS SOUS 435195 HAS SOUPS 435195 WITH SCORE 435903.769
AT ITER 8527 NEW BEST:: SOT 3431000 SOS 708738 HAS SOPS 708738 HAS SOUS 434986 HAS SOUPS 434986 WITH SCORE 435694.738
AT ITER 8529 NEW BEST:: SOT 3430673 SOS 707103 HAS SOPS 707103 HAS SOUS 434332 HAS SOUPS 434332 WITH SCORE 435039.103
AT ITER 8568 NEW BEST:: SOT 3430758 SOS 707273 HAS SOPS 707273 HAS SOUS 434278 HAS SOUPS 434278 WITH SCORE 434985.273
AT ITER 8570 NEW BEST:: SOT 3430703 SOS 707108 HAS SOPS 707108 HAS SOUS 434113 HAS SOUPS 434113 WITH SCORE 434820.108
AT ITER 8575 NEW BEST:: SOT 3430682 SOS 707256 HAS SOPS 707256 HAS SOUS 434090 HAS SOUPS 434090 WITH SCORE 434797.256
AT ITER 8585 NEW BEST:: SOT 3430560 SOS 707134 HAS SOPS 707134 HAS SOUS 433968 HAS SOUPS 433968 WITH SCORE 434675.134
AT ITER 8596 NEW BEST:: SOT 3430272 SOS 706790 HAS SOPS 706790 HAS SOUS 433804 HAS SOUPS 433804 WITH SCORE 434510.79
AT ITER 8627 NEW BEST:: SOT 3430124 SOS 706642 HAS SOPS 706642 HAS SOUS 433656 HAS SOUPS 433656 WITH SCORE 434362.642
AT ITER 8638 NEW BEST:: SOT 3430016 SOS 706534 HAS SOPS 706534 HAS SOUS 433548 HAS SOUPS 433548 WITH SCORE 434254.534
AT ITER 8653 NEW BEST:: SOT 3429978 SOS 706458 HAS SOPS 706458 HAS SOUS 433472 HAS SOUPS 433472 WITH SCORE 434178.458
AT ITER 8664 NEW BEST:: SOT 3430015 SOS 706442 HAS SOPS 706442 HAS SOUS 433456 HAS SOUPS 433456 WITH SCORE 434162.442
AT ITER 8727 NEW BEST:: SOT 3429996 SOS 706403 HAS SOPS 706403 HAS SOUS 433417 HAS SOUPS 433417 WITH SCORE 434123.403
AT ITER 8771 NEW BEST:: SOT 3429996 SOS 706402 HAS SOPS 706402 HAS SOUS 433416 HAS SOUPS 433416 WITH SCORE 434122.402
AT ITER 8798 NEW BEST:: SOT 3429791 SOS 709412 HAS SOPS 709412 HAS SOUS 433211 HAS SOUPS 433211 WITH SCORE 433920.412
AT ITER 8804 NEW BEST:: SOT 3429791 SOS 709412 HAS SOPS 709412 HAS SOUS 433195 HAS SOUPS 433195 WITH SCORE 433904.412
AT ITER 8824 NEW BEST:: SOT 3429686 SOS 709403 HAS SOPS 709403 HAS SOUS 432964 HAS SOUPS 432964 WITH SCORE 433673.403
AT ITER 8858 NEW BEST:: SOT 3429686 SOS 709582 HAS SOPS 709582 HAS SOUS 432954 HAS SOUPS 432954 WITH SCORE 433663.582
AT ITER 8886 NEW BEST:: SOT 3429642 SOS 709861 HAS SOPS 709861 HAS SOUS 432909 HAS SOUPS 432909 WITH SCORE 433618.861
AT ITER 8923 NEW BEST:: SOT 3429736 SOS 709841 HAS SOPS 709841 HAS SOUS 432889 HAS SOUPS 432889 WITH SCORE 433598.841
AT ITER 8926 NEW BEST:: SOT 3429738 SOS 709845 HAS SOPS 709845 HAS SOUS 432820 HAS SOUPS 432820 WITH SCORE 433529.845
AT ITER 8932 NEW BEST:: SOT 3429343 SOS 709055 HAS SOPS 709055 HAS SOUS 432245 HAS SOUPS 432245 WITH SCORE 432954.055
AT ITER 8933 NEW BEST:: SOT 3429273 SOS 708915 HAS SOPS 708915 HAS SOUS 432062 HAS SOUPS 432062 WITH SCORE 432770.915
AT ITER 8978 NEW BEST:: SOT 3428864 SOS 708431 HAS SOPS 708431 HAS SOUS 431866 HAS SOUPS 431866 WITH SCORE 432574.431
AT ITER 8999 NEW BEST:: SOT 3428803 SOS 708309 HAS SOPS 708309 HAS SOUS 431744 HAS SOUPS 431744 WITH SCORE 432452.309
AT ITER 9007 NEW BEST:: SOT 3428724 SOS 707467 HAS SOPS 707467 HAS SOUS 431721 HAS SOUPS 431721 WITH SCORE 432428.467
AT ITER 9048 NEW BEST:: SOT 3428678 SOS 707095 HAS SOPS 707095 HAS SOUS 431628 HAS SOUPS 431628 WITH SCORE 432335.095
AT ITER 9070 NEW BEST:: SOT 3428798 SOS 703899 HAS SOPS 703899 HAS SOUS 431535 HAS SOUPS 431535 WITH SCORE 432238.899
AT ITER 9090 NEW BEST:: SOT 3428798 SOS 703899 HAS SOPS 703899 HAS SOUS 431453 HAS SOUPS 431453 WITH SCORE 432156.899
AT ITER 9212 NEW BEST:: SOT 3428772 SOS 703861 HAS SOPS 703861 HAS SOUS 431408 HAS SOUPS 431408 WITH SCORE 432111.861
AT ITER 9280 NEW BEST:: SOT 3428771 SOS 703859 HAS SOPS 703859 HAS SOUS 431406 HAS SOUPS 431406 WITH SCORE 432109.859
AT ITER 9288 NEW BEST:: SOT 3428582 SOS 703481 HAS SOPS 703481 HAS SOUS 431192 HAS SOUPS 431192 WITH SCORE 431895.481
AT ITER 9289 NEW BEST:: SOT 3428494 SOS 703305 HAS SOPS 703305 HAS SOUS 431166 HAS SOUPS 431166 WITH SCORE 431869.305
AT ITER 9297 NEW BEST:: SOT 3428516 SOS 703345 HAS SOPS 703345 HAS SOUS 431125 HAS SOUPS 431125 WITH SCORE 431828.345
AT ITER 9307 NEW BEST:: SOT 3428516 SOS 703466 HAS SOPS 703466 HAS SOUS 431123 HAS SOUPS 431123 WITH SCORE 431826.466
AT ITER 9320 NEW BEST:: SOT 3428516 SOS 703493 HAS SOPS 703493 HAS SOUS 431107 HAS SOUPS 431107 WITH SCORE 431810.493
AT ITER 9367 NEW BEST:: SOT 3428485 SOS 703332 HAS SOPS 703332 HAS SOUS 430946 HAS SOUPS 430946 WITH SCORE 431649.332
AT ITER 9369 NEW BEST:: SOT 3428386 SOS 703134 HAS SOPS 703134 HAS SOUS 430744 HAS SOUPS 430744 WITH SCORE 431447.134
AT ITER 9370 NEW BEST:: SOT 3428340 SOS 702965 HAS SOPS 702965 HAS SOUS 430638 HAS SOUPS 430638 WITH SCORE 431340.965
AT ITER 9402 NEW BEST:: SOT 3428072 SOS 703070 HAS SOPS 703070 HAS SOUS 430637 HAS SOUPS 430637 WITH SCORE 431340.07
AT ITER 9404 NEW BEST:: SOT 3428260 SOS 703446 HAS SOPS 703446 HAS SOUS 430527 HAS SOUPS 430527 WITH SCORE 431230.446
AT ITER 9417 NEW BEST:: SOT 3428368 SOS 703230 HAS SOPS 703230 HAS SOUS 430419 HAS SOUPS 430419 WITH SCORE 431122.23
AT ITER 9428 NEW BEST:: SOT 3428257 SOS 703008 HAS SOPS 703008 HAS SOUS 430306 HAS SOUPS 430306 WITH SCORE 431009.008
AT ITER 9473 NEW BEST:: SOT 3428195 SOS 702946 HAS SOPS 702946 HAS SOUS 430306 HAS SOUPS 430306 WITH SCORE 431008.946
AT ITER 9489 NEW BEST:: SOT 3428004 SOS 702755 HAS SOPS 702755 HAS SOUS 430115 HAS SOUPS 430115 WITH SCORE 430817.755
AT ITER 9498 NEW BEST:: SOT 3427848 SOS 702443 HAS SOPS 702443 HAS SOUS 429958 HAS SOUPS 429958 WITH SCORE 430660.443
AT ITER 9520 NEW BEST:: SOT 3427838 SOS 702891 HAS SOPS 702891 HAS SOUS 429924 HAS SOUPS 429924 WITH SCORE 430626.891
AT ITER 9582 NEW BEST:: SOT 3427838 SOS 702234 HAS SOPS 702234 HAS SOUS 429851 HAS SOUPS 429851 WITH SCORE 430553.234
AT ITER 9590 NEW BEST:: SOT 3427690 SOS 702516 HAS SOPS 702516 HAS SOUS 429717 HAS SOUPS 429717 WITH SCORE 430419.516
AT ITER 9596 NEW BEST:: SOT 3427662 SOS 702386 HAS SOPS 702386 HAS SOUS 429683 HAS SOUPS 429683 WITH SCORE 430385.386
AT ITER 9615 NEW BEST:: SOT 3427632 SOS 701680 HAS SOPS 701680 HAS SOUS 429485 HAS SOUPS 429485 WITH SCORE 430186.68
AT ITER 9625 NEW BEST:: SOT 3427448 SOS 701312 HAS SOPS 701312 HAS SOUS 429111 HAS SOUPS 429111 WITH SCORE 429812.312
AT ITER 9660 NEW BEST:: SOT 3427345 SOS 701021 HAS SOPS 701021 HAS SOUS 428923 HAS SOUPS 428923 WITH SCORE 429624.021
AT ITER 9675 NEW BEST:: SOT 3427456 SOS 700190 HAS SOPS 700190 HAS SOUS 428683 HAS SOUPS 428683 WITH SCORE 429383.19
AT ITER 9710 NEW BEST:: SOT 3427456 SOS 700190 HAS SOPS 700190 HAS SOUS 428615 HAS SOUPS 428615 WITH SCORE 429315.19
AT ITER 9724 NEW BEST:: SOT 3427311 SOS 699900 HAS SOPS 699900 HAS SOUS 428325 HAS SOUPS 428325 WITH SCORE 429024.9
AT ITER 9739 NEW BEST:: SOT 3427297 SOS 699892 HAS SOPS 699892 HAS SOUS 428317 HAS SOUPS 428317 WITH SCORE 429016.892
AT ITER 9773 NEW BEST:: SOT 3427297 SOS 699950 HAS SOPS 699950 HAS SOUS 428259 HAS SOUPS 428259 WITH SCORE 428958.95
AT ITER 9813 NEW BEST:: SOT 3427143 SOS 699642 HAS SOPS 699642 HAS SOUS 427951 HAS SOUPS 427951 WITH SCORE 428650.642
AT ITER 9824 NEW BEST:: SOT 3427087 SOS 699061 HAS SOPS 699061 HAS SOUS 427874 HAS SOUPS 427874 WITH SCORE 428573.061
AT ITER 9839 NEW BEST:: SOT 3427087 SOS 699061 HAS SOPS 699061 HAS SOUS 427871 HAS SOUPS 427871 WITH SCORE 428570.061
AT ITER 9866 NEW BEST:: SOT 3427087 SOS 699142 HAS SOPS 699142 HAS SOUS 427858 HAS SOUPS 427858 WITH SCORE 428557.142
AT ITER 9974 NEW BEST:: SOT 3427027 SOS 698934 HAS SOPS 698934 HAS SOUS 427738 HAS SOUPS 427738 WITH SCORE 428436.934
AT ITER 9986 NEW BEST:: SOT 3426673 SOS 699288 HAS SOPS 699288 HAS SOUS 427582 HAS SOUPS 427582 WITH SCORE 428281.288

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="DLCround-PT-05b"
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 DLCround-PT-05b, 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 r048-ebro-158902542300496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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