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.r203-smll-167840349100080.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is GPUForwardProgress-PT-20b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349100080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 14:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 14:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 14:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 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 103K 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 1678528797865

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=GPUForwardProgress-PT-20b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 10:00:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 10:00:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 10:00:01] [INFO ] Load time of PNML (sax parser for PT used): 140 ms
[2023-03-11 10:00:01] [INFO ] Transformed 416 places.
[2023-03-11 10:00:01] [INFO ] Transformed 437 transitions.
[2023-03-11 10:00:01] [INFO ] Found NUPN structural information;
[2023-03-11 10:00:01] [INFO ] Parsed PT model containing 416 places and 437 transitions and 1077 arcs in 332 ms.
[2023-03-11 10:00:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 416 places, 437 transitions and 1077 arcs took 10 ms.
Total runtime 386 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 20b
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: 416 places, 437 transitions, 1077 arcs.
AT ITER 0 NEW BEST:: SOT 102446 SOS 28811 HAS SOPS 28811 HAS SOUS 26288 HAS SOUPS 26288 WITH SCORE 26316.811
AT ITER 9 NEW BEST:: SOT 102446 SOS 28802 HAS SOPS 28802 HAS SOUS 26279 HAS SOUPS 26279 WITH SCORE 26307.802
AT ITER 23 NEW BEST:: SOT 102446 SOS 28743 HAS SOPS 28743 HAS SOUS 26279 HAS SOUPS 26279 WITH SCORE 26307.743
AT ITER 34 NEW BEST:: SOT 102395 SOS 28681 HAS SOPS 28681 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26256.681
AT ITER 41 NEW BEST:: SOT 102395 SOS 28681 HAS SOPS 28681 HAS SOUS 26227 HAS SOUPS 26227 WITH SCORE 26255.681
AT ITER 53 NEW BEST:: SOT 102430 SOS 28593 HAS SOPS 28593 HAS SOUS 26203 HAS SOUPS 26203 WITH SCORE 26231.593
AT ITER 56 NEW BEST:: SOT 102469 SOS 28671 HAS SOPS 28671 HAS SOUS 26163 HAS SOUPS 26163 WITH SCORE 26191.671
AT ITER 85 NEW BEST:: SOT 102379 SOS 28581 HAS SOPS 28581 HAS SOUS 26076 HAS SOUPS 26076 WITH SCORE 26104.581
AT ITER 91 NEW BEST:: SOT 102379 SOS 28581 HAS SOPS 28581 HAS SOUS 26062 HAS SOUPS 26062 WITH SCORE 26090.581
AT ITER 101 NEW BEST:: SOT 102404 SOS 28507 HAS SOPS 28507 HAS SOUS 26037 HAS SOUPS 26037 WITH SCORE 26065.507
AT ITER 108 NEW BEST:: SOT 102403 SOS 28505 HAS SOPS 28505 HAS SOUS 26036 HAS SOUPS 26036 WITH SCORE 26064.505
AT ITER 109 NEW BEST:: SOT 102393 SOS 28495 HAS SOPS 28495 HAS SOUS 26026 HAS SOUPS 26026 WITH SCORE 26054.495
AT ITER 135 NEW BEST:: SOT 102387 SOS 28486 HAS SOPS 28486 HAS SOUS 26017 HAS SOUPS 26017 WITH SCORE 26045.486
AT ITER 151 NEW BEST:: SOT 102387 SOS 28436 HAS SOPS 28436 HAS SOUS 26017 HAS SOUPS 26017 WITH SCORE 26045.436
AT ITER 155 NEW BEST:: SOT 102415 SOS 28398 HAS SOPS 28398 HAS SOUS 26002 HAS SOUPS 26002 WITH SCORE 26030.398
AT ITER 156 NEW BEST:: SOT 102415 SOS 28292 HAS SOPS 28292 HAS SOUS 26001 HAS SOUPS 26001 WITH SCORE 26029.292
AT ITER 158 NEW BEST:: SOT 102415 SOS 28292 HAS SOPS 28292 HAS SOUS 26000 HAS SOUPS 26000 WITH SCORE 26028.292
AT ITER 225 NEW BEST:: SOT 102397 SOS 28167 HAS SOPS 28167 HAS SOUS 25893 HAS SOUPS 25893 WITH SCORE 25921.167
AT ITER 242 NEW BEST:: SOT 102389 SOS 28151 HAS SOPS 28151 HAS SOUS 25877 HAS SOUPS 25877 WITH SCORE 25905.151
AT ITER 265 NEW BEST:: SOT 102359 SOS 28091 HAS SOPS 28091 HAS SOUS 25817 HAS SOUPS 25817 WITH SCORE 25845.091
AT ITER 269 NEW BEST:: SOT 102245 SOS 28088 HAS SOPS 28088 HAS SOUS 25814 HAS SOUPS 25814 WITH SCORE 25842.088
AT ITER 294 NEW BEST:: SOT 102227 SOS 28052 HAS SOPS 28052 HAS SOUS 25796 HAS SOUPS 25796 WITH SCORE 25824.052
AT ITER 308 NEW BEST:: SOT 102227 SOS 27958 HAS SOPS 27958 HAS SOUS 25795 HAS SOUPS 25795 WITH SCORE 25822.958
AT ITER 310 NEW BEST:: SOT 102147 SOS 27873 HAS SOPS 27873 HAS SOUS 25715 HAS SOUPS 25715 WITH SCORE 25742.873
AT ITER 315 NEW BEST:: SOT 102131 SOS 27841 HAS SOPS 27841 HAS SOUS 25683 HAS SOUPS 25683 WITH SCORE 25710.841
AT ITER 328 NEW BEST:: SOT 102070 SOS 27719 HAS SOPS 27719 HAS SOUS 25561 HAS SOUPS 25561 WITH SCORE 25588.719
AT ITER 335 NEW BEST:: SOT 102070 SOS 27685 HAS SOPS 27685 HAS SOUS 25561 HAS SOUPS 25561 WITH SCORE 25588.685
AT ITER 344 NEW BEST:: SOT 102070 SOS 27662 HAS SOPS 27662 HAS SOUS 25538 HAS SOUPS 25538 WITH SCORE 25565.662
AT ITER 357 NEW BEST:: SOT 102070 SOS 27662 HAS SOPS 27662 HAS SOUS 25537 HAS SOUPS 25537 WITH SCORE 25564.662
AT ITER 360 NEW BEST:: SOT 102085 SOS 27560 HAS SOPS 27560 HAS SOUS 25493 HAS SOUPS 25493 WITH SCORE 25520.56
AT ITER 386 NEW BEST:: SOT 102085 SOS 27549 HAS SOPS 27549 HAS SOUS 25493 HAS SOUPS 25493 WITH SCORE 25520.549
AT ITER 396 NEW BEST:: SOT 102085 SOS 27549 HAS SOPS 27549 HAS SOUS 25492 HAS SOUPS 25492 WITH SCORE 25519.549
AT ITER 398 NEW BEST:: SOT 102085 SOS 27506 HAS SOPS 27506 HAS SOUS 25492 HAS SOUPS 25492 WITH SCORE 25519.506
AT ITER 433 NEW BEST:: SOT 102085 SOS 27434 HAS SOPS 27434 HAS SOUS 25492 HAS SOUPS 25492 WITH SCORE 25519.434
AT ITER 434 NEW BEST:: SOT 102079 SOS 27422 HAS SOPS 27422 HAS SOUS 25486 HAS SOUPS 25486 WITH SCORE 25513.422
AT ITER 465 NEW BEST:: SOT 102067 SOS 27398 HAS SOPS 27398 HAS SOUS 25462 HAS SOUPS 25462 WITH SCORE 25489.398
AT ITER 473 NEW BEST:: SOT 102067 SOS 27398 HAS SOPS 27398 HAS SOUS 25406 HAS SOUPS 25406 WITH SCORE 25433.398
AT ITER 490 NEW BEST:: SOT 102064 SOS 27392 HAS SOPS 27392 HAS SOUS 25373 HAS SOUPS 25373 WITH SCORE 25400.392
AT ITER 544 NEW BEST:: SOT 102049 SOS 27335 HAS SOPS 27335 HAS SOUS 25343 HAS SOUPS 25343 WITH SCORE 25370.335
AT ITER 572 NEW BEST:: SOT 102018 SOS 27304 HAS SOPS 27304 HAS SOUS 25340 HAS SOUPS 25340 WITH SCORE 25367.304
AT ITER 573 NEW BEST:: SOT 102031 SOS 27298 HAS SOPS 27298 HAS SOUS 25334 HAS SOUPS 25334 WITH SCORE 25361.298
AT ITER 577 NEW BEST:: SOT 101979 SOS 27246 HAS SOPS 27246 HAS SOUS 25282 HAS SOUPS 25282 WITH SCORE 25309.246
AT ITER 581 NEW BEST:: SOT 101967 SOS 27222 HAS SOPS 27222 HAS SOUS 25258 HAS SOUPS 25258 WITH SCORE 25285.222
AT ITER 588 NEW BEST:: SOT 101967 SOS 27212 HAS SOPS 27212 HAS SOUS 25248 HAS SOUPS 25248 WITH SCORE 25275.212
AT ITER 605 NEW BEST:: SOT 101967 SOS 27212 HAS SOPS 27212 HAS SOUS 25247 HAS SOUPS 25247 WITH SCORE 25274.212
AT ITER 623 NEW BEST:: SOT 101975 SOS 27200 HAS SOPS 27200 HAS SOUS 25235 HAS SOUPS 25235 WITH SCORE 25262.2
AT ITER 640 NEW BEST:: SOT 101959 SOS 27184 HAS SOPS 27184 HAS SOUS 25235 HAS SOUPS 25235 WITH SCORE 25262.184
AT ITER 660 NEW BEST:: SOT 101958 SOS 27183 HAS SOPS 27183 HAS SOUS 25234 HAS SOUPS 25234 WITH SCORE 25261.183
AT ITER 696 NEW BEST:: SOT 101980 SOS 27227 HAS SOPS 27227 HAS SOUS 25223 HAS SOUPS 25223 WITH SCORE 25250.227
AT ITER 698 NEW BEST:: SOT 101974 SOS 27215 HAS SOPS 27215 HAS SOUS 25211 HAS SOUPS 25211 WITH SCORE 25238.215
AT ITER 708 NEW BEST:: SOT 101974 SOS 27198 HAS SOPS 27198 HAS SOUS 25194 HAS SOUPS 25194 WITH SCORE 25221.198
AT ITER 731 NEW BEST:: SOT 101981 SOS 27177 HAS SOPS 27177 HAS SOUS 25173 HAS SOUPS 25173 WITH SCORE 25200.177
AT ITER 737 NEW BEST:: SOT 101907 SOS 27029 HAS SOPS 27029 HAS SOUS 25099 HAS SOUPS 25099 WITH SCORE 25126.029
AT ITER 740 NEW BEST:: SOT 101907 SOS 27029 HAS SOPS 27029 HAS SOUS 25048 HAS SOUPS 25048 WITH SCORE 25075.029
AT ITER 743 NEW BEST:: SOT 101907 SOS 26911 HAS SOPS 26911 HAS SOUS 24972 HAS SOUPS 24972 WITH SCORE 24998.911
AT ITER 751 NEW BEST:: SOT 101907 SOS 26911 HAS SOPS 26911 HAS SOUS 24916 HAS SOUPS 24916 WITH SCORE 24942.911
AT ITER 757 NEW BEST:: SOT 101906 SOS 26925 HAS SOPS 26925 HAS SOUS 24915 HAS SOUPS 24915 WITH SCORE 24941.925
AT ITER 776 NEW BEST:: SOT 101901 SOS 26915 HAS SOPS 26915 HAS SOUS 24905 HAS SOUPS 24905 WITH SCORE 24931.915
AT ITER 777 NEW BEST:: SOT 101884 SOS 26896 HAS SOPS 26896 HAS SOUS 24902 HAS SOUPS 24902 WITH SCORE 24928.896
AT ITER 783 NEW BEST:: SOT 101882 SOS 26892 HAS SOPS 26892 HAS SOUS 24898 HAS SOUPS 24898 WITH SCORE 24924.892
AT ITER 824 NEW BEST:: SOT 101870 SOS 26676 HAS SOPS 26676 HAS SOUS 24886 HAS SOUPS 24886 WITH SCORE 24912.676
AT ITER 831 NEW BEST:: SOT 101900 SOS 26652 HAS SOPS 26652 HAS SOUS 24878 HAS SOUPS 24878 WITH SCORE 24904.652
AT ITER 839 NEW BEST:: SOT 101899 SOS 26650 HAS SOPS 26650 HAS SOUS 24876 HAS SOUPS 24876 WITH SCORE 24902.65
AT ITER 881 NEW BEST:: SOT 101899 SOS 26592 HAS SOPS 26592 HAS SOUS 24817 HAS SOUPS 24817 WITH SCORE 24843.592
AT ITER 889 NEW BEST:: SOT 101903 SOS 26807 HAS SOPS 26807 HAS SOUS 24804 HAS SOUPS 24804 WITH SCORE 24830.807
AT ITER 891 NEW BEST:: SOT 101903 SOS 26807 HAS SOPS 26807 HAS SOUS 24796 HAS SOUPS 24796 WITH SCORE 24822.807
AT ITER 901 NEW BEST:: SOT 101891 SOS 26783 HAS SOPS 26783 HAS SOUS 24784 HAS SOUPS 24784 WITH SCORE 24810.783
AT ITER 904 NEW BEST:: SOT 101891 SOS 26783 HAS SOPS 26783 HAS SOUS 24783 HAS SOUPS 24783 WITH SCORE 24809.783
AT ITER 925 NEW BEST:: SOT 101891 SOS 26783 HAS SOPS 26783 HAS SOUS 24782 HAS SOUPS 24782 WITH SCORE 24808.783
AT ITER 945 NEW BEST:: SOT 101859 SOS 26601 HAS SOPS 26601 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24770.601
AT ITER 964 NEW BEST:: SOT 101842 SOS 26584 HAS SOPS 26584 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24770.584
AT ITER 965 NEW BEST:: SOT 101807 SOS 26549 HAS SOPS 26549 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24770.549
AT ITER 966 NEW BEST:: SOT 101755 SOS 26445 HAS SOPS 26445 HAS SOUS 24640 HAS SOUPS 24640 WITH SCORE 24666.445
AT ITER 981 NEW BEST:: SOT 101754 SOS 26444 HAS SOPS 26444 HAS SOUS 24639 HAS SOUPS 24639 WITH SCORE 24665.444
AT ITER 987 NEW BEST:: SOT 101753 SOS 26442 HAS SOPS 26442 HAS SOUS 24637 HAS SOUPS 24637 WITH SCORE 24663.442
AT ITER 999 NEW BEST:: SOT 101749 SOS 26434 HAS SOPS 26434 HAS SOUS 24629 HAS SOUPS 24629 WITH SCORE 24655.434
AT ITER 1028 NEW BEST:: SOT 101749 SOS 26454 HAS SOPS 26454 HAS SOUS 24604 HAS SOUPS 24604 WITH SCORE 24630.454
AT ITER 1040 NEW BEST:: SOT 101749 SOS 26424 HAS SOPS 26424 HAS SOUS 24604 HAS SOUPS 24604 WITH SCORE 24630.424
AT ITER 1045 NEW BEST:: SOT 101728 SOS 26403 HAS SOPS 26403 HAS SOUS 24583 HAS SOUPS 24583 WITH SCORE 24609.403
AT ITER 1056 NEW BEST:: SOT 101726 SOS 26397 HAS SOPS 26397 HAS SOUS 24579 HAS SOUPS 24579 WITH SCORE 24605.397
AT ITER 1063 NEW BEST:: SOT 101714 SOS 26373 HAS SOPS 26373 HAS SOUS 24555 HAS SOUPS 24555 WITH SCORE 24581.373
AT ITER 1096 NEW BEST:: SOT 101701 SOS 26360 HAS SOPS 26360 HAS SOUS 24542 HAS SOUPS 24542 WITH SCORE 24568.36
AT ITER 1112 NEW BEST:: SOT 101699 SOS 26358 HAS SOPS 26358 HAS SOUS 24539 HAS SOUPS 24539 WITH SCORE 24565.358
AT ITER 1142 NEW BEST:: SOT 101674 SOS 26733 HAS SOPS 26733 HAS SOUS 24489 HAS SOUPS 24489 WITH SCORE 24515.733
AT ITER 1149 NEW BEST:: SOT 101674 SOS 26662 HAS SOPS 26662 HAS SOUS 24446 HAS SOUPS 24446 WITH SCORE 24472.662
AT ITER 1155 NEW BEST:: SOT 101690 SOS 26650 HAS SOPS 26650 HAS SOUS 24434 HAS SOUPS 24434 WITH SCORE 24460.65
AT ITER 1157 NEW BEST:: SOT 101680 SOS 26630 HAS SOPS 26630 HAS SOUS 24424 HAS SOUPS 24424 WITH SCORE 24450.63
AT ITER 1175 NEW BEST:: SOT 101679 SOS 26628 HAS SOPS 26628 HAS SOUS 24422 HAS SOUPS 24422 WITH SCORE 24448.628
AT ITER 1182 NEW BEST:: SOT 101679 SOS 26628 HAS SOPS 26628 HAS SOUS 24385 HAS SOUPS 24385 WITH SCORE 24411.628
AT ITER 1192 NEW BEST:: SOT 101679 SOS 26542 HAS SOPS 26542 HAS SOUS 24342 HAS SOUPS 24342 WITH SCORE 24368.542
AT ITER 1201 NEW BEST:: SOT 101676 SOS 26536 HAS SOPS 26536 HAS SOUS 24336 HAS SOUPS 24336 WITH SCORE 24362.536
AT ITER 1218 NEW BEST:: SOT 101674 SOS 26532 HAS SOPS 26532 HAS SOUS 24332 HAS SOUPS 24332 WITH SCORE 24358.532
AT ITER 1243 NEW BEST:: SOT 101646 SOS 26476 HAS SOPS 26476 HAS SOUS 24276 HAS SOUPS 24276 WITH SCORE 24302.476
AT ITER 1249 NEW BEST:: SOT 101644 SOS 26476 HAS SOPS 26476 HAS SOUS 24274 HAS SOUPS 24274 WITH SCORE 24300.476
AT ITER 1257 NEW BEST:: SOT 101637 SOS 26462 HAS SOPS 26462 HAS SOUS 24260 HAS SOUPS 24260 WITH SCORE 24286.462
AT ITER 1263 NEW BEST:: SOT 101621 SOS 26430 HAS SOPS 26430 HAS SOUS 24228 HAS SOUPS 24228 WITH SCORE 24254.43
AT ITER 1267 NEW BEST:: SOT 101580 SOS 26348 HAS SOPS 26348 HAS SOUS 24146 HAS SOUPS 24146 WITH SCORE 24172.348
AT ITER 1275 NEW BEST:: SOT 101574 SOS 26342 HAS SOPS 26342 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24166.342
AT ITER 1287 NEW BEST:: SOT 101554 SOS 26302 HAS SOPS 26302 HAS SOUS 24100 HAS SOUPS 24100 WITH SCORE 24126.302
AT ITER 1304 NEW BEST:: SOT 101550 SOS 26299 HAS SOPS 26299 HAS SOUS 24097 HAS SOUPS 24097 WITH SCORE 24123.299
AT ITER 1308 NEW BEST:: SOT 101547 SOS 26296 HAS SOPS 26296 HAS SOUS 24097 HAS SOUPS 24097 WITH SCORE 24123.296
AT ITER 1324 NEW BEST:: SOT 101547 SOS 26296 HAS SOPS 26296 HAS SOUS 24095 HAS SOUPS 24095 WITH SCORE 24121.296
AT ITER 1337 NEW BEST:: SOT 101511 SOS 26253 HAS SOPS 26253 HAS SOUS 24071 HAS SOUPS 24071 WITH SCORE 24097.253
AT ITER 1339 NEW BEST:: SOT 101498 SOS 26227 HAS SOPS 26227 HAS SOUS 24058 HAS SOUPS 24058 WITH SCORE 24084.227
AT ITER 1357 NEW BEST:: SOT 101498 SOS 26213 HAS SOPS 26213 HAS SOUS 24044 HAS SOUPS 24044 WITH SCORE 24070.213
AT ITER 1366 NEW BEST:: SOT 101498 SOS 26210 HAS SOPS 26210 HAS SOUS 24041 HAS SOUPS 24041 WITH SCORE 24067.21
AT ITER 1371 NEW BEST:: SOT 101496 SOS 26206 HAS SOPS 26206 HAS SOUS 23993 HAS SOUPS 23993 WITH SCORE 24019.206
AT ITER 1373 NEW BEST:: SOT 101436 SOS 26176 HAS SOPS 26176 HAS SOUS 23963 HAS SOUPS 23963 WITH SCORE 23989.176
AT ITER 1393 NEW BEST:: SOT 101436 SOS 26176 HAS SOPS 26176 HAS SOUS 23944 HAS SOUPS 23944 WITH SCORE 23970.176
AT ITER 1395 NEW BEST:: SOT 101436 SOS 26176 HAS SOPS 26176 HAS SOUS 23943 HAS SOUPS 23943 WITH SCORE 23969.176
AT ITER 1397 NEW BEST:: SOT 101392 SOS 26132 HAS SOPS 26132 HAS SOUS 23874 HAS SOUPS 23874 WITH SCORE 23900.132
AT ITER 1425 NEW BEST:: SOT 101392 SOS 26132 HAS SOPS 26132 HAS SOUS 23855 HAS SOUPS 23855 WITH SCORE 23881.132
AT ITER 1448 NEW BEST:: SOT 101392 SOS 26132 HAS SOPS 26132 HAS SOUS 23833 HAS SOUPS 23833 WITH SCORE 23859.132
AT ITER 1460 NEW BEST:: SOT 101350 SOS 26078 HAS SOPS 26078 HAS SOUS 23791 HAS SOUPS 23791 WITH SCORE 23817.078
AT ITER 1476 NEW BEST:: SOT 101350 SOS 26078 HAS SOPS 26078 HAS SOUS 23774 HAS SOUPS 23774 WITH SCORE 23800.078
AT ITER 1492 NEW BEST:: SOT 101341 SOS 26060 HAS SOPS 26060 HAS SOUS 23721 HAS SOUPS 23721 WITH SCORE 23747.06
AT ITER 1498 NEW BEST:: SOT 101341 SOS 26060 HAS SOPS 26060 HAS SOUS 23720 HAS SOUPS 23720 WITH SCORE 23746.06
AT ITER 1509 NEW BEST:: SOT 101389 SOS 26156 HAS SOPS 26156 HAS SOUS 23718 HAS SOUPS 23718 WITH SCORE 23744.156
AT ITER 1517 NEW BEST:: SOT 101363 SOS 26104 HAS SOPS 26104 HAS SOUS 23691 HAS SOUPS 23691 WITH SCORE 23717.104
AT ITER 1557 NEW BEST:: SOT 101373 SOS 26054 HAS SOPS 26054 HAS SOUS 23644 HAS SOUPS 23644 WITH SCORE 23670.054
AT ITER 1563 NEW BEST:: SOT 101391 SOS 26008 HAS SOPS 26008 HAS SOUS 23639 HAS SOUPS 23639 WITH SCORE 23665.008
AT ITER 1566 NEW BEST:: SOT 100401 SOS 25089 HAS SOPS 25089 HAS SOUS 22684 HAS SOUPS 22684 WITH SCORE 22709.089
AT ITER 1578 NEW BEST:: SOT 100406 SOS 25064 HAS SOPS 25064 HAS SOUS 22659 HAS SOUPS 22659 WITH SCORE 22684.064
AT ITER 1603 NEW BEST:: SOT 100398 SOS 25048 HAS SOPS 25048 HAS SOUS 22643 HAS SOUPS 22643 WITH SCORE 22668.048
AT ITER 1605 NEW BEST:: SOT 100398 SOS 24926 HAS SOPS 24926 HAS SOUS 22636 HAS SOUPS 22636 WITH SCORE 22660.926
AT ITER 1607 NEW BEST:: SOT 100398 SOS 24926 HAS SOPS 24926 HAS SOUS 22605 HAS SOUPS 22605 WITH SCORE 22629.926
AT ITER 1622 NEW BEST:: SOT 100346 SOS 24920 HAS SOPS 24920 HAS SOUS 22599 HAS SOUPS 22599 WITH SCORE 22623.92
AT ITER 1652 NEW BEST:: SOT 100272 SOS 24846 HAS SOPS 24846 HAS SOUS 22548 HAS SOUPS 22548 WITH SCORE 22572.846
AT ITER 1655 NEW BEST:: SOT 100012 SOS 27779 HAS SOPS 27779 HAS SOUS 22406 HAS SOUPS 22406 WITH SCORE 22433.779
AT ITER 1659 NEW BEST:: SOT 100012 SOS 27724 HAS SOPS 27724 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22406.724
AT ITER 1663 NEW BEST:: SOT 100001 SOS 27702 HAS SOPS 27702 HAS SOUS 22357 HAS SOUPS 22357 WITH SCORE 22384.702
AT ITER 1664 NEW BEST:: SOT 100001 SOS 27702 HAS SOPS 27702 HAS SOUS 22322 HAS SOUPS 22322 WITH SCORE 22349.702
AT ITER 1674 NEW BEST:: SOT 99970 SOS 27684 HAS SOPS 27684 HAS SOUS 22304 HAS SOUPS 22304 WITH SCORE 22331.684
AT ITER 1729 NEW BEST:: SOT 99962 SOS 27668 HAS SOPS 27668 HAS SOUS 22298 HAS SOUPS 22298 WITH SCORE 22325.668
AT ITER 1742 NEW BEST:: SOT 99962 SOS 27667 HAS SOPS 27667 HAS SOUS 22298 HAS SOUPS 22298 WITH SCORE 22325.667
AT ITER 1747 NEW BEST:: SOT 99955 SOS 27653 HAS SOPS 27653 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22311.653
AT ITER 1767 NEW BEST:: SOT 99955 SOS 27641 HAS SOPS 27641 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22311.641
AT ITER 1791 NEW BEST:: SOT 99931 SOS 27545 HAS SOPS 27545 HAS SOUS 22236 HAS SOUPS 22236 WITH SCORE 22263.545
AT ITER 1796 NEW BEST:: SOT 99914 SOS 27450 HAS SOPS 27450 HAS SOUS 22141 HAS SOUPS 22141 WITH SCORE 22168.45
AT ITER 1797 NEW BEST:: SOT 99919 SOS 27368 HAS SOPS 27368 HAS SOUS 22109 HAS SOUPS 22109 WITH SCORE 22136.368
AT ITER 1804 NEW BEST:: SOT 99917 SOS 27364 HAS SOPS 27364 HAS SOUS 22105 HAS SOUPS 22105 WITH SCORE 22132.364
AT ITER 1840 NEW BEST:: SOT 99917 SOS 27364 HAS SOPS 27364 HAS SOUS 22088 HAS SOUPS 22088 WITH SCORE 22115.364
AT ITER 1856 NEW BEST:: SOT 99902 SOS 27334 HAS SOPS 27334 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22093.334
AT ITER 1857 NEW BEST:: SOT 99902 SOS 27334 HAS SOPS 27334 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22092.334
AT ITER 1871 NEW BEST:: SOT 99935 SOS 27260 HAS SOPS 27260 HAS SOUS 22041 HAS SOUPS 22041 WITH SCORE 22068.26
AT ITER 1890 NEW BEST:: SOT 99931 SOS 27256 HAS SOPS 27256 HAS SOUS 22037 HAS SOUPS 22037 WITH SCORE 22064.256
AT ITER 1896 NEW BEST:: SOT 99929 SOS 27252 HAS SOPS 27252 HAS SOUS 22033 HAS SOUPS 22033 WITH SCORE 22060.252
AT ITER 1955 NEW BEST:: SOT 99917 SOS 27240 HAS SOPS 27240 HAS SOUS 22021 HAS SOUPS 22021 WITH SCORE 22048.24
AT ITER 1979 NEW BEST:: SOT 99853 SOS 27135 HAS SOPS 27135 HAS SOUS 21948 HAS SOUPS 21948 WITH SCORE 21975.135
AT ITER 1996 NEW BEST:: SOT 99843 SOS 27129 HAS SOPS 27129 HAS SOUS 21942 HAS SOUPS 21942 WITH SCORE 21969.129
AT ITER 2020 NEW BEST:: SOT 99838 SOS 27186 HAS SOPS 27186 HAS SOUS 21932 HAS SOUPS 21932 WITH SCORE 21959.186
AT ITER 2028 NEW BEST:: SOT 99839 SOS 27016 HAS SOPS 27016 HAS SOUS 21873 HAS SOUPS 21873 WITH SCORE 21900.016
AT ITER 2038 NEW BEST:: SOT 99789 SOS 26230 HAS SOPS 26230 HAS SOUS 21802 HAS SOUPS 21802 WITH SCORE 21828.23
AT ITER 2044 NEW BEST:: SOT 99765 SOS 26206 HAS SOPS 26206 HAS SOUS 21778 HAS SOUPS 21778 WITH SCORE 21804.206
AT ITER 2048 NEW BEST:: SOT 99765 SOS 26206 HAS SOPS 26206 HAS SOUS 21754 HAS SOUPS 21754 WITH SCORE 21780.206
AT ITER 2070 NEW BEST:: SOT 99724 SOS 26165 HAS SOPS 26165 HAS SOUS 21754 HAS SOUPS 21754 WITH SCORE 21780.165
AT ITER 2103 NEW BEST:: SOT 99739 SOS 26150 HAS SOPS 26150 HAS SOUS 21754 HAS SOUPS 21754 WITH SCORE 21780.15
AT ITER 2106 NEW BEST:: SOT 99731 SOS 26134 HAS SOPS 26134 HAS SOUS 21738 HAS SOUPS 21738 WITH SCORE 21764.134
AT ITER 2124 NEW BEST:: SOT 99731 SOS 26114 HAS SOPS 26114 HAS SOUS 21738 HAS SOUPS 21738 WITH SCORE 21764.114
AT ITER 2148 NEW BEST:: SOT 99731 SOS 26114 HAS SOPS 26114 HAS SOUS 21731 HAS SOUPS 21731 WITH SCORE 21757.114
AT ITER 2156 NEW BEST:: SOT 99727 SOS 26106 HAS SOPS 26106 HAS SOUS 21717 HAS SOUPS 21717 WITH SCORE 21743.106
AT ITER 2160 NEW BEST:: SOT 99727 SOS 26104 HAS SOPS 26104 HAS SOUS 21717 HAS SOUPS 21717 WITH SCORE 21743.104
AT ITER 2169 NEW BEST:: SOT 99743 SOS 26034 HAS SOPS 26034 HAS SOUS 21714 HAS SOUPS 21714 WITH SCORE 21740.034
AT ITER 2172 NEW BEST:: SOT 99750 SOS 26048 HAS SOPS 26048 HAS SOUS 21708 HAS SOUPS 21708 WITH SCORE 21734.048
AT ITER 2179 NEW BEST:: SOT 99701 SOS 26005 HAS SOPS 26005 HAS SOUS 21700 HAS SOUPS 21700 WITH SCORE 21726.005
AT ITER 2263 NEW BEST:: SOT 99701 SOS 26005 HAS SOPS 26005 HAS SOUS 21667 HAS SOUPS 21667 WITH SCORE 21693.005
AT ITER 2276 NEW BEST:: SOT 99700 SOS 26003 HAS SOPS 26003 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21691.003
AT ITER 2288 NEW BEST:: SOT 99697 SOS 25869 HAS SOPS 25869 HAS SOUS 21628 HAS SOUPS 21628 WITH SCORE 21653.869
AT ITER 2316 NEW BEST:: SOT 99684 SOS 25843 HAS SOPS 25843 HAS SOUS 21605 HAS SOUPS 21605 WITH SCORE 21630.843
AT ITER 2348 NEW BEST:: SOT 99651 SOS 25777 HAS SOPS 25777 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21597.777
AT ITER 2359 NEW BEST:: SOT 99597 SOS 25642 HAS SOPS 25642 HAS SOUS 21491 HAS SOUPS 21491 WITH SCORE 21516.642
AT ITER 2360 NEW BEST:: SOT 99597 SOS 25603 HAS SOPS 25603 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21512.603
AT ITER 2363 NEW BEST:: SOT 99597 SOS 25603 HAS SOPS 25603 HAS SOUS 21486 HAS SOUPS 21486 WITH SCORE 21511.603
AT ITER 2382 NEW BEST:: SOT 99582 SOS 25573 HAS SOPS 25573 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21489.573
AT ITER 2388 NEW BEST:: SOT 99604 SOS 25554 HAS SOPS 25554 HAS SOUS 21445 HAS SOUPS 21445 WITH SCORE 21470.554
AT ITER 2394 NEW BEST:: SOT 99604 SOS 25554 HAS SOPS 25554 HAS SOUS 21427 HAS SOUPS 21427 WITH SCORE 21452.554
AT ITER 2409 NEW BEST:: SOT 99618 SOS 25550 HAS SOPS 25550 HAS SOUS 21423 HAS SOUPS 21423 WITH SCORE 21448.55
AT ITER 2433 NEW BEST:: SOT 99605 SOS 25524 HAS SOPS 25524 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21422.524
AT ITER 2439 NEW BEST:: SOT 99605 SOS 25469 HAS SOPS 25469 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21422.469
AT ITER 2460 NEW BEST:: SOT 99605 SOS 25456 HAS SOPS 25456 HAS SOUS 21384 HAS SOUPS 21384 WITH SCORE 21409.456
AT ITER 2504 NEW BEST:: SOT 99570 SOS 25386 HAS SOPS 25386 HAS SOUS 21371 HAS SOUPS 21371 WITH SCORE 21396.386
AT ITER 2508 NEW BEST:: SOT 99570 SOS 25340 HAS SOPS 25340 HAS SOUS 21361 HAS SOUPS 21361 WITH SCORE 21386.34
AT ITER 2522 NEW BEST:: SOT 99557 SOS 25327 HAS SOPS 25327 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21360.327
AT ITER 2544 NEW BEST:: SOT 99553 SOS 25319 HAS SOPS 25319 HAS SOUS 21327 HAS SOUPS 21327 WITH SCORE 21352.319
AT ITER 2548 NEW BEST:: SOT 99552 SOS 25317 HAS SOPS 25317 HAS SOUS 21325 HAS SOUPS 21325 WITH SCORE 21350.317
AT ITER 2559 NEW BEST:: SOT 99514 SOS 25264 HAS SOPS 25264 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21301.264
AT ITER 2607 NEW BEST:: SOT 99505 SOS 25246 HAS SOPS 25246 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21283.246
AT ITER 2625 NEW BEST:: SOT 99507 SOS 25194 HAS SOPS 25194 HAS SOUS 21234 HAS SOUPS 21234 WITH SCORE 21259.194
AT ITER 2640 NEW BEST:: SOT 99507 SOS 25102 HAS SOPS 25102 HAS SOUS 21220 HAS SOUPS 21220 WITH SCORE 21245.102
AT ITER 2655 NEW BEST:: SOT 99483 SOS 25078 HAS SOPS 25078 HAS SOUS 21196 HAS SOUPS 21196 WITH SCORE 21221.078
AT ITER 2665 NEW BEST:: SOT 99483 SOS 25078 HAS SOPS 25078 HAS SOUS 21145 HAS SOUPS 21145 WITH SCORE 21170.078
AT ITER 2676 NEW BEST:: SOT 99483 SOS 25050 HAS SOPS 25050 HAS SOUS 21131 HAS SOUPS 21131 WITH SCORE 21156.05
AT ITER 2678 NEW BEST:: SOT 99483 SOS 25050 HAS SOPS 25050 HAS SOUS 21130 HAS SOUPS 21130 WITH SCORE 21155.05
AT ITER 2688 NEW BEST:: SOT 99486 SOS 24916 HAS SOPS 24916 HAS SOUS 21063 HAS SOUPS 21063 WITH SCORE 21087.916
AT ITER 2691 NEW BEST:: SOT 99486 SOS 24874 HAS SOPS 24874 HAS SOUS 21063 HAS SOUPS 21063 WITH SCORE 21087.874
AT ITER 2703 NEW BEST:: SOT 99465 SOS 24832 HAS SOPS 24832 HAS SOUS 21021 HAS SOUPS 21021 WITH SCORE 21045.832
AT ITER 2706 NEW BEST:: SOT 99436 SOS 23848 HAS SOPS 23848 HAS SOUS 20963 HAS SOUPS 20963 WITH SCORE 20986.848
AT ITER 2708 NEW BEST:: SOT 99437 SOS 23850 HAS SOPS 23850 HAS SOUS 20962 HAS SOUPS 20962 WITH SCORE 20985.85
AT ITER 2759 NEW BEST:: SOT 99486 SOS 23899 HAS SOPS 23899 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20943.899
AT ITER 2760 NEW BEST:: SOT 99486 SOS 23899 HAS SOPS 23899 HAS SOUS 20913 HAS SOUPS 20913 WITH SCORE 20936.899
AT ITER 2767 NEW BEST:: SOT 99469 SOS 23882 HAS SOPS 23882 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20919.882
AT ITER 2788 NEW BEST:: SOT 99451 SOS 23846 HAS SOPS 23846 HAS SOUS 20860 HAS SOUPS 20860 WITH SCORE 20883.846
AT ITER 2797 NEW BEST:: SOT 99429 SOS 23802 HAS SOPS 23802 HAS SOUS 20816 HAS SOUPS 20816 WITH SCORE 20839.802
AT ITER 2804 NEW BEST:: SOT 99427 SOS 23798 HAS SOPS 23798 HAS SOUS 20814 HAS SOUPS 20814 WITH SCORE 20837.798
AT ITER 2821 NEW BEST:: SOT 99405 SOS 23776 HAS SOPS 23776 HAS SOUS 20792 HAS SOUPS 20792 WITH SCORE 20815.776
AT ITER 2825 NEW BEST:: SOT 99408 SOS 23773 HAS SOPS 23773 HAS SOUS 20789 HAS SOUPS 20789 WITH SCORE 20812.773
AT ITER 2831 NEW BEST:: SOT 99404 SOS 23736 HAS SOPS 23736 HAS SOUS 20758 HAS SOUPS 20758 WITH SCORE 20781.736
AT ITER 2835 NEW BEST:: SOT 99401 SOS 23730 HAS SOPS 23730 HAS SOUS 20752 HAS SOUPS 20752 WITH SCORE 20775.73
AT ITER 2862 NEW BEST:: SOT 99407 SOS 23718 HAS SOPS 23718 HAS SOUS 20746 HAS SOUPS 20746 WITH SCORE 20769.718
AT ITER 2864 NEW BEST:: SOT 99407 SOS 23718 HAS SOPS 23718 HAS SOUS 20727 HAS SOUPS 20727 WITH SCORE 20750.718
AT ITER 2911 NEW BEST:: SOT 99407 SOS 23718 HAS SOPS 23718 HAS SOUS 20703 HAS SOUPS 20703 WITH SCORE 20726.718
AT ITER 2978 NEW BEST:: SOT 99404 SOS 23752 HAS SOPS 23752 HAS SOUS 20702 HAS SOUPS 20702 WITH SCORE 20725.752
AT ITER 2979 NEW BEST:: SOT 99405 SOS 23754 HAS SOPS 23754 HAS SOUS 20687 HAS SOUPS 20687 WITH SCORE 20710.754
AT ITER 3017 NEW BEST:: SOT 99410 SOS 23844 HAS SOPS 23844 HAS SOUS 20683 HAS SOUPS 20683 WITH SCORE 20706.844
AT ITER 3018 NEW BEST:: SOT 99399 SOS 23789 HAS SOPS 23789 HAS SOUS 20650 HAS SOUPS 20650 WITH SCORE 20673.789
AT ITER 3048 NEW BEST:: SOT 99064 SOS 24537 HAS SOPS 24537 HAS SOUS 20442 HAS SOUPS 20442 WITH SCORE 20466.537
AT ITER 3070 NEW BEST:: SOT 99058 SOS 24525 HAS SOPS 24525 HAS SOUS 20430 HAS SOUPS 20430 WITH SCORE 20454.525
AT ITER 3082 NEW BEST:: SOT 99057 SOS 24523 HAS SOPS 24523 HAS SOUS 20428 HAS SOUPS 20428 WITH SCORE 20452.523
AT ITER 3095 NEW BEST:: SOT 99071 SOS 24485 HAS SOPS 24485 HAS SOUS 20418 HAS SOUPS 20418 WITH SCORE 20442.485
AT ITER 3142 NEW BEST:: SOT 99047 SOS 24449 HAS SOPS 24449 HAS SOUS 20382 HAS SOUPS 20382 WITH SCORE 20406.449
AT ITER 3148 NEW BEST:: SOT 99038 SOS 24440 HAS SOPS 24440 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20397.44
AT ITER 3153 NEW BEST:: SOT 99028 SOS 24418 HAS SOPS 24418 HAS SOUS 20355 HAS SOUPS 20355 WITH SCORE 20379.418
AT ITER 3161 NEW BEST:: SOT 99050 SOS 24456 HAS SOPS 24456 HAS SOUS 20339 HAS SOUPS 20339 WITH SCORE 20363.456
AT ITER 3182 NEW BEST:: SOT 99048 SOS 24442 HAS SOPS 24442 HAS SOUS 20327 HAS SOUPS 20327 WITH SCORE 20351.442
AT ITER 3238 NEW BEST:: SOT 99051 SOS 24441 HAS SOPS 24441 HAS SOUS 20326 HAS SOUPS 20326 WITH SCORE 20350.441
AT ITER 3281 NEW BEST:: SOT 99045 SOS 24435 HAS SOPS 24435 HAS SOUS 20314 HAS SOUPS 20314 WITH SCORE 20338.435
AT ITER 3315 NEW BEST:: SOT 99037 SOS 24427 HAS SOPS 24427 HAS SOUS 20314 HAS SOUPS 20314 WITH SCORE 20338.427
AT ITER 3328 NEW BEST:: SOT 99025 SOS 24403 HAS SOPS 24403 HAS SOUS 20290 HAS SOUPS 20290 WITH SCORE 20314.403
AT ITER 3384 NEW BEST:: SOT 99025 SOS 24367 HAS SOPS 24367 HAS SOUS 20290 HAS SOUPS 20290 WITH SCORE 20314.367
AT ITER 3396 NEW BEST:: SOT 99019 SOS 24355 HAS SOPS 24355 HAS SOUS 20278 HAS SOUPS 20278 WITH SCORE 20302.355
AT ITER 3435 NEW BEST:: SOT 99019 SOS 23600 HAS SOPS 23600 HAS SOUS 20248 HAS SOUPS 20248 WITH SCORE 20271.6
AT ITER 3447 NEW BEST:: SOT 99019 SOS 23600 HAS SOPS 23600 HAS SOUS 20227 HAS SOUPS 20227 WITH SCORE 20250.6
AT ITER 3448 NEW BEST:: SOT 99010 SOS 23582 HAS SOPS 23582 HAS SOUS 20200 HAS SOUPS 20200 WITH SCORE 20223.582
AT ITER 3459 NEW BEST:: SOT 99009 SOS 23580 HAS SOPS 23580 HAS SOUS 20198 HAS SOUPS 20198 WITH SCORE 20221.58
AT ITER 3473 NEW BEST:: SOT 99005 SOS 23535 HAS SOPS 23535 HAS SOUS 20153 HAS SOUPS 20153 WITH SCORE 20176.535
AT ITER 3488 NEW BEST:: SOT 99000 SOS 23525 HAS SOPS 23525 HAS SOUS 20143 HAS SOUPS 20143 WITH SCORE 20166.525
AT ITER 3492 NEW BEST:: SOT 99000 SOS 23525 HAS SOPS 23525 HAS SOUS 20141 HAS SOUPS 20141 WITH SCORE 20164.525
AT ITER 3497 NEW BEST:: SOT 98999 SOS 23523 HAS SOPS 23523 HAS SOUS 20140 HAS SOUPS 20140 WITH SCORE 20163.523
AT ITER 3520 NEW BEST:: SOT 98995 SOS 23519 HAS SOPS 23519 HAS SOUS 20136 HAS SOUPS 20136 WITH SCORE 20159.519
AT ITER 3525 NEW BEST:: SOT 98995 SOS 23508 HAS SOPS 23508 HAS SOUS 20125 HAS SOUPS 20125 WITH SCORE 20148.508
AT ITER 3553 NEW BEST:: SOT 98982 SOS 23482 HAS SOPS 23482 HAS SOUS 20099 HAS SOUPS 20099 WITH SCORE 20122.482
AT ITER 3578 NEW BEST:: SOT 98928 SOS 23459 HAS SOPS 23459 HAS SOUS 20088 HAS SOUPS 20088 WITH SCORE 20111.459
AT ITER 3581 NEW BEST:: SOT 98928 SOS 23449 HAS SOPS 23449 HAS SOUS 20078 HAS SOUPS 20078 WITH SCORE 20101.449
AT ITER 3591 NEW BEST:: SOT 98870 SOS 23437 HAS SOPS 23437 HAS SOUS 20066 HAS SOUPS 20066 WITH SCORE 20089.437
AT ITER 3629 NEW BEST:: SOT 98901 SOS 23262 HAS SOPS 23262 HAS SOUS 20066 HAS SOUPS 20066 WITH SCORE 20089.262
AT ITER 3652 NEW BEST:: SOT 98901 SOS 23262 HAS SOPS 23262 HAS SOUS 20055 HAS SOUPS 20055 WITH SCORE 20078.262
AT ITER 3671 NEW BEST:: SOT 98825 SOS 23031 HAS SOPS 23031 HAS SOUS 19903 HAS SOUPS 19903 WITH SCORE 19926.031
AT ITER 3677 NEW BEST:: SOT 98815 SOS 22968 HAS SOPS 22968 HAS SOUS 19840 HAS SOUPS 19840 WITH SCORE 19862.968
AT ITER 3688 NEW BEST:: SOT 98815 SOS 22960 HAS SOPS 22960 HAS SOUS 19832 HAS SOUPS 19832 WITH SCORE 19854.96
AT ITER 3689 NEW BEST:: SOT 98848 SOS 22894 HAS SOPS 22894 HAS SOUS 19817 HAS SOUPS 19817 WITH SCORE 19839.894
AT ITER 3701 NEW BEST:: SOT 98848 SOS 22866 HAS SOPS 22866 HAS SOUS 19789 HAS SOUPS 19789 WITH SCORE 19811.866
AT ITER 3713 NEW BEST:: SOT 98832 SOS 22866 HAS SOPS 22866 HAS SOUS 19773 HAS SOUPS 19773 WITH SCORE 19795.866
AT ITER 3803 NEW BEST:: SOT 98822 SOS 22846 HAS SOPS 22846 HAS SOUS 19753 HAS SOUPS 19753 WITH SCORE 19775.846
AT ITER 3805 NEW BEST:: SOT 98800 SOS 22824 HAS SOPS 22824 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19763.824
AT ITER 3836 NEW BEST:: SOT 98809 SOS 22842 HAS SOPS 22842 HAS SOUS 19732 HAS SOUPS 19732 WITH SCORE 19754.842
AT ITER 3853 NEW BEST:: SOT 98809 SOS 22842 HAS SOPS 22842 HAS SOUS 19691 HAS SOUPS 19691 WITH SCORE 19713.842
AT ITER 3884 NEW BEST:: SOT 98779 SOS 22812 HAS SOPS 22812 HAS SOUS 19661 HAS SOUPS 19661 WITH SCORE 19683.812
AT ITER 3914 NEW BEST:: SOT 98781 SOS 22816 HAS SOPS 22816 HAS SOUS 19656 HAS SOUPS 19656 WITH SCORE 19678.816
AT ITER 3930 NEW BEST:: SOT 98765 SOS 22784 HAS SOPS 22784 HAS SOUS 19624 HAS SOUPS 19624 WITH SCORE 19646.784
AT ITER 4006 NEW BEST:: SOT 98765 SOS 22784 HAS SOPS 22784 HAS SOUS 19593 HAS SOUPS 19593 WITH SCORE 19615.784
AT ITER 4012 NEW BEST:: SOT 98753 SOS 22760 HAS SOPS 22760 HAS SOUS 19569 HAS SOUPS 19569 WITH SCORE 19591.76
AT ITER 4030 NEW BEST:: SOT 98752 SOS 22758 HAS SOPS 22758 HAS SOUS 19567 HAS SOUPS 19567 WITH SCORE 19589.758
AT ITER 4097 NEW BEST:: SOT 98752 SOS 22730 HAS SOPS 22730 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19561.73
AT ITER 4102 NEW BEST:: SOT 98766 SOS 22654 HAS SOPS 22654 HAS SOUS 19471 HAS SOUPS 19471 WITH SCORE 19493.654
AT ITER 4109 NEW BEST:: SOT 98735 SOS 22621 HAS SOPS 22621 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19460.621
AT ITER 4143 NEW BEST:: SOT 98723 SOS 22597 HAS SOPS 22597 HAS SOUS 19426 HAS SOUPS 19426 WITH SCORE 19448.597
AT ITER 4162 NEW BEST:: SOT 98716 SOS 22583 HAS SOPS 22583 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19434.583
AT ITER 4166 NEW BEST:: SOT 98714 SOS 22579 HAS SOPS 22579 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19430.579
AT ITER 4167 NEW BEST:: SOT 98714 SOS 22523 HAS SOPS 22523 HAS SOUS 19352 HAS SOUPS 19352 WITH SCORE 19374.523
AT ITER 4173 NEW BEST:: SOT 98714 SOS 22523 HAS SOPS 22523 HAS SOUS 19345 HAS SOUPS 19345 WITH SCORE 19367.523
AT ITER 4279 NEW BEST:: SOT 98722 SOS 22519 HAS SOPS 22519 HAS SOUS 19341 HAS SOUPS 19341 WITH SCORE 19363.519
AT ITER 4319 NEW BEST:: SOT 98722 SOS 22519 HAS SOPS 22519 HAS SOUS 19338 HAS SOUPS 19338 WITH SCORE 19360.519
AT ITER 4342 NEW BEST:: SOT 98721 SOS 22517 HAS SOPS 22517 HAS SOUS 19338 HAS SOUPS 19338 WITH SCORE 19360.517
AT ITER 4365 NEW BEST:: SOT 98688 SOS 22510 HAS SOPS 22510 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19330.51
AT ITER 4380 NEW BEST:: SOT 98681 SOS 22474 HAS SOPS 22474 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19316.474
AT ITER 4439 NEW BEST:: SOT 98680 SOS 22472 HAS SOPS 22472 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19314.472
AT ITER 4440 NEW BEST:: SOT 98674 SOS 22468 HAS SOPS 22468 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19310.468
AT ITER 4492 NEW BEST:: SOT 98674 SOS 22456 HAS SOPS 22456 HAS SOUS 19276 HAS SOUPS 19276 WITH SCORE 19298.456
AT ITER 4512 NEW BEST:: SOT 98674 SOS 22432 HAS SOPS 22432 HAS SOUS 19264 HAS SOUPS 19264 WITH SCORE 19286.432
AT ITER 4549 NEW BEST:: SOT 98675 SOS 22437 HAS SOPS 22437 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19274.437
AT ITER 4562 NEW BEST:: SOT 98675 SOS 22399 HAS SOPS 22399 HAS SOUS 19196 HAS SOUPS 19196 WITH SCORE 19218.399
AT ITER 4592 NEW BEST:: SOT 98652 SOS 22379 HAS SOPS 22379 HAS SOUS 19176 HAS SOUPS 19176 WITH SCORE 19198.379
AT ITER 4661 NEW BEST:: SOT 98650 SOS 22375 HAS SOPS 22375 HAS SOUS 19172 HAS SOUPS 19172 WITH SCORE 19194.375
AT ITER 4745 NEW BEST:: SOT 98621 SOS 22336 HAS SOPS 22336 HAS SOUS 19133 HAS SOUPS 19133 WITH SCORE 19155.336
AT ITER 4761 NEW BEST:: SOT 98600 SOS 22322 HAS SOPS 22322 HAS SOUS 19119 HAS SOUPS 19119 WITH SCORE 19141.322
AT ITER 4803 NEW BEST:: SOT 98600 SOS 22312 HAS SOPS 22312 HAS SOUS 19109 HAS SOUPS 19109 WITH SCORE 19131.312
AT ITER 4836 NEW BEST:: SOT 98595 SOS 22302 HAS SOPS 22302 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19121.302
AT ITER 4895 NEW BEST:: SOT 98596 SOS 22287 HAS SOPS 22287 HAS SOUS 19084 HAS SOUPS 19084 WITH SCORE 19106.287
AT ITER 4910 NEW BEST:: SOT 98567 SOS 22241 HAS SOPS 22241 HAS SOUS 19066 HAS SOUPS 19066 WITH SCORE 19088.241
AT ITER 4911 NEW BEST:: SOT 98557 SOS 22221 HAS SOPS 22221 HAS SOUS 19046 HAS SOUPS 19046 WITH SCORE 19068.221
AT ITER 4923 NEW BEST:: SOT 98545 SOS 22197 HAS SOPS 22197 HAS SOUS 19031 HAS SOUPS 19031 WITH SCORE 19053.197
AT ITER 4928 NEW BEST:: SOT 98545 SOS 22190 HAS SOPS 22190 HAS SOUS 19024 HAS SOUPS 19024 WITH SCORE 19046.19
AT ITER 4984 NEW BEST:: SOT 98545 SOS 22189 HAS SOPS 22189 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19045.189
AT ITER 4989 NEW BEST:: SOT 98533 SOS 22150 HAS SOPS 22150 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19021.15
AT ITER 4995 NEW BEST:: SOT 98539 SOS 22140 HAS SOPS 22140 HAS SOUS 18992 HAS SOUPS 18992 WITH SCORE 19014.14
AT ITER 4998 NEW BEST:: SOT 98525 SOS 22126 HAS SOPS 22126 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19000.126
AT ITER 5006 NEW BEST:: SOT 98525 SOS 22110 HAS SOPS 22110 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19000.11
AT ITER 5026 NEW BEST:: SOT 98525 SOS 22110 HAS SOPS 22110 HAS SOUS 18977 HAS SOUPS 18977 WITH SCORE 18999.11
AT ITER 5035 NEW BEST:: SOT 98511 SOS 22142 HAS SOPS 22142 HAS SOUS 18963 HAS SOUPS 18963 WITH SCORE 18985.142
AT ITER 5059 NEW BEST:: SOT 98511 SOS 22142 HAS SOPS 22142 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 18974.142
AT ITER 5102 NEW BEST:: SOT 98497 SOS 22129 HAS SOPS 22129 HAS SOUS 18939 HAS SOUPS 18939 WITH SCORE 18961.129
AT ITER 5107 NEW BEST:: SOT 98497 SOS 22129 HAS SOPS 22129 HAS SOUS 18938 HAS SOUPS 18938 WITH SCORE 18960.129
AT ITER 5115 NEW BEST:: SOT 98449 SOS 22062 HAS SOPS 22062 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18893.062
AT ITER 5182 NEW BEST:: SOT 98438 SOS 22040 HAS SOPS 22040 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18882.04
AT ITER 5247 NEW BEST:: SOT 98408 SOS 21919 HAS SOPS 21919 HAS SOUS 18853 HAS SOUPS 18853 WITH SCORE 18874.919
AT ITER 5252 NEW BEST:: SOT 98410 SOS 21912 HAS SOPS 21912 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18873.912
AT ITER 5270 NEW BEST:: SOT 98387 SOS 21923 HAS SOPS 21923 HAS SOUS 18806 HAS SOUPS 18806 WITH SCORE 18827.923
AT ITER 5417 NEW BEST:: SOT 98385 SOS 21919 HAS SOPS 21919 HAS SOUS 18802 HAS SOUPS 18802 WITH SCORE 18823.919
AT ITER 5448 NEW BEST:: SOT 98385 SOS 21918 HAS SOPS 21918 HAS SOUS 18801 HAS SOUPS 18801 WITH SCORE 18822.918
AT ITER 5482 NEW BEST:: SOT 98383 SOS 21914 HAS SOPS 21914 HAS SOUS 18795 HAS SOUPS 18795 WITH SCORE 18816.914
AT ITER 5491 NEW BEST:: SOT 98381 SOS 21914 HAS SOPS 21914 HAS SOUS 18793 HAS SOUPS 18793 WITH SCORE 18814.914
AT ITER 5520 NEW BEST:: SOT 98381 SOS 21911 HAS SOPS 21911 HAS SOUS 18790 HAS SOUPS 18790 WITH SCORE 18811.911
AT ITER 5531 NEW BEST:: SOT 98381 SOS 21911 HAS SOPS 21911 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18791.911
AT ITER 5537 NEW BEST:: SOT 98381 SOS 21895 HAS SOPS 21895 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18783.895
AT ITER 5542 NEW BEST:: SOT 98373 SOS 21879 HAS SOPS 21879 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18774.879
AT ITER 5552 NEW BEST:: SOT 98370 SOS 21857 HAS SOPS 21857 HAS SOUS 18747 HAS SOUPS 18747 WITH SCORE 18768.857
AT ITER 5569 NEW BEST:: SOT 98372 SOS 21829 HAS SOPS 21829 HAS SOUS 18719 HAS SOUPS 18719 WITH SCORE 18740.829
AT ITER 5623 NEW BEST:: SOT 98370 SOS 21442 HAS SOPS 21442 HAS SOUS 18717 HAS SOUPS 18717 WITH SCORE 18738.442
AT ITER 5638 NEW BEST:: SOT 98369 SOS 21440 HAS SOPS 21440 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18736.44
AT ITER 5665 NEW BEST:: SOT 98369 SOS 21412 HAS SOPS 21412 HAS SOUS 18687 HAS SOUPS 18687 WITH SCORE 18708.412
AT ITER 5690 NEW BEST:: SOT 98369 SOS 21412 HAS SOPS 21412 HAS SOUS 18676 HAS SOUPS 18676 WITH SCORE 18697.412
AT ITER 5713 NEW BEST:: SOT 98350 SOS 21310 HAS SOPS 21310 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18646.31
AT ITER 5763 NEW BEST:: SOT 98348 SOS 21306 HAS SOPS 21306 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18642.306
AT ITER 5784 NEW BEST:: SOT 98347 SOS 21298 HAS SOPS 21298 HAS SOUS 18619 HAS SOUPS 18619 WITH SCORE 18640.298
AT ITER 5785 NEW BEST:: SOT 98338 SOS 21296 HAS SOPS 21296 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18622.296
AT ITER 5792 NEW BEST:: SOT 98335 SOS 21282 HAS SOPS 21282 HAS SOUS 18587 HAS SOUPS 18587 WITH SCORE 18608.282
AT ITER 5802 NEW BEST:: SOT 98335 SOS 21280 HAS SOPS 21280 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18606.28
AT ITER 5867 NEW BEST:: SOT 98332 SOS 21277 HAS SOPS 21277 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18604.277
AT ITER 5872 NEW BEST:: SOT 98336 SOS 21260 HAS SOPS 21260 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18587.26
AT ITER 5885 NEW BEST:: SOT 98331 SOS 21250 HAS SOPS 21250 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18572.25
AT ITER 5908 NEW BEST:: SOT 98316 SOS 21240 HAS SOPS 21240 HAS SOUS 18541 HAS SOUPS 18541 WITH SCORE 18562.24
AT ITER 5977 NEW BEST:: SOT 98316 SOS 21240 HAS SOPS 21240 HAS SOUS 18517 HAS SOUPS 18517 WITH SCORE 18538.24
AT ITER 5987 NEW BEST:: SOT 98316 SOS 21240 HAS SOPS 21240 HAS SOUS 18506 HAS SOUPS 18506 WITH SCORE 18527.24
AT ITER 5991 NEW BEST:: SOT 98316 SOS 21220 HAS SOPS 21220 HAS SOUS 18477 HAS SOUPS 18477 WITH SCORE 18498.22
AT ITER 6072 NEW BEST:: SOT 98317 SOS 21222 HAS SOPS 21222 HAS SOUS 18473 HAS SOUPS 18473 WITH SCORE 18494.222
AT ITER 6076 NEW BEST:: SOT 98317 SOS 21138 HAS SOPS 21138 HAS SOUS 18473 HAS SOUPS 18473 WITH SCORE 18494.138
AT ITER 6084 NEW BEST:: SOT 98324 SOS 21125 HAS SOPS 21125 HAS SOUS 18460 HAS SOUPS 18460 WITH SCORE 18481.125
AT ITER 6091 NEW BEST:: SOT 98317 SOS 21111 HAS SOPS 21111 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18467.111
AT ITER 6198 NEW BEST:: SOT 98307 SOS 21101 HAS SOPS 21101 HAS SOUS 18436 HAS SOUPS 18436 WITH SCORE 18457.101
AT ITER 6203 NEW BEST:: SOT 98353 SOS 21095 HAS SOPS 21095 HAS SOUS 18430 HAS SOUPS 18430 WITH SCORE 18451.095
AT ITER 6221 NEW BEST:: SOT 98353 SOS 21095 HAS SOPS 21095 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18446.095
AT ITER 6233 NEW BEST:: SOT 98353 SOS 21095 HAS SOPS 21095 HAS SOUS 18423 HAS SOUPS 18423 WITH SCORE 18444.095
AT ITER 6267 NEW BEST:: SOT 98353 SOS 21095 HAS SOPS 21095 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18443.095
AT ITER 6294 NEW BEST:: SOT 98347 SOS 21039 HAS SOPS 21039 HAS SOUS 18394 HAS SOUPS 18394 WITH SCORE 18415.039
AT ITER 6314 NEW BEST:: SOT 98351 SOS 21021 HAS SOPS 21021 HAS SOUS 18385 HAS SOUPS 18385 WITH SCORE 18406.021
AT ITER 6320 NEW BEST:: SOT 98351 SOS 21019 HAS SOPS 21019 HAS SOUS 18383 HAS SOUPS 18383 WITH SCORE 18404.019
AT ITER 6321 NEW BEST:: SOT 98351 SOS 21019 HAS SOPS 21019 HAS SOUS 18382 HAS SOUPS 18382 WITH SCORE 18403.019
AT ITER 6330 NEW BEST:: SOT 98341 SOS 21009 HAS SOPS 21009 HAS SOUS 18372 HAS SOUPS 18372 WITH SCORE 18393.009
AT ITER 6343 NEW BEST:: SOT 98341 SOS 20983 HAS SOPS 20983 HAS SOUS 18359 HAS SOUPS 18359 WITH SCORE 18379.983
AT ITER 6357 NEW BEST:: SOT 98339 SOS 20979 HAS SOPS 20979 HAS SOUS 18355 HAS SOUPS 18355 WITH SCORE 18375.979
AT ITER 6427 NEW BEST:: SOT 98335 SOS 20947 HAS SOPS 20947 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18343.947
AT ITER 6439 NEW BEST:: SOT 98330 SOS 20946 HAS SOPS 20946 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18338.946
AT ITER 6451 NEW BEST:: SOT 98330 SOS 20944 HAS SOPS 20944 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18338.944
AT ITER 6453 NEW BEST:: SOT 98348 SOS 20939 HAS SOPS 20939 HAS SOUS 18313 HAS SOUPS 18313 WITH SCORE 18333.939
AT ITER 6489 NEW BEST:: SOT 98346 SOS 20937 HAS SOPS 20937 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18331.937
AT ITER 6502 NEW BEST:: SOT 98346 SOS 20931 HAS SOPS 20931 HAS SOUS 18305 HAS SOUPS 18305 WITH SCORE 18325.931
AT ITER 6508 NEW BEST:: SOT 98346 SOS 20908 HAS SOPS 20908 HAS SOUS 18305 HAS SOUPS 18305 WITH SCORE 18325.908
AT ITER 6553 NEW BEST:: SOT 98344 SOS 20904 HAS SOPS 20904 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18321.904
AT ITER 6555 NEW BEST:: SOT 98344 SOS 20892 HAS SOPS 20892 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18315.892
AT ITER 6564 NEW BEST:: SOT 98339 SOS 20799 HAS SOPS 20799 HAS SOUS 18285 HAS SOUPS 18285 WITH SCORE 18305.799
AT ITER 6630 NEW BEST:: SOT 98344 SOS 20759 HAS SOPS 20759 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18270.759
AT ITER 6697 NEW BEST:: SOT 98344 SOS 20759 HAS SOPS 20759 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18264.759
AT ITER 6698 NEW BEST:: SOT 98358 SOS 20689 HAS SOPS 20689 HAS SOUS 18239 HAS SOUPS 18239 WITH SCORE 18259.689
AT ITER 6702 NEW BEST:: SOT 98357 SOS 20688 HAS SOPS 20688 HAS SOUS 18238 HAS SOUPS 18238 WITH SCORE 18258.688
AT ITER 6705 NEW BEST:: SOT 98345 SOS 20684 HAS SOPS 20684 HAS SOUS 18234 HAS SOUPS 18234 WITH SCORE 18254.684
AT ITER 6752 NEW BEST:: SOT 98345 SOS 20642 HAS SOPS 20642 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18233.642
AT ITER 6755 NEW BEST:: SOT 98326 SOS 20571 HAS SOPS 20571 HAS SOUS 18175 HAS SOUPS 18175 WITH SCORE 18195.571
AT ITER 6787 NEW BEST:: SOT 98326 SOS 20571 HAS SOPS 20571 HAS SOUS 18166 HAS SOUPS 18166 WITH SCORE 18186.571
AT ITER 6792 NEW BEST:: SOT 98324 SOS 20567 HAS SOPS 20567 HAS SOUS 18156 HAS SOUPS 18156 WITH SCORE 18176.567
AT ITER 6818 NEW BEST:: SOT 98306 SOS 20531 HAS SOPS 20531 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18116.531
AT ITER 6829 NEW BEST:: SOT 98300 SOS 20519 HAS SOPS 20519 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18113.519
AT ITER 6835 NEW BEST:: SOT 98300 SOS 20510 HAS SOPS 20510 HAS SOUS 18084 HAS SOUPS 18084 WITH SCORE 18104.51
AT ITER 6863 NEW BEST:: SOT 98289 SOS 20506 HAS SOPS 20506 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18100.506
AT ITER 6864 NEW BEST:: SOT 98286 SOS 20488 HAS SOPS 20488 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18094.488
AT ITER 6877 NEW BEST:: SOT 98282 SOS 20480 HAS SOPS 20480 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18086.48
AT ITER 6892 NEW BEST:: SOT 98285 SOS 20483 HAS SOPS 20483 HAS SOUS 18064 HAS SOUPS 18064 WITH SCORE 18084.483
AT ITER 6959 NEW BEST:: SOT 98254 SOS 20421 HAS SOPS 20421 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18024.421
AT ITER 7055 NEW BEST:: SOT 98252 SOS 20417 HAS SOPS 20417 HAS SOUS 18000 HAS SOUPS 18000 WITH SCORE 18020.417
AT ITER 7074 NEW BEST:: SOT 98225 SOS 20383 HAS SOPS 20383 HAS SOUS 17977 HAS SOUPS 17977 WITH SCORE 17997.383
AT ITER 7088 NEW BEST:: SOT 98200 SOS 20386 HAS SOPS 20386 HAS SOUS 17956 HAS SOUPS 17956 WITH SCORE 17976.386
AT ITER 7091 NEW BEST:: SOT 98216 SOS 20354 HAS SOPS 20354 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17967.354
AT ITER 7148 NEW BEST:: SOT 98222 SOS 20332 HAS SOPS 20332 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17963.332
AT ITER 7172 NEW BEST:: SOT 98226 SOS 20322 HAS SOPS 20322 HAS SOUS 17942 HAS SOUPS 17942 WITH SCORE 17962.322
AT ITER 7226 NEW BEST:: SOT 98226 SOS 20315 HAS SOPS 20315 HAS SOUS 17935 HAS SOUPS 17935 WITH SCORE 17955.315
AT ITER 7281 NEW BEST:: SOT 98210 SOS 20312 HAS SOPS 20312 HAS SOUS 17932 HAS SOUPS 17932 WITH SCORE 17952.312
AT ITER 7316 NEW BEST:: SOT 98207 SOS 20306 HAS SOPS 20306 HAS SOUS 17926 HAS SOUPS 17926 WITH SCORE 17946.306
AT ITER 7343 NEW BEST:: SOT 98207 SOS 20262 HAS SOPS 20262 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17902.262
AT ITER 7349 NEW BEST:: SOT 98230 SOS 20190 HAS SOPS 20190 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17866.19
AT ITER 7365 NEW BEST:: SOT 98230 SOS 20138 HAS SOPS 20138 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17866.138
AT ITER 7369 NEW BEST:: SOT 98237 SOS 20116 HAS SOPS 20116 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17862.116
AT ITER 7382 NEW BEST:: SOT 98237 SOS 20116 HAS SOPS 20116 HAS SOUS 17838 HAS SOUPS 17838 WITH SCORE 17858.116
AT ITER 7401 NEW BEST:: SOT 98236 SOS 20114 HAS SOPS 20114 HAS SOUS 17836 HAS SOUPS 17836 WITH SCORE 17856.114
AT ITER 7540 NEW BEST:: SOT 98229 SOS 20113 HAS SOPS 20113 HAS SOUS 17835 HAS SOUPS 17835 WITH SCORE 17855.113
AT ITER 7607 NEW BEST:: SOT 98220 SOS 20095 HAS SOPS 20095 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17837.095
AT ITER 7688 NEW BEST:: SOT 98216 SOS 20087 HAS SOPS 20087 HAS SOUS 17809 HAS SOUPS 17809 WITH SCORE 17829.087
AT ITER 7798 NEW BEST:: SOT 98216 SOS 20084 HAS SOPS 20084 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17828.084
AT ITER 7833 NEW BEST:: SOT 98200 SOS 19950 HAS SOPS 19950 HAS SOUS 17710 HAS SOUPS 17710 WITH SCORE 17729.95
AT ITER 7850 NEW BEST:: SOT 98199 SOS 19948 HAS SOPS 19948 HAS SOUS 17708 HAS SOUPS 17708 WITH SCORE 17727.948
AT ITER 7874 NEW BEST:: SOT 98221 SOS 19970 HAS SOPS 19970 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17725.97
AT ITER 7893 NEW BEST:: SOT 98207 SOS 19942 HAS SOPS 19942 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17697.942
AT ITER 7906 NEW BEST:: SOT 98207 SOS 19942 HAS SOPS 19942 HAS SOUS 17673 HAS SOUPS 17673 WITH SCORE 17692.942
AT ITER 7976 NEW BEST:: SOT 98200 SOS 19935 HAS SOPS 19935 HAS SOUS 17666 HAS SOUPS 17666 WITH SCORE 17685.935
AT ITER 7994 NEW BEST:: SOT 98184 SOS 19903 HAS SOPS 19903 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17669.903
AT ITER 8015 NEW BEST:: SOT 98174 SOS 19897 HAS SOPS 19897 HAS SOUS 17644 HAS SOUPS 17644 WITH SCORE 17663.897
AT ITER 8041 NEW BEST:: SOT 98174 SOS 19810 HAS SOPS 19810 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17655.81
AT ITER 8053 NEW BEST:: SOT 98171 SOS 19801 HAS SOPS 19801 HAS SOUS 17627 HAS SOUPS 17627 WITH SCORE 17646.801
AT ITER 8095 NEW BEST:: SOT 98165 SOS 19789 HAS SOPS 19789 HAS SOUS 17588 HAS SOUPS 17588 WITH SCORE 17607.789
AT ITER 8108 NEW BEST:: SOT 98208 SOS 19783 HAS SOPS 19783 HAS SOUS 17585 HAS SOUPS 17585 WITH SCORE 17604.783
AT ITER 8111 NEW BEST:: SOT 98202 SOS 19777 HAS SOPS 19777 HAS SOUS 17537 HAS SOUPS 17537 WITH SCORE 17556.777
AT ITER 8134 NEW BEST:: SOT 98202 SOS 19777 HAS SOPS 19777 HAS SOUS 17517 HAS SOUPS 17517 WITH SCORE 17536.777
AT ITER 8204 NEW BEST:: SOT 98175 SOS 19741 HAS SOPS 19741 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17500.741
AT ITER 8217 NEW BEST:: SOT 98176 SOS 19743 HAS SOPS 19743 HAS SOUS 17472 HAS SOUPS 17472 WITH SCORE 17491.743
AT ITER 8269 NEW BEST:: SOT 98172 SOS 19735 HAS SOPS 19735 HAS SOUS 17463 HAS SOUPS 17463 WITH SCORE 17482.735
AT ITER 8271 NEW BEST:: SOT 98172 SOS 19735 HAS SOPS 19735 HAS SOUS 17457 HAS SOUPS 17457 WITH SCORE 17476.735
AT ITER 8297 NEW BEST:: SOT 98171 SOS 19733 HAS SOPS 19733 HAS SOUS 17455 HAS SOUPS 17455 WITH SCORE 17474.733
AT ITER 8371 NEW BEST:: SOT 98165 SOS 19721 HAS SOPS 19721 HAS SOUS 17453 HAS SOUPS 17453 WITH SCORE 17472.721
AT ITER 8411 NEW BEST:: SOT 98148 SOS 19687 HAS SOPS 19687 HAS SOUS 17436 HAS SOUPS 17436 WITH SCORE 17455.687
AT ITER 8458 NEW BEST:: SOT 98149 SOS 19670 HAS SOPS 19670 HAS SOUS 17429 HAS SOUPS 17429 WITH SCORE 17448.67
AT ITER 8476 NEW BEST:: SOT 98152 SOS 19676 HAS SOPS 19676 HAS SOUS 17419 HAS SOUPS 17419 WITH SCORE 17438.676
AT ITER 8488 NEW BEST:: SOT 98148 SOS 19660 HAS SOPS 19660 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17430.66
AT ITER 8496 NEW BEST:: SOT 98148 SOS 19660 HAS SOPS 19660 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17425.66
AT ITER 8513 NEW BEST:: SOT 98145 SOS 19648 HAS SOPS 19648 HAS SOUS 17397 HAS SOUPS 17397 WITH SCORE 17416.648
AT ITER 8556 NEW BEST:: SOT 98147 SOS 19639 HAS SOPS 19639 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17407.639
AT ITER 8561 NEW BEST:: SOT 98139 SOS 19597 HAS SOPS 19597 HAS SOUS 17367 HAS SOUPS 17367 WITH SCORE 17386.597
AT ITER 8568 NEW BEST:: SOT 98159 SOS 19609 HAS SOPS 19609 HAS SOUS 17359 HAS SOUPS 17359 WITH SCORE 17378.609
AT ITER 8579 NEW BEST:: SOT 98152 SOS 19607 HAS SOPS 19607 HAS SOUS 17355 HAS SOUPS 17355 WITH SCORE 17374.607
AT ITER 8581 NEW BEST:: SOT 98131 SOS 19571 HAS SOPS 19571 HAS SOUS 17334 HAS SOUPS 17334 WITH SCORE 17353.571
AT ITER 8590 NEW BEST:: SOT 98131 SOS 19569 HAS SOPS 19569 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17351.569
AT ITER 8599 NEW BEST:: SOT 98117 SOS 19541 HAS SOPS 19541 HAS SOUS 17318 HAS SOUPS 17318 WITH SCORE 17337.541
AT ITER 8609 NEW BEST:: SOT 98115 SOS 19537 HAS SOPS 19537 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17333.537
AT ITER 8671 NEW BEST:: SOT 98091 SOS 19391 HAS SOPS 19391 HAS SOUS 17227 HAS SOUPS 17227 WITH SCORE 17246.391
AT ITER 8674 NEW BEST:: SOT 98070 SOS 19370 HAS SOPS 19370 HAS SOUS 17206 HAS SOUPS 17206 WITH SCORE 17225.37
AT ITER 8692 NEW BEST:: SOT 98070 SOS 19349 HAS SOPS 19349 HAS SOUS 17206 HAS SOUPS 17206 WITH SCORE 17225.349
AT ITER 8725 NEW BEST:: SOT 98069 SOS 19347 HAS SOPS 19347 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17223.347
AT ITER 8738 NEW BEST:: SOT 98069 SOS 19345 HAS SOPS 19345 HAS SOUS 17202 HAS SOUPS 17202 WITH SCORE 17221.345
AT ITER 8756 NEW BEST:: SOT 98064 SOS 19316 HAS SOPS 19316 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17211.316
AT ITER 8769 NEW BEST:: SOT 98064 SOS 19311 HAS SOPS 19311 HAS SOUS 17187 HAS SOUPS 17187 WITH SCORE 17206.311
AT ITER 8798 NEW BEST:: SOT 98065 SOS 19279 HAS SOPS 19279 HAS SOUS 17144 HAS SOUPS 17144 WITH SCORE 17163.279
AT ITER 8824 NEW BEST:: SOT 98090 SOS 19265 HAS SOPS 19265 HAS SOUS 17143 HAS SOUPS 17143 WITH SCORE 17162.265
AT ITER 8872 NEW BEST:: SOT 98082 SOS 19249 HAS SOPS 19249 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17154.249
AT ITER 8916 NEW BEST:: SOT 98077 SOS 19179 HAS SOPS 19179 HAS SOUS 17128 HAS SOUPS 17128 WITH SCORE 17147.179
AT ITER 8941 NEW BEST:: SOT 98077 SOS 19173 HAS SOPS 19173 HAS SOUS 17128 HAS SOUPS 17128 WITH SCORE 17147.173
AT ITER 9000 NEW BEST:: SOT 98071 SOS 19161 HAS SOPS 19161 HAS SOUS 17116 HAS SOUPS 17116 WITH SCORE 17135.161
AT ITER 9021 NEW BEST:: SOT 98071 SOS 19161 HAS SOPS 19161 HAS SOUS 17102 HAS SOUPS 17102 WITH SCORE 17121.161
AT ITER 9055 NEW BEST:: SOT 98055 SOS 19129 HAS SOPS 19129 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17088.129
AT ITER 9292 NEW BEST:: SOT 98065 SOS 19109 HAS SOPS 19109 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17078.109
AT ITER 9349 NEW BEST:: SOT 98063 SOS 19109 HAS SOPS 19109 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17074.109
AT ITER 9551 NEW BEST:: SOT 98060 SOS 19103 HAS SOPS 19103 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17068.103
AT ITER 9631 NEW BEST:: SOT 98064 SOS 19100 HAS SOPS 19100 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17065.1
AT ITER 9752 NEW BEST:: SOT 98064 SOS 19087 HAS SOPS 19087 HAS SOUS 17033 HAS SOUPS 17033 WITH SCORE 17052.087
AT ITER 9788 NEW BEST:: SOT 98062 SOS 19085 HAS SOPS 19085 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17050.085
AT ITER 9792 NEW BEST:: SOT 98050 SOS 19061 HAS SOPS 19061 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17026.061
AT ITER 9806 NEW BEST:: SOT 98045 SOS 19062 HAS SOPS 19062 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17020.062
AT ITER 9855 NEW BEST:: SOT 98045 SOS 19057 HAS SOPS 19057 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17015.057
AT ITER 9866 NEW BEST:: SOT 98045 SOS 19048 HAS SOPS 19048 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17015.048
AT ITER 9942 NEW BEST:: SOT 98031 SOS 19020 HAS SOPS 19020 HAS SOUS 16968 HAS SOUPS 16968 WITH SCORE 16987.02
AT ITER 9992 NEW BEST:: SOT 98059 SOS 19034 HAS SOPS 19034 HAS SOUS 16966 HAS SOUPS 16966 WITH SCORE 16985.034
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10615436 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16126068 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="GPUForwardProgress-PT-20b"
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 GPUForwardProgress-PT-20b, 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 r203-smll-167840349100080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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