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.r291-tall-167873943400832.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 QuasiCertifProtocol-COL-18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943400832
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 6.8K Feb 26 01:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 01:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 01:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 01:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 01:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 26 01:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 93K 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 1678819931704

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=QuasiCertifProtocol-COL-18
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 18:52:14] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 18:52:14] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 18:52:14] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 18:52:14] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 18:52:15] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 848 ms
[2023-03-14 18:52:15] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 1398 PT places and 296.0 transition bindings in 36 ms.
[2023-03-14 18:52:15] [INFO ] Unfolded HLPN to a Petri net with 1398 places and 296 transitions 3119 arcs in 57 ms.
[2023-03-14 18:52:15] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-14 18:52:15] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 1398 places, 296 transitions and 3119 arcs took 25 ms.
Total runtime 1197 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), instance 18
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: 1398 places, 296 transitions, 3119 arcs.
AT ITER 0 NEW BEST:: SOT 236674 SOS 175918 HAS SOPS 175918 HAS SOUS 145020 HAS SOUPS 145020 WITH SCORE 145195.918
AT ITER 10 NEW BEST:: SOT 236681 SOS 175603 HAS SOPS 175603 HAS SOUS 144312 HAS SOUPS 144312 WITH SCORE 144487.603
AT ITER 16 NEW BEST:: SOT 236681 SOS 175370 HAS SOPS 175370 HAS SOUS 144007 HAS SOUPS 144007 WITH SCORE 144182.37
AT ITER 22 NEW BEST:: SOT 236600 SOS 175307 HAS SOPS 175307 HAS SOUS 143928 HAS SOUPS 143928 WITH SCORE 144103.307
AT ITER 80 NEW BEST:: SOT 236587 SOS 175294 HAS SOPS 175294 HAS SOUS 143915 HAS SOUPS 143915 WITH SCORE 144090.294
AT ITER 93 NEW BEST:: SOT 236591 SOS 175287 HAS SOPS 175287 HAS SOUS 143908 HAS SOUPS 143908 WITH SCORE 144083.287
AT ITER 97 NEW BEST:: SOT 237228 SOS 175192 HAS SOPS 175192 HAS SOUS 143554 HAS SOUPS 143554 WITH SCORE 143729.192
AT ITER 122 NEW BEST:: SOT 237228 SOS 175179 HAS SOPS 175179 HAS SOUS 143541 HAS SOUPS 143541 WITH SCORE 143716.179
AT ITER 166 NEW BEST:: SOT 237228 SOS 167245 HAS SOPS 167245 HAS SOUS 143239 HAS SOUPS 143239 WITH SCORE 143406.245
AT ITER 274 NEW BEST:: SOT 238097 SOS 167382 HAS SOPS 167382 HAS SOUS 143225 HAS SOUPS 143225 WITH SCORE 143392.382
AT ITER 309 NEW BEST:: SOT 238097 SOS 167269 HAS SOPS 167269 HAS SOUS 142943 HAS SOUPS 142943 WITH SCORE 143110.269
AT ITER 324 NEW BEST:: SOT 238097 SOS 167043 HAS SOPS 167043 HAS SOUS 142735 HAS SOUPS 142735 WITH SCORE 142902.043
AT ITER 325 NEW BEST:: SOT 238280 SOS 166885 HAS SOPS 166885 HAS SOUS 142390 HAS SOUPS 142390 WITH SCORE 142556.885
AT ITER 394 NEW BEST:: SOT 238280 SOS 166838 HAS SOPS 166838 HAS SOUS 142361 HAS SOUPS 142361 WITH SCORE 142527.838
AT ITER 400 NEW BEST:: SOT 238280 SOS 166830 HAS SOPS 166830 HAS SOUS 142353 HAS SOUPS 142353 WITH SCORE 142519.83
AT ITER 418 NEW BEST:: SOT 238317 SOS 165787 HAS SOPS 165787 HAS SOUS 141384 HAS SOUPS 141384 WITH SCORE 141549.787
AT ITER 431 NEW BEST:: SOT 238317 SOS 165246 HAS SOPS 165246 HAS SOUS 140861 HAS SOUPS 140861 WITH SCORE 141026.246
AT ITER 445 NEW BEST:: SOT 238317 SOS 164240 HAS SOPS 164240 HAS SOUS 140031 HAS SOUPS 140031 WITH SCORE 140195.24
AT ITER 447 NEW BEST:: SOT 238777 SOS 163701 HAS SOPS 163701 HAS SOUS 139191 HAS SOUPS 139191 WITH SCORE 139354.701
AT ITER 501 NEW BEST:: SOT 238934 SOS 163400 HAS SOPS 163400 HAS SOUS 139065 HAS SOUPS 139065 WITH SCORE 139228.4
AT ITER 511 NEW BEST:: SOT 238934 SOS 162821 HAS SOPS 162821 HAS SOUS 138504 HAS SOUPS 138504 WITH SCORE 138666.821
AT ITER 527 NEW BEST:: SOT 238934 SOS 161604 HAS SOPS 161604 HAS SOUS 137305 HAS SOUPS 137305 WITH SCORE 137466.604
AT ITER 529 NEW BEST:: SOT 238934 SOS 161179 HAS SOPS 161179 HAS SOUS 137068 HAS SOUPS 137068 WITH SCORE 137229.179
AT ITER 550 NEW BEST:: SOT 238934 SOS 160813 HAS SOPS 160813 HAS SOUS 137053 HAS SOUPS 137053 WITH SCORE 137213.813
AT ITER 591 NEW BEST:: SOT 238934 SOS 159485 HAS SOPS 159485 HAS SOUS 136389 HAS SOUPS 136389 WITH SCORE 136548.485
AT ITER 640 NEW BEST:: SOT 238933 SOS 159447 HAS SOPS 159447 HAS SOUS 136388 HAS SOUPS 136388 WITH SCORE 136547.447
AT ITER 647 NEW BEST:: SOT 238924 SOS 159409 HAS SOPS 159409 HAS SOUS 136379 HAS SOUPS 136379 WITH SCORE 136538.409
AT ITER 696 NEW BEST:: SOT 239005 SOS 159379 HAS SOPS 159379 HAS SOUS 136360 HAS SOUPS 136360 WITH SCORE 136519.379
AT ITER 716 NEW BEST:: SOT 239173 SOS 159211 HAS SOPS 159211 HAS SOUS 136360 HAS SOUPS 136360 WITH SCORE 136519.211
AT ITER 744 NEW BEST:: SOT 239173 SOS 158224 HAS SOPS 158224 HAS SOUS 135870 HAS SOUPS 135870 WITH SCORE 136028.224
AT ITER 833 NEW BEST:: SOT 239504 SOS 157965 HAS SOPS 157965 HAS SOUS 135573 HAS SOUPS 135573 WITH SCORE 135730.965
AT ITER 842 NEW BEST:: SOT 239504 SOS 157157 HAS SOPS 157157 HAS SOUS 135347 HAS SOUPS 135347 WITH SCORE 135504.157
AT ITER 854 NEW BEST:: SOT 240033 SOS 157156 HAS SOPS 157156 HAS SOUS 135346 HAS SOUPS 135346 WITH SCORE 135503.156
AT ITER 868 NEW BEST:: SOT 240033 SOS 157155 HAS SOPS 157155 HAS SOUS 135345 HAS SOUPS 135345 WITH SCORE 135502.155
AT ITER 884 NEW BEST:: SOT 240033 SOS 150201 HAS SOPS 150201 HAS SOUS 134979 HAS SOUPS 134979 WITH SCORE 135129.201
AT ITER 886 NEW BEST:: SOT 240064 SOS 150074 HAS SOPS 150074 HAS SOUS 134852 HAS SOUPS 134852 WITH SCORE 135002.074
AT ITER 918 NEW BEST:: SOT 240045 SOS 149994 HAS SOPS 149994 HAS SOUS 134833 HAS SOUPS 134833 WITH SCORE 134982.994
AT ITER 921 NEW BEST:: SOT 240045 SOS 149911 HAS SOPS 149911 HAS SOUS 134750 HAS SOUPS 134750 WITH SCORE 134899.911
AT ITER 927 NEW BEST:: SOT 240045 SOS 149837 HAS SOPS 149837 HAS SOUS 134713 HAS SOUPS 134713 WITH SCORE 134862.837
AT ITER 941 NEW BEST:: SOT 240044 SOS 149836 HAS SOPS 149836 HAS SOUS 134712 HAS SOUPS 134712 WITH SCORE 134861.836
AT ITER 964 NEW BEST:: SOT 240044 SOS 149816 HAS SOPS 149816 HAS SOUS 134692 HAS SOUPS 134692 WITH SCORE 134841.816
AT ITER 1046 NEW BEST:: SOT 240043 SOS 149677 HAS SOPS 149677 HAS SOUS 134622 HAS SOUPS 134622 WITH SCORE 134771.677
AT ITER 1085 NEW BEST:: SOT 240156 SOS 149658 HAS SOPS 149658 HAS SOUS 134603 HAS SOUPS 134603 WITH SCORE 134752.658
AT ITER 1118 NEW BEST:: SOT 240156 SOS 149598 HAS SOPS 149598 HAS SOUS 134543 HAS SOUPS 134543 WITH SCORE 134692.598
AT ITER 1180 NEW BEST:: SOT 240137 SOS 149508 HAS SOPS 149508 HAS SOUS 134524 HAS SOUPS 134524 WITH SCORE 134673.508
AT ITER 1199 NEW BEST:: SOT 240137 SOS 149427 HAS SOPS 149427 HAS SOUS 134470 HAS SOUPS 134470 WITH SCORE 134619.427
AT ITER 1226 NEW BEST:: SOT 240375 SOS 149151 HAS SOPS 149151 HAS SOUS 134451 HAS SOUPS 134451 WITH SCORE 134600.151
AT ITER 1230 NEW BEST:: SOT 240302 SOS 149136 HAS SOPS 149136 HAS SOUS 134436 HAS SOUPS 134436 WITH SCORE 134585.136
AT ITER 1311 NEW BEST:: SOT 240302 SOS 149116 HAS SOPS 149116 HAS SOUS 134413 HAS SOUPS 134413 WITH SCORE 134562.116
AT ITER 1406 NEW BEST:: SOT 240656 SOS 149069 HAS SOPS 149069 HAS SOUS 134366 HAS SOUPS 134366 WITH SCORE 134515.069
AT ITER 1418 NEW BEST:: SOT 240790 SOS 148897 HAS SOPS 148897 HAS SOUS 134347 HAS SOUPS 134347 WITH SCORE 134495.897
AT ITER 1455 NEW BEST:: SOT 240958 SOS 147639 HAS SOPS 147639 HAS SOUS 133859 HAS SOUPS 133859 WITH SCORE 134006.639
AT ITER 1503 NEW BEST:: SOT 240958 SOS 147639 HAS SOPS 147639 HAS SOUS 133858 HAS SOUPS 133858 WITH SCORE 134005.639
AT ITER 1521 NEW BEST:: SOT 240958 SOS 147431 HAS SOPS 147431 HAS SOUS 133799 HAS SOUPS 133799 WITH SCORE 133946.431
AT ITER 1553 NEW BEST:: SOT 241015 SOS 147194 HAS SOPS 147194 HAS SOUS 133709 HAS SOUPS 133709 WITH SCORE 133856.194
AT ITER 1563 NEW BEST:: SOT 241021 SOS 147188 HAS SOPS 147188 HAS SOUS 133703 HAS SOUPS 133703 WITH SCORE 133850.188
AT ITER 1570 NEW BEST:: SOT 241021 SOS 146900 HAS SOPS 146900 HAS SOUS 133693 HAS SOUPS 133693 WITH SCORE 133839.9
AT ITER 1618 NEW BEST:: SOT 241021 SOS 146900 HAS SOPS 146900 HAS SOUS 133585 HAS SOUPS 133585 WITH SCORE 133731.9
AT ITER 1624 NEW BEST:: SOT 241020 SOS 146899 HAS SOPS 146899 HAS SOUS 133584 HAS SOUPS 133584 WITH SCORE 133730.899
AT ITER 1649 NEW BEST:: SOT 241122 SOS 146757 HAS SOPS 146757 HAS SOUS 133564 HAS SOUPS 133564 WITH SCORE 133710.757
AT ITER 1715 NEW BEST:: SOT 241265 SOS 145536 HAS SOPS 145536 HAS SOUS 132505 HAS SOUPS 132505 WITH SCORE 132650.536
AT ITER 1719 NEW BEST:: SOT 241617 SOS 144332 HAS SOPS 144332 HAS SOUS 132093 HAS SOUPS 132093 WITH SCORE 132237.332
AT ITER 1732 NEW BEST:: SOT 242069 SOS 144312 HAS SOPS 144312 HAS SOUS 132073 HAS SOUPS 132073 WITH SCORE 132217.312
AT ITER 1733 NEW BEST:: SOT 242069 SOS 143816 HAS SOPS 143816 HAS SOUS 131571 HAS SOUPS 131571 WITH SCORE 131714.816
AT ITER 1757 NEW BEST:: SOT 242062 SOS 143810 HAS SOPS 143810 HAS SOUS 131565 HAS SOUPS 131565 WITH SCORE 131708.81
AT ITER 1778 NEW BEST:: SOT 242062 SOS 143810 HAS SOPS 143810 HAS SOUS 131512 HAS SOUPS 131512 WITH SCORE 131655.81
AT ITER 1850 NEW BEST:: SOT 242062 SOS 143794 HAS SOPS 143794 HAS SOUS 131496 HAS SOUPS 131496 WITH SCORE 131639.794
AT ITER 1880 NEW BEST:: SOT 242062 SOS 143766 HAS SOPS 143766 HAS SOUS 131468 HAS SOUPS 131468 WITH SCORE 131611.766
AT ITER 1904 NEW BEST:: SOT 242062 SOS 143582 HAS SOPS 143582 HAS SOUS 131284 HAS SOUPS 131284 WITH SCORE 131427.582
AT ITER 1939 NEW BEST:: SOT 242062 SOS 143567 HAS SOPS 143567 HAS SOUS 131250 HAS SOUPS 131250 WITH SCORE 131393.567
AT ITER 1947 NEW BEST:: SOT 242062 SOS 143315 HAS SOPS 143315 HAS SOUS 131124 HAS SOUPS 131124 WITH SCORE 131267.315
AT ITER 1980 NEW BEST:: SOT 242062 SOS 143281 HAS SOPS 143281 HAS SOUS 131090 HAS SOUPS 131090 WITH SCORE 131233.281
AT ITER 1988 NEW BEST:: SOT 242076 SOS 143279 HAS SOPS 143279 HAS SOUS 131088 HAS SOUPS 131088 WITH SCORE 131231.279
AT ITER 2002 NEW BEST:: SOT 242075 SOS 143278 HAS SOPS 143278 HAS SOUS 131087 HAS SOUPS 131087 WITH SCORE 131230.278
AT ITER 2040 NEW BEST:: SOT 242151 SOS 143259 HAS SOPS 143259 HAS SOUS 131068 HAS SOUPS 131068 WITH SCORE 131211.259
AT ITER 2062 NEW BEST:: SOT 242327 SOS 143055 HAS SOPS 143055 HAS SOUS 131054 HAS SOUPS 131054 WITH SCORE 131197.055
AT ITER 2068 NEW BEST:: SOT 242383 SOS 142741 HAS SOPS 142741 HAS SOUS 130925 HAS SOUPS 130925 WITH SCORE 131067.741
AT ITER 2071 NEW BEST:: SOT 242383 SOS 142716 HAS SOPS 142716 HAS SOUS 130900 HAS SOUPS 130900 WITH SCORE 131042.716
AT ITER 2103 NEW BEST:: SOT 242383 SOS 142716 HAS SOPS 142716 HAS SOUS 130899 HAS SOUPS 130899 WITH SCORE 131041.716
AT ITER 2120 NEW BEST:: SOT 242383 SOS 142710 HAS SOPS 142710 HAS SOUS 130893 HAS SOUPS 130893 WITH SCORE 131035.71
AT ITER 2260 NEW BEST:: SOT 243035 SOS 142132 HAS SOPS 142132 HAS SOUS 130873 HAS SOUPS 130873 WITH SCORE 131015.132
AT ITER 2273 NEW BEST:: SOT 243035 SOS 141794 HAS SOPS 141794 HAS SOUS 130535 HAS SOUPS 130535 WITH SCORE 130676.794
AT ITER 2280 NEW BEST:: SOT 243012 SOS 141784 HAS SOPS 141784 HAS SOUS 130525 HAS SOUPS 130525 WITH SCORE 130666.784
AT ITER 2323 NEW BEST:: SOT 243119 SOS 141549 HAS SOPS 141549 HAS SOUS 130290 HAS SOUPS 130290 WITH SCORE 130431.549
AT ITER 2337 NEW BEST:: SOT 243375 SOS 141530 HAS SOPS 141530 HAS SOUS 130271 HAS SOUPS 130271 WITH SCORE 130412.53
AT ITER 2364 NEW BEST:: SOT 243375 SOS 141301 HAS SOPS 141301 HAS SOUS 129717 HAS SOUPS 129717 WITH SCORE 129858.301
AT ITER 2387 NEW BEST:: SOT 243375 SOS 141293 HAS SOPS 141293 HAS SOUS 129709 HAS SOUPS 129709 WITH SCORE 129850.293
AT ITER 2394 NEW BEST:: SOT 243430 SOS 141236 HAS SOPS 141236 HAS SOUS 129708 HAS SOUPS 129708 WITH SCORE 129849.236
AT ITER 2452 NEW BEST:: SOT 243430 SOS 141235 HAS SOPS 141235 HAS SOUS 129707 HAS SOUPS 129707 WITH SCORE 129848.235
AT ITER 2467 NEW BEST:: SOT 243430 SOS 140769 HAS SOPS 140769 HAS SOUS 129474 HAS SOUPS 129474 WITH SCORE 129614.769
AT ITER 2474 NEW BEST:: SOT 243426 SOS 140731 HAS SOPS 140731 HAS SOUS 129470 HAS SOUPS 129470 WITH SCORE 129610.731
AT ITER 2530 NEW BEST:: SOT 243601 SOS 140713 HAS SOPS 140713 HAS SOUS 129470 HAS SOUPS 129470 WITH SCORE 129610.713
AT ITER 2545 NEW BEST:: SOT 243536 SOS 140648 HAS SOPS 140648 HAS SOUS 129346 HAS SOUPS 129346 WITH SCORE 129486.648
AT ITER 2586 NEW BEST:: SOT 243477 SOS 140589 HAS SOPS 140589 HAS SOUS 129285 HAS SOUPS 129285 WITH SCORE 129425.589
AT ITER 2612 NEW BEST:: SOT 243772 SOS 140316 HAS SOPS 140316 HAS SOUS 129285 HAS SOUPS 129285 WITH SCORE 129425.316
AT ITER 2626 NEW BEST:: SOT 244236 SOS 139511 HAS SOPS 139511 HAS SOUS 128968 HAS SOUPS 128968 WITH SCORE 129107.511
AT ITER 2683 NEW BEST:: SOT 244236 SOS 139424 HAS SOPS 139424 HAS SOUS 128881 HAS SOUPS 128881 WITH SCORE 129020.424
AT ITER 2729 NEW BEST:: SOT 244235 SOS 139423 HAS SOPS 139423 HAS SOUS 128880 HAS SOUPS 128880 WITH SCORE 129019.423
AT ITER 2746 NEW BEST:: SOT 244234 SOS 139422 HAS SOPS 139422 HAS SOUS 128879 HAS SOUPS 128879 WITH SCORE 129018.422
AT ITER 2813 NEW BEST:: SOT 244234 SOS 139392 HAS SOPS 139392 HAS SOUS 128849 HAS SOUPS 128849 WITH SCORE 128988.392
AT ITER 2835 NEW BEST:: SOT 244233 SOS 139391 HAS SOPS 139391 HAS SOUS 128848 HAS SOUPS 128848 WITH SCORE 128987.391
AT ITER 2846 NEW BEST:: SOT 244289 SOS 139372 HAS SOPS 139372 HAS SOUS 128829 HAS SOUPS 128829 WITH SCORE 128968.372
AT ITER 2861 NEW BEST:: SOT 244288 SOS 139371 HAS SOPS 139371 HAS SOUS 128828 HAS SOUPS 128828 WITH SCORE 128967.371
AT ITER 2895 NEW BEST:: SOT 244371 SOS 138822 HAS SOPS 138822 HAS SOUS 128595 HAS SOUPS 128595 WITH SCORE 128733.822
AT ITER 2943 NEW BEST:: SOT 244371 SOS 138822 HAS SOPS 138822 HAS SOUS 128587 HAS SOUPS 128587 WITH SCORE 128725.822
AT ITER 2962 NEW BEST:: SOT 244419 SOS 137880 HAS SOPS 137880 HAS SOUS 128151 HAS SOUPS 128151 WITH SCORE 128288.88
AT ITER 2986 NEW BEST:: SOT 244462 SOS 137923 HAS SOPS 137923 HAS SOUS 128146 HAS SOUPS 128146 WITH SCORE 128283.923
AT ITER 2988 NEW BEST:: SOT 244462 SOS 137537 HAS SOPS 137537 HAS SOUS 127760 HAS SOUPS 127760 WITH SCORE 127897.537
AT ITER 3019 NEW BEST:: SOT 244462 SOS 137537 HAS SOPS 137537 HAS SOUS 127759 HAS SOUPS 127759 WITH SCORE 127896.537
AT ITER 3022 NEW BEST:: SOT 244462 SOS 137518 HAS SOPS 137518 HAS SOUS 127740 HAS SOUPS 127740 WITH SCORE 127877.518
AT ITER 3054 NEW BEST:: SOT 245226 SOS 137499 HAS SOPS 137499 HAS SOUS 127721 HAS SOUPS 127721 WITH SCORE 127858.499
AT ITER 3057 NEW BEST:: SOT 245235 SOS 137453 HAS SOPS 137453 HAS SOUS 127675 HAS SOUPS 127675 WITH SCORE 127812.453
AT ITER 3060 NEW BEST:: SOT 245501 SOS 137434 HAS SOPS 137434 HAS SOUS 127656 HAS SOUPS 127656 WITH SCORE 127793.434
AT ITER 3074 NEW BEST:: SOT 245501 SOS 137363 HAS SOPS 137363 HAS SOUS 127589 HAS SOUPS 127589 WITH SCORE 127726.363
AT ITER 3083 NEW BEST:: SOT 245501 SOS 137363 HAS SOPS 137363 HAS SOUS 127516 HAS SOUPS 127516 WITH SCORE 127653.363
AT ITER 3119 NEW BEST:: SOT 245500 SOS 137362 HAS SOPS 137362 HAS SOUS 127515 HAS SOUPS 127515 WITH SCORE 127652.362
AT ITER 3138 NEW BEST:: SOT 245332 SOS 137454 HAS SOPS 137454 HAS SOUS 127400 HAS SOUPS 127400 WITH SCORE 127537.454
AT ITER 3181 NEW BEST:: SOT 245326 SOS 137448 HAS SOPS 137448 HAS SOUS 127394 HAS SOUPS 127394 WITH SCORE 127531.448
AT ITER 3201 NEW BEST:: SOT 245330 SOS 137434 HAS SOPS 137434 HAS SOUS 127380 HAS SOUPS 127380 WITH SCORE 127517.434
AT ITER 3298 NEW BEST:: SOT 245385 SOS 137163 HAS SOPS 137163 HAS SOUS 127182 HAS SOUPS 127182 WITH SCORE 127319.163
AT ITER 3360 NEW BEST:: SOT 245385 SOS 136172 HAS SOPS 136172 HAS SOUS 126743 HAS SOUPS 126743 WITH SCORE 126879.172
AT ITER 3414 NEW BEST:: SOT 245385 SOS 136172 HAS SOPS 136172 HAS SOUS 126742 HAS SOUPS 126742 WITH SCORE 126878.172
AT ITER 3416 NEW BEST:: SOT 245390 SOS 135992 HAS SOPS 135992 HAS SOUS 126585 HAS SOUPS 126585 WITH SCORE 126720.992
AT ITER 3423 NEW BEST:: SOT 245493 SOS 135889 HAS SOPS 135889 HAS SOUS 126585 HAS SOUPS 126585 WITH SCORE 126720.889
AT ITER 3479 NEW BEST:: SOT 245933 SOS 135648 HAS SOPS 135648 HAS SOUS 126584 HAS SOUPS 126584 WITH SCORE 126719.648
AT ITER 3546 NEW BEST:: SOT 245917 SOS 135632 HAS SOPS 135632 HAS SOUS 126568 HAS SOUPS 126568 WITH SCORE 126703.632
AT ITER 3635 NEW BEST:: SOT 245917 SOS 135452 HAS SOPS 135452 HAS SOUS 126388 HAS SOUPS 126388 WITH SCORE 126523.452
AT ITER 3671 NEW BEST:: SOT 245927 SOS 135444 HAS SOPS 135444 HAS SOUS 126380 HAS SOUPS 126380 WITH SCORE 126515.444
AT ITER 3719 NEW BEST:: SOT 245927 SOS 135312 HAS SOPS 135312 HAS SOUS 126314 HAS SOUPS 126314 WITH SCORE 126449.312
AT ITER 3735 NEW BEST:: SOT 245927 SOS 135306 HAS SOPS 135306 HAS SOUS 126308 HAS SOUPS 126308 WITH SCORE 126443.306
AT ITER 3811 NEW BEST:: SOT 246691 SOS 135203 HAS SOPS 135203 HAS SOUS 126286 HAS SOUPS 126286 WITH SCORE 126421.203
AT ITER 3865 NEW BEST:: SOT 246749 SOS 135081 HAS SOPS 135081 HAS SOUS 126240 HAS SOUPS 126240 WITH SCORE 126375.081
AT ITER 3917 NEW BEST:: SOT 246749 SOS 135065 HAS SOPS 135065 HAS SOUS 126232 HAS SOUPS 126232 WITH SCORE 126367.065
AT ITER 3977 NEW BEST:: SOT 246749 SOS 134998 HAS SOPS 134998 HAS SOUS 126165 HAS SOUPS 126165 WITH SCORE 126299.998
AT ITER 3980 NEW BEST:: SOT 246749 SOS 134994 HAS SOPS 134994 HAS SOUS 126161 HAS SOUPS 126161 WITH SCORE 126295.994
AT ITER 3982 NEW BEST:: SOT 246749 SOS 134990 HAS SOPS 134990 HAS SOUS 126157 HAS SOUPS 126157 WITH SCORE 126291.99
AT ITER 3999 NEW BEST:: SOT 246747 SOS 134988 HAS SOPS 134988 HAS SOUS 126155 HAS SOUPS 126155 WITH SCORE 126289.988
AT ITER 4035 NEW BEST:: SOT 246747 SOS 134891 HAS SOPS 134891 HAS SOUS 126048 HAS SOUPS 126048 WITH SCORE 126182.891
AT ITER 4048 NEW BEST:: SOT 246747 SOS 134475 HAS SOPS 134475 HAS SOUS 125840 HAS SOUPS 125840 WITH SCORE 125974.475
AT ITER 4071 NEW BEST:: SOT 246665 SOS 134393 HAS SOPS 134393 HAS SOUS 125743 HAS SOUPS 125743 WITH SCORE 125877.393
AT ITER 4141 NEW BEST:: SOT 246639 SOS 134367 HAS SOPS 134367 HAS SOUS 125717 HAS SOUPS 125717 WITH SCORE 125851.367
AT ITER 4213 NEW BEST:: SOT 246639 SOS 134367 HAS SOPS 134367 HAS SOUS 125716 HAS SOUPS 125716 WITH SCORE 125850.367
AT ITER 4227 NEW BEST:: SOT 246638 SOS 134365 HAS SOPS 134365 HAS SOUS 125714 HAS SOUPS 125714 WITH SCORE 125848.365
AT ITER 4230 NEW BEST:: SOT 246638 SOS 134359 HAS SOPS 134359 HAS SOUS 125708 HAS SOUPS 125708 WITH SCORE 125842.359
AT ITER 4273 NEW BEST:: SOT 246638 SOS 134180 HAS SOPS 134180 HAS SOUS 125529 HAS SOUPS 125529 WITH SCORE 125663.18
AT ITER 4282 NEW BEST:: SOT 246638 SOS 134175 HAS SOPS 134175 HAS SOUS 125524 HAS SOUPS 125524 WITH SCORE 125658.175
AT ITER 4290 NEW BEST:: SOT 246785 SOS 134163 HAS SOPS 134163 HAS SOUS 125485 HAS SOUPS 125485 WITH SCORE 125619.163
AT ITER 4329 NEW BEST:: SOT 246738 SOS 134116 HAS SOPS 134116 HAS SOUS 125435 HAS SOUPS 125435 WITH SCORE 125569.116
AT ITER 4391 NEW BEST:: SOT 246983 SOS 133511 HAS SOPS 133511 HAS SOUS 125255 HAS SOUPS 125255 WITH SCORE 125388.511
AT ITER 4412 NEW BEST:: SOT 247113 SOS 133381 HAS SOPS 133381 HAS SOUS 125236 HAS SOUPS 125236 WITH SCORE 125369.381
AT ITER 4495 NEW BEST:: SOT 247113 SOS 133376 HAS SOPS 133376 HAS SOUS 125231 HAS SOUPS 125231 WITH SCORE 125364.376
AT ITER 4509 NEW BEST:: SOT 247113 SOS 133376 HAS SOPS 133376 HAS SOUS 125225 HAS SOUPS 125225 WITH SCORE 125358.376
AT ITER 4639 NEW BEST:: SOT 247117 SOS 133362 HAS SOPS 133362 HAS SOUS 125211 HAS SOUPS 125211 WITH SCORE 125344.362
AT ITER 4649 NEW BEST:: SOT 247117 SOS 133361 HAS SOPS 133361 HAS SOUS 125210 HAS SOUPS 125210 WITH SCORE 125343.361
AT ITER 4667 NEW BEST:: SOT 247224 SOS 131968 HAS SOPS 131968 HAS SOUS 124614 HAS SOUPS 124614 WITH SCORE 124745.968
AT ITER 4675 NEW BEST:: SOT 247224 SOS 130889 HAS SOPS 130889 HAS SOUS 124142 HAS SOUPS 124142 WITH SCORE 124272.889
AT ITER 4686 NEW BEST:: SOT 247206 SOS 130861 HAS SOPS 130861 HAS SOUS 124124 HAS SOUPS 124124 WITH SCORE 124254.861
AT ITER 4713 NEW BEST:: SOT 247206 SOS 130719 HAS SOPS 130719 HAS SOUS 123982 HAS SOUPS 123982 WITH SCORE 124112.719
AT ITER 4746 NEW BEST:: SOT 247206 SOS 130718 HAS SOPS 130718 HAS SOUS 123981 HAS SOUPS 123981 WITH SCORE 124111.718
AT ITER 4750 NEW BEST:: SOT 247375 SOS 130549 HAS SOPS 130549 HAS SOUS 123981 HAS SOUPS 123981 WITH SCORE 124111.549
AT ITER 4758 NEW BEST:: SOT 247351 SOS 130529 HAS SOPS 130529 HAS SOUS 123961 HAS SOUPS 123961 WITH SCORE 124091.529
AT ITER 4777 NEW BEST:: SOT 247351 SOS 130379 HAS SOPS 130379 HAS SOUS 123886 HAS SOUPS 123886 WITH SCORE 124016.379
AT ITER 4778 NEW BEST:: SOT 247028 SOS 130363 HAS SOPS 130363 HAS SOUS 123878 HAS SOUPS 123878 WITH SCORE 124008.363
AT ITER 4795 NEW BEST:: SOT 247421 SOS 130303 HAS SOPS 130303 HAS SOUS 123818 HAS SOUPS 123818 WITH SCORE 123948.303
AT ITER 4869 NEW BEST:: SOT 247424 SOS 130299 HAS SOPS 130299 HAS SOUS 123814 HAS SOUPS 123814 WITH SCORE 123944.299
AT ITER 4922 NEW BEST:: SOT 247424 SOS 130277 HAS SOPS 130277 HAS SOUS 123792 HAS SOUPS 123792 WITH SCORE 123922.277
AT ITER 4966 NEW BEST:: SOT 247424 SOS 130274 HAS SOPS 130274 HAS SOUS 123789 HAS SOUPS 123789 WITH SCORE 123919.274
AT ITER 4990 NEW BEST:: SOT 247416 SOS 130266 HAS SOPS 130266 HAS SOUS 123781 HAS SOUPS 123781 WITH SCORE 123911.266
AT ITER 5020 NEW BEST:: SOT 247407 SOS 130257 HAS SOPS 130257 HAS SOUS 123772 HAS SOUPS 123772 WITH SCORE 123902.257
AT ITER 5043 NEW BEST:: SOT 247457 SOS 130125 HAS SOPS 130125 HAS SOUS 123640 HAS SOUPS 123640 WITH SCORE 123770.125
AT ITER 5080 NEW BEST:: SOT 247404 SOS 130072 HAS SOPS 130072 HAS SOUS 123587 HAS SOUPS 123587 WITH SCORE 123717.072
AT ITER 5134 NEW BEST:: SOT 247401 SOS 130071 HAS SOPS 130071 HAS SOUS 123586 HAS SOUPS 123586 WITH SCORE 123716.071
AT ITER 5135 NEW BEST:: SOT 247392 SOS 130062 HAS SOPS 130062 HAS SOUS 123577 HAS SOUPS 123577 WITH SCORE 123707.062
AT ITER 5214 NEW BEST:: SOT 247370 SOS 130040 HAS SOPS 130040 HAS SOUS 123555 HAS SOUPS 123555 WITH SCORE 123685.04
AT ITER 5333 NEW BEST:: SOT 248135 SOS 130007 HAS SOPS 130007 HAS SOUS 123522 HAS SOUPS 123522 WITH SCORE 123652.007
AT ITER 5372 NEW BEST:: SOT 248135 SOS 129618 HAS SOPS 129618 HAS SOUS 123521 HAS SOUPS 123521 WITH SCORE 123650.618
AT ITER 5605 NEW BEST:: SOT 248135 SOS 129238 HAS SOPS 129238 HAS SOUS 123141 HAS SOUPS 123141 WITH SCORE 123270.238
AT ITER 5648 NEW BEST:: SOT 248104 SOS 129207 HAS SOPS 129207 HAS SOUS 123110 HAS SOUPS 123110 WITH SCORE 123239.207
AT ITER 5652 NEW BEST:: SOT 248104 SOS 129195 HAS SOPS 129195 HAS SOUS 123098 HAS SOUPS 123098 WITH SCORE 123227.195
AT ITER 5665 NEW BEST:: SOT 248104 SOS 129121 HAS SOPS 129121 HAS SOUS 123024 HAS SOUPS 123024 WITH SCORE 123153.121
AT ITER 5682 NEW BEST:: SOT 248104 SOS 129079 HAS SOPS 129079 HAS SOUS 123003 HAS SOUPS 123003 WITH SCORE 123132.079
AT ITER 5790 NEW BEST:: SOT 248141 SOS 129096 HAS SOPS 129096 HAS SOUS 122983 HAS SOUPS 122983 WITH SCORE 123112.096
AT ITER 5810 NEW BEST:: SOT 248138 SOS 129083 HAS SOPS 129083 HAS SOUS 122970 HAS SOUPS 122970 WITH SCORE 123099.083
AT ITER 5841 NEW BEST:: SOT 248267 SOS 128954 HAS SOPS 128954 HAS SOUS 122970 HAS SOUPS 122970 WITH SCORE 123098.954
AT ITER 5892 NEW BEST:: SOT 248267 SOS 128953 HAS SOPS 128953 HAS SOUS 122969 HAS SOUPS 122969 WITH SCORE 123097.953
AT ITER 5995 NEW BEST:: SOT 248453 SOS 128934 HAS SOPS 128934 HAS SOUS 122950 HAS SOUPS 122950 WITH SCORE 123078.934
AT ITER 6070 NEW BEST:: SOT 248567 SOS 128893 HAS SOPS 128893 HAS SOUS 122909 HAS SOUPS 122909 WITH SCORE 123037.893
AT ITER 6115 NEW BEST:: SOT 248567 SOS 128842 HAS SOPS 128842 HAS SOUS 122858 HAS SOUPS 122858 WITH SCORE 122986.842
AT ITER 6197 NEW BEST:: SOT 248526 SOS 128801 HAS SOPS 128801 HAS SOUS 122817 HAS SOUPS 122817 WITH SCORE 122945.801
AT ITER 6204 NEW BEST:: SOT 248526 SOS 128783 HAS SOPS 128783 HAS SOUS 122799 HAS SOUPS 122799 WITH SCORE 122927.783
AT ITER 6297 NEW BEST:: SOT 248526 SOS 128778 HAS SOPS 128778 HAS SOUS 122794 HAS SOUPS 122794 WITH SCORE 122922.778
AT ITER 6322 NEW BEST:: SOT 248526 SOS 128778 HAS SOPS 128778 HAS SOUS 122793 HAS SOUPS 122793 WITH SCORE 122921.778
AT ITER 6325 NEW BEST:: SOT 248525 SOS 128777 HAS SOPS 128777 HAS SOUS 122792 HAS SOUPS 122792 WITH SCORE 122920.777
AT ITER 6339 NEW BEST:: SOT 248650 SOS 128574 HAS SOPS 128574 HAS SOUS 122589 HAS SOUPS 122589 WITH SCORE 122717.574
AT ITER 6348 NEW BEST:: SOT 248770 SOS 128454 HAS SOPS 128454 HAS SOUS 122577 HAS SOUPS 122577 WITH SCORE 122705.454
AT ITER 6471 NEW BEST:: SOT 248770 SOS 128435 HAS SOPS 128435 HAS SOUS 122558 HAS SOUPS 122558 WITH SCORE 122686.435
AT ITER 6513 NEW BEST:: SOT 248776 SOS 128425 HAS SOPS 128425 HAS SOUS 122548 HAS SOUPS 122548 WITH SCORE 122676.425
AT ITER 6532 NEW BEST:: SOT 248733 SOS 128382 HAS SOPS 128382 HAS SOUS 122505 HAS SOUPS 122505 WITH SCORE 122633.382
AT ITER 6572 NEW BEST:: SOT 248757 SOS 128358 HAS SOPS 128358 HAS SOUS 122505 HAS SOUPS 122505 WITH SCORE 122633.358
AT ITER 6579 NEW BEST:: SOT 248756 SOS 128357 HAS SOPS 128357 HAS SOUS 122504 HAS SOUPS 122504 WITH SCORE 122632.357
AT ITER 6612 NEW BEST:: SOT 248756 SOS 128335 HAS SOPS 128335 HAS SOUS 122460 HAS SOUPS 122460 WITH SCORE 122588.335
AT ITER 6694 NEW BEST:: SOT 248972 SOS 127797 HAS SOPS 127797 HAS SOUS 122299 HAS SOUPS 122299 WITH SCORE 122426.797
AT ITER 6710 NEW BEST:: SOT 248953 SOS 127778 HAS SOPS 127778 HAS SOUS 122280 HAS SOUPS 122280 WITH SCORE 122407.778
AT ITER 6757 NEW BEST:: SOT 248953 SOS 127777 HAS SOPS 127777 HAS SOUS 122279 HAS SOUPS 122279 WITH SCORE 122406.777
AT ITER 6762 NEW BEST:: SOT 249000 SOS 127808 HAS SOPS 127808 HAS SOUS 122267 HAS SOUPS 122267 WITH SCORE 122394.808
AT ITER 6768 NEW BEST:: SOT 248865 SOS 127801 HAS SOPS 127801 HAS SOUS 122260 HAS SOUPS 122260 WITH SCORE 122387.801
AT ITER 6857 NEW BEST:: SOT 248466 SOS 127795 HAS SOPS 127795 HAS SOUS 122254 HAS SOUPS 122254 WITH SCORE 122381.795
AT ITER 6908 NEW BEST:: SOT 248614 SOS 127609 HAS SOPS 127609 HAS SOUS 122235 HAS SOUPS 122235 WITH SCORE 122362.609
AT ITER 7023 NEW BEST:: SOT 248614 SOS 127530 HAS SOPS 127530 HAS SOUS 122156 HAS SOUPS 122156 WITH SCORE 122283.53
AT ITER 7026 NEW BEST:: SOT 248614 SOS 127427 HAS SOPS 127427 HAS SOUS 122053 HAS SOUPS 122053 WITH SCORE 122180.427
AT ITER 7097 NEW BEST:: SOT 248669 SOS 127407 HAS SOPS 127407 HAS SOUS 122053 HAS SOUPS 122053 WITH SCORE 122180.407
AT ITER 7114 NEW BEST:: SOT 248657 SOS 127395 HAS SOPS 127395 HAS SOUS 122041 HAS SOUPS 122041 WITH SCORE 122168.395
AT ITER 7240 NEW BEST:: SOT 248657 SOS 127394 HAS SOPS 127394 HAS SOUS 122040 HAS SOUPS 122040 WITH SCORE 122167.394
AT ITER 7245 NEW BEST:: SOT 248724 SOS 127441 HAS SOPS 127441 HAS SOUS 122019 HAS SOUPS 122019 WITH SCORE 122146.441
AT ITER 7266 NEW BEST:: SOT 248722 SOS 127439 HAS SOPS 127439 HAS SOUS 122017 HAS SOUPS 122017 WITH SCORE 122144.439
AT ITER 7268 NEW BEST:: SOT 248722 SOS 127438 HAS SOPS 127438 HAS SOUS 122016 HAS SOUPS 122016 WITH SCORE 122143.438
AT ITER 7290 NEW BEST:: SOT 248796 SOS 127496 HAS SOPS 127496 HAS SOUS 122000 HAS SOUPS 122000 WITH SCORE 122127.496
AT ITER 7328 NEW BEST:: SOT 248796 SOS 127431 HAS SOPS 127431 HAS SOUS 121935 HAS SOUPS 121935 WITH SCORE 122062.431
AT ITER 7366 NEW BEST:: SOT 248941 SOS 127264 HAS SOPS 127264 HAS SOUS 121924 HAS SOUPS 121924 WITH SCORE 122051.264
AT ITER 7540 NEW BEST:: SOT 248934 SOS 127257 HAS SOPS 127257 HAS SOUS 121917 HAS SOUPS 121917 WITH SCORE 122044.257
AT ITER 7602 NEW BEST:: SOT 248960 SOS 127231 HAS SOPS 127231 HAS SOUS 121917 HAS SOUPS 121917 WITH SCORE 122044.231
AT ITER 7775 NEW BEST:: SOT 248960 SOS 126829 HAS SOPS 126829 HAS SOUS 121908 HAS SOUPS 121908 WITH SCORE 122034.829
AT ITER 7800 NEW BEST:: SOT 248884 SOS 126753 HAS SOPS 126753 HAS SOUS 121859 HAS SOUPS 121859 WITH SCORE 121985.753
AT ITER 7801 NEW BEST:: SOT 248884 SOS 126669 HAS SOPS 126669 HAS SOUS 121775 HAS SOUPS 121775 WITH SCORE 121901.669
AT ITER 7833 NEW BEST:: SOT 248888 SOS 126665 HAS SOPS 126665 HAS SOUS 121775 HAS SOUPS 121775 WITH SCORE 121901.665
AT ITER 7853 NEW BEST:: SOT 248887 SOS 126664 HAS SOPS 126664 HAS SOUS 121774 HAS SOUPS 121774 WITH SCORE 121900.664
AT ITER 7864 NEW BEST:: SOT 248887 SOS 126763 HAS SOPS 126763 HAS SOUS 121761 HAS SOUPS 121761 WITH SCORE 121887.763
AT ITER 7880 NEW BEST:: SOT 248945 SOS 126673 HAS SOPS 126673 HAS SOUS 121748 HAS SOUPS 121748 WITH SCORE 121874.673
AT ITER 7969 NEW BEST:: SOT 248945 SOS 126353 HAS SOPS 126353 HAS SOUS 121428 HAS SOUPS 121428 WITH SCORE 121554.353
AT ITER 8024 NEW BEST:: SOT 249009 SOS 126289 HAS SOPS 126289 HAS SOUS 121428 HAS SOUPS 121428 WITH SCORE 121554.289
AT ITER 8057 NEW BEST:: SOT 249017 SOS 126285 HAS SOPS 126285 HAS SOUS 121424 HAS SOUPS 121424 WITH SCORE 121550.285
AT ITER 8076 NEW BEST:: SOT 248978 SOS 126246 HAS SOPS 126246 HAS SOUS 121385 HAS SOUPS 121385 WITH SCORE 121511.246
AT ITER 8132 NEW BEST:: SOT 248928 SOS 126196 HAS SOPS 126196 HAS SOUS 121335 HAS SOUPS 121335 WITH SCORE 121461.196
AT ITER 8161 NEW BEST:: SOT 248925 SOS 126193 HAS SOPS 126193 HAS SOUS 121332 HAS SOUPS 121332 WITH SCORE 121458.193
AT ITER 8213 NEW BEST:: SOT 248925 SOS 126193 HAS SOPS 126193 HAS SOUS 121331 HAS SOUPS 121331 WITH SCORE 121457.193
AT ITER 8224 NEW BEST:: SOT 248925 SOS 126193 HAS SOPS 126193 HAS SOUS 121330 HAS SOUPS 121330 WITH SCORE 121456.193
AT ITER 8350 NEW BEST:: SOT 248925 SOS 126138 HAS SOPS 126138 HAS SOUS 121275 HAS SOUPS 121275 WITH SCORE 121401.138
AT ITER 8409 NEW BEST:: SOT 248925 SOS 126137 HAS SOPS 126137 HAS SOUS 121274 HAS SOUPS 121274 WITH SCORE 121400.137
AT ITER 8438 NEW BEST:: SOT 248925 SOS 126132 HAS SOPS 126132 HAS SOUS 121269 HAS SOUPS 121269 WITH SCORE 121395.132
AT ITER 8524 NEW BEST:: SOT 248924 SOS 126071 HAS SOPS 126071 HAS SOUS 121208 HAS SOUPS 121208 WITH SCORE 121334.071
AT ITER 8528 NEW BEST:: SOT 248923 SOS 126070 HAS SOPS 126070 HAS SOUS 121207 HAS SOUPS 121207 WITH SCORE 121333.07
AT ITER 8612 NEW BEST:: SOT 248923 SOS 126042 HAS SOPS 126042 HAS SOUS 121179 HAS SOUPS 121179 WITH SCORE 121305.042
AT ITER 8632 NEW BEST:: SOT 248923 SOS 125960 HAS SOPS 125960 HAS SOUS 121097 HAS SOUPS 121097 WITH SCORE 121222.96
AT ITER 8672 NEW BEST:: SOT 248884 SOS 125921 HAS SOPS 125921 HAS SOUS 121058 HAS SOUPS 121058 WITH SCORE 121183.921
AT ITER 8715 NEW BEST:: SOT 248869 SOS 125913 HAS SOPS 125913 HAS SOUS 121050 HAS SOUPS 121050 WITH SCORE 121175.913
AT ITER 8802 NEW BEST:: SOT 248869 SOS 125910 HAS SOPS 125910 HAS SOUS 121047 HAS SOUPS 121047 WITH SCORE 121172.91
AT ITER 8922 NEW BEST:: SOT 248877 SOS 125918 HAS SOPS 125918 HAS SOUS 121004 HAS SOUPS 121004 WITH SCORE 121129.918
AT ITER 8966 NEW BEST:: SOT 249077 SOS 125906 HAS SOPS 125906 HAS SOUS 120992 HAS SOUPS 120992 WITH SCORE 121117.906
AT ITER 9016 NEW BEST:: SOT 249077 SOS 125889 HAS SOPS 125889 HAS SOUS 120958 HAS SOUPS 120958 WITH SCORE 121083.889
AT ITER 9026 NEW BEST:: SOT 249077 SOS 125888 HAS SOPS 125888 HAS SOUS 120957 HAS SOUPS 120957 WITH SCORE 121082.888
AT ITER 9050 NEW BEST:: SOT 249125 SOS 125763 HAS SOPS 125763 HAS SOUS 120934 HAS SOUPS 120934 WITH SCORE 121059.763
AT ITER 9073 NEW BEST:: SOT 249247 SOS 125684 HAS SOPS 125684 HAS SOUS 120934 HAS SOUPS 120934 WITH SCORE 121059.684
AT ITER 9112 NEW BEST:: SOT 249448 SOS 125649 HAS SOPS 125649 HAS SOUS 120934 HAS SOUPS 120934 WITH SCORE 121059.649
AT ITER 9200 NEW BEST:: SOT 249493 SOS 125641 HAS SOPS 125641 HAS SOUS 120926 HAS SOUPS 120926 WITH SCORE 121051.641
AT ITER 9471 NEW BEST:: SOT 249660 SOS 125474 HAS SOPS 125474 HAS SOUS 120926 HAS SOUPS 120926 WITH SCORE 121051.474
AT ITER 9473 NEW BEST:: SOT 249660 SOS 125464 HAS SOPS 125464 HAS SOUS 120916 HAS SOUPS 120916 WITH SCORE 121041.464
AT ITER 9480 NEW BEST:: SOT 249819 SOS 125255 HAS SOPS 125255 HAS SOUS 120707 HAS SOUPS 120707 WITH SCORE 120832.255
AT ITER 9579 NEW BEST:: SOT 250014 SOS 125156 HAS SOPS 125156 HAS SOUS 120707 HAS SOUPS 120707 WITH SCORE 120832.156
AT ITER 9641 NEW BEST:: SOT 250014 SOS 124949 HAS SOPS 124949 HAS SOUS 120500 HAS SOUPS 120500 WITH SCORE 120624.949
AT ITER 9813 NEW BEST:: SOT 250014 SOS 124948 HAS SOPS 124948 HAS SOUS 120499 HAS SOUPS 120499 WITH SCORE 120623.948
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 159140 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16284796 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="QuasiCertifProtocol-COL-18"
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 QuasiCertifProtocol-COL-18, 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 r291-tall-167873943400832"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-COL-18.tgz
mv QuasiCertifProtocol-COL-18 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 ;