Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469000136.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPs-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 336K
-rw-r--r-- 1 mcc users 3.7K May 14 00:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 00:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 17:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 17:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 13:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 07:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 164K May 12 20:42 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 1590435532273

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 010B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 603 places, 593 transitions, 1786 arcs.
AT ITER 0 NEW BEST:: SOT 190826 SOS 32357 HAS SOPS 32357 HAS SOUS 26899 HAS SOUPS 26899 WITH SCORE 26931.357
AT ITER 36 NEW BEST:: SOT 190746 SOS 32251 HAS SOPS 32251 HAS SOUS 26779 HAS SOUPS 26779 WITH SCORE 26811.251
AT ITER 44 NEW BEST:: SOT 190725 SOS 32252 HAS SOPS 32252 HAS SOUS 26758 HAS SOUPS 26758 WITH SCORE 26790.252
AT ITER 62 NEW BEST:: SOT 190725 SOS 32245 HAS SOPS 32245 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26783.245
AT ITER 82 NEW BEST:: SOT 190715 SOS 32244 HAS SOPS 32244 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26783.244
AT ITER 83 NEW BEST:: SOT 190664 SOS 32178 HAS SOPS 32178 HAS SOUS 26547 HAS SOUPS 26547 WITH SCORE 26579.178
AT ITER 97 NEW BEST:: SOT 190664 SOS 32177 HAS SOPS 32177 HAS SOUS 26546 HAS SOUPS 26546 WITH SCORE 26578.177
AT ITER 123 NEW BEST:: SOT 190655 SOS 32176 HAS SOPS 32176 HAS SOUS 26545 HAS SOUPS 26545 WITH SCORE 26577.176
AT ITER 124 NEW BEST:: SOT 190610 SOS 32131 HAS SOPS 32131 HAS SOUS 26499 HAS SOUPS 26499 WITH SCORE 26531.131
AT ITER 171 NEW BEST:: SOT 190601 SOS 32131 HAS SOPS 32131 HAS SOUS 26472 HAS SOUPS 26472 WITH SCORE 26504.131
AT ITER 180 NEW BEST:: SOT 190579 SOS 32111 HAS SOPS 32111 HAS SOUS 26450 HAS SOUPS 26450 WITH SCORE 26482.111
AT ITER 223 NEW BEST:: SOT 190559 SOS 31955 HAS SOPS 31955 HAS SOUS 26436 HAS SOUPS 26436 WITH SCORE 26467.955
AT ITER 229 NEW BEST:: SOT 190559 SOS 31934 HAS SOPS 31934 HAS SOUS 26415 HAS SOUPS 26415 WITH SCORE 26446.934
AT ITER 262 NEW BEST:: SOT 190503 SOS 31746 HAS SOPS 31746 HAS SOUS 26331 HAS SOUPS 26331 WITH SCORE 26362.746
AT ITER 263 NEW BEST:: SOT 190479 SOS 31671 HAS SOPS 31671 HAS SOUS 26327 HAS SOUPS 26327 WITH SCORE 26358.671
AT ITER 267 NEW BEST:: SOT 190455 SOS 31673 HAS SOPS 31673 HAS SOUS 26303 HAS SOUPS 26303 WITH SCORE 26334.673
AT ITER 287 NEW BEST:: SOT 190442 SOS 31637 HAS SOPS 31637 HAS SOUS 26298 HAS SOUPS 26298 WITH SCORE 26329.637
AT ITER 301 NEW BEST:: SOT 190424 SOS 31565 HAS SOPS 31565 HAS SOUS 26280 HAS SOUPS 26280 WITH SCORE 26311.565
AT ITER 313 NEW BEST:: SOT 190424 SOS 31565 HAS SOPS 31565 HAS SOUS 26279 HAS SOUPS 26279 WITH SCORE 26310.565
AT ITER 317 NEW BEST:: SOT 190408 SOS 31444 HAS SOPS 31444 HAS SOUS 26221 HAS SOUPS 26221 WITH SCORE 26252.444
AT ITER 337 NEW BEST:: SOT 190397 SOS 31437 HAS SOPS 31437 HAS SOUS 26210 HAS SOUPS 26210 WITH SCORE 26241.437
AT ITER 345 NEW BEST:: SOT 190389 SOS 31421 HAS SOPS 31421 HAS SOUS 26193 HAS SOUPS 26193 WITH SCORE 26224.421
AT ITER 384 NEW BEST:: SOT 190374 SOS 31463 HAS SOPS 31463 HAS SOUS 26178 HAS SOUPS 26178 WITH SCORE 26209.463
AT ITER 456 NEW BEST:: SOT 190373 SOS 31462 HAS SOPS 31462 HAS SOUS 26170 HAS SOUPS 26170 WITH SCORE 26201.462
AT ITER 472 NEW BEST:: SOT 190384 SOS 31449 HAS SOPS 31449 HAS SOUS 26157 HAS SOUPS 26157 WITH SCORE 26188.449
AT ITER 477 NEW BEST:: SOT 190364 SOS 31399 HAS SOPS 31399 HAS SOUS 26126 HAS SOUPS 26126 WITH SCORE 26157.399
AT ITER 522 NEW BEST:: SOT 190336 SOS 31371 HAS SOPS 31371 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26126.371
AT ITER 523 NEW BEST:: SOT 190311 SOS 31371 HAS SOPS 31371 HAS SOUS 26069 HAS SOUPS 26069 WITH SCORE 26100.371
AT ITER 536 NEW BEST:: SOT 190311 SOS 31351 HAS SOPS 31351 HAS SOUS 26069 HAS SOUPS 26069 WITH SCORE 26100.351
AT ITER 548 NEW BEST:: SOT 190302 SOS 31354 HAS SOPS 31354 HAS SOUS 26060 HAS SOUPS 26060 WITH SCORE 26091.354
AT ITER 556 NEW BEST:: SOT 190254 SOS 31354 HAS SOPS 31354 HAS SOUS 26032 HAS SOUPS 26032 WITH SCORE 26063.354
AT ITER 585 NEW BEST:: SOT 190216 SOS 31354 HAS SOPS 31354 HAS SOUS 25956 HAS SOUPS 25956 WITH SCORE 25987.354
AT ITER 616 NEW BEST:: SOT 190210 SOS 31348 HAS SOPS 31348 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 25981.348
AT ITER 618 NEW BEST:: SOT 190209 SOS 31347 HAS SOPS 31347 HAS SOUS 25948 HAS SOUPS 25948 WITH SCORE 25979.347
AT ITER 631 NEW BEST:: SOT 190193 SOS 31333 HAS SOPS 31333 HAS SOUS 25927 HAS SOUPS 25927 WITH SCORE 25958.333
AT ITER 745 NEW BEST:: SOT 190215 SOS 31153 HAS SOPS 31153 HAS SOUS 25895 HAS SOUPS 25895 WITH SCORE 25926.153
AT ITER 753 NEW BEST:: SOT 190213 SOS 31151 HAS SOPS 31151 HAS SOUS 25891 HAS SOUPS 25891 WITH SCORE 25922.151
AT ITER 782 NEW BEST:: SOT 190207 SOS 31147 HAS SOPS 31147 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25918.147
AT ITER 809 NEW BEST:: SOT 190163 SOS 31147 HAS SOPS 31147 HAS SOUS 25871 HAS SOUPS 25871 WITH SCORE 25902.147
AT ITER 854 NEW BEST:: SOT 190153 SOS 31129 HAS SOPS 31129 HAS SOUS 25857 HAS SOUPS 25857 WITH SCORE 25888.129
AT ITER 863 NEW BEST:: SOT 190150 SOS 31123 HAS SOPS 31123 HAS SOUS 25851 HAS SOUPS 25851 WITH SCORE 25882.123
AT ITER 878 NEW BEST:: SOT 190150 SOS 31121 HAS SOPS 31121 HAS SOUS 25849 HAS SOUPS 25849 WITH SCORE 25880.121
AT ITER 924 NEW BEST:: SOT 190134 SOS 31111 HAS SOPS 31111 HAS SOUS 25839 HAS SOUPS 25839 WITH SCORE 25870.111
AT ITER 943 NEW BEST:: SOT 190014 SOS 31007 HAS SOPS 31007 HAS SOUS 25735 HAS SOUPS 25735 WITH SCORE 25766.007
AT ITER 960 NEW BEST:: SOT 190014 SOS 31001 HAS SOPS 31001 HAS SOUS 25729 HAS SOUPS 25729 WITH SCORE 25760.001
AT ITER 971 NEW BEST:: SOT 189894 SOS 30841 HAS SOPS 30841 HAS SOUS 25609 HAS SOUPS 25609 WITH SCORE 25639.841
AT ITER 1000 NEW BEST:: SOT 189883 SOS 30840 HAS SOPS 30840 HAS SOUS 25597 HAS SOUPS 25597 WITH SCORE 25627.84
AT ITER 1033 NEW BEST:: SOT 189881 SOS 30847 HAS SOPS 30847 HAS SOUS 25595 HAS SOUPS 25595 WITH SCORE 25625.847
AT ITER 1045 NEW BEST:: SOT 189881 SOS 30809 HAS SOPS 30809 HAS SOUS 25557 HAS SOUPS 25557 WITH SCORE 25587.809
AT ITER 1084 NEW BEST:: SOT 189913 SOS 30657 HAS SOPS 30657 HAS SOUS 25510 HAS SOUPS 25510 WITH SCORE 25540.657
AT ITER 1087 NEW BEST:: SOT 189898 SOS 30631 HAS SOPS 30631 HAS SOUS 25510 HAS SOUPS 25510 WITH SCORE 25540.631
AT ITER 1115 NEW BEST:: SOT 189871 SOS 30630 HAS SOPS 30630 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25539.63
AT ITER 1168 NEW BEST:: SOT 189871 SOS 30617 HAS SOPS 30617 HAS SOUS 25496 HAS SOUPS 25496 WITH SCORE 25526.617
AT ITER 1175 NEW BEST:: SOT 189840 SOS 30594 HAS SOPS 30594 HAS SOUS 25488 HAS SOUPS 25488 WITH SCORE 25518.594
AT ITER 1201 NEW BEST:: SOT 189840 SOS 30594 HAS SOPS 30594 HAS SOUS 25486 HAS SOUPS 25486 WITH SCORE 25516.594
AT ITER 1225 NEW BEST:: SOT 189843 SOS 30597 HAS SOPS 30597 HAS SOUS 25484 HAS SOUPS 25484 WITH SCORE 25514.597
AT ITER 1226 NEW BEST:: SOT 189830 SOS 30584 HAS SOPS 30584 HAS SOUS 25471 HAS SOUPS 25471 WITH SCORE 25501.584
AT ITER 1234 NEW BEST:: SOT 189808 SOS 30562 HAS SOPS 30562 HAS SOUS 25459 HAS SOUPS 25459 WITH SCORE 25489.562
AT ITER 1239 NEW BEST:: SOT 189807 SOS 30537 HAS SOPS 30537 HAS SOUS 25446 HAS SOUPS 25446 WITH SCORE 25476.537
AT ITER 1305 NEW BEST:: SOT 189683 SOS 30443 HAS SOPS 30443 HAS SOUS 25326 HAS SOUPS 25326 WITH SCORE 25356.443
AT ITER 1335 NEW BEST:: SOT 189632 SOS 30392 HAS SOPS 30392 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25305.392
AT ITER 1344 NEW BEST:: SOT 189618 SOS 30408 HAS SOPS 30408 HAS SOUS 25257 HAS SOUPS 25257 WITH SCORE 25287.408
AT ITER 1427 NEW BEST:: SOT 189618 SOS 30400 HAS SOPS 30400 HAS SOUS 25249 HAS SOUPS 25249 WITH SCORE 25279.4
AT ITER 1445 NEW BEST:: SOT 189635 SOS 30317 HAS SOPS 30317 HAS SOUS 25227 HAS SOUPS 25227 WITH SCORE 25257.317
AT ITER 1447 NEW BEST:: SOT 189609 SOS 30315 HAS SOPS 30315 HAS SOUS 25225 HAS SOUPS 25225 WITH SCORE 25255.315
AT ITER 1466 NEW BEST:: SOT 189616 SOS 30315 HAS SOPS 30315 HAS SOUS 25224 HAS SOUPS 25224 WITH SCORE 25254.315
AT ITER 1497 NEW BEST:: SOT 189598 SOS 30306 HAS SOPS 30306 HAS SOUS 25215 HAS SOUPS 25215 WITH SCORE 25245.306
AT ITER 1504 NEW BEST:: SOT 189597 SOS 30305 HAS SOPS 30305 HAS SOUS 25214 HAS SOUPS 25214 WITH SCORE 25244.305
AT ITER 1511 NEW BEST:: SOT 189492 SOS 30344 HAS SOPS 30344 HAS SOUS 25209 HAS SOUPS 25209 WITH SCORE 25239.344
AT ITER 1520 NEW BEST:: SOT 189448 SOS 30305 HAS SOPS 30305 HAS SOUS 25164 HAS SOUPS 25164 WITH SCORE 25194.305
AT ITER 1585 NEW BEST:: SOT 189448 SOS 30290 HAS SOPS 30290 HAS SOUS 25164 HAS SOUPS 25164 WITH SCORE 25194.29
AT ITER 1609 NEW BEST:: SOT 189442 SOS 30262 HAS SOPS 30262 HAS SOUS 25142 HAS SOUPS 25142 WITH SCORE 25172.262
AT ITER 1646 NEW BEST:: SOT 189451 SOS 30251 HAS SOPS 30251 HAS SOUS 25141 HAS SOUPS 25141 WITH SCORE 25171.251
AT ITER 1678 NEW BEST:: SOT 189441 SOS 30215 HAS SOPS 30215 HAS SOUS 25084 HAS SOUPS 25084 WITH SCORE 25114.215
AT ITER 1741 NEW BEST:: SOT 189449 SOS 30211 HAS SOPS 30211 HAS SOUS 25080 HAS SOUPS 25080 WITH SCORE 25110.211
AT ITER 1774 NEW BEST:: SOT 189444 SOS 30201 HAS SOPS 30201 HAS SOUS 25070 HAS SOUPS 25070 WITH SCORE 25100.201
AT ITER 1780 NEW BEST:: SOT 189433 SOS 30171 HAS SOPS 30171 HAS SOUS 25057 HAS SOUPS 25057 WITH SCORE 25087.171
AT ITER 1830 NEW BEST:: SOT 189453 SOS 30131 HAS SOPS 30131 HAS SOUS 25050 HAS SOUPS 25050 WITH SCORE 25080.131
AT ITER 1855 NEW BEST:: SOT 189463 SOS 30120 HAS SOPS 30120 HAS SOUS 25049 HAS SOUPS 25049 WITH SCORE 25079.12
AT ITER 1866 NEW BEST:: SOT 189453 SOS 30110 HAS SOPS 30110 HAS SOUS 25039 HAS SOUPS 25039 WITH SCORE 25069.11
AT ITER 1867 NEW BEST:: SOT 189411 SOS 30170 HAS SOPS 30170 HAS SOUS 25006 HAS SOUPS 25006 WITH SCORE 25036.17
AT ITER 1909 NEW BEST:: SOT 189393 SOS 30132 HAS SOPS 30132 HAS SOUS 25006 HAS SOUPS 25006 WITH SCORE 25036.132
AT ITER 1947 NEW BEST:: SOT 189393 SOS 30089 HAS SOPS 30089 HAS SOUS 25001 HAS SOUPS 25001 WITH SCORE 25031.089
AT ITER 2000 NEW BEST:: SOT 189392 SOS 30084 HAS SOPS 30084 HAS SOUS 24996 HAS SOUPS 24996 WITH SCORE 25026.084
AT ITER 2038 NEW BEST:: SOT 189392 SOS 30043 HAS SOPS 30043 HAS SOUS 24991 HAS SOUPS 24991 WITH SCORE 25021.043
AT ITER 2100 NEW BEST:: SOT 189392 SOS 30054 HAS SOPS 30054 HAS SOUS 24990 HAS SOUPS 24990 WITH SCORE 25020.054
AT ITER 2102 NEW BEST:: SOT 189389 SOS 30054 HAS SOPS 30054 HAS SOUS 24987 HAS SOUPS 24987 WITH SCORE 25017.054
AT ITER 2219 NEW BEST:: SOT 189354 SOS 30041 HAS SOPS 30041 HAS SOUS 24974 HAS SOUPS 24974 WITH SCORE 25004.041
AT ITER 2265 NEW BEST:: SOT 189330 SOS 29921 HAS SOPS 29921 HAS SOUS 24950 HAS SOUPS 24950 WITH SCORE 24979.921
AT ITER 2270 NEW BEST:: SOT 189323 SOS 29919 HAS SOPS 29919 HAS SOUS 24948 HAS SOUPS 24948 WITH SCORE 24977.919
AT ITER 2293 NEW BEST:: SOT 189310 SOS 29863 HAS SOPS 29863 HAS SOUS 24934 HAS SOUPS 24934 WITH SCORE 24963.863
AT ITER 2333 NEW BEST:: SOT 189247 SOS 29663 HAS SOPS 29663 HAS SOUS 24883 HAS SOUPS 24883 WITH SCORE 24912.663
AT ITER 2336 NEW BEST:: SOT 189248 SOS 29650 HAS SOPS 29650 HAS SOUS 24875 HAS SOUPS 24875 WITH SCORE 24904.65
AT ITER 2412 NEW BEST:: SOT 189164 SOS 29582 HAS SOPS 29582 HAS SOUS 24777 HAS SOUPS 24777 WITH SCORE 24806.582
AT ITER 2460 NEW BEST:: SOT 189198 SOS 29547 HAS SOPS 29547 HAS SOUS 24767 HAS SOUPS 24767 WITH SCORE 24796.547
AT ITER 2471 NEW BEST:: SOT 189165 SOS 29405 HAS SOPS 29405 HAS SOUS 24734 HAS SOUPS 24734 WITH SCORE 24763.405
AT ITER 2495 NEW BEST:: SOT 189160 SOS 29400 HAS SOPS 29400 HAS SOUS 24729 HAS SOUPS 24729 WITH SCORE 24758.4
AT ITER 2500 NEW BEST:: SOT 189151 SOS 29399 HAS SOPS 29399 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24757.399
AT ITER 2514 NEW BEST:: SOT 189153 SOS 29398 HAS SOPS 29398 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24757.398
AT ITER 2535 NEW BEST:: SOT 189153 SOS 29397 HAS SOPS 29397 HAS SOUS 24727 HAS SOUPS 24727 WITH SCORE 24756.397
AT ITER 2544 NEW BEST:: SOT 189161 SOS 29409 HAS SOPS 29409 HAS SOUS 24723 HAS SOUPS 24723 WITH SCORE 24752.409
AT ITER 2574 NEW BEST:: SOT 189161 SOS 29408 HAS SOPS 29408 HAS SOUS 24722 HAS SOUPS 24722 WITH SCORE 24751.408
AT ITER 2603 NEW BEST:: SOT 189160 SOS 29389 HAS SOPS 29389 HAS SOUS 24712 HAS SOUPS 24712 WITH SCORE 24741.389
AT ITER 2611 NEW BEST:: SOT 189160 SOS 29388 HAS SOPS 29388 HAS SOUS 24711 HAS SOUPS 24711 WITH SCORE 24740.388
AT ITER 2661 NEW BEST:: SOT 189094 SOS 29386 HAS SOPS 29386 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24739.386
AT ITER 2675 NEW BEST:: SOT 189088 SOS 29350 HAS SOPS 29350 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24721.35
AT ITER 2685 NEW BEST:: SOT 189088 SOS 29334 HAS SOPS 29334 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24721.334
AT ITER 2692 NEW BEST:: SOT 189076 SOS 29322 HAS SOPS 29322 HAS SOUS 24680 HAS SOUPS 24680 WITH SCORE 24709.322
AT ITER 2695 NEW BEST:: SOT 189091 SOS 29238 HAS SOPS 29238 HAS SOUS 24660 HAS SOUPS 24660 WITH SCORE 24689.238
AT ITER 2711 NEW BEST:: SOT 189082 SOS 29223 HAS SOPS 29223 HAS SOUS 24654 HAS SOUPS 24654 WITH SCORE 24683.223
AT ITER 2731 NEW BEST:: SOT 189068 SOS 29197 HAS SOPS 29197 HAS SOUS 24626 HAS SOUPS 24626 WITH SCORE 24655.197
AT ITER 2740 NEW BEST:: SOT 189054 SOS 29190 HAS SOPS 29190 HAS SOUS 24619 HAS SOUPS 24619 WITH SCORE 24648.19
AT ITER 2788 NEW BEST:: SOT 189054 SOS 29121 HAS SOPS 29121 HAS SOUS 24619 HAS SOUPS 24619 WITH SCORE 24648.121
AT ITER 2799 NEW BEST:: SOT 189033 SOS 29123 HAS SOPS 29123 HAS SOUS 24598 HAS SOUPS 24598 WITH SCORE 24627.123
AT ITER 2898 NEW BEST:: SOT 189023 SOS 29093 HAS SOPS 29093 HAS SOUS 24578 HAS SOUPS 24578 WITH SCORE 24607.093
AT ITER 2905 NEW BEST:: SOT 188999 SOS 29103 HAS SOPS 29103 HAS SOUS 24525 HAS SOUPS 24525 WITH SCORE 24554.103
AT ITER 2910 NEW BEST:: SOT 188949 SOS 29078 HAS SOPS 29078 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24526.078
AT ITER 2927 NEW BEST:: SOT 188949 SOS 29049 HAS SOPS 29049 HAS SOUS 24468 HAS SOUPS 24468 WITH SCORE 24497.049
AT ITER 2932 NEW BEST:: SOT 188947 SOS 29047 HAS SOPS 29047 HAS SOUS 24464 HAS SOUPS 24464 WITH SCORE 24493.047
AT ITER 2974 NEW BEST:: SOT 188872 SOS 29016 HAS SOPS 29016 HAS SOUS 24389 HAS SOUPS 24389 WITH SCORE 24418.016
AT ITER 2989 NEW BEST:: SOT 188830 SOS 28932 HAS SOPS 28932 HAS SOUS 24322 HAS SOUPS 24322 WITH SCORE 24350.932
AT ITER 3019 NEW BEST:: SOT 188830 SOS 28931 HAS SOPS 28931 HAS SOUS 24322 HAS SOUPS 24322 WITH SCORE 24350.931
AT ITER 3037 NEW BEST:: SOT 188803 SOS 28871 HAS SOPS 28871 HAS SOUS 24273 HAS SOUPS 24273 WITH SCORE 24301.871
AT ITER 3066 NEW BEST:: SOT 188803 SOS 28833 HAS SOPS 28833 HAS SOUS 24273 HAS SOUPS 24273 WITH SCORE 24301.833
AT ITER 3075 NEW BEST:: SOT 188798 SOS 28823 HAS SOPS 28823 HAS SOUS 24265 HAS SOUPS 24265 WITH SCORE 24293.823
AT ITER 3144 NEW BEST:: SOT 188798 SOS 28823 HAS SOPS 28823 HAS SOUS 24262 HAS SOUPS 24262 WITH SCORE 24290.823
AT ITER 3161 NEW BEST:: SOT 188798 SOS 28823 HAS SOPS 28823 HAS SOUS 24258 HAS SOUPS 24258 WITH SCORE 24286.823
AT ITER 3216 NEW BEST:: SOT 188796 SOS 28833 HAS SOPS 28833 HAS SOUS 24256 HAS SOUPS 24256 WITH SCORE 24284.833
AT ITER 3247 NEW BEST:: SOT 188796 SOS 28801 HAS SOPS 28801 HAS SOUS 24256 HAS SOUPS 24256 WITH SCORE 24284.801
AT ITER 3276 NEW BEST:: SOT 188796 SOS 28801 HAS SOPS 28801 HAS SOUS 24214 HAS SOUPS 24214 WITH SCORE 24242.801
AT ITER 3300 NEW BEST:: SOT 188792 SOS 28793 HAS SOPS 28793 HAS SOUS 24210 HAS SOUPS 24210 WITH SCORE 24238.793
AT ITER 3309 NEW BEST:: SOT 188671 SOS 28810 HAS SOPS 28810 HAS SOUS 24122 HAS SOUPS 24122 WITH SCORE 24150.81
AT ITER 3335 NEW BEST:: SOT 188662 SOS 28788 HAS SOPS 28788 HAS SOUS 24104 HAS SOUPS 24104 WITH SCORE 24132.788
AT ITER 3448 NEW BEST:: SOT 188653 SOS 28735 HAS SOPS 28735 HAS SOUS 24070 HAS SOUPS 24070 WITH SCORE 24098.735
AT ITER 3454 NEW BEST:: SOT 188612 SOS 28726 HAS SOPS 28726 HAS SOUS 24062 HAS SOUPS 24062 WITH SCORE 24090.726
AT ITER 3492 NEW BEST:: SOT 188629 SOS 28759 HAS SOPS 28759 HAS SOUS 24059 HAS SOUPS 24059 WITH SCORE 24087.759
AT ITER 3507 NEW BEST:: SOT 188624 SOS 28735 HAS SOPS 28735 HAS SOUS 24045 HAS SOUPS 24045 WITH SCORE 24073.735
AT ITER 3509 NEW BEST:: SOT 188624 SOS 28743 HAS SOPS 28743 HAS SOUS 24040 HAS SOUPS 24040 WITH SCORE 24068.743
AT ITER 3513 NEW BEST:: SOT 188585 SOS 28736 HAS SOPS 28736 HAS SOUS 24031 HAS SOUPS 24031 WITH SCORE 24059.736
AT ITER 3543 NEW BEST:: SOT 188565 SOS 28733 HAS SOPS 28733 HAS SOUS 24004 HAS SOUPS 24004 WITH SCORE 24032.733
AT ITER 3579 NEW BEST:: SOT 188574 SOS 28752 HAS SOPS 28752 HAS SOUS 24003 HAS SOUPS 24003 WITH SCORE 24031.752
AT ITER 3602 NEW BEST:: SOT 188574 SOS 28752 HAS SOPS 28752 HAS SOUS 24002 HAS SOUPS 24002 WITH SCORE 24030.752
AT ITER 3630 NEW BEST:: SOT 188570 SOS 28736 HAS SOPS 28736 HAS SOUS 23998 HAS SOUPS 23998 WITH SCORE 24026.736
AT ITER 3755 NEW BEST:: SOT 188562 SOS 28695 HAS SOPS 28695 HAS SOUS 23970 HAS SOUPS 23970 WITH SCORE 23998.695
AT ITER 3762 NEW BEST:: SOT 188554 SOS 28728 HAS SOPS 28728 HAS SOUS 23942 HAS SOUPS 23942 WITH SCORE 23970.728
AT ITER 3763 NEW BEST:: SOT 188584 SOS 28711 HAS SOPS 28711 HAS SOUS 23925 HAS SOUPS 23925 WITH SCORE 23953.711
AT ITER 3809 NEW BEST:: SOT 188584 SOS 28694 HAS SOPS 28694 HAS SOUS 23908 HAS SOUPS 23908 WITH SCORE 23936.694
AT ITER 3810 NEW BEST:: SOT 188542 SOS 28719 HAS SOPS 28719 HAS SOUS 23906 HAS SOUPS 23906 WITH SCORE 23934.719
AT ITER 3883 NEW BEST:: SOT 188502 SOS 28514 HAS SOPS 28514 HAS SOUS 23868 HAS SOUPS 23868 WITH SCORE 23896.514
AT ITER 3902 NEW BEST:: SOT 188500 SOS 28510 HAS SOPS 28510 HAS SOUS 23866 HAS SOUPS 23866 WITH SCORE 23894.51
AT ITER 3938 NEW BEST:: SOT 188491 SOS 28483 HAS SOPS 28483 HAS SOUS 23857 HAS SOUPS 23857 WITH SCORE 23885.483
AT ITER 3952 NEW BEST:: SOT 188425 SOS 28417 HAS SOPS 28417 HAS SOUS 23791 HAS SOUPS 23791 WITH SCORE 23819.417
AT ITER 3959 NEW BEST:: SOT 188423 SOS 28406 HAS SOPS 28406 HAS SOUS 23782 HAS SOUPS 23782 WITH SCORE 23810.406
AT ITER 3982 NEW BEST:: SOT 188411 SOS 28394 HAS SOPS 28394 HAS SOUS 23780 HAS SOUPS 23780 WITH SCORE 23808.394
AT ITER 3997 NEW BEST:: SOT 188401 SOS 28384 HAS SOPS 28384 HAS SOUS 23766 HAS SOUPS 23766 WITH SCORE 23794.384
AT ITER 4096 NEW BEST:: SOT 188361 SOS 28304 HAS SOPS 28304 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23754.304
AT ITER 4124 NEW BEST:: SOT 188363 SOS 28274 HAS SOPS 28274 HAS SOUS 23694 HAS SOUPS 23694 WITH SCORE 23722.274
AT ITER 4126 NEW BEST:: SOT 188343 SOS 28274 HAS SOPS 28274 HAS SOUS 23691 HAS SOUPS 23691 WITH SCORE 23719.274
AT ITER 4144 NEW BEST:: SOT 188343 SOS 28273 HAS SOPS 28273 HAS SOUS 23690 HAS SOUPS 23690 WITH SCORE 23718.273
AT ITER 4166 NEW BEST:: SOT 188343 SOS 28255 HAS SOPS 28255 HAS SOUS 23660 HAS SOUPS 23660 WITH SCORE 23688.255
AT ITER 4180 NEW BEST:: SOT 188321 SOS 28299 HAS SOPS 28299 HAS SOUS 23616 HAS SOUPS 23616 WITH SCORE 23644.299
AT ITER 4304 NEW BEST:: SOT 188329 SOS 28291 HAS SOPS 28291 HAS SOUS 23616 HAS SOUPS 23616 WITH SCORE 23644.291
AT ITER 4317 NEW BEST:: SOT 188329 SOS 28273 HAS SOPS 28273 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23612.273
AT ITER 4324 NEW BEST:: SOT 188319 SOS 28253 HAS SOPS 28253 HAS SOUS 23554 HAS SOUPS 23554 WITH SCORE 23582.253
AT ITER 4408 NEW BEST:: SOT 188317 SOS 28256 HAS SOPS 28256 HAS SOUS 23552 HAS SOUPS 23552 WITH SCORE 23580.256
AT ITER 4431 NEW BEST:: SOT 188303 SOS 28186 HAS SOPS 28186 HAS SOUS 23524 HAS SOUPS 23524 WITH SCORE 23552.186
AT ITER 4432 NEW BEST:: SOT 188255 SOS 28138 HAS SOPS 28138 HAS SOUS 23479 HAS SOUPS 23479 WITH SCORE 23507.138
AT ITER 4490 NEW BEST:: SOT 188254 SOS 28005 HAS SOPS 28005 HAS SOUS 23449 HAS SOUPS 23449 WITH SCORE 23477.005
AT ITER 4559 NEW BEST:: SOT 188233 SOS 27987 HAS SOPS 27987 HAS SOUS 23431 HAS SOUPS 23431 WITH SCORE 23458.987
AT ITER 4604 NEW BEST:: SOT 188225 SOS 27983 HAS SOPS 27983 HAS SOUS 23427 HAS SOUPS 23427 WITH SCORE 23454.983
AT ITER 4626 NEW BEST:: SOT 188235 SOS 27940 HAS SOPS 27940 HAS SOUS 23425 HAS SOUPS 23425 WITH SCORE 23452.94
AT ITER 4633 NEW BEST:: SOT 188235 SOS 27936 HAS SOPS 27936 HAS SOUS 23425 HAS SOUPS 23425 WITH SCORE 23452.936
AT ITER 4663 NEW BEST:: SOT 188181 SOS 27864 HAS SOPS 27864 HAS SOUS 23380 HAS SOUPS 23380 WITH SCORE 23407.864
AT ITER 4667 NEW BEST:: SOT 188161 SOS 27804 HAS SOPS 27804 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23387.804
AT ITER 4680 NEW BEST:: SOT 188161 SOS 27790 HAS SOPS 27790 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23387.79
AT ITER 4685 NEW BEST:: SOT 188149 SOS 27764 HAS SOPS 27764 HAS SOUS 23347 HAS SOUPS 23347 WITH SCORE 23374.764
AT ITER 4705 NEW BEST:: SOT 188149 SOS 27766 HAS SOPS 27766 HAS SOUS 23341 HAS SOUPS 23341 WITH SCORE 23368.766
AT ITER 4713 NEW BEST:: SOT 188149 SOS 27762 HAS SOPS 27762 HAS SOUS 23337 HAS SOUPS 23337 WITH SCORE 23364.762
AT ITER 4770 NEW BEST:: SOT 188121 SOS 27752 HAS SOPS 27752 HAS SOUS 23327 HAS SOUPS 23327 WITH SCORE 23354.752
AT ITER 4771 NEW BEST:: SOT 188122 SOS 27750 HAS SOPS 27750 HAS SOUS 23326 HAS SOUPS 23326 WITH SCORE 23353.75
AT ITER 4962 NEW BEST:: SOT 188122 SOS 27765 HAS SOPS 27765 HAS SOUS 23309 HAS SOUPS 23309 WITH SCORE 23336.765
AT ITER 4970 NEW BEST:: SOT 188110 SOS 27741 HAS SOPS 27741 HAS SOUS 23297 HAS SOUPS 23297 WITH SCORE 23324.741
AT ITER 4981 NEW BEST:: SOT 188110 SOS 27731 HAS SOPS 27731 HAS SOUS 23287 HAS SOUPS 23287 WITH SCORE 23314.731
AT ITER 5042 NEW BEST:: SOT 188100 SOS 27724 HAS SOPS 27724 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23307.724
AT ITER 5077 NEW BEST:: SOT 187992 SOS 27627 HAS SOPS 27627 HAS SOUS 23183 HAS SOUPS 23183 WITH SCORE 23210.627
AT ITER 5137 NEW BEST:: SOT 187949 SOS 27562 HAS SOPS 27562 HAS SOUS 23176 HAS SOUPS 23176 WITH SCORE 23203.562
AT ITER 5224 NEW BEST:: SOT 187936 SOS 27484 HAS SOPS 27484 HAS SOUS 23137 HAS SOUPS 23137 WITH SCORE 23164.484
AT ITER 5312 NEW BEST:: SOT 187912 SOS 27407 HAS SOPS 27407 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23111.407
AT ITER 5339 NEW BEST:: SOT 187909 SOS 27395 HAS SOPS 27395 HAS SOUS 23077 HAS SOUPS 23077 WITH SCORE 23104.395
AT ITER 5385 NEW BEST:: SOT 187911 SOS 27381 HAS SOPS 27381 HAS SOUS 23077 HAS SOUPS 23077 WITH SCORE 23104.381
AT ITER 5446 NEW BEST:: SOT 187911 SOS 27365 HAS SOPS 27365 HAS SOUS 23061 HAS SOUPS 23061 WITH SCORE 23088.365
AT ITER 5506 NEW BEST:: SOT 187911 SOS 27350 HAS SOPS 27350 HAS SOUS 23046 HAS SOUPS 23046 WITH SCORE 23073.35
AT ITER 5566 NEW BEST:: SOT 187911 SOS 27328 HAS SOPS 27328 HAS SOUS 23024 HAS SOUPS 23024 WITH SCORE 23051.328
AT ITER 5582 NEW BEST:: SOT 187869 SOS 27148 HAS SOPS 27148 HAS SOUS 22920 HAS SOUPS 22920 WITH SCORE 22947.148
AT ITER 5583 NEW BEST:: SOT 187869 SOS 27145 HAS SOPS 27145 HAS SOUS 22920 HAS SOUPS 22920 WITH SCORE 22947.145
AT ITER 5585 NEW BEST:: SOT 187867 SOS 27143 HAS SOPS 27143 HAS SOUS 22918 HAS SOUPS 22918 WITH SCORE 22945.143
AT ITER 5596 NEW BEST:: SOT 187831 SOS 27127 HAS SOPS 27127 HAS SOUS 22898 HAS SOUPS 22898 WITH SCORE 22925.127
AT ITER 5621 NEW BEST:: SOT 187822 SOS 27100 HAS SOPS 27100 HAS SOUS 22880 HAS SOUPS 22880 WITH SCORE 22907.1
AT ITER 5626 NEW BEST:: SOT 187816 SOS 27094 HAS SOPS 27094 HAS SOUS 22874 HAS SOUPS 22874 WITH SCORE 22901.094
AT ITER 5659 NEW BEST:: SOT 187793 SOS 27048 HAS SOPS 27048 HAS SOUS 22844 HAS SOUPS 22844 WITH SCORE 22871.048
AT ITER 5754 NEW BEST:: SOT 187763 SOS 27078 HAS SOPS 27078 HAS SOUS 22838 HAS SOUPS 22838 WITH SCORE 22865.078
AT ITER 5764 NEW BEST:: SOT 187756 SOS 27059 HAS SOPS 27059 HAS SOUS 22827 HAS SOUPS 22827 WITH SCORE 22854.059
AT ITER 5809 NEW BEST:: SOT 187736 SOS 26971 HAS SOPS 26971 HAS SOUS 22739 HAS SOUPS 22739 WITH SCORE 22765.971
AT ITER 5827 NEW BEST:: SOT 187725 SOS 26965 HAS SOPS 26965 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22759.965
AT ITER 5840 NEW BEST:: SOT 187717 SOS 26964 HAS SOPS 26964 HAS SOUS 22732 HAS SOUPS 22732 WITH SCORE 22758.964
AT ITER 5882 NEW BEST:: SOT 187710 SOS 26962 HAS SOPS 26962 HAS SOUS 22731 HAS SOUPS 22731 WITH SCORE 22757.962
AT ITER 5911 NEW BEST:: SOT 187688 SOS 26866 HAS SOPS 26866 HAS SOUS 22709 HAS SOUPS 22709 WITH SCORE 22735.866
AT ITER 5930 NEW BEST:: SOT 187627 SOS 26827 HAS SOPS 26827 HAS SOUS 22664 HAS SOUPS 22664 WITH SCORE 22690.827
AT ITER 5983 NEW BEST:: SOT 187547 SOS 26691 HAS SOPS 26691 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22578.691
AT ITER 6073 NEW BEST:: SOT 187545 SOS 26697 HAS SOPS 26697 HAS SOUS 22548 HAS SOUPS 22548 WITH SCORE 22574.697
AT ITER 6083 NEW BEST:: SOT 187549 SOS 26697 HAS SOPS 26697 HAS SOUS 22546 HAS SOUPS 22546 WITH SCORE 22572.697
AT ITER 6138 NEW BEST:: SOT 187478 SOS 26624 HAS SOPS 26624 HAS SOUS 22444 HAS SOUPS 22444 WITH SCORE 22470.624
AT ITER 6159 NEW BEST:: SOT 187473 SOS 26623 HAS SOPS 26623 HAS SOUS 22443 HAS SOUPS 22443 WITH SCORE 22469.623
AT ITER 6182 NEW BEST:: SOT 187472 SOS 26589 HAS SOPS 26589 HAS SOUS 22428 HAS SOUPS 22428 WITH SCORE 22454.589
AT ITER 6193 NEW BEST:: SOT 187472 SOS 26577 HAS SOPS 26577 HAS SOUS 22425 HAS SOUPS 22425 WITH SCORE 22451.577
AT ITER 6223 NEW BEST:: SOT 187459 SOS 26570 HAS SOPS 26570 HAS SOUS 22421 HAS SOUPS 22421 WITH SCORE 22447.57
AT ITER 6233 NEW BEST:: SOT 187443 SOS 26564 HAS SOPS 26564 HAS SOUS 22405 HAS SOUPS 22405 WITH SCORE 22431.564
AT ITER 6315 NEW BEST:: SOT 187424 SOS 26507 HAS SOPS 26507 HAS SOUS 22367 HAS SOUPS 22367 WITH SCORE 22393.507
AT ITER 6375 NEW BEST:: SOT 187424 SOS 26506 HAS SOPS 26506 HAS SOUS 22366 HAS SOUPS 22366 WITH SCORE 22392.506
AT ITER 6380 NEW BEST:: SOT 187414 SOS 26463 HAS SOPS 26463 HAS SOUS 22356 HAS SOUPS 22356 WITH SCORE 22382.463
AT ITER 6418 NEW BEST:: SOT 187402 SOS 26449 HAS SOPS 26449 HAS SOUS 22338 HAS SOUPS 22338 WITH SCORE 22364.449
AT ITER 6421 NEW BEST:: SOT 187352 SOS 26442 HAS SOPS 26442 HAS SOUS 22302 HAS SOUPS 22302 WITH SCORE 22328.442
AT ITER 6457 NEW BEST:: SOT 187346 SOS 26431 HAS SOPS 26431 HAS SOUS 22291 HAS SOUPS 22291 WITH SCORE 22317.431
AT ITER 6509 NEW BEST:: SOT 187332 SOS 26430 HAS SOPS 26430 HAS SOUS 22289 HAS SOUPS 22289 WITH SCORE 22315.43
AT ITER 6511 NEW BEST:: SOT 187308 SOS 26406 HAS SOPS 26406 HAS SOUS 22265 HAS SOUPS 22265 WITH SCORE 22291.406
AT ITER 6519 NEW BEST:: SOT 187307 SOS 26410 HAS SOPS 26410 HAS SOUS 22264 HAS SOUPS 22264 WITH SCORE 22290.41
AT ITER 6544 NEW BEST:: SOT 187306 SOS 26409 HAS SOPS 26409 HAS SOUS 22264 HAS SOUPS 22264 WITH SCORE 22290.409
AT ITER 6548 NEW BEST:: SOT 187304 SOS 26400 HAS SOPS 26400 HAS SOUS 22261 HAS SOUPS 22261 WITH SCORE 22287.4
AT ITER 6550 NEW BEST:: SOT 187258 SOS 26350 HAS SOPS 26350 HAS SOUS 22213 HAS SOUPS 22213 WITH SCORE 22239.35
AT ITER 6562 NEW BEST:: SOT 187258 SOS 26334 HAS SOPS 26334 HAS SOUS 22205 HAS SOUPS 22205 WITH SCORE 22231.334
AT ITER 6582 NEW BEST:: SOT 187249 SOS 26316 HAS SOPS 26316 HAS SOUS 22204 HAS SOUPS 22204 WITH SCORE 22230.316
AT ITER 6613 NEW BEST:: SOT 187249 SOS 26311 HAS SOPS 26311 HAS SOUS 22199 HAS SOUPS 22199 WITH SCORE 22225.311
AT ITER 6631 NEW BEST:: SOT 187239 SOS 26231 HAS SOPS 26231 HAS SOUS 22189 HAS SOUPS 22189 WITH SCORE 22215.231
AT ITER 6771 NEW BEST:: SOT 187232 SOS 26211 HAS SOPS 26211 HAS SOUS 22176 HAS SOUPS 22176 WITH SCORE 22202.211
AT ITER 6786 NEW BEST:: SOT 187218 SOS 26176 HAS SOPS 26176 HAS SOUS 22155 HAS SOUPS 22155 WITH SCORE 22181.176
AT ITER 6788 NEW BEST:: SOT 187227 SOS 26183 HAS SOPS 26183 HAS SOUS 22153 HAS SOUPS 22153 WITH SCORE 22179.183
AT ITER 6829 NEW BEST:: SOT 187227 SOS 26183 HAS SOPS 26183 HAS SOUS 22151 HAS SOUPS 22151 WITH SCORE 22177.183
AT ITER 6904 NEW BEST:: SOT 187227 SOS 26171 HAS SOPS 26171 HAS SOUS 22140 HAS SOUPS 22140 WITH SCORE 22166.171
AT ITER 6931 NEW BEST:: SOT 187199 SOS 26138 HAS SOPS 26138 HAS SOUS 22135 HAS SOUPS 22135 WITH SCORE 22161.138
AT ITER 6957 NEW BEST:: SOT 187190 SOS 26114 HAS SOPS 26114 HAS SOUS 22117 HAS SOUPS 22117 WITH SCORE 22143.114
AT ITER 7123 NEW BEST:: SOT 187188 SOS 26109 HAS SOPS 26109 HAS SOUS 22112 HAS SOUPS 22112 WITH SCORE 22138.109
AT ITER 7177 NEW BEST:: SOT 187171 SOS 26098 HAS SOPS 26098 HAS SOUS 22098 HAS SOUPS 22098 WITH SCORE 22124.098
AT ITER 7207 NEW BEST:: SOT 187171 SOS 26095 HAS SOPS 26095 HAS SOUS 22098 HAS SOUPS 22098 WITH SCORE 22124.095
AT ITER 7250 NEW BEST:: SOT 187175 SOS 26084 HAS SOPS 26084 HAS SOUS 22087 HAS SOUPS 22087 WITH SCORE 22113.084
AT ITER 7318 NEW BEST:: SOT 187185 SOS 26069 HAS SOPS 26069 HAS SOUS 22072 HAS SOUPS 22072 WITH SCORE 22098.069
AT ITER 7424 NEW BEST:: SOT 187138 SOS 26032 HAS SOPS 26032 HAS SOUS 22043 HAS SOUPS 22043 WITH SCORE 22069.032
AT ITER 7499 NEW BEST:: SOT 187137 SOS 26028 HAS SOPS 26028 HAS SOUS 22039 HAS SOUPS 22039 WITH SCORE 22065.028
AT ITER 7519 NEW BEST:: SOT 187125 SOS 26005 HAS SOPS 26005 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22053.005
AT ITER 7520 NEW BEST:: SOT 187075 SOS 25801 HAS SOPS 25801 HAS SOUS 21973 HAS SOUPS 21973 WITH SCORE 21998.801
AT ITER 7550 NEW BEST:: SOT 187070 SOS 25796 HAS SOPS 25796 HAS SOUS 21968 HAS SOUPS 21968 WITH SCORE 21993.796
AT ITER 7603 NEW BEST:: SOT 187053 SOS 25782 HAS SOPS 25782 HAS SOUS 21964 HAS SOUPS 21964 WITH SCORE 21989.782
AT ITER 7604 NEW BEST:: SOT 187049 SOS 25694 HAS SOPS 25694 HAS SOUS 21938 HAS SOUPS 21938 WITH SCORE 21963.694
AT ITER 7610 NEW BEST:: SOT 187029 SOS 25676 HAS SOPS 25676 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21954.676
AT ITER 7630 NEW BEST:: SOT 187014 SOS 25628 HAS SOPS 25628 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21906.628
AT ITER 7663 NEW BEST:: SOT 187005 SOS 25619 HAS SOPS 25619 HAS SOUS 21872 HAS SOUPS 21872 WITH SCORE 21897.619
AT ITER 7666 NEW BEST:: SOT 186999 SOS 25600 HAS SOPS 25600 HAS SOUS 21859 HAS SOUPS 21859 WITH SCORE 21884.6
AT ITER 7667 NEW BEST:: SOT 186997 SOS 25564 HAS SOPS 25564 HAS SOUS 21825 HAS SOUPS 21825 WITH SCORE 21850.564
AT ITER 7709 NEW BEST:: SOT 187010 SOS 25572 HAS SOPS 25572 HAS SOUS 21799 HAS SOUPS 21799 WITH SCORE 21824.572
AT ITER 7711 NEW BEST:: SOT 186992 SOS 25553 HAS SOPS 25553 HAS SOUS 21780 HAS SOUPS 21780 WITH SCORE 21805.553
AT ITER 7746 NEW BEST:: SOT 186986 SOS 25531 HAS SOPS 25531 HAS SOUS 21764 HAS SOUPS 21764 WITH SCORE 21789.531
AT ITER 7757 NEW BEST:: SOT 186982 SOS 25562 HAS SOPS 25562 HAS SOUS 21721 HAS SOUPS 21721 WITH SCORE 21746.562
AT ITER 7784 NEW BEST:: SOT 186982 SOS 25560 HAS SOPS 25560 HAS SOUS 21719 HAS SOUPS 21719 WITH SCORE 21744.56
AT ITER 7921 NEW BEST:: SOT 186981 SOS 25530 HAS SOPS 25530 HAS SOUS 21718 HAS SOUPS 21718 WITH SCORE 21743.53
AT ITER 7989 NEW BEST:: SOT 186987 SOS 25525 HAS SOPS 25525 HAS SOUS 21713 HAS SOUPS 21713 WITH SCORE 21738.525
AT ITER 8004 NEW BEST:: SOT 186965 SOS 25516 HAS SOPS 25516 HAS SOUS 21683 HAS SOUPS 21683 WITH SCORE 21708.516
AT ITER 8108 NEW BEST:: SOT 186965 SOS 25516 HAS SOPS 25516 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21702.516
AT ITER 8163 NEW BEST:: SOT 186977 SOS 25526 HAS SOPS 25526 HAS SOUS 21672 HAS SOUPS 21672 WITH SCORE 21697.526
AT ITER 8183 NEW BEST:: SOT 186979 SOS 25557 HAS SOPS 25557 HAS SOUS 21663 HAS SOUPS 21663 WITH SCORE 21688.557
AT ITER 8234 NEW BEST:: SOT 186968 SOS 25561 HAS SOPS 25561 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21676.561
AT ITER 8242 NEW BEST:: SOT 186968 SOS 25541 HAS SOPS 25541 HAS SOUS 21638 HAS SOUPS 21638 WITH SCORE 21663.541
AT ITER 8272 NEW BEST:: SOT 186982 SOS 25552 HAS SOPS 25552 HAS SOUS 21632 HAS SOUPS 21632 WITH SCORE 21657.552
AT ITER 8319 NEW BEST:: SOT 186981 SOS 25548 HAS SOPS 25548 HAS SOUS 21628 HAS SOUPS 21628 WITH SCORE 21653.548
AT ITER 8348 NEW BEST:: SOT 186926 SOS 25357 HAS SOPS 25357 HAS SOUS 21533 HAS SOUPS 21533 WITH SCORE 21558.357
AT ITER 8351 NEW BEST:: SOT 186904 SOS 25321 HAS SOPS 25321 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21554.321
AT ITER 8362 NEW BEST:: SOT 186900 SOS 25297 HAS SOPS 25297 HAS SOUS 21521 HAS SOUPS 21521 WITH SCORE 21546.297
AT ITER 8441 NEW BEST:: SOT 186901 SOS 25286 HAS SOPS 25286 HAS SOUS 21510 HAS SOUPS 21510 WITH SCORE 21535.286
AT ITER 8455 NEW BEST:: SOT 186903 SOS 25284 HAS SOPS 25284 HAS SOUS 21508 HAS SOUPS 21508 WITH SCORE 21533.284
AT ITER 8473 NEW BEST:: SOT 186903 SOS 25278 HAS SOPS 25278 HAS SOUS 21505 HAS SOUPS 21505 WITH SCORE 21530.278
AT ITER 8554 NEW BEST:: SOT 186903 SOS 25223 HAS SOPS 25223 HAS SOUS 21450 HAS SOUPS 21450 WITH SCORE 21475.223
AT ITER 8559 NEW BEST:: SOT 186903 SOS 25212 HAS SOPS 25212 HAS SOUS 21439 HAS SOUPS 21439 WITH SCORE 21464.212
AT ITER 8626 NEW BEST:: SOT 186894 SOS 25203 HAS SOPS 25203 HAS SOUS 21430 HAS SOUPS 21430 WITH SCORE 21455.203
AT ITER 8708 NEW BEST:: SOT 186893 SOS 25202 HAS SOPS 25202 HAS SOUS 21429 HAS SOUPS 21429 WITH SCORE 21454.202
AT ITER 8843 NEW BEST:: SOT 186840 SOS 25149 HAS SOPS 25149 HAS SOUS 21376 HAS SOUPS 21376 WITH SCORE 21401.149
AT ITER 8869 NEW BEST:: SOT 186839 SOS 25148 HAS SOPS 25148 HAS SOUS 21375 HAS SOUPS 21375 WITH SCORE 21400.148
AT ITER 8971 NEW BEST:: SOT 186773 SOS 25101 HAS SOPS 25101 HAS SOUS 21328 HAS SOUPS 21328 WITH SCORE 21353.101
AT ITER 8992 NEW BEST:: SOT 186790 SOS 25069 HAS SOPS 25069 HAS SOUS 21315 HAS SOUPS 21315 WITH SCORE 21340.069
AT ITER 9059 NEW BEST:: SOT 186801 SOS 24986 HAS SOPS 24986 HAS SOUS 21301 HAS SOUPS 21301 WITH SCORE 21325.986
AT ITER 9093 NEW BEST:: SOT 186801 SOS 24970 HAS SOPS 24970 HAS SOUS 21293 HAS SOUPS 21293 WITH SCORE 21317.97
AT ITER 9147 NEW BEST:: SOT 186808 SOS 24963 HAS SOPS 24963 HAS SOUS 21293 HAS SOUPS 21293 WITH SCORE 21317.963
AT ITER 9150 NEW BEST:: SOT 186803 SOS 24953 HAS SOPS 24953 HAS SOUS 21288 HAS SOUPS 21288 WITH SCORE 21312.953
AT ITER 9157 NEW BEST:: SOT 186798 SOS 24976 HAS SOPS 24976 HAS SOUS 21283 HAS SOUPS 21283 WITH SCORE 21307.976
AT ITER 9179 NEW BEST:: SOT 186790 SOS 24968 HAS SOPS 24968 HAS SOUS 21275 HAS SOUPS 21275 WITH SCORE 21299.968
AT ITER 9191 NEW BEST:: SOT 186795 SOS 24940 HAS SOPS 24940 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21298.94
AT ITER 9273 NEW BEST:: SOT 186797 SOS 24934 HAS SOPS 24934 HAS SOUS 21268 HAS SOUPS 21268 WITH SCORE 21292.934
AT ITER 9303 NEW BEST:: SOT 186797 SOS 24918 HAS SOPS 24918 HAS SOUS 21259 HAS SOUPS 21259 WITH SCORE 21283.918
AT ITER 9358 NEW BEST:: SOT 186793 SOS 24901 HAS SOPS 24901 HAS SOUS 21259 HAS SOUPS 21259 WITH SCORE 21283.901
AT ITER 9505 NEW BEST:: SOT 186793 SOS 24903 HAS SOPS 24903 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21282.903
AT ITER 9519 NEW BEST:: SOT 186781 SOS 24811 HAS SOPS 24811 HAS SOUS 21226 HAS SOUPS 21226 WITH SCORE 21250.811
AT ITER 9580 NEW BEST:: SOT 186771 SOS 24791 HAS SOPS 24791 HAS SOUS 21206 HAS SOUPS 21206 WITH SCORE 21230.791
AT ITER 9616 NEW BEST:: SOT 186771 SOS 24780 HAS SOPS 24780 HAS SOUS 21179 HAS SOUPS 21179 WITH SCORE 21203.78
AT ITER 9640 NEW BEST:: SOT 186732 SOS 24635 HAS SOPS 24635 HAS SOUS 21156 HAS SOUPS 21156 WITH SCORE 21180.635
AT ITER 9665 NEW BEST:: SOT 186732 SOS 24631 HAS SOPS 24631 HAS SOUS 21152 HAS SOUPS 21152 WITH SCORE 21176.631
AT ITER 9759 NEW BEST:: SOT 186732 SOS 24626 HAS SOPS 24626 HAS SOUS 21147 HAS SOUPS 21147 WITH SCORE 21171.626
AT ITER 9858 NEW BEST:: SOT 186732 SOS 24600 HAS SOPS 24600 HAS SOUS 21134 HAS SOUPS 21134 WITH SCORE 21158.6
AT ITER 9861 NEW BEST:: SOT 186730 SOS 24598 HAS SOPS 24598 HAS SOUS 21132 HAS SOUPS 21132 WITH SCORE 21156.598
AT ITER 9881 NEW BEST:: SOT 186716 SOS 24558 HAS SOPS 24558 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21138.558
AT ITER 9902 NEW BEST:: SOT 186716 SOS 24548 HAS SOPS 24548 HAS SOUS 21104 HAS SOUPS 21104 WITH SCORE 21128.548
AT ITER 9923 NEW BEST:: SOT 186711 SOS 24548 HAS SOPS 24548 HAS SOUS 21099 HAS SOUPS 21099 WITH SCORE 21123.548
AT ITER 9984 NEW BEST:: SOT 186689 SOS 24416 HAS SOPS 24416 HAS SOUS 21045 HAS SOUPS 21045 WITH SCORE 21069.416

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldIIPs-PT-010B"
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"

# 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 ShieldIIPs-PT-010B, 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 r207-tajo-159033469000136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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