About the Execution of smart for PolyORBLF-PT-S04J04T08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15764.830 | 3600000.00 | 3600049.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354800472.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S04J04T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800472
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.4M
-rw-r--r-- 1 mcc users 9.7K Apr 12 05:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 12 05:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Apr 11 05:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 84K Apr 11 05:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 45K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 35K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Apr 10 12:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 10 12:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 60K Apr 9 17:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 198K Apr 9 17:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 4.8M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1589643772071
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J04T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 712 places, 4012 transitions, 27744 arcs.
AT ITER 0 NEW BEST:: SOT 1791221 SOS 1065111 HAS SOPS 1052653 HAS SOUS 335702 HAS SOUPS 335058 WITH SCORE 336123.111
AT ITER 11 NEW BEST:: SOT 1791046 SOS 1064971 HAS SOPS 1052513 HAS SOUS 335562 HAS SOUPS 334918 WITH SCORE 335982.971
AT ITER 23 NEW BEST:: SOT 1790736 SOS 1064723 HAS SOPS 1052265 HAS SOUS 335220 HAS SOUPS 334576 WITH SCORE 335640.723
AT ITER 38 NEW BEST:: SOT 1790719 SOS 1064691 HAS SOPS 1052233 HAS SOUS 335188 HAS SOUPS 334544 WITH SCORE 335608.691
AT ITER 39 NEW BEST:: SOT 1790654 SOS 1064639 HAS SOPS 1052181 HAS SOUS 334997 HAS SOUPS 334353 WITH SCORE 335417.639
AT ITER 44 NEW BEST:: SOT 1703232 SOS 1028647 HAS SOPS 1016189 HAS SOUS 320778 HAS SOUPS 320134 WITH SCORE 321162.647
AT ITER 56 NEW BEST:: SOT 1703100 SOS 1028449 HAS SOPS 1015991 HAS SOUS 320618 HAS SOUPS 319974 WITH SCORE 321002.449
AT ITER 72 NEW BEST:: SOT 1702364 SOS 1033425 HAS SOPS 1020967 HAS SOUS 320352 HAS SOUPS 319708 WITH SCORE 320741.425
AT ITER 91 NEW BEST:: SOT 1702016 SOS 1033082 HAS SOPS 1020624 HAS SOUS 319605 HAS SOUPS 318961 WITH SCORE 319994.082
AT ITER 94 NEW BEST:: SOT 1702008 SOS 1033066 HAS SOPS 1020608 HAS SOUS 319533 HAS SOUPS 318889 WITH SCORE 319922.066
AT ITER 95 NEW BEST:: SOT 1702044 SOS 1033102 HAS SOPS 1020544 HAS SOUS 319552 HAS SOUPS 318857 WITH SCORE 319890.102
AT ITER 97 NEW BEST:: SOT 1701678 SOS 1032441 HAS SOPS 1019883 HAS SOUS 319118 HAS SOUPS 318423 WITH SCORE 319455.441
AT ITER 113 NEW BEST:: SOT 1701490 SOS 1032419 HAS SOPS 1019861 HAS SOUS 319118 HAS SOUPS 318423 WITH SCORE 319455.419
AT ITER 114 NEW BEST:: SOT 1701283 SOS 1032204 HAS SOPS 1019646 HAS SOUS 318903 HAS SOUPS 318208 WITH SCORE 319240.204
AT ITER 115 NEW BEST:: SOT 1700935 SOS 1031769 HAS SOPS 1019211 HAS SOUS 318450 HAS SOUPS 317755 WITH SCORE 318786.769
AT ITER 117 NEW BEST:: SOT 1700447 SOS 1031415 HAS SOPS 1018857 HAS SOUS 318036 HAS SOUPS 317341 WITH SCORE 318372.415
AT ITER 118 NEW BEST:: SOT 1700447 SOS 1031817 HAS SOPS 1019259 HAS SOUS 317474 HAS SOUPS 316779 WITH SCORE 317810.817
AT ITER 129 NEW BEST:: SOT 1688582 SOS 1019952 HAS SOPS 1007394 HAS SOUS 315094 HAS SOUPS 314399 WITH SCORE 315418.952
AT ITER 142 NEW BEST:: SOT 1688252 SOS 1019529 HAS SOPS 1006971 HAS SOUS 313576 HAS SOUPS 312881 WITH SCORE 313900.529
AT ITER 145 NEW BEST:: SOT 1688200 SOS 1019490 HAS SOPS 1006932 HAS SOUS 313537 HAS SOUPS 312842 WITH SCORE 313861.49
AT ITER 165 NEW BEST:: SOT 1688094 SOS 1019966 HAS SOPS 1007396 HAS SOUS 313366 HAS SOUPS 312671 WITH SCORE 313690.966
AT ITER 169 NEW BEST:: SOT 1687756 SOS 1019626 HAS SOPS 1007056 HAS SOUS 313232 HAS SOUPS 312537 WITH SCORE 313556.626
AT ITER 193 NEW BEST:: SOT 1687473 SOS 1019352 HAS SOPS 1006782 HAS SOUS 312232 HAS SOUPS 311537 WITH SCORE 312556.352
AT ITER 205 NEW BEST:: SOT 1685822 SOS 1017790 HAS SOPS 1005220 HAS SOUS 311006 HAS SOUPS 310311 WITH SCORE 311328.79
AT ITER 221 NEW BEST:: SOT 1684248 SOS 1016325 HAS SOPS 1003755 HAS SOUS 309601 HAS SOUPS 308906 WITH SCORE 309922.325
AT ITER 226 NEW BEST:: SOT 1684262 SOS 1016339 HAS SOPS 1003755 HAS SOUS 309594 HAS SOUPS 308892 WITH SCORE 309908.339
AT ITER 233 NEW BEST:: SOT 1682345 SOS 1014413 HAS SOPS 1001829 HAS SOUS 307553 HAS SOUPS 306851 WITH SCORE 307865.413
AT ITER 236 NEW BEST:: SOT 1681570 SOS 1013783 HAS SOPS 1001199 HAS SOUS 306923 HAS SOUPS 306221 WITH SCORE 307234.783
AT ITER 238 NEW BEST:: SOT 1681493 SOS 1014129 HAS SOPS 1001559 HAS SOUS 306921 HAS SOUPS 306219 WITH SCORE 307233.129
AT ITER 240 NEW BEST:: SOT 1681459 SOS 1014095 HAS SOPS 1001508 HAS SOUS 306904 HAS SOUPS 306202 WITH SCORE 307216.095
AT ITER 241 NEW BEST:: SOT 1680883 SOS 1013666 HAS SOPS 1001079 HAS SOUS 306396 HAS SOUPS 305694 WITH SCORE 306707.666
AT ITER 250 NEW BEST:: SOT 1680719 SOS 1013501 HAS SOPS 1000914 HAS SOUS 306206 HAS SOUPS 305504 WITH SCORE 306517.501
AT ITER 254 NEW BEST:: SOT 1680614 SOS 1013704 HAS SOPS 1001330 HAS SOUS 305378 HAS SOUPS 304676 WITH SCORE 305689.704
AT ITER 272 NEW BEST:: SOT 1680308 SOS 1013439 HAS SOPS 1001065 HAS SOUS 305185 HAS SOUPS 304483 WITH SCORE 305496.439
AT ITER 277 NEW BEST:: SOT 1679849 SOS 1013067 HAS SOPS 1000693 HAS SOUS 304726 HAS SOUPS 304024 WITH SCORE 305037.067
AT ITER 283 NEW BEST:: SOT 1679615 SOS 1012805 HAS SOPS 1000431 HAS SOUS 304560 HAS SOUPS 303858 WITH SCORE 304870.805
AT ITER 297 NEW BEST:: SOT 1632047 SOS 965410 HAS SOPS 953036 HAS SOUS 295211 HAS SOUPS 294509 WITH SCORE 295474.41
AT ITER 304 NEW BEST:: SOT 1632104 SOS 965403 HAS SOPS 953029 HAS SOUS 295204 HAS SOUPS 294502 WITH SCORE 295467.403
AT ITER 318 NEW BEST:: SOT 1632028 SOS 966862 HAS SOPS 954498 HAS SOUS 294446 HAS SOUPS 293744 WITH SCORE 294710.862
AT ITER 329 NEW BEST:: SOT 1611310 SOS 946105 HAS SOPS 933741 HAS SOUS 290220 HAS SOUPS 289518 WITH SCORE 290464.105
AT ITER 332 NEW BEST:: SOT 1611730 SOS 946691 HAS SOPS 934327 HAS SOUS 289426 HAS SOUPS 288724 WITH SCORE 289670.691
AT ITER 333 NEW BEST:: SOT 1611258 SOS 946346 HAS SOPS 933982 HAS SOUS 289036 HAS SOUPS 288334 WITH SCORE 289280.346
AT ITER 336 NEW BEST:: SOT 1611252 SOS 946340 HAS SOPS 933976 HAS SOUS 289019 HAS SOUPS 288317 WITH SCORE 289263.34
AT ITER 345 NEW BEST:: SOT 1611280 SOS 946368 HAS SOPS 933976 HAS SOUS 288991 HAS SOUPS 288289 WITH SCORE 289235.368
AT ITER 350 NEW BEST:: SOT 1611077 SOS 946206 HAS SOPS 933814 HAS SOUS 288985 HAS SOUPS 288283 WITH SCORE 289229.206
AT ITER 370 NEW BEST:: SOT 1611069 SOS 946151 HAS SOPS 933759 HAS SOUS 288930 HAS SOUPS 288228 WITH SCORE 289174.151
AT ITER 371 NEW BEST:: SOT 1611128 SOS 946210 HAS SOPS 933695 HAS SOUS 288910 HAS SOUPS 288196 WITH SCORE 289142.21
AT ITER 391 NEW BEST:: SOT 1610989 SOS 946082 HAS SOPS 933567 HAS SOUS 288831 HAS SOUPS 288117 WITH SCORE 289063.082
AT ITER 405 NEW BEST:: SOT 1610989 SOS 946014 HAS SOPS 933486 HAS SOUS 288824 HAS SOUPS 288108 WITH SCORE 289054.014
AT ITER 410 NEW BEST:: SOT 1610911 SOS 945828 HAS SOPS 933300 HAS SOUS 288574 HAS SOUPS 287858 WITH SCORE 288803.828
AT ITER 413 NEW BEST:: SOT 1610658 SOS 945666 HAS SOPS 933138 HAS SOUS 288389 HAS SOUPS 287673 WITH SCORE 288618.666
AT ITER 414 NEW BEST:: SOT 1610942 SOS 946018 HAS SOPS 933490 HAS SOUS 288367 HAS SOUPS 287651 WITH SCORE 288597.018
AT ITER 415 NEW BEST:: SOT 1610930 SOS 945994 HAS SOPS 933466 HAS SOUS 288343 HAS SOUPS 287627 WITH SCORE 288572.994
AT ITER 431 NEW BEST:: SOT 1610578 SOS 945779 HAS SOPS 933251 HAS SOUS 288068 HAS SOUPS 287352 WITH SCORE 288297.779
AT ITER 432 NEW BEST:: SOT 1610373 SOS 945615 HAS SOPS 933087 HAS SOUS 287904 HAS SOUPS 287188 WITH SCORE 288133.615
AT ITER 436 NEW BEST:: SOT 1610546 SOS 945750 HAS SOPS 933222 HAS SOUS 287808 HAS SOUPS 287092 WITH SCORE 288037.75
AT ITER 443 NEW BEST:: SOT 1610963 SOS 946284 HAS SOPS 933756 HAS SOUS 287274 HAS SOUPS 286558 WITH SCORE 287504.284
AT ITER 449 NEW BEST:: SOT 1611084 SOS 946357 HAS SOPS 933829 HAS SOUS 286807 HAS SOUPS 286091 WITH SCORE 287037.357
AT ITER 450 NEW BEST:: SOT 1611072 SOS 946345 HAS SOPS 933817 HAS SOUS 286795 HAS SOUPS 286079 WITH SCORE 287025.345
AT ITER 453 NEW BEST:: SOT 1610771 SOS 946085 HAS SOPS 933557 HAS SOUS 286657 HAS SOUPS 285941 WITH SCORE 286887.085
AT ITER 455 NEW BEST:: SOT 1610582 SOS 945870 HAS SOPS 933342 HAS SOUS 286303 HAS SOUPS 285587 WITH SCORE 286532.87
AT ITER 460 NEW BEST:: SOT 1610582 SOS 948244 HAS SOPS 936692 HAS SOUS 286140 HAS SOUPS 285522 WITH SCORE 286470.244
AT ITER 461 NEW BEST:: SOT 1610546 SOS 948208 HAS SOPS 936656 HAS SOUS 286104 HAS SOUPS 285486 WITH SCORE 286434.208
AT ITER 469 NEW BEST:: SOT 1610108 SOS 947914 HAS SOPS 936362 HAS SOUS 285906 HAS SOUPS 285288 WITH SCORE 286235.914
AT ITER 470 NEW BEST:: SOT 1610108 SOS 948004 HAS SOPS 936452 HAS SOUS 285897 HAS SOUPS 285279 WITH SCORE 286227.004
AT ITER 472 NEW BEST:: SOT 1610082 SOS 947978 HAS SOPS 936470 HAS SOUS 285887 HAS SOUPS 285263 WITH SCORE 286210.978
AT ITER 482 NEW BEST:: SOT 1609851 SOS 947835 HAS SOPS 936327 HAS SOUS 285743 HAS SOUPS 285119 WITH SCORE 286066.835
AT ITER 486 NEW BEST:: SOT 1609698 SOS 947682 HAS SOPS 936174 HAS SOUS 285238 HAS SOUPS 284614 WITH SCORE 285561.682
AT ITER 488 NEW BEST:: SOT 1609653 SOS 947774 HAS SOPS 936266 HAS SOUS 285214 HAS SOUPS 284590 WITH SCORE 285537.774
AT ITER 496 NEW BEST:: SOT 1609653 SOS 948759 HAS SOPS 937256 HAS SOUS 285212 HAS SOUPS 284588 WITH SCORE 285536.759
AT ITER 500 NEW BEST:: SOT 1609577 SOS 948928 HAS SOPS 937425 HAS SOUS 285008 HAS SOUPS 284384 WITH SCORE 285332.928
AT ITER 510 NEW BEST:: SOT 1609588 SOS 948857 HAS SOPS 937467 HAS SOUS 284986 HAS SOUPS 284362 WITH SCORE 285310.857
AT ITER 517 NEW BEST:: SOT 1609261 SOS 948636 HAS SOPS 937246 HAS SOUS 284765 HAS SOUPS 284141 WITH SCORE 285089.636
AT ITER 518 NEW BEST:: SOT 1596118 SOS 949158 HAS SOPS 945597 HAS SOUS 273627 HAS SOUPS 273271 WITH SCORE 274220.158
AT ITER 523 NEW BEST:: SOT 1595764 SOS 948829 HAS SOPS 945268 HAS SOUS 273198 HAS SOUPS 272842 WITH SCORE 273790.829
AT ITER 525 NEW BEST:: SOT 1548603 SOS 901775 HAS SOPS 898214 HAS SOUS 264072 HAS SOUPS 263716 WITH SCORE 264617.775
AT ITER 528 NEW BEST:: SOT 1549857 SOS 903236 HAS SOPS 899675 HAS SOUS 263581 HAS SOUPS 263225 WITH SCORE 264128.236
AT ITER 529 NEW BEST:: SOT 1549825 SOS 903204 HAS SOPS 899611 HAS SOUS 263490 HAS SOUPS 263121 WITH SCORE 264024.204
AT ITER 539 NEW BEST:: SOT 1549492 SOS 902645 HAS SOPS 899052 HAS SOUS 263180 HAS SOUPS 262811 WITH SCORE 263713.645
AT ITER 546 NEW BEST:: SOT 1547606 SOS 903444 HAS SOPS 898121 HAS SOUS 259191 HAS SOUPS 258547 WITH SCORE 259450.444
AT ITER 550 NEW BEST:: SOT 1547474 SOS 903312 HAS SOPS 897857 HAS SOUS 259043 HAS SOUPS 258267 WITH SCORE 259170.312
AT ITER 551 NEW BEST:: SOT 1547350 SOS 912122 HAS SOPS 906667 HAS SOUS 258855 HAS SOUPS 258079 WITH SCORE 258991.122
AT ITER 555 NEW BEST:: SOT 1547303 SOS 912075 HAS SOPS 906607 HAS SOUS 258791 HAS SOUPS 258015 WITH SCORE 258927.075
AT ITER 558 NEW BEST:: SOT 1547271 SOS 912194 HAS SOPS 906738 HAS SOUS 258763 HAS SOUPS 257987 WITH SCORE 258899.194
AT ITER 560 NEW BEST:: SOT 1548105 SOS 913182 HAS SOPS 907726 HAS SOUS 257775 HAS SOUPS 256999 WITH SCORE 257912.182
AT ITER 561 NEW BEST:: SOT 1548105 SOS 913167 HAS SOPS 907711 HAS SOUS 257775 HAS SOUPS 256999 WITH SCORE 257912.167
AT ITER 574 NEW BEST:: SOT 1548219 SOS 913319 HAS SOPS 907863 HAS SOUS 257744 HAS SOUPS 256968 WITH SCORE 257881.319
AT ITER 581 NEW BEST:: SOT 1548219 SOS 913329 HAS SOPS 907873 HAS SOUS 257634 HAS SOUPS 256858 WITH SCORE 257771.329
AT ITER 596 NEW BEST:: SOT 1548219 SOS 913177 HAS SOPS 907721 HAS SOUS 257612 HAS SOUPS 256836 WITH SCORE 257749.177
AT ITER 598 NEW BEST:: SOT 1548311 SOS 914281 HAS SOPS 908825 HAS SOUS 256822 HAS SOUPS 256046 WITH SCORE 256960.281
AT ITER 599 NEW BEST:: SOT 1548211 SOS 914185 HAS SOPS 908729 HAS SOUS 256772 HAS SOUPS 255996 WITH SCORE 256910.185
AT ITER 604 NEW BEST:: SOT 1547867 SOS 913944 HAS SOPS 908488 HAS SOUS 256235 HAS SOUPS 255459 WITH SCORE 256372.944
AT ITER 605 NEW BEST:: SOT 1547851 SOS 913928 HAS SOPS 908472 HAS SOUS 256078 HAS SOUPS 255302 WITH SCORE 256215.928
AT ITER 607 NEW BEST:: SOT 1547872 SOS 913983 HAS SOPS 908527 HAS SOUS 256051 HAS SOUPS 255275 WITH SCORE 256188.983
AT ITER 608 NEW BEST:: SOT 1547813 SOS 913865 HAS SOPS 908409 HAS SOUS 255807 HAS SOUPS 255031 WITH SCORE 255944.865
AT ITER 629 NEW BEST:: SOT 1514213 SOS 880308 HAS SOPS 874852 HAS SOUS 249407 HAS SOUPS 248631 WITH SCORE 249511.308
AT ITER 649 NEW BEST:: SOT 1514045 SOS 880140 HAS SOPS 874684 HAS SOUS 248729 HAS SOUPS 247953 WITH SCORE 248833.14
AT ITER 658 NEW BEST:: SOT 1514025 SOS 880020 HAS SOPS 874564 HAS SOUS 248729 HAS SOUPS 247953 WITH SCORE 248833.02
AT ITER 666 NEW BEST:: SOT 1513601 SOS 879700 HAS SOPS 874244 HAS SOUS 248370 HAS SOUPS 247594 WITH SCORE 248473.7
AT ITER 686 NEW BEST:: SOT 1513560 SOS 879457 HAS SOPS 873994 HAS SOUS 248356 HAS SOUPS 247580 WITH SCORE 248459.457
AT ITER 687 NEW BEST:: SOT 1513367 SOS 879284 HAS SOPS 873821 HAS SOUS 248237 HAS SOUPS 247461 WITH SCORE 248340.284
AT ITER 695 NEW BEST:: SOT 1513321 SOS 879238 HAS SOPS 873775 HAS SOUS 248141 HAS SOUPS 247365 WITH SCORE 248244.238
AT ITER 696 NEW BEST:: SOT 1512177 SOS 877910 HAS SOPS 872447 HAS SOUS 247524 HAS SOUPS 246748 WITH SCORE 247625.91
AT ITER 698 NEW BEST:: SOT 1512169 SOS 877902 HAS SOPS 872483 HAS SOUS 247514 HAS SOUPS 246738 WITH SCORE 247615.902
AT ITER 710 NEW BEST:: SOT 1512194 SOS 878027 HAS SOPS 872608 HAS SOUS 247489 HAS SOUPS 246713 WITH SCORE 247591.027
AT ITER 711 NEW BEST:: SOT 1511776 SOS 877626 HAS SOPS 872207 HAS SOUS 247296 HAS SOUPS 246520 WITH SCORE 247397.626
AT ITER 725 NEW BEST:: SOT 1510709 SOS 876622 HAS SOPS 871203 HAS SOUS 246485 HAS SOUPS 245709 WITH SCORE 246585.622
AT ITER 726 NEW BEST:: SOT 1510422 SOS 876352 HAS SOPS 870933 HAS SOUS 246308 HAS SOUPS 245532 WITH SCORE 246408.352
AT ITER 727 NEW BEST:: SOT 1510370 SOS 876300 HAS SOPS 870881 HAS SOUS 246218 HAS SOUPS 245442 WITH SCORE 246318.3
AT ITER 752 NEW BEST:: SOT 1461106 SOS 878660 HAS SOPS 873241 HAS SOUS 239537 HAS SOUPS 238761 WITH SCORE 239639.66
AT ITER 754 NEW BEST:: SOT 1461090 SOS 878644 HAS SOPS 873225 HAS SOUS 239521 HAS SOUPS 238745 WITH SCORE 239623.644
AT ITER 763 NEW BEST:: SOT 1460994 SOS 878572 HAS SOPS 873153 HAS SOUS 239404 HAS SOUPS 238628 WITH SCORE 239506.572
AT ITER 781 NEW BEST:: SOT 1460655 SOS 878233 HAS SOPS 872814 HAS SOUS 239190 HAS SOUPS 238414 WITH SCORE 239292.233
AT ITER 786 NEW BEST:: SOT 1460649 SOS 878227 HAS SOPS 872802 HAS SOUS 239178 HAS SOUPS 238402 WITH SCORE 239280.227
AT ITER 787 NEW BEST:: SOT 1460633 SOS 878211 HAS SOPS 872786 HAS SOUS 239146 HAS SOUPS 238370 WITH SCORE 239248.211
AT ITER 798 NEW BEST:: SOT 1460465 SOS 877779 HAS SOPS 872354 HAS SOUS 238991 HAS SOUPS 238215 WITH SCORE 239092.779
AT ITER 802 NEW BEST:: SOT 1460364 SOS 877577 HAS SOPS 872152 HAS SOUS 238789 HAS SOUPS 238013 WITH SCORE 238890.577
AT ITER 806 NEW BEST:: SOT 1460388 SOS 877601 HAS SOPS 872176 HAS SOUS 238785 HAS SOUPS 238009 WITH SCORE 238886.601
AT ITER 809 NEW BEST:: SOT 1459754 SOS 877057 HAS SOPS 871632 HAS SOUS 238661 HAS SOUPS 237885 WITH SCORE 238762.057
AT ITER 812 NEW BEST:: SOT 1459692 SOS 876973 HAS SOPS 871548 HAS SOUS 238657 HAS SOUPS 237881 WITH SCORE 238757.973
AT ITER 818 NEW BEST:: SOT 1459758 SOS 877370 HAS SOPS 871948 HAS SOUS 238601 HAS SOUPS 237825 WITH SCORE 238702.37
AT ITER 830 NEW BEST:: SOT 1459746 SOS 878890 HAS SOPS 873468 HAS SOUS 238588 HAS SOUPS 237812 WITH SCORE 238690.89
AT ITER 831 NEW BEST:: SOT 1459864 SOS 876290 HAS SOPS 867169 HAS SOUS 238629 HAS SOUPS 237415 WITH SCORE 238291.29
AT ITER 836 NEW BEST:: SOT 1459778 SOS 876783 HAS SOPS 867675 HAS SOUS 238524 HAS SOUPS 237310 WITH SCORE 238186.783
AT ITER 843 NEW BEST:: SOT 1459650 SOS 874627 HAS SOPS 865819 HAS SOUS 238515 HAS SOUPS 237301 WITH SCORE 238175.627
AT ITER 846 NEW BEST:: SOT 1459558 SOS 874535 HAS SOPS 865727 HAS SOUS 238415 HAS SOUPS 237201 WITH SCORE 238075.535
AT ITER 847 NEW BEST:: SOT 1448654 SOS 863631 HAS SOPS 854823 HAS SOUS 236270 HAS SOUPS 235056 WITH SCORE 235919.631
AT ITER 852 NEW BEST:: SOT 1448672 SOS 863649 HAS SOPS 854755 HAS SOUS 236105 HAS SOUPS 234884 WITH SCORE 235747.649
AT ITER 860 NEW BEST:: SOT 1448707 SOS 863688 HAS SOPS 854794 HAS SOUS 235632 HAS SOUPS 234411 WITH SCORE 235274.688
AT ITER 863 NEW BEST:: SOT 1449331 SOS 864164 HAS SOPS 855270 HAS SOUS 235106 HAS SOUPS 233885 WITH SCORE 234749.164
AT ITER 880 NEW BEST:: SOT 1449340 SOS 864145 HAS SOPS 855251 HAS SOUS 235059 HAS SOUPS 233838 WITH SCORE 234702.145
AT ITER 885 NEW BEST:: SOT 1449318 SOS 864123 HAS SOPS 855229 HAS SOUS 235037 HAS SOUPS 233816 WITH SCORE 234680.123
AT ITER 888 NEW BEST:: SOT 1449098 SOS 863867 HAS SOPS 854973 HAS SOUS 234523 HAS SOUPS 233302 WITH SCORE 234165.867
AT ITER 889 NEW BEST:: SOT 1449050 SOS 863750 HAS SOPS 854770 HAS SOUS 234343 HAS SOUPS 233122 WITH SCORE 233985.75
AT ITER 894 NEW BEST:: SOT 1448989 SOS 863419 HAS SOPS 854439 HAS SOUS 234221 HAS SOUPS 233000 WITH SCORE 233863.419
AT ITER 903 NEW BEST:: SOT 1448877 SOS 863279 HAS SOPS 854299 HAS SOUS 234109 HAS SOUPS 232888 WITH SCORE 233751.279
AT ITER 908 NEW BEST:: SOT 1448776 SOS 863185 HAS SOPS 854051 HAS SOUS 233952 HAS SOUPS 232731 WITH SCORE 233594.185
AT ITER 914 NEW BEST:: SOT 1448757 SOS 863880 HAS SOPS 854753 HAS SOUS 233881 HAS SOUPS 232660 WITH SCORE 233523.88
AT ITER 926 NEW BEST:: SOT 1448757 SOS 863931 HAS SOPS 854804 HAS SOUS 233779 HAS SOUPS 232558 WITH SCORE 233421.931
AT ITER 935 NEW BEST:: SOT 1448799 SOS 863973 HAS SOPS 854762 HAS SOUS 233695 HAS SOUPS 232474 WITH SCORE 233337.973
AT ITER 943 NEW BEST:: SOT 1448680 SOS 863920 HAS SOPS 854709 HAS SOUS 233550 HAS SOUPS 232329 WITH SCORE 233192.92
AT ITER 951 NEW BEST:: SOT 1447490 SOS 862740 HAS SOPS 853529 HAS SOUS 233240 HAS SOUPS 232019 WITH SCORE 232881.74
AT ITER 956 NEW BEST:: SOT 1447187 SOS 862130 HAS SOPS 853027 HAS SOUS 232960 HAS SOUPS 231739 WITH SCORE 232601.13
AT ITER 968 NEW BEST:: SOT 1447174 SOS 862117 HAS SOPS 853014 HAS SOUS 232940 HAS SOUPS 231719 WITH SCORE 232581.117
AT ITER 979 NEW BEST:: SOT 1447158 SOS 862101 HAS SOPS 853018 HAS SOUS 232878 HAS SOUPS 231657 WITH SCORE 232519.101
AT ITER 985 NEW BEST:: SOT 1447180 SOS 862123 HAS SOPS 853040 HAS SOUS 232727 HAS SOUPS 231506 WITH SCORE 232368.123
AT ITER 995 NEW BEST:: SOT 1447086 SOS 862029 HAS SOPS 852946 HAS SOUS 232638 HAS SOUPS 231417 WITH SCORE 232279.029
AT ITER 996 NEW BEST:: SOT 1446943 SOS 861882 HAS SOPS 852796 HAS SOUS 232567 HAS SOUPS 231346 WITH SCORE 232207.882
AT ITER 997 NEW BEST:: SOT 1446853 SOS 861865 HAS SOPS 852779 HAS SOUS 232301 HAS SOUPS 231080 WITH SCORE 231941.865
AT ITER 1015 NEW BEST:: SOT 1446714 SOS 862007 HAS SOPS 853023 HAS SOUS 231442 HAS SOUPS 230221 WITH SCORE 231083.007
AT ITER 1037 NEW BEST:: SOT 1446571 SOS 862154 HAS SOPS 853154 HAS SOUS 231232 HAS SOUPS 229998 WITH SCORE 230860.154
AT ITER 1079 NEW BEST:: SOT 1446588 SOS 862212 HAS SOPS 853212 HAS SOUS 231229 HAS SOUPS 229995 WITH SCORE 230857.212
AT ITER 1084 NEW BEST:: SOT 1447325 SOS 863223 HAS SOPS 854223 HAS SOUS 230887 HAS SOUPS 229653 WITH SCORE 230516.223
AT ITER 1095 NEW BEST:: SOT 1447212 SOS 863182 HAS SOPS 854182 HAS SOUS 230647 HAS SOUPS 229413 WITH SCORE 230276.182
AT ITER 1102 NEW BEST:: SOT 1444632 SOS 860544 HAS SOPS 851544 HAS SOUS 230456 HAS SOUPS 229222 WITH SCORE 230082.544
AT ITER 1115 NEW BEST:: SOT 1444652 SOS 860547 HAS SOPS 851547 HAS SOUS 230254 HAS SOUPS 229020 WITH SCORE 229880.547
AT ITER 1120 NEW BEST:: SOT 1444637 SOS 860527 HAS SOPS 851527 HAS SOUS 230234 HAS SOUPS 229000 WITH SCORE 229860.527
AT ITER 1162 NEW BEST:: SOT 1421267 SOS 837335 HAS SOPS 828335 HAS SOUS 224898 HAS SOUPS 223664 WITH SCORE 224501.335
AT ITER 1201 NEW BEST:: SOT 1421259 SOS 837335 HAS SOPS 828335 HAS SOUS 224698 HAS SOUPS 223464 WITH SCORE 224301.335
AT ITER 1207 NEW BEST:: SOT 1421259 SOS 837335 HAS SOPS 828335 HAS SOUS 224650 HAS SOUPS 223416 WITH SCORE 224253.335
AT ITER 1220 NEW BEST:: SOT 1421240 SOS 837316 HAS SOPS 828297 HAS SOUS 224604 HAS SOUPS 223364 WITH SCORE 224201.316
AT ITER 1239 NEW BEST:: SOT 1421240 SOS 837316 HAS SOPS 828297 HAS SOUS 224599 HAS SOUPS 223359 WITH SCORE 224196.316
AT ITER 1247 NEW BEST:: SOT 1420538 SOS 836739 HAS SOPS 827720 HAS SOUS 224005 HAS SOUPS 222765 WITH SCORE 223601.739
AT ITER 1261 NEW BEST:: SOT 1420530 SOS 836723 HAS SOPS 827704 HAS SOUS 223989 HAS SOUPS 222749 WITH SCORE 223585.723
AT ITER 1262 NEW BEST:: SOT 1420427 SOS 836598 HAS SOPS 827579 HAS SOUS 223970 HAS SOUPS 222730 WITH SCORE 223566.598
AT ITER 1271 NEW BEST:: SOT 1420356 SOS 836527 HAS SOPS 827508 HAS SOUS 223820 HAS SOUPS 222580 WITH SCORE 223416.527
AT ITER 1275 NEW BEST:: SOT 1420321 SOS 836131 HAS SOPS 827112 HAS SOUS 223750 HAS SOUPS 222510 WITH SCORE 223346.131
AT ITER 1277 NEW BEST:: SOT 1420320 SOS 836149 HAS SOPS 827130 HAS SOUS 223748 HAS SOUPS 222508 WITH SCORE 223344.149
AT ITER 1286 NEW BEST:: SOT 1416667 SOS 832496 HAS SOPS 823477 HAS SOUS 222442 HAS SOUPS 221202 WITH SCORE 222034.496
AT ITER 1288 NEW BEST:: SOT 1416475 SOS 832461 HAS SOPS 823442 HAS SOUS 222399 HAS SOUPS 221159 WITH SCORE 221991.461
AT ITER 1309 NEW BEST:: SOT 1416463 SOS 832661 HAS SOPS 823642 HAS SOUS 222351 HAS SOUPS 221111 WITH SCORE 221943.661
AT ITER 1312 NEW BEST:: SOT 1416428 SOS 832470 HAS SOPS 823451 HAS SOUS 222325 HAS SOUPS 221085 WITH SCORE 221917.47
AT ITER 1319 NEW BEST:: SOT 1416336 SOS 832384 HAS SOPS 823365 HAS SOUS 222195 HAS SOUPS 220955 WITH SCORE 221787.384
AT ITER 1320 NEW BEST:: SOT 1415656 SOS 831568 HAS SOPS 822549 HAS SOUS 221379 HAS SOUPS 220139 WITH SCORE 220970.568
AT ITER 1335 NEW BEST:: SOT 1415512 SOS 831460 HAS SOPS 822441 HAS SOUS 221271 HAS SOUPS 220031 WITH SCORE 220862.46
AT ITER 1337 NEW BEST:: SOT 1415521 SOS 831523 HAS SOPS 822531 HAS SOUS 221262 HAS SOUPS 220022 WITH SCORE 220853.523
AT ITER 1340 NEW BEST:: SOT 1415458 SOS 831532 HAS SOPS 822540 HAS SOUS 220516 HAS SOUPS 219276 WITH SCORE 220107.532
AT ITER 1348 NEW BEST:: SOT 1415458 SOS 831532 HAS SOPS 822540 HAS SOUS 220514 HAS SOUPS 219274 WITH SCORE 220105.532
AT ITER 1358 NEW BEST:: SOT 1415467 SOS 831459 HAS SOPS 822326 HAS SOUS 220388 HAS SOUPS 219148 WITH SCORE 219979.459
AT ITER 1361 NEW BEST:: SOT 1415467 SOS 831451 HAS SOPS 822318 HAS SOUS 220380 HAS SOUPS 219140 WITH SCORE 219971.451
AT ITER 1377 NEW BEST:: SOT 1415576 SOS 831560 HAS SOPS 822427 HAS SOUS 219322 HAS SOUPS 218082 WITH SCORE 218913.56
AT ITER 1424 NEW BEST:: SOT 1415425 SOS 831409 HAS SOPS 822276 HAS SOUS 219171 HAS SOUPS 217931 WITH SCORE 218762.409
AT ITER 1432 NEW BEST:: SOT 1415472 SOS 831649 HAS SOPS 822602 HAS SOUS 217308 HAS SOUPS 216068 WITH SCORE 216899.649
AT ITER 1436 NEW BEST:: SOT 1415404 SOS 831589 HAS SOPS 822542 HAS SOUS 217298 HAS SOUPS 216058 WITH SCORE 216889.589
AT ITER 1437 NEW BEST:: SOT 1364035 SOS 810848 HAS SOPS 801801 HAS SOUS 213726 HAS SOUPS 212486 WITH SCORE 213296.848
AT ITER 1442 NEW BEST:: SOT 1364457 SOS 811270 HAS SOPS 802223 HAS SOUS 213518 HAS SOUPS 212278 WITH SCORE 213089.27
AT ITER 1445 NEW BEST:: SOT 1354965 SOS 801750 HAS SOPS 792703 HAS SOUS 211614 HAS SOUPS 210374 WITH SCORE 211175.75
AT ITER 1463 NEW BEST:: SOT 1355041 SOS 801927 HAS SOPS 792783 HAS SOUS 211560 HAS SOUPS 210320 WITH SCORE 211121.927
AT ITER 1479 NEW BEST:: SOT 1354961 SOS 801807 HAS SOPS 792663 HAS SOUS 211400 HAS SOUPS 210160 WITH SCORE 210961.807
AT ITER 1498 NEW BEST:: SOT 1354895 SOS 801741 HAS SOPS 792597 HAS SOUS 211364 HAS SOUPS 210124 WITH SCORE 210925.741
AT ITER 1502 NEW BEST:: SOT 1354830 SOS 801663 HAS SOPS 792519 HAS SOUS 211286 HAS SOUPS 210046 WITH SCORE 210847.663
AT ITER 1504 NEW BEST:: SOT 1354830 SOS 801640 HAS SOPS 792496 HAS SOUS 211286 HAS SOUPS 210046 WITH SCORE 210847.64
AT ITER 1513 NEW BEST:: SOT 1354830 SOS 801570 HAS SOPS 792426 HAS SOUS 211268 HAS SOUPS 210028 WITH SCORE 210829.57
AT ITER 1529 NEW BEST:: SOT 1354597 SOS 801474 HAS SOPS 792330 HAS SOUS 211244 HAS SOUPS 210004 WITH SCORE 210805.474
AT ITER 1558 NEW BEST:: SOT 1354590 SOS 801443 HAS SOPS 792299 HAS SOUS 211183 HAS SOUPS 209943 WITH SCORE 210744.443
AT ITER 1559 NEW BEST:: SOT 1354570 SOS 801423 HAS SOPS 792279 HAS SOUS 211163 HAS SOUPS 209923 WITH SCORE 210724.423
AT ITER 1587 NEW BEST:: SOT 1354527 SOS 801357 HAS SOPS 792213 HAS SOUS 211074 HAS SOUPS 209834 WITH SCORE 210635.357
AT ITER 1598 NEW BEST:: SOT 1354526 SOS 801356 HAS SOPS 792212 HAS SOUS 211073 HAS SOUPS 209833 WITH SCORE 210634.356
AT ITER 1601 NEW BEST:: SOT 1354348 SOS 801289 HAS SOPS 792145 HAS SOUS 211001 HAS SOUPS 209761 WITH SCORE 210562.289
AT ITER 1630 NEW BEST:: SOT 1320244 SOS 767313 HAS SOPS 758169 HAS SOUS 204288 HAS SOUPS 203048 WITH SCORE 203815.313
AT ITER 1632 NEW BEST:: SOT 1301045 SOS 788755 HAS SOPS 779611 HAS SOUS 203581 HAS SOUPS 202341 WITH SCORE 203129.755
AT ITER 1637 NEW BEST:: SOT 1300927 SOS 788637 HAS SOPS 779493 HAS SOUS 203463 HAS SOUPS 202223 WITH SCORE 203011.637
AT ITER 1650 NEW BEST:: SOT 1300915 SOS 788613 HAS SOPS 779469 HAS SOUS 203439 HAS SOUPS 202199 WITH SCORE 202987.613
AT ITER 1651 NEW BEST:: SOT 1300915 SOS 788501 HAS SOPS 779357 HAS SOUS 203327 HAS SOUPS 202087 WITH SCORE 202875.501
AT ITER 1667 NEW BEST:: SOT 1300867 SOS 788469 HAS SOPS 779325 HAS SOUS 203231 HAS SOUPS 201991 WITH SCORE 202779.469
AT ITER 1673 NEW BEST:: SOT 1292855 SOS 780457 HAS SOPS 771313 HAS SOUS 202042 HAS SOUPS 200802 WITH SCORE 201582.457
AT ITER 1681 NEW BEST:: SOT 1292615 SOS 780027 HAS SOPS 770883 HAS SOUS 201706 HAS SOUPS 200466 WITH SCORE 201246.027
AT ITER 1699 NEW BEST:: SOT 1292406 SOS 779745 HAS SOPS 770601 HAS SOUS 201358 HAS SOUPS 200118 WITH SCORE 200897.745
AT ITER 1706 NEW BEST:: SOT 1292370 SOS 779709 HAS SOPS 770591 HAS SOUS 201348 HAS SOUPS 200108 WITH SCORE 200887.709
AT ITER 1710 NEW BEST:: SOT 1292393 SOS 779732 HAS SOPS 770654 HAS SOUS 201309 HAS SOUPS 200069 WITH SCORE 200848.732
AT ITER 1722 NEW BEST:: SOT 1292393 SOS 779712 HAS SOPS 770634 HAS SOUS 201289 HAS SOUPS 200049 WITH SCORE 200828.712
AT ITER 1732 NEW BEST:: SOT 1292393 SOS 779672 HAS SOPS 770610 HAS SOUS 201271 HAS SOUPS 200031 WITH SCORE 200810.672
AT ITER 1742 NEW BEST:: SOT 1292475 SOS 779711 HAS SOPS 770649 HAS SOUS 200983 HAS SOUPS 199743 WITH SCORE 200522.711
AT ITER 1745 NEW BEST:: SOT 1292395 SOS 780153 HAS SOPS 771097 HAS SOUS 200814 HAS SOUPS 199574 WITH SCORE 200354.153
AT ITER 1756 NEW BEST:: SOT 1282539 SOS 770209 HAS SOPS 761109 HAS SOUS 199010 HAS SOUPS 197770 WITH SCORE 198540.209
AT ITER 1758 NEW BEST:: SOT 1282419 SOS 770089 HAS SOPS 760989 HAS SOUS 198950 HAS SOUPS 197710 WITH SCORE 198480.089
AT ITER 1776 NEW BEST:: SOT 1277615 SOS 765285 HAS SOPS 756185 HAS SOUS 198194 HAS SOUPS 196954 WITH SCORE 197719.285
AT ITER 1778 NEW BEST:: SOT 1277546 SOS 765087 HAS SOPS 755984 HAS SOUS 197989 HAS SOUPS 196749 WITH SCORE 197514.087
AT ITER 1782 NEW BEST:: SOT 1274899 SOS 762411 HAS SOPS 753308 HAS SOUS 195195 HAS SOUPS 193955 WITH SCORE 194717.411
AT ITER 1784 NEW BEST:: SOT 1274546 SOS 762067 HAS SOPS 752964 HAS SOUS 195025 HAS SOUPS 193785 WITH SCORE 194547.067
AT ITER 1789 NEW BEST:: SOT 1274557 SOS 762070 HAS SOPS 752967 HAS SOUS 194794 HAS SOUPS 193554 WITH SCORE 194316.07
AT ITER 1790 NEW BEST:: SOT 1274512 SOS 761980 HAS SOPS 752862 HAS SOUS 194660 HAS SOUPS 193420 WITH SCORE 194181.98
AT ITER 1793 NEW BEST:: SOT 1274619 SOS 762133 HAS SOPS 753015 HAS SOUS 194625 HAS SOUPS 193385 WITH SCORE 194147.133
AT ITER 1800 NEW BEST:: SOT 1274530 SOS 762007 HAS SOPS 752889 HAS SOUS 194514 HAS SOUPS 193274 WITH SCORE 194036.007
AT ITER 1801 NEW BEST:: SOT 1274129 SOS 761561 HAS SOPS 752443 HAS SOUS 194251 HAS SOUPS 193011 WITH SCORE 193772.561
AT ITER 1824 NEW BEST:: SOT 1274089 SOS 761515 HAS SOPS 752397 HAS SOUS 194171 HAS SOUPS 192931 WITH SCORE 193692.515
AT ITER 1829 NEW BEST:: SOT 1273991 SOS 761375 HAS SOPS 752257 HAS SOUS 194036 HAS SOUPS 192796 WITH SCORE 193557.375
AT ITER 1856 NEW BEST:: SOT 1260971 SOS 748355 HAS SOPS 739237 HAS SOUS 191891 HAS SOUPS 190651 WITH SCORE 191399.355
AT ITER 1863 NEW BEST:: SOT 1260759 SOS 748143 HAS SOPS 739025 HAS SOUS 191732 HAS SOUPS 190492 WITH SCORE 191240.143
AT ITER 1872 NEW BEST:: SOT 1260753 SOS 748137 HAS SOPS 739019 HAS SOUS 191726 HAS SOUPS 190486 WITH SCORE 191234.137
AT ITER 1873 NEW BEST:: SOT 1260612 SOS 747905 HAS SOPS 738787 HAS SOUS 191666 HAS SOUPS 190426 WITH SCORE 191173.905
AT ITER 1897 NEW BEST:: SOT 1260350 SOS 747643 HAS SOPS 738525 HAS SOUS 191464 HAS SOUPS 190224 WITH SCORE 190971.643
AT ITER 1903 NEW BEST:: SOT 1260348 SOS 747641 HAS SOPS 738522 HAS SOUS 191459 HAS SOUPS 190219 WITH SCORE 190966.641
AT ITER 1928 NEW BEST:: SOT 1260904 SOS 748197 HAS SOPS 739078 HAS SOUS 191082 HAS SOUPS 189842 WITH SCORE 190590.197
AT ITER 1950 NEW BEST:: SOT 1260865 SOS 748119 HAS SOPS 739000 HAS SOUS 191004 HAS SOUPS 189764 WITH SCORE 190512.119
AT ITER 1967 NEW BEST:: SOT 1260692 SOS 747946 HAS SOPS 738827 HAS SOUS 190831 HAS SOUPS 189591 WITH SCORE 190338.946
AT ITER 1973 NEW BEST:: SOT 1260692 SOS 747897 HAS SOPS 738778 HAS SOUS 190782 HAS SOUPS 189542 WITH SCORE 190289.897
AT ITER 1978 NEW BEST:: SOT 1260869 SOS 747887 HAS SOPS 738630 HAS SOUS 190678 HAS SOUPS 189438 WITH SCORE 190185.887
AT ITER 1989 NEW BEST:: SOT 1260869 SOS 747781 HAS SOPS 738524 HAS SOUS 190625 HAS SOUPS 189385 WITH SCORE 190132.781
AT ITER 1991 NEW BEST:: SOT 1260854 SOS 747766 HAS SOPS 738509 HAS SOUS 190466 HAS SOUPS 189226 WITH SCORE 189973.766
AT ITER 1996 NEW BEST:: SOT 1234904 SOS 721881 HAS SOPS 712624 HAS SOUS 185503 HAS SOUPS 184263 WITH SCORE 184984.881
AT ITER 2005 NEW BEST:: SOT 1234831 SOS 721864 HAS SOPS 712607 HAS SOUS 185397 HAS SOUPS 184157 WITH SCORE 184878.864
AT ITER 2014 NEW BEST:: SOT 1234831 SOS 721952 HAS SOPS 712695 HAS SOUS 185341 HAS SOUPS 184101 WITH SCORE 184822.952
AT ITER 2022 NEW BEST:: SOT 1234613 SOS 721734 HAS SOPS 712477 HAS SOUS 185309 HAS SOUPS 184069 WITH SCORE 184790.734
AT ITER 2030 NEW BEST:: SOT 1234441 SOS 721222 HAS SOPS 711965 HAS SOUS 185280 HAS SOUPS 184040 WITH SCORE 184761.222
AT ITER 2040 NEW BEST:: SOT 1234446 SOS 720948 HAS SOPS 711691 HAS SOUS 185192 HAS SOUPS 183952 WITH SCORE 184672.948
AT ITER 2061 NEW BEST:: SOT 1234446 SOS 721082 HAS SOPS 711825 HAS SOUS 184599 HAS SOUPS 183359 WITH SCORE 184080.082
AT ITER 2065 NEW BEST:: SOT 1234513 SOS 720915 HAS SOPS 711658 HAS SOUS 184524 HAS SOUPS 183284 WITH SCORE 184004.915
AT ITER 2070 NEW BEST:: SOT 1233995 SOS 720351 HAS SOPS 711094 HAS SOUS 183955 HAS SOUPS 182715 WITH SCORE 183435.351
AT ITER 2079 NEW BEST:: SOT 1233881 SOS 720237 HAS SOPS 710980 HAS SOUS 183758 HAS SOUPS 182518 WITH SCORE 183238.237
AT ITER 2084 NEW BEST:: SOT 1233736 SOS 720034 HAS SOPS 710777 HAS SOUS 183576 HAS SOUPS 182336 WITH SCORE 183056.034
AT ITER 2108 NEW BEST:: SOT 1234462 SOS 720760 HAS SOPS 711503 HAS SOUS 181789 HAS SOUPS 180549 WITH SCORE 181269.76
AT ITER 2115 NEW BEST:: SOT 1234424 SOS 720714 HAS SOPS 711457 HAS SOUS 181732 HAS SOUPS 180492 WITH SCORE 181212.714
AT ITER 2120 NEW BEST:: SOT 1234267 SOS 720557 HAS SOPS 711300 HAS SOUS 181566 HAS SOUPS 180326 WITH SCORE 181046.557
AT ITER 2122 NEW BEST:: SOT 1234039 SOS 720462 HAS SOPS 711205 HAS SOUS 181464 HAS SOUPS 180224 WITH SCORE 180944.462
AT ITER 2163 NEW BEST:: SOT 1234531 SOS 721104 HAS SOPS 711847 HAS SOUS 181401 HAS SOUPS 180161 WITH SCORE 180882.104
AT ITER 2171 NEW BEST:: SOT 1234415 SOS 720988 HAS SOPS 711731 HAS SOUS 181169 HAS SOUPS 179929 WITH SCORE 180649.988
AT ITER 2207 NEW BEST:: SOT 1234326 SOS 720875 HAS SOPS 711618 HAS SOUS 180918 HAS SOUPS 179678 WITH SCORE 180398.875
AT ITER 2210 NEW BEST:: SOT 1234199 SOS 720621 HAS SOPS 711364 HAS SOUS 180664 HAS SOUPS 179424 WITH SCORE 180144.621
AT ITER 2243 NEW BEST:: SOT 1234101 SOS 720385 HAS SOPS 711128 HAS SOUS 180584 HAS SOUPS 179344 WITH SCORE 180064.385
AT ITER 2245 NEW BEST:: SOT 1234092 SOS 720376 HAS SOPS 711110 HAS SOUS 180566 HAS SOUPS 179326 WITH SCORE 180046.376
AT ITER 2269 NEW BEST:: SOT 1234101 SOS 720376 HAS SOPS 711110 HAS SOUS 180295 HAS SOUPS 179055 WITH SCORE 179775.376
AT ITER 2270 NEW BEST:: SOT 1234049 SOS 720106 HAS SOPS 710840 HAS SOUS 180191 HAS SOUPS 178951 WITH SCORE 179671.106
AT ITER 2273 NEW BEST:: SOT 1233904 SOS 719961 HAS SOPS 710663 HAS SOUS 179981 HAS SOUPS 178741 WITH SCORE 179460.961
AT ITER 2284 NEW BEST:: SOT 1233438 SOS 719495 HAS SOPS 710197 HAS SOUS 179343 HAS SOUPS 178103 WITH SCORE 178822.495
AT ITER 2289 NEW BEST:: SOT 1233437 SOS 719437 HAS SOPS 710139 HAS SOUS 179341 HAS SOUPS 178101 WITH SCORE 178820.437
AT ITER 2302 NEW BEST:: SOT 1233423 SOS 719423 HAS SOPS 710125 HAS SOUS 179327 HAS SOUPS 178087 WITH SCORE 178806.423
AT ITER 2309 NEW BEST:: SOT 1233425 SOS 719425 HAS SOPS 710127 HAS SOUS 179142 HAS SOUPS 177902 WITH SCORE 178621.425
AT ITER 2315 NEW BEST:: SOT 1233102 SOS 719310 HAS SOPS 710012 HAS SOUS 179129 HAS SOUPS 177889 WITH SCORE 178608.31
AT ITER 2316 NEW BEST:: SOT 1233369 SOS 720124 HAS SOPS 710826 HAS SOUS 178804 HAS SOUPS 177564 WITH SCORE 178284.124
AT ITER 2318 NEW BEST:: SOT 1233271 SOS 720050 HAS SOPS 710752 HAS SOUS 178769 HAS SOUPS 177529 WITH SCORE 178249.05
AT ITER 2327 NEW BEST:: SOT 1233244 SOS 720023 HAS SOPS 710725 HAS SOUS 178724 HAS SOUPS 177484 WITH SCORE 178204.023
AT ITER 2332 NEW BEST:: SOT 1233322 SOS 720240 HAS SOPS 710942 HAS SOUS 178620 HAS SOUPS 177380 WITH SCORE 178100.24
AT ITER 2337 NEW BEST:: SOT 1233267 SOS 719691 HAS SOPS 710393 HAS SOUS 178463 HAS SOUPS 177223 WITH SCORE 177942.691
AT ITER 2338 NEW BEST:: SOT 1233302 SOS 719726 HAS SOPS 710428 HAS SOUS 178422 HAS SOUPS 177182 WITH SCORE 177901.726
AT ITER 2397 NEW BEST:: SOT 1233204 SOS 719621 HAS SOPS 710323 HAS SOUS 178317 HAS SOUPS 177077 WITH SCORE 177796.621
AT ITER 2426 NEW BEST:: SOT 1233114 SOS 719531 HAS SOPS 710233 HAS SOUS 177249 HAS SOUPS 176009 WITH SCORE 176728.531
AT ITER 2448 NEW BEST:: SOT 1233114 SOS 719613 HAS SOPS 710315 HAS SOUS 177227 HAS SOUPS 175987 WITH SCORE 176706.613
AT ITER 2450 NEW BEST:: SOT 1232890 SOS 719400 HAS SOPS 710102 HAS SOUS 177042 HAS SOUPS 175802 WITH SCORE 176521.4
AT ITER 2454 NEW BEST:: SOT 1232941 SOS 719451 HAS SOPS 710215 HAS SOUS 177020 HAS SOUPS 175780 WITH SCORE 176499.451
AT ITER 2462 NEW BEST:: SOT 1232887 SOS 719486 HAS SOPS 710250 HAS SOUS 177002 HAS SOUPS 175762 WITH SCORE 176481.486
AT ITER 2494 NEW BEST:: SOT 1232830 SOS 719232 HAS SOPS 709996 HAS SOUS 176945 HAS SOUPS 175705 WITH SCORE 176424.232
AT ITER 2511 NEW BEST:: SOT 1232830 SOS 718132 HAS SOPS 708896 HAS SOUS 176910 HAS SOUPS 175670 WITH SCORE 176388.132
AT ITER 2516 NEW BEST:: SOT 1232807 SOS 718109 HAS SOPS 708873 HAS SOUS 176887 HAS SOUPS 175647 WITH SCORE 176365.109
AT ITER 2519 NEW BEST:: SOT 1232428 SOS 717964 HAS SOPS 708728 HAS SOUS 176543 HAS SOUPS 175303 WITH SCORE 176020.964
AT ITER 2537 NEW BEST:: SOT 1232496 SOS 717907 HAS SOPS 708438 HAS SOUS 176517 HAS SOUPS 175277 WITH SCORE 175994.907
AT ITER 2545 NEW BEST:: SOT 1222800 SOS 708048 HAS SOPS 698579 HAS SOUS 175131 HAS SOUPS 173891 WITH SCORE 174599.048
AT ITER 2549 NEW BEST:: SOT 1222808 SOS 707988 HAS SOPS 698519 HAS SOUS 175115 HAS SOUPS 173875 WITH SCORE 174582.988
AT ITER 2557 NEW BEST:: SOT 1222815 SOS 707825 HAS SOPS 698356 HAS SOUS 175081 HAS SOUPS 173841 WITH SCORE 174548.825
AT ITER 2561 NEW BEST:: SOT 1222546 SOS 707076 HAS SOPS 697607 HAS SOUS 174831 HAS SOUPS 173591 WITH SCORE 174298.076
AT ITER 2572 NEW BEST:: SOT 1222552 SOS 707088 HAS SOPS 697619 HAS SOUS 174825 HAS SOUPS 173585 WITH SCORE 174292.088
AT ITER 2578 NEW BEST:: SOT 1222552 SOS 707380 HAS SOPS 697911 HAS SOUS 174533 HAS SOUPS 173293 WITH SCORE 174000.38
AT ITER 2585 NEW BEST:: SOT 1222434 SOS 707144 HAS SOPS 697675 HAS SOUS 174331 HAS SOUPS 173091 WITH SCORE 173798.144
AT ITER 2672 NEW BEST:: SOT 1222503 SOS 707357 HAS SOPS 697888 HAS SOUS 174239 HAS SOUPS 172999 WITH SCORE 173706.357
AT ITER 2678 NEW BEST:: SOT 1222495 SOS 707349 HAS SOPS 697880 HAS SOUS 174231 HAS SOUPS 172991 WITH SCORE 173698.349
AT ITER 2698 NEW BEST:: SOT 1222478 SOS 707324 HAS SOPS 697855 HAS SOUS 174197 HAS SOUPS 172957 WITH SCORE 173664.324
AT ITER 2707 NEW BEST:: SOT 1222133 SOS 706731 HAS SOPS 697262 HAS SOUS 173775 HAS SOUPS 172535 WITH SCORE 173241.731
AT ITER 2727 NEW BEST:: SOT 1222121 SOS 706719 HAS SOPS 697250 HAS SOUS 173747 HAS SOUPS 172507 WITH SCORE 173213.719
AT ITER 2743 NEW BEST:: SOT 1222134 SOS 706732 HAS SOPS 697277 HAS SOUS 173727 HAS SOUPS 172487 WITH SCORE 173193.732
AT ITER 2749 NEW BEST:: SOT 1222079 SOS 706487 HAS SOPS 697032 HAS SOUS 173482 HAS SOUPS 172242 WITH SCORE 172948.487
AT ITER 2753 NEW BEST:: SOT 1222071 SOS 706463 HAS SOPS 697008 HAS SOUS 173478 HAS SOUPS 172238 WITH SCORE 172944.463
AT ITER 2794 NEW BEST:: SOT 1221904 SOS 706364 HAS SOPS 696909 HAS SOUS 173426 HAS SOUPS 172186 WITH SCORE 172892.364
AT ITER 2816 NEW BEST:: SOT 1221873 SOS 706354 HAS SOPS 696899 HAS SOUS 173408 HAS SOUPS 172168 WITH SCORE 172874.354
AT ITER 2856 NEW BEST:: SOT 1221789 SOS 706270 HAS SOPS 696815 HAS SOUS 173236 HAS SOUPS 171996 WITH SCORE 172702.27
AT ITER 2866 NEW BEST:: SOT 1221787 SOS 706266 HAS SOPS 696811 HAS SOUS 173228 HAS SOUPS 171988 WITH SCORE 172694.266
AT ITER 2895 NEW BEST:: SOT 1221774 SOS 706253 HAS SOPS 696785 HAS SOUS 173202 HAS SOUPS 171962 WITH SCORE 172668.253
AT ITER 2905 NEW BEST:: SOT 1221720 SOS 706236 HAS SOPS 696768 HAS SOUS 173048 HAS SOUPS 171808 WITH SCORE 172514.236
AT ITER 2913 NEW BEST:: SOT 1221636 SOS 706152 HAS SOPS 696684 HAS SOUS 172880 HAS SOUPS 171640 WITH SCORE 172346.152
AT ITER 2918 NEW BEST:: SOT 1221620 SOS 706136 HAS SOPS 696668 HAS SOUS 172844 HAS SOUPS 171604 WITH SCORE 172310.136
AT ITER 2920 NEW BEST:: SOT 1221360 SOS 705680 HAS SOPS 696212 HAS SOUS 172628 HAS SOUPS 171388 WITH SCORE 172093.68
AT ITER 2937 NEW BEST:: SOT 1221295 SOS 705531 HAS SOPS 696063 HAS SOUS 172593 HAS SOUPS 171353 WITH SCORE 172058.531
AT ITER 2945 NEW BEST:: SOT 1221209 SOS 705339 HAS SOPS 695871 HAS SOUS 172515 HAS SOUPS 171275 WITH SCORE 171980.339
AT ITER 2972 NEW BEST:: SOT 1220833 SOS 704963 HAS SOPS 695495 HAS SOUS 172139 HAS SOUPS 170899 WITH SCORE 171603.963
AT ITER 2994 NEW BEST:: SOT 1220700 SOS 704818 HAS SOPS 695350 HAS SOUS 172003 HAS SOUPS 170763 WITH SCORE 171467.818
AT ITER 3007 NEW BEST:: SOT 1220691 SOS 704809 HAS SOPS 695341 HAS SOUS 171985 HAS SOUPS 170745 WITH SCORE 171449.809
AT ITER 3013 NEW BEST:: SOT 1220627 SOS 704681 HAS SOPS 695213 HAS SOUS 171905 HAS SOUPS 170665 WITH SCORE 171369.681
AT ITER 3023 NEW BEST:: SOT 1220537 SOS 704639 HAS SOPS 695171 HAS SOUS 171821 HAS SOUPS 170581 WITH SCORE 171285.639
AT ITER 3036 NEW BEST:: SOT 1220414 SOS 704454 HAS SOPS 694986 HAS SOUS 171668 HAS SOUPS 170428 WITH SCORE 171132.454
AT ITER 3039 NEW BEST:: SOT 1220398 SOS 704438 HAS SOPS 694954 HAS SOUS 171636 HAS SOUPS 170396 WITH SCORE 171100.438
AT ITER 3046 NEW BEST:: SOT 1220037 SOS 704079 HAS SOPS 694595 HAS SOUS 171458 HAS SOUPS 170218 WITH SCORE 170922.079
AT ITER 3068 NEW BEST:: SOT 1220005 SOS 704047 HAS SOPS 694563 HAS SOUS 171384 HAS SOUPS 170144 WITH SCORE 170848.047
AT ITER 3070 NEW BEST:: SOT 1220042 SOS 704084 HAS SOPS 694547 HAS SOUS 171359 HAS SOUPS 170097 WITH SCORE 170801.084
AT ITER 3077 NEW BEST:: SOT 1220038 SOS 704212 HAS SOPS 694675 HAS SOUS 171267 HAS SOUPS 170005 WITH SCORE 170709.212
AT ITER 3093 NEW BEST:: SOT 1220032 SOS 704206 HAS SOPS 694663 HAS SOUS 171255 HAS SOUPS 169993 WITH SCORE 170697.206
AT ITER 3102 NEW BEST:: SOT 1219743 SOS 703807 HAS SOPS 694264 HAS SOUS 170885 HAS SOUPS 169623 WITH SCORE 170326.807
AT ITER 3103 NEW BEST:: SOT 1219721 SOS 703785 HAS SOPS 694242 HAS SOUS 170837 HAS SOUPS 169575 WITH SCORE 170278.785
AT ITER 3114 NEW BEST:: SOT 1219080 SOS 703096 HAS SOPS 693553 HAS SOUS 170051 HAS SOUPS 168789 WITH SCORE 169492.096
AT ITER 3115 NEW BEST:: SOT 1219080 SOS 703090 HAS SOPS 693547 HAS SOUS 170045 HAS SOUPS 168783 WITH SCORE 169486.09
AT ITER 3117 NEW BEST:: SOT 1219005 SOS 702940 HAS SOPS 693397 HAS SOUS 169895 HAS SOUPS 168633 WITH SCORE 169335.94
AT ITER 3135 NEW BEST:: SOT 1219020 SOS 703246 HAS SOPS 693703 HAS SOUS 169773 HAS SOUPS 168511 WITH SCORE 169214.246
AT ITER 3138 NEW BEST:: SOT 1218963 SOS 703110 HAS SOPS 693567 HAS SOUS 169561 HAS SOUPS 168299 WITH SCORE 169002.11
AT ITER 3148 NEW BEST:: SOT 1218822 SOS 702973 HAS SOPS 693430 HAS SOUS 169526 HAS SOUPS 168264 WITH SCORE 168966.973
AT ITER 3150 NEW BEST:: SOT 1218480 SOS 702630 HAS SOPS 693087 HAS SOUS 169506 HAS SOUPS 168244 WITH SCORE 168946.63
AT ITER 3153 NEW BEST:: SOT 1218916 SOS 702988 HAS SOPS 693445 HAS SOUS 169300 HAS SOUPS 168038 WITH SCORE 168740.988
AT ITER 3155 NEW BEST:: SOT 1218209 SOS 702330 HAS SOPS 692787 HAS SOUS 168795 HAS SOUPS 167533 WITH SCORE 168235.33
AT ITER 3170 NEW BEST:: SOT 1218269 SOS 702390 HAS SOPS 692847 HAS SOUS 168792 HAS SOUPS 167530 WITH SCORE 168232.39
AT ITER 3176 NEW BEST:: SOT 1218279 SOS 702557 HAS SOPS 693014 HAS SOUS 168401 HAS SOUPS 167139 WITH SCORE 167841.557
AT ITER 3181 NEW BEST:: SOT 1218257 SOS 702530 HAS SOPS 692987 HAS SOUS 168357 HAS SOUPS 167095 WITH SCORE 167797.53
AT ITER 3194 NEW BEST:: SOT 1218193 SOS 702482 HAS SOPS 692939 HAS SOUS 168245 HAS SOUPS 166983 WITH SCORE 167685.482
AT ITER 3200 NEW BEST:: SOT 1218181 SOS 702473 HAS SOPS 692930 HAS SOUS 168212 HAS SOUPS 166950 WITH SCORE 167652.473
AT ITER 3215 NEW BEST:: SOT 1218132 SOS 692064 HAS SOPS 679635 HAS SOUS 167791 HAS SOUPS 166443 WITH SCORE 167135.064
AT ITER 3218 NEW BEST:: SOT 1218132 SOS 692060 HAS SOPS 679631 HAS SOUS 167787 HAS SOUPS 166439 WITH SCORE 167131.06
AT ITER 3240 NEW BEST:: SOT 1217961 SOS 692030 HAS SOPS 679632 HAS SOUS 167476 HAS SOUPS 166128 WITH SCORE 166820.03
AT ITER 3247 NEW BEST:: SOT 1217864 SOS 692253 HAS SOPS 679855 HAS SOUS 167395 HAS SOUPS 166047 WITH SCORE 166739.253
AT ITER 3271 NEW BEST:: SOT 1217850 SOS 692239 HAS SOPS 679841 HAS SOUS 167368 HAS SOUPS 166020 WITH SCORE 166712.239
AT ITER 3272 NEW BEST:: SOT 1217872 SOS 681726 HAS SOPS 669328 HAS SOUS 167069 HAS SOUPS 165721 WITH SCORE 166402.726
AT ITER 3290 NEW BEST:: SOT 1217842 SOS 681696 HAS SOPS 669298 HAS SOUS 167057 HAS SOUPS 165709 WITH SCORE 166390.696
AT ITER 3295 NEW BEST:: SOT 1217839 SOS 681693 HAS SOPS 669295 HAS SOUS 167051 HAS SOUPS 165703 WITH SCORE 166384.693
AT ITER 3314 NEW BEST:: SOT 1217859 SOS 681713 HAS SOPS 666979 HAS SOUS 167113 HAS SOUPS 165473 WITH SCORE 166154.713
AT ITER 3317 NEW BEST:: SOT 1217957 SOS 682009 HAS SOPS 667275 HAS SOUS 166926 HAS SOUPS 165286 WITH SCORE 165968.009
AT ITER 3370 NEW BEST:: SOT 1217957 SOS 679787 HAS SOPS 665053 HAS SOUS 166926 HAS SOUPS 165286 WITH SCORE 165965.787
AT ITER 3383 NEW BEST:: SOT 1217825 SOS 679611 HAS SOPS 664877 HAS SOUS 166794 HAS SOUPS 165154 WITH SCORE 165833.611
AT ITER 3405 NEW BEST:: SOT 1217782 SOS 679746 HAS SOPS 665012 HAS SOUS 166759 HAS SOUPS 165119 WITH SCORE 165798.746
AT ITER 3427 NEW BEST:: SOT 1217865 SOS 679559 HAS SOPS 664825 HAS SOUS 166669 HAS SOUPS 165029 WITH SCORE 165708.559
AT ITER 3488 NEW BEST:: SOT 1216864 SOS 678624 HAS SOPS 663890 HAS SOUS 166332 HAS SOUPS 164692 WITH SCORE 165370.624
AT ITER 3505 NEW BEST:: SOT 1216963 SOS 678400 HAS SOPS 663666 HAS SOUS 166208 HAS SOUPS 164568 WITH SCORE 165246.4
AT ITER 3525 NEW BEST:: SOT 1216858 SOS 678295 HAS SOPS 663561 HAS SOUS 166106 HAS SOUPS 164466 WITH SCORE 165144.295
AT ITER 3527 NEW BEST:: SOT 1217045 SOS 660885 HAS SOPS 646151 HAS SOUS 165711 HAS SOUPS 164071 WITH SCORE 164731.885
AT ITER 3547 NEW BEST:: SOT 1217045 SOS 660885 HAS SOPS 646151 HAS SOUS 165696 HAS SOUPS 164056 WITH SCORE 164716.885
AT ITER 3554 NEW BEST:: SOT 1217026 SOS 660866 HAS SOPS 646132 HAS SOUS 165658 HAS SOUPS 164018 WITH SCORE 164678.866
AT ITER 3618 NEW BEST:: SOT 1209703 SOS 653356 HAS SOPS 638622 HAS SOUS 165375 HAS SOUPS 163735 WITH SCORE 164388.356
AT ITER 3659 NEW BEST:: SOT 1209177 SOS 652755 HAS SOPS 638021 HAS SOUS 164323 HAS SOUPS 162683 WITH SCORE 163335.755
AT ITER 3678 NEW BEST:: SOT 1209137 SOS 652717 HAS SOPS 637983 HAS SOUS 164243 HAS SOUPS 162603 WITH SCORE 163255.717
AT ITER 3682 NEW BEST:: SOT 1209137 SOS 652409 HAS SOPS 637675 HAS SOUS 164155 HAS SOUPS 162515 WITH SCORE 163167.409
AT ITER 3695 NEW BEST:: SOT 1192035 SOS 635185 HAS SOPS 620451 HAS SOUS 162856 HAS SOUPS 161216 WITH SCORE 161851.185
AT ITER 3698 NEW BEST:: SOT 1191861 SOS 634966 HAS SOPS 620380 HAS SOUS 162777 HAS SOUPS 161137 WITH SCORE 161771.966
AT ITER 3699 NEW BEST:: SOT 1191851 SOS 634956 HAS SOPS 620354 HAS SOUS 162757 HAS SOUPS 161117 WITH SCORE 161751.956
AT ITER 3701 NEW BEST:: SOT 1191844 SOS 634881 HAS SOPS 620279 HAS SOUS 162731 HAS SOUPS 161091 WITH SCORE 161725.881
AT ITER 3706 NEW BEST:: SOT 1191887 SOS 634924 HAS SOPS 620303 HAS SOUS 162724 HAS SOUPS 161084 WITH SCORE 161718.924
AT ITER 3733 NEW BEST:: SOT 1191879 SOS 634908 HAS SOPS 620287 HAS SOUS 162708 HAS SOUPS 161068 WITH SCORE 161702.908
AT ITER 3765 NEW BEST:: SOT 1191757 SOS 634317 HAS SOPS 619696 HAS SOUS 162560 HAS SOUPS 160920 WITH SCORE 161554.317
AT ITER 3770 NEW BEST:: SOT 1191780 SOS 634340 HAS SOPS 619717 HAS SOUS 162556 HAS SOUPS 160916 WITH SCORE 161550.34
AT ITER 3772 NEW BEST:: SOT 1191729 SOS 634289 HAS SOPS 619666 HAS SOUS 162459 HAS SOUPS 160819 WITH SCORE 161453.289
AT ITER 3782 NEW BEST:: SOT 1191633 SOS 634243 HAS SOPS 619766 HAS SOUS 162413 HAS SOUPS 160773 WITH SCORE 161407.243
AT ITER 3784 NEW BEST:: SOT 1191586 SOS 633816 HAS SOPS 619339 HAS SOUS 162322 HAS SOUPS 160682 WITH SCORE 161315.816
AT ITER 3793 NEW BEST:: SOT 1191344 SOS 633487 HAS SOPS 619010 HAS SOUS 162219 HAS SOUPS 160579 WITH SCORE 161212.487
AT ITER 3795 NEW BEST:: SOT 1193245 SOS 635388 HAS SOPS 620911 HAS SOUS 160262 HAS SOUPS 158622 WITH SCORE 159257.388
AT ITER 3802 NEW BEST:: SOT 1193182 SOS 634904 HAS SOPS 620427 HAS SOUS 159897 HAS SOUPS 158257 WITH SCORE 158891.904
AT ITER 3820 NEW BEST:: SOT 1193122 SOS 634844 HAS SOPS 620367 HAS SOUS 159867 HAS SOUPS 158227 WITH SCORE 158861.844
AT ITER 3822 NEW BEST:: SOT 1194116 SOS 639806 HAS SOPS 625329 HAS SOUS 159769 HAS SOUPS 158129 WITH SCORE 158768.806
AT ITER 3844 NEW BEST:: SOT 1194134 SOS 637843 HAS SOPS 623366 HAS SOUS 159682 HAS SOUPS 158042 WITH SCORE 158679.843
AT ITER 3875 NEW BEST:: SOT 1194026 SOS 637623 HAS SOPS 623146 HAS SOUS 159617 HAS SOUPS 157977 WITH SCORE 158614.623
AT ITER 3895 NEW BEST:: SOT 1192250 SOS 635847 HAS SOPS 621370 HAS SOUS 159313 HAS SOUPS 157673 WITH SCORE 158308.847
AT ITER 3906 NEW BEST:: SOT 1192250 SOS 635847 HAS SOPS 621370 HAS SOUS 159307 HAS SOUPS 157667 WITH SCORE 158302.847
AT ITER 3912 NEW BEST:: SOT 1192252 SOS 635903 HAS SOPS 621448 HAS SOUS 159200 HAS SOUPS 157579 WITH SCORE 158214.903
AT ITER 3926 NEW BEST:: SOT 1192269 SOS 635878 HAS SOPS 621423 HAS SOUS 159192 HAS SOUPS 157571 WITH SCORE 158206.878
AT ITER 3945 NEW BEST:: SOT 1192191 SOS 635800 HAS SOPS 621345 HAS SOUS 159188 HAS SOUPS 157567 WITH SCORE 158202.8
AT ITER 3950 NEW BEST:: SOT 1192260 SOS 635835 HAS SOPS 621380 HAS SOUS 159147 HAS SOUPS 157526 WITH SCORE 158161.835
AT ITER 3955 NEW BEST:: SOT 1192260 SOS 635545 HAS SOPS 621090 HAS SOUS 159115 HAS SOUPS 157494 WITH SCORE 158129.545
AT ITER 3956 NEW BEST:: SOT 1192277 SOS 635507 HAS SOPS 621052 HAS SOUS 159099 HAS SOUPS 157478 WITH SCORE 158113.507
AT ITER 3964 NEW BEST:: SOT 1192086 SOS 635316 HAS SOPS 620861 HAS SOUS 158875 HAS SOUPS 157254 WITH SCORE 157889.316
AT ITER 3974 NEW BEST:: SOT 1192040 SOS 635270 HAS SOPS 620815 HAS SOUS 158773 HAS SOUPS 157152 WITH SCORE 157787.27
AT ITER 3977 NEW BEST:: SOT 1192036 SOS 635266 HAS SOPS 620807 HAS SOUS 158767 HAS SOUPS 157146 WITH SCORE 157781.266
AT ITER 3987 NEW BEST:: SOT 1192000 SOS 635230 HAS SOPS 620771 HAS SOUS 158679 HAS SOUPS 157058 WITH SCORE 157693.23
AT ITER 4000 NEW BEST:: SOT 1192000 SOS 635230 HAS SOPS 620771 HAS SOUS 158676 HAS SOUPS 157055 WITH SCORE 157690.23
AT ITER 4008 NEW BEST:: SOT 1191996 SOS 635226 HAS SOPS 620763 HAS SOUS 158668 HAS SOUPS 157047 WITH SCORE 157682.226
AT ITER 4018 NEW BEST:: SOT 1191853 SOS 635246 HAS SOPS 620819 HAS SOUS 158606 HAS SOUPS 156985 WITH SCORE 157620.246
AT ITER 4051 NEW BEST:: SOT 1191761 SOS 635100 HAS SOPS 620651 HAS SOUS 158601 HAS SOUPS 156961 WITH SCORE 157596.1
AT ITER 4057 NEW BEST:: SOT 1191761 SOS 635025 HAS SOPS 620576 HAS SOUS 158601 HAS SOUPS 156961 WITH SCORE 157596.025
AT ITER 4097 NEW BEST:: SOT 1191688 SOS 634599 HAS SOPS 620150 HAS SOUS 158528 HAS SOUPS 156888 WITH SCORE 157522.599
AT ITER 4099 NEW BEST:: SOT 1191718 SOS 633994 HAS SOPS 620121 HAS SOUS 158392 HAS SOUPS 156752 WITH SCORE 157385.994
AT ITER 4115 NEW BEST:: SOT 1191059 SOS 633361 HAS SOPS 619488 HAS SOUS 157662 HAS SOUPS 156022 WITH SCORE 156655.361
AT ITER 4135 NEW BEST:: SOT 1191023 SOS 633325 HAS SOPS 619487 HAS SOUS 157532 HAS SOUPS 155892 WITH SCORE 156525.325
AT ITER 4160 NEW BEST:: SOT 1191023 SOS 633262 HAS SOPS 619424 HAS SOUS 157532 HAS SOUPS 155892 WITH SCORE 156525.262
AT ITER 4196 NEW BEST:: SOT 1191026 SOS 633154 HAS SOPS 619229 HAS SOUS 157279 HAS SOUPS 155639 WITH SCORE 156272.154
AT ITER 4237 NEW BEST:: SOT 1190947 SOS 633138 HAS SOPS 619213 HAS SOUS 157239 HAS SOUPS 155599 WITH SCORE 156232.138
AT ITER 4256 NEW BEST:: SOT 1190916 SOS 633099 HAS SOPS 619174 HAS SOUS 157177 HAS SOUPS 155537 WITH SCORE 156170.099
AT ITER 4265 NEW BEST:: SOT 1190579 SOS 632660 HAS SOPS 618735 HAS SOUS 156874 HAS SOUPS 155234 WITH SCORE 155866.66
AT ITER 4270 NEW BEST:: SOT 1190757 SOS 633202 HAS SOPS 619277 HAS SOUS 156807 HAS SOUPS 155167 WITH SCORE 155800.202
AT ITER 4311 NEW BEST:: SOT 1190646 SOS 633091 HAS SOPS 619166 HAS SOUS 156689 HAS SOUPS 155049 WITH SCORE 155682.091
AT ITER 4321 NEW BEST:: SOT 1190646 SOS 632996 HAS SOPS 619071 HAS SOUS 156594 HAS SOUPS 154954 WITH SCORE 155586.996
AT ITER 4327 NEW BEST:: SOT 1190621 SOS 632971 HAS SOPS 619046 HAS SOUS 155779 HAS SOUPS 154139 WITH SCORE 154771.971
AT ITER 4341 NEW BEST:: SOT 1190614 SOS 632957 HAS SOPS 619032 HAS SOUS 155765 HAS SOUPS 154125 WITH SCORE 154757.957
AT ITER 4366 NEW BEST:: SOT 1190426 SOS 632845 HAS SOPS 618920 HAS SOUS 155465 HAS SOUPS 153825 WITH SCORE 154457.845
AT ITER 4371 NEW BEST:: SOT 1190426 SOS 632821 HAS SOPS 618896 HAS SOUS 155465 HAS SOUPS 153825 WITH SCORE 154457.821
AT ITER 4379 NEW BEST:: SOT 1190383 SOS 632778 HAS SOPS 618853 HAS SOUS 155092 HAS SOUPS 153452 WITH SCORE 154084.778
AT ITER 4463 NEW BEST:: SOT 1190399 SOS 632794 HAS SOPS 618861 HAS SOUS 155088 HAS SOUPS 153448 WITH SCORE 154080.794
AT ITER 4486 NEW BEST:: SOT 1190393 SOS 632788 HAS SOPS 618855 HAS SOUS 155088 HAS SOUPS 153448 WITH SCORE 154080.788
AT ITER 4517 NEW BEST:: SOT 1190393 SOS 632788 HAS SOPS 618852 HAS SOUS 155082 HAS SOUPS 153442 WITH SCORE 154074.788
AT ITER 4525 NEW BEST:: SOT 1190301 SOS 632738 HAS SOPS 618802 HAS SOUS 154894 HAS SOUPS 153254 WITH SCORE 153886.738
AT ITER 4541 NEW BEST:: SOT 1190273 SOS 632668 HAS SOPS 618732 HAS SOUS 154866 HAS SOUPS 153226 WITH SCORE 153858.668
AT ITER 4550 NEW BEST:: SOT 1190301 SOS 629049 HAS SOPS 615113 HAS SOUS 154661 HAS SOUPS 153021 WITH SCORE 153650.049
AT ITER 4558 NEW BEST:: SOT 1190304 SOS 626283 HAS SOPS 612347 HAS SOUS 154565 HAS SOUPS 152925 WITH SCORE 153551.283
AT ITER 4571 NEW BEST:: SOT 1190280 SOS 626262 HAS SOPS 612326 HAS SOUS 154550 HAS SOUPS 152910 WITH SCORE 153536.262
AT ITER 4578 NEW BEST:: SOT 1190232 SOS 626214 HAS SOPS 612278 HAS SOUS 154464 HAS SOUPS 152824 WITH SCORE 153450.214
AT ITER 4619 NEW BEST:: SOT 1190057 SOS 626023 HAS SOPS 612226 HAS SOUS 154405 HAS SOUPS 152765 WITH SCORE 153391.023
AT ITER 4638 NEW BEST:: SOT 1190011 SOS 625954 HAS SOPS 612157 HAS SOUS 154336 HAS SOUPS 152696 WITH SCORE 153321.954
AT ITER 4639 NEW BEST:: SOT 1189849 SOS 625827 HAS SOPS 612129 HAS SOUS 154289 HAS SOUPS 152649 WITH SCORE 153274.827
AT ITER 4641 NEW BEST:: SOT 1189824 SOS 625809 HAS SOPS 612111 HAS SOUS 154271 HAS SOUPS 152631 WITH SCORE 153256.809
AT ITER 4644 NEW BEST:: SOT 1189790 SOS 625707 HAS SOPS 611975 HAS SOUS 154187 HAS SOUPS 152547 WITH SCORE 153172.707
AT ITER 4652 NEW BEST:: SOT 1189637 SOS 625452 HAS SOPS 611720 HAS SOUS 153881 HAS SOUPS 152241 WITH SCORE 152866.452
AT ITER 4658 NEW BEST:: SOT 1189652 SOS 625436 HAS SOPS 611704 HAS SOUS 153854 HAS SOUPS 152214 WITH SCORE 152839.436
AT ITER 4705 NEW BEST:: SOT 1189521 SOS 625325 HAS SOPS 611593 HAS SOUS 153641 HAS SOUPS 152001 WITH SCORE 152626.325
AT ITER 4717 NEW BEST:: SOT 1189475 SOS 625249 HAS SOPS 611517 HAS SOUS 153542 HAS SOUPS 151902 WITH SCORE 152527.249
AT ITER 4730 NEW BEST:: SOT 1189513 SOS 625302 HAS SOPS 611570 HAS SOUS 153530 HAS SOUPS 151890 WITH SCORE 152515.302
AT ITER 4732 NEW BEST:: SOT 1189601 SOS 625566 HAS SOPS 611834 HAS SOUS 153442 HAS SOUPS 151802 WITH SCORE 152427.566
AT ITER 4778 NEW BEST:: SOT 1189639 SOS 625794 HAS SOPS 612062 HAS SOUS 153326 HAS SOUPS 151686 WITH SCORE 152311.794
AT ITER 4779 NEW BEST:: SOT 1189639 SOS 625783 HAS SOPS 612051 HAS SOUS 153315 HAS SOUPS 151675 WITH SCORE 152300.783
AT ITER 4790 NEW BEST:: SOT 1189466 SOS 625606 HAS SOPS 611874 HAS SOUS 153255 HAS SOUPS 151615 WITH SCORE 152240.606
AT ITER 4805 NEW BEST:: SOT 1189466 SOS 625599 HAS SOPS 611867 HAS SOUS 153255 HAS SOUPS 151615 WITH SCORE 152240.599
AT ITER 4832 NEW BEST:: SOT 1189484 SOS 625574 HAS SOPS 611842 HAS SOUS 153149 HAS SOUPS 151509 WITH SCORE 152134.574
AT ITER 4859 NEW BEST:: SOT 1189556 SOS 625713 HAS SOPS 611981 HAS SOUS 153061 HAS SOUPS 151421 WITH SCORE 152046.713
AT ITER 4883 NEW BEST:: SOT 1189541 SOS 625698 HAS SOPS 611966 HAS SOUS 153046 HAS SOUPS 151406 WITH SCORE 152031.698
AT ITER 4896 NEW BEST:: SOT 1189508 SOS 625665 HAS SOPS 611933 HAS SOUS 152980 HAS SOUPS 151340 WITH SCORE 151965.665
AT ITER 4911 NEW BEST:: SOT 1189508 SOS 625689 HAS SOPS 611969 HAS SOUS 152968 HAS SOUPS 151328 WITH SCORE 151953.689
AT ITER 4929 NEW BEST:: SOT 1189477 SOS 625658 HAS SOPS 611938 HAS SOUS 152903 HAS SOUPS 151263 WITH SCORE 151888.658
AT ITER 4938 NEW BEST:: SOT 1188699 SOS 624943 HAS SOPS 611223 HAS SOUS 152517 HAS SOUPS 150877 WITH SCORE 151501.943
AT ITER 4947 NEW BEST:: SOT 1188578 SOS 624769 HAS SOPS 611049 HAS SOUS 152460 HAS SOUPS 150820 WITH SCORE 151444.769
AT ITER 4949 NEW BEST:: SOT 1188578 SOS 624769 HAS SOPS 611045 HAS SOUS 152456 HAS SOUPS 150816 WITH SCORE 151440.769
AT ITER 4958 NEW BEST:: SOT 1188490 SOS 624500 HAS SOPS 610776 HAS SOUS 152339 HAS SOUPS 150699 WITH SCORE 151323.5
AT ITER 4972 NEW BEST:: SOT 1188506 SOS 624516 HAS SOPS 610792 HAS SOUS 151730 HAS SOUPS 150090 WITH SCORE 150714.516
AT ITER 4977 NEW BEST:: SOT 1188430 SOS 624421 HAS SOPS 610697 HAS SOUS 151635 HAS SOUPS 149995 WITH SCORE 150619.421
AT ITER 5056 NEW BEST:: SOT 1188305 SOS 624129 HAS SOPS 610405 HAS SOUS 151537 HAS SOUPS 149897 WITH SCORE 150521.129
AT ITER 5057 NEW BEST:: SOT 1188105 SOS 623929 HAS SOPS 610205 HAS SOUS 151337 HAS SOUPS 149697 WITH SCORE 150320.929
AT ITER 5077 NEW BEST:: SOT 1188093 SOS 623917 HAS SOPS 610193 HAS SOUS 151326 HAS SOUPS 149686 WITH SCORE 150309.917
AT ITER 5078 NEW BEST:: SOT 1188049 SOS 623851 HAS SOPS 610127 HAS SOUS 151238 HAS SOUPS 149598 WITH SCORE 150221.851
AT ITER 5088 NEW BEST:: SOT 1188010 SOS 623812 HAS SOPS 610088 HAS SOUS 151199 HAS SOUPS 149559 WITH SCORE 150182.812
AT ITER 5097 NEW BEST:: SOT 1181418 SOS 643663 HAS SOPS 629939 HAS SOUS 150263 HAS SOUPS 148623 WITH SCORE 149266.663
AT ITER 5108 NEW BEST:: SOT 1181464 SOS 640542 HAS SOPS 626818 HAS SOUS 150094 HAS SOUPS 148454 WITH SCORE 149094.542
AT ITER 5114 NEW BEST:: SOT 1181464 SOS 640615 HAS SOPS 626891 HAS SOUS 149992 HAS SOUPS 148352 WITH SCORE 148992.615
AT ITER 5141 NEW BEST:: SOT 1181442 SOS 640809 HAS SOPS 627085 HAS SOUS 149814 HAS SOUPS 148174 WITH SCORE 148814.809
AT ITER 5152 NEW BEST:: SOT 1181416 SOS 640783 HAS SOPS 627059 HAS SOUS 149762 HAS SOUPS 148122 WITH SCORE 148762.783
AT ITER 5167 NEW BEST:: SOT 1181375 SOS 640496 HAS SOPS 626772 HAS SOUS 149762 HAS SOUPS 148122 WITH SCORE 148762.496
AT ITER 5173 NEW BEST:: SOT 1181888 SOS 641045 HAS SOPS 627321 HAS SOUS 149211 HAS SOUPS 147571 WITH SCORE 148212.045
AT ITER 5183 NEW BEST:: SOT 1181790 SOS 640686 HAS SOPS 626962 HAS SOUS 149181 HAS SOUPS 147541 WITH SCORE 148181.686
AT ITER 5196 NEW BEST:: SOT 1181790 SOS 640686 HAS SOPS 626962 HAS SOUS 149177 HAS SOUPS 147537 WITH SCORE 148177.686
AT ITER 5232 NEW BEST:: SOT 1181790 SOS 640302 HAS SOPS 626578 HAS SOUS 149177 HAS SOUPS 147537 WITH SCORE 148177.302
AT ITER 5248 NEW BEST:: SOT 1181784 SOS 640296 HAS SOPS 626564 HAS SOUS 149165 HAS SOUPS 147525 WITH SCORE 148165.296
AT ITER 5303 NEW BEST:: SOT 1181728 SOS 640240 HAS SOPS 626508 HAS SOUS 149092 HAS SOUPS 147452 WITH SCORE 148092.24
AT ITER 5324 NEW BEST:: SOT 1176656 SOS 635121 HAS SOPS 621389 HAS SOUS 148474 HAS SOUPS 146834 WITH SCORE 147469.121
AT ITER 5338 NEW BEST:: SOT 1176616 SOS 635081 HAS SOPS 621349 HAS SOUS 148395 HAS SOUPS 146755 WITH SCORE 147390.081
AT ITER 5349 NEW BEST:: SOT 1176612 SOS 635071 HAS SOPS 621339 HAS SOUS 148391 HAS SOUPS 146751 WITH SCORE 147386.071
AT ITER 5356 NEW BEST:: SOT 1176730 SOS 635189 HAS SOPS 621422 HAS SOUS 148376 HAS SOUPS 146736 WITH SCORE 147371.189
AT ITER 5370 NEW BEST:: SOT 1176691 SOS 635150 HAS SOPS 621347 HAS SOUS 148298 HAS SOUPS 146658 WITH SCORE 147293.15
AT ITER 5419 NEW BEST:: SOT 1176687 SOS 635146 HAS SOPS 621336 HAS SOUS 148287 HAS SOUPS 146647 WITH SCORE 147282.146
AT ITER 5424 NEW BEST:: SOT 1176718 SOS 635275 HAS SOPS 621465 HAS SOUS 148246 HAS SOUPS 146606 WITH SCORE 147241.275
AT ITER 5505 NEW BEST:: SOT 1176803 SOS 635463 HAS SOPS 621653 HAS SOUS 147877 HAS SOUPS 146237 WITH SCORE 146872.463
AT ITER 5506 NEW BEST:: SOT 1176802 SOS 635462 HAS SOPS 621652 HAS SOUS 147844 HAS SOUPS 146204 WITH SCORE 146839.462
AT ITER 5509 NEW BEST:: SOT 1176740 SOS 635341 HAS SOPS 621531 HAS SOUS 147772 HAS SOUPS 146132 WITH SCORE 146767.341
AT ITER 5542 NEW BEST:: SOT 1176519 SOS 635165 HAS SOPS 621355 HAS SOUS 147708 HAS SOUPS 146068 WITH SCORE 146703.165
AT ITER 5553 NEW BEST:: SOT 1176024 SOS 634678 HAS SOPS 620868 HAS SOUS 147263 HAS SOUPS 145623 WITH SCORE 146257.678
AT ITER 5562 NEW BEST:: SOT 1175971 SOS 634625 HAS SOPS 620815 HAS SOUS 147064 HAS SOUPS 145424 WITH SCORE 146058.625
AT ITER 5565 NEW BEST:: SOT 1175717 SOS 634277 HAS SOPS 620467 HAS SOUS 146886 HAS SOUPS 145246 WITH SCORE 145880.277
AT ITER 5566 NEW BEST:: SOT 1175748 SOS 634163 HAS SOPS 620375 HAS SOUS 146795 HAS SOUPS 145174 WITH SCORE 145808.163
AT ITER 5619 NEW BEST:: SOT 1175678 SOS 633953 HAS SOPS 620165 HAS SOUS 146585 HAS SOUPS 144964 WITH SCORE 145597.953
AT ITER 5636 NEW BEST:: SOT 1175671 SOS 633897 HAS SOPS 620116 HAS SOUS 146585 HAS SOUPS 144964 WITH SCORE 145597.897
AT ITER 5640 NEW BEST:: SOT 1175555 SOS 633519 HAS SOPS 619738 HAS SOUS 146353 HAS SOUPS 144732 WITH SCORE 145365.519
AT ITER 5666 NEW BEST:: SOT 1175432 SOS 633345 HAS SOPS 619564 HAS SOUS 146206 HAS SOUPS 144585 WITH SCORE 145218.345
AT ITER 5678 NEW BEST:: SOT 1175389 SOS 633345 HAS SOPS 619564 HAS SOUS 146039 HAS SOUPS 144418 WITH SCORE 145051.345
AT ITER 5684 NEW BEST:: SOT 1175389 SOS 633235 HAS SOPS 619454 HAS SOUS 146039 HAS SOUPS 144418 WITH SCORE 145051.235
AT ITER 5720 NEW BEST:: SOT 1175374 SOS 633220 HAS SOPS 619439 HAS SOUS 146024 HAS SOUPS 144403 WITH SCORE 145036.22
AT ITER 5728 NEW BEST:: SOT 1175323 SOS 633016 HAS SOPS 619235 HAS SOUS 145922 HAS SOUPS 144301 WITH SCORE 144934.016
AT ITER 5740 NEW BEST:: SOT 1175293 SOS 632802 HAS SOPS 619067 HAS SOUS 145812 HAS SOUPS 144191 WITH SCORE 144823.802
AT ITER 5785 NEW BEST:: SOT 1175209 SOS 632718 HAS SOPS 619017 HAS SOUS 145746 HAS SOUPS 144125 WITH SCORE 144757.718
AT ITER 5800 NEW BEST:: SOT 1175152 SOS 632642 HAS SOPS 618941 HAS SOUS 145651 HAS SOUPS 144030 WITH SCORE 144662.642
AT ITER 5823 NEW BEST:: SOT 1175146 SOS 632636 HAS SOPS 618935 HAS SOUS 145645 HAS SOUPS 144024 WITH SCORE 144656.636
AT ITER 5828 NEW BEST:: SOT 1175138 SOS 632620 HAS SOPS 618919 HAS SOUS 145641 HAS SOUPS 144020 WITH SCORE 144652.62
AT ITER 5839 NEW BEST:: SOT 1175142 SOS 632454 HAS SOPS 618753 HAS SOUS 145592 HAS SOUPS 143971 WITH SCORE 144603.454
AT ITER 5892 NEW BEST:: SOT 1175348 SOS 632646 HAS SOPS 618961 HAS SOUS 145542 HAS SOUPS 143923 WITH SCORE 144555.646
AT ITER 5894 NEW BEST:: SOT 1175216 SOS 632673 HAS SOPS 618988 HAS SOUS 145278 HAS SOUPS 143659 WITH SCORE 144291.673
AT ITER 5898 NEW BEST:: SOT 1175215 SOS 632672 HAS SOPS 618987 HAS SOUS 145277 HAS SOUPS 143658 WITH SCORE 144290.672
AT ITER 5913 NEW BEST:: SOT 1175208 SOS 632665 HAS SOPS 618980 HAS SOUS 145263 HAS SOUPS 143644 WITH SCORE 144276.665
AT ITER 5976 NEW BEST:: SOT 1175174 SOS 632606 HAS SOPS 618921 HAS SOUS 145227 HAS SOUPS 143608 WITH SCORE 144240.606
AT ITER 5977 NEW BEST:: SOT 1175096 SOS 631897 HAS SOPS 618212 HAS SOUS 145069 HAS SOUPS 143450 WITH SCORE 144081.897
AT ITER 5979 NEW BEST:: SOT 1175549 SOS 632267 HAS SOPS 618582 HAS SOUS 144869 HAS SOUPS 143250 WITH SCORE 143882.267
AT ITER 6009 NEW BEST:: SOT 1175548 SOS 632266 HAS SOPS 618581 HAS SOUS 144867 HAS SOUPS 143248 WITH SCORE 143880.266
AT ITER 6047 NEW BEST:: SOT 1175632 SOS 632455 HAS SOPS 618770 HAS SOUS 144615 HAS SOUPS 142996 WITH SCORE 143628.455
AT ITER 6060 NEW BEST:: SOT 1175475 SOS 632320 HAS SOPS 618635 HAS SOUS 144561 HAS SOUPS 142942 WITH SCORE 143574.32
AT ITER 6065 NEW BEST:: SOT 1175361 SOS 632206 HAS SOPS 618521 HAS SOUS 144447 HAS SOUPS 142828 WITH SCORE 143460.206
AT ITER 6078 NEW BEST:: SOT 1175333 SOS 632150 HAS SOPS 618465 HAS SOUS 144391 HAS SOUPS 142772 WITH SCORE 143404.15
AT ITER 6093 NEW BEST:: SOT 1175384 SOS 632135 HAS SOPS 618386 HAS SOUS 144319 HAS SOUPS 142700 WITH SCORE 143332.135
AT ITER 6097 NEW BEST:: SOT 1175324 SOS 632075 HAS SOPS 618326 HAS SOUS 144259 HAS SOUPS 142640 WITH SCORE 143272.075
AT ITER 6104 NEW BEST:: SOT 1174979 SOS 631683 HAS SOPS 617934 HAS SOUS 144227 HAS SOUPS 142608 WITH SCORE 143239.683
AT ITER 6110 NEW BEST:: SOT 1174979 SOS 631665 HAS SOPS 617916 HAS SOUS 144207 HAS SOUPS 142588 WITH SCORE 143219.665
AT ITER 6111 NEW BEST:: SOT 1174625 SOS 631257 HAS SOPS 617508 HAS SOUS 143444 HAS SOUPS 141825 WITH SCORE 142456.257
AT ITER 6120 NEW BEST:: SOT 1174362 SOS 631011 HAS SOPS 617262 HAS SOUS 143353 HAS SOUPS 141734 WITH SCORE 142365.011
AT ITER 6167 NEW BEST:: SOT 1174349 SOS 630998 HAS SOPS 617249 HAS SOUS 143208 HAS SOUPS 141589 WITH SCORE 142219.998
AT ITER 6169 NEW BEST:: SOT 1174333 SOS 630990 HAS SOPS 617241 HAS SOUS 143176 HAS SOUPS 141557 WITH SCORE 142187.99
AT ITER 6175 NEW BEST:: SOT 1174219 SOS 630838 HAS SOPS 617089 HAS SOUS 143024 HAS SOUPS 141405 WITH SCORE 142035.838
AT ITER 6186 NEW BEST:: SOT 1174015 SOS 630634 HAS SOPS 616895 HAS SOUS 142762 HAS SOUPS 141143 WITH SCORE 141773.634
AT ITER 6190 NEW BEST:: SOT 1173929 SOS 630462 HAS SOPS 616723 HAS SOUS 142590 HAS SOUPS 140971 WITH SCORE 141601.462
AT ITER 6192 NEW BEST:: SOT 1173922 SOS 630455 HAS SOPS 616716 HAS SOUS 142558 HAS SOUPS 140939 WITH SCORE 141569.455
AT ITER 6193 NEW BEST:: SOT 1173827 SOS 630360 HAS SOPS 616621 HAS SOUS 142462 HAS SOUPS 140843 WITH SCORE 141473.36
AT ITER 6196 NEW BEST:: SOT 1173818 SOS 630351 HAS SOPS 616612 HAS SOUS 142444 HAS SOUPS 140825 WITH SCORE 141455.351
AT ITER 6219 NEW BEST:: SOT 1173570 SOS 630103 HAS SOPS 616364 HAS SOUS 142236 HAS SOUPS 140617 WITH SCORE 141247.103
AT ITER 6223 NEW BEST:: SOT 1173282 SOS 629816 HAS SOPS 616077 HAS SOUS 142158 HAS SOUPS 140539 WITH SCORE 141168.816
AT ITER 6232 NEW BEST:: SOT 1173211 SOS 629726 HAS SOPS 615987 HAS SOUS 142068 HAS SOUPS 140449 WITH SCORE 141078.726
AT ITER 6263 NEW BEST:: SOT 1173242 SOS 629757 HAS SOPS 615996 HAS SOUS 142048 HAS SOUPS 140429 WITH SCORE 141058.757
AT ITER 6265 NEW BEST:: SOT 1173222 SOS 629732 HAS SOPS 615971 HAS SOUS 142023 HAS SOUPS 140404 WITH SCORE 141033.732
AT ITER 6267 NEW BEST:: SOT 1173222 SOS 629703 HAS SOPS 615971 HAS SOUS 142023 HAS SOUPS 140404 WITH SCORE 141033.703
AT ITER 6272 NEW BEST:: SOT 1173121 SOS 629602 HAS SOPS 615870 HAS SOUS 141837 HAS SOUPS 140218 WITH SCORE 140847.602
AT ITER 6276 NEW BEST:: SOT 1173087 SOS 629568 HAS SOPS 615846 HAS SOUS 141830 HAS SOUPS 140211 WITH SCORE 140840.568
AT ITER 6323 NEW BEST:: SOT 1172911 SOS 629172 HAS SOPS 615450 HAS SOUS 141550 HAS SOUPS 139931 WITH SCORE 140560.172
AT ITER 6342 NEW BEST:: SOT 1172754 SOS 629015 HAS SOPS 615291 HAS SOUS 141398 HAS SOUPS 139779 WITH SCORE 140408.015
AT ITER 6362 NEW BEST:: SOT 1172743 SOS 628997 HAS SOPS 615255 HAS SOUS 141348 HAS SOUPS 139729 WITH SCORE 140357.997
AT ITER 6364 NEW BEST:: SOT 1172450 SOS 629007 HAS SOPS 615522 HAS SOUS 141217 HAS SOUPS 139598 WITH SCORE 140227.007
AT ITER 6365 NEW BEST:: SOT 1172395 SOS 628929 HAS SOPS 615455 HAS SOUS 141153 HAS SOUPS 139534 WITH SCORE 140162.929
AT ITER 6366 NEW BEST:: SOT 1171921 SOS 628333 HAS SOPS 614859 HAS SOUS 140748 HAS SOUPS 139129 WITH SCORE 139757.333
AT ITER 6392 NEW BEST:: SOT 1171893 SOS 628305 HAS SOPS 614831 HAS SOUS 140720 HAS SOUPS 139101 WITH SCORE 139729.305
AT ITER 6397 NEW BEST:: SOT 1171805 SOS 628234 HAS SOPS 614760 HAS SOUS 140485 HAS SOUPS 138866 WITH SCORE 139494.234
AT ITER 6404 NEW BEST:: SOT 1171778 SOS 628261 HAS SOPS 614787 HAS SOUS 140458 HAS SOUPS 138839 WITH SCORE 139467.261
AT ITER 6434 NEW BEST:: SOT 1171698 SOS 628204 HAS SOPS 614546 HAS SOUS 140328 HAS SOUPS 138709 WITH SCORE 139337.204
AT ITER 6488 NEW BEST:: SOT 1170168 SOS 626657 HAS SOPS 612999 HAS SOUS 139988 HAS SOUPS 138369 WITH SCORE 138995.657
AT ITER 6521 NEW BEST:: SOT 1169647 SOS 625593 HAS SOPS 611935 HAS SOUS 139753 HAS SOUPS 138134 WITH SCORE 138759.593
AT ITER 6526 NEW BEST:: SOT 1169631 SOS 625577 HAS SOPS 611919 HAS SOUS 139737 HAS SOUPS 138118 WITH SCORE 138743.577
AT ITER 6553 NEW BEST:: SOT 1169631 SOS 625550 HAS SOPS 611892 HAS SOUS 139683 HAS SOUPS 138064 WITH SCORE 138689.55
AT ITER 6605 NEW BEST:: SOT 1169552 SOS 625359 HAS SOPS 611701 HAS SOUS 139545 HAS SOUPS 137926 WITH SCORE 138551.359
AT ITER 6614 NEW BEST:: SOT 1169546 SOS 625284 HAS SOPS 611626 HAS SOUS 139515 HAS SOUPS 137896 WITH SCORE 138521.284
AT ITER 6616 NEW BEST:: SOT 1169405 SOS 625170 HAS SOPS 611512 HAS SOUS 139446 HAS SOUPS 137827 WITH SCORE 138452.17
AT ITER 6619 NEW BEST:: SOT 1169393 SOS 625158 HAS SOPS 611500 HAS SOUS 139422 HAS SOUPS 137803 WITH SCORE 138428.158
AT ITER 6637 NEW BEST:: SOT 1169319 SOS 625106 HAS SOPS 611448 HAS SOUS 139322 HAS SOUPS 137703 WITH SCORE 138328.106
AT ITER 6643 NEW BEST:: SOT 1169305 SOS 625092 HAS SOPS 611420 HAS SOUS 139292 HAS SOUPS 137673 WITH SCORE 138298.092
AT ITER 6661 NEW BEST:: SOT 1169391 SOS 624977 HAS SOPS 611305 HAS SOUS 138988 HAS SOUPS 137369 WITH SCORE 137993.977
AT ITER 6673 NEW BEST:: SOT 1169374 SOS 624911 HAS SOPS 611239 HAS SOUS 138918 HAS SOUPS 137299 WITH SCORE 137923.911
AT ITER 6678 NEW BEST:: SOT 1169119 SOS 624538 HAS SOPS 610866 HAS SOUS 138645 HAS SOUPS 137026 WITH SCORE 137650.538
AT ITER 6686 NEW BEST:: SOT 1169089 SOS 624424 HAS SOPS 610710 HAS SOUS 138627 HAS SOUPS 137008 WITH SCORE 137632.424
AT ITER 6694 NEW BEST:: SOT 1169023 SOS 624329 HAS SOPS 610615 HAS SOUS 138538 HAS SOUPS 136919 WITH SCORE 137543.329
AT ITER 6708 NEW BEST:: SOT 1169097 SOS 624403 HAS SOPS 610657 HAS SOUS 138517 HAS SOUPS 136898 WITH SCORE 137522.403
AT ITER 6711 NEW BEST:: SOT 1169023 SOS 624329 HAS SOPS 610583 HAS SOUS 138379 HAS SOUPS 136760 WITH SCORE 137384.329
AT ITER 6722 NEW BEST:: SOT 1168993 SOS 624299 HAS SOPS 610529 HAS SOUS 138319 HAS SOUPS 136700 WITH SCORE 137324.299
AT ITER 6723 NEW BEST:: SOT 1168884 SOS 624190 HAS SOPS 610032 HAS SOUS 138101 HAS SOUPS 136482 WITH SCORE 137106.19
AT ITER 6733 NEW BEST:: SOT 1168849 SOS 624155 HAS SOPS 609997 HAS SOUS 138084 HAS SOUPS 136465 WITH SCORE 137089.155
AT ITER 6748 NEW BEST:: SOT 1168705 SOS 623984 HAS SOPS 609826 HAS SOUS 138052 HAS SOUPS 136433 WITH SCORE 137056.984
AT ITER 6751 NEW BEST:: SOT 1168702 SOS 623981 HAS SOPS 609823 HAS SOUS 138046 HAS SOUPS 136427 WITH SCORE 137050.981
AT ITER 6753 NEW BEST:: SOT 1168691 SOS 623989 HAS SOPS 609831 HAS SOUS 138038 HAS SOUPS 136419 WITH SCORE 137042.989
AT ITER 6754 NEW BEST:: SOT 1168653 SOS 623993 HAS SOPS 609835 HAS SOUS 138029 HAS SOUPS 136410 WITH SCORE 137033.993
AT ITER 6766 NEW BEST:: SOT 1168650 SOS 623975 HAS SOPS 609817 HAS SOUS 138023 HAS SOUPS 136404 WITH SCORE 137027.975
AT ITER 6787 NEW BEST:: SOT 1168637 SOS 623954 HAS SOPS 609796 HAS SOUS 137997 HAS SOUPS 136378 WITH SCORE 137001.954
AT ITER 6790 NEW BEST:: SOT 1168626 SOS 623943 HAS SOPS 609785 HAS SOUS 137934 HAS SOUPS 136315 WITH SCORE 136938.943
AT ITER 6800 NEW BEST:: SOT 1168169 SOS 623476 HAS SOPS 609318 HAS SOUS 137844 HAS SOUPS 136225 WITH SCORE 136848.476
AT ITER 6802 NEW BEST:: SOT 1168155 SOS 623448 HAS SOPS 609290 HAS SOUS 137816 HAS SOUPS 136197 WITH SCORE 136820.448
AT ITER 6823 NEW BEST:: SOT 1168155 SOS 623433 HAS SOPS 609275 HAS SOUS 137816 HAS SOUPS 136197 WITH SCORE 136820.433
AT ITER 6841 NEW BEST:: SOT 1168155 SOS 623363 HAS SOPS 609205 HAS SOUS 137816 HAS SOUPS 136197 WITH SCORE 136820.363
AT ITER 6845 NEW BEST:: SOT 1168083 SOS 623291 HAS SOPS 609133 HAS SOUS 137738 HAS SOUPS 136119 WITH SCORE 136742.291
AT ITER 6878 NEW BEST:: SOT 1167909 SOS 623117 HAS SOPS 608959 HAS SOUS 137448 HAS SOUPS 135829 WITH SCORE 136452.117
AT ITER 6898 NEW BEST:: SOT 1167887 SOS 623080 HAS SOPS 608922 HAS SOUS 137373 HAS SOUPS 135754 WITH SCORE 136377.08
AT ITER 6907 NEW BEST:: SOT 1167887 SOS 623068 HAS SOPS 608910 HAS SOUS 137361 HAS SOUPS 135742 WITH SCORE 136365.068
AT ITER 6917 NEW BEST:: SOT 1167874 SOS 623042 HAS SOPS 608884 HAS SOUS 137335 HAS SOUPS 135716 WITH SCORE 136339.042
AT ITER 6919 NEW BEST:: SOT 1167872 SOS 623042 HAS SOPS 608884 HAS SOUS 137329 HAS SOUPS 135710 WITH SCORE 136333.042
AT ITER 6925 NEW BEST:: SOT 1167886 SOS 623062 HAS SOPS 608904 HAS SOUS 137215 HAS SOUPS 135596 WITH SCORE 136219.062
AT ITER 6960 NEW BEST:: SOT 1167850 SOS 623026 HAS SOPS 608868 HAS SOUS 137143 HAS SOUPS 135524 WITH SCORE 136147.026
AT ITER 7002 NEW BEST:: SOT 1162902 SOS 618078 HAS SOPS 603920 HAS SOUS 136264 HAS SOUPS 134645 WITH SCORE 135263.078
AT ITER 7009 NEW BEST:: SOT 1162902 SOS 618078 HAS SOPS 603920 HAS SOUS 136228 HAS SOUPS 134609 WITH SCORE 135227.078
AT ITER 7012 NEW BEST:: SOT 1162783 SOS 617959 HAS SOPS 603801 HAS SOUS 135990 HAS SOUPS 134371 WITH SCORE 134988.959
AT ITER 7036 NEW BEST:: SOT 1162775 SOS 617798 HAS SOPS 603640 HAS SOUS 135829 HAS SOUPS 134210 WITH SCORE 134827.798
AT ITER 7037 NEW BEST:: SOT 1162732 SOS 617755 HAS SOPS 603597 HAS SOUS 135759 HAS SOUPS 134140 WITH SCORE 134757.755
AT ITER 7113 NEW BEST:: SOT 1162720 SOS 617743 HAS SOPS 603585 HAS SOUS 135747 HAS SOUPS 134128 WITH SCORE 134745.743
AT ITER 7159 NEW BEST:: SOT 1162712 SOS 617727 HAS SOPS 603569 HAS SOUS 135731 HAS SOUPS 134112 WITH SCORE 134729.727
AT ITER 7170 NEW BEST:: SOT 1162664 SOS 617679 HAS SOPS 603521 HAS SOUS 135656 HAS SOUPS 134037 WITH SCORE 134654.679
AT ITER 7218 NEW BEST:: SOT 1162642 SOS 617640 HAS SOPS 603482 HAS SOUS 135617 HAS SOUPS 133998 WITH SCORE 134615.64
AT ITER 7229 NEW BEST:: SOT 1162649 SOS 617917 HAS SOPS 603759 HAS SOUS 135535 HAS SOUPS 133916 WITH SCORE 134533.917
AT ITER 7232 NEW BEST:: SOT 1163160 SOS 618443 HAS SOPS 604285 HAS SOUS 135244 HAS SOUPS 133625 WITH SCORE 134243.443
AT ITER 7243 NEW BEST:: SOT 1163056 SOS 618079 HAS SOPS 603921 HAS SOUS 135088 HAS SOUPS 133469 WITH SCORE 134087.079
AT ITER 7247 NEW BEST:: SOT 1163032 SOS 618052 HAS SOPS 603894 HAS SOUS 135061 HAS SOUPS 133442 WITH SCORE 134060.052
AT ITER 7269 NEW BEST:: SOT 1162862 SOS 617786 HAS SOPS 603628 HAS SOUS 134816 HAS SOUPS 133197 WITH SCORE 133814.786
AT ITER 7293 NEW BEST:: SOT 1162742 SOS 617606 HAS SOPS 603448 HAS SOUS 134636 HAS SOUPS 133017 WITH SCORE 133634.606
AT ITER 7314 NEW BEST:: SOT 1162739 SOS 617600 HAS SOPS 603442 HAS SOUS 134630 HAS SOUPS 133011 WITH SCORE 133628.6
AT ITER 7325 NEW BEST:: SOT 1162721 SOS 617580 HAS SOPS 603422 HAS SOUS 134612 HAS SOUPS 132993 WITH SCORE 133610.58
AT ITER 7360 NEW BEST:: SOT 1162759 SOS 617660 HAS SOPS 603502 HAS SOUS 134472 HAS SOUPS 132853 WITH SCORE 133470.66
AT ITER 7367 NEW BEST:: SOT 1162717 SOS 617551 HAS SOPS 603393 HAS SOUS 134336 HAS SOUPS 132717 WITH SCORE 133334.551
AT ITER 7390 NEW BEST:: SOT 1162717 SOS 617663 HAS SOPS 603501 HAS SOUS 134224 HAS SOUPS 132605 WITH SCORE 133222.663
AT ITER 7408 NEW BEST:: SOT 1162717 SOS 598452 HAS SOPS 584290 HAS SOUS 134224 HAS SOUPS 132605 WITH SCORE 133203.452
AT ITER 7478 NEW BEST:: SOT 1162725 SOS 598496 HAS SOPS 584233 HAS SOUS 134218 HAS SOUPS 132599 WITH SCORE 133197.496
AT ITER 7491 NEW BEST:: SOT 1162767 SOS 598440 HAS SOPS 584177 HAS SOUS 134162 HAS SOUPS 132543 WITH SCORE 133141.44
AT ITER 7514 NEW BEST:: SOT 1163025 SOS 598668 HAS SOPS 584445 HAS SOUS 133904 HAS SOUPS 132290 WITH SCORE 132888.668
AT ITER 7540 NEW BEST:: SOT 1162900 SOS 598571 HAS SOPS 584348 HAS SOUS 133752 HAS SOUPS 132138 WITH SCORE 132736.571
AT ITER 7541 NEW BEST:: SOT 1162968 SOS 598511 HAS SOPS 584288 HAS SOUS 133692 HAS SOUPS 132078 WITH SCORE 132676.511
AT ITER 7563 NEW BEST:: SOT 1162517 SOS 597835 HAS SOPS 583612 HAS SOUS 133493 HAS SOUPS 131879 WITH SCORE 132476.835
AT ITER 7581 NEW BEST:: SOT 1162384 SOS 597491 HAS SOPS 583268 HAS SOUS 133437 HAS SOUPS 131823 WITH SCORE 132420.491
AT ITER 7619 NEW BEST:: SOT 1162384 SOS 597491 HAS SOPS 583268 HAS SOUS 133419 HAS SOUPS 131805 WITH SCORE 132402.491
AT ITER 7637 NEW BEST:: SOT 1162368 SOS 597459 HAS SOPS 583236 HAS SOUS 133387 HAS SOUPS 131773 WITH SCORE 132370.459
AT ITER 7664 NEW BEST:: SOT 1162378 SOS 597467 HAS SOPS 583244 HAS SOUS 133385 HAS SOUPS 131771 WITH SCORE 132368.467
AT ITER 7666 NEW BEST:: SOT 1162370 SOS 597459 HAS SOPS 583236 HAS SOUS 133373 HAS SOUPS 131759 WITH SCORE 132356.459
AT ITER 7673 NEW BEST:: SOT 1162373 SOS 597527 HAS SOPS 583304 HAS SOUS 133198 HAS SOUPS 131584 WITH SCORE 132181.527
AT ITER 7692 NEW BEST:: SOT 1162469 SOS 597623 HAS SOPS 582440 HAS SOUS 133294 HAS SOUPS 131560 WITH SCORE 132157.623
AT ITER 7698 NEW BEST:: SOT 1162449 SOS 597688 HAS SOPS 582505 HAS SOUS 133274 HAS SOUPS 131540 WITH SCORE 132137.688
AT ITER 7700 NEW BEST:: SOT 1162338 SOS 597642 HAS SOPS 582459 HAS SOUS 133177 HAS SOUPS 131443 WITH SCORE 132040.642
AT ITER 7727 NEW BEST:: SOT 1162254 SOS 597558 HAS SOPS 582375 HAS SOUS 133009 HAS SOUPS 131275 WITH SCORE 131872.558
AT ITER 7782 NEW BEST:: SOT 1162247 SOS 597558 HAS SOPS 582375 HAS SOUS 132967 HAS SOUPS 131233 WITH SCORE 131830.558
AT ITER 7783 NEW BEST:: SOT 1162253 SOS 597578 HAS SOPS 582395 HAS SOUS 132945 HAS SOUPS 131211 WITH SCORE 131808.578
AT ITER 7856 NEW BEST:: SOT 1162260 SOS 597585 HAS SOPS 582377 HAS SOUS 132927 HAS SOUPS 131193 WITH SCORE 131790.585
AT ITER 7876 NEW BEST:: SOT 1162309 SOS 597634 HAS SOPS 582375 HAS SOUS 132926 HAS SOUPS 131166 WITH SCORE 131763.634
AT ITER 7897 NEW BEST:: SOT 1162305 SOS 597630 HAS SOPS 582371 HAS SOUS 132918 HAS SOUPS 131158 WITH SCORE 131755.63
AT ITER 7904 NEW BEST:: SOT 1162305 SOS 597546 HAS SOPS 582287 HAS SOUS 132918 HAS SOUPS 131158 WITH SCORE 131755.546
AT ITER 7906 NEW BEST:: SOT 1162205 SOS 597446 HAS SOPS 582187 HAS SOUS 132827 HAS SOUPS 131067 WITH SCORE 131664.446
AT ITER 7915 NEW BEST:: SOT 1162198 SOS 597492 HAS SOPS 582233 HAS SOUS 132661 HAS SOUPS 130901 WITH SCORE 131498.492
AT ITER 7968 NEW BEST:: SOT 1162133 SOS 597427 HAS SOPS 582168 HAS SOUS 132651 HAS SOUPS 130891 WITH SCORE 131488.427
AT ITER 7991 NEW BEST:: SOT 1162129 SOS 597423 HAS SOPS 582164 HAS SOUS 132643 HAS SOUPS 130883 WITH SCORE 131480.423
AT ITER 7997 NEW BEST:: SOT 1162129 SOS 597423 HAS SOPS 582164 HAS SOUS 132640 HAS SOUPS 130880 WITH SCORE 131477.423
AT ITER 8002 NEW BEST:: SOT 1162108 SOS 597381 HAS SOPS 582122 HAS SOUS 132598 HAS SOUPS 130838 WITH SCORE 131435.381
AT ITER 8008 NEW BEST:: SOT 1162107 SOS 597380 HAS SOPS 582121 HAS SOUS 132254 HAS SOUPS 130494 WITH SCORE 131091.38
AT ITER 8009 NEW BEST:: SOT 1162065 SOS 597659 HAS SOPS 582400 HAS SOUS 132197 HAS SOUPS 130437 WITH SCORE 131034.659
AT ITER 8027 NEW BEST:: SOT 1162011 SOS 597665 HAS SOPS 582406 HAS SOUS 132181 HAS SOUPS 130421 WITH SCORE 131018.665
AT ITER 8047 NEW BEST:: SOT 1161956 SOS 597621 HAS SOPS 582362 HAS SOUS 132170 HAS SOUPS 130410 WITH SCORE 131007.621
AT ITER 8079 NEW BEST:: SOT 1161905 SOS 597571 HAS SOPS 582312 HAS SOUS 132068 HAS SOUPS 130308 WITH SCORE 130905.571
AT ITER 8108 NEW BEST:: SOT 1161905 SOS 597571 HAS SOPS 582312 HAS SOUS 132066 HAS SOUPS 130306 WITH SCORE 130903.571
AT ITER 8112 NEW BEST:: SOT 1161901 SOS 597567 HAS SOPS 582308 HAS SOUS 132058 HAS SOUPS 130298 WITH SCORE 130895.567
AT ITER 8124 NEW BEST:: SOT 1161901 SOS 581199 HAS SOPS 565940 HAS SOUS 131962 HAS SOUPS 130202 WITH SCORE 130783.199
AT ITER 8133 NEW BEST:: SOT 1161718 SOS 580800 HAS SOPS 565430 HAS SOUS 131602 HAS SOUPS 129842 WITH SCORE 130422.8
AT ITER 8146 NEW BEST:: SOT 1161652 SOS 580668 HAS SOPS 565298 HAS SOUS 131569 HAS SOUPS 129809 WITH SCORE 130389.668
AT ITER 8161 NEW BEST:: SOT 1161652 SOS 580668 HAS SOPS 565298 HAS SOUS 131561 HAS SOUPS 129801 WITH SCORE 130381.668
AT ITER 8192 NEW BEST:: SOT 1161676 SOS 580692 HAS SOPS 565324 HAS SOUS 131545 HAS SOUPS 129785 WITH SCORE 130365.692
AT ITER 8202 NEW BEST:: SOT 1161673 SOS 580391 HAS SOPS 565023 HAS SOUS 131497 HAS SOUPS 129737 WITH SCORE 130317.391
AT ITER 8227 NEW BEST:: SOT 1161654 SOS 580372 HAS SOPS 564985 HAS SOUS 131459 HAS SOUPS 129699 WITH SCORE 130279.372
AT ITER 8241 NEW BEST:: SOT 1161680 SOS 580371 HAS SOPS 564984 HAS SOUS 131458 HAS SOUPS 129698 WITH SCORE 130278.371
AT ITER 8254 NEW BEST:: SOT 1157097 SOS 575788 HAS SOPS 560401 HAS SOUS 131412 HAS SOUPS 129652 WITH SCORE 130227.788
AT ITER 8258 NEW BEST:: SOT 1157457 SOS 576148 HAS SOPS 560761 HAS SOUS 131375 HAS SOUPS 129615 WITH SCORE 130191.148
AT ITER 8293 NEW BEST:: SOT 1157419 SOS 576099 HAS SOPS 560712 HAS SOUS 131299 HAS SOUPS 129539 WITH SCORE 130115.099
AT ITER 8345 NEW BEST:: SOT 1157376 SOS 576056 HAS SOPS 560669 HAS SOUS 131041 HAS SOUPS 129281 WITH SCORE 129857.056
AT ITER 8355 NEW BEST:: SOT 1157481 SOS 575963 HAS SOPS 560542 HAS SOUS 131040 HAS SOUPS 129279 WITH SCORE 129854.963
AT ITER 8365 NEW BEST:: SOT 1157313 SOS 575753 HAS SOPS 560332 HAS SOUS 130841 HAS SOUPS 129080 WITH SCORE 129655.753
AT ITER 8366 NEW BEST:: SOT 1157259 SOS 575699 HAS SOPS 560278 HAS SOUS 130625 HAS SOUPS 128864 WITH SCORE 129439.699
AT ITER 8394 NEW BEST:: SOT 1157314 SOS 575754 HAS SOPS 560333 HAS SOUS 130569 HAS SOUPS 128808 WITH SCORE 129383.754
AT ITER 8418 NEW BEST:: SOT 1157364 SOS 575801 HAS SOPS 560380 HAS SOUS 130567 HAS SOUPS 128806 WITH SCORE 129381.801
AT ITER 8422 NEW BEST:: SOT 1157342 SOS 575757 HAS SOPS 560336 HAS SOUS 130523 HAS SOUPS 128762 WITH SCORE 129337.757
AT ITER 8429 NEW BEST:: SOT 1157613 SOS 577041 HAS SOPS 561620 HAS SOUS 130508 HAS SOUPS 128747 WITH SCORE 129324.041
AT ITER 8432 NEW BEST:: SOT 1157466 SOS 576911 HAS SOPS 561490 HAS SOUS 130399 HAS SOUPS 128638 WITH SCORE 129214.911
AT ITER 8438 NEW BEST:: SOT 1157463 SOS 576908 HAS SOPS 561487 HAS SOUS 130393 HAS SOUPS 128632 WITH SCORE 129208.908
AT ITER 8444 NEW BEST:: SOT 1157462 SOS 576906 HAS SOPS 561485 HAS SOUS 130391 HAS SOUPS 128630 WITH SCORE 129206.906
AT ITER 8465 NEW BEST:: SOT 1157459 SOS 576903 HAS SOPS 561482 HAS SOUS 130385 HAS SOUPS 128624 WITH SCORE 129200.903
AT ITER 8475 NEW BEST:: SOT 1157417 SOS 576861 HAS SOPS 561482 HAS SOUS 130385 HAS SOUPS 128624 WITH SCORE 129200.861
AT ITER 8509 NEW BEST:: SOT 1157379 SOS 576833 HAS SOPS 561454 HAS SOUS 130357 HAS SOUPS 128596 WITH SCORE 129172.833
AT ITER 8526 NEW BEST:: SOT 1157379 SOS 576713 HAS SOPS 561334 HAS SOUS 130357 HAS SOUPS 128596 WITH SCORE 129172.713
AT ITER 8528 NEW BEST:: SOT 1157349 SOS 576622 HAS SOPS 561243 HAS SOUS 130341 HAS SOUPS 128580 WITH SCORE 129156.622
AT ITER 8546 NEW BEST:: SOT 1157289 SOS 576504 HAS SOPS 561125 HAS SOUS 130261 HAS SOUPS 128500 WITH SCORE 129076.504
AT ITER 8561 NEW BEST:: SOT 1157181 SOS 574721 HAS SOPS 559342 HAS SOUS 130205 HAS SOUPS 128444 WITH SCORE 129018.721
AT ITER 8582 NEW BEST:: SOT 1157161 SOS 574736 HAS SOPS 559357 HAS SOUS 130121 HAS SOUPS 128360 WITH SCORE 128934.736
AT ITER 8594 NEW BEST:: SOT 1157160 SOS 574735 HAS SOPS 559356 HAS SOUS 130120 HAS SOUPS 128359 WITH SCORE 128933.735
AT ITER 8636 NEW BEST:: SOT 1157000 SOS 574575 HAS SOPS 559196 HAS SOUS 129847 HAS SOUPS 128086 WITH SCORE 128660.575
AT ITER 8642 NEW BEST:: SOT 1156975 SOS 574550 HAS SOPS 559171 HAS SOUS 129817 HAS SOUPS 128056 WITH SCORE 128630.55
AT ITER 8670 NEW BEST:: SOT 1153989 SOS 571546 HAS SOPS 556167 HAS SOUS 128833 HAS SOUPS 127072 WITH SCORE 127643.546
AT ITER 8700 NEW BEST:: SOT 1153990 SOS 571592 HAS SOPS 556213 HAS SOUS 128807 HAS SOUPS 127046 WITH SCORE 127617.592
AT ITER 8744 NEW BEST:: SOT 1153966 SOS 571610 HAS SOPS 556185 HAS SOUS 128736 HAS SOUPS 126975 WITH SCORE 127546.61
AT ITER 8770 NEW BEST:: SOT 1153841 SOS 571403 HAS SOPS 555978 HAS SOUS 128609 HAS SOUPS 126848 WITH SCORE 127419.403
AT ITER 8788 NEW BEST:: SOT 1153810 SOS 571372 HAS SOPS 555947 HAS SOUS 128609 HAS SOUPS 126848 WITH SCORE 127419.372
AT ITER 8789 NEW BEST:: SOT 1153809 SOS 571371 HAS SOPS 555946 HAS SOUS 128597 HAS SOUPS 126836 WITH SCORE 127407.371
AT ITER 8790 NEW BEST:: SOT 1153784 SOS 571321 HAS SOPS 555896 HAS SOUS 128547 HAS SOUPS 126786 WITH SCORE 127357.321
AT ITER 8791 NEW BEST:: SOT 1153777 SOS 571307 HAS SOPS 555882 HAS SOUS 128533 HAS SOUPS 126772 WITH SCORE 127343.307
AT ITER 8810 NEW BEST:: SOT 1153769 SOS 571299 HAS SOPS 555874 HAS SOUS 128517 HAS SOUPS 126756 WITH SCORE 127327.299
AT ITER 8814 NEW BEST:: SOT 1153733 SOS 571263 HAS SOPS 555838 HAS SOUS 128481 HAS SOUPS 126720 WITH SCORE 127291.263
AT ITER 8843 NEW BEST:: SOT 1153690 SOS 570946 HAS SOPS 555521 HAS SOUS 128164 HAS SOUPS 126403 WITH SCORE 126973.946
AT ITER 8850 NEW BEST:: SOT 1153668 SOS 570924 HAS SOPS 555499 HAS SOUS 128109 HAS SOUPS 126348 WITH SCORE 126918.924
AT ITER 8860 NEW BEST:: SOT 1153670 SOS 570909 HAS SOPS 555484 HAS SOUS 128107 HAS SOUPS 126346 WITH SCORE 126916.909
AT ITER 8897 NEW BEST:: SOT 1153710 SOS 570949 HAS SOPS 555524 HAS SOUS 127971 HAS SOUPS 126210 WITH SCORE 126780.949
AT ITER 8901 NEW BEST:: SOT 1153706 SOS 570947 HAS SOPS 555522 HAS SOUS 127969 HAS SOUPS 126208 WITH SCORE 126778.947
AT ITER 8903 NEW BEST:: SOT 1153703 SOS 570952 HAS SOPS 555528 HAS SOUS 127954 HAS SOUPS 126196 WITH SCORE 126766.952
AT ITER 9016 NEW BEST:: SOT 1153666 SOS 570915 HAS SOPS 555491 HAS SOUS 127917 HAS SOUPS 126159 WITH SCORE 126729.915
AT ITER 9018 NEW BEST:: SOT 1153613 SOS 570862 HAS SOPS 555442 HAS SOUS 127864 HAS SOUPS 126110 WITH SCORE 126680.862
AT ITER 9020 NEW BEST:: SOT 1153613 SOS 570862 HAS SOPS 555428 HAS SOUS 127858 HAS SOUPS 126104 WITH SCORE 126674.862
AT ITER 9032 NEW BEST:: SOT 1153630 SOS 570888 HAS SOPS 555454 HAS SOUS 127851 HAS SOUPS 126097 WITH SCORE 126667.888
AT ITER 9042 NEW BEST:: SOT 1153687 SOS 570853 HAS SOPS 555419 HAS SOUS 127821 HAS SOUPS 126067 WITH SCORE 126637.853
AT ITER 9061 NEW BEST:: SOT 1153677 SOS 570843 HAS SOPS 555409 HAS SOUS 127792 HAS SOUPS 126038 WITH SCORE 126608.843
AT ITER 9077 NEW BEST:: SOT 1153677 SOS 570721 HAS SOPS 555287 HAS SOUS 127670 HAS SOUPS 125916 WITH SCORE 126486.721
AT ITER 9094 NEW BEST:: SOT 1153674 SOS 570754 HAS SOPS 555320 HAS SOUS 127664 HAS SOUPS 125910 WITH SCORE 126480.754
AT ITER 9099 NEW BEST:: SOT 1153628 SOS 570731 HAS SOPS 555297 HAS SOUS 127600 HAS SOUPS 125846 WITH SCORE 126416.731
AT ITER 9125 NEW BEST:: SOT 1153628 SOS 569517 HAS SOPS 554083 HAS SOUS 127598 HAS SOUPS 125844 WITH SCORE 126413.517
AT ITER 9151 NEW BEST:: SOT 1153622 SOS 569511 HAS SOPS 554077 HAS SOUS 127592 HAS SOUPS 125838 WITH SCORE 126407.511
AT ITER 9158 NEW BEST:: SOT 1153617 SOS 569506 HAS SOPS 554072 HAS SOUS 127587 HAS SOUPS 125833 WITH SCORE 126402.506
AT ITER 9178 NEW BEST:: SOT 1153580 SOS 569445 HAS SOPS 554011 HAS SOUS 127526 HAS SOUPS 125772 WITH SCORE 126341.445
AT ITER 9190 NEW BEST:: SOT 1153547 SOS 569415 HAS SOPS 553981 HAS SOUS 127486 HAS SOUPS 125732 WITH SCORE 126301.415
AT ITER 9202 NEW BEST:: SOT 1153487 SOS 569301 HAS SOPS 553867 HAS SOUS 127451 HAS SOUPS 125697 WITH SCORE 126266.301
AT ITER 9207 NEW BEST:: SOT 1153462 SOS 569263 HAS SOPS 553860 HAS SOUS 127400 HAS SOUPS 125676 WITH SCORE 126245.263
AT ITER 9227 NEW BEST:: SOT 1153520 SOS 569235 HAS SOPS 553821 HAS SOUS 127369 HAS SOUPS 125645 WITH SCORE 126214.235
AT ITER 9272 NEW BEST:: SOT 1153480 SOS 569251 HAS SOPS 553845 HAS SOUS 127365 HAS SOUPS 125641 WITH SCORE 126210.251
AT ITER 9285 NEW BEST:: SOT 1153414 SOS 575555 HAS SOPS 560149 HAS SOUS 127080 HAS SOUPS 125356 WITH SCORE 125931.555
AT ITER 9303 NEW BEST:: SOT 1153412 SOS 575279 HAS SOPS 559964 HAS SOUS 126970 HAS SOUPS 125246 WITH SCORE 125821.279
AT ITER 9310 NEW BEST:: SOT 1153194 SOS 575060 HAS SOPS 559745 HAS SOUS 126939 HAS SOUPS 125215 WITH SCORE 125790.06
AT ITER 9319 NEW BEST:: SOT 1153194 SOS 575102 HAS SOPS 559787 HAS SOUS 126897 HAS SOUPS 125173 WITH SCORE 125748.102
AT ITER 9326 NEW BEST:: SOT 1152968 SOS 574849 HAS SOPS 559534 HAS SOUS 126758 HAS SOUPS 125034 WITH SCORE 125608.849
AT ITER 9345 NEW BEST:: SOT 1152961 SOS 574835 HAS SOPS 559520 HAS SOUS 126739 HAS SOUPS 125015 WITH SCORE 125589.835
AT ITER 9368 NEW BEST:: SOT 1152954 SOS 574851 HAS SOPS 559536 HAS SOUS 126681 HAS SOUPS 124957 WITH SCORE 125531.851
AT ITER 9402 NEW BEST:: SOT 1152947 SOS 574837 HAS SOPS 559522 HAS SOUS 126667 HAS SOUPS 124943 WITH SCORE 125517.837
AT ITER 9447 NEW BEST:: SOT 1152839 SOS 574621 HAS SOPS 559306 HAS SOUS 126559 HAS SOUPS 124835 WITH SCORE 125409.621
AT ITER 9474 NEW BEST:: SOT 1152809 SOS 574580 HAS SOPS 559265 HAS SOUS 126510 HAS SOUPS 124786 WITH SCORE 125360.58
AT ITER 9477 NEW BEST:: SOT 1152681 SOS 574452 HAS SOPS 559137 HAS SOUS 126418 HAS SOUPS 124694 WITH SCORE 125268.452
AT ITER 9485 NEW BEST:: SOT 1152686 SOS 574457 HAS SOPS 559149 HAS SOUS 126398 HAS SOUPS 124674 WITH SCORE 125248.457
AT ITER 9502 NEW BEST:: SOT 1152729 SOS 574500 HAS SOPS 559160 HAS SOUS 126309 HAS SOUPS 124585 WITH SCORE 125159.5
AT ITER 9532 NEW BEST:: SOT 1152435 SOS 574196 HAS SOPS 558856 HAS SOUS 126279 HAS SOUPS 124555 WITH SCORE 125129.196
AT ITER 9566 NEW BEST:: SOT 1152442 SOS 574177 HAS SOPS 558785 HAS SOUS 126274 HAS SOUPS 124550 WITH SCORE 125124.177
AT ITER 9592 NEW BEST:: SOT 1152442 SOS 574065 HAS SOPS 558673 HAS SOUS 126260 HAS SOUPS 124536 WITH SCORE 125110.065
AT ITER 9623 NEW BEST:: SOT 1152439 SOS 574062 HAS SOPS 558670 HAS SOUS 126254 HAS SOUPS 124530 WITH SCORE 125104.062
AT ITER 9628 NEW BEST:: SOT 1152431 SOS 574032 HAS SOPS 558640 HAS SOUS 126254 HAS SOUPS 124530 WITH SCORE 125104.032
AT ITER 9633 NEW BEST:: SOT 1152431 SOS 574024 HAS SOPS 558632 HAS SOUS 126249 HAS SOUPS 124525 WITH SCORE 125099.024
AT ITER 9647 NEW BEST:: SOT 1152295 SOS 573888 HAS SOPS 558496 HAS SOUS 126205 HAS SOUPS 124481 WITH SCORE 125054.888
AT ITER 9658 NEW BEST:: SOT 1152285 SOS 573892 HAS SOPS 558500 HAS SOUS 126159 HAS SOUPS 124435 WITH SCORE 125008.892
AT ITER 9711 NEW BEST:: SOT 1152242 SOS 573849 HAS SOPS 558457 HAS SOUS 126073 HAS SOUPS 124349 WITH SCORE 124922.849
AT ITER 9746 NEW BEST:: SOT 1152062 SOS 545432 HAS SOPS 530040 HAS SOUS 125699 HAS SOUPS 123975 WITH SCORE 124520.432
AT ITER 9800 NEW BEST:: SOT 1151971 SOS 545235 HAS SOPS 529843 HAS SOUS 125672 HAS SOUPS 123948 WITH SCORE 124493.235
AT ITER 9808 NEW BEST:: SOT 1151928 SOS 545104 HAS SOPS 529713 HAS SOUS 125586 HAS SOUPS 123862 WITH SCORE 124407.104
AT ITER 9846 NEW BEST:: SOT 1151940 SOS 545116 HAS SOPS 529725 HAS SOUS 125570 HAS SOUPS 123846 WITH SCORE 124391.116
AT ITER 9848 NEW BEST:: SOT 1151908 SOS 545052 HAS SOPS 529661 HAS SOUS 125522 HAS SOUPS 123798 WITH SCORE 124343.052
AT ITER 9862 NEW BEST:: SOT 1151845 SOS 544989 HAS SOPS 529598 HAS SOUS 125459 HAS SOUPS 123735 WITH SCORE 124279.989
AT ITER 9892 NEW BEST:: SOT 1151820 SOS 544969 HAS SOPS 529578 HAS SOUS 125419 HAS SOUPS 123695 WITH SCORE 124239.969
AT ITER 9905 NEW BEST:: SOT 1151587 SOS 544736 HAS SOPS 529345 HAS SOUS 125379 HAS SOUPS 123655 WITH SCORE 124199.736
AT ITER 9912 NEW BEST:: SOT 1150941 SOS 540711 HAS SOPS 525320 HAS SOUS 125193 HAS SOUPS 123469 WITH SCORE 124009.711
AT ITER 9930 NEW BEST:: SOT 1150977 SOS 540747 HAS SOPS 525373 HAS SOUS 125191 HAS SOUPS 123467 WITH SCORE 124007.747
AT ITER 9961 NEW BEST:: SOT 1150838 SOS 540585 HAS SOPS 525211 HAS SOUS 125162 HAS SOUPS 123438 WITH SCORE 123978.585
AT ITER 9972 NEW BEST:: SOT 1150838 SOS 540582 HAS SOPS 525165 HAS SOUS 125119 HAS SOUPS 123395 WITH SCORE 123935.582
AT ITER 9994 NEW BEST:: SOT 1150916 SOS 540682 HAS SOPS 525202 HAS SOUS 125027 HAS SOUPS 123303 WITH SCORE 123843.682
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="PolyORBLF-PT-S04J04T08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S04J04T08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354800472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J04T08.tgz
mv PolyORBLF-PT-S04J04T08 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;