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-158940140400299.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140400299
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-01
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-02
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-03
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-04
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-05
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-06
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-07
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-08
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-09
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-10
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-11
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-12
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-13
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-14
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589613965907

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d3k3p2b06
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 3 NEW BEST:: SOT 309416 SOS 127047 HAS SOPS 127047 HAS SOUS 64287 HAS SOUPS 64287 WITH SCORE 64414.047
AT ITER 4 NEW BEST:: SOT 309367 SOS 126949 HAS SOPS 126949 HAS SOUS 64189 HAS SOUPS 64189 WITH SCORE 64315.949
AT ITER 11 NEW BEST:: SOT 309287 SOS 126853 HAS SOPS 126853 HAS SOUS 64093 HAS SOUPS 64093 WITH SCORE 64219.853
AT ITER 15 NEW BEST:: SOT 309257 SOS 126823 HAS SOPS 126823 HAS SOUS 64063 HAS SOUPS 64063 WITH SCORE 64189.823
AT ITER 21 NEW BEST:: SOT 309192 SOS 126693 HAS SOPS 126693 HAS SOUS 63985 HAS SOUPS 63985 WITH SCORE 64111.693
AT ITER 28 NEW BEST:: SOT 309148 SOS 126497 HAS SOPS 126497 HAS SOUS 63967 HAS SOUPS 63967 WITH SCORE 64093.497
AT ITER 30 NEW BEST:: SOT 308793 SOS 126071 HAS SOPS 126071 HAS SOUS 63386 HAS SOUPS 63386 WITH SCORE 63512.071
AT ITER 39 NEW BEST:: SOT 308801 SOS 126087 HAS SOPS 126087 HAS SOUS 63290 HAS SOUPS 63290 WITH SCORE 63416.087
AT ITER 50 NEW BEST:: SOT 308801 SOS 126167 HAS SOPS 126167 HAS SOUS 63226 HAS SOUPS 63226 WITH SCORE 63352.167
AT ITER 79 NEW BEST:: SOT 308792 SOS 126113 HAS SOPS 126113 HAS SOUS 63208 HAS SOUPS 63208 WITH SCORE 63334.113
AT ITER 95 NEW BEST:: SOT 308792 SOS 125838 HAS SOPS 125838 HAS SOUS 63153 HAS SOUPS 63153 WITH SCORE 63278.838
AT ITER 100 NEW BEST:: SOT 308742 SOS 125538 HAS SOPS 125538 HAS SOUS 63053 HAS SOUPS 63053 WITH SCORE 63178.538
AT ITER 101 NEW BEST:: SOT 308437 SOS 124928 HAS SOPS 124928 HAS SOUS 62687 HAS SOUPS 62687 WITH SCORE 62811.928
AT ITER 112 NEW BEST:: SOT 308437 SOS 124912 HAS SOPS 124912 HAS SOUS 62687 HAS SOUPS 62687 WITH SCORE 62811.912
AT ITER 127 NEW BEST:: SOT 308437 SOS 124594 HAS SOPS 124594 HAS SOUS 62581 HAS SOUPS 62581 WITH SCORE 62705.594
AT ITER 128 NEW BEST:: SOT 308437 SOS 124594 HAS SOPS 124594 HAS SOUS 62569 HAS SOUPS 62569 WITH SCORE 62693.594
AT ITER 131 NEW BEST:: SOT 308437 SOS 124254 HAS SOPS 124254 HAS SOUS 62501 HAS SOUPS 62501 WITH SCORE 62625.254
AT ITER 135 NEW BEST:: SOT 308433 SOS 124250 HAS SOPS 124250 HAS SOUS 62497 HAS SOUPS 62497 WITH SCORE 62621.25
AT ITER 136 NEW BEST:: SOT 308278 SOS 123909 HAS SOPS 123909 HAS SOUS 62280 HAS SOUPS 62280 WITH SCORE 62403.909
AT ITER 145 NEW BEST:: SOT 308254 SOS 123789 HAS SOPS 123789 HAS SOUS 62280 HAS SOUPS 62280 WITH SCORE 62403.789
AT ITER 152 NEW BEST:: SOT 308254 SOS 123789 HAS SOPS 123789 HAS SOUS 62175 HAS SOUPS 62175 WITH SCORE 62298.789
AT ITER 158 NEW BEST:: SOT 308204 SOS 123729 HAS SOPS 123729 HAS SOUS 62066 HAS SOUPS 62066 WITH SCORE 62189.729
AT ITER 164 NEW BEST:: SOT 308200 SOS 123725 HAS SOPS 123725 HAS SOUS 62062 HAS SOUPS 62062 WITH SCORE 62185.725
AT ITER 172 NEW BEST:: SOT 308075 SOS 123600 HAS SOPS 123600 HAS SOUS 61937 HAS SOUPS 61937 WITH SCORE 62060.6
AT ITER 181 NEW BEST:: SOT 308173 SOS 123796 HAS SOPS 123796 HAS SOUS 61813 HAS SOUPS 61813 WITH SCORE 61936.796
AT ITER 188 NEW BEST:: SOT 307963 SOS 123544 HAS SOPS 123544 HAS SOUS 61561 HAS SOUPS 61561 WITH SCORE 61684.544
AT ITER 195 NEW BEST:: SOT 307653 SOS 122924 HAS SOPS 122924 HAS SOUS 61433 HAS SOUPS 61433 WITH SCORE 61555.924
AT ITER 200 NEW BEST:: SOT 307370 SOS 122510 HAS SOPS 122510 HAS SOUS 61155 HAS SOUPS 61155 WITH SCORE 61277.51
AT ITER 204 NEW BEST:: SOT 307390 SOS 122502 HAS SOPS 122502 HAS SOUS 61115 HAS SOUPS 61115 WITH SCORE 61237.502
AT ITER 212 NEW BEST:: SOT 307426 SOS 122536 HAS SOPS 122536 HAS SOUS 61035 HAS SOUPS 61035 WITH SCORE 61157.536
AT ITER 220 NEW BEST:: SOT 307068 SOS 121820 HAS SOPS 121820 HAS SOUS 60615 HAS SOUPS 60615 WITH SCORE 60736.82
AT ITER 223 NEW BEST:: SOT 306718 SOS 121120 HAS SOPS 121120 HAS SOUS 60195 HAS SOUPS 60195 WITH SCORE 60316.12
AT ITER 227 NEW BEST:: SOT 306716 SOS 121108 HAS SOPS 121108 HAS SOUS 60191 HAS SOUPS 60191 WITH SCORE 60312.108
AT ITER 230 NEW BEST:: SOT 306681 SOS 121011 HAS SOPS 121011 HAS SOUS 60191 HAS SOUPS 60191 WITH SCORE 60312.011
AT ITER 244 NEW BEST:: SOT 306609 SOS 120572 HAS SOPS 120572 HAS SOUS 59988 HAS SOUPS 59988 WITH SCORE 60108.572
AT ITER 246 NEW BEST:: SOT 306606 SOS 120569 HAS SOPS 120569 HAS SOUS 59982 HAS SOUPS 59982 WITH SCORE 60102.569
AT ITER 260 NEW BEST:: SOT 306606 SOS 120209 HAS SOPS 120209 HAS SOUS 59862 HAS SOUPS 59862 WITH SCORE 59982.209
AT ITER 273 NEW BEST:: SOT 306606 SOS 119891 HAS SOPS 119891 HAS SOUS 59756 HAS SOUPS 59756 WITH SCORE 59875.891
AT ITER 278 NEW BEST:: SOT 306596 SOS 119821 HAS SOPS 119821 HAS SOUS 59726 HAS SOUPS 59726 WITH SCORE 59845.821
AT ITER 286 NEW BEST:: SOT 306253 SOS 119151 HAS SOPS 119151 HAS SOUS 59380 HAS SOUPS 59380 WITH SCORE 59499.151
AT ITER 309 NEW BEST:: SOT 305953 SOS 118509 HAS SOPS 118509 HAS SOUS 59064 HAS SOUPS 59064 WITH SCORE 59182.509
AT ITER 317 NEW BEST:: SOT 305944 SOS 118491 HAS SOPS 118491 HAS SOUS 59037 HAS SOUPS 59037 WITH SCORE 59155.491
AT ITER 324 NEW BEST:: SOT 305824 SOS 118371 HAS SOPS 118371 HAS SOUS 58917 HAS SOUPS 58917 WITH SCORE 59035.371
AT ITER 346 NEW BEST:: SOT 305824 SOS 118065 HAS SOPS 118065 HAS SOUS 58815 HAS SOUPS 58815 WITH SCORE 58933.065
AT ITER 355 NEW BEST:: SOT 305811 SOS 118052 HAS SOPS 118052 HAS SOUS 58815 HAS SOUPS 58815 WITH SCORE 58933.052
AT ITER 370 NEW BEST:: SOT 305751 SOS 117707 HAS SOPS 117707 HAS SOUS 58650 HAS SOUPS 58650 WITH SCORE 58767.707
AT ITER 381 NEW BEST:: SOT 305751 SOS 117707 HAS SOPS 117707 HAS SOUS 58645 HAS SOUPS 58645 WITH SCORE 58762.707
AT ITER 416 NEW BEST:: SOT 305780 SOS 117701 HAS SOPS 117701 HAS SOUS 58535 HAS SOUPS 58535 WITH SCORE 58652.701
AT ITER 420 NEW BEST:: SOT 305741 SOS 117662 HAS SOPS 117662 HAS SOUS 58484 HAS SOUPS 58484 WITH SCORE 58601.662
AT ITER 431 NEW BEST:: SOT 305721 SOS 117638 HAS SOPS 117638 HAS SOUS 58460 HAS SOUPS 58460 WITH SCORE 58577.638
AT ITER 456 NEW BEST:: SOT 305671 SOS 117528 HAS SOPS 117528 HAS SOUS 58390 HAS SOUPS 58390 WITH SCORE 58507.528
AT ITER 469 NEW BEST:: SOT 305671 SOS 117251 HAS SOPS 117251 HAS SOUS 58365 HAS SOUPS 58365 WITH SCORE 58482.251
AT ITER 474 NEW BEST:: SOT 305671 SOS 117234 HAS SOPS 117234 HAS SOUS 58358 HAS SOUPS 58358 WITH SCORE 58475.234
AT ITER 493 NEW BEST:: SOT 305666 SOS 117229 HAS SOPS 117229 HAS SOUS 58353 HAS SOUPS 58353 WITH SCORE 58470.229
AT ITER 513 NEW BEST:: SOT 305685 SOS 117248 HAS SOPS 117248 HAS SOUS 58334 HAS SOUPS 58334 WITH SCORE 58451.248
AT ITER 514 NEW BEST:: SOT 305636 SOS 117157 HAS SOPS 117157 HAS SOUS 58271 HAS SOUPS 58271 WITH SCORE 58388.157
AT ITER 516 NEW BEST:: SOT 305482 SOS 117013 HAS SOPS 117013 HAS SOUS 58177 HAS SOUPS 58177 WITH SCORE 58294.013
AT ITER 547 NEW BEST:: SOT 305465 SOS 116928 HAS SOPS 116928 HAS SOUS 58143 HAS SOUPS 58143 WITH SCORE 58259.928
AT ITER 575 NEW BEST:: SOT 305341 SOS 116804 HAS SOPS 116804 HAS SOUS 58019 HAS SOUPS 58019 WITH SCORE 58135.804
AT ITER 587 NEW BEST:: SOT 305521 SOS 117140 HAS SOPS 117140 HAS SOUS 57938 HAS SOUPS 57938 WITH SCORE 58055.14
AT ITER 598 NEW BEST:: SOT 305521 SOS 117140 HAS SOPS 117140 HAS SOUS 57925 HAS SOUPS 57925 WITH SCORE 58042.14
AT ITER 606 NEW BEST:: SOT 305274 SOS 116778 HAS SOPS 116778 HAS SOUS 57655 HAS SOUPS 57655 WITH SCORE 57771.778
AT ITER 607 NEW BEST:: SOT 305049 SOS 116283 HAS SOPS 116283 HAS SOUS 57340 HAS SOUPS 57340 WITH SCORE 57456.283
AT ITER 608 NEW BEST:: SOT 305164 SOS 117398 HAS SOPS 117398 HAS SOUS 57333 HAS SOUPS 57333 WITH SCORE 57450.398
AT ITER 609 NEW BEST:: SOT 305164 SOS 117362 HAS SOPS 117362 HAS SOUS 57321 HAS SOUPS 57321 WITH SCORE 57438.362
AT ITER 615 NEW BEST:: SOT 305131 SOS 117164 HAS SOPS 117164 HAS SOUS 57255 HAS SOUPS 57255 WITH SCORE 57372.164
AT ITER 621 NEW BEST:: SOT 305131 SOS 117279 HAS SOPS 117279 HAS SOUS 57166 HAS SOUPS 57166 WITH SCORE 57283.279
AT ITER 623 NEW BEST:: SOT 305061 SOS 117125 HAS SOPS 117125 HAS SOUS 57068 HAS SOUPS 57068 WITH SCORE 57185.125
AT ITER 653 NEW BEST:: SOT 305061 SOS 117125 HAS SOPS 117125 HAS SOUS 57059 HAS SOUPS 57059 WITH SCORE 57176.125
AT ITER 671 NEW BEST:: SOT 304779 SOS 116561 HAS SOPS 116561 HAS SOUS 56792 HAS SOUPS 56792 WITH SCORE 56908.561
AT ITER 691 NEW BEST:: SOT 304819 SOS 116329 HAS SOPS 116329 HAS SOUS 56784 HAS SOUPS 56784 WITH SCORE 56900.329
AT ITER 721 NEW BEST:: SOT 304806 SOS 116251 HAS SOPS 116251 HAS SOUS 56758 HAS SOUPS 56758 WITH SCORE 56874.251
AT ITER 733 NEW BEST:: SOT 304576 SOS 115979 HAS SOPS 115979 HAS SOUS 56514 HAS SOUPS 56514 WITH SCORE 56629.979
AT ITER 764 NEW BEST:: SOT 304576 SOS 115979 HAS SOPS 115979 HAS SOUS 56513 HAS SOUPS 56513 WITH SCORE 56628.979
AT ITER 787 NEW BEST:: SOT 304576 SOS 115952 HAS SOPS 115952 HAS SOUS 56486 HAS SOUPS 56486 WITH SCORE 56601.952
AT ITER 808 NEW BEST:: SOT 304404 SOS 115512 HAS SOPS 115512 HAS SOUS 56419 HAS SOUPS 56419 WITH SCORE 56534.512
AT ITER 841 NEW BEST:: SOT 304404 SOS 115165 HAS SOPS 115165 HAS SOUS 56362 HAS SOUPS 56362 WITH SCORE 56477.165
AT ITER 854 NEW BEST:: SOT 304404 SOS 115249 HAS SOPS 115249 HAS SOUS 56278 HAS SOUPS 56278 WITH SCORE 56393.249
AT ITER 866 NEW BEST:: SOT 304388 SOS 115175 HAS SOPS 115175 HAS SOUS 56272 HAS SOUPS 56272 WITH SCORE 56387.175
AT ITER 867 NEW BEST:: SOT 304386 SOS 115426 HAS SOPS 115426 HAS SOUS 56237 HAS SOUPS 56237 WITH SCORE 56352.426
AT ITER 868 NEW BEST:: SOT 304376 SOS 115414 HAS SOPS 115414 HAS SOUS 56218 HAS SOUPS 56218 WITH SCORE 56333.414
AT ITER 873 NEW BEST:: SOT 304386 SOS 115762 HAS SOPS 115762 HAS SOUS 56020 HAS SOUPS 56020 WITH SCORE 56135.762
AT ITER 877 NEW BEST:: SOT 304226 SOS 115350 HAS SOPS 115350 HAS SOUS 55844 HAS SOUPS 55844 WITH SCORE 55959.35
AT ITER 887 NEW BEST:: SOT 304254 SOS 115330 HAS SOPS 115330 HAS SOUS 55824 HAS SOUPS 55824 WITH SCORE 55939.33
AT ITER 892 NEW BEST:: SOT 304254 SOS 115330 HAS SOPS 115330 HAS SOUS 55821 HAS SOUPS 55821 WITH SCORE 55936.33
AT ITER 928 NEW BEST:: SOT 304212 SOS 115288 HAS SOPS 115288 HAS SOUS 55821 HAS SOUPS 55821 WITH SCORE 55936.288
AT ITER 932 NEW BEST:: SOT 304147 SOS 115223 HAS SOPS 115223 HAS SOUS 55756 HAS SOUPS 55756 WITH SCORE 55871.223
AT ITER 967 NEW BEST:: SOT 304143 SOS 115255 HAS SOPS 115255 HAS SOUS 55656 HAS SOUPS 55656 WITH SCORE 55771.255
AT ITER 981 NEW BEST:: SOT 304143 SOS 115171 HAS SOPS 115171 HAS SOUS 55628 HAS SOUPS 55628 WITH SCORE 55743.171
AT ITER 993 NEW BEST:: SOT 303933 SOS 114919 HAS SOPS 114919 HAS SOUS 55334 HAS SOUPS 55334 WITH SCORE 55448.919
AT ITER 1001 NEW BEST:: SOT 303957 SOS 114727 HAS SOPS 114727 HAS SOUS 55334 HAS SOUPS 55334 WITH SCORE 55448.727
AT ITER 1004 NEW BEST:: SOT 303957 SOS 114727 HAS SOPS 114727 HAS SOUS 55285 HAS SOUPS 55285 WITH SCORE 55399.727
AT ITER 1009 NEW BEST:: SOT 303957 SOS 114727 HAS SOPS 114727 HAS SOUS 55273 HAS SOUPS 55273 WITH SCORE 55387.727
AT ITER 1011 NEW BEST:: SOT 303960 SOS 114448 HAS SOPS 114448 HAS SOUS 55222 HAS SOUPS 55222 WITH SCORE 55336.448
AT ITER 1033 NEW BEST:: SOT 303960 SOS 114244 HAS SOPS 114244 HAS SOUS 55154 HAS SOUPS 55154 WITH SCORE 55268.244
AT ITER 1034 NEW BEST:: SOT 303899 SOS 113823 HAS SOPS 113823 HAS SOUS 54973 HAS SOUPS 54973 WITH SCORE 55086.823
AT ITER 1041 NEW BEST:: SOT 303899 SOS 113823 HAS SOPS 113823 HAS SOUS 54961 HAS SOUPS 54961 WITH SCORE 55074.823
AT ITER 1064 NEW BEST:: SOT 303899 SOS 113658 HAS SOPS 113658 HAS SOUS 54928 HAS SOUPS 54928 WITH SCORE 55041.658
AT ITER 1074 NEW BEST:: SOT 303877 SOS 113630 HAS SOPS 113630 HAS SOUS 54904 HAS SOUPS 54904 WITH SCORE 55017.63
AT ITER 1086 NEW BEST:: SOT 303877 SOS 113630 HAS SOPS 113630 HAS SOUS 54796 HAS SOUPS 54796 WITH SCORE 54909.63
AT ITER 1130 NEW BEST:: SOT 303812 SOS 113552 HAS SOPS 113552 HAS SOUS 54666 HAS SOUPS 54666 WITH SCORE 54779.552
AT ITER 1138 NEW BEST:: SOT 303757 SOS 113222 HAS SOPS 113222 HAS SOUS 54556 HAS SOUPS 54556 WITH SCORE 54669.222
AT ITER 1151 NEW BEST:: SOT 303729 SOS 113194 HAS SOPS 113194 HAS SOUS 54553 HAS SOUPS 54553 WITH SCORE 54666.194
AT ITER 1164 NEW BEST:: SOT 303729 SOS 113194 HAS SOPS 113194 HAS SOUS 54551 HAS SOUPS 54551 WITH SCORE 54664.194
AT ITER 1169 NEW BEST:: SOT 303594 SOS 113004 HAS SOPS 113004 HAS SOUS 54405 HAS SOUPS 54405 WITH SCORE 54518.004
AT ITER 1193 NEW BEST:: SOT 303594 SOS 113004 HAS SOPS 113004 HAS SOUS 54357 HAS SOUPS 54357 WITH SCORE 54470.004
AT ITER 1228 NEW BEST:: SOT 303479 SOS 112906 HAS SOPS 112906 HAS SOUS 54327 HAS SOUPS 54327 WITH SCORE 54439.906
AT ITER 1237 NEW BEST:: SOT 303334 SOS 112616 HAS SOPS 112616 HAS SOUS 54153 HAS SOUPS 54153 WITH SCORE 54265.616
AT ITER 1241 NEW BEST:: SOT 303340 SOS 112576 HAS SOPS 112576 HAS SOUS 54113 HAS SOUPS 54113 WITH SCORE 54225.576
AT ITER 1244 NEW BEST:: SOT 303340 SOS 112558 HAS SOPS 112558 HAS SOUS 54107 HAS SOUPS 54107 WITH SCORE 54219.558
AT ITER 1249 NEW BEST:: SOT 303180 SOS 112420 HAS SOPS 112420 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54167.42
AT ITER 1260 NEW BEST:: SOT 303165 SOS 112315 HAS SOPS 112315 HAS SOUS 54010 HAS SOUPS 54010 WITH SCORE 54122.315
AT ITER 1262 NEW BEST:: SOT 303100 SOS 112041 HAS SOPS 112041 HAS SOUS 53932 HAS SOUPS 53932 WITH SCORE 54044.041
AT ITER 1277 NEW BEST:: SOT 303040 SOS 112026 HAS SOPS 112026 HAS SOUS 53881 HAS SOUPS 53881 WITH SCORE 53993.026
AT ITER 1292 NEW BEST:: SOT 302955 SOS 111873 HAS SOPS 111873 HAS SOUS 53762 HAS SOUPS 53762 WITH SCORE 53873.873
AT ITER 1295 NEW BEST:: SOT 302953 SOS 111848 HAS SOPS 111848 HAS SOUS 53745 HAS SOUPS 53745 WITH SCORE 53856.848
AT ITER 1322 NEW BEST:: SOT 302897 SOS 111792 HAS SOPS 111792 HAS SOUS 53694 HAS SOUPS 53694 WITH SCORE 53805.792
AT ITER 1324 NEW BEST:: SOT 302887 SOS 111780 HAS SOPS 111780 HAS SOUS 53682 HAS SOUPS 53682 WITH SCORE 53793.78
AT ITER 1327 NEW BEST:: SOT 302881 SOS 111738 HAS SOPS 111738 HAS SOUS 53664 HAS SOUPS 53664 WITH SCORE 53775.738
AT ITER 1336 NEW BEST:: SOT 302881 SOS 111468 HAS SOPS 111468 HAS SOUS 53574 HAS SOUPS 53574 WITH SCORE 53685.468
AT ITER 1367 NEW BEST:: SOT 302881 SOS 111426 HAS SOPS 111426 HAS SOUS 53532 HAS SOUPS 53532 WITH SCORE 53643.426
AT ITER 1383 NEW BEST:: SOT 302881 SOS 111426 HAS SOPS 111426 HAS SOUS 53528 HAS SOUPS 53528 WITH SCORE 53639.426
AT ITER 1406 NEW BEST:: SOT 302881 SOS 111426 HAS SOPS 111426 HAS SOUS 53516 HAS SOUPS 53516 WITH SCORE 53627.426
AT ITER 1415 NEW BEST:: SOT 302883 SOS 111638 HAS SOPS 111638 HAS SOUS 53409 HAS SOUPS 53409 WITH SCORE 53520.638
AT ITER 1418 NEW BEST:: SOT 302865 SOS 111530 HAS SOPS 111530 HAS SOUS 53373 HAS SOUPS 53373 WITH SCORE 53484.53
AT ITER 1419 NEW BEST:: SOT 302816 SOS 111236 HAS SOPS 111236 HAS SOUS 53275 HAS SOUPS 53275 WITH SCORE 53386.236
AT ITER 1452 NEW BEST:: SOT 302815 SOS 111250 HAS SOPS 111250 HAS SOUS 53250 HAS SOUPS 53250 WITH SCORE 53361.25
AT ITER 1463 NEW BEST:: SOT 302815 SOS 111226 HAS SOPS 111226 HAS SOUS 53242 HAS SOUPS 53242 WITH SCORE 53353.226
AT ITER 1508 NEW BEST:: SOT 302788 SOS 111241 HAS SOPS 111241 HAS SOUS 53221 HAS SOUPS 53221 WITH SCORE 53332.241
AT ITER 1537 NEW BEST:: SOT 302786 SOS 111229 HAS SOPS 111229 HAS SOUS 53217 HAS SOUPS 53217 WITH SCORE 53328.229
AT ITER 1542 NEW BEST:: SOT 302786 SOS 111324 HAS SOPS 111324 HAS SOUS 53141 HAS SOUPS 53141 WITH SCORE 53252.324
AT ITER 1557 NEW BEST:: SOT 302786 SOS 111313 HAS SOPS 111313 HAS SOUS 53130 HAS SOUPS 53130 WITH SCORE 53241.313
AT ITER 1571 NEW BEST:: SOT 302785 SOS 111311 HAS SOPS 111311 HAS SOUS 53128 HAS SOUPS 53128 WITH SCORE 53239.311
AT ITER 1576 NEW BEST:: SOT 302785 SOS 111346 HAS SOPS 111346 HAS SOUS 53105 HAS SOUPS 53105 WITH SCORE 53216.346
AT ITER 1586 NEW BEST:: SOT 302758 SOS 111319 HAS SOPS 111319 HAS SOUS 53078 HAS SOUPS 53078 WITH SCORE 53189.319
AT ITER 1593 NEW BEST:: SOT 302754 SOS 111309 HAS SOPS 111309 HAS SOUS 53072 HAS SOUPS 53072 WITH SCORE 53183.309
AT ITER 1613 NEW BEST:: SOT 302760 SOS 111315 HAS SOPS 111315 HAS SOUS 53060 HAS SOUPS 53060 WITH SCORE 53171.315
AT ITER 1620 NEW BEST:: SOT 302760 SOS 111308 HAS SOPS 111308 HAS SOUS 53053 HAS SOUPS 53053 WITH SCORE 53164.308
AT ITER 1644 NEW BEST:: SOT 302681 SOS 111229 HAS SOPS 111229 HAS SOUS 52974 HAS SOUPS 52974 WITH SCORE 53085.229
AT ITER 1686 NEW BEST:: SOT 302693 SOS 111247 HAS SOPS 111247 HAS SOUS 52934 HAS SOUPS 52934 WITH SCORE 53045.247
AT ITER 1694 NEW BEST:: SOT 302601 SOS 111155 HAS SOPS 111155 HAS SOUS 52842 HAS SOUPS 52842 WITH SCORE 52953.155
AT ITER 1718 NEW BEST:: SOT 302601 SOS 111147 HAS SOPS 111147 HAS SOUS 52834 HAS SOUPS 52834 WITH SCORE 52945.147
AT ITER 1736 NEW BEST:: SOT 302598 SOS 111144 HAS SOPS 111144 HAS SOUS 52831 HAS SOUPS 52831 WITH SCORE 52942.144
AT ITER 1755 NEW BEST:: SOT 302598 SOS 111144 HAS SOPS 111144 HAS SOUS 52759 HAS SOUPS 52759 WITH SCORE 52870.144
AT ITER 1761 NEW BEST:: SOT 302508 SOS 111054 HAS SOPS 111054 HAS SOUS 52669 HAS SOUPS 52669 WITH SCORE 52780.054
AT ITER 1766 NEW BEST:: SOT 302503 SOS 111078 HAS SOPS 111078 HAS SOUS 52663 HAS SOUPS 52663 WITH SCORE 52774.078
AT ITER 1769 NEW BEST:: SOT 302503 SOS 111078 HAS SOPS 111078 HAS SOUS 52635 HAS SOUPS 52635 WITH SCORE 52746.078
AT ITER 1776 NEW BEST:: SOT 302492 SOS 111012 HAS SOPS 111012 HAS SOUS 52613 HAS SOUPS 52613 WITH SCORE 52724.012
AT ITER 1788 NEW BEST:: SOT 302328 SOS 110851 HAS SOPS 110851 HAS SOUS 52467 HAS SOUPS 52467 WITH SCORE 52577.851
AT ITER 1795 NEW BEST:: SOT 302308 SOS 110827 HAS SOPS 110827 HAS SOUS 52427 HAS SOUPS 52427 WITH SCORE 52537.827
AT ITER 1807 NEW BEST:: SOT 302309 SOS 110829 HAS SOPS 110829 HAS SOUS 52381 HAS SOUPS 52381 WITH SCORE 52491.829
AT ITER 1848 NEW BEST:: SOT 302292 SOS 110727 HAS SOPS 110727 HAS SOUS 52347 HAS SOUPS 52347 WITH SCORE 52457.727
AT ITER 1850 NEW BEST:: SOT 302042 SOS 110223 HAS SOPS 110223 HAS SOUS 52052 HAS SOUPS 52052 WITH SCORE 52162.223
AT ITER 1852 NEW BEST:: SOT 301782 SOS 109703 HAS SOPS 109703 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51849.703
AT ITER 1865 NEW BEST:: SOT 301782 SOS 109691 HAS SOPS 109691 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51849.691
AT ITER 1903 NEW BEST:: SOT 301782 SOS 109619 HAS SOPS 109619 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51849.619
AT ITER 1924 NEW BEST:: SOT 301782 SOS 109571 HAS SOPS 109571 HAS SOUS 51724 HAS SOUPS 51724 WITH SCORE 51833.571
AT ITER 1927 NEW BEST:: SOT 301782 SOS 109571 HAS SOPS 109571 HAS SOUS 51680 HAS SOUPS 51680 WITH SCORE 51789.571
AT ITER 1948 NEW BEST:: SOT 301837 SOS 109637 HAS SOPS 109637 HAS SOUS 51626 HAS SOUPS 51626 WITH SCORE 51735.637
AT ITER 1969 NEW BEST:: SOT 301837 SOS 109637 HAS SOPS 109637 HAS SOUS 51594 HAS SOUPS 51594 WITH SCORE 51703.637
AT ITER 1973 NEW BEST:: SOT 301837 SOS 109562 HAS SOPS 109562 HAS SOUS 51579 HAS SOUPS 51579 WITH SCORE 51688.562
AT ITER 1982 NEW BEST:: SOT 301772 SOS 109389 HAS SOPS 109389 HAS SOUS 51495 HAS SOUPS 51495 WITH SCORE 51604.389
AT ITER 2002 NEW BEST:: SOT 301760 SOS 109317 HAS SOPS 109317 HAS SOUS 51471 HAS SOUPS 51471 WITH SCORE 51580.317
AT ITER 2029 NEW BEST:: SOT 301760 SOS 109237 HAS SOPS 109237 HAS SOUS 51455 HAS SOUPS 51455 WITH SCORE 51564.237
AT ITER 2030 NEW BEST:: SOT 301760 SOS 109237 HAS SOPS 109237 HAS SOUS 51444 HAS SOUPS 51444 WITH SCORE 51553.237
AT ITER 2050 NEW BEST:: SOT 301667 SOS 109047 HAS SOPS 109047 HAS SOUS 51346 HAS SOUPS 51346 WITH SCORE 51455.047
AT ITER 2055 NEW BEST:: SOT 301667 SOS 109047 HAS SOPS 109047 HAS SOUS 51343 HAS SOUPS 51343 WITH SCORE 51452.047
AT ITER 2061 NEW BEST:: SOT 301665 SOS 109045 HAS SOPS 109045 HAS SOUS 51339 HAS SOUPS 51339 WITH SCORE 51448.045
AT ITER 2091 NEW BEST:: SOT 301665 SOS 109045 HAS SOPS 109045 HAS SOUS 51327 HAS SOUPS 51327 WITH SCORE 51436.045
AT ITER 2112 NEW BEST:: SOT 301597 SOS 108977 HAS SOPS 108977 HAS SOUS 51259 HAS SOUPS 51259 WITH SCORE 51367.977
AT ITER 2118 NEW BEST:: SOT 301597 SOS 108971 HAS SOPS 108971 HAS SOUS 51253 HAS SOUPS 51253 WITH SCORE 51361.971
AT ITER 2151 NEW BEST:: SOT 301597 SOS 108964 HAS SOPS 108964 HAS SOUS 51211 HAS SOUPS 51211 WITH SCORE 51319.964
AT ITER 2157 NEW BEST:: SOT 301569 SOS 108936 HAS SOPS 108936 HAS SOUS 51183 HAS SOUPS 51183 WITH SCORE 51291.936
AT ITER 2194 NEW BEST:: SOT 301454 SOS 108687 HAS SOPS 108687 HAS SOUS 50999 HAS SOUPS 50999 WITH SCORE 51107.687
AT ITER 2226 NEW BEST:: SOT 301454 SOS 108595 HAS SOPS 108595 HAS SOUS 50991 HAS SOUPS 50991 WITH SCORE 51099.595
AT ITER 2275 NEW BEST:: SOT 301427 SOS 108433 HAS SOPS 108433 HAS SOUS 50937 HAS SOUPS 50937 WITH SCORE 51045.433
AT ITER 2276 NEW BEST:: SOT 301427 SOS 108433 HAS SOPS 108433 HAS SOUS 50929 HAS SOUPS 50929 WITH SCORE 51037.433
AT ITER 2293 NEW BEST:: SOT 301402 SOS 108396 HAS SOPS 108396 HAS SOUS 50900 HAS SOUPS 50900 WITH SCORE 51008.396
AT ITER 2346 NEW BEST:: SOT 301402 SOS 108396 HAS SOPS 108396 HAS SOUS 50885 HAS SOUPS 50885 WITH SCORE 50993.396
AT ITER 2347 NEW BEST:: SOT 301402 SOS 108144 HAS SOPS 108144 HAS SOUS 50801 HAS SOUPS 50801 WITH SCORE 50909.144
AT ITER 2393 NEW BEST:: SOT 301352 SOS 107242 HAS SOPS 107242 HAS SOUS 50621 HAS SOUPS 50621 WITH SCORE 50728.242
AT ITER 2420 NEW BEST:: SOT 301352 SOS 107032 HAS SOPS 107032 HAS SOUS 50551 HAS SOUPS 50551 WITH SCORE 50658.032
AT ITER 2421 NEW BEST:: SOT 301352 SOS 106954 HAS SOPS 106954 HAS SOUS 50525 HAS SOUPS 50525 WITH SCORE 50631.954
AT ITER 2437 NEW BEST:: SOT 301352 SOS 106954 HAS SOPS 106954 HAS SOUS 50523 HAS SOUPS 50523 WITH SCORE 50629.954
AT ITER 2450 NEW BEST:: SOT 301164 SOS 106652 HAS SOPS 106652 HAS SOUS 50483 HAS SOUPS 50483 WITH SCORE 50589.652
AT ITER 2453 NEW BEST:: SOT 301144 SOS 106583 HAS SOPS 106583 HAS SOUS 50444 HAS SOUPS 50444 WITH SCORE 50550.583
AT ITER 2470 NEW BEST:: SOT 301144 SOS 106529 HAS SOPS 106529 HAS SOUS 50426 HAS SOUPS 50426 WITH SCORE 50532.529
AT ITER 2501 NEW BEST:: SOT 301064 SOS 106323 HAS SOPS 106323 HAS SOUS 50332 HAS SOUPS 50332 WITH SCORE 50438.323
AT ITER 2504 NEW BEST:: SOT 301058 SOS 106317 HAS SOPS 106317 HAS SOUS 50326 HAS SOUPS 50326 WITH SCORE 50432.317
AT ITER 2517 NEW BEST:: SOT 301014 SOS 106366 HAS SOPS 106366 HAS SOUS 50287 HAS SOUPS 50287 WITH SCORE 50393.366
AT ITER 2521 NEW BEST:: SOT 300993 SOS 106282 HAS SOPS 106282 HAS SOUS 50190 HAS SOUPS 50190 WITH SCORE 50296.282
AT ITER 2522 NEW BEST:: SOT 300978 SOS 106237 HAS SOPS 106237 HAS SOUS 50137 HAS SOUPS 50137 WITH SCORE 50243.237
AT ITER 2581 NEW BEST:: SOT 300978 SOS 106161 HAS SOPS 106161 HAS SOUS 50077 HAS SOUPS 50077 WITH SCORE 50183.161
AT ITER 2593 NEW BEST:: SOT 300858 SOS 106049 HAS SOPS 106049 HAS SOUS 49997 HAS SOUPS 49997 WITH SCORE 50103.049
AT ITER 2615 NEW BEST:: SOT 300864 SOS 105965 HAS SOPS 105965 HAS SOUS 49985 HAS SOUPS 49985 WITH SCORE 50090.965
AT ITER 2626 NEW BEST:: SOT 300864 SOS 105965 HAS SOPS 105965 HAS SOUS 49968 HAS SOUPS 49968 WITH SCORE 50073.965
AT ITER 2641 NEW BEST:: SOT 300864 SOS 105965 HAS SOPS 105965 HAS SOUS 49947 HAS SOUPS 49947 WITH SCORE 50052.965
AT ITER 2650 NEW BEST:: SOT 300864 SOS 105965 HAS SOPS 105965 HAS SOUS 49914 HAS SOUPS 49914 WITH SCORE 50019.965
AT ITER 2694 NEW BEST:: SOT 300856 SOS 105917 HAS SOPS 105917 HAS SOUS 49898 HAS SOUPS 49898 WITH SCORE 50003.917
AT ITER 2703 NEW BEST:: SOT 300741 SOS 105687 HAS SOPS 105687 HAS SOUS 49760 HAS SOUPS 49760 WITH SCORE 49865.687
AT ITER 2712 NEW BEST:: SOT 300741 SOS 105651 HAS SOPS 105651 HAS SOUS 49748 HAS SOUPS 49748 WITH SCORE 49853.651
AT ITER 2714 NEW BEST:: SOT 300840 SOS 105693 HAS SOPS 105693 HAS SOUS 49722 HAS SOUPS 49722 WITH SCORE 49827.693
AT ITER 2723 NEW BEST:: SOT 300840 SOS 105733 HAS SOPS 105733 HAS SOUS 49701 HAS SOUPS 49701 WITH SCORE 49806.733
AT ITER 2772 NEW BEST:: SOT 300878 SOS 105771 HAS SOPS 105771 HAS SOUS 49642 HAS SOUPS 49642 WITH SCORE 49747.771
AT ITER 2773 NEW BEST:: SOT 300859 SOS 105752 HAS SOPS 105752 HAS SOUS 49622 HAS SOUPS 49622 WITH SCORE 49727.752
AT ITER 2798 NEW BEST:: SOT 300844 SOS 105737 HAS SOPS 105737 HAS SOUS 49622 HAS SOUPS 49622 WITH SCORE 49727.737
AT ITER 2801 NEW BEST:: SOT 300844 SOS 105734 HAS SOPS 105734 HAS SOUS 49619 HAS SOUPS 49619 WITH SCORE 49724.734
AT ITER 2803 NEW BEST:: SOT 300840 SOS 105730 HAS SOPS 105730 HAS SOUS 49619 HAS SOUPS 49619 WITH SCORE 49724.73
AT ITER 2856 NEW BEST:: SOT 300771 SOS 105661 HAS SOPS 105661 HAS SOUS 49594 HAS SOUPS 49594 WITH SCORE 49699.661
AT ITER 2864 NEW BEST:: SOT 300748 SOS 105524 HAS SOPS 105524 HAS SOUS 49529 HAS SOUPS 49529 WITH SCORE 49634.524
AT ITER 2895 NEW BEST:: SOT 300722 SOS 105342 HAS SOPS 105342 HAS SOUS 49451 HAS SOUPS 49451 WITH SCORE 49556.342
AT ITER 2942 NEW BEST:: SOT 300562 SOS 105182 HAS SOPS 105182 HAS SOUS 49291 HAS SOUPS 49291 WITH SCORE 49396.182
AT ITER 2990 NEW BEST:: SOT 300562 SOS 105170 HAS SOPS 105170 HAS SOUS 49279 HAS SOUPS 49279 WITH SCORE 49384.17
AT ITER 3030 NEW BEST:: SOT 300537 SOS 105110 HAS SOPS 105110 HAS SOUS 49272 HAS SOUPS 49272 WITH SCORE 49377.11
AT ITER 3033 NEW BEST:: SOT 300533 SOS 105190 HAS SOPS 105190 HAS SOUS 49264 HAS SOUPS 49264 WITH SCORE 49369.19
AT ITER 3036 NEW BEST:: SOT 300533 SOS 105156 HAS SOPS 105156 HAS SOUS 49230 HAS SOUPS 49230 WITH SCORE 49335.156
AT ITER 3041 NEW BEST:: SOT 300528 SOS 105150 HAS SOPS 105150 HAS SOUS 49225 HAS SOUPS 49225 WITH SCORE 49330.15
AT ITER 3056 NEW BEST:: SOT 300513 SOS 105164 HAS SOPS 105164 HAS SOUS 49091 HAS SOUPS 49091 WITH SCORE 49196.164
AT ITER 3063 NEW BEST:: SOT 300486 SOS 105230 HAS SOPS 105230 HAS SOUS 49081 HAS SOUPS 49081 WITH SCORE 49186.23
AT ITER 3070 NEW BEST:: SOT 300444 SOS 104978 HAS SOPS 104978 HAS SOUS 48997 HAS SOUPS 48997 WITH SCORE 49101.978
AT ITER 3079 NEW BEST:: SOT 300418 SOS 104952 HAS SOPS 104952 HAS SOUS 48997 HAS SOUPS 48997 WITH SCORE 49101.952
AT ITER 3088 NEW BEST:: SOT 300418 SOS 105017 HAS SOPS 105017 HAS SOUS 48958 HAS SOUPS 48958 WITH SCORE 49063.017
AT ITER 3106 NEW BEST:: SOT 300161 SOS 104760 HAS SOPS 104760 HAS SOUS 48705 HAS SOUPS 48705 WITH SCORE 48809.76
AT ITER 3108 NEW BEST:: SOT 300161 SOS 104760 HAS SOPS 104760 HAS SOUS 48680 HAS SOUPS 48680 WITH SCORE 48784.76
AT ITER 3117 NEW BEST:: SOT 300160 SOS 104760 HAS SOPS 104760 HAS SOUS 48650 HAS SOUPS 48650 WITH SCORE 48754.76
AT ITER 3155 NEW BEST:: SOT 300153 SOS 104753 HAS SOPS 104753 HAS SOUS 48631 HAS SOUPS 48631 WITH SCORE 48735.753
AT ITER 3163 NEW BEST:: SOT 300018 SOS 104591 HAS SOPS 104591 HAS SOUS 48361 HAS SOUPS 48361 WITH SCORE 48465.591
AT ITER 3217 NEW BEST:: SOT 299998 SOS 104564 HAS SOPS 104564 HAS SOUS 48334 HAS SOUPS 48334 WITH SCORE 48438.564
AT ITER 3230 NEW BEST:: SOT 299998 SOS 104390 HAS SOPS 104390 HAS SOUS 48276 HAS SOUPS 48276 WITH SCORE 48380.39
AT ITER 3260 NEW BEST:: SOT 299989 SOS 104372 HAS SOPS 104372 HAS SOUS 48258 HAS SOUPS 48258 WITH SCORE 48362.372
AT ITER 3304 NEW BEST:: SOT 299989 SOS 104360 HAS SOPS 104360 HAS SOUS 48254 HAS SOUPS 48254 WITH SCORE 48358.36
AT ITER 3331 NEW BEST:: SOT 299985 SOS 104354 HAS SOPS 104354 HAS SOUS 48252 HAS SOUPS 48252 WITH SCORE 48356.354
AT ITER 3334 NEW BEST:: SOT 299955 SOS 104326 HAS SOPS 104326 HAS SOUS 48232 HAS SOUPS 48232 WITH SCORE 48336.326
AT ITER 3354 NEW BEST:: SOT 299954 SOS 104319 HAS SOPS 104319 HAS SOUS 48229 HAS SOUPS 48229 WITH SCORE 48333.319
AT ITER 3356 NEW BEST:: SOT 299992 SOS 104402 HAS SOPS 104402 HAS SOUS 48219 HAS SOUPS 48219 WITH SCORE 48323.402
AT ITER 3360 NEW BEST:: SOT 299947 SOS 104300 HAS SOPS 104300 HAS SOUS 48180 HAS SOUPS 48180 WITH SCORE 48284.3
AT ITER 3399 NEW BEST:: SOT 299922 SOS 104275 HAS SOPS 104275 HAS SOUS 48130 HAS SOUPS 48130 WITH SCORE 48234.275
AT ITER 3423 NEW BEST:: SOT 299862 SOS 104203 HAS SOPS 104203 HAS SOUS 47998 HAS SOUPS 47998 WITH SCORE 48102.203
AT ITER 3440 NEW BEST:: SOT 299834 SOS 104147 HAS SOPS 104147 HAS SOUS 47830 HAS SOUPS 47830 WITH SCORE 47934.147
AT ITER 3453 NEW BEST:: SOT 299694 SOS 103749 HAS SOPS 103749 HAS SOUS 47688 HAS SOUPS 47688 WITH SCORE 47791.749
AT ITER 3480 NEW BEST:: SOT 299694 SOS 103743 HAS SOPS 103743 HAS SOUS 47686 HAS SOUPS 47686 WITH SCORE 47789.743
AT ITER 3500 NEW BEST:: SOT 299694 SOS 103725 HAS SOPS 103725 HAS SOUS 47686 HAS SOUPS 47686 WITH SCORE 47789.725
AT ITER 3501 NEW BEST:: SOT 299694 SOS 103725 HAS SOPS 103725 HAS SOUS 47684 HAS SOUPS 47684 WITH SCORE 47787.725
AT ITER 3508 NEW BEST:: SOT 299678 SOS 103682 HAS SOPS 103682 HAS SOUS 47600 HAS SOUPS 47600 WITH SCORE 47703.682
AT ITER 3509 NEW BEST:: SOT 299678 SOS 103682 HAS SOPS 103682 HAS SOUS 47575 HAS SOUPS 47575 WITH SCORE 47678.682
AT ITER 3534 NEW BEST:: SOT 299678 SOS 103640 HAS SOPS 103640 HAS SOUS 47561 HAS SOUPS 47561 WITH SCORE 47664.64
AT ITER 3561 NEW BEST:: SOT 299678 SOS 103556 HAS SOPS 103556 HAS SOUS 47533 HAS SOUPS 47533 WITH SCORE 47636.556
AT ITER 3569 NEW BEST:: SOT 299658 SOS 103512 HAS SOPS 103512 HAS SOUS 47505 HAS SOUPS 47505 WITH SCORE 47608.512
AT ITER 3607 NEW BEST:: SOT 299655 SOS 103494 HAS SOPS 103494 HAS SOUS 47499 HAS SOUPS 47499 WITH SCORE 47602.494
AT ITER 3610 NEW BEST:: SOT 299651 SOS 103490 HAS SOPS 103490 HAS SOUS 47495 HAS SOUPS 47495 WITH SCORE 47598.49
AT ITER 3637 NEW BEST:: SOT 299651 SOS 103490 HAS SOPS 103490 HAS SOUS 47459 HAS SOUPS 47459 WITH SCORE 47562.49
AT ITER 3673 NEW BEST:: SOT 299471 SOS 103310 HAS SOPS 103310 HAS SOUS 47279 HAS SOUPS 47279 WITH SCORE 47382.31
AT ITER 3733 NEW BEST:: SOT 299471 SOS 103305 HAS SOPS 103305 HAS SOUS 47274 HAS SOUPS 47274 WITH SCORE 47377.305
AT ITER 3756 NEW BEST:: SOT 299468 SOS 103431 HAS SOPS 103431 HAS SOUS 47264 HAS SOUPS 47264 WITH SCORE 47367.431
AT ITER 3781 NEW BEST:: SOT 299503 SOS 103545 HAS SOPS 103545 HAS SOUS 47262 HAS SOUPS 47262 WITH SCORE 47365.545
AT ITER 3850 NEW BEST:: SOT 299503 SOS 103545 HAS SOPS 103545 HAS SOUS 47253 HAS SOUPS 47253 WITH SCORE 47356.545
AT ITER 3875 NEW BEST:: SOT 299323 SOS 103086 HAS SOPS 103086 HAS SOUS 47116 HAS SOUPS 47116 WITH SCORE 47219.086
AT ITER 3927 NEW BEST:: SOT 299175 SOS 102938 HAS SOPS 102938 HAS SOUS 46968 HAS SOUPS 46968 WITH SCORE 47070.938
AT ITER 3945 NEW BEST:: SOT 299059 SOS 102822 HAS SOPS 102822 HAS SOUS 46852 HAS SOUPS 46852 WITH SCORE 46954.822
AT ITER 3975 NEW BEST:: SOT 298849 SOS 102270 HAS SOPS 102270 HAS SOUS 46768 HAS SOUPS 46768 WITH SCORE 46870.27
AT ITER 4059 NEW BEST:: SOT 298849 SOS 102267 HAS SOPS 102267 HAS SOUS 46753 HAS SOUPS 46753 WITH SCORE 46855.267
AT ITER 4100 NEW BEST:: SOT 298828 SOS 102141 HAS SOPS 102141 HAS SOUS 46711 HAS SOUPS 46711 WITH SCORE 46813.141
AT ITER 4121 NEW BEST:: SOT 298813 SOS 102128 HAS SOPS 102128 HAS SOUS 46702 HAS SOUPS 46702 WITH SCORE 46804.128
AT ITER 4132 NEW BEST:: SOT 298693 SOS 101887 HAS SOPS 101887 HAS SOUS 46545 HAS SOUPS 46545 WITH SCORE 46646.887
AT ITER 4136 NEW BEST:: SOT 298685 SOS 101831 HAS SOPS 101831 HAS SOUS 46521 HAS SOUPS 46521 WITH SCORE 46622.831
AT ITER 4275 NEW BEST:: SOT 298685 SOS 101819 HAS SOPS 101819 HAS SOUS 46521 HAS SOUPS 46521 WITH SCORE 46622.819
AT ITER 4287 NEW BEST:: SOT 298661 SOS 101803 HAS SOPS 101803 HAS SOUS 46509 HAS SOUPS 46509 WITH SCORE 46610.803
AT ITER 4318 NEW BEST:: SOT 298615 SOS 101759 HAS SOPS 101759 HAS SOUS 46465 HAS SOUPS 46465 WITH SCORE 46566.759
AT ITER 4324 NEW BEST:: SOT 298595 SOS 101649 HAS SOPS 101649 HAS SOUS 46455 HAS SOUPS 46455 WITH SCORE 46556.649
AT ITER 4373 NEW BEST:: SOT 298605 SOS 101741 HAS SOPS 101741 HAS SOUS 46433 HAS SOUPS 46433 WITH SCORE 46534.741
AT ITER 4440 NEW BEST:: SOT 298580 SOS 101566 HAS SOPS 101566 HAS SOUS 46358 HAS SOUPS 46358 WITH SCORE 46459.566
AT ITER 4449 NEW BEST:: SOT 298555 SOS 101536 HAS SOPS 101536 HAS SOUS 46328 HAS SOUPS 46328 WITH SCORE 46429.536
AT ITER 4476 NEW BEST:: SOT 298555 SOS 101518 HAS SOPS 101518 HAS SOUS 46322 HAS SOUPS 46322 WITH SCORE 46423.518
AT ITER 4478 NEW BEST:: SOT 298555 SOS 101493 HAS SOPS 101493 HAS SOUS 46317 HAS SOUPS 46317 WITH SCORE 46418.493
AT ITER 4486 NEW BEST:: SOT 298528 SOS 101466 HAS SOPS 101466 HAS SOUS 46285 HAS SOUPS 46285 WITH SCORE 46386.466
AT ITER 4502 NEW BEST:: SOT 298489 SOS 101287 HAS SOPS 101287 HAS SOUS 46194 HAS SOUPS 46194 WITH SCORE 46295.287
AT ITER 4553 NEW BEST:: SOT 298482 SOS 101185 HAS SOPS 101185 HAS SOUS 46120 HAS SOUPS 46120 WITH SCORE 46221.185
AT ITER 4582 NEW BEST:: SOT 298477 SOS 101179 HAS SOPS 101179 HAS SOUS 46110 HAS SOUPS 46110 WITH SCORE 46211.179
AT ITER 4585 NEW BEST:: SOT 298462 SOS 101164 HAS SOPS 101164 HAS SOUS 46095 HAS SOUPS 46095 WITH SCORE 46196.164
AT ITER 4604 NEW BEST:: SOT 298474 SOS 101176 HAS SOPS 101176 HAS SOUS 46080 HAS SOUPS 46080 WITH SCORE 46181.176
AT ITER 4633 NEW BEST:: SOT 298474 SOS 101008 HAS SOPS 101008 HAS SOUS 46024 HAS SOUPS 46024 WITH SCORE 46125.008
AT ITER 4641 NEW BEST:: SOT 298459 SOS 100990 HAS SOPS 100990 HAS SOUS 45994 HAS SOUPS 45994 WITH SCORE 46094.99
AT ITER 4651 NEW BEST:: SOT 298325 SOS 101940 HAS SOPS 101940 HAS SOUS 45983 HAS SOUPS 45983 WITH SCORE 46084.94
AT ITER 4686 NEW BEST:: SOT 298343 SOS 101958 HAS SOPS 101958 HAS SOUS 45967 HAS SOUPS 45967 WITH SCORE 46068.958
AT ITER 4836 NEW BEST:: SOT 298343 SOS 101958 HAS SOPS 101958 HAS SOUS 45942 HAS SOUPS 45942 WITH SCORE 46043.958
AT ITER 4868 NEW BEST:: SOT 298358 SOS 101973 HAS SOPS 101973 HAS SOUS 45901 HAS SOUPS 45901 WITH SCORE 46002.973
AT ITER 4887 NEW BEST:: SOT 298322 SOS 101676 HAS SOPS 101676 HAS SOUS 45880 HAS SOUPS 45880 WITH SCORE 45981.676
AT ITER 4939 NEW BEST:: SOT 298309 SOS 101590 HAS SOPS 101590 HAS SOUS 45878 HAS SOUPS 45878 WITH SCORE 45979.59
AT ITER 4952 NEW BEST:: SOT 298297 SOS 101572 HAS SOPS 101572 HAS SOUS 45866 HAS SOUPS 45866 WITH SCORE 45967.572
AT ITER 4963 NEW BEST:: SOT 298297 SOS 101572 HAS SOPS 101572 HAS SOUS 45842 HAS SOUPS 45842 WITH SCORE 45943.572
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-00 ( (EU( (! potential( (tk(P125)) <= (tk(P180)) )),( potential( ( 1 ) <= (tk(P266)) ) & potential( ( 1 ) <= (tk(P63)) ) ) )) | (EG( potential( ( 1 ) <= (tk(P119)) ))) )
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-01 (AG( (! ( ( potential( (tk(P186)) <= (tk(P64)) ) | potential( ( 2 ) <= (tk(P56)) ) ) & potential( ( 3 ) <= (tk(P293)) ) ))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-02 ( (! (AF(( potential( ( 1 ) <= (tk(P75)) ) & potential( (tk(P321)) <= (tk(P242)) ) )))) | potential( ( 2 ) <= (tk(P285)) ) )
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-03 (! (! ( (AG( potential( ( 2 ) <= (tk(P243)) ))) | (EF(potential( ( 2 ) <= (tk(P337)) ))) )))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-04 (EF(( potential( (tk(P492)) <= (tk(P423)) ) & (EF(potential( ( 2 ) <= (tk(P413)) ))) )))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-05 (EG( ( potential( ( 2 ) <= (tk(P109)) ) | ( ( potential( ( 3 ) <= (tk(P336)) ) & potential( ( 2 ) <= (tk(P271)) ) ) | ( potential( ( 3 ) <= (tk(P85)) ) | potential( (tk(P269)) <= (tk(P413)) ) ) ) )))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-06 (EF(( ( ( potential( ( 1 ) <= (tk(P262)) ) & potential( (tk(P462)) <= (tk(P54)) ) ) & ( potential( (tk(P182)) <= (tk(P200)) ) | potential( ( 3 ) <= (tk(P327)) ) ) ) | (AG( potential( (tk(P465)) <= (tk(P67)) ))) )))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-07 (AX( (AF(( potential( (tk(P490)) <= (tk(P309)) ) & potential( ( 2 ) <= (tk(P347)) ) )))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-08 (AG( (AX( (! potential( (tk(P189)) <= (tk(P311)) ))))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-09 (EX( (! (AX( potential( ( 1 ) <= (tk(P48)) ))))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-10 (EG( potential( (tk(P272)) <= (tk(P153)) )))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-11 (EX( (! (AF(potential( ( 2 ) <= (tk(P483)) ))))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-12 (! (AF(( ( potential( ( 2 ) <= (tk(P401)) ) | potential( ( 3 ) <= (tk(P481)) ) ) & ( potential( (tk(P310)) <= (tk(P32)) ) | potential( (tk(P196)) <= (tk(P61)) ) ) ))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-13 (EG( (AF(( potential( ( 3 ) <= (tk(P489)) ) | potential( ( 3 ) <= (tk(P289)) ) )))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-14 (EX( (EF((! potential( ( 3 ) <= (tk(P180)) ))))))
PROPERTY: HypertorusGrid-PT-d3k3p2b06-CTLCardinality-15 (! (EG( potential( ( 1 ) <= (tk(P107)) ))))

BK_STOP 1589616640318

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 467 Aborted ${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="CTLCardinality"
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 CTLCardinality"
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-158940140400299"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;