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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 6.2K Feb 26 01:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 01:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 01:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 01:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 01:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 01:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 01:30 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 104K 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 1678820483153

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-22
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 19:01:26] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 19:01:26] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 19:01:26] [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 19:01:26] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 19:01:27] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 840 ms
[2023-03-14 19:01:27] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 1966 PT places and 356.0 transition bindings in 39 ms.
[2023-03-14 19:01:27] [INFO ] Unfolded HLPN to a Petri net with 1966 places and 356 transitions 4323 arcs in 50 ms.
[2023-03-14 19:01:27] [INFO ] Unfolded 0 HLPN properties in 1 ms.
[2023-03-14 19:01:27] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 1966 places, 356 transitions and 4323 arcs took 32 ms.
Total runtime 1198 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), instance 22
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: 1966 places, 356 transitions, 4323 arcs.
AT ITER 0 NEW BEST:: SOT 394537 SOS 301949 HAS SOPS 301949 HAS SOUS 247578 HAS SOUPS 247578 WITH SCORE 247879.949
AT ITER 43 NEW BEST:: SOT 394537 SOS 301536 HAS SOPS 301536 HAS SOUS 246696 HAS SOUPS 246696 WITH SCORE 246997.536
AT ITER 87 NEW BEST:: SOT 394537 SOS 301491 HAS SOPS 301491 HAS SOUS 246517 HAS SOUPS 246517 WITH SCORE 246818.491
AT ITER 90 NEW BEST:: SOT 394922 SOS 301325 HAS SOPS 301325 HAS SOUS 245738 HAS SOUPS 245738 WITH SCORE 246039.325
AT ITER 114 NEW BEST:: SOT 394853 SOS 301276 HAS SOPS 301276 HAS SOUS 245671 HAS SOUPS 245671 WITH SCORE 245972.276
AT ITER 120 NEW BEST:: SOT 394853 SOS 299015 HAS SOPS 299015 HAS SOUS 244548 HAS SOUPS 244548 WITH SCORE 244847.015
AT ITER 173 NEW BEST:: SOT 394853 SOS 298254 HAS SOPS 298254 HAS SOUS 243809 HAS SOUPS 243809 WITH SCORE 244107.254
AT ITER 212 NEW BEST:: SOT 394853 SOS 298232 HAS SOPS 298232 HAS SOUS 243694 HAS SOUPS 243694 WITH SCORE 243992.232
AT ITER 217 NEW BEST:: SOT 394853 SOS 297704 HAS SOPS 297704 HAS SOUS 243188 HAS SOUPS 243188 WITH SCORE 243485.704
AT ITER 229 NEW BEST:: SOT 395435 SOS 297252 HAS SOPS 297252 HAS SOUS 241804 HAS SOUPS 241804 WITH SCORE 242101.252
AT ITER 234 NEW BEST:: SOT 395971 SOS 296402 HAS SOPS 296402 HAS SOUS 241394 HAS SOUPS 241394 WITH SCORE 241690.402
AT ITER 239 NEW BEST:: SOT 395971 SOS 295304 HAS SOPS 295304 HAS SOUS 240866 HAS SOUPS 240866 WITH SCORE 241161.304
AT ITER 240 NEW BEST:: SOT 395982 SOS 295295 HAS SOPS 295295 HAS SOUS 240857 HAS SOUPS 240857 WITH SCORE 241152.295
AT ITER 243 NEW BEST:: SOT 396393 SOS 294579 HAS SOPS 294579 HAS SOUS 240730 HAS SOUPS 240730 WITH SCORE 241024.579
AT ITER 307 NEW BEST:: SOT 396392 SOS 294578 HAS SOPS 294578 HAS SOUS 240729 HAS SOUPS 240729 WITH SCORE 241023.578
AT ITER 381 NEW BEST:: SOT 396732 SOS 294064 HAS SOPS 294064 HAS SOUS 240642 HAS SOUPS 240642 WITH SCORE 240936.064
AT ITER 391 NEW BEST:: SOT 397314 SOS 293544 HAS SOPS 293544 HAS SOUS 239124 HAS SOUPS 239124 WITH SCORE 239417.544
AT ITER 409 NEW BEST:: SOT 398030 SOS 293391 HAS SOPS 293391 HAS SOUS 238149 HAS SOUPS 238149 WITH SCORE 238442.391
AT ITER 448 NEW BEST:: SOT 398087 SOS 292923 HAS SOPS 292923 HAS SOUS 237145 HAS SOUPS 237145 WITH SCORE 237437.923
AT ITER 464 NEW BEST:: SOT 398065 SOS 292919 HAS SOPS 292919 HAS SOUS 237141 HAS SOUPS 237141 WITH SCORE 237433.919
AT ITER 492 NEW BEST:: SOT 398530 SOS 292451 HAS SOPS 292451 HAS SOUS 236673 HAS SOUPS 236673 WITH SCORE 236965.451
AT ITER 500 NEW BEST:: SOT 398502 SOS 292423 HAS SOPS 292423 HAS SOUS 236645 HAS SOUPS 236645 WITH SCORE 236937.423
AT ITER 512 NEW BEST:: SOT 398561 SOS 292179 HAS SOPS 292179 HAS SOUS 236136 HAS SOUPS 236136 WITH SCORE 236428.179
AT ITER 516 NEW BEST:: SOT 398561 SOS 292179 HAS SOPS 292179 HAS SOUS 236135 HAS SOUPS 236135 WITH SCORE 236427.179
AT ITER 538 NEW BEST:: SOT 398589 SOS 292181 HAS SOPS 292181 HAS SOUS 236127 HAS SOUPS 236127 WITH SCORE 236419.181
AT ITER 557 NEW BEST:: SOT 398589 SOS 292172 HAS SOPS 292172 HAS SOUS 236118 HAS SOUPS 236118 WITH SCORE 236410.172
AT ITER 633 NEW BEST:: SOT 398589 SOS 292149 HAS SOPS 292149 HAS SOUS 236095 HAS SOUPS 236095 WITH SCORE 236387.149
AT ITER 674 NEW BEST:: SOT 398621 SOS 291289 HAS SOPS 291289 HAS SOUS 235311 HAS SOUPS 235311 WITH SCORE 235602.289
AT ITER 744 NEW BEST:: SOT 398621 SOS 291044 HAS SOPS 291044 HAS SOUS 235066 HAS SOUPS 235066 WITH SCORE 235357.044
AT ITER 795 NEW BEST:: SOT 398539 SOS 291018 HAS SOPS 291018 HAS SOUS 235040 HAS SOUPS 235040 WITH SCORE 235331.018
AT ITER 815 NEW BEST:: SOT 398539 SOS 290992 HAS SOPS 290992 HAS SOUS 235025 HAS SOUPS 235025 WITH SCORE 235315.992
AT ITER 836 NEW BEST:: SOT 398539 SOS 290978 HAS SOPS 290978 HAS SOUS 235011 HAS SOUPS 235011 WITH SCORE 235301.978
AT ITER 840 NEW BEST:: SOT 398539 SOS 290976 HAS SOPS 290976 HAS SOUS 235009 HAS SOUPS 235009 WITH SCORE 235299.976
AT ITER 848 NEW BEST:: SOT 398539 SOS 290955 HAS SOPS 290955 HAS SOUS 234521 HAS SOUPS 234521 WITH SCORE 234811.955
AT ITER 849 NEW BEST:: SOT 399101 SOS 290921 HAS SOPS 290921 HAS SOUS 234487 HAS SOUPS 234487 WITH SCORE 234777.921
AT ITER 892 NEW BEST:: SOT 399101 SOS 290566 HAS SOPS 290566 HAS SOUS 234298 HAS SOUPS 234298 WITH SCORE 234588.566
AT ITER 954 NEW BEST:: SOT 399101 SOS 290364 HAS SOPS 290364 HAS SOUS 234188 HAS SOUPS 234188 WITH SCORE 234478.364
AT ITER 967 NEW BEST:: SOT 399078 SOS 290111 HAS SOPS 290111 HAS SOUS 234050 HAS SOUPS 234050 WITH SCORE 234340.111
AT ITER 1017 NEW BEST:: SOT 399717 SOS 289426 HAS SOPS 289426 HAS SOUS 234027 HAS SOUPS 234027 WITH SCORE 234316.426
AT ITER 1029 NEW BEST:: SOT 399717 SOS 289403 HAS SOPS 289403 HAS SOUS 234004 HAS SOUPS 234004 WITH SCORE 234293.403
AT ITER 1119 NEW BEST:: SOT 399717 SOS 287586 HAS SOPS 287586 HAS SOUS 232973 HAS SOUPS 232973 WITH SCORE 233260.586
AT ITER 1154 NEW BEST:: SOT 399401 SOS 286974 HAS SOPS 286974 HAS SOUS 232649 HAS SOUPS 232649 WITH SCORE 232935.974
AT ITER 1209 NEW BEST:: SOT 399381 SOS 286954 HAS SOPS 286954 HAS SOUS 232629 HAS SOUPS 232629 WITH SCORE 232915.954
AT ITER 1212 NEW BEST:: SOT 400243 SOS 285389 HAS SOPS 285389 HAS SOUS 232235 HAS SOUPS 232235 WITH SCORE 232520.389
AT ITER 1243 NEW BEST:: SOT 400243 SOS 285388 HAS SOPS 285388 HAS SOUS 232234 HAS SOUPS 232234 WITH SCORE 232519.388
AT ITER 1281 NEW BEST:: SOT 400243 SOS 284582 HAS SOPS 284582 HAS SOUS 231725 HAS SOUPS 231725 WITH SCORE 232009.582
AT ITER 1314 NEW BEST:: SOT 400222 SOS 284540 HAS SOPS 284540 HAS SOUS 231704 HAS SOUPS 231704 WITH SCORE 231988.54
AT ITER 1317 NEW BEST:: SOT 400248 SOS 283486 HAS SOPS 283486 HAS SOUS 231190 HAS SOUPS 231190 WITH SCORE 231473.486
AT ITER 1332 NEW BEST:: SOT 400347 SOS 283585 HAS SOPS 283585 HAS SOUS 231146 HAS SOUPS 231146 WITH SCORE 231429.585
AT ITER 1465 NEW BEST:: SOT 400722 SOS 283100 HAS SOPS 283100 HAS SOUS 230210 HAS SOUPS 230210 WITH SCORE 230493.1
AT ITER 1504 NEW BEST:: SOT 401088 SOS 283098 HAS SOPS 283098 HAS SOUS 230208 HAS SOUPS 230208 WITH SCORE 230491.098
AT ITER 1533 NEW BEST:: SOT 401307 SOS 283075 HAS SOPS 283075 HAS SOUS 230185 HAS SOUPS 230185 WITH SCORE 230468.075
AT ITER 1586 NEW BEST:: SOT 401307 SOS 282797 HAS SOPS 282797 HAS SOUS 230069 HAS SOUPS 230069 WITH SCORE 230351.797
AT ITER 1587 NEW BEST:: SOT 401541 SOS 282774 HAS SOPS 282774 HAS SOUS 230046 HAS SOUPS 230046 WITH SCORE 230328.774
AT ITER 1589 NEW BEST:: SOT 401541 SOS 282124 HAS SOPS 282124 HAS SOUS 229418 HAS SOUPS 229418 WITH SCORE 229700.124
AT ITER 1592 NEW BEST:: SOT 402111 SOS 282416 HAS SOPS 282416 HAS SOUS 229092 HAS SOUPS 229092 WITH SCORE 229374.416
AT ITER 1650 NEW BEST:: SOT 402111 SOS 281944 HAS SOPS 281944 HAS SOUS 228869 HAS SOUPS 228869 WITH SCORE 229150.944
AT ITER 1701 NEW BEST:: SOT 401941 SOS 281925 HAS SOPS 281925 HAS SOUS 228850 HAS SOUPS 228850 WITH SCORE 229131.925
AT ITER 1707 NEW BEST:: SOT 402568 SOS 281881 HAS SOPS 281881 HAS SOUS 228817 HAS SOUPS 228817 WITH SCORE 229098.881
AT ITER 1773 NEW BEST:: SOT 402784 SOS 281858 HAS SOPS 281858 HAS SOUS 228794 HAS SOUPS 228794 WITH SCORE 229075.858
AT ITER 1788 NEW BEST:: SOT 402784 SOS 281433 HAS SOPS 281433 HAS SOUS 228351 HAS SOUPS 228351 WITH SCORE 228632.433
AT ITER 1857 NEW BEST:: SOT 402986 SOS 280987 HAS SOPS 280987 HAS SOUS 227905 HAS SOUPS 227905 WITH SCORE 228185.987
AT ITER 1955 NEW BEST:: SOT 402919 SOS 280938 HAS SOPS 280938 HAS SOUS 227856 HAS SOUPS 227856 WITH SCORE 228136.938
AT ITER 1957 NEW BEST:: SOT 402919 SOS 265714 HAS SOPS 265714 HAS SOUS 227350 HAS SOUPS 227350 WITH SCORE 227615.714
AT ITER 1993 NEW BEST:: SOT 403176 SOS 265374 HAS SOPS 265374 HAS SOUS 226754 HAS SOUPS 226754 WITH SCORE 227019.374
AT ITER 2052 NEW BEST:: SOT 403176 SOS 264691 HAS SOPS 264691 HAS SOUS 226439 HAS SOUPS 226439 WITH SCORE 226703.691
AT ITER 2072 NEW BEST:: SOT 403168 SOS 264683 HAS SOPS 264683 HAS SOUS 226431 HAS SOUPS 226431 WITH SCORE 226695.683
AT ITER 2085 NEW BEST:: SOT 403145 SOS 264546 HAS SOPS 264546 HAS SOUS 226407 HAS SOUPS 226407 WITH SCORE 226671.546
AT ITER 2096 NEW BEST:: SOT 403145 SOS 264545 HAS SOPS 264545 HAS SOUS 226406 HAS SOUPS 226406 WITH SCORE 226670.545
AT ITER 2102 NEW BEST:: SOT 403144 SOS 264544 HAS SOPS 264544 HAS SOUS 226405 HAS SOUPS 226405 WITH SCORE 226669.544
AT ITER 2129 NEW BEST:: SOT 403193 SOS 264544 HAS SOPS 264544 HAS SOUS 226379 HAS SOUPS 226379 WITH SCORE 226643.544
AT ITER 2140 NEW BEST:: SOT 403223 SOS 264178 HAS SOPS 264178 HAS SOUS 226303 HAS SOUPS 226303 WITH SCORE 226567.178
AT ITER 2164 NEW BEST:: SOT 403210 SOS 264166 HAS SOPS 264166 HAS SOUS 226291 HAS SOUPS 226291 WITH SCORE 226555.166
AT ITER 2369 NEW BEST:: SOT 403210 SOS 264152 HAS SOPS 264152 HAS SOUS 226277 HAS SOUPS 226277 WITH SCORE 226541.152
AT ITER 2419 NEW BEST:: SOT 403187 SOS 264129 HAS SOPS 264129 HAS SOUS 226254 HAS SOUPS 226254 WITH SCORE 226518.129
AT ITER 2486 NEW BEST:: SOT 403912 SOS 262465 HAS SOPS 262465 HAS SOUS 225767 HAS SOUPS 225767 WITH SCORE 226029.465
AT ITER 2584 NEW BEST:: SOT 403912 SOS 262432 HAS SOPS 262432 HAS SOUS 225588 HAS SOUPS 225588 WITH SCORE 225850.432
AT ITER 2592 NEW BEST:: SOT 403911 SOS 262431 HAS SOPS 262431 HAS SOUS 225587 HAS SOUPS 225587 WITH SCORE 225849.431
AT ITER 2617 NEW BEST:: SOT 403911 SOS 262227 HAS SOPS 262227 HAS SOUS 225485 HAS SOUPS 225485 WITH SCORE 225747.227
AT ITER 2659 NEW BEST:: SOT 404258 SOS 262101 HAS SOPS 262101 HAS SOUS 225245 HAS SOUPS 225245 WITH SCORE 225507.101
AT ITER 2679 NEW BEST:: SOT 404616 SOS 262459 HAS SOPS 262459 HAS SOUS 225244 HAS SOUPS 225244 WITH SCORE 225506.459
AT ITER 2757 NEW BEST:: SOT 404616 SOS 260297 HAS SOPS 260297 HAS SOUS 225204 HAS SOUPS 225204 WITH SCORE 225464.297
AT ITER 2793 NEW BEST:: SOT 404745 SOS 260274 HAS SOPS 260274 HAS SOUS 225181 HAS SOUPS 225181 WITH SCORE 225441.274
AT ITER 2821 NEW BEST:: SOT 405119 SOS 259900 HAS SOPS 259900 HAS SOUS 225181 HAS SOUPS 225181 WITH SCORE 225440.9
AT ITER 2839 NEW BEST:: SOT 405567 SOS 259699 HAS SOPS 259699 HAS SOUS 224331 HAS SOUPS 224331 WITH SCORE 224590.699
AT ITER 2845 NEW BEST:: SOT 405566 SOS 259698 HAS SOPS 259698 HAS SOUS 224330 HAS SOUPS 224330 WITH SCORE 224589.698
AT ITER 2856 NEW BEST:: SOT 406119 SOS 258701 HAS SOPS 258701 HAS SOUS 223908 HAS SOUPS 223908 WITH SCORE 224166.701
AT ITER 2859 NEW BEST:: SOT 406118 SOS 258689 HAS SOPS 258689 HAS SOUS 223896 HAS SOUPS 223896 WITH SCORE 224154.689
AT ITER 2867 NEW BEST:: SOT 405922 SOS 258685 HAS SOPS 258685 HAS SOUS 223892 HAS SOUPS 223892 WITH SCORE 224150.685
AT ITER 2872 NEW BEST:: SOT 405922 SOS 257768 HAS SOPS 257768 HAS SOUS 223566 HAS SOUPS 223566 WITH SCORE 223823.768
AT ITER 2908 NEW BEST:: SOT 406948 SOS 257676 HAS SOPS 257676 HAS SOUS 223474 HAS SOUPS 223474 WITH SCORE 223731.676
AT ITER 2912 NEW BEST:: SOT 406947 SOS 257675 HAS SOPS 257675 HAS SOUS 223473 HAS SOUPS 223473 WITH SCORE 223730.675
AT ITER 3019 NEW BEST:: SOT 406947 SOS 257675 HAS SOPS 257675 HAS SOUS 223423 HAS SOUPS 223423 WITH SCORE 223680.675
AT ITER 3020 NEW BEST:: SOT 406946 SOS 257674 HAS SOPS 257674 HAS SOUS 223422 HAS SOUPS 223422 WITH SCORE 223679.674
AT ITER 3031 NEW BEST:: SOT 406946 SOS 257244 HAS SOPS 257244 HAS SOUS 222992 HAS SOUPS 222992 WITH SCORE 223249.244
AT ITER 3037 NEW BEST:: SOT 406964 SOS 256999 HAS SOPS 256999 HAS SOUS 222949 HAS SOUPS 222949 WITH SCORE 223205.999
AT ITER 3074 NEW BEST:: SOT 406964 SOS 256998 HAS SOPS 256998 HAS SOUS 222948 HAS SOUPS 222948 WITH SCORE 223204.998
AT ITER 3107 NEW BEST:: SOT 406964 SOS 256688 HAS SOPS 256688 HAS SOUS 222934 HAS SOUPS 222934 WITH SCORE 223190.688
AT ITER 3108 NEW BEST:: SOT 406963 SOS 256687 HAS SOPS 256687 HAS SOUS 222933 HAS SOUPS 222933 WITH SCORE 223189.687
AT ITER 3111 NEW BEST:: SOT 406899 SOS 256625 HAS SOPS 256625 HAS SOUS 222871 HAS SOUPS 222871 WITH SCORE 223127.625
AT ITER 3112 NEW BEST:: SOT 406905 SOS 256573 HAS SOPS 256573 HAS SOUS 222848 HAS SOUPS 222848 WITH SCORE 223104.573
AT ITER 3119 NEW BEST:: SOT 406905 SOS 255902 HAS SOPS 255902 HAS SOUS 222733 HAS SOUPS 222733 WITH SCORE 222988.902
AT ITER 3163 NEW BEST:: SOT 407116 SOS 255901 HAS SOPS 255901 HAS SOUS 222732 HAS SOUPS 222732 WITH SCORE 222987.901
AT ITER 3268 NEW BEST:: SOT 408001 SOS 255016 HAS SOPS 255016 HAS SOUS 222732 HAS SOUPS 222732 WITH SCORE 222987.016
AT ITER 3321 NEW BEST:: SOT 407963 SOS 254978 HAS SOPS 254978 HAS SOUS 222694 HAS SOUPS 222694 WITH SCORE 222948.978
AT ITER 3366 NEW BEST:: SOT 407963 SOS 254972 HAS SOPS 254972 HAS SOUS 222691 HAS SOUPS 222691 WITH SCORE 222945.972
AT ITER 3375 NEW BEST:: SOT 407963 SOS 254655 HAS SOPS 254655 HAS SOUS 222602 HAS SOUPS 222602 WITH SCORE 222856.655
AT ITER 3401 NEW BEST:: SOT 407963 SOS 254411 HAS SOPS 254411 HAS SOUS 222480 HAS SOUPS 222480 WITH SCORE 222734.411
AT ITER 3451 NEW BEST:: SOT 407987 SOS 253913 HAS SOPS 253913 HAS SOUS 222284 HAS SOUPS 222284 WITH SCORE 222537.913
AT ITER 3462 NEW BEST:: SOT 407987 SOS 253883 HAS SOPS 253883 HAS SOUS 222254 HAS SOUPS 222254 WITH SCORE 222507.883
AT ITER 3583 NEW BEST:: SOT 407987 SOS 253866 HAS SOPS 253866 HAS SOUS 222237 HAS SOUPS 222237 WITH SCORE 222490.866
AT ITER 3668 NEW BEST:: SOT 408009 SOS 253405 HAS SOPS 253405 HAS SOUS 221776 HAS SOUPS 221776 WITH SCORE 222029.405
AT ITER 3678 NEW BEST:: SOT 407990 SOS 253386 HAS SOPS 253386 HAS SOUS 221757 HAS SOUPS 221757 WITH SCORE 222010.386
AT ITER 3684 NEW BEST:: SOT 407989 SOS 253385 HAS SOPS 253385 HAS SOUS 221756 HAS SOUPS 221756 WITH SCORE 222009.385
AT ITER 3691 NEW BEST:: SOT 407989 SOS 253352 HAS SOPS 253352 HAS SOUS 221723 HAS SOUPS 221723 WITH SCORE 221976.352
AT ITER 3732 NEW BEST:: SOT 408041 SOS 252993 HAS SOPS 252993 HAS SOUS 221646 HAS SOUPS 221646 WITH SCORE 221898.993
AT ITER 3769 NEW BEST:: SOT 408018 SOS 252954 HAS SOPS 252954 HAS SOUS 221623 HAS SOUPS 221623 WITH SCORE 221875.954
AT ITER 3774 NEW BEST:: SOT 408018 SOS 252479 HAS SOPS 252479 HAS SOUS 221613 HAS SOUPS 221613 WITH SCORE 221865.479
AT ITER 3802 NEW BEST:: SOT 408018 SOS 252265 HAS SOPS 252265 HAS SOUS 221506 HAS SOUPS 221506 WITH SCORE 221758.265
AT ITER 3977 NEW BEST:: SOT 408018 SOS 252263 HAS SOPS 252263 HAS SOUS 221506 HAS SOUPS 221506 WITH SCORE 221758.263
AT ITER 4008 NEW BEST:: SOT 408017 SOS 252262 HAS SOPS 252262 HAS SOUS 221505 HAS SOUPS 221505 WITH SCORE 221757.262
AT ITER 4084 NEW BEST:: SOT 408017 SOS 243338 HAS SOPS 243338 HAS SOUS 221117 HAS SOUPS 221117 WITH SCORE 221360.338
AT ITER 4111 NEW BEST:: SOT 408017 SOS 243315 HAS SOPS 243315 HAS SOUS 221094 HAS SOUPS 221094 WITH SCORE 221337.315
AT ITER 4228 NEW BEST:: SOT 408524 SOS 243919 HAS SOPS 243919 HAS SOUS 221085 HAS SOUPS 221085 WITH SCORE 221328.919
AT ITER 4276 NEW BEST:: SOT 407897 SOS 243941 HAS SOPS 243941 HAS SOUS 220967 HAS SOUPS 220967 WITH SCORE 221210.941
AT ITER 4391 NEW BEST:: SOT 407897 SOS 243617 HAS SOPS 243617 HAS SOUS 220805 HAS SOUPS 220805 WITH SCORE 221048.617
AT ITER 4507 NEW BEST:: SOT 408269 SOS 243241 HAS SOPS 243241 HAS SOUS 220803 HAS SOUPS 220803 WITH SCORE 221046.241
AT ITER 4511 NEW BEST:: SOT 408269 SOS 243173 HAS SOPS 243173 HAS SOUS 220769 HAS SOUPS 220769 WITH SCORE 221012.173
AT ITER 4558 NEW BEST:: SOT 408269 SOS 242741 HAS SOPS 242741 HAS SOUS 220337 HAS SOUPS 220337 WITH SCORE 220579.741
AT ITER 4608 NEW BEST:: SOT 408395 SOS 242569 HAS SOPS 242569 HAS SOUS 220314 HAS SOUPS 220314 WITH SCORE 220556.569
AT ITER 4619 NEW BEST:: SOT 408394 SOS 242568 HAS SOPS 242568 HAS SOUS 220313 HAS SOUPS 220313 WITH SCORE 220555.568
AT ITER 4627 NEW BEST:: SOT 408354 SOS 242528 HAS SOPS 242528 HAS SOUS 220256 HAS SOUPS 220256 WITH SCORE 220498.528
AT ITER 4632 NEW BEST:: SOT 408354 SOS 242537 HAS SOPS 242537 HAS SOUS 220251 HAS SOUPS 220251 WITH SCORE 220493.537
AT ITER 4641 NEW BEST:: SOT 408354 SOS 242524 HAS SOPS 242524 HAS SOUS 220238 HAS SOUPS 220238 WITH SCORE 220480.524
AT ITER 4682 NEW BEST:: SOT 408257 SOS 242427 HAS SOPS 242427 HAS SOUS 220141 HAS SOUPS 220141 WITH SCORE 220383.427
AT ITER 4723 NEW BEST:: SOT 408917 SOS 242152 HAS SOPS 242152 HAS SOUS 220120 HAS SOUPS 220120 WITH SCORE 220362.152
AT ITER 4773 NEW BEST:: SOT 408917 SOS 241954 HAS SOPS 241954 HAS SOUS 219823 HAS SOUPS 219823 WITH SCORE 220064.954
AT ITER 4782 NEW BEST:: SOT 409024 SOS 241847 HAS SOPS 241847 HAS SOUS 219823 HAS SOUPS 219823 WITH SCORE 220064.847
AT ITER 4876 NEW BEST:: SOT 409098 SOS 241894 HAS SOPS 241894 HAS SOUS 219816 HAS SOUPS 219816 WITH SCORE 220057.894
AT ITER 4885 NEW BEST:: SOT 408969 SOS 241834 HAS SOPS 241834 HAS SOUS 219756 HAS SOUPS 219756 WITH SCORE 219997.834
AT ITER 4943 NEW BEST:: SOT 409171 SOS 241236 HAS SOPS 241236 HAS SOUS 219558 HAS SOUPS 219558 WITH SCORE 219799.236
AT ITER 4981 NEW BEST:: SOT 409171 SOS 241222 HAS SOPS 241222 HAS SOUS 219544 HAS SOUPS 219544 WITH SCORE 219785.222
AT ITER 5093 NEW BEST:: SOT 409171 SOS 241106 HAS SOPS 241106 HAS SOUS 219486 HAS SOUPS 219486 WITH SCORE 219727.106
AT ITER 5107 NEW BEST:: SOT 409171 SOS 241083 HAS SOPS 241083 HAS SOUS 219463 HAS SOUPS 219463 WITH SCORE 219704.083
AT ITER 5136 NEW BEST:: SOT 409171 SOS 241062 HAS SOPS 241062 HAS SOUS 219442 HAS SOUPS 219442 WITH SCORE 219683.062
AT ITER 5159 NEW BEST:: SOT 409135 SOS 241026 HAS SOPS 241026 HAS SOUS 219406 HAS SOUPS 219406 WITH SCORE 219647.026
AT ITER 5204 NEW BEST:: SOT 409135 SOS 241025 HAS SOPS 241025 HAS SOUS 219405 HAS SOUPS 219405 WITH SCORE 219646.025
AT ITER 5254 NEW BEST:: SOT 409135 SOS 240935 HAS SOPS 240935 HAS SOUS 219315 HAS SOUPS 219315 WITH SCORE 219555.935
AT ITER 5262 NEW BEST:: SOT 409135 SOS 240933 HAS SOPS 240933 HAS SOUS 219313 HAS SOUPS 219313 WITH SCORE 219553.933
AT ITER 5286 NEW BEST:: SOT 409134 SOS 240932 HAS SOPS 240932 HAS SOUS 219312 HAS SOUPS 219312 WITH SCORE 219552.932
AT ITER 5325 NEW BEST:: SOT 409130 SOS 240886 HAS SOPS 240886 HAS SOUS 219308 HAS SOUPS 219308 WITH SCORE 219548.886
AT ITER 5442 NEW BEST:: SOT 409489 SOS 240215 HAS SOPS 240215 HAS SOUS 218485 HAS SOUPS 218485 WITH SCORE 218725.215
AT ITER 5535 NEW BEST:: SOT 409489 SOS 240325 HAS SOPS 240325 HAS SOUS 218069 HAS SOUPS 218069 WITH SCORE 218309.325
AT ITER 5568 NEW BEST:: SOT 409302 SOS 240323 HAS SOPS 240323 HAS SOUS 218067 HAS SOUPS 218067 WITH SCORE 218307.323
AT ITER 5591 NEW BEST:: SOT 409302 SOS 240321 HAS SOPS 240321 HAS SOUS 218065 HAS SOUPS 218065 WITH SCORE 218305.321
AT ITER 5631 NEW BEST:: SOT 409295 SOS 240314 HAS SOPS 240314 HAS SOUS 218058 HAS SOUPS 218058 WITH SCORE 218298.314
AT ITER 5723 NEW BEST:: SOT 409300 SOS 240305 HAS SOPS 240305 HAS SOUS 218049 HAS SOUPS 218049 WITH SCORE 218289.305
AT ITER 5742 NEW BEST:: SOT 409300 SOS 240296 HAS SOPS 240296 HAS SOUS 218040 HAS SOUPS 218040 WITH SCORE 218280.296
AT ITER 5883 NEW BEST:: SOT 409300 SOS 240288 HAS SOPS 240288 HAS SOUS 218040 HAS SOUPS 218040 WITH SCORE 218280.288
AT ITER 5929 NEW BEST:: SOT 409300 SOS 239581 HAS SOPS 239581 HAS SOUS 217818 HAS SOUPS 217818 WITH SCORE 218057.581
AT ITER 5972 NEW BEST:: SOT 409814 SOS 238057 HAS SOPS 238057 HAS SOUS 217336 HAS SOUPS 217336 WITH SCORE 217574.057
AT ITER 5979 NEW BEST:: SOT 409813 SOS 238056 HAS SOPS 238056 HAS SOUS 217335 HAS SOUPS 217335 WITH SCORE 217573.056
AT ITER 5996 NEW BEST:: SOT 409813 SOS 238051 HAS SOPS 238051 HAS SOUS 217330 HAS SOUPS 217330 WITH SCORE 217568.051
AT ITER 6105 NEW BEST:: SOT 409813 SOS 237835 HAS SOPS 237835 HAS SOUS 217266 HAS SOUPS 217266 WITH SCORE 217503.835
AT ITER 6183 NEW BEST:: SOT 409813 SOS 237835 HAS SOPS 237835 HAS SOUS 217246 HAS SOUPS 217246 WITH SCORE 217483.835
AT ITER 6279 NEW BEST:: SOT 409813 SOS 237813 HAS SOPS 237813 HAS SOUS 217224 HAS SOUPS 217224 WITH SCORE 217461.813
AT ITER 6281 NEW BEST:: SOT 409813 SOS 237743 HAS SOPS 237743 HAS SOUS 217189 HAS SOUPS 217189 WITH SCORE 217426.743
AT ITER 6301 NEW BEST:: SOT 409954 SOS 237716 HAS SOPS 237716 HAS SOUS 217049 HAS SOUPS 217049 WITH SCORE 217286.716
AT ITER 6302 NEW BEST:: SOT 409954 SOS 236383 HAS SOPS 236383 HAS SOUS 217030 HAS SOUPS 217030 WITH SCORE 217266.383
AT ITER 6338 NEW BEST:: SOT 409947 SOS 236376 HAS SOPS 236376 HAS SOUS 217023 HAS SOUPS 217023 WITH SCORE 217259.376
AT ITER 6394 NEW BEST:: SOT 409947 SOS 236371 HAS SOPS 236371 HAS SOUS 217018 HAS SOUPS 217018 WITH SCORE 217254.371
AT ITER 6510 NEW BEST:: SOT 409947 SOS 236348 HAS SOPS 236348 HAS SOUS 216995 HAS SOUPS 216995 WITH SCORE 217231.348
AT ITER 6663 NEW BEST:: SOT 409947 SOS 236328 HAS SOPS 236328 HAS SOUS 216975 HAS SOUPS 216975 WITH SCORE 217211.328
AT ITER 6664 NEW BEST:: SOT 409947 SOS 236354 HAS SOPS 236354 HAS SOUS 216964 HAS SOUPS 216964 WITH SCORE 217200.354
AT ITER 6665 NEW BEST:: SOT 409947 SOS 236352 HAS SOPS 236352 HAS SOUS 216962 HAS SOUPS 216962 WITH SCORE 217198.352
AT ITER 6771 NEW BEST:: SOT 409947 SOS 236225 HAS SOPS 236225 HAS SOUS 216835 HAS SOUPS 216835 WITH SCORE 217071.225
AT ITER 6885 NEW BEST:: SOT 409947 SOS 236256 HAS SOPS 236256 HAS SOUS 216831 HAS SOUPS 216831 WITH SCORE 217067.256
AT ITER 6914 NEW BEST:: SOT 409947 SOS 236256 HAS SOPS 236256 HAS SOUS 216830 HAS SOUPS 216830 WITH SCORE 217066.256
AT ITER 6987 NEW BEST:: SOT 409947 SOS 236241 HAS SOPS 236241 HAS SOUS 216815 HAS SOUPS 216815 WITH SCORE 217051.241
AT ITER 6988 NEW BEST:: SOT 409947 SOS 236241 HAS SOPS 236241 HAS SOUS 216756 HAS SOUPS 216756 WITH SCORE 216992.241
AT ITER 6998 NEW BEST:: SOT 410041 SOS 236335 HAS SOPS 236335 HAS SOUS 216659 HAS SOUPS 216659 WITH SCORE 216895.335
AT ITER 7036 NEW BEST:: SOT 410041 SOS 236340 HAS SOPS 236340 HAS SOUS 216656 HAS SOUPS 216656 WITH SCORE 216892.34
AT ITER 7037 NEW BEST:: SOT 410156 SOS 236021 HAS SOPS 236021 HAS SOUS 216337 HAS SOUPS 216337 WITH SCORE 216573.021
AT ITER 7079 NEW BEST:: SOT 410395 SOS 235858 HAS SOPS 235858 HAS SOUS 216314 HAS SOUPS 216314 WITH SCORE 216549.858
AT ITER 7086 NEW BEST:: SOT 410395 SOS 235858 HAS SOPS 235858 HAS SOUS 216287 HAS SOUPS 216287 WITH SCORE 216522.858
AT ITER 7088 NEW BEST:: SOT 410418 SOS 235878 HAS SOPS 235878 HAS SOUS 216284 HAS SOUPS 216284 WITH SCORE 216519.878
AT ITER 7094 NEW BEST:: SOT 411003 SOS 235247 HAS SOPS 235247 HAS SOUS 216261 HAS SOUPS 216261 WITH SCORE 216496.247
AT ITER 7121 NEW BEST:: SOT 410941 SOS 235206 HAS SOPS 235206 HAS SOUS 216220 HAS SOUPS 216220 WITH SCORE 216455.206
AT ITER 7129 NEW BEST:: SOT 410932 SOS 235206 HAS SOPS 235206 HAS SOUS 216211 HAS SOUPS 216211 WITH SCORE 216446.206
AT ITER 7140 NEW BEST:: SOT 410932 SOS 235204 HAS SOPS 235204 HAS SOUS 216209 HAS SOUPS 216209 WITH SCORE 216444.204
AT ITER 7165 NEW BEST:: SOT 410932 SOS 234814 HAS SOPS 234814 HAS SOUS 216014 HAS SOUPS 216014 WITH SCORE 216248.814
AT ITER 7178 NEW BEST:: SOT 411151 SOS 234675 HAS SOPS 234675 HAS SOUS 215875 HAS SOUPS 215875 WITH SCORE 216109.675
AT ITER 7257 NEW BEST:: SOT 411343 SOS 234437 HAS SOPS 234437 HAS SOUS 215852 HAS SOUPS 215852 WITH SCORE 216086.437
AT ITER 7327 NEW BEST:: SOT 411339 SOS 234435 HAS SOPS 234435 HAS SOUS 215850 HAS SOUPS 215850 WITH SCORE 216084.435
AT ITER 7364 NEW BEST:: SOT 411385 SOS 234412 HAS SOPS 234412 HAS SOUS 215827 HAS SOUPS 215827 WITH SCORE 216061.412
AT ITER 7377 NEW BEST:: SOT 411385 SOS 233834 HAS SOPS 233834 HAS SOUS 215806 HAS SOUPS 215806 WITH SCORE 216039.834
AT ITER 7448 NEW BEST:: SOT 411385 SOS 233833 HAS SOPS 233833 HAS SOUS 215805 HAS SOUPS 215805 WITH SCORE 216038.833
AT ITER 7531 NEW BEST:: SOT 411396 SOS 233822 HAS SOPS 233822 HAS SOUS 215805 HAS SOUPS 215805 WITH SCORE 216038.822
AT ITER 7540 NEW BEST:: SOT 411396 SOS 233822 HAS SOPS 233822 HAS SOUS 215795 HAS SOUPS 215795 WITH SCORE 216028.822
AT ITER 7551 NEW BEST:: SOT 411396 SOS 233822 HAS SOPS 233822 HAS SOUS 215733 HAS SOUPS 215733 WITH SCORE 215966.822
AT ITER 7558 NEW BEST:: SOT 411426 SOS 233792 HAS SOPS 233792 HAS SOUS 215733 HAS SOUPS 215733 WITH SCORE 215966.792
AT ITER 7589 NEW BEST:: SOT 411426 SOS 233788 HAS SOPS 233788 HAS SOUS 215729 HAS SOUPS 215729 WITH SCORE 215962.788
AT ITER 7670 NEW BEST:: SOT 411426 SOS 233695 HAS SOPS 233695 HAS SOUS 215636 HAS SOUPS 215636 WITH SCORE 215869.695
AT ITER 7704 NEW BEST:: SOT 411426 SOS 233674 HAS SOPS 233674 HAS SOUS 215615 HAS SOUPS 215615 WITH SCORE 215848.674
AT ITER 7748 NEW BEST:: SOT 411397 SOS 233645 HAS SOPS 233645 HAS SOUS 215586 HAS SOUPS 215586 WITH SCORE 215819.645
AT ITER 7750 NEW BEST:: SOT 411397 SOS 233641 HAS SOPS 233641 HAS SOUS 215582 HAS SOUPS 215582 WITH SCORE 215815.641
AT ITER 7820 NEW BEST:: SOT 411381 SOS 233625 HAS SOPS 233625 HAS SOUS 215566 HAS SOUPS 215566 WITH SCORE 215799.625
AT ITER 7826 NEW BEST:: SOT 411313 SOS 233557 HAS SOPS 233557 HAS SOUS 215483 HAS SOUPS 215483 WITH SCORE 215716.557
AT ITER 7855 NEW BEST:: SOT 411313 SOS 233531 HAS SOPS 233531 HAS SOUS 215457 HAS SOUPS 215457 WITH SCORE 215690.531
AT ITER 7881 NEW BEST:: SOT 411313 SOS 233316 HAS SOPS 233316 HAS SOUS 215242 HAS SOUPS 215242 WITH SCORE 215475.316
AT ITER 7921 NEW BEST:: SOT 411313 SOS 233194 HAS SOPS 233194 HAS SOUS 214827 HAS SOUPS 214827 WITH SCORE 215060.194
AT ITER 7971 NEW BEST:: SOT 411313 SOS 233193 HAS SOPS 233193 HAS SOUS 214826 HAS SOUPS 214826 WITH SCORE 215059.193
AT ITER 8000 NEW BEST:: SOT 411312 SOS 233192 HAS SOPS 233192 HAS SOUS 214825 HAS SOUPS 214825 WITH SCORE 215058.192
AT ITER 8222 NEW BEST:: SOT 411312 SOS 232096 HAS SOPS 232096 HAS SOUS 214231 HAS SOUPS 214231 WITH SCORE 214463.096
AT ITER 8275 NEW BEST:: SOT 411312 SOS 232073 HAS SOPS 232073 HAS SOUS 214208 HAS SOUPS 214208 WITH SCORE 214440.073
AT ITER 8277 NEW BEST:: SOT 411402 SOS 231983 HAS SOPS 231983 HAS SOUS 214208 HAS SOUPS 214208 WITH SCORE 214439.983
AT ITER 8283 NEW BEST:: SOT 411415 SOS 231974 HAS SOPS 231974 HAS SOUS 214199 HAS SOUPS 214199 WITH SCORE 214430.974
AT ITER 8338 NEW BEST:: SOT 411616 SOS 231894 HAS SOPS 231894 HAS SOUS 214119 HAS SOUPS 214119 WITH SCORE 214350.894
AT ITER 8491 NEW BEST:: SOT 411767 SOS 231583 HAS SOPS 231583 HAS SOUS 214039 HAS SOUPS 214039 WITH SCORE 214270.583
AT ITER 8547 NEW BEST:: SOT 411767 SOS 231568 HAS SOPS 231568 HAS SOUS 214024 HAS SOUPS 214024 WITH SCORE 214255.568
AT ITER 8568 NEW BEST:: SOT 411766 SOS 231567 HAS SOPS 231567 HAS SOUS 214023 HAS SOUPS 214023 WITH SCORE 214254.567
AT ITER 8603 NEW BEST:: SOT 411766 SOS 231505 HAS SOPS 231505 HAS SOUS 213961 HAS SOUPS 213961 WITH SCORE 214192.505
AT ITER 8692 NEW BEST:: SOT 411766 SOS 231504 HAS SOPS 231504 HAS SOUS 213960 HAS SOUPS 213960 WITH SCORE 214191.504
AT ITER 8700 NEW BEST:: SOT 411766 SOS 231503 HAS SOPS 231503 HAS SOUS 213959 HAS SOUPS 213959 WITH SCORE 214190.503
AT ITER 8712 NEW BEST:: SOT 411879 SOS 231445 HAS SOPS 231445 HAS SOUS 213959 HAS SOUPS 213959 WITH SCORE 214190.445
AT ITER 8764 NEW BEST:: SOT 411792 SOS 231358 HAS SOPS 231358 HAS SOUS 213872 HAS SOUPS 213872 WITH SCORE 214103.358
AT ITER 8781 NEW BEST:: SOT 411792 SOS 231357 HAS SOPS 231357 HAS SOUS 213871 HAS SOUPS 213871 WITH SCORE 214102.357
AT ITER 8788 NEW BEST:: SOT 411792 SOS 231348 HAS SOPS 231348 HAS SOUS 213862 HAS SOUPS 213862 WITH SCORE 214093.348
AT ITER 8796 NEW BEST:: SOT 411724 SOS 231280 HAS SOPS 231280 HAS SOUS 213786 HAS SOUPS 213786 WITH SCORE 214017.28
AT ITER 8828 NEW BEST:: SOT 411711 SOS 231267 HAS SOPS 231267 HAS SOUS 213773 HAS SOUPS 213773 WITH SCORE 214004.267
AT ITER 8964 NEW BEST:: SOT 411711 SOS 231244 HAS SOPS 231244 HAS SOUS 213750 HAS SOUPS 213750 WITH SCORE 213981.244
AT ITER 8979 NEW BEST:: SOT 411711 SOS 231244 HAS SOPS 231244 HAS SOUS 213686 HAS SOUPS 213686 WITH SCORE 213917.244
AT ITER 9164 NEW BEST:: SOT 411737 SOS 231194 HAS SOPS 231194 HAS SOUS 213674 HAS SOUPS 213674 WITH SCORE 213905.194
AT ITER 9201 NEW BEST:: SOT 411737 SOS 231056 HAS SOPS 231056 HAS SOUS 213618 HAS SOUPS 213618 WITH SCORE 213849.056
AT ITER 9233 NEW BEST:: SOT 411844 SOS 230949 HAS SOPS 230949 HAS SOUS 213618 HAS SOUPS 213618 WITH SCORE 213848.949
AT ITER 9239 NEW BEST:: SOT 411844 SOS 230949 HAS SOPS 230949 HAS SOUS 213617 HAS SOUPS 213617 WITH SCORE 213847.949
AT ITER 9282 NEW BEST:: SOT 411955 SOS 230654 HAS SOPS 230654 HAS SOUS 213525 HAS SOUPS 213525 WITH SCORE 213755.654
AT ITER 9317 NEW BEST:: SOT 412028 SOS 230551 HAS SOPS 230551 HAS SOUS 213510 HAS SOUPS 213510 WITH SCORE 213740.551
AT ITER 9353 NEW BEST:: SOT 412028 SOS 230539 HAS SOPS 230539 HAS SOUS 213498 HAS SOUPS 213498 WITH SCORE 213728.539
AT ITER 9429 NEW BEST:: SOT 412171 SOS 230396 HAS SOPS 230396 HAS SOUS 213498 HAS SOUPS 213498 WITH SCORE 213728.396
AT ITER 9437 NEW BEST:: SOT 412194 SOS 230369 HAS SOPS 230369 HAS SOUS 213471 HAS SOUPS 213471 WITH SCORE 213701.369
AT ITER 9472 NEW BEST:: SOT 412194 SOS 230350 HAS SOPS 230350 HAS SOUS 213452 HAS SOUPS 213452 WITH SCORE 213682.35
AT ITER 9531 NEW BEST:: SOT 412194 SOS 230324 HAS SOPS 230324 HAS SOUS 213426 HAS SOUPS 213426 WITH SCORE 213656.324
AT ITER 9532 NEW BEST:: SOT 412361 SOS 230111 HAS SOPS 230111 HAS SOUS 213403 HAS SOUPS 213403 WITH SCORE 213633.111
AT ITER 9533 NEW BEST:: SOT 412529 SOS 230042 HAS SOPS 230042 HAS SOUS 213371 HAS SOUPS 213371 WITH SCORE 213601.042
AT ITER 9550 NEW BEST:: SOT 412640 SOS 230020 HAS SOPS 230020 HAS SOUS 213349 HAS SOUPS 213349 WITH SCORE 213579.02
AT ITER 9581 NEW BEST:: SOT 412640 SOS 229786 HAS SOPS 229786 HAS SOUS 213232 HAS SOUPS 213232 WITH SCORE 213461.786
AT ITER 9649 NEW BEST:: SOT 412622 SOS 229768 HAS SOPS 229768 HAS SOUS 213214 HAS SOUPS 213214 WITH SCORE 213443.768
AT ITER 9700 NEW BEST:: SOT 412622 SOS 229681 HAS SOPS 229681 HAS SOUS 213145 HAS SOUPS 213145 WITH SCORE 213374.681
AT ITER 9803 NEW BEST:: SOT 412622 SOS 229681 HAS SOPS 229681 HAS SOUS 213000 HAS SOUPS 213000 WITH SCORE 213229.681
AT ITER 9854 NEW BEST:: SOT 412622 SOS 229680 HAS SOPS 229680 HAS SOUS 212999 HAS SOUPS 212999 WITH SCORE 213228.68
AT ITER 9866 NEW BEST:: SOT 412691 SOS 229527 HAS SOPS 229527 HAS SOUS 212846 HAS SOUPS 212846 WITH SCORE 213075.527
AT ITER 9901 NEW BEST:: SOT 412691 SOS 229492 HAS SOPS 229492 HAS SOUS 212811 HAS SOUPS 212811 WITH SCORE 213040.492
AT ITER 9903 NEW BEST:: SOT 412691 SOS 229483 HAS SOPS 229483 HAS SOUS 212802 HAS SOUPS 212802 WITH SCORE 213031.483
AT ITER 9924 NEW BEST:: SOT 412691 SOS 229352 HAS SOPS 229352 HAS SOUS 212671 HAS SOUPS 212671 WITH SCORE 212900.352
AT ITER 9928 NEW BEST:: SOT 412844 SOS 229083 HAS SOPS 229083 HAS SOUS 212613 HAS SOUPS 212613 WITH SCORE 212842.083
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 7055832 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16138768 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-22"
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-22, 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-167873943400840"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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