Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897679500075.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 BART-PT-005, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500075
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 4.0K Apr 15 13:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 15 13:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 15 13:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 125K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 341K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 150K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 399K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 15 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 15 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 15 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 1.3M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BART-PT-005-CTLCardinality-00
FORMULA_NAME BART-PT-005-CTLCardinality-01
FORMULA_NAME BART-PT-005-CTLCardinality-02
FORMULA_NAME BART-PT-005-CTLCardinality-03
FORMULA_NAME BART-PT-005-CTLCardinality-04
FORMULA_NAME BART-PT-005-CTLCardinality-05
FORMULA_NAME BART-PT-005-CTLCardinality-06
FORMULA_NAME BART-PT-005-CTLCardinality-07
FORMULA_NAME BART-PT-005-CTLCardinality-08
FORMULA_NAME BART-PT-005-CTLCardinality-09
FORMULA_NAME BART-PT-005-CTLCardinality-10
FORMULA_NAME BART-PT-005-CTLCardinality-11
FORMULA_NAME BART-PT-005-CTLCardinality-12
FORMULA_NAME BART-PT-005-CTLCardinality-13
FORMULA_NAME BART-PT-005-CTLCardinality-14
FORMULA_NAME BART-PT-005-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589012453054

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 005
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: 870 places, 1010 transitions, 8100 arcs.
AT ITER 0 NEW BEST:: SOT 653279 SOS 418652 HAS SOPS 294378 HAS SOUS 281595 HAS SOUPS 252853 WITH SCORE 253271.652
AT ITER 3 NEW BEST:: SOT 653230 SOS 418554 HAS SOPS 294280 HAS SOUS 281497 HAS SOUPS 252755 WITH SCORE 253173.554
AT ITER 7 NEW BEST:: SOT 653216 SOS 418540 HAS SOPS 294252 HAS SOUS 281483 HAS SOUPS 252727 WITH SCORE 253145.54
AT ITER 16 NEW BEST:: SOT 653012 SOS 418336 HAS SOPS 293651 HAS SOUS 281089 HAS SOUPS 251931 WITH SCORE 252349.336
AT ITER 21 NEW BEST:: SOT 653074 SOS 418459 HAS SOPS 293511 HAS SOUS 281379 HAS SOUPS 251792 WITH SCORE 252210.459
AT ITER 22 NEW BEST:: SOT 652767 SOS 418075 HAS SOPS 293496 HAS SOUS 281323 HAS SOUPS 251777 WITH SCORE 252195.075
AT ITER 32 NEW BEST:: SOT 652638 SOS 417946 HAS SOPS 293108 HAS SOUS 281065 HAS SOUPS 251261 WITH SCORE 251678.946
AT ITER 45 NEW BEST:: SOT 652638 SOS 417946 HAS SOPS 292951 HAS SOUS 280767 HAS SOUPS 250901 WITH SCORE 251318.946
AT ITER 53 NEW BEST:: SOT 652638 SOS 417671 HAS SOPS 292951 HAS SOUS 280753 HAS SOUPS 250901 WITH SCORE 251318.671
AT ITER 69 NEW BEST:: SOT 652638 SOS 417671 HAS SOPS 292962 HAS SOUS 280693 HAS SOUPS 250810 WITH SCORE 251227.671
AT ITER 79 NEW BEST:: SOT 652401 SOS 417434 HAS SOPS 292962 HAS SOUS 280693 HAS SOUPS 250810 WITH SCORE 251227.434
AT ITER 82 NEW BEST:: SOT 652514 SOS 417627 HAS SOPS 292931 HAS SOUS 281087 HAS SOUPS 250780 WITH SCORE 251197.627
AT ITER 93 NEW BEST:: SOT 652613 SOS 417816 HAS SOPS 292844 HAS SOUS 281001 HAS SOUPS 250694 WITH SCORE 251111.816
AT ITER 94 NEW BEST:: SOT 652752 SOS 417955 HAS SOPS 292843 HAS SOUS 280862 HAS SOUPS 250555 WITH SCORE 250972.955
AT ITER 95 NEW BEST:: SOT 652752 SOS 417955 HAS SOPS 292661 HAS SOUS 280539 HAS SOUPS 250170 WITH SCORE 250587.955
AT ITER 105 NEW BEST:: SOT 652828 SOS 418106 HAS SOPS 292535 HAS SOUS 280831 HAS SOUPS 250045 WITH SCORE 250463.106
AT ITER 107 NEW BEST:: SOT 652461 SOS 417739 HAS SOPS 292335 HAS SOUS 280632 HAS SOUPS 249846 WITH SCORE 250263.739
AT ITER 108 NEW BEST:: SOT 652578 SOS 417972 HAS SOPS 292246 HAS SOUS 280908 HAS SOUPS 249758 WITH SCORE 250175.972
AT ITER 109 NEW BEST:: SOT 652422 SOS 417816 HAS SOPS 291777 HAS SOUS 280596 HAS SOUPS 249134 WITH SCORE 249551.816
AT ITER 117 NEW BEST:: SOT 651567 SOS 417321 HAS SOPS 290913 HAS SOUS 279745 HAS SOUPS 248270 WITH SCORE 248687.321
AT ITER 131 NEW BEST:: SOT 651590 SOS 417366 HAS SOPS 290732 HAS SOUS 279947 HAS SOUPS 248090 WITH SCORE 248507.366
AT ITER 146 NEW BEST:: SOT 651590 SOS 417366 HAS SOPS 290572 HAS SOUS 279942 HAS SOUPS 247929 WITH SCORE 248346.366
AT ITER 156 NEW BEST:: SOT 651590 SOS 417366 HAS SOPS 290414 HAS SOUS 279643 HAS SOUPS 247568 WITH SCORE 247985.366
AT ITER 163 NEW BEST:: SOT 651540 SOS 417316 HAS SOPS 290263 HAS SOUS 279593 HAS SOUPS 247418 WITH SCORE 247835.316
AT ITER 165 NEW BEST:: SOT 651540 SOS 417156 HAS SOPS 290263 HAS SOUS 279547 HAS SOUPS 247418 WITH SCORE 247835.156
AT ITER 167 NEW BEST:: SOT 651466 SOS 417082 HAS SOPS 290189 HAS SOUS 279473 HAS SOUPS 247344 WITH SCORE 247761.082
AT ITER 169 NEW BEST:: SOT 651436 SOS 417052 HAS SOPS 290159 HAS SOUS 279443 HAS SOUPS 247314 WITH SCORE 247731.052
AT ITER 174 NEW BEST:: SOT 650982 SOS 416463 HAS SOPS 289961 HAS SOUS 279219 HAS SOUPS 247117 WITH SCORE 247533.463
AT ITER 178 NEW BEST:: SOT 651066 SOS 417427 HAS SOPS 289932 HAS SOUS 279411 HAS SOUPS 247088 WITH SCORE 247505.427
AT ITER 183 NEW BEST:: SOT 651066 SOS 417427 HAS SOPS 289865 HAS SOUS 279340 HAS SOUPS 246955 WITH SCORE 247372.427
AT ITER 196 NEW BEST:: SOT 651066 SOS 417427 HAS SOPS 289853 HAS SOUS 279346 HAS SOUPS 246943 WITH SCORE 247360.427
AT ITER 197 NEW BEST:: SOT 651120 SOS 417559 HAS SOPS 289793 HAS SOUS 279467 HAS SOUPS 246883 WITH SCORE 247300.559
AT ITER 203 NEW BEST:: SOT 651142 SOS 417602 HAS SOPS 289617 HAS SOUS 279775 HAS SOUPS 246708 WITH SCORE 247125.602
AT ITER 206 NEW BEST:: SOT 651142 SOS 417644 HAS SOPS 289613 HAS SOUS 279771 HAS SOUPS 246704 WITH SCORE 247121.644
AT ITER 207 NEW BEST:: SOT 651036 SOS 417538 HAS SOPS 289478 HAS SOUS 279636 HAS SOUPS 246569 WITH SCORE 246986.538
AT ITER 211 NEW BEST:: SOT 650770 SOS 417272 HAS SOPS 289286 HAS SOUS 279445 HAS SOUPS 246378 WITH SCORE 246795.272
AT ITER 213 NEW BEST:: SOT 650770 SOS 417272 HAS SOPS 289104 HAS SOUS 279228 HAS SOUPS 246016 WITH SCORE 246433.272
AT ITER 217 NEW BEST:: SOT 650894 SOS 417519 HAS SOPS 289022 HAS SOUS 279518 HAS SOUPS 245935 WITH SCORE 246352.519
AT ITER 222 NEW BEST:: SOT 650835 SOS 417460 HAS SOPS 288844 HAS SOUS 279400 HAS SOUPS 245699 WITH SCORE 246116.46
AT ITER 227 NEW BEST:: SOT 650964 SOS 417707 HAS SOPS 288789 HAS SOUS 279346 HAS SOUPS 245645 WITH SCORE 246062.707
AT ITER 245 NEW BEST:: SOT 650882 SOS 417235 HAS SOPS 288789 HAS SOUS 279264 HAS SOUPS 245645 WITH SCORE 246062.235
AT ITER 258 NEW BEST:: SOT 650909 SOS 410772 HAS SOPS 279926 HAS SOUS 279076 HAS SOUPS 245217 WITH SCORE 245627.772
AT ITER 263 NEW BEST:: SOT 650909 SOS 410772 HAS SOPS 280022 HAS SOUS 279075 HAS SOUPS 245216 WITH SCORE 245626.772
AT ITER 264 NEW BEST:: SOT 650861 SOS 410724 HAS SOPS 280022 HAS SOUS 279075 HAS SOUPS 245216 WITH SCORE 245626.724
AT ITER 267 NEW BEST:: SOT 650878 SOS 410812 HAS SOPS 279833 HAS SOUS 279281 HAS SOUPS 245077 WITH SCORE 245487.812
AT ITER 268 NEW BEST:: SOT 650878 SOS 410402 HAS SOPS 279833 HAS SOUS 279240 HAS SOUPS 245077 WITH SCORE 245487.402
AT ITER 270 NEW BEST:: SOT 650878 SOS 410402 HAS SOPS 279685 HAS SOUS 278956 HAS SOUPS 244754 WITH SCORE 245164.402
AT ITER 286 NEW BEST:: SOT 650912 SOS 411586 HAS SOPS 279604 HAS SOUS 278990 HAS SOUPS 244673 WITH SCORE 245084.586
AT ITER 289 NEW BEST:: SOT 650912 SOS 411586 HAS SOPS 279516 HAS SOUS 278897 HAS SOUPS 244586 WITH SCORE 244997.586
AT ITER 291 NEW BEST:: SOT 650912 SOS 411586 HAS SOPS 279311 HAS SOUS 278740 HAS SOUPS 244382 WITH SCORE 244793.586
AT ITER 298 NEW BEST:: SOT 650591 SOS 410855 HAS SOPS 279105 HAS SOUS 278699 HAS SOUPS 244382 WITH SCORE 244792.855
AT ITER 304 NEW BEST:: SOT 650147 SOS 410411 HAS SOPS 278907 HAS SOUS 278502 HAS SOUPS 244185 WITH SCORE 244595.411
AT ITER 306 NEW BEST:: SOT 650147 SOS 410411 HAS SOPS 278906 HAS SOUS 278528 HAS SOUPS 244159 WITH SCORE 244569.411
AT ITER 307 NEW BEST:: SOT 650147 SOS 410411 HAS SOPS 278674 HAS SOUS 278443 HAS SOUPS 243834 WITH SCORE 244244.411
AT ITER 311 NEW BEST:: SOT 650147 SOS 410933 HAS SOPS 278616 HAS SOUS 278475 HAS SOUPS 243776 WITH SCORE 244186.933
AT ITER 322 NEW BEST:: SOT 649790 SOS 410506 HAS SOPS 278559 HAS SOUS 278342 HAS SOUPS 243719 WITH SCORE 244129.506
AT ITER 326 NEW BEST:: SOT 649604 SOS 410320 HAS SOPS 278138 HAS SOUS 278002 HAS SOUPS 243193 WITH SCORE 243603.32
AT ITER 330 NEW BEST:: SOT 649495 SOS 410211 HAS SOPS 277920 HAS SOUS 277976 HAS SOUPS 242975 WITH SCORE 243385.211
AT ITER 347 NEW BEST:: SOT 649324 SOS 409899 HAS SOPS 277608 HAS SOUS 277664 HAS SOUPS 242663 WITH SCORE 243072.899
AT ITER 353 NEW BEST:: SOT 649418 SOS 409993 HAS SOPS 277603 HAS SOUS 277624 HAS SOUPS 242561 WITH SCORE 242970.993
AT ITER 359 NEW BEST:: SOT 649418 SOS 409993 HAS SOPS 277346 HAS SOUS 277360 HAS SOUPS 242250 WITH SCORE 242659.993
AT ITER 381 NEW BEST:: SOT 649418 SOS 409993 HAS SOPS 277247 HAS SOUS 277262 HAS SOUPS 242053 WITH SCORE 242462.993
AT ITER 400 NEW BEST:: SOT 649479 SOS 410032 HAS SOPS 277224 HAS SOUS 277239 HAS SOUPS 242030 WITH SCORE 242440.032
AT ITER 401 NEW BEST:: SOT 649518 SOS 410251 HAS SOPS 277113 HAS SOUS 277203 HAS SOUPS 241919 WITH SCORE 242329.251
AT ITER 404 NEW BEST:: SOT 649162 SOS 409718 HAS SOPS 276911 HAS SOUS 276932 HAS SOUPS 241718 WITH SCORE 242127.718
AT ITER 405 NEW BEST:: SOT 649162 SOS 409718 HAS SOPS 276709 HAS SOUS 277008 HAS SOUPS 241516 WITH SCORE 241925.718
AT ITER 408 NEW BEST:: SOT 649095 SOS 409651 HAS SOPS 276642 HAS SOUS 276941 HAS SOUPS 241449 WITH SCORE 241858.651
AT ITER 412 NEW BEST:: SOT 649095 SOS 409651 HAS SOPS 276672 HAS SOUS 276768 HAS SOUPS 241276 WITH SCORE 241685.651
AT ITER 419 NEW BEST:: SOT 649095 SOS 409651 HAS SOPS 276631 HAS SOUS 276770 HAS SOUPS 241235 WITH SCORE 241644.651
AT ITER 421 NEW BEST:: SOT 649178 SOS 409816 HAS SOPS 276510 HAS SOUS 277040 HAS SOUPS 241115 WITH SCORE 241524.816
AT ITER 423 NEW BEST:: SOT 649178 SOS 409816 HAS SOPS 276188 HAS SOUS 276718 HAS SOUPS 240793 WITH SCORE 241202.816
AT ITER 426 NEW BEST:: SOT 649178 SOS 409816 HAS SOPS 276168 HAS SOUS 276571 HAS SOUPS 240646 WITH SCORE 241055.816
AT ITER 434 NEW BEST:: SOT 649182 SOS 409864 HAS SOPS 276147 HAS SOUS 276550 HAS SOUPS 240625 WITH SCORE 241034.864
AT ITER 437 NEW BEST:: SOT 649248 SOS 410036 HAS SOPS 276007 HAS SOUS 276411 HAS SOUPS 240486 WITH SCORE 240896.036
AT ITER 449 NEW BEST:: SOT 649202 SOS 409990 HAS SOPS 275945 HAS SOUS 276350 HAS SOUPS 240425 WITH SCORE 240834.99
AT ITER 452 NEW BEST:: SOT 648909 SOS 409697 HAS SOPS 275945 HAS SOUS 276057 HAS SOUPS 240425 WITH SCORE 240834.697
AT ITER 457 NEW BEST:: SOT 649018 SOS 409914 HAS SOPS 275907 HAS SOUS 276317 HAS SOUPS 240388 WITH SCORE 240797.914
AT ITER 466 NEW BEST:: SOT 649018 SOS 409942 HAS SOPS 275862 HAS SOUS 276289 HAS SOUPS 240343 WITH SCORE 240752.942
AT ITER 475 NEW BEST:: SOT 649018 SOS 409942 HAS SOPS 275800 HAS SOUS 276318 HAS SOUPS 240282 WITH SCORE 240691.942
AT ITER 484 NEW BEST:: SOT 649018 SOS 409942 HAS SOPS 275712 HAS SOUS 276275 HAS SOUPS 240195 WITH SCORE 240604.942
AT ITER 488 NEW BEST:: SOT 648908 SOS 409768 HAS SOPS 275538 HAS SOUS 276101 HAS SOUPS 240021 WITH SCORE 240430.768
AT ITER 505 NEW BEST:: SOT 648908 SOS 409768 HAS SOPS 275369 HAS SOUS 275896 HAS SOUPS 239779 WITH SCORE 240188.768
AT ITER 506 NEW BEST:: SOT 648908 SOS 409768 HAS SOPS 275076 HAS SOUS 275666 HAS SOUPS 239391 WITH SCORE 239800.768
AT ITER 507 NEW BEST:: SOT 648904 SOS 409745 HAS SOPS 275072 HAS SOUS 275662 HAS SOUPS 239387 WITH SCORE 239796.745
AT ITER 508 NEW BEST:: SOT 648928 SOS 409954 HAS SOPS 275059 HAS SOUS 275703 HAS SOUPS 239374 WITH SCORE 239783.954
AT ITER 511 NEW BEST:: SOT 648928 SOS 409619 HAS SOPS 275059 HAS SOUS 275686 HAS SOUPS 239374 WITH SCORE 239783.619
AT ITER 514 NEW BEST:: SOT 648696 SOS 409387 HAS SOPS 275085 HAS SOUS 275620 HAS SOUPS 239311 WITH SCORE 239720.387
AT ITER 522 NEW BEST:: SOT 648696 SOS 409167 HAS SOPS 275085 HAS SOUS 275598 HAS SOUPS 239311 WITH SCORE 239720.167
AT ITER 531 NEW BEST:: SOT 648579 SOS 409050 HAS SOPS 274734 HAS SOUS 275327 HAS SOUPS 238843 WITH SCORE 239252.05
AT ITER 533 NEW BEST:: SOT 648574 SOS 409081 HAS SOPS 274729 HAS SOUS 275322 HAS SOUPS 238838 WITH SCORE 239247.081
AT ITER 534 NEW BEST:: SOT 648574 SOS 409081 HAS SOPS 274670 HAS SOUS 275297 HAS SOUPS 238780 WITH SCORE 239189.081
AT ITER 559 NEW BEST:: SOT 648574 SOS 409081 HAS SOPS 274676 HAS SOUS 275099 HAS SOUPS 238582 WITH SCORE 238991.081
AT ITER 560 NEW BEST:: SOT 648653 SOS 409474 HAS SOPS 274590 HAS SOUS 275178 HAS SOUPS 238496 WITH SCORE 238905.474
AT ITER 563 NEW BEST:: SOT 648570 SOS 409391 HAS SOPS 274590 HAS SOUS 275178 HAS SOUPS 238496 WITH SCORE 238905.391
AT ITER 564 NEW BEST:: SOT 648514 SOS 409335 HAS SOPS 274366 HAS SOUS 275097 HAS SOUPS 238303 WITH SCORE 238712.335
AT ITER 584 NEW BEST:: SOT 648240 SOS 409061 HAS SOPS 274160 HAS SOUS 274892 HAS SOUPS 238098 WITH SCORE 238507.061
AT ITER 608 NEW BEST:: SOT 648495 SOS 410796 HAS SOPS 274134 HAS SOUS 275278 HAS SOUPS 238072 WITH SCORE 238482.796
AT ITER 609 NEW BEST:: SOT 648495 SOS 410758 HAS SOPS 274247 HAS SOUS 275214 HAS SOUPS 238046 WITH SCORE 238456.758
AT ITER 612 NEW BEST:: SOT 648495 SOS 410758 HAS SOPS 274170 HAS SOUS 275213 HAS SOUPS 238045 WITH SCORE 238455.758
AT ITER 613 NEW BEST:: SOT 648163 SOS 410426 HAS SOPS 274045 HAS SOUS 275025 HAS SOUPS 237919 WITH SCORE 238329.426
AT ITER 629 NEW BEST:: SOT 648163 SOS 410426 HAS SOPS 274052 HAS SOUS 274983 HAS SOUPS 237876 WITH SCORE 238286.426
AT ITER 632 NEW BEST:: SOT 648071 SOS 410334 HAS SOPS 274052 HAS SOUS 274978 HAS SOUPS 237876 WITH SCORE 238286.334
AT ITER 642 NEW BEST:: SOT 648156 SOS 410503 HAS SOPS 273931 HAS SOUS 275216 HAS SOUPS 237756 WITH SCORE 238166.503
AT ITER 650 NEW BEST:: SOT 648156 SOS 410503 HAS SOPS 273847 HAS SOUS 274982 HAS SOUPS 237397 WITH SCORE 237807.503
AT ITER 664 NEW BEST:: SOT 648156 SOS 410503 HAS SOPS 273904 HAS SOUS 274871 HAS SOUPS 237280 WITH SCORE 237690.503
AT ITER 667 NEW BEST:: SOT 648156 SOS 410503 HAS SOPS 273939 HAS SOUS 274775 HAS SOUPS 237184 WITH SCORE 237594.503
AT ITER 668 NEW BEST:: SOT 648344 SOS 412351 HAS SOPS 273835 HAS SOUS 274870 HAS SOUPS 237080 WITH SCORE 237492.351
AT ITER 670 NEW BEST:: SOT 648443 SOS 412450 HAS SOPS 273834 HAS SOUS 274834 HAS SOUPS 236981 WITH SCORE 237393.45
AT ITER 676 NEW BEST:: SOT 648414 SOS 412421 HAS SOPS 273679 HAS SOUS 274812 HAS SOUPS 236826 WITH SCORE 237238.421
AT ITER 693 NEW BEST:: SOT 648396 SOS 412403 HAS SOPS 273661 HAS SOUS 274794 HAS SOUPS 236808 WITH SCORE 237220.403
AT ITER 694 NEW BEST:: SOT 648064 SOS 412071 HAS SOPS 273457 HAS SOUS 274591 HAS SOUPS 236605 WITH SCORE 237017.071
AT ITER 697 NEW BEST:: SOT 648064 SOS 412071 HAS SOPS 273456 HAS SOUS 274547 HAS SOUPS 236561 WITH SCORE 236973.071
AT ITER 699 NEW BEST:: SOT 648047 SOS 412054 HAS SOPS 273401 HAS SOUS 274517 HAS SOUPS 236531 WITH SCORE 236943.054
AT ITER 711 NEW BEST:: SOT 648131 SOS 413978 HAS SOPS 273171 HAS SOUS 274621 HAS SOUPS 236301 WITH SCORE 236714.978
AT ITER 728 NEW BEST:: SOT 648267 SOS 414114 HAS SOPS 272953 HAS SOUS 274507 HAS SOUPS 236089 WITH SCORE 236503.114
AT ITER 747 NEW BEST:: SOT 648169 SOS 414016 HAS SOPS 272855 HAS SOUS 274350 HAS SOUPS 235932 WITH SCORE 236346.016
AT ITER 750 NEW BEST:: SOT 648285 SOS 414247 HAS SOPS 272830 HAS SOUS 274385 HAS SOUPS 235908 WITH SCORE 236322.247
AT ITER 751 NEW BEST:: SOT 647995 SOS 413759 HAS SOPS 272624 HAS SOUS 274158 HAS SOUPS 235703 WITH SCORE 236116.759
AT ITER 757 NEW BEST:: SOT 648064 SOS 413848 HAS SOPS 272620 HAS SOUS 274250 HAS SOUPS 235699 WITH SCORE 236112.848
AT ITER 760 NEW BEST:: SOT 647951 SOS 413735 HAS SOPS 272450 HAS SOUS 274031 HAS SOUPS 235439 WITH SCORE 235852.735
AT ITER 765 NEW BEST:: SOT 647989 SOS 414118 HAS SOPS 272415 HAS SOUS 274115 HAS SOUPS 235404 WITH SCORE 235818.118
AT ITER 771 NEW BEST:: SOT 647596 SOS 412557 HAS SOPS 272215 HAS SOUS 273598 HAS SOUPS 235205 WITH SCORE 235617.557
AT ITER 774 NEW BEST:: SOT 647666 SOS 412627 HAS SOPS 272075 HAS SOUS 273461 HAS SOUPS 235065 WITH SCORE 235477.627
AT ITER 779 NEW BEST:: SOT 647652 SOS 413639 HAS SOPS 271888 HAS SOUS 273414 HAS SOUPS 234878 WITH SCORE 235291.639
AT ITER 783 NEW BEST:: SOT 647672 SOS 413954 HAS SOPS 271806 HAS SOUS 273410 HAS SOUPS 234796 WITH SCORE 235209.954
AT ITER 787 NEW BEST:: SOT 647661 SOS 413943 HAS SOPS 271795 HAS SOUS 273388 HAS SOUPS 234785 WITH SCORE 235198.943
AT ITER 788 NEW BEST:: SOT 647661 SOS 413891 HAS SOPS 271743 HAS SOUS 273336 HAS SOUPS 234733 WITH SCORE 235146.891
AT ITER 793 NEW BEST:: SOT 647661 SOS 413851 HAS SOPS 271743 HAS SOUS 273328 HAS SOUPS 234733 WITH SCORE 235146.851
AT ITER 794 NEW BEST:: SOT 647661 SOS 413851 HAS SOPS 271644 HAS SOUS 273230 HAS SOUPS 234634 WITH SCORE 235047.851
AT ITER 798 NEW BEST:: SOT 647698 SOS 414183 HAS SOPS 271489 HAS SOUS 273287 HAS SOUPS 234479 WITH SCORE 234893.183
AT ITER 808 NEW BEST:: SOT 647402 SOS 413846 HAS SOPS 271358 HAS SOUS 273152 HAS SOUPS 234349 WITH SCORE 234762.846
AT ITER 812 NEW BEST:: SOT 647402 SOS 413846 HAS SOPS 271382 HAS SOUS 273148 HAS SOUPS 234345 WITH SCORE 234758.846
AT ITER 814 NEW BEST:: SOT 647485 SOS 414937 HAS SOPS 271353 HAS SOUS 273265 HAS SOUPS 234316 WITH SCORE 234730.937
AT ITER 821 NEW BEST:: SOT 647477 SOS 414929 HAS SOPS 271345 HAS SOUS 273265 HAS SOUPS 234308 WITH SCORE 234722.929
AT ITER 822 NEW BEST:: SOT 647477 SOS 414929 HAS SOPS 271359 HAS SOUS 273263 HAS SOUPS 234306 WITH SCORE 234720.929
AT ITER 829 NEW BEST:: SOT 647477 SOS 414929 HAS SOPS 271330 HAS SOUS 273080 HAS SOUPS 234123 WITH SCORE 234537.929
AT ITER 846 NEW BEST:: SOT 647516 SOS 415006 HAS SOPS 271258 HAS SOUS 273278 HAS SOUPS 234052 WITH SCORE 234467.006
AT ITER 850 NEW BEST:: SOT 647558 SOS 404051 HAS SOPS 257102 HAS SOUS 269408 HAS SOUPS 230208 WITH SCORE 230612.051
AT ITER 854 NEW BEST:: SOT 647558 SOS 404051 HAS SOPS 257003 HAS SOUS 269310 HAS SOUPS 230110 WITH SCORE 230514.051
AT ITER 858 NEW BEST:: SOT 647558 SOS 404051 HAS SOPS 256889 HAS SOUS 269252 HAS SOUPS 229939 WITH SCORE 230343.051
AT ITER 873 NEW BEST:: SOT 647558 SOS 404051 HAS SOPS 256851 HAS SOUS 269214 HAS SOUPS 229901 WITH SCORE 230305.051
AT ITER 876 NEW BEST:: SOT 647384 SOS 403769 HAS SOPS 256725 HAS SOUS 269074 HAS SOUPS 229775 WITH SCORE 230178.769
AT ITER 882 NEW BEST:: SOT 647110 SOS 403520 HAS SOPS 256699 HAS SOUS 269074 HAS SOUPS 229775 WITH SCORE 230178.52
AT ITER 894 NEW BEST:: SOT 647124 SOS 403507 HAS SOPS 256727 HAS SOUS 268887 HAS SOUPS 229588 WITH SCORE 229991.507
AT ITER 901 NEW BEST:: SOT 647124 SOS 403507 HAS SOPS 256723 HAS SOUS 268883 HAS SOUPS 229584 WITH SCORE 229987.507
AT ITER 905 NEW BEST:: SOT 647124 SOS 403507 HAS SOPS 256723 HAS SOUS 268825 HAS SOUPS 229526 WITH SCORE 229929.507
AT ITER 906 NEW BEST:: SOT 647124 SOS 403487 HAS SOPS 256723 HAS SOUS 268825 HAS SOUPS 229526 WITH SCORE 229929.487
AT ITER 909 NEW BEST:: SOT 647124 SOS 403472 HAS SOPS 256723 HAS SOUS 268822 HAS SOUPS 229526 WITH SCORE 229929.472
AT ITER 914 NEW BEST:: SOT 647103 SOS 403345 HAS SOPS 256808 HAS SOUS 268755 HAS SOUPS 229512 WITH SCORE 229915.345
AT ITER 916 NEW BEST:: SOT 647312 SOS 403948 HAS SOPS 256921 HAS SOUS 268806 HAS SOUPS 229424 WITH SCORE 229827.948
AT ITER 919 NEW BEST:: SOT 647312 SOS 403948 HAS SOPS 256731 HAS SOUS 268803 HAS SOUPS 229352 WITH SCORE 229755.948
AT ITER 922 NEW BEST:: SOT 647312 SOS 403948 HAS SOPS 256571 HAS SOUS 268671 HAS SOUPS 229089 WITH SCORE 229492.948
AT ITER 924 NEW BEST:: SOT 647556 SOS 405317 HAS SOPS 256562 HAS SOUS 269176 HAS SOUPS 229080 WITH SCORE 229485.317
AT ITER 926 NEW BEST:: SOT 647496 SOS 405257 HAS SOPS 256443 HAS SOUS 269159 HAS SOUPS 229021 WITH SCORE 229426.257
AT ITER 927 NEW BEST:: SOT 647570 SOS 405439 HAS SOPS 256384 HAS SOUS 269292 HAS SOUPS 228962 WITH SCORE 229367.439
AT ITER 930 NEW BEST:: SOT 647400 SOS 405269 HAS SOPS 256194 HAS SOUS 268958 HAS SOUPS 228602 WITH SCORE 229007.269
AT ITER 936 NEW BEST:: SOT 647400 SOS 405269 HAS SOPS 256111 HAS SOUS 269024 HAS SOUPS 228575 WITH SCORE 228980.269
AT ITER 938 NEW BEST:: SOT 647400 SOS 405269 HAS SOPS 256193 HAS SOUS 269003 HAS SOUPS 228554 WITH SCORE 228959.269
AT ITER 942 NEW BEST:: SOT 647470 SOS 405844 HAS SOPS 256158 HAS SOUS 269132 HAS SOUPS 228519 WITH SCORE 228924.844
AT ITER 945 NEW BEST:: SOT 647470 SOS 405844 HAS SOPS 256164 HAS SOUS 269131 HAS SOUPS 228518 WITH SCORE 228923.844
AT ITER 947 NEW BEST:: SOT 647470 SOS 405862 HAS SOPS 256112 HAS SOUS 269079 HAS SOUPS 228466 WITH SCORE 228871.862
AT ITER 953 NEW BEST:: SOT 647508 SOS 405937 HAS SOPS 255944 HAS SOUS 268912 HAS SOUPS 228299 WITH SCORE 228704.937
AT ITER 978 NEW BEST:: SOT 647508 SOS 405937 HAS SOPS 255938 HAS SOUS 268912 HAS SOUPS 228293 WITH SCORE 228698.937
AT ITER 982 NEW BEST:: SOT 647709 SOS 406138 HAS SOPS 255998 HAS SOUS 268986 HAS SOUPS 228253 WITH SCORE 228659.138
AT ITER 992 NEW BEST:: SOT 647709 SOS 406138 HAS SOPS 255794 HAS SOUS 268817 HAS SOUPS 228049 WITH SCORE 228455.138
AT ITER 1003 NEW BEST:: SOT 647709 SOS 406138 HAS SOPS 255792 HAS SOUS 268815 HAS SOUPS 228047 WITH SCORE 228453.138
AT ITER 1007 NEW BEST:: SOT 647709 SOS 406138 HAS SOPS 255625 HAS SOUS 268577 HAS SOUPS 227715 WITH SCORE 228121.138
AT ITER 1013 NEW BEST:: SOT 647709 SOS 406138 HAS SOPS 255312 HAS SOUS 268334 HAS SOUPS 227334 WITH SCORE 227740.138
AT ITER 1019 NEW BEST:: SOT 647673 SOS 406004 HAS SOPS 255373 HAS SOUS 268254 HAS SOUPS 227303 WITH SCORE 227709.004
AT ITER 1022 NEW BEST:: SOT 647673 SOS 406004 HAS SOPS 255135 HAS SOUS 268011 HAS SOUPS 226964 WITH SCORE 227370.004
AT ITER 1025 NEW BEST:: SOT 647673 SOS 405709 HAS SOPS 255135 HAS SOUS 268011 HAS SOUPS 226964 WITH SCORE 227369.709
AT ITER 1032 NEW BEST:: SOT 647627 SOS 405663 HAS SOPS 255089 HAS SOUS 267965 HAS SOUPS 226918 WITH SCORE 227323.663
AT ITER 1042 NEW BEST:: SOT 647627 SOS 405663 HAS SOPS 255088 HAS SOUS 267936 HAS SOUPS 226889 WITH SCORE 227294.663
AT ITER 1043 NEW BEST:: SOT 647796 SOS 407422 HAS SOPS 254948 HAS SOUS 267988 HAS SOUPS 226749 WITH SCORE 227156.422
AT ITER 1049 NEW BEST:: SOT 647790 SOS 407404 HAS SOPS 254960 HAS SOUS 267970 HAS SOUPS 226737 WITH SCORE 227144.404
AT ITER 1052 NEW BEST:: SOT 647790 SOS 407404 HAS SOPS 254698 HAS SOUS 267708 HAS SOUPS 226475 WITH SCORE 226882.404
AT ITER 1059 NEW BEST:: SOT 647790 SOS 407259 HAS SOPS 254698 HAS SOUS 267708 HAS SOUPS 226475 WITH SCORE 226882.259
AT ITER 1070 NEW BEST:: SOT 623192 SOS 434827 HAS SOPS 229795 HAS SOUS 243659 HAS SOUPS 201572 WITH SCORE 202006.827
AT ITER 1073 NEW BEST:: SOT 623182 SOS 434817 HAS SOPS 229773 HAS SOUS 243688 HAS SOUPS 201549 WITH SCORE 201983.817
AT ITER 1074 NEW BEST:: SOT 625102 SOS 434647 HAS SOPS 226999 HAS SOUS 242839 HAS SOUPS 200700 WITH SCORE 201134.647
AT ITER 1078 NEW BEST:: SOT 625091 SOS 434680 HAS SOPS 226968 HAS SOUS 242922 HAS SOUPS 200669 WITH SCORE 201103.68
AT ITER 1080 NEW BEST:: SOT 625094 SOS 434683 HAS SOPS 226967 HAS SOUS 242925 HAS SOUPS 200668 WITH SCORE 201102.683
AT ITER 1085 NEW BEST:: SOT 625125 SOS 435079 HAS SOPS 226859 HAS SOUS 242890 HAS SOUPS 200560 WITH SCORE 200995.079
AT ITER 1103 NEW BEST:: SOT 624690 SOS 434644 HAS SOPS 226130 HAS SOUS 242415 HAS SOUPS 199831 WITH SCORE 200265.644
AT ITER 1104 NEW BEST:: SOT 624690 SOS 434644 HAS SOPS 226120 HAS SOUS 242405 HAS SOUPS 199821 WITH SCORE 200255.644
AT ITER 1106 NEW BEST:: SOT 624656 SOS 434610 HAS SOPS 226051 HAS SOUS 242242 HAS SOUPS 199624 WITH SCORE 200058.61
AT ITER 1109 NEW BEST:: SOT 624583 SOS 434537 HAS SOPS 225978 HAS SOUS 242256 HAS SOUPS 199551 WITH SCORE 199985.537
AT ITER 1112 NEW BEST:: SOT 624583 SOS 434271 HAS SOPS 225978 HAS SOUS 242256 HAS SOUPS 199551 WITH SCORE 199985.271
AT ITER 1117 NEW BEST:: SOT 624584 SOS 434272 HAS SOPS 225979 HAS SOUS 242253 HAS SOUPS 199548 WITH SCORE 199982.272
AT ITER 1126 NEW BEST:: SOT 624584 SOS 434272 HAS SOPS 225835 HAS SOUS 242205 HAS SOUPS 199500 WITH SCORE 199934.272
AT ITER 1145 NEW BEST:: SOT 624574 SOS 434262 HAS SOPS 225814 HAS SOUS 242184 HAS SOUPS 199479 WITH SCORE 199913.262
AT ITER 1169 NEW BEST:: SOT 624560 SOS 434248 HAS SOPS 225740 HAS SOUS 242340 HAS SOUPS 199474 WITH SCORE 199908.248
AT ITER 1176 NEW BEST:: SOT 624948 SOS 434636 HAS SOPS 225709 HAS SOUS 242756 HAS SOUPS 199443 WITH SCORE 199877.636
AT ITER 1183 NEW BEST:: SOT 624875 SOS 434475 HAS SOPS 225710 HAS SOUS 242647 HAS SOUPS 199371 WITH SCORE 199805.475
AT ITER 1195 NEW BEST:: SOT 625071 SOS 434671 HAS SOPS 225473 HAS SOUS 242600 HAS SOUPS 199184 WITH SCORE 199618.671
AT ITER 1196 NEW BEST:: SOT 624920 SOS 434520 HAS SOPS 225322 HAS SOUS 242449 HAS SOUPS 199033 WITH SCORE 199467.52
AT ITER 1199 NEW BEST:: SOT 624920 SOS 434520 HAS SOPS 225316 HAS SOUS 242443 HAS SOUPS 199027 WITH SCORE 199461.52
AT ITER 1209 NEW BEST:: SOT 624920 SOS 434520 HAS SOPS 225289 HAS SOUS 242412 HAS SOUPS 199000 WITH SCORE 199434.52
AT ITER 1213 NEW BEST:: SOT 624966 SOS 434566 HAS SOPS 225413 HAS SOUS 242336 HAS SOUPS 198990 WITH SCORE 199424.566
AT ITER 1216 NEW BEST:: SOT 624975 SOS 434575 HAS SOPS 225448 HAS SOUS 242264 HAS SOUPS 198918 WITH SCORE 199352.575
AT ITER 1223 NEW BEST:: SOT 625023 SOS 434623 HAS SOPS 225409 HAS SOUS 242312 HAS SOUPS 198879 WITH SCORE 199313.623
AT ITER 1232 NEW BEST:: SOT 625021 SOS 434621 HAS SOPS 225405 HAS SOUS 242308 HAS SOUPS 198875 WITH SCORE 199309.621
AT ITER 1242 NEW BEST:: SOT 625078 SOS 434660 HAS SOPS 225175 HAS SOUS 242296 HAS SOUPS 198645 WITH SCORE 199079.66
AT ITER 1244 NEW BEST:: SOT 625043 SOS 434625 HAS SOPS 225070 HAS SOUS 242238 HAS SOUPS 198575 WITH SCORE 199009.625
AT ITER 1246 NEW BEST:: SOT 624963 SOS 434545 HAS SOPS 225070 HAS SOUS 242238 HAS SOUPS 198575 WITH SCORE 199009.545
AT ITER 1253 NEW BEST:: SOT 624891 SOS 434473 HAS SOPS 224866 HAS SOUS 242059 HAS SOUPS 198421 WITH SCORE 198855.473
AT ITER 1254 NEW BEST:: SOT 624981 SOS 434693 HAS SOPS 224831 HAS SOUS 242184 HAS SOUPS 198386 WITH SCORE 198820.693
AT ITER 1276 NEW BEST:: SOT 624976 SOS 434688 HAS SOPS 224795 HAS SOUS 242228 HAS SOUPS 198341 WITH SCORE 198775.688
AT ITER 1278 NEW BEST:: SOT 621106 SOS 434653 HAS SOPS 220925 HAS SOUS 238470 HAS SOUPS 194471 WITH SCORE 194905.653
AT ITER 1288 NEW BEST:: SOT 621101 SOS 434648 HAS SOPS 220672 HAS SOUS 238281 HAS SOUPS 194242 WITH SCORE 194676.648
AT ITER 1310 NEW BEST:: SOT 621101 SOS 434648 HAS SOPS 220580 HAS SOUS 238215 HAS SOUPS 194150 WITH SCORE 194584.648
AT ITER 1334 NEW BEST:: SOT 621076 SOS 434623 HAS SOPS 220445 HAS SOUS 238166 HAS SOUPS 194015 WITH SCORE 194449.623
AT ITER 1342 NEW BEST:: SOT 620873 SOS 434420 HAS SOPS 220004 HAS SOUS 237987 HAS SOUPS 193574 WITH SCORE 194008.42
AT ITER 1343 NEW BEST:: SOT 620698 SOS 434245 HAS SOPS 219459 HAS SOUS 237624 HAS SOUPS 193182 WITH SCORE 193616.245
AT ITER 1362 NEW BEST:: SOT 620694 SOS 434237 HAS SOPS 219443 HAS SOUS 237612 HAS SOUPS 193170 WITH SCORE 193604.237
AT ITER 1368 NEW BEST:: SOT 620694 SOS 434237 HAS SOPS 219477 HAS SOUS 237597 HAS SOUPS 193155 WITH SCORE 193589.237
AT ITER 1373 NEW BEST:: SOT 620624 SOS 434173 HAS SOPS 219217 HAS SOUS 237895 HAS SOUPS 193101 WITH SCORE 193535.173
AT ITER 1382 NEW BEST:: SOT 620614 SOS 434163 HAS SOPS 219197 HAS SOUS 237875 HAS SOUPS 193081 WITH SCORE 193515.163
AT ITER 1384 NEW BEST:: SOT 620564 SOS 433674 HAS SOPS 219147 HAS SOUS 237471 HAS SOUPS 192915 WITH SCORE 193348.674
AT ITER 1390 NEW BEST:: SOT 620588 SOS 433698 HAS SOPS 219111 HAS SOUS 237463 HAS SOUPS 192907 WITH SCORE 193340.698
AT ITER 1393 NEW BEST:: SOT 620588 SOS 433543 HAS SOPS 219111 HAS SOUS 237420 HAS SOUPS 192907 WITH SCORE 193340.543
AT ITER 1394 NEW BEST:: SOT 593229 SOS 406184 HAS SOPS 191549 HAS SOUS 217661 HAS SOUPS 169729 WITH SCORE 170135.184
AT ITER 1398 NEW BEST:: SOT 593264 SOS 406219 HAS SOPS 191517 HAS SOUS 217696 HAS SOUPS 169697 WITH SCORE 170103.219
AT ITER 1417 NEW BEST:: SOT 593126 SOS 406081 HAS SOPS 191223 HAS SOUS 217778 HAS SOUPS 169464 WITH SCORE 169870.081
AT ITER 1422 NEW BEST:: SOT 593113 SOS 406068 HAS SOPS 191210 HAS SOUS 217752 HAS SOUPS 169451 WITH SCORE 169857.068
AT ITER 1436 NEW BEST:: SOT 593238 SOS 406193 HAS SOPS 191208 HAS SOUS 217783 HAS SOUPS 169449 WITH SCORE 169855.193
AT ITER 1438 NEW BEST:: SOT 593427 SOS 406382 HAS SOPS 190994 HAS SOUS 217796 HAS SOUPS 169235 WITH SCORE 169641.382
AT ITER 1443 NEW BEST:: SOT 593426 SOS 406381 HAS SOPS 190816 HAS SOUS 217671 HAS SOUPS 169057 WITH SCORE 169463.381
AT ITER 1444 NEW BEST:: SOT 593449 SOS 406734 HAS SOPS 190730 HAS SOUS 217760 HAS SOUPS 168971 WITH SCORE 169377.734
AT ITER 1460 NEW BEST:: SOT 593386 SOS 406671 HAS SOPS 190694 HAS SOUS 217776 HAS SOUPS 168935 WITH SCORE 169341.671
AT ITER 1463 NEW BEST:: SOT 593621 SOS 406906 HAS SOPS 190617 HAS SOUS 218000 HAS SOUPS 168898 WITH SCORE 169304.906
AT ITER 1464 NEW BEST:: SOT 593617 SOS 406902 HAS SOPS 190609 HAS SOUS 217992 HAS SOUPS 168890 WITH SCORE 169296.902
AT ITER 1467 NEW BEST:: SOT 593514 SOS 406799 HAS SOPS 190403 HAS SOUS 217802 HAS SOUPS 168684 WITH SCORE 169090.799
AT ITER 1474 NEW BEST:: SOT 593477 SOS 406762 HAS SOPS 190264 HAS SOUS 217765 HAS SOUPS 168545 WITH SCORE 168951.762
AT ITER 1485 NEW BEST:: SOT 593445 SOS 406730 HAS SOPS 190200 HAS SOUS 217766 HAS SOUPS 168481 WITH SCORE 168887.73
AT ITER 1492 NEW BEST:: SOT 593409 SOS 406694 HAS SOPS 190107 HAS SOUS 217674 HAS SOUPS 168389 WITH SCORE 168795.694
AT ITER 1502 NEW BEST:: SOT 593455 SOS 407080 HAS SOPS 189995 HAS SOUS 217694 HAS SOUPS 168277 WITH SCORE 168684.08
AT ITER 1506 NEW BEST:: SOT 593520 SOS 407255 HAS SOPS 189921 HAS SOUS 217687 HAS SOUPS 168203 WITH SCORE 168610.255
AT ITER 1514 NEW BEST:: SOT 593520 SOS 407255 HAS SOPS 189897 HAS SOUS 217663 HAS SOUPS 168179 WITH SCORE 168586.255
AT ITER 1516 NEW BEST:: SOT 593504 SOS 407239 HAS SOPS 189880 HAS SOUS 217647 HAS SOUPS 168163 WITH SCORE 168570.239
AT ITER 1517 NEW BEST:: SOT 593504 SOS 407239 HAS SOPS 189840 HAS SOUS 217607 HAS SOUPS 168123 WITH SCORE 168530.239
AT ITER 1521 NEW BEST:: SOT 593504 SOS 407239 HAS SOPS 189800 HAS SOUS 217567 HAS SOUPS 168083 WITH SCORE 168490.239
AT ITER 1529 NEW BEST:: SOT 593327 SOS 407062 HAS SOPS 189163 HAS SOUS 217440 HAS SOUPS 167446 WITH SCORE 167853.062
AT ITER 1530 NEW BEST:: SOT 593403 SOS 407138 HAS SOPS 189112 HAS SOUS 217516 HAS SOUPS 167395 WITH SCORE 167802.138
AT ITER 1535 NEW BEST:: SOT 593403 SOS 407138 HAS SOPS 188948 HAS SOUS 217466 HAS SOUPS 167231 WITH SCORE 167638.138
AT ITER 1547 NEW BEST:: SOT 593224 SOS 406959 HAS SOPS 188590 HAS SOUS 217241 HAS SOUPS 166873 WITH SCORE 167279.959
AT ITER 1550 NEW BEST:: SOT 593227 SOS 406962 HAS SOPS 188498 HAS SOUS 217242 HAS SOUPS 166781 WITH SCORE 167187.962
AT ITER 1553 NEW BEST:: SOT 593227 SOS 406872 HAS SOPS 188498 HAS SOUS 217206 HAS SOUPS 166781 WITH SCORE 167187.872
AT ITER 1569 NEW BEST:: SOT 593214 SOS 406859 HAS SOPS 188485 HAS SOUS 217193 HAS SOUPS 166768 WITH SCORE 167174.859
AT ITER 1575 NEW BEST:: SOT 593256 SOS 406941 HAS SOPS 188422 HAS SOUS 217161 HAS SOUPS 166705 WITH SCORE 167111.941
AT ITER 1585 NEW BEST:: SOT 593155 SOS 406840 HAS SOPS 188220 HAS SOUS 216858 HAS SOUPS 166503 WITH SCORE 166909.84
AT ITER 1588 NEW BEST:: SOT 593163 SOS 406848 HAS SOPS 188191 HAS SOUS 216902 HAS SOUPS 166474 WITH SCORE 166880.848
AT ITER 1594 NEW BEST:: SOT 592780 SOS 406465 HAS SOPS 188191 HAS SOUS 216468 HAS SOUPS 166474 WITH SCORE 166880.465
AT ITER 1609 NEW BEST:: SOT 592039 SOS 405230 HAS SOPS 187450 HAS SOUS 214938 HAS SOUPS 165239 WITH SCORE 165644.23
AT ITER 1611 NEW BEST:: SOT 591852 SOS 405043 HAS SOPS 187057 HAS SOUS 214852 HAS SOUPS 164847 WITH SCORE 165252.043
AT ITER 1618 NEW BEST:: SOT 591648 SOS 404839 HAS SOPS 186439 HAS SOUS 214532 HAS SOUPS 164229 WITH SCORE 164633.839
AT ITER 1621 NEW BEST:: SOT 591638 SOS 404829 HAS SOPS 186419 HAS SOUS 214512 HAS SOUPS 164209 WITH SCORE 164613.829
AT ITER 1628 NEW BEST:: SOT 591638 SOS 404829 HAS SOPS 186413 HAS SOUS 214486 HAS SOUPS 164203 WITH SCORE 164607.829
AT ITER 1630 NEW BEST:: SOT 591118 SOS 404309 HAS SOPS 185630 HAS SOUS 213747 HAS SOUPS 163420 WITH SCORE 163824.309
AT ITER 1639 NEW BEST:: SOT 591102 SOS 404293 HAS SOPS 185566 HAS SOUS 213704 HAS SOUPS 163356 WITH SCORE 163760.293
AT ITER 1641 NEW BEST:: SOT 591539 SOS 405790 HAS SOPS 185525 HAS SOUS 214385 HAS SOUPS 163315 WITH SCORE 163720.79
AT ITER 1652 NEW BEST:: SOT 591230 SOS 405481 HAS SOPS 185565 HAS SOUS 214358 HAS SOUPS 163288 WITH SCORE 163693.481
AT ITER 1658 NEW BEST:: SOT 591166 SOS 405417 HAS SOPS 185469 HAS SOUS 214294 HAS SOUPS 163192 WITH SCORE 163597.417
AT ITER 1664 NEW BEST:: SOT 591182 SOS 405433 HAS SOPS 185334 HAS SOUS 214273 HAS SOUPS 163057 WITH SCORE 163462.433
AT ITER 1679 NEW BEST:: SOT 591182 SOS 405433 HAS SOPS 185289 HAS SOUS 214228 HAS SOUPS 163012 WITH SCORE 163417.433
AT ITER 1700 NEW BEST:: SOT 591397 SOS 407273 HAS SOPS 185269 HAS SOUS 214369 HAS SOUPS 162992 WITH SCORE 163399.273
AT ITER 1711 NEW BEST:: SOT 591360 SOS 407236 HAS SOPS 185269 HAS SOUS 214332 HAS SOUPS 162992 WITH SCORE 163399.236
AT ITER 1718 NEW BEST:: SOT 591352 SOS 407228 HAS SOPS 185053 HAS SOUS 214122 HAS SOUPS 162777 WITH SCORE 163184.228
AT ITER 1727 NEW BEST:: SOT 591618 SOS 409554 HAS SOPS 184991 HAS SOUS 214294 HAS SOUPS 162715 WITH SCORE 163124.554
AT ITER 1734 NEW BEST:: SOT 591858 SOS 409794 HAS SOPS 184771 HAS SOUS 214685 HAS SOUPS 162495 WITH SCORE 162904.794
AT ITER 1738 NEW BEST:: SOT 592054 SOS 409990 HAS SOPS 184757 HAS SOUS 214814 HAS SOUPS 162481 WITH SCORE 162890.99
AT ITER 1739 NEW BEST:: SOT 592054 SOS 409980 HAS SOPS 184757 HAS SOUS 214812 HAS SOUPS 162481 WITH SCORE 162890.98
AT ITER 1740 NEW BEST:: SOT 592372 SOS 411854 HAS SOPS 184694 HAS SOUS 215130 HAS SOUPS 162418 WITH SCORE 162829.854
AT ITER 1744 NEW BEST:: SOT 592365 SOS 411841 HAS SOPS 184680 HAS SOUS 215116 HAS SOUPS 162404 WITH SCORE 162815.841
AT ITER 1753 NEW BEST:: SOT 592830 SOS 412326 HAS SOPS 184572 HAS SOUS 215657 HAS SOUPS 162296 WITH SCORE 162708.326
AT ITER 1766 NEW BEST:: SOT 592782 SOS 412278 HAS SOPS 184476 HAS SOUS 215561 HAS SOUPS 162200 WITH SCORE 162612.278
AT ITER 1770 NEW BEST:: SOT 592652 SOS 411978 HAS SOPS 184476 HAS SOUS 215431 HAS SOUPS 162200 WITH SCORE 162611.978
AT ITER 1772 NEW BEST:: SOT 592667 SOS 411993 HAS SOPS 184397 HAS SOUS 215446 HAS SOUPS 162121 WITH SCORE 162532.993
AT ITER 1778 NEW BEST:: SOT 593673 SOS 401929 HAS SOPS 171843 HAS SOUS 213109 HAS SOUPS 159784 WITH SCORE 160185.929
AT ITER 1795 NEW BEST:: SOT 593785 SOS 402911 HAS SOPS 171811 HAS SOUS 213221 HAS SOUPS 159752 WITH SCORE 160154.911
AT ITER 1810 NEW BEST:: SOT 593877 SOS 402441 HAS SOPS 172051 HAS SOUS 212957 HAS SOUPS 159668 WITH SCORE 160070.441
AT ITER 1821 NEW BEST:: SOT 594159 SOS 405113 HAS SOPS 171958 HAS SOUS 213121 HAS SOUPS 159575 WITH SCORE 159980.113
AT ITER 1825 NEW BEST:: SOT 594166 SOS 405120 HAS SOPS 171867 HAS SOUS 213030 HAS SOUPS 159484 WITH SCORE 159889.12
AT ITER 1832 NEW BEST:: SOT 594166 SOS 405160 HAS SOPS 171856 HAS SOUS 213019 HAS SOUPS 159473 WITH SCORE 159878.16
AT ITER 1839 NEW BEST:: SOT 594185 SOS 405179 HAS SOPS 171849 HAS SOUS 213051 HAS SOUPS 159466 WITH SCORE 159871.179
AT ITER 1843 NEW BEST:: SOT 593644 SOS 404670 HAS SOPS 171532 HAS SOUS 212669 HAS SOUPS 159149 WITH SCORE 159553.67
AT ITER 1846 NEW BEST:: SOT 593644 SOS 404670 HAS SOPS 171492 HAS SOUS 212629 HAS SOUPS 159109 WITH SCORE 159513.67
AT ITER 1851 NEW BEST:: SOT 593612 SOS 404638 HAS SOPS 171428 HAS SOUS 212567 HAS SOUPS 159045 WITH SCORE 159449.638
AT ITER 1852 NEW BEST:: SOT 593604 SOS 404630 HAS SOPS 171412 HAS SOUS 212551 HAS SOUPS 159029 WITH SCORE 159433.63
AT ITER 1856 NEW BEST:: SOT 593548 SOS 404574 HAS SOPS 171239 HAS SOUS 212452 HAS SOUPS 158856 WITH SCORE 159260.574
AT ITER 1868 NEW BEST:: SOT 593400 SOS 404182 HAS SOPS 171239 HAS SOUS 212370 HAS SOUPS 158856 WITH SCORE 159260.182
AT ITER 1871 NEW BEST:: SOT 592858 SOS 403640 HAS SOPS 170697 HAS SOUS 211625 HAS SOUPS 158314 WITH SCORE 158717.64
AT ITER 1872 NEW BEST:: SOT 592966 SOS 404288 HAS SOPS 170589 HAS SOUS 211625 HAS SOUPS 158206 WITH SCORE 158610.288
AT ITER 1873 NEW BEST:: SOT 592902 SOS 404096 HAS SOPS 170557 HAS SOUS 211529 HAS SOUPS 158142 WITH SCORE 158546.096
AT ITER 1875 NEW BEST:: SOT 592905 SOS 404099 HAS SOPS 170532 HAS SOUS 211551 HAS SOUPS 158117 WITH SCORE 158521.099
AT ITER 1876 NEW BEST:: SOT 592884 SOS 404078 HAS SOPS 170532 HAS SOUS 211551 HAS SOUPS 158117 WITH SCORE 158521.078
AT ITER 1878 NEW BEST:: SOT 592664 SOS 403858 HAS SOPS 170532 HAS SOUS 211331 HAS SOUPS 158117 WITH SCORE 158520.858
AT ITER 1885 NEW BEST:: SOT 592649 SOS 403455 HAS SOPS 169945 HAS SOUS 211019 HAS SOUPS 157805 WITH SCORE 158208.455
AT ITER 1892 NEW BEST:: SOT 592571 SOS 403377 HAS SOPS 169688 HAS SOUS 210919 HAS SOUPS 157548 WITH SCORE 157951.377
AT ITER 1895 NEW BEST:: SOT 592545 SOS 403273 HAS SOPS 169740 HAS SOUS 210893 HAS SOUPS 157548 WITH SCORE 157951.273
AT ITER 1906 NEW BEST:: SOT 592537 SOS 403265 HAS SOPS 169739 HAS SOUS 210892 HAS SOUPS 157547 WITH SCORE 157950.265
AT ITER 1940 NEW BEST:: SOT 592360 SOS 403088 HAS SOPS 168893 HAS SOUS 210389 HAS SOUPS 156727 WITH SCORE 157130.088
AT ITER 1943 NEW BEST:: SOT 592371 SOS 403099 HAS SOPS 168891 HAS SOUS 210413 HAS SOUPS 156725 WITH SCORE 157128.099
AT ITER 1946 NEW BEST:: SOT 592411 SOS 403139 HAS SOPS 168889 HAS SOUS 210640 HAS SOUPS 156723 WITH SCORE 157126.139
AT ITER 1949 NEW BEST:: SOT 592240 SOS 402968 HAS SOPS 168526 HAS SOUS 210317 HAS SOUPS 156360 WITH SCORE 156762.968
AT ITER 1957 NEW BEST:: SOT 592144 SOS 402872 HAS SOPS 168216 HAS SOUS 210137 HAS SOUPS 156050 WITH SCORE 156452.872
AT ITER 1968 NEW BEST:: SOT 592068 SOS 402796 HAS SOPS 168087 HAS SOUS 210008 HAS SOUPS 155921 WITH SCORE 156323.796
AT ITER 1971 NEW BEST:: SOT 592018 SOS 402746 HAS SOPS 167987 HAS SOUS 209962 HAS SOUPS 155875 WITH SCORE 156277.746
AT ITER 1972 NEW BEST:: SOT 591955 SOS 402683 HAS SOPS 167861 HAS SOUS 209899 HAS SOUPS 155749 WITH SCORE 156151.683
AT ITER 1985 NEW BEST:: SOT 591955 SOS 402683 HAS SOPS 167828 HAS SOUS 209899 HAS SOUPS 155716 WITH SCORE 156118.683
AT ITER 2000 NEW BEST:: SOT 591711 SOS 402439 HAS SOPS 167067 HAS SOUS 209582 HAS SOUPS 154955 WITH SCORE 155357.439
AT ITER 2023 NEW BEST:: SOT 591218 SOS 401946 HAS SOPS 166757 HAS SOUS 209209 HAS SOUPS 154670 WITH SCORE 155071.946
AT ITER 2025 NEW BEST:: SOT 591167 SOS 401895 HAS SOPS 166655 HAS SOUS 209158 HAS SOUPS 154619 WITH SCORE 155020.895
AT ITER 2028 NEW BEST:: SOT 591068 SOS 401796 HAS SOPS 166420 HAS SOUS 208924 HAS SOUPS 154385 WITH SCORE 154786.796
AT ITER 2032 NEW BEST:: SOT 591154 SOS 401882 HAS SOPS 166391 HAS SOUS 208895 HAS SOUPS 154356 WITH SCORE 154757.882
AT ITER 2040 NEW BEST:: SOT 590921 SOS 401649 HAS SOPS 166167 HAS SOUS 208561 HAS SOUPS 154049 WITH SCORE 154450.649
AT ITER 2041 NEW BEST:: SOT 590876 SOS 401604 HAS SOPS 166102 HAS SOUS 208516 HAS SOUPS 153984 WITH SCORE 154385.604
AT ITER 2048 NEW BEST:: SOT 590846 SOS 401544 HAS SOPS 166012 HAS SOUS 208396 HAS SOUPS 153894 WITH SCORE 154295.544
AT ITER 2050 NEW BEST:: SOT 590784 SOS 401234 HAS SOPS 166012 HAS SOUS 208272 HAS SOUPS 153832 WITH SCORE 154233.234
AT ITER 2051 NEW BEST:: SOT 590486 SOS 400936 HAS SOPS 165912 HAS SOUS 208105 HAS SOUPS 153709 WITH SCORE 154109.936
AT ITER 2060 NEW BEST:: SOT 590473 SOS 400923 HAS SOPS 165912 HAS SOUS 208092 HAS SOUPS 153709 WITH SCORE 154109.923
AT ITER 2061 NEW BEST:: SOT 590518 SOS 400968 HAS SOPS 165606 HAS SOUS 207786 HAS SOUPS 153403 WITH SCORE 153803.968
AT ITER 2064 NEW BEST:: SOT 590638 SOS 401088 HAS SOPS 165566 HAS SOUS 207760 HAS SOUPS 153363 WITH SCORE 153764.088
AT ITER 2073 NEW BEST:: SOT 590346 SOS 400796 HAS SOPS 165566 HAS SOUS 207406 HAS SOUPS 153363 WITH SCORE 153763.796
AT ITER 2075 NEW BEST:: SOT 590286 SOS 400736 HAS SOPS 165566 HAS SOUS 207362 HAS SOUPS 153363 WITH SCORE 153763.736
AT ITER 2081 NEW BEST:: SOT 590308 SOS 400827 HAS SOPS 165519 HAS SOUS 207360 HAS SOUPS 153338 WITH SCORE 153738.827
AT ITER 2089 NEW BEST:: SOT 590312 SOS 400831 HAS SOPS 165517 HAS SOUS 207363 HAS SOUPS 153336 WITH SCORE 153736.831
AT ITER 2096 NEW BEST:: SOT 590346 SOS 400865 HAS SOPS 165067 HAS SOUS 207636 HAS SOUPS 152886 WITH SCORE 153286.865
AT ITER 2098 NEW BEST:: SOT 590406 SOS 400925 HAS SOPS 165065 HAS SOUS 207696 HAS SOUPS 152884 WITH SCORE 153284.925
AT ITER 2100 NEW BEST:: SOT 590312 SOS 400831 HAS SOPS 164763 HAS SOUS 207471 HAS SOUPS 152582 WITH SCORE 152982.831
AT ITER 2106 NEW BEST:: SOT 590272 SOS 400791 HAS SOPS 164683 HAS SOUS 207349 HAS SOUPS 152502 WITH SCORE 152902.791
AT ITER 2107 NEW BEST:: SOT 590249 SOS 400768 HAS SOPS 164637 HAS SOUS 207303 HAS SOUPS 152456 WITH SCORE 152856.768
AT ITER 2110 NEW BEST:: SOT 590249 SOS 399658 HAS SOPS 164637 HAS SOUS 207303 HAS SOUPS 152456 WITH SCORE 152855.658
AT ITER 2112 NEW BEST:: SOT 590249 SOS 399658 HAS SOPS 164689 HAS SOUS 207110 HAS SOUPS 152419 WITH SCORE 152818.658
AT ITER 2115 NEW BEST:: SOT 590486 SOS 399895 HAS SOPS 164653 HAS SOUS 207563 HAS SOUPS 152383 WITH SCORE 152782.895
AT ITER 2118 NEW BEST:: SOT 590339 SOS 399748 HAS SOPS 164356 HAS SOUS 207416 HAS SOUPS 152086 WITH SCORE 152485.748
AT ITER 2121 NEW BEST:: SOT 590555 SOS 400004 HAS SOPS 164230 HAS SOUS 207480 HAS SOUPS 151960 WITH SCORE 152360.004
AT ITER 2122 NEW BEST:: SOT 590429 SOS 399790 HAS SOPS 163726 HAS SOUS 207102 HAS SOUPS 151582 WITH SCORE 151981.79
AT ITER 2124 NEW BEST:: SOT 589608 SOS 398969 HAS SOPS 162741 HAS SOUS 207908 HAS SOUPS 150979 WITH SCORE 151377.969
AT ITER 2126 NEW BEST:: SOT 589760 SOS 399121 HAS SOPS 162675 HAS SOUS 207842 HAS SOUPS 150913 WITH SCORE 151312.121
AT ITER 2127 NEW BEST:: SOT 589728 SOS 399089 HAS SOPS 162520 HAS SOUS 207876 HAS SOUPS 150758 WITH SCORE 151157.089
AT ITER 2133 NEW BEST:: SOT 589514 SOS 398875 HAS SOPS 162030 HAS SOUS 207455 HAS SOUPS 150268 WITH SCORE 150666.875
AT ITER 2139 NEW BEST:: SOT 589476 SOS 398837 HAS SOPS 161478 HAS SOUS 207245 HAS SOUPS 149716 WITH SCORE 150114.837
AT ITER 2175 NEW BEST:: SOT 589476 SOS 398697 HAS SOPS 161478 HAS SOUS 207207 HAS SOUPS 149716 WITH SCORE 150114.697
AT ITER 2176 NEW BEST:: SOT 589355 SOS 397980 HAS SOPS 161741 HAS SOUS 206918 HAS SOUPS 149607 WITH SCORE 150004.98
AT ITER 2195 NEW BEST:: SOT 589353 SOS 397978 HAS SOPS 161739 HAS SOUS 206842 HAS SOUPS 149605 WITH SCORE 150002.978
AT ITER 2210 NEW BEST:: SOT 589307 SOS 397932 HAS SOPS 161647 HAS SOUS 206750 HAS SOUPS 149513 WITH SCORE 149910.932
AT ITER 2213 NEW BEST:: SOT 589151 SOS 397744 HAS SOPS 161335 HAS SOUS 206371 HAS SOUPS 149201 WITH SCORE 149598.744
AT ITER 2217 NEW BEST:: SOT 589040 SOS 397633 HAS SOPS 161113 HAS SOUS 206213 HAS SOUPS 148979 WITH SCORE 149376.633
AT ITER 2227 NEW BEST:: SOT 589039 SOS 397632 HAS SOPS 161098 HAS SOUS 206198 HAS SOUPS 148964 WITH SCORE 149361.632
AT ITER 2229 NEW BEST:: SOT 589035 SOS 397628 HAS SOPS 161098 HAS SOUS 206202 HAS SOUPS 148964 WITH SCORE 149361.628
AT ITER 2230 NEW BEST:: SOT 589115 SOS 397708 HAS SOPS 161028 HAS SOUS 206065 HAS SOUPS 148894 WITH SCORE 149291.708
AT ITER 2236 NEW BEST:: SOT 589115 SOS 397708 HAS SOPS 161020 HAS SOUS 206057 HAS SOUPS 148886 WITH SCORE 149283.708
AT ITER 2238 NEW BEST:: SOT 589117 SOS 397710 HAS SOPS 160979 HAS SOUS 206083 HAS SOUPS 148845 WITH SCORE 149242.71
AT ITER 2252 NEW BEST:: SOT 589049 SOS 397642 HAS SOPS 160843 HAS SOUS 206015 HAS SOUPS 148709 WITH SCORE 149106.642
AT ITER 2264 NEW BEST:: SOT 589043 SOS 397636 HAS SOPS 160843 HAS SOUS 206015 HAS SOUPS 148709 WITH SCORE 149106.636
AT ITER 2265 NEW BEST:: SOT 588964 SOS 397437 HAS SOPS 160829 HAS SOUS 205921 HAS SOUPS 148655 WITH SCORE 149052.437
AT ITER 2272 NEW BEST:: SOT 588964 SOS 397437 HAS SOPS 160812 HAS SOUS 205938 HAS SOUPS 148638 WITH SCORE 149035.437
AT ITER 2282 NEW BEST:: SOT 588778 SOS 397251 HAS SOPS 160812 HAS SOUS 205752 HAS SOUPS 148638 WITH SCORE 149035.251
AT ITER 2287 NEW BEST:: SOT 588699 SOS 396861 HAS SOPS 160733 HAS SOUS 205591 HAS SOUPS 148556 WITH SCORE 148952.861
AT ITER 2290 NEW BEST:: SOT 588853 SOS 397795 HAS SOPS 160693 HAS SOUS 205801 HAS SOUPS 148516 WITH SCORE 148913.795
AT ITER 2302 NEW BEST:: SOT 588723 SOS 397665 HAS SOPS 160693 HAS SOUS 205753 HAS SOUPS 148516 WITH SCORE 148913.665
AT ITER 2307 NEW BEST:: SOT 588723 SOS 397547 HAS SOPS 160570 HAS SOUS 205630 HAS SOUPS 148393 WITH SCORE 148790.547
AT ITER 2310 NEW BEST:: SOT 588625 SOS 397449 HAS SOPS 160472 HAS SOUS 205572 HAS SOUPS 148335 WITH SCORE 148732.449
AT ITER 2323 NEW BEST:: SOT 588566 SOS 397390 HAS SOPS 160367 HAS SOUS 205467 HAS SOUPS 148230 WITH SCORE 148627.39
AT ITER 2333 NEW BEST:: SOT 588530 SOS 397174 HAS SOPS 160367 HAS SOUS 205431 HAS SOUPS 148230 WITH SCORE 148627.174
AT ITER 2342 NEW BEST:: SOT 588565 SOS 397347 HAS SOPS 160332 HAS SOUS 205478 HAS SOUPS 148195 WITH SCORE 148592.347
AT ITER 2345 NEW BEST:: SOT 588558 SOS 397340 HAS SOPS 160323 HAS SOUS 205467 HAS SOUPS 148186 WITH SCORE 148583.34
AT ITER 2346 NEW BEST:: SOT 588461 SOS 397243 HAS SOPS 160129 HAS SOUS 205375 HAS SOUPS 147992 WITH SCORE 148389.243
AT ITER 2348 NEW BEST:: SOT 588384 SOS 397166 HAS SOPS 159849 HAS SOUS 205095 HAS SOUPS 147712 WITH SCORE 148109.166
AT ITER 2363 NEW BEST:: SOT 588397 SOS 397179 HAS SOPS 159794 HAS SOUS 205056 HAS SOUPS 147657 WITH SCORE 148054.179
AT ITER 2371 NEW BEST:: SOT 588191 SOS 396973 HAS SOPS 159174 HAS SOUS 204664 HAS SOUPS 147037 WITH SCORE 147433.973
AT ITER 2381 NEW BEST:: SOT 588255 SOS 397037 HAS SOPS 159068 HAS SOUS 204772 HAS SOUPS 146931 WITH SCORE 147328.037
AT ITER 2389 NEW BEST:: SOT 588251 SOS 396493 HAS SOPS 159064 HAS SOUS 204400 HAS SOUPS 146757 WITH SCORE 147153.493
AT ITER 2391 NEW BEST:: SOT 588245 SOS 396487 HAS SOPS 159064 HAS SOUS 204400 HAS SOUPS 146757 WITH SCORE 147153.487
AT ITER 2425 NEW BEST:: SOT 588200 SOS 396442 HAS SOPS 158974 HAS SOUS 204310 HAS SOUPS 146667 WITH SCORE 147063.442
AT ITER 2430 NEW BEST:: SOT 588200 SOS 396352 HAS SOPS 158974 HAS SOUS 204307 HAS SOUPS 146667 WITH SCORE 147063.352
AT ITER 2450 NEW BEST:: SOT 588176 SOS 396328 HAS SOPS 158950 HAS SOUS 204307 HAS SOUPS 146667 WITH SCORE 147063.328
AT ITER 2463 NEW BEST:: SOT 588347 SOS 397719 HAS SOPS 158926 HAS SOUS 204492 HAS SOUPS 146643 WITH SCORE 147040.719
AT ITER 2464 NEW BEST:: SOT 588666 SOS 398328 HAS SOPS 158842 HAS SOUS 204558 HAS SOUPS 146559 WITH SCORE 146957.328
AT ITER 2487 NEW BEST:: SOT 588576 SOS 398238 HAS SOPS 158662 HAS SOUS 204530 HAS SOUPS 146379 WITH SCORE 146777.238
AT ITER 2488 NEW BEST:: SOT 588576 SOS 398219 HAS SOPS 158662 HAS SOUS 204530 HAS SOUPS 146379 WITH SCORE 146777.219
AT ITER 2490 NEW BEST:: SOT 588509 SOS 398152 HAS SOPS 158582 HAS SOUS 204450 HAS SOUPS 146299 WITH SCORE 146697.152
AT ITER 2492 NEW BEST:: SOT 588542 SOS 398350 HAS SOPS 158549 HAS SOUS 204450 HAS SOUPS 146266 WITH SCORE 146664.35
AT ITER 2493 NEW BEST:: SOT 588546 SOS 398354 HAS SOPS 158411 HAS SOUS 204312 HAS SOUPS 146128 WITH SCORE 146526.354
AT ITER 2498 NEW BEST:: SOT 588499 SOS 398307 HAS SOPS 158364 HAS SOUS 204265 HAS SOUPS 146081 WITH SCORE 146479.307
AT ITER 2501 NEW BEST:: SOT 588500 SOS 398308 HAS SOPS 158253 HAS SOUS 204140 HAS SOUPS 146019 WITH SCORE 146417.308
AT ITER 2503 NEW BEST:: SOT 588471 SOS 398279 HAS SOPS 158216 HAS SOUS 204103 HAS SOUPS 145982 WITH SCORE 146380.279
AT ITER 2505 NEW BEST:: SOT 588455 SOS 398263 HAS SOPS 158184 HAS SOUS 204087 HAS SOUPS 145950 WITH SCORE 146348.263
AT ITER 2506 NEW BEST:: SOT 589508 SOS 399145 HAS SOPS 157740 HAS SOUS 203734 HAS SOUPS 145567 WITH SCORE 145966.145
AT ITER 2508 NEW BEST:: SOT 589590 SOS 399637 HAS SOPS 157658 HAS SOUS 203734 HAS SOUPS 145485 WITH SCORE 145884.637
AT ITER 2515 NEW BEST:: SOT 589590 SOS 399377 HAS SOPS 157658 HAS SOUS 203734 HAS SOUPS 145485 WITH SCORE 145884.377
AT ITER 2517 NEW BEST:: SOT 589527 SOS 399314 HAS SOPS 157658 HAS SOUS 203734 HAS SOUPS 145485 WITH SCORE 145884.314
AT ITER 2519 NEW BEST:: SOT 589541 SOS 399328 HAS SOPS 157390 HAS SOUS 203466 HAS SOUPS 145217 WITH SCORE 145616.328
AT ITER 2526 NEW BEST:: SOT 589450 SOS 399237 HAS SOPS 157208 HAS SOUS 203296 HAS SOUPS 145035 WITH SCORE 145434.237
AT ITER 2546 NEW BEST:: SOT 589468 SOS 399255 HAS SOPS 157178 HAS SOUS 203314 HAS SOUPS 145005 WITH SCORE 145404.255
AT ITER 2556 NEW BEST:: SOT 589393 SOS 399180 HAS SOPS 157178 HAS SOUS 203314 HAS SOUPS 145005 WITH SCORE 145404.18
AT ITER 2560 NEW BEST:: SOT 589392 SOS 399184 HAS SOPS 157176 HAS SOUS 203312 HAS SOUPS 145003 WITH SCORE 145402.184
AT ITER 2562 NEW BEST:: SOT 589207 SOS 398950 HAS SOPS 156806 HAS SOUS 202942 HAS SOUPS 144633 WITH SCORE 145031.95
AT ITER 2575 NEW BEST:: SOT 589137 SOS 398880 HAS SOPS 156736 HAS SOUS 202872 HAS SOUPS 144563 WITH SCORE 144961.88
AT ITER 2581 NEW BEST:: SOT 588919 SOS 398372 HAS SOPS 156736 HAS SOUS 202722 HAS SOUPS 144563 WITH SCORE 144961.372
AT ITER 2662 NEW BEST:: SOT 588921 SOS 398374 HAS SOPS 156326 HAS SOUS 202532 HAS SOUPS 144153 WITH SCORE 144551.374
AT ITER 2672 NEW BEST:: SOT 588871 SOS 398324 HAS SOPS 156282 HAS SOUS 202482 HAS SOUPS 144109 WITH SCORE 144507.324
AT ITER 2674 NEW BEST:: SOT 588796 SOS 398249 HAS SOPS 156010 HAS SOUS 202407 HAS SOUPS 143837 WITH SCORE 144235.249
AT ITER 2675 NEW BEST:: SOT 588793 SOS 398246 HAS SOPS 156007 HAS SOUS 202404 HAS SOUPS 143834 WITH SCORE 144232.246
AT ITER 2689 NEW BEST:: SOT 588763 SOS 398216 HAS SOPS 155977 HAS SOUS 202374 HAS SOUPS 143804 WITH SCORE 144202.216
AT ITER 2700 NEW BEST:: SOT 588605 SOS 398058 HAS SOPS 155791 HAS SOUS 202388 HAS SOUPS 143618 WITH SCORE 144016.058
AT ITER 2711 NEW BEST:: SOT 588829 SOS 398282 HAS SOPS 155727 HAS SOUS 202616 HAS SOUPS 143554 WITH SCORE 143952.282
AT ITER 2713 NEW BEST:: SOT 588792 SOS 398245 HAS SOPS 155690 HAS SOUS 202443 HAS SOUPS 143517 WITH SCORE 143915.245
AT ITER 2719 NEW BEST:: SOT 588776 SOS 398229 HAS SOPS 155690 HAS SOUS 202443 HAS SOUPS 143517 WITH SCORE 143915.229
AT ITER 2743 NEW BEST:: SOT 588891 SOS 398605 HAS SOPS 155375 HAS SOUS 202582 HAS SOUPS 143477 WITH SCORE 143875.605
AT ITER 2745 NEW BEST:: SOT 588604 SOS 397924 HAS SOPS 155702 HAS SOUS 202233 HAS SOUPS 143282 WITH SCORE 143679.924
AT ITER 2761 NEW BEST:: SOT 588550 SOS 397870 HAS SOPS 155594 HAS SOUS 202184 HAS SOUPS 143174 WITH SCORE 143571.87
AT ITER 2780 NEW BEST:: SOT 588549 SOS 397869 HAS SOPS 155592 HAS SOUS 202183 HAS SOUPS 143172 WITH SCORE 143569.869
AT ITER 2794 NEW BEST:: SOT 588420 SOS 397740 HAS SOPS 155277 HAS SOUS 201967 HAS SOUPS 142857 WITH SCORE 143254.74
AT ITER 2800 NEW BEST:: SOT 588374 SOS 397694 HAS SOPS 155185 HAS SOUS 201521 HAS SOUPS 142765 WITH SCORE 143162.694
AT ITER 2814 NEW BEST:: SOT 588374 SOS 397694 HAS SOPS 155025 HAS SOUS 201361 HAS SOUPS 142605 WITH SCORE 143002.694
AT ITER 2820 NEW BEST:: SOT 588372 SOS 397680 HAS SOPS 154856 HAS SOUS 201194 HAS SOUPS 142438 WITH SCORE 142835.68
AT ITER 2833 NEW BEST:: SOT 588340 SOS 397648 HAS SOPS 154792 HAS SOUS 201153 HAS SOUPS 142374 WITH SCORE 142771.648
AT ITER 2847 NEW BEST:: SOT 588354 SOS 397662 HAS SOPS 154788 HAS SOUS 201136 HAS SOUPS 142357 WITH SCORE 142754.662
AT ITER 2856 NEW BEST:: SOT 587990 SOS 397254 HAS SOPS 154060 HAS SOUS 200849 HAS SOUPS 141629 WITH SCORE 142026.254
AT ITER 2863 NEW BEST:: SOT 587953 SOS 397217 HAS SOPS 153986 HAS SOUS 200775 HAS SOUPS 141555 WITH SCORE 141952.217
AT ITER 2887 NEW BEST:: SOT 587941 SOS 397205 HAS SOPS 153694 HAS SOUS 200591 HAS SOUPS 141263 WITH SCORE 141660.205
AT ITER 2888 NEW BEST:: SOT 587920 SOS 397184 HAS SOPS 153509 HAS SOUS 200520 HAS SOUPS 141078 WITH SCORE 141475.184
AT ITER 2891 NEW BEST:: SOT 587988 SOS 397252 HAS SOPS 153432 HAS SOUS 200477 HAS SOUPS 141001 WITH SCORE 141398.252
AT ITER 2906 NEW BEST:: SOT 588036 SOS 397300 HAS SOPS 153352 HAS SOUS 200434 HAS SOUPS 140921 WITH SCORE 141318.3
AT ITER 2926 NEW BEST:: SOT 588065 SOS 397443 HAS SOPS 153294 HAS SOUS 200408 HAS SOUPS 140863 WITH SCORE 141260.443
AT ITER 2939 NEW BEST:: SOT 588065 SOS 396748 HAS SOPS 153294 HAS SOUS 200366 HAS SOUPS 140863 WITH SCORE 141259.748
AT ITER 2945 NEW BEST:: SOT 588181 SOS 397180 HAS SOPS 153210 HAS SOUS 200486 HAS SOUPS 140858 WITH SCORE 141255.18
AT ITER 2951 NEW BEST:: SOT 588109 SOS 396874 HAS SOPS 153210 HAS SOUS 200414 HAS SOUPS 140858 WITH SCORE 141254.874
AT ITER 2954 NEW BEST:: SOT 588105 SOS 396870 HAS SOPS 153202 HAS SOUS 200410 HAS SOUPS 140850 WITH SCORE 141246.87
AT ITER 3006 NEW BEST:: SOT 588122 SOS 396887 HAS SOPS 153200 HAS SOUS 200408 HAS SOUPS 140848 WITH SCORE 141244.887
AT ITER 3007 NEW BEST:: SOT 588064 SOS 396829 HAS SOPS 153199 HAS SOUS 200420 HAS SOUPS 140847 WITH SCORE 141243.829
AT ITER 3017 NEW BEST:: SOT 588105 SOS 396870 HAS SOPS 153093 HAS SOUS 200504 HAS SOUPS 140741 WITH SCORE 141137.87
AT ITER 3028 NEW BEST:: SOT 588135 SOS 396900 HAS SOPS 153063 HAS SOUS 200474 HAS SOUPS 140711 WITH SCORE 141107.9
AT ITER 3036 NEW BEST:: SOT 588140 SOS 397245 HAS SOPS 152903 HAS SOUS 200513 HAS SOUPS 140636 WITH SCORE 141033.245
AT ITER 3073 NEW BEST:: SOT 588009 SOS 397043 HAS SOPS 152672 HAS SOUS 200282 HAS SOUPS 140405 WITH SCORE 140802.043
AT ITER 3079 NEW BEST:: SOT 588009 SOS 397043 HAS SOPS 152588 HAS SOUS 200282 HAS SOUPS 140321 WITH SCORE 140718.043
AT ITER 3091 NEW BEST:: SOT 588050 SOS 397123 HAS SOPS 152572 HAS SOUS 200266 HAS SOUPS 140305 WITH SCORE 140702.123
AT ITER 3101 NEW BEST:: SOT 587931 SOS 396614 HAS SOPS 152572 HAS SOUS 200147 HAS SOUPS 140305 WITH SCORE 140701.614
AT ITER 3102 NEW BEST:: SOT 587931 SOS 395564 HAS SOPS 152572 HAS SOUS 200147 HAS SOUPS 140305 WITH SCORE 140700.564
AT ITER 3110 NEW BEST:: SOT 587883 SOS 395516 HAS SOPS 152572 HAS SOUS 200147 HAS SOUPS 140305 WITH SCORE 140700.516
AT ITER 3112 NEW BEST:: SOT 587927 SOS 395560 HAS SOPS 152570 HAS SOUS 200154 HAS SOUPS 140303 WITH SCORE 140698.56
AT ITER 3122 NEW BEST:: SOT 587904 SOS 395537 HAS SOPS 152508 HAS SOUS 200131 HAS SOUPS 140241 WITH SCORE 140636.537
AT ITER 3139 NEW BEST:: SOT 587647 SOS 395280 HAS SOPS 151994 HAS SOUS 199996 HAS SOUPS 139727 WITH SCORE 140122.28
AT ITER 3140 NEW BEST:: SOT 587395 SOS 395028 HAS SOPS 151835 HAS SOUS 199544 HAS SOUPS 139568 WITH SCORE 139963.028
AT ITER 3155 NEW BEST:: SOT 587257 SOS 394598 HAS SOPS 151904 HAS SOUS 199404 HAS SOUPS 139521 WITH SCORE 139915.598
AT ITER 3167 NEW BEST:: SOT 587293 SOS 394657 HAS SOPS 151764 HAS SOUS 199369 HAS SOUPS 139381 WITH SCORE 139775.657
AT ITER 3185 NEW BEST:: SOT 587557 SOS 396581 HAS SOPS 151636 HAS SOUS 199555 HAS SOUPS 139253 WITH SCORE 139649.581
AT ITER 3186 NEW BEST:: SOT 587637 SOS 396661 HAS SOPS 151571 HAS SOUS 199794 HAS SOUPS 139188 WITH SCORE 139584.661
AT ITER 3189 NEW BEST:: SOT 587578 SOS 396602 HAS SOPS 151453 HAS SOUS 199756 HAS SOUPS 139070 WITH SCORE 139466.602
AT ITER 3192 NEW BEST:: SOT 587761 SOS 396785 HAS SOPS 151438 HAS SOUS 199741 HAS SOUPS 139055 WITH SCORE 139451.785
AT ITER 3206 NEW BEST:: SOT 587737 SOS 396761 HAS SOPS 151390 HAS SOUS 199693 HAS SOUPS 139007 WITH SCORE 139403.761
AT ITER 3210 NEW BEST:: SOT 587877 SOS 396922 HAS SOPS 151376 HAS SOUS 199679 HAS SOUPS 138993 WITH SCORE 139389.922
AT ITER 3214 NEW BEST:: SOT 587951 SOS 397366 HAS SOPS 151302 HAS SOUS 199679 HAS SOUPS 138919 WITH SCORE 139316.366
AT ITER 3222 NEW BEST:: SOT 588090 SOS 397505 HAS SOPS 151274 HAS SOUS 199804 HAS SOUPS 138891 WITH SCORE 139288.505
AT ITER 3225 NEW BEST:: SOT 588393 SOS 397928 HAS SOPS 151219 HAS SOUS 199834 HAS SOUPS 138836 WITH SCORE 139233.928
AT ITER 3238 NEW BEST:: SOT 588294 SOS 397829 HAS SOPS 151120 HAS SOUS 199651 HAS SOUPS 138737 WITH SCORE 139134.829
AT ITER 3245 NEW BEST:: SOT 588212 SOS 397747 HAS SOPS 151030 HAS SOUS 199421 HAS SOUPS 138647 WITH SCORE 139044.747
AT ITER 3265 NEW BEST:: SOT 588236 SOS 397299 HAS SOPS 151064 HAS SOUS 199186 HAS SOUPS 138618 WITH SCORE 139015.299
AT ITER 3278 NEW BEST:: SOT 588234 SOS 397297 HAS SOPS 151046 HAS SOUS 199184 HAS SOUPS 138616 WITH SCORE 139013.297
AT ITER 3294 NEW BEST:: SOT 588217 SOS 397280 HAS SOPS 151003 HAS SOUS 199154 HAS SOUPS 138586 WITH SCORE 138983.28
AT ITER 3310 NEW BEST:: SOT 588196 SOS 397259 HAS SOPS 150961 HAS SOUS 199397 HAS SOUPS 138544 WITH SCORE 138941.259
AT ITER 3327 NEW BEST:: SOT 588475 SOS 398108 HAS SOPS 150682 HAS SOUS 199676 HAS SOUPS 138265 WITH SCORE 138663.108
AT ITER 3337 NEW BEST:: SOT 588382 SOS 398017 HAS SOPS 150589 HAS SOUS 199583 HAS SOUPS 138172 WITH SCORE 138570.017
AT ITER 3339 NEW BEST:: SOT 588380 SOS 398015 HAS SOPS 150585 HAS SOUS 199581 HAS SOUPS 138168 WITH SCORE 138566.015
AT ITER 3340 NEW BEST:: SOT 588392 SOS 398027 HAS SOPS 150500 HAS SOUS 199579 HAS SOUPS 138083 WITH SCORE 138481.027
AT ITER 3373 NEW BEST:: SOT 588312 SOS 397947 HAS SOPS 150340 HAS SOUS 199499 HAS SOUPS 137923 WITH SCORE 138320.947
AT ITER 3375 NEW BEST:: SOT 588186 SOS 397449 HAS SOPS 150352 HAS SOUS 199297 HAS SOUPS 137814 WITH SCORE 138211.449
AT ITER 3378 NEW BEST:: SOT 588186 SOS 397449 HAS SOPS 150316 HAS SOUS 199288 HAS SOUPS 137778 WITH SCORE 138175.449
AT ITER 3383 NEW BEST:: SOT 588238 SOS 397501 HAS SOPS 150308 HAS SOUS 199280 HAS SOUPS 137770 WITH SCORE 138167.501
AT ITER 3407 NEW BEST:: SOT 588154 SOS 397253 HAS SOPS 150266 HAS SOUS 199154 HAS SOUPS 137728 WITH SCORE 138125.253
AT ITER 3420 NEW BEST:: SOT 588044 SOS 397143 HAS SOPS 150178 HAS SOUS 199044 HAS SOUPS 137640 WITH SCORE 138037.143
AT ITER 3436 NEW BEST:: SOT 588035 SOS 397134 HAS SOPS 150160 HAS SOUS 199035 HAS SOUPS 137622 WITH SCORE 138019.134
AT ITER 3449 NEW BEST:: SOT 588207 SOS 397306 HAS SOPS 149816 HAS SOUS 198980 HAS SOUPS 137278 WITH SCORE 137675.306
AT ITER 3479 NEW BEST:: SOT 588308 SOS 397407 HAS SOPS 149744 HAS SOUS 198910 HAS SOUPS 137206 WITH SCORE 137603.407
AT ITER 3486 NEW BEST:: SOT 587684 SOS 396806 HAS SOPS 149232 HAS SOUS 198309 HAS SOUPS 136694 WITH SCORE 137090.806
AT ITER 3492 NEW BEST:: SOT 587881 SOS 397003 HAS SOPS 148938 HAS SOUS 198051 HAS SOUPS 136436 WITH SCORE 136833.003
AT ITER 3496 NEW BEST:: SOT 587865 SOS 396987 HAS SOPS 148886 HAS SOUS 198117 HAS SOUPS 136384 WITH SCORE 136780.987
AT ITER 3509 NEW BEST:: SOT 587727 SOS 396849 HAS SOPS 148391 HAS SOUS 197906 HAS SOUPS 135952 WITH SCORE 136348.849
AT ITER 3525 NEW BEST:: SOT 587692 SOS 396814 HAS SOPS 148343 HAS SOUS 197893 HAS SOUPS 135926 WITH SCORE 136322.814
AT ITER 3531 NEW BEST:: SOT 587704 SOS 396986 HAS SOPS 148319 HAS SOUS 197885 HAS SOUPS 135902 WITH SCORE 136298.986
AT ITER 3536 NEW BEST:: SOT 587699 SOS 396981 HAS SOPS 148314 HAS SOUS 197880 HAS SOUPS 135897 WITH SCORE 136293.981
AT ITER 3538 NEW BEST:: SOT 587699 SOS 396981 HAS SOPS 148300 HAS SOUS 197873 HAS SOUPS 135883 WITH SCORE 136279.981
AT ITER 3543 NEW BEST:: SOT 587678 SOS 396960 HAS SOPS 148297 HAS SOUS 197891 HAS SOUPS 135880 WITH SCORE 136276.96
AT ITER 3552 NEW BEST:: SOT 587115 SOS 396397 HAS SOPS 147659 HAS SOUS 197452 HAS SOUPS 135242 WITH SCORE 135638.397
AT ITER 3554 NEW BEST:: SOT 587039 SOS 396321 HAS SOPS 147507 HAS SOUS 197365 HAS SOUPS 135090 WITH SCORE 135486.321
AT ITER 3565 NEW BEST:: SOT 587039 SOS 396266 HAS SOPS 147507 HAS SOUS 197354 HAS SOUPS 135090 WITH SCORE 135486.266
AT ITER 3566 NEW BEST:: SOT 586948 SOS 396175 HAS SOPS 147325 HAS SOUS 197182 HAS SOUPS 134918 WITH SCORE 135314.175
AT ITER 3571 NEW BEST:: SOT 586948 SOS 396175 HAS SOPS 147301 HAS SOUS 197158 HAS SOUPS 134894 WITH SCORE 135290.175
AT ITER 3593 NEW BEST:: SOT 586882 SOS 395699 HAS SOPS 147329 HAS SOUS 197026 HAS SOUPS 134886 WITH SCORE 135281.699
AT ITER 3595 NEW BEST:: SOT 586879 SOS 395696 HAS SOPS 147329 HAS SOUS 197020 HAS SOUPS 134886 WITH SCORE 135281.696
AT ITER 3602 NEW BEST:: SOT 586827 SOS 395644 HAS SOPS 147225 HAS SOUS 197010 HAS SOUPS 134782 WITH SCORE 135177.644
AT ITER 3605 NEW BEST:: SOT 586943 SOS 395760 HAS SOPS 147221 HAS SOUS 197124 HAS SOUPS 134778 WITH SCORE 135173.76
AT ITER 3607 NEW BEST:: SOT 587184 SOS 397933 HAS SOPS 147099 HAS SOUS 197360 HAS SOUPS 134656 WITH SCORE 135053.933
AT ITER 3616 NEW BEST:: SOT 586852 SOS 396940 HAS SOPS 146950 HAS SOUS 196875 HAS SOUPS 134406 WITH SCORE 134802.94
AT ITER 3626 NEW BEST:: SOT 586837 SOS 396925 HAS SOPS 146920 HAS SOUS 196776 HAS SOUPS 134376 WITH SCORE 134772.925
AT ITER 3641 NEW BEST:: SOT 587053 SOS 397626 HAS SOPS 146902 HAS SOUS 196868 HAS SOUPS 134358 WITH SCORE 134755.626
AT ITER 3644 NEW BEST:: SOT 586478 SOS 397265 HAS SOPS 147053 HAS SOUS 196848 HAS SOUPS 134338 WITH SCORE 134735.265
AT ITER 3649 NEW BEST:: SOT 586450 SOS 397220 HAS SOPS 147023 HAS SOUS 196818 HAS SOUPS 134308 WITH SCORE 134705.22
AT ITER 3658 NEW BEST:: SOT 586324 SOS 397094 HAS SOPS 147023 HAS SOUS 196818 HAS SOUPS 134308 WITH SCORE 134705.094
AT ITER 3664 NEW BEST:: SOT 586222 SOS 396992 HAS SOPS 146966 HAS SOUS 196784 HAS SOUPS 134274 WITH SCORE 134670.992
AT ITER 3667 NEW BEST:: SOT 586232 SOS 397002 HAS SOPS 146944 HAS SOUS 196650 HAS SOUPS 134163 WITH SCORE 134560.002
AT ITER 3671 NEW BEST:: SOT 586214 SOS 396984 HAS SOPS 146908 HAS SOUS 196614 HAS SOUPS 134127 WITH SCORE 134523.984
AT ITER 3682 NEW BEST:: SOT 586214 SOS 396984 HAS SOPS 146869 HAS SOUS 196575 HAS SOUPS 134088 WITH SCORE 134484.984
AT ITER 3693 NEW BEST:: SOT 586232 SOS 398638 HAS SOPS 146380 HAS SOUS 196938 HAS SOUPS 133954 WITH SCORE 134352.638
AT ITER 3712 NEW BEST:: SOT 586165 SOS 398472 HAS SOPS 146368 HAS SOUS 196889 HAS SOUPS 133918 WITH SCORE 134316.472
AT ITER 3719 NEW BEST:: SOT 586162 SOS 398469 HAS SOPS 146365 HAS SOUS 196886 HAS SOUPS 133915 WITH SCORE 134313.469
AT ITER 3730 NEW BEST:: SOT 586149 SOS 398456 HAS SOPS 146326 HAS SOUS 196860 HAS SOUPS 133876 WITH SCORE 134274.456
AT ITER 3734 NEW BEST:: SOT 585826 SOS 398133 HAS SOPS 146233 HAS SOUS 196573 HAS SOUPS 133817 WITH SCORE 134215.133
AT ITER 3747 NEW BEST:: SOT 586024 SOS 398331 HAS SOPS 146208 HAS SOUS 196827 HAS SOUPS 133792 WITH SCORE 134190.331
AT ITER 3751 NEW BEST:: SOT 585956 SOS 397746 HAS SOPS 146208 HAS SOUS 196759 HAS SOUPS 133792 WITH SCORE 134189.746
AT ITER 3754 NEW BEST:: SOT 585984 SOS 397774 HAS SOPS 145908 HAS SOUS 196470 HAS SOUPS 133492 WITH SCORE 133889.774
AT ITER 3767 NEW BEST:: SOT 585938 SOS 397728 HAS SOPS 145816 HAS SOUS 196422 HAS SOUPS 133444 WITH SCORE 133841.728
AT ITER 3823 NEW BEST:: SOT 585952 SOS 389802 HAS SOPS 138052 HAS SOUS 196182 HAS SOUPS 133204 WITH SCORE 133593.802
AT ITER 3837 NEW BEST:: SOT 585950 SOS 389792 HAS SOPS 138052 HAS SOUS 196180 HAS SOUPS 133204 WITH SCORE 133593.792
AT ITER 3856 NEW BEST:: SOT 585928 SOS 389770 HAS SOPS 137918 HAS SOUS 196152 HAS SOUPS 133070 WITH SCORE 133459.77
AT ITER 3862 NEW BEST:: SOT 585922 SOS 389746 HAS SOPS 137918 HAS SOUS 196146 HAS SOUPS 133070 WITH SCORE 133459.746
AT ITER 3889 NEW BEST:: SOT 585695 SOS 389216 HAS SOPS 137691 HAS SOUS 195782 HAS SOUPS 132834 WITH SCORE 133223.216
AT ITER 3916 NEW BEST:: SOT 585691 SOS 389208 HAS SOPS 137679 HAS SOUS 195774 HAS SOUPS 132822 WITH SCORE 133211.208
AT ITER 3917 NEW BEST:: SOT 585661 SOS 389178 HAS SOPS 137649 HAS SOUS 195744 HAS SOUPS 132792 WITH SCORE 133181.178
AT ITER 3920 NEW BEST:: SOT 585966 SOS 389483 HAS SOPS 137419 HAS SOUS 196049 HAS SOUPS 132562 WITH SCORE 132951.483
AT ITER 3935 NEW BEST:: SOT 585970 SOS 389487 HAS SOPS 137415 HAS SOUS 196053 HAS SOUPS 132558 WITH SCORE 132947.487
AT ITER 3939 NEW BEST:: SOT 585970 SOS 389487 HAS SOPS 137406 HAS SOUS 196053 HAS SOUPS 132549 WITH SCORE 132938.487
AT ITER 3940 NEW BEST:: SOT 585904 SOS 389421 HAS SOPS 137362 HAS SOUS 195946 HAS SOUPS 132505 WITH SCORE 132894.421
AT ITER 3941 NEW BEST:: SOT 585853 SOS 389370 HAS SOPS 137362 HAS SOUS 195946 HAS SOUPS 132505 WITH SCORE 132894.37
AT ITER 3949 NEW BEST:: SOT 585793 SOS 389310 HAS SOPS 137222 HAS SOUS 195866 HAS SOUPS 132365 WITH SCORE 132754.31
AT ITER 3997 NEW BEST:: SOT 585757 SOS 388986 HAS SOPS 137258 HAS SOUS 195794 HAS SOUPS 132365 WITH SCORE 132753.986
AT ITER 3999 NEW BEST:: SOT 585946 SOS 389175 HAS SOPS 137146 HAS SOUS 195755 HAS SOUPS 132253 WITH SCORE 132642.175
AT ITER 4007 NEW BEST:: SOT 585909 SOS 389138 HAS SOPS 137072 HAS SOUS 195681 HAS SOUPS 132179 WITH SCORE 132568.138
AT ITER 4008 NEW BEST:: SOT 585867 SOS 389096 HAS SOPS 137030 HAS SOUS 195597 HAS SOUPS 132159 WITH SCORE 132548.096
AT ITER 4051 NEW BEST:: SOT 585861 SOS 389084 HAS SOPS 137024 HAS SOUS 195591 HAS SOUPS 132153 WITH SCORE 132542.084
AT ITER 4059 NEW BEST:: SOT 585818 SOS 389077 HAS SOPS 136938 HAS SOUS 195577 HAS SOUPS 132103 WITH SCORE 132492.077
AT ITER 4072 NEW BEST:: SOT 585818 SOS 389077 HAS SOPS 136875 HAS SOUS 195514 HAS SOUPS 132040 WITH SCORE 132429.077
AT ITER 4073 NEW BEST:: SOT 585814 SOS 389073 HAS SOPS 136773 HAS SOUS 195412 HAS SOUPS 131938 WITH SCORE 132327.073
AT ITER 4082 NEW BEST:: SOT 586020 SOS 389279 HAS SOPS 136819 HAS SOUS 195327 HAS SOUPS 131884 WITH SCORE 132273.279
AT ITER 4089 NEW BEST:: SOT 586028 SOS 389287 HAS SOPS 136786 HAS SOUS 195280 HAS SOUPS 131848 WITH SCORE 132237.287
AT ITER 4094 NEW BEST:: SOT 585934 SOS 389087 HAS SOPS 136771 HAS SOUS 195261 HAS SOUPS 131831 WITH SCORE 132220.087
AT ITER 4113 NEW BEST:: SOT 585879 SOS 389032 HAS SOPS 136716 HAS SOUS 195261 HAS SOUPS 131831 WITH SCORE 132220.032
AT ITER 4115 NEW BEST:: SOT 585838 SOS 388991 HAS SOPS 136634 HAS SOUS 195220 HAS SOUPS 131749 WITH SCORE 132137.991
AT ITER 4122 NEW BEST:: SOT 585788 SOS 388941 HAS SOPS 136534 HAS SOUS 195132 HAS SOUPS 131649 WITH SCORE 132037.941
AT ITER 4143 NEW BEST:: SOT 585816 SOS 388969 HAS SOPS 136512 HAS SOUS 195071 HAS SOUPS 131627 WITH SCORE 132015.969
AT ITER 4145 NEW BEST:: SOT 585769 SOS 388922 HAS SOPS 136512 HAS SOUS 195071 HAS SOUPS 131627 WITH SCORE 132015.922
AT ITER 4146 NEW BEST:: SOT 585800 SOS 388953 HAS SOPS 136498 HAS SOUS 195057 HAS SOUPS 131613 WITH SCORE 132001.953
AT ITER 4147 NEW BEST:: SOT 585705 SOS 388858 HAS SOPS 136308 HAS SOUS 194867 HAS SOUPS 131423 WITH SCORE 131811.858
AT ITER 4160 NEW BEST:: SOT 585840 SOS 389473 HAS SOPS 136290 HAS SOUS 195040 HAS SOUPS 131405 WITH SCORE 131794.473
AT ITER 4162 NEW BEST:: SOT 585822 SOS 389455 HAS SOPS 136254 HAS SOUS 195097 HAS SOUPS 131369 WITH SCORE 131758.455
AT ITER 4198 NEW BEST:: SOT 585880 SOS 389513 HAS SOPS 136100 HAS SOUS 194943 HAS SOUPS 131215 WITH SCORE 131604.513
AT ITER 4220 NEW BEST:: SOT 585684 SOS 389317 HAS SOPS 135708 HAS SOUS 194551 HAS SOUPS 130823 WITH SCORE 131212.317
AT ITER 4246 NEW BEST:: SOT 585684 SOS 389317 HAS SOPS 135693 HAS SOUS 194536 HAS SOUPS 130808 WITH SCORE 131197.317
AT ITER 4255 NEW BEST:: SOT 585681 SOS 389314 HAS SOPS 135690 HAS SOUS 194530 HAS SOUPS 130805 WITH SCORE 131194.314
AT ITER 4270 NEW BEST:: SOT 585687 SOS 389320 HAS SOPS 135678 HAS SOUS 194520 HAS SOUPS 130793 WITH SCORE 131182.32
AT ITER 4272 NEW BEST:: SOT 585739 SOS 389372 HAS SOPS 135482 HAS SOUS 194317 HAS SOUPS 130597 WITH SCORE 130986.372
AT ITER 4279 NEW BEST:: SOT 585787 SOS 389420 HAS SOPS 135418 HAS SOUS 194316 HAS SOUPS 130533 WITH SCORE 130922.42
AT ITER 4282 NEW BEST:: SOT 585714 SOS 389351 HAS SOPS 135276 HAS SOUS 194262 HAS SOUPS 130400 WITH SCORE 130789.351
AT ITER 4292 NEW BEST:: SOT 585748 SOS 389385 HAS SOPS 135254 HAS SOUS 194296 HAS SOUPS 130378 WITH SCORE 130767.385
AT ITER 4299 NEW BEST:: SOT 585740 SOS 389377 HAS SOPS 135246 HAS SOUS 194288 HAS SOUPS 130370 WITH SCORE 130759.377
AT ITER 4304 NEW BEST:: SOT 585683 SOS 389691 HAS SOPS 135127 HAS SOUS 194333 HAS SOUPS 130270 WITH SCORE 130659.691
AT ITER 4312 NEW BEST:: SOT 585531 SOS 389539 HAS SOPS 134901 HAS SOUS 194115 HAS SOUPS 130044 WITH SCORE 130433.539
AT ITER 4324 NEW BEST:: SOT 585592 SOS 389570 HAS SOPS 134857 HAS SOUS 194096 HAS SOUPS 130025 WITH SCORE 130414.57
AT ITER 4327 NEW BEST:: SOT 585716 SOS 389694 HAS SOPS 134849 HAS SOUS 193960 HAS SOUPS 130017 WITH SCORE 130406.694
AT ITER 4334 NEW BEST:: SOT 585714 SOS 389692 HAS SOPS 134845 HAS SOUS 193956 HAS SOUPS 130013 WITH SCORE 130402.692
AT ITER 4335 NEW BEST:: SOT 585714 SOS 389692 HAS SOPS 134792 HAS SOUS 193903 HAS SOUPS 129960 WITH SCORE 130349.692
AT ITER 4378 NEW BEST:: SOT 585711 SOS 389689 HAS SOPS 134786 HAS SOUS 193897 HAS SOUPS 129954 WITH SCORE 130343.689
AT ITER 4387 NEW BEST:: SOT 585692 SOS 389670 HAS SOPS 134767 HAS SOUS 193878 HAS SOUPS 129935 WITH SCORE 130324.67
AT ITER 4388 NEW BEST:: SOT 585656 SOS 389634 HAS SOPS 134765 HAS SOUS 193841 HAS SOUPS 129933 WITH SCORE 130322.634
AT ITER 4411 NEW BEST:: SOT 585546 SOS 389524 HAS SOPS 134545 HAS SOUS 193717 HAS SOUPS 129809 WITH SCORE 130198.524
AT ITER 4419 NEW BEST:: SOT 585534 SOS 389512 HAS SOPS 134519 HAS SOUS 193715 HAS SOUPS 129807 WITH SCORE 130196.512
AT ITER 4430 NEW BEST:: SOT 585489 SOS 389452 HAS SOPS 134429 HAS SOUS 193631 HAS SOUPS 129717 WITH SCORE 130106.452
AT ITER 4447 NEW BEST:: SOT 585416 SOS 389286 HAS SOPS 134057 HAS SOUS 193331 HAS SOUPS 129345 WITH SCORE 129734.286
AT ITER 4452 NEW BEST:: SOT 585413 SOS 389307 HAS SOPS 134051 HAS SOUS 193325 HAS SOUPS 129339 WITH SCORE 129728.307
AT ITER 4454 NEW BEST:: SOT 585395 SOS 389289 HAS SOPS 134005 HAS SOUS 193279 HAS SOUPS 129293 WITH SCORE 129682.289
AT ITER 4455 NEW BEST:: SOT 585419 SOS 389313 HAS SOPS 133895 HAS SOUS 193169 HAS SOUPS 129183 WITH SCORE 129572.313
AT ITER 4456 NEW BEST:: SOT 585447 SOS 389341 HAS SOPS 133843 HAS SOUS 193254 HAS SOUPS 129131 WITH SCORE 129520.341
AT ITER 4457 NEW BEST:: SOT 585427 SOS 389321 HAS SOPS 133803 HAS SOUS 193237 HAS SOUPS 129091 WITH SCORE 129480.321
AT ITER 4459 NEW BEST:: SOT 585341 SOS 388832 HAS SOPS 133803 HAS SOUS 193151 HAS SOUPS 129091 WITH SCORE 129479.832
AT ITER 4468 NEW BEST:: SOT 585130 SOS 388621 HAS SOPS 133661 HAS SOUS 192869 HAS SOUPS 128949 WITH SCORE 129337.621
AT ITER 4486 NEW BEST:: SOT 585457 SOS 389868 HAS SOPS 133643 HAS SOUS 193084 HAS SOUPS 128931 WITH SCORE 129320.868
AT ITER 4503 NEW BEST:: SOT 585373 SOS 389784 HAS SOPS 133643 HAS SOUS 193084 HAS SOUPS 128931 WITH SCORE 129320.784
AT ITER 4518 NEW BEST:: SOT 585300 SOS 389711 HAS SOPS 133497 HAS SOUS 192938 HAS SOUPS 128785 WITH SCORE 129174.711
AT ITER 4564 NEW BEST:: SOT 585368 SOS 390119 HAS SOPS 133429 HAS SOUS 192964 HAS SOUPS 128717 WITH SCORE 129107.119
AT ITER 4580 NEW BEST:: SOT 585272 SOS 390023 HAS SOPS 133225 HAS SOUS 192731 HAS SOUPS 128513 WITH SCORE 128903.023
AT ITER 4601 NEW BEST:: SOT 585227 SOS 389978 HAS SOPS 132957 HAS SOUS 192693 HAS SOUPS 128245 WITH SCORE 128634.978
AT ITER 4606 NEW BEST:: SOT 585155 SOS 389906 HAS SOPS 132893 HAS SOUS 192519 HAS SOUPS 128181 WITH SCORE 128570.906
AT ITER 4608 NEW BEST:: SOT 585128 SOS 389879 HAS SOPS 132839 HAS SOUS 192492 HAS SOUPS 128127 WITH SCORE 128516.879
AT ITER 4648 NEW BEST:: SOT 585082 SOS 389833 HAS SOPS 132839 HAS SOUS 192446 HAS SOUPS 128127 WITH SCORE 128516.833
AT ITER 4663 NEW BEST:: SOT 585102 SOS 389952 HAS SOPS 132825 HAS SOUS 192466 HAS SOUPS 128114 WITH SCORE 128503.952
AT ITER 4668 NEW BEST:: SOT 584905 SOS 389755 HAS SOPS 132579 HAS SOUS 192294 HAS SOUPS 127868 WITH SCORE 128257.755
AT ITER 4678 NEW BEST:: SOT 584895 SOS 389537 HAS SOPS 132569 HAS SOUS 192196 HAS SOUPS 127822 WITH SCORE 128211.537
AT ITER 4708 NEW BEST:: SOT 584823 SOS 389465 HAS SOPS 132569 HAS SOUS 192196 HAS SOUPS 127822 WITH SCORE 128211.465
AT ITER 4714 NEW BEST:: SOT 584843 SOS 389485 HAS SOPS 132456 HAS SOUS 192082 HAS SOUPS 127708 WITH SCORE 128097.485
AT ITER 4738 NEW BEST:: SOT 584816 SOS 389458 HAS SOPS 132456 HAS SOUS 192077 HAS SOUPS 127708 WITH SCORE 128097.458
AT ITER 4750 NEW BEST:: SOT 584829 SOS 389471 HAS SOPS 132374 HAS SOUS 191995 HAS SOUPS 127626 WITH SCORE 128015.471
AT ITER 4773 NEW BEST:: SOT 584829 SOS 389081 HAS SOPS 132374 HAS SOUS 191917 HAS SOUPS 127626 WITH SCORE 128015.081
AT ITER 4798 NEW BEST:: SOT 584904 SOS 389736 HAS SOPS 132350 HAS SOUS 192050 HAS SOUPS 127602 WITH SCORE 127991.736
AT ITER 4805 NEW BEST:: SOT 584903 SOS 389690 HAS SOPS 132213 HAS SOUS 191868 HAS SOUPS 127420 WITH SCORE 127809.69
AT ITER 4816 NEW BEST:: SOT 584868 SOS 389655 HAS SOPS 132143 HAS SOUS 191798 HAS SOUPS 127350 WITH SCORE 127739.655
AT ITER 4820 NEW BEST:: SOT 584840 SOS 389627 HAS SOPS 132143 HAS SOUS 191770 HAS SOUPS 127350 WITH SCORE 127739.627
AT ITER 4829 NEW BEST:: SOT 584888 SOS 392251 HAS SOPS 131964 HAS SOUS 191827 HAS SOUPS 127171 WITH SCORE 127563.251
AT ITER 4843 NEW BEST:: SOT 584857 SOS 392220 HAS SOPS 131902 HAS SOUS 192017 HAS SOUPS 127109 WITH SCORE 127501.22
AT ITER 4844 NEW BEST:: SOT 584855 SOS 392218 HAS SOPS 131900 HAS SOUS 192013 HAS SOUPS 127105 WITH SCORE 127497.218
AT ITER 4859 NEW BEST:: SOT 584889 SOS 392197 HAS SOPS 131450 HAS SOUS 191480 HAS SOUPS 126655 WITH SCORE 127047.197
AT ITER 4864 NEW BEST:: SOT 584853 SOS 392161 HAS SOPS 131378 HAS SOUS 191436 HAS SOUPS 126611 WITH SCORE 127003.161
AT ITER 4868 NEW BEST:: SOT 584823 SOS 392131 HAS SOPS 131374 HAS SOUS 191406 HAS SOUPS 126607 WITH SCORE 126999.131
AT ITER 4876 NEW BEST:: SOT 584818 SOS 392126 HAS SOPS 131364 HAS SOUS 191396 HAS SOUPS 126597 WITH SCORE 126989.126
AT ITER 4883 NEW BEST:: SOT 584849 SOS 392168 HAS SOPS 131345 HAS SOUS 191504 HAS SOUPS 126578 WITH SCORE 126970.168
AT ITER 4912 NEW BEST:: SOT 584791 SOS 392110 HAS SOPS 131345 HAS SOUS 191504 HAS SOUPS 126578 WITH SCORE 126970.11
AT ITER 4918 NEW BEST:: SOT 584806 SOS 392220 HAS SOPS 131204 HAS SOUS 191597 HAS SOUPS 126437 WITH SCORE 126829.22
AT ITER 4928 NEW BEST:: SOT 585004 SOS 392928 HAS SOPS 131135 HAS SOUS 191790 HAS SOUPS 126368 WITH SCORE 126760.928
AT ITER 4929 NEW BEST:: SOT 584968 SOS 392910 HAS SOPS 131099 HAS SOUS 191772 HAS SOUPS 126332 WITH SCORE 126724.91
AT ITER 4930 NEW BEST:: SOT 584923 SOS 392820 HAS SOPS 131009 HAS SOUS 191719 HAS SOUPS 126279 WITH SCORE 126671.82
AT ITER 4937 NEW BEST:: SOT 584841 SOS 392738 HAS SOPS 130925 HAS SOUS 191727 HAS SOUPS 126195 WITH SCORE 126587.738
AT ITER 4958 NEW BEST:: SOT 584814 SOS 392711 HAS SOPS 130898 HAS SOUS 191700 HAS SOUPS 126168 WITH SCORE 126560.711
AT ITER 4966 NEW BEST:: SOT 584861 SOS 392993 HAS SOPS 130851 HAS SOUS 191700 HAS SOUPS 126121 WITH SCORE 126513.993
AT ITER 4967 NEW BEST:: SOT 584859 SOS 392991 HAS SOPS 130802 HAS SOUS 191630 HAS SOUPS 126072 WITH SCORE 126464.991
AT ITER 4972 NEW BEST:: SOT 585125 SOS 395252 HAS SOPS 130730 HAS SOUS 191994 HAS SOUPS 126000 WITH SCORE 126395.252
AT ITER 4981 NEW BEST:: SOT 585431 SOS 396938 HAS SOPS 130607 HAS SOUS 192308 HAS SOUPS 125877 WITH SCORE 126273.938
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BART-PT-005-CTLCardinality-00 (AX( (EX( (! potential( ( 1 ) <= (tk(P641)) ))))))
PROPERTY: BART-PT-005-CTLCardinality-01 (EX( (AX( potential( ( 1 ) <= (tk(P488)) )))))
PROPERTY: BART-PT-005-CTLCardinality-02 (! (EF(( ( potential( ( 2 ) <= (tk(P690)) ) & potential( (tk(P331)) <= (tk(P335)) ) ) & ( potential( (tk(P253)) <= (tk(P444)) ) | potential( ( 2 ) <= (tk(P456)) ) ) ))))
PROPERTY: BART-PT-005-CTLCardinality-03 (! ( (AG( ( potential( (tk(P71)) <= (tk(P110)) ) & potential( (tk(P763)) <= (tk(P381)) ) ))) | (EG( ( potential( ( 1 ) <= (tk(P768)) ) | potential( (tk(P157)) <= (tk(P583)) ) ))) ))
PROPERTY: BART-PT-005-CTLCardinality-04 (AF((AG( ( potential( ( 2 ) <= (tk(P670)) ) & potential( (tk(P501)) <= (tk(P498)) ) )))))
PROPERTY: BART-PT-005-CTLCardinality-05 (! ( potential( ( 1 ) <= (tk(P560)) ) | (AU( potential( (tk(P171)) <= (tk(P702)) ),potential( (tk(P798)) <= (tk(P390)) ) )) ))
PROPERTY: BART-PT-005-CTLCardinality-06 (AF(( ( (! potential( ( 2 ) <= (tk(P508)) )) & ( potential( (tk(P675)) <= (tk(P688)) ) & potential( ( 1 ) <= (tk(P461)) ) ) ) | (AX( potential( ( 3 ) <= (tk(P603)) ))) )))
PROPERTY: BART-PT-005-CTLCardinality-07 ( (EG( ( ( potential( (tk(P250)) <= (tk(P313)) ) | potential( ( 1 ) <= (tk(P756)) ) ) & ( potential( (tk(P629)) <= (tk(P698)) ) | potential( (tk(P701)) <= (tk(P680)) ) ) ))) | (AF((EG( potential( ( 3 ) <= (tk(P819)) ))))) )
PROPERTY: BART-PT-005-CTLCardinality-08 ( potential( (tk(P329)) <= (tk(P266)) ) & (EG( ( ( potential( ( 3 ) <= (tk(P507)) ) | potential( (tk(P417)) <= (tk(P342)) ) ) | potential( ( 3 ) <= (tk(P445)) ) ))) )
PROPERTY: BART-PT-005-CTLCardinality-09 ( (AF((EF(potential( ( 1 ) <= (tk(P464)) ))))) | potential( ( 3 ) <= (tk(P511)) ) )
PROPERTY: BART-PT-005-CTLCardinality-10 (AG( ( (! ( potential( ( 2 ) <= (tk(P246)) ) | potential( ( 2 ) <= (tk(P51)) ) )) & (! ( potential( (tk(P820)) <= (tk(P866)) ) & potential( ( 2 ) <= (tk(P318)) ) )) )))
PROPERTY: BART-PT-005-CTLCardinality-11 ( (AX( (! potential( ( 1 ) <= (tk(P506)) )))) & (! (AU( potential( ( 1 ) <= (tk(P798)) ),potential( ( 1 ) <= (tk(P580)) ) ))) )
PROPERTY: BART-PT-005-CTLCardinality-12 (AF(( (! ( potential( (tk(P648)) <= (tk(P700)) ) & potential( ( 2 ) <= (tk(P796)) ) )) & (EG( potential( ( 1 ) <= (tk(P301)) ))) )))
PROPERTY: BART-PT-005-CTLCardinality-13 (AF((AG( ( potential( ( 1 ) <= (tk(P320)) ) | potential( ( 1 ) <= (tk(P655)) ) )))))
PROPERTY: BART-PT-005-CTLCardinality-14 (EG( potential( ( 1 ) <= (tk(P715)) )))
PROPERTY: BART-PT-005-CTLCardinality-15 (AX( (EF(( potential( (tk(P781)) <= (tk(P824)) ) & potential( (tk(P594)) <= (tk(P318)) ) )))))

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="BART-PT-005"
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 BART-PT-005, 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 r018-oct2-158897679500075"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-005.tgz
mv BART-PT-005 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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;