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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 7.3K Feb 26 10:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 10:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 26 10:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 10:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 10:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 26 10:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 10:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.4M Mar 5 18:23 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 1679270468806

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyCommit-PT-05b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 05b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1837 places, 3460 transitions, 22362 arcs.
AT ITER 0 NEW BEST:: SOT 4162985 SOS 591496 HAS SOPS 591496 HAS SOUS 519556 HAS SOUPS 519556 WITH SCORE 520147.496
AT ITER 5 NEW BEST:: SOT 4158877 SOS 606144 HAS SOPS 606144 HAS SOUS 516265 HAS SOUPS 516265 WITH SCORE 516871.144
AT ITER 29 NEW BEST:: SOT 4158715 SOS 605820 HAS SOPS 605820 HAS SOUS 515941 HAS SOUPS 515941 WITH SCORE 516546.82
AT ITER 83 NEW BEST:: SOT 4158715 SOS 605739 HAS SOPS 605739 HAS SOUS 515940 HAS SOUPS 515940 WITH SCORE 516545.739
AT ITER 92 NEW BEST:: SOT 4158715 SOS 605700 HAS SOPS 605700 HAS SOUS 515940 HAS SOUPS 515940 WITH SCORE 516545.7
AT ITER 188 NEW BEST:: SOT 4155016 SOS 718556 HAS SOPS 718556 HAS SOUS 513339 HAS SOUPS 513339 WITH SCORE 514057.556
AT ITER 189 NEW BEST:: SOT 4154980 SOS 718484 HAS SOPS 718484 HAS SOUS 513267 HAS SOUPS 513267 WITH SCORE 513985.484
AT ITER 261 NEW BEST:: SOT 4154794 SOS 718112 HAS SOPS 718112 HAS SOUS 512895 HAS SOUPS 512895 WITH SCORE 513613.112
AT ITER 267 NEW BEST:: SOT 4154690 SOS 717904 HAS SOPS 717904 HAS SOUS 512687 HAS SOUPS 512687 WITH SCORE 513404.904
AT ITER 292 NEW BEST:: SOT 4154504 SOS 717532 HAS SOPS 717532 HAS SOUS 512501 HAS SOUPS 512501 WITH SCORE 513218.532
AT ITER 407 NEW BEST:: SOT 4154371 SOS 717266 HAS SOPS 717266 HAS SOUS 512235 HAS SOUPS 512235 WITH SCORE 512952.266
AT ITER 409 NEW BEST:: SOT 4154357 SOS 717238 HAS SOPS 717238 HAS SOUS 512207 HAS SOUPS 512207 WITH SCORE 512924.238
AT ITER 411 NEW BEST:: SOT 4154228 SOS 716980 HAS SOPS 716980 HAS SOUS 511949 HAS SOUPS 511949 WITH SCORE 512665.98
AT ITER 466 NEW BEST:: SOT 4147386 SOS 809278 HAS SOPS 809278 HAS SOUS 511296 HAS SOUPS 511296 WITH SCORE 512105.278
AT ITER 518 NEW BEST:: SOT 4147386 SOS 809223 HAS SOPS 809223 HAS SOUS 511296 HAS SOUPS 511296 WITH SCORE 512105.223
AT ITER 547 NEW BEST:: SOT 4145106 SOS 806943 HAS SOPS 806943 HAS SOUS 509040 HAS SOUPS 509040 WITH SCORE 509846.943
AT ITER 600 NEW BEST:: SOT 4145106 SOS 806901 HAS SOPS 806901 HAS SOUS 509039 HAS SOUPS 509039 WITH SCORE 509845.901
AT ITER 641 NEW BEST:: SOT 4139229 SOS 884940 HAS SOPS 884940 HAS SOUS 505083 HAS SOUPS 505083 WITH SCORE 505967.94
AT ITER 646 NEW BEST:: SOT 4139228 SOS 884840 HAS SOPS 884840 HAS SOUS 505081 HAS SOUPS 505081 WITH SCORE 505965.84
AT ITER 652 NEW BEST:: SOT 4139227 SOS 884768 HAS SOPS 884768 HAS SOUS 505079 HAS SOUPS 505079 WITH SCORE 505963.768
AT ITER 685 NEW BEST:: SOT 4138982 SOS 884523 HAS SOPS 884523 HAS SOUS 504834 HAS SOUPS 504834 WITH SCORE 505718.523
AT ITER 720 NEW BEST:: SOT 4138965 SOS 884489 HAS SOPS 884489 HAS SOUS 504800 HAS SOUPS 504800 WITH SCORE 505684.489
AT ITER 747 NEW BEST:: SOT 4133612 SOS 910720 HAS SOPS 910720 HAS SOUS 503962 HAS SOUPS 503962 WITH SCORE 504872.72
AT ITER 779 NEW BEST:: SOT 4133574 SOS 910644 HAS SOPS 910644 HAS SOUS 503886 HAS SOUPS 503886 WITH SCORE 504796.644
AT ITER 780 NEW BEST:: SOT 4133535 SOS 910566 HAS SOPS 910566 HAS SOUS 503808 HAS SOUPS 503808 WITH SCORE 504718.566
AT ITER 788 NEW BEST:: SOT 4133527 SOS 910550 HAS SOPS 910550 HAS SOUS 503792 HAS SOUPS 503792 WITH SCORE 504702.55
AT ITER 796 NEW BEST:: SOT 4133527 SOS 910550 HAS SOPS 910550 HAS SOUS 503735 HAS SOUPS 503735 WITH SCORE 504645.55
AT ITER 802 NEW BEST:: SOT 4130996 SOS 908800 HAS SOPS 908800 HAS SOUS 501243 HAS SOUPS 501243 WITH SCORE 502151.8
AT ITER 818 NEW BEST:: SOT 4130954 SOS 908716 HAS SOPS 908716 HAS SOUS 501201 HAS SOUPS 501201 WITH SCORE 502109.716
AT ITER 828 NEW BEST:: SOT 4130954 SOS 908618 HAS SOPS 908618 HAS SOUS 501201 HAS SOUPS 501201 WITH SCORE 502109.618
AT ITER 829 NEW BEST:: SOT 4130953 SOS 908616 HAS SOPS 908616 HAS SOUS 501199 HAS SOUPS 501199 WITH SCORE 502107.616
AT ITER 850 NEW BEST:: SOT 4123979 SOS 1088240 HAS SOPS 1088240 HAS SOUS 500762 HAS SOUPS 500762 WITH SCORE 501850.24
AT ITER 864 NEW BEST:: SOT 4123900 SOS 1088082 HAS SOPS 1088082 HAS SOUS 500678 HAS SOUPS 500678 WITH SCORE 501766.082
AT ITER 867 NEW BEST:: SOT 4119750 SOS 1381389 HAS SOPS 1381389 HAS SOUS 499630 HAS SOUPS 499630 WITH SCORE 501011.389
AT ITER 882 NEW BEST:: SOT 4119749 SOS 1381387 HAS SOPS 1381387 HAS SOUS 499628 HAS SOUPS 499628 WITH SCORE 501009.387
AT ITER 938 NEW BEST:: SOT 4119707 SOS 1381303 HAS SOPS 1381303 HAS SOUS 499565 HAS SOUPS 499565 WITH SCORE 500946.303
AT ITER 946 NEW BEST:: SOT 4119706 SOS 1381301 HAS SOPS 1381301 HAS SOUS 499563 HAS SOUPS 499563 WITH SCORE 500944.301
AT ITER 994 NEW BEST:: SOT 4119570 SOS 1380854 HAS SOPS 1380854 HAS SOUS 499291 HAS SOUPS 499291 WITH SCORE 500671.854
AT ITER 1020 NEW BEST:: SOT 4119458 SOS 1380518 HAS SOPS 1380518 HAS SOUS 499067 HAS SOUPS 499067 WITH SCORE 500447.518
AT ITER 1038 NEW BEST:: SOT 4119240 SOS 1380082 HAS SOPS 1380082 HAS SOUS 498513 HAS SOUPS 498513 WITH SCORE 499893.082
AT ITER 1043 NEW BEST:: SOT 4111554 SOS 1476969 HAS SOPS 1476969 HAS SOUS 493091 HAS SOUPS 493091 WITH SCORE 494567.969
AT ITER 1044 NEW BEST:: SOT 4111395 SOS 1476494 HAS SOPS 1476494 HAS SOUS 492773 HAS SOUPS 492773 WITH SCORE 494249.494
AT ITER 1075 NEW BEST:: SOT 4111323 SOS 1476350 HAS SOPS 1476350 HAS SOUS 492569 HAS SOUPS 492569 WITH SCORE 494045.35
AT ITER 1083 NEW BEST:: SOT 4111105 SOS 1479386 HAS SOPS 1479386 HAS SOUS 492242 HAS SOUPS 492242 WITH SCORE 493721.386
AT ITER 1087 NEW BEST:: SOT 4096560 SOS 1507513 HAS SOPS 1507513 HAS SOUS 482425 HAS SOUPS 482425 WITH SCORE 483932.513
AT ITER 1088 NEW BEST:: SOT 4096522 SOS 1507437 HAS SOPS 1507437 HAS SOUS 482349 HAS SOUPS 482349 WITH SCORE 483856.437
AT ITER 1112 NEW BEST:: SOT 4096410 SOS 1507339 HAS SOPS 1507339 HAS SOUS 482237 HAS SOUPS 482237 WITH SCORE 483744.339
AT ITER 1132 NEW BEST:: SOT 4080224 SOS 1494256 HAS SOPS 1494256 HAS SOUS 468668 HAS SOUPS 468668 WITH SCORE 470162.256
AT ITER 1167 NEW BEST:: SOT 4080224 SOS 1494226 HAS SOPS 1494226 HAS SOUS 468638 HAS SOUPS 468638 WITH SCORE 470132.226
AT ITER 1176 NEW BEST:: SOT 4080224 SOS 1494226 HAS SOPS 1494226 HAS SOUS 468467 HAS SOUPS 468467 WITH SCORE 469961.226
AT ITER 1194 NEW BEST:: SOT 4059515 SOS 1566334 HAS SOPS 1566334 HAS SOUS 452667 HAS SOUPS 452667 WITH SCORE 454233.334
AT ITER 1200 NEW BEST:: SOT 4059467 SOS 1566288 HAS SOPS 1566288 HAS SOUS 452619 HAS SOUPS 452619 WITH SCORE 454185.288
AT ITER 1201 NEW BEST:: SOT 4059399 SOS 1566152 HAS SOPS 1566152 HAS SOUS 452483 HAS SOUPS 452483 WITH SCORE 454049.152
AT ITER 1243 NEW BEST:: SOT 4056209 SOS 1593060 HAS SOPS 1593060 HAS SOUS 451259 HAS SOUPS 451259 WITH SCORE 452852.06
AT ITER 1252 NEW BEST:: SOT 4056208 SOS 1593008 HAS SOPS 1593008 HAS SOUS 451257 HAS SOUPS 451257 WITH SCORE 452850.008
AT ITER 1260 NEW BEST:: SOT 4055992 SOS 1592792 HAS SOPS 1592792 HAS SOUS 451041 HAS SOUPS 451041 WITH SCORE 452633.792
AT ITER 1263 NEW BEST:: SOT 4055991 SOS 1592668 HAS SOPS 1592668 HAS SOUS 451039 HAS SOUPS 451039 WITH SCORE 452631.668
AT ITER 1281 NEW BEST:: SOT 4055787 SOS 1592260 HAS SOPS 1592260 HAS SOUS 450844 HAS SOUPS 450844 WITH SCORE 452436.26
AT ITER 1400 NEW BEST:: SOT 4055805 SOS 1592305 HAS SOPS 1592305 HAS SOUS 450823 HAS SOUPS 450823 WITH SCORE 452415.305
AT ITER 1409 NEW BEST:: SOT 4055805 SOS 1592305 HAS SOPS 1592305 HAS SOUS 450571 HAS SOUPS 450571 WITH SCORE 452163.305
AT ITER 1432 NEW BEST:: SOT 4055704 SOS 1592103 HAS SOPS 1592103 HAS SOUS 450369 HAS SOUPS 450369 WITH SCORE 451961.103
AT ITER 1433 NEW BEST:: SOT 4055703 SOS 1592064 HAS SOPS 1592064 HAS SOUS 450367 HAS SOUPS 450367 WITH SCORE 451959.064
AT ITER 1435 NEW BEST:: SOT 4055458 SOS 1518296 HAS SOPS 1518296 HAS SOUS 448328 HAS SOUPS 448328 WITH SCORE 449846.296
AT ITER 1441 NEW BEST:: SOT 4055292 SOS 1517964 HAS SOPS 1517964 HAS SOUS 447996 HAS SOUPS 447996 WITH SCORE 449513.964
AT ITER 1466 NEW BEST:: SOT 4055291 SOS 1517953 HAS SOPS 1517953 HAS SOUS 447994 HAS SOUPS 447994 WITH SCORE 449511.953
AT ITER 1479 NEW BEST:: SOT 4055290 SOS 1517853 HAS SOPS 1517853 HAS SOUS 447992 HAS SOUPS 447992 WITH SCORE 449509.853
AT ITER 1499 NEW BEST:: SOT 4054961 SOS 1517727 HAS SOPS 1517727 HAS SOUS 447762 HAS SOUPS 447762 WITH SCORE 449279.727
AT ITER 1502 NEW BEST:: SOT 4050098 SOS 1532451 HAS SOPS 1532451 HAS SOUS 445462 HAS SOUPS 445462 WITH SCORE 446994.451
AT ITER 1530 NEW BEST:: SOT 4050078 SOS 1532411 HAS SOPS 1532411 HAS SOUS 445422 HAS SOUPS 445422 WITH SCORE 446954.411
AT ITER 1536 NEW BEST:: SOT 4049984 SOS 1532317 HAS SOPS 1532317 HAS SOUS 445355 HAS SOUPS 445355 WITH SCORE 446887.317
AT ITER 1575 NEW BEST:: SOT 4049720 SOS 1531789 HAS SOPS 1531789 HAS SOUS 444827 HAS SOUPS 444827 WITH SCORE 446358.789
AT ITER 1615 NEW BEST:: SOT 4049673 SOS 1531695 HAS SOPS 1531695 HAS SOUS 444733 HAS SOUPS 444733 WITH SCORE 446264.695
AT ITER 1626 NEW BEST:: SOT 4049536 SOS 1531229 HAS SOPS 1531229 HAS SOUS 444459 HAS SOUPS 444459 WITH SCORE 445990.229
AT ITER 1644 NEW BEST:: SOT 4049535 SOS 1531141 HAS SOPS 1531141 HAS SOUS 444455 HAS SOUPS 444455 WITH SCORE 445986.141
AT ITER 1715 NEW BEST:: SOT 4042445 SOS 1551399 HAS SOPS 1551399 HAS SOUS 441911 HAS SOUPS 441911 WITH SCORE 443462.399
AT ITER 1755 NEW BEST:: SOT 4042375 SOS 1551233 HAS SOPS 1551233 HAS SOUS 441745 HAS SOUPS 441745 WITH SCORE 443296.233
AT ITER 1764 NEW BEST:: SOT 4042280 SOS 1551043 HAS SOPS 1551043 HAS SOUS 441555 HAS SOUPS 441555 WITH SCORE 443106.043
AT ITER 1790 NEW BEST:: SOT 4018431 SOS 1542662 HAS SOPS 1542662 HAS SOUS 423500 HAS SOUPS 423500 WITH SCORE 425042.662
AT ITER 1807 NEW BEST:: SOT 4018304 SOS 1542408 HAS SOPS 1542408 HAS SOUS 423373 HAS SOUPS 423373 WITH SCORE 424915.408
AT ITER 1818 NEW BEST:: SOT 4018248 SOS 1542139 HAS SOPS 1542139 HAS SOUS 423261 HAS SOUPS 423261 WITH SCORE 424803.139
AT ITER 1830 NEW BEST:: SOT 4018074 SOS 1541791 HAS SOPS 1541791 HAS SOUS 422913 HAS SOUPS 422913 WITH SCORE 424454.791
AT ITER 1839 NEW BEST:: SOT 4017924 SOS 1541491 HAS SOPS 1541491 HAS SOUS 422613 HAS SOUPS 422613 WITH SCORE 424154.491
AT ITER 1844 NEW BEST:: SOT 4017864 SOS 1541371 HAS SOPS 1541371 HAS SOUS 422553 HAS SOUPS 422553 WITH SCORE 424094.371
AT ITER 1859 NEW BEST:: SOT 4017726 SOS 1528783 HAS SOPS 1528783 HAS SOUS 421575 HAS SOUPS 421575 WITH SCORE 423103.783
AT ITER 1884 NEW BEST:: SOT 4017670 SOS 1528467 HAS SOPS 1528467 HAS SOUS 421463 HAS SOUPS 421463 WITH SCORE 422991.467
AT ITER 1912 NEW BEST:: SOT 4017553 SOS 1528233 HAS SOPS 1528233 HAS SOUS 421229 HAS SOUPS 421229 WITH SCORE 422757.233
AT ITER 1920 NEW BEST:: SOT 4017556 SOS 1528212 HAS SOPS 1528212 HAS SOUS 421208 HAS SOUPS 421208 WITH SCORE 422736.212
AT ITER 1938 NEW BEST:: SOT 4017555 SOS 1528210 HAS SOPS 1528210 HAS SOUS 421206 HAS SOUPS 421206 WITH SCORE 422734.21
AT ITER 1987 NEW BEST:: SOT 4017402 SOS 1527904 HAS SOPS 1527904 HAS SOUS 421053 HAS SOUPS 421053 WITH SCORE 422580.904
AT ITER 2023 NEW BEST:: SOT 4017402 SOS 1527811 HAS SOPS 1527811 HAS SOUS 421053 HAS SOUPS 421053 WITH SCORE 422580.811
AT ITER 2112 NEW BEST:: SOT 4017401 SOS 1527809 HAS SOPS 1527809 HAS SOUS 421051 HAS SOUPS 421051 WITH SCORE 422578.809
AT ITER 2122 NEW BEST:: SOT 4017401 SOS 1527809 HAS SOPS 1527809 HAS SOUS 421041 HAS SOUPS 421041 WITH SCORE 422568.809
AT ITER 2143 NEW BEST:: SOT 4017291 SOS 1527589 HAS SOPS 1527589 HAS SOUS 420821 HAS SOUPS 420821 WITH SCORE 422348.589
AT ITER 2190 NEW BEST:: SOT 4017095 SOS 1527197 HAS SOPS 1527197 HAS SOUS 420625 HAS SOUPS 420625 WITH SCORE 422152.197
AT ITER 2225 NEW BEST:: SOT 4016964 SOS 1523529 HAS SOPS 1523529 HAS SOUS 419446 HAS SOUPS 419446 WITH SCORE 420969.529
AT ITER 2229 NEW BEST:: SOT 3982356 SOS 1562479 HAS SOPS 1562479 HAS SOUS 400921 HAS SOUPS 400921 WITH SCORE 402483.479
AT ITER 2233 NEW BEST:: SOT 3982321 SOS 1562409 HAS SOPS 1562409 HAS SOUS 400851 HAS SOUPS 400851 WITH SCORE 402413.409
AT ITER 2239 NEW BEST:: SOT 3982301 SOS 1562389 HAS SOPS 1562389 HAS SOUS 400831 HAS SOUPS 400831 WITH SCORE 402393.389
AT ITER 2253 NEW BEST:: SOT 3982301 SOS 1562318 HAS SOPS 1562318 HAS SOUS 400760 HAS SOUPS 400760 WITH SCORE 402322.318
AT ITER 2268 NEW BEST:: SOT 3982047 SOS 1561810 HAS SOPS 1561810 HAS SOUS 400252 HAS SOUPS 400252 WITH SCORE 401813.81
AT ITER 2287 NEW BEST:: SOT 3981879 SOS 1561474 HAS SOPS 1561474 HAS SOUS 399916 HAS SOUPS 399916 WITH SCORE 401477.474
AT ITER 2289 NEW BEST:: SOT 3981879 SOS 1487127 HAS SOPS 1487127 HAS SOUS 399916 HAS SOUPS 399916 WITH SCORE 401403.127
AT ITER 2330 NEW BEST:: SOT 3981651 SOS 1477887 HAS SOPS 1477887 HAS SOUS 393880 HAS SOUPS 393880 WITH SCORE 395357.887
AT ITER 2392 NEW BEST:: SOT 3981651 SOS 1477798 HAS SOPS 1477798 HAS SOUS 393880 HAS SOUPS 393880 WITH SCORE 395357.798
AT ITER 2442 NEW BEST:: SOT 3981621 SOS 1477738 HAS SOPS 1477738 HAS SOUS 393820 HAS SOUPS 393820 WITH SCORE 395297.738
AT ITER 2450 NEW BEST:: SOT 3981403 SOS 1477302 HAS SOPS 1477302 HAS SOUS 393687 HAS SOUPS 393687 WITH SCORE 395164.302
AT ITER 2454 NEW BEST:: SOT 3981097 SOS 1476690 HAS SOPS 1476690 HAS SOUS 392919 HAS SOUPS 392919 WITH SCORE 394395.69
AT ITER 2499 NEW BEST:: SOT 3980898 SOS 1476688 HAS SOPS 1476688 HAS SOUS 392786 HAS SOUPS 392786 WITH SCORE 394262.688
AT ITER 2516 NEW BEST:: SOT 3980392 SOS 1475949 HAS SOPS 1475949 HAS SOUS 392047 HAS SOUPS 392047 WITH SCORE 393522.949
AT ITER 2522 NEW BEST:: SOT 3980391 SOS 1475947 HAS SOPS 1475947 HAS SOUS 392045 HAS SOUPS 392045 WITH SCORE 393520.947
AT ITER 2533 NEW BEST:: SOT 3980391 SOS 1458775 HAS SOPS 1458775 HAS SOUS 391939 HAS SOUPS 391939 WITH SCORE 393397.775
AT ITER 2550 NEW BEST:: SOT 3980219 SOS 1458431 HAS SOPS 1458431 HAS SOUS 391595 HAS SOUPS 391595 WITH SCORE 393053.431
AT ITER 2584 NEW BEST:: SOT 3945452 SOS 1428623 HAS SOPS 1428623 HAS SOUS 360857 HAS SOUPS 360857 WITH SCORE 362285.623
AT ITER 2586 NEW BEST:: SOT 3945447 SOS 1428506 HAS SOPS 1428506 HAS SOUS 360730 HAS SOUPS 360730 WITH SCORE 362158.506
AT ITER 2594 NEW BEST:: SOT 3945418 SOS 1428448 HAS SOPS 1428448 HAS SOUS 360701 HAS SOUPS 360701 WITH SCORE 362129.448
AT ITER 2618 NEW BEST:: SOT 3945221 SOS 1428054 HAS SOPS 1428054 HAS SOUS 360307 HAS SOUPS 360307 WITH SCORE 361735.054
AT ITER 2621 NEW BEST:: SOT 3945206 SOS 1428024 HAS SOPS 1428024 HAS SOUS 360277 HAS SOUPS 360277 WITH SCORE 361705.024
AT ITER 2664 NEW BEST:: SOT 3945102 SOS 1427816 HAS SOPS 1427816 HAS SOUS 360146 HAS SOUPS 360146 WITH SCORE 361573.816
AT ITER 2711 NEW BEST:: SOT 3944977 SOS 1427566 HAS SOPS 1427566 HAS SOUS 359896 HAS SOUPS 359896 WITH SCORE 361323.566
AT ITER 2715 NEW BEST:: SOT 3944815 SOS 1427242 HAS SOPS 1427242 HAS SOUS 359735 HAS SOUPS 359735 WITH SCORE 361162.242
AT ITER 2735 NEW BEST:: SOT 3944815 SOS 1427101 HAS SOPS 1427101 HAS SOUS 359735 HAS SOUPS 359735 WITH SCORE 361162.101
AT ITER 2739 NEW BEST:: SOT 3941910 SOS 1424321 HAS SOPS 1424321 HAS SOUS 356745 HAS SOUPS 356745 WITH SCORE 358169.321
AT ITER 2790 NEW BEST:: SOT 3941893 SOS 1424291 HAS SOPS 1424291 HAS SOUS 356715 HAS SOUPS 356715 WITH SCORE 358139.291
AT ITER 2817 NEW BEST:: SOT 3941814 SOS 1423992 HAS SOPS 1423992 HAS SOUS 356557 HAS SOUPS 356557 WITH SCORE 357980.992
AT ITER 2834 NEW BEST:: SOT 3941616 SOS 1423596 HAS SOPS 1423596 HAS SOUS 356359 HAS SOUPS 356359 WITH SCORE 357782.596
AT ITER 2849 NEW BEST:: SOT 3941607 SOS 1423578 HAS SOPS 1423578 HAS SOUS 356341 HAS SOUPS 356341 WITH SCORE 357764.578
AT ITER 2853 NEW BEST:: SOT 3941368 SOS 1302248 HAS SOPS 1302248 HAS SOUS 353285 HAS SOUPS 353285 WITH SCORE 354587.248
AT ITER 2855 NEW BEST:: SOT 3941328 SOS 1302168 HAS SOPS 1302168 HAS SOUS 353245 HAS SOUPS 353245 WITH SCORE 354547.168
AT ITER 2886 NEW BEST:: SOT 3941328 SOS 1302168 HAS SOPS 1302168 HAS SOUS 353031 HAS SOUPS 353031 WITH SCORE 354333.168
AT ITER 2891 NEW BEST:: SOT 3941218 SOS 1302074 HAS SOPS 1302074 HAS SOUS 352937 HAS SOUPS 352937 WITH SCORE 354239.074
AT ITER 2892 NEW BEST:: SOT 3941203 SOS 1302044 HAS SOPS 1302044 HAS SOUS 352907 HAS SOUPS 352907 WITH SCORE 354209.044
AT ITER 2905 NEW BEST:: SOT 3940957 SOS 1301798 HAS SOPS 1301798 HAS SOUS 352661 HAS SOUPS 352661 WITH SCORE 353962.798
AT ITER 2906 NEW BEST:: SOT 3940725 SOS 1301334 HAS SOPS 1301334 HAS SOUS 352286 HAS SOUPS 352286 WITH SCORE 353587.334
AT ITER 2920 NEW BEST:: SOT 3940663 SOS 1301210 HAS SOPS 1301210 HAS SOUS 352185 HAS SOUPS 352185 WITH SCORE 353486.21
AT ITER 2936 NEW BEST:: SOT 3940663 SOS 1301210 HAS SOPS 1301210 HAS SOUS 352136 HAS SOUPS 352136 WITH SCORE 353437.21
AT ITER 2953 NEW BEST:: SOT 3940636 SOS 1301156 HAS SOPS 1301156 HAS SOUS 352082 HAS SOUPS 352082 WITH SCORE 353383.156
AT ITER 2967 NEW BEST:: SOT 3940386 SOS 1300656 HAS SOPS 1300656 HAS SOUS 351922 HAS SOUPS 351922 WITH SCORE 353222.656
AT ITER 2971 NEW BEST:: SOT 3940284 SOS 1300452 HAS SOPS 1300452 HAS SOUS 351718 HAS SOUPS 351718 WITH SCORE 353018.452
AT ITER 2982 NEW BEST:: SOT 3940272 SOS 1300428 HAS SOPS 1300428 HAS SOUS 351694 HAS SOUPS 351694 WITH SCORE 352994.428
AT ITER 2997 NEW BEST:: SOT 3940211 SOS 1300227 HAS SOPS 1300227 HAS SOUS 351493 HAS SOUPS 351493 WITH SCORE 352793.227
AT ITER 3022 NEW BEST:: SOT 3930439 SOS 1293949 HAS SOPS 1293949 HAS SOUS 341945 HAS SOUPS 341945 WITH SCORE 343238.949
AT ITER 3039 NEW BEST:: SOT 3930426 SOS 1293923 HAS SOPS 1293923 HAS SOUS 341932 HAS SOUPS 341932 WITH SCORE 343225.923
AT ITER 3050 NEW BEST:: SOT 3930425 SOS 1293834 HAS SOPS 1293834 HAS SOUS 341930 HAS SOUPS 341930 WITH SCORE 343223.834
AT ITER 3064 NEW BEST:: SOT 3930215 SOS 1293414 HAS SOPS 1293414 HAS SOUS 341728 HAS SOUPS 341728 WITH SCORE 343021.414
AT ITER 3093 NEW BEST:: SOT 3930158 SOS 1293357 HAS SOPS 1293357 HAS SOUS 341671 HAS SOUPS 341671 WITH SCORE 342964.357
AT ITER 3105 NEW BEST:: SOT 3929899 SOS 1292839 HAS SOPS 1292839 HAS SOUS 341524 HAS SOUPS 341524 WITH SCORE 342816.839
AT ITER 3109 NEW BEST:: SOT 3929899 SOS 1292821 HAS SOPS 1292821 HAS SOUS 341524 HAS SOUPS 341524 WITH SCORE 342816.821
AT ITER 3123 NEW BEST:: SOT 3929774 SOS 1292571 HAS SOPS 1292571 HAS SOUS 341398 HAS SOUPS 341398 WITH SCORE 342690.571
AT ITER 3163 NEW BEST:: SOT 3929555 SOS 1246449 HAS SOPS 1246449 HAS SOUS 340678 HAS SOUPS 340678 WITH SCORE 341924.449
AT ITER 3207 NEW BEST:: SOT 3929555 SOS 1246249 HAS SOPS 1246249 HAS SOUS 340478 HAS SOUPS 340478 WITH SCORE 341724.249
AT ITER 3213 NEW BEST:: SOT 3929532 SOS 1246225 HAS SOPS 1246225 HAS SOUS 340454 HAS SOUPS 340454 WITH SCORE 341700.225
AT ITER 3219 NEW BEST:: SOT 3929340 SOS 1245841 HAS SOPS 1245841 HAS SOUS 340330 HAS SOUPS 340330 WITH SCORE 341575.841
AT ITER 3222 NEW BEST:: SOT 3929326 SOS 1245945 HAS SOPS 1245945 HAS SOUS 340316 HAS SOUPS 340316 WITH SCORE 341561.945
AT ITER 3225 NEW BEST:: SOT 3929212 SOS 1245715 HAS SOPS 1245715 HAS SOUS 340086 HAS SOUPS 340086 WITH SCORE 341331.715
AT ITER 3226 NEW BEST:: SOT 3929212 SOS 1245593 HAS SOPS 1245593 HAS SOUS 340086 HAS SOUPS 340086 WITH SCORE 341331.593
AT ITER 3270 NEW BEST:: SOT 3929147 SOS 1245463 HAS SOPS 1245463 HAS SOUS 339956 HAS SOUPS 339956 WITH SCORE 341201.463
AT ITER 3279 NEW BEST:: SOT 3929067 SOS 1245303 HAS SOPS 1245303 HAS SOUS 339796 HAS SOUPS 339796 WITH SCORE 341041.303
AT ITER 3315 NEW BEST:: SOT 3928761 SOS 1244691 HAS SOPS 1244691 HAS SOUS 339538 HAS SOUPS 339538 WITH SCORE 340782.691
AT ITER 3377 NEW BEST:: SOT 3928502 SOS 1244173 HAS SOPS 1244173 HAS SOUS 339020 HAS SOUPS 339020 WITH SCORE 340264.173
AT ITER 3412 NEW BEST:: SOT 3928421 SOS 1244011 HAS SOPS 1244011 HAS SOUS 338858 HAS SOUPS 338858 WITH SCORE 340102.011
AT ITER 3432 NEW BEST:: SOT 3928245 SOS 1243659 HAS SOPS 1243659 HAS SOUS 338774 HAS SOUPS 338774 WITH SCORE 340017.659
AT ITER 3459 NEW BEST:: SOT 3927984 SOS 1214741 HAS SOPS 1214741 HAS SOUS 333639 HAS SOUPS 333639 WITH SCORE 334853.741
AT ITER 3469 NEW BEST:: SOT 3927984 SOS 1026173 HAS SOPS 1026173 HAS SOUS 333639 HAS SOUPS 333639 WITH SCORE 334665.173
AT ITER 3526 NEW BEST:: SOT 3927984 SOS 1026116 HAS SOPS 1026116 HAS SOUS 333582 HAS SOUPS 333582 WITH SCORE 334608.116
AT ITER 3569 NEW BEST:: SOT 3927966 SOS 1026024 HAS SOPS 1026024 HAS SOUS 333490 HAS SOUPS 333490 WITH SCORE 334516.024
AT ITER 3571 NEW BEST:: SOT 3927926 SOS 1025944 HAS SOPS 1025944 HAS SOUS 333471 HAS SOUPS 333471 WITH SCORE 334496.944
AT ITER 3595 NEW BEST:: SOT 3927888 SOS 1010626 HAS SOPS 1010626 HAS SOUS 331635 HAS SOUPS 331635 WITH SCORE 332645.626
AT ITER 3609 NEW BEST:: SOT 3927620 SOS 888465 HAS SOPS 888465 HAS SOUS 328221 HAS SOUPS 328221 WITH SCORE 329109.465
AT ITER 3651 NEW BEST:: SOT 3927616 SOS 888457 HAS SOPS 888457 HAS SOUS 328213 HAS SOUPS 328213 WITH SCORE 329101.457
AT ITER 3681 NEW BEST:: SOT 3927616 SOS 888457 HAS SOPS 888457 HAS SOUS 328185 HAS SOUPS 328185 WITH SCORE 329073.457
AT ITER 3763 NEW BEST:: SOT 3927536 SOS 888217 HAS SOPS 888217 HAS SOUS 328025 HAS SOUPS 328025 WITH SCORE 328913.217
AT ITER 3774 NEW BEST:: SOT 3930388 SOS 885011 HAS SOPS 885011 HAS SOUS 322177 HAS SOUPS 322177 WITH SCORE 323062.011
AT ITER 3785 NEW BEST:: SOT 3930385 SOS 885008 HAS SOPS 885008 HAS SOUS 322138 HAS SOUPS 322138 WITH SCORE 323023.008
AT ITER 3845 NEW BEST:: SOT 3930248 SOS 884734 HAS SOPS 884734 HAS SOUS 321864 HAS SOUPS 321864 WITH SCORE 322748.734
AT ITER 3863 NEW BEST:: SOT 3930217 SOS 884672 HAS SOPS 884672 HAS SOUS 321802 HAS SOUPS 321802 WITH SCORE 322686.672
AT ITER 3875 NEW BEST:: SOT 3930215 SOS 884668 HAS SOPS 884668 HAS SOUS 321798 HAS SOUPS 321798 WITH SCORE 322682.668
AT ITER 3888 NEW BEST:: SOT 3930215 SOS 884538 HAS SOPS 884538 HAS SOUS 321798 HAS SOUPS 321798 WITH SCORE 322682.538
AT ITER 4010 NEW BEST:: SOT 3930194 SOS 884496 HAS SOPS 884496 HAS SOUS 321777 HAS SOUPS 321777 WITH SCORE 322661.496
AT ITER 4015 NEW BEST:: SOT 3930063 SOS 884234 HAS SOPS 884234 HAS SOUS 321568 HAS SOUPS 321568 WITH SCORE 322452.234
AT ITER 4034 NEW BEST:: SOT 3930102 SOS 884312 HAS SOPS 884312 HAS SOUS 321450 HAS SOUPS 321450 WITH SCORE 322334.312
AT ITER 4045 NEW BEST:: SOT 3930170 SOS 884448 HAS SOPS 884448 HAS SOUS 321407 HAS SOUPS 321407 WITH SCORE 322291.448
AT ITER 4075 NEW BEST:: SOT 3930166 SOS 884440 HAS SOPS 884440 HAS SOUS 321399 HAS SOUPS 321399 WITH SCORE 322283.44
AT ITER 4077 NEW BEST:: SOT 3929909 SOS 883926 HAS SOPS 883926 HAS SOUS 321142 HAS SOUPS 321142 WITH SCORE 322025.926
AT ITER 4078 NEW BEST:: SOT 3929909 SOS 883901 HAS SOPS 883901 HAS SOUS 321142 HAS SOUPS 321142 WITH SCORE 322025.901
AT ITER 4090 NEW BEST:: SOT 3929908 SOS 883899 HAS SOPS 883899 HAS SOUS 321140 HAS SOUPS 321140 WITH SCORE 322023.899
AT ITER 4143 NEW BEST:: SOT 3929808 SOS 883821 HAS SOPS 883821 HAS SOUS 321062 HAS SOUPS 321062 WITH SCORE 321945.821
AT ITER 4168 NEW BEST:: SOT 3929807 SOS 883819 HAS SOPS 883819 HAS SOUS 321060 HAS SOUPS 321060 WITH SCORE 321943.819
AT ITER 4183 NEW BEST:: SOT 3929772 SOS 883784 HAS SOPS 883784 HAS SOUS 321025 HAS SOUPS 321025 WITH SCORE 321908.784
AT ITER 4214 NEW BEST:: SOT 3929810 SOS 883860 HAS SOPS 883860 HAS SOUS 320879 HAS SOUPS 320879 WITH SCORE 321762.86
AT ITER 4215 NEW BEST:: SOT 3929717 SOS 883619 HAS SOPS 883619 HAS SOUS 320638 HAS SOUPS 320638 WITH SCORE 321521.619
AT ITER 4267 NEW BEST:: SOT 3929509 SOS 876219 HAS SOPS 876219 HAS SOUS 319430 HAS SOUPS 319430 WITH SCORE 320306.219
AT ITER 4313 NEW BEST:: SOT 3929508 SOS 876217 HAS SOPS 876217 HAS SOUS 319428 HAS SOUPS 319428 WITH SCORE 320304.217
AT ITER 4325 NEW BEST:: SOT 3929324 SOS 875849 HAS SOPS 875849 HAS SOUS 319375 HAS SOUPS 319375 WITH SCORE 320250.849
AT ITER 4354 NEW BEST:: SOT 3929175 SOS 875551 HAS SOPS 875551 HAS SOUS 319077 HAS SOUPS 319077 WITH SCORE 319952.551
AT ITER 4357 NEW BEST:: SOT 3929145 SOS 875491 HAS SOPS 875491 HAS SOUS 319017 HAS SOUPS 319017 WITH SCORE 319892.491
AT ITER 4378 NEW BEST:: SOT 3928929 SOS 875059 HAS SOPS 875059 HAS SOUS 318585 HAS SOUPS 318585 WITH SCORE 319460.059
AT ITER 4419 NEW BEST:: SOT 3928901 SOS 875003 HAS SOPS 875003 HAS SOUS 318519 HAS SOUPS 318519 WITH SCORE 319394.003
AT ITER 4421 NEW BEST:: SOT 3928891 SOS 874973 HAS SOPS 874973 HAS SOUS 318499 HAS SOUPS 318499 WITH SCORE 319373.973
AT ITER 4438 NEW BEST:: SOT 3928890 SOS 874971 HAS SOPS 874971 HAS SOUS 318497 HAS SOUPS 318497 WITH SCORE 319371.971
AT ITER 4467 NEW BEST:: SOT 3928890 SOS 874971 HAS SOPS 874971 HAS SOUS 318495 HAS SOUPS 318495 WITH SCORE 319369.971
AT ITER 4468 NEW BEST:: SOT 3928844 SOS 874879 HAS SOPS 874879 HAS SOUS 318403 HAS SOUPS 318403 WITH SCORE 319277.879
AT ITER 4526 NEW BEST:: SOT 3928844 SOS 874689 HAS SOPS 874689 HAS SOUS 318213 HAS SOUPS 318213 WITH SCORE 319087.689
AT ITER 4553 NEW BEST:: SOT 3928797 SOS 874595 HAS SOPS 874595 HAS SOUS 318166 HAS SOUPS 318166 WITH SCORE 319040.595
AT ITER 4609 NEW BEST:: SOT 3928674 SOS 874349 HAS SOPS 874349 HAS SOUS 317920 HAS SOUPS 317920 WITH SCORE 318794.349
AT ITER 4617 NEW BEST:: SOT 3928674 SOS 874342 HAS SOPS 874342 HAS SOUS 317920 HAS SOUPS 317920 WITH SCORE 318794.342
AT ITER 4708 NEW BEST:: SOT 3928702 SOS 874131 HAS SOPS 874131 HAS SOUS 317709 HAS SOUPS 317709 WITH SCORE 318583.131
AT ITER 4725 NEW BEST:: SOT 3928639 SOS 874005 HAS SOPS 874005 HAS SOUS 317704 HAS SOUPS 317704 WITH SCORE 318578.005
AT ITER 4730 NEW BEST:: SOT 3928615 SOS 873957 HAS SOPS 873957 HAS SOUS 317676 HAS SOUPS 317676 WITH SCORE 318549.957
AT ITER 4757 NEW BEST:: SOT 3928635 SOS 873997 HAS SOPS 873997 HAS SOUS 317641 HAS SOUPS 317641 WITH SCORE 318514.997
AT ITER 4790 NEW BEST:: SOT 3928543 SOS 873813 HAS SOPS 873813 HAS SOUS 317457 HAS SOUPS 317457 WITH SCORE 318330.813
AT ITER 4807 NEW BEST:: SOT 3928396 SOS 873519 HAS SOPS 873519 HAS SOUS 317163 HAS SOUPS 317163 WITH SCORE 318036.519
AT ITER 4815 NEW BEST:: SOT 3928372 SOS 873471 HAS SOPS 873471 HAS SOUS 317115 HAS SOUPS 317115 WITH SCORE 317988.471
AT ITER 4852 NEW BEST:: SOT 3928340 SOS 873447 HAS SOPS 873447 HAS SOUS 317030 HAS SOUPS 317030 WITH SCORE 317903.447
AT ITER 4897 NEW BEST:: SOT 3928157 SOS 873081 HAS SOPS 873081 HAS SOUS 316664 HAS SOUPS 316664 WITH SCORE 317537.081
AT ITER 4906 NEW BEST:: SOT 3928111 SOS 872989 HAS SOPS 872989 HAS SOUS 316618 HAS SOUPS 316618 WITH SCORE 317490.989
AT ITER 4942 NEW BEST:: SOT 3928169 SOS 872835 HAS SOPS 872835 HAS SOUS 316464 HAS SOUPS 316464 WITH SCORE 317336.835
AT ITER 5046 NEW BEST:: SOT 3928107 SOS 872711 HAS SOPS 872711 HAS SOUS 316434 HAS SOUPS 316434 WITH SCORE 317306.711
AT ITER 5055 NEW BEST:: SOT 3928067 SOS 872631 HAS SOPS 872631 HAS SOUS 316354 HAS SOUPS 316354 WITH SCORE 317226.631
AT ITER 5062 NEW BEST:: SOT 3928032 SOS 872561 HAS SOPS 872561 HAS SOUS 316284 HAS SOUPS 316284 WITH SCORE 317156.561
AT ITER 5073 NEW BEST:: SOT 3928002 SOS 872501 HAS SOPS 872501 HAS SOUS 316224 HAS SOUPS 316224 WITH SCORE 317096.501
AT ITER 5084 NEW BEST:: SOT 3927982 SOS 872595 HAS SOPS 872595 HAS SOUS 316184 HAS SOUPS 316184 WITH SCORE 317056.595
AT ITER 5094 NEW BEST:: SOT 3927982 SOS 872595 HAS SOPS 872595 HAS SOUS 316179 HAS SOUPS 316179 WITH SCORE 317051.595
AT ITER 5106 NEW BEST:: SOT 3927981 SOS 872449 HAS SOPS 872449 HAS SOUS 316177 HAS SOUPS 316177 WITH SCORE 317049.449
AT ITER 5107 NEW BEST:: SOT 3927760 SOS 872007 HAS SOPS 872007 HAS SOUS 315735 HAS SOUPS 315735 WITH SCORE 316607.007
AT ITER 5165 NEW BEST:: SOT 3927747 SOS 868979 HAS SOPS 868979 HAS SOUS 315630 HAS SOUPS 315630 WITH SCORE 316498.979
AT ITER 5232 NEW BEST:: SOT 3927747 SOS 868903 HAS SOPS 868903 HAS SOUS 315554 HAS SOUPS 315554 WITH SCORE 316422.903
AT ITER 5267 NEW BEST:: SOT 3927747 SOS 868903 HAS SOPS 868903 HAS SOUS 315528 HAS SOUPS 315528 WITH SCORE 316396.903
AT ITER 5291 NEW BEST:: SOT 3927716 SOS 868985 HAS SOPS 868985 HAS SOUS 315482 HAS SOUPS 315482 WITH SCORE 316350.985
AT ITER 5309 NEW BEST:: SOT 3927553 SOS 868659 HAS SOPS 868659 HAS SOUS 315156 HAS SOUPS 315156 WITH SCORE 316024.659
AT ITER 5324 NEW BEST:: SOT 3927540 SOS 868612 HAS SOPS 868612 HAS SOUS 315130 HAS SOUPS 315130 WITH SCORE 315998.612
AT ITER 5328 NEW BEST:: SOT 3927522 SOS 868576 HAS SOPS 868576 HAS SOUS 315094 HAS SOUPS 315094 WITH SCORE 315962.576
AT ITER 5339 NEW BEST:: SOT 3927402 SOS 868456 HAS SOPS 868456 HAS SOUS 314951 HAS SOUPS 314951 WITH SCORE 315819.456
AT ITER 5363 NEW BEST:: SOT 3927309 SOS 868195 HAS SOPS 868195 HAS SOUS 314736 HAS SOUPS 314736 WITH SCORE 315604.195
AT ITER 5379 NEW BEST:: SOT 3927154 SOS 867885 HAS SOPS 867885 HAS SOUS 314581 HAS SOUPS 314581 WITH SCORE 315448.885
AT ITER 5398 NEW BEST:: SOT 3926875 SOS 867327 HAS SOPS 867327 HAS SOUS 314302 HAS SOUPS 314302 WITH SCORE 315169.327
AT ITER 5476 NEW BEST:: SOT 3926875 SOS 867023 HAS SOPS 867023 HAS SOUS 313998 HAS SOUPS 313998 WITH SCORE 314865.023
AT ITER 5508 NEW BEST:: SOT 3926700 SOS 866848 HAS SOPS 866848 HAS SOUS 313823 HAS SOUPS 313823 WITH SCORE 314689.848
AT ITER 5513 NEW BEST:: SOT 3926695 SOS 866838 HAS SOPS 866838 HAS SOUS 313813 HAS SOUPS 313813 WITH SCORE 314679.838
AT ITER 5514 NEW BEST:: SOT 3926695 SOS 866722 HAS SOPS 866722 HAS SOUS 313813 HAS SOUPS 313813 WITH SCORE 314679.722
AT ITER 5518 NEW BEST:: SOT 3926654 SOS 866640 HAS SOPS 866640 HAS SOUS 313731 HAS SOUPS 313731 WITH SCORE 314597.64
AT ITER 5525 NEW BEST:: SOT 3926654 SOS 866622 HAS SOPS 866622 HAS SOUS 313731 HAS SOUPS 313731 WITH SCORE 314597.622
AT ITER 5526 NEW BEST:: SOT 3926462 SOS 866238 HAS SOPS 866238 HAS SOUS 313539 HAS SOUPS 313539 WITH SCORE 314405.238
AT ITER 5527 NEW BEST:: SOT 3926404 SOS 866122 HAS SOPS 866122 HAS SOUS 313423 HAS SOUPS 313423 WITH SCORE 314289.122
AT ITER 5529 NEW BEST:: SOT 3926404 SOS 866070 HAS SOPS 866070 HAS SOUS 313423 HAS SOUPS 313423 WITH SCORE 314289.07
AT ITER 5570 NEW BEST:: SOT 3926403 SOS 866068 HAS SOPS 866068 HAS SOUS 313421 HAS SOUPS 313421 WITH SCORE 314287.068
AT ITER 5581 NEW BEST:: SOT 3925948 SOS 866532 HAS SOPS 866532 HAS SOUS 313194 HAS SOUPS 313194 WITH SCORE 314060.532
AT ITER 5582 NEW BEST:: SOT 3925947 SOS 866530 HAS SOPS 866530 HAS SOUS 313192 HAS SOUPS 313192 WITH SCORE 314058.53
AT ITER 5614 NEW BEST:: SOT 3925935 SOS 866506 HAS SOPS 866506 HAS SOUS 313180 HAS SOUPS 313180 WITH SCORE 314046.506
AT ITER 5617 NEW BEST:: SOT 3925836 SOS 866308 HAS SOPS 866308 HAS SOUS 312982 HAS SOUPS 312982 WITH SCORE 313848.308
AT ITER 5620 NEW BEST:: SOT 3925791 SOS 866218 HAS SOPS 866218 HAS SOUS 312892 HAS SOUPS 312892 WITH SCORE 313758.218
AT ITER 5624 NEW BEST:: SOT 3925783 SOS 866206 HAS SOPS 866206 HAS SOUS 312880 HAS SOUPS 312880 WITH SCORE 313746.206
AT ITER 5630 NEW BEST:: SOT 3925761 SOS 866162 HAS SOPS 866162 HAS SOUS 312836 HAS SOUPS 312836 WITH SCORE 313702.162
AT ITER 5693 NEW BEST:: SOT 3925634 SOS 865908 HAS SOPS 865908 HAS SOUS 312582 HAS SOUPS 312582 WITH SCORE 313447.908
AT ITER 5729 NEW BEST:: SOT 3925438 SOS 865516 HAS SOPS 865516 HAS SOUS 312190 HAS SOUPS 312190 WITH SCORE 313055.516
AT ITER 5732 NEW BEST:: SOT 3925437 SOS 865514 HAS SOPS 865514 HAS SOUS 312188 HAS SOUPS 312188 WITH SCORE 313053.514
AT ITER 5733 NEW BEST:: SOT 3925424 SOS 865488 HAS SOPS 865488 HAS SOUS 312162 HAS SOUPS 312162 WITH SCORE 313027.488
AT ITER 5745 NEW BEST:: SOT 3925423 SOS 865486 HAS SOPS 865486 HAS SOUS 312160 HAS SOUPS 312160 WITH SCORE 313025.486
AT ITER 5789 NEW BEST:: SOT 3925294 SOS 865228 HAS SOPS 865228 HAS SOUS 312031 HAS SOUPS 312031 WITH SCORE 312896.228
AT ITER 5800 NEW BEST:: SOT 3925214 SOS 865068 HAS SOPS 865068 HAS SOUS 311871 HAS SOUPS 311871 WITH SCORE 312736.068
AT ITER 5802 NEW BEST:: SOT 3925191 SOS 865022 HAS SOPS 865022 HAS SOUS 311844 HAS SOUPS 311844 WITH SCORE 312709.022
AT ITER 5803 NEW BEST:: SOT 3925173 SOS 865004 HAS SOPS 865004 HAS SOUS 311826 HAS SOUPS 311826 WITH SCORE 312691.004
AT ITER 5848 NEW BEST:: SOT 3925103 SOS 864864 HAS SOPS 864864 HAS SOUS 311686 HAS SOUPS 311686 WITH SCORE 312550.864
AT ITER 5863 NEW BEST:: SOT 3925096 SOS 864908 HAS SOPS 864908 HAS SOUS 311595 HAS SOUPS 311595 WITH SCORE 312459.908
AT ITER 5877 NEW BEST:: SOT 3925131 SOS 864978 HAS SOPS 864978 HAS SOUS 311523 HAS SOUPS 311523 WITH SCORE 312387.978
AT ITER 5893 NEW BEST:: SOT 3925127 SOS 864970 HAS SOPS 864970 HAS SOUS 311515 HAS SOUPS 311515 WITH SCORE 312379.97
AT ITER 5924 NEW BEST:: SOT 3925089 SOS 864895 HAS SOPS 864895 HAS SOUS 311439 HAS SOUPS 311439 WITH SCORE 312303.895
AT ITER 5931 NEW BEST:: SOT 3924927 SOS 864733 HAS SOPS 864733 HAS SOUS 311196 HAS SOUPS 311196 WITH SCORE 312060.733
AT ITER 5937 NEW BEST:: SOT 3924824 SOS 864302 HAS SOPS 864302 HAS SOUS 311062 HAS SOUPS 311062 WITH SCORE 311926.302
AT ITER 5939 NEW BEST:: SOT 3924781 SOS 864216 HAS SOPS 864216 HAS SOUS 310971 HAS SOUPS 310971 WITH SCORE 311835.216
AT ITER 6006 NEW BEST:: SOT 3924732 SOS 864118 HAS SOPS 864118 HAS SOUS 310873 HAS SOUPS 310873 WITH SCORE 311737.118
AT ITER 6045 NEW BEST:: SOT 3924732 SOS 864106 HAS SOPS 864106 HAS SOUS 310861 HAS SOUPS 310861 WITH SCORE 311725.106
AT ITER 6047 NEW BEST:: SOT 3924732 SOS 864019 HAS SOPS 864019 HAS SOUS 310774 HAS SOUPS 310774 WITH SCORE 311638.019
AT ITER 6057 NEW BEST:: SOT 3924459 SOS 863473 HAS SOPS 863473 HAS SOUS 310228 HAS SOUPS 310228 WITH SCORE 311091.473
AT ITER 6061 NEW BEST:: SOT 3924391 SOS 863337 HAS SOPS 863337 HAS SOUS 310160 HAS SOUPS 310160 WITH SCORE 311023.337
AT ITER 6083 NEW BEST:: SOT 3924390 SOS 863315 HAS SOPS 863315 HAS SOUS 310158 HAS SOUPS 310158 WITH SCORE 311021.315
AT ITER 6092 NEW BEST:: SOT 3924390 SOS 863315 HAS SOPS 863315 HAS SOUS 310086 HAS SOUPS 310086 WITH SCORE 310949.315
AT ITER 6100 NEW BEST:: SOT 3924353 SOS 857247 HAS SOPS 857247 HAS SOUS 309975 HAS SOUPS 309975 WITH SCORE 310832.247
AT ITER 6117 NEW BEST:: SOT 3924336 SOS 857213 HAS SOPS 857213 HAS SOUS 309971 HAS SOUPS 309971 WITH SCORE 310828.213
AT ITER 6126 NEW BEST:: SOT 3924330 SOS 857201 HAS SOPS 857201 HAS SOUS 309959 HAS SOUPS 309959 WITH SCORE 310816.201
AT ITER 6127 NEW BEST:: SOT 3924218 SOS 856977 HAS SOPS 856977 HAS SOUS 309735 HAS SOUPS 309735 WITH SCORE 310591.977
AT ITER 6202 NEW BEST:: SOT 3924114 SOS 856769 HAS SOPS 856769 HAS SOUS 309527 HAS SOUPS 309527 WITH SCORE 310383.769
AT ITER 6211 NEW BEST:: SOT 3924108 SOS 849953 HAS SOPS 849953 HAS SOUS 309515 HAS SOUPS 309515 WITH SCORE 310364.953
AT ITER 6220 NEW BEST:: SOT 3924092 SOS 849921 HAS SOPS 849921 HAS SOUS 309483 HAS SOUPS 309483 WITH SCORE 310332.921
AT ITER 6221 NEW BEST:: SOT 3924039 SOS 849815 HAS SOPS 849815 HAS SOUS 309430 HAS SOUPS 309430 WITH SCORE 310279.815
AT ITER 6226 NEW BEST:: SOT 3923998 SOS 849733 HAS SOPS 849733 HAS SOUS 309389 HAS SOUPS 309389 WITH SCORE 310238.733
AT ITER 6233 NEW BEST:: SOT 3923996 SOS 849729 HAS SOPS 849729 HAS SOUS 309385 HAS SOUPS 309385 WITH SCORE 310234.729
AT ITER 6256 NEW BEST:: SOT 3923948 SOS 849633 HAS SOPS 849633 HAS SOUS 309289 HAS SOUPS 309289 WITH SCORE 310138.633
AT ITER 6276 NEW BEST:: SOT 3923797 SOS 849180 HAS SOPS 849180 HAS SOUS 309138 HAS SOUPS 309138 WITH SCORE 309987.18
AT ITER 6303 NEW BEST:: SOT 3923380 SOS 848346 HAS SOPS 848346 HAS SOUS 308304 HAS SOUPS 308304 WITH SCORE 309152.346
AT ITER 6321 NEW BEST:: SOT 3923319 SOS 848224 HAS SOPS 848224 HAS SOUS 308243 HAS SOUPS 308243 WITH SCORE 309091.224
AT ITER 6325 NEW BEST:: SOT 3923277 SOS 848140 HAS SOPS 848140 HAS SOUS 308159 HAS SOUPS 308159 WITH SCORE 309007.14
AT ITER 6348 NEW BEST:: SOT 3923276 SOS 848006 HAS SOPS 848006 HAS SOUS 308157 HAS SOUPS 308157 WITH SCORE 309005.006
AT ITER 6351 NEW BEST:: SOT 3923275 SOS 847572 HAS SOPS 847572 HAS SOUS 308113 HAS SOUPS 308113 WITH SCORE 308960.572
AT ITER 6370 NEW BEST:: SOT 3923243 SOS 847508 HAS SOPS 847508 HAS SOUS 308049 HAS SOUPS 308049 WITH SCORE 308896.508
AT ITER 6380 NEW BEST:: SOT 3923226 SOS 847474 HAS SOPS 847474 HAS SOUS 308015 HAS SOUPS 308015 WITH SCORE 308862.474
AT ITER 6445 NEW BEST:: SOT 3923222 SOS 847466 HAS SOPS 847466 HAS SOUS 308007 HAS SOUPS 308007 WITH SCORE 308854.466
AT ITER 6457 NEW BEST:: SOT 3923196 SOS 847414 HAS SOPS 847414 HAS SOUS 307955 HAS SOUPS 307955 WITH SCORE 308802.414
AT ITER 6464 NEW BEST:: SOT 3923070 SOS 847162 HAS SOPS 847162 HAS SOUS 307930 HAS SOUPS 307930 WITH SCORE 308777.162
AT ITER 6512 NEW BEST:: SOT 3923067 SOS 847156 HAS SOPS 847156 HAS SOUS 307924 HAS SOUPS 307924 WITH SCORE 308771.156
AT ITER 6535 NEW BEST:: SOT 3923066 SOS 847154 HAS SOPS 847154 HAS SOUS 307922 HAS SOUPS 307922 WITH SCORE 308769.154
AT ITER 6553 NEW BEST:: SOT 3923089 SOS 847072 HAS SOPS 847072 HAS SOUS 307840 HAS SOUPS 307840 WITH SCORE 308687.072
AT ITER 6570 NEW BEST:: SOT 3922537 SOS 846796 HAS SOPS 846796 HAS SOUS 307426 HAS SOUPS 307426 WITH SCORE 308272.796
AT ITER 6597 NEW BEST:: SOT 3922528 SOS 846696 HAS SOPS 846696 HAS SOUS 307408 HAS SOUPS 307408 WITH SCORE 308254.696
AT ITER 6614 NEW BEST:: SOT 3922455 SOS 846550 HAS SOPS 846550 HAS SOUS 307262 HAS SOUPS 307262 WITH SCORE 308108.55
AT ITER 6666 NEW BEST:: SOT 3922396 SOS 846432 HAS SOPS 846432 HAS SOUS 307144 HAS SOUPS 307144 WITH SCORE 307990.432
AT ITER 6705 NEW BEST:: SOT 3922353 SOS 846346 HAS SOPS 846346 HAS SOUS 307101 HAS SOUPS 307101 WITH SCORE 307947.346
AT ITER 6728 NEW BEST:: SOT 3922266 SOS 846172 HAS SOPS 846172 HAS SOUS 306927 HAS SOUPS 306927 WITH SCORE 307773.172
AT ITER 6736 NEW BEST:: SOT 3922233 SOS 846106 HAS SOPS 846106 HAS SOUS 306861 HAS SOUPS 306861 WITH SCORE 307707.106
AT ITER 6739 NEW BEST:: SOT 3922150 SOS 845921 HAS SOPS 845921 HAS SOUS 306676 HAS SOUPS 306676 WITH SCORE 307521.921
AT ITER 6757 NEW BEST:: SOT 3922109 SOS 845839 HAS SOPS 845839 HAS SOUS 306635 HAS SOUPS 306635 WITH SCORE 307480.839
AT ITER 6758 NEW BEST:: SOT 3921922 SOS 845465 HAS SOPS 845465 HAS SOUS 306261 HAS SOUPS 306261 WITH SCORE 307106.465
AT ITER 6776 NEW BEST:: SOT 3921895 SOS 845411 HAS SOPS 845411 HAS SOUS 306207 HAS SOUPS 306207 WITH SCORE 307052.411
AT ITER 6777 NEW BEST:: SOT 3921895 SOS 845362 HAS SOPS 845362 HAS SOUS 306158 HAS SOUPS 306158 WITH SCORE 307003.362
AT ITER 6788 NEW BEST:: SOT 3921895 SOS 845362 HAS SOPS 845362 HAS SOUS 306094 HAS SOUPS 306094 WITH SCORE 306939.362
AT ITER 6805 NEW BEST:: SOT 3921870 SOS 845312 HAS SOPS 845312 HAS SOUS 306044 HAS SOUPS 306044 WITH SCORE 306889.312
AT ITER 6809 NEW BEST:: SOT 3921868 SOS 845308 HAS SOPS 845308 HAS SOUS 306040 HAS SOUPS 306040 WITH SCORE 306885.308
AT ITER 6870 NEW BEST:: SOT 3921764 SOS 845204 HAS SOPS 845204 HAS SOUS 305936 HAS SOUPS 305936 WITH SCORE 306781.204
AT ITER 6873 NEW BEST:: SOT 3921753 SOS 845051 HAS SOPS 845051 HAS SOUS 305897 HAS SOUPS 305897 WITH SCORE 306742.051
AT ITER 6875 NEW BEST:: SOT 3921602 SOS 844955 HAS SOPS 844955 HAS SOUS 305679 HAS SOUPS 305679 WITH SCORE 306523.955
AT ITER 6957 NEW BEST:: SOT 3921474 SOS 844319 HAS SOPS 844319 HAS SOUS 305423 HAS SOUPS 305423 WITH SCORE 306267.319
AT ITER 6973 NEW BEST:: SOT 3921432 SOS 844273 HAS SOPS 844273 HAS SOUS 305377 HAS SOUPS 305377 WITH SCORE 306221.273
AT ITER 6998 NEW BEST:: SOT 3921389 SOS 844098 HAS SOPS 844098 HAS SOUS 305291 HAS SOUPS 305291 WITH SCORE 306135.098
AT ITER 7015 NEW BEST:: SOT 3921294 SOS 843908 HAS SOPS 843908 HAS SOUS 305101 HAS SOUPS 305101 WITH SCORE 305944.908
AT ITER 7017 NEW BEST:: SOT 3921390 SOS 844080 HAS SOPS 844080 HAS SOUS 304931 HAS SOUPS 304931 WITH SCORE 305775.08
AT ITER 7019 NEW BEST:: SOT 3921220 SOS 843740 HAS SOPS 843740 HAS SOUS 304591 HAS SOUPS 304591 WITH SCORE 305434.74
AT ITER 7037 NEW BEST:: SOT 3921193 SOS 843686 HAS SOPS 843686 HAS SOUS 304537 HAS SOUPS 304537 WITH SCORE 305380.686
AT ITER 7039 NEW BEST:: SOT 3921131 SOS 843562 HAS SOPS 843562 HAS SOUS 304413 HAS SOUPS 304413 WITH SCORE 305256.562
AT ITER 7053 NEW BEST:: SOT 3921037 SOS 843421 HAS SOPS 843421 HAS SOUS 304272 HAS SOUPS 304272 WITH SCORE 305115.421
AT ITER 7062 NEW BEST:: SOT 3920757 SOS 827525 HAS SOPS 827525 HAS SOUS 303752 HAS SOUPS 303752 WITH SCORE 304579.525
AT ITER 7080 NEW BEST:: SOT 3920687 SOS 827277 HAS SOPS 827277 HAS SOUS 303612 HAS SOUPS 303612 WITH SCORE 304439.277
AT ITER 7109 NEW BEST:: SOT 3920687 SOS 827277 HAS SOPS 827277 HAS SOUS 303610 HAS SOUPS 303610 WITH SCORE 304437.277
AT ITER 7125 NEW BEST:: SOT 3920687 SOS 827277 HAS SOPS 827277 HAS SOUS 303513 HAS SOUPS 303513 WITH SCORE 304340.277
AT ITER 7172 NEW BEST:: SOT 3920680 SOS 827192 HAS SOPS 827192 HAS SOUS 303499 HAS SOUPS 303499 WITH SCORE 304326.192
AT ITER 7238 NEW BEST:: SOT 3920661 SOS 826242 HAS SOPS 826242 HAS SOUS 303176 HAS SOUPS 303176 WITH SCORE 304002.242
AT ITER 7319 NEW BEST:: SOT 3920541 SOS 826002 HAS SOPS 826002 HAS SOUS 302965 HAS SOUPS 302965 WITH SCORE 303791.002
AT ITER 7354 NEW BEST:: SOT 3920459 SOS 825838 HAS SOPS 825838 HAS SOUS 302883 HAS SOUPS 302883 WITH SCORE 303708.838
AT ITER 7389 NEW BEST:: SOT 3920347 SOS 825614 HAS SOPS 825614 HAS SOUS 302799 HAS SOUPS 302799 WITH SCORE 303624.614
AT ITER 7391 NEW BEST:: SOT 3920308 SOS 825536 HAS SOPS 825536 HAS SOUS 302758 HAS SOUPS 302758 WITH SCORE 303583.536
AT ITER 7421 NEW BEST:: SOT 3920272 SOS 825464 HAS SOPS 825464 HAS SOUS 302686 HAS SOUPS 302686 WITH SCORE 303511.464
AT ITER 7443 NEW BEST:: SOT 3920181 SOS 825282 HAS SOPS 825282 HAS SOUS 302504 HAS SOUPS 302504 WITH SCORE 303329.282
AT ITER 7492 NEW BEST:: SOT 3920181 SOS 825218 HAS SOPS 825218 HAS SOUS 302440 HAS SOUPS 302440 WITH SCORE 303265.218
AT ITER 7556 NEW BEST:: SOT 3920155 SOS 825166 HAS SOPS 825166 HAS SOUS 302388 HAS SOUPS 302388 WITH SCORE 303213.166
AT ITER 7564 NEW BEST:: SOT 3920065 SOS 824986 HAS SOPS 824986 HAS SOUS 302208 HAS SOUPS 302208 WITH SCORE 303032.986
AT ITER 7573 NEW BEST:: SOT 3920065 SOS 824892 HAS SOPS 824892 HAS SOUS 302208 HAS SOUPS 302208 WITH SCORE 303032.892
AT ITER 7606 NEW BEST:: SOT 3920064 SOS 824891 HAS SOPS 824891 HAS SOUS 302206 HAS SOUPS 302206 WITH SCORE 303030.891
AT ITER 7626 NEW BEST:: SOT 3920007 SOS 824777 HAS SOPS 824777 HAS SOUS 302092 HAS SOUPS 302092 WITH SCORE 302916.777
AT ITER 7647 NEW BEST:: SOT 3919883 SOS 824529 HAS SOPS 824529 HAS SOUS 301844 HAS SOUPS 301844 WITH SCORE 302668.529
AT ITER 7659 NEW BEST:: SOT 3919774 SOS 824311 HAS SOPS 824311 HAS SOUS 301626 HAS SOUPS 301626 WITH SCORE 302450.311
AT ITER 7671 NEW BEST:: SOT 3919722 SOS 824207 HAS SOPS 824207 HAS SOUS 301522 HAS SOUPS 301522 WITH SCORE 302346.207
AT ITER 7672 NEW BEST:: SOT 3919524 SOS 749453 HAS SOPS 749453 HAS SOUS 301085 HAS SOUPS 301085 WITH SCORE 301834.453
AT ITER 7772 NEW BEST:: SOT 3919420 SOS 749245 HAS SOPS 749245 HAS SOUS 300866 HAS SOUPS 300866 WITH SCORE 301615.245
AT ITER 7781 NEW BEST:: SOT 3919374 SOS 749153 HAS SOPS 749153 HAS SOUS 300820 HAS SOUPS 300820 WITH SCORE 301569.153
AT ITER 7815 NEW BEST:: SOT 3919374 SOS 749130 HAS SOPS 749130 HAS SOUS 300774 HAS SOUPS 300774 WITH SCORE 301523.13
AT ITER 7828 NEW BEST:: SOT 3919373 SOS 749128 HAS SOPS 749128 HAS SOUS 300772 HAS SOUPS 300772 WITH SCORE 301521.128
AT ITER 7843 NEW BEST:: SOT 3919340 SOS 749062 HAS SOPS 749062 HAS SOUS 300706 HAS SOUPS 300706 WITH SCORE 301455.062
AT ITER 7926 NEW BEST:: SOT 3919372 SOS 749024 HAS SOPS 749024 HAS SOUS 300668 HAS SOUPS 300668 WITH SCORE 301417.024
AT ITER 7933 NEW BEST:: SOT 3919388 SOS 749056 HAS SOPS 749056 HAS SOUS 300640 HAS SOUPS 300640 WITH SCORE 301389.056
AT ITER 7938 NEW BEST:: SOT 3919180 SOS 748640 HAS SOPS 748640 HAS SOUS 300432 HAS SOUPS 300432 WITH SCORE 301180.64
AT ITER 7974 NEW BEST:: SOT 3919141 SOS 748562 HAS SOPS 748562 HAS SOUS 300354 HAS SOUPS 300354 WITH SCORE 301102.562
AT ITER 8011 NEW BEST:: SOT 3919140 SOS 748465 HAS SOPS 748465 HAS SOUS 300352 HAS SOUPS 300352 WITH SCORE 301100.465
AT ITER 8013 NEW BEST:: SOT 3919034 SOS 748253 HAS SOPS 748253 HAS SOUS 300246 HAS SOUPS 300246 WITH SCORE 300994.253
AT ITER 8030 NEW BEST:: SOT 3918932 SOS 748171 HAS SOPS 748171 HAS SOUS 300183 HAS SOUPS 300183 WITH SCORE 300931.171
AT ITER 8082 NEW BEST:: SOT 3918847 SOS 748001 HAS SOPS 748001 HAS SOUS 300013 HAS SOUPS 300013 WITH SCORE 300761.001
AT ITER 8103 NEW BEST:: SOT 3918752 SOS 747811 HAS SOPS 747811 HAS SOUS 299917 HAS SOUPS 299917 WITH SCORE 300664.811
AT ITER 8105 NEW BEST:: SOT 3918748 SOS 747803 HAS SOPS 747803 HAS SOUS 299909 HAS SOUPS 299909 WITH SCORE 300656.803
AT ITER 8111 NEW BEST:: SOT 3918734 SOS 747775 HAS SOPS 747775 HAS SOUS 299881 HAS SOUPS 299881 WITH SCORE 300628.775
AT ITER 8129 NEW BEST:: SOT 3918724 SOS 747755 HAS SOPS 747755 HAS SOUS 299861 HAS SOUPS 299861 WITH SCORE 300608.755
AT ITER 8152 NEW BEST:: SOT 3918723 SOS 747754 HAS SOPS 747754 HAS SOUS 299859 HAS SOUPS 299859 WITH SCORE 300606.754
AT ITER 8159 NEW BEST:: SOT 3918517 SOS 747342 HAS SOPS 747342 HAS SOUS 299447 HAS SOUPS 299447 WITH SCORE 300194.342
AT ITER 8211 NEW BEST:: SOT 3918527 SOS 747338 HAS SOPS 747338 HAS SOUS 299443 HAS SOUPS 299443 WITH SCORE 300190.338
AT ITER 8259 NEW BEST:: SOT 3918511 SOS 747306 HAS SOPS 747306 HAS SOUS 299411 HAS SOUPS 299411 WITH SCORE 300158.306
AT ITER 8298 NEW BEST:: SOT 3918457 SOS 747023 HAS SOPS 747023 HAS SOUS 299303 HAS SOUPS 299303 WITH SCORE 300050.023
AT ITER 8321 NEW BEST:: SOT 3918387 SOS 746883 HAS SOPS 746883 HAS SOUS 299163 HAS SOUPS 299163 WITH SCORE 299909.883
AT ITER 8369 NEW BEST:: SOT 3918368 SOS 746845 HAS SOPS 746845 HAS SOUS 299125 HAS SOUPS 299125 WITH SCORE 299871.845
AT ITER 8399 NEW BEST:: SOT 3918350 SOS 746684 HAS SOPS 746684 HAS SOUS 299089 HAS SOUPS 299089 WITH SCORE 299835.684
AT ITER 8404 NEW BEST:: SOT 3918342 SOS 746616 HAS SOPS 746616 HAS SOUS 299055 HAS SOUPS 299055 WITH SCORE 299801.616
AT ITER 8434 NEW BEST:: SOT 3918293 SOS 746518 HAS SOPS 746518 HAS SOUS 299054 HAS SOUPS 299054 WITH SCORE 299800.518
AT ITER 8507 NEW BEST:: SOT 3918179 SOS 746290 HAS SOPS 746290 HAS SOUS 298937 HAS SOUPS 298937 WITH SCORE 299683.29
AT ITER 8531 NEW BEST:: SOT 3918109 SOS 746150 HAS SOPS 746150 HAS SOUS 298867 HAS SOUPS 298867 WITH SCORE 299613.15
AT ITER 8536 NEW BEST:: SOT 3918109 SOS 746132 HAS SOPS 746132 HAS SOUS 298867 HAS SOUPS 298867 WITH SCORE 299613.132
AT ITER 8540 NEW BEST:: SOT 3918106 SOS 746126 HAS SOPS 746126 HAS SOUS 298861 HAS SOUPS 298861 WITH SCORE 299607.126
AT ITER 8562 NEW BEST:: SOT 3918106 SOS 746091 HAS SOPS 746091 HAS SOUS 298826 HAS SOUPS 298826 WITH SCORE 299572.091
AT ITER 8572 NEW BEST:: SOT 3918065 SOS 746009 HAS SOPS 746009 HAS SOUS 298725 HAS SOUPS 298725 WITH SCORE 299471.009
AT ITER 8580 NEW BEST:: SOT 3918036 SOS 745951 HAS SOPS 745951 HAS SOUS 298667 HAS SOUPS 298667 WITH SCORE 299412.951
AT ITER 8582 NEW BEST:: SOT 3917968 SOS 745815 HAS SOPS 745815 HAS SOUS 298531 HAS SOUPS 298531 WITH SCORE 299276.815
AT ITER 8586 NEW BEST:: SOT 3917920 SOS 745719 HAS SOPS 745719 HAS SOUS 298435 HAS SOUPS 298435 WITH SCORE 299180.719
AT ITER 8604 NEW BEST:: SOT 3917920 SOS 745719 HAS SOPS 745719 HAS SOUS 298306 HAS SOUPS 298306 WITH SCORE 299051.719
AT ITER 8605 NEW BEST:: SOT 3917919 SOS 745717 HAS SOPS 745717 HAS SOUS 298304 HAS SOUPS 298304 WITH SCORE 299049.717
AT ITER 8608 NEW BEST:: SOT 3917700 SOS 745279 HAS SOPS 745279 HAS SOUS 298279 HAS SOUPS 298279 WITH SCORE 299024.279
AT ITER 8689 NEW BEST:: SOT 3917700 SOS 745197 HAS SOPS 745197 HAS SOUS 298279 HAS SOUPS 298279 WITH SCORE 299024.197
AT ITER 8710 NEW BEST:: SOT 3917651 SOS 745099 HAS SOPS 745099 HAS SOUS 298181 HAS SOUPS 298181 WITH SCORE 298926.099
AT ITER 8717 NEW BEST:: SOT 3917599 SOS 744818 HAS SOPS 744818 HAS SOUS 298077 HAS SOUPS 298077 WITH SCORE 298821.818
AT ITER 8725 NEW BEST:: SOT 3917599 SOS 744698 HAS SOPS 744698 HAS SOUS 297957 HAS SOUPS 297957 WITH SCORE 298701.698
AT ITER 8822 NEW BEST:: SOT 3917598 SOS 744697 HAS SOPS 744697 HAS SOUS 297955 HAS SOUPS 297955 WITH SCORE 298699.697
AT ITER 8832 NEW BEST:: SOT 3917598 SOS 744697 HAS SOPS 744697 HAS SOUS 297932 HAS SOUPS 297932 WITH SCORE 298676.697
AT ITER 8861 NEW BEST:: SOT 3917487 SOS 744475 HAS SOPS 744475 HAS SOUS 297827 HAS SOUPS 297827 WITH SCORE 298571.475
AT ITER 8895 NEW BEST:: SOT 3917486 SOS 744473 HAS SOPS 744473 HAS SOUS 297825 HAS SOUPS 297825 WITH SCORE 298569.473
AT ITER 8899 NEW BEST:: SOT 3917465 SOS 744431 HAS SOPS 744431 HAS SOUS 297783 HAS SOUPS 297783 WITH SCORE 298527.431
AT ITER 8921 NEW BEST:: SOT 3917465 SOS 744431 HAS SOPS 744431 HAS SOUS 297694 HAS SOUPS 297694 WITH SCORE 298438.431
AT ITER 8931 NEW BEST:: SOT 3917460 SOS 744421 HAS SOPS 744421 HAS SOUS 297689 HAS SOUPS 297689 WITH SCORE 298433.421
AT ITER 8974 NEW BEST:: SOT 3917130 SOS 744559 HAS SOPS 744559 HAS SOUS 297499 HAS SOUPS 297499 WITH SCORE 298243.559
AT ITER 8989 NEW BEST:: SOT 3917118 SOS 744535 HAS SOPS 744535 HAS SOUS 297439 HAS SOUPS 297439 WITH SCORE 298183.535
AT ITER 8992 NEW BEST:: SOT 3917089 SOS 744477 HAS SOPS 744477 HAS SOUS 297381 HAS SOUPS 297381 WITH SCORE 298125.477
AT ITER 8998 NEW BEST:: SOT 3917072 SOS 744443 HAS SOPS 744443 HAS SOUS 297347 HAS SOUPS 297347 WITH SCORE 298091.443
AT ITER 9004 NEW BEST:: SOT 3917070 SOS 744439 HAS SOPS 744439 HAS SOUS 297343 HAS SOUPS 297343 WITH SCORE 298087.439
AT ITER 9022 NEW BEST:: SOT 3917068 SOS 744435 HAS SOPS 744435 HAS SOUS 297339 HAS SOUPS 297339 WITH SCORE 298083.435
AT ITER 9036 NEW BEST:: SOT 3917067 SOS 744433 HAS SOPS 744433 HAS SOUS 297337 HAS SOUPS 297337 WITH SCORE 298081.433
AT ITER 9045 NEW BEST:: SOT 3917015 SOS 744329 HAS SOPS 744329 HAS SOUS 297233 HAS SOUPS 297233 WITH SCORE 297977.329
AT ITER 9114 NEW BEST:: SOT 3917002 SOS 744303 HAS SOPS 744303 HAS SOUS 297207 HAS SOUPS 297207 WITH SCORE 297951.303
AT ITER 9115 NEW BEST:: SOT 3916996 SOS 744309 HAS SOPS 744309 HAS SOUS 297187 HAS SOUPS 297187 WITH SCORE 297931.309
AT ITER 9137 NEW BEST:: SOT 3916971 SOS 744121 HAS SOPS 744121 HAS SOUS 297137 HAS SOUPS 297137 WITH SCORE 297881.121
AT ITER 9177 NEW BEST:: SOT 3916945 SOS 744069 HAS SOPS 744069 HAS SOUS 297085 HAS SOUPS 297085 WITH SCORE 297829.069
AT ITER 9206 NEW BEST:: SOT 3916793 SOS 743765 HAS SOPS 743765 HAS SOUS 296781 HAS SOUPS 296781 WITH SCORE 297524.765
AT ITER 9215 NEW BEST:: SOT 3916790 SOS 743661 HAS SOPS 743661 HAS SOUS 296775 HAS SOUPS 296775 WITH SCORE 297518.661
AT ITER 9257 NEW BEST:: SOT 3916581 SOS 743243 HAS SOPS 743243 HAS SOUS 296357 HAS SOUPS 296357 WITH SCORE 297100.243
AT ITER 9297 NEW BEST:: SOT 3916553 SOS 743187 HAS SOPS 743187 HAS SOUS 296301 HAS SOUPS 296301 WITH SCORE 297044.187
AT ITER 9303 NEW BEST:: SOT 3916433 SOS 729573 HAS SOPS 729573 HAS SOUS 295671 HAS SOUPS 295671 WITH SCORE 296400.573
AT ITER 9325 NEW BEST:: SOT 3916388 SOS 729483 HAS SOPS 729483 HAS SOUS 295581 HAS SOUPS 295581 WITH SCORE 296310.483
AT ITER 9327 NEW BEST:: SOT 3916285 SOS 729277 HAS SOPS 729277 HAS SOUS 295411 HAS SOUPS 295411 WITH SCORE 296140.277
AT ITER 9443 NEW BEST:: SOT 3916285 SOS 729231 HAS SOPS 729231 HAS SOUS 295411 HAS SOUPS 295411 WITH SCORE 296140.231
AT ITER 9509 NEW BEST:: SOT 3916285 SOS 729231 HAS SOPS 729231 HAS SOUS 295404 HAS SOUPS 295404 WITH SCORE 296133.231
AT ITER 9520 NEW BEST:: SOT 3916205 SOS 729071 HAS SOPS 729071 HAS SOUS 295324 HAS SOUPS 295324 WITH SCORE 296053.071
AT ITER 9532 NEW BEST:: SOT 3915900 SOS 728461 HAS SOPS 728461 HAS SOUS 294714 HAS SOUPS 294714 WITH SCORE 295442.461
AT ITER 9581 NEW BEST:: SOT 3915900 SOS 728457 HAS SOPS 728457 HAS SOUS 294710 HAS SOUPS 294710 WITH SCORE 295438.457
AT ITER 9607 NEW BEST:: SOT 3915827 SOS 728384 HAS SOPS 728384 HAS SOUS 294637 HAS SOUPS 294637 WITH SCORE 295365.384
AT ITER 9623 NEW BEST:: SOT 3915817 SOS 728379 HAS SOPS 728379 HAS SOUS 294632 HAS SOUPS 294632 WITH SCORE 295360.379
AT ITER 9696 NEW BEST:: SOT 3915832 SOS 728409 HAS SOPS 728409 HAS SOUS 294597 HAS SOUPS 294597 WITH SCORE 295325.409
AT ITER 9708 NEW BEST:: SOT 3915791 SOS 728290 HAS SOPS 728290 HAS SOUS 294515 HAS SOUPS 294515 WITH SCORE 295243.29
AT ITER 9742 NEW BEST:: SOT 3915764 SOS 728236 HAS SOPS 728236 HAS SOUS 294461 HAS SOUPS 294461 WITH SCORE 295189.236
AT ITER 9763 NEW BEST:: SOT 3915777 SOS 728217 HAS SOPS 728217 HAS SOUS 294442 HAS SOUPS 294442 WITH SCORE 295170.217
AT ITER 9786 NEW BEST:: SOT 3915769 SOS 728201 HAS SOPS 728201 HAS SOUS 294426 HAS SOUPS 294426 WITH SCORE 295154.201
AT ITER 9836 NEW BEST:: SOT 3915731 SOS 726681 HAS SOPS 726681 HAS SOUS 294312 HAS SOUPS 294312 WITH SCORE 295038.681
AT ITER 9855 NEW BEST:: SOT 3915627 SOS 726473 HAS SOPS 726473 HAS SOUS 294275 HAS SOUPS 294275 WITH SCORE 295001.473
AT ITER 9860 NEW BEST:: SOT 3915459 SOS 726137 HAS SOPS 726137 HAS SOUS 294107 HAS SOUPS 294107 WITH SCORE 294833.137
AT ITER 9880 NEW BEST:: SOT 3915394 SOS 726007 HAS SOPS 726007 HAS SOUS 293923 HAS SOUPS 293923 WITH SCORE 294649.007
AT ITER 9901 NEW BEST:: SOT 3915393 SOS 726005 HAS SOPS 726005 HAS SOUS 293921 HAS SOUPS 293921 WITH SCORE 294647.005
AT ITER 9904 NEW BEST:: SOT 3915346 SOS 725958 HAS SOPS 725958 HAS SOUS 293874 HAS SOUPS 293874 WITH SCORE 294599.958
AT ITER 9934 NEW BEST:: SOT 3915303 SOS 726007 HAS SOPS 726007 HAS SOUS 293714 HAS SOUPS 293714 WITH SCORE 294440.007
AT ITER 9949 NEW BEST:: SOT 3915096 SOS 725593 HAS SOPS 725593 HAS SOUS 293300 HAS SOUPS 293300 WITH SCORE 294025.593
AT ITER 9963 NEW BEST:: SOT 3915095 SOS 704443 HAS SOPS 704443 HAS SOUS 290776 HAS SOUPS 290776 WITH SCORE 291480.443
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13547268 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151304 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyCommit-PT-05b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is StigmergyCommit-PT-05b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r451-smll-167912643500456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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