fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r171-tall-167838858500400
Last Updated
May 14, 2023

About the Execution of Smart+red for FamilyReunion-PT-L00010M0001C001P001G001

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2913.724 3600000.00 3619716.00 31288.80 [undef] Time out reached

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.r171-tall-167838858500400.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 FamilyReunion-PT-L00010M0001C001P001G001, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858500400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 23K Feb 26 12:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 173K Feb 26 12:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 36K Feb 26 11:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 162K Feb 26 11:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 44K Feb 26 12:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 316K Feb 26 12:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 26 12:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 180K Feb 26 12:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.8K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 552K 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 1679462025846

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=FamilyReunion-PT-L00010M0001C001P001G001
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 05:13:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 05:13:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 05:13:47] [INFO ] Load time of PNML (sax parser for PT used): 88 ms
[2023-03-22 05:13:47] [INFO ] Transformed 1475 places.
[2023-03-22 05:13:47] [INFO ] Transformed 1234 transitions.
[2023-03-22 05:13:47] [INFO ] Parsed PT model containing 1475 places and 1234 transitions and 3799 arcs in 154 ms.
[2023-03-22 05:13:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1475 places, 1234 transitions and 3799 arcs took 13 ms.
Total runtime 192 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (PT), instance L00010M0001C001P001G001
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: 1475 places, 1234 transitions, 3799 arcs.
AT ITER 0 NEW BEST:: SOT 1004366 SOS 87553 HAS SOPS 86362 HAS SOUS 80067 HAS SOUPS 79654 WITH SCORE 79741.553
AT ITER 35 NEW BEST:: SOT 1004358 SOS 87545 HAS SOPS 86354 HAS SOUS 80059 HAS SOUPS 79646 WITH SCORE 79733.545
AT ITER 53 NEW BEST:: SOT 1004272 SOS 87431 HAS SOPS 86346 HAS SOUS 80006 HAS SOUPS 79638 WITH SCORE 79725.431
AT ITER 176 NEW BEST:: SOT 1004272 SOS 87417 HAS SOPS 86332 HAS SOUS 79992 HAS SOUPS 79624 WITH SCORE 79711.417
AT ITER 183 NEW BEST:: SOT 1004272 SOS 87401 HAS SOPS 86316 HAS SOUS 79976 HAS SOUPS 79608 WITH SCORE 79695.401
AT ITER 184 NEW BEST:: SOT 1004252 SOS 87359 HAS SOPS 86274 HAS SOUS 79934 HAS SOUPS 79566 WITH SCORE 79653.359
AT ITER 198 NEW BEST:: SOT 1004208 SOS 87271 HAS SOPS 86186 HAS SOUS 79846 HAS SOUPS 79478 WITH SCORE 79565.271
AT ITER 226 NEW BEST:: SOT 1004198 SOS 87251 HAS SOPS 86166 HAS SOUS 79826 HAS SOUPS 79458 WITH SCORE 79545.251
AT ITER 282 NEW BEST:: SOT 1004155 SOS 87143 HAS SOPS 86058 HAS SOUS 79718 HAS SOUPS 79350 WITH SCORE 79437.143
AT ITER 351 NEW BEST:: SOT 1004135 SOS 87099 HAS SOPS 86014 HAS SOUS 79674 HAS SOUPS 79306 WITH SCORE 79393.099
AT ITER 398 NEW BEST:: SOT 1004135 SOS 87099 HAS SOPS 86014 HAS SOUS 79669 HAS SOUPS 79301 WITH SCORE 79388.099
AT ITER 405 NEW BEST:: SOT 1004135 SOS 87080 HAS SOPS 85995 HAS SOUS 79650 HAS SOUPS 79282 WITH SCORE 79369.08
AT ITER 430 NEW BEST:: SOT 1004091 SOS 87057 HAS SOPS 85972 HAS SOUS 79627 HAS SOUPS 79259 WITH SCORE 79346.057
AT ITER 462 NEW BEST:: SOT 1004091 SOS 87057 HAS SOPS 85972 HAS SOUS 79621 HAS SOUPS 79253 WITH SCORE 79340.057
AT ITER 474 NEW BEST:: SOT 1004077 SOS 87043 HAS SOPS 85958 HAS SOUS 79607 HAS SOUPS 79239 WITH SCORE 79326.043
AT ITER 508 NEW BEST:: SOT 1004077 SOS 87066 HAS SOPS 85981 HAS SOUS 79597 HAS SOUPS 79229 WITH SCORE 79316.066
AT ITER 568 NEW BEST:: SOT 1004077 SOS 87056 HAS SOPS 85971 HAS SOUS 79587 HAS SOUPS 79219 WITH SCORE 79306.056
AT ITER 645 NEW BEST:: SOT 1004038 SOS 87044 HAS SOPS 85959 HAS SOUS 79564 HAS SOUPS 79196 WITH SCORE 79283.044
AT ITER 719 NEW BEST:: SOT 1004049 SOS 87037 HAS SOPS 85952 HAS SOUS 79557 HAS SOUPS 79189 WITH SCORE 79276.037
AT ITER 807 NEW BEST:: SOT 1004049 SOS 87015 HAS SOPS 85930 HAS SOUS 79535 HAS SOUPS 79167 WITH SCORE 79254.015
AT ITER 832 NEW BEST:: SOT 1004029 SOS 86995 HAS SOPS 85910 HAS SOUS 79515 HAS SOUPS 79147 WITH SCORE 79233.995
AT ITER 839 NEW BEST:: SOT 1004018 SOS 86995 HAS SOPS 85910 HAS SOUS 79506 HAS SOUPS 79138 WITH SCORE 79224.995
AT ITER 844 NEW BEST:: SOT 1003987 SOS 86942 HAS SOPS 85857 HAS SOUS 79453 HAS SOUPS 79085 WITH SCORE 79171.942
AT ITER 865 NEW BEST:: SOT 1003966 SOS 86897 HAS SOPS 85812 HAS SOUS 79408 HAS SOUPS 79040 WITH SCORE 79126.897
AT ITER 874 NEW BEST:: SOT 1003926 SOS 86853 HAS SOPS 85768 HAS SOUS 79396 HAS SOUPS 79028 WITH SCORE 79114.853
AT ITER 881 NEW BEST:: SOT 1003926 SOS 86853 HAS SOPS 85768 HAS SOUS 79387 HAS SOUPS 79019 WITH SCORE 79105.853
AT ITER 885 NEW BEST:: SOT 1003926 SOS 86852 HAS SOPS 85767 HAS SOUS 79386 HAS SOUPS 79018 WITH SCORE 79104.852
AT ITER 895 NEW BEST:: SOT 1003905 SOS 86807 HAS SOPS 85722 HAS SOUS 79341 HAS SOUPS 78973 WITH SCORE 79059.807
AT ITER 909 NEW BEST:: SOT 1003853 SOS 86781 HAS SOPS 85696 HAS SOUS 79315 HAS SOUPS 78947 WITH SCORE 79033.781
AT ITER 927 NEW BEST:: SOT 1003853 SOS 86771 HAS SOPS 85686 HAS SOUS 79305 HAS SOUPS 78937 WITH SCORE 79023.771
AT ITER 968 NEW BEST:: SOT 1003835 SOS 86753 HAS SOPS 85668 HAS SOUS 79287 HAS SOUPS 78919 WITH SCORE 79005.753
AT ITER 1001 NEW BEST:: SOT 1003816 SOS 86736 HAS SOPS 85651 HAS SOUS 79270 HAS SOUPS 78902 WITH SCORE 78988.736
AT ITER 1036 NEW BEST:: SOT 1003816 SOS 86715 HAS SOPS 85630 HAS SOUS 79249 HAS SOUPS 78881 WITH SCORE 78967.715
AT ITER 1042 NEW BEST:: SOT 1003795 SOS 86670 HAS SOPS 85585 HAS SOUS 79204 HAS SOUPS 78836 WITH SCORE 78922.67
AT ITER 1054 NEW BEST:: SOT 1003787 SOS 86662 HAS SOPS 85577 HAS SOUS 79196 HAS SOUPS 78828 WITH SCORE 78914.662
AT ITER 1064 NEW BEST:: SOT 1003787 SOS 86652 HAS SOPS 85567 HAS SOUS 79186 HAS SOUPS 78818 WITH SCORE 78904.652
AT ITER 1097 NEW BEST:: SOT 1003767 SOS 86610 HAS SOPS 85525 HAS SOUS 79144 HAS SOUPS 78776 WITH SCORE 78862.61
AT ITER 1143 NEW BEST:: SOT 1003767 SOS 86599 HAS SOPS 85514 HAS SOUS 79133 HAS SOUPS 78765 WITH SCORE 78851.599
AT ITER 1205 NEW BEST:: SOT 1003762 SOS 86594 HAS SOPS 85509 HAS SOUS 79128 HAS SOUPS 78760 WITH SCORE 78846.594
AT ITER 1238 NEW BEST:: SOT 1003742 SOS 86550 HAS SOPS 85465 HAS SOUS 79084 HAS SOUPS 78716 WITH SCORE 78802.55
AT ITER 1241 NEW BEST:: SOT 1003692 SOS 86495 HAS SOPS 85410 HAS SOUS 79065 HAS SOUPS 78697 WITH SCORE 78783.495
AT ITER 1242 NEW BEST:: SOT 1003675 SOS 86495 HAS SOPS 85410 HAS SOUS 79062 HAS SOUPS 78694 WITH SCORE 78780.495
AT ITER 1259 NEW BEST:: SOT 1003611 SOS 86461 HAS SOPS 85376 HAS SOUS 79028 HAS SOUPS 78660 WITH SCORE 78746.461
AT ITER 1265 NEW BEST:: SOT 1003557 SOS 86331 HAS SOPS 85246 HAS SOUS 78898 HAS SOUPS 78530 WITH SCORE 78616.331
AT ITER 1285 NEW BEST:: SOT 1003549 SOS 86327 HAS SOPS 85242 HAS SOUS 78894 HAS SOUPS 78526 WITH SCORE 78612.327
AT ITER 1299 NEW BEST:: SOT 1003522 SOS 86280 HAS SOPS 85195 HAS SOUS 78847 HAS SOUPS 78479 WITH SCORE 78565.28
AT ITER 1300 NEW BEST:: SOT 1003520 SOS 86280 HAS SOPS 85195 HAS SOUS 78845 HAS SOUPS 78477 WITH SCORE 78563.28
AT ITER 1322 NEW BEST:: SOT 1003520 SOS 86316 HAS SOPS 85231 HAS SOUS 78843 HAS SOUPS 78475 WITH SCORE 78561.316
AT ITER 1431 NEW BEST:: SOT 1003520 SOS 86315 HAS SOPS 85218 HAS SOUS 78844 HAS SOUPS 78464 WITH SCORE 78550.315
AT ITER 1495 NEW BEST:: SOT 1003479 SOS 86068 HAS SOPS 84971 HAS SOUS 78772 HAS SOUPS 78392 WITH SCORE 78478.068
AT ITER 1529 NEW BEST:: SOT 1003475 SOS 86068 HAS SOPS 84971 HAS SOUS 78768 HAS SOUPS 78388 WITH SCORE 78474.068
AT ITER 1548 NEW BEST:: SOT 1003465 SOS 86058 HAS SOPS 84961 HAS SOUS 78753 HAS SOUPS 78373 WITH SCORE 78459.058
AT ITER 1670 NEW BEST:: SOT 1003458 SOS 86044 HAS SOPS 84947 HAS SOUS 78739 HAS SOUPS 78359 WITH SCORE 78445.044
AT ITER 1683 NEW BEST:: SOT 1003457 SOS 86042 HAS SOPS 84945 HAS SOUS 78737 HAS SOUPS 78357 WITH SCORE 78443.042
AT ITER 1718 NEW BEST:: SOT 1003435 SOS 85998 HAS SOPS 84901 HAS SOUS 78693 HAS SOUPS 78313 WITH SCORE 78398.998
AT ITER 1735 NEW BEST:: SOT 1003369 SOS 85949 HAS SOPS 84852 HAS SOUS 78654 HAS SOUPS 78274 WITH SCORE 78359.949
AT ITER 1755 NEW BEST:: SOT 1003359 SOS 85909 HAS SOPS 84812 HAS SOUS 78624 HAS SOUPS 78244 WITH SCORE 78329.909
AT ITER 1759 NEW BEST:: SOT 1003359 SOS 85903 HAS SOPS 84806 HAS SOUS 78618 HAS SOUPS 78238 WITH SCORE 78323.903
AT ITER 1776 NEW BEST:: SOT 1003344 SOS 85861 HAS SOPS 84764 HAS SOUS 78576 HAS SOUPS 78196 WITH SCORE 78281.861
AT ITER 1825 NEW BEST:: SOT 1003286 SOS 85732 HAS SOPS 84635 HAS SOUS 78445 HAS SOUPS 78065 WITH SCORE 78150.732
AT ITER 1835 NEW BEST:: SOT 1003296 SOS 85810 HAS SOPS 84713 HAS SOUS 78404 HAS SOUPS 78024 WITH SCORE 78109.81
AT ITER 1891 NEW BEST:: SOT 1003277 SOS 85826 HAS SOPS 84729 HAS SOUS 78400 HAS SOUPS 78020 WITH SCORE 78105.826
AT ITER 1895 NEW BEST:: SOT 1003252 SOS 85801 HAS SOPS 84704 HAS SOUS 78375 HAS SOUPS 77995 WITH SCORE 78080.801
AT ITER 1899 NEW BEST:: SOT 1003273 SOS 86330 HAS SOPS 84638 HAS SOUS 78374 HAS SOUPS 77929 WITH SCORE 78015.33
AT ITER 1902 NEW BEST:: SOT 1003219 SOS 86266 HAS SOPS 84574 HAS SOUS 78320 HAS SOUPS 77875 WITH SCORE 77961.266
AT ITER 1962 NEW BEST:: SOT 1003219 SOS 86224 HAS SOPS 84608 HAS SOUS 78225 HAS SOUPS 77797 WITH SCORE 77883.224
AT ITER 2002 NEW BEST:: SOT 1003219 SOS 86215 HAS SOPS 84599 HAS SOUS 78216 HAS SOUPS 77788 WITH SCORE 77874.215
AT ITER 2073 NEW BEST:: SOT 1003219 SOS 86177 HAS SOPS 84561 HAS SOUS 78196 HAS SOUPS 77768 WITH SCORE 77854.177
AT ITER 2114 NEW BEST:: SOT 1003207 SOS 86163 HAS SOPS 84547 HAS SOUS 78182 HAS SOUPS 77754 WITH SCORE 77840.163
AT ITER 2141 NEW BEST:: SOT 1003207 SOS 86163 HAS SOPS 84547 HAS SOUS 78179 HAS SOUPS 77751 WITH SCORE 77837.163
AT ITER 2145 NEW BEST:: SOT 1003200 SOS 86154 HAS SOPS 84538 HAS SOUS 78170 HAS SOUPS 77742 WITH SCORE 77828.154
AT ITER 2156 NEW BEST:: SOT 1003195 SOS 86149 HAS SOPS 84533 HAS SOUS 78165 HAS SOUPS 77737 WITH SCORE 77823.149
AT ITER 2265 NEW BEST:: SOT 1003185 SOS 86139 HAS SOPS 84523 HAS SOUS 78155 HAS SOUPS 77727 WITH SCORE 77813.139
AT ITER 2315 NEW BEST:: SOT 1003171 SOS 86123 HAS SOPS 84507 HAS SOUS 78146 HAS SOUPS 77718 WITH SCORE 77804.123
AT ITER 2325 NEW BEST:: SOT 1003171 SOS 86103 HAS SOPS 84487 HAS SOUS 78136 HAS SOUPS 77708 WITH SCORE 77794.103
AT ITER 2388 NEW BEST:: SOT 1003150 SOS 86060 HAS SOPS 84444 HAS SOUS 78093 HAS SOUPS 77665 WITH SCORE 77751.06
AT ITER 2415 NEW BEST:: SOT 1003150 SOS 86041 HAS SOPS 84425 HAS SOUS 78074 HAS SOUPS 77646 WITH SCORE 77732.041
AT ITER 2417 NEW BEST:: SOT 1003137 SOS 86015 HAS SOPS 84399 HAS SOUS 78048 HAS SOUPS 77620 WITH SCORE 77706.015
AT ITER 2497 NEW BEST:: SOT 1003137 SOS 86010 HAS SOPS 84394 HAS SOUS 78043 HAS SOUPS 77615 WITH SCORE 77701.01
AT ITER 2572 NEW BEST:: SOT 1003154 SOS 85988 HAS SOPS 84372 HAS SOUS 78021 HAS SOUPS 77593 WITH SCORE 77678.988
AT ITER 2719 NEW BEST:: SOT 1003154 SOS 85941 HAS SOPS 84325 HAS SOUS 78021 HAS SOUPS 77593 WITH SCORE 77678.941
AT ITER 2736 NEW BEST:: SOT 1003153 SOS 85940 HAS SOPS 84324 HAS SOUS 78020 HAS SOUPS 77592 WITH SCORE 77677.94
AT ITER 2751 NEW BEST:: SOT 1003144 SOS 85919 HAS SOPS 84303 HAS SOUS 77999 HAS SOUPS 77571 WITH SCORE 77656.919
AT ITER 2756 NEW BEST:: SOT 1003144 SOS 85900 HAS SOPS 84284 HAS SOUS 77980 HAS SOUPS 77552 WITH SCORE 77637.9
AT ITER 2796 NEW BEST:: SOT 1003144 SOS 85889 HAS SOPS 84273 HAS SOUS 77969 HAS SOUPS 77541 WITH SCORE 77626.889
AT ITER 2815 NEW BEST:: SOT 1003111 SOS 85841 HAS SOPS 84225 HAS SOUS 77921 HAS SOUPS 77493 WITH SCORE 77578.841
AT ITER 2829 NEW BEST:: SOT 1003074 SOS 85772 HAS SOPS 84156 HAS SOUS 77883 HAS SOUPS 77455 WITH SCORE 77540.772
AT ITER 2845 NEW BEST:: SOT 1003055 SOS 85753 HAS SOPS 84137 HAS SOUS 77854 HAS SOUPS 77426 WITH SCORE 77511.753
AT ITER 2899 NEW BEST:: SOT 1003031 SOS 85705 HAS SOPS 84089 HAS SOUS 77806 HAS SOUPS 77378 WITH SCORE 77463.705
AT ITER 2937 NEW BEST:: SOT 1002979 SOS 85606 HAS SOPS 83990 HAS SOUS 77702 HAS SOUPS 77274 WITH SCORE 77359.606
AT ITER 2982 NEW BEST:: SOT 1002979 SOS 85596 HAS SOPS 83980 HAS SOUS 77692 HAS SOUPS 77264 WITH SCORE 77349.596
AT ITER 2983 NEW BEST:: SOT 1002961 SOS 85548 HAS SOPS 83959 HAS SOUS 77671 HAS SOUPS 77243 WITH SCORE 77328.548
AT ITER 3073 NEW BEST:: SOT 1002940 SOS 85576 HAS SOPS 83987 HAS SOUS 77657 HAS SOUPS 77229 WITH SCORE 77314.576
AT ITER 3128 NEW BEST:: SOT 1002940 SOS 85557 HAS SOPS 83968 HAS SOUS 77638 HAS SOUPS 77210 WITH SCORE 77295.557
AT ITER 3137 NEW BEST:: SOT 1002928 SOS 85481 HAS SOPS 83892 HAS SOUS 77626 HAS SOUPS 77198 WITH SCORE 77283.481
AT ITER 3144 NEW BEST:: SOT 1002889 SOS 85401 HAS SOPS 83812 HAS SOUS 77585 HAS SOUPS 77157 WITH SCORE 77242.401
AT ITER 3227 NEW BEST:: SOT 1002889 SOS 85382 HAS SOPS 83793 HAS SOUS 77566 HAS SOUPS 77138 WITH SCORE 77223.382
AT ITER 3254 NEW BEST:: SOT 1002889 SOS 85372 HAS SOPS 83783 HAS SOUS 77556 HAS SOUPS 77128 WITH SCORE 77213.372
AT ITER 3346 NEW BEST:: SOT 1002849 SOS 85293 HAS SOPS 83704 HAS SOUS 77477 HAS SOUPS 77049 WITH SCORE 77134.293
AT ITER 3453 NEW BEST:: SOT 1002849 SOS 85272 HAS SOPS 83683 HAS SOUS 77456 HAS SOUPS 77028 WITH SCORE 77113.272
AT ITER 3456 NEW BEST:: SOT 1002833 SOS 85319 HAS SOPS 83730 HAS SOUS 77446 HAS SOUPS 77018 WITH SCORE 77103.319
AT ITER 3550 NEW BEST:: SOT 1002815 SOS 85283 HAS SOPS 83694 HAS SOUS 77428 HAS SOUPS 77000 WITH SCORE 77085.283
AT ITER 3574 NEW BEST:: SOT 1002813 SOS 85251 HAS SOPS 83662 HAS SOUS 77396 HAS SOUPS 76968 WITH SCORE 77053.251
AT ITER 3579 NEW BEST:: SOT 1002813 SOS 85311 HAS SOPS 83656 HAS SOUS 77396 HAS SOUPS 76962 WITH SCORE 77047.311
AT ITER 3660 NEW BEST:: SOT 1002813 SOS 85311 HAS SOPS 83656 HAS SOUS 77394 HAS SOUPS 76960 WITH SCORE 77045.311
AT ITER 3766 NEW BEST:: SOT 1002819 SOS 85263 HAS SOPS 83608 HAS SOUS 77366 HAS SOUPS 76932 WITH SCORE 77017.263
AT ITER 3794 NEW BEST:: SOT 1002819 SOS 85263 HAS SOPS 83608 HAS SOUS 77361 HAS SOUPS 76927 WITH SCORE 77012.263
AT ITER 3811 NEW BEST:: SOT 1002798 SOS 85218 HAS SOPS 83563 HAS SOUS 77316 HAS SOUPS 76882 WITH SCORE 76967.218
AT ITER 3835 NEW BEST:: SOT 1002767 SOS 85187 HAS SOPS 83532 HAS SOUS 77302 HAS SOUPS 76868 WITH SCORE 76953.187
AT ITER 3862 NEW BEST:: SOT 1002764 SOS 85137 HAS SOPS 83482 HAS SOUS 77252 HAS SOUPS 76818 WITH SCORE 76903.137
AT ITER 3922 NEW BEST:: SOT 1002728 SOS 85115 HAS SOPS 83460 HAS SOUS 77230 HAS SOUPS 76796 WITH SCORE 76881.115
AT ITER 3939 NEW BEST:: SOT 1002695 SOS 85113 HAS SOPS 83458 HAS SOUS 77228 HAS SOUPS 76794 WITH SCORE 76879.113
AT ITER 3955 NEW BEST:: SOT 1002673 SOS 85071 HAS SOPS 83416 HAS SOUS 77196 HAS SOUPS 76762 WITH SCORE 76847.071
AT ITER 3964 NEW BEST:: SOT 1002605 SOS 84923 HAS SOPS 83268 HAS SOUS 77045 HAS SOUPS 76611 WITH SCORE 76695.923
AT ITER 3977 NEW BEST:: SOT 1002587 SOS 84896 HAS SOPS 83241 HAS SOUS 77018 HAS SOUPS 76584 WITH SCORE 76668.896
AT ITER 3983 NEW BEST:: SOT 1002566 SOS 84875 HAS SOPS 83220 HAS SOUS 76997 HAS SOUPS 76563 WITH SCORE 76647.875
AT ITER 4009 NEW BEST:: SOT 1002569 SOS 84839 HAS SOPS 83184 HAS SOUS 76954 HAS SOUPS 76520 WITH SCORE 76604.839
AT ITER 4049 NEW BEST:: SOT 1002554 SOS 84824 HAS SOPS 83169 HAS SOUS 76939 HAS SOUPS 76505 WITH SCORE 76589.824
AT ITER 4075 NEW BEST:: SOT 1002384 SOS 84733 HAS SOPS 83078 HAS SOUS 76789 HAS SOUPS 76355 WITH SCORE 76439.733
AT ITER 4090 NEW BEST:: SOT 1002364 SOS 84713 HAS SOPS 83058 HAS SOUS 76769 HAS SOUPS 76335 WITH SCORE 76419.713
AT ITER 4132 NEW BEST:: SOT 1002344 SOS 84693 HAS SOPS 83038 HAS SOUS 76749 HAS SOUPS 76315 WITH SCORE 76399.693
AT ITER 4210 NEW BEST:: SOT 1002306 SOS 84595 HAS SOPS 82940 HAS SOUS 76651 HAS SOUPS 76217 WITH SCORE 76301.595
AT ITER 4262 NEW BEST:: SOT 1002306 SOS 84590 HAS SOPS 82935 HAS SOUS 76646 HAS SOUPS 76212 WITH SCORE 76296.59
AT ITER 4264 NEW BEST:: SOT 1002304 SOS 84558 HAS SOPS 82903 HAS SOUS 76614 HAS SOUPS 76180 WITH SCORE 76264.558
AT ITER 4342 NEW BEST:: SOT 1002292 SOS 84532 HAS SOPS 82877 HAS SOUS 76610 HAS SOUPS 76176 WITH SCORE 76260.532
AT ITER 4353 NEW BEST:: SOT 1002282 SOS 84522 HAS SOPS 82867 HAS SOUS 76600 HAS SOUPS 76166 WITH SCORE 76250.522
AT ITER 4459 NEW BEST:: SOT 1002252 SOS 84492 HAS SOPS 82837 HAS SOUS 76570 HAS SOUPS 76136 WITH SCORE 76220.492
AT ITER 4535 NEW BEST:: SOT 1002231 SOS 84408 HAS SOPS 82794 HAS SOUS 76527 HAS SOUPS 76093 WITH SCORE 76177.408
AT ITER 4551 NEW BEST:: SOT 1002205 SOS 84376 HAS SOPS 82762 HAS SOUS 76516 HAS SOUPS 76082 WITH SCORE 76166.376
AT ITER 4578 NEW BEST:: SOT 1002205 SOS 84376 HAS SOPS 82762 HAS SOUS 76507 HAS SOUPS 76073 WITH SCORE 76157.376
AT ITER 4588 NEW BEST:: SOT 1002202 SOS 84335 HAS SOPS 82730 HAS SOUS 76498 HAS SOUPS 76073 WITH SCORE 76157.335
AT ITER 4625 NEW BEST:: SOT 1002169 SOS 84247 HAS SOPS 82642 HAS SOUS 76454 HAS SOUPS 76029 WITH SCORE 76113.247
AT ITER 4648 NEW BEST:: SOT 1002153 SOS 84225 HAS SOPS 82620 HAS SOUS 76432 HAS SOUPS 76007 WITH SCORE 76091.225
AT ITER 4739 NEW BEST:: SOT 1002140 SOS 84180 HAS SOPS 82575 HAS SOUS 76387 HAS SOUPS 75962 WITH SCORE 76046.18
AT ITER 4884 NEW BEST:: SOT 1002140 SOS 84170 HAS SOPS 82565 HAS SOUS 76377 HAS SOUPS 75952 WITH SCORE 76036.17
AT ITER 5021 NEW BEST:: SOT 1002142 SOS 84154 HAS SOPS 82549 HAS SOUS 76361 HAS SOUPS 75936 WITH SCORE 76020.154
AT ITER 5066 NEW BEST:: SOT 1002137 SOS 84149 HAS SOPS 82544 HAS SOUS 76346 HAS SOUPS 75921 WITH SCORE 76005.149
AT ITER 5078 NEW BEST:: SOT 1002137 SOS 84149 HAS SOPS 82544 HAS SOUS 76341 HAS SOUPS 75916 WITH SCORE 76000.149
AT ITER 5107 NEW BEST:: SOT 1002126 SOS 84135 HAS SOPS 82530 HAS SOUS 76327 HAS SOUPS 75902 WITH SCORE 75986.135
AT ITER 5168 NEW BEST:: SOT 1002126 SOS 84108 HAS SOPS 82503 HAS SOUS 76320 HAS SOUPS 75895 WITH SCORE 75979.108
AT ITER 5210 NEW BEST:: SOT 1002126 SOS 84099 HAS SOPS 82494 HAS SOUS 76311 HAS SOUPS 75886 WITH SCORE 75970.099
AT ITER 5234 NEW BEST:: SOT 1002100 SOS 84073 HAS SOPS 82442 HAS SOUS 76259 HAS SOUPS 75834 WITH SCORE 75918.073
AT ITER 5335 NEW BEST:: SOT 1002076 SOS 84024 HAS SOPS 82387 HAS SOUS 76204 HAS SOUPS 75779 WITH SCORE 75863.024
AT ITER 5373 NEW BEST:: SOT 1002061 SOS 83988 HAS SOPS 82351 HAS SOUS 76163 HAS SOUPS 75738 WITH SCORE 75821.988
AT ITER 5375 NEW BEST:: SOT 1002061 SOS 83981 HAS SOPS 82344 HAS SOUS 76156 HAS SOUPS 75731 WITH SCORE 75814.981
AT ITER 5411 NEW BEST:: SOT 1002041 SOS 83939 HAS SOPS 82302 HAS SOUS 76114 HAS SOUPS 75689 WITH SCORE 75772.939
AT ITER 5606 NEW BEST:: SOT 1002040 SOS 83926 HAS SOPS 82289 HAS SOUS 76112 HAS SOUPS 75687 WITH SCORE 75770.926
AT ITER 5682 NEW BEST:: SOT 1002040 SOS 83914 HAS SOPS 82277 HAS SOUS 76100 HAS SOUPS 75675 WITH SCORE 75758.914
AT ITER 5686 NEW BEST:: SOT 1002036 SOS 83888 HAS SOPS 82251 HAS SOUS 76074 HAS SOUPS 75649 WITH SCORE 75732.888
AT ITER 5688 NEW BEST:: SOT 1002036 SOS 83613 HAS SOPS 81976 HAS SOUS 76074 HAS SOUPS 75649 WITH SCORE 75732.613
AT ITER 5759 NEW BEST:: SOT 1002036 SOS 83618 HAS SOPS 81981 HAS SOUS 76064 HAS SOUPS 75639 WITH SCORE 75722.618
AT ITER 5789 NEW BEST:: SOT 1002036 SOS 83599 HAS SOPS 81962 HAS SOUS 76059 HAS SOUPS 75634 WITH SCORE 75717.599
AT ITER 5801 NEW BEST:: SOT 1002016 SOS 83568 HAS SOPS 81931 HAS SOUS 76028 HAS SOUPS 75603 WITH SCORE 75686.568
AT ITER 5890 NEW BEST:: SOT 1002029 SOS 83560 HAS SOPS 81923 HAS SOUS 76020 HAS SOUPS 75595 WITH SCORE 75678.56
AT ITER 5935 NEW BEST:: SOT 1002029 SOS 83549 HAS SOPS 81912 HAS SOUS 76009 HAS SOUPS 75584 WITH SCORE 75667.549
AT ITER 5968 NEW BEST:: SOT 1001974 SOS 83527 HAS SOPS 81890 HAS SOUS 75903 HAS SOUPS 75478 WITH SCORE 75561.527
AT ITER 5972 NEW BEST:: SOT 1001974 SOS 83524 HAS SOPS 81887 HAS SOUS 75900 HAS SOUPS 75475 WITH SCORE 75558.524
AT ITER 5997 NEW BEST:: SOT 1001968 SOS 83528 HAS SOPS 81881 HAS SOUS 75894 HAS SOUPS 75469 WITH SCORE 75552.528
AT ITER 6017 NEW BEST:: SOT 1001958 SOS 83508 HAS SOPS 81854 HAS SOUS 75875 HAS SOUPS 75450 WITH SCORE 75533.508
AT ITER 6125 NEW BEST:: SOT 1001958 SOS 83499 HAS SOPS 81845 HAS SOUS 75866 HAS SOUPS 75441 WITH SCORE 75524.499
AT ITER 6187 NEW BEST:: SOT 1001958 SOS 83483 HAS SOPS 81845 HAS SOUS 75866 HAS SOUPS 75441 WITH SCORE 75524.483
AT ITER 6238 NEW BEST:: SOT 1001953 SOS 83473 HAS SOPS 81835 HAS SOUS 75851 HAS SOUPS 75426 WITH SCORE 75509.473
AT ITER 6247 NEW BEST:: SOT 1001929 SOS 83458 HAS SOPS 81820 HAS SOUS 75836 HAS SOUPS 75411 WITH SCORE 75494.458
AT ITER 6280 NEW BEST:: SOT 1001909 SOS 83414 HAS SOPS 81776 HAS SOUS 75792 HAS SOUPS 75367 WITH SCORE 75450.414
AT ITER 6284 NEW BEST:: SOT 1001904 SOS 83404 HAS SOPS 81766 HAS SOUS 75782 HAS SOUPS 75357 WITH SCORE 75440.404
AT ITER 6336 NEW BEST:: SOT 1001904 SOS 83404 HAS SOPS 81766 HAS SOUS 75777 HAS SOUPS 75352 WITH SCORE 75435.404
AT ITER 6365 NEW BEST:: SOT 1001883 SOS 83361 HAS SOPS 81723 HAS SOUS 75734 HAS SOUPS 75309 WITH SCORE 75392.361
AT ITER 6406 NEW BEST:: SOT 1001824 SOS 83350 HAS SOPS 81712 HAS SOUS 75733 HAS SOUPS 75308 WITH SCORE 75391.35
AT ITER 6467 NEW BEST:: SOT 1001818 SOS 83323 HAS SOPS 81685 HAS SOUS 75706 HAS SOUPS 75281 WITH SCORE 75364.323
AT ITER 6524 NEW BEST:: SOT 1001817 SOS 83322 HAS SOPS 81684 HAS SOUS 75705 HAS SOUPS 75280 WITH SCORE 75363.322
AT ITER 6578 NEW BEST:: SOT 1001797 SOS 83280 HAS SOPS 81642 HAS SOUS 75663 HAS SOUPS 75238 WITH SCORE 75321.28
AT ITER 6586 NEW BEST:: SOT 1001797 SOS 83268 HAS SOPS 81630 HAS SOUS 75651 HAS SOUPS 75226 WITH SCORE 75309.268
AT ITER 6588 NEW BEST:: SOT 1001797 SOS 83247 HAS SOPS 81609 HAS SOUS 75630 HAS SOUPS 75205 WITH SCORE 75288.247
AT ITER 6620 NEW BEST:: SOT 1001797 SOS 83232 HAS SOPS 81594 HAS SOUS 75615 HAS SOUPS 75190 WITH SCORE 75273.232
AT ITER 6654 NEW BEST:: SOT 1001797 SOS 83223 HAS SOPS 81585 HAS SOUS 75606 HAS SOUPS 75181 WITH SCORE 75264.223
AT ITER 6678 NEW BEST:: SOT 1001740 SOS 83170 HAS SOPS 81532 HAS SOUS 75553 HAS SOUPS 75128 WITH SCORE 75211.17
AT ITER 6685 NEW BEST:: SOT 1001731 SOS 83146 HAS SOPS 81508 HAS SOUS 75529 HAS SOUPS 75104 WITH SCORE 75187.146
AT ITER 6711 NEW BEST:: SOT 1001681 SOS 83049 HAS SOPS 81411 HAS SOUS 75429 HAS SOUPS 75004 WITH SCORE 75087.049
AT ITER 6724 NEW BEST:: SOT 1001681 SOS 83049 HAS SOPS 81411 HAS SOUS 75427 HAS SOUPS 75002 WITH SCORE 75085.049
AT ITER 6739 NEW BEST:: SOT 1001671 SOS 83026 HAS SOPS 81388 HAS SOUS 75404 HAS SOUPS 74979 WITH SCORE 75062.026
AT ITER 6756 NEW BEST:: SOT 1001671 SOS 83024 HAS SOPS 81386 HAS SOUS 75402 HAS SOUPS 74977 WITH SCORE 75060.024
AT ITER 6778 NEW BEST:: SOT 1001671 SOS 83019 HAS SOPS 81381 HAS SOUS 75397 HAS SOUPS 74972 WITH SCORE 75055.019
AT ITER 6787 NEW BEST:: SOT 1001671 SOS 82997 HAS SOPS 81359 HAS SOUS 75386 HAS SOUPS 74961 WITH SCORE 75043.997
AT ITER 6822 NEW BEST:: SOT 1001668 SOS 82976 HAS SOPS 81338 HAS SOUS 75365 HAS SOUPS 74940 WITH SCORE 75022.976
AT ITER 6827 NEW BEST:: SOT 1001633 SOS 82927 HAS SOPS 81289 HAS SOUS 75295 HAS SOUPS 74870 WITH SCORE 74952.927
AT ITER 6920 NEW BEST:: SOT 1001623 SOS 82917 HAS SOPS 81279 HAS SOUS 75285 HAS SOUPS 74860 WITH SCORE 74942.917
AT ITER 7063 NEW BEST:: SOT 1001623 SOS 82913 HAS SOPS 81275 HAS SOUS 75281 HAS SOUPS 74856 WITH SCORE 74938.913
AT ITER 7093 NEW BEST:: SOT 1001602 SOS 82868 HAS SOPS 81230 HAS SOUS 75236 HAS SOUPS 74811 WITH SCORE 74893.868
AT ITER 7177 NEW BEST:: SOT 1001599 SOS 82840 HAS SOPS 81202 HAS SOUS 75208 HAS SOUPS 74783 WITH SCORE 74865.84
AT ITER 7279 NEW BEST:: SOT 1001543 SOS 82784 HAS SOPS 81146 HAS SOUS 75152 HAS SOUPS 74727 WITH SCORE 74809.784
AT ITER 7410 NEW BEST:: SOT 1001477 SOS 82747 HAS SOPS 81109 HAS SOUS 75125 HAS SOUPS 74700 WITH SCORE 74782.747
AT ITER 7601 NEW BEST:: SOT 1001477 SOS 82742 HAS SOPS 81104 HAS SOUS 75120 HAS SOUPS 74695 WITH SCORE 74777.742
AT ITER 7709 NEW BEST:: SOT 1001470 SOS 82721 HAS SOPS 81097 HAS SOUS 75120 HAS SOUPS 74695 WITH SCORE 74777.721
AT ITER 7713 NEW BEST:: SOT 1001450 SOS 82687 HAS SOPS 81063 HAS SOUS 75086 HAS SOUPS 74661 WITH SCORE 74743.687
AT ITER 7852 NEW BEST:: SOT 1001450 SOS 82675 HAS SOPS 81061 HAS SOUS 75084 HAS SOUPS 74659 WITH SCORE 74741.675
AT ITER 7868 NEW BEST:: SOT 1001348 SOS 83275 HAS SOPS 81661 HAS SOUS 75053 HAS SOUPS 74628 WITH SCORE 74711.275
AT ITER 7963 NEW BEST:: SOT 1001317 SOS 83244 HAS SOPS 81630 HAS SOUS 75002 HAS SOUPS 74577 WITH SCORE 74660.244
AT ITER 7997 NEW BEST:: SOT 1001306 SOS 83212 HAS SOPS 81598 HAS SOUS 74970 HAS SOUPS 74545 WITH SCORE 74628.212
AT ITER 8102 NEW BEST:: SOT 1001306 SOS 83208 HAS SOPS 81594 HAS SOUS 74970 HAS SOUPS 74545 WITH SCORE 74628.208
AT ITER 8143 NEW BEST:: SOT 1001355 SOS 83205 HAS SOPS 81591 HAS SOUS 74967 HAS SOUPS 74542 WITH SCORE 74625.205
AT ITER 8193 NEW BEST:: SOT 1001345 SOS 83177 HAS SOPS 81557 HAS SOUS 74939 HAS SOUPS 74514 WITH SCORE 74597.177
AT ITER 8207 NEW BEST:: SOT 1001321 SOS 83173 HAS SOPS 81553 HAS SOUS 74897 HAS SOUPS 74472 WITH SCORE 74555.173
AT ITER 8222 NEW BEST:: SOT 1001295 SOS 83147 HAS SOPS 81527 HAS SOUS 74890 HAS SOUPS 74465 WITH SCORE 74548.147
AT ITER 8295 NEW BEST:: SOT 1001280 SOS 83132 HAS SOPS 81512 HAS SOUS 74875 HAS SOUPS 74450 WITH SCORE 74533.132
AT ITER 8322 NEW BEST:: SOT 1001275 SOS 83111 HAS SOPS 81491 HAS SOUS 74862 HAS SOUPS 74437 WITH SCORE 74520.111
AT ITER 8323 NEW BEST:: SOT 1001283 SOS 83122 HAS SOPS 81502 HAS SOUS 74851 HAS SOUPS 74426 WITH SCORE 74509.122
AT ITER 8338 NEW BEST:: SOT 1001281 SOS 83127 HAS SOPS 81507 HAS SOUS 74850 HAS SOUPS 74425 WITH SCORE 74508.127
AT ITER 8346 NEW BEST:: SOT 1001281 SOS 83123 HAS SOPS 81503 HAS SOUS 74846 HAS SOUPS 74421 WITH SCORE 74504.123
AT ITER 8366 NEW BEST:: SOT 1001223 SOS 83065 HAS SOPS 81445 HAS SOUS 74730 HAS SOUPS 74305 WITH SCORE 74388.065
AT ITER 8390 NEW BEST:: SOT 1001213 SOS 83055 HAS SOPS 81435 HAS SOUS 74720 HAS SOUPS 74295 WITH SCORE 74378.055
AT ITER 8402 NEW BEST:: SOT 1001211 SOS 83029 HAS SOPS 81409 HAS SOUS 74697 HAS SOUPS 74272 WITH SCORE 74355.029
AT ITER 8411 NEW BEST:: SOT 1001196 SOS 82999 HAS SOPS 81379 HAS SOUS 74667 HAS SOUPS 74242 WITH SCORE 74324.999
AT ITER 8447 NEW BEST:: SOT 1001212 SOS 82964 HAS SOPS 81344 HAS SOUS 74659 HAS SOUPS 74234 WITH SCORE 74316.964
AT ITER 8552 NEW BEST:: SOT 1001212 SOS 82964 HAS SOPS 81344 HAS SOUS 74648 HAS SOUPS 74223 WITH SCORE 74305.964
AT ITER 8575 NEW BEST:: SOT 1001192 SOS 82922 HAS SOPS 81302 HAS SOUS 74596 HAS SOUPS 74171 WITH SCORE 74253.922
AT ITER 8642 NEW BEST:: SOT 1001176 SOS 82908 HAS SOPS 81288 HAS SOUS 74582 HAS SOUPS 74157 WITH SCORE 74239.908
AT ITER 8653 NEW BEST:: SOT 1001158 SOS 82890 HAS SOPS 81252 HAS SOUS 74546 HAS SOUPS 74121 WITH SCORE 74203.89
AT ITER 8702 NEW BEST:: SOT 1001158 SOS 82848 HAS SOPS 81210 HAS SOUS 74504 HAS SOUPS 74079 WITH SCORE 74161.848
AT ITER 8708 NEW BEST:: SOT 1001158 SOS 82864 HAS SOPS 81176 HAS SOUS 74491 HAS SOUPS 74066 WITH SCORE 74148.864
AT ITER 8717 NEW BEST:: SOT 1001141 SOS 82858 HAS SOPS 81170 HAS SOUS 74487 HAS SOUPS 74062 WITH SCORE 74144.858
AT ITER 8785 NEW BEST:: SOT 1001141 SOS 82858 HAS SOPS 81170 HAS SOUS 74478 HAS SOUPS 74053 WITH SCORE 74135.858
AT ITER 8813 NEW BEST:: SOT 1001141 SOS 82849 HAS SOPS 81161 HAS SOUS 74469 HAS SOUPS 74044 WITH SCORE 74126.849
AT ITER 8818 NEW BEST:: SOT 1001141 SOS 82840 HAS SOPS 81152 HAS SOUS 74460 HAS SOUPS 74035 WITH SCORE 74117.84
AT ITER 8895 NEW BEST:: SOT 1001141 SOS 82828 HAS SOPS 81140 HAS SOUS 74448 HAS SOUPS 74023 WITH SCORE 74105.828
AT ITER 8993 NEW BEST:: SOT 1001119 SOS 82805 HAS SOPS 81117 HAS SOUS 74425 HAS SOUPS 74000 WITH SCORE 74082.805
AT ITER 8995 NEW BEST:: SOT 1001109 SOS 82782 HAS SOPS 81094 HAS SOUS 74402 HAS SOUPS 73977 WITH SCORE 74059.782
AT ITER 9011 NEW BEST:: SOT 1001109 SOS 82782 HAS SOPS 81094 HAS SOUS 74388 HAS SOUPS 73963 WITH SCORE 74045.782
AT ITER 9098 NEW BEST:: SOT 1001109 SOS 82768 HAS SOPS 81080 HAS SOUS 74381 HAS SOUPS 73956 WITH SCORE 74038.768
AT ITER 9116 NEW BEST:: SOT 1001089 SOS 82746 HAS SOPS 81058 HAS SOUS 74359 HAS SOUPS 73934 WITH SCORE 74016.746
AT ITER 9119 NEW BEST:: SOT 1001089 SOS 82737 HAS SOPS 81049 HAS SOUS 74350 HAS SOUPS 73925 WITH SCORE 74007.737
AT ITER 9165 NEW BEST:: SOT 1001089 SOS 82731 HAS SOPS 81043 HAS SOUS 74340 HAS SOUPS 73915 WITH SCORE 73997.731
AT ITER 9205 NEW BEST:: SOT 1001076 SOS 82726 HAS SOPS 81038 HAS SOUS 74335 HAS SOUPS 73910 WITH SCORE 73992.726
AT ITER 9295 NEW BEST:: SOT 1001073 SOS 82723 HAS SOPS 81035 HAS SOUS 74332 HAS SOUPS 73907 WITH SCORE 73989.723
AT ITER 9331 NEW BEST:: SOT 1001049 SOS 82656 HAS SOPS 80968 HAS SOUS 74265 HAS SOUPS 73840 WITH SCORE 73922.656
AT ITER 9351 NEW BEST:: SOT 1001039 SOS 82646 HAS SOPS 80958 HAS SOUS 74255 HAS SOUPS 73830 WITH SCORE 73912.646
AT ITER 9374 NEW BEST:: SOT 1001018 SOS 82625 HAS SOPS 80937 HAS SOUS 74234 HAS SOUPS 73809 WITH SCORE 73891.625
AT ITER 9515 NEW BEST:: SOT 1000975 SOS 82585 HAS SOPS 80897 HAS SOUS 74128 HAS SOUPS 73703 WITH SCORE 73785.585
AT ITER 9552 NEW BEST:: SOT 1000970 SOS 82580 HAS SOPS 80892 HAS SOUS 74123 HAS SOUPS 73698 WITH SCORE 73780.58
AT ITER 9634 NEW BEST:: SOT 1000982 SOS 82592 HAS SOPS 80863 HAS SOUS 74094 HAS SOUPS 73669 WITH SCORE 73751.592
AT ITER 9649 NEW BEST:: SOT 1001007 SOS 82618 HAS SOPS 80889 HAS SOUS 74089 HAS SOUPS 73664 WITH SCORE 73746.618
AT ITER 9704 NEW BEST:: SOT 1001006 SOS 82617 HAS SOPS 80888 HAS SOUS 74088 HAS SOUPS 73663 WITH SCORE 73745.617
AT ITER 9721 NEW BEST:: SOT 1000958 SOS 82584 HAS SOPS 80855 HAS SOUS 74055 HAS SOUPS 73630 WITH SCORE 73712.584
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13256484 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123412 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="FamilyReunion-PT-L00010M0001C001P001G001"
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 FamilyReunion-PT-L00010M0001C001P001G001, 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 r171-tall-167838858500400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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