fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r011-oct2-167813600200464
Last Updated
May 14, 2023

About the Execution of Smart+red for AutoFlight-PT-06b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
13222.987 3600000.00 3656501.00 97.20 [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.r011-oct2-167813600200464.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 smartxred
Input is AutoFlight-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600200464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 18:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 18:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 18:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 18:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 18:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 25 18:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 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 134K 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 1678735907886

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutoFlight-PT-06b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:31:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:31:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:31:50] [INFO ] Load time of PNML (sax parser for PT used): 84 ms
[2023-03-13 19:31:50] [INFO ] Transformed 574 places.
[2023-03-13 19:31:50] [INFO ] Transformed 572 transitions.
[2023-03-13 19:31:50] [INFO ] Found NUPN structural information;
[2023-03-13 19:31:50] [INFO ] Parsed PT model containing 574 places and 572 transitions and 1334 arcs in 206 ms.
[2023-03-13 19:31:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 574 places, 572 transitions and 1334 arcs took 7 ms.
Total runtime 271 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 06b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 574 places, 572 transitions, 1334 arcs.
AT ITER 0 NEW BEST:: SOT 177901 SOS 33567 HAS SOPS 33567 HAS SOUS 30750 HAS SOUPS 30750 WITH SCORE 30783.567
AT ITER 13 NEW BEST:: SOT 177900 SOS 33566 HAS SOPS 33566 HAS SOUS 30749 HAS SOUPS 30749 WITH SCORE 30782.566
AT ITER 19 NEW BEST:: SOT 177892 SOS 33550 HAS SOPS 33550 HAS SOUS 30704 HAS SOUPS 30704 WITH SCORE 30737.55
AT ITER 27 NEW BEST:: SOT 177900 SOS 33566 HAS SOPS 33566 HAS SOUS 30677 HAS SOUPS 30677 WITH SCORE 30710.566
AT ITER 35 NEW BEST:: SOT 177868 SOS 33482 HAS SOPS 33482 HAS SOUS 30559 HAS SOUPS 30559 WITH SCORE 30592.482
AT ITER 49 NEW BEST:: SOT 177868 SOS 33482 HAS SOPS 33482 HAS SOUS 30541 HAS SOUPS 30541 WITH SCORE 30574.482
AT ITER 65 NEW BEST:: SOT 177868 SOS 33481 HAS SOPS 33481 HAS SOUS 30541 HAS SOUPS 30541 WITH SCORE 30574.481
AT ITER 67 NEW BEST:: SOT 177867 SOS 33471 HAS SOPS 33471 HAS SOUS 30531 HAS SOUPS 30531 WITH SCORE 30564.471
AT ITER 76 NEW BEST:: SOT 177867 SOS 33439 HAS SOPS 33439 HAS SOUS 30499 HAS SOUPS 30499 WITH SCORE 30532.439
AT ITER 85 NEW BEST:: SOT 177866 SOS 33440 HAS SOPS 33440 HAS SOUS 30498 HAS SOUPS 30498 WITH SCORE 30531.44
AT ITER 88 NEW BEST:: SOT 177865 SOS 33422 HAS SOPS 33422 HAS SOUS 30480 HAS SOUPS 30480 WITH SCORE 30513.422
AT ITER 107 NEW BEST:: SOT 177865 SOS 33393 HAS SOPS 33393 HAS SOUS 30451 HAS SOUPS 30451 WITH SCORE 30484.393
AT ITER 114 NEW BEST:: SOT 177849 SOS 33255 HAS SOPS 33255 HAS SOUS 30409 HAS SOUPS 30409 WITH SCORE 30442.255
AT ITER 130 NEW BEST:: SOT 177817 SOS 33191 HAS SOPS 33191 HAS SOUS 30362 HAS SOUPS 30362 WITH SCORE 30395.191
AT ITER 140 NEW BEST:: SOT 177809 SOS 33183 HAS SOPS 33183 HAS SOUS 30362 HAS SOUPS 30362 WITH SCORE 30395.183
AT ITER 151 NEW BEST:: SOT 177809 SOS 33155 HAS SOPS 33155 HAS SOUS 30334 HAS SOUPS 30334 WITH SCORE 30367.155
AT ITER 164 NEW BEST:: SOT 177793 SOS 33065 HAS SOPS 33065 HAS SOUS 30290 HAS SOUPS 30290 WITH SCORE 30323.065
AT ITER 166 NEW BEST:: SOT 177679 SOS 32990 HAS SOPS 32990 HAS SOUS 30215 HAS SOUPS 30215 WITH SCORE 30247.99
AT ITER 173 NEW BEST:: SOT 177643 SOS 32918 HAS SOPS 32918 HAS SOUS 30143 HAS SOUPS 30143 WITH SCORE 30175.918
AT ITER 192 NEW BEST:: SOT 177516 SOS 32664 HAS SOPS 32664 HAS SOUS 30000 HAS SOUPS 30000 WITH SCORE 30032.664
AT ITER 204 NEW BEST:: SOT 177516 SOS 32646 HAS SOPS 32646 HAS SOUS 29996 HAS SOUPS 29996 WITH SCORE 30028.646
AT ITER 249 NEW BEST:: SOT 177511 SOS 32643 HAS SOPS 32643 HAS SOUS 29993 HAS SOUPS 29993 WITH SCORE 30025.643
AT ITER 252 NEW BEST:: SOT 177452 SOS 32525 HAS SOPS 32525 HAS SOUS 29875 HAS SOUPS 29875 WITH SCORE 29907.525
AT ITER 290 NEW BEST:: SOT 177441 SOS 32519 HAS SOPS 32519 HAS SOUS 29869 HAS SOUPS 29869 WITH SCORE 29901.519
AT ITER 293 NEW BEST:: SOT 177441 SOS 32503 HAS SOPS 32503 HAS SOUS 29868 HAS SOUPS 29868 WITH SCORE 29900.503
AT ITER 319 NEW BEST:: SOT 177441 SOS 32503 HAS SOPS 32503 HAS SOUS 29867 HAS SOUPS 29867 WITH SCORE 29899.503
AT ITER 335 NEW BEST:: SOT 177434 SOS 32489 HAS SOPS 32489 HAS SOUS 29858 HAS SOUPS 29858 WITH SCORE 29890.489
AT ITER 355 NEW BEST:: SOT 177434 SOS 32471 HAS SOPS 32471 HAS SOUS 29840 HAS SOUPS 29840 WITH SCORE 29872.471
AT ITER 367 NEW BEST:: SOT 177406 SOS 32426 HAS SOPS 32426 HAS SOUS 29795 HAS SOUPS 29795 WITH SCORE 29827.426
AT ITER 390 NEW BEST:: SOT 177377 SOS 32360 HAS SOPS 32360 HAS SOUS 29739 HAS SOUPS 29739 WITH SCORE 29771.36
AT ITER 396 NEW BEST:: SOT 177377 SOS 32344 HAS SOPS 32344 HAS SOUS 29723 HAS SOUPS 29723 WITH SCORE 29755.344
AT ITER 401 NEW BEST:: SOT 177377 SOS 32294 HAS SOPS 32294 HAS SOUS 29673 HAS SOUPS 29673 WITH SCORE 29705.294
AT ITER 435 NEW BEST:: SOT 177376 SOS 32292 HAS SOPS 32292 HAS SOUS 29671 HAS SOUPS 29671 WITH SCORE 29703.292
AT ITER 440 NEW BEST:: SOT 177353 SOS 32246 HAS SOPS 32246 HAS SOUS 29645 HAS SOUPS 29645 WITH SCORE 29677.246
AT ITER 490 NEW BEST:: SOT 177348 SOS 32241 HAS SOPS 32241 HAS SOUS 29640 HAS SOUPS 29640 WITH SCORE 29672.241
AT ITER 510 NEW BEST:: SOT 177348 SOS 32225 HAS SOPS 32225 HAS SOUS 29640 HAS SOUPS 29640 WITH SCORE 29672.225
AT ITER 529 NEW BEST:: SOT 177348 SOS 32194 HAS SOPS 32194 HAS SOUS 29609 HAS SOUPS 29609 WITH SCORE 29641.194
AT ITER 534 NEW BEST:: SOT 177349 SOS 32206 HAS SOPS 32206 HAS SOUS 29586 HAS SOUPS 29586 WITH SCORE 29618.206
AT ITER 539 NEW BEST:: SOT 177337 SOS 32182 HAS SOPS 32182 HAS SOUS 29574 HAS SOUPS 29574 WITH SCORE 29606.182
AT ITER 556 NEW BEST:: SOT 177337 SOS 32176 HAS SOPS 32176 HAS SOUS 29568 HAS SOUPS 29568 WITH SCORE 29600.176
AT ITER 575 NEW BEST:: SOT 177300 SOS 32102 HAS SOPS 32102 HAS SOUS 29494 HAS SOUPS 29494 WITH SCORE 29526.102
AT ITER 595 NEW BEST:: SOT 177259 SOS 32018 HAS SOPS 32018 HAS SOUS 29454 HAS SOUPS 29454 WITH SCORE 29486.018
AT ITER 598 NEW BEST:: SOT 177267 SOS 32026 HAS SOPS 32026 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29466.026
AT ITER 620 NEW BEST:: SOT 177252 SOS 32020 HAS SOPS 32020 HAS SOUS 29428 HAS SOUPS 29428 WITH SCORE 29460.02
AT ITER 621 NEW BEST:: SOT 177252 SOS 32005 HAS SOPS 32005 HAS SOUS 29413 HAS SOUPS 29413 WITH SCORE 29445.005
AT ITER 657 NEW BEST:: SOT 177232 SOS 31998 HAS SOPS 31998 HAS SOUS 29393 HAS SOUPS 29393 WITH SCORE 29424.998
AT ITER 701 NEW BEST:: SOT 177225 SOS 32058 HAS SOPS 32058 HAS SOUS 29376 HAS SOUPS 29376 WITH SCORE 29408.058
AT ITER 726 NEW BEST:: SOT 177232 SOS 32003 HAS SOPS 32003 HAS SOUS 29321 HAS SOUPS 29321 WITH SCORE 29353.003
AT ITER 744 NEW BEST:: SOT 177218 SOS 31975 HAS SOPS 31975 HAS SOUS 29308 HAS SOUPS 29308 WITH SCORE 29339.975
AT ITER 759 NEW BEST:: SOT 177190 SOS 31964 HAS SOPS 31964 HAS SOUS 29289 HAS SOUPS 29289 WITH SCORE 29320.964
AT ITER 765 NEW BEST:: SOT 177188 SOS 31960 HAS SOPS 31960 HAS SOUS 29285 HAS SOUPS 29285 WITH SCORE 29316.96
AT ITER 782 NEW BEST:: SOT 177172 SOS 31928 HAS SOPS 31928 HAS SOUS 29208 HAS SOUPS 29208 WITH SCORE 29239.928
AT ITER 784 NEW BEST:: SOT 177150 SOS 31884 HAS SOPS 31884 HAS SOUS 29186 HAS SOUPS 29186 WITH SCORE 29217.884
AT ITER 808 NEW BEST:: SOT 177048 SOS 31752 HAS SOPS 31752 HAS SOUS 29051 HAS SOUPS 29051 WITH SCORE 29082.752
AT ITER 883 NEW BEST:: SOT 177048 SOS 31752 HAS SOPS 31752 HAS SOUS 29032 HAS SOUPS 29032 WITH SCORE 29063.752
AT ITER 908 NEW BEST:: SOT 177033 SOS 31713 HAS SOPS 31713 HAS SOUS 29003 HAS SOUPS 29003 WITH SCORE 29034.713
AT ITER 911 NEW BEST:: SOT 176999 SOS 31689 HAS SOPS 31689 HAS SOUS 28978 HAS SOUPS 28978 WITH SCORE 29009.689
AT ITER 958 NEW BEST:: SOT 177003 SOS 31693 HAS SOPS 31693 HAS SOUS 28977 HAS SOUPS 28977 WITH SCORE 29008.693
AT ITER 973 NEW BEST:: SOT 176963 SOS 31613 HAS SOPS 31613 HAS SOUS 28897 HAS SOUPS 28897 WITH SCORE 28928.613
AT ITER 1000 NEW BEST:: SOT 176984 SOS 31612 HAS SOPS 31612 HAS SOUS 28896 HAS SOUPS 28896 WITH SCORE 28927.612
AT ITER 1013 NEW BEST:: SOT 176984 SOS 31584 HAS SOPS 31584 HAS SOUS 28868 HAS SOUPS 28868 WITH SCORE 28899.584
AT ITER 1058 NEW BEST:: SOT 176983 SOS 31582 HAS SOPS 31582 HAS SOUS 28866 HAS SOUPS 28866 WITH SCORE 28897.582
AT ITER 1091 NEW BEST:: SOT 177006 SOS 31571 HAS SOPS 31571 HAS SOUS 28855 HAS SOUPS 28855 WITH SCORE 28886.571
AT ITER 1125 NEW BEST:: SOT 176990 SOS 31566 HAS SOPS 31566 HAS SOUS 28855 HAS SOUPS 28855 WITH SCORE 28886.566
AT ITER 1126 NEW BEST:: SOT 176990 SOS 31586 HAS SOPS 31586 HAS SOUS 28839 HAS SOUPS 28839 WITH SCORE 28870.586
AT ITER 1139 NEW BEST:: SOT 177001 SOS 31566 HAS SOPS 31566 HAS SOUS 28819 HAS SOUPS 28819 WITH SCORE 28850.566
AT ITER 1154 NEW BEST:: SOT 177001 SOS 31546 HAS SOPS 31546 HAS SOUS 28799 HAS SOUPS 28799 WITH SCORE 28830.546
AT ITER 1178 NEW BEST:: SOT 176979 SOS 31502 HAS SOPS 31502 HAS SOUS 28746 HAS SOUPS 28746 WITH SCORE 28777.502
AT ITER 1214 NEW BEST:: SOT 176935 SOS 31458 HAS SOPS 31458 HAS SOUS 28658 HAS SOUPS 28658 WITH SCORE 28689.458
AT ITER 1247 NEW BEST:: SOT 176921 SOS 31478 HAS SOPS 31478 HAS SOUS 28644 HAS SOUPS 28644 WITH SCORE 28675.478
AT ITER 1256 NEW BEST:: SOT 176901 SOS 31474 HAS SOPS 31474 HAS SOUS 28624 HAS SOUPS 28624 WITH SCORE 28655.474
AT ITER 1269 NEW BEST:: SOT 176922 SOS 31474 HAS SOPS 31474 HAS SOUS 28603 HAS SOUPS 28603 WITH SCORE 28634.474
AT ITER 1298 NEW BEST:: SOT 176922 SOS 31436 HAS SOPS 31436 HAS SOUS 28565 HAS SOUPS 28565 WITH SCORE 28596.436
AT ITER 1301 NEW BEST:: SOT 176915 SOS 31423 HAS SOPS 31423 HAS SOUS 28555 HAS SOUPS 28555 WITH SCORE 28586.423
AT ITER 1345 NEW BEST:: SOT 176884 SOS 31392 HAS SOPS 31392 HAS SOUS 28524 HAS SOUPS 28524 WITH SCORE 28555.392
AT ITER 1370 NEW BEST:: SOT 176868 SOS 31375 HAS SOPS 31375 HAS SOUS 28523 HAS SOUPS 28523 WITH SCORE 28554.375
AT ITER 1376 NEW BEST:: SOT 176868 SOS 31375 HAS SOPS 31375 HAS SOUS 28484 HAS SOUPS 28484 WITH SCORE 28515.375
AT ITER 1386 NEW BEST:: SOT 176867 SOS 31373 HAS SOPS 31373 HAS SOUS 28482 HAS SOUPS 28482 WITH SCORE 28513.373
AT ITER 1392 NEW BEST:: SOT 176840 SOS 31346 HAS SOPS 31346 HAS SOUS 28482 HAS SOUPS 28482 WITH SCORE 28513.346
AT ITER 1393 NEW BEST:: SOT 176785 SOS 31214 HAS SOPS 31214 HAS SOUS 28350 HAS SOUPS 28350 WITH SCORE 28381.214
AT ITER 1416 NEW BEST:: SOT 176780 SOS 31204 HAS SOPS 31204 HAS SOUS 28340 HAS SOUPS 28340 WITH SCORE 28371.204
AT ITER 1434 NEW BEST:: SOT 176740 SOS 31175 HAS SOPS 31175 HAS SOUS 28302 HAS SOUPS 28302 WITH SCORE 28333.175
AT ITER 1435 NEW BEST:: SOT 176740 SOS 31175 HAS SOPS 31175 HAS SOUS 28301 HAS SOUPS 28301 WITH SCORE 28332.175
AT ITER 1444 NEW BEST:: SOT 176760 SOS 31161 HAS SOPS 31161 HAS SOUS 28300 HAS SOUPS 28300 WITH SCORE 28331.161
AT ITER 1473 NEW BEST:: SOT 176792 SOS 31225 HAS SOPS 31225 HAS SOUS 28293 HAS SOUPS 28293 WITH SCORE 28324.225
AT ITER 1482 NEW BEST:: SOT 176762 SOS 31018 HAS SOPS 31018 HAS SOUS 28216 HAS SOUPS 28216 WITH SCORE 28247.018
AT ITER 1484 NEW BEST:: SOT 176754 SOS 30994 HAS SOPS 30994 HAS SOUS 28192 HAS SOUPS 28192 WITH SCORE 28222.994
AT ITER 1526 NEW BEST:: SOT 176754 SOS 30986 HAS SOPS 30986 HAS SOUS 28184 HAS SOUPS 28184 WITH SCORE 28214.986
AT ITER 1534 NEW BEST:: SOT 176739 SOS 30961 HAS SOPS 30961 HAS SOUS 28159 HAS SOUPS 28159 WITH SCORE 28189.961
AT ITER 1551 NEW BEST:: SOT 176680 SOS 30845 HAS SOPS 30845 HAS SOUS 28046 HAS SOUPS 28046 WITH SCORE 28076.845
AT ITER 1562 NEW BEST:: SOT 176663 SOS 30811 HAS SOPS 30811 HAS SOUS 28012 HAS SOUPS 28012 WITH SCORE 28042.811
AT ITER 1599 NEW BEST:: SOT 176663 SOS 30807 HAS SOPS 30807 HAS SOUS 28008 HAS SOUPS 28008 WITH SCORE 28038.807
AT ITER 1647 NEW BEST:: SOT 176660 SOS 30801 HAS SOPS 30801 HAS SOUS 28002 HAS SOUPS 28002 WITH SCORE 28032.801
AT ITER 1669 NEW BEST:: SOT 176604 SOS 30717 HAS SOPS 30717 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 27948.717
AT ITER 1701 NEW BEST:: SOT 176554 SOS 30675 HAS SOPS 30675 HAS SOUS 27876 HAS SOUPS 27876 WITH SCORE 27906.675
AT ITER 1703 NEW BEST:: SOT 176554 SOS 30668 HAS SOPS 30668 HAS SOUS 27869 HAS SOUPS 27869 WITH SCORE 27899.668
AT ITER 1724 NEW BEST:: SOT 176551 SOS 30650 HAS SOPS 30650 HAS SOUS 27863 HAS SOUPS 27863 WITH SCORE 27893.65
AT ITER 1728 NEW BEST:: SOT 176551 SOS 30647 HAS SOPS 30647 HAS SOUS 27860 HAS SOUPS 27860 WITH SCORE 27890.647
AT ITER 1746 NEW BEST:: SOT 176551 SOS 30587 HAS SOPS 30587 HAS SOUS 27828 HAS SOUPS 27828 WITH SCORE 27858.587
AT ITER 1774 NEW BEST:: SOT 176588 SOS 30566 HAS SOPS 30566 HAS SOUS 27818 HAS SOUPS 27818 WITH SCORE 27848.566
AT ITER 1797 NEW BEST:: SOT 176551 SOS 30529 HAS SOPS 30529 HAS SOUS 27781 HAS SOUPS 27781 WITH SCORE 27811.529
AT ITER 1894 NEW BEST:: SOT 176550 SOS 30523 HAS SOPS 30523 HAS SOUS 27774 HAS SOUPS 27774 WITH SCORE 27804.523
AT ITER 1908 NEW BEST:: SOT 176550 SOS 30470 HAS SOPS 30470 HAS SOUS 27771 HAS SOUPS 27771 WITH SCORE 27801.47
AT ITER 1918 NEW BEST:: SOT 176537 SOS 30444 HAS SOPS 30444 HAS SOUS 27745 HAS SOUPS 27745 WITH SCORE 27775.444
AT ITER 1980 NEW BEST:: SOT 176531 SOS 30432 HAS SOPS 30432 HAS SOUS 27733 HAS SOUPS 27733 WITH SCORE 27763.432
AT ITER 1997 NEW BEST:: SOT 176514 SOS 30431 HAS SOPS 30431 HAS SOUS 27732 HAS SOUPS 27732 WITH SCORE 27762.431
AT ITER 2006 NEW BEST:: SOT 176466 SOS 30335 HAS SOPS 30335 HAS SOUS 27636 HAS SOUPS 27636 WITH SCORE 27666.335
AT ITER 2014 NEW BEST:: SOT 176405 SOS 30195 HAS SOPS 30195 HAS SOUS 27568 HAS SOUPS 27568 WITH SCORE 27598.195
AT ITER 2055 NEW BEST:: SOT 176382 SOS 30185 HAS SOPS 30185 HAS SOUS 27545 HAS SOUPS 27545 WITH SCORE 27575.185
AT ITER 2098 NEW BEST:: SOT 176380 SOS 30183 HAS SOPS 30183 HAS SOUS 27543 HAS SOUPS 27543 WITH SCORE 27573.183
AT ITER 2099 NEW BEST:: SOT 176368 SOS 30159 HAS SOPS 30159 HAS SOUS 27531 HAS SOUPS 27531 WITH SCORE 27561.159
AT ITER 2101 NEW BEST:: SOT 176368 SOS 30154 HAS SOPS 30154 HAS SOUS 27526 HAS SOUPS 27526 WITH SCORE 27556.154
AT ITER 2110 NEW BEST:: SOT 176368 SOS 30137 HAS SOPS 30137 HAS SOUS 27509 HAS SOUPS 27509 WITH SCORE 27539.137
AT ITER 2113 NEW BEST:: SOT 176322 SOS 30045 HAS SOPS 30045 HAS SOUS 27421 HAS SOUPS 27421 WITH SCORE 27451.045
AT ITER 2115 NEW BEST:: SOT 176318 SOS 30037 HAS SOPS 30037 HAS SOUS 27413 HAS SOUPS 27413 WITH SCORE 27443.037
AT ITER 2123 NEW BEST:: SOT 176318 SOS 30020 HAS SOPS 30020 HAS SOUS 27347 HAS SOUPS 27347 WITH SCORE 27377.02
AT ITER 2145 NEW BEST:: SOT 176351 SOS 30001 HAS SOPS 30001 HAS SOUS 27295 HAS SOUPS 27295 WITH SCORE 27325.001
AT ITER 2214 NEW BEST:: SOT 176351 SOS 29987 HAS SOPS 29987 HAS SOUS 27295 HAS SOUPS 27295 WITH SCORE 27324.987
AT ITER 2308 NEW BEST:: SOT 176323 SOS 29959 HAS SOPS 29959 HAS SOUS 27267 HAS SOUPS 27267 WITH SCORE 27296.959
AT ITER 2358 NEW BEST:: SOT 176310 SOS 29951 HAS SOPS 29951 HAS SOUS 27254 HAS SOUPS 27254 WITH SCORE 27283.951
AT ITER 2392 NEW BEST:: SOT 176309 SOS 29927 HAS SOPS 29927 HAS SOUS 27230 HAS SOUPS 27230 WITH SCORE 27259.927
AT ITER 2401 NEW BEST:: SOT 176276 SOS 29917 HAS SOPS 29917 HAS SOUS 27197 HAS SOUPS 27197 WITH SCORE 27226.917
AT ITER 2435 NEW BEST:: SOT 176276 SOS 29924 HAS SOPS 29924 HAS SOUS 27183 HAS SOUPS 27183 WITH SCORE 27212.924
AT ITER 2449 NEW BEST:: SOT 176271 SOS 29914 HAS SOPS 29914 HAS SOUS 27178 HAS SOUPS 27178 WITH SCORE 27207.914
AT ITER 2471 NEW BEST:: SOT 176271 SOS 29912 HAS SOPS 29912 HAS SOUS 27175 HAS SOUPS 27175 WITH SCORE 27204.912
AT ITER 2539 NEW BEST:: SOT 176271 SOS 29904 HAS SOPS 29904 HAS SOUS 27167 HAS SOUPS 27167 WITH SCORE 27196.904
AT ITER 2585 NEW BEST:: SOT 176271 SOS 29901 HAS SOPS 29901 HAS SOUS 27164 HAS SOUPS 27164 WITH SCORE 27193.901
AT ITER 2605 NEW BEST:: SOT 176247 SOS 29851 HAS SOPS 29851 HAS SOUS 27117 HAS SOUPS 27117 WITH SCORE 27146.851
AT ITER 2607 NEW BEST:: SOT 176247 SOS 29836 HAS SOPS 29836 HAS SOUS 27112 HAS SOUPS 27112 WITH SCORE 27141.836
AT ITER 2612 NEW BEST:: SOT 176247 SOS 29836 HAS SOPS 29836 HAS SOUS 27105 HAS SOUPS 27105 WITH SCORE 27134.836
AT ITER 2639 NEW BEST:: SOT 176247 SOS 29821 HAS SOPS 29821 HAS SOUS 27090 HAS SOUPS 27090 WITH SCORE 27119.821
AT ITER 2678 NEW BEST:: SOT 176239 SOS 29820 HAS SOPS 29820 HAS SOUS 27089 HAS SOUPS 27089 WITH SCORE 27118.82
AT ITER 2681 NEW BEST:: SOT 176205 SOS 29817 HAS SOPS 29817 HAS SOUS 27086 HAS SOUPS 27086 WITH SCORE 27115.817
AT ITER 2706 NEW BEST:: SOT 176200 SOS 29812 HAS SOPS 29812 HAS SOUS 27086 HAS SOUPS 27086 WITH SCORE 27115.812
AT ITER 2755 NEW BEST:: SOT 176200 SOS 29814 HAS SOPS 29814 HAS SOUS 27054 HAS SOUPS 27054 WITH SCORE 27083.814
AT ITER 2767 NEW BEST:: SOT 176149 SOS 29779 HAS SOPS 29779 HAS SOUS 27045 HAS SOUPS 27045 WITH SCORE 27074.779
AT ITER 2769 NEW BEST:: SOT 176165 SOS 29761 HAS SOPS 29761 HAS SOUS 27042 HAS SOUPS 27042 WITH SCORE 27071.761
AT ITER 2785 NEW BEST:: SOT 176167 SOS 29748 HAS SOPS 29748 HAS SOUS 27029 HAS SOUPS 27029 WITH SCORE 27058.748
AT ITER 2806 NEW BEST:: SOT 176161 SOS 29730 HAS SOPS 29730 HAS SOUS 27023 HAS SOUPS 27023 WITH SCORE 27052.73
AT ITER 2826 NEW BEST:: SOT 176165 SOS 29701 HAS SOPS 29701 HAS SOUS 27021 HAS SOUPS 27021 WITH SCORE 27050.701
AT ITER 2863 NEW BEST:: SOT 176137 SOS 29693 HAS SOPS 29693 HAS SOUS 26982 HAS SOUPS 26982 WITH SCORE 27011.693
AT ITER 2865 NEW BEST:: SOT 176095 SOS 29661 HAS SOPS 29661 HAS SOUS 26977 HAS SOUPS 26977 WITH SCORE 27006.661
AT ITER 2866 NEW BEST:: SOT 176095 SOS 29635 HAS SOPS 29635 HAS SOUS 26951 HAS SOUPS 26951 WITH SCORE 26980.635
AT ITER 2871 NEW BEST:: SOT 176095 SOS 29574 HAS SOPS 29574 HAS SOUS 26890 HAS SOUPS 26890 WITH SCORE 26919.574
AT ITER 2895 NEW BEST:: SOT 176095 SOS 29556 HAS SOPS 29556 HAS SOUS 26872 HAS SOUPS 26872 WITH SCORE 26901.556
AT ITER 2914 NEW BEST:: SOT 176095 SOS 29545 HAS SOPS 29545 HAS SOUS 26872 HAS SOUPS 26872 WITH SCORE 26901.545
AT ITER 2923 NEW BEST:: SOT 176073 SOS 29501 HAS SOPS 29501 HAS SOUS 26828 HAS SOUPS 26828 WITH SCORE 26857.501
AT ITER 2938 NEW BEST:: SOT 176112 SOS 29482 HAS SOPS 29482 HAS SOUS 26809 HAS SOUPS 26809 WITH SCORE 26838.482
AT ITER 2940 NEW BEST:: SOT 176164 SOS 29490 HAS SOPS 29490 HAS SOUS 26732 HAS SOUPS 26732 WITH SCORE 26761.49
AT ITER 2989 NEW BEST:: SOT 176163 SOS 29488 HAS SOPS 29488 HAS SOUS 26730 HAS SOUPS 26730 WITH SCORE 26759.488
AT ITER 3024 NEW BEST:: SOT 176127 SOS 29534 HAS SOPS 29534 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 26713.534
AT ITER 3041 NEW BEST:: SOT 176127 SOS 29520 HAS SOPS 29520 HAS SOUS 26670 HAS SOUPS 26670 WITH SCORE 26699.52
AT ITER 3062 NEW BEST:: SOT 176144 SOS 29407 HAS SOPS 29407 HAS SOUS 26661 HAS SOUPS 26661 WITH SCORE 26690.407
AT ITER 3077 NEW BEST:: SOT 176145 SOS 29436 HAS SOPS 29436 HAS SOUS 26637 HAS SOUPS 26637 WITH SCORE 26666.436
AT ITER 3082 NEW BEST:: SOT 176122 SOS 29348 HAS SOPS 29348 HAS SOUS 26592 HAS SOUPS 26592 WITH SCORE 26621.348
AT ITER 3094 NEW BEST:: SOT 176102 SOS 29308 HAS SOPS 29308 HAS SOUS 26574 HAS SOUPS 26574 WITH SCORE 26603.308
AT ITER 3107 NEW BEST:: SOT 176102 SOS 29307 HAS SOPS 29307 HAS SOUS 26573 HAS SOUPS 26573 WITH SCORE 26602.307
AT ITER 3177 NEW BEST:: SOT 176094 SOS 29291 HAS SOPS 29291 HAS SOUS 26557 HAS SOUPS 26557 WITH SCORE 26586.291
AT ITER 3219 NEW BEST:: SOT 176094 SOS 29291 HAS SOPS 29291 HAS SOUS 26554 HAS SOUPS 26554 WITH SCORE 26583.291
AT ITER 3253 NEW BEST:: SOT 176094 SOS 29187 HAS SOPS 29187 HAS SOUS 26554 HAS SOUPS 26554 WITH SCORE 26583.187
AT ITER 3280 NEW BEST:: SOT 176077 SOS 29119 HAS SOPS 29119 HAS SOUS 26520 HAS SOUPS 26520 WITH SCORE 26549.119
AT ITER 3294 NEW BEST:: SOT 176066 SOS 29108 HAS SOPS 29108 HAS SOUS 26509 HAS SOUPS 26509 WITH SCORE 26538.108
AT ITER 3296 NEW BEST:: SOT 176066 SOS 29103 HAS SOPS 29103 HAS SOUS 26504 HAS SOUPS 26504 WITH SCORE 26533.103
AT ITER 3297 NEW BEST:: SOT 176037 SOS 29074 HAS SOPS 29074 HAS SOUS 26451 HAS SOUPS 26451 WITH SCORE 26480.074
AT ITER 3299 NEW BEST:: SOT 176058 SOS 29038 HAS SOPS 29038 HAS SOUS 26424 HAS SOUPS 26424 WITH SCORE 26453.038
AT ITER 3301 NEW BEST:: SOT 176055 SOS 29035 HAS SOPS 29035 HAS SOUS 26421 HAS SOUPS 26421 WITH SCORE 26450.035
AT ITER 3331 NEW BEST:: SOT 176061 SOS 29034 HAS SOPS 29034 HAS SOUS 26420 HAS SOUPS 26420 WITH SCORE 26449.034
AT ITER 3336 NEW BEST:: SOT 176061 SOS 29034 HAS SOPS 29034 HAS SOUS 26402 HAS SOUPS 26402 WITH SCORE 26431.034
AT ITER 3364 NEW BEST:: SOT 176047 SOS 29060 HAS SOPS 29060 HAS SOUS 26388 HAS SOUPS 26388 WITH SCORE 26417.06
AT ITER 3367 NEW BEST:: SOT 176041 SOS 29048 HAS SOPS 29048 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26411.048
AT ITER 3377 NEW BEST:: SOT 176030 SOS 29012 HAS SOPS 29012 HAS SOUS 26336 HAS SOUPS 26336 WITH SCORE 26365.012
AT ITER 3383 NEW BEST:: SOT 176008 SOS 29007 HAS SOPS 29007 HAS SOUS 26331 HAS SOUPS 26331 WITH SCORE 26360.007
AT ITER 3401 NEW BEST:: SOT 176002 SOS 29005 HAS SOPS 29005 HAS SOUS 26321 HAS SOUPS 26321 WITH SCORE 26350.005
AT ITER 3414 NEW BEST:: SOT 176002 SOS 28992 HAS SOPS 28992 HAS SOUS 26308 HAS SOUPS 26308 WITH SCORE 26336.992
AT ITER 3427 NEW BEST:: SOT 176010 SOS 28932 HAS SOPS 28932 HAS SOUS 26261 HAS SOUPS 26261 WITH SCORE 26289.932
AT ITER 3464 NEW BEST:: SOT 176010 SOS 28916 HAS SOPS 28916 HAS SOUS 26245 HAS SOUPS 26245 WITH SCORE 26273.916
AT ITER 3470 NEW BEST:: SOT 175977 SOS 28894 HAS SOPS 28894 HAS SOUS 26220 HAS SOUPS 26220 WITH SCORE 26248.894
AT ITER 3499 NEW BEST:: SOT 175969 SOS 28886 HAS SOPS 28886 HAS SOUS 26212 HAS SOUPS 26212 WITH SCORE 26240.886
AT ITER 3515 NEW BEST:: SOT 175949 SOS 28862 HAS SOPS 28862 HAS SOUS 26188 HAS SOUPS 26188 WITH SCORE 26216.862
AT ITER 3530 NEW BEST:: SOT 175949 SOS 28859 HAS SOPS 28859 HAS SOUS 26185 HAS SOUPS 26185 WITH SCORE 26213.859
AT ITER 3532 NEW BEST:: SOT 175934 SOS 28891 HAS SOPS 28891 HAS SOUS 26175 HAS SOUPS 26175 WITH SCORE 26203.891
AT ITER 3535 NEW BEST:: SOT 175934 SOS 28889 HAS SOPS 28889 HAS SOUS 26173 HAS SOUPS 26173 WITH SCORE 26201.889
AT ITER 3542 NEW BEST:: SOT 175934 SOS 28888 HAS SOPS 28888 HAS SOUS 26172 HAS SOUPS 26172 WITH SCORE 26200.888
AT ITER 3555 NEW BEST:: SOT 175934 SOS 28878 HAS SOPS 28878 HAS SOUS 26172 HAS SOUPS 26172 WITH SCORE 26200.878
AT ITER 3556 NEW BEST:: SOT 175936 SOS 28934 HAS SOPS 28934 HAS SOUS 26160 HAS SOUPS 26160 WITH SCORE 26188.934
AT ITER 3565 NEW BEST:: SOT 175939 SOS 28955 HAS SOPS 28955 HAS SOUS 26156 HAS SOUPS 26156 WITH SCORE 26184.955
AT ITER 3578 NEW BEST:: SOT 175968 SOS 29133 HAS SOPS 29133 HAS SOUS 26154 HAS SOUPS 26154 WITH SCORE 26183.133
AT ITER 3581 NEW BEST:: SOT 175912 SOS 29208 HAS SOPS 29208 HAS SOUS 26098 HAS SOUPS 26098 WITH SCORE 26127.208
AT ITER 3585 NEW BEST:: SOT 175908 SOS 29204 HAS SOPS 29204 HAS SOUS 26090 HAS SOUPS 26090 WITH SCORE 26119.204
AT ITER 3588 NEW BEST:: SOT 175908 SOS 29179 HAS SOPS 29179 HAS SOUS 26065 HAS SOUPS 26065 WITH SCORE 26094.179
AT ITER 3623 NEW BEST:: SOT 175908 SOS 29168 HAS SOPS 29168 HAS SOUS 26039 HAS SOUPS 26039 WITH SCORE 26068.168
AT ITER 3663 NEW BEST:: SOT 175908 SOS 29183 HAS SOPS 29183 HAS SOUS 26024 HAS SOUPS 26024 WITH SCORE 26053.183
AT ITER 3694 NEW BEST:: SOT 175924 SOS 29183 HAS SOPS 29183 HAS SOUS 26016 HAS SOUPS 26016 WITH SCORE 26045.183
AT ITER 3697 NEW BEST:: SOT 175860 SOS 29136 HAS SOPS 29136 HAS SOUS 25969 HAS SOUPS 25969 WITH SCORE 25998.136
AT ITER 3698 NEW BEST:: SOT 175844 SOS 29120 HAS SOPS 29120 HAS SOUS 25953 HAS SOUPS 25953 WITH SCORE 25982.12
AT ITER 3740 NEW BEST:: SOT 175846 SOS 29122 HAS SOPS 29122 HAS SOUS 25910 HAS SOUPS 25910 WITH SCORE 25939.122
AT ITER 3792 NEW BEST:: SOT 175824 SOS 29094 HAS SOPS 29094 HAS SOUS 25882 HAS SOUPS 25882 WITH SCORE 25911.094
AT ITER 3797 NEW BEST:: SOT 175799 SOS 29044 HAS SOPS 29044 HAS SOUS 25860 HAS SOUPS 25860 WITH SCORE 25889.044
AT ITER 3804 NEW BEST:: SOT 175791 SOS 29036 HAS SOPS 29036 HAS SOUS 25852 HAS SOUPS 25852 WITH SCORE 25881.036
AT ITER 3824 NEW BEST:: SOT 175791 SOS 29036 HAS SOPS 29036 HAS SOUS 25851 HAS SOUPS 25851 WITH SCORE 25880.036
AT ITER 3855 NEW BEST:: SOT 175755 SOS 29070 HAS SOPS 29070 HAS SOUS 25846 HAS SOUPS 25846 WITH SCORE 25875.07
AT ITER 3899 NEW BEST:: SOT 175750 SOS 29080 HAS SOPS 29080 HAS SOUS 25841 HAS SOUPS 25841 WITH SCORE 25870.08
AT ITER 3927 NEW BEST:: SOT 175750 SOS 29075 HAS SOPS 29075 HAS SOUS 25841 HAS SOUPS 25841 WITH SCORE 25870.075
AT ITER 3931 NEW BEST:: SOT 175750 SOS 29032 HAS SOPS 29032 HAS SOUS 25798 HAS SOUPS 25798 WITH SCORE 25827.032
AT ITER 3935 NEW BEST:: SOT 175765 SOS 29031 HAS SOPS 29031 HAS SOUS 25797 HAS SOUPS 25797 WITH SCORE 25826.031
AT ITER 4014 NEW BEST:: SOT 175764 SOS 29020 HAS SOPS 29020 HAS SOUS 25795 HAS SOUPS 25795 WITH SCORE 25824.02
AT ITER 4146 NEW BEST:: SOT 175730 SOS 28952 HAS SOPS 28952 HAS SOUS 25787 HAS SOUPS 25787 WITH SCORE 25815.952
AT ITER 4156 NEW BEST:: SOT 175707 SOS 28906 HAS SOPS 28906 HAS SOUS 25764 HAS SOUPS 25764 WITH SCORE 25792.906
AT ITER 4168 NEW BEST:: SOT 175688 SOS 28944 HAS SOPS 28944 HAS SOUS 25745 HAS SOUPS 25745 WITH SCORE 25773.944
AT ITER 4170 NEW BEST:: SOT 175678 SOS 28939 HAS SOPS 28939 HAS SOUS 25740 HAS SOUPS 25740 WITH SCORE 25768.939
AT ITER 4174 NEW BEST:: SOT 175657 SOS 28904 HAS SOPS 28904 HAS SOUS 25683 HAS SOUPS 25683 WITH SCORE 25711.904
AT ITER 4187 NEW BEST:: SOT 175645 SOS 28880 HAS SOPS 28880 HAS SOUS 25675 HAS SOUPS 25675 WITH SCORE 25703.88
AT ITER 4220 NEW BEST:: SOT 175643 SOS 28878 HAS SOPS 28878 HAS SOUS 25673 HAS SOUPS 25673 WITH SCORE 25701.878
AT ITER 4221 NEW BEST:: SOT 175640 SOS 28875 HAS SOPS 28875 HAS SOUS 25670 HAS SOUPS 25670 WITH SCORE 25698.875
AT ITER 4228 NEW BEST:: SOT 175621 SOS 28868 HAS SOPS 28868 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25691.868
AT ITER 4260 NEW BEST:: SOT 175586 SOS 28912 HAS SOPS 28912 HAS SOUS 25628 HAS SOUPS 25628 WITH SCORE 25656.912
AT ITER 4277 NEW BEST:: SOT 175593 SOS 28834 HAS SOPS 28834 HAS SOUS 25585 HAS SOUPS 25585 WITH SCORE 25613.834
AT ITER 4282 NEW BEST:: SOT 175575 SOS 28752 HAS SOPS 28752 HAS SOUS 25571 HAS SOUPS 25571 WITH SCORE 25599.752
AT ITER 4315 NEW BEST:: SOT 175561 SOS 28738 HAS SOPS 28738 HAS SOUS 25557 HAS SOUPS 25557 WITH SCORE 25585.738
AT ITER 4379 NEW BEST:: SOT 175528 SOS 28672 HAS SOPS 28672 HAS SOUS 25499 HAS SOUPS 25499 WITH SCORE 25527.672
AT ITER 4391 NEW BEST:: SOT 175509 SOS 28654 HAS SOPS 28654 HAS SOUS 25481 HAS SOUPS 25481 WITH SCORE 25509.654
AT ITER 4418 NEW BEST:: SOT 175525 SOS 28680 HAS SOPS 28680 HAS SOUS 25462 HAS SOUPS 25462 WITH SCORE 25490.68
AT ITER 4443 NEW BEST:: SOT 175525 SOS 28656 HAS SOPS 28656 HAS SOUS 25438 HAS SOUPS 25438 WITH SCORE 25466.656
AT ITER 4481 NEW BEST:: SOT 175531 SOS 28652 HAS SOPS 28652 HAS SOUS 25434 HAS SOUPS 25434 WITH SCORE 25462.652
AT ITER 4519 NEW BEST:: SOT 175530 SOS 28651 HAS SOPS 28651 HAS SOUS 25433 HAS SOUPS 25433 WITH SCORE 25461.651
AT ITER 4522 NEW BEST:: SOT 175530 SOS 28619 HAS SOPS 28619 HAS SOUS 25401 HAS SOUPS 25401 WITH SCORE 25429.619
AT ITER 4541 NEW BEST:: SOT 175530 SOS 28616 HAS SOPS 28616 HAS SOUS 25400 HAS SOUPS 25400 WITH SCORE 25428.616
AT ITER 4542 NEW BEST:: SOT 175526 SOS 28604 HAS SOPS 28604 HAS SOUS 25396 HAS SOUPS 25396 WITH SCORE 25424.604
AT ITER 4650 NEW BEST:: SOT 175494 SOS 28540 HAS SOPS 28540 HAS SOUS 25333 HAS SOUPS 25333 WITH SCORE 25361.54
AT ITER 4655 NEW BEST:: SOT 175509 SOS 28510 HAS SOPS 28510 HAS SOUS 25328 HAS SOUPS 25328 WITH SCORE 25356.51
AT ITER 4692 NEW BEST:: SOT 175509 SOS 28510 HAS SOPS 28510 HAS SOUS 25319 HAS SOUPS 25319 WITH SCORE 25347.51
AT ITER 4713 NEW BEST:: SOT 175507 SOS 28479 HAS SOPS 28479 HAS SOUS 25317 HAS SOUPS 25317 WITH SCORE 25345.479
AT ITER 4725 NEW BEST:: SOT 175477 SOS 28437 HAS SOPS 28437 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25303.437
AT ITER 4769 NEW BEST:: SOT 175480 SOS 28443 HAS SOPS 28443 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25301.443
AT ITER 4850 NEW BEST:: SOT 175471 SOS 28434 HAS SOPS 28434 HAS SOUS 25264 HAS SOUPS 25264 WITH SCORE 25292.434
AT ITER 4931 NEW BEST:: SOT 175466 SOS 28414 HAS SOPS 28414 HAS SOUS 25254 HAS SOUPS 25254 WITH SCORE 25282.414
AT ITER 4943 NEW BEST:: SOT 175468 SOS 28418 HAS SOPS 28418 HAS SOUS 25248 HAS SOUPS 25248 WITH SCORE 25276.418
AT ITER 4956 NEW BEST:: SOT 175463 SOS 28408 HAS SOPS 28408 HAS SOUS 25238 HAS SOUPS 25238 WITH SCORE 25266.408
AT ITER 4978 NEW BEST:: SOT 175441 SOS 28327 HAS SOPS 28327 HAS SOUS 25179 HAS SOUPS 25179 WITH SCORE 25207.327
AT ITER 5010 NEW BEST:: SOT 175488 SOS 28304 HAS SOPS 28304 HAS SOUS 25156 HAS SOUPS 25156 WITH SCORE 25184.304
AT ITER 5031 NEW BEST:: SOT 175500 SOS 28300 HAS SOPS 28300 HAS SOUS 25152 HAS SOUPS 25152 WITH SCORE 25180.3
AT ITER 5068 NEW BEST:: SOT 175497 SOS 28297 HAS SOPS 28297 HAS SOUS 25149 HAS SOUPS 25149 WITH SCORE 25177.297
AT ITER 5077 NEW BEST:: SOT 175495 SOS 28293 HAS SOPS 28293 HAS SOUS 25145 HAS SOUPS 25145 WITH SCORE 25173.293
AT ITER 5139 NEW BEST:: SOT 175495 SOS 28281 HAS SOPS 28281 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25161.281
AT ITER 5203 NEW BEST:: SOT 175488 SOS 28278 HAS SOPS 28278 HAS SOUS 25130 HAS SOUPS 25130 WITH SCORE 25158.278
AT ITER 5218 NEW BEST:: SOT 175489 SOS 28254 HAS SOPS 28254 HAS SOUS 25106 HAS SOUPS 25106 WITH SCORE 25134.254
AT ITER 5234 NEW BEST:: SOT 175487 SOS 28244 HAS SOPS 28244 HAS SOUS 25096 HAS SOUPS 25096 WITH SCORE 25124.244
AT ITER 5239 NEW BEST:: SOT 175444 SOS 28211 HAS SOPS 28211 HAS SOUS 25063 HAS SOUPS 25063 WITH SCORE 25091.211
AT ITER 5249 NEW BEST:: SOT 175444 SOS 28198 HAS SOPS 28198 HAS SOUS 25050 HAS SOUPS 25050 WITH SCORE 25078.198
AT ITER 5313 NEW BEST:: SOT 175421 SOS 28198 HAS SOPS 28198 HAS SOUS 25042 HAS SOUPS 25042 WITH SCORE 25070.198
AT ITER 5322 NEW BEST:: SOT 175421 SOS 28198 HAS SOPS 28198 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25051.198
AT ITER 5344 NEW BEST:: SOT 175421 SOS 28198 HAS SOPS 28198 HAS SOUS 25019 HAS SOUPS 25019 WITH SCORE 25047.198
AT ITER 5347 NEW BEST:: SOT 175415 SOS 28186 HAS SOPS 28186 HAS SOUS 25013 HAS SOUPS 25013 WITH SCORE 25041.186
AT ITER 5463 NEW BEST:: SOT 175415 SOS 28108 HAS SOPS 28108 HAS SOUS 25013 HAS SOUPS 25013 WITH SCORE 25041.108
AT ITER 5474 NEW BEST:: SOT 175415 SOS 28092 HAS SOPS 28092 HAS SOUS 25001 HAS SOUPS 25001 WITH SCORE 25029.092
AT ITER 5495 NEW BEST:: SOT 175415 SOS 28092 HAS SOPS 28092 HAS SOUS 24888 HAS SOUPS 24888 WITH SCORE 24916.092
AT ITER 5526 NEW BEST:: SOT 175415 SOS 28030 HAS SOPS 28030 HAS SOUS 24866 HAS SOUPS 24866 WITH SCORE 24894.03
AT ITER 5541 NEW BEST:: SOT 175422 SOS 27985 HAS SOPS 27985 HAS SOUS 24861 HAS SOUPS 24861 WITH SCORE 24888.985
AT ITER 5545 NEW BEST:: SOT 175422 SOS 27975 HAS SOPS 27975 HAS SOUS 24851 HAS SOUPS 24851 WITH SCORE 24878.975
AT ITER 5579 NEW BEST:: SOT 175416 SOS 27963 HAS SOPS 27963 HAS SOUS 24848 HAS SOUPS 24848 WITH SCORE 24875.963
AT ITER 5593 NEW BEST:: SOT 175399 SOS 28006 HAS SOPS 28006 HAS SOUS 24831 HAS SOUPS 24831 WITH SCORE 24859.006
AT ITER 5630 NEW BEST:: SOT 175387 SOS 27982 HAS SOPS 27982 HAS SOUS 24819 HAS SOUPS 24819 WITH SCORE 24846.982
AT ITER 5658 NEW BEST:: SOT 175387 SOS 27973 HAS SOPS 27973 HAS SOUS 24819 HAS SOUPS 24819 WITH SCORE 24846.973
AT ITER 5683 NEW BEST:: SOT 175342 SOS 27959 HAS SOPS 27959 HAS SOUS 24800 HAS SOUPS 24800 WITH SCORE 24827.959
AT ITER 5723 NEW BEST:: SOT 175347 SOS 27948 HAS SOPS 27948 HAS SOUS 24789 HAS SOUPS 24789 WITH SCORE 24816.948
AT ITER 5725 NEW BEST:: SOT 175347 SOS 27883 HAS SOPS 27883 HAS SOUS 24789 HAS SOUPS 24789 WITH SCORE 24816.883
AT ITER 5732 NEW BEST:: SOT 175340 SOS 27879 HAS SOPS 27879 HAS SOUS 24781 HAS SOUPS 24781 WITH SCORE 24808.879
AT ITER 5738 NEW BEST:: SOT 175318 SOS 27835 HAS SOPS 27835 HAS SOUS 24737 HAS SOUPS 24737 WITH SCORE 24764.835
AT ITER 5791 NEW BEST:: SOT 175304 SOS 27807 HAS SOPS 27807 HAS SOUS 24709 HAS SOUPS 24709 WITH SCORE 24736.807
AT ITER 5796 NEW BEST:: SOT 175261 SOS 27796 HAS SOPS 27796 HAS SOUS 24698 HAS SOUPS 24698 WITH SCORE 24725.796
AT ITER 5832 NEW BEST:: SOT 175232 SOS 27794 HAS SOPS 27794 HAS SOUS 24640 HAS SOUPS 24640 WITH SCORE 24667.794
AT ITER 5862 NEW BEST:: SOT 175220 SOS 27782 HAS SOPS 27782 HAS SOUS 24628 HAS SOUPS 24628 WITH SCORE 24655.782
AT ITER 5878 NEW BEST:: SOT 175220 SOS 27779 HAS SOPS 27779 HAS SOUS 24625 HAS SOUPS 24625 WITH SCORE 24652.779
AT ITER 5894 NEW BEST:: SOT 175204 SOS 27747 HAS SOPS 27747 HAS SOUS 24593 HAS SOUPS 24593 WITH SCORE 24620.747
AT ITER 5916 NEW BEST:: SOT 175197 SOS 27738 HAS SOPS 27738 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24611.738
AT ITER 5936 NEW BEST:: SOT 175173 SOS 27690 HAS SOPS 27690 HAS SOUS 24560 HAS SOUPS 24560 WITH SCORE 24587.69
AT ITER 5952 NEW BEST:: SOT 175154 SOS 27711 HAS SOPS 27711 HAS SOUS 24554 HAS SOUPS 24554 WITH SCORE 24581.711
AT ITER 6064 NEW BEST:: SOT 175105 SOS 27712 HAS SOPS 27712 HAS SOUS 24492 HAS SOUPS 24492 WITH SCORE 24519.712
AT ITER 6073 NEW BEST:: SOT 175090 SOS 27701 HAS SOPS 27701 HAS SOUS 24481 HAS SOUPS 24481 WITH SCORE 24508.701
AT ITER 6142 NEW BEST:: SOT 175103 SOS 27727 HAS SOPS 27727 HAS SOUS 24475 HAS SOUPS 24475 WITH SCORE 24502.727
AT ITER 6145 NEW BEST:: SOT 175077 SOS 27767 HAS SOPS 27767 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24490.767
AT ITER 6168 NEW BEST:: SOT 175073 SOS 27759 HAS SOPS 27759 HAS SOUS 24459 HAS SOUPS 24459 WITH SCORE 24486.759
AT ITER 6198 NEW BEST:: SOT 175073 SOS 27746 HAS SOPS 27746 HAS SOUS 24451 HAS SOUPS 24451 WITH SCORE 24478.746
AT ITER 6215 NEW BEST:: SOT 175071 SOS 27744 HAS SOPS 27744 HAS SOUS 24449 HAS SOUPS 24449 WITH SCORE 24476.744
AT ITER 6224 NEW BEST:: SOT 175063 SOS 27692 HAS SOPS 27692 HAS SOUS 24429 HAS SOUPS 24429 WITH SCORE 24456.692
AT ITER 6228 NEW BEST:: SOT 175065 SOS 27657 HAS SOPS 27657 HAS SOUS 24394 HAS SOUPS 24394 WITH SCORE 24421.657
AT ITER 6242 NEW BEST:: SOT 175065 SOS 27621 HAS SOPS 27621 HAS SOUS 24358 HAS SOUPS 24358 WITH SCORE 24385.621
AT ITER 6271 NEW BEST:: SOT 174975 SOS 27467 HAS SOPS 27467 HAS SOUS 24308 HAS SOUPS 24308 WITH SCORE 24335.467
AT ITER 6396 NEW BEST:: SOT 174971 SOS 27459 HAS SOPS 27459 HAS SOUS 24300 HAS SOUPS 24300 WITH SCORE 24327.459
AT ITER 6408 NEW BEST:: SOT 174971 SOS 27395 HAS SOPS 27395 HAS SOUS 24300 HAS SOUPS 24300 WITH SCORE 24327.395
AT ITER 6435 NEW BEST:: SOT 174952 SOS 27376 HAS SOPS 27376 HAS SOUS 24281 HAS SOUPS 24281 WITH SCORE 24308.376
AT ITER 6478 NEW BEST:: SOT 174947 SOS 27361 HAS SOPS 27361 HAS SOUS 24266 HAS SOUPS 24266 WITH SCORE 24293.361
AT ITER 6512 NEW BEST:: SOT 174947 SOS 27358 HAS SOPS 27358 HAS SOUS 24265 HAS SOUPS 24265 WITH SCORE 24292.358
AT ITER 6523 NEW BEST:: SOT 174945 SOS 27337 HAS SOPS 27337 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24271.337
AT ITER 6533 NEW BEST:: SOT 174945 SOS 27329 HAS SOPS 27329 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24271.329
AT ITER 6601 NEW BEST:: SOT 174939 SOS 27331 HAS SOPS 27331 HAS SOUS 24232 HAS SOUPS 24232 WITH SCORE 24259.331
AT ITER 6644 NEW BEST:: SOT 174930 SOS 27331 HAS SOPS 27331 HAS SOUS 24214 HAS SOUPS 24214 WITH SCORE 24241.331
AT ITER 6672 NEW BEST:: SOT 175000 SOS 27273 HAS SOPS 27273 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24216.273
AT ITER 6684 NEW BEST:: SOT 175000 SOS 27244 HAS SOPS 27244 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24216.244
AT ITER 6695 NEW BEST:: SOT 174941 SOS 27321 HAS SOPS 27321 HAS SOUS 24153 HAS SOUPS 24153 WITH SCORE 24180.321
AT ITER 6733 NEW BEST:: SOT 174930 SOS 27310 HAS SOPS 27310 HAS SOUS 24144 HAS SOUPS 24144 WITH SCORE 24171.31
AT ITER 6792 NEW BEST:: SOT 174940 SOS 27330 HAS SOPS 27330 HAS SOUS 24142 HAS SOUPS 24142 WITH SCORE 24169.33
AT ITER 6831 NEW BEST:: SOT 174939 SOS 27328 HAS SOPS 27328 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24167.328
AT ITER 6836 NEW BEST:: SOT 174939 SOS 27327 HAS SOPS 27327 HAS SOUS 24139 HAS SOUPS 24139 WITH SCORE 24166.327
AT ITER 6864 NEW BEST:: SOT 174931 SOS 27311 HAS SOPS 27311 HAS SOUS 24131 HAS SOUPS 24131 WITH SCORE 24158.311
AT ITER 6877 NEW BEST:: SOT 174930 SOS 27282 HAS SOPS 27282 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24129.282
AT ITER 6895 NEW BEST:: SOT 174930 SOS 27279 HAS SOPS 27279 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24129.279
AT ITER 6904 NEW BEST:: SOT 174916 SOS 27265 HAS SOPS 27265 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24129.265
AT ITER 6956 NEW BEST:: SOT 174916 SOS 27264 HAS SOPS 27264 HAS SOUS 24100 HAS SOUPS 24100 WITH SCORE 24127.264
AT ITER 6991 NEW BEST:: SOT 174890 SOS 27276 HAS SOPS 27276 HAS SOUS 24093 HAS SOUPS 24093 WITH SCORE 24120.276
AT ITER 7068 NEW BEST:: SOT 174852 SOS 27169 HAS SOPS 27169 HAS SOUS 24078 HAS SOUPS 24078 WITH SCORE 24105.169
AT ITER 7078 NEW BEST:: SOT 174838 SOS 27125 HAS SOPS 27125 HAS SOUS 24049 HAS SOUPS 24049 WITH SCORE 24076.125
AT ITER 7114 NEW BEST:: SOT 174834 SOS 27085 HAS SOPS 27085 HAS SOUS 24037 HAS SOUPS 24037 WITH SCORE 24064.085
AT ITER 7131 NEW BEST:: SOT 174839 SOS 27084 HAS SOPS 27084 HAS SOUS 24036 HAS SOUPS 24036 WITH SCORE 24063.084
AT ITER 7140 NEW BEST:: SOT 174840 SOS 27034 HAS SOPS 27034 HAS SOUS 24005 HAS SOUPS 24005 WITH SCORE 24032.034
AT ITER 7269 NEW BEST:: SOT 174842 SOS 26997 HAS SOPS 26997 HAS SOUS 23984 HAS SOUPS 23984 WITH SCORE 24010.997
AT ITER 7302 NEW BEST:: SOT 174802 SOS 26981 HAS SOPS 26981 HAS SOUS 23968 HAS SOUPS 23968 WITH SCORE 23994.981
AT ITER 7303 NEW BEST:: SOT 174776 SOS 26929 HAS SOPS 26929 HAS SOUS 23916 HAS SOUPS 23916 WITH SCORE 23942.929
AT ITER 7352 NEW BEST:: SOT 174780 SOS 26913 HAS SOPS 26913 HAS SOUS 23900 HAS SOUPS 23900 WITH SCORE 23926.913
AT ITER 7393 NEW BEST:: SOT 174741 SOS 26760 HAS SOPS 26760 HAS SOUS 23829 HAS SOUPS 23829 WITH SCORE 23855.76
AT ITER 7404 NEW BEST:: SOT 174741 SOS 26712 HAS SOPS 26712 HAS SOUS 23781 HAS SOUPS 23781 WITH SCORE 23807.712
AT ITER 7438 NEW BEST:: SOT 174737 SOS 26704 HAS SOPS 26704 HAS SOUS 23777 HAS SOUPS 23777 WITH SCORE 23803.704
AT ITER 7457 NEW BEST:: SOT 174732 SOS 26691 HAS SOPS 26691 HAS SOUS 23764 HAS SOUPS 23764 WITH SCORE 23790.691
AT ITER 7504 NEW BEST:: SOT 174732 SOS 26691 HAS SOPS 26691 HAS SOUS 23761 HAS SOUPS 23761 WITH SCORE 23787.691
AT ITER 7560 NEW BEST:: SOT 174732 SOS 26676 HAS SOPS 26676 HAS SOUS 23761 HAS SOUPS 23761 WITH SCORE 23787.676
AT ITER 7600 NEW BEST:: SOT 174729 SOS 26670 HAS SOPS 26670 HAS SOUS 23750 HAS SOUPS 23750 WITH SCORE 23776.67
AT ITER 7628 NEW BEST:: SOT 174729 SOS 26670 HAS SOPS 26670 HAS SOUS 23749 HAS SOUPS 23749 WITH SCORE 23775.67
AT ITER 7649 NEW BEST:: SOT 174711 SOS 26658 HAS SOPS 26658 HAS SOUS 23737 HAS SOUPS 23737 WITH SCORE 23763.658
AT ITER 7654 NEW BEST:: SOT 174708 SOS 26652 HAS SOPS 26652 HAS SOUS 23727 HAS SOUPS 23727 WITH SCORE 23753.652
AT ITER 7695 NEW BEST:: SOT 174708 SOS 26643 HAS SOPS 26643 HAS SOUS 23718 HAS SOUPS 23718 WITH SCORE 23744.643
AT ITER 7731 NEW BEST:: SOT 174728 SOS 26632 HAS SOPS 26632 HAS SOUS 23707 HAS SOUPS 23707 WITH SCORE 23733.632
AT ITER 7732 NEW BEST:: SOT 174737 SOS 26780 HAS SOPS 26780 HAS SOUS 23672 HAS SOUPS 23672 WITH SCORE 23698.78
AT ITER 7776 NEW BEST:: SOT 174719 SOS 26699 HAS SOPS 26699 HAS SOUS 23648 HAS SOUPS 23648 WITH SCORE 23674.699
AT ITER 7801 NEW BEST:: SOT 174719 SOS 26664 HAS SOPS 26664 HAS SOUS 23613 HAS SOUPS 23613 WITH SCORE 23639.664
AT ITER 7846 NEW BEST:: SOT 174708 SOS 26653 HAS SOPS 26653 HAS SOUS 23602 HAS SOUPS 23602 WITH SCORE 23628.653
AT ITER 7856 NEW BEST:: SOT 174721 SOS 26679 HAS SOPS 26679 HAS SOUS 23589 HAS SOUPS 23589 WITH SCORE 23615.679
AT ITER 7866 NEW BEST:: SOT 174720 SOS 26677 HAS SOPS 26677 HAS SOUS 23587 HAS SOUPS 23587 WITH SCORE 23613.677
AT ITER 7873 NEW BEST:: SOT 174711 SOS 26659 HAS SOPS 26659 HAS SOUS 23569 HAS SOUPS 23569 WITH SCORE 23595.659
AT ITER 7916 NEW BEST:: SOT 174705 SOS 26655 HAS SOPS 26655 HAS SOUS 23565 HAS SOUPS 23565 WITH SCORE 23591.655
AT ITER 7927 NEW BEST:: SOT 174706 SOS 26627 HAS SOPS 26627 HAS SOUS 23537 HAS SOUPS 23537 WITH SCORE 23563.627
AT ITER 7929 NEW BEST:: SOT 174700 SOS 26609 HAS SOPS 26609 HAS SOUS 23525 HAS SOUPS 23525 WITH SCORE 23551.609
AT ITER 7931 NEW BEST:: SOT 174677 SOS 26570 HAS SOPS 26570 HAS SOUS 23505 HAS SOUPS 23505 WITH SCORE 23531.57
AT ITER 7944 NEW BEST:: SOT 174618 SOS 26452 HAS SOPS 26452 HAS SOUS 23387 HAS SOUPS 23387 WITH SCORE 23413.452
AT ITER 7951 NEW BEST:: SOT 174611 SOS 26438 HAS SOPS 26438 HAS SOUS 23373 HAS SOUPS 23373 WITH SCORE 23399.438
AT ITER 7981 NEW BEST:: SOT 174611 SOS 26437 HAS SOPS 26437 HAS SOUS 23371 HAS SOUPS 23371 WITH SCORE 23397.437
AT ITER 7989 NEW BEST:: SOT 174592 SOS 26365 HAS SOPS 26365 HAS SOUS 23352 HAS SOUPS 23352 WITH SCORE 23378.365
AT ITER 7993 NEW BEST:: SOT 174592 SOS 26334 HAS SOPS 26334 HAS SOUS 23352 HAS SOUPS 23352 WITH SCORE 23378.334
AT ITER 8080 NEW BEST:: SOT 174578 SOS 26306 HAS SOPS 26306 HAS SOUS 23321 HAS SOUPS 23321 WITH SCORE 23347.306
AT ITER 8138 NEW BEST:: SOT 174574 SOS 26298 HAS SOPS 26298 HAS SOUS 23313 HAS SOUPS 23313 WITH SCORE 23339.298
AT ITER 8151 NEW BEST:: SOT 174573 SOS 26297 HAS SOPS 26297 HAS SOUS 23312 HAS SOUPS 23312 WITH SCORE 23338.297
AT ITER 8156 NEW BEST:: SOT 174585 SOS 26310 HAS SOPS 26310 HAS SOUS 23301 HAS SOUPS 23301 WITH SCORE 23327.31
AT ITER 8227 NEW BEST:: SOT 174594 SOS 26236 HAS SOPS 26236 HAS SOUS 23282 HAS SOUPS 23282 WITH SCORE 23308.236
AT ITER 8298 NEW BEST:: SOT 174590 SOS 26228 HAS SOPS 26228 HAS SOUS 23274 HAS SOUPS 23274 WITH SCORE 23300.228
AT ITER 8354 NEW BEST:: SOT 174583 SOS 26214 HAS SOPS 26214 HAS SOUS 23264 HAS SOUPS 23264 WITH SCORE 23290.214
AT ITER 8359 NEW BEST:: SOT 174583 SOS 26194 HAS SOPS 26194 HAS SOUS 23244 HAS SOUPS 23244 WITH SCORE 23270.194
AT ITER 8368 NEW BEST:: SOT 174565 SOS 26158 HAS SOPS 26158 HAS SOUS 23208 HAS SOUPS 23208 WITH SCORE 23234.158
AT ITER 8443 NEW BEST:: SOT 174551 SOS 26112 HAS SOPS 26112 HAS SOUS 23162 HAS SOUPS 23162 WITH SCORE 23188.112
AT ITER 8486 NEW BEST:: SOT 174551 SOS 26111 HAS SOPS 26111 HAS SOUS 23161 HAS SOUPS 23161 WITH SCORE 23187.111
AT ITER 8507 NEW BEST:: SOT 174539 SOS 26087 HAS SOPS 26087 HAS SOUS 23145 HAS SOUPS 23145 WITH SCORE 23171.087
AT ITER 8525 NEW BEST:: SOT 174539 SOS 26072 HAS SOPS 26072 HAS SOUS 23130 HAS SOUPS 23130 WITH SCORE 23156.072
AT ITER 8565 NEW BEST:: SOT 174537 SOS 26068 HAS SOPS 26068 HAS SOUS 23126 HAS SOUPS 23126 WITH SCORE 23152.068
AT ITER 8630 NEW BEST:: SOT 174533 SOS 26060 HAS SOPS 26060 HAS SOUS 23125 HAS SOUPS 23125 WITH SCORE 23151.06
AT ITER 8656 NEW BEST:: SOT 174533 SOS 26049 HAS SOPS 26049 HAS SOUS 23114 HAS SOUPS 23114 WITH SCORE 23140.049
AT ITER 8714 NEW BEST:: SOT 174533 SOS 25990 HAS SOPS 25990 HAS SOUS 23114 HAS SOUPS 23114 WITH SCORE 23139.99
AT ITER 8729 NEW BEST:: SOT 174528 SOS 25980 HAS SOPS 25980 HAS SOUS 23104 HAS SOUPS 23104 WITH SCORE 23129.98
AT ITER 8799 NEW BEST:: SOT 174528 SOS 25978 HAS SOPS 25978 HAS SOUS 23104 HAS SOUPS 23104 WITH SCORE 23129.978
AT ITER 8805 NEW BEST:: SOT 174515 SOS 25952 HAS SOPS 25952 HAS SOUS 23078 HAS SOUPS 23078 WITH SCORE 23103.952
AT ITER 8816 NEW BEST:: SOT 174497 SOS 25942 HAS SOPS 25942 HAS SOUS 23068 HAS SOUPS 23068 WITH SCORE 23093.942
AT ITER 8845 NEW BEST:: SOT 174495 SOS 25940 HAS SOPS 25940 HAS SOUS 23066 HAS SOUPS 23066 WITH SCORE 23091.94
AT ITER 8852 NEW BEST:: SOT 174499 SOS 25926 HAS SOPS 25926 HAS SOUS 23052 HAS SOUPS 23052 WITH SCORE 23077.926
AT ITER 8858 NEW BEST:: SOT 174459 SOS 25923 HAS SOPS 25923 HAS SOUS 23049 HAS SOUPS 23049 WITH SCORE 23074.923
AT ITER 8959 NEW BEST:: SOT 174432 SOS 25901 HAS SOPS 25901 HAS SOUS 23027 HAS SOUPS 23027 WITH SCORE 23052.901
AT ITER 8997 NEW BEST:: SOT 174436 SOS 25897 HAS SOPS 25897 HAS SOUS 23023 HAS SOUPS 23023 WITH SCORE 23048.897
AT ITER 8998 NEW BEST:: SOT 174436 SOS 25887 HAS SOPS 25887 HAS SOUS 23013 HAS SOUPS 23013 WITH SCORE 23038.887
AT ITER 9068 NEW BEST:: SOT 174425 SOS 25843 HAS SOPS 25843 HAS SOUS 23002 HAS SOUPS 23002 WITH SCORE 23027.843
AT ITER 9069 NEW BEST:: SOT 174413 SOS 25819 HAS SOPS 25819 HAS SOUS 22978 HAS SOUPS 22978 WITH SCORE 23003.819
AT ITER 9070 NEW BEST:: SOT 174406 SOS 25803 HAS SOPS 25803 HAS SOUS 22962 HAS SOUPS 22962 WITH SCORE 22987.803
AT ITER 9087 NEW BEST:: SOT 174403 SOS 25791 HAS SOPS 25791 HAS SOUS 22956 HAS SOUPS 22956 WITH SCORE 22981.791
AT ITER 9104 NEW BEST:: SOT 174403 SOS 25784 HAS SOPS 25784 HAS SOUS 22949 HAS SOUPS 22949 WITH SCORE 22974.784
AT ITER 9136 NEW BEST:: SOT 174400 SOS 25773 HAS SOPS 25773 HAS SOUS 22940 HAS SOUPS 22940 WITH SCORE 22965.773
AT ITER 9191 NEW BEST:: SOT 174360 SOS 25757 HAS SOPS 25757 HAS SOUS 22868 HAS SOUPS 22868 WITH SCORE 22893.757
AT ITER 9195 NEW BEST:: SOT 174360 SOS 25753 HAS SOPS 25753 HAS SOUS 22868 HAS SOUPS 22868 WITH SCORE 22893.753
AT ITER 9205 NEW BEST:: SOT 174356 SOS 25749 HAS SOPS 25749 HAS SOUS 22864 HAS SOUPS 22864 WITH SCORE 22889.749
AT ITER 9222 NEW BEST:: SOT 174356 SOS 25746 HAS SOPS 25746 HAS SOUS 22861 HAS SOUPS 22861 WITH SCORE 22886.746
AT ITER 9276 NEW BEST:: SOT 174356 SOS 25740 HAS SOPS 25740 HAS SOUS 22855 HAS SOUPS 22855 WITH SCORE 22880.74
AT ITER 9284 NEW BEST:: SOT 174353 SOS 25725 HAS SOPS 25725 HAS SOUS 22840 HAS SOUPS 22840 WITH SCORE 22865.725
AT ITER 9309 NEW BEST:: SOT 174352 SOS 25547 HAS SOPS 25547 HAS SOUS 22838 HAS SOUPS 22838 WITH SCORE 22863.547
AT ITER 9312 NEW BEST:: SOT 174351 SOS 25545 HAS SOPS 25545 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22861.545
AT ITER 9326 NEW BEST:: SOT 174351 SOS 25545 HAS SOPS 25545 HAS SOUS 22831 HAS SOUPS 22831 WITH SCORE 22856.545
AT ITER 9392 NEW BEST:: SOT 174351 SOS 25539 HAS SOPS 25539 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22850.539
AT ITER 9417 NEW BEST:: SOT 174334 SOS 25521 HAS SOPS 25521 HAS SOUS 22807 HAS SOUPS 22807 WITH SCORE 22832.521
AT ITER 9438 NEW BEST:: SOT 174340 SOS 25568 HAS SOPS 25568 HAS SOUS 22784 HAS SOUPS 22784 WITH SCORE 22809.568
AT ITER 9443 NEW BEST:: SOT 174312 SOS 25526 HAS SOPS 25526 HAS SOUS 22742 HAS SOUPS 22742 WITH SCORE 22767.526
AT ITER 9624 NEW BEST:: SOT 174310 SOS 25524 HAS SOPS 25524 HAS SOUS 22740 HAS SOUPS 22740 WITH SCORE 22765.524
AT ITER 9669 NEW BEST:: SOT 174309 SOS 25522 HAS SOPS 25522 HAS SOUS 22738 HAS SOUPS 22738 WITH SCORE 22763.522
AT ITER 9713 NEW BEST:: SOT 174309 SOS 25488 HAS SOPS 25488 HAS SOUS 22704 HAS SOUPS 22704 WITH SCORE 22729.488
AT ITER 9786 NEW BEST:: SOT 174309 SOS 25482 HAS SOPS 25482 HAS SOUS 22696 HAS SOUPS 22696 WITH SCORE 22721.482
AT ITER 9797 NEW BEST:: SOT 174307 SOS 25485 HAS SOPS 25485 HAS SOUS 22692 HAS SOUPS 22692 WITH SCORE 22717.485
AT ITER 9850 NEW BEST:: SOT 174276 SOS 25495 HAS SOPS 25495 HAS SOUS 22690 HAS SOUPS 22690 WITH SCORE 22715.495
AT ITER 9858 NEW BEST:: SOT 174265 SOS 25535 HAS SOPS 25535 HAS SOUS 22679 HAS SOUPS 22679 WITH SCORE 22704.535
AT ITER 9859 NEW BEST:: SOT 174265 SOS 25532 HAS SOPS 25532 HAS SOUS 22679 HAS SOUPS 22679 WITH SCORE 22704.532
AT ITER 9909 NEW BEST:: SOT 174264 SOS 25527 HAS SOPS 25527 HAS SOUS 22677 HAS SOUPS 22677 WITH SCORE 22702.527
AT ITER 9919 NEW BEST:: SOT 174246 SOS 25500 HAS SOPS 25500 HAS SOUS 22641 HAS SOUPS 22641 WITH SCORE 22666.5
AT ITER 9926 NEW BEST:: SOT 174183 SOS 25468 HAS SOPS 25468 HAS SOUS 22609 HAS SOUPS 22609 WITH SCORE 22634.468
AT ITER 9949 NEW BEST:: SOT 174166 SOS 25434 HAS SOPS 25434 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22617.434
AT ITER 9971 NEW BEST:: SOT 174133 SOS 25308 HAS SOPS 25308 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22610.308
AT ITER 9998 NEW BEST:: SOT 174105 SOS 25252 HAS SOPS 25252 HAS SOUS 22557 HAS SOUPS 22557 WITH SCORE 22582.252
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 2945212 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16119932 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="AutoFlight-PT-06b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is AutoFlight-PT-06b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813600200464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-06b.tgz
mv AutoFlight-PT-06b 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 ;