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.r195-smll-167840342000128.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 GPUForwardProgress-PT-32b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342000128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 14:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 14:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 14:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 25 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 14:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 14:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 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 160K 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 1678455404339

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=GPUForwardProgress-PT-32b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 32b
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: 644 places, 677 transitions, 1677 arcs.
AT ITER 0 NEW BEST:: SOT 246287 SOS 66507 HAS SOPS 66507 HAS SOUS 60464 HAS SOUPS 60464 WITH SCORE 60530.507
AT ITER 2 NEW BEST:: SOT 246257 SOS 66462 HAS SOPS 66462 HAS SOUS 60434 HAS SOUPS 60434 WITH SCORE 60500.462
AT ITER 12 NEW BEST:: SOT 246257 SOS 66385 HAS SOPS 66385 HAS SOUS 60434 HAS SOUPS 60434 WITH SCORE 60500.385
AT ITER 17 NEW BEST:: SOT 246199 SOS 66321 HAS SOPS 66321 HAS SOUS 60376 HAS SOUPS 60376 WITH SCORE 60442.321
AT ITER 23 NEW BEST:: SOT 246199 SOS 66297 HAS SOPS 66297 HAS SOUS 60352 HAS SOUPS 60352 WITH SCORE 60418.297
AT ITER 28 NEW BEST:: SOT 246198 SOS 66295 HAS SOPS 66295 HAS SOUS 60350 HAS SOUPS 60350 WITH SCORE 60416.295
AT ITER 36 NEW BEST:: SOT 246198 SOS 66295 HAS SOPS 66295 HAS SOUS 60349 HAS SOUPS 60349 WITH SCORE 60415.295
AT ITER 37 NEW BEST:: SOT 246198 SOS 66295 HAS SOPS 66295 HAS SOUS 60348 HAS SOUPS 60348 WITH SCORE 60414.295
AT ITER 72 NEW BEST:: SOT 246198 SOS 66295 HAS SOPS 66295 HAS SOUS 60347 HAS SOUPS 60347 WITH SCORE 60413.295
AT ITER 73 NEW BEST:: SOT 246198 SOS 66221 HAS SOPS 66221 HAS SOUS 60310 HAS SOUPS 60310 WITH SCORE 60376.221
AT ITER 84 NEW BEST:: SOT 246216 SOS 66176 HAS SOPS 66176 HAS SOUS 60265 HAS SOUPS 60265 WITH SCORE 60331.176
AT ITER 96 NEW BEST:: SOT 246216 SOS 66176 HAS SOPS 66176 HAS SOUS 60263 HAS SOUPS 60263 WITH SCORE 60329.176
AT ITER 97 NEW BEST:: SOT 246205 SOS 66165 HAS SOPS 66165 HAS SOUS 60263 HAS SOUPS 60263 WITH SCORE 60329.165
AT ITER 99 NEW BEST:: SOT 246186 SOS 66136 HAS SOPS 66136 HAS SOUS 60244 HAS SOUPS 60244 WITH SCORE 60310.136
AT ITER 121 NEW BEST:: SOT 246186 SOS 66101 HAS SOPS 66101 HAS SOUS 60209 HAS SOUPS 60209 WITH SCORE 60275.101
AT ITER 138 NEW BEST:: SOT 246106 SOS 66016 HAS SOPS 66016 HAS SOUS 60129 HAS SOUPS 60129 WITH SCORE 60195.016
AT ITER 141 NEW BEST:: SOT 246101 SOS 66007 HAS SOPS 66007 HAS SOUS 60124 HAS SOUPS 60124 WITH SCORE 60190.007
AT ITER 150 NEW BEST:: SOT 246072 SOS 65978 HAS SOPS 65978 HAS SOUS 60124 HAS SOUPS 60124 WITH SCORE 60189.978
AT ITER 203 NEW BEST:: SOT 246072 SOS 65863 HAS SOPS 65863 HAS SOUS 60009 HAS SOUPS 60009 WITH SCORE 60074.863
AT ITER 215 NEW BEST:: SOT 246072 SOS 65765 HAS SOPS 65765 HAS SOUS 60009 HAS SOUPS 60009 WITH SCORE 60074.765
AT ITER 218 NEW BEST:: SOT 246072 SOS 65719 HAS SOPS 65719 HAS SOUS 60009 HAS SOUPS 60009 WITH SCORE 60074.719
AT ITER 230 NEW BEST:: SOT 246072 SOS 65719 HAS SOPS 65719 HAS SOUS 60008 HAS SOUPS 60008 WITH SCORE 60073.719
AT ITER 232 NEW BEST:: SOT 246077 SOS 65688 HAS SOPS 65688 HAS SOUS 60003 HAS SOUPS 60003 WITH SCORE 60068.688
AT ITER 236 NEW BEST:: SOT 246077 SOS 65688 HAS SOPS 65688 HAS SOUS 60002 HAS SOUPS 60002 WITH SCORE 60067.688
AT ITER 290 NEW BEST:: SOT 245971 SOS 65571 HAS SOPS 65571 HAS SOUS 59896 HAS SOUPS 59896 WITH SCORE 59961.571
AT ITER 291 NEW BEST:: SOT 245971 SOS 65571 HAS SOPS 65571 HAS SOUS 59895 HAS SOUPS 59895 WITH SCORE 59960.571
AT ITER 306 NEW BEST:: SOT 245971 SOS 65571 HAS SOPS 65571 HAS SOUS 59800 HAS SOUPS 59800 WITH SCORE 59865.571
AT ITER 317 NEW BEST:: SOT 245971 SOS 65537 HAS SOPS 65537 HAS SOUS 59800 HAS SOUPS 59800 WITH SCORE 59865.537
AT ITER 320 NEW BEST:: SOT 245971 SOS 65419 HAS SOPS 65419 HAS SOUS 59682 HAS SOUPS 59682 WITH SCORE 59747.419
AT ITER 330 NEW BEST:: SOT 245971 SOS 65363 HAS SOPS 65363 HAS SOUS 59626 HAS SOUPS 59626 WITH SCORE 59691.363
AT ITER 331 NEW BEST:: SOT 245971 SOS 65321 HAS SOPS 65321 HAS SOUS 59584 HAS SOUPS 59584 WITH SCORE 59649.321
AT ITER 338 NEW BEST:: SOT 245970 SOS 65319 HAS SOPS 65319 HAS SOUS 59582 HAS SOUPS 59582 WITH SCORE 59647.319
AT ITER 347 NEW BEST:: SOT 245970 SOS 65179 HAS SOPS 65179 HAS SOUS 59581 HAS SOUPS 59581 WITH SCORE 59646.179
AT ITER 352 NEW BEST:: SOT 245918 SOS 65162 HAS SOPS 65162 HAS SOUS 59557 HAS SOUPS 59557 WITH SCORE 59622.162
AT ITER 377 NEW BEST:: SOT 245904 SOS 65030 HAS SOPS 65030 HAS SOUS 59495 HAS SOUPS 59495 WITH SCORE 59560.03
AT ITER 413 NEW BEST:: SOT 245904 SOS 65030 HAS SOPS 65030 HAS SOUS 59482 HAS SOUPS 59482 WITH SCORE 59547.03
AT ITER 417 NEW BEST:: SOT 245850 SOS 64947 HAS SOPS 64947 HAS SOUS 59428 HAS SOUPS 59428 WITH SCORE 59492.947
AT ITER 419 NEW BEST:: SOT 245850 SOS 64897 HAS SOPS 64897 HAS SOUS 59426 HAS SOUPS 59426 WITH SCORE 59490.897
AT ITER 424 NEW BEST:: SOT 245768 SOS 64851 HAS SOPS 64851 HAS SOUS 59363 HAS SOUPS 59363 WITH SCORE 59427.851
AT ITER 454 NEW BEST:: SOT 245680 SOS 64753 HAS SOPS 64753 HAS SOUS 59275 HAS SOUPS 59275 WITH SCORE 59339.753
AT ITER 464 NEW BEST:: SOT 245680 SOS 64637 HAS SOPS 64637 HAS SOUS 59159 HAS SOUPS 59159 WITH SCORE 59223.637
AT ITER 473 NEW BEST:: SOT 245680 SOS 64637 HAS SOPS 64637 HAS SOUS 59158 HAS SOUPS 59158 WITH SCORE 59222.637
AT ITER 500 NEW BEST:: SOT 245605 SOS 64542 HAS SOPS 64542 HAS SOUS 59083 HAS SOUPS 59083 WITH SCORE 59147.542
AT ITER 505 NEW BEST:: SOT 245605 SOS 64542 HAS SOPS 64542 HAS SOUS 59075 HAS SOUPS 59075 WITH SCORE 59139.542
AT ITER 530 NEW BEST:: SOT 245562 SOS 64510 HAS SOPS 64510 HAS SOUS 59032 HAS SOUPS 59032 WITH SCORE 59096.51
AT ITER 540 NEW BEST:: SOT 245556 SOS 64498 HAS SOPS 64498 HAS SOUS 59026 HAS SOUPS 59026 WITH SCORE 59090.498
AT ITER 550 NEW BEST:: SOT 245556 SOS 64444 HAS SOPS 64444 HAS SOUS 58984 HAS SOUPS 58984 WITH SCORE 59048.444
AT ITER 589 NEW BEST:: SOT 245560 SOS 64452 HAS SOPS 64452 HAS SOUS 58977 HAS SOUPS 58977 WITH SCORE 59041.452
AT ITER 601 NEW BEST:: SOT 245560 SOS 64452 HAS SOPS 64452 HAS SOUS 58976 HAS SOUPS 58976 WITH SCORE 59040.452
AT ITER 603 NEW BEST:: SOT 245550 SOS 64432 HAS SOPS 64432 HAS SOUS 58956 HAS SOUPS 58956 WITH SCORE 59020.432
AT ITER 610 NEW BEST:: SOT 245522 SOS 64404 HAS SOPS 64404 HAS SOUS 58928 HAS SOUPS 58928 WITH SCORE 58992.404
AT ITER 623 NEW BEST:: SOT 245522 SOS 64404 HAS SOPS 64404 HAS SOUS 58916 HAS SOUPS 58916 WITH SCORE 58980.404
AT ITER 640 NEW BEST:: SOT 245518 SOS 64396 HAS SOPS 64396 HAS SOUS 58802 HAS SOUPS 58802 WITH SCORE 58866.396
AT ITER 646 NEW BEST:: SOT 245515 SOS 64393 HAS SOPS 64393 HAS SOUS 58802 HAS SOUPS 58802 WITH SCORE 58866.393
AT ITER 674 NEW BEST:: SOT 245515 SOS 64388 HAS SOPS 64388 HAS SOUS 58797 HAS SOUPS 58797 WITH SCORE 58861.388
AT ITER 689 NEW BEST:: SOT 245515 SOS 64351 HAS SOPS 64351 HAS SOUS 58797 HAS SOUPS 58797 WITH SCORE 58861.351
AT ITER 709 NEW BEST:: SOT 245419 SOS 64255 HAS SOPS 64255 HAS SOUS 58726 HAS SOUPS 58726 WITH SCORE 58790.255
AT ITER 748 NEW BEST:: SOT 245352 SOS 64218 HAS SOPS 64218 HAS SOUS 58689 HAS SOUPS 58689 WITH SCORE 58753.218
AT ITER 763 NEW BEST:: SOT 245352 SOS 64218 HAS SOPS 64218 HAS SOUS 58688 HAS SOUPS 58688 WITH SCORE 58752.218
AT ITER 769 NEW BEST:: SOT 245306 SOS 64221 HAS SOPS 64221 HAS SOUS 58681 HAS SOUPS 58681 WITH SCORE 58745.221
AT ITER 786 NEW BEST:: SOT 245275 SOS 64183 HAS SOPS 64183 HAS SOUS 58650 HAS SOUPS 58650 WITH SCORE 58714.183
AT ITER 814 NEW BEST:: SOT 245275 SOS 64182 HAS SOPS 64182 HAS SOUS 58649 HAS SOUPS 58649 WITH SCORE 58713.182
AT ITER 839 NEW BEST:: SOT 245275 SOS 64182 HAS SOPS 64182 HAS SOUS 58641 HAS SOUPS 58641 WITH SCORE 58705.182
AT ITER 842 NEW BEST:: SOT 245275 SOS 64160 HAS SOPS 64160 HAS SOUS 58640 HAS SOUPS 58640 WITH SCORE 58704.16
AT ITER 869 NEW BEST:: SOT 245275 SOS 64160 HAS SOPS 64160 HAS SOUS 58639 HAS SOUPS 58639 WITH SCORE 58703.16
AT ITER 870 NEW BEST:: SOT 245274 SOS 64158 HAS SOPS 64158 HAS SOUS 58637 HAS SOUPS 58637 WITH SCORE 58701.158
AT ITER 877 NEW BEST:: SOT 245313 SOS 63980 HAS SOPS 63980 HAS SOUS 58561 HAS SOUPS 58561 WITH SCORE 58624.98
AT ITER 910 NEW BEST:: SOT 245313 SOS 63980 HAS SOPS 63980 HAS SOUS 58559 HAS SOUPS 58559 WITH SCORE 58622.98
AT ITER 912 NEW BEST:: SOT 243718 SOS 62617 HAS SOPS 62617 HAS SOUS 57129 HAS SOUPS 57129 WITH SCORE 57191.617
AT ITER 917 NEW BEST:: SOT 243057 SOS 62159 HAS SOPS 62159 HAS SOUS 56545 HAS SOUPS 56545 WITH SCORE 56607.159
AT ITER 920 NEW BEST:: SOT 243034 SOS 62113 HAS SOPS 62113 HAS SOUS 56499 HAS SOUPS 56499 WITH SCORE 56561.113
AT ITER 958 NEW BEST:: SOT 242973 SOS 62119 HAS SOPS 62119 HAS SOUS 56422 HAS SOUPS 56422 WITH SCORE 56484.119
AT ITER 967 NEW BEST:: SOT 242973 SOS 62119 HAS SOPS 62119 HAS SOUS 56356 HAS SOUPS 56356 WITH SCORE 56418.119
AT ITER 969 NEW BEST:: SOT 243066 SOS 62119 HAS SOPS 62119 HAS SOUS 56287 HAS SOUPS 56287 WITH SCORE 56349.119
AT ITER 970 NEW BEST:: SOT 243070 SOS 62093 HAS SOPS 62093 HAS SOUS 56261 HAS SOUPS 56261 WITH SCORE 56323.093
AT ITER 994 NEW BEST:: SOT 243245 SOS 61926 HAS SOPS 61926 HAS SOUS 56106 HAS SOUPS 56106 WITH SCORE 56167.926
AT ITER 1012 NEW BEST:: SOT 243245 SOS 61880 HAS SOPS 61880 HAS SOUS 56060 HAS SOUPS 56060 WITH SCORE 56121.88
AT ITER 1019 NEW BEST:: SOT 243254 SOS 61868 HAS SOPS 61868 HAS SOUS 56048 HAS SOUPS 56048 WITH SCORE 56109.868
AT ITER 1022 NEW BEST:: SOT 243254 SOS 61788 HAS SOPS 61788 HAS SOUS 56048 HAS SOUPS 56048 WITH SCORE 56109.788
AT ITER 1034 NEW BEST:: SOT 243254 SOS 61726 HAS SOPS 61726 HAS SOUS 56048 HAS SOUPS 56048 WITH SCORE 56109.726
AT ITER 1133 NEW BEST:: SOT 243254 SOS 61726 HAS SOPS 61726 HAS SOUS 56034 HAS SOUPS 56034 WITH SCORE 56095.726
AT ITER 1134 NEW BEST:: SOT 243235 SOS 61616 HAS SOPS 61616 HAS SOUS 55995 HAS SOUPS 55995 WITH SCORE 56056.616
AT ITER 1135 NEW BEST:: SOT 243229 SOS 61610 HAS SOPS 61610 HAS SOUS 55991 HAS SOUPS 55991 WITH SCORE 56052.61
AT ITER 1138 NEW BEST:: SOT 243229 SOS 61248 HAS SOPS 61248 HAS SOUS 55991 HAS SOUPS 55991 WITH SCORE 56052.248
AT ITER 1145 NEW BEST:: SOT 243229 SOS 61150 HAS SOPS 61150 HAS SOUS 55942 HAS SOUPS 55942 WITH SCORE 56003.15
AT ITER 1169 NEW BEST:: SOT 243203 SOS 61098 HAS SOPS 61098 HAS SOUS 55919 HAS SOUPS 55919 WITH SCORE 55980.098
AT ITER 1175 NEW BEST:: SOT 243148 SOS 60988 HAS SOPS 60988 HAS SOUS 55809 HAS SOUPS 55809 WITH SCORE 55869.988
AT ITER 1216 NEW BEST:: SOT 243074 SOS 60924 HAS SOPS 60924 HAS SOUS 55750 HAS SOUPS 55750 WITH SCORE 55810.924
AT ITER 1227 NEW BEST:: SOT 243074 SOS 60832 HAS SOPS 60832 HAS SOUS 55658 HAS SOUPS 55658 WITH SCORE 55718.832
AT ITER 1232 NEW BEST:: SOT 242996 SOS 60790 HAS SOPS 60790 HAS SOUS 55593 HAS SOUPS 55593 WITH SCORE 55653.79
AT ITER 1254 NEW BEST:: SOT 242999 SOS 60684 HAS SOPS 60684 HAS SOUS 55515 HAS SOUPS 55515 WITH SCORE 55575.684
AT ITER 1263 NEW BEST:: SOT 242883 SOS 60482 HAS SOPS 60482 HAS SOUS 55166 HAS SOUPS 55166 WITH SCORE 55226.482
AT ITER 1270 NEW BEST:: SOT 242883 SOS 60394 HAS SOPS 60394 HAS SOUS 55122 HAS SOUPS 55122 WITH SCORE 55182.394
AT ITER 1292 NEW BEST:: SOT 242883 SOS 60334 HAS SOPS 60334 HAS SOUS 55062 HAS SOUPS 55062 WITH SCORE 55122.334
AT ITER 1298 NEW BEST:: SOT 242852 SOS 60272 HAS SOPS 60272 HAS SOUS 55046 HAS SOUPS 55046 WITH SCORE 55106.272
AT ITER 1324 NEW BEST:: SOT 242852 SOS 60272 HAS SOPS 60272 HAS SOUS 55045 HAS SOUPS 55045 WITH SCORE 55105.272
AT ITER 1331 NEW BEST:: SOT 242852 SOS 60244 HAS SOPS 60244 HAS SOUS 55017 HAS SOUPS 55017 WITH SCORE 55077.244
AT ITER 1334 NEW BEST:: SOT 242852 SOS 60141 HAS SOPS 60141 HAS SOUS 54914 HAS SOUPS 54914 WITH SCORE 54974.141
AT ITER 1338 NEW BEST:: SOT 242849 SOS 60135 HAS SOPS 60135 HAS SOUS 54908 HAS SOUPS 54908 WITH SCORE 54968.135
AT ITER 1341 NEW BEST:: SOT 242849 SOS 60135 HAS SOPS 60135 HAS SOUS 54846 HAS SOUPS 54846 WITH SCORE 54906.135
AT ITER 1367 NEW BEST:: SOT 242849 SOS 60135 HAS SOPS 60135 HAS SOUS 54811 HAS SOUPS 54811 WITH SCORE 54871.135
AT ITER 1375 NEW BEST:: SOT 242819 SOS 60081 HAS SOPS 60081 HAS SOUS 54781 HAS SOUPS 54781 WITH SCORE 54841.081
AT ITER 1377 NEW BEST:: SOT 242844 SOS 59997 HAS SOPS 59997 HAS SOUS 54751 HAS SOUPS 54751 WITH SCORE 54810.997
AT ITER 1384 NEW BEST:: SOT 242852 SOS 59719 HAS SOPS 59719 HAS SOUS 54612 HAS SOUPS 54612 WITH SCORE 54671.719
AT ITER 1400 NEW BEST:: SOT 242853 SOS 59487 HAS SOPS 59487 HAS SOUS 54506 HAS SOUPS 54506 WITH SCORE 54565.487
AT ITER 1406 NEW BEST:: SOT 242836 SOS 59436 HAS SOPS 59436 HAS SOUS 54472 HAS SOUPS 54472 WITH SCORE 54531.436
AT ITER 1430 NEW BEST:: SOT 242820 SOS 59404 HAS SOPS 59404 HAS SOUS 54426 HAS SOUPS 54426 WITH SCORE 54485.404
AT ITER 1468 NEW BEST:: SOT 242809 SOS 59382 HAS SOPS 59382 HAS SOUS 54415 HAS SOUPS 54415 WITH SCORE 54474.382
AT ITER 1521 NEW BEST:: SOT 242803 SOS 59376 HAS SOPS 59376 HAS SOUS 54409 HAS SOUPS 54409 WITH SCORE 54468.376
AT ITER 1522 NEW BEST:: SOT 242802 SOS 59374 HAS SOPS 59374 HAS SOUS 54407 HAS SOUPS 54407 WITH SCORE 54466.374
AT ITER 1534 NEW BEST:: SOT 242698 SOS 59253 HAS SOPS 59253 HAS SOUS 54286 HAS SOUPS 54286 WITH SCORE 54345.253
AT ITER 1544 NEW BEST:: SOT 242698 SOS 59215 HAS SOPS 59215 HAS SOUS 54286 HAS SOUPS 54286 WITH SCORE 54345.215
AT ITER 1568 NEW BEST:: SOT 242539 SOS 59047 HAS SOPS 59047 HAS SOUS 54118 HAS SOUPS 54118 WITH SCORE 54177.047
AT ITER 1607 NEW BEST:: SOT 242500 SOS 58969 HAS SOPS 58969 HAS SOUS 54040 HAS SOUPS 54040 WITH SCORE 54098.969
AT ITER 1624 NEW BEST:: SOT 242500 SOS 58969 HAS SOPS 58969 HAS SOUS 53982 HAS SOUPS 53982 WITH SCORE 54040.969
AT ITER 1647 NEW BEST:: SOT 242500 SOS 58925 HAS SOPS 58925 HAS SOUS 53938 HAS SOUPS 53938 WITH SCORE 53996.925
AT ITER 1650 NEW BEST:: SOT 242500 SOS 58919 HAS SOPS 58919 HAS SOUS 53932 HAS SOUPS 53932 WITH SCORE 53990.919
AT ITER 1661 NEW BEST:: SOT 242500 SOS 58809 HAS SOPS 58809 HAS SOUS 53932 HAS SOUPS 53932 WITH SCORE 53990.809
AT ITER 1667 NEW BEST:: SOT 242500 SOS 58763 HAS SOPS 58763 HAS SOUS 53932 HAS SOUPS 53932 WITH SCORE 53990.763
AT ITER 1700 NEW BEST:: SOT 242579 SOS 58870 HAS SOPS 58870 HAS SOUS 53914 HAS SOUPS 53914 WITH SCORE 53972.87
AT ITER 1714 NEW BEST:: SOT 242534 SOS 58780 HAS SOPS 58780 HAS SOUS 53869 HAS SOUPS 53869 WITH SCORE 53927.78
AT ITER 1734 NEW BEST:: SOT 242534 SOS 58780 HAS SOPS 58780 HAS SOUS 53868 HAS SOUPS 53868 WITH SCORE 53926.78
AT ITER 1736 NEW BEST:: SOT 242569 SOS 58668 HAS SOPS 58668 HAS SOUS 53829 HAS SOUPS 53829 WITH SCORE 53887.668
AT ITER 1738 NEW BEST:: SOT 242569 SOS 58668 HAS SOPS 58668 HAS SOUS 53828 HAS SOUPS 53828 WITH SCORE 53886.668
AT ITER 1753 NEW BEST:: SOT 242565 SOS 58602 HAS SOPS 58602 HAS SOUS 53820 HAS SOUPS 53820 WITH SCORE 53878.602
AT ITER 1757 NEW BEST:: SOT 242569 SOS 58598 HAS SOPS 58598 HAS SOUS 53816 HAS SOUPS 53816 WITH SCORE 53874.598
AT ITER 1809 NEW BEST:: SOT 242569 SOS 58598 HAS SOPS 58598 HAS SOUS 53771 HAS SOUPS 53771 WITH SCORE 53829.598
AT ITER 1815 NEW BEST:: SOT 242585 SOS 58597 HAS SOPS 58597 HAS SOUS 53770 HAS SOUPS 53770 WITH SCORE 53828.597
AT ITER 1819 NEW BEST:: SOT 242573 SOS 58573 HAS SOPS 58573 HAS SOUS 53756 HAS SOUPS 53756 WITH SCORE 53814.573
AT ITER 1827 NEW BEST:: SOT 242573 SOS 58534 HAS SOPS 58534 HAS SOUS 53742 HAS SOUPS 53742 WITH SCORE 53800.534
AT ITER 1832 NEW BEST:: SOT 242573 SOS 58526 HAS SOPS 58526 HAS SOUS 53734 HAS SOUPS 53734 WITH SCORE 53792.526
AT ITER 1848 NEW BEST:: SOT 242579 SOS 58520 HAS SOPS 58520 HAS SOUS 53728 HAS SOUPS 53728 WITH SCORE 53786.52
AT ITER 1860 NEW BEST:: SOT 242579 SOS 58520 HAS SOPS 58520 HAS SOUS 53667 HAS SOUPS 53667 WITH SCORE 53725.52
AT ITER 1864 NEW BEST:: SOT 242634 SOS 58477 HAS SOPS 58477 HAS SOUS 53624 HAS SOUPS 53624 WITH SCORE 53682.477
AT ITER 1890 NEW BEST:: SOT 242634 SOS 58325 HAS SOPS 58325 HAS SOUS 53558 HAS SOUPS 53558 WITH SCORE 53616.325
AT ITER 1892 NEW BEST:: SOT 242570 SOS 58208 HAS SOPS 58208 HAS SOUS 53441 HAS SOUPS 53441 WITH SCORE 53499.208
AT ITER 1898 NEW BEST:: SOT 241838 SOS 65487 HAS SOPS 65487 HAS SOUS 53117 HAS SOUPS 53117 WITH SCORE 53182.487
AT ITER 1922 NEW BEST:: SOT 241791 SOS 65440 HAS SOPS 65440 HAS SOUS 53117 HAS SOUPS 53117 WITH SCORE 53182.44
AT ITER 1935 NEW BEST:: SOT 241791 SOS 65416 HAS SOPS 65416 HAS SOUS 53105 HAS SOUPS 53105 WITH SCORE 53170.416
AT ITER 1936 NEW BEST:: SOT 241791 SOS 65328 HAS SOPS 65328 HAS SOUS 53104 HAS SOUPS 53104 WITH SCORE 53169.328
AT ITER 1945 NEW BEST:: SOT 241791 SOS 65256 HAS SOPS 65256 HAS SOUS 53104 HAS SOUPS 53104 WITH SCORE 53169.256
AT ITER 1972 NEW BEST:: SOT 241791 SOS 65193 HAS SOPS 65193 HAS SOUS 53041 HAS SOUPS 53041 WITH SCORE 53106.193
AT ITER 1975 NEW BEST:: SOT 241791 SOS 65193 HAS SOPS 65193 HAS SOUS 52956 HAS SOUPS 52956 WITH SCORE 53021.193
AT ITER 1989 NEW BEST:: SOT 241791 SOS 65144 HAS SOPS 65144 HAS SOUS 52907 HAS SOUPS 52907 WITH SCORE 52972.144
AT ITER 2013 NEW BEST:: SOT 241791 SOS 65144 HAS SOPS 65144 HAS SOUS 52898 HAS SOUPS 52898 WITH SCORE 52963.144
AT ITER 2019 NEW BEST:: SOT 241765 SOS 65092 HAS SOPS 65092 HAS SOUS 52842 HAS SOUPS 52842 WITH SCORE 52907.092
AT ITER 2040 NEW BEST:: SOT 241749 SOS 65076 HAS SOPS 65076 HAS SOUS 52826 HAS SOUPS 52826 WITH SCORE 52891.076
AT ITER 2080 NEW BEST:: SOT 241743 SOS 65075 HAS SOPS 65075 HAS SOUS 52825 HAS SOUPS 52825 WITH SCORE 52890.075
AT ITER 2084 NEW BEST:: SOT 241730 SOS 65049 HAS SOPS 65049 HAS SOUS 52799 HAS SOUPS 52799 WITH SCORE 52864.049
AT ITER 2095 NEW BEST:: SOT 241749 SOS 65041 HAS SOPS 65041 HAS SOUS 52791 HAS SOUPS 52791 WITH SCORE 52856.041
AT ITER 2104 NEW BEST:: SOT 241753 SOS 65027 HAS SOPS 65027 HAS SOUS 52777 HAS SOUPS 52777 WITH SCORE 52842.027
AT ITER 2112 NEW BEST:: SOT 241730 SOS 64981 HAS SOPS 64981 HAS SOUS 52731 HAS SOUPS 52731 WITH SCORE 52795.981
AT ITER 2133 NEW BEST:: SOT 241573 SOS 64852 HAS SOPS 64852 HAS SOUS 52565 HAS SOUPS 52565 WITH SCORE 52629.852
AT ITER 2174 NEW BEST:: SOT 241573 SOS 64821 HAS SOPS 64821 HAS SOUS 52503 HAS SOUPS 52503 WITH SCORE 52567.821
AT ITER 2184 NEW BEST:: SOT 241481 SOS 64637 HAS SOPS 64637 HAS SOUS 52429 HAS SOUPS 52429 WITH SCORE 52493.637
AT ITER 2190 NEW BEST:: SOT 241520 SOS 64715 HAS SOPS 64715 HAS SOUS 52406 HAS SOUPS 52406 WITH SCORE 52470.715
AT ITER 2218 NEW BEST:: SOT 241444 SOS 64504 HAS SOPS 64504 HAS SOUS 52296 HAS SOUPS 52296 WITH SCORE 52360.504
AT ITER 2243 NEW BEST:: SOT 241444 SOS 64466 HAS SOPS 64466 HAS SOUS 52277 HAS SOUPS 52277 WITH SCORE 52341.466
AT ITER 2250 NEW BEST:: SOT 241379 SOS 64336 HAS SOPS 64336 HAS SOUS 52238 HAS SOUPS 52238 WITH SCORE 52302.336
AT ITER 2261 NEW BEST:: SOT 241336 SOS 64293 HAS SOPS 64293 HAS SOUS 52152 HAS SOUPS 52152 WITH SCORE 52216.293
AT ITER 2263 NEW BEST:: SOT 241319 SOS 64259 HAS SOPS 64259 HAS SOUS 52135 HAS SOUPS 52135 WITH SCORE 52199.259
AT ITER 2280 NEW BEST:: SOT 241317 SOS 64255 HAS SOPS 64255 HAS SOUS 52131 HAS SOUPS 52131 WITH SCORE 52195.255
AT ITER 2286 NEW BEST:: SOT 241307 SOS 64235 HAS SOPS 64235 HAS SOUS 52111 HAS SOUPS 52111 WITH SCORE 52175.235
AT ITER 2309 NEW BEST:: SOT 241099 SOS 63819 HAS SOPS 63819 HAS SOUS 51955 HAS SOUPS 51955 WITH SCORE 52018.819
AT ITER 2337 NEW BEST:: SOT 241009 SOS 56744 HAS SOPS 56744 HAS SOUS 51775 HAS SOUPS 51775 WITH SCORE 51831.744
AT ITER 2357 NEW BEST:: SOT 241003 SOS 56732 HAS SOPS 56732 HAS SOUS 51768 HAS SOUPS 51768 WITH SCORE 51824.732
AT ITER 2394 NEW BEST:: SOT 240997 SOS 56688 HAS SOPS 56688 HAS SOUS 51722 HAS SOUPS 51722 WITH SCORE 51778.688
AT ITER 2411 NEW BEST:: SOT 240998 SOS 56690 HAS SOPS 56690 HAS SOUS 51719 HAS SOUPS 51719 WITH SCORE 51775.69
AT ITER 2415 NEW BEST:: SOT 240997 SOS 56689 HAS SOPS 56689 HAS SOUS 51718 HAS SOUPS 51718 WITH SCORE 51774.689
AT ITER 2421 NEW BEST:: SOT 240970 SOS 56635 HAS SOPS 56635 HAS SOUS 51664 HAS SOUPS 51664 WITH SCORE 51720.635
AT ITER 2437 NEW BEST:: SOT 240958 SOS 56611 HAS SOPS 56611 HAS SOUS 51582 HAS SOUPS 51582 WITH SCORE 51638.611
AT ITER 2470 NEW BEST:: SOT 240958 SOS 56611 HAS SOPS 56611 HAS SOUS 51471 HAS SOUPS 51471 WITH SCORE 51527.611
AT ITER 2526 NEW BEST:: SOT 240944 SOS 56583 HAS SOPS 56583 HAS SOUS 51443 HAS SOUPS 51443 WITH SCORE 51499.583
AT ITER 2543 NEW BEST:: SOT 240944 SOS 56421 HAS SOPS 56421 HAS SOUS 51362 HAS SOUPS 51362 WITH SCORE 51418.421
AT ITER 2554 NEW BEST:: SOT 240875 SOS 56352 HAS SOPS 56352 HAS SOUS 51293 HAS SOUPS 51293 WITH SCORE 51349.352
AT ITER 2567 NEW BEST:: SOT 240805 SOS 56212 HAS SOPS 56212 HAS SOUS 51232 HAS SOUPS 51232 WITH SCORE 51288.212
AT ITER 2585 NEW BEST:: SOT 240805 SOS 56196 HAS SOPS 56196 HAS SOUS 51216 HAS SOUPS 51216 WITH SCORE 51272.196
AT ITER 2608 NEW BEST:: SOT 240805 SOS 56143 HAS SOPS 56143 HAS SOUS 51163 HAS SOUPS 51163 WITH SCORE 51219.143
AT ITER 2632 NEW BEST:: SOT 240805 SOS 56143 HAS SOPS 56143 HAS SOUS 51099 HAS SOUPS 51099 WITH SCORE 51155.143
AT ITER 2634 NEW BEST:: SOT 240798 SOS 56136 HAS SOPS 56136 HAS SOUS 51089 HAS SOUPS 51089 WITH SCORE 51145.136
AT ITER 2660 NEW BEST:: SOT 240745 SOS 56030 HAS SOPS 56030 HAS SOUS 50983 HAS SOUPS 50983 WITH SCORE 51039.03
AT ITER 2676 NEW BEST:: SOT 240745 SOS 55970 HAS SOPS 55970 HAS SOUS 50953 HAS SOUPS 50953 WITH SCORE 51008.97
AT ITER 2696 NEW BEST:: SOT 240738 SOS 55964 HAS SOPS 55964 HAS SOUS 50947 HAS SOUPS 50947 WITH SCORE 51002.964
AT ITER 2722 NEW BEST:: SOT 240738 SOS 55964 HAS SOPS 55964 HAS SOUS 50896 HAS SOUPS 50896 WITH SCORE 50951.964
AT ITER 2754 NEW BEST:: SOT 240738 SOS 55964 HAS SOPS 55964 HAS SOUS 50880 HAS SOUPS 50880 WITH SCORE 50935.964
AT ITER 2755 NEW BEST:: SOT 240726 SOS 55920 HAS SOPS 55920 HAS SOUS 50856 HAS SOUPS 50856 WITH SCORE 50911.92
AT ITER 2770 NEW BEST:: SOT 240492 SOS 55452 HAS SOPS 55452 HAS SOUS 50388 HAS SOUPS 50388 WITH SCORE 50443.452
AT ITER 2777 NEW BEST:: SOT 240504 SOS 55436 HAS SOPS 55436 HAS SOUS 50372 HAS SOUPS 50372 WITH SCORE 50427.436
AT ITER 2783 NEW BEST:: SOT 240504 SOS 55408 HAS SOPS 55408 HAS SOUS 50344 HAS SOUPS 50344 WITH SCORE 50399.408
AT ITER 2811 NEW BEST:: SOT 240498 SOS 55397 HAS SOPS 55397 HAS SOUS 50332 HAS SOUPS 50332 WITH SCORE 50387.397
AT ITER 2814 NEW BEST:: SOT 240477 SOS 55326 HAS SOPS 55326 HAS SOUS 50285 HAS SOUPS 50285 WITH SCORE 50340.326
AT ITER 2816 NEW BEST:: SOT 240477 SOS 55276 HAS SOPS 55276 HAS SOUS 50285 HAS SOUPS 50285 WITH SCORE 50340.276
AT ITER 2830 NEW BEST:: SOT 240450 SOS 55191 HAS SOPS 55191 HAS SOUS 50200 HAS SOUPS 50200 WITH SCORE 50255.191
AT ITER 2833 NEW BEST:: SOT 240388 SOS 55129 HAS SOPS 55129 HAS SOUS 50138 HAS SOUPS 50138 WITH SCORE 50193.129
AT ITER 2835 NEW BEST:: SOT 240420 SOS 55115 HAS SOPS 55115 HAS SOUS 50137 HAS SOUPS 50137 WITH SCORE 50192.115
AT ITER 2845 NEW BEST:: SOT 240408 SOS 55091 HAS SOPS 55091 HAS SOUS 50113 HAS SOUPS 50113 WITH SCORE 50168.091
AT ITER 2872 NEW BEST:: SOT 240402 SOS 55079 HAS SOPS 55079 HAS SOUS 50101 HAS SOUPS 50101 WITH SCORE 50156.079
AT ITER 2903 NEW BEST:: SOT 240378 SOS 55003 HAS SOPS 55003 HAS SOUS 50053 HAS SOUPS 50053 WITH SCORE 50108.003
AT ITER 2926 NEW BEST:: SOT 240373 SOS 54977 HAS SOPS 54977 HAS SOUS 50027 HAS SOUPS 50027 WITH SCORE 50081.977
AT ITER 2933 NEW BEST:: SOT 240351 SOS 54955 HAS SOPS 54955 HAS SOUS 50005 HAS SOUPS 50005 WITH SCORE 50059.955
AT ITER 2940 NEW BEST:: SOT 240326 SOS 54905 HAS SOPS 54905 HAS SOUS 49955 HAS SOUPS 49955 WITH SCORE 50009.905
AT ITER 2952 NEW BEST:: SOT 240326 SOS 54849 HAS SOPS 54849 HAS SOUS 49954 HAS SOUPS 49954 WITH SCORE 50008.849
AT ITER 2964 NEW BEST:: SOT 240326 SOS 54820 HAS SOPS 54820 HAS SOUS 49925 HAS SOUPS 49925 WITH SCORE 49979.82
AT ITER 2977 NEW BEST:: SOT 240336 SOS 54840 HAS SOPS 54840 HAS SOUS 49877 HAS SOUPS 49877 WITH SCORE 49931.84
AT ITER 3041 NEW BEST:: SOT 240336 SOS 54824 HAS SOPS 54824 HAS SOUS 49869 HAS SOUPS 49869 WITH SCORE 49923.824
AT ITER 3133 NEW BEST:: SOT 240336 SOS 54402 HAS SOPS 54402 HAS SOUS 49658 HAS SOUPS 49658 WITH SCORE 49712.402
AT ITER 3149 NEW BEST:: SOT 240336 SOS 54342 HAS SOPS 54342 HAS SOUS 49628 HAS SOUPS 49628 WITH SCORE 49682.342
AT ITER 3185 NEW BEST:: SOT 240335 SOS 54341 HAS SOPS 54341 HAS SOUS 49626 HAS SOUPS 49626 WITH SCORE 49680.341
AT ITER 3192 NEW BEST:: SOT 240241 SOS 54250 HAS SOPS 54250 HAS SOUS 49518 HAS SOUPS 49518 WITH SCORE 49572.25
AT ITER 3210 NEW BEST:: SOT 240241 SOS 54242 HAS SOPS 54242 HAS SOUS 49510 HAS SOUPS 49510 WITH SCORE 49564.242
AT ITER 3217 NEW BEST:: SOT 240235 SOS 54163 HAS SOPS 54163 HAS SOUS 49431 HAS SOUPS 49431 WITH SCORE 49485.163
AT ITER 3220 NEW BEST:: SOT 240283 SOS 54100 HAS SOPS 54100 HAS SOUS 49416 HAS SOUPS 49416 WITH SCORE 49470.1
AT ITER 3241 NEW BEST:: SOT 240288 SOS 54044 HAS SOPS 54044 HAS SOUS 49388 HAS SOUPS 49388 WITH SCORE 49442.044
AT ITER 3242 NEW BEST:: SOT 240292 SOS 54031 HAS SOPS 54031 HAS SOUS 49368 HAS SOUPS 49368 WITH SCORE 49422.031
AT ITER 3273 NEW BEST:: SOT 240292 SOS 53993 HAS SOPS 53993 HAS SOUS 49368 HAS SOUPS 49368 WITH SCORE 49421.993
AT ITER 3292 NEW BEST:: SOT 240274 SOS 53957 HAS SOPS 53957 HAS SOUS 49337 HAS SOUPS 49337 WITH SCORE 49390.957
AT ITER 3303 NEW BEST:: SOT 240274 SOS 53899 HAS SOPS 53899 HAS SOUS 49308 HAS SOUPS 49308 WITH SCORE 49361.899
AT ITER 3311 NEW BEST:: SOT 240274 SOS 53891 HAS SOPS 53891 HAS SOUS 49300 HAS SOUPS 49300 WITH SCORE 49353.891
AT ITER 3316 NEW BEST:: SOT 240268 SOS 53880 HAS SOPS 53880 HAS SOUS 49294 HAS SOUPS 49294 WITH SCORE 49347.88
AT ITER 3434 NEW BEST:: SOT 240245 SOS 53834 HAS SOPS 53834 HAS SOUS 49248 HAS SOUPS 49248 WITH SCORE 49301.834
AT ITER 3436 NEW BEST:: SOT 240236 SOS 53816 HAS SOPS 53816 HAS SOUS 49230 HAS SOUPS 49230 WITH SCORE 49283.816
AT ITER 3481 NEW BEST:: SOT 240236 SOS 53764 HAS SOPS 53764 HAS SOUS 49230 HAS SOUPS 49230 WITH SCORE 49283.764
AT ITER 3484 NEW BEST:: SOT 240171 SOS 53634 HAS SOPS 53634 HAS SOUS 49100 HAS SOUPS 49100 WITH SCORE 49153.634
AT ITER 3497 NEW BEST:: SOT 240231 SOS 53754 HAS SOPS 53754 HAS SOUS 49047 HAS SOUPS 49047 WITH SCORE 49100.754
AT ITER 3508 NEW BEST:: SOT 240231 SOS 53698 HAS SOPS 53698 HAS SOUS 49019 HAS SOUPS 49019 WITH SCORE 49072.698
AT ITER 3513 NEW BEST:: SOT 240156 SOS 53589 HAS SOPS 53589 HAS SOUS 48869 HAS SOUPS 48869 WITH SCORE 48922.589
AT ITER 3568 NEW BEST:: SOT 240156 SOS 53589 HAS SOPS 53589 HAS SOUS 48859 HAS SOUPS 48859 WITH SCORE 48912.589
AT ITER 3578 NEW BEST:: SOT 240171 SOS 53565 HAS SOPS 53565 HAS SOUS 48842 HAS SOUPS 48842 WITH SCORE 48895.565
AT ITER 3595 NEW BEST:: SOT 240205 SOS 53552 HAS SOPS 53552 HAS SOUS 48748 HAS SOUPS 48748 WITH SCORE 48801.552
AT ITER 3612 NEW BEST:: SOT 240169 SOS 53480 HAS SOPS 53480 HAS SOUS 48676 HAS SOUPS 48676 WITH SCORE 48729.48
AT ITER 3672 NEW BEST:: SOT 240167 SOS 53478 HAS SOPS 53478 HAS SOUS 48676 HAS SOUPS 48676 WITH SCORE 48729.478
AT ITER 3688 NEW BEST:: SOT 240165 SOS 53434 HAS SOPS 53434 HAS SOUS 48632 HAS SOUPS 48632 WITH SCORE 48685.434
AT ITER 3701 NEW BEST:: SOT 240151 SOS 53392 HAS SOPS 53392 HAS SOUS 48604 HAS SOUPS 48604 WITH SCORE 48657.392
AT ITER 3704 NEW BEST:: SOT 240013 SOS 53107 HAS SOPS 53107 HAS SOUS 48328 HAS SOUPS 48328 WITH SCORE 48381.107
AT ITER 3715 NEW BEST:: SOT 239979 SOS 53073 HAS SOPS 53073 HAS SOUS 48294 HAS SOUPS 48294 WITH SCORE 48347.073
AT ITER 3718 NEW BEST:: SOT 239937 SOS 53075 HAS SOPS 53075 HAS SOUS 48275 HAS SOUPS 48275 WITH SCORE 48328.075
AT ITER 3722 NEW BEST:: SOT 239931 SOS 53063 HAS SOPS 53063 HAS SOUS 48263 HAS SOUPS 48263 WITH SCORE 48316.063
AT ITER 3725 NEW BEST:: SOT 239929 SOS 53059 HAS SOPS 53059 HAS SOUS 48251 HAS SOUPS 48251 WITH SCORE 48304.059
AT ITER 3734 NEW BEST:: SOT 239919 SOS 53056 HAS SOPS 53056 HAS SOUS 48248 HAS SOUPS 48248 WITH SCORE 48301.056
AT ITER 3768 NEW BEST:: SOT 239909 SOS 53036 HAS SOPS 53036 HAS SOUS 48228 HAS SOUPS 48228 WITH SCORE 48281.036
AT ITER 3782 NEW BEST:: SOT 239837 SOS 52892 HAS SOPS 52892 HAS SOUS 48084 HAS SOUPS 48084 WITH SCORE 48136.892
AT ITER 3783 NEW BEST:: SOT 239782 SOS 52782 HAS SOPS 52782 HAS SOUS 48009 HAS SOUPS 48009 WITH SCORE 48061.782
AT ITER 3798 NEW BEST:: SOT 239791 SOS 52564 HAS SOPS 52564 HAS SOUS 47909 HAS SOUPS 47909 WITH SCORE 47961.564
AT ITER 3867 NEW BEST:: SOT 239791 SOS 52556 HAS SOPS 52556 HAS SOUS 47905 HAS SOUPS 47905 WITH SCORE 47957.556
AT ITER 3873 NEW BEST:: SOT 239837 SOS 52492 HAS SOPS 52492 HAS SOUS 47867 HAS SOUPS 47867 WITH SCORE 47919.492
AT ITER 3881 NEW BEST:: SOT 239824 SOS 52437 HAS SOPS 52437 HAS SOUS 47850 HAS SOUPS 47850 WITH SCORE 47902.437
AT ITER 3952 NEW BEST:: SOT 239824 SOS 52412 HAS SOPS 52412 HAS SOUS 47825 HAS SOUPS 47825 WITH SCORE 47877.412
AT ITER 3957 NEW BEST:: SOT 239824 SOS 52368 HAS SOPS 52368 HAS SOUS 47803 HAS SOUPS 47803 WITH SCORE 47855.368
AT ITER 3982 NEW BEST:: SOT 239774 SOS 52364 HAS SOPS 52364 HAS SOUS 47751 HAS SOUPS 47751 WITH SCORE 47803.364
AT ITER 3985 NEW BEST:: SOT 239781 SOS 52307 HAS SOPS 52307 HAS SOUS 47694 HAS SOUPS 47694 WITH SCORE 47746.307
AT ITER 4026 NEW BEST:: SOT 239781 SOS 52307 HAS SOPS 52307 HAS SOUS 47686 HAS SOUPS 47686 WITH SCORE 47738.307
AT ITER 4107 NEW BEST:: SOT 239768 SOS 52281 HAS SOPS 52281 HAS SOUS 47660 HAS SOUPS 47660 WITH SCORE 47712.281
AT ITER 4211 NEW BEST:: SOT 239768 SOS 52281 HAS SOPS 52281 HAS SOUS 47633 HAS SOUPS 47633 WITH SCORE 47685.281
AT ITER 4292 NEW BEST:: SOT 239762 SOS 52269 HAS SOPS 52269 HAS SOUS 47626 HAS SOUPS 47626 WITH SCORE 47678.269
AT ITER 4328 NEW BEST:: SOT 239782 SOS 52242 HAS SOPS 52242 HAS SOUS 47599 HAS SOUPS 47599 WITH SCORE 47651.242
AT ITER 4375 NEW BEST:: SOT 239782 SOS 52236 HAS SOPS 52236 HAS SOUS 47593 HAS SOUPS 47593 WITH SCORE 47645.236
AT ITER 4376 NEW BEST:: SOT 239782 SOS 52203 HAS SOPS 52203 HAS SOUS 47560 HAS SOUPS 47560 WITH SCORE 47612.203
AT ITER 4380 NEW BEST:: SOT 239775 SOS 52180 HAS SOPS 52180 HAS SOUS 47534 HAS SOUPS 47534 WITH SCORE 47586.18
AT ITER 4385 NEW BEST:: SOT 239736 SOS 52102 HAS SOPS 52102 HAS SOUS 47456 HAS SOUPS 47456 WITH SCORE 47508.102
AT ITER 4393 NEW BEST:: SOT 239725 SOS 52091 HAS SOPS 52091 HAS SOUS 47445 HAS SOUPS 47445 WITH SCORE 47497.091
AT ITER 4401 NEW BEST:: SOT 239722 SOS 52085 HAS SOPS 52085 HAS SOUS 47439 HAS SOUPS 47439 WITH SCORE 47491.085
AT ITER 4529 NEW BEST:: SOT 239719 SOS 52071 HAS SOPS 52071 HAS SOUS 47433 HAS SOUPS 47433 WITH SCORE 47485.071
AT ITER 4551 NEW BEST:: SOT 239719 SOS 52071 HAS SOPS 52071 HAS SOUS 47415 HAS SOUPS 47415 WITH SCORE 47467.071
AT ITER 4563 NEW BEST:: SOT 239719 SOS 52049 HAS SOPS 52049 HAS SOUS 47415 HAS SOUPS 47415 WITH SCORE 47467.049
AT ITER 4568 NEW BEST:: SOT 239719 SOS 52049 HAS SOPS 52049 HAS SOUS 47359 HAS SOUPS 47359 WITH SCORE 47411.049
AT ITER 4577 NEW BEST:: SOT 239698 SOS 52007 HAS SOPS 52007 HAS SOUS 47338 HAS SOUPS 47338 WITH SCORE 47390.007
AT ITER 4664 NEW BEST:: SOT 239690 SOS 51991 HAS SOPS 51991 HAS SOUS 47203 HAS SOUPS 47203 WITH SCORE 47254.991
AT ITER 4797 NEW BEST:: SOT 239694 SOS 51857 HAS SOPS 51857 HAS SOUS 47188 HAS SOUPS 47188 WITH SCORE 47239.857
AT ITER 4810 NEW BEST:: SOT 239704 SOS 51798 HAS SOPS 51798 HAS SOUS 47129 HAS SOUPS 47129 WITH SCORE 47180.798
AT ITER 4864 NEW BEST:: SOT 239706 SOS 51793 HAS SOPS 51793 HAS SOUS 47124 HAS SOUPS 47124 WITH SCORE 47175.793
AT ITER 4867 NEW BEST:: SOT 239706 SOS 51761 HAS SOPS 51761 HAS SOUS 47124 HAS SOUPS 47124 WITH SCORE 47175.761
AT ITER 4880 NEW BEST:: SOT 239704 SOS 51757 HAS SOPS 51757 HAS SOUS 47120 HAS SOUPS 47120 WITH SCORE 47171.757
AT ITER 4994 NEW BEST:: SOT 239704 SOS 51756 HAS SOPS 51756 HAS SOUS 47119 HAS SOUPS 47119 WITH SCORE 47170.756
AT ITER 5000 NEW BEST:: SOT 239697 SOS 51752 HAS SOPS 51752 HAS SOUS 47115 HAS SOUPS 47115 WITH SCORE 47166.752
AT ITER 5021 NEW BEST:: SOT 239693 SOS 51744 HAS SOPS 51744 HAS SOUS 47107 HAS SOUPS 47107 WITH SCORE 47158.744
AT ITER 5031 NEW BEST:: SOT 239686 SOS 51742 HAS SOPS 51742 HAS SOUS 47105 HAS SOUPS 47105 WITH SCORE 47156.742
AT ITER 5061 NEW BEST:: SOT 239686 SOS 51702 HAS SOPS 51702 HAS SOUS 47065 HAS SOUPS 47065 WITH SCORE 47116.702
AT ITER 5062 NEW BEST:: SOT 239674 SOS 51678 HAS SOPS 51678 HAS SOUS 47041 HAS SOUPS 47041 WITH SCORE 47092.678
AT ITER 5070 NEW BEST:: SOT 239666 SOS 51662 HAS SOPS 51662 HAS SOUS 47033 HAS SOUPS 47033 WITH SCORE 47084.662
AT ITER 5085 NEW BEST:: SOT 239663 SOS 51656 HAS SOPS 51656 HAS SOUS 47027 HAS SOUPS 47027 WITH SCORE 47078.656
AT ITER 5099 NEW BEST:: SOT 239661 SOS 51652 HAS SOPS 51652 HAS SOUS 47023 HAS SOUPS 47023 WITH SCORE 47074.652
AT ITER 5102 NEW BEST:: SOT 239656 SOS 51642 HAS SOPS 51642 HAS SOUS 47018 HAS SOUPS 47018 WITH SCORE 47069.642
AT ITER 5104 NEW BEST:: SOT 239656 SOS 51642 HAS SOPS 51642 HAS SOUS 47016 HAS SOUPS 47016 WITH SCORE 47067.642
AT ITER 5119 NEW BEST:: SOT 239645 SOS 51620 HAS SOPS 51620 HAS SOUS 46994 HAS SOUPS 46994 WITH SCORE 47045.62
AT ITER 5134 NEW BEST:: SOT 239647 SOS 51599 HAS SOPS 51599 HAS SOUS 46973 HAS SOUPS 46973 WITH SCORE 47024.599
AT ITER 5137 NEW BEST:: SOT 239610 SOS 51562 HAS SOPS 51562 HAS SOUS 46936 HAS SOUPS 46936 WITH SCORE 46987.562
AT ITER 5140 NEW BEST:: SOT 239608 SOS 51562 HAS SOPS 51562 HAS SOUS 46934 HAS SOUPS 46934 WITH SCORE 46985.562
AT ITER 5171 NEW BEST:: SOT 239605 SOS 51556 HAS SOPS 51556 HAS SOUS 46928 HAS SOUPS 46928 WITH SCORE 46979.556
AT ITER 5182 NEW BEST:: SOT 239595 SOS 51536 HAS SOPS 51536 HAS SOUS 46908 HAS SOUPS 46908 WITH SCORE 46959.536
AT ITER 5187 NEW BEST:: SOT 239598 SOS 51528 HAS SOPS 51528 HAS SOUS 46897 HAS SOUPS 46897 WITH SCORE 46948.528
AT ITER 5198 NEW BEST:: SOT 239583 SOS 51498 HAS SOPS 51498 HAS SOUS 46887 HAS SOUPS 46887 WITH SCORE 46938.498
AT ITER 5218 NEW BEST:: SOT 239577 SOS 51486 HAS SOPS 51486 HAS SOUS 46875 HAS SOUPS 46875 WITH SCORE 46926.486
AT ITER 5228 NEW BEST:: SOT 239571 SOS 51474 HAS SOPS 51474 HAS SOUS 46875 HAS SOUPS 46875 WITH SCORE 46926.474
AT ITER 5264 NEW BEST:: SOT 239571 SOS 51474 HAS SOPS 51474 HAS SOUS 46851 HAS SOUPS 46851 WITH SCORE 46902.474
AT ITER 5284 NEW BEST:: SOT 239561 SOS 51454 HAS SOPS 51454 HAS SOUS 46831 HAS SOUPS 46831 WITH SCORE 46882.454
AT ITER 5355 NEW BEST:: SOT 239561 SOS 51250 HAS SOPS 51250 HAS SOUS 46786 HAS SOUPS 46786 WITH SCORE 46837.25
AT ITER 5449 NEW BEST:: SOT 239530 SOS 51219 HAS SOPS 51219 HAS SOUS 46755 HAS SOUPS 46755 WITH SCORE 46806.219
AT ITER 5472 NEW BEST:: SOT 239603 SOS 51070 HAS SOPS 51070 HAS SOUS 46692 HAS SOUPS 46692 WITH SCORE 46743.07
AT ITER 5478 NEW BEST:: SOT 239643 SOS 50986 HAS SOPS 50986 HAS SOUS 46650 HAS SOUPS 46650 WITH SCORE 46700.986
AT ITER 5507 NEW BEST:: SOT 239660 SOS 50960 HAS SOPS 50960 HAS SOUS 46624 HAS SOUPS 46624 WITH SCORE 46674.96
AT ITER 5534 NEW BEST:: SOT 239642 SOS 50924 HAS SOPS 50924 HAS SOUS 46588 HAS SOUPS 46588 WITH SCORE 46638.924
AT ITER 5571 NEW BEST:: SOT 239621 SOS 50882 HAS SOPS 50882 HAS SOUS 46569 HAS SOUPS 46569 WITH SCORE 46619.882
AT ITER 5596 NEW BEST:: SOT 239630 SOS 50900 HAS SOPS 50900 HAS SOUS 46551 HAS SOUPS 46551 WITH SCORE 46601.9
AT ITER 5625 NEW BEST:: SOT 239611 SOS 50900 HAS SOPS 50900 HAS SOUS 46532 HAS SOUPS 46532 WITH SCORE 46582.9
AT ITER 5667 NEW BEST:: SOT 239594 SOS 50866 HAS SOPS 50866 HAS SOUS 46498 HAS SOUPS 46498 WITH SCORE 46548.866
AT ITER 5693 NEW BEST:: SOT 239594 SOS 50864 HAS SOPS 50864 HAS SOUS 46497 HAS SOUPS 46497 WITH SCORE 46547.864
AT ITER 5724 NEW BEST:: SOT 239576 SOS 50828 HAS SOPS 50828 HAS SOUS 46427 HAS SOUPS 46427 WITH SCORE 46477.828
AT ITER 5732 NEW BEST:: SOT 239566 SOS 50822 HAS SOPS 50822 HAS SOUS 46421 HAS SOUPS 46421 WITH SCORE 46471.822
AT ITER 5741 NEW BEST:: SOT 239546 SOS 50817 HAS SOPS 50817 HAS SOUS 46416 HAS SOUPS 46416 WITH SCORE 46466.817
AT ITER 5754 NEW BEST:: SOT 239502 SOS 50729 HAS SOPS 50729 HAS SOUS 46328 HAS SOUPS 46328 WITH SCORE 46378.729
AT ITER 5756 NEW BEST:: SOT 239500 SOS 50635 HAS SOPS 50635 HAS SOUS 46324 HAS SOUPS 46324 WITH SCORE 46374.635
AT ITER 5772 NEW BEST:: SOT 239499 SOS 50633 HAS SOPS 50633 HAS SOUS 46322 HAS SOUPS 46322 WITH SCORE 46372.633
AT ITER 5788 NEW BEST:: SOT 239576 SOS 50451 HAS SOPS 50451 HAS SOUS 46245 HAS SOUPS 46245 WITH SCORE 46295.451
AT ITER 5811 NEW BEST:: SOT 239576 SOS 50426 HAS SOPS 50426 HAS SOUS 46220 HAS SOUPS 46220 WITH SCORE 46270.426
AT ITER 5820 NEW BEST:: SOT 239557 SOS 50398 HAS SOPS 50398 HAS SOUS 46192 HAS SOUPS 46192 WITH SCORE 46242.398
AT ITER 5878 NEW BEST:: SOT 239557 SOS 50383 HAS SOPS 50383 HAS SOUS 46177 HAS SOUPS 46177 WITH SCORE 46227.383
AT ITER 5879 NEW BEST:: SOT 239557 SOS 50311 HAS SOPS 50311 HAS SOUS 46141 HAS SOUPS 46141 WITH SCORE 46191.311
AT ITER 5937 NEW BEST:: SOT 239557 SOS 50311 HAS SOPS 50311 HAS SOUS 46140 HAS SOUPS 46140 WITH SCORE 46190.311
AT ITER 5972 NEW BEST:: SOT 239383 SOS 50241 HAS SOPS 50241 HAS SOUS 46070 HAS SOUPS 46070 WITH SCORE 46120.241
AT ITER 5984 NEW BEST:: SOT 239380 SOS 50232 HAS SOPS 50232 HAS SOUS 46061 HAS SOUPS 46061 WITH SCORE 46111.232
AT ITER 6045 NEW BEST:: SOT 239380 SOS 50228 HAS SOPS 50228 HAS SOUS 46057 HAS SOUPS 46057 WITH SCORE 46107.228
AT ITER 6054 NEW BEST:: SOT 239380 SOS 50217 HAS SOPS 50217 HAS SOUS 46046 HAS SOUPS 46046 WITH SCORE 46096.217
AT ITER 6065 NEW BEST:: SOT 239357 SOS 50171 HAS SOPS 50171 HAS SOUS 45935 HAS SOUPS 45935 WITH SCORE 45985.171
AT ITER 6101 NEW BEST:: SOT 239357 SOS 50154 HAS SOPS 50154 HAS SOUS 45918 HAS SOUPS 45918 WITH SCORE 45968.154
AT ITER 6145 NEW BEST:: SOT 239321 SOS 50129 HAS SOPS 50129 HAS SOUS 45893 HAS SOUPS 45893 WITH SCORE 45943.129
AT ITER 6162 NEW BEST:: SOT 239322 SOS 50111 HAS SOPS 50111 HAS SOUS 45885 HAS SOUPS 45885 WITH SCORE 45935.111
AT ITER 6215 NEW BEST:: SOT 239322 SOS 50087 HAS SOPS 50087 HAS SOUS 45885 HAS SOUPS 45885 WITH SCORE 45935.087
AT ITER 6247 NEW BEST:: SOT 239320 SOS 50084 HAS SOPS 50084 HAS SOUS 45882 HAS SOUPS 45882 WITH SCORE 45932.084
AT ITER 6271 NEW BEST:: SOT 239320 SOS 50077 HAS SOPS 50077 HAS SOUS 45875 HAS SOUPS 45875 WITH SCORE 45925.077
AT ITER 6300 NEW BEST:: SOT 239318 SOS 50075 HAS SOPS 50075 HAS SOUS 45873 HAS SOUPS 45873 WITH SCORE 45923.075
AT ITER 6344 NEW BEST:: SOT 239287 SOS 50013 HAS SOPS 50013 HAS SOUS 45828 HAS SOUPS 45828 WITH SCORE 45878.013
AT ITER 6411 NEW BEST:: SOT 239287 SOS 50013 HAS SOPS 50013 HAS SOUS 45822 HAS SOUPS 45822 WITH SCORE 45872.013
AT ITER 6469 NEW BEST:: SOT 239252 SOS 49978 HAS SOPS 49978 HAS SOUS 45792 HAS SOUPS 45792 WITH SCORE 45841.978
AT ITER 6474 NEW BEST:: SOT 239252 SOS 49978 HAS SOPS 49978 HAS SOUS 45771 HAS SOUPS 45771 WITH SCORE 45820.978
AT ITER 6504 NEW BEST:: SOT 239252 SOS 49978 HAS SOPS 49978 HAS SOUS 45739 HAS SOUPS 45739 WITH SCORE 45788.978
AT ITER 6538 NEW BEST:: SOT 239252 SOS 49945 HAS SOPS 49945 HAS SOUS 45734 HAS SOUPS 45734 WITH SCORE 45783.945
AT ITER 6549 NEW BEST:: SOT 239239 SOS 49919 HAS SOPS 49919 HAS SOUS 45708 HAS SOUPS 45708 WITH SCORE 45757.919
AT ITER 6579 NEW BEST:: SOT 239239 SOS 49865 HAS SOPS 49865 HAS SOUS 45681 HAS SOUPS 45681 WITH SCORE 45730.865
AT ITER 6627 NEW BEST:: SOT 239239 SOS 49818 HAS SOPS 49818 HAS SOUS 45634 HAS SOUPS 45634 WITH SCORE 45683.818
AT ITER 6703 NEW BEST:: SOT 239246 SOS 49744 HAS SOPS 49744 HAS SOUS 45610 HAS SOUPS 45610 WITH SCORE 45659.744
AT ITER 6739 NEW BEST:: SOT 239246 SOS 49744 HAS SOPS 49744 HAS SOUS 45605 HAS SOUPS 45605 WITH SCORE 45654.744
AT ITER 6808 NEW BEST:: SOT 239246 SOS 49736 HAS SOPS 49736 HAS SOUS 45597 HAS SOUPS 45597 WITH SCORE 45646.736
AT ITER 6900 NEW BEST:: SOT 238969 SOS 49972 HAS SOPS 49972 HAS SOUS 45350 HAS SOUPS 45350 WITH SCORE 45399.972
AT ITER 6910 NEW BEST:: SOT 238976 SOS 49934 HAS SOPS 49934 HAS SOUS 45336 HAS SOUPS 45336 WITH SCORE 45385.934
AT ITER 6929 NEW BEST:: SOT 239003 SOS 49890 HAS SOPS 49890 HAS SOUS 45319 HAS SOUPS 45319 WITH SCORE 45368.89
AT ITER 6939 NEW BEST:: SOT 239012 SOS 49594 HAS SOPS 49594 HAS SOUS 45171 HAS SOUPS 45171 WITH SCORE 45220.594
AT ITER 6946 NEW BEST:: SOT 239012 SOS 49538 HAS SOPS 49538 HAS SOUS 45171 HAS SOUPS 45171 WITH SCORE 45220.538
AT ITER 6988 NEW BEST:: SOT 239048 SOS 49468 HAS SOPS 49468 HAS SOUS 45163 HAS SOUPS 45163 WITH SCORE 45212.468
AT ITER 6998 NEW BEST:: SOT 239032 SOS 49454 HAS SOPS 49454 HAS SOUS 45149 HAS SOUPS 45149 WITH SCORE 45198.454
AT ITER 7068 NEW BEST:: SOT 239025 SOS 49440 HAS SOPS 49440 HAS SOUS 45135 HAS SOUPS 45135 WITH SCORE 45184.44
AT ITER 7121 NEW BEST:: SOT 239025 SOS 49440 HAS SOPS 49440 HAS SOUS 45134 HAS SOUPS 45134 WITH SCORE 45183.44
AT ITER 7144 NEW BEST:: SOT 239080 SOS 49432 HAS SOPS 49432 HAS SOUS 45126 HAS SOUPS 45126 WITH SCORE 45175.432
AT ITER 7160 NEW BEST:: SOT 239024 SOS 49423 HAS SOPS 49423 HAS SOUS 45117 HAS SOUPS 45117 WITH SCORE 45166.423
AT ITER 7161 NEW BEST:: SOT 239040 SOS 49438 HAS SOPS 49438 HAS SOUS 45089 HAS SOUPS 45089 WITH SCORE 45138.438
AT ITER 7182 NEW BEST:: SOT 239033 SOS 49424 HAS SOPS 49424 HAS SOUS 45075 HAS SOUPS 45075 WITH SCORE 45124.424
AT ITER 7185 NEW BEST:: SOT 239033 SOS 49410 HAS SOPS 49410 HAS SOUS 45061 HAS SOUPS 45061 WITH SCORE 45110.41
AT ITER 7191 NEW BEST:: SOT 238954 SOS 49321 HAS SOPS 49321 HAS SOUS 44969 HAS SOUPS 44969 WITH SCORE 45018.321
AT ITER 7197 NEW BEST:: SOT 238953 SOS 49319 HAS SOPS 49319 HAS SOUS 44963 HAS SOUPS 44963 WITH SCORE 45012.319
AT ITER 7230 NEW BEST:: SOT 238952 SOS 49317 HAS SOPS 49317 HAS SOUS 44961 HAS SOUPS 44961 WITH SCORE 45010.317
AT ITER 7236 NEW BEST:: SOT 238914 SOS 49241 HAS SOPS 49241 HAS SOUS 44863 HAS SOUPS 44863 WITH SCORE 44912.241
AT ITER 7250 NEW BEST:: SOT 238915 SOS 49243 HAS SOPS 49243 HAS SOUS 44810 HAS SOUPS 44810 WITH SCORE 44859.243
AT ITER 7251 NEW BEST:: SOT 238916 SOS 49242 HAS SOPS 49242 HAS SOUS 44809 HAS SOUPS 44809 WITH SCORE 44858.242
AT ITER 7253 NEW BEST:: SOT 238917 SOS 49244 HAS SOPS 49244 HAS SOUS 44796 HAS SOUPS 44796 WITH SCORE 44845.244
AT ITER 7277 NEW BEST:: SOT 238912 SOS 49243 HAS SOPS 49243 HAS SOUS 44795 HAS SOUPS 44795 WITH SCORE 44844.243
AT ITER 7330 NEW BEST:: SOT 238950 SOS 49169 HAS SOPS 49169 HAS SOUS 44771 HAS SOUPS 44771 WITH SCORE 44820.169
AT ITER 7355 NEW BEST:: SOT 238949 SOS 49167 HAS SOPS 49167 HAS SOUS 44769 HAS SOUPS 44769 WITH SCORE 44818.167
AT ITER 7383 NEW BEST:: SOT 238946 SOS 49161 HAS SOPS 49161 HAS SOUS 44763 HAS SOUPS 44763 WITH SCORE 44812.161
AT ITER 7390 NEW BEST:: SOT 238943 SOS 49155 HAS SOPS 49155 HAS SOUS 44757 HAS SOUPS 44757 WITH SCORE 44806.155
AT ITER 7423 NEW BEST:: SOT 238943 SOS 49123 HAS SOPS 49123 HAS SOUS 44757 HAS SOUPS 44757 WITH SCORE 44806.123
AT ITER 7473 NEW BEST:: SOT 238939 SOS 49115 HAS SOPS 49115 HAS SOUS 44749 HAS SOUPS 44749 WITH SCORE 44798.115
AT ITER 7618 NEW BEST:: SOT 238937 SOS 49111 HAS SOPS 49111 HAS SOUS 44745 HAS SOUPS 44745 WITH SCORE 44794.111
AT ITER 7651 NEW BEST:: SOT 238935 SOS 49109 HAS SOPS 49109 HAS SOUS 44741 HAS SOUPS 44741 WITH SCORE 44790.109
AT ITER 7669 NEW BEST:: SOT 238920 SOS 49094 HAS SOPS 49094 HAS SOUS 44711 HAS SOUPS 44711 WITH SCORE 44760.094
AT ITER 7753 NEW BEST:: SOT 238887 SOS 49061 HAS SOPS 49061 HAS SOUS 44684 HAS SOUPS 44684 WITH SCORE 44733.061
AT ITER 7783 NEW BEST:: SOT 238853 SOS 48973 HAS SOPS 48973 HAS SOUS 44596 HAS SOUPS 44596 WITH SCORE 44644.973
AT ITER 7793 NEW BEST:: SOT 238843 SOS 48963 HAS SOPS 48963 HAS SOUS 44591 HAS SOUPS 44591 WITH SCORE 44639.963
AT ITER 7811 NEW BEST:: SOT 238843 SOS 48942 HAS SOPS 48942 HAS SOUS 44570 HAS SOUPS 44570 WITH SCORE 44618.942
AT ITER 7812 NEW BEST:: SOT 238853 SOS 48916 HAS SOPS 48916 HAS SOUS 44562 HAS SOUPS 44562 WITH SCORE 44610.916
AT ITER 7898 NEW BEST:: SOT 238849 SOS 48908 HAS SOPS 48908 HAS SOUS 44554 HAS SOUPS 44554 WITH SCORE 44602.908
AT ITER 7931 NEW BEST:: SOT 238797 SOS 48870 HAS SOPS 48870 HAS SOUS 44511 HAS SOUPS 44511 WITH SCORE 44559.87
AT ITER 7971 NEW BEST:: SOT 238792 SOS 48865 HAS SOPS 48865 HAS SOUS 44506 HAS SOUPS 44506 WITH SCORE 44554.865
AT ITER 7980 NEW BEST:: SOT 238792 SOS 48789 HAS SOPS 48789 HAS SOUS 44476 HAS SOUPS 44476 WITH SCORE 44524.789
AT ITER 7989 NEW BEST:: SOT 238792 SOS 48769 HAS SOPS 48769 HAS SOUS 44456 HAS SOUPS 44456 WITH SCORE 44504.769
AT ITER 8013 NEW BEST:: SOT 238789 SOS 48763 HAS SOPS 48763 HAS SOUS 44450 HAS SOUPS 44450 WITH SCORE 44498.763
AT ITER 8057 NEW BEST:: SOT 238789 SOS 48763 HAS SOPS 48763 HAS SOUS 44411 HAS SOUPS 44411 WITH SCORE 44459.763
AT ITER 8060 NEW BEST:: SOT 238772 SOS 48729 HAS SOPS 48729 HAS SOUS 44377 HAS SOUPS 44377 WITH SCORE 44425.729
AT ITER 8066 NEW BEST:: SOT 238762 SOS 48745 HAS SOPS 48745 HAS SOUS 44375 HAS SOUPS 44375 WITH SCORE 44423.745
AT ITER 8143 NEW BEST:: SOT 238747 SOS 48715 HAS SOPS 48715 HAS SOUS 44345 HAS SOUPS 44345 WITH SCORE 44393.715
AT ITER 8147 NEW BEST:: SOT 238733 SOS 48713 HAS SOPS 48713 HAS SOUS 44343 HAS SOUPS 44343 WITH SCORE 44391.713
AT ITER 8215 NEW BEST:: SOT 238733 SOS 48713 HAS SOPS 48713 HAS SOUS 44322 HAS SOUPS 44322 WITH SCORE 44370.713
AT ITER 8250 NEW BEST:: SOT 238731 SOS 48698 HAS SOPS 48698 HAS SOUS 44307 HAS SOUPS 44307 WITH SCORE 44355.698
AT ITER 8251 NEW BEST:: SOT 238787 SOS 48576 HAS SOPS 48576 HAS SOUS 44229 HAS SOUPS 44229 WITH SCORE 44277.576
AT ITER 8252 NEW BEST:: SOT 238781 SOS 48564 HAS SOPS 48564 HAS SOUS 44217 HAS SOUPS 44217 WITH SCORE 44265.564
AT ITER 8269 NEW BEST:: SOT 238765 SOS 48424 HAS SOPS 48424 HAS SOUS 44080 HAS SOUPS 44080 WITH SCORE 44128.424
AT ITER 8282 NEW BEST:: SOT 238750 SOS 48401 HAS SOPS 48401 HAS SOUS 44065 HAS SOUPS 44065 WITH SCORE 44113.401
AT ITER 8292 NEW BEST:: SOT 238769 SOS 48418 HAS SOPS 48418 HAS SOUS 44030 HAS SOUPS 44030 WITH SCORE 44078.418
AT ITER 8293 NEW BEST:: SOT 238763 SOS 48406 HAS SOPS 48406 HAS SOUS 44018 HAS SOUPS 44018 WITH SCORE 44066.406
AT ITER 8294 NEW BEST:: SOT 238763 SOS 48403 HAS SOPS 48403 HAS SOUS 44015 HAS SOUPS 44015 WITH SCORE 44063.403
AT ITER 8308 NEW BEST:: SOT 238763 SOS 48403 HAS SOPS 48403 HAS SOUS 43964 HAS SOUPS 43964 WITH SCORE 44012.403
AT ITER 8319 NEW BEST:: SOT 238749 SOS 48396 HAS SOPS 48396 HAS SOUS 43957 HAS SOUPS 43957 WITH SCORE 44005.396
AT ITER 8361 NEW BEST:: SOT 238782 SOS 48348 HAS SOPS 48348 HAS SOUS 43892 HAS SOUPS 43892 WITH SCORE 43940.348
AT ITER 8378 NEW BEST:: SOT 238780 SOS 48344 HAS SOPS 48344 HAS SOUS 43888 HAS SOUPS 43888 WITH SCORE 43936.344
AT ITER 8394 NEW BEST:: SOT 238779 SOS 48367 HAS SOPS 48367 HAS SOUS 43886 HAS SOUPS 43886 WITH SCORE 43934.367
AT ITER 8526 NEW BEST:: SOT 238765 SOS 48362 HAS SOPS 48362 HAS SOUS 43881 HAS SOUPS 43881 WITH SCORE 43929.362
AT ITER 8542 NEW BEST:: SOT 238765 SOS 48352 HAS SOPS 48352 HAS SOUS 43871 HAS SOUPS 43871 WITH SCORE 43919.352
AT ITER 8564 NEW BEST:: SOT 238765 SOS 48342 HAS SOPS 48342 HAS SOUS 43866 HAS SOUPS 43866 WITH SCORE 43914.342
AT ITER 8598 NEW BEST:: SOT 238765 SOS 48270 HAS SOPS 48270 HAS SOUS 43830 HAS SOUPS 43830 WITH SCORE 43878.27
AT ITER 8602 NEW BEST:: SOT 238763 SOS 48269 HAS SOPS 48269 HAS SOUS 43829 HAS SOUPS 43829 WITH SCORE 43877.269
AT ITER 8688 NEW BEST:: SOT 238749 SOS 48232 HAS SOPS 48232 HAS SOUS 43809 HAS SOUPS 43809 WITH SCORE 43857.232
AT ITER 8708 NEW BEST:: SOT 238741 SOS 48216 HAS SOPS 48216 HAS SOUS 43793 HAS SOUPS 43793 WITH SCORE 43841.216
AT ITER 8714 NEW BEST:: SOT 238727 SOS 48188 HAS SOPS 48188 HAS SOUS 43765 HAS SOUPS 43765 WITH SCORE 43813.188
AT ITER 8745 NEW BEST:: SOT 238714 SOS 48162 HAS SOPS 48162 HAS SOUS 43739 HAS SOUPS 43739 WITH SCORE 43787.162
AT ITER 8798 NEW BEST:: SOT 238569 SOS 48107 HAS SOPS 48107 HAS SOUS 43684 HAS SOUPS 43684 WITH SCORE 43732.107
AT ITER 8825 NEW BEST:: SOT 238498 SOS 48135 HAS SOPS 48135 HAS SOUS 43666 HAS SOUPS 43666 WITH SCORE 43714.135
AT ITER 8828 NEW BEST:: SOT 238476 SOS 48091 HAS SOPS 48091 HAS SOUS 43622 HAS SOUPS 43622 WITH SCORE 43670.091
AT ITER 8895 NEW BEST:: SOT 238491 SOS 48069 HAS SOPS 48069 HAS SOUS 43616 HAS SOUPS 43616 WITH SCORE 43664.069
AT ITER 8901 NEW BEST:: SOT 238491 SOS 48053 HAS SOPS 48053 HAS SOUS 43616 HAS SOUPS 43616 WITH SCORE 43664.053
AT ITER 8911 NEW BEST:: SOT 238487 SOS 48045 HAS SOPS 48045 HAS SOUS 43608 HAS SOUPS 43608 WITH SCORE 43656.045
AT ITER 8927 NEW BEST:: SOT 238487 SOS 48034 HAS SOPS 48034 HAS SOUS 43608 HAS SOUPS 43608 WITH SCORE 43656.034
AT ITER 8975 NEW BEST:: SOT 238487 SOS 48032 HAS SOPS 48032 HAS SOUS 43606 HAS SOUPS 43606 WITH SCORE 43654.032
AT ITER 8977 NEW BEST:: SOT 238479 SOS 48016 HAS SOPS 48016 HAS SOUS 43590 HAS SOUPS 43590 WITH SCORE 43638.016
AT ITER 9005 NEW BEST:: SOT 238479 SOS 48003 HAS SOPS 48003 HAS SOUS 43577 HAS SOUPS 43577 WITH SCORE 43625.003
AT ITER 9027 NEW BEST:: SOT 238482 SOS 47990 HAS SOPS 47990 HAS SOUS 43564 HAS SOUPS 43564 WITH SCORE 43611.99
AT ITER 9044 NEW BEST:: SOT 238469 SOS 47995 HAS SOPS 47995 HAS SOUS 43538 HAS SOUPS 43538 WITH SCORE 43585.995
AT ITER 9054 NEW BEST:: SOT 238459 SOS 47975 HAS SOPS 47975 HAS SOUS 43518 HAS SOUPS 43518 WITH SCORE 43565.975
AT ITER 9067 NEW BEST:: SOT 238451 SOS 47959 HAS SOPS 47959 HAS SOUS 43502 HAS SOUPS 43502 WITH SCORE 43549.959
AT ITER 9076 NEW BEST:: SOT 238449 SOS 47955 HAS SOPS 47955 HAS SOUS 43498 HAS SOUPS 43498 WITH SCORE 43545.955
AT ITER 9139 NEW BEST:: SOT 238391 SOS 47955 HAS SOPS 47955 HAS SOUS 43440 HAS SOUPS 43440 WITH SCORE 43487.955
AT ITER 9158 NEW BEST:: SOT 238369 SOS 47951 HAS SOPS 47951 HAS SOUS 43428 HAS SOUPS 43428 WITH SCORE 43475.951
AT ITER 9168 NEW BEST:: SOT 238371 SOS 47936 HAS SOPS 47936 HAS SOUS 43413 HAS SOUPS 43413 WITH SCORE 43460.936
AT ITER 9177 NEW BEST:: SOT 238351 SOS 47916 HAS SOPS 47916 HAS SOUS 43393 HAS SOUPS 43393 WITH SCORE 43440.916
AT ITER 9214 NEW BEST:: SOT 238341 SOS 47906 HAS SOPS 47906 HAS SOUS 43383 HAS SOUPS 43383 WITH SCORE 43430.906
AT ITER 9314 NEW BEST:: SOT 238346 SOS 47872 HAS SOPS 47872 HAS SOUS 43366 HAS SOUPS 43366 WITH SCORE 43413.872
AT ITER 9351 NEW BEST:: SOT 238346 SOS 47872 HAS SOPS 47872 HAS SOUS 43359 HAS SOUPS 43359 WITH SCORE 43406.872
AT ITER 9419 NEW BEST:: SOT 238346 SOS 47856 HAS SOPS 47856 HAS SOUS 43351 HAS SOUPS 43351 WITH SCORE 43398.856
AT ITER 9431 NEW BEST:: SOT 238345 SOS 47854 HAS SOPS 47854 HAS SOUS 43349 HAS SOUPS 43349 WITH SCORE 43396.854
AT ITER 9455 NEW BEST:: SOT 238342 SOS 47851 HAS SOPS 47851 HAS SOUS 43346 HAS SOUPS 43346 WITH SCORE 43393.851
AT ITER 9464 NEW BEST:: SOT 238342 SOS 47836 HAS SOPS 47836 HAS SOUS 43346 HAS SOUPS 43346 WITH SCORE 43393.836
AT ITER 9524 NEW BEST:: SOT 238346 SOS 47835 HAS SOPS 47835 HAS SOUS 43345 HAS SOUPS 43345 WITH SCORE 43392.835
AT ITER 9601 NEW BEST:: SOT 238382 SOS 47803 HAS SOPS 47803 HAS SOUS 43329 HAS SOUPS 43329 WITH SCORE 43376.803
AT ITER 9604 NEW BEST:: SOT 238370 SOS 47788 HAS SOPS 47788 HAS SOUS 43302 HAS SOUPS 43302 WITH SCORE 43349.788
AT ITER 9648 NEW BEST:: SOT 238320 SOS 47722 HAS SOPS 47722 HAS SOUS 43252 HAS SOUPS 43252 WITH SCORE 43299.722
AT ITER 9680 NEW BEST:: SOT 238319 SOS 47720 HAS SOPS 47720 HAS SOUS 43250 HAS SOUPS 43250 WITH SCORE 43297.72
AT ITER 9681 NEW BEST:: SOT 238304 SOS 47704 HAS SOPS 47704 HAS SOUS 43234 HAS SOUPS 43234 WITH SCORE 43281.704
AT ITER 9696 NEW BEST:: SOT 238300 SOS 47701 HAS SOPS 47701 HAS SOUS 43231 HAS SOUPS 43231 WITH SCORE 43278.701
AT ITER 9737 NEW BEST:: SOT 238252 SOS 47657 HAS SOPS 47657 HAS SOUS 43099 HAS SOUPS 43099 WITH SCORE 43146.657
AT ITER 9794 NEW BEST:: SOT 238248 SOS 47649 HAS SOPS 47649 HAS SOUS 43095 HAS SOUPS 43095 WITH SCORE 43142.649
AT ITER 9802 NEW BEST:: SOT 238235 SOS 47647 HAS SOPS 47647 HAS SOUS 43093 HAS SOUPS 43093 WITH SCORE 43140.647
AT ITER 9806 NEW BEST:: SOT 238211 SOS 47599 HAS SOPS 47599 HAS SOUS 43048 HAS SOUPS 43048 WITH SCORE 43095.599
AT ITER 9827 NEW BEST:: SOT 238211 SOS 47599 HAS SOPS 47599 HAS SOUS 43045 HAS SOUPS 43045 WITH SCORE 43092.599
AT ITER 9847 NEW BEST:: SOT 238196 SOS 47569 HAS SOPS 47569 HAS SOUS 43014 HAS SOUPS 43014 WITH SCORE 43061.569
AT ITER 9896 NEW BEST:: SOT 238191 SOS 47559 HAS SOPS 47559 HAS SOUS 43004 HAS SOUPS 43004 WITH SCORE 43051.559
AT ITER 9974 NEW BEST:: SOT 238247 SOS 47485 HAS SOPS 47485 HAS SOUS 42967 HAS SOUPS 42967 WITH SCORE 43014.485
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 14256484 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16154212 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="GPUForwardProgress-PT-32b"
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 GPUForwardProgress-PT-32b, 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 r195-smll-167840342000128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GPUForwardProgress-PT-32b.tgz
mv GPUForwardProgress-PT-32b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;