Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140400300.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is HypertorusGrid-PT-d3k3p2b06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140400300
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 3.6K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 522K Apr 27 15:14 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-00
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-01
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-02
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-03
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-04
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-05
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-06
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-07
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-08
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-09
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-10
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-11
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-12
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-13
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-14
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589613966880

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d3k3p2b06
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 513 places, 972 transitions, 3888 arcs.
AT ITER 0 NEW BEST:: SOT 309459 SOS 127305 HAS SOPS 127305 HAS SOUS 64373 HAS SOUPS 64373 WITH SCORE 64500.305
AT ITER 23 NEW BEST:: SOT 309459 SOS 127305 HAS SOPS 127305 HAS SOUS 64363 HAS SOUPS 64363 WITH SCORE 64490.305
AT ITER 25 NEW BEST:: SOT 309397 SOS 126933 HAS SOPS 126933 HAS SOUS 64239 HAS SOUPS 64239 WITH SCORE 64365.933
AT ITER 26 NEW BEST:: SOT 309397 SOS 126628 HAS SOPS 126628 HAS SOUS 64178 HAS SOUPS 64178 WITH SCORE 64304.628
AT ITER 29 NEW BEST:: SOT 309359 SOS 126590 HAS SOPS 126590 HAS SOUS 64124 HAS SOUPS 64124 WITH SCORE 64250.59
AT ITER 33 NEW BEST:: SOT 309296 SOS 126212 HAS SOPS 126212 HAS SOUS 63998 HAS SOUPS 63998 WITH SCORE 64124.212
AT ITER 46 NEW BEST:: SOT 309295 SOS 126206 HAS SOPS 126206 HAS SOUS 63996 HAS SOUPS 63996 WITH SCORE 64122.206
AT ITER 49 NEW BEST:: SOT 309295 SOS 125984 HAS SOPS 125984 HAS SOUS 63922 HAS SOUPS 63922 WITH SCORE 64047.984
AT ITER 71 NEW BEST:: SOT 309225 SOS 125900 HAS SOPS 125900 HAS SOUS 63854 HAS SOUPS 63854 WITH SCORE 63979.9
AT ITER 76 NEW BEST:: SOT 308925 SOS 125282 HAS SOPS 125282 HAS SOUS 63568 HAS SOUPS 63568 WITH SCORE 63693.282
AT ITER 90 NEW BEST:: SOT 308586 SOS 124604 HAS SOPS 124604 HAS SOUS 63262 HAS SOUPS 63262 WITH SCORE 63386.604
AT ITER 95 NEW BEST:: SOT 308577 SOS 124595 HAS SOPS 124595 HAS SOUS 63253 HAS SOUPS 63253 WITH SCORE 63377.595
AT ITER 111 NEW BEST:: SOT 308752 SOS 124920 HAS SOPS 124920 HAS SOUS 63205 HAS SOUPS 63205 WITH SCORE 63329.92
AT ITER 113 NEW BEST:: SOT 308680 SOS 124957 HAS SOPS 124957 HAS SOUS 63146 HAS SOUPS 63146 WITH SCORE 63270.957
AT ITER 119 NEW BEST:: SOT 308680 SOS 124783 HAS SOPS 124783 HAS SOUS 63088 HAS SOUPS 63088 WITH SCORE 63212.783
AT ITER 143 NEW BEST:: SOT 308407 SOS 124405 HAS SOPS 124405 HAS SOUS 62794 HAS SOUPS 62794 WITH SCORE 62918.405
AT ITER 146 NEW BEST:: SOT 308350 SOS 124006 HAS SOPS 124006 HAS SOUS 62623 HAS SOUPS 62623 WITH SCORE 62747.006
AT ITER 156 NEW BEST:: SOT 308350 SOS 124006 HAS SOPS 124006 HAS SOUS 62614 HAS SOUPS 62614 WITH SCORE 62738.006
AT ITER 159 NEW BEST:: SOT 308350 SOS 124006 HAS SOPS 124006 HAS SOUS 62564 HAS SOUPS 62564 WITH SCORE 62688.006
AT ITER 163 NEW BEST:: SOT 308313 SOS 123747 HAS SOPS 123747 HAS SOUS 62453 HAS SOUPS 62453 WITH SCORE 62576.747
AT ITER 174 NEW BEST:: SOT 307955 SOS 123031 HAS SOPS 123031 HAS SOUS 62033 HAS SOUPS 62033 WITH SCORE 62156.031
AT ITER 176 NEW BEST:: SOT 307943 SOS 123019 HAS SOPS 123019 HAS SOUS 62021 HAS SOUPS 62021 WITH SCORE 62144.019
AT ITER 181 NEW BEST:: SOT 307839 SOS 122894 HAS SOPS 122894 HAS SOUS 61823 HAS SOUPS 61823 WITH SCORE 61945.894
AT ITER 191 NEW BEST:: SOT 307839 SOS 122898 HAS SOPS 122898 HAS SOUS 61818 HAS SOUPS 61818 WITH SCORE 61940.898
AT ITER 192 NEW BEST:: SOT 307839 SOS 122890 HAS SOPS 122890 HAS SOUS 61810 HAS SOUPS 61810 WITH SCORE 61932.89
AT ITER 207 NEW BEST:: SOT 307866 SOS 122917 HAS SOPS 122917 HAS SOUS 61759 HAS SOUPS 61759 WITH SCORE 61881.917
AT ITER 210 NEW BEST:: SOT 307866 SOS 122687 HAS SOPS 122687 HAS SOUS 61713 HAS SOUPS 61713 WITH SCORE 61835.687
AT ITER 211 NEW BEST:: SOT 307570 SOS 122327 HAS SOPS 122327 HAS SOUS 61409 HAS SOUPS 61409 WITH SCORE 61531.327
AT ITER 240 NEW BEST:: SOT 307395 SOS 121897 HAS SOPS 121897 HAS SOUS 61235 HAS SOUPS 61235 WITH SCORE 61356.897
AT ITER 245 NEW BEST:: SOT 307290 SOS 121727 HAS SOPS 121727 HAS SOUS 60989 HAS SOUPS 60989 WITH SCORE 61110.727
AT ITER 247 NEW BEST:: SOT 307003 SOS 121149 HAS SOPS 121149 HAS SOUS 60696 HAS SOUPS 60696 WITH SCORE 60817.149
AT ITER 255 NEW BEST:: SOT 306982 SOS 121152 HAS SOPS 121152 HAS SOUS 60564 HAS SOUPS 60564 WITH SCORE 60685.152
AT ITER 264 NEW BEST:: SOT 306982 SOS 121105 HAS SOPS 121105 HAS SOUS 60517 HAS SOUPS 60517 WITH SCORE 60638.105
AT ITER 268 NEW BEST:: SOT 306692 SOS 120467 HAS SOPS 120467 HAS SOUS 60111 HAS SOUPS 60111 WITH SCORE 60231.467
AT ITER 303 NEW BEST:: SOT 306692 SOS 120377 HAS SOPS 120377 HAS SOUS 60093 HAS SOUPS 60093 WITH SCORE 60213.377
AT ITER 307 NEW BEST:: SOT 306673 SOS 120358 HAS SOPS 120358 HAS SOUS 60093 HAS SOUPS 60093 WITH SCORE 60213.358
AT ITER 308 NEW BEST:: SOT 306636 SOS 120284 HAS SOPS 120284 HAS SOUS 59759 HAS SOUPS 59759 WITH SCORE 59879.284
AT ITER 326 NEW BEST:: SOT 306681 SOS 120743 HAS SOPS 120743 HAS SOUS 59710 HAS SOUPS 59710 WITH SCORE 59830.743
AT ITER 386 NEW BEST:: SOT 306675 SOS 120725 HAS SOPS 120725 HAS SOUS 59692 HAS SOUPS 59692 WITH SCORE 59812.725
AT ITER 395 NEW BEST:: SOT 306675 SOS 120719 HAS SOPS 120719 HAS SOUS 59686 HAS SOUPS 59686 WITH SCORE 59806.719
AT ITER 397 NEW BEST:: SOT 306580 SOS 120605 HAS SOPS 120605 HAS SOUS 59516 HAS SOUPS 59516 WITH SCORE 59636.605
AT ITER 399 NEW BEST:: SOT 306558 SOS 120583 HAS SOPS 120583 HAS SOUS 59507 HAS SOUPS 59507 WITH SCORE 59627.583
AT ITER 404 NEW BEST:: SOT 306558 SOS 120588 HAS SOPS 120588 HAS SOUS 59504 HAS SOUPS 59504 WITH SCORE 59624.588
AT ITER 436 NEW BEST:: SOT 306558 SOS 120588 HAS SOPS 120588 HAS SOUS 59439 HAS SOUPS 59439 WITH SCORE 59559.588
AT ITER 438 NEW BEST:: SOT 306618 SOS 120948 HAS SOPS 120948 HAS SOUS 59271 HAS SOUPS 59271 WITH SCORE 59391.948
AT ITER 455 NEW BEST:: SOT 306538 SOS 120881 HAS SOPS 120881 HAS SOUS 59208 HAS SOUPS 59208 WITH SCORE 59328.881
AT ITER 460 NEW BEST:: SOT 306478 SOS 120821 HAS SOPS 120821 HAS SOUS 59148 HAS SOUPS 59148 WITH SCORE 59268.821
AT ITER 462 NEW BEST:: SOT 306493 SOS 120626 HAS SOPS 120626 HAS SOUS 59133 HAS SOUPS 59133 WITH SCORE 59253.626
AT ITER 478 NEW BEST:: SOT 306485 SOS 120525 HAS SOPS 120525 HAS SOUS 59064 HAS SOUPS 59064 WITH SCORE 59184.525
AT ITER 479 NEW BEST:: SOT 306485 SOS 120685 HAS SOPS 120685 HAS SOUS 59024 HAS SOUPS 59024 WITH SCORE 59144.685
AT ITER 493 NEW BEST:: SOT 306434 SOS 120634 HAS SOPS 120634 HAS SOUS 58973 HAS SOUPS 58973 WITH SCORE 59093.634
AT ITER 510 NEW BEST:: SOT 306427 SOS 120573 HAS SOPS 120573 HAS SOUS 58940 HAS SOUPS 58940 WITH SCORE 59060.573
AT ITER 511 NEW BEST:: SOT 306427 SOS 120507 HAS SOPS 120507 HAS SOUS 58918 HAS SOUPS 58918 WITH SCORE 59038.507
AT ITER 513 NEW BEST:: SOT 306303 SOS 120383 HAS SOPS 120383 HAS SOUS 58794 HAS SOUPS 58794 WITH SCORE 58914.383
AT ITER 514 NEW BEST:: SOT 306303 SOS 120383 HAS SOPS 120383 HAS SOUS 58757 HAS SOUPS 58757 WITH SCORE 58877.383
AT ITER 524 NEW BEST:: SOT 306101 SOS 120191 HAS SOPS 120191 HAS SOUS 58615 HAS SOUPS 58615 WITH SCORE 58735.191
AT ITER 526 NEW BEST:: SOT 305987 SOS 120067 HAS SOPS 120067 HAS SOUS 58499 HAS SOUPS 58499 WITH SCORE 58619.067
AT ITER 527 NEW BEST:: SOT 305984 SOS 120064 HAS SOPS 120064 HAS SOUS 58496 HAS SOUPS 58496 WITH SCORE 58616.064
AT ITER 530 NEW BEST:: SOT 305772 SOS 119528 HAS SOPS 119528 HAS SOUS 58280 HAS SOUPS 58280 WITH SCORE 58399.528
AT ITER 531 NEW BEST:: SOT 305707 SOS 119470 HAS SOPS 119470 HAS SOUS 58222 HAS SOUPS 58222 WITH SCORE 58341.47
AT ITER 548 NEW BEST:: SOT 305707 SOS 119470 HAS SOPS 119470 HAS SOUS 58212 HAS SOUPS 58212 WITH SCORE 58331.47
AT ITER 570 NEW BEST:: SOT 305512 SOS 118910 HAS SOPS 118910 HAS SOUS 58188 HAS SOUPS 58188 WITH SCORE 58306.91
AT ITER 578 NEW BEST:: SOT 305512 SOS 118910 HAS SOPS 118910 HAS SOUS 58177 HAS SOUPS 58177 WITH SCORE 58295.91
AT ITER 590 NEW BEST:: SOT 305512 SOS 118544 HAS SOPS 118544 HAS SOUS 58055 HAS SOUPS 58055 WITH SCORE 58173.544
AT ITER 603 NEW BEST:: SOT 305512 SOS 118560 HAS SOPS 118560 HAS SOUS 58039 HAS SOUPS 58039 WITH SCORE 58157.56
AT ITER 616 NEW BEST:: SOT 305508 SOS 118556 HAS SOPS 118556 HAS SOUS 58039 HAS SOUPS 58039 WITH SCORE 58157.556
AT ITER 619 NEW BEST:: SOT 305508 SOS 118541 HAS SOPS 118541 HAS SOUS 58024 HAS SOUPS 58024 WITH SCORE 58142.541
AT ITER 642 NEW BEST:: SOT 305484 SOS 118517 HAS SOPS 118517 HAS SOUS 58000 HAS SOUPS 58000 WITH SCORE 58118.517
AT ITER 647 NEW BEST:: SOT 305219 SOS 118199 HAS SOPS 118199 HAS SOUS 57494 HAS SOUPS 57494 WITH SCORE 57612.199
AT ITER 658 NEW BEST:: SOT 305219 SOS 118115 HAS SOPS 118115 HAS SOUS 57494 HAS SOUPS 57494 WITH SCORE 57612.115
AT ITER 718 NEW BEST:: SOT 305219 SOS 118105 HAS SOPS 118105 HAS SOUS 57484 HAS SOUPS 57484 WITH SCORE 57602.105
AT ITER 721 NEW BEST:: SOT 305137 SOS 117973 HAS SOPS 117973 HAS SOUS 57392 HAS SOUPS 57392 WITH SCORE 57509.973
AT ITER 733 NEW BEST:: SOT 305137 SOS 117973 HAS SOPS 117973 HAS SOUS 57299 HAS SOUPS 57299 WITH SCORE 57416.973
AT ITER 734 NEW BEST:: SOT 305092 SOS 117850 HAS SOPS 117850 HAS SOUS 57228 HAS SOUPS 57228 WITH SCORE 57345.85
AT ITER 749 NEW BEST:: SOT 304882 SOS 117402 HAS SOPS 117402 HAS SOUS 57011 HAS SOUPS 57011 WITH SCORE 57128.402
AT ITER 754 NEW BEST:: SOT 304867 SOS 117292 HAS SOPS 117292 HAS SOUS 56959 HAS SOUPS 56959 WITH SCORE 57076.292
AT ITER 766 NEW BEST:: SOT 304867 SOS 117269 HAS SOPS 117269 HAS SOUS 56936 HAS SOUPS 56936 WITH SCORE 57053.269
AT ITER 769 NEW BEST:: SOT 304844 SOS 117246 HAS SOPS 117246 HAS SOUS 56913 HAS SOUPS 56913 WITH SCORE 57030.246
AT ITER 770 NEW BEST:: SOT 304834 SOS 117234 HAS SOPS 117234 HAS SOUS 56861 HAS SOUPS 56861 WITH SCORE 56978.234
AT ITER 772 NEW BEST:: SOT 304778 SOS 116926 HAS SOPS 116926 HAS SOUS 56721 HAS SOUPS 56721 WITH SCORE 56837.926
AT ITER 794 NEW BEST:: SOT 304754 SOS 116902 HAS SOPS 116902 HAS SOUS 56697 HAS SOUPS 56697 WITH SCORE 56813.902
AT ITER 796 NEW BEST:: SOT 304754 SOS 116830 HAS SOPS 116830 HAS SOUS 56673 HAS SOUPS 56673 WITH SCORE 56789.83
AT ITER 814 NEW BEST:: SOT 304754 SOS 116785 HAS SOPS 116785 HAS SOUS 56580 HAS SOUPS 56580 WITH SCORE 56696.785
AT ITER 818 NEW BEST:: SOT 304727 SOS 116623 HAS SOPS 116623 HAS SOUS 56526 HAS SOUPS 56526 WITH SCORE 56642.623
AT ITER 820 NEW BEST:: SOT 304727 SOS 116651 HAS SOPS 116651 HAS SOUS 56496 HAS SOUPS 56496 WITH SCORE 56612.651
AT ITER 828 NEW BEST:: SOT 304689 SOS 116613 HAS SOPS 116613 HAS SOUS 56360 HAS SOUPS 56360 WITH SCORE 56476.613
AT ITER 829 NEW BEST:: SOT 304549 SOS 116445 HAS SOPS 116445 HAS SOUS 56192 HAS SOUPS 56192 WITH SCORE 56308.445
AT ITER 880 NEW BEST:: SOT 304549 SOS 116356 HAS SOPS 116356 HAS SOUS 56042 HAS SOUPS 56042 WITH SCORE 56158.356
AT ITER 895 NEW BEST:: SOT 304549 SOS 115954 HAS SOPS 115954 HAS SOUS 55908 HAS SOUPS 55908 WITH SCORE 56023.954
AT ITER 933 NEW BEST:: SOT 304568 SOS 115813 HAS SOPS 115813 HAS SOUS 55895 HAS SOUPS 55895 WITH SCORE 56010.813
AT ITER 961 NEW BEST:: SOT 304568 SOS 115759 HAS SOPS 115759 HAS SOUS 55877 HAS SOUPS 55877 WITH SCORE 55992.759
AT ITER 962 NEW BEST:: SOT 304533 SOS 115724 HAS SOPS 115724 HAS SOUS 55803 HAS SOUPS 55803 WITH SCORE 55918.724
AT ITER 965 NEW BEST:: SOT 304533 SOS 115744 HAS SOPS 115744 HAS SOUS 55787 HAS SOUPS 55787 WITH SCORE 55902.744
AT ITER 975 NEW BEST:: SOT 304500 SOS 115711 HAS SOPS 115711 HAS SOUS 55776 HAS SOUPS 55776 WITH SCORE 55891.711
AT ITER 977 NEW BEST:: SOT 304348 SOS 115559 HAS SOPS 115559 HAS SOUS 55624 HAS SOUPS 55624 WITH SCORE 55739.559
AT ITER 979 NEW BEST:: SOT 304348 SOS 115529 HAS SOPS 115529 HAS SOUS 55614 HAS SOUPS 55614 WITH SCORE 55729.529
AT ITER 980 NEW BEST:: SOT 304327 SOS 115444 HAS SOPS 115444 HAS SOUS 55523 HAS SOUPS 55523 WITH SCORE 55638.444
AT ITER 991 NEW BEST:: SOT 304287 SOS 115404 HAS SOPS 115404 HAS SOUS 55483 HAS SOUPS 55483 WITH SCORE 55598.404
AT ITER 1026 NEW BEST:: SOT 304287 SOS 114978 HAS SOPS 114978 HAS SOUS 55341 HAS SOUPS 55341 WITH SCORE 55455.978
AT ITER 1035 NEW BEST:: SOT 304287 SOS 114576 HAS SOPS 114576 HAS SOUS 55207 HAS SOUPS 55207 WITH SCORE 55321.576
AT ITER 1054 NEW BEST:: SOT 304272 SOS 114425 HAS SOPS 114425 HAS SOUS 55108 HAS SOUPS 55108 WITH SCORE 55222.425
AT ITER 1060 NEW BEST:: SOT 304267 SOS 114417 HAS SOPS 114417 HAS SOUS 55100 HAS SOUPS 55100 WITH SCORE 55214.417
AT ITER 1071 NEW BEST:: SOT 304267 SOS 114417 HAS SOPS 114417 HAS SOUS 55076 HAS SOUPS 55076 WITH SCORE 55190.417
AT ITER 1077 NEW BEST:: SOT 304182 SOS 114315 HAS SOPS 114315 HAS SOUS 54906 HAS SOUPS 54906 WITH SCORE 55020.315
AT ITER 1088 NEW BEST:: SOT 303918 SOS 114135 HAS SOPS 114135 HAS SOUS 54679 HAS SOUPS 54679 WITH SCORE 54793.135
AT ITER 1107 NEW BEST:: SOT 303861 SOS 113793 HAS SOPS 113793 HAS SOUS 54565 HAS SOUPS 54565 WITH SCORE 54678.793
AT ITER 1120 NEW BEST:: SOT 303861 SOS 113468 HAS SOPS 113468 HAS SOUS 54500 HAS SOUPS 54500 WITH SCORE 54613.468
AT ITER 1143 NEW BEST:: SOT 303861 SOS 113318 HAS SOPS 113318 HAS SOUS 54470 HAS SOUPS 54470 WITH SCORE 54583.318
AT ITER 1158 NEW BEST:: SOT 303868 SOS 113325 HAS SOPS 113325 HAS SOUS 54456 HAS SOUPS 54456 WITH SCORE 54569.325
AT ITER 1159 NEW BEST:: SOT 303861 SOS 113311 HAS SOPS 113311 HAS SOUS 54414 HAS SOUPS 54414 WITH SCORE 54527.311
AT ITER 1170 NEW BEST:: SOT 303809 SOS 112999 HAS SOPS 112999 HAS SOUS 54310 HAS SOUPS 54310 WITH SCORE 54422.999
AT ITER 1186 NEW BEST:: SOT 303761 SOS 112707 HAS SOPS 112707 HAS SOUS 54306 HAS SOUPS 54306 WITH SCORE 54418.707
AT ITER 1189 NEW BEST:: SOT 303761 SOS 112691 HAS SOPS 112691 HAS SOUS 54290 HAS SOUPS 54290 WITH SCORE 54402.691
AT ITER 1195 NEW BEST:: SOT 303746 SOS 112673 HAS SOPS 112673 HAS SOUS 54272 HAS SOUPS 54272 WITH SCORE 54384.673
AT ITER 1224 NEW BEST:: SOT 303736 SOS 112661 HAS SOPS 112661 HAS SOUS 54260 HAS SOUPS 54260 WITH SCORE 54372.661
AT ITER 1248 NEW BEST:: SOT 303566 SOS 112457 HAS SOPS 112457 HAS SOUS 54120 HAS SOUPS 54120 WITH SCORE 54232.457
AT ITER 1250 NEW BEST:: SOT 303386 SOS 112277 HAS SOPS 112277 HAS SOUS 53940 HAS SOUPS 53940 WITH SCORE 54052.277
AT ITER 1255 NEW BEST:: SOT 303069 SOS 111623 HAS SOPS 111623 HAS SOUS 53666 HAS SOUPS 53666 WITH SCORE 53777.623
AT ITER 1260 NEW BEST:: SOT 302964 SOS 111497 HAS SOPS 111497 HAS SOUS 53435 HAS SOUPS 53435 WITH SCORE 53546.497
AT ITER 1264 NEW BEST:: SOT 302598 SOS 111137 HAS SOPS 111137 HAS SOUS 53075 HAS SOUPS 53075 WITH SCORE 53186.137
AT ITER 1276 NEW BEST:: SOT 302506 SOS 111045 HAS SOPS 111045 HAS SOUS 52983 HAS SOUPS 52983 WITH SCORE 53094.045
AT ITER 1279 NEW BEST:: SOT 302505 SOS 111044 HAS SOPS 111044 HAS SOUS 52982 HAS SOUPS 52982 WITH SCORE 53093.044
AT ITER 1303 NEW BEST:: SOT 302505 SOS 111044 HAS SOPS 111044 HAS SOUS 52979 HAS SOUPS 52979 WITH SCORE 53090.044
AT ITER 1306 NEW BEST:: SOT 302486 SOS 111090 HAS SOPS 111090 HAS SOUS 52973 HAS SOUPS 52973 WITH SCORE 53084.09
AT ITER 1331 NEW BEST:: SOT 302424 SOS 110718 HAS SOPS 110718 HAS SOUS 52849 HAS SOUPS 52849 WITH SCORE 52959.718
AT ITER 1334 NEW BEST:: SOT 302406 SOS 110700 HAS SOPS 110700 HAS SOUS 52813 HAS SOUPS 52813 WITH SCORE 52923.7
AT ITER 1352 NEW BEST:: SOT 302395 SOS 110634 HAS SOPS 110634 HAS SOUS 52791 HAS SOUPS 52791 WITH SCORE 52901.634
AT ITER 1365 NEW BEST:: SOT 302395 SOS 110589 HAS SOPS 110589 HAS SOUS 52782 HAS SOUPS 52782 WITH SCORE 52892.589
AT ITER 1384 NEW BEST:: SOT 302321 SOS 110263 HAS SOPS 110263 HAS SOUS 52778 HAS SOUPS 52778 WITH SCORE 52888.263
AT ITER 1423 NEW BEST:: SOT 302312 SOS 110209 HAS SOPS 110209 HAS SOUS 52760 HAS SOUPS 52760 WITH SCORE 52870.209
AT ITER 1425 NEW BEST:: SOT 302312 SOS 110449 HAS SOPS 110449 HAS SOUS 52680 HAS SOUPS 52680 WITH SCORE 52790.449
AT ITER 1461 NEW BEST:: SOT 302280 SOS 110417 HAS SOPS 110417 HAS SOUS 52648 HAS SOUPS 52648 WITH SCORE 52758.417
AT ITER 1486 NEW BEST:: SOT 302010 SOS 110147 HAS SOPS 110147 HAS SOUS 52378 HAS SOUPS 52378 WITH SCORE 52488.147
AT ITER 1497 NEW BEST:: SOT 301989 SOS 110024 HAS SOPS 110024 HAS SOUS 52336 HAS SOUPS 52336 WITH SCORE 52446.024
AT ITER 1499 NEW BEST:: SOT 301961 SOS 109870 HAS SOPS 109870 HAS SOUS 52336 HAS SOUPS 52336 WITH SCORE 52445.87
AT ITER 1504 NEW BEST:: SOT 301921 SOS 109830 HAS SOPS 109830 HAS SOUS 52296 HAS SOUPS 52296 WITH SCORE 52405.83
AT ITER 1516 NEW BEST:: SOT 301921 SOS 109806 HAS SOPS 109806 HAS SOUS 52268 HAS SOUPS 52268 WITH SCORE 52377.806
AT ITER 1564 NEW BEST:: SOT 301921 SOS 109806 HAS SOPS 109806 HAS SOUS 52218 HAS SOUPS 52218 WITH SCORE 52327.806
AT ITER 1568 NEW BEST:: SOT 301636 SOS 109384 HAS SOPS 109384 HAS SOUS 51936 HAS SOUPS 51936 WITH SCORE 52045.384
AT ITER 1586 NEW BEST:: SOT 301450 SOS 108980 HAS SOPS 108980 HAS SOUS 51768 HAS SOUPS 51768 WITH SCORE 51876.98
AT ITER 1611 NEW BEST:: SOT 301429 SOS 108833 HAS SOPS 108833 HAS SOUS 51705 HAS SOUPS 51705 WITH SCORE 51813.833
AT ITER 1627 NEW BEST:: SOT 301429 SOS 108527 HAS SOPS 108527 HAS SOUS 51603 HAS SOUPS 51603 WITH SCORE 51711.527
AT ITER 1638 NEW BEST:: SOT 301439 SOS 108764 HAS SOPS 108764 HAS SOUS 51568 HAS SOUPS 51568 WITH SCORE 51676.764
AT ITER 1654 NEW BEST:: SOT 301426 SOS 108673 HAS SOPS 108673 HAS SOUS 51529 HAS SOUPS 51529 WITH SCORE 51637.673
AT ITER 1656 NEW BEST:: SOT 301413 SOS 108660 HAS SOPS 108660 HAS SOUS 51516 HAS SOUPS 51516 WITH SCORE 51624.66
AT ITER 1695 NEW BEST:: SOT 301341 SOS 108588 HAS SOPS 108588 HAS SOUS 51444 HAS SOUPS 51444 WITH SCORE 51552.588
AT ITER 1701 NEW BEST:: SOT 301305 SOS 108384 HAS SOPS 108384 HAS SOUS 51438 HAS SOUPS 51438 WITH SCORE 51546.384
AT ITER 1719 NEW BEST:: SOT 301298 SOS 108342 HAS SOPS 108342 HAS SOUS 51424 HAS SOUPS 51424 WITH SCORE 51532.342
AT ITER 1720 NEW BEST:: SOT 301488 SOS 108577 HAS SOPS 108577 HAS SOUS 51408 HAS SOUPS 51408 WITH SCORE 51516.577
AT ITER 1721 NEW BEST:: SOT 301453 SOS 108535 HAS SOPS 108535 HAS SOUS 51366 HAS SOUPS 51366 WITH SCORE 51474.535
AT ITER 1735 NEW BEST:: SOT 301408 SOS 108490 HAS SOPS 108490 HAS SOUS 51321 HAS SOUPS 51321 WITH SCORE 51429.49
AT ITER 1768 NEW BEST:: SOT 301408 SOS 108350 HAS SOPS 108350 HAS SOUS 51293 HAS SOUPS 51293 WITH SCORE 51401.35
AT ITER 1773 NEW BEST:: SOT 301173 SOS 107833 HAS SOPS 107833 HAS SOUS 50964 HAS SOUPS 50964 WITH SCORE 51071.833
AT ITER 1776 NEW BEST:: SOT 301173 SOS 107833 HAS SOPS 107833 HAS SOUS 50915 HAS SOUPS 50915 WITH SCORE 51022.833
AT ITER 1794 NEW BEST:: SOT 301173 SOS 107833 HAS SOPS 107833 HAS SOUS 50910 HAS SOUPS 50910 WITH SCORE 51017.833
AT ITER 1798 NEW BEST:: SOT 301173 SOS 107836 HAS SOPS 107836 HAS SOUS 50889 HAS SOUPS 50889 WITH SCORE 50996.836
AT ITER 1817 NEW BEST:: SOT 301141 SOS 107644 HAS SOPS 107644 HAS SOUS 50825 HAS SOUPS 50825 WITH SCORE 50932.644
AT ITER 1827 NEW BEST:: SOT 301129 SOS 107632 HAS SOPS 107632 HAS SOUS 50813 HAS SOUPS 50813 WITH SCORE 50920.632
AT ITER 1868 NEW BEST:: SOT 301129 SOS 107632 HAS SOPS 107632 HAS SOUS 50797 HAS SOUPS 50797 WITH SCORE 50904.632
AT ITER 1888 NEW BEST:: SOT 301127 SOS 107620 HAS SOPS 107620 HAS SOUS 50793 HAS SOUPS 50793 WITH SCORE 50900.62
AT ITER 1913 NEW BEST:: SOT 301127 SOS 107635 HAS SOPS 107635 HAS SOUS 50783 HAS SOUPS 50783 WITH SCORE 50890.635
AT ITER 1936 NEW BEST:: SOT 301112 SOS 107605 HAS SOPS 107605 HAS SOUS 50765 HAS SOUPS 50765 WITH SCORE 50872.605
AT ITER 1960 NEW BEST:: SOT 301104 SOS 107557 HAS SOPS 107557 HAS SOUS 50749 HAS SOUPS 50749 WITH SCORE 50856.557
AT ITER 1962 NEW BEST:: SOT 301104 SOS 107557 HAS SOPS 107557 HAS SOUS 50724 HAS SOUPS 50724 WITH SCORE 50831.557
AT ITER 1969 NEW BEST:: SOT 301104 SOS 107557 HAS SOPS 107557 HAS SOUS 50664 HAS SOUPS 50664 WITH SCORE 50771.557
AT ITER 1973 NEW BEST:: SOT 301079 SOS 107532 HAS SOPS 107532 HAS SOUS 50649 HAS SOUPS 50649 WITH SCORE 50756.532
AT ITER 1974 NEW BEST:: SOT 301069 SOS 107522 HAS SOPS 107522 HAS SOUS 50626 HAS SOUPS 50626 WITH SCORE 50733.522
AT ITER 1986 NEW BEST:: SOT 301077 SOS 107485 HAS SOPS 107485 HAS SOUS 50625 HAS SOUPS 50625 WITH SCORE 50732.485
AT ITER 2030 NEW BEST:: SOT 301077 SOS 107329 HAS SOPS 107329 HAS SOUS 50573 HAS SOUPS 50573 WITH SCORE 50680.329
AT ITER 2050 NEW BEST:: SOT 301077 SOS 107324 HAS SOPS 107324 HAS SOUS 50572 HAS SOUPS 50572 WITH SCORE 50679.324
AT ITER 2060 NEW BEST:: SOT 301057 SOS 107204 HAS SOPS 107204 HAS SOUS 50532 HAS SOUPS 50532 WITH SCORE 50639.204
AT ITER 2097 NEW BEST:: SOT 301057 SOS 107204 HAS SOPS 107204 HAS SOUS 50520 HAS SOUPS 50520 WITH SCORE 50627.204
AT ITER 2146 NEW BEST:: SOT 301054 SOS 107183 HAS SOPS 107183 HAS SOUS 50511 HAS SOUPS 50511 WITH SCORE 50618.183
AT ITER 2148 NEW BEST:: SOT 300993 SOS 106817 HAS SOPS 106817 HAS SOUS 50389 HAS SOUPS 50389 WITH SCORE 50495.817
AT ITER 2161 NEW BEST:: SOT 300926 SOS 106249 HAS SOPS 106249 HAS SOUS 50364 HAS SOUPS 50364 WITH SCORE 50470.249
AT ITER 2165 NEW BEST:: SOT 300930 SOS 106255 HAS SOPS 106255 HAS SOUS 50348 HAS SOUPS 50348 WITH SCORE 50454.255
AT ITER 2171 NEW BEST:: SOT 300926 SOS 106249 HAS SOPS 106249 HAS SOUS 50344 HAS SOUPS 50344 WITH SCORE 50450.249
AT ITER 2187 NEW BEST:: SOT 300926 SOS 106249 HAS SOPS 106249 HAS SOUS 50336 HAS SOUPS 50336 WITH SCORE 50442.249
AT ITER 2191 NEW BEST:: SOT 300926 SOS 106249 HAS SOPS 106249 HAS SOUS 50319 HAS SOUPS 50319 WITH SCORE 50425.249
AT ITER 2202 NEW BEST:: SOT 300936 SOS 106329 HAS SOPS 106329 HAS SOUS 50303 HAS SOUPS 50303 WITH SCORE 50409.329
AT ITER 2236 NEW BEST:: SOT 300936 SOS 106329 HAS SOPS 106329 HAS SOUS 50225 HAS SOUPS 50225 WITH SCORE 50331.329
AT ITER 2255 NEW BEST:: SOT 300922 SOS 106245 HAS SOPS 106245 HAS SOUS 50197 HAS SOUPS 50197 WITH SCORE 50303.245
AT ITER 2349 NEW BEST:: SOT 300841 SOS 106167 HAS SOPS 106167 HAS SOUS 50119 HAS SOUPS 50119 WITH SCORE 50225.167
AT ITER 2357 NEW BEST:: SOT 300841 SOS 106047 HAS SOPS 106047 HAS SOUS 50119 HAS SOUPS 50119 WITH SCORE 50225.047
AT ITER 2377 NEW BEST:: SOT 300786 SOS 105950 HAS SOPS 105950 HAS SOUS 50050 HAS SOUPS 50050 WITH SCORE 50155.95
AT ITER 2383 NEW BEST:: SOT 300786 SOS 105908 HAS SOPS 105908 HAS SOUS 50036 HAS SOUPS 50036 WITH SCORE 50141.908
AT ITER 2398 NEW BEST:: SOT 300616 SOS 105689 HAS SOPS 105689 HAS SOUS 49985 HAS SOUPS 49985 WITH SCORE 50090.689
AT ITER 2438 NEW BEST:: SOT 300555 SOS 105400 HAS SOPS 105400 HAS SOUS 49840 HAS SOUPS 49840 WITH SCORE 49945.4
AT ITER 2442 NEW BEST:: SOT 300555 SOS 105403 HAS SOPS 105403 HAS SOUS 49835 HAS SOUPS 49835 WITH SCORE 49940.403
AT ITER 2455 NEW BEST:: SOT 300555 SOS 105389 HAS SOPS 105389 HAS SOUS 49752 HAS SOUPS 49752 WITH SCORE 49857.389
AT ITER 2464 NEW BEST:: SOT 300491 SOS 105325 HAS SOPS 105325 HAS SOUS 49688 HAS SOUPS 49688 WITH SCORE 49793.325
AT ITER 2465 NEW BEST:: SOT 300406 SOS 105155 HAS SOPS 105155 HAS SOUS 49586 HAS SOUPS 49586 WITH SCORE 49691.155
AT ITER 2471 NEW BEST:: SOT 300406 SOS 105385 HAS SOPS 105385 HAS SOUS 49579 HAS SOUPS 49579 WITH SCORE 49684.385
AT ITER 2490 NEW BEST:: SOT 300406 SOS 105367 HAS SOPS 105367 HAS SOUS 49573 HAS SOUPS 49573 WITH SCORE 49678.367
AT ITER 2498 NEW BEST:: SOT 300356 SOS 105307 HAS SOPS 105307 HAS SOUS 49473 HAS SOUPS 49473 WITH SCORE 49578.307
AT ITER 2517 NEW BEST:: SOT 300351 SOS 105301 HAS SOPS 105301 HAS SOUS 49464 HAS SOUPS 49464 WITH SCORE 49569.301
AT ITER 2541 NEW BEST:: SOT 300341 SOS 105289 HAS SOPS 105289 HAS SOUS 49452 HAS SOUPS 49452 WITH SCORE 49557.289
AT ITER 2548 NEW BEST:: SOT 300291 SOS 105248 HAS SOPS 105248 HAS SOUS 49411 HAS SOUPS 49411 WITH SCORE 49516.248
AT ITER 2608 NEW BEST:: SOT 300291 SOS 105026 HAS SOPS 105026 HAS SOUS 49337 HAS SOUPS 49337 WITH SCORE 49442.026
AT ITER 2612 NEW BEST:: SOT 300271 SOS 105002 HAS SOPS 105002 HAS SOUS 49293 HAS SOUPS 49293 WITH SCORE 49398.002
AT ITER 2622 NEW BEST:: SOT 300252 SOS 104983 HAS SOPS 104983 HAS SOUS 49274 HAS SOUPS 49274 WITH SCORE 49378.983
AT ITER 2654 NEW BEST:: SOT 300251 SOS 104982 HAS SOPS 104982 HAS SOUS 49273 HAS SOUPS 49273 WITH SCORE 49377.982
AT ITER 2664 NEW BEST:: SOT 300251 SOS 104826 HAS SOPS 104826 HAS SOUS 49221 HAS SOUPS 49221 WITH SCORE 49325.826
AT ITER 2672 NEW BEST:: SOT 300127 SOS 104706 HAS SOPS 104706 HAS SOUS 49101 HAS SOUPS 49101 WITH SCORE 49205.706
AT ITER 2674 NEW BEST:: SOT 300124 SOS 104636 HAS SOPS 104636 HAS SOUS 49027 HAS SOUPS 49027 WITH SCORE 49131.636
AT ITER 2680 NEW BEST:: SOT 300079 SOS 104582 HAS SOPS 104582 HAS SOUS 48928 HAS SOUPS 48928 WITH SCORE 49032.582
AT ITER 2689 NEW BEST:: SOT 300056 SOS 104444 HAS SOPS 104444 HAS SOUS 48882 HAS SOUPS 48882 WITH SCORE 48986.444
AT ITER 2703 NEW BEST:: SOT 300056 SOS 104444 HAS SOPS 104444 HAS SOUS 48822 HAS SOUPS 48822 WITH SCORE 48926.444
AT ITER 2706 NEW BEST:: SOT 300056 SOS 104444 HAS SOPS 104444 HAS SOUS 48762 HAS SOUPS 48762 WITH SCORE 48866.444
AT ITER 2709 NEW BEST:: SOT 300056 SOS 104394 HAS SOPS 104394 HAS SOUS 48712 HAS SOUPS 48712 WITH SCORE 48816.394
AT ITER 2713 NEW BEST:: SOT 299996 SOS 104359 HAS SOPS 104359 HAS SOUS 48677 HAS SOUPS 48677 WITH SCORE 48781.359
AT ITER 2716 NEW BEST:: SOT 299996 SOS 104324 HAS SOPS 104324 HAS SOUS 48670 HAS SOUPS 48670 WITH SCORE 48774.324
AT ITER 2727 NEW BEST:: SOT 299956 SOS 104244 HAS SOPS 104244 HAS SOUS 48622 HAS SOUPS 48622 WITH SCORE 48726.244
AT ITER 2728 NEW BEST:: SOT 299951 SOS 104239 HAS SOPS 104239 HAS SOUS 48617 HAS SOUPS 48617 WITH SCORE 48721.239
AT ITER 2812 NEW BEST:: SOT 299957 SOS 104155 HAS SOPS 104155 HAS SOUS 48605 HAS SOUPS 48605 WITH SCORE 48709.155
AT ITER 2866 NEW BEST:: SOT 299881 SOS 104079 HAS SOPS 104079 HAS SOUS 48529 HAS SOUPS 48529 WITH SCORE 48633.079
AT ITER 2876 NEW BEST:: SOT 299830 SOS 103743 HAS SOPS 103743 HAS SOUS 48504 HAS SOUPS 48504 WITH SCORE 48607.743
AT ITER 2883 NEW BEST:: SOT 299830 SOS 103725 HAS SOPS 103725 HAS SOUS 48504 HAS SOUPS 48504 WITH SCORE 48607.725
AT ITER 2946 NEW BEST:: SOT 299733 SOS 103427 HAS SOPS 103427 HAS SOUS 48364 HAS SOUPS 48364 WITH SCORE 48467.427
AT ITER 2952 NEW BEST:: SOT 299581 SOS 103275 HAS SOPS 103275 HAS SOUS 48212 HAS SOUPS 48212 WITH SCORE 48315.275
AT ITER 2967 NEW BEST:: SOT 299573 SOS 103227 HAS SOPS 103227 HAS SOUS 48196 HAS SOUPS 48196 WITH SCORE 48299.227
AT ITER 3013 NEW BEST:: SOT 299571 SOS 103081 HAS SOPS 103081 HAS SOUS 48194 HAS SOUPS 48194 WITH SCORE 48297.081
AT ITER 3058 NEW BEST:: SOT 299571 SOS 103057 HAS SOPS 103057 HAS SOUS 48170 HAS SOUPS 48170 WITH SCORE 48273.057
AT ITER 3066 NEW BEST:: SOT 299546 SOS 103027 HAS SOPS 103027 HAS SOUS 48140 HAS SOUPS 48140 WITH SCORE 48243.027
AT ITER 3073 NEW BEST:: SOT 299546 SOS 102959 HAS SOPS 102959 HAS SOUS 48072 HAS SOUPS 48072 WITH SCORE 48174.959
AT ITER 3107 NEW BEST:: SOT 299489 SOS 102845 HAS SOPS 102845 HAS SOUS 48015 HAS SOUPS 48015 WITH SCORE 48117.845
AT ITER 3112 NEW BEST:: SOT 299485 SOS 102839 HAS SOPS 102839 HAS SOUS 48009 HAS SOUPS 48009 WITH SCORE 48111.839
AT ITER 3151 NEW BEST:: SOT 299485 SOS 102826 HAS SOPS 102826 HAS SOUS 47932 HAS SOUPS 47932 WITH SCORE 48034.826
AT ITER 3181 NEW BEST:: SOT 299470 SOS 102808 HAS SOPS 102808 HAS SOUS 47917 HAS SOUPS 47917 WITH SCORE 48019.808
AT ITER 3194 NEW BEST:: SOT 299447 SOS 102785 HAS SOPS 102785 HAS SOUS 47885 HAS SOUPS 47885 WITH SCORE 47987.785
AT ITER 3198 NEW BEST:: SOT 299402 SOS 102731 HAS SOPS 102731 HAS SOUS 47831 HAS SOUPS 47831 WITH SCORE 47933.731
AT ITER 3248 NEW BEST:: SOT 299429 SOS 102729 HAS SOPS 102729 HAS SOUS 47713 HAS SOUPS 47713 WITH SCORE 47815.729
AT ITER 3274 NEW BEST:: SOT 299419 SOS 102734 HAS SOPS 102734 HAS SOUS 47702 HAS SOUPS 47702 WITH SCORE 47804.734
AT ITER 3277 NEW BEST:: SOT 299412 SOS 102727 HAS SOPS 102727 HAS SOUS 47691 HAS SOUPS 47691 WITH SCORE 47793.727
AT ITER 3290 NEW BEST:: SOT 299412 SOS 102726 HAS SOPS 102726 HAS SOUS 47690 HAS SOUPS 47690 WITH SCORE 47792.726
AT ITER 3311 NEW BEST:: SOT 299404 SOS 102714 HAS SOPS 102714 HAS SOUS 47670 HAS SOUPS 47670 WITH SCORE 47772.714
AT ITER 3312 NEW BEST:: SOT 299404 SOS 102696 HAS SOPS 102696 HAS SOUS 47664 HAS SOUPS 47664 WITH SCORE 47766.696
AT ITER 3334 NEW BEST:: SOT 299314 SOS 102512 HAS SOPS 102512 HAS SOUS 47556 HAS SOUPS 47556 WITH SCORE 47658.512
AT ITER 3382 NEW BEST:: SOT 299308 SOS 102494 HAS SOPS 102494 HAS SOUS 47542 HAS SOUPS 47542 WITH SCORE 47644.494
AT ITER 3404 NEW BEST:: SOT 299308 SOS 102494 HAS SOPS 102494 HAS SOUS 47531 HAS SOUPS 47531 WITH SCORE 47633.494
AT ITER 3443 NEW BEST:: SOT 299306 SOS 102482 HAS SOPS 102482 HAS SOUS 47527 HAS SOUPS 47527 WITH SCORE 47629.482
AT ITER 3445 NEW BEST:: SOT 299246 SOS 102350 HAS SOPS 102350 HAS SOUS 47503 HAS SOUPS 47503 WITH SCORE 47605.35
AT ITER 3471 NEW BEST:: SOT 299224 SOS 102436 HAS SOPS 102436 HAS SOUS 47495 HAS SOUPS 47495 WITH SCORE 47597.436
AT ITER 3497 NEW BEST:: SOT 299224 SOS 102464 HAS SOPS 102464 HAS SOUS 47467 HAS SOUPS 47467 WITH SCORE 47569.464
AT ITER 3501 NEW BEST:: SOT 299224 SOS 102452 HAS SOPS 102452 HAS SOUS 47463 HAS SOUPS 47463 WITH SCORE 47565.452
AT ITER 3517 NEW BEST:: SOT 299208 SOS 102436 HAS SOPS 102436 HAS SOUS 47447 HAS SOUPS 47447 WITH SCORE 47549.436
AT ITER 3559 NEW BEST:: SOT 299159 SOS 102069 HAS SOPS 102069 HAS SOUS 47276 HAS SOUPS 47276 WITH SCORE 47378.069
AT ITER 3564 NEW BEST:: SOT 299158 SOS 102063 HAS SOPS 102063 HAS SOUS 47274 HAS SOUPS 47274 WITH SCORE 47376.063
AT ITER 3573 NEW BEST:: SOT 299038 SOS 101944 HAS SOPS 101944 HAS SOUS 47155 HAS SOUPS 47155 WITH SCORE 47256.944
AT ITER 3597 NEW BEST:: SOT 298938 SOS 101659 HAS SOPS 101659 HAS SOUS 47152 HAS SOUPS 47152 WITH SCORE 47253.659
AT ITER 3648 NEW BEST:: SOT 298938 SOS 101384 HAS SOPS 101384 HAS SOUS 47109 HAS SOUPS 47109 WITH SCORE 47210.384
AT ITER 3660 NEW BEST:: SOT 298923 SOS 101326 HAS SOPS 101326 HAS SOUS 47108 HAS SOUPS 47108 WITH SCORE 47209.326
AT ITER 3696 NEW BEST:: SOT 298923 SOS 101326 HAS SOPS 101326 HAS SOUS 47087 HAS SOUPS 47087 WITH SCORE 47188.326
AT ITER 3703 NEW BEST:: SOT 298911 SOS 101314 HAS SOPS 101314 HAS SOUS 47075 HAS SOUPS 47075 WITH SCORE 47176.314
AT ITER 3704 NEW BEST:: SOT 298931 SOS 101433 HAS SOPS 101433 HAS SOUS 47057 HAS SOUPS 47057 WITH SCORE 47158.433
AT ITER 3731 NEW BEST:: SOT 298903 SOS 101405 HAS SOPS 101405 HAS SOUS 47023 HAS SOUPS 47023 WITH SCORE 47124.405
AT ITER 3742 NEW BEST:: SOT 298899 SOS 101401 HAS SOPS 101401 HAS SOUS 47023 HAS SOUPS 47023 WITH SCORE 47124.401
AT ITER 3746 NEW BEST:: SOT 298894 SOS 101366 HAS SOPS 101366 HAS SOUS 47008 HAS SOUPS 47008 WITH SCORE 47109.366
AT ITER 3779 NEW BEST:: SOT 298899 SOS 101460 HAS SOPS 101460 HAS SOUS 46994 HAS SOUPS 46994 WITH SCORE 47095.46
AT ITER 3803 NEW BEST:: SOT 298897 SOS 101448 HAS SOPS 101448 HAS SOUS 46990 HAS SOUPS 46990 WITH SCORE 47091.448
AT ITER 3907 NEW BEST:: SOT 298893 SOS 101444 HAS SOPS 101444 HAS SOUS 46986 HAS SOUPS 46986 WITH SCORE 47087.444
AT ITER 3908 NEW BEST:: SOT 298877 SOS 101332 HAS SOPS 101332 HAS SOUS 46938 HAS SOUPS 46938 WITH SCORE 47039.332
AT ITER 3934 NEW BEST:: SOT 298797 SOS 100852 HAS SOPS 100852 HAS SOUS 46778 HAS SOUPS 46778 WITH SCORE 46878.852
AT ITER 3964 NEW BEST:: SOT 298757 SOS 100792 HAS SOPS 100792 HAS SOUS 46736 HAS SOUPS 46736 WITH SCORE 46836.792
AT ITER 4065 NEW BEST:: SOT 298697 SOS 100346 HAS SOPS 100346 HAS SOUS 46722 HAS SOUPS 46722 WITH SCORE 46822.346
AT ITER 4076 NEW BEST:: SOT 298648 SOS 100273 HAS SOPS 100273 HAS SOUS 46722 HAS SOUPS 46722 WITH SCORE 46822.273
AT ITER 4108 NEW BEST:: SOT 298648 SOS 100273 HAS SOPS 100273 HAS SOUS 46708 HAS SOUPS 46708 WITH SCORE 46808.273
AT ITER 4133 NEW BEST:: SOT 298648 SOS 100313 HAS SOPS 100313 HAS SOUS 46684 HAS SOUPS 46684 WITH SCORE 46784.313
AT ITER 4156 NEW BEST:: SOT 298648 SOS 100223 HAS SOPS 100223 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46754.223
AT ITER 4160 NEW BEST:: SOT 298606 SOS 99990 HAS SOPS 99990 HAS SOUS 46537 HAS SOUPS 46537 WITH SCORE 46636.99
AT ITER 4195 NEW BEST:: SOT 298606 SOS 100062 HAS SOPS 100062 HAS SOUS 46465 HAS SOUPS 46465 WITH SCORE 46565.062
AT ITER 4198 NEW BEST:: SOT 298601 SOS 100024 HAS SOPS 100024 HAS SOUS 46319 HAS SOUPS 46319 WITH SCORE 46419.024
AT ITER 4209 NEW BEST:: SOT 298583 SOS 100006 HAS SOPS 100006 HAS SOUS 46301 HAS SOUPS 46301 WITH SCORE 46401.006
AT ITER 4226 NEW BEST:: SOT 298548 SOS 99964 HAS SOPS 99964 HAS SOUS 46231 HAS SOUPS 46231 WITH SCORE 46330.964
AT ITER 4245 NEW BEST:: SOT 298488 SOS 99892 HAS SOPS 99892 HAS SOUS 46155 HAS SOUPS 46155 WITH SCORE 46254.892
AT ITER 4306 NEW BEST:: SOT 298488 SOS 99892 HAS SOPS 99892 HAS SOUS 46150 HAS SOUPS 46150 WITH SCORE 46249.892
AT ITER 4325 NEW BEST:: SOT 298482 SOS 99911 HAS SOPS 99911 HAS SOUS 46149 HAS SOUPS 46149 WITH SCORE 46248.911
AT ITER 4434 NEW BEST:: SOT 298482 SOS 99939 HAS SOPS 99939 HAS SOUS 46114 HAS SOUPS 46114 WITH SCORE 46213.939
AT ITER 4439 NEW BEST:: SOT 298478 SOS 99935 HAS SOPS 99935 HAS SOUS 46111 HAS SOUPS 46111 WITH SCORE 46210.935
AT ITER 4453 NEW BEST:: SOT 298478 SOS 99935 HAS SOPS 99935 HAS SOUS 46108 HAS SOUPS 46108 WITH SCORE 46207.935
AT ITER 4471 NEW BEST:: SOT 298473 SOS 99929 HAS SOPS 99929 HAS SOUS 46102 HAS SOUPS 46102 WITH SCORE 46201.929
AT ITER 4475 NEW BEST:: SOT 298447 SOS 99885 HAS SOPS 99885 HAS SOUS 46070 HAS SOUPS 46070 WITH SCORE 46169.885
AT ITER 4477 NEW BEST:: SOT 298437 SOS 99798 HAS SOPS 99798 HAS SOUS 46043 HAS SOUPS 46043 WITH SCORE 46142.798
AT ITER 4561 NEW BEST:: SOT 298372 SOS 99664 HAS SOPS 99664 HAS SOUS 45969 HAS SOUPS 45969 WITH SCORE 46068.664
AT ITER 4566 NEW BEST:: SOT 298312 SOS 99592 HAS SOPS 99592 HAS SOUS 45897 HAS SOUPS 45897 WITH SCORE 45996.592
AT ITER 4572 NEW BEST:: SOT 298308 SOS 99586 HAS SOPS 99586 HAS SOUS 45857 HAS SOUPS 45857 WITH SCORE 45956.586
AT ITER 4600 NEW BEST:: SOT 298308 SOS 99584 HAS SOPS 99584 HAS SOUS 45847 HAS SOUPS 45847 WITH SCORE 45946.584
AT ITER 4658 NEW BEST:: SOT 298323 SOS 99757 HAS SOPS 99757 HAS SOUS 45784 HAS SOUPS 45784 WITH SCORE 45883.757
AT ITER 4682 NEW BEST:: SOT 298370 SOS 99890 HAS SOPS 99890 HAS SOUS 45719 HAS SOUPS 45719 WITH SCORE 45818.89
AT ITER 4761 NEW BEST:: SOT 298370 SOS 99890 HAS SOPS 99890 HAS SOUS 45693 HAS SOUPS 45693 WITH SCORE 45792.89
AT ITER 4789 NEW BEST:: SOT 298410 SOS 100166 HAS SOPS 100166 HAS SOUS 45669 HAS SOUPS 45669 WITH SCORE 45769.166
AT ITER 4875 NEW BEST:: SOT 298410 SOS 100134 HAS SOPS 100134 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45737.134
AT ITER 4890 NEW BEST:: SOT 298373 SOS 100097 HAS SOPS 100097 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45737.097
AT ITER 4914 NEW BEST:: SOT 298209 SOS 99789 HAS SOPS 99789 HAS SOUS 45521 HAS SOUPS 45521 WITH SCORE 45620.789
AT ITER 4933 NEW BEST:: SOT 298185 SOS 99757 HAS SOPS 99757 HAS SOUS 45502 HAS SOUPS 45502 WITH SCORE 45601.757
AT ITER 4935 NEW BEST:: SOT 298160 SOS 99727 HAS SOPS 99727 HAS SOUS 45486 HAS SOUPS 45486 WITH SCORE 45585.727
AT ITER 4950 NEW BEST:: SOT 298172 SOS 99739 HAS SOPS 99739 HAS SOUS 45462 HAS SOUPS 45462 WITH SCORE 45561.739
Bounds file is: CTLFireability.xml
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-00 ( ( (AG( (EF( ((potential((tk(P255)>=1) & (tk(P174)>=1)))))))) | (AX( (AF( ((potential((tk(P438)>=1) & (tk(P6)>=1)))))))) ) & (EX( ((potential((tk(P433)>=1) & (tk(P1)>=1)))))) )
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-01 (AF( (AX( (AG( ((potential((tk(P393)>=1) & (tk(P174)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-02 (AF( (EG( ( ((potential((tk(P466)>=1) & (tk(P61)>=1)))) & (! ((potential((tk(P406)>=1) & (tk(P165)>=1))))) )))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-03 (! (EU( ((potential((tk(P482)>=1) & (tk(P77)>=1)))) , ( ( ((potential((tk(P467)>=1) & (tk(P62)>=1)))) & ((potential((tk(P202)>=1) & (tk(P175)>=1)))) ) & ( ((potential((tk(P228)>=1) & (tk(P174)>=1)))) | ((potential((tk(P190)>=1) & (tk(P163)>=1)))) ) ) )))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-04 (AF( (AX( ( ( ((potential((tk(P199)>=1) & (tk(P172)>=1)))) | ((potential((tk(P371)>=1) & (tk(P173)>=1)))) ) | ( ((potential((tk(P290)>=1) & (tk(P38)>=1)))) | ((potential((tk(P235)>=1) & (tk(P181)>=1)))) ) )))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-05 (! (! ( (EU( ((potential((tk(P258)>=1) & (tk(P177)>=1)))) , ((potential((tk(P405)>=1) & (tk(P186)>=1)))) )) | (AF( ( ((potential((tk(P280)>=1) & (tk(P28)>=1)))) & ((potential((tk(P248)>=1) & (tk(P167)>=1)))) ))) )))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-06 ( ( (AG( ((potential((tk(P219)>=1) & (tk(P165)>=1)))))) | (AU( ((potential((tk(P339)>=1) & (tk(P149)>=1)))) , (! ((potential((tk(P367)>=1) & (tk(P169)>=1))))) )) ) & (EU( (EX( ((potential((tk(P319)>=1) & (tk(P100)>=1)))))) , (EG( ((potential((tk(P204)>=1) & (tk(P177)>=1)))))) )) )
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-07 ( ( (AF( ((potential((tk(P369)>=1) & (tk(P171)>=1)))))) & ( ((potential((tk(P492)>=1) & (tk(P114)>=1)))) & ( (EG( ((potential((tk(P451)>=1) & (tk(P19)>=1)))))) | (EX( ((potential((tk(P216)>=1) & (tk(P189)>=1)))))) ) ) ) & (! (EG( ( ((potential((tk(P243)>=1) & (tk(P189)>=1)))) | ( ((potential((tk(P333)>=1) & (tk(P143)>=1)))) & ((potential((tk(P259)>=1) & (tk(P178)>=1)))) ) )))) )
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-08 (AU( (EF( ( ((potential((tk(P266)>=1) & (tk(P185)>=1)))) | ((potential((tk(P266)>=1) & (tk(P185)>=1)))) ))) , ( (AG( ((potential((tk(P226)>=1) & (tk(P172)>=1)))))) & ( ( ((potential((tk(P501)>=1) & (tk(P123)>=1)))) & ((potential((tk(P365)>=1) & (tk(P167)>=1)))) ) | ((potential((tk(P223)>=1) & (tk(P169)>=1)))) ) ) ))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-09 (EU( (! (AX( ((potential((tk(P214)>=1) & (tk(P187)>=1))))))) , ( ( ( ((potential((tk(P240)>=1) & (tk(P186)>=1)))) & ((potential((tk(P212)>=1) & (tk(P185)>=1)))) ) & ((potential((tk(P227)>=1) & (tk(P173)>=1)))) ) & (EG( ((potential((tk(P428)>=1) & (tk(P184)>=1)))))) ) ))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-10 ( (EF( ( ((potential((tk(P203)>=1) & (tk(P176)>=1)))) & ((potential((tk(P227)>=1) & (tk(P173)>=1)))) ))) | ( (EG( ( ( ((potential((tk(P436)>=1) & (tk(P4)>=1)))) | ((potential((tk(P212)>=1) & (tk(P185)>=1)))) ) & ( ((potential((tk(P420)>=1) & (tk(P176)>=1)))) | ((potential((tk(P204)>=1) & (tk(P177)>=1)))) ) ))) | ( (AG( (! ((potential((tk(P430)>=1) & (tk(P189)>=1))))))) | ( (EG( ((potential((tk(P228)>=1) & (tk(P174)>=1)))))) | (AX( ((potential((tk(P211)>=1) & (tk(P184)>=1)))))) ) ) ) )
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-11 ( (EF( (EX( ( ((potential((tk(P407)>=1) & (tk(P163)>=1)))) & ((potential((tk(P265)>=1) & (tk(P184)>=1)))) ))))) & ( (! ( ((potential((tk(P429)>=1) & (tk(P185)>=1)))) & ( ( ((potential((tk(P284)>=1) & (tk(P32)>=1)))) | ((potential((tk(P195)>=1) & (tk(P168)>=1)))) ) | ( ((potential((tk(P250)>=1) & (tk(P169)>=1)))) & ((potential((tk(P290)>=1) & (tk(P38)>=1)))) ) ) )) | (! ((potential((tk(P368)>=1) & (tk(P170)>=1))))) ) )
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-12 (AF( (AG( ( ((potential((tk(P267)>=1) & (tk(P186)>=1)))) | ( ((potential((tk(P363)>=1) & (tk(P165)>=1)))) | ((potential((tk(P382)>=1) & (tk(P163)>=1)))) ) )))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-13 (EU( (AU( ((potential((tk(P267)>=1) & (tk(P186)>=1)))) , ((potential((tk(P227)>=1) & (tk(P173)>=1)))) )) , (EG( (! ((potential((tk(P406)>=1) & (tk(P165)>=1))))))) ))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-14 (EG( (EX( ((potential((tk(P324)>=1) & (tk(P105)>=1))))))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLFireability-15 (EF( ( ( ( (! ((potential((tk(P392)>=1) & (tk(P173)>=1))))) | (! ((potential((tk(P227)>=1) & (tk(P173)>=1))))) ) & ( ((potential((tk(P239)>=1) & (tk(P185)>=1)))) & ( ((potential((tk(P372)>=1) & (tk(P174)>=1)))) & ((potential((tk(P267)>=1) & (tk(P186)>=1)))) ) ) ) | ( (EG( ((potential((tk(P243)>=1) & (tk(P189)>=1)))))) | (EG( ((potential((tk(P230)>=1) & (tk(P176)>=1)))))) ) )))

BK_STOP 1589616288121

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 467 Segmentation fault ${SMART} ${INPUT_SM}

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="HypertorusGrid-PT-d3k3p2b06"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is HypertorusGrid-PT-d3k3p2b06, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r093-oct2-158940140400300"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HypertorusGrid-PT-d3k3p2b06.tgz
mv HypertorusGrid-PT-d3k3p2b06 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;