Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484200408.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DES-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484200408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 15:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 15:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 15:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 15:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 73K Mar 5 18:22 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 1678367701049

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DES-PT-05b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:15:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:15:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:15:02] [INFO ] Load time of PNML (sax parser for PT used): 52 ms
[2023-03-09 13:15:02] [INFO ] Transformed 300 places.
[2023-03-09 13:15:02] [INFO ] Transformed 251 transitions.
[2023-03-09 13:15:02] [INFO ] Found NUPN structural information;
[2023-03-09 13:15:02] [INFO ] Parsed PT model containing 300 places and 251 transitions and 747 arcs in 119 ms.
[2023-03-09 13:15:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 300 places, 251 transitions and 747 arcs took 5 ms.
Total runtime 151 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 05b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 300 places, 251 transitions, 747 arcs.
AT ITER 0 NEW BEST:: SOT 45873 SOS 11059 HAS SOPS 11059 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9954.059
AT ITER 7 NEW BEST:: SOT 45826 SOS 11044 HAS SOPS 11044 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9939.044
AT ITER 19 NEW BEST:: SOT 45810 SOS 11028 HAS SOPS 11028 HAS SOUS 9912 HAS SOUPS 9912 WITH SCORE 9923.028
AT ITER 23 NEW BEST:: SOT 45689 SOS 10892 HAS SOPS 10892 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9776.892
AT ITER 35 NEW BEST:: SOT 45643 SOS 10881 HAS SOPS 10881 HAS SOUS 9755 HAS SOUPS 9755 WITH SCORE 9765.881
AT ITER 38 NEW BEST:: SOT 45637 SOS 10880 HAS SOPS 10880 HAS SOUS 9754 HAS SOUPS 9754 WITH SCORE 9764.88
AT ITER 49 NEW BEST:: SOT 45593 SOS 10826 HAS SOPS 10826 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9710.826
AT ITER 50 NEW BEST:: SOT 45592 SOS 10825 HAS SOPS 10825 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9709.825
AT ITER 88 NEW BEST:: SOT 45570 SOS 10754 HAS SOPS 10754 HAS SOUS 9659 HAS SOUPS 9659 WITH SCORE 9669.754
AT ITER 89 NEW BEST:: SOT 45570 SOS 10753 HAS SOPS 10753 HAS SOUS 9658 HAS SOUPS 9658 WITH SCORE 9668.753
AT ITER 119 NEW BEST:: SOT 45583 SOS 10719 HAS SOPS 10719 HAS SOUS 9624 HAS SOUPS 9624 WITH SCORE 9634.719
AT ITER 121 NEW BEST:: SOT 45575 SOS 10696 HAS SOPS 10696 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9618.696
AT ITER 145 NEW BEST:: SOT 45576 SOS 10715 HAS SOPS 10715 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9584.715
AT ITER 154 NEW BEST:: SOT 45576 SOS 10696 HAS SOPS 10696 HAS SOUS 9555 HAS SOUPS 9555 WITH SCORE 9565.696
AT ITER 165 NEW BEST:: SOT 45553 SOS 10710 HAS SOPS 10710 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9558.71
AT ITER 166 NEW BEST:: SOT 45553 SOS 10642 HAS SOPS 10642 HAS SOUS 9519 HAS SOUPS 9519 WITH SCORE 9529.642
AT ITER 184 NEW BEST:: SOT 45553 SOS 10641 HAS SOPS 10641 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9528.641
AT ITER 196 NEW BEST:: SOT 45521 SOS 10629 HAS SOPS 10629 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9512.629
AT ITER 212 NEW BEST:: SOT 45512 SOS 10619 HAS SOPS 10619 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9502.619
AT ITER 234 NEW BEST:: SOT 45514 SOS 10605 HAS SOPS 10605 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9502.605
AT ITER 240 NEW BEST:: SOT 45502 SOS 10560 HAS SOPS 10560 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9457.56
AT ITER 254 NEW BEST:: SOT 45432 SOS 10423 HAS SOPS 10423 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9324.423
AT ITER 267 NEW BEST:: SOT 45426 SOS 10411 HAS SOPS 10411 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9312.411
AT ITER 273 NEW BEST:: SOT 45451 SOS 10402 HAS SOPS 10402 HAS SOUS 9277 HAS SOUPS 9277 WITH SCORE 9287.402
AT ITER 288 NEW BEST:: SOT 45420 SOS 10636 HAS SOPS 10636 HAS SOUS 9274 HAS SOUPS 9274 WITH SCORE 9284.636
AT ITER 292 NEW BEST:: SOT 45401 SOS 10617 HAS SOPS 10617 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9265.617
AT ITER 304 NEW BEST:: SOT 45381 SOS 10577 HAS SOPS 10577 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9243.577
AT ITER 331 NEW BEST:: SOT 45381 SOS 10573 HAS SOPS 10573 HAS SOUS 9229 HAS SOUPS 9229 WITH SCORE 9239.573
AT ITER 343 NEW BEST:: SOT 45339 SOS 10534 HAS SOPS 10534 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9200.534
AT ITER 359 NEW BEST:: SOT 45303 SOS 10512 HAS SOPS 10512 HAS SOUS 9168 HAS SOUPS 9168 WITH SCORE 9178.512
AT ITER 361 NEW BEST:: SOT 45268 SOS 10498 HAS SOPS 10498 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9164.498
AT ITER 363 NEW BEST:: SOT 45268 SOS 10497 HAS SOPS 10497 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9163.497
AT ITER 364 NEW BEST:: SOT 45258 SOS 10491 HAS SOPS 10491 HAS SOUS 9147 HAS SOUPS 9147 WITH SCORE 9157.491
AT ITER 374 NEW BEST:: SOT 45215 SOS 10549 HAS SOPS 10549 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9154.549
AT ITER 401 NEW BEST:: SOT 45285 SOS 10583 HAS SOPS 10583 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9147.583
AT ITER 412 NEW BEST:: SOT 45235 SOS 10582 HAS SOPS 10582 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9146.582
AT ITER 414 NEW BEST:: SOT 45233 SOS 10577 HAS SOPS 10577 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9131.577
AT ITER 415 NEW BEST:: SOT 45233 SOS 10571 HAS SOPS 10571 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9125.571
AT ITER 418 NEW BEST:: SOT 45203 SOS 10541 HAS SOPS 10541 HAS SOUS 9085 HAS SOUPS 9085 WITH SCORE 9095.541
AT ITER 444 NEW BEST:: SOT 45196 SOS 10529 HAS SOPS 10529 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9083.529
AT ITER 450 NEW BEST:: SOT 45196 SOS 10529 HAS SOPS 10529 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9080.529
AT ITER 458 NEW BEST:: SOT 45190 SOS 10529 HAS SOPS 10529 HAS SOUS 9067 HAS SOUPS 9067 WITH SCORE 9077.529
AT ITER 463 NEW BEST:: SOT 45190 SOS 10522 HAS SOPS 10522 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9075.522
AT ITER 469 NEW BEST:: SOT 45201 SOS 10478 HAS SOPS 10478 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9064.478
AT ITER 487 NEW BEST:: SOT 45133 SOS 10669 HAS SOPS 10669 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9015.669
AT ITER 488 NEW BEST:: SOT 45129 SOS 10645 HAS SOPS 10645 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8995.645
AT ITER 501 NEW BEST:: SOT 45094 SOS 10619 HAS SOPS 10619 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8963.619
AT ITER 513 NEW BEST:: SOT 45083 SOS 10602 HAS SOPS 10602 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8946.602
AT ITER 515 NEW BEST:: SOT 45083 SOS 10600 HAS SOPS 10600 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8944.6
AT ITER 518 NEW BEST:: SOT 45065 SOS 10572 HAS SOPS 10572 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8910.572
AT ITER 558 NEW BEST:: SOT 45053 SOS 10548 HAS SOPS 10548 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8876.548
AT ITER 592 NEW BEST:: SOT 45005 SOS 10485 HAS SOPS 10485 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8812.485
AT ITER 619 NEW BEST:: SOT 44996 SOS 10466 HAS SOPS 10466 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8801.466
AT ITER 621 NEW BEST:: SOT 44996 SOS 10462 HAS SOPS 10462 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8799.462
AT ITER 632 NEW BEST:: SOT 45036 SOS 10422 HAS SOPS 10422 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8799.422
AT ITER 721 NEW BEST:: SOT 45030 SOS 10348 HAS SOPS 10348 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8783.348
AT ITER 728 NEW BEST:: SOT 45012 SOS 10232 HAS SOPS 10232 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8760.232
AT ITER 757 NEW BEST:: SOT 45015 SOS 10231 HAS SOPS 10231 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8759.231
AT ITER 762 NEW BEST:: SOT 45000 SOS 10221 HAS SOPS 10221 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8743.221
AT ITER 786 NEW BEST:: SOT 44906 SOS 10052 HAS SOPS 10052 HAS SOUS 8658 HAS SOUPS 8658 WITH SCORE 8668.052
AT ITER 827 NEW BEST:: SOT 44901 SOS 10046 HAS SOPS 10046 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8665.046
AT ITER 851 NEW BEST:: SOT 44901 SOS 10022 HAS SOPS 10022 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8665.022
AT ITER 870 NEW BEST:: SOT 44870 SOS 9991 HAS SOPS 9991 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8633.991
AT ITER 880 NEW BEST:: SOT 44863 SOS 10031 HAS SOPS 10031 HAS SOUS 8623 HAS SOUPS 8623 WITH SCORE 8633.031
AT ITER 899 NEW BEST:: SOT 44833 SOS 9971 HAS SOPS 9971 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8602.971
AT ITER 922 NEW BEST:: SOT 44789 SOS 9964 HAS SOPS 9964 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8595.964
AT ITER 931 NEW BEST:: SOT 44788 SOS 9963 HAS SOPS 9963 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8594.963
AT ITER 939 NEW BEST:: SOT 44788 SOS 9959 HAS SOPS 9959 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8590.959
AT ITER 979 NEW BEST:: SOT 44749 SOS 9917 HAS SOPS 9917 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8548.917
AT ITER 1043 NEW BEST:: SOT 44751 SOS 9907 HAS SOPS 9907 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8545.907
AT ITER 1045 NEW BEST:: SOT 44744 SOS 9900 HAS SOPS 9900 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8536.9
AT ITER 1105 NEW BEST:: SOT 44736 SOS 9894 HAS SOPS 9894 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8530.894
AT ITER 1112 NEW BEST:: SOT 44730 SOS 9888 HAS SOPS 9888 HAS SOUS 8512 HAS SOUPS 8512 WITH SCORE 8521.888
AT ITER 1184 NEW BEST:: SOT 44723 SOS 9879 HAS SOPS 9879 HAS SOUS 8503 HAS SOUPS 8503 WITH SCORE 8512.879
AT ITER 1189 NEW BEST:: SOT 44705 SOS 9864 HAS SOPS 9864 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8497.864
AT ITER 1196 NEW BEST:: SOT 44705 SOS 9827 HAS SOPS 9827 HAS SOUS 8451 HAS SOUPS 8451 WITH SCORE 8460.827
AT ITER 1255 NEW BEST:: SOT 44675 SOS 9827 HAS SOPS 9827 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8452.827
AT ITER 1258 NEW BEST:: SOT 44675 SOS 9824 HAS SOPS 9824 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8449.824
AT ITER 1296 NEW BEST:: SOT 44662 SOS 9811 HAS SOPS 9811 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8434.811
AT ITER 1309 NEW BEST:: SOT 44649 SOS 9807 HAS SOPS 9807 HAS SOUS 8421 HAS SOUPS 8421 WITH SCORE 8430.807
AT ITER 1341 NEW BEST:: SOT 44624 SOS 9765 HAS SOPS 9765 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8388.765
AT ITER 1358 NEW BEST:: SOT 44607 SOS 9749 HAS SOPS 9749 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8372.749
AT ITER 1371 NEW BEST:: SOT 44606 SOS 9748 HAS SOPS 9748 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8371.748
AT ITER 1386 NEW BEST:: SOT 44606 SOS 9747 HAS SOPS 9747 HAS SOUS 8361 HAS SOUPS 8361 WITH SCORE 8370.747
AT ITER 1413 NEW BEST:: SOT 44602 SOS 9743 HAS SOPS 9743 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8366.743
AT ITER 1436 NEW BEST:: SOT 44602 SOS 9743 HAS SOPS 9743 HAS SOUS 8352 HAS SOUPS 8352 WITH SCORE 8361.743
AT ITER 1470 NEW BEST:: SOT 44594 SOS 9714 HAS SOPS 9714 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8332.714
AT ITER 1502 NEW BEST:: SOT 44534 SOS 9770 HAS SOPS 9770 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8330.77
AT ITER 1528 NEW BEST:: SOT 44530 SOS 9760 HAS SOPS 9760 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8320.76
AT ITER 1542 NEW BEST:: SOT 44510 SOS 9741 HAS SOPS 9741 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8301.741
AT ITER 1579 NEW BEST:: SOT 44521 SOS 9703 HAS SOPS 9703 HAS SOUS 8254 HAS SOUPS 8254 WITH SCORE 8263.703
AT ITER 1608 NEW BEST:: SOT 44522 SOS 9704 HAS SOPS 9704 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8254.704
AT ITER 1629 NEW BEST:: SOT 44513 SOS 9672 HAS SOPS 9672 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8222.672
AT ITER 1630 NEW BEST:: SOT 44513 SOS 9671 HAS SOPS 9671 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8221.671
AT ITER 1631 NEW BEST:: SOT 44510 SOS 9665 HAS SOPS 9665 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8215.665
AT ITER 1644 NEW BEST:: SOT 44495 SOS 9643 HAS SOPS 9643 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.643
AT ITER 1655 NEW BEST:: SOT 44495 SOS 9640 HAS SOPS 9640 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.64
AT ITER 1667 NEW BEST:: SOT 44493 SOS 9638 HAS SOPS 9638 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8191.638
AT ITER 1669 NEW BEST:: SOT 44493 SOS 9633 HAS SOPS 9633 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8186.633
AT ITER 1674 NEW BEST:: SOT 44467 SOS 9583 HAS SOPS 9583 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8163.583
AT ITER 1712 NEW BEST:: SOT 44431 SOS 9538 HAS SOPS 9538 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8148.538
AT ITER 1743 NEW BEST:: SOT 44423 SOS 9544 HAS SOPS 9544 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8144.544
AT ITER 1757 NEW BEST:: SOT 44424 SOS 9558 HAS SOPS 9558 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8143.558
AT ITER 1758 NEW BEST:: SOT 44392 SOS 9526 HAS SOPS 9526 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8111.526
AT ITER 1776 NEW BEST:: SOT 44360 SOS 9494 HAS SOPS 9494 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8078.494
AT ITER 1790 NEW BEST:: SOT 44362 SOS 9492 HAS SOPS 9492 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8078.492
AT ITER 1802 NEW BEST:: SOT 44358 SOS 9485 HAS SOPS 9485 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8074.485
AT ITER 1836 NEW BEST:: SOT 44325 SOS 9452 HAS SOPS 9452 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8049.452
AT ITER 1853 NEW BEST:: SOT 44341 SOS 9434 HAS SOPS 9434 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8031.434
AT ITER 1854 NEW BEST:: SOT 44340 SOS 9426 HAS SOPS 9426 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8023.426
AT ITER 1874 NEW BEST:: SOT 44324 SOS 9421 HAS SOPS 9421 HAS SOUS 8009 HAS SOUPS 8009 WITH SCORE 8018.421
AT ITER 1901 NEW BEST:: SOT 44304 SOS 9400 HAS SOPS 9400 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7997.4
AT ITER 1919 NEW BEST:: SOT 44304 SOS 9384 HAS SOPS 9384 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7981.384
AT ITER 1934 NEW BEST:: SOT 44304 SOS 9371 HAS SOPS 9371 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7968.371
AT ITER 1970 NEW BEST:: SOT 44310 SOS 9368 HAS SOPS 9368 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7965.368
AT ITER 2023 NEW BEST:: SOT 44277 SOS 9345 HAS SOPS 9345 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7942.345
AT ITER 2038 NEW BEST:: SOT 44270 SOS 9331 HAS SOPS 9331 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7928.331
AT ITER 2068 NEW BEST:: SOT 44265 SOS 9318 HAS SOPS 9318 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7918.318
AT ITER 2075 NEW BEST:: SOT 44286 SOS 9314 HAS SOPS 9314 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7915.314
AT ITER 2089 NEW BEST:: SOT 44285 SOS 9311 HAS SOPS 9311 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7912.311
AT ITER 2125 NEW BEST:: SOT 44267 SOS 9307 HAS SOPS 9307 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7908.307
AT ITER 2168 NEW BEST:: SOT 44264 SOS 9277 HAS SOPS 9277 HAS SOUS 7898 HAS SOUPS 7898 WITH SCORE 7907.277
AT ITER 2172 NEW BEST:: SOT 44264 SOS 9275 HAS SOPS 9275 HAS SOUS 7898 HAS SOUPS 7898 WITH SCORE 7907.275
AT ITER 2176 NEW BEST:: SOT 44258 SOS 9308 HAS SOPS 9308 HAS SOUS 7891 HAS SOUPS 7891 WITH SCORE 7900.308
AT ITER 2182 NEW BEST:: SOT 44262 SOS 9306 HAS SOPS 9306 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7896.306
AT ITER 2189 NEW BEST:: SOT 44242 SOS 9286 HAS SOPS 9286 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7889.286
AT ITER 2194 NEW BEST:: SOT 44229 SOS 9268 HAS SOPS 9268 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7860.268
AT ITER 2199 NEW BEST:: SOT 44226 SOS 9268 HAS SOPS 9268 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7857.268
AT ITER 2213 NEW BEST:: SOT 44222 SOS 9257 HAS SOPS 9257 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7852.257
AT ITER 2222 NEW BEST:: SOT 44221 SOS 9254 HAS SOPS 9254 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7849.254
AT ITER 2243 NEW BEST:: SOT 44209 SOS 9272 HAS SOPS 9272 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7836.272
AT ITER 2325 NEW BEST:: SOT 44192 SOS 9265 HAS SOPS 9265 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7829.265
AT ITER 2357 NEW BEST:: SOT 44189 SOS 9264 HAS SOPS 9264 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7828.264
AT ITER 2361 NEW BEST:: SOT 44165 SOS 9234 HAS SOPS 9234 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7798.234
AT ITER 2373 NEW BEST:: SOT 44165 SOS 9258 HAS SOPS 9258 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7786.258
AT ITER 2381 NEW BEST:: SOT 44165 SOS 9258 HAS SOPS 9258 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7779.258
AT ITER 2406 NEW BEST:: SOT 44165 SOS 9272 HAS SOPS 9272 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7765.272
AT ITER 2432 NEW BEST:: SOT 44165 SOS 9264 HAS SOPS 9264 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7757.264
AT ITER 2608 NEW BEST:: SOT 44169 SOS 9262 HAS SOPS 9262 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7755.262
AT ITER 2630 NEW BEST:: SOT 44169 SOS 9253 HAS SOPS 9253 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7746.253
AT ITER 2641 NEW BEST:: SOT 44195 SOS 9231 HAS SOPS 9231 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7734.231
AT ITER 2642 NEW BEST:: SOT 44143 SOS 9203 HAS SOPS 9203 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7700.203
AT ITER 2645 NEW BEST:: SOT 44143 SOS 9195 HAS SOPS 9195 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7692.195
AT ITER 2653 NEW BEST:: SOT 44131 SOS 9189 HAS SOPS 9189 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7686.189
AT ITER 2735 NEW BEST:: SOT 44131 SOS 9189 HAS SOPS 9189 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7681.189
AT ITER 2761 NEW BEST:: SOT 44126 SOS 9189 HAS SOPS 9189 HAS SOUS 7668 HAS SOUPS 7668 WITH SCORE 7677.189
AT ITER 2781 NEW BEST:: SOT 44123 SOS 9184 HAS SOPS 9184 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7672.184
AT ITER 2793 NEW BEST:: SOT 44123 SOS 9183 HAS SOPS 9183 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7671.183
AT ITER 2812 NEW BEST:: SOT 44126 SOS 9180 HAS SOPS 9180 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7668.18
AT ITER 2814 NEW BEST:: SOT 44101 SOS 9135 HAS SOPS 9135 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7623.135
AT ITER 2819 NEW BEST:: SOT 44093 SOS 9119 HAS SOPS 9119 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7607.119
AT ITER 2860 NEW BEST:: SOT 44088 SOS 9104 HAS SOPS 9104 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7592.104
AT ITER 2882 NEW BEST:: SOT 44076 SOS 9091 HAS SOPS 9091 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7572.091
AT ITER 2906 NEW BEST:: SOT 44075 SOS 9071 HAS SOPS 9071 HAS SOUS 7549 HAS SOUPS 7549 WITH SCORE 7558.071
AT ITER 2940 NEW BEST:: SOT 44068 SOS 9072 HAS SOPS 9072 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7551.072
AT ITER 2980 NEW BEST:: SOT 44073 SOS 9066 HAS SOPS 9066 HAS SOUS 7536 HAS SOUPS 7536 WITH SCORE 7545.066
AT ITER 3043 NEW BEST:: SOT 44056 SOS 9051 HAS SOPS 9051 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7530.051
AT ITER 3064 NEW BEST:: SOT 44052 SOS 9045 HAS SOPS 9045 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7526.045
AT ITER 3067 NEW BEST:: SOT 44052 SOS 9045 HAS SOPS 9045 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7524.045
AT ITER 3119 NEW BEST:: SOT 44040 SOS 9068 HAS SOPS 9068 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7500.068
AT ITER 3129 NEW BEST:: SOT 44044 SOS 9072 HAS SOPS 9072 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7485.072
AT ITER 3188 NEW BEST:: SOT 44043 SOS 9057 HAS SOPS 9057 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7484.057
AT ITER 3236 NEW BEST:: SOT 44042 SOS 9055 HAS SOPS 9055 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7484.055
AT ITER 3247 NEW BEST:: SOT 44038 SOS 9049 HAS SOPS 9049 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7478.049
AT ITER 3281 NEW BEST:: SOT 44039 SOS 9048 HAS SOPS 9048 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7477.048
AT ITER 3284 NEW BEST:: SOT 44036 SOS 9045 HAS SOPS 9045 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7474.045
AT ITER 3294 NEW BEST:: SOT 44020 SOS 9044 HAS SOPS 9044 HAS SOUS 7464 HAS SOUPS 7464 WITH SCORE 7473.044
AT ITER 3300 NEW BEST:: SOT 44007 SOS 8958 HAS SOPS 8958 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7459.958
AT ITER 3346 NEW BEST:: SOT 43975 SOS 8903 HAS SOPS 8903 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7387.903
AT ITER 3349 NEW BEST:: SOT 43973 SOS 8896 HAS SOPS 8896 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7380.896
AT ITER 3387 NEW BEST:: SOT 43974 SOS 8897 HAS SOPS 8897 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7378.897
AT ITER 3388 NEW BEST:: SOT 43924 SOS 8994 HAS SOPS 8994 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7375.994
AT ITER 3400 NEW BEST:: SOT 43923 SOS 8987 HAS SOPS 8987 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7368.987
AT ITER 3436 NEW BEST:: SOT 43912 SOS 8976 HAS SOPS 8976 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7357.976
AT ITER 3437 NEW BEST:: SOT 43915 SOS 8977 HAS SOPS 8977 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7349.977
AT ITER 3449 NEW BEST:: SOT 43908 SOS 8969 HAS SOPS 8969 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7341.969
AT ITER 3454 NEW BEST:: SOT 43904 SOS 8964 HAS SOPS 8964 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7336.964
AT ITER 3474 NEW BEST:: SOT 43903 SOS 8963 HAS SOPS 8963 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7335.963
AT ITER 3517 NEW BEST:: SOT 43900 SOS 8953 HAS SOPS 8953 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7328.953
AT ITER 3534 NEW BEST:: SOT 43895 SOS 8948 HAS SOPS 8948 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7323.948
AT ITER 3544 NEW BEST:: SOT 43889 SOS 8948 HAS SOPS 8948 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7321.948
AT ITER 3578 NEW BEST:: SOT 43902 SOS 8982 HAS SOPS 8982 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7307.982
AT ITER 3609 NEW BEST:: SOT 43895 SOS 8975 HAS SOPS 8975 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7307.975
AT ITER 3610 NEW BEST:: SOT 43895 SOS 8972 HAS SOPS 8972 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7304.972
AT ITER 3666 NEW BEST:: SOT 43895 SOS 8956 HAS SOPS 8956 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7300.956
AT ITER 3671 NEW BEST:: SOT 43878 SOS 8922 HAS SOPS 8922 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7289.922
AT ITER 3702 NEW BEST:: SOT 43874 SOS 8918 HAS SOPS 8918 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7285.918
AT ITER 3730 NEW BEST:: SOT 43874 SOS 8909 HAS SOPS 8909 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7276.909
AT ITER 3774 NEW BEST:: SOT 43874 SOS 8901 HAS SOPS 8901 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7268.901
AT ITER 3784 NEW BEST:: SOT 43881 SOS 8908 HAS SOPS 8908 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7263.908
AT ITER 3831 NEW BEST:: SOT 43878 SOS 8896 HAS SOPS 8896 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7254.896
AT ITER 3861 NEW BEST:: SOT 43880 SOS 8854 HAS SOPS 8854 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7254.854
AT ITER 3862 NEW BEST:: SOT 43884 SOS 8858 HAS SOPS 8858 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7248.858
AT ITER 3878 NEW BEST:: SOT 43880 SOS 8832 HAS SOPS 8832 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7222.832
AT ITER 3896 NEW BEST:: SOT 43875 SOS 8811 HAS SOPS 8811 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7217.811
AT ITER 3974 NEW BEST:: SOT 43870 SOS 8801 HAS SOPS 8801 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7217.801
AT ITER 4012 NEW BEST:: SOT 43866 SOS 8802 HAS SOPS 8802 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7213.802
AT ITER 4070 NEW BEST:: SOT 43860 SOS 8787 HAS SOPS 8787 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7198.787
AT ITER 4084 NEW BEST:: SOT 43853 SOS 8759 HAS SOPS 8759 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7191.759
AT ITER 4145 NEW BEST:: SOT 43855 SOS 8753 HAS SOPS 8753 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7185.753
AT ITER 4193 NEW BEST:: SOT 43855 SOS 8750 HAS SOPS 8750 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7182.75
AT ITER 4199 NEW BEST:: SOT 43859 SOS 8737 HAS SOPS 8737 HAS SOUS 7170 HAS SOUPS 7170 WITH SCORE 7178.737
AT ITER 4232 NEW BEST:: SOT 43854 SOS 8727 HAS SOPS 8727 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7168.727
AT ITER 4237 NEW BEST:: SOT 43854 SOS 8716 HAS SOPS 8716 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7157.716
AT ITER 4242 NEW BEST:: SOT 43852 SOS 8712 HAS SOPS 8712 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7149.712
AT ITER 4297 NEW BEST:: SOT 43852 SOS 8715 HAS SOPS 8715 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7148.715
AT ITER 4358 NEW BEST:: SOT 43831 SOS 8692 HAS SOPS 8692 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7144.692
AT ITER 4369 NEW BEST:: SOT 43830 SOS 8687 HAS SOPS 8687 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7139.687
AT ITER 4374 NEW BEST:: SOT 43851 SOS 8646 HAS SOPS 8646 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7134.646
AT ITER 4385 NEW BEST:: SOT 43839 SOS 8628 HAS SOPS 8628 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7116.628
AT ITER 4433 NEW BEST:: SOT 43839 SOS 8535 HAS SOPS 8535 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7076.535
AT ITER 4461 NEW BEST:: SOT 43838 SOS 8533 HAS SOPS 8533 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7074.533
AT ITER 4496 NEW BEST:: SOT 43838 SOS 8532 HAS SOPS 8532 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7074.532
AT ITER 4542 NEW BEST:: SOT 43835 SOS 8529 HAS SOPS 8529 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7071.529
AT ITER 4546 NEW BEST:: SOT 43826 SOS 8502 HAS SOPS 8502 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7044.502
AT ITER 4558 NEW BEST:: SOT 43828 SOS 8509 HAS SOPS 8509 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7043.509
AT ITER 4588 NEW BEST:: SOT 43829 SOS 8508 HAS SOPS 8508 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7043.508
AT ITER 4650 NEW BEST:: SOT 43829 SOS 8504 HAS SOPS 8504 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7041.504
AT ITER 4687 NEW BEST:: SOT 43819 SOS 8494 HAS SOPS 8494 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7031.494
AT ITER 4817 NEW BEST:: SOT 43794 SOS 8388 HAS SOPS 8388 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7006.388
AT ITER 4848 NEW BEST:: SOT 43787 SOS 8381 HAS SOPS 8381 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 6999.381
AT ITER 4868 NEW BEST:: SOT 43787 SOS 8384 HAS SOPS 8384 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6996.384
AT ITER 4921 NEW BEST:: SOT 43787 SOS 8357 HAS SOPS 8357 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6969.357
AT ITER 4987 NEW BEST:: SOT 43787 SOS 8353 HAS SOPS 8353 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6965.353
AT ITER 5055 NEW BEST:: SOT 43783 SOS 8351 HAS SOPS 8351 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6961.351
AT ITER 5066 NEW BEST:: SOT 43788 SOS 8348 HAS SOPS 8348 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6958.348
AT ITER 5079 NEW BEST:: SOT 43788 SOS 8347 HAS SOPS 8347 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6957.347
AT ITER 5096 NEW BEST:: SOT 43786 SOS 8362 HAS SOPS 8362 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6951.362
AT ITER 5160 NEW BEST:: SOT 43780 SOS 8349 HAS SOPS 8349 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6942.349
AT ITER 5179 NEW BEST:: SOT 43774 SOS 8338 HAS SOPS 8338 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6931.338
AT ITER 5188 NEW BEST:: SOT 43761 SOS 8306 HAS SOPS 8306 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6899.306
AT ITER 5270 NEW BEST:: SOT 43767 SOS 8301 HAS SOPS 8301 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6896.301
AT ITER 5335 NEW BEST:: SOT 43760 SOS 8294 HAS SOPS 8294 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6896.294
AT ITER 5395 NEW BEST:: SOT 43771 SOS 8293 HAS SOPS 8293 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6895.293
AT ITER 5405 NEW BEST:: SOT 43799 SOS 8251 HAS SOPS 8251 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6895.251
AT ITER 5411 NEW BEST:: SOT 43795 SOS 8250 HAS SOPS 8250 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6894.25
AT ITER 5443 NEW BEST:: SOT 43804 SOS 8246 HAS SOPS 8246 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6890.246
AT ITER 5444 NEW BEST:: SOT 43816 SOS 8245 HAS SOPS 8245 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6889.245
AT ITER 5452 NEW BEST:: SOT 43814 SOS 8245 HAS SOPS 8245 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6885.245
AT ITER 5460 NEW BEST:: SOT 43807 SOS 8268 HAS SOPS 8268 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6880.268
AT ITER 5481 NEW BEST:: SOT 43789 SOS 8250 HAS SOPS 8250 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6866.25
AT ITER 5496 NEW BEST:: SOT 43779 SOS 8196 HAS SOPS 8196 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6856.196
AT ITER 5509 NEW BEST:: SOT 43770 SOS 8186 HAS SOPS 8186 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6845.186
AT ITER 5511 NEW BEST:: SOT 43768 SOS 8184 HAS SOPS 8184 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6843.184
AT ITER 5514 NEW BEST:: SOT 43763 SOS 8159 HAS SOPS 8159 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6843.159
AT ITER 5542 NEW BEST:: SOT 43763 SOS 8156 HAS SOPS 8156 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6843.156
AT ITER 5581 NEW BEST:: SOT 43733 SOS 8096 HAS SOPS 8096 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6783.096
AT ITER 5589 NEW BEST:: SOT 43729 SOS 8092 HAS SOPS 8092 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6781.092
AT ITER 5600 NEW BEST:: SOT 43727 SOS 8090 HAS SOPS 8090 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6781.09
AT ITER 5678 NEW BEST:: SOT 43746 SOS 8076 HAS SOPS 8076 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6767.076
AT ITER 5705 NEW BEST:: SOT 43739 SOS 8062 HAS SOPS 8062 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6753.062
AT ITER 5751 NEW BEST:: SOT 43708 SOS 8029 HAS SOPS 8029 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6720.029
AT ITER 5780 NEW BEST:: SOT 43708 SOS 8020 HAS SOPS 8020 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6711.02
AT ITER 5782 NEW BEST:: SOT 43703 SOS 8044 HAS SOPS 8044 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6701.044
AT ITER 5791 NEW BEST:: SOT 43694 SOS 8028 HAS SOPS 8028 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6682.028
AT ITER 5820 NEW BEST:: SOT 43690 SOS 8024 HAS SOPS 8024 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6673.024
AT ITER 5845 NEW BEST:: SOT 43688 SOS 8022 HAS SOPS 8022 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6671.022
AT ITER 5921 NEW BEST:: SOT 43686 SOS 8020 HAS SOPS 8020 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6669.02
AT ITER 5922 NEW BEST:: SOT 43688 SOS 8019 HAS SOPS 8019 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6668.019
AT ITER 6006 NEW BEST:: SOT 43676 SOS 8013 HAS SOPS 8013 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6662.013
AT ITER 6008 NEW BEST:: SOT 43678 SOS 8011 HAS SOPS 8011 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6660.011
AT ITER 6057 NEW BEST:: SOT 43680 SOS 8009 HAS SOPS 8009 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6660.009
AT ITER 6072 NEW BEST:: SOT 43677 SOS 8017 HAS SOPS 8017 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6657.017
AT ITER 6142 NEW BEST:: SOT 43677 SOS 8016 HAS SOPS 8016 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6656.016
AT ITER 6168 NEW BEST:: SOT 43677 SOS 8013 HAS SOPS 8013 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6655.013
AT ITER 6186 NEW BEST:: SOT 43652 SOS 8003 HAS SOPS 8003 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.003
AT ITER 6191 NEW BEST:: SOT 43652 SOS 8000 HAS SOPS 8000 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.0
AT ITER 6275 NEW BEST:: SOT 43649 SOS 7997 HAS SOPS 7997 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6649.997
AT ITER 6468 NEW BEST:: SOT 43645 SOS 7993 HAS SOPS 7993 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6645.993
AT ITER 6498 NEW BEST:: SOT 43644 SOS 7991 HAS SOPS 7991 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6643.991
AT ITER 6530 NEW BEST:: SOT 43642 SOS 7989 HAS SOPS 7989 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6641.989
AT ITER 6580 NEW BEST:: SOT 43631 SOS 7994 HAS SOPS 7994 HAS SOUS 6633 HAS SOUPS 6633 WITH SCORE 6640.994
AT ITER 6633 NEW BEST:: SOT 43631 SOS 7978 HAS SOPS 7978 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6620.978
AT ITER 6730 NEW BEST:: SOT 43620 SOS 7962 HAS SOPS 7962 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6604.962
AT ITER 6883 NEW BEST:: SOT 43610 SOS 7964 HAS SOPS 7964 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6585.964
AT ITER 6898 NEW BEST:: SOT 43608 SOS 7957 HAS SOPS 7957 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6581.957
AT ITER 6952 NEW BEST:: SOT 43606 SOS 7955 HAS SOPS 7955 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6579.955
AT ITER 6985 NEW BEST:: SOT 43606 SOS 7954 HAS SOPS 7954 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6577.954
AT ITER 7048 NEW BEST:: SOT 43605 SOS 7952 HAS SOPS 7952 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6575.952
AT ITER 7076 NEW BEST:: SOT 43598 SOS 7945 HAS SOPS 7945 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6568.945
AT ITER 7102 NEW BEST:: SOT 43597 SOS 7943 HAS SOPS 7943 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6566.943
AT ITER 7147 NEW BEST:: SOT 43593 SOS 7931 HAS SOPS 7931 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6554.931
AT ITER 7165 NEW BEST:: SOT 43593 SOS 7920 HAS SOPS 7920 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6548.92
AT ITER 7221 NEW BEST:: SOT 43635 SOS 7913 HAS SOPS 7913 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6538.913
AT ITER 7285 NEW BEST:: SOT 43634 SOS 7892 HAS SOPS 7892 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6517.892
AT ITER 7331 NEW BEST:: SOT 43641 SOS 7889 HAS SOPS 7889 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6512.889
AT ITER 7340 NEW BEST:: SOT 43631 SOS 7879 HAS SOPS 7879 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6502.879
AT ITER 7369 NEW BEST:: SOT 43621 SOS 7886 HAS SOPS 7886 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.886
AT ITER 7428 NEW BEST:: SOT 43616 SOS 7868 HAS SOPS 7868 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6481.868
AT ITER 7455 NEW BEST:: SOT 43616 SOS 7862 HAS SOPS 7862 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6475.862
AT ITER 7617 NEW BEST:: SOT 43615 SOS 7861 HAS SOPS 7861 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6474.861
AT ITER 7843 NEW BEST:: SOT 43613 SOS 7859 HAS SOPS 7859 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6470.859
AT ITER 7869 NEW BEST:: SOT 43613 SOS 7856 HAS SOPS 7856 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6467.856
AT ITER 7876 NEW BEST:: SOT 43612 SOS 7859 HAS SOPS 7859 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6466.859
AT ITER 7926 NEW BEST:: SOT 43621 SOS 7832 HAS SOPS 7832 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6466.832
AT ITER 7986 NEW BEST:: SOT 43610 SOS 7819 HAS SOPS 7819 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6453.819
AT ITER 8029 NEW BEST:: SOT 43607 SOS 7813 HAS SOPS 7813 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.813
AT ITER 8128 NEW BEST:: SOT 43606 SOS 7796 HAS SOPS 7796 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6446.796
AT ITER 8146 NEW BEST:: SOT 43609 SOS 7794 HAS SOPS 7794 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6442.794
AT ITER 8163 NEW BEST:: SOT 43609 SOS 7793 HAS SOPS 7793 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6441.793
AT ITER 8258 NEW BEST:: SOT 43602 SOS 7755 HAS SOPS 7755 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6432.755
AT ITER 8317 NEW BEST:: SOT 43601 SOS 7765 HAS SOPS 7765 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6428.765
AT ITER 8416 NEW BEST:: SOT 43594 SOS 7749 HAS SOPS 7749 HAS SOUS 6416 HAS SOUPS 6416 WITH SCORE 6423.749
AT ITER 8457 NEW BEST:: SOT 43598 SOS 7737 HAS SOPS 7737 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6420.737
AT ITER 8517 NEW BEST:: SOT 43598 SOS 7735 HAS SOPS 7735 HAS SOUS 6411 HAS SOUPS 6411 WITH SCORE 6418.735
AT ITER 8553 NEW BEST:: SOT 43598 SOS 7724 HAS SOPS 7724 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6407.724
AT ITER 8574 NEW BEST:: SOT 43604 SOS 7718 HAS SOPS 7718 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6402.718
AT ITER 8578 NEW BEST:: SOT 43603 SOS 7709 HAS SOPS 7709 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6393.709
AT ITER 8579 NEW BEST:: SOT 43600 SOS 7701 HAS SOPS 7701 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6388.701
AT ITER 8588 NEW BEST:: SOT 43601 SOS 7695 HAS SOPS 7695 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6386.695
AT ITER 8718 NEW BEST:: SOT 43601 SOS 7690 HAS SOPS 7690 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6381.69
AT ITER 8736 NEW BEST:: SOT 43618 SOS 7679 HAS SOPS 7679 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6379.679
AT ITER 8762 NEW BEST:: SOT 43598 SOS 7683 HAS SOPS 7683 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6367.683
AT ITER 9107 NEW BEST:: SOT 43598 SOS 7675 HAS SOPS 7675 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6359.675
AT ITER 9171 NEW BEST:: SOT 43573 SOS 7652 HAS SOPS 7652 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6338.652
AT ITER 9226 NEW BEST:: SOT 43555 SOS 7634 HAS SOPS 7634 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6338.634
AT ITER 9234 NEW BEST:: SOT 43558 SOS 7637 HAS SOPS 7637 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6334.637
AT ITER 9276 NEW BEST:: SOT 43538 SOS 7626 HAS SOPS 7626 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6323.626
AT ITER 9426 NEW BEST:: SOT 43542 SOS 7624 HAS SOPS 7624 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6321.624
AT ITER 9477 NEW BEST:: SOT 43542 SOS 7624 HAS SOPS 7624 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6316.624
AT ITER 9635 NEW BEST:: SOT 43540 SOS 7622 HAS SOPS 7622 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6314.622
AT ITER 9640 NEW BEST:: SOT 43540 SOS 7620 HAS SOPS 7620 HAS SOUS 6307 HAS SOUPS 6307 WITH SCORE 6314.62
AT ITER 9776 NEW BEST:: SOT 43539 SOS 7618 HAS SOPS 7618 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6312.618
AT ITER 9786 NEW BEST:: SOT 43538 SOS 7617 HAS SOPS 7617 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6311.617
AT ITER 9845 NEW BEST:: SOT 43538 SOS 7615 HAS SOPS 7615 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6311.615
AT ITER 9891 NEW BEST:: SOT 43568 SOS 7630 HAS SOPS 7630 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6305.63
AT ITER 9905 NEW BEST:: SOT 43563 SOS 7632 HAS SOPS 7632 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6304.632
AT ITER 9907 NEW BEST:: SOT 43563 SOS 7631 HAS SOPS 7631 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6296.631
AT ITER 9973 NEW BEST:: SOT 43560 SOS 7630 HAS SOPS 7630 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6295.63
AT ITER 9974 NEW BEST:: SOT 43560 SOS 7620 HAS SOPS 7620 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6290.62
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9376156 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16126596 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-05b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DES-PT-05b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484200408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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