About the Execution of Smart for AutonomousCar-PT-08b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
9494.527 | 3600000.00 | 3600177.00 | 9.90 | [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 '/data/fkordon/mcc2023-input.r003-oct2-167813591200656.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is AutonomousCar-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591200656
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 936K
-rw-r--r-- 1 mcc users 6.4K Feb 25 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 12:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 12:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 25 12:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 25 12:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 517K Mar 5 18:22 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 1678475473758
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutonomousCar-PT-08b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 08b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 357 places, 1128 transitions, 9454 arcs.
AT ITER 0 NEW BEST:: SOT 309486 SOS 96531 HAS SOPS 96531 HAS SOUS 52516 HAS SOUPS 52516 WITH SCORE 52612.531
AT ITER 2 NEW BEST:: SOT 309488 SOS 96499 HAS SOPS 96499 HAS SOUS 52499 HAS SOUPS 52499 WITH SCORE 52595.499
AT ITER 7 NEW BEST:: SOT 309488 SOS 96473 HAS SOPS 96473 HAS SOUS 52473 HAS SOUPS 52473 WITH SCORE 52569.473
AT ITER 9 NEW BEST:: SOT 309488 SOS 96457 HAS SOPS 96457 HAS SOUS 52473 HAS SOUPS 52473 WITH SCORE 52569.457
AT ITER 14 NEW BEST:: SOT 309495 SOS 96471 HAS SOPS 96471 HAS SOUS 52422 HAS SOUPS 52422 WITH SCORE 52518.471
AT ITER 15 NEW BEST:: SOT 309495 SOS 96451 HAS SOPS 96451 HAS SOUS 52422 HAS SOUPS 52422 WITH SCORE 52518.451
AT ITER 31 NEW BEST:: SOT 309505 SOS 96471 HAS SOPS 96471 HAS SOUS 52415 HAS SOUPS 52415 WITH SCORE 52511.471
AT ITER 45 NEW BEST:: SOT 309438 SOS 96453 HAS SOPS 96453 HAS SOUS 52387 HAS SOUPS 52387 WITH SCORE 52483.453
AT ITER 49 NEW BEST:: SOT 309419 SOS 96434 HAS SOPS 96434 HAS SOUS 52368 HAS SOUPS 52368 WITH SCORE 52464.434
AT ITER 67 NEW BEST:: SOT 309406 SOS 96408 HAS SOPS 96408 HAS SOUS 52351 HAS SOUPS 52351 WITH SCORE 52447.408
AT ITER 70 NEW BEST:: SOT 309392 SOS 96394 HAS SOPS 96394 HAS SOUS 52321 HAS SOUPS 52321 WITH SCORE 52417.394
AT ITER 76 NEW BEST:: SOT 309380 SOS 96382 HAS SOPS 96382 HAS SOUS 52309 HAS SOUPS 52309 WITH SCORE 52405.382
AT ITER 81 NEW BEST:: SOT 309346 SOS 96331 HAS SOPS 96331 HAS SOUS 52275 HAS SOUPS 52275 WITH SCORE 52371.331
AT ITER 86 NEW BEST:: SOT 309324 SOS 96309 HAS SOPS 96309 HAS SOUS 52253 HAS SOUPS 52253 WITH SCORE 52349.309
AT ITER 103 NEW BEST:: SOT 309396 SOS 96313 HAS SOPS 96313 HAS SOUS 52047 HAS SOUPS 52047 WITH SCORE 52143.313
AT ITER 117 NEW BEST:: SOT 309396 SOS 96313 HAS SOPS 96313 HAS SOUS 52040 HAS SOUPS 52040 WITH SCORE 52136.313
AT ITER 121 NEW BEST:: SOT 309449 SOS 96287 HAS SOPS 96287 HAS SOUS 50684 HAS SOUPS 50684 WITH SCORE 50780.287
AT ITER 127 NEW BEST:: SOT 309194 SOS 96032 HAS SOPS 96032 HAS SOUS 50565 HAS SOUPS 50565 WITH SCORE 50661.032
AT ITER 146 NEW BEST:: SOT 309242 SOS 95974 HAS SOPS 95974 HAS SOUS 50000 HAS SOUPS 50000 WITH SCORE 50095.974
AT ITER 157 NEW BEST:: SOT 309264 SOS 96018 HAS SOPS 96018 HAS SOUS 49974 HAS SOUPS 49974 WITH SCORE 50070.018
AT ITER 158 NEW BEST:: SOT 309261 SOS 96012 HAS SOPS 96012 HAS SOUS 49968 HAS SOUPS 49968 WITH SCORE 50064.012
AT ITER 163 NEW BEST:: SOT 309217 SOS 95924 HAS SOPS 95924 HAS SOUS 49880 HAS SOUPS 49880 WITH SCORE 49975.924
AT ITER 190 NEW BEST:: SOT 309201 SOS 95913 HAS SOPS 95913 HAS SOUS 49869 HAS SOUPS 49869 WITH SCORE 49964.913
AT ITER 209 NEW BEST:: SOT 309163 SOS 95880 HAS SOPS 95880 HAS SOUS 49802 HAS SOUPS 49802 WITH SCORE 49897.88
AT ITER 221 NEW BEST:: SOT 309166 SOS 95886 HAS SOPS 95886 HAS SOUS 49773 HAS SOUPS 49773 WITH SCORE 49868.886
AT ITER 241 NEW BEST:: SOT 309109 SOS 95844 HAS SOPS 95844 HAS SOUS 49725 HAS SOUPS 49725 WITH SCORE 49820.844
AT ITER 242 NEW BEST:: SOT 309124 SOS 95874 HAS SOPS 95874 HAS SOUS 49709 HAS SOUPS 49709 WITH SCORE 49804.874
AT ITER 263 NEW BEST:: SOT 309093 SOS 95859 HAS SOPS 95859 HAS SOUS 49678 HAS SOUPS 49678 WITH SCORE 49773.859
AT ITER 277 NEW BEST:: SOT 309043 SOS 95795 HAS SOPS 95795 HAS SOUS 49677 HAS SOUPS 49677 WITH SCORE 49772.795
AT ITER 280 NEW BEST:: SOT 309043 SOS 95795 HAS SOPS 95795 HAS SOUS 49641 HAS SOUPS 49641 WITH SCORE 49736.795
AT ITER 291 NEW BEST:: SOT 309010 SOS 95743 HAS SOPS 95743 HAS SOUS 49586 HAS SOUPS 49586 WITH SCORE 49681.743
AT ITER 293 NEW BEST:: SOT 309000 SOS 95723 HAS SOPS 95723 HAS SOUS 49566 HAS SOUPS 49566 WITH SCORE 49661.723
AT ITER 296 NEW BEST:: SOT 308990 SOS 95703 HAS SOPS 95703 HAS SOUS 49546 HAS SOUPS 49546 WITH SCORE 49641.703
AT ITER 302 NEW BEST:: SOT 309013 SOS 95749 HAS SOPS 95749 HAS SOUS 49517 HAS SOUPS 49517 WITH SCORE 49612.749
AT ITER 304 NEW BEST:: SOT 309018 SOS 95759 HAS SOPS 95759 HAS SOUS 48882 HAS SOUPS 48882 WITH SCORE 48977.759
AT ITER 318 NEW BEST:: SOT 309002 SOS 95727 HAS SOPS 95727 HAS SOUS 48850 HAS SOUPS 48850 WITH SCORE 48945.727
AT ITER 322 NEW BEST:: SOT 309001 SOS 95725 HAS SOPS 95725 HAS SOUS 48849 HAS SOUPS 48849 WITH SCORE 48944.725
AT ITER 333 NEW BEST:: SOT 308977 SOS 95677 HAS SOPS 95677 HAS SOUS 48735 HAS SOUPS 48735 WITH SCORE 48830.677
AT ITER 351 NEW BEST:: SOT 308917 SOS 95657 HAS SOPS 95657 HAS SOUS 48697 HAS SOUPS 48697 WITH SCORE 48792.657
AT ITER 360 NEW BEST:: SOT 308892 SOS 95629 HAS SOPS 95629 HAS SOUS 48630 HAS SOUPS 48630 WITH SCORE 48725.629
AT ITER 369 NEW BEST:: SOT 308871 SOS 95594 HAS SOPS 95594 HAS SOUS 48609 HAS SOUPS 48609 WITH SCORE 48704.594
AT ITER 371 NEW BEST:: SOT 308872 SOS 95573 HAS SOPS 95573 HAS SOUS 48588 HAS SOUPS 48588 WITH SCORE 48683.573
AT ITER 375 NEW BEST:: SOT 308847 SOS 95523 HAS SOPS 95523 HAS SOUS 48522 HAS SOUPS 48522 WITH SCORE 48617.523
AT ITER 376 NEW BEST:: SOT 307039 SOS 94197 HAS SOPS 94197 HAS SOUS 46677 HAS SOUPS 46677 WITH SCORE 46771.197
AT ITER 377 NEW BEST:: SOT 307051 SOS 94221 HAS SOPS 94221 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46748.221
AT ITER 381 NEW BEST:: SOT 307101 SOS 94274 HAS SOPS 94274 HAS SOUS 46571 HAS SOUPS 46571 WITH SCORE 46665.274
AT ITER 387 NEW BEST:: SOT 307101 SOS 94264 HAS SOPS 94264 HAS SOUS 46561 HAS SOUPS 46561 WITH SCORE 46655.264
AT ITER 392 NEW BEST:: SOT 307036 SOS 94256 HAS SOPS 94256 HAS SOUS 46557 HAS SOUPS 46557 WITH SCORE 46651.256
AT ITER 424 NEW BEST:: SOT 307022 SOS 94256 HAS SOPS 94256 HAS SOUS 46543 HAS SOUPS 46543 WITH SCORE 46637.256
AT ITER 425 NEW BEST:: SOT 307012 SOS 94236 HAS SOPS 94236 HAS SOUS 46507 HAS SOUPS 46507 WITH SCORE 46601.236
AT ITER 431 NEW BEST:: SOT 306991 SOS 94158 HAS SOPS 94158 HAS SOUS 46492 HAS SOUPS 46492 WITH SCORE 46586.158
AT ITER 438 NEW BEST:: SOT 306987 SOS 94150 HAS SOPS 94150 HAS SOUS 46487 HAS SOUPS 46487 WITH SCORE 46581.15
AT ITER 462 NEW BEST:: SOT 306968 SOS 94131 HAS SOPS 94131 HAS SOUS 46449 HAS SOUPS 46449 WITH SCORE 46543.131
AT ITER 463 NEW BEST:: SOT 306959 SOS 94122 HAS SOPS 94122 HAS SOUS 46417 HAS SOUPS 46417 WITH SCORE 46511.122
AT ITER 481 NEW BEST:: SOT 306898 SOS 94061 HAS SOPS 94061 HAS SOUS 46356 HAS SOUPS 46356 WITH SCORE 46450.061
AT ITER 484 NEW BEST:: SOT 306860 SOS 93929 HAS SOPS 93929 HAS SOUS 46318 HAS SOUPS 46318 WITH SCORE 46411.929
AT ITER 486 NEW BEST:: SOT 306841 SOS 93939 HAS SOPS 93939 HAS SOUS 46312 HAS SOUPS 46312 WITH SCORE 46405.939
AT ITER 496 NEW BEST:: SOT 306809 SOS 92819 HAS SOPS 92819 HAS SOUS 46279 HAS SOUPS 46279 WITH SCORE 46371.819
AT ITER 499 NEW BEST:: SOT 306809 SOS 91811 HAS SOPS 91811 HAS SOUS 46279 HAS SOUPS 46279 WITH SCORE 46370.811
AT ITER 544 NEW BEST:: SOT 306774 SOS 89699 HAS SOPS 89699 HAS SOUS 46246 HAS SOUPS 46246 WITH SCORE 46335.699
AT ITER 545 NEW BEST:: SOT 306766 SOS 89683 HAS SOPS 89683 HAS SOUS 46230 HAS SOUPS 46230 WITH SCORE 46319.683
AT ITER 563 NEW BEST:: SOT 305968 SOS 88875 HAS SOPS 88875 HAS SOUS 45576 HAS SOUPS 45576 WITH SCORE 45664.875
AT ITER 568 NEW BEST:: SOT 305966 SOS 88874 HAS SOPS 88874 HAS SOUS 45575 HAS SOUPS 45575 WITH SCORE 45663.874
AT ITER 570 NEW BEST:: SOT 305966 SOS 88866 HAS SOPS 88866 HAS SOUS 45575 HAS SOUPS 45575 WITH SCORE 45663.866
AT ITER 573 NEW BEST:: SOT 306050 SOS 88927 HAS SOPS 88927 HAS SOUS 45570 HAS SOUPS 45570 WITH SCORE 45658.927
AT ITER 578 NEW BEST:: SOT 306049 SOS 88925 HAS SOPS 88925 HAS SOUS 45568 HAS SOUPS 45568 WITH SCORE 45656.925
AT ITER 654 NEW BEST:: SOT 306027 SOS 88881 HAS SOPS 88881 HAS SOUS 45524 HAS SOUPS 45524 WITH SCORE 45612.881
AT ITER 656 NEW BEST:: SOT 305987 SOS 88732 HAS SOPS 88732 HAS SOUS 45415 HAS SOUPS 45415 WITH SCORE 45503.732
AT ITER 659 NEW BEST:: SOT 305963 SOS 88662 HAS SOPS 88662 HAS SOUS 45389 HAS SOUPS 45389 WITH SCORE 45477.662
AT ITER 660 NEW BEST:: SOT 305908 SOS 88652 HAS SOPS 88652 HAS SOUS 45384 HAS SOUPS 45384 WITH SCORE 45472.652
AT ITER 688 NEW BEST:: SOT 305901 SOS 88645 HAS SOPS 88645 HAS SOUS 45289 HAS SOUPS 45289 WITH SCORE 45377.645
AT ITER 698 NEW BEST:: SOT 305889 SOS 88607 HAS SOPS 88607 HAS SOUS 45263 HAS SOUPS 45263 WITH SCORE 45351.607
AT ITER 723 NEW BEST:: SOT 305870 SOS 88641 HAS SOPS 88641 HAS SOUS 45244 HAS SOUPS 45244 WITH SCORE 45332.641
AT ITER 731 NEW BEST:: SOT 305871 SOS 88637 HAS SOPS 88637 HAS SOUS 45240 HAS SOUPS 45240 WITH SCORE 45328.637
AT ITER 782 NEW BEST:: SOT 305865 SOS 88625 HAS SOPS 88625 HAS SOUS 45215 HAS SOUPS 45215 WITH SCORE 45303.625
AT ITER 813 NEW BEST:: SOT 305858 SOS 88611 HAS SOPS 88611 HAS SOUS 45201 HAS SOUPS 45201 WITH SCORE 45289.611
AT ITER 819 NEW BEST:: SOT 305822 SOS 88539 HAS SOPS 88539 HAS SOUS 45129 HAS SOUPS 45129 WITH SCORE 45217.539
AT ITER 825 NEW BEST:: SOT 305857 SOS 88821 HAS SOPS 88821 HAS SOUS 44314 HAS SOUPS 44314 WITH SCORE 44402.821
AT ITER 830 NEW BEST:: SOT 305869 SOS 88833 HAS SOPS 88833 HAS SOUS 44310 HAS SOUPS 44310 WITH SCORE 44398.833
AT ITER 832 NEW BEST:: SOT 305862 SOS 89129 HAS SOPS 89129 HAS SOUS 44299 HAS SOUPS 44299 WITH SCORE 44388.129
AT ITER 862 NEW BEST:: SOT 305406 SOS 88609 HAS SOPS 88609 HAS SOUS 44215 HAS SOUPS 44215 WITH SCORE 44303.609
AT ITER 866 NEW BEST:: SOT 305403 SOS 88607 HAS SOPS 88607 HAS SOUS 44211 HAS SOUPS 44211 WITH SCORE 44299.607
AT ITER 880 NEW BEST:: SOT 305400 SOS 88607 HAS SOPS 88607 HAS SOUS 44208 HAS SOUPS 44208 WITH SCORE 44296.607
AT ITER 892 NEW BEST:: SOT 305078 SOS 88319 HAS SOPS 88319 HAS SOUS 44097 HAS SOUPS 44097 WITH SCORE 44185.319
AT ITER 913 NEW BEST:: SOT 305093 SOS 88349 HAS SOPS 88349 HAS SOUS 44087 HAS SOUPS 44087 WITH SCORE 44175.349
AT ITER 924 NEW BEST:: SOT 305084 SOS 88331 HAS SOPS 88331 HAS SOUS 44078 HAS SOUPS 44078 WITH SCORE 44166.331
AT ITER 925 NEW BEST:: SOT 305034 SOS 88281 HAS SOPS 88281 HAS SOUS 44028 HAS SOUPS 44028 WITH SCORE 44116.281
AT ITER 932 NEW BEST:: SOT 305062 SOS 88274 HAS SOPS 88274 HAS SOUS 43799 HAS SOUPS 43799 WITH SCORE 43887.274
AT ITER 936 NEW BEST:: SOT 304990 SOS 88246 HAS SOPS 88246 HAS SOUS 43760 HAS SOUPS 43760 WITH SCORE 43848.246
AT ITER 939 NEW BEST:: SOT 304990 SOS 88233 HAS SOPS 88233 HAS SOUS 43753 HAS SOUPS 43753 WITH SCORE 43841.233
AT ITER 959 NEW BEST:: SOT 306007 SOS 89631 HAS SOPS 89631 HAS SOUS 40989 HAS SOUPS 40989 WITH SCORE 41078.631
AT ITER 964 NEW BEST:: SOT 306001 SOS 89619 HAS SOPS 89619 HAS SOUS 40977 HAS SOUPS 40977 WITH SCORE 41066.619
AT ITER 971 NEW BEST:: SOT 306385 SOS 90097 HAS SOPS 90097 HAS SOUS 40911 HAS SOUPS 40911 WITH SCORE 41001.097
AT ITER 1015 NEW BEST:: SOT 306335 SOS 89997 HAS SOPS 89997 HAS SOUS 40811 HAS SOUPS 40811 WITH SCORE 40900.997
AT ITER 1018 NEW BEST:: SOT 306294 SOS 89915 HAS SOPS 89915 HAS SOUS 40749 HAS SOUPS 40749 WITH SCORE 40838.915
AT ITER 1020 NEW BEST:: SOT 306294 SOS 89915 HAS SOPS 89915 HAS SOUS 40737 HAS SOUPS 40737 WITH SCORE 40826.915
AT ITER 1044 NEW BEST:: SOT 305192 SOS 88788 HAS SOPS 88788 HAS SOUS 39635 HAS SOUPS 39635 WITH SCORE 39723.788
AT ITER 1068 NEW BEST:: SOT 305189 SOS 88782 HAS SOPS 88782 HAS SOUS 39629 HAS SOUPS 39629 WITH SCORE 39717.782
AT ITER 1085 NEW BEST:: SOT 304990 SOS 88583 HAS SOPS 88583 HAS SOUS 39192 HAS SOUPS 39192 WITH SCORE 39280.583
AT ITER 1093 NEW BEST:: SOT 304990 SOS 88583 HAS SOPS 88583 HAS SOUS 39187 HAS SOUPS 39187 WITH SCORE 39275.583
AT ITER 1148 NEW BEST:: SOT 304958 SOS 88551 HAS SOPS 88551 HAS SOUS 39123 HAS SOUPS 39123 WITH SCORE 39211.551
AT ITER 1155 NEW BEST:: SOT 304960 SOS 88555 HAS SOPS 88555 HAS SOUS 39090 HAS SOUPS 39090 WITH SCORE 39178.555
AT ITER 1156 NEW BEST:: SOT 304965 SOS 87654 HAS SOPS 87654 HAS SOUS 39085 HAS SOUPS 39085 WITH SCORE 39172.654
AT ITER 1165 NEW BEST:: SOT 304581 SOS 87246 HAS SOPS 87246 HAS SOUS 38677 HAS SOUPS 38677 WITH SCORE 38764.246
AT ITER 1225 NEW BEST:: SOT 304581 SOS 87246 HAS SOPS 87246 HAS SOUS 38649 HAS SOUPS 38649 WITH SCORE 38736.246
AT ITER 1227 NEW BEST:: SOT 304574 SOS 87232 HAS SOPS 87232 HAS SOUS 38642 HAS SOUPS 38642 WITH SCORE 38729.232
AT ITER 1233 NEW BEST:: SOT 304562 SOS 87208 HAS SOPS 87208 HAS SOUS 38618 HAS SOUPS 38618 WITH SCORE 38705.208
AT ITER 1241 NEW BEST:: SOT 304562 SOS 87208 HAS SOPS 87208 HAS SOUS 38614 HAS SOUPS 38614 WITH SCORE 38701.208
AT ITER 1265 NEW BEST:: SOT 304538 SOS 87160 HAS SOPS 87160 HAS SOUS 38590 HAS SOUPS 38590 WITH SCORE 38677.16
AT ITER 1270 NEW BEST:: SOT 304535 SOS 87157 HAS SOPS 87157 HAS SOUS 38587 HAS SOUPS 38587 WITH SCORE 38674.157
AT ITER 1350 NEW BEST:: SOT 304525 SOS 87142 HAS SOPS 87142 HAS SOUS 38582 HAS SOUPS 38582 WITH SCORE 38669.142
AT ITER 1354 NEW BEST:: SOT 304519 SOS 87136 HAS SOPS 87136 HAS SOUS 38576 HAS SOUPS 38576 WITH SCORE 38663.136
AT ITER 1370 NEW BEST:: SOT 304516 SOS 87171 HAS SOPS 87171 HAS SOUS 38570 HAS SOUPS 38570 WITH SCORE 38657.171
AT ITER 1397 NEW BEST:: SOT 304519 SOS 87174 HAS SOPS 87174 HAS SOUS 38558 HAS SOUPS 38558 WITH SCORE 38645.174
AT ITER 1420 NEW BEST:: SOT 304496 SOS 87206 HAS SOPS 87206 HAS SOUS 38535 HAS SOUPS 38535 WITH SCORE 38622.206
AT ITER 1429 NEW BEST:: SOT 304510 SOS 87633 HAS SOPS 87633 HAS SOUS 38275 HAS SOUPS 38275 WITH SCORE 38362.633
AT ITER 1444 NEW BEST:: SOT 304470 SOS 87573 HAS SOPS 87573 HAS SOUS 38217 HAS SOUPS 38217 WITH SCORE 38304.573
AT ITER 1463 NEW BEST:: SOT 304490 SOS 87603 HAS SOPS 87603 HAS SOUS 37863 HAS SOUPS 37863 WITH SCORE 37950.603
AT ITER 1536 NEW BEST:: SOT 304488 SOS 87597 HAS SOPS 87597 HAS SOUS 37857 HAS SOUPS 37857 WITH SCORE 37944.597
AT ITER 1552 NEW BEST:: SOT 304471 SOS 87583 HAS SOPS 87583 HAS SOUS 37836 HAS SOUPS 37836 WITH SCORE 37923.583
AT ITER 1553 NEW BEST:: SOT 304407 SOS 87512 HAS SOPS 87512 HAS SOUS 37701 HAS SOUPS 37701 WITH SCORE 37788.512
AT ITER 1568 NEW BEST:: SOT 304395 SOS 86792 HAS SOPS 86792 HAS SOUS 37665 HAS SOUPS 37665 WITH SCORE 37751.792
AT ITER 1571 NEW BEST:: SOT 304332 SOS 86731 HAS SOPS 86731 HAS SOUS 37604 HAS SOUPS 37604 WITH SCORE 37690.731
AT ITER 1576 NEW BEST:: SOT 304336 SOS 86687 HAS SOPS 86687 HAS SOUS 37582 HAS SOUPS 37582 WITH SCORE 37668.687
AT ITER 1580 NEW BEST:: SOT 304329 SOS 86621 HAS SOPS 86621 HAS SOUS 37568 HAS SOUPS 37568 WITH SCORE 37654.621
AT ITER 1598 NEW BEST:: SOT 304295 SOS 86496 HAS SOPS 86496 HAS SOUS 37534 HAS SOUPS 37534 WITH SCORE 37620.496
AT ITER 1613 NEW BEST:: SOT 304283 SOS 86472 HAS SOPS 86472 HAS SOUS 37522 HAS SOUPS 37522 WITH SCORE 37608.472
AT ITER 1699 NEW BEST:: SOT 304277 SOS 86448 HAS SOPS 86448 HAS SOUS 37510 HAS SOUPS 37510 WITH SCORE 37596.448
AT ITER 1702 NEW BEST:: SOT 304221 SOS 89121 HAS SOPS 89121 HAS SOUS 37489 HAS SOUPS 37489 WITH SCORE 37578.121
AT ITER 1709 NEW BEST:: SOT 304203 SOS 89102 HAS SOPS 89102 HAS SOUS 37462 HAS SOUPS 37462 WITH SCORE 37551.102
AT ITER 1738 NEW BEST:: SOT 304278 SOS 86423 HAS SOPS 86423 HAS SOUS 37309 HAS SOUPS 37309 WITH SCORE 37395.423
AT ITER 1739 NEW BEST:: SOT 304276 SOS 86419 HAS SOPS 86419 HAS SOUS 37305 HAS SOUPS 37305 WITH SCORE 37391.419
AT ITER 1755 NEW BEST:: SOT 304271 SOS 86414 HAS SOPS 86414 HAS SOUS 37295 HAS SOUPS 37295 WITH SCORE 37381.414
AT ITER 1759 NEW BEST:: SOT 304269 SOS 86413 HAS SOPS 86413 HAS SOUS 37294 HAS SOUPS 37294 WITH SCORE 37380.413
AT ITER 1794 NEW BEST:: SOT 304273 SOS 86421 HAS SOPS 86421 HAS SOUS 37289 HAS SOUPS 37289 WITH SCORE 37375.421
AT ITER 1799 NEW BEST:: SOT 304246 SOS 86367 HAS SOPS 86367 HAS SOUS 37262 HAS SOUPS 37262 WITH SCORE 37348.367
AT ITER 1802 NEW BEST:: SOT 304174 SOS 84939 HAS SOPS 84939 HAS SOUS 37169 HAS SOUPS 37169 WITH SCORE 37253.939
AT ITER 1807 NEW BEST:: SOT 304169 SOS 84934 HAS SOPS 84934 HAS SOUS 37164 HAS SOUPS 37164 WITH SCORE 37248.934
AT ITER 1825 NEW BEST:: SOT 304153 SOS 84905 HAS SOPS 84905 HAS SOUS 37119 HAS SOUPS 37119 WITH SCORE 37203.905
AT ITER 1850 NEW BEST:: SOT 304153 SOS 84871 HAS SOPS 84871 HAS SOUS 37102 HAS SOUPS 37102 WITH SCORE 37186.871
AT ITER 1852 NEW BEST:: SOT 304153 SOS 84862 HAS SOPS 84862 HAS SOUS 37093 HAS SOUPS 37093 WITH SCORE 37177.862
AT ITER 1864 NEW BEST:: SOT 304165 SOS 84886 HAS SOPS 84886 HAS SOUS 37077 HAS SOUPS 37077 WITH SCORE 37161.886
AT ITER 1887 NEW BEST:: SOT 304157 SOS 84839 HAS SOPS 84839 HAS SOUS 37015 HAS SOUPS 37015 WITH SCORE 37099.839
AT ITER 1927 NEW BEST:: SOT 304156 SOS 84828 HAS SOPS 84828 HAS SOUS 37004 HAS SOUPS 37004 WITH SCORE 37088.828
AT ITER 1959 NEW BEST:: SOT 303966 SOS 84630 HAS SOPS 84630 HAS SOUS 36894 HAS SOUPS 36894 WITH SCORE 36978.63
AT ITER 1973 NEW BEST:: SOT 303603 SOS 84240 HAS SOPS 84240 HAS SOUS 36721 HAS SOUPS 36721 WITH SCORE 36805.24
AT ITER 1974 NEW BEST:: SOT 303117 SOS 84617 HAS SOPS 84617 HAS SOUS 36659 HAS SOUPS 36659 WITH SCORE 36743.617
AT ITER 1983 NEW BEST:: SOT 303135 SOS 85373 HAS SOPS 85373 HAS SOUS 36612 HAS SOUPS 36612 WITH SCORE 36697.373
AT ITER 1990 NEW BEST:: SOT 303122 SOS 85347 HAS SOPS 85347 HAS SOUS 36559 HAS SOUPS 36559 WITH SCORE 36644.347
AT ITER 1992 NEW BEST:: SOT 303109 SOS 84922 HAS SOPS 84922 HAS SOUS 36403 HAS SOUPS 36403 WITH SCORE 36487.922
AT ITER 2015 NEW BEST:: SOT 303090 SOS 84884 HAS SOPS 84884 HAS SOUS 36373 HAS SOUPS 36373 WITH SCORE 36457.884
AT ITER 2034 NEW BEST:: SOT 303074 SOS 84868 HAS SOPS 84868 HAS SOUS 36341 HAS SOUPS 36341 WITH SCORE 36425.868
AT ITER 2059 NEW BEST:: SOT 303074 SOS 84863 HAS SOPS 84863 HAS SOUS 36336 HAS SOUPS 36336 WITH SCORE 36420.863
AT ITER 2061 NEW BEST:: SOT 303073 SOS 84861 HAS SOPS 84861 HAS SOUS 36334 HAS SOUPS 36334 WITH SCORE 36418.861
AT ITER 2096 NEW BEST:: SOT 303066 SOS 84875 HAS SOPS 84875 HAS SOUS 36333 HAS SOUPS 36333 WITH SCORE 36417.875
AT ITER 2123 NEW BEST:: SOT 303024 SOS 84835 HAS SOPS 84835 HAS SOUS 36293 HAS SOUPS 36293 WITH SCORE 36377.835
AT ITER 2130 NEW BEST:: SOT 302981 SOS 84792 HAS SOPS 84792 HAS SOUS 36250 HAS SOUPS 36250 WITH SCORE 36334.792
AT ITER 2131 NEW BEST:: SOT 302981 SOS 90654 HAS SOPS 90654 HAS SOUS 36212 HAS SOUPS 36212 WITH SCORE 36302.654
AT ITER 2165 NEW BEST:: SOT 302975 SOS 90618 HAS SOPS 90618 HAS SOUS 36200 HAS SOUPS 36200 WITH SCORE 36290.618
AT ITER 2166 NEW BEST:: SOT 302977 SOS 90616 HAS SOPS 90616 HAS SOUS 36200 HAS SOUPS 36200 WITH SCORE 36290.616
AT ITER 2241 NEW BEST:: SOT 302978 SOS 90615 HAS SOPS 90615 HAS SOUS 36199 HAS SOUPS 36199 WITH SCORE 36289.615
AT ITER 2280 NEW BEST:: SOT 302966 SOS 90591 HAS SOPS 90591 HAS SOUS 36192 HAS SOUPS 36192 WITH SCORE 36282.591
AT ITER 2288 NEW BEST:: SOT 302935 SOS 90565 HAS SOPS 90565 HAS SOUS 36162 HAS SOUPS 36162 WITH SCORE 36252.565
AT ITER 2316 NEW BEST:: SOT 302928 SOS 90551 HAS SOPS 90551 HAS SOUS 36155 HAS SOUPS 36155 WITH SCORE 36245.551
AT ITER 2320 NEW BEST:: SOT 302926 SOS 90549 HAS SOPS 90549 HAS SOUS 36153 HAS SOUPS 36153 WITH SCORE 36243.549
AT ITER 2326 NEW BEST:: SOT 302926 SOS 90536 HAS SOPS 90536 HAS SOUS 36153 HAS SOUPS 36153 WITH SCORE 36243.536
AT ITER 2354 NEW BEST:: SOT 302913 SOS 90464 HAS SOPS 90464 HAS SOUS 36091 HAS SOUPS 36091 WITH SCORE 36181.464
AT ITER 2356 NEW BEST:: SOT 302898 SOS 89956 HAS SOPS 89956 HAS SOUS 35960 HAS SOUPS 35960 WITH SCORE 36049.956
AT ITER 2359 NEW BEST:: SOT 302886 SOS 89861 HAS SOPS 89861 HAS SOUS 35948 HAS SOUPS 35948 WITH SCORE 36037.861
AT ITER 2364 NEW BEST:: SOT 302878 SOS 89789 HAS SOPS 89789 HAS SOUS 35912 HAS SOUPS 35912 WITH SCORE 36001.789
AT ITER 2369 NEW BEST:: SOT 302864 SOS 89761 HAS SOPS 89761 HAS SOUS 35884 HAS SOUPS 35884 WITH SCORE 35973.761
AT ITER 2373 NEW BEST:: SOT 302888 SOS 89793 HAS SOPS 89793 HAS SOUS 35820 HAS SOUPS 35820 WITH SCORE 35909.793
AT ITER 2391 NEW BEST:: SOT 302872 SOS 89776 HAS SOPS 89776 HAS SOUS 35803 HAS SOUPS 35803 WITH SCORE 35892.776
AT ITER 2393 NEW BEST:: SOT 302867 SOS 89766 HAS SOPS 89766 HAS SOUS 35798 HAS SOUPS 35798 WITH SCORE 35887.766
AT ITER 2410 NEW BEST:: SOT 302873 SOS 89785 HAS SOPS 89785 HAS SOUS 35795 HAS SOUPS 35795 WITH SCORE 35884.785
AT ITER 2428 NEW BEST:: SOT 302857 SOS 89753 HAS SOPS 89753 HAS SOUS 35763 HAS SOUPS 35763 WITH SCORE 35852.753
AT ITER 2493 NEW BEST:: SOT 302850 SOS 90642 HAS SOPS 90642 HAS SOUS 35756 HAS SOUPS 35756 WITH SCORE 35846.642
AT ITER 2524 NEW BEST:: SOT 302826 SOS 89858 HAS SOPS 89858 HAS SOUS 35750 HAS SOUPS 35750 WITH SCORE 35839.858
AT ITER 2532 NEW BEST:: SOT 302825 SOS 89856 HAS SOPS 89856 HAS SOUS 35748 HAS SOUPS 35748 WITH SCORE 35837.856
AT ITER 2566 NEW BEST:: SOT 302800 SOS 89806 HAS SOPS 89806 HAS SOUS 35698 HAS SOUPS 35698 WITH SCORE 35787.806
AT ITER 2588 NEW BEST:: SOT 302740 SOS 89740 HAS SOPS 89740 HAS SOUS 35686 HAS SOUPS 35686 WITH SCORE 35775.74
AT ITER 2598 NEW BEST:: SOT 302748 SOS 89706 HAS SOPS 89706 HAS SOUS 35665 HAS SOUPS 35665 WITH SCORE 35754.706
AT ITER 2636 NEW BEST:: SOT 302706 SOS 89664 HAS SOPS 89664 HAS SOUS 35623 HAS SOUPS 35623 WITH SCORE 35712.664
AT ITER 2646 NEW BEST:: SOT 302721 SOS 89670 HAS SOPS 89670 HAS SOUS 35614 HAS SOUPS 35614 WITH SCORE 35703.67
AT ITER 2653 NEW BEST:: SOT 302729 SOS 89652 HAS SOPS 89652 HAS SOUS 35607 HAS SOUPS 35607 WITH SCORE 35696.652
AT ITER 2669 NEW BEST:: SOT 302729 SOS 89648 HAS SOPS 89648 HAS SOUS 35602 HAS SOUPS 35602 WITH SCORE 35691.648
AT ITER 2693 NEW BEST:: SOT 302720 SOS 89630 HAS SOPS 89630 HAS SOUS 35580 HAS SOUPS 35580 WITH SCORE 35669.63
AT ITER 2701 NEW BEST:: SOT 302758 SOS 89706 HAS SOPS 89706 HAS SOUS 35573 HAS SOUPS 35573 WITH SCORE 35662.706
AT ITER 2708 NEW BEST:: SOT 302758 SOS 89660 HAS SOPS 89660 HAS SOUS 35573 HAS SOUPS 35573 WITH SCORE 35662.66
AT ITER 2716 NEW BEST:: SOT 302738 SOS 89635 HAS SOPS 89635 HAS SOUS 35548 HAS SOUPS 35548 WITH SCORE 35637.635
AT ITER 2740 NEW BEST:: SOT 302434 SOS 89295 HAS SOPS 89295 HAS SOUS 35389 HAS SOUPS 35389 WITH SCORE 35478.295
AT ITER 2744 NEW BEST:: SOT 302429 SOS 89237 HAS SOPS 89237 HAS SOUS 35378 HAS SOUPS 35378 WITH SCORE 35467.237
AT ITER 2756 NEW BEST:: SOT 302141 SOS 88928 HAS SOPS 88928 HAS SOUS 35048 HAS SOUPS 35048 WITH SCORE 35136.928
AT ITER 2772 NEW BEST:: SOT 302141 SOS 88914 HAS SOPS 88914 HAS SOUS 35048 HAS SOUPS 35048 WITH SCORE 35136.914
AT ITER 2797 NEW BEST:: SOT 302114 SOS 88889 HAS SOPS 88889 HAS SOUS 35022 HAS SOUPS 35022 WITH SCORE 35110.889
AT ITER 2809 NEW BEST:: SOT 302009 SOS 88679 HAS SOPS 88679 HAS SOUS 34929 HAS SOUPS 34929 WITH SCORE 35017.679
AT ITER 2848 NEW BEST:: SOT 302009 SOS 88677 HAS SOPS 88677 HAS SOUS 34929 HAS SOUPS 34929 WITH SCORE 35017.677
AT ITER 2906 NEW BEST:: SOT 302012 SOS 88683 HAS SOPS 88683 HAS SOUS 34925 HAS SOUPS 34925 WITH SCORE 35013.683
AT ITER 2918 NEW BEST:: SOT 302002 SOS 88668 HAS SOPS 88668 HAS SOUS 34915 HAS SOUPS 34915 WITH SCORE 35003.668
AT ITER 2928 NEW BEST:: SOT 301939 SOS 95056 HAS SOPS 95056 HAS SOUS 34458 HAS SOUPS 34458 WITH SCORE 34553.056
AT ITER 2934 NEW BEST:: SOT 301939 SOS 95056 HAS SOPS 95056 HAS SOUS 34448 HAS SOUPS 34448 WITH SCORE 34543.056
AT ITER 2951 NEW BEST:: SOT 301843 SOS 94960 HAS SOPS 94960 HAS SOUS 34250 HAS SOUPS 34250 WITH SCORE 34344.96
AT ITER 2952 NEW BEST:: SOT 301835 SOS 94952 HAS SOPS 94952 HAS SOUS 34234 HAS SOUPS 34234 WITH SCORE 34328.952
AT ITER 2960 NEW BEST:: SOT 301269 SOS 94386 HAS SOPS 94386 HAS SOUS 33904 HAS SOUPS 33904 WITH SCORE 33998.386
AT ITER 2976 NEW BEST:: SOT 301269 SOS 94394 HAS SOPS 94394 HAS SOUS 33896 HAS SOUPS 33896 WITH SCORE 33990.394
AT ITER 3047 NEW BEST:: SOT 301243 SOS 94342 HAS SOPS 94342 HAS SOUS 33894 HAS SOUPS 33894 WITH SCORE 33988.342
AT ITER 3055 NEW BEST:: SOT 301211 SOS 94318 HAS SOPS 94318 HAS SOUS 33870 HAS SOUPS 33870 WITH SCORE 33964.318
AT ITER 3069 NEW BEST:: SOT 301177 SOS 94348 HAS SOPS 94348 HAS SOUS 33862 HAS SOUPS 33862 WITH SCORE 33956.348
AT ITER 3100 NEW BEST:: SOT 301156 SOS 94596 HAS SOPS 94596 HAS SOUS 33854 HAS SOUPS 33854 WITH SCORE 33948.596
AT ITER 3101 NEW BEST:: SOT 300849 SOS 94639 HAS SOPS 94639 HAS SOUS 33708 HAS SOUPS 33708 WITH SCORE 33802.639
AT ITER 3107 NEW BEST:: SOT 300848 SOS 94624 HAS SOPS 94624 HAS SOUS 33706 HAS SOUPS 33706 WITH SCORE 33800.624
AT ITER 3128 NEW BEST:: SOT 300858 SOS 94296 HAS SOPS 94296 HAS SOUS 33653 HAS SOUPS 33653 WITH SCORE 33747.296
AT ITER 3141 NEW BEST:: SOT 300797 SOS 94174 HAS SOPS 94174 HAS SOUS 33592 HAS SOUPS 33592 WITH SCORE 33686.174
AT ITER 3153 NEW BEST:: SOT 300773 SOS 94086 HAS SOPS 94086 HAS SOUS 33568 HAS SOUPS 33568 WITH SCORE 33662.086
AT ITER 3154 NEW BEST:: SOT 300749 SOS 94038 HAS SOPS 94038 HAS SOUS 33567 HAS SOUPS 33567 WITH SCORE 33661.038
AT ITER 3173 NEW BEST:: SOT 300740 SOS 94029 HAS SOPS 94029 HAS SOUS 33558 HAS SOUPS 33558 WITH SCORE 33652.029
AT ITER 3194 NEW BEST:: SOT 300740 SOS 94018 HAS SOPS 94018 HAS SOUS 33558 HAS SOUPS 33558 WITH SCORE 33652.018
AT ITER 3197 NEW BEST:: SOT 300730 SOS 94003 HAS SOPS 94003 HAS SOUS 33548 HAS SOUPS 33548 WITH SCORE 33642.003
AT ITER 3206 NEW BEST:: SOT 300724 SOS 93991 HAS SOPS 93991 HAS SOUS 33536 HAS SOUPS 33536 WITH SCORE 33629.991
AT ITER 3211 NEW BEST:: SOT 300724 SOS 93983 HAS SOPS 93983 HAS SOUS 33520 HAS SOUPS 33520 WITH SCORE 33613.983
AT ITER 3218 NEW BEST:: SOT 300690 SOS 93953 HAS SOPS 93953 HAS SOUS 33486 HAS SOUPS 33486 WITH SCORE 33579.953
AT ITER 3285 NEW BEST:: SOT 300773 SOS 93767 HAS SOPS 93767 HAS SOUS 32612 HAS SOUPS 32612 WITH SCORE 32705.767
AT ITER 3295 NEW BEST:: SOT 300766 SOS 93753 HAS SOPS 93753 HAS SOUS 32576 HAS SOUPS 32576 WITH SCORE 32669.753
AT ITER 3333 NEW BEST:: SOT 300783 SOS 93749 HAS SOPS 93749 HAS SOUS 32572 HAS SOUPS 32572 WITH SCORE 32665.749
AT ITER 3342 NEW BEST:: SOT 300745 SOS 93711 HAS SOPS 93711 HAS SOUS 32540 HAS SOUPS 32540 WITH SCORE 32633.711
AT ITER 3343 NEW BEST:: SOT 300712 SOS 93645 HAS SOPS 93645 HAS SOUS 32469 HAS SOUPS 32469 WITH SCORE 32562.645
AT ITER 3374 NEW BEST:: SOT 300710 SOS 93643 HAS SOPS 93643 HAS SOUS 32467 HAS SOUPS 32467 WITH SCORE 32560.643
AT ITER 3378 NEW BEST:: SOT 300706 SOS 93635 HAS SOPS 93635 HAS SOUS 32459 HAS SOUPS 32459 WITH SCORE 32552.635
AT ITER 3389 NEW BEST:: SOT 300677 SOS 93577 HAS SOPS 93577 HAS SOUS 32436 HAS SOUPS 32436 WITH SCORE 32529.577
AT ITER 3408 NEW BEST:: SOT 300689 SOS 93569 HAS SOPS 93569 HAS SOUS 32429 HAS SOUPS 32429 WITH SCORE 32522.569
AT ITER 3415 NEW BEST:: SOT 300688 SOS 93547 HAS SOPS 93547 HAS SOUS 32422 HAS SOUPS 32422 WITH SCORE 32515.547
AT ITER 3427 NEW BEST:: SOT 300694 SOS 93559 HAS SOPS 93559 HAS SOUS 32420 HAS SOUPS 32420 WITH SCORE 32513.559
AT ITER 3432 NEW BEST:: SOT 300744 SOS 93681 HAS SOPS 93681 HAS SOUS 32318 HAS SOUPS 32318 WITH SCORE 32411.681
AT ITER 3434 NEW BEST:: SOT 300744 SOS 93681 HAS SOPS 93681 HAS SOUS 32316 HAS SOUPS 32316 WITH SCORE 32409.681
AT ITER 3447 NEW BEST:: SOT 300741 SOS 93675 HAS SOPS 93675 HAS SOUS 32310 HAS SOUPS 32310 WITH SCORE 32403.675
AT ITER 3471 NEW BEST:: SOT 300728 SOS 93657 HAS SOPS 93657 HAS SOUS 32289 HAS SOUPS 32289 WITH SCORE 32382.657
AT ITER 3484 NEW BEST:: SOT 300711 SOS 93640 HAS SOPS 93640 HAS SOUS 32281 HAS SOUPS 32281 WITH SCORE 32374.64
AT ITER 3495 NEW BEST:: SOT 300711 SOS 93614 HAS SOPS 93614 HAS SOUS 32258 HAS SOUPS 32258 WITH SCORE 32351.614
AT ITER 3509 NEW BEST:: SOT 300711 SOS 93576 HAS SOPS 93576 HAS SOUS 32258 HAS SOUPS 32258 WITH SCORE 32351.576
AT ITER 3526 NEW BEST:: SOT 300751 SOS 93616 HAS SOPS 93616 HAS SOUS 32213 HAS SOUPS 32213 WITH SCORE 32306.616
AT ITER 3537 NEW BEST:: SOT 300759 SOS 93618 HAS SOPS 93618 HAS SOUS 32201 HAS SOUPS 32201 WITH SCORE 32294.618
AT ITER 3538 NEW BEST:: SOT 300759 SOS 93575 HAS SOPS 93575 HAS SOUS 32091 HAS SOUPS 32091 WITH SCORE 32184.575
AT ITER 3541 NEW BEST:: SOT 300758 SOS 93573 HAS SOPS 93573 HAS SOUS 32089 HAS SOUPS 32089 WITH SCORE 32182.573
AT ITER 3555 NEW BEST:: SOT 300757 SOS 93571 HAS SOPS 93571 HAS SOUS 32087 HAS SOUPS 32087 WITH SCORE 32180.571
AT ITER 3565 NEW BEST:: SOT 300756 SOS 93569 HAS SOPS 93569 HAS SOUS 32085 HAS SOUPS 32085 WITH SCORE 32178.569
AT ITER 3568 NEW BEST:: SOT 300755 SOS 94063 HAS SOPS 94063 HAS SOUS 32084 HAS SOUPS 32084 WITH SCORE 32178.063
AT ITER 3584 NEW BEST:: SOT 300750 SOS 94062 HAS SOPS 94062 HAS SOUS 32074 HAS SOUPS 32074 WITH SCORE 32168.062
AT ITER 3590 NEW BEST:: SOT 300747 SOS 93666 HAS SOPS 93666 HAS SOUS 32064 HAS SOUPS 32064 WITH SCORE 32157.666
AT ITER 3596 NEW BEST:: SOT 300739 SOS 93628 HAS SOPS 93628 HAS SOUS 32036 HAS SOUPS 32036 WITH SCORE 32129.628
AT ITER 3621 NEW BEST:: SOT 300736 SOS 93622 HAS SOPS 93622 HAS SOUS 32033 HAS SOUPS 32033 WITH SCORE 32126.622
AT ITER 3641 NEW BEST:: SOT 300764 SOS 93558 HAS SOPS 93558 HAS SOUS 31677 HAS SOUPS 31677 WITH SCORE 31770.558
AT ITER 3646 NEW BEST:: SOT 300792 SOS 93506 HAS SOPS 93506 HAS SOUS 31658 HAS SOUPS 31658 WITH SCORE 31751.506
AT ITER 3688 NEW BEST:: SOT 300803 SOS 93486 HAS SOPS 93486 HAS SOUS 31648 HAS SOUPS 31648 WITH SCORE 31741.486
AT ITER 3717 NEW BEST:: SOT 300795 SOS 93478 HAS SOPS 93478 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31733.478
AT ITER 3739 NEW BEST:: SOT 300779 SOS 93462 HAS SOPS 93462 HAS SOUS 31606 HAS SOUPS 31606 WITH SCORE 31699.462
AT ITER 3761 NEW BEST:: SOT 300817 SOS 93500 HAS SOPS 93500 HAS SOUS 31605 HAS SOUPS 31605 WITH SCORE 31698.5
AT ITER 3777 NEW BEST:: SOT 300817 SOS 93467 HAS SOPS 93467 HAS SOUS 31605 HAS SOUPS 31605 WITH SCORE 31698.467
AT ITER 3849 NEW BEST:: SOT 300814 SOS 93461 HAS SOPS 93461 HAS SOUS 31599 HAS SOUPS 31599 WITH SCORE 31692.461
AT ITER 3855 NEW BEST:: SOT 300812 SOS 93458 HAS SOPS 93458 HAS SOUS 31596 HAS SOUPS 31596 WITH SCORE 31689.458
AT ITER 3874 NEW BEST:: SOT 300796 SOS 93434 HAS SOPS 93434 HAS SOUS 31580 HAS SOUPS 31580 WITH SCORE 31673.434
AT ITER 3885 NEW BEST:: SOT 300782 SOS 93433 HAS SOPS 93433 HAS SOUS 31566 HAS SOUPS 31566 WITH SCORE 31659.433
AT ITER 3898 NEW BEST:: SOT 300775 SOS 93426 HAS SOPS 93426 HAS SOUS 31552 HAS SOUPS 31552 WITH SCORE 31645.426
AT ITER 3900 NEW BEST:: SOT 300766 SOS 93408 HAS SOPS 93408 HAS SOUS 31534 HAS SOUPS 31534 WITH SCORE 31627.408
AT ITER 3923 NEW BEST:: SOT 300766 SOS 93407 HAS SOPS 93407 HAS SOUS 31534 HAS SOUPS 31534 WITH SCORE 31627.407
AT ITER 3934 NEW BEST:: SOT 300752 SOS 93385 HAS SOPS 93385 HAS SOUS 31512 HAS SOUPS 31512 WITH SCORE 31605.385
AT ITER 3946 NEW BEST:: SOT 300757 SOS 93431 HAS SOPS 93431 HAS SOUS 31486 HAS SOUPS 31486 WITH SCORE 31579.431
AT ITER 3978 NEW BEST:: SOT 300555 SOS 93209 HAS SOPS 93209 HAS SOUS 31298 HAS SOUPS 31298 WITH SCORE 31391.209
AT ITER 4092 NEW BEST:: SOT 300562 SOS 93207 HAS SOPS 93207 HAS SOUS 31296 HAS SOUPS 31296 WITH SCORE 31389.207
AT ITER 4157 NEW BEST:: SOT 300552 SOS 93174 HAS SOPS 93174 HAS SOUS 31263 HAS SOUPS 31263 WITH SCORE 31356.174
AT ITER 4173 NEW BEST:: SOT 300551 SOS 93173 HAS SOPS 93173 HAS SOUS 31263 HAS SOUPS 31263 WITH SCORE 31356.173
AT ITER 4191 NEW BEST:: SOT 300553 SOS 93066 HAS SOPS 93066 HAS SOUS 31229 HAS SOUPS 31229 WITH SCORE 31322.066
AT ITER 4246 NEW BEST:: SOT 300536 SOS 93032 HAS SOPS 93032 HAS SOUS 31218 HAS SOUPS 31218 WITH SCORE 31311.032
AT ITER 4271 NEW BEST:: SOT 300536 SOS 93032 HAS SOPS 93032 HAS SOUS 31215 HAS SOUPS 31215 WITH SCORE 31308.032
AT ITER 4331 NEW BEST:: SOT 300532 SOS 93024 HAS SOPS 93024 HAS SOUS 31207 HAS SOUPS 31207 WITH SCORE 31300.024
AT ITER 4399 NEW BEST:: SOT 300531 SOS 93022 HAS SOPS 93022 HAS SOUS 31205 HAS SOUPS 31205 WITH SCORE 31298.022
AT ITER 4431 NEW BEST:: SOT 300531 SOS 93015 HAS SOPS 93015 HAS SOUS 31205 HAS SOUPS 31205 WITH SCORE 31298.015
AT ITER 4479 NEW BEST:: SOT 300528 SOS 93004 HAS SOPS 93004 HAS SOUS 31199 HAS SOUPS 31199 WITH SCORE 31292.004
AT ITER 4491 NEW BEST:: SOT 300528 SOS 93004 HAS SOPS 93004 HAS SOUS 31197 HAS SOUPS 31197 WITH SCORE 31290.004
AT ITER 4518 NEW BEST:: SOT 300522 SOS 93001 HAS SOPS 93001 HAS SOUS 31194 HAS SOUPS 31194 WITH SCORE 31287.001
AT ITER 4583 NEW BEST:: SOT 300510 SOS 92977 HAS SOPS 92977 HAS SOUS 31178 HAS SOUPS 31178 WITH SCORE 31270.977
AT ITER 4586 NEW BEST:: SOT 300512 SOS 92981 HAS SOPS 92981 HAS SOUS 31163 HAS SOUPS 31163 WITH SCORE 31255.981
AT ITER 4597 NEW BEST:: SOT 300512 SOS 92725 HAS SOPS 92725 HAS SOUS 31161 HAS SOUPS 31161 WITH SCORE 31253.725
AT ITER 4610 NEW BEST:: SOT 300502 SOS 92705 HAS SOPS 92705 HAS SOUS 31141 HAS SOUPS 31141 WITH SCORE 31233.705
AT ITER 4642 NEW BEST:: SOT 300483 SOS 92367 HAS SOPS 92367 HAS SOUS 31103 HAS SOUPS 31103 WITH SCORE 31195.367
AT ITER 4656 NEW BEST:: SOT 300476 SOS 92360 HAS SOPS 92360 HAS SOUS 31096 HAS SOUPS 31096 WITH SCORE 31188.36
AT ITER 4703 NEW BEST:: SOT 300469 SOS 92360 HAS SOPS 92360 HAS SOUS 31089 HAS SOUPS 31089 WITH SCORE 31181.36
AT ITER 4722 NEW BEST:: SOT 300456 SOS 92334 HAS SOPS 92334 HAS SOUS 31063 HAS SOUPS 31063 WITH SCORE 31155.334
AT ITER 4736 NEW BEST:: SOT 300451 SOS 92329 HAS SOPS 92329 HAS SOUS 31058 HAS SOUPS 31058 WITH SCORE 31150.329
AT ITER 4752 NEW BEST:: SOT 300395 SOS 92658 HAS SOPS 92658 HAS SOUS 30982 HAS SOUPS 30982 WITH SCORE 31074.658
AT ITER 4794 NEW BEST:: SOT 300387 SOS 92642 HAS SOPS 92642 HAS SOUS 30974 HAS SOUPS 30974 WITH SCORE 31066.642
AT ITER 4798 NEW BEST:: SOT 300368 SOS 92628 HAS SOPS 92628 HAS SOUS 30957 HAS SOUPS 30957 WITH SCORE 31049.628
AT ITER 4812 NEW BEST:: SOT 300368 SOS 92624 HAS SOPS 92624 HAS SOUS 30953 HAS SOUPS 30953 WITH SCORE 31045.624
AT ITER 4831 NEW BEST:: SOT 300356 SOS 92600 HAS SOPS 92600 HAS SOUS 30951 HAS SOUPS 30951 WITH SCORE 31043.6
AT ITER 4851 NEW BEST:: SOT 300348 SOS 92569 HAS SOPS 92569 HAS SOUS 30950 HAS SOUPS 30950 WITH SCORE 31042.569
AT ITER 4913 NEW BEST:: SOT 300324 SOS 92540 HAS SOPS 92540 HAS SOUS 30926 HAS SOUPS 30926 WITH SCORE 31018.54
AT ITER 4923 NEW BEST:: SOT 300126 SOS 92342 HAS SOPS 92342 HAS SOUS 30840 HAS SOUPS 30840 WITH SCORE 30932.342
AT ITER 4941 NEW BEST:: SOT 300123 SOS 92343 HAS SOPS 92343 HAS SOUS 30838 HAS SOUPS 30838 WITH SCORE 30930.343
AT ITER 4998 NEW BEST:: SOT 300128 SOS 92338 HAS SOPS 92338 HAS SOUS 30835 HAS SOUPS 30835 WITH SCORE 30927.338
AT ITER 5003 NEW BEST:: SOT 300122 SOS 92328 HAS SOPS 92328 HAS SOUS 30825 HAS SOUPS 30825 WITH SCORE 30917.328
AT ITER 5026 NEW BEST:: SOT 300117 SOS 92318 HAS SOPS 92318 HAS SOUS 30815 HAS SOUPS 30815 WITH SCORE 30907.318
AT ITER 5107 NEW BEST:: SOT 300114 SOS 92318 HAS SOPS 92318 HAS SOUS 30812 HAS SOUPS 30812 WITH SCORE 30904.318
AT ITER 5143 NEW BEST:: SOT 300101 SOS 92333 HAS SOPS 92333 HAS SOUS 30799 HAS SOUPS 30799 WITH SCORE 30891.333
AT ITER 5174 NEW BEST:: SOT 300088 SOS 92307 HAS SOPS 92307 HAS SOUS 30786 HAS SOUPS 30786 WITH SCORE 30878.307
AT ITER 5186 NEW BEST:: SOT 300077 SOS 92334 HAS SOPS 92334 HAS SOUS 30775 HAS SOUPS 30775 WITH SCORE 30867.334
AT ITER 5188 NEW BEST:: SOT 299989 SOS 92246 HAS SOPS 92246 HAS SOUS 30598 HAS SOUPS 30598 WITH SCORE 30690.246
AT ITER 5201 NEW BEST:: SOT 299989 SOS 92182 HAS SOPS 92182 HAS SOUS 30598 HAS SOUPS 30598 WITH SCORE 30690.182
AT ITER 5205 NEW BEST:: SOT 299987 SOS 92180 HAS SOPS 92180 HAS SOUS 30596 HAS SOUPS 30596 WITH SCORE 30688.18
AT ITER 5209 NEW BEST:: SOT 299784 SOS 91974 HAS SOPS 91974 HAS SOUS 30582 HAS SOUPS 30582 WITH SCORE 30673.974
AT ITER 5253 NEW BEST:: SOT 299551 SOS 91734 HAS SOPS 91734 HAS SOUS 30357 HAS SOUPS 30357 WITH SCORE 30448.734
AT ITER 5256 NEW BEST:: SOT 299550 SOS 91732 HAS SOPS 91732 HAS SOUS 30355 HAS SOUPS 30355 WITH SCORE 30446.732
AT ITER 5318 NEW BEST:: SOT 299548 SOS 91750 HAS SOPS 91750 HAS SOUS 30353 HAS SOUPS 30353 WITH SCORE 30444.75
AT ITER 5332 NEW BEST:: SOT 299548 SOS 91746 HAS SOPS 91746 HAS SOUS 30349 HAS SOUPS 30349 WITH SCORE 30440.746
AT ITER 5398 NEW BEST:: SOT 299522 SOS 91744 HAS SOPS 91744 HAS SOUS 30323 HAS SOUPS 30323 WITH SCORE 30414.744
AT ITER 5423 NEW BEST:: SOT 299455 SOS 91659 HAS SOPS 91659 HAS SOUS 30196 HAS SOUPS 30196 WITH SCORE 30287.659
AT ITER 5432 NEW BEST:: SOT 299461 SOS 91702 HAS SOPS 91702 HAS SOUS 30188 HAS SOUPS 30188 WITH SCORE 30279.702
AT ITER 5465 NEW BEST:: SOT 299454 SOS 91736 HAS SOPS 91736 HAS SOUS 29820 HAS SOUPS 29820 WITH SCORE 29911.736
AT ITER 5476 NEW BEST:: SOT 299450 SOS 91698 HAS SOPS 91698 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29896.698
AT ITER 5564 NEW BEST:: SOT 299440 SOS 94238 HAS SOPS 94238 HAS SOUS 29790 HAS SOUPS 29790 WITH SCORE 29884.238
AT ITER 5601 NEW BEST:: SOT 299448 SOS 94200 HAS SOPS 94200 HAS SOUS 29780 HAS SOUPS 29780 WITH SCORE 29874.2
AT ITER 5615 NEW BEST:: SOT 299446 SOS 94182 HAS SOPS 94182 HAS SOUS 29776 HAS SOUPS 29776 WITH SCORE 29870.182
AT ITER 5617 NEW BEST:: SOT 299446 SOS 94168 HAS SOPS 94168 HAS SOUS 29776 HAS SOUPS 29776 WITH SCORE 29870.168
AT ITER 5621 NEW BEST:: SOT 299446 SOS 94166 HAS SOPS 94166 HAS SOUS 29776 HAS SOUPS 29776 WITH SCORE 29870.166
AT ITER 5629 NEW BEST:: SOT 299431 SOS 94136 HAS SOPS 94136 HAS SOUS 29746 HAS SOUPS 29746 WITH SCORE 29840.136
AT ITER 5633 NEW BEST:: SOT 299396 SOS 94101 HAS SOPS 94101 HAS SOUS 29711 HAS SOUPS 29711 WITH SCORE 29805.101
AT ITER 5661 NEW BEST:: SOT 299396 SOS 94101 HAS SOPS 94101 HAS SOUS 29708 HAS SOUPS 29708 WITH SCORE 29802.101
AT ITER 5663 NEW BEST:: SOT 299398 SOS 94105 HAS SOPS 94105 HAS SOUS 29698 HAS SOUPS 29698 WITH SCORE 29792.105
AT ITER 5665 NEW BEST:: SOT 299393 SOS 94095 HAS SOPS 94095 HAS SOUS 29688 HAS SOUPS 29688 WITH SCORE 29782.095
AT ITER 5688 NEW BEST:: SOT 299377 SOS 94094 HAS SOPS 94094 HAS SOUS 29687 HAS SOUPS 29687 WITH SCORE 29781.094
AT ITER 5793 NEW BEST:: SOT 299113 SOS 93821 HAS SOPS 93821 HAS SOUS 29486 HAS SOUPS 29486 WITH SCORE 29579.821
AT ITER 5840 NEW BEST:: SOT 299113 SOS 93821 HAS SOPS 93821 HAS SOUS 29485 HAS SOUPS 29485 WITH SCORE 29578.821
AT ITER 5940 NEW BEST:: SOT 299113 SOS 93794 HAS SOPS 93794 HAS SOUS 29485 HAS SOUPS 29485 WITH SCORE 29578.794
AT ITER 5943 NEW BEST:: SOT 299113 SOS 93782 HAS SOPS 93782 HAS SOUS 29485 HAS SOUPS 29485 WITH SCORE 29578.782
AT ITER 5967 NEW BEST:: SOT 299099 SOS 93754 HAS SOPS 93754 HAS SOUS 29457 HAS SOUPS 29457 WITH SCORE 29550.754
AT ITER 5993 NEW BEST:: SOT 299118 SOS 93724 HAS SOPS 93724 HAS SOUS 28788 HAS SOUPS 28788 WITH SCORE 28881.724
AT ITER 5995 NEW BEST:: SOT 299120 SOS 93752 HAS SOPS 93752 HAS SOUS 28765 HAS SOUPS 28765 WITH SCORE 28858.752
AT ITER 5996 NEW BEST:: SOT 299115 SOS 93752 HAS SOPS 93752 HAS SOUS 28760 HAS SOUPS 28760 WITH SCORE 28853.752
AT ITER 6035 NEW BEST:: SOT 299114 SOS 93751 HAS SOPS 93751 HAS SOUS 28759 HAS SOUPS 28759 WITH SCORE 28852.751
AT ITER 6054 NEW BEST:: SOT 299085 SOS 93737 HAS SOPS 93737 HAS SOUS 28730 HAS SOUPS 28730 WITH SCORE 28823.737
AT ITER 6084 NEW BEST:: SOT 299080 SOS 93727 HAS SOPS 93727 HAS SOUS 28725 HAS SOUPS 28725 WITH SCORE 28818.727
AT ITER 6089 NEW BEST:: SOT 299028 SOS 98283 HAS SOPS 98283 HAS SOUS 28698 HAS SOUPS 28698 WITH SCORE 28796.283
AT ITER 6140 NEW BEST:: SOT 299022 SOS 98271 HAS SOPS 98271 HAS SOUS 28686 HAS SOUPS 28686 WITH SCORE 28784.271
AT ITER 6151 NEW BEST:: SOT 298973 SOS 98255 HAS SOPS 98255 HAS SOUS 28631 HAS SOUPS 28631 WITH SCORE 28729.255
AT ITER 6193 NEW BEST:: SOT 298973 SOS 98252 HAS SOPS 98252 HAS SOUS 28628 HAS SOUPS 28628 WITH SCORE 28726.252
AT ITER 6198 NEW BEST:: SOT 298966 SOS 98314 HAS SOPS 98314 HAS SOUS 28621 HAS SOUPS 28621 WITH SCORE 28719.314
AT ITER 6227 NEW BEST:: SOT 298939 SOS 98260 HAS SOPS 98260 HAS SOUS 28570 HAS SOUPS 28570 WITH SCORE 28668.26
AT ITER 6240 NEW BEST:: SOT 298923 SOS 98236 HAS SOPS 98236 HAS SOUS 28554 HAS SOUPS 28554 WITH SCORE 28652.236
AT ITER 6271 NEW BEST:: SOT 298939 SOS 98242 HAS SOPS 98242 HAS SOUS 28522 HAS SOUPS 28522 WITH SCORE 28620.242
AT ITER 6299 NEW BEST:: SOT 298924 SOS 98212 HAS SOPS 98212 HAS SOUS 28492 HAS SOUPS 28492 WITH SCORE 28590.212
AT ITER 6317 NEW BEST:: SOT 298952 SOS 98288 HAS SOPS 98288 HAS SOUS 28264 HAS SOUPS 28264 WITH SCORE 28362.288
AT ITER 6335 NEW BEST:: SOT 298955 SOS 98294 HAS SOPS 98294 HAS SOUS 28263 HAS SOUPS 28263 WITH SCORE 28361.294
AT ITER 6368 NEW BEST:: SOT 298956 SOS 98296 HAS SOPS 98296 HAS SOUS 28258 HAS SOUPS 28258 WITH SCORE 28356.296
AT ITER 6454 NEW BEST:: SOT 298956 SOS 98279 HAS SOPS 98279 HAS SOUS 28258 HAS SOUPS 28258 WITH SCORE 28356.279
AT ITER 6473 NEW BEST:: SOT 298951 SOS 98274 HAS SOPS 98274 HAS SOUS 28258 HAS SOUPS 28258 WITH SCORE 28356.274
AT ITER 6478 NEW BEST:: SOT 298950 SOS 98272 HAS SOPS 98272 HAS SOUS 28248 HAS SOUPS 28248 WITH SCORE 28346.272
AT ITER 6482 NEW BEST:: SOT 298946 SOS 98264 HAS SOPS 98264 HAS SOUS 28240 HAS SOUPS 28240 WITH SCORE 28338.264
AT ITER 6483 NEW BEST:: SOT 298910 SOS 98240 HAS SOPS 98240 HAS SOUS 28192 HAS SOUPS 28192 WITH SCORE 28290.24
AT ITER 6511 NEW BEST:: SOT 298878 SOS 98208 HAS SOPS 98208 HAS SOUS 28128 HAS SOUPS 28128 WITH SCORE 28226.208
AT ITER 6529 NEW BEST:: SOT 298871 SOS 98178 HAS SOPS 98178 HAS SOUS 28114 HAS SOUPS 28114 WITH SCORE 28212.178
AT ITER 6537 NEW BEST:: SOT 298871 SOS 98166 HAS SOPS 98166 HAS SOUS 28114 HAS SOUPS 28114 WITH SCORE 28212.166
AT ITER 6565 NEW BEST:: SOT 298871 SOS 98160 HAS SOPS 98160 HAS SOUS 28104 HAS SOUPS 28104 WITH SCORE 28202.16
AT ITER 6577 NEW BEST:: SOT 298492 SOS 97806 HAS SOPS 97806 HAS SOUS 28054 HAS SOUPS 28054 WITH SCORE 28151.806
AT ITER 6609 NEW BEST:: SOT 298307 SOS 97610 HAS SOPS 97610 HAS SOUS 27933 HAS SOUPS 27933 WITH SCORE 28030.61
AT ITER 6622 NEW BEST:: SOT 298276 SOS 97565 HAS SOPS 97565 HAS SOUS 27863 HAS SOUPS 27863 WITH SCORE 27960.565
AT ITER 6666 NEW BEST:: SOT 298274 SOS 97563 HAS SOPS 97563 HAS SOUS 27861 HAS SOUPS 27861 WITH SCORE 27958.563
AT ITER 6780 NEW BEST:: SOT 298288 SOS 97442 HAS SOPS 97442 HAS SOUS 27858 HAS SOUPS 27858 WITH SCORE 27955.442
AT ITER 6840 NEW BEST:: SOT 297920 SOS 97026 HAS SOPS 97026 HAS SOUS 27655 HAS SOUPS 27655 WITH SCORE 27752.026
AT ITER 6843 NEW BEST:: SOT 297872 SOS 96975 HAS SOPS 96975 HAS SOUS 27601 HAS SOUPS 27601 WITH SCORE 27697.975
AT ITER 6847 NEW BEST:: SOT 297858 SOS 96971 HAS SOPS 96971 HAS SOUS 27597 HAS SOUPS 27597 WITH SCORE 27693.971
AT ITER 6867 NEW BEST:: SOT 297915 SOS 97032 HAS SOPS 97032 HAS SOUS 27539 HAS SOUPS 27539 WITH SCORE 27636.032
AT ITER 6918 NEW BEST:: SOT 297904 SOS 97010 HAS SOPS 97010 HAS SOUS 27535 HAS SOUPS 27535 WITH SCORE 27632.01
AT ITER 6937 NEW BEST:: SOT 297880 SOS 96986 HAS SOPS 96986 HAS SOUS 27484 HAS SOUPS 27484 WITH SCORE 27580.986
AT ITER 6956 NEW BEST:: SOT 297882 SOS 96990 HAS SOPS 96990 HAS SOUS 27479 HAS SOUPS 27479 WITH SCORE 27575.99
AT ITER 6960 NEW BEST:: SOT 297848 SOS 96954 HAS SOPS 96954 HAS SOUS 27443 HAS SOUPS 27443 WITH SCORE 27539.954
AT ITER 6974 NEW BEST:: SOT 297848 SOS 96946 HAS SOPS 96946 HAS SOUS 27439 HAS SOUPS 27439 WITH SCORE 27535.946
AT ITER 6977 NEW BEST:: SOT 297736 SOS 96834 HAS SOPS 96834 HAS SOUS 27428 HAS SOUPS 27428 WITH SCORE 27524.834
AT ITER 7023 NEW BEST:: SOT 297727 SOS 96816 HAS SOPS 96816 HAS SOUS 27424 HAS SOUPS 27424 WITH SCORE 27520.816
AT ITER 7098 NEW BEST:: SOT 297727 SOS 96798 HAS SOPS 96798 HAS SOUS 27420 HAS SOUPS 27420 WITH SCORE 27516.798
AT ITER 7130 NEW BEST:: SOT 297712 SOS 96768 HAS SOPS 96768 HAS SOUS 27400 HAS SOUPS 27400 WITH SCORE 27496.768
AT ITER 7262 NEW BEST:: SOT 297708 SOS 96760 HAS SOPS 96760 HAS SOUS 27392 HAS SOUPS 27392 WITH SCORE 27488.76
AT ITER 7269 NEW BEST:: SOT 297708 SOS 96733 HAS SOPS 96733 HAS SOUS 27392 HAS SOUPS 27392 WITH SCORE 27488.733
AT ITER 7279 NEW BEST:: SOT 297690 SOS 96715 HAS SOPS 96715 HAS SOUS 27350 HAS SOUPS 27350 WITH SCORE 27446.715
AT ITER 7302 NEW BEST:: SOT 297657 SOS 96682 HAS SOPS 96682 HAS SOUS 27317 HAS SOUPS 27317 WITH SCORE 27413.682
AT ITER 7374 NEW BEST:: SOT 297653 SOS 96674 HAS SOPS 96674 HAS SOUS 27309 HAS SOUPS 27309 WITH SCORE 27405.674
AT ITER 7389 NEW BEST:: SOT 297631 SOS 96652 HAS SOPS 96652 HAS SOUS 27298 HAS SOUPS 27298 WITH SCORE 27394.652
AT ITER 7438 NEW BEST:: SOT 297631 SOS 96626 HAS SOPS 96626 HAS SOUS 27272 HAS SOUPS 27272 WITH SCORE 27368.626
AT ITER 7495 NEW BEST:: SOT 297626 SOS 96616 HAS SOPS 96616 HAS SOUS 27262 HAS SOUPS 27262 WITH SCORE 27358.616
AT ITER 7496 NEW BEST:: SOT 297679 SOS 96668 HAS SOPS 96668 HAS SOUS 27150 HAS SOUPS 27150 WITH SCORE 27246.668
AT ITER 7500 NEW BEST:: SOT 297666 SOS 96634 HAS SOPS 96634 HAS SOUS 26817 HAS SOUPS 26817 WITH SCORE 26913.634
AT ITER 7508 NEW BEST:: SOT 297667 SOS 96636 HAS SOPS 96636 HAS SOUS 26812 HAS SOUPS 26812 WITH SCORE 26908.636
AT ITER 7514 NEW BEST:: SOT 297666 SOS 96635 HAS SOPS 96635 HAS SOUS 26810 HAS SOUPS 26810 WITH SCORE 26906.635
AT ITER 7552 NEW BEST:: SOT 297636 SOS 96590 HAS SOPS 96590 HAS SOUS 26763 HAS SOUPS 26763 WITH SCORE 26859.59
AT ITER 7634 NEW BEST:: SOT 297624 SOS 96572 HAS SOPS 96572 HAS SOUS 26745 HAS SOUPS 26745 WITH SCORE 26841.572
AT ITER 7671 NEW BEST:: SOT 297619 SOS 96576 HAS SOPS 96576 HAS SOUS 26740 HAS SOUPS 26740 WITH SCORE 26836.576
AT ITER 7721 NEW BEST:: SOT 297604 SOS 96530 HAS SOPS 96530 HAS SOUS 26725 HAS SOUPS 26725 WITH SCORE 26821.53
AT ITER 7730 NEW BEST:: SOT 297604 SOS 96524 HAS SOPS 96524 HAS SOUS 26722 HAS SOUPS 26722 WITH SCORE 26818.524
AT ITER 7732 NEW BEST:: SOT 297608 SOS 96434 HAS SOPS 96434 HAS SOUS 26677 HAS SOUPS 26677 WITH SCORE 26773.434
AT ITER 7750 NEW BEST:: SOT 297608 SOS 96422 HAS SOPS 96422 HAS SOUS 26665 HAS SOUPS 26665 WITH SCORE 26761.422
AT ITER 7752 NEW BEST:: SOT 297603 SOS 96422 HAS SOPS 96422 HAS SOUS 26620 HAS SOUPS 26620 WITH SCORE 26716.422
AT ITER 7763 NEW BEST:: SOT 297603 SOS 96414 HAS SOPS 96414 HAS SOUS 26620 HAS SOUPS 26620 WITH SCORE 26716.414
AT ITER 7827 NEW BEST:: SOT 297593 SOS 96404 HAS SOPS 96404 HAS SOUS 26610 HAS SOUPS 26610 WITH SCORE 26706.404
AT ITER 7871 NEW BEST:: SOT 297590 SOS 96398 HAS SOPS 96398 HAS SOUS 26570 HAS SOUPS 26570 WITH SCORE 26666.398
AT ITER 7919 NEW BEST:: SOT 297588 SOS 96394 HAS SOPS 96394 HAS SOUS 26566 HAS SOUPS 26566 WITH SCORE 26662.394
AT ITER 7995 NEW BEST:: SOT 297588 SOS 96358 HAS SOPS 96358 HAS SOUS 26566 HAS SOUPS 26566 WITH SCORE 26662.358
AT ITER 8015 NEW BEST:: SOT 297581 SOS 96344 HAS SOPS 96344 HAS SOUS 26559 HAS SOUPS 26559 WITH SCORE 26655.344
AT ITER 8040 NEW BEST:: SOT 297561 SOS 96304 HAS SOPS 96304 HAS SOUS 26519 HAS SOUPS 26519 WITH SCORE 26615.304
AT ITER 8062 NEW BEST:: SOT 297554 SOS 96290 HAS SOPS 96290 HAS SOUS 26505 HAS SOUPS 26505 WITH SCORE 26601.29
AT ITER 8073 NEW BEST:: SOT 296664 SOS 95379 HAS SOPS 95379 HAS SOUS 25608 HAS SOUPS 25608 WITH SCORE 25703.379
AT ITER 8088 NEW BEST:: SOT 296664 SOS 95363 HAS SOPS 95363 HAS SOUS 25600 HAS SOUPS 25600 WITH SCORE 25695.363
AT ITER 8092 NEW BEST:: SOT 296577 SOS 95367 HAS SOPS 95367 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 25686.367
AT ITER 8150 NEW BEST:: SOT 296577 SOS 95359 HAS SOPS 95359 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 25686.359
AT ITER 8244 NEW BEST:: SOT 296577 SOS 95359 HAS SOPS 95359 HAS SOUS 25586 HAS SOUPS 25586 WITH SCORE 25681.359
AT ITER 8252 NEW BEST:: SOT 296576 SOS 95357 HAS SOPS 95357 HAS SOUS 25584 HAS SOUPS 25584 WITH SCORE 25679.357
AT ITER 8257 NEW BEST:: SOT 296576 SOS 95354 HAS SOPS 95354 HAS SOUS 25584 HAS SOUPS 25584 WITH SCORE 25679.354
AT ITER 8277 NEW BEST:: SOT 296576 SOS 95354 HAS SOPS 95354 HAS SOUS 25577 HAS SOUPS 25577 WITH SCORE 25672.354
AT ITER 8307 NEW BEST:: SOT 296564 SOS 95336 HAS SOPS 95336 HAS SOUS 25511 HAS SOUPS 25511 WITH SCORE 25606.336
AT ITER 8343 NEW BEST:: SOT 296521 SOS 95342 HAS SOPS 95342 HAS SOUS 25446 HAS SOUPS 25446 WITH SCORE 25541.342
AT ITER 8348 NEW BEST:: SOT 296523 SOS 95342 HAS SOPS 95342 HAS SOUS 25334 HAS SOUPS 25334 WITH SCORE 25429.342
AT ITER 8400 NEW BEST:: SOT 296521 SOS 95338 HAS SOPS 95338 HAS SOUS 25332 HAS SOUPS 25332 WITH SCORE 25427.338
AT ITER 8403 NEW BEST:: SOT 296521 SOS 95331 HAS SOPS 95331 HAS SOUS 25325 HAS SOUPS 25325 WITH SCORE 25420.331
AT ITER 8479 NEW BEST:: SOT 296521 SOS 95327 HAS SOPS 95327 HAS SOUS 25325 HAS SOUPS 25325 WITH SCORE 25420.327
AT ITER 8490 NEW BEST:: SOT 296520 SOS 95304 HAS SOPS 95304 HAS SOUS 25302 HAS SOUPS 25302 WITH SCORE 25397.304
AT ITER 8491 NEW BEST:: SOT 296520 SOS 95293 HAS SOPS 95293 HAS SOUS 25302 HAS SOUPS 25302 WITH SCORE 25397.293
AT ITER 8497 NEW BEST:: SOT 296518 SOS 95289 HAS SOPS 95289 HAS SOUS 25298 HAS SOUPS 25298 WITH SCORE 25393.289
AT ITER 8550 NEW BEST:: SOT 296455 SOS 95227 HAS SOPS 95227 HAS SOUS 25236 HAS SOUPS 25236 WITH SCORE 25331.227
AT ITER 8581 NEW BEST:: SOT 296564 SOS 95336 HAS SOPS 95336 HAS SOUS 25226 HAS SOUPS 25226 WITH SCORE 25321.336
AT ITER 8592 NEW BEST:: SOT 296564 SOS 95336 HAS SOPS 95336 HAS SOUS 25219 HAS SOUPS 25219 WITH SCORE 25314.336
AT ITER 8650 NEW BEST:: SOT 296548 SOS 95356 HAS SOPS 95356 HAS SOUS 25203 HAS SOUPS 25203 WITH SCORE 25298.356
AT ITER 8657 NEW BEST:: SOT 296549 SOS 95341 HAS SOPS 95341 HAS SOUS 25188 HAS SOUPS 25188 WITH SCORE 25283.341
AT ITER 8666 NEW BEST:: SOT 296548 SOS 95339 HAS SOPS 95339 HAS SOUS 25186 HAS SOUPS 25186 WITH SCORE 25281.339
AT ITER 8693 NEW BEST:: SOT 296546 SOS 95337 HAS SOPS 95337 HAS SOUS 25184 HAS SOUPS 25184 WITH SCORE 25279.337
AT ITER 8704 NEW BEST:: SOT 296536 SOS 95317 HAS SOPS 95317 HAS SOUS 25150 HAS SOUPS 25150 WITH SCORE 25245.317
AT ITER 8714 NEW BEST:: SOT 296544 SOS 95324 HAS SOPS 95324 HAS SOUS 25149 HAS SOUPS 25149 WITH SCORE 25244.324
AT ITER 8750 NEW BEST:: SOT 296544 SOS 95295 HAS SOPS 95295 HAS SOUS 25149 HAS SOUPS 25149 WITH SCORE 25244.295
AT ITER 8767 NEW BEST:: SOT 296525 SOS 95281 HAS SOPS 95281 HAS SOUS 25135 HAS SOUPS 25135 WITH SCORE 25230.281
AT ITER 8768 NEW BEST:: SOT 296523 SOS 95277 HAS SOPS 95277 HAS SOUS 25131 HAS SOUPS 25131 WITH SCORE 25226.277
AT ITER 8796 NEW BEST:: SOT 296459 SOS 95212 HAS SOPS 95212 HAS SOUS 25067 HAS SOUPS 25067 WITH SCORE 25162.212
AT ITER 8817 NEW BEST:: SOT 296395 SOS 95148 HAS SOPS 95148 HAS SOUS 24940 HAS SOUPS 24940 WITH SCORE 25035.148
AT ITER 8835 NEW BEST:: SOT 296395 SOS 95138 HAS SOPS 95138 HAS SOUS 24940 HAS SOUPS 24940 WITH SCORE 25035.138
AT ITER 8868 NEW BEST:: SOT 296388 SOS 95131 HAS SOPS 95131 HAS SOUS 24926 HAS SOUPS 24926 WITH SCORE 25021.131
AT ITER 8886 NEW BEST:: SOT 296388 SOS 95119 HAS SOPS 95119 HAS SOUS 24926 HAS SOUPS 24926 WITH SCORE 25021.119
AT ITER 8977 NEW BEST:: SOT 296387 SOS 95117 HAS SOPS 95117 HAS SOUS 24924 HAS SOUPS 24924 WITH SCORE 25019.117
AT ITER 8988 NEW BEST:: SOT 296374 SOS 95091 HAS SOPS 95091 HAS SOUS 24913 HAS SOUPS 24913 WITH SCORE 25008.091
AT ITER 8991 NEW BEST:: SOT 296373 SOS 95090 HAS SOPS 95090 HAS SOUS 24912 HAS SOUPS 24912 WITH SCORE 25007.09
AT ITER 8998 NEW BEST:: SOT 296378 SOS 95089 HAS SOPS 95089 HAS SOUS 24911 HAS SOUPS 24911 WITH SCORE 25006.089
AT ITER 9102 NEW BEST:: SOT 296372 SOS 95089 HAS SOPS 95089 HAS SOUS 24887 HAS SOUPS 24887 WITH SCORE 24982.089
AT ITER 9104 NEW BEST:: SOT 296132 SOS 94829 HAS SOPS 94829 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24801.829
AT ITER 9110 NEW BEST:: SOT 296167 SOS 94822 HAS SOPS 94822 HAS SOUS 24699 HAS SOUPS 24699 WITH SCORE 24793.822
AT ITER 9192 NEW BEST:: SOT 296173 SOS 94780 HAS SOPS 94780 HAS SOUS 24687 HAS SOUPS 24687 WITH SCORE 24781.78
AT ITER 9200 NEW BEST:: SOT 296165 SOS 94764 HAS SOPS 94764 HAS SOUS 24671 HAS SOUPS 24671 WITH SCORE 24765.764
AT ITER 9212 NEW BEST:: SOT 296182 SOS 94750 HAS SOPS 94750 HAS SOUS 24626 HAS SOUPS 24626 WITH SCORE 24720.75
AT ITER 9243 NEW BEST:: SOT 296173 SOS 94732 HAS SOPS 94732 HAS SOUS 24608 HAS SOUPS 24608 WITH SCORE 24702.732
AT ITER 9277 NEW BEST:: SOT 296173 SOS 94742 HAS SOPS 94742 HAS SOUS 24603 HAS SOUPS 24603 WITH SCORE 24697.742
AT ITER 9290 NEW BEST:: SOT 296170 SOS 94678 HAS SOPS 94678 HAS SOUS 24138 HAS SOUPS 24138 WITH SCORE 24232.678
AT ITER 9306 NEW BEST:: SOT 296170 SOS 94663 HAS SOPS 94663 HAS SOUS 24138 HAS SOUPS 24138 WITH SCORE 24232.663
AT ITER 9346 NEW BEST:: SOT 296163 SOS 94663 HAS SOPS 94663 HAS SOUS 24113 HAS SOUPS 24113 WITH SCORE 24207.663
AT ITER 9469 NEW BEST:: SOT 296154 SOS 94651 HAS SOPS 94651 HAS SOUS 24104 HAS SOUPS 24104 WITH SCORE 24198.651
AT ITER 9471 NEW BEST:: SOT 296153 SOS 94650 HAS SOPS 94650 HAS SOUS 24103 HAS SOUPS 24103 WITH SCORE 24197.65
AT ITER 9511 NEW BEST:: SOT 296151 SOS 94646 HAS SOPS 94646 HAS SOUS 24099 HAS SOUPS 24099 WITH SCORE 24193.646
AT ITER 9573 NEW BEST:: SOT 296146 SOS 94646 HAS SOPS 94646 HAS SOUS 24095 HAS SOUPS 24095 WITH SCORE 24189.646
AT ITER 9672 NEW BEST:: SOT 296140 SOS 94628 HAS SOPS 94628 HAS SOUS 24083 HAS SOUPS 24083 WITH SCORE 24177.628
AT ITER 9703 NEW BEST:: SOT 296134 SOS 94616 HAS SOPS 94616 HAS SOUS 24081 HAS SOUPS 24081 WITH SCORE 24175.616
AT ITER 9744 NEW BEST:: SOT 296133 SOS 94614 HAS SOPS 94614 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24173.614
AT ITER 9763 NEW BEST:: SOT 296133 SOS 94588 HAS SOPS 94588 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24173.588
AT ITER 9843 NEW BEST:: SOT 296426 SOS 94894 HAS SOPS 94894 HAS SOUS 23668 HAS SOUPS 23668 WITH SCORE 23762.894
AT ITER 9896 NEW BEST:: SOT 296404 SOS 94850 HAS SOPS 94850 HAS SOUS 23663 HAS SOUPS 23663 WITH SCORE 23757.85
AT ITER 9933 NEW BEST:: SOT 296399 SOS 94849 HAS SOPS 94849 HAS SOUS 23662 HAS SOUPS 23662 WITH SCORE 23756.849
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6701984 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154256 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
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="AutonomousCar-PT-08b"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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-5348"
echo " Executing tool smart"
echo " Input is AutonomousCar-PT-08b, 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 r003-oct2-167813591200656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutonomousCar-PT-08b.tgz
mv AutonomousCar-PT-08b 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 ;