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.r267-smll-167863541600240.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 NoC3x3-PT-1B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541600240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 7.3K Feb 26 09:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 09:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 09:52 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 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 09:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 164K Feb 26 09:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 09:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 362K Mar 5 18:23 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 1678808723674

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=NoC3x3-PT-1B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 15:45:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 15:45:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 15:45:26] [INFO ] Load time of PNML (sax parser for PT used): 263 ms
[2023-03-14 15:45:26] [INFO ] Transformed 1416 places.
[2023-03-14 15:45:26] [INFO ] Transformed 1640 transitions.
[2023-03-14 15:45:26] [INFO ] Found NUPN structural information;
[2023-03-14 15:45:26] [INFO ] Parsed PT model containing 1416 places and 1640 transitions and 3639 arcs in 434 ms.
[2023-03-14 15:45:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1416 places, 1640 transitions and 3639 arcs took 37 ms.
Total runtime 535 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 1B
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: 1416 places, 1640 transitions, 3639 arcs.
AT ITER 0 NEW BEST:: SOT 1215765 SOS 124406 HAS SOPS 124406 HAS SOUS 116123 HAS SOUPS 116123 WITH SCORE 116247.406
AT ITER 31 NEW BEST:: SOT 1215650 SOS 124314 HAS SOPS 124314 HAS SOUS 116031 HAS SOUPS 116031 WITH SCORE 116155.314
AT ITER 49 NEW BEST:: SOT 1215649 SOS 124312 HAS SOPS 124312 HAS SOUS 116029 HAS SOUPS 116029 WITH SCORE 116153.312
AT ITER 74 NEW BEST:: SOT 1215575 SOS 124554 HAS SOPS 124554 HAS SOUS 116006 HAS SOUPS 116006 WITH SCORE 116130.554
AT ITER 86 NEW BEST:: SOT 1215575 SOS 124553 HAS SOPS 124553 HAS SOUS 116005 HAS SOUPS 116005 WITH SCORE 116129.553
AT ITER 117 NEW BEST:: SOT 1215574 SOS 124551 HAS SOPS 124551 HAS SOUS 116003 HAS SOUPS 116003 WITH SCORE 116127.551
AT ITER 234 NEW BEST:: SOT 1215574 SOS 124535 HAS SOPS 124535 HAS SOUS 115987 HAS SOUPS 115987 WITH SCORE 116111.535
AT ITER 270 NEW BEST:: SOT 1215573 SOS 124533 HAS SOPS 124533 HAS SOUS 115985 HAS SOUPS 115985 WITH SCORE 116109.533
AT ITER 275 NEW BEST:: SOT 1215551 SOS 124533 HAS SOPS 124533 HAS SOUS 115963 HAS SOUPS 115963 WITH SCORE 116087.533
AT ITER 312 NEW BEST:: SOT 1215413 SOS 124349 HAS SOPS 124349 HAS SOUS 115779 HAS SOUPS 115779 WITH SCORE 115903.349
AT ITER 351 NEW BEST:: SOT 1215338 SOS 124474 HAS SOPS 124474 HAS SOUS 115759 HAS SOUPS 115759 WITH SCORE 115883.474
AT ITER 370 NEW BEST:: SOT 1215016 SOS 124565 HAS SOPS 124565 HAS SOUS 115527 HAS SOUPS 115527 WITH SCORE 115651.565
AT ITER 379 NEW BEST:: SOT 1214715 SOS 124488 HAS SOPS 124488 HAS SOUS 115253 HAS SOUPS 115253 WITH SCORE 115377.488
AT ITER 387 NEW BEST:: SOT 1214714 SOS 124473 HAS SOPS 124473 HAS SOUS 115238 HAS SOUPS 115238 WITH SCORE 115362.473
AT ITER 452 NEW BEST:: SOT 1214713 SOS 124471 HAS SOPS 124471 HAS SOUS 115236 HAS SOUPS 115236 WITH SCORE 115360.471
AT ITER 455 NEW BEST:: SOT 1214458 SOS 124311 HAS SOPS 124311 HAS SOUS 115051 HAS SOUPS 115051 WITH SCORE 115175.311
AT ITER 463 NEW BEST:: SOT 1214454 SOS 124307 HAS SOPS 124307 HAS SOUS 115047 HAS SOUPS 115047 WITH SCORE 115171.307
AT ITER 472 NEW BEST:: SOT 1214314 SOS 123928 HAS SOPS 123928 HAS SOUS 114668 HAS SOUPS 114668 WITH SCORE 114791.928
AT ITER 519 NEW BEST:: SOT 1214031 SOS 123717 HAS SOPS 123717 HAS SOUS 114455 HAS SOUPS 114455 WITH SCORE 114578.717
AT ITER 520 NEW BEST:: SOT 1213928 SOS 123648 HAS SOPS 123648 HAS SOUS 114383 HAS SOUPS 114383 WITH SCORE 114506.648
AT ITER 535 NEW BEST:: SOT 1213928 SOS 123647 HAS SOPS 123647 HAS SOUS 114382 HAS SOUPS 114382 WITH SCORE 114505.647
AT ITER 578 NEW BEST:: SOT 1213927 SOS 123645 HAS SOPS 123645 HAS SOUS 114380 HAS SOUPS 114380 WITH SCORE 114503.645
AT ITER 605 NEW BEST:: SOT 1213881 SOS 123613 HAS SOPS 123613 HAS SOUS 114348 HAS SOUPS 114348 WITH SCORE 114471.613
AT ITER 659 NEW BEST:: SOT 1213882 SOS 123476 HAS SOPS 123476 HAS SOUS 114211 HAS SOUPS 114211 WITH SCORE 114334.476
AT ITER 715 NEW BEST:: SOT 1213818 SOS 123412 HAS SOPS 123412 HAS SOUS 114147 HAS SOUPS 114147 WITH SCORE 114270.412
AT ITER 731 NEW BEST:: SOT 1213814 SOS 123408 HAS SOPS 123408 HAS SOUS 114143 HAS SOUPS 114143 WITH SCORE 114266.408
AT ITER 814 NEW BEST:: SOT 1213744 SOS 123359 HAS SOPS 123359 HAS SOUS 114095 HAS SOUPS 114095 WITH SCORE 114218.359
AT ITER 869 NEW BEST:: SOT 1213743 SOS 123348 HAS SOPS 123348 HAS SOUS 114084 HAS SOUPS 114084 WITH SCORE 114207.348
AT ITER 1064 NEW BEST:: SOT 1213724 SOS 123310 HAS SOPS 123310 HAS SOUS 114046 HAS SOUPS 114046 WITH SCORE 114169.31
AT ITER 1069 NEW BEST:: SOT 1213713 SOS 123288 HAS SOPS 123288 HAS SOUS 114024 HAS SOUPS 114024 WITH SCORE 114147.288
AT ITER 1126 NEW BEST:: SOT 1213499 SOS 123160 HAS SOPS 123160 HAS SOUS 113836 HAS SOUPS 113836 WITH SCORE 113959.16
AT ITER 1149 NEW BEST:: SOT 1213423 SOS 123085 HAS SOPS 123085 HAS SOUS 113760 HAS SOUPS 113760 WITH SCORE 113883.085
AT ITER 1159 NEW BEST:: SOT 1213297 SOS 123053 HAS SOPS 123053 HAS SOUS 113642 HAS SOUPS 113642 WITH SCORE 113765.053
AT ITER 1168 NEW BEST:: SOT 1213296 SOS 123051 HAS SOPS 123051 HAS SOUS 113640 HAS SOUPS 113640 WITH SCORE 113763.051
AT ITER 1192 NEW BEST:: SOT 1213296 SOS 123051 HAS SOPS 123051 HAS SOUS 113637 HAS SOUPS 113637 WITH SCORE 113760.051
AT ITER 1203 NEW BEST:: SOT 1213166 SOS 123180 HAS SOPS 123180 HAS SOUS 113636 HAS SOUPS 113636 WITH SCORE 113759.18
AT ITER 1211 NEW BEST:: SOT 1213121 SOS 123090 HAS SOPS 123090 HAS SOUS 113591 HAS SOUPS 113591 WITH SCORE 113714.09
AT ITER 1229 NEW BEST:: SOT 1213132 SOS 123174 HAS SOPS 123174 HAS SOUS 113581 HAS SOUPS 113581 WITH SCORE 113704.174
AT ITER 1233 NEW BEST:: SOT 1213131 SOS 123172 HAS SOPS 123172 HAS SOUS 113579 HAS SOUPS 113579 WITH SCORE 113702.172
AT ITER 1255 NEW BEST:: SOT 1213082 SOS 123074 HAS SOPS 123074 HAS SOUS 113481 HAS SOUPS 113481 WITH SCORE 113604.074
AT ITER 1266 NEW BEST:: SOT 1213111 SOS 123018 HAS SOPS 123018 HAS SOUS 113453 HAS SOUPS 113453 WITH SCORE 113576.018
AT ITER 1309 NEW BEST:: SOT 1213100 SOS 123006 HAS SOPS 123006 HAS SOUS 113448 HAS SOUPS 113448 WITH SCORE 113571.006
AT ITER 1319 NEW BEST:: SOT 1213030 SOS 122922 HAS SOPS 122922 HAS SOUS 113364 HAS SOUPS 113364 WITH SCORE 113486.922
AT ITER 1348 NEW BEST:: SOT 1213016 SOS 122880 HAS SOPS 122880 HAS SOUS 113336 HAS SOUPS 113336 WITH SCORE 113458.88
AT ITER 1410 NEW BEST:: SOT 1213030 SOS 122849 HAS SOPS 122849 HAS SOUS 113291 HAS SOUPS 113291 WITH SCORE 113413.849
AT ITER 1411 NEW BEST:: SOT 1212829 SOS 122752 HAS SOPS 122752 HAS SOUS 113085 HAS SOUPS 113085 WITH SCORE 113207.752
AT ITER 1422 NEW BEST:: SOT 1212736 SOS 122659 HAS SOPS 122659 HAS SOUS 112992 HAS SOUPS 112992 WITH SCORE 113114.659
AT ITER 1431 NEW BEST:: SOT 1212733 SOS 122656 HAS SOPS 122656 HAS SOUS 112987 HAS SOUPS 112987 WITH SCORE 113109.656
AT ITER 1432 NEW BEST:: SOT 1212671 SOS 122601 HAS SOPS 122601 HAS SOUS 112932 HAS SOUPS 112932 WITH SCORE 113054.601
AT ITER 1482 NEW BEST:: SOT 1212642 SOS 122543 HAS SOPS 122543 HAS SOUS 112860 HAS SOUPS 112860 WITH SCORE 112982.543
AT ITER 1492 NEW BEST:: SOT 1212592 SOS 122522 HAS SOPS 122522 HAS SOUS 112809 HAS SOUPS 112809 WITH SCORE 112931.522
AT ITER 1493 NEW BEST:: SOT 1212578 SOS 122494 HAS SOPS 122494 HAS SOUS 112781 HAS SOUPS 112781 WITH SCORE 112903.494
AT ITER 1629 NEW BEST:: SOT 1212572 SOS 122505 HAS SOPS 122505 HAS SOUS 112775 HAS SOUPS 112775 WITH SCORE 112897.505
AT ITER 1647 NEW BEST:: SOT 1212466 SOS 122713 HAS SOPS 122713 HAS SOUS 112717 HAS SOUPS 112717 WITH SCORE 112839.713
AT ITER 1686 NEW BEST:: SOT 1212417 SOS 122664 HAS SOPS 122664 HAS SOUS 112668 HAS SOUPS 112668 WITH SCORE 112790.664
AT ITER 1704 NEW BEST:: SOT 1212413 SOS 122656 HAS SOPS 122656 HAS SOUS 112664 HAS SOUPS 112664 WITH SCORE 112786.656
AT ITER 1709 NEW BEST:: SOT 1212412 SOS 122655 HAS SOPS 122655 HAS SOUS 112663 HAS SOUPS 112663 WITH SCORE 112785.655
AT ITER 1725 NEW BEST:: SOT 1212056 SOS 122873 HAS SOPS 122873 HAS SOUS 112328 HAS SOUPS 112328 WITH SCORE 112450.873
AT ITER 1779 NEW BEST:: SOT 1211982 SOS 122917 HAS SOPS 122917 HAS SOUS 112307 HAS SOUPS 112307 WITH SCORE 112429.917
AT ITER 1782 NEW BEST:: SOT 1211893 SOS 122894 HAS SOPS 122894 HAS SOUS 112218 HAS SOUPS 112218 WITH SCORE 112340.894
AT ITER 1783 NEW BEST:: SOT 1211857 SOS 122858 HAS SOPS 122858 HAS SOUS 112182 HAS SOUPS 112182 WITH SCORE 112304.858
AT ITER 1816 NEW BEST:: SOT 1211830 SOS 122836 HAS SOPS 122836 HAS SOUS 112155 HAS SOUPS 112155 WITH SCORE 112277.836
AT ITER 1823 NEW BEST:: SOT 1211811 SOS 122839 HAS SOPS 122839 HAS SOUS 112136 HAS SOUPS 112136 WITH SCORE 112258.839
AT ITER 1888 NEW BEST:: SOT 1211793 SOS 122841 HAS SOPS 122841 HAS SOUS 112098 HAS SOUPS 112098 WITH SCORE 112220.841
AT ITER 1951 NEW BEST:: SOT 1211775 SOS 122715 HAS SOPS 122715 HAS SOUS 112062 HAS SOUPS 112062 WITH SCORE 112184.715
AT ITER 1966 NEW BEST:: SOT 1211733 SOS 122686 HAS SOPS 122686 HAS SOUS 112020 HAS SOUPS 112020 WITH SCORE 112142.686
AT ITER 1978 NEW BEST:: SOT 1211681 SOS 122582 HAS SOPS 122582 HAS SOUS 111916 HAS SOUPS 111916 WITH SCORE 112038.582
AT ITER 2100 NEW BEST:: SOT 1211584 SOS 122388 HAS SOPS 122388 HAS SOUS 111661 HAS SOUPS 111661 WITH SCORE 111783.388
AT ITER 2109 NEW BEST:: SOT 1211504 SOS 122302 HAS SOPS 122302 HAS SOUS 111584 HAS SOUPS 111584 WITH SCORE 111706.302
AT ITER 2112 NEW BEST:: SOT 1211306 SOS 122551 HAS SOPS 122551 HAS SOUS 111475 HAS SOUPS 111475 WITH SCORE 111597.551
AT ITER 2230 NEW BEST:: SOT 1211256 SOS 122451 HAS SOPS 122451 HAS SOUS 111425 HAS SOUPS 111425 WITH SCORE 111547.451
AT ITER 2260 NEW BEST:: SOT 1211192 SOS 122387 HAS SOPS 122387 HAS SOUS 111361 HAS SOUPS 111361 WITH SCORE 111483.387
AT ITER 2272 NEW BEST:: SOT 1211191 SOS 122380 HAS SOPS 122380 HAS SOUS 111360 HAS SOUPS 111360 WITH SCORE 111482.38
AT ITER 2278 NEW BEST:: SOT 1211026 SOS 122215 HAS SOPS 122215 HAS SOUS 111195 HAS SOUPS 111195 WITH SCORE 111317.215
AT ITER 2313 NEW BEST:: SOT 1211052 SOS 122325 HAS SOPS 122325 HAS SOUS 111148 HAS SOUPS 111148 WITH SCORE 111270.325
AT ITER 2340 NEW BEST:: SOT 1211040 SOS 122321 HAS SOPS 122321 HAS SOUS 111140 HAS SOUPS 111140 WITH SCORE 111262.321
AT ITER 2382 NEW BEST:: SOT 1211039 SOS 122319 HAS SOPS 122319 HAS SOUS 111138 HAS SOUPS 111138 WITH SCORE 111260.319
AT ITER 2398 NEW BEST:: SOT 1210959 SOS 122239 HAS SOPS 122239 HAS SOUS 111058 HAS SOUPS 111058 WITH SCORE 111180.239
AT ITER 2403 NEW BEST:: SOT 1210958 SOS 122237 HAS SOPS 122237 HAS SOUS 111056 HAS SOUPS 111056 WITH SCORE 111178.237
AT ITER 2420 NEW BEST:: SOT 1210957 SOS 122235 HAS SOPS 122235 HAS SOUS 111054 HAS SOUPS 111054 WITH SCORE 111176.235
AT ITER 2426 NEW BEST:: SOT 1210956 SOS 122233 HAS SOPS 122233 HAS SOUS 111052 HAS SOUPS 111052 WITH SCORE 111174.233
AT ITER 2442 NEW BEST:: SOT 1210965 SOS 122195 HAS SOPS 122195 HAS SOUS 111037 HAS SOUPS 111037 WITH SCORE 111159.195
AT ITER 2473 NEW BEST:: SOT 1210829 SOS 122151 HAS SOPS 122151 HAS SOUS 110943 HAS SOUPS 110943 WITH SCORE 111065.151
AT ITER 2481 NEW BEST:: SOT 1210829 SOS 122151 HAS SOPS 122151 HAS SOUS 110941 HAS SOUPS 110941 WITH SCORE 111063.151
AT ITER 2482 NEW BEST:: SOT 1210709 SOS 122027 HAS SOPS 122027 HAS SOUS 110821 HAS SOUPS 110821 WITH SCORE 110943.027
AT ITER 2485 NEW BEST:: SOT 1210708 SOS 122025 HAS SOPS 122025 HAS SOUS 110819 HAS SOUPS 110819 WITH SCORE 110941.025
AT ITER 2509 NEW BEST:: SOT 1210689 SOS 121987 HAS SOPS 121987 HAS SOUS 110811 HAS SOUPS 110811 WITH SCORE 110932.987
AT ITER 2529 NEW BEST:: SOT 1210630 SOS 122036 HAS SOPS 122036 HAS SOUS 110777 HAS SOUPS 110777 WITH SCORE 110899.036
AT ITER 2553 NEW BEST:: SOT 1210645 SOS 121984 HAS SOPS 121984 HAS SOUS 110623 HAS SOUPS 110623 WITH SCORE 110744.984
AT ITER 2557 NEW BEST:: SOT 1210618 SOS 122009 HAS SOPS 122009 HAS SOUS 110569 HAS SOUPS 110569 WITH SCORE 110691.009
AT ITER 2563 NEW BEST:: SOT 1210615 SOS 122003 HAS SOPS 122003 HAS SOUS 110569 HAS SOUPS 110569 WITH SCORE 110691.003
AT ITER 2574 NEW BEST:: SOT 1210615 SOS 121992 HAS SOPS 121992 HAS SOUS 110558 HAS SOUPS 110558 WITH SCORE 110679.992
AT ITER 2653 NEW BEST:: SOT 1210600 SOS 122034 HAS SOPS 122034 HAS SOUS 110511 HAS SOUPS 110511 WITH SCORE 110633.034
AT ITER 2654 NEW BEST:: SOT 1210324 SOS 122142 HAS SOPS 122142 HAS SOUS 110371 HAS SOUPS 110371 WITH SCORE 110493.142
AT ITER 2658 NEW BEST:: SOT 1210310 SOS 122128 HAS SOPS 122128 HAS SOUS 110343 HAS SOUPS 110343 WITH SCORE 110465.128
AT ITER 2660 NEW BEST:: SOT 1210309 SOS 122126 HAS SOPS 122126 HAS SOUS 110342 HAS SOUPS 110342 WITH SCORE 110464.126
AT ITER 2668 NEW BEST:: SOT 1210282 SOS 122099 HAS SOPS 122099 HAS SOUS 110315 HAS SOUPS 110315 WITH SCORE 110437.099
AT ITER 2736 NEW BEST:: SOT 1210282 SOS 122093 HAS SOPS 122093 HAS SOUS 110312 HAS SOUPS 110312 WITH SCORE 110434.093
AT ITER 2790 NEW BEST:: SOT 1210180 SOS 122279 HAS SOPS 122279 HAS SOUS 110282 HAS SOUPS 110282 WITH SCORE 110404.279
AT ITER 2793 NEW BEST:: SOT 1210146 SOS 122221 HAS SOPS 122221 HAS SOUS 110224 HAS SOUPS 110224 WITH SCORE 110346.221
AT ITER 2798 NEW BEST:: SOT 1210146 SOS 122221 HAS SOPS 122221 HAS SOUS 110159 HAS SOUPS 110159 WITH SCORE 110281.221
AT ITER 2809 NEW BEST:: SOT 1210052 SOS 122127 HAS SOPS 122127 HAS SOUS 110065 HAS SOUPS 110065 WITH SCORE 110187.127
AT ITER 2829 NEW BEST:: SOT 1210011 SOS 122045 HAS SOPS 122045 HAS SOUS 109983 HAS SOUPS 109983 WITH SCORE 110105.045
AT ITER 2844 NEW BEST:: SOT 1209899 SOS 121961 HAS SOPS 121961 HAS SOUS 109871 HAS SOUPS 109871 WITH SCORE 109992.961
AT ITER 2883 NEW BEST:: SOT 1209898 SOS 121959 HAS SOPS 121959 HAS SOUS 109869 HAS SOUPS 109869 WITH SCORE 109990.959
AT ITER 2884 NEW BEST:: SOT 1209980 SOS 122035 HAS SOPS 122035 HAS SOUS 109863 HAS SOUPS 109863 WITH SCORE 109985.035
AT ITER 2921 NEW BEST:: SOT 1209948 SOS 122055 HAS SOPS 122055 HAS SOUS 109831 HAS SOUPS 109831 WITH SCORE 109953.055
AT ITER 2932 NEW BEST:: SOT 1209675 SOS 122124 HAS SOPS 122124 HAS SOUS 109580 HAS SOUPS 109580 WITH SCORE 109702.124
AT ITER 2937 NEW BEST:: SOT 1209657 SOS 122105 HAS SOPS 122105 HAS SOUS 109561 HAS SOUPS 109561 WITH SCORE 109683.105
AT ITER 2965 NEW BEST:: SOT 1209656 SOS 122103 HAS SOPS 122103 HAS SOUS 109559 HAS SOUPS 109559 WITH SCORE 109681.103
AT ITER 2969 NEW BEST:: SOT 1209655 SOS 122101 HAS SOPS 122101 HAS SOUS 109557 HAS SOUPS 109557 WITH SCORE 109679.101
AT ITER 2982 NEW BEST:: SOT 1209522 SOS 121968 HAS SOPS 121968 HAS SOUS 109424 HAS SOUPS 109424 WITH SCORE 109545.968
AT ITER 2984 NEW BEST:: SOT 1209368 SOS 122610 HAS SOPS 122610 HAS SOUS 109396 HAS SOUPS 109396 WITH SCORE 109518.61
AT ITER 2997 NEW BEST:: SOT 1209283 SOS 122100 HAS SOPS 122100 HAS SOUS 109226 HAS SOUPS 109226 WITH SCORE 109348.1
AT ITER 3012 NEW BEST:: SOT 1209104 SOS 122148 HAS SOPS 122148 HAS SOUS 109121 HAS SOUPS 109121 WITH SCORE 109243.148
AT ITER 3033 NEW BEST:: SOT 1209104 SOS 122266 HAS SOPS 122266 HAS SOUS 109064 HAS SOUPS 109064 WITH SCORE 109186.266
AT ITER 3095 NEW BEST:: SOT 1209082 SOS 122288 HAS SOPS 122288 HAS SOUS 109053 HAS SOUPS 109053 WITH SCORE 109175.288
AT ITER 3122 NEW BEST:: SOT 1209134 SOS 122370 HAS SOPS 122370 HAS SOUS 108990 HAS SOUPS 108990 WITH SCORE 109112.37
AT ITER 3158 NEW BEST:: SOT 1208970 SOS 122220 HAS SOPS 122220 HAS SOUS 108826 HAS SOUPS 108826 WITH SCORE 108948.22
AT ITER 3202 NEW BEST:: SOT 1208948 SOS 122176 HAS SOPS 122176 HAS SOUS 108782 HAS SOUPS 108782 WITH SCORE 108904.176
AT ITER 3205 NEW BEST:: SOT 1208783 SOS 122311 HAS SOPS 122311 HAS SOUS 108672 HAS SOUPS 108672 WITH SCORE 108794.311
AT ITER 3213 NEW BEST:: SOT 1208781 SOS 122307 HAS SOPS 122307 HAS SOUS 108655 HAS SOUPS 108655 WITH SCORE 108777.307
AT ITER 3215 NEW BEST:: SOT 1208775 SOS 122310 HAS SOPS 122310 HAS SOUS 108648 HAS SOUPS 108648 WITH SCORE 108770.31
AT ITER 3235 NEW BEST:: SOT 1208747 SOS 122294 HAS SOPS 122294 HAS SOUS 108620 HAS SOUPS 108620 WITH SCORE 108742.294
AT ITER 3239 NEW BEST:: SOT 1208651 SOS 122262 HAS SOPS 122262 HAS SOUS 108524 HAS SOUPS 108524 WITH SCORE 108646.262
AT ITER 3264 NEW BEST:: SOT 1208647 SOS 122254 HAS SOPS 122254 HAS SOUS 108519 HAS SOUPS 108519 WITH SCORE 108641.254
AT ITER 3276 NEW BEST:: SOT 1208542 SOS 122114 HAS SOPS 122114 HAS SOUS 108379 HAS SOUPS 108379 WITH SCORE 108501.114
AT ITER 3319 NEW BEST:: SOT 1208558 SOS 122395 HAS SOPS 122395 HAS SOUS 108378 HAS SOUPS 108378 WITH SCORE 108500.395
AT ITER 3352 NEW BEST:: SOT 1208558 SOS 122306 HAS SOPS 122306 HAS SOUS 108289 HAS SOUPS 108289 WITH SCORE 108411.306
AT ITER 3357 NEW BEST:: SOT 1208526 SOS 122242 HAS SOPS 122242 HAS SOUS 108225 HAS SOUPS 108225 WITH SCORE 108347.242
AT ITER 3397 NEW BEST:: SOT 1208502 SOS 122194 HAS SOPS 122194 HAS SOUS 108177 HAS SOUPS 108177 WITH SCORE 108299.194
AT ITER 3405 NEW BEST:: SOT 1208275 SOS 122130 HAS SOPS 122130 HAS SOUS 108028 HAS SOUPS 108028 WITH SCORE 108150.13
AT ITER 3435 NEW BEST:: SOT 1208240 SOS 122060 HAS SOPS 122060 HAS SOUS 107993 HAS SOUPS 107993 WITH SCORE 108115.06
AT ITER 3486 NEW BEST:: SOT 1208160 SOS 122040 HAS SOPS 122040 HAS SOUS 107915 HAS SOUPS 107915 WITH SCORE 108037.04
AT ITER 3495 NEW BEST:: SOT 1208068 SOS 121991 HAS SOPS 121991 HAS SOUS 107823 HAS SOUPS 107823 WITH SCORE 107944.991
AT ITER 3506 NEW BEST:: SOT 1208045 SOS 121984 HAS SOPS 121984 HAS SOUS 107816 HAS SOUPS 107816 WITH SCORE 107937.984
AT ITER 3520 NEW BEST:: SOT 1208032 SOS 121958 HAS SOPS 121958 HAS SOUS 107790 HAS SOUPS 107790 WITH SCORE 107911.958
AT ITER 3533 NEW BEST:: SOT 1207976 SOS 121958 HAS SOPS 121958 HAS SOUS 107734 HAS SOUPS 107734 WITH SCORE 107855.958
AT ITER 3628 NEW BEST:: SOT 1207848 SOS 121912 HAS SOPS 121912 HAS SOUS 107599 HAS SOUPS 107599 WITH SCORE 107720.912
AT ITER 3658 NEW BEST:: SOT 1207730 SOS 121814 HAS SOPS 121814 HAS SOUS 107455 HAS SOUPS 107455 WITH SCORE 107576.814
AT ITER 3659 NEW BEST:: SOT 1207723 SOS 121800 HAS SOPS 121800 HAS SOUS 107441 HAS SOUPS 107441 WITH SCORE 107562.8
AT ITER 3664 NEW BEST:: SOT 1207303 SOS 121610 HAS SOPS 121610 HAS SOUS 107029 HAS SOUPS 107029 WITH SCORE 107150.61
AT ITER 3701 NEW BEST:: SOT 1207279 SOS 121562 HAS SOPS 121562 HAS SOUS 106981 HAS SOUPS 106981 WITH SCORE 107102.562
AT ITER 3718 NEW BEST:: SOT 1207202 SOS 121529 HAS SOPS 121529 HAS SOUS 106948 HAS SOUPS 106948 WITH SCORE 107069.529
AT ITER 3794 NEW BEST:: SOT 1207120 SOS 121365 HAS SOPS 121365 HAS SOUS 106707 HAS SOUPS 106707 WITH SCORE 106828.365
AT ITER 3894 NEW BEST:: SOT 1207095 SOS 121315 HAS SOPS 121315 HAS SOUS 106682 HAS SOUPS 106682 WITH SCORE 106803.315
AT ITER 3975 NEW BEST:: SOT 1207113 SOS 121351 HAS SOPS 121351 HAS SOUS 106668 HAS SOUPS 106668 WITH SCORE 106789.351
AT ITER 4090 NEW BEST:: SOT 1207111 SOS 121347 HAS SOPS 121347 HAS SOUS 106666 HAS SOUPS 106666 WITH SCORE 106787.347
AT ITER 4115 NEW BEST:: SOT 1206973 SOS 121645 HAS SOPS 121645 HAS SOUS 106580 HAS SOUPS 106580 WITH SCORE 106701.645
AT ITER 4117 NEW BEST:: SOT 1206972 SOS 121643 HAS SOPS 121643 HAS SOUS 106578 HAS SOUPS 106578 WITH SCORE 106699.643
AT ITER 4130 NEW BEST:: SOT 1206962 SOS 121623 HAS SOPS 121623 HAS SOUS 106568 HAS SOUPS 106568 WITH SCORE 106689.623
AT ITER 4236 NEW BEST:: SOT 1206959 SOS 121617 HAS SOPS 121617 HAS SOUS 106562 HAS SOUPS 106562 WITH SCORE 106683.617
AT ITER 4263 NEW BEST:: SOT 1206931 SOS 121538 HAS SOPS 121538 HAS SOUS 106544 HAS SOUPS 106544 WITH SCORE 106665.538
AT ITER 4268 NEW BEST:: SOT 1206858 SOS 121822 HAS SOPS 121822 HAS SOUS 106478 HAS SOUPS 106478 WITH SCORE 106599.822
AT ITER 4274 NEW BEST:: SOT 1206858 SOS 121761 HAS SOPS 121761 HAS SOUS 106477 HAS SOUPS 106477 WITH SCORE 106598.761
AT ITER 4285 NEW BEST:: SOT 1206850 SOS 121745 HAS SOPS 121745 HAS SOUS 106469 HAS SOUPS 106469 WITH SCORE 106590.745
AT ITER 4376 NEW BEST:: SOT 1206905 SOS 121855 HAS SOPS 121855 HAS SOUS 106438 HAS SOUPS 106438 WITH SCORE 106559.855
AT ITER 4379 NEW BEST:: SOT 1206905 SOS 121855 HAS SOPS 121855 HAS SOUS 106407 HAS SOUPS 106407 WITH SCORE 106528.855
AT ITER 4418 NEW BEST:: SOT 1206807 SOS 121813 HAS SOPS 121813 HAS SOUS 106351 HAS SOUPS 106351 WITH SCORE 106472.813
AT ITER 4419 NEW BEST:: SOT 1206846 SOS 121808 HAS SOPS 121808 HAS SOUS 106346 HAS SOUPS 106346 WITH SCORE 106467.808
AT ITER 4426 NEW BEST:: SOT 1206699 SOS 121931 HAS SOPS 121931 HAS SOUS 106208 HAS SOUPS 106208 WITH SCORE 106329.931
AT ITER 4428 NEW BEST:: SOT 1206697 SOS 121927 HAS SOPS 121927 HAS SOUS 106196 HAS SOUPS 106196 WITH SCORE 106317.927
AT ITER 4492 NEW BEST:: SOT 1206729 SOS 121991 HAS SOPS 121991 HAS SOUS 106180 HAS SOUPS 106180 WITH SCORE 106301.991
AT ITER 4509 NEW BEST:: SOT 1206571 SOS 121882 HAS SOPS 121882 HAS SOUS 106042 HAS SOUPS 106042 WITH SCORE 106163.882
AT ITER 4545 NEW BEST:: SOT 1206570 SOS 121880 HAS SOPS 121880 HAS SOUS 106040 HAS SOUPS 106040 WITH SCORE 106161.88
AT ITER 4547 NEW BEST:: SOT 1206337 SOS 122290 HAS SOPS 122290 HAS SOUS 105961 HAS SOUPS 105961 WITH SCORE 106083.29
AT ITER 4662 NEW BEST:: SOT 1206337 SOS 122290 HAS SOPS 122290 HAS SOUS 105955 HAS SOUPS 105955 WITH SCORE 106077.29
AT ITER 4669 NEW BEST:: SOT 1206360 SOS 122194 HAS SOPS 122194 HAS SOUS 105890 HAS SOUPS 105890 WITH SCORE 106012.194
AT ITER 4720 NEW BEST:: SOT 1206066 SOS 121986 HAS SOPS 121986 HAS SOUS 105596 HAS SOUPS 105596 WITH SCORE 105717.986
AT ITER 4753 NEW BEST:: SOT 1206020 SOS 121951 HAS SOPS 121951 HAS SOUS 105561 HAS SOUPS 105561 WITH SCORE 105682.951
AT ITER 4788 NEW BEST:: SOT 1205882 SOS 121710 HAS SOPS 121710 HAS SOUS 105397 HAS SOUPS 105397 WITH SCORE 105518.71
AT ITER 4790 NEW BEST:: SOT 1205804 SOS 122834 HAS SOPS 122834 HAS SOUS 105370 HAS SOUPS 105370 WITH SCORE 105492.834
AT ITER 4866 NEW BEST:: SOT 1205806 SOS 122819 HAS SOPS 122819 HAS SOUS 105350 HAS SOUPS 105350 WITH SCORE 105472.819
AT ITER 4890 NEW BEST:: SOT 1205736 SOS 122799 HAS SOPS 122799 HAS SOUS 105279 HAS SOUPS 105279 WITH SCORE 105401.799
AT ITER 4907 NEW BEST:: SOT 1205705 SOS 122768 HAS SOPS 122768 HAS SOUS 105248 HAS SOUPS 105248 WITH SCORE 105370.768
AT ITER 4908 NEW BEST:: SOT 1205705 SOS 122767 HAS SOPS 122767 HAS SOUS 105247 HAS SOUPS 105247 WITH SCORE 105369.767
AT ITER 4957 NEW BEST:: SOT 1205705 SOS 122766 HAS SOPS 122766 HAS SOUS 105246 HAS SOUPS 105246 WITH SCORE 105368.766
AT ITER 4990 NEW BEST:: SOT 1205701 SOS 122758 HAS SOPS 122758 HAS SOUS 105241 HAS SOUPS 105241 WITH SCORE 105363.758
AT ITER 5037 NEW BEST:: SOT 1205663 SOS 122657 HAS SOPS 122657 HAS SOUS 105140 HAS SOUPS 105140 WITH SCORE 105262.657
AT ITER 5044 NEW BEST:: SOT 1205625 SOS 122581 HAS SOPS 122581 HAS SOUS 105064 HAS SOUPS 105064 WITH SCORE 105186.581
AT ITER 5056 NEW BEST:: SOT 1205570 SOS 122526 HAS SOPS 122526 HAS SOUS 105009 HAS SOUPS 105009 WITH SCORE 105131.526
AT ITER 5067 NEW BEST:: SOT 1205563 SOS 122512 HAS SOPS 122512 HAS SOUS 104940 HAS SOUPS 104940 WITH SCORE 105062.512
AT ITER 5079 NEW BEST:: SOT 1205520 SOS 122468 HAS SOPS 122468 HAS SOUS 104896 HAS SOUPS 104896 WITH SCORE 105018.468
AT ITER 5109 NEW BEST:: SOT 1205397 SOS 122485 HAS SOPS 122485 HAS SOUS 104843 HAS SOUPS 104843 WITH SCORE 104965.485
AT ITER 5135 NEW BEST:: SOT 1205392 SOS 122431 HAS SOPS 122431 HAS SOUS 104789 HAS SOUPS 104789 WITH SCORE 104911.431
AT ITER 5200 NEW BEST:: SOT 1205374 SOS 122395 HAS SOPS 122395 HAS SOUS 104753 HAS SOUPS 104753 WITH SCORE 104875.395
AT ITER 5202 NEW BEST:: SOT 1205374 SOS 122336 HAS SOPS 122336 HAS SOUS 104694 HAS SOUPS 104694 WITH SCORE 104816.336
AT ITER 5271 NEW BEST:: SOT 1205357 SOS 122319 HAS SOPS 122319 HAS SOUS 104677 HAS SOUPS 104677 WITH SCORE 104799.319
AT ITER 5319 NEW BEST:: SOT 1205312 SOS 122274 HAS SOPS 122274 HAS SOUS 104632 HAS SOUPS 104632 WITH SCORE 104754.274
AT ITER 5371 NEW BEST:: SOT 1205338 SOS 122326 HAS SOPS 122326 HAS SOUS 104602 HAS SOUPS 104602 WITH SCORE 104724.326
AT ITER 5452 NEW BEST:: SOT 1205331 SOS 122347 HAS SOPS 122347 HAS SOUS 104595 HAS SOUPS 104595 WITH SCORE 104717.347
AT ITER 5468 NEW BEST:: SOT 1205288 SOS 122261 HAS SOPS 122261 HAS SOUS 104509 HAS SOUPS 104509 WITH SCORE 104631.261
AT ITER 5514 NEW BEST:: SOT 1205287 SOS 122259 HAS SOPS 122259 HAS SOUS 104507 HAS SOUPS 104507 WITH SCORE 104629.259
AT ITER 5536 NEW BEST:: SOT 1205255 SOS 122226 HAS SOPS 122226 HAS SOUS 104474 HAS SOUPS 104474 WITH SCORE 104596.226
AT ITER 5576 NEW BEST:: SOT 1205003 SOS 122552 HAS SOPS 122552 HAS SOUS 104296 HAS SOUPS 104296 WITH SCORE 104418.552
AT ITER 5641 NEW BEST:: SOT 1205041 SOS 122588 HAS SOPS 122588 HAS SOUS 104295 HAS SOUPS 104295 WITH SCORE 104417.588
AT ITER 5647 NEW BEST:: SOT 1205029 SOS 122564 HAS SOPS 122564 HAS SOUS 104283 HAS SOUPS 104283 WITH SCORE 104405.564
AT ITER 5650 NEW BEST:: SOT 1205067 SOS 122564 HAS SOPS 122564 HAS SOUS 104245 HAS SOUPS 104245 WITH SCORE 104367.564
AT ITER 5665 NEW BEST:: SOT 1205067 SOS 122542 HAS SOPS 122542 HAS SOUS 104223 HAS SOUPS 104223 WITH SCORE 104345.542
AT ITER 5689 NEW BEST:: SOT 1205062 SOS 122532 HAS SOPS 122532 HAS SOUS 104213 HAS SOUPS 104213 WITH SCORE 104335.532
AT ITER 5715 NEW BEST:: SOT 1205047 SOS 122502 HAS SOPS 122502 HAS SOUS 104183 HAS SOUPS 104183 WITH SCORE 104305.502
AT ITER 5747 NEW BEST:: SOT 1205001 SOS 122410 HAS SOPS 122410 HAS SOUS 104091 HAS SOUPS 104091 WITH SCORE 104213.41
AT ITER 5763 NEW BEST:: SOT 1204965 SOS 122374 HAS SOPS 122374 HAS SOUS 104037 HAS SOUPS 104037 WITH SCORE 104159.374
AT ITER 5834 NEW BEST:: SOT 1204965 SOS 122321 HAS SOPS 122321 HAS SOUS 103984 HAS SOUPS 103984 WITH SCORE 104106.321
AT ITER 5857 NEW BEST:: SOT 1204777 SOS 122133 HAS SOPS 122133 HAS SOUS 103796 HAS SOUPS 103796 WITH SCORE 103918.133
AT ITER 5862 NEW BEST:: SOT 1204742 SOS 122063 HAS SOPS 122063 HAS SOUS 103726 HAS SOUPS 103726 WITH SCORE 103848.063
AT ITER 5872 NEW BEST:: SOT 1204646 SOS 122045 HAS SOPS 122045 HAS SOUS 103684 HAS SOUPS 103684 WITH SCORE 103806.045
AT ITER 5960 NEW BEST:: SOT 1204403 SOS 121721 HAS SOPS 121721 HAS SOUS 103360 HAS SOUPS 103360 WITH SCORE 103481.721
AT ITER 5987 NEW BEST:: SOT 1204403 SOS 121736 HAS SOPS 121736 HAS SOUS 103336 HAS SOUPS 103336 WITH SCORE 103457.736
AT ITER 6000 NEW BEST:: SOT 1203966 SOS 121541 HAS SOPS 121541 HAS SOUS 102915 HAS SOUPS 102915 WITH SCORE 103036.541
AT ITER 6012 NEW BEST:: SOT 1203962 SOS 121536 HAS SOPS 121536 HAS SOUS 102910 HAS SOUPS 102910 WITH SCORE 103031.536
AT ITER 6044 NEW BEST:: SOT 1203835 SOS 121421 HAS SOPS 121421 HAS SOUS 102783 HAS SOUPS 102783 WITH SCORE 102904.421
AT ITER 6106 NEW BEST:: SOT 1203722 SOS 122440 HAS SOPS 122440 HAS SOUS 102754 HAS SOUPS 102754 WITH SCORE 102876.44
AT ITER 6112 NEW BEST:: SOT 1203718 SOS 122432 HAS SOPS 122432 HAS SOUS 102586 HAS SOUPS 102586 WITH SCORE 102708.432
AT ITER 6164 NEW BEST:: SOT 1203750 SOS 122496 HAS SOPS 122496 HAS SOUS 102506 HAS SOUPS 102506 WITH SCORE 102628.496
AT ITER 6209 NEW BEST:: SOT 1203721 SOS 122113 HAS SOPS 122113 HAS SOUS 102476 HAS SOUPS 102476 WITH SCORE 102598.113
AT ITER 6233 NEW BEST:: SOT 1203720 SOS 122067 HAS SOPS 122067 HAS SOUS 102471 HAS SOUPS 102471 WITH SCORE 102593.067
AT ITER 6247 NEW BEST:: SOT 1203681 SOS 121989 HAS SOPS 121989 HAS SOUS 102393 HAS SOUPS 102393 WITH SCORE 102514.989
AT ITER 6259 NEW BEST:: SOT 1203672 SOS 121971 HAS SOPS 121971 HAS SOUS 102384 HAS SOUPS 102384 WITH SCORE 102505.971
AT ITER 6261 NEW BEST:: SOT 1203668 SOS 121963 HAS SOPS 121963 HAS SOUS 102376 HAS SOUPS 102376 WITH SCORE 102497.963
AT ITER 6328 NEW BEST:: SOT 1203658 SOS 121943 HAS SOPS 121943 HAS SOUS 102356 HAS SOUPS 102356 WITH SCORE 102477.943
AT ITER 6367 NEW BEST:: SOT 1203654 SOS 121935 HAS SOPS 121935 HAS SOUS 102317 HAS SOUPS 102317 WITH SCORE 102438.935
AT ITER 6369 NEW BEST:: SOT 1203483 SOS 122200 HAS SOPS 122200 HAS SOUS 102269 HAS SOUPS 102269 WITH SCORE 102391.2
AT ITER 6412 NEW BEST:: SOT 1203482 SOS 122198 HAS SOPS 122198 HAS SOUS 102231 HAS SOUPS 102231 WITH SCORE 102353.198
AT ITER 6446 NEW BEST:: SOT 1203537 SOS 122143 HAS SOPS 122143 HAS SOUS 102146 HAS SOUPS 102146 WITH SCORE 102268.143
AT ITER 6464 NEW BEST:: SOT 1203598 SOS 122099 HAS SOPS 122099 HAS SOUS 102138 HAS SOUPS 102138 WITH SCORE 102260.099
AT ITER 6663 NEW BEST:: SOT 1203558 SOS 122067 HAS SOPS 122067 HAS SOUS 102106 HAS SOUPS 102106 WITH SCORE 102228.067
AT ITER 6688 NEW BEST:: SOT 1203417 SOS 122315 HAS SOPS 122315 HAS SOUS 102069 HAS SOUPS 102069 WITH SCORE 102191.315
AT ITER 6710 NEW BEST:: SOT 1203253 SOS 121987 HAS SOPS 121987 HAS SOUS 101741 HAS SOUPS 101741 WITH SCORE 101862.987
AT ITER 6732 NEW BEST:: SOT 1203231 SOS 122283 HAS SOPS 122283 HAS SOUS 101719 HAS SOUPS 101719 WITH SCORE 101841.283
AT ITER 6750 NEW BEST:: SOT 1203244 SOS 122155 HAS SOPS 122155 HAS SOUS 101661 HAS SOUPS 101661 WITH SCORE 101783.155
AT ITER 6772 NEW BEST:: SOT 1203122 SOS 122033 HAS SOPS 122033 HAS SOUS 101539 HAS SOUPS 101539 WITH SCORE 101661.033
AT ITER 6773 NEW BEST:: SOT 1203099 SOS 122032 HAS SOPS 122032 HAS SOUS 101538 HAS SOUPS 101538 WITH SCORE 101660.032
AT ITER 6793 NEW BEST:: SOT 1203074 SOS 122013 HAS SOPS 122013 HAS SOUS 101519 HAS SOUPS 101519 WITH SCORE 101641.013
AT ITER 6808 NEW BEST:: SOT 1203039 SOS 122002 HAS SOPS 122002 HAS SOUS 101496 HAS SOUPS 101496 WITH SCORE 101618.002
AT ITER 6811 NEW BEST:: SOT 1202927 SOS 121963 HAS SOPS 121963 HAS SOUS 101420 HAS SOUPS 101420 WITH SCORE 101541.963
AT ITER 6882 NEW BEST:: SOT 1202834 SOS 121905 HAS SOPS 121905 HAS SOUS 101250 HAS SOUPS 101250 WITH SCORE 101371.905
AT ITER 6894 NEW BEST:: SOT 1202798 SOS 121917 HAS SOPS 121917 HAS SOUS 101245 HAS SOUPS 101245 WITH SCORE 101366.917
AT ITER 6908 NEW BEST:: SOT 1202776 SOS 121874 HAS SOPS 121874 HAS SOUS 101222 HAS SOUPS 101222 WITH SCORE 101343.874
AT ITER 6931 NEW BEST:: SOT 1202644 SOS 121856 HAS SOPS 121856 HAS SOUS 101132 HAS SOUPS 101132 WITH SCORE 101253.856
AT ITER 6953 NEW BEST:: SOT 1202622 SOS 121834 HAS SOPS 121834 HAS SOUS 101132 HAS SOUPS 101132 WITH SCORE 101253.834
AT ITER 6990 NEW BEST:: SOT 1202576 SOS 121812 HAS SOPS 121812 HAS SOUS 101110 HAS SOUPS 101110 WITH SCORE 101231.812
AT ITER 7049 NEW BEST:: SOT 1202296 SOS 121942 HAS SOPS 121942 HAS SOUS 100832 HAS SOUPS 100832 WITH SCORE 100953.942
AT ITER 7113 NEW BEST:: SOT 1202265 SOS 121880 HAS SOPS 121880 HAS SOUS 100770 HAS SOUPS 100770 WITH SCORE 100891.88
AT ITER 7151 NEW BEST:: SOT 1202221 SOS 121874 HAS SOPS 121874 HAS SOUS 100764 HAS SOUPS 100764 WITH SCORE 100885.874
AT ITER 7162 NEW BEST:: SOT 1202167 SOS 121766 HAS SOPS 121766 HAS SOUS 100656 HAS SOUPS 100656 WITH SCORE 100777.766
AT ITER 7246 NEW BEST:: SOT 1202167 SOS 121712 HAS SOPS 121712 HAS SOUS 100656 HAS SOUPS 100656 WITH SCORE 100777.712
AT ITER 7364 NEW BEST:: SOT 1202167 SOS 121680 HAS SOPS 121680 HAS SOUS 100624 HAS SOUPS 100624 WITH SCORE 100745.68
AT ITER 7475 NEW BEST:: SOT 1202140 SOS 121646 HAS SOPS 121646 HAS SOUS 100590 HAS SOUPS 100590 WITH SCORE 100711.646
AT ITER 7505 NEW BEST:: SOT 1202123 SOS 121632 HAS SOPS 121632 HAS SOUS 100572 HAS SOUPS 100572 WITH SCORE 100693.632
AT ITER 7518 NEW BEST:: SOT 1202033 SOS 121452 HAS SOPS 121452 HAS SOUS 100523 HAS SOUPS 100523 WITH SCORE 100644.452
AT ITER 7586 NEW BEST:: SOT 1202024 SOS 121444 HAS SOPS 121444 HAS SOUS 100514 HAS SOUPS 100514 WITH SCORE 100635.444
AT ITER 7614 NEW BEST:: SOT 1202004 SOS 121367 HAS SOPS 121367 HAS SOUS 100494 HAS SOUPS 100494 WITH SCORE 100615.367
AT ITER 7619 NEW BEST:: SOT 1202006 SOS 121353 HAS SOPS 121353 HAS SOUS 100477 HAS SOUPS 100477 WITH SCORE 100598.353
AT ITER 7642 NEW BEST:: SOT 1202004 SOS 121349 HAS SOPS 121349 HAS SOUS 100473 HAS SOUPS 100473 WITH SCORE 100594.349
AT ITER 7652 NEW BEST:: SOT 1201980 SOS 121301 HAS SOPS 121301 HAS SOUS 100425 HAS SOUPS 100425 WITH SCORE 100546.301
AT ITER 7669 NEW BEST:: SOT 1201943 SOS 121263 HAS SOPS 121263 HAS SOUS 100424 HAS SOUPS 100424 WITH SCORE 100545.263
AT ITER 7726 NEW BEST:: SOT 1201927 SOS 121259 HAS SOPS 121259 HAS SOUS 100408 HAS SOUPS 100408 WITH SCORE 100529.259
AT ITER 7746 NEW BEST:: SOT 1201907 SOS 121239 HAS SOPS 121239 HAS SOUS 100400 HAS SOUPS 100400 WITH SCORE 100521.239
AT ITER 7766 NEW BEST:: SOT 1201865 SOS 121238 HAS SOPS 121238 HAS SOUS 100367 HAS SOUPS 100367 WITH SCORE 100488.238
AT ITER 7780 NEW BEST:: SOT 1201808 SOS 121170 HAS SOPS 121170 HAS SOUS 100355 HAS SOUPS 100355 WITH SCORE 100476.17
AT ITER 7785 NEW BEST:: SOT 1201732 SOS 121124 HAS SOPS 121124 HAS SOUS 100293 HAS SOUPS 100293 WITH SCORE 100414.124
AT ITER 7790 NEW BEST:: SOT 1201689 SOS 121108 HAS SOPS 121108 HAS SOUS 100249 HAS SOUPS 100249 WITH SCORE 100370.108
AT ITER 7791 NEW BEST:: SOT 1201657 SOS 121044 HAS SOPS 121044 HAS SOUS 100234 HAS SOUPS 100234 WITH SCORE 100355.044
AT ITER 7792 NEW BEST:: SOT 1201684 SOS 121015 HAS SOPS 121015 HAS SOUS 100179 HAS SOUPS 100179 WITH SCORE 100300.015
AT ITER 7815 NEW BEST:: SOT 1201684 SOS 121013 HAS SOPS 121013 HAS SOUS 100177 HAS SOUPS 100177 WITH SCORE 100298.013
AT ITER 7909 NEW BEST:: SOT 1201652 SOS 120980 HAS SOPS 120980 HAS SOUS 100173 HAS SOUPS 100173 WITH SCORE 100293.98
AT ITER 7929 NEW BEST:: SOT 1201652 SOS 120953 HAS SOPS 120953 HAS SOUS 100146 HAS SOUPS 100146 WITH SCORE 100266.953
AT ITER 7934 NEW BEST:: SOT 1201682 SOS 120848 HAS SOPS 120848 HAS SOUS 100088 HAS SOUPS 100088 WITH SCORE 100208.848
AT ITER 7972 NEW BEST:: SOT 1201670 SOS 120824 HAS SOPS 120824 HAS SOUS 100064 HAS SOUPS 100064 WITH SCORE 100184.824
AT ITER 7978 NEW BEST:: SOT 1201711 SOS 120906 HAS SOPS 120906 HAS SOUS 100030 HAS SOUPS 100030 WITH SCORE 100150.906
AT ITER 7982 NEW BEST:: SOT 1201703 SOS 120984 HAS SOPS 120984 HAS SOUS 100003 HAS SOUPS 100003 WITH SCORE 100123.984
AT ITER 8043 NEW BEST:: SOT 1201665 SOS 120961 HAS SOPS 120961 HAS SOUS 99927 HAS SOUPS 99927 WITH SCORE 100047.961
AT ITER 8044 NEW BEST:: SOT 1201663 SOS 120962 HAS SOPS 120962 HAS SOUS 99925 HAS SOUPS 99925 WITH SCORE 100045.962
AT ITER 8074 NEW BEST:: SOT 1201619 SOS 120874 HAS SOPS 120874 HAS SOUS 99838 HAS SOUPS 99838 WITH SCORE 99958.874
AT ITER 8136 NEW BEST:: SOT 1201594 SOS 120768 HAS SOPS 120768 HAS SOUS 99744 HAS SOUPS 99744 WITH SCORE 99864.768
AT ITER 8140 NEW BEST:: SOT 1201581 SOS 120755 HAS SOPS 120755 HAS SOUS 99718 HAS SOUPS 99718 WITH SCORE 99838.755
AT ITER 8209 NEW BEST:: SOT 1201559 SOS 120740 HAS SOPS 120740 HAS SOUS 99696 HAS SOUPS 99696 WITH SCORE 99816.74
AT ITER 8256 NEW BEST:: SOT 1201437 SOS 120723 HAS SOPS 120723 HAS SOUS 99575 HAS SOUPS 99575 WITH SCORE 99695.723
AT ITER 8269 NEW BEST:: SOT 1201436 SOS 120749 HAS SOPS 120749 HAS SOUS 99573 HAS SOUPS 99573 WITH SCORE 99693.749
AT ITER 8297 NEW BEST:: SOT 1201424 SOS 120725 HAS SOPS 120725 HAS SOUS 99549 HAS SOUPS 99549 WITH SCORE 99669.725
AT ITER 8305 NEW BEST:: SOT 1201412 SOS 120801 HAS SOPS 120801 HAS SOUS 99537 HAS SOUPS 99537 WITH SCORE 99657.801
AT ITER 8314 NEW BEST:: SOT 1201412 SOS 120747 HAS SOPS 120747 HAS SOUS 99510 HAS SOUPS 99510 WITH SCORE 99630.747
AT ITER 8353 NEW BEST:: SOT 1201378 SOS 120764 HAS SOPS 120764 HAS SOUS 99493 HAS SOUPS 99493 WITH SCORE 99613.764
AT ITER 8477 NEW BEST:: SOT 1201342 SOS 120850 HAS SOPS 120850 HAS SOUS 99457 HAS SOUPS 99457 WITH SCORE 99577.85
AT ITER 8528 NEW BEST:: SOT 1201341 SOS 120883 HAS SOPS 120883 HAS SOUS 99455 HAS SOUPS 99455 WITH SCORE 99575.883
AT ITER 8541 NEW BEST:: SOT 1201356 SOS 120913 HAS SOPS 120913 HAS SOUS 99410 HAS SOUPS 99410 WITH SCORE 99530.913
AT ITER 8719 NEW BEST:: SOT 1201358 SOS 120917 HAS SOPS 120917 HAS SOUS 99404 HAS SOUPS 99404 WITH SCORE 99524.917
AT ITER 8777 NEW BEST:: SOT 1201301 SOS 120844 HAS SOPS 120844 HAS SOUS 99331 HAS SOUPS 99331 WITH SCORE 99451.844
AT ITER 8780 NEW BEST:: SOT 1201298 SOS 120838 HAS SOPS 120838 HAS SOUS 99328 HAS SOUPS 99328 WITH SCORE 99448.838
AT ITER 8789 NEW BEST:: SOT 1201298 SOS 120791 HAS SOPS 120791 HAS SOUS 99281 HAS SOUPS 99281 WITH SCORE 99401.791
AT ITER 8899 NEW BEST:: SOT 1201262 SOS 120764 HAS SOPS 120764 HAS SOUS 99245 HAS SOUPS 99245 WITH SCORE 99365.764
AT ITER 8926 NEW BEST:: SOT 1201193 SOS 120750 HAS SOPS 120750 HAS SOUS 99184 HAS SOUPS 99184 WITH SCORE 99304.75
AT ITER 8954 NEW BEST:: SOT 1201129 SOS 120827 HAS SOPS 120827 HAS SOUS 99127 HAS SOUPS 99127 WITH SCORE 99247.827
AT ITER 9052 NEW BEST:: SOT 1201106 SOS 120781 HAS SOPS 120781 HAS SOUS 99081 HAS SOUPS 99081 WITH SCORE 99201.781
AT ITER 9070 NEW BEST:: SOT 1201094 SOS 120745 HAS SOPS 120745 HAS SOUS 99057 HAS SOUPS 99057 WITH SCORE 99177.745
AT ITER 9072 NEW BEST:: SOT 1201079 SOS 120715 HAS SOPS 120715 HAS SOUS 99027 HAS SOUPS 99027 WITH SCORE 99147.715
AT ITER 9095 NEW BEST:: SOT 1201078 SOS 120517 HAS SOPS 120517 HAS SOUS 99025 HAS SOUPS 99025 WITH SCORE 99145.517
AT ITER 9186 NEW BEST:: SOT 1201078 SOS 120506 HAS SOPS 120506 HAS SOUS 99025 HAS SOUPS 99025 WITH SCORE 99145.506
AT ITER 9193 NEW BEST:: SOT 1201078 SOS 120524 HAS SOPS 120524 HAS SOUS 99019 HAS SOUPS 99019 WITH SCORE 99139.524
AT ITER 9224 NEW BEST:: SOT 1201095 SOS 120512 HAS SOPS 120512 HAS SOUS 99007 HAS SOUPS 99007 WITH SCORE 99127.512
AT ITER 9250 NEW BEST:: SOT 1201114 SOS 120550 HAS SOPS 120550 HAS SOUS 98948 HAS SOUPS 98948 WITH SCORE 99068.55
AT ITER 9280 NEW BEST:: SOT 1201112 SOS 120546 HAS SOPS 120546 HAS SOUS 98944 HAS SOUPS 98944 WITH SCORE 99064.546
AT ITER 9290 NEW BEST:: SOT 1201074 SOS 120610 HAS SOPS 120610 HAS SOUS 98908 HAS SOUPS 98908 WITH SCORE 99028.61
AT ITER 9297 NEW BEST:: SOT 1201066 SOS 120594 HAS SOPS 120594 HAS SOUS 98892 HAS SOUPS 98892 WITH SCORE 99012.594
AT ITER 9302 NEW BEST:: SOT 1201062 SOS 120586 HAS SOPS 120586 HAS SOUS 98884 HAS SOUPS 98884 WITH SCORE 99004.586
AT ITER 9334 NEW BEST:: SOT 1201062 SOS 120570 HAS SOPS 120570 HAS SOUS 98884 HAS SOUPS 98884 WITH SCORE 99004.57
AT ITER 9358 NEW BEST:: SOT 1201061 SOS 120568 HAS SOPS 120568 HAS SOUS 98882 HAS SOUPS 98882 WITH SCORE 99002.568
AT ITER 9374 NEW BEST:: SOT 1201043 SOS 120514 HAS SOPS 120514 HAS SOUS 98864 HAS SOUPS 98864 WITH SCORE 98984.514
AT ITER 9382 NEW BEST:: SOT 1200965 SOS 120608 HAS SOPS 120608 HAS SOUS 98786 HAS SOUPS 98786 WITH SCORE 98906.608
AT ITER 9406 NEW BEST:: SOT 1200937 SOS 120580 HAS SOPS 120580 HAS SOUS 98786 HAS SOUPS 98786 WITH SCORE 98906.58
AT ITER 9491 NEW BEST:: SOT 1200899 SOS 120549 HAS SOPS 120549 HAS SOUS 98755 HAS SOUPS 98755 WITH SCORE 98875.549
AT ITER 9506 NEW BEST:: SOT 1200876 SOS 120526 HAS SOPS 120526 HAS SOUS 98732 HAS SOUPS 98732 WITH SCORE 98852.526
AT ITER 9515 NEW BEST:: SOT 1200868 SOS 120407 HAS SOPS 120407 HAS SOUS 98711 HAS SOUPS 98711 WITH SCORE 98831.407
AT ITER 9574 NEW BEST:: SOT 1200859 SOS 120389 HAS SOPS 120389 HAS SOUS 98701 HAS SOUPS 98701 WITH SCORE 98821.389
AT ITER 9640 NEW BEST:: SOT 1200806 SOS 120425 HAS SOPS 120425 HAS SOUS 98666 HAS SOUPS 98666 WITH SCORE 98786.425
AT ITER 9657 NEW BEST:: SOT 1200779 SOS 120431 HAS SOPS 120431 HAS SOUS 98660 HAS SOUPS 98660 WITH SCORE 98780.431
AT ITER 9668 NEW BEST:: SOT 1200784 SOS 120387 HAS SOPS 120387 HAS SOUS 98649 HAS SOUPS 98649 WITH SCORE 98769.387
AT ITER 9710 NEW BEST:: SOT 1200796 SOS 120603 HAS SOPS 120603 HAS SOUS 98641 HAS SOUPS 98641 WITH SCORE 98761.603
AT ITER 9762 NEW BEST:: SOT 1200796 SOS 120603 HAS SOPS 120603 HAS SOUS 98582 HAS SOUPS 98582 WITH SCORE 98702.603
AT ITER 9765 NEW BEST:: SOT 1200796 SOS 120601 HAS SOPS 120601 HAS SOUS 98580 HAS SOUPS 98580 WITH SCORE 98700.601
AT ITER 9776 NEW BEST:: SOT 1200796 SOS 120638 HAS SOPS 120638 HAS SOUS 98552 HAS SOUPS 98552 WITH SCORE 98672.638
AT ITER 9822 NEW BEST:: SOT 1200769 SOS 120584 HAS SOPS 120584 HAS SOUS 98498 HAS SOUPS 98498 WITH SCORE 98618.584
AT ITER 9842 NEW BEST:: SOT 1200766 SOS 120578 HAS SOPS 120578 HAS SOUS 98495 HAS SOUPS 98495 WITH SCORE 98615.578
AT ITER 9937 NEW BEST:: SOT 1200722 SOS 120463 HAS SOPS 120463 HAS SOUS 98450 HAS SOUPS 98450 WITH SCORE 98570.463
AT ITER 9954 NEW BEST:: SOT 1200617 SOS 120475 HAS SOPS 120475 HAS SOUS 98404 HAS SOUPS 98404 WITH SCORE 98524.475
AT ITER 9972 NEW BEST:: SOT 1200577 SOS 120395 HAS SOPS 120395 HAS SOUS 98346 HAS SOUPS 98346 WITH SCORE 98466.395
AT ITER 9975 NEW BEST:: SOT 1200576 SOS 120371 HAS SOPS 120371 HAS SOUS 98344 HAS SOUPS 98344 WITH SCORE 98464.371
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4885800 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123544 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="NoC3x3-PT-1B"
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 NoC3x3-PT-1B, 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 r267-smll-167863541600240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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