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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 42K Feb 26 01:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 289K Feb 26 01:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 88K 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 16K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 89K Feb 26 01:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 593K Feb 26 01:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 01:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 360K 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 1678823104353

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-PT-18
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), 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 300408 SOS 111264 HAS SOPS 111264 HAS SOUS 85292 HAS SOUPS 85292 WITH SCORE 85403.264
AT ITER 9 NEW BEST:: SOT 300408 SOS 111104 HAS SOPS 111104 HAS SOUS 85212 HAS SOUPS 85212 WITH SCORE 85323.104
AT ITER 23 NEW BEST:: SOT 300408 SOS 111095 HAS SOPS 111095 HAS SOUS 85203 HAS SOUPS 85203 WITH SCORE 85314.095
AT ITER 73 NEW BEST:: SOT 300408 SOS 111094 HAS SOPS 111094 HAS SOUS 85202 HAS SOUPS 85202 WITH SCORE 85313.094
AT ITER 83 NEW BEST:: SOT 300795 SOS 110870 HAS SOPS 110870 HAS SOUS 84978 HAS SOUPS 84978 WITH SCORE 85088.87
AT ITER 84 NEW BEST:: SOT 300784 SOS 110859 HAS SOPS 110859 HAS SOUS 84967 HAS SOUPS 84967 WITH SCORE 85077.859
AT ITER 156 NEW BEST:: SOT 300784 SOS 110481 HAS SOPS 110481 HAS SOUS 84778 HAS SOUPS 84778 WITH SCORE 84888.481
AT ITER 194 NEW BEST:: SOT 300779 SOS 110476 HAS SOPS 110476 HAS SOUS 84773 HAS SOUPS 84773 WITH SCORE 84883.476
AT ITER 203 NEW BEST:: SOT 300779 SOS 110140 HAS SOPS 110140 HAS SOUS 84605 HAS SOUPS 84605 WITH SCORE 84715.14
AT ITER 204 NEW BEST:: SOT 300779 SOS 109664 HAS SOPS 109664 HAS SOUS 84367 HAS SOUPS 84367 WITH SCORE 84476.664
AT ITER 300 NEW BEST:: SOT 300779 SOS 109518 HAS SOPS 109518 HAS SOUS 84294 HAS SOUPS 84294 WITH SCORE 84403.518
AT ITER 319 NEW BEST:: SOT 300779 SOS 109517 HAS SOPS 109517 HAS SOUS 84293 HAS SOUPS 84293 WITH SCORE 84402.517
AT ITER 346 NEW BEST:: SOT 300779 SOS 109139 HAS SOPS 109139 HAS SOUS 84104 HAS SOUPS 84104 WITH SCORE 84213.139
AT ITER 355 NEW BEST:: SOT 300879 SOS 109044 HAS SOPS 109044 HAS SOUS 84009 HAS SOUPS 84009 WITH SCORE 84118.044
AT ITER 367 NEW BEST:: SOT 300863 SOS 109028 HAS SOPS 109028 HAS SOUS 83993 HAS SOUPS 83993 WITH SCORE 84102.028
AT ITER 368 NEW BEST:: SOT 300863 SOS 109027 HAS SOPS 109027 HAS SOUS 83992 HAS SOUPS 83992 WITH SCORE 84101.027
AT ITER 373 NEW BEST:: SOT 300768 SOS 108969 HAS SOPS 108969 HAS SOUS 83990 HAS SOUPS 83990 WITH SCORE 84098.969
AT ITER 402 NEW BEST:: SOT 301483 SOS 109317 HAS SOPS 109317 HAS SOUS 83971 HAS SOUPS 83971 WITH SCORE 84080.317
AT ITER 434 NEW BEST:: SOT 301858 SOS 109270 HAS SOPS 109270 HAS SOUS 83924 HAS SOUPS 83924 WITH SCORE 84033.27
AT ITER 472 NEW BEST:: SOT 302150 SOS 108985 HAS SOPS 108985 HAS SOUS 83639 HAS SOUPS 83639 WITH SCORE 83747.985
AT ITER 535 NEW BEST:: SOT 302150 SOS 108984 HAS SOPS 108984 HAS SOUS 83638 HAS SOUPS 83638 WITH SCORE 83746.984
AT ITER 583 NEW BEST:: SOT 302332 SOS 108967 HAS SOPS 108967 HAS SOUS 83621 HAS SOUPS 83621 WITH SCORE 83729.967
AT ITER 630 NEW BEST:: SOT 302332 SOS 108699 HAS SOPS 108699 HAS SOUS 83487 HAS SOUPS 83487 WITH SCORE 83595.699
AT ITER 667 NEW BEST:: SOT 302313 SOS 108680 HAS SOPS 108680 HAS SOUS 83468 HAS SOUPS 83468 WITH SCORE 83576.68
AT ITER 672 NEW BEST:: SOT 302298 SOS 108665 HAS SOPS 108665 HAS SOUS 83453 HAS SOUPS 83453 WITH SCORE 83561.665
AT ITER 685 NEW BEST:: SOT 302509 SOS 108454 HAS SOPS 108454 HAS SOUS 83242 HAS SOUPS 83242 WITH SCORE 83350.454
AT ITER 718 NEW BEST:: SOT 302523 SOS 108453 HAS SOPS 108453 HAS SOUS 83241 HAS SOUPS 83241 WITH SCORE 83349.453
AT ITER 722 NEW BEST:: SOT 302640 SOS 108352 HAS SOPS 108352 HAS SOUS 83140 HAS SOUPS 83140 WITH SCORE 83248.352
AT ITER 732 NEW BEST:: SOT 302621 SOS 108333 HAS SOPS 108333 HAS SOUS 83121 HAS SOUPS 83121 WITH SCORE 83229.333
AT ITER 842 NEW BEST:: SOT 302608 SOS 108322 HAS SOPS 108322 HAS SOUS 83110 HAS SOUPS 83110 WITH SCORE 83218.322
AT ITER 866 NEW BEST:: SOT 302596 SOS 108310 HAS SOPS 108310 HAS SOUS 83098 HAS SOUPS 83098 WITH SCORE 83206.31
AT ITER 879 NEW BEST:: SOT 302577 SOS 108291 HAS SOPS 108291 HAS SOUS 83079 HAS SOUPS 83079 WITH SCORE 83187.291
AT ITER 900 NEW BEST:: SOT 303248 SOS 108617 HAS SOPS 108617 HAS SOUS 83060 HAS SOUPS 83060 WITH SCORE 83168.617
AT ITER 930 NEW BEST:: SOT 303248 SOS 107945 HAS SOPS 107945 HAS SOUS 82724 HAS SOUPS 82724 WITH SCORE 82831.945
AT ITER 1103 NEW BEST:: SOT 303243 SOS 107940 HAS SOPS 107940 HAS SOUS 82719 HAS SOUPS 82719 WITH SCORE 82826.94
AT ITER 1152 NEW BEST:: SOT 295345 SOS 146838 HAS SOPS 146838 HAS SOUS 81159 HAS SOUPS 81159 WITH SCORE 81305.838
AT ITER 1163 NEW BEST:: SOT 296010 SOS 147568 HAS SOPS 147568 HAS SOUS 81114 HAS SOUPS 81114 WITH SCORE 81261.568
AT ITER 1164 NEW BEST:: SOT 296101 SOS 147705 HAS SOPS 147705 HAS SOUS 80764 HAS SOUPS 80764 WITH SCORE 80911.705
AT ITER 1176 NEW BEST:: SOT 296082 SOS 147686 HAS SOPS 147686 HAS SOUS 80745 HAS SOUPS 80745 WITH SCORE 80892.686
AT ITER 1202 NEW BEST:: SOT 296071 SOS 147675 HAS SOPS 147675 HAS SOUS 80734 HAS SOUPS 80734 WITH SCORE 80881.675
AT ITER 1242 NEW BEST:: SOT 296071 SOS 147687 HAS SOPS 147687 HAS SOUS 80354 HAS SOUPS 80354 WITH SCORE 80501.687
AT ITER 1273 NEW BEST:: SOT 296267 SOS 147870 HAS SOPS 147870 HAS SOUS 80341 HAS SOUPS 80341 WITH SCORE 80488.87
AT ITER 1287 NEW BEST:: SOT 296267 SOS 147863 HAS SOPS 147863 HAS SOUS 80334 HAS SOUPS 80334 WITH SCORE 80481.863
AT ITER 1307 NEW BEST:: SOT 296267 SOS 147739 HAS SOPS 147739 HAS SOUS 80086 HAS SOUPS 80086 WITH SCORE 80233.739
AT ITER 1366 NEW BEST:: SOT 296651 SOS 148103 HAS SOPS 148103 HAS SOUS 80066 HAS SOUPS 80066 WITH SCORE 80214.103
AT ITER 1402 NEW BEST:: SOT 296956 SOS 148473 HAS SOPS 148473 HAS SOUS 79835 HAS SOUPS 79835 WITH SCORE 79983.473
AT ITER 1441 NEW BEST:: SOT 297505 SOS 148965 HAS SOPS 148965 HAS SOUS 79827 HAS SOUPS 79827 WITH SCORE 79975.965
AT ITER 1455 NEW BEST:: SOT 297419 SOS 148885 HAS SOPS 148885 HAS SOUS 79790 HAS SOUPS 79790 WITH SCORE 79938.885
AT ITER 1497 NEW BEST:: SOT 297423 SOS 148857 HAS SOPS 148857 HAS SOUS 79762 HAS SOUPS 79762 WITH SCORE 79910.857
AT ITER 1511 NEW BEST:: SOT 297423 SOS 148662 HAS SOPS 148662 HAS SOUS 79567 HAS SOUPS 79567 WITH SCORE 79715.662
AT ITER 1575 NEW BEST:: SOT 297377 SOS 148616 HAS SOPS 148616 HAS SOUS 79544 HAS SOUPS 79544 WITH SCORE 79692.616
AT ITER 1676 NEW BEST:: SOT 297846 SOS 149017 HAS SOPS 149017 HAS SOUS 79476 HAS SOUPS 79476 WITH SCORE 79625.017
AT ITER 1791 NEW BEST:: SOT 297959 SOS 149017 HAS SOPS 149017 HAS SOUS 79363 HAS SOUPS 79363 WITH SCORE 79512.017
AT ITER 1812 NEW BEST:: SOT 297940 SOS 148998 HAS SOPS 148998 HAS SOUS 79344 HAS SOUPS 79344 WITH SCORE 79492.998
AT ITER 1813 NEW BEST:: SOT 298082 SOS 149186 HAS SOPS 149186 HAS SOUS 79258 HAS SOUPS 79258 WITH SCORE 79407.186
AT ITER 1817 NEW BEST:: SOT 298311 SOS 149474 HAS SOPS 149474 HAS SOUS 78985 HAS SOUPS 78985 WITH SCORE 79134.474
AT ITER 1821 NEW BEST:: SOT 298986 SOS 149802 HAS SOPS 149802 HAS SOUS 78966 HAS SOUPS 78966 WITH SCORE 79115.802
AT ITER 1840 NEW BEST:: SOT 298986 SOS 149422 HAS SOPS 149422 HAS SOUS 78180 HAS SOUPS 78180 WITH SCORE 78329.422
AT ITER 1852 NEW BEST:: SOT 299711 SOS 150211 HAS SOPS 150211 HAS SOUS 78140 HAS SOUPS 78140 WITH SCORE 78290.211
AT ITER 1886 NEW BEST:: SOT 299711 SOS 150427 HAS SOPS 150427 HAS SOUS 78135 HAS SOUPS 78135 WITH SCORE 78285.427
AT ITER 1922 NEW BEST:: SOT 299629 SOS 150345 HAS SOPS 150345 HAS SOUS 78135 HAS SOUPS 78135 WITH SCORE 78285.345
AT ITER 1930 NEW BEST:: SOT 299629 SOS 149893 HAS SOPS 149893 HAS SOUS 77683 HAS SOUPS 77683 WITH SCORE 77832.893
AT ITER 1959 NEW BEST:: SOT 299626 SOS 149890 HAS SOPS 149890 HAS SOUS 77680 HAS SOUPS 77680 WITH SCORE 77829.89
AT ITER 2000 NEW BEST:: SOT 299826 SOS 149890 HAS SOPS 149890 HAS SOUS 77480 HAS SOUPS 77480 WITH SCORE 77629.89
AT ITER 2026 NEW BEST:: SOT 299826 SOS 149450 HAS SOPS 149450 HAS SOUS 77040 HAS SOUPS 77040 WITH SCORE 77189.45
AT ITER 2081 NEW BEST:: SOT 300284 SOS 149971 HAS SOPS 149971 HAS SOUS 76886 HAS SOUPS 76886 WITH SCORE 77035.971
AT ITER 2105 NEW BEST:: SOT 300995 SOS 150317 HAS SOPS 150317 HAS SOUS 76867 HAS SOUPS 76867 WITH SCORE 77017.317
AT ITER 2107 NEW BEST:: SOT 300995 SOS 150313 HAS SOPS 150313 HAS SOUS 76863 HAS SOUPS 76863 WITH SCORE 77013.313
AT ITER 2113 NEW BEST:: SOT 300995 SOS 150312 HAS SOPS 150312 HAS SOUS 76862 HAS SOUPS 76862 WITH SCORE 77012.312
AT ITER 2123 NEW BEST:: SOT 300995 SOS 150311 HAS SOPS 150311 HAS SOUS 76861 HAS SOUPS 76861 WITH SCORE 77011.311
AT ITER 2137 NEW BEST:: SOT 300995 SOS 150249 HAS SOPS 150249 HAS SOUS 76732 HAS SOUPS 76732 WITH SCORE 76882.249
AT ITER 2156 NEW BEST:: SOT 300995 SOS 150250 HAS SOPS 150250 HAS SOUS 76533 HAS SOUPS 76533 WITH SCORE 76683.25
AT ITER 2226 NEW BEST:: SOT 301045 SOS 150272 HAS SOPS 150272 HAS SOUS 76505 HAS SOUPS 76505 WITH SCORE 76655.272
AT ITER 2229 NEW BEST:: SOT 300545 SOS 149032 HAS SOPS 149032 HAS SOUS 75643 HAS SOUPS 75643 WITH SCORE 75792.032
AT ITER 2348 NEW BEST:: SOT 300464 SOS 149005 HAS SOPS 149005 HAS SOUS 75589 HAS SOUPS 75589 WITH SCORE 75738.005
AT ITER 2383 NEW BEST:: SOT 300445 SOS 148986 HAS SOPS 148986 HAS SOUS 75570 HAS SOUPS 75570 WITH SCORE 75718.986
AT ITER 2398 NEW BEST:: SOT 300192 SOS 149098 HAS SOPS 149098 HAS SOUS 75558 HAS SOUPS 75558 WITH SCORE 75707.098
AT ITER 2410 NEW BEST:: SOT 300173 SOS 149079 HAS SOPS 149079 HAS SOUS 75539 HAS SOUPS 75539 WITH SCORE 75688.079
AT ITER 2518 NEW BEST:: SOT 300173 SOS 149060 HAS SOPS 149060 HAS SOUS 75501 HAS SOUPS 75501 WITH SCORE 75650.06
AT ITER 2564 NEW BEST:: SOT 299918 SOS 148743 HAS SOPS 148743 HAS SOUS 75184 HAS SOUPS 75184 WITH SCORE 75332.743
AT ITER 2661 NEW BEST:: SOT 299899 SOS 148724 HAS SOPS 148724 HAS SOUS 75165 HAS SOUPS 75165 WITH SCORE 75313.724
AT ITER 2694 NEW BEST:: SOT 300133 SOS 148645 HAS SOPS 148645 HAS SOUS 74482 HAS SOUPS 74482 WITH SCORE 74630.645
AT ITER 2697 NEW BEST:: SOT 299541 SOS 148349 HAS SOPS 148349 HAS SOUS 74482 HAS SOUPS 74482 WITH SCORE 74630.349
AT ITER 2720 NEW BEST:: SOT 299526 SOS 148334 HAS SOPS 148334 HAS SOUS 74467 HAS SOUPS 74467 WITH SCORE 74615.334
AT ITER 2802 NEW BEST:: SOT 299550 SOS 148334 HAS SOPS 148334 HAS SOUS 74443 HAS SOUPS 74443 WITH SCORE 74591.334
AT ITER 2821 NEW BEST:: SOT 299565 SOS 148334 HAS SOPS 148334 HAS SOUS 74428 HAS SOUPS 74428 WITH SCORE 74576.334
AT ITER 2822 NEW BEST:: SOT 299565 SOS 148327 HAS SOPS 148327 HAS SOUS 74421 HAS SOUPS 74421 WITH SCORE 74569.327
AT ITER 3056 NEW BEST:: SOT 299561 SOS 148323 HAS SOPS 148323 HAS SOUS 74421 HAS SOUPS 74421 WITH SCORE 74569.323
AT ITER 3140 NEW BEST:: SOT 299561 SOS 148322 HAS SOPS 148322 HAS SOUS 74420 HAS SOUPS 74420 WITH SCORE 74568.322
AT ITER 3177 NEW BEST:: SOT 299723 SOS 148352 HAS SOPS 148352 HAS SOUS 74318 HAS SOUPS 74318 WITH SCORE 74466.352
AT ITER 3191 NEW BEST:: SOT 299717 SOS 148343 HAS SOPS 148343 HAS SOUS 74312 HAS SOUPS 74312 WITH SCORE 74460.343
AT ITER 3217 NEW BEST:: SOT 299717 SOS 148406 HAS SOPS 148406 HAS SOUS 74262 HAS SOUPS 74262 WITH SCORE 74410.406
AT ITER 3226 NEW BEST:: SOT 299715 SOS 148404 HAS SOPS 148404 HAS SOUS 74260 HAS SOUPS 74260 WITH SCORE 74408.404
AT ITER 3269 NEW BEST:: SOT 299862 SOS 148526 HAS SOPS 148526 HAS SOUS 74219 HAS SOUPS 74219 WITH SCORE 74367.526
AT ITER 3290 NEW BEST:: SOT 299862 SOS 148511 HAS SOPS 148511 HAS SOUS 74204 HAS SOUPS 74204 WITH SCORE 74352.511
AT ITER 3350 NEW BEST:: SOT 299722 SOS 148278 HAS SOPS 148278 HAS SOUS 73971 HAS SOUPS 73971 WITH SCORE 74119.278
AT ITER 3394 NEW BEST:: SOT 299771 SOS 148370 HAS SOPS 148370 HAS SOUS 73738 HAS SOUPS 73738 WITH SCORE 73886.37
AT ITER 3401 NEW BEST:: SOT 299752 SOS 148351 HAS SOPS 148351 HAS SOUS 73719 HAS SOUPS 73719 WITH SCORE 73867.351
AT ITER 3422 NEW BEST:: SOT 299446 SOS 148045 HAS SOPS 148045 HAS SOUS 73719 HAS SOUPS 73719 WITH SCORE 73867.045
AT ITER 3609 NEW BEST:: SOT 299446 SOS 148036 HAS SOPS 148036 HAS SOUS 73710 HAS SOUPS 73710 WITH SCORE 73858.036
AT ITER 3645 NEW BEST:: SOT 299427 SOS 148017 HAS SOPS 148017 HAS SOUS 73691 HAS SOUPS 73691 WITH SCORE 73839.017
AT ITER 3662 NEW BEST:: SOT 299508 SOS 147982 HAS SOPS 147982 HAS SOUS 73656 HAS SOUPS 73656 WITH SCORE 73803.982
AT ITER 3693 NEW BEST:: SOT 299698 SOS 147887 HAS SOPS 147887 HAS SOUS 73656 HAS SOUPS 73656 WITH SCORE 73803.887
AT ITER 3740 NEW BEST:: SOT 299698 SOS 147711 HAS SOPS 147711 HAS SOUS 73046 HAS SOUPS 73046 WITH SCORE 73193.711
AT ITER 3851 NEW BEST:: SOT 299679 SOS 147692 HAS SOPS 147692 HAS SOUS 73046 HAS SOUPS 73046 WITH SCORE 73193.692
AT ITER 3859 NEW BEST:: SOT 299936 SOS 147794 HAS SOPS 147794 HAS SOUS 72993 HAS SOUPS 72993 WITH SCORE 73140.794
AT ITER 3908 NEW BEST:: SOT 299842 SOS 147747 HAS SOPS 147747 HAS SOUS 72993 HAS SOUPS 72993 WITH SCORE 73140.747
AT ITER 3993 NEW BEST:: SOT 299826 SOS 147731 HAS SOPS 147731 HAS SOUS 72977 HAS SOUPS 72977 WITH SCORE 73124.731
AT ITER 4014 NEW BEST:: SOT 299826 SOS 147668 HAS SOPS 147668 HAS SOUS 72914 HAS SOUPS 72914 WITH SCORE 73061.668
AT ITER 4022 NEW BEST:: SOT 299826 SOS 147637 HAS SOPS 147637 HAS SOUS 72883 HAS SOUPS 72883 WITH SCORE 73030.637
AT ITER 4037 NEW BEST:: SOT 299593 SOS 147404 HAS SOPS 147404 HAS SOUS 72876 HAS SOUPS 72876 WITH SCORE 73023.404
AT ITER 4050 NEW BEST:: SOT 299593 SOS 147398 HAS SOPS 147398 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 73017.398
AT ITER 4068 NEW BEST:: SOT 299185 SOS 147194 HAS SOPS 147194 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 73017.194
AT ITER 4091 NEW BEST:: SOT 299113 SOS 147158 HAS SOPS 147158 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 73017.158
AT ITER 4148 NEW BEST:: SOT 299113 SOS 147149 HAS SOPS 147149 HAS SOUS 72861 HAS SOUPS 72861 WITH SCORE 73008.149
AT ITER 4149 NEW BEST:: SOT 299033 SOS 147109 HAS SOPS 147109 HAS SOUS 72861 HAS SOUPS 72861 WITH SCORE 73008.109
AT ITER 4159 NEW BEST:: SOT 299033 SOS 147108 HAS SOPS 147108 HAS SOUS 72860 HAS SOUPS 72860 WITH SCORE 73007.108
AT ITER 4235 NEW BEST:: SOT 299033 SOS 147107 HAS SOPS 147107 HAS SOUS 72859 HAS SOUPS 72859 WITH SCORE 73006.107
AT ITER 4303 NEW BEST:: SOT 299384 SOS 147268 HAS SOPS 147268 HAS SOUS 72830 HAS SOUPS 72830 WITH SCORE 72977.268
AT ITER 4353 NEW BEST:: SOT 299384 SOS 147251 HAS SOPS 147251 HAS SOUS 72813 HAS SOUPS 72813 WITH SCORE 72960.251
AT ITER 4374 NEW BEST:: SOT 299165 SOS 147032 HAS SOPS 147032 HAS SOUS 72813 HAS SOUPS 72813 WITH SCORE 72960.032
AT ITER 4383 NEW BEST:: SOT 299146 SOS 147013 HAS SOPS 147013 HAS SOUS 72794 HAS SOUPS 72794 WITH SCORE 72941.013
AT ITER 4444 NEW BEST:: SOT 299146 SOS 147002 HAS SOPS 147002 HAS SOUS 72783 HAS SOUPS 72783 WITH SCORE 72930.002
AT ITER 4455 NEW BEST:: SOT 299277 SOS 147116 HAS SOPS 147116 HAS SOUS 72766 HAS SOUPS 72766 WITH SCORE 72913.116
AT ITER 4541 NEW BEST:: SOT 299277 SOS 147097 HAS SOPS 147097 HAS SOUS 72747 HAS SOUPS 72747 WITH SCORE 72894.097
AT ITER 4603 NEW BEST:: SOT 299417 SOS 147141 HAS SOPS 147141 HAS SOUS 72695 HAS SOUPS 72695 WITH SCORE 72842.141
AT ITER 4609 NEW BEST:: SOT 299417 SOS 147140 HAS SOPS 147140 HAS SOUS 72694 HAS SOUPS 72694 WITH SCORE 72841.14
AT ITER 4613 NEW BEST:: SOT 299417 SOS 147129 HAS SOPS 147129 HAS SOUS 72683 HAS SOUPS 72683 WITH SCORE 72830.129
AT ITER 4692 NEW BEST:: SOT 299637 SOS 146851 HAS SOPS 146851 HAS SOUS 72654 HAS SOUPS 72654 WITH SCORE 72800.851
AT ITER 4723 NEW BEST:: SOT 299637 SOS 146851 HAS SOPS 146851 HAS SOUS 72645 HAS SOUPS 72645 WITH SCORE 72791.851
AT ITER 4737 NEW BEST:: SOT 299637 SOS 146821 HAS SOPS 146821 HAS SOUS 72368 HAS SOUPS 72368 WITH SCORE 72514.821
AT ITER 4765 NEW BEST:: SOT 299637 SOS 146804 HAS SOPS 146804 HAS SOUS 72351 HAS SOUPS 72351 WITH SCORE 72497.804
AT ITER 4784 NEW BEST:: SOT 299637 SOS 146799 HAS SOPS 146799 HAS SOUS 72346 HAS SOUPS 72346 WITH SCORE 72492.799
AT ITER 4831 NEW BEST:: SOT 299304 SOS 146466 HAS SOPS 146466 HAS SOUS 72346 HAS SOUPS 72346 WITH SCORE 72492.466
AT ITER 4847 NEW BEST:: SOT 299304 SOS 146465 HAS SOPS 146465 HAS SOUS 72345 HAS SOUPS 72345 WITH SCORE 72491.465
AT ITER 4945 NEW BEST:: SOT 299389 SOS 146465 HAS SOPS 146465 HAS SOUS 72260 HAS SOUPS 72260 WITH SCORE 72406.465
AT ITER 4977 NEW BEST:: SOT 299389 SOS 146460 HAS SOPS 146460 HAS SOUS 72255 HAS SOUPS 72255 WITH SCORE 72401.46
AT ITER 4983 NEW BEST:: SOT 299580 SOS 146638 HAS SOPS 146638 HAS SOUS 72242 HAS SOUPS 72242 WITH SCORE 72388.638
AT ITER 5000 NEW BEST:: SOT 294884 SOS 141942 HAS SOPS 141942 HAS SOUS 67546 HAS SOUPS 67546 WITH SCORE 67687.942
AT ITER 5137 NEW BEST:: SOT 294881 SOS 141939 HAS SOPS 141939 HAS SOUS 67543 HAS SOUPS 67543 WITH SCORE 67684.939
AT ITER 5196 NEW BEST:: SOT 294881 SOS 141930 HAS SOPS 141930 HAS SOUS 67534 HAS SOUPS 67534 WITH SCORE 67675.93
AT ITER 5267 NEW BEST:: SOT 294881 SOS 141793 HAS SOPS 141793 HAS SOUS 67397 HAS SOUPS 67397 WITH SCORE 67538.793
AT ITER 5300 NEW BEST:: SOT 294843 SOS 141755 HAS SOPS 141755 HAS SOUS 67393 HAS SOUPS 67393 WITH SCORE 67534.755
AT ITER 5310 NEW BEST:: SOT 294824 SOS 141736 HAS SOPS 141736 HAS SOUS 67374 HAS SOUPS 67374 WITH SCORE 67515.736
AT ITER 5321 NEW BEST:: SOT 294824 SOS 141735 HAS SOPS 141735 HAS SOUS 67373 HAS SOUPS 67373 WITH SCORE 67514.735
AT ITER 5325 NEW BEST:: SOT 294823 SOS 141734 HAS SOPS 141734 HAS SOUS 67372 HAS SOUPS 67372 WITH SCORE 67513.734
AT ITER 5424 NEW BEST:: SOT 294823 SOS 141715 HAS SOPS 141715 HAS SOUS 67353 HAS SOUPS 67353 WITH SCORE 67494.715
AT ITER 5613 NEW BEST:: SOT 294804 SOS 141696 HAS SOPS 141696 HAS SOUS 67334 HAS SOUPS 67334 WITH SCORE 67475.696
AT ITER 5618 NEW BEST:: SOT 294804 SOS 141663 HAS SOPS 141663 HAS SOUS 67301 HAS SOUPS 67301 WITH SCORE 67442.663
AT ITER 5721 NEW BEST:: SOT 294804 SOS 141632 HAS SOPS 141632 HAS SOUS 67270 HAS SOUPS 67270 WITH SCORE 67411.632
AT ITER 5743 NEW BEST:: SOT 294804 SOS 141594 HAS SOPS 141594 HAS SOUS 67232 HAS SOUPS 67232 WITH SCORE 67373.594
AT ITER 5760 NEW BEST:: SOT 294804 SOS 141547 HAS SOPS 141547 HAS SOUS 67185 HAS SOUPS 67185 WITH SCORE 67326.547
AT ITER 5775 NEW BEST:: SOT 294804 SOS 141537 HAS SOPS 141537 HAS SOUS 67175 HAS SOUPS 67175 WITH SCORE 67316.537
AT ITER 5795 NEW BEST:: SOT 294802 SOS 141535 HAS SOPS 141535 HAS SOUS 67173 HAS SOUPS 67173 WITH SCORE 67314.535
AT ITER 5918 NEW BEST:: SOT 294790 SOS 141523 HAS SOPS 141523 HAS SOUS 67167 HAS SOUPS 67167 WITH SCORE 67308.523
AT ITER 5930 NEW BEST:: SOT 294771 SOS 141504 HAS SOPS 141504 HAS SOUS 67148 HAS SOUPS 67148 WITH SCORE 67289.504
AT ITER 5940 NEW BEST:: SOT 294771 SOS 141503 HAS SOPS 141503 HAS SOUS 67147 HAS SOUPS 67147 WITH SCORE 67288.503
AT ITER 5945 NEW BEST:: SOT 294721 SOS 141425 HAS SOPS 141425 HAS SOUS 67094 HAS SOUPS 67094 WITH SCORE 67235.425
AT ITER 5949 NEW BEST:: SOT 294721 SOS 141406 HAS SOPS 141406 HAS SOUS 67075 HAS SOUPS 67075 WITH SCORE 67216.406
AT ITER 6020 NEW BEST:: SOT 294721 SOS 141388 HAS SOPS 141388 HAS SOUS 67057 HAS SOUPS 67057 WITH SCORE 67198.388
AT ITER 6032 NEW BEST:: SOT 294721 SOS 141383 HAS SOPS 141383 HAS SOUS 67052 HAS SOUPS 67052 WITH SCORE 67193.383
AT ITER 6101 NEW BEST:: SOT 294817 SOS 141383 HAS SOPS 141383 HAS SOUS 66956 HAS SOUPS 66956 WITH SCORE 67097.383
AT ITER 6113 NEW BEST:: SOT 294435 SOS 141192 HAS SOPS 141192 HAS SOUS 66956 HAS SOUPS 66956 WITH SCORE 67097.192
AT ITER 6121 NEW BEST:: SOT 294454 SOS 141148 HAS SOPS 141148 HAS SOUS 66912 HAS SOUPS 66912 WITH SCORE 67053.148
AT ITER 6150 NEW BEST:: SOT 295057 SOS 141440 HAS SOPS 141440 HAS SOUS 66893 HAS SOUPS 66893 WITH SCORE 67034.44
AT ITER 6244 NEW BEST:: SOT 295057 SOS 141439 HAS SOPS 141439 HAS SOUS 66892 HAS SOUPS 66892 WITH SCORE 67033.439
AT ITER 6409 NEW BEST:: SOT 295016 SOS 141398 HAS SOPS 141398 HAS SOUS 66892 HAS SOUPS 66892 WITH SCORE 67033.398
AT ITER 6428 NEW BEST:: SOT 294630 SOS 141205 HAS SOPS 141205 HAS SOUS 66892 HAS SOUPS 66892 WITH SCORE 67033.205
AT ITER 6445 NEW BEST:: SOT 294901 SOS 141339 HAS SOPS 141339 HAS SOUS 66889 HAS SOUPS 66889 WITH SCORE 67030.339
AT ITER 6451 NEW BEST:: SOT 294830 SOS 141268 HAS SOPS 141268 HAS SOUS 66889 HAS SOUPS 66889 WITH SCORE 67030.268
AT ITER 6467 NEW BEST:: SOT 294830 SOS 141267 HAS SOPS 141267 HAS SOUS 66888 HAS SOUPS 66888 WITH SCORE 67029.267
AT ITER 6543 NEW BEST:: SOT 294830 SOS 141133 HAS SOPS 141133 HAS SOUS 66754 HAS SOUPS 66754 WITH SCORE 66895.133
AT ITER 6544 NEW BEST:: SOT 291955 SOS 138257 HAS SOPS 138257 HAS SOUS 63878 HAS SOUPS 63878 WITH SCORE 64016.257
AT ITER 6573 NEW BEST:: SOT 291955 SOS 138255 HAS SOPS 138255 HAS SOUS 63876 HAS SOUPS 63876 WITH SCORE 64014.255
AT ITER 6589 NEW BEST:: SOT 291893 SOS 138193 HAS SOPS 138193 HAS SOUS 63845 HAS SOUPS 63845 WITH SCORE 63983.193
AT ITER 6636 NEW BEST:: SOT 291809 SOS 138109 HAS SOPS 138109 HAS SOUS 63845 HAS SOUPS 63845 WITH SCORE 63983.109
AT ITER 6660 NEW BEST:: SOT 291809 SOS 138099 HAS SOPS 138099 HAS SOUS 63835 HAS SOUPS 63835 WITH SCORE 63973.099
AT ITER 6667 NEW BEST:: SOT 291860 SOS 138099 HAS SOPS 138099 HAS SOUS 63784 HAS SOUPS 63784 WITH SCORE 63922.099
AT ITER 6672 NEW BEST:: SOT 291851 SOS 138090 HAS SOPS 138090 HAS SOUS 63775 HAS SOUPS 63775 WITH SCORE 63913.09
AT ITER 6698 NEW BEST:: SOT 291832 SOS 138071 HAS SOPS 138071 HAS SOUS 63756 HAS SOUPS 63756 WITH SCORE 63894.071
AT ITER 6755 NEW BEST:: SOT 291832 SOS 138070 HAS SOPS 138070 HAS SOUS 63755 HAS SOUPS 63755 WITH SCORE 63893.07
AT ITER 6852 NEW BEST:: SOT 291832 SOS 138027 HAS SOPS 138027 HAS SOUS 63712 HAS SOUPS 63712 WITH SCORE 63850.027
AT ITER 6874 NEW BEST:: SOT 291832 SOS 138019 HAS SOPS 138019 HAS SOUS 63704 HAS SOUPS 63704 WITH SCORE 63842.019
AT ITER 6894 NEW BEST:: SOT 291330 SOS 137547 HAS SOPS 137547 HAS SOUS 63483 HAS SOUPS 63483 WITH SCORE 63620.547
AT ITER 6910 NEW BEST:: SOT 291327 SOS 137544 HAS SOPS 137544 HAS SOUS 63480 HAS SOUPS 63480 WITH SCORE 63617.544
AT ITER 7091 NEW BEST:: SOT 291457 SOS 137525 HAS SOPS 137525 HAS SOUS 63461 HAS SOUPS 63461 WITH SCORE 63598.525
AT ITER 7104 NEW BEST:: SOT 291194 SOS 137270 HAS SOPS 137270 HAS SOUS 63460 HAS SOUPS 63460 WITH SCORE 63597.27
AT ITER 7125 NEW BEST:: SOT 291227 SOS 137183 HAS SOPS 137183 HAS SOUS 63373 HAS SOUPS 63373 WITH SCORE 63510.183
AT ITER 7164 NEW BEST:: SOT 291207 SOS 137173 HAS SOPS 137173 HAS SOUS 63373 HAS SOUPS 63373 WITH SCORE 63510.173
AT ITER 7250 NEW BEST:: SOT 291207 SOS 137167 HAS SOPS 137167 HAS SOUS 63367 HAS SOUPS 63367 WITH SCORE 63504.167
AT ITER 7261 NEW BEST:: SOT 291205 SOS 137165 HAS SOPS 137165 HAS SOUS 63365 HAS SOUPS 63365 WITH SCORE 63502.165
AT ITER 7429 NEW BEST:: SOT 291510 SOS 137461 HAS SOPS 137461 HAS SOUS 63356 HAS SOUPS 63356 WITH SCORE 63493.461
AT ITER 7469 NEW BEST:: SOT 291510 SOS 137460 HAS SOPS 137460 HAS SOUS 63355 HAS SOUPS 63355 WITH SCORE 63492.46
AT ITER 7479 NEW BEST:: SOT 292081 SOS 137744 HAS SOPS 137744 HAS SOUS 63352 HAS SOUPS 63352 WITH SCORE 63489.744
AT ITER 7503 NEW BEST:: SOT 292081 SOS 137677 HAS SOPS 137677 HAS SOUS 63285 HAS SOUPS 63285 WITH SCORE 63422.677
AT ITER 7581 NEW BEST:: SOT 292081 SOS 137675 HAS SOPS 137675 HAS SOUS 63283 HAS SOUPS 63283 WITH SCORE 63420.675
AT ITER 7642 NEW BEST:: SOT 292080 SOS 137674 HAS SOPS 137674 HAS SOUS 63282 HAS SOUPS 63282 WITH SCORE 63419.674
AT ITER 7740 NEW BEST:: SOT 292080 SOS 137642 HAS SOPS 137642 HAS SOUS 63250 HAS SOUPS 63250 WITH SCORE 63387.642
AT ITER 7861 NEW BEST:: SOT 291751 SOS 137370 HAS SOPS 137370 HAS SOUS 63232 HAS SOUPS 63232 WITH SCORE 63369.37
AT ITER 7877 NEW BEST:: SOT 291619 SOS 137291 HAS SOPS 137291 HAS SOUS 63225 HAS SOUPS 63225 WITH SCORE 63362.291
AT ITER 7963 NEW BEST:: SOT 291619 SOS 137184 HAS SOPS 137184 HAS SOUS 63118 HAS SOUPS 63118 WITH SCORE 63255.184
AT ITER 7988 NEW BEST:: SOT 291285 SOS 136850 HAS SOPS 136850 HAS SOUS 63039 HAS SOUPS 63039 WITH SCORE 63175.85
AT ITER 8045 NEW BEST:: SOT 290741 SOS 136306 HAS SOPS 136306 HAS SOUS 62495 HAS SOUPS 62495 WITH SCORE 62631.306
AT ITER 8090 NEW BEST:: SOT 290741 SOS 136305 HAS SOPS 136305 HAS SOUS 62494 HAS SOUPS 62494 WITH SCORE 62630.305
AT ITER 8092 NEW BEST:: SOT 290741 SOS 136286 HAS SOPS 136286 HAS SOUS 62475 HAS SOUPS 62475 WITH SCORE 62611.286
AT ITER 8096 NEW BEST:: SOT 290740 SOS 136285 HAS SOPS 136285 HAS SOUS 62474 HAS SOUPS 62474 WITH SCORE 62610.285
AT ITER 8138 NEW BEST:: SOT 290754 SOS 136234 HAS SOPS 136234 HAS SOUS 62423 HAS SOUPS 62423 WITH SCORE 62559.234
AT ITER 8164 NEW BEST:: SOT 290754 SOS 136228 HAS SOPS 136228 HAS SOUS 62417 HAS SOUPS 62417 WITH SCORE 62553.228
AT ITER 8183 NEW BEST:: SOT 290742 SOS 136216 HAS SOPS 136216 HAS SOUS 62405 HAS SOUPS 62405 WITH SCORE 62541.216
AT ITER 8204 NEW BEST:: SOT 290742 SOS 136184 HAS SOPS 136184 HAS SOUS 62373 HAS SOUPS 62373 WITH SCORE 62509.184
AT ITER 8221 NEW BEST:: SOT 290742 SOS 136183 HAS SOPS 136183 HAS SOUS 62372 HAS SOUPS 62372 WITH SCORE 62508.183
AT ITER 8232 NEW BEST:: SOT 290740 SOS 136181 HAS SOPS 136181 HAS SOUS 62370 HAS SOUPS 62370 WITH SCORE 62506.181
AT ITER 8269 NEW BEST:: SOT 290646 SOS 136087 HAS SOPS 136087 HAS SOUS 62323 HAS SOUPS 62323 WITH SCORE 62459.087
AT ITER 8276 NEW BEST:: SOT 290646 SOS 135855 HAS SOPS 135855 HAS SOUS 62091 HAS SOUPS 62091 WITH SCORE 62226.855
AT ITER 8336 NEW BEST:: SOT 290224 SOS 135511 HAS SOPS 135511 HAS SOUS 61979 HAS SOUPS 61979 WITH SCORE 62114.511
AT ITER 8399 NEW BEST:: SOT 290224 SOS 135500 HAS SOPS 135500 HAS SOUS 61968 HAS SOUPS 61968 WITH SCORE 62103.5
AT ITER 8416 NEW BEST:: SOT 290219 SOS 135495 HAS SOPS 135495 HAS SOUS 61963 HAS SOUPS 61963 WITH SCORE 62098.495
AT ITER 8444 NEW BEST:: SOT 289978 SOS 135269 HAS SOPS 135269 HAS SOUS 61867 HAS SOUPS 61867 WITH SCORE 62002.269
AT ITER 8530 NEW BEST:: SOT 289964 SOS 135255 HAS SOPS 135255 HAS SOUS 61853 HAS SOUPS 61853 WITH SCORE 61988.255
AT ITER 8688 NEW BEST:: SOT 289906 SOS 135197 HAS SOPS 135197 HAS SOUS 61853 HAS SOUPS 61853 WITH SCORE 61988.197
AT ITER 8721 NEW BEST:: SOT 289875 SOS 135166 HAS SOPS 135166 HAS SOUS 61822 HAS SOUPS 61822 WITH SCORE 61957.166
AT ITER 8740 NEW BEST:: SOT 289719 SOS 135010 HAS SOPS 135010 HAS SOUS 61822 HAS SOUPS 61822 WITH SCORE 61957.01
AT ITER 8767 NEW BEST:: SOT 289700 SOS 134991 HAS SOPS 134991 HAS SOUS 61803 HAS SOUPS 61803 WITH SCORE 61937.991
AT ITER 8816 NEW BEST:: SOT 289733 SOS 134991 HAS SOPS 134991 HAS SOUS 61770 HAS SOUPS 61770 WITH SCORE 61904.991
AT ITER 8846 NEW BEST:: SOT 289596 SOS 134854 HAS SOPS 134854 HAS SOUS 61750 HAS SOUPS 61750 WITH SCORE 61884.854
AT ITER 8860 NEW BEST:: SOT 289546 SOS 134829 HAS SOPS 134829 HAS SOUS 61750 HAS SOUPS 61750 WITH SCORE 61884.829
AT ITER 8862 NEW BEST:: SOT 289354 SOS 134733 HAS SOPS 134733 HAS SOUS 61750 HAS SOUPS 61750 WITH SCORE 61884.733
AT ITER 8880 NEW BEST:: SOT 289409 SOS 134724 HAS SOPS 134724 HAS SOUS 61741 HAS SOUPS 61741 WITH SCORE 61875.724
AT ITER 8955 NEW BEST:: SOT 289363 SOS 134678 HAS SOPS 134678 HAS SOUS 61718 HAS SOUPS 61718 WITH SCORE 61852.678
AT ITER 8980 NEW BEST:: SOT 288897 SOS 134332 HAS SOPS 134332 HAS SOUS 61605 HAS SOUPS 61605 WITH SCORE 61739.332
AT ITER 9037 NEW BEST:: SOT 288897 SOS 134331 HAS SOPS 134331 HAS SOUS 61604 HAS SOUPS 61604 WITH SCORE 61738.331
AT ITER 9054 NEW BEST:: SOT 288897 SOS 134326 HAS SOPS 134326 HAS SOUS 61599 HAS SOUPS 61599 WITH SCORE 61733.326
AT ITER 9103 NEW BEST:: SOT 288897 SOS 134310 HAS SOPS 134310 HAS SOUS 61583 HAS SOUPS 61583 WITH SCORE 61717.31
AT ITER 9153 NEW BEST:: SOT 288897 SOS 134306 HAS SOPS 134306 HAS SOUS 61579 HAS SOUPS 61579 WITH SCORE 61713.306
AT ITER 9168 NEW BEST:: SOT 288896 SOS 134305 HAS SOPS 134305 HAS SOUS 61578 HAS SOUPS 61578 WITH SCORE 61712.305
AT ITER 9205 NEW BEST:: SOT 289159 SOS 134433 HAS SOPS 134433 HAS SOUS 61571 HAS SOUPS 61571 WITH SCORE 61705.433
AT ITER 9283 NEW BEST:: SOT 289147 SOS 134421 HAS SOPS 134421 HAS SOUS 61571 HAS SOUPS 61571 WITH SCORE 61705.421
AT ITER 9391 NEW BEST:: SOT 289107 SOS 134341 HAS SOPS 134341 HAS SOUS 61531 HAS SOUPS 61531 WITH SCORE 61665.341
AT ITER 9555 NEW BEST:: SOT 289107 SOS 134309 HAS SOPS 134309 HAS SOUS 61499 HAS SOUPS 61499 WITH SCORE 61633.309
AT ITER 9715 NEW BEST:: SOT 289107 SOS 134300 HAS SOPS 134300 HAS SOUS 61490 HAS SOUPS 61490 WITH SCORE 61624.3
AT ITER 9777 NEW BEST:: SOT 289006 SOS 134199 HAS SOPS 134199 HAS SOUS 61490 HAS SOUPS 61490 WITH SCORE 61624.199
AT ITER 9816 NEW BEST:: SOT 289006 SOS 134043 HAS SOPS 134043 HAS SOUS 61334 HAS SOUPS 61334 WITH SCORE 61468.043
AT ITER 9954 NEW BEST:: SOT 288987 SOS 134024 HAS SOPS 134024 HAS SOUS 61315 HAS SOUPS 61315 WITH SCORE 61449.024
AT ITER 9967 NEW BEST:: SOT 289032 SOS 133979 HAS SOPS 133979 HAS SOUS 61315 HAS SOUPS 61315 WITH SCORE 61448.979
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3840016 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150916 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-PT-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-PT-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-167873943500888"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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