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-167813600500640.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 AutonomousCar-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600500640
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 780K
-rw-r--r-- 1 mcc users 6.6K Feb 25 12:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 12:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 12:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 12:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 25 12:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 12:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 334K 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 1678740670428

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=AutonomousCar-PT-07b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:51:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:51:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:51:14] [INFO ] Load time of PNML (sax parser for PT used): 189 ms
[2023-03-13 20:51:14] [INFO ] Transformed 323 places.
[2023-03-13 20:51:14] [INFO ] Transformed 846 transitions.
[2023-03-13 20:51:14] [INFO ] Found NUPN structural information;
[2023-03-13 20:51:14] [INFO ] Parsed PT model containing 323 places and 846 transitions and 5865 arcs in 380 ms.
[2023-03-13 20:51:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 323 places, 846 transitions and 5865 arcs took 17 ms.
Total runtime 521 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 07b
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: 323 places, 846 transitions, 5865 arcs.
AT ITER 0 NEW BEST:: SOT 205751 SOS 69701 HAS SOPS 69701 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32500.701
AT ITER 2 NEW BEST:: SOT 205751 SOS 69681 HAS SOPS 69681 HAS SOUS 32411 HAS SOUPS 32411 WITH SCORE 32480.681
AT ITER 53 NEW BEST:: SOT 205673 SOS 69591 HAS SOPS 69591 HAS SOUS 32318 HAS SOUPS 32318 WITH SCORE 32387.591
AT ITER 69 NEW BEST:: SOT 205662 SOS 69569 HAS SOPS 69569 HAS SOUS 32296 HAS SOUPS 32296 WITH SCORE 32365.569
AT ITER 86 NEW BEST:: SOT 205650 SOS 69557 HAS SOPS 69557 HAS SOUS 32270 HAS SOUPS 32270 WITH SCORE 32339.557
AT ITER 101 NEW BEST:: SOT 205649 SOS 69571 HAS SOPS 69571 HAS SOUS 32268 HAS SOUPS 32268 WITH SCORE 32337.571
AT ITER 108 NEW BEST:: SOT 205625 SOS 69496 HAS SOPS 69496 HAS SOUS 32244 HAS SOUPS 32244 WITH SCORE 32313.496
AT ITER 112 NEW BEST:: SOT 205619 SOS 69490 HAS SOPS 69490 HAS SOUS 32244 HAS SOUPS 32244 WITH SCORE 32313.49
AT ITER 120 NEW BEST:: SOT 205543 SOS 69396 HAS SOPS 69396 HAS SOUS 32205 HAS SOUPS 32205 WITH SCORE 32274.396
AT ITER 122 NEW BEST:: SOT 205493 SOS 69365 HAS SOPS 69365 HAS SOUS 32177 HAS SOUPS 32177 WITH SCORE 32246.365
AT ITER 138 NEW BEST:: SOT 205289 SOS 69171 HAS SOPS 69171 HAS SOUS 32139 HAS SOUPS 32139 WITH SCORE 32208.171
AT ITER 144 NEW BEST:: SOT 205208 SOS 69143 HAS SOPS 69143 HAS SOUS 32111 HAS SOUPS 32111 WITH SCORE 32180.143
AT ITER 148 NEW BEST:: SOT 205208 SOS 69143 HAS SOPS 69143 HAS SOUS 32080 HAS SOUPS 32080 WITH SCORE 32149.143
AT ITER 174 NEW BEST:: SOT 205163 SOS 69098 HAS SOPS 69098 HAS SOUS 32035 HAS SOUPS 32035 WITH SCORE 32104.098
AT ITER 194 NEW BEST:: SOT 205207 SOS 69056 HAS SOPS 69056 HAS SOUS 31808 HAS SOUPS 31808 WITH SCORE 31877.056
AT ITER 200 NEW BEST:: SOT 205112 SOS 68977 HAS SOPS 68977 HAS SOUS 31681 HAS SOUPS 31681 WITH SCORE 31749.977
AT ITER 205 NEW BEST:: SOT 205128 SOS 68984 HAS SOPS 68984 HAS SOUS 31087 HAS SOUPS 31087 WITH SCORE 31155.984
AT ITER 213 NEW BEST:: SOT 205125 SOS 69011 HAS SOPS 69011 HAS SOUS 31081 HAS SOUPS 31081 WITH SCORE 31150.011
AT ITER 215 NEW BEST:: SOT 205125 SOS 69011 HAS SOPS 69011 HAS SOUS 31031 HAS SOUPS 31031 WITH SCORE 31100.011
AT ITER 223 NEW BEST:: SOT 205170 SOS 68985 HAS SOPS 68985 HAS SOUS 30634 HAS SOUPS 30634 WITH SCORE 30702.985
AT ITER 224 NEW BEST:: SOT 205230 SOS 69045 HAS SOPS 69045 HAS SOUS 30574 HAS SOUPS 30574 WITH SCORE 30643.045
AT ITER 226 NEW BEST:: SOT 205226 SOS 69037 HAS SOPS 69037 HAS SOUS 30570 HAS SOUPS 30570 WITH SCORE 30639.037
AT ITER 251 NEW BEST:: SOT 205205 SOS 69007 HAS SOPS 69007 HAS SOUS 30529 HAS SOUPS 30529 WITH SCORE 30598.007
AT ITER 266 NEW BEST:: SOT 205213 SOS 68985 HAS SOPS 68985 HAS SOUS 30393 HAS SOUPS 30393 WITH SCORE 30461.985
AT ITER 267 NEW BEST:: SOT 205214 SOS 68939 HAS SOPS 68939 HAS SOUS 30367 HAS SOUPS 30367 WITH SCORE 30435.939
AT ITER 281 NEW BEST:: SOT 205213 SOS 68937 HAS SOPS 68937 HAS SOUS 30365 HAS SOUPS 30365 WITH SCORE 30433.937
AT ITER 292 NEW BEST:: SOT 205181 SOS 68934 HAS SOPS 68934 HAS SOUS 30348 HAS SOUPS 30348 WITH SCORE 30416.934
AT ITER 303 NEW BEST:: SOT 205181 SOS 68934 HAS SOPS 68934 HAS SOUS 30343 HAS SOUPS 30343 WITH SCORE 30411.934
AT ITER 306 NEW BEST:: SOT 205181 SOS 68934 HAS SOPS 68934 HAS SOUS 30339 HAS SOUPS 30339 WITH SCORE 30407.934
AT ITER 308 NEW BEST:: SOT 205155 SOS 68951 HAS SOPS 68951 HAS SOUS 30317 HAS SOUPS 30317 WITH SCORE 30385.951
AT ITER 334 NEW BEST:: SOT 204435 SOS 68272 HAS SOPS 68272 HAS SOUS 29604 HAS SOUPS 29604 WITH SCORE 29672.272
AT ITER 335 NEW BEST:: SOT 204413 SOS 68140 HAS SOPS 68140 HAS SOUS 29538 HAS SOUPS 29538 WITH SCORE 29606.14
AT ITER 342 NEW BEST:: SOT 204413 SOS 68134 HAS SOPS 68134 HAS SOUS 29532 HAS SOUPS 29532 WITH SCORE 29600.134
AT ITER 346 NEW BEST:: SOT 204386 SOS 68080 HAS SOPS 68080 HAS SOUS 29471 HAS SOUPS 29471 WITH SCORE 29539.08
AT ITER 350 NEW BEST:: SOT 204372 SOS 68066 HAS SOPS 68066 HAS SOUS 29443 HAS SOUPS 29443 WITH SCORE 29511.066
AT ITER 364 NEW BEST:: SOT 204336 SOS 68112 HAS SOPS 68112 HAS SOUS 29374 HAS SOUPS 29374 WITH SCORE 29442.112
AT ITER 365 NEW BEST:: SOT 204336 SOS 68112 HAS SOPS 68112 HAS SOUS 29364 HAS SOUPS 29364 WITH SCORE 29432.112
AT ITER 369 NEW BEST:: SOT 204332 SOS 68104 HAS SOPS 68104 HAS SOUS 29350 HAS SOUPS 29350 WITH SCORE 29418.104
AT ITER 370 NEW BEST:: SOT 204332 SOS 68073 HAS SOPS 68073 HAS SOUS 29350 HAS SOUPS 29350 WITH SCORE 29418.073
AT ITER 371 NEW BEST:: SOT 204056 SOS 67766 HAS SOPS 67766 HAS SOUS 29263 HAS SOUPS 29263 WITH SCORE 29330.766
AT ITER 375 NEW BEST:: SOT 203768 SOS 67447 HAS SOPS 67447 HAS SOUS 29016 HAS SOUPS 29016 WITH SCORE 29083.447
AT ITER 389 NEW BEST:: SOT 203760 SOS 67446 HAS SOPS 67446 HAS SOUS 29015 HAS SOUPS 29015 WITH SCORE 29082.446
AT ITER 416 NEW BEST:: SOT 203760 SOS 67446 HAS SOPS 67446 HAS SOUS 28993 HAS SOUPS 28993 WITH SCORE 29060.446
AT ITER 427 NEW BEST:: SOT 203760 SOS 67436 HAS SOPS 67436 HAS SOUS 28993 HAS SOUPS 28993 WITH SCORE 29060.436
AT ITER 461 NEW BEST:: SOT 203789 SOS 67386 HAS SOPS 67386 HAS SOUS 28974 HAS SOUPS 28974 WITH SCORE 29041.386
AT ITER 479 NEW BEST:: SOT 203824 SOS 69198 HAS SOPS 69198 HAS SOUS 28902 HAS SOUPS 28902 WITH SCORE 28971.198
AT ITER 482 NEW BEST:: SOT 203824 SOS 69194 HAS SOPS 69194 HAS SOUS 28898 HAS SOUPS 28898 WITH SCORE 28967.194
AT ITER 488 NEW BEST:: SOT 203801 SOS 69181 HAS SOPS 69181 HAS SOUS 28852 HAS SOUPS 28852 WITH SCORE 28921.181
AT ITER 489 NEW BEST:: SOT 203790 SOS 69159 HAS SOPS 69159 HAS SOUS 28830 HAS SOUPS 28830 WITH SCORE 28899.159
AT ITER 494 NEW BEST:: SOT 203765 SOS 69143 HAS SOPS 69143 HAS SOUS 28810 HAS SOUPS 28810 WITH SCORE 28879.143
AT ITER 513 NEW BEST:: SOT 203431 SOS 74019 HAS SOPS 74019 HAS SOUS 28659 HAS SOUPS 28659 WITH SCORE 28733.019
AT ITER 518 NEW BEST:: SOT 203405 SOS 73967 HAS SOPS 73967 HAS SOUS 28633 HAS SOUPS 28633 WITH SCORE 28706.967
AT ITER 544 NEW BEST:: SOT 203103 SOS 73609 HAS SOPS 73609 HAS SOUS 28611 HAS SOUPS 28611 WITH SCORE 28684.609
AT ITER 560 NEW BEST:: SOT 203103 SOS 73588 HAS SOPS 73588 HAS SOUS 28611 HAS SOUPS 28611 WITH SCORE 28684.588
AT ITER 561 NEW BEST:: SOT 203092 SOS 73626 HAS SOPS 73626 HAS SOUS 28583 HAS SOUPS 28583 WITH SCORE 28656.626
AT ITER 566 NEW BEST:: SOT 203118 SOS 73643 HAS SOPS 73643 HAS SOUS 28561 HAS SOUPS 28561 WITH SCORE 28634.643
AT ITER 568 NEW BEST:: SOT 203115 SOS 73637 HAS SOPS 73637 HAS SOUS 28555 HAS SOUPS 28555 WITH SCORE 28628.637
AT ITER 575 NEW BEST:: SOT 203132 SOS 73709 HAS SOPS 73709 HAS SOUS 26787 HAS SOUPS 26787 WITH SCORE 26860.709
AT ITER 585 NEW BEST:: SOT 202954 SOS 73506 HAS SOPS 73506 HAS SOUS 26760 HAS SOUPS 26760 WITH SCORE 26833.506
AT ITER 586 NEW BEST:: SOT 202998 SOS 73594 HAS SOPS 73594 HAS SOUS 25775 HAS SOUPS 25775 WITH SCORE 25848.594
AT ITER 623 NEW BEST:: SOT 202977 SOS 72376 HAS SOPS 72376 HAS SOUS 25733 HAS SOUPS 25733 WITH SCORE 25805.376
AT ITER 633 NEW BEST:: SOT 202976 SOS 72374 HAS SOPS 72374 HAS SOUS 25723 HAS SOUPS 25723 WITH SCORE 25795.374
AT ITER 665 NEW BEST:: SOT 202780 SOS 72147 HAS SOPS 72147 HAS SOUS 25622 HAS SOUPS 25622 WITH SCORE 25694.147
AT ITER 672 NEW BEST:: SOT 202754 SOS 72160 HAS SOPS 72160 HAS SOUS 25607 HAS SOUPS 25607 WITH SCORE 25679.16
AT ITER 688 NEW BEST:: SOT 202754 SOS 72157 HAS SOPS 72157 HAS SOUS 25447 HAS SOUPS 25447 WITH SCORE 25519.157
AT ITER 712 NEW BEST:: SOT 202685 SOS 72088 HAS SOPS 72088 HAS SOUS 25278 HAS SOUPS 25278 WITH SCORE 25350.088
AT ITER 714 NEW BEST:: SOT 202672 SOS 72086 HAS SOPS 72086 HAS SOUS 25276 HAS SOUPS 25276 WITH SCORE 25348.086
AT ITER 724 NEW BEST:: SOT 202667 SOS 72076 HAS SOPS 72076 HAS SOUS 25270 HAS SOUPS 25270 WITH SCORE 25342.076
AT ITER 732 NEW BEST:: SOT 202647 SOS 72036 HAS SOPS 72036 HAS SOUS 25250 HAS SOUPS 25250 WITH SCORE 25322.036
AT ITER 760 NEW BEST:: SOT 202647 SOS 72036 HAS SOPS 72036 HAS SOUS 25248 HAS SOUPS 25248 WITH SCORE 25320.036
AT ITER 763 NEW BEST:: SOT 202624 SOS 71990 HAS SOPS 71990 HAS SOUS 25202 HAS SOUPS 25202 WITH SCORE 25273.99
AT ITER 778 NEW BEST:: SOT 202623 SOS 71988 HAS SOPS 71988 HAS SOUS 25200 HAS SOUPS 25200 WITH SCORE 25271.988
AT ITER 788 NEW BEST:: SOT 202629 SOS 71995 HAS SOPS 71995 HAS SOUS 25014 HAS SOUPS 25014 WITH SCORE 25085.995
AT ITER 822 NEW BEST:: SOT 202605 SOS 71959 HAS SOPS 71959 HAS SOUS 24978 HAS SOUPS 24978 WITH SCORE 25049.959
AT ITER 828 NEW BEST:: SOT 202622 SOS 71925 HAS SOPS 71925 HAS SOUS 24961 HAS SOUPS 24961 WITH SCORE 25032.925
AT ITER 842 NEW BEST:: SOT 202571 SOS 71863 HAS SOPS 71863 HAS SOUS 24905 HAS SOUPS 24905 WITH SCORE 24976.863
AT ITER 846 NEW BEST:: SOT 202571 SOS 71851 HAS SOPS 71851 HAS SOUS 24521 HAS SOUPS 24521 WITH SCORE 24592.851
AT ITER 858 NEW BEST:: SOT 202558 SOS 71838 HAS SOPS 71838 HAS SOUS 24512 HAS SOUPS 24512 WITH SCORE 24583.838
AT ITER 860 NEW BEST:: SOT 202551 SOS 71793 HAS SOPS 71793 HAS SOUS 24493 HAS SOUPS 24493 WITH SCORE 24564.793
AT ITER 905 NEW BEST:: SOT 202539 SOS 71717 HAS SOPS 71717 HAS SOUS 24433 HAS SOUPS 24433 WITH SCORE 24504.717
AT ITER 943 NEW BEST:: SOT 202538 SOS 71715 HAS SOPS 71715 HAS SOUS 24431 HAS SOUPS 24431 WITH SCORE 24502.715
AT ITER 947 NEW BEST:: SOT 202526 SOS 71691 HAS SOPS 71691 HAS SOUS 24419 HAS SOUPS 24419 WITH SCORE 24490.691
AT ITER 969 NEW BEST:: SOT 202624 SOS 71813 HAS SOPS 71813 HAS SOUS 24384 HAS SOUPS 24384 WITH SCORE 24455.813
AT ITER 970 NEW BEST:: SOT 202627 SOS 71795 HAS SOPS 71795 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24442.795
AT ITER 971 NEW BEST:: SOT 202580 SOS 69069 HAS SOPS 69069 HAS SOUS 24277 HAS SOUPS 24277 WITH SCORE 24346.069
AT ITER 973 NEW BEST:: SOT 202577 SOS 69063 HAS SOPS 69063 HAS SOUS 24274 HAS SOUPS 24274 WITH SCORE 24343.063
AT ITER 978 NEW BEST:: SOT 202527 SOS 69063 HAS SOPS 69063 HAS SOUS 24269 HAS SOUPS 24269 WITH SCORE 24338.063
AT ITER 996 NEW BEST:: SOT 202522 SOS 69053 HAS SOPS 69053 HAS SOUS 24263 HAS SOUPS 24263 WITH SCORE 24332.053
AT ITER 1001 NEW BEST:: SOT 202530 SOS 68165 HAS SOPS 68165 HAS SOUS 24263 HAS SOUPS 24263 WITH SCORE 24331.165
AT ITER 1005 NEW BEST:: SOT 202525 SOS 68155 HAS SOPS 68155 HAS SOUS 24258 HAS SOUPS 24258 WITH SCORE 24326.155
AT ITER 1033 NEW BEST:: SOT 202525 SOS 68148 HAS SOPS 68148 HAS SOUS 24258 HAS SOUPS 24258 WITH SCORE 24326.148
AT ITER 1042 NEW BEST:: SOT 202603 SOS 68271 HAS SOPS 68271 HAS SOUS 24199 HAS SOUPS 24199 WITH SCORE 24267.271
AT ITER 1048 NEW BEST:: SOT 202585 SOS 68245 HAS SOPS 68245 HAS SOUS 24181 HAS SOUPS 24181 WITH SCORE 24249.245
AT ITER 1059 NEW BEST:: SOT 202109 SOS 67718 HAS SOPS 67718 HAS SOUS 23956 HAS SOUPS 23956 WITH SCORE 24023.718
AT ITER 1060 NEW BEST:: SOT 202109 SOS 67718 HAS SOPS 67718 HAS SOUS 23937 HAS SOUPS 23937 WITH SCORE 24004.718
AT ITER 1061 NEW BEST:: SOT 202122 SOS 67674 HAS SOPS 67674 HAS SOUS 23898 HAS SOUPS 23898 WITH SCORE 23965.674
AT ITER 1081 NEW BEST:: SOT 202080 SOS 67632 HAS SOPS 67632 HAS SOUS 23811 HAS SOUPS 23811 WITH SCORE 23878.632
AT ITER 1100 NEW BEST:: SOT 202077 SOS 67626 HAS SOPS 67626 HAS SOUS 23808 HAS SOUPS 23808 WITH SCORE 23875.626
AT ITER 1109 NEW BEST:: SOT 202053 SOS 67578 HAS SOPS 67578 HAS SOUS 23765 HAS SOUPS 23765 WITH SCORE 23832.578
AT ITER 1120 NEW BEST:: SOT 202025 SOS 67522 HAS SOPS 67522 HAS SOUS 23709 HAS SOUPS 23709 WITH SCORE 23776.522
AT ITER 1122 NEW BEST:: SOT 202023 SOS 67520 HAS SOPS 67520 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23751.52
AT ITER 1127 NEW BEST:: SOT 202014 SOS 67493 HAS SOPS 67493 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23751.493
AT ITER 1131 NEW BEST:: SOT 201996 SOS 67457 HAS SOPS 67457 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23678.457
AT ITER 1144 NEW BEST:: SOT 202014 SOS 67471 HAS SOPS 67471 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23638.471
AT ITER 1169 NEW BEST:: SOT 201992 SOS 67427 HAS SOPS 67427 HAS SOUS 23527 HAS SOUPS 23527 WITH SCORE 23594.427
AT ITER 1174 NEW BEST:: SOT 201992 SOS 67427 HAS SOPS 67427 HAS SOUS 23518 HAS SOUPS 23518 WITH SCORE 23585.427
AT ITER 1191 NEW BEST:: SOT 202000 SOS 67382 HAS SOPS 67382 HAS SOUS 23465 HAS SOUPS 23465 WITH SCORE 23532.382
AT ITER 1194 NEW BEST:: SOT 201965 SOS 67373 HAS SOPS 67373 HAS SOUS 23456 HAS SOUPS 23456 WITH SCORE 23523.373
AT ITER 1198 NEW BEST:: SOT 201960 SOS 67363 HAS SOPS 67363 HAS SOUS 23446 HAS SOUPS 23446 WITH SCORE 23513.363
AT ITER 1214 NEW BEST:: SOT 201960 SOS 67351 HAS SOPS 67351 HAS SOUS 23434 HAS SOUPS 23434 WITH SCORE 23501.351
AT ITER 1256 NEW BEST:: SOT 201937 SOS 67333 HAS SOPS 67333 HAS SOUS 23411 HAS SOUPS 23411 WITH SCORE 23478.333
AT ITER 1272 NEW BEST:: SOT 201952 SOS 67363 HAS SOPS 67363 HAS SOUS 23383 HAS SOUPS 23383 WITH SCORE 23450.363
AT ITER 1295 NEW BEST:: SOT 201952 SOS 66569 HAS SOPS 66569 HAS SOUS 23368 HAS SOUPS 23368 WITH SCORE 23434.569
AT ITER 1311 NEW BEST:: SOT 201949 SOS 66560 HAS SOPS 66560 HAS SOUS 23362 HAS SOUPS 23362 WITH SCORE 23428.56
AT ITER 1350 NEW BEST:: SOT 201853 SOS 66472 HAS SOPS 66472 HAS SOUS 23154 HAS SOUPS 23154 WITH SCORE 23220.472
AT ITER 1395 NEW BEST:: SOT 201862 SOS 66490 HAS SOPS 66490 HAS SOUS 23150 HAS SOUPS 23150 WITH SCORE 23216.49
AT ITER 1418 NEW BEST:: SOT 201651 SOS 66273 HAS SOPS 66273 HAS SOUS 22999 HAS SOUPS 22999 WITH SCORE 23065.273
AT ITER 1458 NEW BEST:: SOT 201627 SOS 66225 HAS SOPS 66225 HAS SOUS 22951 HAS SOUPS 22951 WITH SCORE 23017.225
AT ITER 1470 NEW BEST:: SOT 201555 SOS 66081 HAS SOPS 66081 HAS SOUS 22804 HAS SOUPS 22804 WITH SCORE 22870.081
AT ITER 1475 NEW BEST:: SOT 201027 SOS 65558 HAS SOPS 65558 HAS SOUS 22761 HAS SOUPS 22761 WITH SCORE 22826.558
AT ITER 1492 NEW BEST:: SOT 200893 SOS 65369 HAS SOPS 65369 HAS SOUS 22627 HAS SOUPS 22627 WITH SCORE 22692.369
AT ITER 1510 NEW BEST:: SOT 200812 SOS 65288 HAS SOPS 65288 HAS SOUS 22451 HAS SOUPS 22451 WITH SCORE 22516.288
AT ITER 1541 NEW BEST:: SOT 200828 SOS 65300 HAS SOPS 65300 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22400.3
AT ITER 1591 NEW BEST:: SOT 200828 SOS 64210 HAS SOPS 64210 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22399.21
AT ITER 1592 NEW BEST:: SOT 200828 SOS 64210 HAS SOPS 64210 HAS SOUS 22320 HAS SOUPS 22320 WITH SCORE 22384.21
AT ITER 1614 NEW BEST:: SOT 200814 SOS 64196 HAS SOPS 64196 HAS SOUS 22306 HAS SOUPS 22306 WITH SCORE 22370.196
AT ITER 1633 NEW BEST:: SOT 200797 SOS 64162 HAS SOPS 64162 HAS SOUS 22272 HAS SOUPS 22272 WITH SCORE 22336.162
AT ITER 1642 NEW BEST:: SOT 200797 SOS 64162 HAS SOPS 64162 HAS SOUS 22261 HAS SOUPS 22261 WITH SCORE 22325.162
AT ITER 1652 NEW BEST:: SOT 200751 SOS 64107 HAS SOPS 64107 HAS SOUS 22189 HAS SOUPS 22189 WITH SCORE 22253.107
AT ITER 1654 NEW BEST:: SOT 200746 SOS 64073 HAS SOPS 64073 HAS SOUS 22169 HAS SOUPS 22169 WITH SCORE 22233.073
AT ITER 1662 NEW BEST:: SOT 200738 SOS 64057 HAS SOPS 64057 HAS SOUS 22153 HAS SOUPS 22153 WITH SCORE 22217.057
AT ITER 1664 NEW BEST:: SOT 200736 SOS 64117 HAS SOPS 64117 HAS SOUS 22149 HAS SOUPS 22149 WITH SCORE 22213.117
AT ITER 1676 NEW BEST:: SOT 200698 SOS 64054 HAS SOPS 64054 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22132.054
AT ITER 1681 NEW BEST:: SOT 200689 SOS 64036 HAS SOPS 64036 HAS SOUS 22050 HAS SOUPS 22050 WITH SCORE 22114.036
AT ITER 1698 NEW BEST:: SOT 200689 SOS 64010 HAS SOPS 64010 HAS SOUS 22037 HAS SOUPS 22037 WITH SCORE 22101.01
AT ITER 1761 NEW BEST:: SOT 200676 SOS 63984 HAS SOPS 63984 HAS SOUS 22011 HAS SOUPS 22011 WITH SCORE 22074.984
AT ITER 1787 NEW BEST:: SOT 200669 SOS 63970 HAS SOPS 63970 HAS SOUS 22010 HAS SOUPS 22010 WITH SCORE 22073.97
AT ITER 1792 NEW BEST:: SOT 200645 SOS 62520 HAS SOPS 62520 HAS SOUS 21975 HAS SOUPS 21975 WITH SCORE 22037.52
AT ITER 1802 NEW BEST:: SOT 200589 SOS 62460 HAS SOPS 62460 HAS SOUS 21915 HAS SOUPS 21915 WITH SCORE 21977.46
AT ITER 1848 NEW BEST:: SOT 200383 SOS 62247 HAS SOPS 62247 HAS SOUS 21837 HAS SOUPS 21837 WITH SCORE 21899.247
AT ITER 1871 NEW BEST:: SOT 200369 SOS 62196 HAS SOPS 62196 HAS SOUS 21737 HAS SOUPS 21737 WITH SCORE 21799.196
AT ITER 1885 NEW BEST:: SOT 200359 SOS 62188 HAS SOPS 62188 HAS SOUS 21729 HAS SOUPS 21729 WITH SCORE 21791.188
AT ITER 1964 NEW BEST:: SOT 200321 SOS 60946 HAS SOPS 60946 HAS SOUS 21697 HAS SOUPS 21697 WITH SCORE 21757.946
AT ITER 1967 NEW BEST:: SOT 200304 SOS 59994 HAS SOPS 59994 HAS SOUS 21697 HAS SOUPS 21697 WITH SCORE 21756.994
AT ITER 2009 NEW BEST:: SOT 200303 SOS 60022 HAS SOPS 60022 HAS SOUS 21696 HAS SOUPS 21696 WITH SCORE 21756.022
AT ITER 2011 NEW BEST:: SOT 200055 SOS 59785 HAS SOPS 59785 HAS SOUS 21636 HAS SOUPS 21636 WITH SCORE 21695.785
AT ITER 2020 NEW BEST:: SOT 199998 SOS 59737 HAS SOPS 59737 HAS SOUS 21584 HAS SOUPS 21584 WITH SCORE 21643.737
AT ITER 2054 NEW BEST:: SOT 199942 SOS 59681 HAS SOPS 59681 HAS SOUS 21472 HAS SOUPS 21472 WITH SCORE 21531.681
AT ITER 2070 NEW BEST:: SOT 199942 SOS 59673 HAS SOPS 59673 HAS SOUS 21472 HAS SOUPS 21472 WITH SCORE 21531.673
AT ITER 2073 NEW BEST:: SOT 199938 SOS 59665 HAS SOPS 59665 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21523.665
AT ITER 2087 NEW BEST:: SOT 199939 SOS 59653 HAS SOPS 59653 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21511.653
AT ITER 2094 NEW BEST:: SOT 199939 SOS 60587 HAS SOPS 60587 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21511.587
AT ITER 2097 NEW BEST:: SOT 199919 SOS 60547 HAS SOPS 60547 HAS SOUS 21411 HAS SOUPS 21411 WITH SCORE 21471.547
AT ITER 2110 NEW BEST:: SOT 199908 SOS 60585 HAS SOPS 60585 HAS SOUS 21389 HAS SOUPS 21389 WITH SCORE 21449.585
AT ITER 2112 NEW BEST:: SOT 199908 SOS 60571 HAS SOPS 60571 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21442.571
AT ITER 2196 NEW BEST:: SOT 199904 SOS 60563 HAS SOPS 60563 HAS SOUS 21374 HAS SOUPS 21374 WITH SCORE 21434.563
AT ITER 2201 NEW BEST:: SOT 199904 SOS 60551 HAS SOPS 60551 HAS SOUS 21362 HAS SOUPS 21362 WITH SCORE 21422.551
AT ITER 2208 NEW BEST:: SOT 199904 SOS 60536 HAS SOPS 60536 HAS SOUS 21347 HAS SOUPS 21347 WITH SCORE 21407.536
AT ITER 2220 NEW BEST:: SOT 199907 SOS 60384 HAS SOPS 60384 HAS SOUS 21333 HAS SOUPS 21333 WITH SCORE 21393.384
AT ITER 2225 NEW BEST:: SOT 199907 SOS 60384 HAS SOPS 60384 HAS SOUS 21330 HAS SOUPS 21330 WITH SCORE 21390.384
AT ITER 2226 NEW BEST:: SOT 199899 SOS 60381 HAS SOPS 60381 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21374.381
AT ITER 2231 NEW BEST:: SOT 199883 SOS 59713 HAS SOPS 59713 HAS SOUS 21306 HAS SOUPS 21306 WITH SCORE 21365.713
AT ITER 2255 NEW BEST:: SOT 199830 SOS 63735 HAS SOPS 63735 HAS SOUS 21264 HAS SOUPS 21264 WITH SCORE 21327.735
AT ITER 2258 NEW BEST:: SOT 199815 SOS 63705 HAS SOPS 63705 HAS SOUS 21234 HAS SOUPS 21234 WITH SCORE 21297.705
AT ITER 2292 NEW BEST:: SOT 199810 SOS 63695 HAS SOPS 63695 HAS SOUS 21234 HAS SOUPS 21234 WITH SCORE 21297.695
AT ITER 2315 NEW BEST:: SOT 199798 SOS 65391 HAS SOPS 65391 HAS SOUS 21218 HAS SOUPS 21218 WITH SCORE 21283.391
AT ITER 2318 NEW BEST:: SOT 199796 SOS 65385 HAS SOPS 65385 HAS SOUS 21214 HAS SOUPS 21214 WITH SCORE 21279.385
AT ITER 2319 NEW BEST:: SOT 199784 SOS 65361 HAS SOPS 65361 HAS SOUS 21213 HAS SOUPS 21213 WITH SCORE 21278.361
AT ITER 2329 NEW BEST:: SOT 199775 SOS 65343 HAS SOPS 65343 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21260.343
AT ITER 2337 NEW BEST:: SOT 199775 SOS 65311 HAS SOPS 65311 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21260.311
AT ITER 2347 NEW BEST:: SOT 199760 SOS 65281 HAS SOPS 65281 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21230.281
AT ITER 2369 NEW BEST:: SOT 199760 SOS 65264 HAS SOPS 65264 HAS SOUS 21165 HAS SOUPS 21165 WITH SCORE 21230.264
AT ITER 2375 NEW BEST:: SOT 199753 SOS 65257 HAS SOPS 65257 HAS SOUS 21158 HAS SOUPS 21158 WITH SCORE 21223.257
AT ITER 2377 NEW BEST:: SOT 199746 SOS 65243 HAS SOPS 65243 HAS SOUS 21137 HAS SOUPS 21137 WITH SCORE 21202.243
AT ITER 2384 NEW BEST:: SOT 199743 SOS 65232 HAS SOPS 65232 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21200.232
AT ITER 2420 NEW BEST:: SOT 199743 SOS 65225 HAS SOPS 65225 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21200.225
AT ITER 2457 NEW BEST:: SOT 199742 SOS 65223 HAS SOPS 65223 HAS SOUS 21134 HAS SOUPS 21134 WITH SCORE 21199.223
AT ITER 2471 NEW BEST:: SOT 199741 SOS 65221 HAS SOPS 65221 HAS SOUS 21132 HAS SOUPS 21132 WITH SCORE 21197.221
AT ITER 2489 NEW BEST:: SOT 199741 SOS 65190 HAS SOPS 65190 HAS SOUS 21101 HAS SOUPS 21101 WITH SCORE 21166.19
AT ITER 2495 NEW BEST:: SOT 199701 SOS 64854 HAS SOPS 64854 HAS SOUS 21095 HAS SOUPS 21095 WITH SCORE 21159.854
AT ITER 2529 NEW BEST:: SOT 199696 SOS 64844 HAS SOPS 64844 HAS SOUS 21090 HAS SOUPS 21090 WITH SCORE 21154.844
AT ITER 2534 NEW BEST:: SOT 199693 SOS 64838 HAS SOPS 64838 HAS SOUS 21084 HAS SOUPS 21084 WITH SCORE 21148.838
AT ITER 2536 NEW BEST:: SOT 199680 SOS 64825 HAS SOPS 64825 HAS SOUS 21056 HAS SOUPS 21056 WITH SCORE 21120.825
AT ITER 2547 NEW BEST:: SOT 199673 SOS 64818 HAS SOPS 64818 HAS SOUS 21049 HAS SOUPS 21049 WITH SCORE 21113.818
AT ITER 2549 NEW BEST:: SOT 199675 SOS 64822 HAS SOPS 64822 HAS SOUS 21044 HAS SOUPS 21044 WITH SCORE 21108.822
AT ITER 2550 NEW BEST:: SOT 199678 SOS 64816 HAS SOPS 64816 HAS SOUS 21038 HAS SOUPS 21038 WITH SCORE 21102.816
AT ITER 2580 NEW BEST:: SOT 199678 SOS 64810 HAS SOPS 64810 HAS SOUS 21038 HAS SOUPS 21038 WITH SCORE 21102.81
AT ITER 2601 NEW BEST:: SOT 199672 SOS 64798 HAS SOPS 64798 HAS SOUS 21026 HAS SOUPS 21026 WITH SCORE 21090.798
AT ITER 2629 NEW BEST:: SOT 199658 SOS 64751 HAS SOPS 64751 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21057.751
AT ITER 2646 NEW BEST:: SOT 199654 SOS 64747 HAS SOPS 64747 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21057.747
AT ITER 2676 NEW BEST:: SOT 199632 SOS 64674 HAS SOPS 64674 HAS SOUS 20949 HAS SOUPS 20949 WITH SCORE 21013.674
AT ITER 2735 NEW BEST:: SOT 199630 SOS 64668 HAS SOPS 64668 HAS SOUS 20947 HAS SOUPS 20947 WITH SCORE 21011.668
AT ITER 2754 NEW BEST:: SOT 199490 SOS 64528 HAS SOPS 64528 HAS SOUS 20667 HAS SOUPS 20667 WITH SCORE 20731.528
AT ITER 2755 NEW BEST:: SOT 199490 SOS 64511 HAS SOPS 64511 HAS SOUS 20667 HAS SOUPS 20667 WITH SCORE 20731.511
AT ITER 2812 NEW BEST:: SOT 199426 SOS 64453 HAS SOPS 64453 HAS SOUS 20534 HAS SOUPS 20534 WITH SCORE 20598.453
AT ITER 2818 NEW BEST:: SOT 199422 SOS 64441 HAS SOPS 64441 HAS SOUS 20526 HAS SOUPS 20526 WITH SCORE 20590.441
AT ITER 2872 NEW BEST:: SOT 199410 SOS 64431 HAS SOPS 64431 HAS SOUS 20496 HAS SOUPS 20496 WITH SCORE 20560.431
AT ITER 2948 NEW BEST:: SOT 199194 SOS 64215 HAS SOPS 64215 HAS SOUS 20333 HAS SOUPS 20333 WITH SCORE 20397.215
AT ITER 2956 NEW BEST:: SOT 199161 SOS 64119 HAS SOPS 64119 HAS SOUS 20226 HAS SOUPS 20226 WITH SCORE 20290.119
AT ITER 2960 NEW BEST:: SOT 199166 SOS 64129 HAS SOPS 64129 HAS SOUS 20220 HAS SOUPS 20220 WITH SCORE 20284.129
AT ITER 2994 NEW BEST:: SOT 199166 SOS 64119 HAS SOPS 64119 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20274.119
AT ITER 3089 NEW BEST:: SOT 199166 SOS 64094 HAS SOPS 64094 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20274.094
AT ITER 3095 NEW BEST:: SOT 199166 SOS 64072 HAS SOPS 64072 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20274.072
AT ITER 3102 NEW BEST:: SOT 199166 SOS 64069 HAS SOPS 64069 HAS SOUS 20207 HAS SOUPS 20207 WITH SCORE 20271.069
AT ITER 3107 NEW BEST:: SOT 199146 SOS 64041 HAS SOPS 64041 HAS SOUS 20187 HAS SOUPS 20187 WITH SCORE 20251.041
AT ITER 3110 NEW BEST:: SOT 199142 SOS 64033 HAS SOPS 64033 HAS SOUS 20172 HAS SOUPS 20172 WITH SCORE 20236.033
AT ITER 3117 NEW BEST:: SOT 199143 SOS 64018 HAS SOPS 64018 HAS SOUS 19851 HAS SOUPS 19851 WITH SCORE 19915.018
AT ITER 3125 NEW BEST:: SOT 199135 SOS 64002 HAS SOPS 64002 HAS SOUS 19835 HAS SOUPS 19835 WITH SCORE 19899.002
AT ITER 3145 NEW BEST:: SOT 199130 SOS 64013 HAS SOPS 64013 HAS SOUS 19834 HAS SOUPS 19834 WITH SCORE 19898.013
AT ITER 3189 NEW BEST:: SOT 199130 SOS 64034 HAS SOPS 64034 HAS SOUS 19829 HAS SOUPS 19829 WITH SCORE 19893.034
AT ITER 3198 NEW BEST:: SOT 199120 SOS 64019 HAS SOPS 64019 HAS SOUS 19814 HAS SOUPS 19814 WITH SCORE 19878.019
AT ITER 3237 NEW BEST:: SOT 199120 SOS 64006 HAS SOPS 64006 HAS SOUS 19814 HAS SOUPS 19814 WITH SCORE 19878.006
AT ITER 3245 NEW BEST:: SOT 199120 SOS 64006 HAS SOPS 64006 HAS SOUS 19811 HAS SOUPS 19811 WITH SCORE 19875.006
AT ITER 3256 NEW BEST:: SOT 199119 SOS 64017 HAS SOPS 64017 HAS SOUS 19809 HAS SOUPS 19809 WITH SCORE 19873.017
AT ITER 3263 NEW BEST:: SOT 199114 SOS 64007 HAS SOPS 64007 HAS SOUS 19799 HAS SOUPS 19799 WITH SCORE 19863.007
AT ITER 3265 NEW BEST:: SOT 199111 SOS 64004 HAS SOPS 64004 HAS SOUS 19796 HAS SOUPS 19796 WITH SCORE 19860.004
AT ITER 3268 NEW BEST:: SOT 199111 SOS 64004 HAS SOPS 64004 HAS SOUS 19795 HAS SOUPS 19795 WITH SCORE 19859.004
AT ITER 3341 NEW BEST:: SOT 199122 SOS 64015 HAS SOPS 64015 HAS SOUS 19793 HAS SOUPS 19793 WITH SCORE 19857.015
AT ITER 3345 NEW BEST:: SOT 199149 SOS 69591 HAS SOPS 69591 HAS SOUS 19764 HAS SOUPS 19764 WITH SCORE 19833.591
AT ITER 3447 NEW BEST:: SOT 199149 SOS 69587 HAS SOPS 69587 HAS SOUS 19762 HAS SOUPS 19762 WITH SCORE 19831.587
AT ITER 3477 NEW BEST:: SOT 199162 SOS 69535 HAS SOPS 69535 HAS SOUS 19740 HAS SOUPS 19740 WITH SCORE 19809.535
AT ITER 3488 NEW BEST:: SOT 199162 SOS 69532 HAS SOPS 69532 HAS SOUS 19740 HAS SOUPS 19740 WITH SCORE 19809.532
AT ITER 3508 NEW BEST:: SOT 199153 SOS 69532 HAS SOPS 69532 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19800.532
AT ITER 3596 NEW BEST:: SOT 199153 SOS 69529 HAS SOPS 69529 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19800.529
AT ITER 3687 NEW BEST:: SOT 199136 SOS 69521 HAS SOPS 69521 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19788.521
AT ITER 3701 NEW BEST:: SOT 199134 SOS 69548 HAS SOPS 69548 HAS SOUS 19717 HAS SOUPS 19717 WITH SCORE 19786.548
AT ITER 3702 NEW BEST:: SOT 199131 SOS 69539 HAS SOPS 69539 HAS SOUS 19708 HAS SOUPS 19708 WITH SCORE 19777.539
AT ITER 3712 NEW BEST:: SOT 199131 SOS 69509 HAS SOPS 69509 HAS SOUS 19708 HAS SOUPS 19708 WITH SCORE 19777.509
AT ITER 3747 NEW BEST:: SOT 199131 SOS 69500 HAS SOPS 69500 HAS SOUS 19699 HAS SOUPS 19699 WITH SCORE 19768.5
AT ITER 3763 NEW BEST:: SOT 199136 SOS 69510 HAS SOPS 69510 HAS SOUS 19668 HAS SOUPS 19668 WITH SCORE 19737.51
AT ITER 3767 NEW BEST:: SOT 199133 SOS 69445 HAS SOPS 69445 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19731.445
AT ITER 3774 NEW BEST:: SOT 199126 SOS 69431 HAS SOPS 69431 HAS SOUS 19655 HAS SOUPS 19655 WITH SCORE 19724.431
AT ITER 3789 NEW BEST:: SOT 199121 SOS 69430 HAS SOPS 69430 HAS SOUS 19645 HAS SOUPS 19645 WITH SCORE 19714.43
AT ITER 3834 NEW BEST:: SOT 199082 SOS 69316 HAS SOPS 69316 HAS SOUS 19642 HAS SOUPS 19642 WITH SCORE 19711.316
AT ITER 3854 NEW BEST:: SOT 199063 SOS 69310 HAS SOPS 69310 HAS SOUS 19495 HAS SOUPS 19495 WITH SCORE 19564.31
AT ITER 3862 NEW BEST:: SOT 199031 SOS 69274 HAS SOPS 69274 HAS SOUS 19433 HAS SOUPS 19433 WITH SCORE 19502.274
AT ITER 3878 NEW BEST:: SOT 198775 SOS 69002 HAS SOPS 69002 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19328.002
AT ITER 3881 NEW BEST:: SOT 198765 SOS 68982 HAS SOPS 68982 HAS SOUS 19239 HAS SOUPS 19239 WITH SCORE 19307.982
AT ITER 3892 NEW BEST:: SOT 198764 SOS 68980 HAS SOPS 68980 HAS SOUS 19237 HAS SOUPS 19237 WITH SCORE 19305.98
AT ITER 3911 NEW BEST:: SOT 198764 SOS 68980 HAS SOPS 68980 HAS SOUS 19234 HAS SOUPS 19234 WITH SCORE 19302.98
AT ITER 3981 NEW BEST:: SOT 198760 SOS 68972 HAS SOPS 68972 HAS SOUS 19224 HAS SOUPS 19224 WITH SCORE 19292.972
AT ITER 4002 NEW BEST:: SOT 198760 SOS 68966 HAS SOPS 68966 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19286.966
AT ITER 4065 NEW BEST:: SOT 198741 SOS 68964 HAS SOPS 68964 HAS SOUS 19216 HAS SOUPS 19216 WITH SCORE 19284.964
AT ITER 4111 NEW BEST:: SOT 198731 SOS 68955 HAS SOPS 68955 HAS SOUS 19207 HAS SOUPS 19207 WITH SCORE 19275.955
AT ITER 4160 NEW BEST:: SOT 198731 SOS 68940 HAS SOPS 68940 HAS SOUS 19207 HAS SOUPS 19207 WITH SCORE 19275.94
AT ITER 4192 NEW BEST:: SOT 198707 SOS 68928 HAS SOPS 68928 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19263.928
AT ITER 4198 NEW BEST:: SOT 198695 SOS 68894 HAS SOPS 68894 HAS SOUS 19161 HAS SOUPS 19161 WITH SCORE 19229.894
AT ITER 4208 NEW BEST:: SOT 198681 SOS 65562 HAS SOPS 65562 HAS SOUS 19133 HAS SOUPS 19133 WITH SCORE 19198.562
AT ITER 4215 NEW BEST:: SOT 198681 SOS 65524 HAS SOPS 65524 HAS SOUS 19133 HAS SOUPS 19133 WITH SCORE 19198.524
AT ITER 4236 NEW BEST:: SOT 198681 SOS 65460 HAS SOPS 65460 HAS SOUS 19133 HAS SOUPS 19133 WITH SCORE 19198.46
AT ITER 4269 NEW BEST:: SOT 198648 SOS 65476 HAS SOPS 65476 HAS SOUS 19043 HAS SOUPS 19043 WITH SCORE 19108.476
AT ITER 4285 NEW BEST:: SOT 198647 SOS 65474 HAS SOPS 65474 HAS SOUS 19041 HAS SOUPS 19041 WITH SCORE 19106.474
AT ITER 4299 NEW BEST:: SOT 198647 SOS 65474 HAS SOPS 65474 HAS SOUS 19039 HAS SOUPS 19039 WITH SCORE 19104.474
AT ITER 4304 NEW BEST:: SOT 198619 SOS 65446 HAS SOPS 65446 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19046.446
AT ITER 4341 NEW BEST:: SOT 198628 SOS 65436 HAS SOPS 65436 HAS SOUS 18976 HAS SOUPS 18976 WITH SCORE 19041.436
AT ITER 4344 NEW BEST:: SOT 198622 SOS 65430 HAS SOPS 65430 HAS SOUS 18955 HAS SOUPS 18955 WITH SCORE 19020.43
AT ITER 4411 NEW BEST:: SOT 198622 SOS 65422 HAS SOPS 65422 HAS SOUS 18947 HAS SOUPS 18947 WITH SCORE 19012.422
AT ITER 4413 NEW BEST:: SOT 198617 SOS 65417 HAS SOPS 65417 HAS SOUS 18943 HAS SOUPS 18943 WITH SCORE 19008.417
AT ITER 4467 NEW BEST:: SOT 198617 SOS 65417 HAS SOPS 65417 HAS SOUS 18930 HAS SOUPS 18930 WITH SCORE 18995.417
AT ITER 4588 NEW BEST:: SOT 198617 SOS 65399 HAS SOPS 65399 HAS SOUS 18909 HAS SOUPS 18909 WITH SCORE 18974.399
AT ITER 4609 NEW BEST:: SOT 198617 SOS 65399 HAS SOPS 65399 HAS SOUS 18899 HAS SOUPS 18899 WITH SCORE 18964.399
AT ITER 4631 NEW BEST:: SOT 198575 SOS 65370 HAS SOPS 65370 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18880.37
AT ITER 4655 NEW BEST:: SOT 198562 SOS 65344 HAS SOPS 65344 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18854.344
AT ITER 4700 NEW BEST:: SOT 198562 SOS 65331 HAS SOPS 65331 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18854.331
AT ITER 4702 NEW BEST:: SOT 198552 SOS 65331 HAS SOPS 65331 HAS SOUS 18779 HAS SOUPS 18779 WITH SCORE 18844.331
AT ITER 4726 NEW BEST:: SOT 198538 SOS 65303 HAS SOPS 65303 HAS SOUS 18751 HAS SOUPS 18751 WITH SCORE 18816.303
AT ITER 4728 NEW BEST:: SOT 198538 SOS 65301 HAS SOPS 65301 HAS SOUS 18750 HAS SOUPS 18750 WITH SCORE 18815.301
AT ITER 4729 NEW BEST:: SOT 198537 SOS 65299 HAS SOPS 65299 HAS SOUS 18748 HAS SOUPS 18748 WITH SCORE 18813.299
AT ITER 4744 NEW BEST:: SOT 198511 SOS 65275 HAS SOPS 65275 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18759.275
AT ITER 4750 NEW BEST:: SOT 198520 SOS 65273 HAS SOPS 65273 HAS SOUS 18686 HAS SOUPS 18686 WITH SCORE 18751.273
AT ITER 4769 NEW BEST:: SOT 198526 SOS 65269 HAS SOPS 65269 HAS SOUS 18676 HAS SOUPS 18676 WITH SCORE 18741.269
AT ITER 4795 NEW BEST:: SOT 198472 SOS 65215 HAS SOPS 65215 HAS SOUS 18622 HAS SOUPS 18622 WITH SCORE 18687.215
AT ITER 4824 NEW BEST:: SOT 198448 SOS 65176 HAS SOPS 65176 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18666.176
AT ITER 4833 NEW BEST:: SOT 198430 SOS 65169 HAS SOPS 65169 HAS SOUS 18594 HAS SOUPS 18594 WITH SCORE 18659.169
AT ITER 4969 NEW BEST:: SOT 198417 SOS 65143 HAS SOPS 65143 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18633.143
AT ITER 4982 NEW BEST:: SOT 198417 SOS 65122 HAS SOPS 65122 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18633.122
AT ITER 5038 NEW BEST:: SOT 198403 SOS 65109 HAS SOPS 65109 HAS SOUS 18540 HAS SOUPS 18540 WITH SCORE 18605.109
AT ITER 5074 NEW BEST:: SOT 198384 SOS 65096 HAS SOPS 65096 HAS SOUS 18363 HAS SOUPS 18363 WITH SCORE 18428.096
AT ITER 5085 NEW BEST:: SOT 198355 SOS 65127 HAS SOPS 65127 HAS SOUS 18305 HAS SOUPS 18305 WITH SCORE 18370.127
AT ITER 5163 NEW BEST:: SOT 198340 SOS 65112 HAS SOPS 65112 HAS SOUS 18290 HAS SOUPS 18290 WITH SCORE 18355.112
AT ITER 5210 NEW BEST:: SOT 198339 SOS 65106 HAS SOPS 65106 HAS SOUS 18288 HAS SOUPS 18288 WITH SCORE 18353.106
AT ITER 5239 NEW BEST:: SOT 198344 SOS 65106 HAS SOPS 65106 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18351.106
AT ITER 5261 NEW BEST:: SOT 198344 SOS 65106 HAS SOPS 65106 HAS SOUS 18284 HAS SOUPS 18284 WITH SCORE 18349.106
AT ITER 5265 NEW BEST:: SOT 198333 SOS 65095 HAS SOPS 65095 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18326.095
AT ITER 5277 NEW BEST:: SOT 198312 SOS 65032 HAS SOPS 65032 HAS SOUS 18219 HAS SOUPS 18219 WITH SCORE 18284.032
AT ITER 5296 NEW BEST:: SOT 198304 SOS 65020 HAS SOPS 65020 HAS SOUS 18207 HAS SOUPS 18207 WITH SCORE 18272.02
AT ITER 5298 NEW BEST:: SOT 198307 SOS 65030 HAS SOPS 65030 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18260.03
AT ITER 5305 NEW BEST:: SOT 198349 SOS 65083 HAS SOPS 65083 HAS SOUS 18109 HAS SOUPS 18109 WITH SCORE 18174.083
AT ITER 5313 NEW BEST:: SOT 198337 SOS 64865 HAS SOPS 64865 HAS SOUS 18100 HAS SOUPS 18100 WITH SCORE 18164.865
AT ITER 5343 NEW BEST:: SOT 198336 SOS 64856 HAS SOPS 64856 HAS SOUS 18095 HAS SOUPS 18095 WITH SCORE 18159.856
AT ITER 5349 NEW BEST:: SOT 198328 SOS 64844 HAS SOPS 64844 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18151.844
AT ITER 5366 NEW BEST:: SOT 198277 SOS 64742 HAS SOPS 64742 HAS SOUS 18043 HAS SOUPS 18043 WITH SCORE 18107.742
AT ITER 5368 NEW BEST:: SOT 198277 SOS 64735 HAS SOPS 64735 HAS SOUS 18036 HAS SOUPS 18036 WITH SCORE 18100.735
AT ITER 5416 NEW BEST:: SOT 198276 SOS 64731 HAS SOPS 64731 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18096.731
AT ITER 5469 NEW BEST:: SOT 198260 SOS 64716 HAS SOPS 64716 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18080.716
AT ITER 5487 NEW BEST:: SOT 198259 SOS 64715 HAS SOPS 64715 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18079.715
AT ITER 5511 NEW BEST:: SOT 198260 SOS 64693 HAS SOPS 64693 HAS SOUS 17993 HAS SOUPS 17993 WITH SCORE 18057.693
AT ITER 5589 NEW BEST:: SOT 198254 SOS 64687 HAS SOPS 64687 HAS SOUS 17987 HAS SOUPS 17987 WITH SCORE 18051.687
AT ITER 5644 NEW BEST:: SOT 198237 SOS 64653 HAS SOPS 64653 HAS SOUS 17953 HAS SOUPS 17953 WITH SCORE 18017.653
AT ITER 5686 NEW BEST:: SOT 198229 SOS 64653 HAS SOPS 64653 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 18010.653
AT ITER 5693 NEW BEST:: SOT 198229 SOS 64648 HAS SOPS 64648 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 18010.648
AT ITER 5794 NEW BEST:: SOT 198153 SOS 64572 HAS SOPS 64572 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17906.572
AT ITER 5802 NEW BEST:: SOT 198153 SOS 64571 HAS SOPS 64571 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17905.571
AT ITER 5806 NEW BEST:: SOT 198151 SOS 64567 HAS SOPS 64567 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17905.567
AT ITER 5807 NEW BEST:: SOT 198140 SOS 64556 HAS SOPS 64556 HAS SOUS 17830 HAS SOUPS 17830 WITH SCORE 17894.556
AT ITER 5898 NEW BEST:: SOT 198138 SOS 64552 HAS SOPS 64552 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17890.552
AT ITER 5931 NEW BEST:: SOT 198137 SOS 64550 HAS SOPS 64550 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17889.55
AT ITER 5956 NEW BEST:: SOT 198137 SOS 64550 HAS SOPS 64550 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17881.55
AT ITER 5962 NEW BEST:: SOT 198117 SOS 64549 HAS SOPS 64549 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17875.549
AT ITER 6008 NEW BEST:: SOT 198081 SOS 64499 HAS SOPS 64499 HAS SOUS 17783 HAS SOUPS 17783 WITH SCORE 17847.499
AT ITER 6110 NEW BEST:: SOT 198024 SOS 63883 HAS SOPS 63883 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17802.883
AT ITER 6120 NEW BEST:: SOT 197954 SOS 63813 HAS SOPS 63813 HAS SOUS 17600 HAS SOUPS 17600 WITH SCORE 17663.813
AT ITER 6146 NEW BEST:: SOT 197956 SOS 63811 HAS SOPS 63811 HAS SOUS 17598 HAS SOUPS 17598 WITH SCORE 17661.811
AT ITER 6156 NEW BEST:: SOT 197944 SOS 63740 HAS SOPS 63740 HAS SOUS 17563 HAS SOUPS 17563 WITH SCORE 17626.74
AT ITER 6166 NEW BEST:: SOT 197935 SOS 63722 HAS SOPS 63722 HAS SOUS 17545 HAS SOUPS 17545 WITH SCORE 17608.722
AT ITER 6172 NEW BEST:: SOT 197934 SOS 63720 HAS SOPS 63720 HAS SOUS 17543 HAS SOUPS 17543 WITH SCORE 17606.72
AT ITER 6198 NEW BEST:: SOT 197936 SOS 63710 HAS SOPS 63710 HAS SOUS 17540 HAS SOUPS 17540 WITH SCORE 17603.71
AT ITER 6199 NEW BEST:: SOT 197934 SOS 63706 HAS SOPS 63706 HAS SOUS 17536 HAS SOUPS 17536 WITH SCORE 17599.706
AT ITER 6206 NEW BEST:: SOT 197922 SOS 63754 HAS SOPS 63754 HAS SOUS 17505 HAS SOUPS 17505 WITH SCORE 17568.754
AT ITER 6229 NEW BEST:: SOT 197897 SOS 63727 HAS SOPS 63727 HAS SOUS 17493 HAS SOUPS 17493 WITH SCORE 17556.727
AT ITER 6283 NEW BEST:: SOT 197895 SOS 63733 HAS SOPS 63733 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17552.733
AT ITER 6300 NEW BEST:: SOT 197895 SOS 63734 HAS SOPS 63734 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17538.734
AT ITER 6304 NEW BEST:: SOT 197896 SOS 63719 HAS SOPS 63719 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17531.719
AT ITER 6315 NEW BEST:: SOT 197878 SOS 63701 HAS SOPS 63701 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17513.701
AT ITER 6349 NEW BEST:: SOT 197875 SOS 63698 HAS SOPS 63698 HAS SOUS 17441 HAS SOUPS 17441 WITH SCORE 17504.698
AT ITER 6382 NEW BEST:: SOT 197716 SOS 63502 HAS SOPS 63502 HAS SOUS 17431 HAS SOUPS 17431 WITH SCORE 17494.502
AT ITER 6415 NEW BEST:: SOT 197713 SOS 63496 HAS SOPS 63496 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17488.496
AT ITER 6421 NEW BEST:: SOT 197729 SOS 63505 HAS SOPS 63505 HAS SOUS 17418 HAS SOUPS 17418 WITH SCORE 17481.505
AT ITER 6436 NEW BEST:: SOT 197723 SOS 63883 HAS SOPS 63883 HAS SOUS 17415 HAS SOUPS 17415 WITH SCORE 17478.883
AT ITER 6474 NEW BEST:: SOT 197709 SOS 63855 HAS SOPS 63855 HAS SOUS 17387 HAS SOUPS 17387 WITH SCORE 17450.855
AT ITER 6575 NEW BEST:: SOT 197709 SOS 63851 HAS SOPS 63851 HAS SOUS 17387 HAS SOUPS 17387 WITH SCORE 17450.851
AT ITER 6612 NEW BEST:: SOT 197683 SOS 63779 HAS SOPS 63779 HAS SOUS 17355 HAS SOUPS 17355 WITH SCORE 17418.779
AT ITER 6624 NEW BEST:: SOT 197680 SOS 63773 HAS SOPS 63773 HAS SOUS 17349 HAS SOUPS 17349 WITH SCORE 17412.773
AT ITER 6757 NEW BEST:: SOT 197680 SOS 63113 HAS SOPS 63113 HAS SOUS 17349 HAS SOUPS 17349 WITH SCORE 17412.113
AT ITER 6760 NEW BEST:: SOT 197675 SOS 63103 HAS SOPS 63103 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17402.103
AT ITER 6795 NEW BEST:: SOT 197659 SOS 63040 HAS SOPS 63040 HAS SOUS 17292 HAS SOUPS 17292 WITH SCORE 17355.04
AT ITER 6885 NEW BEST:: SOT 197651 SOS 63024 HAS SOPS 63024 HAS SOUS 17266 HAS SOUPS 17266 WITH SCORE 17329.024
AT ITER 6922 NEW BEST:: SOT 197647 SOS 63016 HAS SOPS 63016 HAS SOUS 17258 HAS SOUPS 17258 WITH SCORE 17321.016
AT ITER 7008 NEW BEST:: SOT 197591 SOS 62428 HAS SOPS 62428 HAS SOUS 17249 HAS SOUPS 17249 WITH SCORE 17311.428
AT ITER 7089 NEW BEST:: SOT 197591 SOS 62428 HAS SOPS 62428 HAS SOUS 17248 HAS SOUPS 17248 WITH SCORE 17310.428
AT ITER 7105 NEW BEST:: SOT 197588 SOS 62419 HAS SOPS 62419 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17307.419
AT ITER 7161 NEW BEST:: SOT 197546 SOS 62335 HAS SOPS 62335 HAS SOUS 17203 HAS SOUPS 17203 WITH SCORE 17265.335
AT ITER 7165 NEW BEST:: SOT 197431 SOS 62226 HAS SOPS 62226 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17184.226
AT ITER 7170 NEW BEST:: SOT 197431 SOS 62169 HAS SOPS 62169 HAS SOUS 17110 HAS SOUPS 17110 WITH SCORE 17172.169
AT ITER 7185 NEW BEST:: SOT 197407 SOS 62121 HAS SOPS 62121 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17148.121
AT ITER 7190 NEW BEST:: SOT 197400 SOS 62100 HAS SOPS 62100 HAS SOUS 17065 HAS SOUPS 17065 WITH SCORE 17127.1
AT ITER 7199 NEW BEST:: SOT 197398 SOS 62096 HAS SOPS 62096 HAS SOUS 17063 HAS SOUPS 17063 WITH SCORE 17125.096
AT ITER 7208 NEW BEST:: SOT 197385 SOS 62070 HAS SOPS 62070 HAS SOUS 17037 HAS SOUPS 17037 WITH SCORE 17099.07
AT ITER 7216 NEW BEST:: SOT 197380 SOS 62065 HAS SOPS 62065 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17094.065
AT ITER 7282 NEW BEST:: SOT 197373 SOS 62051 HAS SOPS 62051 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17093.051
AT ITER 7296 NEW BEST:: SOT 197372 SOS 62037 HAS SOPS 62037 HAS SOUS 17029 HAS SOUPS 17029 WITH SCORE 17091.037
AT ITER 7407 NEW BEST:: SOT 197365 SOS 62037 HAS SOPS 62037 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17081.037
AT ITER 7418 NEW BEST:: SOT 197355 SOS 62036 HAS SOPS 62036 HAS SOUS 17018 HAS SOUPS 17018 WITH SCORE 17080.036
AT ITER 7430 NEW BEST:: SOT 197252 SOS 61906 HAS SOPS 61906 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16979.906
AT ITER 7433 NEW BEST:: SOT 197246 SOS 61894 HAS SOPS 61894 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16966.894
AT ITER 7470 NEW BEST:: SOT 197248 SOS 61890 HAS SOPS 61890 HAS SOUS 16841 HAS SOUPS 16841 WITH SCORE 16902.89
AT ITER 7633 NEW BEST:: SOT 197238 SOS 61846 HAS SOPS 61846 HAS SOUS 16831 HAS SOUPS 16831 WITH SCORE 16892.846
AT ITER 7696 NEW BEST:: SOT 197237 SOS 61844 HAS SOPS 61844 HAS SOUS 16829 HAS SOUPS 16829 WITH SCORE 16890.844
AT ITER 7743 NEW BEST:: SOT 197239 SOS 61848 HAS SOPS 61848 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16860.848
AT ITER 7744 NEW BEST:: SOT 197237 SOS 61844 HAS SOPS 61844 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16860.844
AT ITER 7825 NEW BEST:: SOT 197226 SOS 61828 HAS SOPS 61828 HAS SOUS 16783 HAS SOUPS 16783 WITH SCORE 16844.828
AT ITER 7847 NEW BEST:: SOT 197217 SOS 61828 HAS SOPS 61828 HAS SOUS 16774 HAS SOUPS 16774 WITH SCORE 16835.828
AT ITER 7865 NEW BEST:: SOT 197226 SOS 61846 HAS SOPS 61846 HAS SOUS 16727 HAS SOUPS 16727 WITH SCORE 16788.846
AT ITER 7896 NEW BEST:: SOT 197217 SOS 61814 HAS SOPS 61814 HAS SOUS 16709 HAS SOUPS 16709 WITH SCORE 16770.814
AT ITER 7904 NEW BEST:: SOT 197214 SOS 61808 HAS SOPS 61808 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16764.808
AT ITER 7908 NEW BEST:: SOT 197212 SOS 61806 HAS SOPS 61806 HAS SOUS 16701 HAS SOUPS 16701 WITH SCORE 16762.806
AT ITER 7919 NEW BEST:: SOT 197210 SOS 61802 HAS SOPS 61802 HAS SOUS 16697 HAS SOUPS 16697 WITH SCORE 16758.802
AT ITER 7933 NEW BEST:: SOT 197200 SOS 61792 HAS SOPS 61792 HAS SOUS 16697 HAS SOUPS 16697 WITH SCORE 16758.792
AT ITER 7937 NEW BEST:: SOT 197207 SOS 61794 HAS SOPS 61794 HAS SOUS 16696 HAS SOUPS 16696 WITH SCORE 16757.794
AT ITER 7949 NEW BEST:: SOT 197207 SOS 61782 HAS SOPS 61782 HAS SOUS 16696 HAS SOUPS 16696 WITH SCORE 16757.782
AT ITER 8048 NEW BEST:: SOT 197201 SOS 61782 HAS SOPS 61782 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16755.782
AT ITER 8080 NEW BEST:: SOT 197219 SOS 61770 HAS SOPS 61770 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16714.77
AT ITER 8113 NEW BEST:: SOT 197219 SOS 61781 HAS SOPS 61781 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16703.781
AT ITER 8168 NEW BEST:: SOT 197213 SOS 61775 HAS SOPS 61775 HAS SOUS 16630 HAS SOUPS 16630 WITH SCORE 16691.775
AT ITER 8178 NEW BEST:: SOT 197211 SOS 61771 HAS SOPS 61771 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16687.771
AT ITER 8268 NEW BEST:: SOT 197211 SOS 61771 HAS SOPS 61771 HAS SOUS 16609 HAS SOUPS 16609 WITH SCORE 16670.771
AT ITER 8284 NEW BEST:: SOT 197206 SOS 61761 HAS SOPS 61761 HAS SOUS 16599 HAS SOUPS 16599 WITH SCORE 16660.761
AT ITER 8413 NEW BEST:: SOT 197196 SOS 61731 HAS SOPS 61731 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16650.731
AT ITER 8490 NEW BEST:: SOT 197264 SOS 61715 HAS SOPS 61715 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16642.715
AT ITER 8581 NEW BEST:: SOT 197284 SOS 61742 HAS SOPS 61742 HAS SOUS 16548 HAS SOUPS 16548 WITH SCORE 16609.742
AT ITER 8639 NEW BEST:: SOT 197287 SOS 61748 HAS SOPS 61748 HAS SOUS 16543 HAS SOUPS 16543 WITH SCORE 16604.748
AT ITER 8646 NEW BEST:: SOT 197284 SOS 61742 HAS SOPS 61742 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16598.742
AT ITER 8682 NEW BEST:: SOT 197284 SOS 61730 HAS SOPS 61730 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16598.73
AT ITER 8725 NEW BEST:: SOT 197276 SOS 61714 HAS SOPS 61714 HAS SOUS 16521 HAS SOUPS 16521 WITH SCORE 16582.714
AT ITER 8770 NEW BEST:: SOT 197259 SOS 61716 HAS SOPS 61716 HAS SOUS 16512 HAS SOUPS 16512 WITH SCORE 16573.716
AT ITER 8787 NEW BEST:: SOT 197259 SOS 61716 HAS SOPS 61716 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16568.716
AT ITER 8821 NEW BEST:: SOT 197271 SOS 61740 HAS SOPS 61740 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16545.74
AT ITER 8831 NEW BEST:: SOT 197247 SOS 61728 HAS SOPS 61728 HAS SOUS 16472 HAS SOUPS 16472 WITH SCORE 16533.728
AT ITER 8863 NEW BEST:: SOT 197198 SOS 61720 HAS SOPS 61720 HAS SOUS 16411 HAS SOUPS 16411 WITH SCORE 16472.72
AT ITER 8893 NEW BEST:: SOT 197193 SOS 61704 HAS SOPS 61704 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16462.704
AT ITER 9036 NEW BEST:: SOT 197191 SOS 59444 HAS SOPS 59444 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16453.444
AT ITER 9077 NEW BEST:: SOT 197203 SOS 59456 HAS SOPS 59456 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16451.456
AT ITER 9091 NEW BEST:: SOT 197203 SOS 59455 HAS SOPS 59455 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16448.455
AT ITER 9119 NEW BEST:: SOT 197201 SOS 59451 HAS SOPS 59451 HAS SOUS 16387 HAS SOUPS 16387 WITH SCORE 16446.451
AT ITER 9164 NEW BEST:: SOT 197205 SOS 59463 HAS SOPS 59463 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16445.463
AT ITER 9196 NEW BEST:: SOT 197204 SOS 59461 HAS SOPS 59461 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16443.461
AT ITER 9255 NEW BEST:: SOT 197200 SOS 59435 HAS SOPS 59435 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16417.435
AT ITER 9335 NEW BEST:: SOT 197196 SOS 59431 HAS SOPS 59431 HAS SOUS 16354 HAS SOUPS 16354 WITH SCORE 16413.431
AT ITER 9360 NEW BEST:: SOT 197188 SOS 59415 HAS SOPS 59415 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16397.415
AT ITER 9435 NEW BEST:: SOT 197188 SOS 59413 HAS SOPS 59413 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16395.413
AT ITER 9497 NEW BEST:: SOT 197103 SOS 59399 HAS SOPS 59399 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16359.399
AT ITER 9584 NEW BEST:: SOT 197162 SOS 59445 HAS SOPS 59445 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16348.445
AT ITER 9650 NEW BEST:: SOT 197150 SOS 59477 HAS SOPS 59477 HAS SOUS 16267 HAS SOUPS 16267 WITH SCORE 16326.477
AT ITER 9676 NEW BEST:: SOT 197146 SOS 59465 HAS SOPS 59465 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16318.465
AT ITER 9679 NEW BEST:: SOT 197138 SOS 59457 HAS SOPS 59457 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16302.457
AT ITER 9719 NEW BEST:: SOT 197192 SOS 59481 HAS SOPS 59481 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16215.481
AT ITER 9758 NEW BEST:: SOT 197163 SOS 59440 HAS SOPS 59440 HAS SOUS 16124 HAS SOUPS 16124 WITH SCORE 16183.44
AT ITER 9843 NEW BEST:: SOT 197160 SOS 59437 HAS SOPS 59437 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16177.437
AT ITER 9851 NEW BEST:: SOT 197161 SOS 59439 HAS SOPS 59439 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16171.439
AT ITER 9876 NEW BEST:: SOT 197142 SOS 59420 HAS SOPS 59420 HAS SOUS 16093 HAS SOUPS 16093 WITH SCORE 16152.42
AT ITER 9952 NEW BEST:: SOT 197142 SOS 59420 HAS SOPS 59420 HAS SOUS 16090 HAS SOUPS 16090 WITH SCORE 16149.42
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 2382088 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16120708 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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ 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="AutonomousCar-PT-07b"
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 AutonomousCar-PT-07b, 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-167813600500640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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