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-167814484300488.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-50b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484300488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 7.3K Feb 26 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:44 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:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 15:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 26 15:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 15:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 15:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 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 127K 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 1678378423019

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-50b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 16:13:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 16:13:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 16:13:44] [INFO ] Load time of PNML (sax parser for PT used): 67 ms
[2023-03-09 16:13:44] [INFO ] Transformed 479 places.
[2023-03-09 16:13:44] [INFO ] Transformed 430 transitions.
[2023-03-09 16:13:44] [INFO ] Found NUPN structural information;
[2023-03-09 16:13:44] [INFO ] Parsed PT model containing 479 places and 430 transitions and 1463 arcs in 131 ms.
[2023-03-09 16:13:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 479 places, 430 transitions and 1463 arcs took 7 ms.
Total runtime 166 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 50b
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: 479 places, 430 transitions, 1463 arcs.
AT ITER 0 NEW BEST:: SOT 134430 SOS 32804 HAS SOPS 32804 HAS SOUS 31522 HAS SOUPS 31522 WITH SCORE 31554.804
AT ITER 52 NEW BEST:: SOT 134153 SOS 38184 HAS SOPS 38184 HAS SOUS 31406 HAS SOUPS 31406 WITH SCORE 31444.184
AT ITER 55 NEW BEST:: SOT 133998 SOS 38043 HAS SOPS 38043 HAS SOUS 31352 HAS SOUPS 31352 WITH SCORE 31390.043
AT ITER 73 NEW BEST:: SOT 133971 SOS 38034 HAS SOPS 38034 HAS SOUS 31334 HAS SOUPS 31334 WITH SCORE 31372.034
AT ITER 121 NEW BEST:: SOT 133948 SOS 38009 HAS SOPS 38009 HAS SOUS 31309 HAS SOUPS 31309 WITH SCORE 31347.009
AT ITER 127 NEW BEST:: SOT 132055 SOS 36105 HAS SOPS 36105 HAS SOUS 29405 HAS SOUPS 29405 WITH SCORE 29441.105
AT ITER 139 NEW BEST:: SOT 132034 SOS 36089 HAS SOPS 36089 HAS SOUS 29388 HAS SOUPS 29388 WITH SCORE 29424.089
AT ITER 161 NEW BEST:: SOT 132027 SOS 36082 HAS SOPS 36082 HAS SOUS 29381 HAS SOUPS 29381 WITH SCORE 29417.082
AT ITER 203 NEW BEST:: SOT 132024 SOS 36079 HAS SOPS 36079 HAS SOUS 29378 HAS SOUPS 29378 WITH SCORE 29414.079
AT ITER 213 NEW BEST:: SOT 132025 SOS 35950 HAS SOPS 35950 HAS SOUS 29245 HAS SOUPS 29245 WITH SCORE 29280.95
AT ITER 214 NEW BEST:: SOT 132024 SOS 35947 HAS SOPS 35947 HAS SOUS 29242 HAS SOUPS 29242 WITH SCORE 29277.947
AT ITER 232 NEW BEST:: SOT 131848 SOS 36361 HAS SOPS 36361 HAS SOUS 29153 HAS SOUPS 29153 WITH SCORE 29189.361
AT ITER 244 NEW BEST:: SOT 131801 SOS 36316 HAS SOPS 36316 HAS SOUS 29105 HAS SOUPS 29105 WITH SCORE 29141.316
AT ITER 268 NEW BEST:: SOT 131793 SOS 36300 HAS SOPS 36300 HAS SOUS 29089 HAS SOUPS 29089 WITH SCORE 29125.3
AT ITER 282 NEW BEST:: SOT 128699 SOS 43947 HAS SOPS 43947 HAS SOUS 26519 HAS SOUPS 26519 WITH SCORE 26562.947
AT ITER 289 NEW BEST:: SOT 128672 SOS 43945 HAS SOPS 43945 HAS SOUS 26517 HAS SOUPS 26517 WITH SCORE 26560.945
AT ITER 300 NEW BEST:: SOT 128670 SOS 43938 HAS SOPS 43938 HAS SOUS 26512 HAS SOUPS 26512 WITH SCORE 26555.938
AT ITER 346 NEW BEST:: SOT 128670 SOS 43924 HAS SOPS 43924 HAS SOUS 26498 HAS SOUPS 26498 WITH SCORE 26541.924
AT ITER 408 NEW BEST:: SOT 128581 SOS 43923 HAS SOPS 43923 HAS SOUS 26496 HAS SOUPS 26496 WITH SCORE 26539.923
AT ITER 417 NEW BEST:: SOT 128538 SOS 43923 HAS SOPS 43923 HAS SOUS 26495 HAS SOUPS 26495 WITH SCORE 26538.923
AT ITER 421 NEW BEST:: SOT 128528 SOS 43911 HAS SOPS 43911 HAS SOUS 26483 HAS SOUPS 26483 WITH SCORE 26526.911
AT ITER 432 NEW BEST:: SOT 128455 SOS 43893 HAS SOPS 43893 HAS SOUS 26464 HAS SOUPS 26464 WITH SCORE 26507.893
AT ITER 452 NEW BEST:: SOT 128453 SOS 43889 HAS SOPS 43889 HAS SOUS 26460 HAS SOUPS 26460 WITH SCORE 26503.889
AT ITER 480 NEW BEST:: SOT 128384 SOS 43888 HAS SOPS 43888 HAS SOUS 26458 HAS SOUPS 26458 WITH SCORE 26501.888
AT ITER 481 NEW BEST:: SOT 128349 SOS 40761 HAS SOPS 40761 HAS SOUS 26388 HAS SOUPS 26388 WITH SCORE 26428.761
AT ITER 499 NEW BEST:: SOT 128345 SOS 40756 HAS SOPS 40756 HAS SOUS 26383 HAS SOUPS 26383 WITH SCORE 26423.756
AT ITER 549 NEW BEST:: SOT 128293 SOS 40704 HAS SOPS 40704 HAS SOUS 26287 HAS SOUPS 26287 WITH SCORE 26327.704
AT ITER 564 NEW BEST:: SOT 128293 SOS 40704 HAS SOPS 40704 HAS SOUS 26286 HAS SOUPS 26286 WITH SCORE 26326.704
AT ITER 643 NEW BEST:: SOT 128284 SOS 40695 HAS SOPS 40695 HAS SOUS 26277 HAS SOUPS 26277 WITH SCORE 26317.695
AT ITER 664 NEW BEST:: SOT 125487 SOS 44282 HAS SOPS 44282 HAS SOUS 23897 HAS SOUPS 23897 WITH SCORE 23941.282
AT ITER 681 NEW BEST:: SOT 125441 SOS 44221 HAS SOPS 44221 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23880.221
AT ITER 683 NEW BEST:: SOT 125410 SOS 44190 HAS SOPS 44190 HAS SOUS 23805 HAS SOUPS 23805 WITH SCORE 23849.19
AT ITER 696 NEW BEST:: SOT 125410 SOS 44136 HAS SOPS 44136 HAS SOUS 23805 HAS SOUPS 23805 WITH SCORE 23849.136
AT ITER 700 NEW BEST:: SOT 125168 SOS 44584 HAS SOPS 44584 HAS SOUS 23663 HAS SOUPS 23663 WITH SCORE 23707.584
AT ITER 760 NEW BEST:: SOT 125165 SOS 44581 HAS SOPS 44581 HAS SOUS 23660 HAS SOUPS 23660 WITH SCORE 23704.581
AT ITER 768 NEW BEST:: SOT 125150 SOS 44561 HAS SOPS 44561 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23684.561
AT ITER 774 NEW BEST:: SOT 125142 SOS 44551 HAS SOPS 44551 HAS SOUS 23630 HAS SOUPS 23630 WITH SCORE 23674.551
AT ITER 776 NEW BEST:: SOT 125141 SOS 44549 HAS SOPS 44549 HAS SOUS 23629 HAS SOUPS 23629 WITH SCORE 23673.549
AT ITER 821 NEW BEST:: SOT 124901 SOS 45838 HAS SOPS 45838 HAS SOUS 23545 HAS SOUPS 23545 WITH SCORE 23590.838
AT ITER 837 NEW BEST:: SOT 124890 SOS 45823 HAS SOPS 45823 HAS SOUS 23533 HAS SOUPS 23533 WITH SCORE 23578.823
AT ITER 862 NEW BEST:: SOT 120931 SOS 46732 HAS SOPS 46732 HAS SOUS 19714 HAS SOUPS 19714 WITH SCORE 19760.732
AT ITER 865 NEW BEST:: SOT 120902 SOS 46693 HAS SOPS 46693 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19720.693
AT ITER 876 NEW BEST:: SOT 120861 SOS 46617 HAS SOPS 46617 HAS SOUS 19598 HAS SOUPS 19598 WITH SCORE 19644.617
AT ITER 896 NEW BEST:: SOT 120861 SOS 46617 HAS SOPS 46617 HAS SOUS 19597 HAS SOUPS 19597 WITH SCORE 19643.617
AT ITER 919 NEW BEST:: SOT 120844 SOS 46582 HAS SOPS 46582 HAS SOUS 19562 HAS SOUPS 19562 WITH SCORE 19608.582
AT ITER 949 NEW BEST:: SOT 120765 SOS 46503 HAS SOPS 46503 HAS SOUS 19543 HAS SOUPS 19543 WITH SCORE 19589.503
AT ITER 954 NEW BEST:: SOT 120702 SOS 46440 HAS SOPS 46440 HAS SOUS 19526 HAS SOUPS 19526 WITH SCORE 19572.44
AT ITER 956 NEW BEST:: SOT 118531 SOS 44269 HAS SOPS 44269 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17398.269
AT ITER 967 NEW BEST:: SOT 117583 SOS 57604 HAS SOPS 57604 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16997.604
AT ITER 1007 NEW BEST:: SOT 117524 SOS 57518 HAS SOPS 57518 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16910.518
AT ITER 1017 NEW BEST:: SOT 117491 SOS 57485 HAS SOPS 57485 HAS SOUS 16819 HAS SOUPS 16819 WITH SCORE 16876.485
AT ITER 1037 NEW BEST:: SOT 117491 SOS 57512 HAS SOPS 57512 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16874.512
AT ITER 1081 NEW BEST:: SOT 117490 SOS 57511 HAS SOPS 57511 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16872.511
AT ITER 1085 NEW BEST:: SOT 117384 SOS 57405 HAS SOPS 57405 HAS SOUS 16638 HAS SOUPS 16638 WITH SCORE 16695.405
AT ITER 1103 NEW BEST:: SOT 117372 SOS 52245 HAS SOPS 52245 HAS SOUS 16624 HAS SOUPS 16624 WITH SCORE 16676.245
AT ITER 1112 NEW BEST:: SOT 117372 SOS 52216 HAS SOPS 52216 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16647.216
AT ITER 1132 NEW BEST:: SOT 117357 SOS 52229 HAS SOPS 52229 HAS SOUS 16565 HAS SOUPS 16565 WITH SCORE 16617.229
AT ITER 1135 NEW BEST:: SOT 117356 SOS 52228 HAS SOPS 52228 HAS SOUS 16563 HAS SOUPS 16563 WITH SCORE 16615.228
AT ITER 1163 NEW BEST:: SOT 117347 SOS 52210 HAS SOPS 52210 HAS SOUS 16544 HAS SOUPS 16544 WITH SCORE 16596.21
AT ITER 1192 NEW BEST:: SOT 117346 SOS 52209 HAS SOPS 52209 HAS SOUS 16542 HAS SOUPS 16542 WITH SCORE 16594.209
AT ITER 1238 NEW BEST:: SOT 117270 SOS 52133 HAS SOPS 52133 HAS SOUS 16326 HAS SOUPS 16326 WITH SCORE 16378.133
AT ITER 1272 NEW BEST:: SOT 117213 SOS 46210 HAS SOPS 46210 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16333.21
AT ITER 1296 NEW BEST:: SOT 117212 SOS 46202 HAS SOPS 46202 HAS SOUS 16286 HAS SOUPS 16286 WITH SCORE 16332.202
AT ITER 1333 NEW BEST:: SOT 117212 SOS 46196 HAS SOPS 46196 HAS SOUS 16285 HAS SOUPS 16285 WITH SCORE 16331.196
AT ITER 1337 NEW BEST:: SOT 117111 SOS 46095 HAS SOPS 46095 HAS SOUS 16083 HAS SOUPS 16083 WITH SCORE 16129.095
AT ITER 1362 NEW BEST:: SOT 117144 SOS 46152 HAS SOPS 46152 HAS SOUS 16056 HAS SOUPS 16056 WITH SCORE 16102.152
AT ITER 1365 NEW BEST:: SOT 117159 SOS 46145 HAS SOPS 46145 HAS SOUS 16035 HAS SOUPS 16035 WITH SCORE 16081.145
AT ITER 1376 NEW BEST:: SOT 117158 SOS 46144 HAS SOPS 46144 HAS SOUS 16033 HAS SOUPS 16033 WITH SCORE 16079.144
AT ITER 1384 NEW BEST:: SOT 117131 SOS 46090 HAS SOPS 46090 HAS SOUS 16006 HAS SOUPS 16006 WITH SCORE 16052.09
AT ITER 1402 NEW BEST:: SOT 117115 SOS 46074 HAS SOPS 46074 HAS SOUS 15985 HAS SOUPS 15985 WITH SCORE 16031.074
AT ITER 1419 NEW BEST:: SOT 117114 SOS 46073 HAS SOPS 46073 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16029.073
AT ITER 1424 NEW BEST:: SOT 117113 SOS 46071 HAS SOPS 46071 HAS SOUS 15975 HAS SOUPS 15975 WITH SCORE 16021.071
AT ITER 1440 NEW BEST:: SOT 116980 SOS 45871 HAS SOPS 45871 HAS SOUS 15775 HAS SOUPS 15775 WITH SCORE 15820.871
AT ITER 1462 NEW BEST:: SOT 116931 SOS 45807 HAS SOPS 45807 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15725.807
AT ITER 1470 NEW BEST:: SOT 116912 SOS 45773 HAS SOPS 45773 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15725.773
AT ITER 1499 NEW BEST:: SOT 116911 SOS 45772 HAS SOPS 45772 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15723.772
AT ITER 1537 NEW BEST:: SOT 116899 SOS 45742 HAS SOPS 45742 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15693.742
AT ITER 1618 NEW BEST:: SOT 116869 SOS 45677 HAS SOPS 45677 HAS SOUS 15583 HAS SOUPS 15583 WITH SCORE 15628.677
AT ITER 1622 NEW BEST:: SOT 116862 SOS 45669 HAS SOPS 45669 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15620.669
AT ITER 1629 NEW BEST:: SOT 116863 SOS 45674 HAS SOPS 45674 HAS SOUS 15574 HAS SOUPS 15574 WITH SCORE 15619.674
AT ITER 1631 NEW BEST:: SOT 116850 SOS 45635 HAS SOPS 45635 HAS SOUS 15535 HAS SOUPS 15535 WITH SCORE 15580.635
AT ITER 1666 NEW BEST:: SOT 116850 SOS 45621 HAS SOPS 45621 HAS SOUS 15521 HAS SOUPS 15521 WITH SCORE 15566.621
AT ITER 1671 NEW BEST:: SOT 116849 SOS 45620 HAS SOPS 45620 HAS SOUS 15519 HAS SOUPS 15519 WITH SCORE 15564.62
AT ITER 1720 NEW BEST:: SOT 116834 SOS 45605 HAS SOPS 45605 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15534.605
AT ITER 1724 NEW BEST:: SOT 116269 SOS 45040 HAS SOPS 45040 HAS SOUS 14824 HAS SOUPS 14824 WITH SCORE 14869.04
AT ITER 1736 NEW BEST:: SOT 116260 SOS 45003 HAS SOPS 45003 HAS SOUS 14805 HAS SOUPS 14805 WITH SCORE 14850.003
AT ITER 1743 NEW BEST:: SOT 116259 SOS 45002 HAS SOPS 45002 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14848.002
AT ITER 1789 NEW BEST:: SOT 116258 SOS 45001 HAS SOPS 45001 HAS SOUS 14801 HAS SOUPS 14801 WITH SCORE 14846.001
AT ITER 1791 NEW BEST:: SOT 116248 SOS 44974 HAS SOPS 44974 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14818.974
AT ITER 1833 NEW BEST:: SOT 116233 SOS 44958 HAS SOPS 44958 HAS SOUS 14758 HAS SOUPS 14758 WITH SCORE 14802.958
AT ITER 1845 NEW BEST:: SOT 116230 SOS 44945 HAS SOPS 44945 HAS SOUS 14745 HAS SOUPS 14745 WITH SCORE 14789.945
AT ITER 1855 NEW BEST:: SOT 116066 SOS 44776 HAS SOPS 44776 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14462.776
AT ITER 1872 NEW BEST:: SOT 116031 SOS 43279 HAS SOPS 43279 HAS SOUS 14352 HAS SOUPS 14352 WITH SCORE 14395.279
AT ITER 1893 NEW BEST:: SOT 116021 SOS 43269 HAS SOPS 43269 HAS SOUS 14283 HAS SOUPS 14283 WITH SCORE 14326.269
AT ITER 1928 NEW BEST:: SOT 116001 SOS 43249 HAS SOPS 43249 HAS SOUS 14278 HAS SOUPS 14278 WITH SCORE 14321.249
AT ITER 1937 NEW BEST:: SOT 116009 SOS 43257 HAS SOPS 43257 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14320.257
AT ITER 1954 NEW BEST:: SOT 115976 SOS 43239 HAS SOPS 43239 HAS SOUS 14259 HAS SOUPS 14259 WITH SCORE 14302.239
AT ITER 1983 NEW BEST:: SOT 115975 SOS 43110 HAS SOPS 43110 HAS SOUS 14255 HAS SOUPS 14255 WITH SCORE 14298.11
AT ITER 1985 NEW BEST:: SOT 115969 SOS 43098 HAS SOPS 43098 HAS SOUS 14251 HAS SOUPS 14251 WITH SCORE 14294.098
AT ITER 2006 NEW BEST:: SOT 115968 SOS 43097 HAS SOPS 43097 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14293.097
AT ITER 2032 NEW BEST:: SOT 115967 SOS 43096 HAS SOPS 43096 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14291.096
AT ITER 2034 NEW BEST:: SOT 115788 SOS 43159 HAS SOPS 43159 HAS SOUS 14125 HAS SOUPS 14125 WITH SCORE 14168.159
AT ITER 2036 NEW BEST:: SOT 115787 SOS 43158 HAS SOPS 43158 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14166.158
AT ITER 2044 NEW BEST:: SOT 115786 SOS 43157 HAS SOPS 43157 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14164.157
AT ITER 2065 NEW BEST:: SOT 115785 SOS 43156 HAS SOPS 43156 HAS SOUS 14119 HAS SOUPS 14119 WITH SCORE 14162.156
AT ITER 2107 NEW BEST:: SOT 115789 SOS 43160 HAS SOPS 43160 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14159.16
AT ITER 2113 NEW BEST:: SOT 115784 SOS 43150 HAS SOPS 43150 HAS SOUS 14106 HAS SOUPS 14106 WITH SCORE 14149.15
AT ITER 2121 NEW BEST:: SOT 115781 SOS 43155 HAS SOPS 43155 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14146.155
AT ITER 2133 NEW BEST:: SOT 115736 SOS 43110 HAS SOPS 43110 HAS SOUS 14056 HAS SOUPS 14056 WITH SCORE 14099.11
AT ITER 2195 NEW BEST:: SOT 115754 SOS 43096 HAS SOPS 43096 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14082.096
AT ITER 2217 NEW BEST:: SOT 115721 SOS 43063 HAS SOPS 43063 HAS SOUS 13973 HAS SOUPS 13973 WITH SCORE 14016.063
AT ITER 2219 NEW BEST:: SOT 115721 SOS 43062 HAS SOPS 43062 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 14015.062
AT ITER 2237 NEW BEST:: SOT 115721 SOS 42093 HAS SOPS 42093 HAS SOUS 13970 HAS SOUPS 13970 WITH SCORE 14012.093
AT ITER 2288 NEW BEST:: SOT 115702 SOS 42055 HAS SOPS 42055 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13974.055
AT ITER 2324 NEW BEST:: SOT 115688 SOS 42041 HAS SOPS 42041 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13974.041
AT ITER 2354 NEW BEST:: SOT 115668 SOS 42031 HAS SOPS 42031 HAS SOUS 13922 HAS SOUPS 13922 WITH SCORE 13964.031
AT ITER 2397 NEW BEST:: SOT 115666 SOS 42029 HAS SOPS 42029 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13960.029
AT ITER 2403 NEW BEST:: SOT 115665 SOS 42028 HAS SOPS 42028 HAS SOUS 13917 HAS SOUPS 13917 WITH SCORE 13959.028
AT ITER 2435 NEW BEST:: SOT 115601 SOS 41926 HAS SOPS 41926 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13856.926
AT ITER 2439 NEW BEST:: SOT 115581 SOS 41906 HAS SOPS 41906 HAS SOUS 13775 HAS SOUPS 13775 WITH SCORE 13816.906
AT ITER 2474 NEW BEST:: SOT 115526 SOS 41388 HAS SOPS 41388 HAS SOUS 13686 HAS SOUPS 13686 WITH SCORE 13727.388
AT ITER 2477 NEW BEST:: SOT 115521 SOS 41378 HAS SOPS 41378 HAS SOUS 13676 HAS SOUPS 13676 WITH SCORE 13717.378
AT ITER 2531 NEW BEST:: SOT 115520 SOS 41377 HAS SOPS 41377 HAS SOUS 13674 HAS SOUPS 13674 WITH SCORE 13715.377
AT ITER 2562 NEW BEST:: SOT 115517 SOS 41370 HAS SOPS 41370 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13708.37
AT ITER 2563 NEW BEST:: SOT 115516 SOS 41351 HAS SOPS 41351 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13689.351
AT ITER 2592 NEW BEST:: SOT 115533 SOS 41368 HAS SOPS 41368 HAS SOUS 13647 HAS SOUPS 13647 WITH SCORE 13688.368
AT ITER 2615 NEW BEST:: SOT 115511 SOS 41331 HAS SOPS 41331 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13655.331
AT ITER 2618 NEW BEST:: SOT 115472 SOS 41244 HAS SOPS 41244 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13568.244
AT ITER 2623 NEW BEST:: SOT 115438 SOS 41210 HAS SOPS 41210 HAS SOUS 13454 HAS SOUPS 13454 WITH SCORE 13495.21
AT ITER 2645 NEW BEST:: SOT 115427 SOS 41188 HAS SOPS 41188 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13473.188
AT ITER 2648 NEW BEST:: SOT 115359 SOS 41094 HAS SOPS 41094 HAS SOUS 13304 HAS SOUPS 13304 WITH SCORE 13345.094
AT ITER 2743 NEW BEST:: SOT 115330 SOS 41065 HAS SOPS 41065 HAS SOUS 13246 HAS SOUPS 13246 WITH SCORE 13287.065
AT ITER 2796 NEW BEST:: SOT 115321 SOS 41060 HAS SOPS 41060 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13282.06
AT ITER 2830 NEW BEST:: SOT 115279 SOS 41018 HAS SOPS 41018 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13240.018
AT ITER 2842 NEW BEST:: SOT 115278 SOS 41017 HAS SOPS 41017 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13239.017
AT ITER 2899 NEW BEST:: SOT 115274 SOS 41013 HAS SOPS 41013 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13235.013
AT ITER 2934 NEW BEST:: SOT 115259 SOS 40998 HAS SOPS 40998 HAS SOUS 13164 HAS SOUPS 13164 WITH SCORE 13204.998
AT ITER 3049 NEW BEST:: SOT 115248 SOS 40990 HAS SOPS 40990 HAS SOUS 13148 HAS SOUPS 13148 WITH SCORE 13188.99
AT ITER 3053 NEW BEST:: SOT 115236 SOS 40967 HAS SOPS 40967 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13174.967
AT ITER 3078 NEW BEST:: SOT 115230 SOS 40961 HAS SOPS 40961 HAS SOUS 13128 HAS SOUPS 13128 WITH SCORE 13168.961
AT ITER 3135 NEW BEST:: SOT 115203 SOS 40908 HAS SOPS 40908 HAS SOUS 13071 HAS SOUPS 13071 WITH SCORE 13111.908
AT ITER 3143 NEW BEST:: SOT 115202 SOS 40907 HAS SOPS 40907 HAS SOUS 13069 HAS SOUPS 13069 WITH SCORE 13109.907
AT ITER 3151 NEW BEST:: SOT 115221 SOS 40879 HAS SOPS 40879 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13091.879
AT ITER 3162 NEW BEST:: SOT 115220 SOS 40870 HAS SOPS 40870 HAS SOUS 13042 HAS SOUPS 13042 WITH SCORE 13082.87
AT ITER 3193 NEW BEST:: SOT 115215 SOS 40865 HAS SOPS 40865 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13072.865
AT ITER 3277 NEW BEST:: SOT 115202 SOS 40877 HAS SOPS 40877 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13046.877
AT ITER 3283 NEW BEST:: SOT 115174 SOS 40849 HAS SOPS 40849 HAS SOUS 12977 HAS SOUPS 12977 WITH SCORE 13017.849
AT ITER 3328 NEW BEST:: SOT 115160 SOS 40845 HAS SOPS 40845 HAS SOUS 12968 HAS SOUPS 12968 WITH SCORE 13008.845
AT ITER 3463 NEW BEST:: SOT 115159 SOS 40839 HAS SOPS 40839 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 13002.839
AT ITER 3468 NEW BEST:: SOT 115144 SOS 40824 HAS SOPS 40824 HAS SOUS 12904 HAS SOUPS 12904 WITH SCORE 12944.824
AT ITER 3474 NEW BEST:: SOT 115133 SOS 40813 HAS SOPS 40813 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12922.813
AT ITER 3483 NEW BEST:: SOT 115124 SOS 40345 HAS SOPS 40345 HAS SOUS 12873 HAS SOUPS 12873 WITH SCORE 12913.345
AT ITER 3491 NEW BEST:: SOT 115124 SOS 38745 HAS SOPS 38745 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12885.745
AT ITER 3494 NEW BEST:: SOT 115138 SOS 38852 HAS SOPS 38852 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12855.852
AT ITER 3545 NEW BEST:: SOT 115134 SOS 38848 HAS SOPS 38848 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12847.848
AT ITER 3605 NEW BEST:: SOT 115184 SOS 38846 HAS SOPS 38846 HAS SOUS 12807 HAS SOUPS 12807 WITH SCORE 12845.846
AT ITER 3635 NEW BEST:: SOT 115174 SOS 38836 HAS SOPS 38836 HAS SOUS 12787 HAS SOUPS 12787 WITH SCORE 12825.836
AT ITER 3647 NEW BEST:: SOT 115170 SOS 38802 HAS SOPS 38802 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12791.802
AT ITER 3663 NEW BEST:: SOT 115179 SOS 38804 HAS SOPS 38804 HAS SOUS 12729 HAS SOUPS 12729 WITH SCORE 12767.804
AT ITER 3685 NEW BEST:: SOT 115148 SOS 38650 HAS SOPS 38650 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12691.65
AT ITER 3741 NEW BEST:: SOT 115126 SOS 38562 HAS SOPS 38562 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12647.562
AT ITER 3808 NEW BEST:: SOT 115125 SOS 38260 HAS SOPS 38260 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12645.26
AT ITER 3847 NEW BEST:: SOT 115124 SOS 38370 HAS SOPS 38370 HAS SOUS 12550 HAS SOUPS 12550 WITH SCORE 12588.37
AT ITER 3905 NEW BEST:: SOT 115123 SOS 38369 HAS SOPS 38369 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12586.369
AT ITER 3933 NEW BEST:: SOT 115129 SOS 38363 HAS SOPS 38363 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12586.363
AT ITER 3935 NEW BEST:: SOT 115128 SOS 38333 HAS SOPS 38333 HAS SOUS 12541 HAS SOUPS 12541 WITH SCORE 12579.333
AT ITER 3966 NEW BEST:: SOT 115096 SOS 38308 HAS SOPS 38308 HAS SOUS 12539 HAS SOUPS 12539 WITH SCORE 12577.308
AT ITER 4005 NEW BEST:: SOT 115096 SOS 36807 HAS SOPS 36807 HAS SOUS 12539 HAS SOUPS 12539 WITH SCORE 12575.807
AT ITER 4006 NEW BEST:: SOT 115054 SOS 36765 HAS SOPS 36765 HAS SOUS 12497 HAS SOUPS 12497 WITH SCORE 12533.765
AT ITER 4045 NEW BEST:: SOT 115042 SOS 36753 HAS SOPS 36753 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12509.753
AT ITER 4114 NEW BEST:: SOT 115041 SOS 36752 HAS SOPS 36752 HAS SOUS 12471 HAS SOUPS 12471 WITH SCORE 12507.752
AT ITER 4166 NEW BEST:: SOT 115025 SOS 36764 HAS SOPS 36764 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12491.764
AT ITER 4191 NEW BEST:: SOT 115038 SOS 36760 HAS SOPS 36760 HAS SOUS 12438 HAS SOUPS 12438 WITH SCORE 12474.76
AT ITER 4194 NEW BEST:: SOT 115037 SOS 36759 HAS SOPS 36759 HAS SOUS 12436 HAS SOUPS 12436 WITH SCORE 12472.759
AT ITER 4263 NEW BEST:: SOT 115020 SOS 36737 HAS SOPS 36737 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12449.737
AT ITER 4276 NEW BEST:: SOT 115015 SOS 36732 HAS SOPS 36732 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12439.732
AT ITER 4331 NEW BEST:: SOT 115015 SOS 36732 HAS SOPS 36732 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12424.732
AT ITER 4411 NEW BEST:: SOT 115009 SOS 36725 HAS SOPS 36725 HAS SOUS 12375 HAS SOUPS 12375 WITH SCORE 12411.725
AT ITER 4419 NEW BEST:: SOT 115001 SOS 36732 HAS SOPS 36732 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12392.732
AT ITER 4442 NEW BEST:: SOT 114986 SOS 36681 HAS SOPS 36681 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12344.681
AT ITER 4455 NEW BEST:: SOT 114934 SOS 36629 HAS SOPS 36629 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12240.629
AT ITER 4470 NEW BEST:: SOT 114919 SOS 36614 HAS SOPS 36614 HAS SOUS 12199 HAS SOUPS 12199 WITH SCORE 12235.614
AT ITER 4494 NEW BEST:: SOT 114918 SOS 36613 HAS SOPS 36613 HAS SOUS 12197 HAS SOUPS 12197 WITH SCORE 12233.613
AT ITER 4505 NEW BEST:: SOT 114918 SOS 36612 HAS SOPS 36612 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12232.612
AT ITER 4522 NEW BEST:: SOT 114896 SOS 36527 HAS SOPS 36527 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12230.527
AT ITER 4544 NEW BEST:: SOT 114882 SOS 36513 HAS SOPS 36513 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12202.513
AT ITER 4576 NEW BEST:: SOT 114878 SOS 36504 HAS SOPS 36504 HAS SOUS 12157 HAS SOUPS 12157 WITH SCORE 12193.504
AT ITER 4620 NEW BEST:: SOT 114866 SOS 36605 HAS SOPS 36605 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12171.605
AT ITER 4674 NEW BEST:: SOT 114865 SOS 36604 HAS SOPS 36604 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12169.604
AT ITER 4715 NEW BEST:: SOT 114863 SOS 36600 HAS SOPS 36600 HAS SOUS 12129 HAS SOUPS 12129 WITH SCORE 12165.6
AT ITER 4747 NEW BEST:: SOT 114857 SOS 36594 HAS SOPS 36594 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12153.594
AT ITER 4763 NEW BEST:: SOT 114812 SOS 36567 HAS SOPS 36567 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12081.567
AT ITER 4793 NEW BEST:: SOT 114786 SOS 36525 HAS SOPS 36525 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12045.525
AT ITER 4812 NEW BEST:: SOT 114772 SOS 36481 HAS SOPS 36481 HAS SOUS 11965 HAS SOUPS 11965 WITH SCORE 12001.481
AT ITER 4856 NEW BEST:: SOT 114741 SOS 36450 HAS SOPS 36450 HAS SOUS 11903 HAS SOUPS 11903 WITH SCORE 11939.45
AT ITER 4864 NEW BEST:: SOT 114746 SOS 36443 HAS SOPS 36443 HAS SOUS 11902 HAS SOUPS 11902 WITH SCORE 11938.443
AT ITER 4904 NEW BEST:: SOT 114746 SOS 34907 HAS SOPS 34907 HAS SOUS 11902 HAS SOUPS 11902 WITH SCORE 11936.907
AT ITER 4906 NEW BEST:: SOT 114715 SOS 34903 HAS SOPS 34903 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11892.903
AT ITER 4930 NEW BEST:: SOT 114712 SOS 34900 HAS SOPS 34900 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11889.9
AT ITER 4940 NEW BEST:: SOT 114712 SOS 34899 HAS SOPS 34899 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11888.899
AT ITER 4946 NEW BEST:: SOT 114708 SOS 34869 HAS SOPS 34869 HAS SOUS 11850 HAS SOUPS 11850 WITH SCORE 11884.869
AT ITER 5077 NEW BEST:: SOT 114677 SOS 34838 HAS SOPS 34838 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11822.838
AT ITER 5122 NEW BEST:: SOT 114675 SOS 34828 HAS SOPS 34828 HAS SOUS 11778 HAS SOUPS 11778 WITH SCORE 11812.828
AT ITER 5142 NEW BEST:: SOT 114671 SOS 34824 HAS SOPS 34824 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11804.824
AT ITER 5148 NEW BEST:: SOT 114671 SOS 34820 HAS SOPS 34820 HAS SOUS 11769 HAS SOUPS 11769 WITH SCORE 11803.82
AT ITER 5215 NEW BEST:: SOT 114672 SOS 34822 HAS SOPS 34822 HAS SOUS 11748 HAS SOUPS 11748 WITH SCORE 11782.822
AT ITER 5217 NEW BEST:: SOT 114653 SOS 34809 HAS SOPS 34809 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11753.809
AT ITER 5221 NEW BEST:: SOT 114653 SOS 34808 HAS SOPS 34808 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11753.808
AT ITER 5242 NEW BEST:: SOT 114652 SOS 34805 HAS SOPS 34805 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11752.805
AT ITER 5285 NEW BEST:: SOT 114654 SOS 34780 HAS SOPS 34780 HAS SOUS 11693 HAS SOUPS 11693 WITH SCORE 11727.78
AT ITER 5287 NEW BEST:: SOT 114652 SOS 34766 HAS SOPS 34766 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11713.766
AT ITER 5304 NEW BEST:: SOT 114660 SOS 34722 HAS SOPS 34722 HAS SOUS 11672 HAS SOUPS 11672 WITH SCORE 11706.722
AT ITER 5325 NEW BEST:: SOT 114659 SOS 34721 HAS SOPS 34721 HAS SOUS 11670 HAS SOUPS 11670 WITH SCORE 11704.721
AT ITER 5331 NEW BEST:: SOT 114654 SOS 34712 HAS SOPS 34712 HAS SOUS 11662 HAS SOUPS 11662 WITH SCORE 11696.712
AT ITER 5407 NEW BEST:: SOT 114626 SOS 34672 HAS SOPS 34672 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11656.672
AT ITER 5444 NEW BEST:: SOT 114626 SOS 34670 HAS SOPS 34670 HAS SOUS 11621 HAS SOUPS 11621 WITH SCORE 11655.67
AT ITER 5453 NEW BEST:: SOT 114607 SOS 34576 HAS SOPS 34576 HAS SOUS 11575 HAS SOUPS 11575 WITH SCORE 11609.576
AT ITER 5471 NEW BEST:: SOT 114545 SOS 34507 HAS SOPS 34507 HAS SOUS 11477 HAS SOUPS 11477 WITH SCORE 11511.507
AT ITER 5513 NEW BEST:: SOT 114500 SOS 34473 HAS SOPS 34473 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11451.473
AT ITER 5556 NEW BEST:: SOT 114478 SOS 34429 HAS SOPS 34429 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11429.429
AT ITER 5576 NEW BEST:: SOT 114479 SOS 34394 HAS SOPS 34394 HAS SOUS 11372 HAS SOUPS 11372 WITH SCORE 11406.394
AT ITER 5598 NEW BEST:: SOT 114479 SOS 34380 HAS SOPS 34380 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11392.38
AT ITER 5599 NEW BEST:: SOT 114466 SOS 34367 HAS SOPS 34367 HAS SOUS 11332 HAS SOUPS 11332 WITH SCORE 11366.367
AT ITER 5602 NEW BEST:: SOT 114451 SOS 34352 HAS SOPS 34352 HAS SOUS 11302 HAS SOUPS 11302 WITH SCORE 11336.352
AT ITER 5700 NEW BEST:: SOT 114443 SOS 33568 HAS SOPS 33568 HAS SOUS 11294 HAS SOUPS 11294 WITH SCORE 11327.568
AT ITER 5733 NEW BEST:: SOT 114436 SOS 33561 HAS SOPS 33561 HAS SOUS 11287 HAS SOUPS 11287 WITH SCORE 11320.561
AT ITER 5736 NEW BEST:: SOT 114432 SOS 33548 HAS SOPS 33548 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11311.548
AT ITER 5771 NEW BEST:: SOT 114420 SOS 33536 HAS SOPS 33536 HAS SOUS 11254 HAS SOUPS 11254 WITH SCORE 11287.536
AT ITER 5783 NEW BEST:: SOT 114370 SOS 33459 HAS SOPS 33459 HAS SOUS 11198 HAS SOUPS 11198 WITH SCORE 11231.459
AT ITER 5811 NEW BEST:: SOT 114368 SOS 33308 HAS SOPS 33308 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11227.308
AT ITER 5874 NEW BEST:: SOT 114361 SOS 33301 HAS SOPS 33301 HAS SOUS 11180 HAS SOUPS 11180 WITH SCORE 11213.301
AT ITER 5908 NEW BEST:: SOT 114360 SOS 33300 HAS SOPS 33300 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11211.3
AT ITER 5942 NEW BEST:: SOT 114346 SOS 33286 HAS SOPS 33286 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11183.286
AT ITER 6030 NEW BEST:: SOT 114345 SOS 33285 HAS SOPS 33285 HAS SOUS 11148 HAS SOUPS 11148 WITH SCORE 11181.285
AT ITER 6104 NEW BEST:: SOT 114337 SOS 33277 HAS SOPS 33277 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11165.277
AT ITER 6141 NEW BEST:: SOT 114337 SOS 33277 HAS SOPS 33277 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11160.277
AT ITER 6237 NEW BEST:: SOT 114336 SOS 33276 HAS SOPS 33276 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11158.276
AT ITER 6271 NEW BEST:: SOT 114336 SOS 33274 HAS SOPS 33274 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11158.274
AT ITER 6305 NEW BEST:: SOT 114325 SOS 33262 HAS SOPS 33262 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11146.262
AT ITER 6351 NEW BEST:: SOT 114296 SOS 33227 HAS SOPS 33227 HAS SOUS 11086 HAS SOUPS 11086 WITH SCORE 11119.227
AT ITER 6438 NEW BEST:: SOT 114282 SOS 33213 HAS SOPS 33213 HAS SOUS 11058 HAS SOUPS 11058 WITH SCORE 11091.213
AT ITER 6472 NEW BEST:: SOT 114237 SOS 33084 HAS SOPS 33084 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11052.084
AT ITER 6543 NEW BEST:: SOT 114232 SOS 33079 HAS SOPS 33079 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11042.079
AT ITER 6576 NEW BEST:: SOT 114231 SOS 33078 HAS SOPS 33078 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11040.078
AT ITER 6579 NEW BEST:: SOT 114225 SOS 33077 HAS SOPS 33077 HAS SOUS 11006 HAS SOUPS 11006 WITH SCORE 11039.077
AT ITER 6663 NEW BEST:: SOT 114229 SOS 33052 HAS SOPS 33052 HAS SOUS 10988 HAS SOUPS 10988 WITH SCORE 11021.052
AT ITER 6665 NEW BEST:: SOT 114221 SOS 33051 HAS SOPS 33051 HAS SOUS 10963 HAS SOUPS 10963 WITH SCORE 10996.051
AT ITER 6730 NEW BEST:: SOT 114220 SOS 33050 HAS SOPS 33050 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10994.05
AT ITER 6736 NEW BEST:: SOT 114218 SOS 33048 HAS SOPS 33048 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10992.048
AT ITER 6831 NEW BEST:: SOT 114210 SOS 32998 HAS SOPS 32998 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10941.998
AT ITER 6884 NEW BEST:: SOT 114187 SOS 32945 HAS SOPS 32945 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10902.945
AT ITER 6916 NEW BEST:: SOT 114177 SOS 32902 HAS SOPS 32902 HAS SOUS 10806 HAS SOUPS 10806 WITH SCORE 10838.902
AT ITER 6936 NEW BEST:: SOT 114166 SOS 32890 HAS SOPS 32890 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10826.89
AT ITER 7025 NEW BEST:: SOT 114160 SOS 32866 HAS SOPS 32866 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10826.866
AT ITER 7068 NEW BEST:: SOT 114159 SOS 32865 HAS SOPS 32865 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10824.865
AT ITER 7104 NEW BEST:: SOT 114154 SOS 32860 HAS SOPS 32860 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10814.86
AT ITER 7178 NEW BEST:: SOT 114153 SOS 32857 HAS SOPS 32857 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10814.857
AT ITER 7199 NEW BEST:: SOT 114140 SOS 32841 HAS SOPS 32841 HAS SOUS 10766 HAS SOUPS 10766 WITH SCORE 10798.841
AT ITER 7203 NEW BEST:: SOT 114134 SOS 32835 HAS SOPS 32835 HAS SOUS 10754 HAS SOUPS 10754 WITH SCORE 10786.835
AT ITER 7278 NEW BEST:: SOT 114123 SOS 32824 HAS SOPS 32824 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10764.824
AT ITER 7307 NEW BEST:: SOT 114115 SOS 32792 HAS SOPS 32792 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10740.792
AT ITER 7354 NEW BEST:: SOT 114114 SOS 32791 HAS SOPS 32791 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10738.791
AT ITER 7424 NEW BEST:: SOT 114131 SOS 32808 HAS SOPS 32808 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10737.808
AT ITER 7432 NEW BEST:: SOT 114129 SOS 32805 HAS SOPS 32805 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10733.805
AT ITER 7455 NEW BEST:: SOT 114122 SOS 32798 HAS SOPS 32798 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10719.798
AT ITER 7494 NEW BEST:: SOT 114121 SOS 32797 HAS SOPS 32797 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10717.797
AT ITER 7529 NEW BEST:: SOT 114121 SOS 32792 HAS SOPS 32792 HAS SOUS 10680 HAS SOUPS 10680 WITH SCORE 10712.792
AT ITER 7576 NEW BEST:: SOT 114102 SOS 32779 HAS SOPS 32779 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10651.779
AT ITER 7637 NEW BEST:: SOT 114101 SOS 32778 HAS SOPS 32778 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10649.778
AT ITER 7684 NEW BEST:: SOT 114099 SOS 32774 HAS SOPS 32774 HAS SOUS 10613 HAS SOUPS 10613 WITH SCORE 10645.774
AT ITER 7720 NEW BEST:: SOT 114091 SOS 32762 HAS SOPS 32762 HAS SOUS 10600 HAS SOUPS 10600 WITH SCORE 10632.762
AT ITER 7768 NEW BEST:: SOT 114078 SOS 32749 HAS SOPS 32749 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10601.749
AT ITER 7769 NEW BEST:: SOT 114077 SOS 32748 HAS SOPS 32748 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10599.748
AT ITER 7822 NEW BEST:: SOT 114075 SOS 32746 HAS SOPS 32746 HAS SOUS 10563 HAS SOUPS 10563 WITH SCORE 10595.746
AT ITER 7828 NEW BEST:: SOT 114075 SOS 32678 HAS SOPS 32678 HAS SOUS 10546 HAS SOUPS 10546 WITH SCORE 10578.678
AT ITER 7836 NEW BEST:: SOT 114063 SOS 32658 HAS SOPS 32658 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10562.658
AT ITER 7882 NEW BEST:: SOT 114059 SOS 32652 HAS SOPS 32652 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10556.652
AT ITER 7951 NEW BEST:: SOT 114060 SOS 32651 HAS SOPS 32651 HAS SOUS 10521 HAS SOUPS 10521 WITH SCORE 10553.651
AT ITER 7969 NEW BEST:: SOT 114058 SOS 32646 HAS SOPS 32646 HAS SOUS 10516 HAS SOUPS 10516 WITH SCORE 10548.646
AT ITER 7996 NEW BEST:: SOT 114050 SOS 32624 HAS SOPS 32624 HAS SOUS 10500 HAS SOUPS 10500 WITH SCORE 10532.624
AT ITER 8052 NEW BEST:: SOT 114037 SOS 32624 HAS SOPS 32624 HAS SOUS 10474 HAS SOUPS 10474 WITH SCORE 10506.624
AT ITER 8247 NEW BEST:: SOT 114038 SOS 32714 HAS SOPS 32714 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10503.714
AT ITER 8268 NEW BEST:: SOT 114036 SOS 32712 HAS SOPS 32712 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10501.712
AT ITER 8276 NEW BEST:: SOT 114024 SOS 32700 HAS SOPS 32700 HAS SOUS 10445 HAS SOUPS 10445 WITH SCORE 10477.7
AT ITER 8325 NEW BEST:: SOT 114024 SOS 32689 HAS SOPS 32689 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10466.689
AT ITER 8338 NEW BEST:: SOT 114024 SOS 32685 HAS SOPS 32685 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10462.685
AT ITER 8382 NEW BEST:: SOT 114020 SOS 32675 HAS SOPS 32675 HAS SOUS 10420 HAS SOUPS 10420 WITH SCORE 10452.675
AT ITER 8400 NEW BEST:: SOT 114019 SOS 32674 HAS SOPS 32674 HAS SOUS 10418 HAS SOUPS 10418 WITH SCORE 10450.674
AT ITER 8462 NEW BEST:: SOT 113977 SOS 32632 HAS SOPS 32632 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10366.632
AT ITER 8479 NEW BEST:: SOT 113974 SOS 32629 HAS SOPS 32629 HAS SOUS 10331 HAS SOUPS 10331 WITH SCORE 10363.629
AT ITER 8502 NEW BEST:: SOT 113973 SOS 32628 HAS SOPS 32628 HAS SOUS 10330 HAS SOUPS 10330 WITH SCORE 10362.628
AT ITER 8505 NEW BEST:: SOT 113951 SOS 32644 HAS SOPS 32644 HAS SOUS 10329 HAS SOUPS 10329 WITH SCORE 10361.644
AT ITER 8550 NEW BEST:: SOT 113949 SOS 32642 HAS SOPS 32642 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10357.642
AT ITER 8599 NEW BEST:: SOT 113947 SOS 32640 HAS SOPS 32640 HAS SOUS 10321 HAS SOUPS 10321 WITH SCORE 10353.64
AT ITER 8626 NEW BEST:: SOT 113946 SOS 32639 HAS SOPS 32639 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10351.639
AT ITER 8700 NEW BEST:: SOT 113958 SOS 32638 HAS SOPS 32638 HAS SOUS 10318 HAS SOUPS 10318 WITH SCORE 10350.638
AT ITER 8719 NEW BEST:: SOT 113956 SOS 32636 HAS SOPS 32636 HAS SOUS 10290 HAS SOUPS 10290 WITH SCORE 10322.636
AT ITER 8725 NEW BEST:: SOT 113953 SOS 32633 HAS SOPS 32633 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10316.633
AT ITER 8741 NEW BEST:: SOT 113947 SOS 32627 HAS SOPS 32627 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10304.627
AT ITER 8746 NEW BEST:: SOT 113933 SOS 32618 HAS SOPS 32618 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10295.618
AT ITER 8785 NEW BEST:: SOT 113914 SOS 32602 HAS SOPS 32602 HAS SOUS 10254 HAS SOUPS 10254 WITH SCORE 10286.602
AT ITER 8896 NEW BEST:: SOT 113914 SOS 32599 HAS SOPS 32599 HAS SOUS 10254 HAS SOUPS 10254 WITH SCORE 10286.599
AT ITER 8927 NEW BEST:: SOT 113922 SOS 32598 HAS SOPS 32598 HAS SOUS 10253 HAS SOUPS 10253 WITH SCORE 10285.598
AT ITER 8934 NEW BEST:: SOT 113915 SOS 32539 HAS SOPS 32539 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10278.539
AT ITER 8974 NEW BEST:: SOT 113909 SOS 32523 HAS SOPS 32523 HAS SOUS 10230 HAS SOUPS 10230 WITH SCORE 10262.523
AT ITER 8983 NEW BEST:: SOT 113893 SOS 32509 HAS SOPS 32509 HAS SOUS 10199 HAS SOUPS 10199 WITH SCORE 10231.509
AT ITER 8984 NEW BEST:: SOT 113878 SOS 32508 HAS SOPS 32508 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10230.508
AT ITER 9039 NEW BEST:: SOT 113876 SOS 32504 HAS SOPS 32504 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10228.504
AT ITER 9126 NEW BEST:: SOT 113866 SOS 32494 HAS SOPS 32494 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10208.494
AT ITER 9159 NEW BEST:: SOT 113866 SOS 32503 HAS SOPS 32503 HAS SOUS 10167 HAS SOUPS 10167 WITH SCORE 10199.503
AT ITER 9192 NEW BEST:: SOT 113846 SOS 32472 HAS SOPS 32472 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10168.472
AT ITER 9246 NEW BEST:: SOT 113838 SOS 32455 HAS SOPS 32455 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10157.455
AT ITER 9299 NEW BEST:: SOT 113774 SOS 32422 HAS SOPS 32422 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10112.422
AT ITER 9354 NEW BEST:: SOT 113771 SOS 32389 HAS SOPS 32389 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10082.389
AT ITER 9421 NEW BEST:: SOT 113774 SOS 32401 HAS SOPS 32401 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10079.401
AT ITER 9482 NEW BEST:: SOT 113780 SOS 32407 HAS SOPS 32407 HAS SOUS 10040 HAS SOUPS 10040 WITH SCORE 10072.407
AT ITER 9581 NEW BEST:: SOT 113765 SOS 32346 HAS SOPS 32346 HAS SOUS 10024 HAS SOUPS 10024 WITH SCORE 10056.346
AT ITER 9599 NEW BEST:: SOT 113776 SOS 32344 HAS SOPS 32344 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10049.344
AT ITER 9638 NEW BEST:: SOT 113780 SOS 32336 HAS SOPS 32336 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10041.336
AT ITER 9772 NEW BEST:: SOT 113775 SOS 32334 HAS SOPS 32334 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10039.334
AT ITER 9837 NEW BEST:: SOT 113752 SOS 32220 HAS SOPS 32220 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9999.22
AT ITER 9975 NEW BEST:: SOT 113751 SOS 32219 HAS SOPS 32219 HAS SOUS 9965 HAS SOUPS 9965 WITH SCORE 9997.219
AT ITER 9984 NEW BEST:: SOT 113751 SOS 32217 HAS SOPS 32217 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9995.217
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3340716 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123000 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-50b"
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-50b, 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-167814484300488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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