About the Execution of smart for ViralEpidemic-PT-S03D1C1A04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.000 | 1448378.00 | 1448029.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900499.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S03D1C1A04, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900499
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 792K
-rw-r--r-- 1 mcc users 4.2K May 14 04:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 04:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 22:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 22:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 15:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 15:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 13 11:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 11:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 615K May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S03D1C1A04-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1590473517037
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S03D1C1A04
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 606 places, 847 transitions, 1936 arcs.
AT ITER 0 NEW BEST:: SOT 354234 SOS 192601 HAS SOPS 192601 HAS SOUS 75293 HAS SOUPS 75293 WITH SCORE 75485.601
AT ITER 14 NEW BEST:: SOT 353862 SOS 191857 HAS SOPS 191857 HAS SOUS 75293 HAS SOUPS 75293 WITH SCORE 75484.857
AT ITER 18 NEW BEST:: SOT 353604 SOS 191339 HAS SOPS 191339 HAS SOUS 75289 HAS SOUPS 75289 WITH SCORE 75480.339
AT ITER 31 NEW BEST:: SOT 352867 SOS 190138 HAS SOPS 190138 HAS SOUS 75188 HAS SOUPS 75188 WITH SCORE 75378.138
AT ITER 32 NEW BEST:: SOT 352421 SOS 189245 HAS SOPS 189245 HAS SOUS 75187 HAS SOUPS 75187 WITH SCORE 75376.245
AT ITER 33 NEW BEST:: SOT 352137 SOS 188550 HAS SOPS 188550 HAS SOUS 75060 HAS SOUPS 75060 WITH SCORE 75248.55
AT ITER 34 NEW BEST:: SOT 351777 SOS 187830 HAS SOPS 187830 HAS SOUS 75060 HAS SOUPS 75060 WITH SCORE 75247.83
AT ITER 36 NEW BEST:: SOT 351027 SOS 186635 HAS SOPS 186635 HAS SOUS 74982 HAS SOUPS 74982 WITH SCORE 75168.635
AT ITER 42 NEW BEST:: SOT 350311 SOS 185510 HAS SOPS 185510 HAS SOUS 74942 HAS SOUPS 74942 WITH SCORE 75127.51
AT ITER 46 NEW BEST:: SOT 349947 SOS 184781 HAS SOPS 184781 HAS SOUS 74941 HAS SOUPS 74941 WITH SCORE 75125.781
AT ITER 60 NEW BEST:: SOT 349525 SOS 183935 HAS SOPS 183935 HAS SOUS 74937 HAS SOUPS 74937 WITH SCORE 75120.935
AT ITER 72 NEW BEST:: SOT 349279 SOS 183443 HAS SOPS 183443 HAS SOUS 74937 HAS SOUPS 74937 WITH SCORE 75120.443
AT ITER 76 NEW BEST:: SOT 348917 SOS 182718 HAS SOPS 182718 HAS SOUS 74936 HAS SOUPS 74936 WITH SCORE 75118.718
AT ITER 87 NEW BEST:: SOT 348340 SOS 181340 HAS SOPS 181340 HAS SOUS 74787 HAS SOUPS 74787 WITH SCORE 74968.34
AT ITER 90 NEW BEST:: SOT 347822 SOS 180303 HAS SOPS 180303 HAS SOUS 74786 HAS SOUPS 74786 WITH SCORE 74966.303
AT ITER 93 NEW BEST:: SOT 347544 SOS 179745 HAS SOPS 179745 HAS SOUS 74782 HAS SOUPS 74782 WITH SCORE 74961.745
AT ITER 121 NEW BEST:: SOT 347446 SOS 179500 HAS SOPS 179500 HAS SOUS 74733 HAS SOUPS 74733 WITH SCORE 74912.5
AT ITER 126 NEW BEST:: SOT 347040 SOS 178688 HAS SOPS 178688 HAS SOUS 74733 HAS SOUPS 74733 WITH SCORE 74911.688
AT ITER 137 NEW BEST:: SOT 346559 SOS 177544 HAS SOPS 177544 HAS SOUS 74608 HAS SOUPS 74608 WITH SCORE 74785.544
AT ITER 138 NEW BEST:: SOT 346547 SOS 177520 HAS SOPS 177520 HAS SOUS 74596 HAS SOUPS 74596 WITH SCORE 74773.52
AT ITER 142 NEW BEST:: SOT 346083 SOS 176590 HAS SOPS 176590 HAS SOUS 74592 HAS SOUPS 74592 WITH SCORE 74768.59
AT ITER 158 NEW BEST:: SOT 345561 SOS 175546 HAS SOPS 175546 HAS SOUS 74592 HAS SOUPS 74592 WITH SCORE 74767.546
AT ITER 184 NEW BEST:: SOT 344997 SOS 174417 HAS SOPS 174417 HAS SOUS 74591 HAS SOUPS 74591 WITH SCORE 74765.417
AT ITER 185 NEW BEST:: SOT 344571 SOS 173564 HAS SOPS 173564 HAS SOUS 74590 HAS SOUPS 74590 WITH SCORE 74763.564
AT ITER 218 NEW BEST:: SOT 344227 SOS 172875 HAS SOPS 172875 HAS SOUS 74589 HAS SOUPS 74589 WITH SCORE 74761.875
AT ITER 224 NEW BEST:: SOT 344135 SOS 172645 HAS SOPS 172645 HAS SOUS 74551 HAS SOUPS 74551 WITH SCORE 74723.645
AT ITER 225 NEW BEST:: SOT 343374 SOS 171404 HAS SOPS 171404 HAS SOUS 74437 HAS SOUPS 74437 WITH SCORE 74608.404
AT ITER 227 NEW BEST:: SOT 343341 SOS 171338 HAS SOPS 171338 HAS SOUS 74437 HAS SOUPS 74437 WITH SCORE 74608.338
AT ITER 229 NEW BEST:: SOT 342879 SOS 170413 HAS SOPS 170413 HAS SOUS 74436 HAS SOUPS 74436 WITH SCORE 74606.413
AT ITER 244 NEW BEST:: SOT 342755 SOS 170165 HAS SOPS 170165 HAS SOUS 74436 HAS SOUPS 74436 WITH SCORE 74606.165
AT ITER 248 NEW BEST:: SOT 342459 SOS 169573 HAS SOPS 169573 HAS SOUS 74436 HAS SOUPS 74436 WITH SCORE 74605.573
AT ITER 252 NEW BEST:: SOT 342195 SOS 168966 HAS SOPS 168966 HAS SOUS 74358 HAS SOUPS 74358 WITH SCORE 74526.966
AT ITER 262 NEW BEST:: SOT 341911 SOS 168397 HAS SOPS 168397 HAS SOUS 74357 HAS SOUPS 74357 WITH SCORE 74525.397
AT ITER 269 NEW BEST:: SOT 341413 SOS 167192 HAS SOPS 167192 HAS SOUS 74204 HAS SOUPS 74204 WITH SCORE 74371.192
AT ITER 275 NEW BEST:: SOT 341083 SOS 166367 HAS SOPS 166367 HAS SOUS 74039 HAS SOUPS 74039 WITH SCORE 74205.367
AT ITER 282 NEW BEST:: SOT 340352 SOS 165201 HAS SOPS 165201 HAS SOUS 73907 HAS SOUPS 73907 WITH SCORE 74072.201
AT ITER 292 NEW BEST:: SOT 340028 SOS 164553 HAS SOPS 164553 HAS SOUS 73907 HAS SOUPS 73907 WITH SCORE 74071.553
AT ITER 297 NEW BEST:: SOT 339738 SOS 163828 HAS SOPS 163828 HAS SOUS 73760 HAS SOUPS 73760 WITH SCORE 73923.828
AT ITER 302 NEW BEST:: SOT 339406 SOS 163164 HAS SOPS 163164 HAS SOUS 73760 HAS SOUPS 73760 WITH SCORE 73923.164
AT ITER 338 NEW BEST:: SOT 339164 SOS 162679 HAS SOPS 162679 HAS SOUS 73759 HAS SOUPS 73759 WITH SCORE 73921.679
AT ITER 344 NEW BEST:: SOT 339004 SOS 162296 HAS SOPS 162296 HAS SOUS 73696 HAS SOUPS 73696 WITH SCORE 73858.296
AT ITER 348 NEW BEST:: SOT 338698 SOS 161682 HAS SOPS 161682 HAS SOUS 73692 HAS SOUPS 73692 WITH SCORE 73853.682
AT ITER 367 NEW BEST:: SOT 338692 SOS 161670 HAS SOPS 161670 HAS SOUS 73692 HAS SOUPS 73692 WITH SCORE 73853.67
AT ITER 377 NEW BEST:: SOT 338216 SOS 160488 HAS SOPS 160488 HAS SOUS 73462 HAS SOUPS 73462 WITH SCORE 73622.488
AT ITER 390 NEW BEST:: SOT 338216 SOS 160374 HAS SOPS 160374 HAS SOUS 73358 HAS SOUPS 73358 WITH SCORE 73518.374
AT ITER 400 NEW BEST:: SOT 338088 SOS 160118 HAS SOPS 160118 HAS SOUS 73358 HAS SOUPS 73358 WITH SCORE 73518.118
AT ITER 438 NEW BEST:: SOT 337668 SOS 159095 HAS SOPS 159095 HAS SOUS 72841 HAS SOUPS 72841 WITH SCORE 73000.095
AT ITER 439 NEW BEST:: SOT 337128 SOS 157803 HAS SOPS 157803 HAS SOUS 72691 HAS SOUPS 72691 WITH SCORE 72848.803
AT ITER 449 NEW BEST:: SOT 336790 SOS 157002 HAS SOPS 157002 HAS SOUS 72522 HAS SOUPS 72522 WITH SCORE 72679.002
AT ITER 452 NEW BEST:: SOT 336790 SOS 156740 HAS SOPS 156740 HAS SOUS 72260 HAS SOUPS 72260 WITH SCORE 72416.74
AT ITER 455 NEW BEST:: SOT 336560 SOS 156011 HAS SOPS 156011 HAS SOUS 72032 HAS SOUPS 72032 WITH SCORE 72188.011
AT ITER 456 NEW BEST:: SOT 336700 SOS 156221 HAS SOPS 156221 HAS SOUS 71962 HAS SOUPS 71962 WITH SCORE 72118.221
AT ITER 460 NEW BEST:: SOT 336011 SOS 154801 HAS SOPS 154801 HAS SOUS 71528 HAS SOUPS 71528 WITH SCORE 71682.801
AT ITER 463 NEW BEST:: SOT 335932 SOS 154643 HAS SOPS 154643 HAS SOUS 71449 HAS SOUPS 71449 WITH SCORE 71603.643
AT ITER 464 NEW BEST:: SOT 335672 SOS 153993 HAS SOPS 153993 HAS SOUS 71319 HAS SOUPS 71319 WITH SCORE 71472.993
AT ITER 477 NEW BEST:: SOT 335389 SOS 153427 HAS SOPS 153427 HAS SOUS 70998 HAS SOUPS 70998 WITH SCORE 71151.427
AT ITER 487 NEW BEST:: SOT 335344 SOS 153353 HAS SOPS 153353 HAS SOUS 70985 HAS SOUPS 70985 WITH SCORE 71138.353
AT ITER 491 NEW BEST:: SOT 335292 SOS 153223 HAS SOPS 153223 HAS SOUS 70959 HAS SOUPS 70959 WITH SCORE 71112.223
AT ITER 495 NEW BEST:: SOT 335209 SOS 153026 HAS SOPS 153026 HAS SOUS 70859 HAS SOUPS 70859 WITH SCORE 71012.026
AT ITER 520 NEW BEST:: SOT 334937 SOS 152179 HAS SOPS 152179 HAS SOUS 70628 HAS SOUPS 70628 WITH SCORE 70780.179
AT ITER 527 NEW BEST:: SOT 334609 SOS 151523 HAS SOPS 151523 HAS SOUS 70628 HAS SOUPS 70628 WITH SCORE 70779.523
AT ITER 530 NEW BEST:: SOT 334578 SOS 151430 HAS SOPS 151430 HAS SOUS 70621 HAS SOUPS 70621 WITH SCORE 70772.43
AT ITER 557 NEW BEST:: SOT 334457 SOS 151236 HAS SOPS 151236 HAS SOUS 70596 HAS SOUPS 70596 WITH SCORE 70747.236
AT ITER 562 NEW BEST:: SOT 334457 SOS 151235 HAS SOPS 151235 HAS SOUS 70595 HAS SOUPS 70595 WITH SCORE 70746.235
AT ITER 571 NEW BEST:: SOT 334174 SOS 150619 HAS SOPS 150619 HAS SOUS 70466 HAS SOUPS 70466 WITH SCORE 70616.619
AT ITER 587 NEW BEST:: SOT 333938 SOS 150029 HAS SOPS 150029 HAS SOUS 70344 HAS SOUPS 70344 WITH SCORE 70494.029
AT ITER 588 NEW BEST:: SOT 333560 SOS 149271 HAS SOPS 149271 HAS SOUS 70340 HAS SOUPS 70340 WITH SCORE 70489.271
AT ITER 592 NEW BEST:: SOT 333374 SOS 148899 HAS SOPS 148899 HAS SOUS 70340 HAS SOUPS 70340 WITH SCORE 70488.899
AT ITER 595 NEW BEST:: SOT 333231 SOS 148573 HAS SOPS 148573 HAS SOUS 70216 HAS SOUPS 70216 WITH SCORE 70364.573
AT ITER 609 NEW BEST:: SOT 333251 SOS 148592 HAS SOPS 148592 HAS SOUS 70194 HAS SOUPS 70194 WITH SCORE 70342.592
AT ITER 610 NEW BEST:: SOT 333075 SOS 148152 HAS SOPS 148152 HAS SOUS 70106 HAS SOUPS 70106 WITH SCORE 70254.152
AT ITER 613 NEW BEST:: SOT 332929 SOS 147860 HAS SOPS 147860 HAS SOUS 70106 HAS SOUPS 70106 WITH SCORE 70253.86
AT ITER 622 NEW BEST:: SOT 332536 SOS 146907 HAS SOPS 146907 HAS SOUS 69967 HAS SOUPS 69967 WITH SCORE 70113.907
AT ITER 625 NEW BEST:: SOT 332536 SOS 146978 HAS SOPS 146978 HAS SOUS 69860 HAS SOUPS 69860 WITH SCORE 70006.978
AT ITER 626 NEW BEST:: SOT 332496 SOS 146898 HAS SOPS 146898 HAS SOUS 69860 HAS SOUPS 69860 WITH SCORE 70006.898
AT ITER 650 NEW BEST:: SOT 332187 SOS 146270 HAS SOPS 146270 HAS SOUS 69859 HAS SOUPS 69859 WITH SCORE 70005.27
AT ITER 679 NEW BEST:: SOT 331739 SOS 145187 HAS SOPS 145187 HAS SOUS 69736 HAS SOUPS 69736 WITH SCORE 69881.187
AT ITER 721 NEW BEST:: SOT 331448 SOS 144605 HAS SOPS 144605 HAS SOUS 69349 HAS SOUPS 69349 WITH SCORE 69493.605
AT ITER 728 NEW BEST:: SOT 331096 SOS 143725 HAS SOPS 143725 HAS SOUS 68821 HAS SOUPS 68821 WITH SCORE 68964.725
AT ITER 729 NEW BEST:: SOT 331109 SOS 143751 HAS SOPS 143751 HAS SOUS 68808 HAS SOUPS 68808 WITH SCORE 68951.751
AT ITER 744 NEW BEST:: SOT 330809 SOS 143149 HAS SOPS 143149 HAS SOUS 68804 HAS SOUPS 68804 WITH SCORE 68947.149
AT ITER 751 NEW BEST:: SOT 330775 SOS 143063 HAS SOPS 143063 HAS SOUS 68788 HAS SOUPS 68788 WITH SCORE 68931.063
AT ITER 762 NEW BEST:: SOT 330658 SOS 142829 HAS SOPS 142829 HAS SOUS 68692 HAS SOUPS 68692 WITH SCORE 68834.829
AT ITER 767 NEW BEST:: SOT 330058 SOS 141629 HAS SOPS 141629 HAS SOUS 67893 HAS SOUPS 67893 WITH SCORE 68034.629
AT ITER 770 NEW BEST:: SOT 330091 SOS 141695 HAS SOPS 141695 HAS SOUS 67888 HAS SOUPS 67888 WITH SCORE 68029.695
AT ITER 784 NEW BEST:: SOT 329757 SOS 140957 HAS SOPS 140957 HAS SOUS 67874 HAS SOUPS 67874 WITH SCORE 68014.957
AT ITER 800 NEW BEST:: SOT 329484 SOS 140411 HAS SOPS 140411 HAS SOUS 67707 HAS SOUPS 67707 WITH SCORE 67847.411
AT ITER 801 NEW BEST:: SOT 328987 SOS 139580 HAS SOPS 139580 HAS SOUS 67538 HAS SOUPS 67538 WITH SCORE 67677.58
AT ITER 804 NEW BEST:: SOT 328755 SOS 139115 HAS SOPS 139115 HAS SOUS 67537 HAS SOUPS 67537 WITH SCORE 67676.115
AT ITER 812 NEW BEST:: SOT 328673 SOS 138869 HAS SOPS 138869 HAS SOUS 67525 HAS SOUPS 67525 WITH SCORE 67663.869
AT ITER 816 NEW BEST:: SOT 328641 SOS 138794 HAS SOPS 138794 HAS SOUS 67514 HAS SOUPS 67514 WITH SCORE 67652.794
AT ITER 838 NEW BEST:: SOT 328560 SOS 138607 HAS SOPS 138607 HAS SOUS 67512 HAS SOUPS 67512 WITH SCORE 67650.607
AT ITER 839 NEW BEST:: SOT 328156 SOS 137797 HAS SOPS 137797 HAS SOUS 67508 HAS SOUPS 67508 WITH SCORE 67645.797
AT ITER 843 NEW BEST:: SOT 328161 SOS 137742 HAS SOPS 137742 HAS SOUS 67427 HAS SOUPS 67427 WITH SCORE 67564.742
AT ITER 855 NEW BEST:: SOT 328114 SOS 137666 HAS SOPS 137666 HAS SOUS 67416 HAS SOUPS 67416 WITH SCORE 67553.666
AT ITER 872 NEW BEST:: SOT 327939 SOS 137316 HAS SOPS 137316 HAS SOUS 67273 HAS SOUPS 67273 WITH SCORE 67410.316
AT ITER 905 NEW BEST:: SOT 327898 SOS 137234 HAS SOPS 137234 HAS SOUS 67232 HAS SOUPS 67232 WITH SCORE 67369.234
AT ITER 913 NEW BEST:: SOT 327804 SOS 137045 HAS SOPS 137045 HAS SOUS 67231 HAS SOUPS 67231 WITH SCORE 67368.045
AT ITER 968 NEW BEST:: SOT 327692 SOS 136821 HAS SOPS 136821 HAS SOUS 67231 HAS SOUPS 67231 WITH SCORE 67367.821
AT ITER 971 NEW BEST:: SOT 327692 SOS 136629 HAS SOPS 136629 HAS SOUS 66951 HAS SOUPS 66951 WITH SCORE 67087.629
AT ITER 983 NEW BEST:: SOT 327590 SOS 136425 HAS SOPS 136425 HAS SOUS 66951 HAS SOUPS 66951 WITH SCORE 67087.425
AT ITER 1017 NEW BEST:: SOT 327573 SOS 136336 HAS SOPS 136336 HAS SOUS 66879 HAS SOUPS 66879 WITH SCORE 67015.336
AT ITER 1018 NEW BEST:: SOT 327716 SOS 136342 HAS SOPS 136342 HAS SOUS 66800 HAS SOUPS 66800 WITH SCORE 66936.342
AT ITER 1019 NEW BEST:: SOT 327696 SOS 136300 HAS SOPS 136300 HAS SOUS 66778 HAS SOUPS 66778 WITH SCORE 66914.3
AT ITER 1026 NEW BEST:: SOT 327252 SOS 135558 HAS SOPS 135558 HAS SOUS 66626 HAS SOUPS 66626 WITH SCORE 66761.558
AT ITER 1033 NEW BEST:: SOT 327186 SOS 135418 HAS SOPS 135418 HAS SOUS 66618 HAS SOUPS 66618 WITH SCORE 66753.418
AT ITER 1057 NEW BEST:: SOT 327186 SOS 135418 HAS SOPS 135418 HAS SOUS 66556 HAS SOUPS 66556 WITH SCORE 66691.418
AT ITER 1061 NEW BEST:: SOT 326730 SOS 134341 HAS SOPS 134341 HAS SOUS 66391 HAS SOUPS 66391 WITH SCORE 66525.341
AT ITER 1088 NEW BEST:: SOT 326282 SOS 133274 HAS SOPS 133274 HAS SOUS 66220 HAS SOUPS 66220 WITH SCORE 66353.274
AT ITER 1092 NEW BEST:: SOT 326152 SOS 133014 HAS SOPS 133014 HAS SOUS 66220 HAS SOUPS 66220 WITH SCORE 66353.014
AT ITER 1114 NEW BEST:: SOT 325906 SOS 132455 HAS SOPS 132455 HAS SOUS 66151 HAS SOUPS 66151 WITH SCORE 66283.455
AT ITER 1151 NEW BEST:: SOT 325903 SOS 132450 HAS SOPS 132450 HAS SOUS 66151 HAS SOUPS 66151 WITH SCORE 66283.45
AT ITER 1152 NEW BEST:: SOT 325513 SOS 131849 HAS SOPS 131849 HAS SOUS 66120 HAS SOUPS 66120 WITH SCORE 66251.849
AT ITER 1153 NEW BEST:: SOT 325194 SOS 131129 HAS SOPS 131129 HAS SOUS 66062 HAS SOUPS 66062 WITH SCORE 66193.129
AT ITER 1170 NEW BEST:: SOT 325104 SOS 130670 HAS SOPS 130670 HAS SOUS 66042 HAS SOUPS 66042 WITH SCORE 66172.67
AT ITER 1171 NEW BEST:: SOT 325104 SOS 130627 HAS SOPS 130627 HAS SOUS 66015 HAS SOUPS 66015 WITH SCORE 66145.627
AT ITER 1172 NEW BEST:: SOT 324856 SOS 130129 HAS SOPS 130129 HAS SOUS 66011 HAS SOUPS 66011 WITH SCORE 66141.129
AT ITER 1200 NEW BEST:: SOT 324831 SOS 130086 HAS SOPS 130086 HAS SOUS 66001 HAS SOUPS 66001 WITH SCORE 66131.086
AT ITER 1217 NEW BEST:: SOT 324879 SOS 130085 HAS SOPS 130085 HAS SOUS 65902 HAS SOUPS 65902 WITH SCORE 66032.085
AT ITER 1222 NEW BEST:: SOT 324879 SOS 130085 HAS SOPS 130085 HAS SOUS 65899 HAS SOUPS 65899 WITH SCORE 66029.085
AT ITER 1242 NEW BEST:: SOT 324749 SOS 129909 HAS SOPS 129909 HAS SOUS 65898 HAS SOUPS 65898 WITH SCORE 66027.909
AT ITER 1243 NEW BEST:: SOT 324919 SOS 130311 HAS SOPS 130311 HAS SOUS 65870 HAS SOUPS 65870 WITH SCORE 66000.311
AT ITER 1263 NEW BEST:: SOT 324905 SOS 130283 HAS SOPS 130283 HAS SOUS 65870 HAS SOUPS 65870 WITH SCORE 66000.283
AT ITER 1277 NEW BEST:: SOT 324880 SOS 130233 HAS SOPS 130233 HAS SOUS 65870 HAS SOUPS 65870 WITH SCORE 66000.233
AT ITER 1299 NEW BEST:: SOT 324880 SOS 130170 HAS SOPS 130170 HAS SOUS 65805 HAS SOUPS 65805 WITH SCORE 65935.17
AT ITER 1301 NEW BEST:: SOT 324846 SOS 130128 HAS SOPS 130128 HAS SOUS 65787 HAS SOUPS 65787 WITH SCORE 65917.128
AT ITER 1328 NEW BEST:: SOT 324668 SOS 129994 HAS SOPS 129994 HAS SOUS 65666 HAS SOUPS 65666 WITH SCORE 65795.994
AT ITER 1351 NEW BEST:: SOT 324176 SOS 128895 HAS SOPS 128895 HAS SOUS 65477 HAS SOUPS 65477 WITH SCORE 65605.895
AT ITER 1361 NEW BEST:: SOT 324155 SOS 128874 HAS SOPS 128874 HAS SOUS 65419 HAS SOUPS 65419 WITH SCORE 65547.874
AT ITER 1367 NEW BEST:: SOT 324155 SOS 128827 HAS SOPS 128827 HAS SOUS 65372 HAS SOUPS 65372 WITH SCORE 65500.827
AT ITER 1368 NEW BEST:: SOT 323953 SOS 128503 HAS SOPS 128503 HAS SOUS 65331 HAS SOUPS 65331 WITH SCORE 65459.503
AT ITER 1389 NEW BEST:: SOT 323884 SOS 128388 HAS SOPS 128388 HAS SOUS 65308 HAS SOUPS 65308 WITH SCORE 65436.388
AT ITER 1416 NEW BEST:: SOT 323185 SOS 127099 HAS SOPS 127099 HAS SOUS 65100 HAS SOUPS 65100 WITH SCORE 65227.099
AT ITER 1427 NEW BEST:: SOT 323185 SOS 127099 HAS SOPS 127099 HAS SOUS 65098 HAS SOUPS 65098 WITH SCORE 65225.099
AT ITER 1429 NEW BEST:: SOT 322615 SOS 126188 HAS SOPS 126188 HAS SOUS 65022 HAS SOUPS 65022 WITH SCORE 65148.188
AT ITER 1431 NEW BEST:: SOT 322323 SOS 125603 HAS SOPS 125603 HAS SOUS 65021 HAS SOUPS 65021 WITH SCORE 65146.603
AT ITER 1438 NEW BEST:: SOT 322279 SOS 125457 HAS SOPS 125457 HAS SOUS 64852 HAS SOUPS 64852 WITH SCORE 64977.457
AT ITER 1451 NEW BEST:: SOT 322352 SOS 125652 HAS SOPS 125652 HAS SOUS 64819 HAS SOUPS 64819 WITH SCORE 64944.652
AT ITER 1461 NEW BEST:: SOT 322037 SOS 124871 HAS SOPS 124871 HAS SOUS 64664 HAS SOUPS 64664 WITH SCORE 64788.871
AT ITER 1463 NEW BEST:: SOT 321989 SOS 124775 HAS SOPS 124775 HAS SOUS 64599 HAS SOUPS 64599 WITH SCORE 64723.775
AT ITER 1484 NEW BEST:: SOT 321965 SOS 124727 HAS SOPS 124727 HAS SOUS 64575 HAS SOUPS 64575 WITH SCORE 64699.727
AT ITER 1490 NEW BEST:: SOT 321800 SOS 124215 HAS SOPS 124215 HAS SOUS 64520 HAS SOUPS 64520 WITH SCORE 64644.215
AT ITER 1515 NEW BEST:: SOT 321742 SOS 124124 HAS SOPS 124124 HAS SOUS 64518 HAS SOUPS 64518 WITH SCORE 64642.124
AT ITER 1520 NEW BEST:: SOT 321572 SOS 123783 HAS SOPS 123783 HAS SOUS 64517 HAS SOUPS 64517 WITH SCORE 64640.783
AT ITER 1522 NEW BEST:: SOT 321069 SOS 122553 HAS SOPS 122553 HAS SOUS 63880 HAS SOUPS 63880 WITH SCORE 64002.553
AT ITER 1523 NEW BEST:: SOT 321055 SOS 122474 HAS SOPS 122474 HAS SOUS 63723 HAS SOUPS 63723 WITH SCORE 63845.474
AT ITER 1524 NEW BEST:: SOT 320992 SOS 122348 HAS SOPS 122348 HAS SOUS 63686 HAS SOUPS 63686 WITH SCORE 63808.348
AT ITER 1526 NEW BEST:: SOT 320945 SOS 122277 HAS SOPS 122277 HAS SOUS 63683 HAS SOUPS 63683 WITH SCORE 63805.277
AT ITER 1536 NEW BEST:: SOT 320871 SOS 122129 HAS SOPS 122129 HAS SOUS 63607 HAS SOUPS 63607 WITH SCORE 63729.129
AT ITER 1587 NEW BEST:: SOT 320359 SOS 121216 HAS SOPS 121216 HAS SOUS 63490 HAS SOUPS 63490 WITH SCORE 63611.216
AT ITER 1588 NEW BEST:: SOT 320231 SOS 120833 HAS SOPS 120833 HAS SOUS 63461 HAS SOUPS 63461 WITH SCORE 63581.833
AT ITER 1595 NEW BEST:: SOT 320383 SOS 121152 HAS SOPS 121152 HAS SOUS 63375 HAS SOUPS 63375 WITH SCORE 63496.152
AT ITER 1601 NEW BEST:: SOT 320345 SOS 121089 HAS SOPS 121089 HAS SOUS 63364 HAS SOUPS 63364 WITH SCORE 63485.089
AT ITER 1602 NEW BEST:: SOT 320331 SOS 121099 HAS SOPS 121099 HAS SOUS 63359 HAS SOUPS 63359 WITH SCORE 63480.099
AT ITER 1631 NEW BEST:: SOT 320312 SOS 121030 HAS SOPS 121030 HAS SOUS 63309 HAS SOUPS 63309 WITH SCORE 63430.03
AT ITER 1638 NEW BEST:: SOT 320176 SOS 120690 HAS SOPS 120690 HAS SOUS 63105 HAS SOUPS 63105 WITH SCORE 63225.69
AT ITER 1647 NEW BEST:: SOT 319960 SOS 120155 HAS SOPS 120155 HAS SOUS 62852 HAS SOUPS 62852 WITH SCORE 62972.155
AT ITER 1648 NEW BEST:: SOT 319991 SOS 120244 HAS SOPS 120244 HAS SOUS 62802 HAS SOUPS 62802 WITH SCORE 62922.244
AT ITER 1666 NEW BEST:: SOT 319535 SOS 119184 HAS SOPS 119184 HAS SOUS 62708 HAS SOUPS 62708 WITH SCORE 62827.184
AT ITER 1680 NEW BEST:: SOT 319314 SOS 118584 HAS SOPS 118584 HAS SOUS 62419 HAS SOUPS 62419 WITH SCORE 62537.584
AT ITER 1682 NEW BEST:: SOT 319306 SOS 118568 HAS SOPS 118568 HAS SOUS 62411 HAS SOUPS 62411 WITH SCORE 62529.568
AT ITER 1720 NEW BEST:: SOT 319322 SOS 118600 HAS SOPS 118600 HAS SOUS 62395 HAS SOUPS 62395 WITH SCORE 62513.6
AT ITER 1723 NEW BEST:: SOT 319263 SOS 118447 HAS SOPS 118447 HAS SOUS 62301 HAS SOUPS 62301 WITH SCORE 62419.447
AT ITER 1728 NEW BEST:: SOT 319168 SOS 118257 HAS SOPS 118257 HAS SOUS 62206 HAS SOUPS 62206 WITH SCORE 62324.257
AT ITER 1733 NEW BEST:: SOT 319118 SOS 118156 HAS SOPS 118156 HAS SOUS 62205 HAS SOUPS 62205 WITH SCORE 62323.156
AT ITER 1757 NEW BEST:: SOT 318892 SOS 117591 HAS SOPS 117591 HAS SOUS 62090 HAS SOUPS 62090 WITH SCORE 62207.591
AT ITER 1770 NEW BEST:: SOT 318638 SOS 117083 HAS SOPS 117083 HAS SOUS 62090 HAS SOUPS 62090 WITH SCORE 62207.083
AT ITER 1782 NEW BEST:: SOT 318610 SOS 117013 HAS SOPS 117013 HAS SOUS 62076 HAS SOUPS 62076 WITH SCORE 62193.013
AT ITER 1783 NEW BEST:: SOT 318602 SOS 116997 HAS SOPS 116997 HAS SOUS 62068 HAS SOUPS 62068 WITH SCORE 62184.997
AT ITER 1796 NEW BEST:: SOT 318598 SOS 116987 HAS SOPS 116987 HAS SOUS 62066 HAS SOUPS 62066 WITH SCORE 62182.987
AT ITER 1822 NEW BEST:: SOT 318596 SOS 116981 HAS SOPS 116981 HAS SOUS 62066 HAS SOUPS 62066 WITH SCORE 62182.981
AT ITER 1867 NEW BEST:: SOT 318118 SOS 115838 HAS SOPS 115838 HAS SOUS 62027 HAS SOUPS 62027 WITH SCORE 62142.838
AT ITER 1871 NEW BEST:: SOT 318118 SOS 115838 HAS SOPS 115838 HAS SOUS 62024 HAS SOUPS 62024 WITH SCORE 62139.838
AT ITER 1897 NEW BEST:: SOT 318084 SOS 115823 HAS SOPS 115823 HAS SOUS 62017 HAS SOUPS 62017 WITH SCORE 62132.823
AT ITER 1931 NEW BEST:: SOT 318070 SOS 115795 HAS SOPS 115795 HAS SOUS 61989 HAS SOUPS 61989 WITH SCORE 62104.795
AT ITER 1942 NEW BEST:: SOT 317872 SOS 115597 HAS SOPS 115597 HAS SOUS 61985 HAS SOUPS 61985 WITH SCORE 62100.597
AT ITER 1944 NEW BEST:: SOT 317852 SOS 115533 HAS SOPS 115533 HAS SOUS 61961 HAS SOUPS 61961 WITH SCORE 62076.533
AT ITER 1964 NEW BEST:: SOT 318016 SOS 115861 HAS SOPS 115861 HAS SOUS 61941 HAS SOUPS 61941 WITH SCORE 62056.861
AT ITER 1965 NEW BEST:: SOT 318016 SOS 115861 HAS SOPS 115861 HAS SOUS 61805 HAS SOUPS 61805 WITH SCORE 61920.861
AT ITER 1982 NEW BEST:: SOT 318016 SOS 115859 HAS SOPS 115859 HAS SOUS 61801 HAS SOUPS 61801 WITH SCORE 61916.859
AT ITER 1985 NEW BEST:: SOT 318016 SOS 115858 HAS SOPS 115858 HAS SOUS 61782 HAS SOUPS 61782 WITH SCORE 61897.858
AT ITER 2005 NEW BEST:: SOT 317880 SOS 115586 HAS SOPS 115586 HAS SOUS 61615 HAS SOUPS 61615 WITH SCORE 61730.586
AT ITER 2016 NEW BEST:: SOT 317880 SOS 115586 HAS SOPS 115586 HAS SOUS 61613 HAS SOUPS 61613 WITH SCORE 61728.586
AT ITER 2025 NEW BEST:: SOT 317795 SOS 115331 HAS SOPS 115331 HAS SOUS 61613 HAS SOUPS 61613 WITH SCORE 61728.331
AT ITER 2026 NEW BEST:: SOT 317686 SOS 115006 HAS SOPS 115006 HAS SOUS 61599 HAS SOUPS 61599 WITH SCORE 61714.006
AT ITER 2043 NEW BEST:: SOT 317710 SOS 115058 HAS SOPS 115058 HAS SOUS 61579 HAS SOUPS 61579 WITH SCORE 61694.058
AT ITER 2087 NEW BEST:: SOT 317712 SOS 115062 HAS SOPS 115062 HAS SOUS 61577 HAS SOUPS 61577 WITH SCORE 61692.062
AT ITER 2097 NEW BEST:: SOT 317677 SOS 114942 HAS SOPS 114942 HAS SOUS 61575 HAS SOUPS 61575 WITH SCORE 61689.942
AT ITER 2104 NEW BEST:: SOT 317461 SOS 114460 HAS SOPS 114460 HAS SOUS 61501 HAS SOUPS 61501 WITH SCORE 61615.46
AT ITER 2113 NEW BEST:: SOT 317336 SOS 114091 HAS SOPS 114091 HAS SOUS 61368 HAS SOUPS 61368 WITH SCORE 61482.091
AT ITER 2115 NEW BEST:: SOT 317146 SOS 113616 HAS SOPS 113616 HAS SOUS 61235 HAS SOUPS 61235 WITH SCORE 61348.616
AT ITER 2116 NEW BEST:: SOT 317051 SOS 113426 HAS SOPS 113426 HAS SOUS 61160 HAS SOUPS 61160 WITH SCORE 61273.426
AT ITER 2117 NEW BEST:: SOT 316969 SOS 113221 HAS SOPS 113221 HAS SOUS 61037 HAS SOUPS 61037 WITH SCORE 61150.221
AT ITER 2121 NEW BEST:: SOT 316960 SOS 113205 HAS SOPS 113205 HAS SOUS 61033 HAS SOUPS 61033 WITH SCORE 61146.205
AT ITER 2124 NEW BEST:: SOT 316876 SOS 113037 HAS SOPS 113037 HAS SOUS 60949 HAS SOUPS 60949 WITH SCORE 61062.037
AT ITER 2132 NEW BEST:: SOT 316876 SOS 113037 HAS SOPS 113037 HAS SOUS 60947 HAS SOUPS 60947 WITH SCORE 61060.037
AT ITER 2145 NEW BEST:: SOT 316837 SOS 112874 HAS SOPS 112874 HAS SOUS 60823 HAS SOUPS 60823 WITH SCORE 60935.874
AT ITER 2148 NEW BEST:: SOT 316807 SOS 112814 HAS SOPS 112814 HAS SOUS 60803 HAS SOUPS 60803 WITH SCORE 60915.814
AT ITER 2178 NEW BEST:: SOT 316693 SOS 112529 HAS SOPS 112529 HAS SOUS 60746 HAS SOUPS 60746 WITH SCORE 60858.529
AT ITER 2181 NEW BEST:: SOT 316447 SOS 111887 HAS SOPS 111887 HAS SOUS 60694 HAS SOUPS 60694 WITH SCORE 60805.887
AT ITER 2190 NEW BEST:: SOT 316403 SOS 111824 HAS SOPS 111824 HAS SOUS 60694 HAS SOUPS 60694 WITH SCORE 60805.824
AT ITER 2198 NEW BEST:: SOT 316375 SOS 111768 HAS SOPS 111768 HAS SOUS 60666 HAS SOUPS 60666 WITH SCORE 60777.768
AT ITER 2207 NEW BEST:: SOT 316256 SOS 111649 HAS SOPS 111649 HAS SOUS 60533 HAS SOUPS 60533 WITH SCORE 60644.649
AT ITER 2211 NEW BEST:: SOT 316147 SOS 111431 HAS SOPS 111431 HAS SOUS 60457 HAS SOUPS 60457 WITH SCORE 60568.431
AT ITER 2220 NEW BEST:: SOT 315972 SOS 110836 HAS SOPS 110836 HAS SOUS 60313 HAS SOUPS 60313 WITH SCORE 60423.836
AT ITER 2221 NEW BEST:: SOT 315942 SOS 110775 HAS SOPS 110775 HAS SOUS 60312 HAS SOUPS 60312 WITH SCORE 60422.775
AT ITER 2258 NEW BEST:: SOT 315757 SOS 110239 HAS SOPS 110239 HAS SOUS 60231 HAS SOUPS 60231 WITH SCORE 60341.239
AT ITER 2259 NEW BEST:: SOT 315660 SOS 110171 HAS SOPS 110171 HAS SOUS 60121 HAS SOUPS 60121 WITH SCORE 60231.171
AT ITER 2269 NEW BEST:: SOT 315343 SOS 109461 HAS SOPS 109461 HAS SOUS 59918 HAS SOUPS 59918 WITH SCORE 60027.461
AT ITER 2281 NEW BEST:: SOT 314942 SOS 108433 HAS SOPS 108433 HAS SOUS 59469 HAS SOUPS 59469 WITH SCORE 59577.433
AT ITER 2300 NEW BEST:: SOT 314899 SOS 108390 HAS SOPS 108390 HAS SOUS 59426 HAS SOUPS 59426 WITH SCORE 59534.39
AT ITER 2306 NEW BEST:: SOT 314579 SOS 107592 HAS SOPS 107592 HAS SOUS 59276 HAS SOUPS 59276 WITH SCORE 59383.592
AT ITER 2326 NEW BEST:: SOT 314591 SOS 107616 HAS SOPS 107616 HAS SOUS 59251 HAS SOUPS 59251 WITH SCORE 59358.616
AT ITER 2329 NEW BEST:: SOT 314585 SOS 107609 HAS SOPS 107609 HAS SOUS 59250 HAS SOUPS 59250 WITH SCORE 59357.609
AT ITER 2336 NEW BEST:: SOT 314469 SOS 107319 HAS SOPS 107319 HAS SOUS 59094 HAS SOUPS 59094 WITH SCORE 59201.319
AT ITER 2370 NEW BEST:: SOT 314624 SOS 107530 HAS SOPS 107530 HAS SOUS 59027 HAS SOUPS 59027 WITH SCORE 59134.53
AT ITER 2384 NEW BEST:: SOT 314543 SOS 107366 HAS SOPS 107366 HAS SOUS 59023 HAS SOUPS 59023 WITH SCORE 59130.366
AT ITER 2385 NEW BEST:: SOT 314520 SOS 107320 HAS SOPS 107320 HAS SOUS 59000 HAS SOUPS 59000 WITH SCORE 59107.32
AT ITER 2402 NEW BEST:: SOT 314324 SOS 106927 HAS SOPS 106927 HAS SOUS 58999 HAS SOUPS 58999 WITH SCORE 59105.927
AT ITER 2418 NEW BEST:: SOT 314242 SOS 106735 HAS SOPS 106735 HAS SOUS 58947 HAS SOUPS 58947 WITH SCORE 59053.735
AT ITER 2423 NEW BEST:: SOT 313489 SOS 105122 HAS SOPS 105122 HAS SOUS 58056 HAS SOUPS 58056 WITH SCORE 58161.122
AT ITER 2425 NEW BEST:: SOT 313428 SOS 105000 HAS SOPS 105000 HAS SOUS 57995 HAS SOUPS 57995 WITH SCORE 58100.0
AT ITER 2474 NEW BEST:: SOT 313422 SOS 104988 HAS SOPS 104988 HAS SOUS 57978 HAS SOUPS 57978 WITH SCORE 58082.988
AT ITER 2503 NEW BEST:: SOT 312886 SOS 103715 HAS SOPS 103715 HAS SOUS 57853 HAS SOUPS 57853 WITH SCORE 57956.715
AT ITER 2513 NEW BEST:: SOT 312765 SOS 103473 HAS SOPS 103473 HAS SOUS 57735 HAS SOUPS 57735 WITH SCORE 57838.473
AT ITER 2528 NEW BEST:: SOT 312740 SOS 103423 HAS SOPS 103423 HAS SOUS 57684 HAS SOUPS 57684 WITH SCORE 57787.423
AT ITER 2531 NEW BEST:: SOT 312707 SOS 103390 HAS SOPS 103390 HAS SOUS 57651 HAS SOUPS 57651 WITH SCORE 57754.39
AT ITER 2542 NEW BEST:: SOT 312788 SOS 103552 HAS SOPS 103552 HAS SOUS 57570 HAS SOUPS 57570 WITH SCORE 57673.552
AT ITER 2553 NEW BEST:: SOT 312537 SOS 102918 HAS SOPS 102918 HAS SOUS 57288 HAS SOUPS 57288 WITH SCORE 57390.918
AT ITER 2562 NEW BEST:: SOT 312487 SOS 102749 HAS SOPS 102749 HAS SOUS 57192 HAS SOUPS 57192 WITH SCORE 57294.749
AT ITER 2563 NEW BEST:: SOT 312191 SOS 102157 HAS SOPS 102157 HAS SOUS 56968 HAS SOUPS 56968 WITH SCORE 57070.157
AT ITER 2569 NEW BEST:: SOT 312053 SOS 102001 HAS SOPS 102001 HAS SOUS 56860 HAS SOUPS 56860 WITH SCORE 56962.001
AT ITER 2571 NEW BEST:: SOT 311916 SOS 101685 HAS SOPS 101685 HAS SOUS 56658 HAS SOUPS 56658 WITH SCORE 56759.685
AT ITER 2587 NEW BEST:: SOT 311693 SOS 101424 HAS SOPS 101424 HAS SOUS 56655 HAS SOUPS 56655 WITH SCORE 56756.424
AT ITER 2593 NEW BEST:: SOT 311090 SOS 100749 HAS SOPS 100749 HAS SOUS 56541 HAS SOUPS 56541 WITH SCORE 56641.749
AT ITER 2596 NEW BEST:: SOT 310899 SOS 100272 HAS SOPS 100272 HAS SOUS 56485 HAS SOUPS 56485 WITH SCORE 56585.272
AT ITER 2606 NEW BEST:: SOT 310889 SOS 100257 HAS SOPS 100257 HAS SOUS 56485 HAS SOUPS 56485 WITH SCORE 56585.257
AT ITER 2628 NEW BEST:: SOT 310889 SOS 100257 HAS SOPS 100257 HAS SOUS 56453 HAS SOUPS 56453 WITH SCORE 56553.257
AT ITER 2637 NEW BEST:: SOT 310797 SOS 100073 HAS SOPS 100073 HAS SOUS 56361 HAS SOUPS 56361 WITH SCORE 56461.073
AT ITER 2657 NEW BEST:: SOT 310784 SOS 100031 HAS SOPS 100031 HAS SOUS 56337 HAS SOUPS 56337 WITH SCORE 56437.031
AT ITER 2663 NEW BEST:: SOT 310772 SOS 100007 HAS SOPS 100007 HAS SOUS 56337 HAS SOUPS 56337 WITH SCORE 56437.007
AT ITER 2666 NEW BEST:: SOT 310646 SOS 99665 HAS SOPS 99665 HAS SOUS 56078 HAS SOUPS 56078 WITH SCORE 56177.665
AT ITER 2681 NEW BEST:: SOT 310615 SOS 99633 HAS SOPS 99633 HAS SOUS 56042 HAS SOUPS 56042 WITH SCORE 56141.633
AT ITER 2684 NEW BEST:: SOT 309894 SOS 98546 HAS SOPS 98546 HAS SOUS 55970 HAS SOUPS 55970 WITH SCORE 56068.546
AT ITER 2694 NEW BEST:: SOT 309704 SOS 98071 HAS SOPS 98071 HAS SOUS 55767 HAS SOUPS 55767 WITH SCORE 55865.071
AT ITER 2704 NEW BEST:: SOT 309644 SOS 97951 HAS SOPS 97951 HAS SOUS 55707 HAS SOUPS 55707 WITH SCORE 55804.951
AT ITER 2714 NEW BEST:: SOT 309626 SOS 97915 HAS SOPS 97915 HAS SOUS 55700 HAS SOUPS 55700 WITH SCORE 55797.915
AT ITER 2741 NEW BEST:: SOT 309521 SOS 97705 HAS SOPS 97705 HAS SOUS 55595 HAS SOUPS 55595 WITH SCORE 55692.705
AT ITER 2742 NEW BEST:: SOT 309411 SOS 97382 HAS SOPS 97382 HAS SOUS 55586 HAS SOUPS 55586 WITH SCORE 55683.382
AT ITER 2785 NEW BEST:: SOT 309177 SOS 96797 HAS SOPS 96797 HAS SOUS 55469 HAS SOUPS 55469 WITH SCORE 55565.797
AT ITER 2790 NEW BEST:: SOT 309059 SOS 96560 HAS SOPS 96560 HAS SOUS 55468 HAS SOUPS 55468 WITH SCORE 55564.56
AT ITER 2798 NEW BEST:: SOT 308999 SOS 96380 HAS SOPS 96380 HAS SOUS 55348 HAS SOUPS 55348 WITH SCORE 55444.38
AT ITER 2813 NEW BEST:: SOT 308908 SOS 96297 HAS SOPS 96297 HAS SOUS 55301 HAS SOUPS 55301 WITH SCORE 55397.297
AT ITER 2846 NEW BEST:: SOT 308908 SOS 96320 HAS SOPS 96320 HAS SOUS 55278 HAS SOUPS 55278 WITH SCORE 55374.32
AT ITER 2862 NEW BEST:: SOT 308824 SOS 96143 HAS SOPS 96143 HAS SOUS 55225 HAS SOUPS 55225 WITH SCORE 55321.143
AT ITER 2877 NEW BEST:: SOT 308718 SOS 95929 HAS SOPS 95929 HAS SOUS 55223 HAS SOUPS 55223 WITH SCORE 55318.929
AT ITER 2881 NEW BEST:: SOT 308686 SOS 95849 HAS SOPS 95849 HAS SOUS 55175 HAS SOUPS 55175 WITH SCORE 55270.849
AT ITER 2895 NEW BEST:: SOT 308608 SOS 95672 HAS SOPS 95672 HAS SOUS 55154 HAS SOUPS 55154 WITH SCORE 55249.672
AT ITER 2898 NEW BEST:: SOT 308778 SOS 96097 HAS SOPS 96097 HAS SOUS 55069 HAS SOUPS 55069 WITH SCORE 55165.097
AT ITER 2900 NEW BEST:: SOT 308602 SOS 95688 HAS SOPS 95688 HAS SOUS 55058 HAS SOUPS 55058 WITH SCORE 55153.688
AT ITER 2902 NEW BEST:: SOT 308578 SOS 95644 HAS SOPS 95644 HAS SOUS 55046 HAS SOUPS 55046 WITH SCORE 55141.644
AT ITER 2908 NEW BEST:: SOT 308444 SOS 95248 HAS SOPS 95248 HAS SOUS 54862 HAS SOUPS 54862 WITH SCORE 54957.248
AT ITER 2927 NEW BEST:: SOT 308248 SOS 94856 HAS SOPS 94856 HAS SOUS 54862 HAS SOUPS 54862 WITH SCORE 54956.856
AT ITER 2956 NEW BEST:: SOT 308238 SOS 94836 HAS SOPS 94836 HAS SOUS 54847 HAS SOUPS 54847 WITH SCORE 54941.836
AT ITER 2958 NEW BEST:: SOT 308071 SOS 94651 HAS SOPS 94651 HAS SOUS 54847 HAS SOUPS 54847 WITH SCORE 54941.651
AT ITER 2966 NEW BEST:: SOT 308080 SOS 94637 HAS SOPS 94637 HAS SOUS 54824 HAS SOUPS 54824 WITH SCORE 54918.637
AT ITER 2969 NEW BEST:: SOT 308150 SOS 94777 HAS SOPS 94777 HAS SOUS 54748 HAS SOUPS 54748 WITH SCORE 54842.777
AT ITER 2980 NEW BEST:: SOT 308023 SOS 94550 HAS SOPS 94550 HAS SOUS 54711 HAS SOUPS 54711 WITH SCORE 54805.55
AT ITER 2986 NEW BEST:: SOT 307755 SOS 93880 HAS SOPS 93880 HAS SOUS 54573 HAS SOUPS 54573 WITH SCORE 54666.88
AT ITER 2996 NEW BEST:: SOT 307694 SOS 93796 HAS SOPS 93796 HAS SOUS 54565 HAS SOUPS 54565 WITH SCORE 54658.796
AT ITER 3004 NEW BEST:: SOT 307601 SOS 93610 HAS SOPS 93610 HAS SOUS 54454 HAS SOUPS 54454 WITH SCORE 54547.61
AT ITER 3005 NEW BEST:: SOT 307283 SOS 92827 HAS SOPS 92827 HAS SOUS 54069 HAS SOUPS 54069 WITH SCORE 54161.827
AT ITER 3031 NEW BEST:: SOT 307132 SOS 92349 HAS SOPS 92349 HAS SOUS 53890 HAS SOUPS 53890 WITH SCORE 53982.349
AT ITER 3040 NEW BEST:: SOT 307033 SOS 92105 HAS SOPS 92105 HAS SOUS 53845 HAS SOUPS 53845 WITH SCORE 53937.105
AT ITER 3049 NEW BEST:: SOT 306765 SOS 91569 HAS SOPS 91569 HAS SOUS 53606 HAS SOUPS 53606 WITH SCORE 53697.569
AT ITER 3054 NEW BEST:: SOT 306748 SOS 91535 HAS SOPS 91535 HAS SOUS 53606 HAS SOUPS 53606 WITH SCORE 53697.535
AT ITER 3124 NEW BEST:: SOT 306679 SOS 91397 HAS SOPS 91397 HAS SOUS 53534 HAS SOUPS 53534 WITH SCORE 53625.397
AT ITER 3137 NEW BEST:: SOT 306670 SOS 91381 HAS SOPS 91381 HAS SOUS 53530 HAS SOUPS 53530 WITH SCORE 53621.381
AT ITER 3150 NEW BEST:: SOT 306367 SOS 90625 HAS SOPS 90625 HAS SOUS 53342 HAS SOUPS 53342 WITH SCORE 53432.625
AT ITER 3153 NEW BEST:: SOT 306369 SOS 90629 HAS SOPS 90629 HAS SOUS 53322 HAS SOUPS 53322 WITH SCORE 53412.629
AT ITER 3172 NEW BEST:: SOT 306329 SOS 90529 HAS SOPS 90529 HAS SOUS 53292 HAS SOUPS 53292 WITH SCORE 53382.529
AT ITER 3174 NEW BEST:: SOT 306329 SOS 90527 HAS SOPS 90527 HAS SOUS 53288 HAS SOUPS 53288 WITH SCORE 53378.527
AT ITER 3182 NEW BEST:: SOT 306404 SOS 90701 HAS SOPS 90701 HAS SOUS 53237 HAS SOUPS 53237 WITH SCORE 53327.701
AT ITER 3216 NEW BEST:: SOT 305991 SOS 90011 HAS SOPS 90011 HAS SOUS 53034 HAS SOUPS 53034 WITH SCORE 53124.011
AT ITER 3243 NEW BEST:: SOT 305922 SOS 89873 HAS SOPS 89873 HAS SOUS 52942 HAS SOUPS 52942 WITH SCORE 53031.873
AT ITER 3248 NEW BEST:: SOT 305893 SOS 89815 HAS SOPS 89815 HAS SOUS 52884 HAS SOUPS 52884 WITH SCORE 52973.815
AT ITER 3270 NEW BEST:: SOT 305623 SOS 89078 HAS SOPS 89078 HAS SOUS 52645 HAS SOUPS 52645 WITH SCORE 52734.078
AT ITER 3272 NEW BEST:: SOT 305613 SOS 89058 HAS SOPS 89058 HAS SOUS 52635 HAS SOUPS 52635 WITH SCORE 52724.058
AT ITER 3284 NEW BEST:: SOT 305571 SOS 88836 HAS SOPS 88836 HAS SOUS 52428 HAS SOUPS 52428 WITH SCORE 52516.836
AT ITER 3288 NEW BEST:: SOT 305478 SOS 88748 HAS SOPS 88748 HAS SOUS 52336 HAS SOUPS 52336 WITH SCORE 52424.748
AT ITER 3314 NEW BEST:: SOT 305466 SOS 88724 HAS SOPS 88724 HAS SOUS 52336 HAS SOUPS 52336 WITH SCORE 52424.724
AT ITER 3329 NEW BEST:: SOT 305519 SOS 88777 HAS SOPS 88777 HAS SOUS 52265 HAS SOUPS 52265 WITH SCORE 52353.777
AT ITER 3330 NEW BEST:: SOT 305423 SOS 88545 HAS SOPS 88545 HAS SOUS 52181 HAS SOUPS 52181 WITH SCORE 52269.545
AT ITER 3344 NEW BEST:: SOT 305334 SOS 88367 HAS SOPS 88367 HAS SOUS 52118 HAS SOUPS 52118 WITH SCORE 52206.367
AT ITER 3346 NEW BEST:: SOT 305332 SOS 88363 HAS SOPS 88363 HAS SOUS 52118 HAS SOUPS 52118 WITH SCORE 52206.363
AT ITER 3361 NEW BEST:: SOT 305349 SOS 88397 HAS SOPS 88397 HAS SOUS 52101 HAS SOUPS 52101 WITH SCORE 52189.397
AT ITER 3373 NEW BEST:: SOT 305322 SOS 88343 HAS SOPS 88343 HAS SOUS 52083 HAS SOUPS 52083 WITH SCORE 52171.343
AT ITER 3378 NEW BEST:: SOT 305253 SOS 88205 HAS SOPS 88205 HAS SOUS 51994 HAS SOUPS 51994 WITH SCORE 52082.205
AT ITER 3379 NEW BEST:: SOT 305027 SOS 87615 HAS SOPS 87615 HAS SOUS 51874 HAS SOUPS 51874 WITH SCORE 51961.615
AT ITER 3383 NEW BEST:: SOT 304963 SOS 87455 HAS SOPS 87455 HAS SOUS 51778 HAS SOUPS 51778 WITH SCORE 51865.455
AT ITER 3392 NEW BEST:: SOT 304909 SOS 87320 HAS SOPS 87320 HAS SOUS 51697 HAS SOUPS 51697 WITH SCORE 51784.32
AT ITER 3397 NEW BEST:: SOT 304853 SOS 87180 HAS SOPS 87180 HAS SOUS 51669 HAS SOUPS 51669 WITH SCORE 51756.18
AT ITER 3460 NEW BEST:: SOT 304844 SOS 87162 HAS SOPS 87162 HAS SOUS 51660 HAS SOUPS 51660 WITH SCORE 51747.162
AT ITER 3476 NEW BEST:: SOT 304659 SOS 86748 HAS SOPS 86748 HAS SOUS 51639 HAS SOUPS 51639 WITH SCORE 51725.748
AT ITER 3478 NEW BEST:: SOT 304704 SOS 86838 HAS SOPS 86838 HAS SOUS 51594 HAS SOUPS 51594 WITH SCORE 51680.838
AT ITER 3483 NEW BEST:: SOT 304715 SOS 86817 HAS SOPS 86817 HAS SOUS 51551 HAS SOUPS 51551 WITH SCORE 51637.817
AT ITER 3484 NEW BEST:: SOT 304711 SOS 86809 HAS SOPS 86809 HAS SOUS 51543 HAS SOUPS 51543 WITH SCORE 51629.809
AT ITER 3492 NEW BEST:: SOT 304731 SOS 86849 HAS SOPS 86849 HAS SOUS 51523 HAS SOUPS 51523 WITH SCORE 51609.849
AT ITER 3497 NEW BEST:: SOT 304641 SOS 86669 HAS SOPS 86669 HAS SOUS 51415 HAS SOUPS 51415 WITH SCORE 51501.669
AT ITER 3503 NEW BEST:: SOT 304613 SOS 86409 HAS SOPS 86409 HAS SOUS 51300 HAS SOUPS 51300 WITH SCORE 51386.409
AT ITER 3514 NEW BEST:: SOT 304580 SOS 86343 HAS SOPS 86343 HAS SOUS 51276 HAS SOUPS 51276 WITH SCORE 51362.343
AT ITER 3526 NEW BEST:: SOT 304615 SOS 86441 HAS SOPS 86441 HAS SOUS 51269 HAS SOUPS 51269 WITH SCORE 51355.441
AT ITER 3563 NEW BEST:: SOT 304630 SOS 86534 HAS SOPS 86534 HAS SOUS 51198 HAS SOUPS 51198 WITH SCORE 51284.534
AT ITER 3570 NEW BEST:: SOT 304630 SOS 86534 HAS SOPS 86534 HAS SOUS 51194 HAS SOUPS 51194 WITH SCORE 51280.534
AT ITER 3574 NEW BEST:: SOT 304667 SOS 86708 HAS SOPS 86708 HAS SOUS 51169 HAS SOUPS 51169 WITH SCORE 51255.708
AT ITER 3631 NEW BEST:: SOT 304802 SOS 86970 HAS SOPS 86970 HAS SOUS 51161 HAS SOUPS 51161 WITH SCORE 51247.97
AT ITER 3664 NEW BEST:: SOT 304725 SOS 86816 HAS SOPS 86816 HAS SOUS 51099 HAS SOUPS 51099 WITH SCORE 51185.816
AT ITER 3692 NEW BEST:: SOT 304725 SOS 86817 HAS SOPS 86817 HAS SOUS 51094 HAS SOUPS 51094 WITH SCORE 51180.817
AT ITER 3699 NEW BEST:: SOT 304564 SOS 86575 HAS SOPS 86575 HAS SOUS 51094 HAS SOUPS 51094 WITH SCORE 51180.575
AT ITER 3716 NEW BEST:: SOT 304458 SOS 86233 HAS SOPS 86233 HAS SOUS 51070 HAS SOUPS 51070 WITH SCORE 51156.233
AT ITER 3744 NEW BEST:: SOT 304458 SOS 86185 HAS SOPS 86185 HAS SOUS 50788 HAS SOUPS 50788 WITH SCORE 50874.185
AT ITER 3745 NEW BEST:: SOT 304410 SOS 86105 HAS SOPS 86105 HAS SOUS 50772 HAS SOUPS 50772 WITH SCORE 50858.105
AT ITER 3754 NEW BEST:: SOT 304274 SOS 85793 HAS SOPS 85793 HAS SOUS 50584 HAS SOUPS 50584 WITH SCORE 50669.793
AT ITER 3765 NEW BEST:: SOT 304172 SOS 85546 HAS SOPS 85546 HAS SOUS 50430 HAS SOUPS 50430 WITH SCORE 50515.546
AT ITER 3770 NEW BEST:: SOT 303794 SOS 84790 HAS SOPS 84790 HAS SOUS 50430 HAS SOUPS 50430 WITH SCORE 50514.79
AT ITER 3779 NEW BEST:: SOT 303676 SOS 84505 HAS SOPS 84505 HAS SOUS 50381 HAS SOUPS 50381 WITH SCORE 50465.505
AT ITER 3871 NEW BEST:: SOT 303676 SOS 84467 HAS SOPS 84467 HAS SOUS 50380 HAS SOUPS 50380 WITH SCORE 50464.467
AT ITER 3876 NEW BEST:: SOT 303654 SOS 84394 HAS SOPS 84394 HAS SOUS 50308 HAS SOUPS 50308 WITH SCORE 50392.394
AT ITER 3877 NEW BEST:: SOT 303701 SOS 84488 HAS SOPS 84488 HAS SOUS 50298 HAS SOUPS 50298 WITH SCORE 50382.488
AT ITER 3908 NEW BEST:: SOT 303691 SOS 84468 HAS SOPS 84468 HAS SOUS 50298 HAS SOUPS 50298 WITH SCORE 50382.468
AT ITER 3948 NEW BEST:: SOT 303363 SOS 83812 HAS SOPS 83812 HAS SOUS 49872 HAS SOUPS 49872 WITH SCORE 49955.812
AT ITER 3977 NEW BEST:: SOT 303356 SOS 83801 HAS SOPS 83801 HAS SOUS 49871 HAS SOUPS 49871 WITH SCORE 49954.801
AT ITER 3985 NEW BEST:: SOT 303292 SOS 83661 HAS SOPS 83661 HAS SOUS 49867 HAS SOUPS 49867 WITH SCORE 49950.661
AT ITER 3991 NEW BEST:: SOT 303291 SOS 83659 HAS SOPS 83659 HAS SOUS 49866 HAS SOUPS 49866 WITH SCORE 49949.659
AT ITER 4003 NEW BEST:: SOT 303285 SOS 83647 HAS SOPS 83647 HAS SOUS 49862 HAS SOUPS 49862 WITH SCORE 49945.647
AT ITER 4021 NEW BEST:: SOT 303282 SOS 83641 HAS SOPS 83641 HAS SOUS 49859 HAS SOUPS 49859 WITH SCORE 49942.641
AT ITER 4072 NEW BEST:: SOT 303239 SOS 83555 HAS SOPS 83555 HAS SOUS 49846 HAS SOUPS 49846 WITH SCORE 49929.555
AT ITER 4126 NEW BEST:: SOT 303102 SOS 83279 HAS SOPS 83279 HAS SOUS 49834 HAS SOUPS 49834 WITH SCORE 49917.279
AT ITER 4166 NEW BEST:: SOT 303102 SOS 83269 HAS SOPS 83269 HAS SOUS 49824 HAS SOUPS 49824 WITH SCORE 49907.269
AT ITER 4196 NEW BEST:: SOT 302632 SOS 82243 HAS SOPS 82243 HAS SOUS 49810 HAS SOUPS 49810 WITH SCORE 49892.243
AT ITER 4197 NEW BEST:: SOT 302632 SOS 82091 HAS SOPS 82091 HAS SOUS 49682 HAS SOUPS 49682 WITH SCORE 49764.091
AT ITER 4210 NEW BEST:: SOT 302606 SOS 82026 HAS SOPS 82026 HAS SOUS 49669 HAS SOUPS 49669 WITH SCORE 49751.026
AT ITER 4215 NEW BEST:: SOT 302594 SOS 82002 HAS SOPS 82002 HAS SOUS 49408 HAS SOUPS 49408 WITH SCORE 49490.002
AT ITER 4224 NEW BEST:: SOT 302596 SOS 81784 HAS SOPS 81784 HAS SOUS 49335 HAS SOUPS 49335 WITH SCORE 49416.784
AT ITER 4244 NEW BEST:: SOT 302554 SOS 81629 HAS SOPS 81629 HAS SOUS 49237 HAS SOUPS 49237 WITH SCORE 49318.629
AT ITER 4251 NEW BEST:: SOT 302528 SOS 81577 HAS SOPS 81577 HAS SOUS 49209 HAS SOUPS 49209 WITH SCORE 49290.577
AT ITER 4256 NEW BEST:: SOT 302528 SOS 81577 HAS SOPS 81577 HAS SOUS 49207 HAS SOUPS 49207 WITH SCORE 49288.577
AT ITER 4261 NEW BEST:: SOT 302270 SOS 81030 HAS SOPS 81030 HAS SOUS 49047 HAS SOUPS 49047 WITH SCORE 49128.03
AT ITER 4272 NEW BEST:: SOT 302128 SOS 80682 HAS SOPS 80682 HAS SOUS 48933 HAS SOUPS 48933 WITH SCORE 49013.682
AT ITER 4274 NEW BEST:: SOT 302038 SOS 80479 HAS SOPS 80479 HAS SOUS 48917 HAS SOUPS 48917 WITH SCORE 48997.479
AT ITER 4306 NEW BEST:: SOT 301892 SOS 80175 HAS SOPS 80175 HAS SOUS 48897 HAS SOUPS 48897 WITH SCORE 48977.175
AT ITER 4309 NEW BEST:: SOT 301761 SOS 79827 HAS SOPS 79827 HAS SOUS 48680 HAS SOUPS 48680 WITH SCORE 48759.827
AT ITER 4317 NEW BEST:: SOT 301767 SOS 79843 HAS SOPS 79843 HAS SOUS 48674 HAS SOUPS 48674 WITH SCORE 48753.843
AT ITER 4332 NEW BEST:: SOT 301899 SOS 80094 HAS SOPS 80094 HAS SOUS 48669 HAS SOUPS 48669 WITH SCORE 48749.094
AT ITER 4336 NEW BEST:: SOT 301927 SOS 80150 HAS SOPS 80150 HAS SOUS 48553 HAS SOUPS 48553 WITH SCORE 48633.15
AT ITER 4359 NEW BEST:: SOT 301925 SOS 80144 HAS SOPS 80144 HAS SOUS 48553 HAS SOUPS 48553 WITH SCORE 48633.144
AT ITER 4418 NEW BEST:: SOT 301357 SOS 78688 HAS SOPS 78688 HAS SOUS 47797 HAS SOUPS 47797 WITH SCORE 47875.688
AT ITER 4424 NEW BEST:: SOT 301347 SOS 78712 HAS SOPS 78712 HAS SOUS 47795 HAS SOUPS 47795 WITH SCORE 47873.712
AT ITER 4433 NEW BEST:: SOT 301245 SOS 78457 HAS SOPS 78457 HAS SOUS 47736 HAS SOUPS 47736 WITH SCORE 47814.457
AT ITER 4449 NEW BEST:: SOT 301240 SOS 78447 HAS SOPS 78447 HAS SOUS 47731 HAS SOUPS 47731 WITH SCORE 47809.447
AT ITER 4465 NEW BEST:: SOT 301189 SOS 78368 HAS SOPS 78368 HAS SOUS 47588 HAS SOUPS 47588 WITH SCORE 47666.368
AT ITER 4466 NEW BEST:: SOT 301175 SOS 78333 HAS SOPS 78333 HAS SOUS 47567 HAS SOUPS 47567 WITH SCORE 47645.333
AT ITER 4474 NEW BEST:: SOT 301085 SOS 78242 HAS SOPS 78242 HAS SOUS 47472 HAS SOUPS 47472 WITH SCORE 47550.242
AT ITER 4486 NEW BEST:: SOT 301057 SOS 78182 HAS SOPS 78182 HAS SOUS 47468 HAS SOUPS 47468 WITH SCORE 47546.182
AT ITER 4488 NEW BEST:: SOT 301047 SOS 78159 HAS SOPS 78159 HAS SOUS 47461 HAS SOUPS 47461 WITH SCORE 47539.159
AT ITER 4489 NEW BEST:: SOT 300998 SOS 78016 HAS SOPS 78016 HAS SOUS 47455 HAS SOUPS 47455 WITH SCORE 47533.016
AT ITER 4498 NEW BEST:: SOT 300885 SOS 77790 HAS SOPS 77790 HAS SOUS 47300 HAS SOUPS 47300 WITH SCORE 47377.79
AT ITER 4499 NEW BEST:: SOT 300771 SOS 77505 HAS SOPS 77505 HAS SOUS 47243 HAS SOUPS 47243 WITH SCORE 47320.505
AT ITER 4523 NEW BEST:: SOT 300770 SOS 77504 HAS SOPS 77504 HAS SOUS 47243 HAS SOUPS 47243 WITH SCORE 47320.504
AT ITER 4551 NEW BEST:: SOT 300837 SOS 77638 HAS SOPS 77638 HAS SOUS 47121 HAS SOUPS 47121 WITH SCORE 47198.638
AT ITER 4568 NEW BEST:: SOT 300833 SOS 77630 HAS SOPS 77630 HAS SOUS 47113 HAS SOUPS 47113 WITH SCORE 47190.63
AT ITER 4594 NEW BEST:: SOT 301022 SOS 78085 HAS SOPS 78085 HAS SOUS 47091 HAS SOUPS 47091 WITH SCORE 47169.085
AT ITER 4610 NEW BEST:: SOT 300992 SOS 77916 HAS SOPS 77916 HAS SOUS 46972 HAS SOUPS 46972 WITH SCORE 47049.916
AT ITER 4613 NEW BEST:: SOT 300985 SOS 77906 HAS SOPS 77906 HAS SOUS 46972 HAS SOUPS 46972 WITH SCORE 47049.906
AT ITER 4625 NEW BEST:: SOT 300955 SOS 77650 HAS SOPS 77650 HAS SOUS 46614 HAS SOUPS 46614 WITH SCORE 46691.65
AT ITER 4645 NEW BEST:: SOT 300959 SOS 77650 HAS SOPS 77650 HAS SOUS 46598 HAS SOUPS 46598 WITH SCORE 46675.65
AT ITER 4651 NEW BEST:: SOT 300957 SOS 77647 HAS SOPS 77647 HAS SOUS 46597 HAS SOUPS 46597 WITH SCORE 46674.647
AT ITER 4652 NEW BEST:: SOT 300943 SOS 77633 HAS SOPS 77633 HAS SOUS 46581 HAS SOUPS 46581 WITH SCORE 46658.633
AT ITER 4658 NEW BEST:: SOT 300562 SOS 76871 HAS SOPS 76871 HAS SOUS 46227 HAS SOUPS 46227 WITH SCORE 46303.871
AT ITER 4678 NEW BEST:: SOT 300560 SOS 76866 HAS SOPS 76866 HAS SOUS 46224 HAS SOUPS 46224 WITH SCORE 46300.866
AT ITER 4688 NEW BEST:: SOT 300521 SOS 76788 HAS SOPS 76788 HAS SOUS 46197 HAS SOUPS 46197 WITH SCORE 46273.788
AT ITER 4691 NEW BEST:: SOT 300237 SOS 76218 HAS SOPS 76218 HAS SOUS 46193 HAS SOUPS 46193 WITH SCORE 46269.218
AT ITER 4709 NEW BEST:: SOT 300010 SOS 75720 HAS SOPS 75720 HAS SOUS 46184 HAS SOUPS 46184 WITH SCORE 46259.72
AT ITER 4716 NEW BEST:: SOT 300010 SOS 75714 HAS SOPS 75714 HAS SOUS 46178 HAS SOUPS 46178 WITH SCORE 46253.714
AT ITER 4749 NEW BEST:: SOT 300010 SOS 75680 HAS SOPS 75680 HAS SOUS 46144 HAS SOUPS 46144 WITH SCORE 46219.68
AT ITER 4775 NEW BEST:: SOT 299868 SOS 75250 HAS SOPS 75250 HAS SOUS 46091 HAS SOUPS 46091 WITH SCORE 46166.25
AT ITER 4864 NEW BEST:: SOT 299670 SOS 74756 HAS SOPS 74756 HAS SOUS 45921 HAS SOUPS 45921 WITH SCORE 45995.756
AT ITER 4880 NEW BEST:: SOT 299688 SOS 74792 HAS SOPS 74792 HAS SOUS 45913 HAS SOUPS 45913 WITH SCORE 45987.792
AT ITER 4888 NEW BEST:: SOT 299688 SOS 74792 HAS SOPS 74792 HAS SOUS 45911 HAS SOUPS 45911 WITH SCORE 45985.792
AT ITER 4896 NEW BEST:: SOT 299603 SOS 74707 HAS SOPS 74707 HAS SOUS 45824 HAS SOUPS 45824 WITH SCORE 45898.707
AT ITER 4903 NEW BEST:: SOT 299500 SOS 74501 HAS SOPS 74501 HAS SOUS 45770 HAS SOUPS 45770 WITH SCORE 45844.501
AT ITER 4949 NEW BEST:: SOT 299559 SOS 74619 HAS SOPS 74619 HAS SOUS 45765 HAS SOUPS 45765 WITH SCORE 45839.619
AT ITER 4952 NEW BEST:: SOT 299552 SOS 74605 HAS SOPS 74605 HAS SOUS 45758 HAS SOUPS 45758 WITH SCORE 45832.605
AT ITER 4959 NEW BEST:: SOT 299351 SOS 74194 HAS SOPS 74194 HAS SOUS 45641 HAS SOUPS 45641 WITH SCORE 45715.194
AT ITER 4966 NEW BEST:: SOT 299187 SOS 73787 HAS SOPS 73787 HAS SOUS 45456 HAS SOUPS 45456 WITH SCORE 45529.787
AT ITER 4970 NEW BEST:: SOT 299155 SOS 73707 HAS SOPS 73707 HAS SOUS 45408 HAS SOUPS 45408 WITH SCORE 45481.707
AT ITER 4976 NEW BEST:: SOT 299145 SOS 73682 HAS SOPS 73682 HAS SOUS 45393 HAS SOUPS 45393 WITH SCORE 45466.682
AT ITER 4997 NEW BEST:: SOT 299118 SOS 73628 HAS SOPS 73628 HAS SOUS 45393 HAS SOUPS 45393 WITH SCORE 45466.628
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-00 (! (EU( (! potential( (tk(P494)) <= (tk(P505)) )),( potential( ( 3 ) <= (tk(P562)) ) & potential( ( 2 ) <= (tk(P555)) ) ) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-01 (EF((EG( potential( (tk(P89)) <= (tk(P426)) )))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-02 (AU( (EX( potential( ( 2 ) <= (tk(P481)) ))),(EG( potential( (tk(P231)) <= (tk(P142)) ))) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-03 (EF((AG( potential( ( 1 ) <= (tk(P280)) )))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-04 (EF((AU( potential( (tk(P561)) <= (tk(P597)) ),potential( ( 2 ) <= (tk(P556)) ) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-05 ( ( (EU( potential( (tk(P602)) <= (tk(P340)) ),potential( ( 2 ) <= (tk(P560)) ) )) | ( (! (! potential( ( 2 ) <= (tk(P446)) ))) & ( potential( (tk(P393)) <= (tk(P136)) ) | ( potential( (tk(P484)) <= (tk(P168)) ) | potential( (tk(P354)) <= (tk(P226)) ) ) ) ) ) | (EU( potential( (tk(P578)) <= (tk(P154)) ),( potential( ( 2 ) <= (tk(P503)) ) & potential( ( 3 ) <= (tk(P60)) ) ) )) )
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-06 (EG( (EU( potential( (tk(P168)) <= (tk(P481)) ),potential( (tk(P373)) <= (tk(P361)) ) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-07 (EF(( (! ( potential( (tk(P284)) <= (tk(P298)) ) | potential( (tk(P529)) <= (tk(P549)) ) )) & ( ( potential( (tk(P52)) <= (tk(P516)) ) & potential( (tk(P4)) <= (tk(P185)) ) ) | ( potential( (tk(P344)) <= (tk(P566)) ) & potential( ( 2 ) <= (tk(P201)) ) ) ) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-08 (! ( (AG( (! potential( ( 2 ) <= (tk(P442)) )))) & ( (! potential( (tk(P434)) <= (tk(P195)) )) | ( (! potential( (tk(P495)) <= (tk(P446)) )) | (! potential( (tk(P112)) <= (tk(P13)) )) ) ) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-09 (AF(potential( (tk(P366)) <= (tk(P307)) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-10 (AF((! potential( (tk(P321)) <= (tk(P233)) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-11 (EF((! ( ( potential( ( 2 ) <= (tk(P424)) ) | potential( (tk(P60)) <= (tk(P320)) ) ) & ( potential( (tk(P181)) <= (tk(P150)) ) | potential( (tk(P2)) <= (tk(P491)) ) ) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-12 ( ( (AU( potential( (tk(P61)) <= (tk(P5)) ),potential( (tk(P349)) <= (tk(P532)) ) )) | (AX( ( potential( ( 3 ) <= (tk(P261)) ) & potential( ( 1 ) <= (tk(P81)) ) ))) ) & (AF(potential( ( 3 ) <= (tk(P349)) ))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-13 (AF((! potential( (tk(P5)) <= (tk(P516)) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-14 (EG( potential( (tk(P463)) <= (tk(P430)) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A04-CTLCardinality-15 (EU( ( ( potential( ( 2 ) <= (tk(P289)) ) | potential( ( 2 ) <= (tk(P214)) ) ) & (! potential( (tk(P55)) <= (tk(P553)) )) ),(AG( potential( (tk(P103)) <= (tk(P106)) ))) ))
BK_STOP 1590474965415
--------------------
content from stderr:
terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 459 Aborted ${SMART} ${INPUT_SM}
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="ViralEpidemic-PT-S03D1C1A04"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ViralEpidemic-PT-S03D1C1A04, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538900499"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S03D1C1A04.tgz
mv ViralEpidemic-PT-S03D1C1A04 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;