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-167863541900488.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 PermAdmissibility-COL-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541900488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.2K Feb 26 01:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 01:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 01:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 01:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 101K Feb 26 01:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 37K 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 1678896852862

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=PermAdmissibility-COL-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 16:14:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 16:14:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 16:14:16] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-15 16:14:16] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-15 16:14:16] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 732 ms
[2023-03-15 16:14:16] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 26 ms.
[2023-03-15 16:14:16] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 65 ms.
[2023-03-15 16:14:16] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-15 16:14:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 208 places, 1024 transitions and 5984 arcs took 22 ms.
Total runtime 985 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 10
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: 208 places, 1024 transitions, 5984 arcs.
AT ITER 0 NEW BEST:: SOT 141659 SOS 83207 HAS SOPS 83207 HAS SOUS 52066 HAS SOUPS 52066 WITH SCORE 52149.207
AT ITER 13 NEW BEST:: SOT 141275 SOS 82863 HAS SOPS 82863 HAS SOUS 51687 HAS SOUPS 51687 WITH SCORE 51769.863
AT ITER 14 NEW BEST:: SOT 140403 SOS 82336 HAS SOPS 82336 HAS SOUS 51122 HAS SOUPS 51122 WITH SCORE 51204.336
AT ITER 18 NEW BEST:: SOT 140376 SOS 82405 HAS SOPS 82405 HAS SOUS 51095 HAS SOUPS 51095 WITH SCORE 51177.405
AT ITER 20 NEW BEST:: SOT 139552 SOS 81854 HAS SOPS 81854 HAS SOUS 50084 HAS SOUPS 50084 WITH SCORE 50165.854
AT ITER 26 NEW BEST:: SOT 139454 SOS 82524 HAS SOPS 82524 HAS SOUS 49998 HAS SOUPS 49998 WITH SCORE 50080.524
AT ITER 45 NEW BEST:: SOT 139598 SOS 82756 HAS SOPS 82756 HAS SOUS 49672 HAS SOUPS 49672 WITH SCORE 49754.756
AT ITER 81 NEW BEST:: SOT 139570 SOS 82728 HAS SOPS 82728 HAS SOUS 49612 HAS SOUPS 49612 WITH SCORE 49694.728
AT ITER 85 NEW BEST:: SOT 139570 SOS 82728 HAS SOPS 82728 HAS SOUS 49610 HAS SOUPS 49610 WITH SCORE 49692.728
AT ITER 95 NEW BEST:: SOT 139570 SOS 83112 HAS SOPS 83112 HAS SOUS 49504 HAS SOUPS 49504 WITH SCORE 49587.112
AT ITER 117 NEW BEST:: SOT 139570 SOS 83065 HAS SOPS 83065 HAS SOUS 49457 HAS SOUPS 49457 WITH SCORE 49540.065
AT ITER 124 NEW BEST:: SOT 139559 SOS 83030 HAS SOPS 83030 HAS SOUS 49440 HAS SOUPS 49440 WITH SCORE 49523.03
AT ITER 130 NEW BEST:: SOT 139559 SOS 83030 HAS SOPS 83030 HAS SOUS 49408 HAS SOUPS 49408 WITH SCORE 49491.03
AT ITER 132 NEW BEST:: SOT 139569 SOS 83040 HAS SOPS 83040 HAS SOUS 49402 HAS SOUPS 49402 WITH SCORE 49485.04
AT ITER 141 NEW BEST:: SOT 139569 SOS 83296 HAS SOPS 83296 HAS SOUS 49374 HAS SOUPS 49374 WITH SCORE 49457.296
AT ITER 155 NEW BEST:: SOT 139137 SOS 82968 HAS SOPS 82968 HAS SOUS 48859 HAS SOUPS 48859 WITH SCORE 48941.968
AT ITER 159 NEW BEST:: SOT 139101 SOS 82948 HAS SOPS 82948 HAS SOUS 48732 HAS SOUPS 48732 WITH SCORE 48814.948
AT ITER 163 NEW BEST:: SOT 139051 SOS 82901 HAS SOPS 82901 HAS SOUS 48682 HAS SOUPS 48682 WITH SCORE 48764.901
AT ITER 172 NEW BEST:: SOT 139105 SOS 85476 HAS SOPS 85476 HAS SOUS 48657 HAS SOUPS 48657 WITH SCORE 48742.476
AT ITER 181 NEW BEST:: SOT 139001 SOS 84932 HAS SOPS 84932 HAS SOUS 48561 HAS SOUPS 48561 WITH SCORE 48645.932
AT ITER 188 NEW BEST:: SOT 139011 SOS 84946 HAS SOPS 84946 HAS SOUS 48537 HAS SOUPS 48537 WITH SCORE 48621.946
AT ITER 191 NEW BEST:: SOT 139021 SOS 84894 HAS SOPS 84894 HAS SOUS 48298 HAS SOUPS 48298 WITH SCORE 48382.894
AT ITER 194 NEW BEST:: SOT 139159 SOS 85232 HAS SOPS 85232 HAS SOUS 48228 HAS SOUPS 48228 WITH SCORE 48313.232
AT ITER 201 NEW BEST:: SOT 139159 SOS 85418 HAS SOPS 85418 HAS SOUS 48224 HAS SOUPS 48224 WITH SCORE 48309.418
AT ITER 204 NEW BEST:: SOT 138522 SOS 84781 HAS SOPS 84781 HAS SOUS 47587 HAS SOUPS 47587 WITH SCORE 47671.781
AT ITER 235 NEW BEST:: SOT 138554 SOS 84813 HAS SOPS 84813 HAS SOUS 47517 HAS SOUPS 47517 WITH SCORE 47601.813
AT ITER 236 NEW BEST:: SOT 138510 SOS 84769 HAS SOPS 84769 HAS SOUS 47491 HAS SOUPS 47491 WITH SCORE 47575.769
AT ITER 237 NEW BEST:: SOT 138485 SOS 84744 HAS SOPS 84744 HAS SOUS 47394 HAS SOUPS 47394 WITH SCORE 47478.744
AT ITER 245 NEW BEST:: SOT 138485 SOS 85576 HAS SOPS 85576 HAS SOUS 47389 HAS SOUPS 47389 WITH SCORE 47474.576
AT ITER 251 NEW BEST:: SOT 138111 SOS 85504 HAS SOPS 85504 HAS SOUS 47328 HAS SOUPS 47328 WITH SCORE 47413.504
AT ITER 253 NEW BEST:: SOT 138214 SOS 86047 HAS SOPS 86047 HAS SOUS 47286 HAS SOUPS 47286 WITH SCORE 47372.047
AT ITER 256 NEW BEST:: SOT 138158 SOS 85991 HAS SOPS 85991 HAS SOUS 47174 HAS SOUPS 47174 WITH SCORE 47259.991
AT ITER 258 NEW BEST:: SOT 138175 SOS 85978 HAS SOPS 85978 HAS SOUS 47063 HAS SOUPS 47063 WITH SCORE 47148.978
AT ITER 289 NEW BEST:: SOT 138190 SOS 85993 HAS SOPS 85993 HAS SOUS 47044 HAS SOUPS 47044 WITH SCORE 47129.993
AT ITER 293 NEW BEST:: SOT 137402 SOS 85205 HAS SOPS 85205 HAS SOUS 46669 HAS SOUPS 46669 WITH SCORE 46754.205
AT ITER 296 NEW BEST:: SOT 137376 SOS 85251 HAS SOPS 85251 HAS SOUS 46587 HAS SOUPS 46587 WITH SCORE 46672.251
AT ITER 310 NEW BEST:: SOT 137433 SOS 86148 HAS SOPS 86148 HAS SOUS 46547 HAS SOUPS 46547 WITH SCORE 46633.148
AT ITER 311 NEW BEST:: SOT 137433 SOS 86844 HAS SOPS 86844 HAS SOUS 46351 HAS SOUPS 46351 WITH SCORE 46437.844
AT ITER 321 NEW BEST:: SOT 137380 SOS 87013 HAS SOPS 87013 HAS SOUS 46307 HAS SOUPS 46307 WITH SCORE 46394.013
AT ITER 323 NEW BEST:: SOT 137361 SOS 87066 HAS SOPS 87066 HAS SOUS 46241 HAS SOUPS 46241 WITH SCORE 46328.066
AT ITER 336 NEW BEST:: SOT 137356 SOS 87061 HAS SOPS 87061 HAS SOUS 46239 HAS SOUPS 46239 WITH SCORE 46326.061
AT ITER 339 NEW BEST:: SOT 137356 SOS 87781 HAS SOPS 87781 HAS SOUS 46155 HAS SOUPS 46155 WITH SCORE 46242.781
AT ITER 343 NEW BEST:: SOT 136813 SOS 87390 HAS SOPS 87390 HAS SOUS 45905 HAS SOUPS 45905 WITH SCORE 45992.39
AT ITER 344 NEW BEST:: SOT 136714 SOS 87291 HAS SOPS 87291 HAS SOUS 45854 HAS SOUPS 45854 WITH SCORE 45941.291
AT ITER 345 NEW BEST:: SOT 136672 SOS 87249 HAS SOPS 87249 HAS SOUS 45851 HAS SOUPS 45851 WITH SCORE 45938.249
AT ITER 346 NEW BEST:: SOT 136721 SOS 87298 HAS SOPS 87298 HAS SOUS 45838 HAS SOUPS 45838 WITH SCORE 45925.298
AT ITER 347 NEW BEST:: SOT 136551 SOS 87128 HAS SOPS 87128 HAS SOUS 45653 HAS SOUPS 45653 WITH SCORE 45740.128
AT ITER 350 NEW BEST:: SOT 136255 SOS 86832 HAS SOPS 86832 HAS SOUS 45215 HAS SOUPS 45215 WITH SCORE 45301.832
AT ITER 353 NEW BEST:: SOT 136229 SOS 86806 HAS SOPS 86806 HAS SOUS 44989 HAS SOUPS 44989 WITH SCORE 45075.806
AT ITER 360 NEW BEST:: SOT 136184 SOS 86761 HAS SOPS 86761 HAS SOUS 44944 HAS SOUPS 44944 WITH SCORE 45030.761
AT ITER 374 NEW BEST:: SOT 136174 SOS 92718 HAS SOPS 92718 HAS SOUS 44780 HAS SOUPS 44780 WITH SCORE 44872.718
AT ITER 392 NEW BEST:: SOT 136153 SOS 92697 HAS SOPS 92697 HAS SOUS 44768 HAS SOUPS 44768 WITH SCORE 44860.697
AT ITER 416 NEW BEST:: SOT 136153 SOS 93697 HAS SOPS 93697 HAS SOUS 44721 HAS SOUPS 44721 WITH SCORE 44814.697
AT ITER 428 NEW BEST:: SOT 136115 SOS 93659 HAS SOPS 93659 HAS SOUS 44665 HAS SOUPS 44665 WITH SCORE 44758.659
AT ITER 447 NEW BEST:: SOT 136115 SOS 93659 HAS SOPS 93659 HAS SOUS 44657 HAS SOUPS 44657 WITH SCORE 44750.659
AT ITER 448 NEW BEST:: SOT 136088 SOS 93888 HAS SOPS 93888 HAS SOUS 44609 HAS SOUPS 44609 WITH SCORE 44702.888
AT ITER 450 NEW BEST:: SOT 135977 SOS 93777 HAS SOPS 93777 HAS SOUS 44402 HAS SOUPS 44402 WITH SCORE 44495.777
AT ITER 471 NEW BEST:: SOT 135941 SOS 93741 HAS SOPS 93741 HAS SOUS 44169 HAS SOUPS 44169 WITH SCORE 44262.741
AT ITER 478 NEW BEST:: SOT 135941 SOS 93741 HAS SOPS 93741 HAS SOUS 44163 HAS SOUPS 44163 WITH SCORE 44256.741
AT ITER 502 NEW BEST:: SOT 135798 SOS 90146 HAS SOPS 90146 HAS SOUS 44084 HAS SOUPS 44084 WITH SCORE 44174.146
AT ITER 506 NEW BEST:: SOT 135981 SOS 90329 HAS SOPS 90329 HAS SOUS 44029 HAS SOUPS 44029 WITH SCORE 44119.329
AT ITER 510 NEW BEST:: SOT 135968 SOS 90316 HAS SOPS 90316 HAS SOUS 43996 HAS SOUPS 43996 WITH SCORE 44086.316
AT ITER 511 NEW BEST:: SOT 135956 SOS 90368 HAS SOPS 90368 HAS SOUS 43942 HAS SOUPS 43942 WITH SCORE 44032.368
AT ITER 525 NEW BEST:: SOT 135944 SOS 90596 HAS SOPS 90596 HAS SOUS 43924 HAS SOUPS 43924 WITH SCORE 44014.596
AT ITER 537 NEW BEST:: SOT 135835 SOS 90487 HAS SOPS 90487 HAS SOUS 43815 HAS SOUPS 43815 WITH SCORE 43905.487
AT ITER 540 NEW BEST:: SOT 135817 SOS 90533 HAS SOPS 90533 HAS SOUS 43749 HAS SOUPS 43749 WITH SCORE 43839.533
AT ITER 546 NEW BEST:: SOT 135818 SOS 90534 HAS SOPS 90534 HAS SOUS 43748 HAS SOUPS 43748 WITH SCORE 43838.534
AT ITER 550 NEW BEST:: SOT 135732 SOS 90448 HAS SOPS 90448 HAS SOUS 43510 HAS SOUPS 43510 WITH SCORE 43600.448
AT ITER 555 NEW BEST:: SOT 135603 SOS 90319 HAS SOPS 90319 HAS SOUS 43498 HAS SOUPS 43498 WITH SCORE 43588.319
AT ITER 564 NEW BEST:: SOT 135598 SOS 90314 HAS SOPS 90314 HAS SOUS 43479 HAS SOUPS 43479 WITH SCORE 43569.314
AT ITER 595 NEW BEST:: SOT 135598 SOS 90018 HAS SOPS 90018 HAS SOUS 43432 HAS SOUPS 43432 WITH SCORE 43522.018
AT ITER 614 NEW BEST:: SOT 135565 SOS 89985 HAS SOPS 89985 HAS SOUS 43288 HAS SOUPS 43288 WITH SCORE 43377.985
AT ITER 620 NEW BEST:: SOT 135932 SOS 93232 HAS SOPS 93232 HAS SOUS 43250 HAS SOUPS 43250 WITH SCORE 43343.232
AT ITER 626 NEW BEST:: SOT 135932 SOS 95640 HAS SOPS 95640 HAS SOUS 43030 HAS SOUPS 43030 WITH SCORE 43125.64
AT ITER 674 NEW BEST:: SOT 135971 SOS 95679 HAS SOPS 95679 HAS SOUS 43024 HAS SOUPS 43024 WITH SCORE 43119.679
AT ITER 680 NEW BEST:: SOT 135971 SOS 94772 HAS SOPS 94772 HAS SOUS 42995 HAS SOUPS 42995 WITH SCORE 43089.772
AT ITER 684 NEW BEST:: SOT 135971 SOS 94772 HAS SOPS 94772 HAS SOUS 42980 HAS SOUPS 42980 WITH SCORE 43074.772
AT ITER 685 NEW BEST:: SOT 135965 SOS 94766 HAS SOPS 94766 HAS SOUS 42968 HAS SOUPS 42968 WITH SCORE 43062.766
AT ITER 701 NEW BEST:: SOT 136105 SOS 94906 HAS SOPS 94906 HAS SOUS 42926 HAS SOUPS 42926 WITH SCORE 43020.906
AT ITER 706 NEW BEST:: SOT 136113 SOS 94914 HAS SOPS 94914 HAS SOUS 42918 HAS SOUPS 42918 WITH SCORE 43012.914
AT ITER 731 NEW BEST:: SOT 136009 SOS 94810 HAS SOPS 94810 HAS SOUS 42586 HAS SOUPS 42586 WITH SCORE 42680.81
AT ITER 744 NEW BEST:: SOT 136009 SOS 94810 HAS SOPS 94810 HAS SOUS 42330 HAS SOUPS 42330 WITH SCORE 42424.81
AT ITER 762 NEW BEST:: SOT 136024 SOS 95031 HAS SOPS 95031 HAS SOUS 42119 HAS SOUPS 42119 WITH SCORE 42214.031
AT ITER 769 NEW BEST:: SOT 136024 SOS 95031 HAS SOPS 95031 HAS SOUS 42087 HAS SOUPS 42087 WITH SCORE 42182.031
AT ITER 771 NEW BEST:: SOT 136026 SOS 95705 HAS SOPS 95705 HAS SOUS 41977 HAS SOUPS 41977 WITH SCORE 42072.705
AT ITER 778 NEW BEST:: SOT 135991 SOS 96012 HAS SOPS 96012 HAS SOUS 41780 HAS SOUPS 41780 WITH SCORE 41876.012
AT ITER 787 NEW BEST:: SOT 135868 SOS 94887 HAS SOPS 94887 HAS SOUS 41683 HAS SOUPS 41683 WITH SCORE 41777.887
AT ITER 802 NEW BEST:: SOT 135718 SOS 94461 HAS SOPS 94461 HAS SOUS 41605 HAS SOUPS 41605 WITH SCORE 41699.461
AT ITER 828 NEW BEST:: SOT 135689 SOS 94432 HAS SOPS 94432 HAS SOUS 41448 HAS SOUPS 41448 WITH SCORE 41542.432
AT ITER 829 NEW BEST:: SOT 135541 SOS 93588 HAS SOPS 93588 HAS SOUS 41395 HAS SOUPS 41395 WITH SCORE 41488.588
AT ITER 832 NEW BEST:: SOT 135619 SOS 93751 HAS SOPS 93751 HAS SOUS 41310 HAS SOUPS 41310 WITH SCORE 41403.751
AT ITER 841 NEW BEST:: SOT 135526 SOS 93858 HAS SOPS 93858 HAS SOUS 41036 HAS SOUPS 41036 WITH SCORE 41129.858
AT ITER 871 NEW BEST:: SOT 135493 SOS 93825 HAS SOPS 93825 HAS SOUS 41003 HAS SOUPS 41003 WITH SCORE 41096.825
AT ITER 883 NEW BEST:: SOT 135490 SOS 93902 HAS SOPS 93902 HAS SOUS 40875 HAS SOUPS 40875 WITH SCORE 40968.902
AT ITER 886 NEW BEST:: SOT 135367 SOS 93779 HAS SOPS 93779 HAS SOUS 40715 HAS SOUPS 40715 WITH SCORE 40808.779
AT ITER 894 NEW BEST:: SOT 135162 SOS 93358 HAS SOPS 93358 HAS SOUS 40631 HAS SOUPS 40631 WITH SCORE 40724.358
AT ITER 943 NEW BEST:: SOT 135149 SOS 93345 HAS SOPS 93345 HAS SOUS 40610 HAS SOUPS 40610 WITH SCORE 40703.345
AT ITER 995 NEW BEST:: SOT 135104 SOS 93652 HAS SOPS 93652 HAS SOUS 40608 HAS SOUPS 40608 WITH SCORE 40701.652
AT ITER 1032 NEW BEST:: SOT 134892 SOS 93094 HAS SOPS 93094 HAS SOUS 40339 HAS SOUPS 40339 WITH SCORE 40432.094
AT ITER 1046 NEW BEST:: SOT 134884 SOS 92958 HAS SOPS 92958 HAS SOUS 40323 HAS SOUPS 40323 WITH SCORE 40415.958
AT ITER 1076 NEW BEST:: SOT 134884 SOS 92958 HAS SOPS 92958 HAS SOUS 40321 HAS SOUPS 40321 WITH SCORE 40413.958
AT ITER 1086 NEW BEST:: SOT 134897 SOS 92971 HAS SOPS 92971 HAS SOUS 40310 HAS SOUPS 40310 WITH SCORE 40402.971
AT ITER 1088 NEW BEST:: SOT 134819 SOS 93055 HAS SOPS 93055 HAS SOUS 40126 HAS SOUPS 40126 WITH SCORE 40219.055
AT ITER 1094 NEW BEST:: SOT 134742 SOS 92978 HAS SOPS 92978 HAS SOUS 40091 HAS SOUPS 40091 WITH SCORE 40183.978
AT ITER 1104 NEW BEST:: SOT 134369 SOS 92900 HAS SOPS 92900 HAS SOUS 40062 HAS SOUPS 40062 WITH SCORE 40154.9
AT ITER 1138 NEW BEST:: SOT 134362 SOS 92893 HAS SOPS 92893 HAS SOUS 40055 HAS SOUPS 40055 WITH SCORE 40147.893
AT ITER 1147 NEW BEST:: SOT 134481 SOS 93572 HAS SOPS 93572 HAS SOUS 40002 HAS SOUPS 40002 WITH SCORE 40095.572
AT ITER 1156 NEW BEST:: SOT 134484 SOS 93415 HAS SOPS 93415 HAS SOUS 39993 HAS SOUPS 39993 WITH SCORE 40086.415
AT ITER 1188 NEW BEST:: SOT 134471 SOS 93402 HAS SOPS 93402 HAS SOUS 39964 HAS SOUPS 39964 WITH SCORE 40057.402
AT ITER 1200 NEW BEST:: SOT 134494 SOS 93457 HAS SOPS 93457 HAS SOUS 39959 HAS SOUPS 39959 WITH SCORE 40052.457
AT ITER 1208 NEW BEST:: SOT 134065 SOS 93124 HAS SOPS 93124 HAS SOUS 39554 HAS SOUPS 39554 WITH SCORE 39647.124
AT ITER 1212 NEW BEST:: SOT 134034 SOS 93221 HAS SOPS 93221 HAS SOUS 39426 HAS SOUPS 39426 WITH SCORE 39519.221
AT ITER 1215 NEW BEST:: SOT 133822 SOS 93009 HAS SOPS 93009 HAS SOUS 39214 HAS SOUPS 39214 WITH SCORE 39307.009
AT ITER 1217 NEW BEST:: SOT 133206 SOS 92953 HAS SOPS 92953 HAS SOUS 38324 HAS SOUPS 38324 WITH SCORE 38416.953
AT ITER 1265 NEW BEST:: SOT 133216 SOS 92963 HAS SOPS 92963 HAS SOUS 38318 HAS SOUPS 38318 WITH SCORE 38410.963
AT ITER 1267 NEW BEST:: SOT 133216 SOS 91995 HAS SOPS 91995 HAS SOUS 38318 HAS SOUPS 38318 WITH SCORE 38409.995
AT ITER 1287 NEW BEST:: SOT 133153 SOS 91932 HAS SOPS 91932 HAS SOUS 38207 HAS SOUPS 38207 WITH SCORE 38298.932
AT ITER 1299 NEW BEST:: SOT 133155 SOS 91931 HAS SOPS 91931 HAS SOUS 38169 HAS SOUPS 38169 WITH SCORE 38260.931
AT ITER 1346 NEW BEST:: SOT 133082 SOS 90834 HAS SOPS 90834 HAS SOUS 38152 HAS SOUPS 38152 WITH SCORE 38242.834
AT ITER 1371 NEW BEST:: SOT 132930 SOS 90682 HAS SOPS 90682 HAS SOUS 38031 HAS SOUPS 38031 WITH SCORE 38121.682
AT ITER 1402 NEW BEST:: SOT 132932 SOS 90676 HAS SOPS 90676 HAS SOUS 38023 HAS SOUPS 38023 WITH SCORE 38113.676
AT ITER 1434 NEW BEST:: SOT 132797 SOS 90669 HAS SOPS 90669 HAS SOUS 37944 HAS SOUPS 37944 WITH SCORE 38034.669
AT ITER 1454 NEW BEST:: SOT 132788 SOS 90804 HAS SOPS 90804 HAS SOUS 37800 HAS SOUPS 37800 WITH SCORE 37890.804
AT ITER 1476 NEW BEST:: SOT 132790 SOS 90806 HAS SOPS 90806 HAS SOUS 37786 HAS SOUPS 37786 WITH SCORE 37876.806
AT ITER 1486 NEW BEST:: SOT 132613 SOS 90629 HAS SOPS 90629 HAS SOUS 37697 HAS SOUPS 37697 WITH SCORE 37787.629
AT ITER 1503 NEW BEST:: SOT 132611 SOS 90659 HAS SOPS 90659 HAS SOUS 37693 HAS SOUPS 37693 WITH SCORE 37783.659
AT ITER 1516 NEW BEST:: SOT 132611 SOS 90603 HAS SOPS 90603 HAS SOUS 37590 HAS SOUPS 37590 WITH SCORE 37680.603
AT ITER 1521 NEW BEST:: SOT 132605 SOS 90597 HAS SOPS 90597 HAS SOUS 37570 HAS SOUPS 37570 WITH SCORE 37660.597
AT ITER 1549 NEW BEST:: SOT 132634 SOS 90578 HAS SOPS 90578 HAS SOUS 37569 HAS SOUPS 37569 WITH SCORE 37659.578
AT ITER 1593 NEW BEST:: SOT 132625 SOS 90170 HAS SOPS 90170 HAS SOUS 36869 HAS SOUPS 36869 WITH SCORE 36959.17
AT ITER 1598 NEW BEST:: SOT 132630 SOS 90175 HAS SOPS 90175 HAS SOUS 36654 HAS SOUPS 36654 WITH SCORE 36744.175
AT ITER 1606 NEW BEST:: SOT 132630 SOS 90367 HAS SOPS 90367 HAS SOUS 36651 HAS SOUPS 36651 WITH SCORE 36741.367
AT ITER 1643 NEW BEST:: SOT 132638 SOS 91591 HAS SOPS 91591 HAS SOUS 36589 HAS SOUPS 36589 WITH SCORE 36680.591
AT ITER 1649 NEW BEST:: SOT 132586 SOS 91539 HAS SOPS 91539 HAS SOUS 36537 HAS SOUPS 36537 WITH SCORE 36628.539
AT ITER 1669 NEW BEST:: SOT 132571 SOS 91524 HAS SOPS 91524 HAS SOUS 36506 HAS SOUPS 36506 WITH SCORE 36597.524
AT ITER 1675 NEW BEST:: SOT 132340 SOS 91547 HAS SOPS 91547 HAS SOUS 36264 HAS SOUPS 36264 WITH SCORE 36355.547
AT ITER 1692 NEW BEST:: SOT 132331 SOS 91610 HAS SOPS 91610 HAS SOUS 36228 HAS SOUPS 36228 WITH SCORE 36319.61
AT ITER 1704 NEW BEST:: SOT 132319 SOS 91598 HAS SOPS 91598 HAS SOUS 36216 HAS SOUPS 36216 WITH SCORE 36307.598
AT ITER 1711 NEW BEST:: SOT 132256 SOS 91507 HAS SOPS 91507 HAS SOUS 36186 HAS SOUPS 36186 WITH SCORE 36277.507
AT ITER 1713 NEW BEST:: SOT 132271 SOS 91522 HAS SOPS 91522 HAS SOUS 36182 HAS SOUPS 36182 WITH SCORE 36273.522
AT ITER 1720 NEW BEST:: SOT 132333 SOS 91584 HAS SOPS 91584 HAS SOUS 35919 HAS SOUPS 35919 WITH SCORE 36010.584
AT ITER 1741 NEW BEST:: SOT 132337 SOS 91613 HAS SOPS 91613 HAS SOUS 35915 HAS SOUPS 35915 WITH SCORE 36006.613
AT ITER 1751 NEW BEST:: SOT 132337 SOS 91613 HAS SOPS 91613 HAS SOUS 35910 HAS SOUPS 35910 WITH SCORE 36001.613
AT ITER 1775 NEW BEST:: SOT 132472 SOS 92500 HAS SOPS 92500 HAS SOUS 35748 HAS SOUPS 35748 WITH SCORE 35840.5
AT ITER 1780 NEW BEST:: SOT 132274 SOS 92302 HAS SOPS 92302 HAS SOUS 35699 HAS SOUPS 35699 WITH SCORE 35791.302
AT ITER 1796 NEW BEST:: SOT 132261 SOS 92293 HAS SOPS 92293 HAS SOUS 35686 HAS SOUPS 35686 WITH SCORE 35778.293
AT ITER 1809 NEW BEST:: SOT 132266 SOS 92298 HAS SOPS 92298 HAS SOUS 35656 HAS SOUPS 35656 WITH SCORE 35748.298
AT ITER 1813 NEW BEST:: SOT 132065 SOS 91873 HAS SOPS 91873 HAS SOUS 35351 HAS SOUPS 35351 WITH SCORE 35442.873
AT ITER 1833 NEW BEST:: SOT 132194 SOS 91816 HAS SOPS 91816 HAS SOUS 35312 HAS SOUPS 35312 WITH SCORE 35403.816
AT ITER 1846 NEW BEST:: SOT 132188 SOS 91810 HAS SOPS 91810 HAS SOUS 35306 HAS SOUPS 35306 WITH SCORE 35397.81
AT ITER 1877 NEW BEST:: SOT 132188 SOS 91810 HAS SOPS 91810 HAS SOUS 35274 HAS SOUPS 35274 WITH SCORE 35365.81
AT ITER 1891 NEW BEST:: SOT 132195 SOS 92201 HAS SOPS 92201 HAS SOUS 35216 HAS SOUPS 35216 WITH SCORE 35308.201
AT ITER 1909 NEW BEST:: SOT 132196 SOS 92202 HAS SOPS 92202 HAS SOUS 35203 HAS SOUPS 35203 WITH SCORE 35295.202
AT ITER 1914 NEW BEST:: SOT 132192 SOS 92014 HAS SOPS 92014 HAS SOUS 35076 HAS SOUPS 35076 WITH SCORE 35168.014
AT ITER 1944 NEW BEST:: SOT 132210 SOS 92121 HAS SOPS 92121 HAS SOUS 35040 HAS SOUPS 35040 WITH SCORE 35132.121
AT ITER 1958 NEW BEST:: SOT 132183 SOS 92094 HAS SOPS 92094 HAS SOUS 35010 HAS SOUPS 35010 WITH SCORE 35102.094
AT ITER 1965 NEW BEST:: SOT 132119 SOS 92102 HAS SOPS 92102 HAS SOUS 34862 HAS SOUPS 34862 WITH SCORE 34954.102
AT ITER 2018 NEW BEST:: SOT 132119 SOS 92077 HAS SOPS 92077 HAS SOUS 34842 HAS SOUPS 34842 WITH SCORE 34934.077
AT ITER 2027 NEW BEST:: SOT 132119 SOS 92077 HAS SOPS 92077 HAS SOUS 34840 HAS SOUPS 34840 WITH SCORE 34932.077
AT ITER 2031 NEW BEST:: SOT 132240 SOS 91462 HAS SOPS 91462 HAS SOUS 34711 HAS SOUPS 34711 WITH SCORE 34802.462
AT ITER 2062 NEW BEST:: SOT 132233 SOS 91455 HAS SOPS 91455 HAS SOUS 34620 HAS SOUPS 34620 WITH SCORE 34711.455
AT ITER 2086 NEW BEST:: SOT 132228 SOS 91450 HAS SOPS 91450 HAS SOUS 34615 HAS SOUPS 34615 WITH SCORE 34706.45
AT ITER 2092 NEW BEST:: SOT 132214 SOS 91436 HAS SOPS 91436 HAS SOUS 34601 HAS SOUPS 34601 WITH SCORE 34692.436
AT ITER 2107 NEW BEST:: SOT 132251 SOS 91473 HAS SOPS 91473 HAS SOUS 34376 HAS SOUPS 34376 WITH SCORE 34467.473
AT ITER 2109 NEW BEST:: SOT 132247 SOS 91469 HAS SOPS 91469 HAS SOUS 34228 HAS SOUPS 34228 WITH SCORE 34319.469
AT ITER 2126 NEW BEST:: SOT 132247 SOS 91469 HAS SOPS 91469 HAS SOUS 34119 HAS SOUPS 34119 WITH SCORE 34210.469
AT ITER 2136 NEW BEST:: SOT 132252 SOS 91474 HAS SOPS 91474 HAS SOUS 34044 HAS SOUPS 34044 WITH SCORE 34135.474
AT ITER 2189 NEW BEST:: SOT 132243 SOS 91465 HAS SOPS 91465 HAS SOUS 34038 HAS SOUPS 34038 WITH SCORE 34129.465
AT ITER 2263 NEW BEST:: SOT 132226 SOS 91448 HAS SOPS 91448 HAS SOUS 34027 HAS SOUPS 34027 WITH SCORE 34118.448
AT ITER 2303 NEW BEST:: SOT 132207 SOS 91429 HAS SOPS 91429 HAS SOUS 33984 HAS SOUPS 33984 WITH SCORE 34075.429
AT ITER 2321 NEW BEST:: SOT 132207 SOS 91301 HAS SOPS 91301 HAS SOUS 33982 HAS SOUPS 33982 WITH SCORE 34073.301
AT ITER 2354 NEW BEST:: SOT 132214 SOS 91308 HAS SOPS 91308 HAS SOUS 33921 HAS SOUPS 33921 WITH SCORE 34012.308
AT ITER 2382 NEW BEST:: SOT 132226 SOS 91320 HAS SOPS 91320 HAS SOUS 33869 HAS SOUPS 33869 WITH SCORE 33960.32
AT ITER 2400 NEW BEST:: SOT 132205 SOS 91299 HAS SOPS 91299 HAS SOUS 33866 HAS SOUPS 33866 WITH SCORE 33957.299
AT ITER 2431 NEW BEST:: SOT 132126 SOS 90868 HAS SOPS 90868 HAS SOUS 33823 HAS SOUPS 33823 WITH SCORE 33913.868
AT ITER 2438 NEW BEST:: SOT 132044 SOS 90874 HAS SOPS 90874 HAS SOUS 33795 HAS SOUPS 33795 WITH SCORE 33885.874
AT ITER 2439 NEW BEST:: SOT 132044 SOS 90138 HAS SOPS 90138 HAS SOUS 33793 HAS SOUPS 33793 WITH SCORE 33883.138
AT ITER 2453 NEW BEST:: SOT 131915 SOS 90168 HAS SOPS 90168 HAS SOUS 33686 HAS SOUPS 33686 WITH SCORE 33776.168
AT ITER 2574 NEW BEST:: SOT 131908 SOS 90161 HAS SOPS 90161 HAS SOUS 33679 HAS SOUPS 33679 WITH SCORE 33769.161
AT ITER 2585 NEW BEST:: SOT 131910 SOS 90163 HAS SOPS 90163 HAS SOUS 33671 HAS SOUPS 33671 WITH SCORE 33761.163
AT ITER 2605 NEW BEST:: SOT 131905 SOS 90158 HAS SOPS 90158 HAS SOUS 33666 HAS SOUPS 33666 WITH SCORE 33756.158
AT ITER 2621 NEW BEST:: SOT 131888 SOS 90141 HAS SOPS 90141 HAS SOUS 33662 HAS SOUPS 33662 WITH SCORE 33752.141
AT ITER 2625 NEW BEST:: SOT 131884 SOS 90137 HAS SOPS 90137 HAS SOUS 33658 HAS SOUPS 33658 WITH SCORE 33748.137
AT ITER 2652 NEW BEST:: SOT 131870 SOS 90123 HAS SOPS 90123 HAS SOUS 33656 HAS SOUPS 33656 WITH SCORE 33746.123
AT ITER 2658 NEW BEST:: SOT 131870 SOS 90123 HAS SOPS 90123 HAS SOUS 33655 HAS SOUPS 33655 WITH SCORE 33745.123
AT ITER 2720 NEW BEST:: SOT 131860 SOS 90209 HAS SOPS 90209 HAS SOUS 33617 HAS SOUPS 33617 WITH SCORE 33707.209
AT ITER 2766 NEW BEST:: SOT 131861 SOS 90450 HAS SOPS 90450 HAS SOUS 33613 HAS SOUPS 33613 WITH SCORE 33703.45
AT ITER 2781 NEW BEST:: SOT 131861 SOS 90436 HAS SOPS 90436 HAS SOUS 33603 HAS SOUPS 33603 WITH SCORE 33693.436
AT ITER 2788 NEW BEST:: SOT 131861 SOS 90388 HAS SOPS 90388 HAS SOUS 33507 HAS SOUPS 33507 WITH SCORE 33597.388
AT ITER 2798 NEW BEST:: SOT 131860 SOS 90371 HAS SOPS 90371 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33595.371
AT ITER 2817 NEW BEST:: SOT 131860 SOS 90403 HAS SOPS 90403 HAS SOUS 33501 HAS SOUPS 33501 WITH SCORE 33591.403
AT ITER 2825 NEW BEST:: SOT 131843 SOS 90386 HAS SOPS 90386 HAS SOUS 33484 HAS SOUPS 33484 WITH SCORE 33574.386
AT ITER 2841 NEW BEST:: SOT 131840 SOS 90383 HAS SOPS 90383 HAS SOUS 33473 HAS SOUPS 33473 WITH SCORE 33563.383
AT ITER 2865 NEW BEST:: SOT 131788 SOS 90331 HAS SOPS 90331 HAS SOUS 33429 HAS SOUPS 33429 WITH SCORE 33519.331
AT ITER 2868 NEW BEST:: SOT 131756 SOS 90395 HAS SOPS 90395 HAS SOUS 33385 HAS SOUPS 33385 WITH SCORE 33475.395
AT ITER 2871 NEW BEST:: SOT 131744 SOS 90408 HAS SOPS 90408 HAS SOUS 33378 HAS SOUPS 33378 WITH SCORE 33468.408
AT ITER 2902 NEW BEST:: SOT 131744 SOS 90408 HAS SOPS 90408 HAS SOUS 33370 HAS SOUPS 33370 WITH SCORE 33460.408
AT ITER 2919 NEW BEST:: SOT 131740 SOS 90409 HAS SOPS 90409 HAS SOUS 33359 HAS SOUPS 33359 WITH SCORE 33449.409
AT ITER 2945 NEW BEST:: SOT 131705 SOS 90374 HAS SOPS 90374 HAS SOUS 33284 HAS SOUPS 33284 WITH SCORE 33374.374
AT ITER 2957 NEW BEST:: SOT 131691 SOS 90360 HAS SOPS 90360 HAS SOUS 33242 HAS SOUPS 33242 WITH SCORE 33332.36
AT ITER 3025 NEW BEST:: SOT 131691 SOS 90360 HAS SOPS 90360 HAS SOUS 33241 HAS SOUPS 33241 WITH SCORE 33331.36
AT ITER 3062 NEW BEST:: SOT 131669 SOS 90446 HAS SOPS 90446 HAS SOUS 33219 HAS SOUPS 33219 WITH SCORE 33309.446
AT ITER 3105 NEW BEST:: SOT 131443 SOS 90057 HAS SOPS 90057 HAS SOUS 33089 HAS SOUPS 33089 WITH SCORE 33179.057
AT ITER 3155 NEW BEST:: SOT 131444 SOS 90058 HAS SOPS 90058 HAS SOUS 33080 HAS SOUPS 33080 WITH SCORE 33170.058
AT ITER 3197 NEW BEST:: SOT 131417 SOS 90031 HAS SOPS 90031 HAS SOUS 33077 HAS SOUPS 33077 WITH SCORE 33167.031
AT ITER 3203 NEW BEST:: SOT 131376 SOS 89878 HAS SOPS 89878 HAS SOUS 33069 HAS SOUPS 33069 WITH SCORE 33158.878
AT ITER 3296 NEW BEST:: SOT 131380 SOS 89978 HAS SOPS 89978 HAS SOUS 33062 HAS SOUPS 33062 WITH SCORE 33151.978
AT ITER 3325 NEW BEST:: SOT 131386 SOS 90725 HAS SOPS 90725 HAS SOUS 33043 HAS SOUPS 33043 WITH SCORE 33133.725
AT ITER 3348 NEW BEST:: SOT 131306 SOS 90645 HAS SOPS 90645 HAS SOUS 32994 HAS SOUPS 32994 WITH SCORE 33084.645
AT ITER 3354 NEW BEST:: SOT 131512 SOS 90851 HAS SOPS 90851 HAS SOUS 32973 HAS SOUPS 32973 WITH SCORE 33063.851
AT ITER 3359 NEW BEST:: SOT 131519 SOS 90858 HAS SOPS 90858 HAS SOUS 32969 HAS SOUPS 32969 WITH SCORE 33059.858
AT ITER 3452 NEW BEST:: SOT 131519 SOS 90858 HAS SOPS 90858 HAS SOUS 32948 HAS SOUPS 32948 WITH SCORE 33038.858
AT ITER 3462 NEW BEST:: SOT 131349 SOS 90688 HAS SOPS 90688 HAS SOUS 32738 HAS SOUPS 32738 WITH SCORE 32828.688
AT ITER 3481 NEW BEST:: SOT 131325 SOS 90664 HAS SOPS 90664 HAS SOUS 32714 HAS SOUPS 32714 WITH SCORE 32804.664
AT ITER 3489 NEW BEST:: SOT 131240 SOS 90579 HAS SOPS 90579 HAS SOUS 32619 HAS SOUPS 32619 WITH SCORE 32709.579
AT ITER 3500 NEW BEST:: SOT 131142 SOS 90481 HAS SOPS 90481 HAS SOUS 32526 HAS SOUPS 32526 WITH SCORE 32616.481
AT ITER 3502 NEW BEST:: SOT 131116 SOS 90455 HAS SOPS 90455 HAS SOUS 32496 HAS SOUPS 32496 WITH SCORE 32586.455
AT ITER 3516 NEW BEST:: SOT 131095 SOS 90434 HAS SOPS 90434 HAS SOUS 32475 HAS SOUPS 32475 WITH SCORE 32565.434
AT ITER 3550 NEW BEST:: SOT 131093 SOS 90432 HAS SOPS 90432 HAS SOUS 32465 HAS SOUPS 32465 WITH SCORE 32555.432
AT ITER 3579 NEW BEST:: SOT 131105 SOS 90389 HAS SOPS 90389 HAS SOUS 32450 HAS SOUPS 32450 WITH SCORE 32540.389
AT ITER 3610 NEW BEST:: SOT 131203 SOS 92663 HAS SOPS 92663 HAS SOUS 32428 HAS SOUPS 32428 WITH SCORE 32520.663
AT ITER 3787 NEW BEST:: SOT 131203 SOS 93135 HAS SOPS 93135 HAS SOUS 32426 HAS SOUPS 32426 WITH SCORE 32519.135
AT ITER 3795 NEW BEST:: SOT 131180 SOS 93112 HAS SOPS 93112 HAS SOUS 32379 HAS SOUPS 32379 WITH SCORE 32472.112
AT ITER 3882 NEW BEST:: SOT 131173 SOS 93121 HAS SOPS 93121 HAS SOUS 32372 HAS SOUPS 32372 WITH SCORE 32465.121
AT ITER 3915 NEW BEST:: SOT 131201 SOS 93221 HAS SOPS 93221 HAS SOUS 32364 HAS SOUPS 32364 WITH SCORE 32457.221
AT ITER 3984 NEW BEST:: SOT 131201 SOS 93221 HAS SOPS 93221 HAS SOUS 32354 HAS SOUPS 32354 WITH SCORE 32447.221
AT ITER 3998 NEW BEST:: SOT 131203 SOS 93223 HAS SOPS 93223 HAS SOUS 32352 HAS SOUPS 32352 WITH SCORE 32445.223
AT ITER 4014 NEW BEST:: SOT 131211 SOS 93231 HAS SOPS 93231 HAS SOUS 32304 HAS SOUPS 32304 WITH SCORE 32397.231
AT ITER 4030 NEW BEST:: SOT 131109 SOS 93129 HAS SOPS 93129 HAS SOUS 32202 HAS SOUPS 32202 WITH SCORE 32295.129
AT ITER 4039 NEW BEST:: SOT 131103 SOS 93123 HAS SOPS 93123 HAS SOUS 32196 HAS SOUPS 32196 WITH SCORE 32289.123
AT ITER 4062 NEW BEST:: SOT 131095 SOS 93115 HAS SOPS 93115 HAS SOUS 32188 HAS SOUPS 32188 WITH SCORE 32281.115
AT ITER 4112 NEW BEST:: SOT 131102 SOS 93122 HAS SOPS 93122 HAS SOUS 32178 HAS SOUPS 32178 WITH SCORE 32271.122
AT ITER 4166 NEW BEST:: SOT 131086 SOS 93106 HAS SOPS 93106 HAS SOUS 32161 HAS SOUPS 32161 WITH SCORE 32254.106
AT ITER 4168 NEW BEST:: SOT 131071 SOS 93091 HAS SOPS 93091 HAS SOUS 32146 HAS SOUPS 32146 WITH SCORE 32239.091
AT ITER 4203 NEW BEST:: SOT 131062 SOS 93082 HAS SOPS 93082 HAS SOUS 32121 HAS SOUPS 32121 WITH SCORE 32214.082
AT ITER 4305 NEW BEST:: SOT 131037 SOS 93057 HAS SOPS 93057 HAS SOUS 32098 HAS SOUPS 32098 WITH SCORE 32191.057
AT ITER 4327 NEW BEST:: SOT 131038 SOS 93058 HAS SOPS 93058 HAS SOUS 32075 HAS SOUPS 32075 WITH SCORE 32168.058
AT ITER 4357 NEW BEST:: SOT 131011 SOS 93031 HAS SOPS 93031 HAS SOUS 32064 HAS SOUPS 32064 WITH SCORE 32157.031
AT ITER 4362 NEW BEST:: SOT 130963 SOS 92983 HAS SOPS 92983 HAS SOUS 32004 HAS SOUPS 32004 WITH SCORE 32096.983
AT ITER 4450 NEW BEST:: SOT 130963 SOS 92983 HAS SOPS 92983 HAS SOUS 31994 HAS SOUPS 31994 WITH SCORE 32086.983
AT ITER 4475 NEW BEST:: SOT 130955 SOS 92975 HAS SOPS 92975 HAS SOUS 31986 HAS SOUPS 31986 WITH SCORE 32078.975
AT ITER 4476 NEW BEST:: SOT 130947 SOS 92967 HAS SOPS 92967 HAS SOUS 31978 HAS SOUPS 31978 WITH SCORE 32070.967
AT ITER 4559 NEW BEST:: SOT 130950 SOS 92878 HAS SOPS 92878 HAS SOUS 31790 HAS SOUPS 31790 WITH SCORE 31882.878
AT ITER 4594 NEW BEST:: SOT 130915 SOS 92843 HAS SOPS 92843 HAS SOUS 31779 HAS SOUPS 31779 WITH SCORE 31871.843
AT ITER 4745 NEW BEST:: SOT 130925 SOS 92853 HAS SOPS 92853 HAS SOUS 31748 HAS SOUPS 31748 WITH SCORE 31840.853
AT ITER 4773 NEW BEST:: SOT 131027 SOS 92347 HAS SOPS 92347 HAS SOUS 31661 HAS SOUPS 31661 WITH SCORE 31753.347
AT ITER 4798 NEW BEST:: SOT 131027 SOS 92347 HAS SOPS 92347 HAS SOUS 31611 HAS SOUPS 31611 WITH SCORE 31703.347
AT ITER 4924 NEW BEST:: SOT 131027 SOS 91979 HAS SOPS 91979 HAS SOUS 31565 HAS SOUPS 31565 WITH SCORE 31656.979
AT ITER 4928 NEW BEST:: SOT 131027 SOS 91987 HAS SOPS 91987 HAS SOUS 31564 HAS SOUPS 31564 WITH SCORE 31655.987
AT ITER 4943 NEW BEST:: SOT 131014 SOS 91974 HAS SOPS 91974 HAS SOUS 31559 HAS SOUPS 31559 WITH SCORE 31650.974
AT ITER 4946 NEW BEST:: SOT 131008 SOS 91968 HAS SOPS 91968 HAS SOUS 31553 HAS SOUPS 31553 WITH SCORE 31644.968
AT ITER 4954 NEW BEST:: SOT 130953 SOS 91913 HAS SOPS 91913 HAS SOUS 31498 HAS SOUPS 31498 WITH SCORE 31589.913
AT ITER 4980 NEW BEST:: SOT 130946 SOS 91906 HAS SOPS 91906 HAS SOUS 31491 HAS SOUPS 31491 WITH SCORE 31582.906
AT ITER 4997 NEW BEST:: SOT 130946 SOS 91906 HAS SOPS 91906 HAS SOUS 31475 HAS SOUPS 31475 WITH SCORE 31566.906
AT ITER 5000 NEW BEST:: SOT 130946 SOS 91914 HAS SOPS 91914 HAS SOUS 31465 HAS SOUPS 31465 WITH SCORE 31556.914
AT ITER 5002 NEW BEST:: SOT 130892 SOS 91860 HAS SOPS 91860 HAS SOUS 31411 HAS SOUPS 31411 WITH SCORE 31502.86
AT ITER 5014 NEW BEST:: SOT 130892 SOS 91988 HAS SOPS 91988 HAS SOUS 31409 HAS SOUPS 31409 WITH SCORE 31500.988
AT ITER 5026 NEW BEST:: SOT 130803 SOS 91904 HAS SOPS 91904 HAS SOUS 31304 HAS SOUPS 31304 WITH SCORE 31395.904
AT ITER 5037 NEW BEST:: SOT 130781 SOS 91834 HAS SOPS 91834 HAS SOUS 31299 HAS SOUPS 31299 WITH SCORE 31390.834
AT ITER 5063 NEW BEST:: SOT 130791 SOS 91844 HAS SOPS 91844 HAS SOUS 31278 HAS SOUPS 31278 WITH SCORE 31369.844
AT ITER 5110 NEW BEST:: SOT 130659 SOS 91712 HAS SOPS 91712 HAS SOUS 31258 HAS SOUPS 31258 WITH SCORE 31349.712
AT ITER 5116 NEW BEST:: SOT 130671 SOS 91772 HAS SOPS 91772 HAS SOUS 31249 HAS SOUPS 31249 WITH SCORE 31340.772
AT ITER 5123 NEW BEST:: SOT 130562 SOS 91919 HAS SOPS 91919 HAS SOUS 31156 HAS SOUPS 31156 WITH SCORE 31247.919
AT ITER 5204 NEW BEST:: SOT 130562 SOS 91815 HAS SOPS 91815 HAS SOUS 31155 HAS SOUPS 31155 WITH SCORE 31246.815
AT ITER 5221 NEW BEST:: SOT 130530 SOS 91783 HAS SOPS 91783 HAS SOUS 31123 HAS SOUPS 31123 WITH SCORE 31214.783
AT ITER 5254 NEW BEST:: SOT 130514 SOS 91767 HAS SOPS 91767 HAS SOUS 31123 HAS SOUPS 31123 WITH SCORE 31214.767
AT ITER 5332 NEW BEST:: SOT 130473 SOS 91726 HAS SOPS 91726 HAS SOUS 31103 HAS SOUPS 31103 WITH SCORE 31194.726
AT ITER 5347 NEW BEST:: SOT 130476 SOS 91665 HAS SOPS 91665 HAS SOUS 31102 HAS SOUPS 31102 WITH SCORE 31193.665
AT ITER 5353 NEW BEST:: SOT 130262 SOS 91374 HAS SOPS 91374 HAS SOUS 31033 HAS SOUPS 31033 WITH SCORE 31124.374
AT ITER 5367 NEW BEST:: SOT 130245 SOS 91357 HAS SOPS 91357 HAS SOUS 30974 HAS SOUPS 30974 WITH SCORE 31065.357
AT ITER 5392 NEW BEST:: SOT 130241 SOS 91353 HAS SOPS 91353 HAS SOUS 30970 HAS SOUPS 30970 WITH SCORE 31061.353
AT ITER 5467 NEW BEST:: SOT 130238 SOS 91350 HAS SOPS 91350 HAS SOUS 30943 HAS SOUPS 30943 WITH SCORE 31034.35
AT ITER 5486 NEW BEST:: SOT 130235 SOS 91347 HAS SOPS 91347 HAS SOUS 30940 HAS SOUPS 30940 WITH SCORE 31031.347
AT ITER 5491 NEW BEST:: SOT 130234 SOS 91346 HAS SOPS 91346 HAS SOUS 30931 HAS SOUPS 30931 WITH SCORE 31022.346
AT ITER 5495 NEW BEST:: SOT 130234 SOS 86978 HAS SOPS 86978 HAS SOUS 30931 HAS SOUPS 30931 WITH SCORE 31017.978
AT ITER 5626 NEW BEST:: SOT 130218 SOS 86962 HAS SOPS 86962 HAS SOUS 30883 HAS SOUPS 30883 WITH SCORE 30969.962
AT ITER 5674 NEW BEST:: SOT 130222 SOS 86966 HAS SOPS 86966 HAS SOUS 30863 HAS SOUPS 30863 WITH SCORE 30949.966
AT ITER 5679 NEW BEST:: SOT 130222 SOS 86470 HAS SOPS 86470 HAS SOUS 30805 HAS SOUPS 30805 WITH SCORE 30891.47
AT ITER 5694 NEW BEST:: SOT 130221 SOS 86469 HAS SOPS 86469 HAS SOUS 30796 HAS SOUPS 30796 WITH SCORE 30882.469
AT ITER 5734 NEW BEST:: SOT 130215 SOS 86463 HAS SOPS 86463 HAS SOUS 30790 HAS SOUPS 30790 WITH SCORE 30876.463
AT ITER 5749 NEW BEST:: SOT 130199 SOS 86447 HAS SOPS 86447 HAS SOUS 30774 HAS SOUPS 30774 WITH SCORE 30860.447
AT ITER 5844 NEW BEST:: SOT 130199 SOS 86447 HAS SOPS 86447 HAS SOUS 30758 HAS SOUPS 30758 WITH SCORE 30844.447
AT ITER 5898 NEW BEST:: SOT 130239 SOS 86487 HAS SOPS 86487 HAS SOUS 30718 HAS SOUPS 30718 WITH SCORE 30804.487
AT ITER 5901 NEW BEST:: SOT 130239 SOS 86423 HAS SOPS 86423 HAS SOUS 30717 HAS SOUPS 30717 WITH SCORE 30803.423
AT ITER 5915 NEW BEST:: SOT 130239 SOS 86455 HAS SOPS 86455 HAS SOUS 30712 HAS SOUPS 30712 WITH SCORE 30798.455
AT ITER 5978 NEW BEST:: SOT 130233 SOS 86449 HAS SOPS 86449 HAS SOUS 30690 HAS SOUPS 30690 WITH SCORE 30776.449
AT ITER 6026 NEW BEST:: SOT 130233 SOS 86319 HAS SOPS 86319 HAS SOUS 30668 HAS SOUPS 30668 WITH SCORE 30754.319
AT ITER 6041 NEW BEST:: SOT 130112 SOS 86198 HAS SOPS 86198 HAS SOUS 30630 HAS SOUPS 30630 WITH SCORE 30716.198
AT ITER 6088 NEW BEST:: SOT 130109 SOS 86195 HAS SOPS 86195 HAS SOUS 30627 HAS SOUPS 30627 WITH SCORE 30713.195
AT ITER 6233 NEW BEST:: SOT 130089 SOS 86175 HAS SOPS 86175 HAS SOUS 30607 HAS SOUPS 30607 WITH SCORE 30693.175
AT ITER 6433 NEW BEST:: SOT 130077 SOS 86163 HAS SOPS 86163 HAS SOUS 30593 HAS SOUPS 30593 WITH SCORE 30679.163
AT ITER 6440 NEW BEST:: SOT 130070 SOS 86156 HAS SOPS 86156 HAS SOUS 30574 HAS SOUPS 30574 WITH SCORE 30660.156
AT ITER 6465 NEW BEST:: SOT 130102 SOS 86268 HAS SOPS 86268 HAS SOUS 30571 HAS SOUPS 30571 WITH SCORE 30657.268
AT ITER 6541 NEW BEST:: SOT 130102 SOS 86268 HAS SOPS 86268 HAS SOUS 30570 HAS SOUPS 30570 WITH SCORE 30656.268
AT ITER 6577 NEW BEST:: SOT 130102 SOS 86262 HAS SOPS 86262 HAS SOUS 30567 HAS SOUPS 30567 WITH SCORE 30653.262
AT ITER 6679 NEW BEST:: SOT 130161 SOS 86615 HAS SOPS 86615 HAS SOUS 30564 HAS SOUPS 30564 WITH SCORE 30650.615
AT ITER 6694 NEW BEST:: SOT 130161 SOS 80215 HAS SOPS 80215 HAS SOUS 30487 HAS SOUPS 30487 WITH SCORE 30567.215
AT ITER 6725 NEW BEST:: SOT 130187 SOS 80465 HAS SOPS 80465 HAS SOUS 30477 HAS SOUPS 30477 WITH SCORE 30557.465
AT ITER 6744 NEW BEST:: SOT 130190 SOS 80468 HAS SOPS 80468 HAS SOUS 30472 HAS SOUPS 30472 WITH SCORE 30552.468
AT ITER 6784 NEW BEST:: SOT 130188 SOS 80466 HAS SOPS 80466 HAS SOUS 30465 HAS SOUPS 30465 WITH SCORE 30545.466
AT ITER 6816 NEW BEST:: SOT 130184 SOS 80462 HAS SOPS 80462 HAS SOUS 30461 HAS SOUPS 30461 WITH SCORE 30541.462
AT ITER 6829 NEW BEST:: SOT 130157 SOS 80387 HAS SOPS 80387 HAS SOUS 30452 HAS SOUPS 30452 WITH SCORE 30532.387
AT ITER 6876 NEW BEST:: SOT 130149 SOS 80379 HAS SOPS 80379 HAS SOUS 30432 HAS SOUPS 30432 WITH SCORE 30512.379
AT ITER 6880 NEW BEST:: SOT 130145 SOS 80375 HAS SOPS 80375 HAS SOUS 30420 HAS SOUPS 30420 WITH SCORE 30500.375
AT ITER 6885 NEW BEST:: SOT 130146 SOS 80376 HAS SOPS 80376 HAS SOUS 30413 HAS SOUPS 30413 WITH SCORE 30493.376
AT ITER 6936 NEW BEST:: SOT 130146 SOS 80376 HAS SOPS 80376 HAS SOUS 30396 HAS SOUPS 30396 WITH SCORE 30476.376
AT ITER 6948 NEW BEST:: SOT 130141 SOS 80371 HAS SOPS 80371 HAS SOUS 30391 HAS SOUPS 30391 WITH SCORE 30471.371
AT ITER 7013 NEW BEST:: SOT 130138 SOS 80380 HAS SOPS 80380 HAS SOUS 30357 HAS SOUPS 30357 WITH SCORE 30437.38
AT ITER 7058 NEW BEST:: SOT 130152 SOS 80408 HAS SOPS 80408 HAS SOUS 30256 HAS SOUPS 30256 WITH SCORE 30336.408
AT ITER 7062 NEW BEST:: SOT 130152 SOS 80408 HAS SOPS 80408 HAS SOUS 30231 HAS SOUPS 30231 WITH SCORE 30311.408
AT ITER 7129 NEW BEST:: SOT 130152 SOS 80184 HAS SOPS 80184 HAS SOUS 30229 HAS SOUPS 30229 WITH SCORE 30309.184
AT ITER 7131 NEW BEST:: SOT 130152 SOS 80696 HAS SOPS 80696 HAS SOUS 30221 HAS SOUPS 30221 WITH SCORE 30301.696
AT ITER 7219 NEW BEST:: SOT 130155 SOS 80699 HAS SOPS 80699 HAS SOUS 30220 HAS SOUPS 30220 WITH SCORE 30300.699
AT ITER 7399 NEW BEST:: SOT 130152 SOS 80696 HAS SOPS 80696 HAS SOUS 30215 HAS SOUPS 30215 WITH SCORE 30295.696
AT ITER 7425 NEW BEST:: SOT 130150 SOS 80694 HAS SOPS 80694 HAS SOUS 30190 HAS SOUPS 30190 WITH SCORE 30270.694
AT ITER 7573 NEW BEST:: SOT 130129 SOS 80673 HAS SOPS 80673 HAS SOUS 30169 HAS SOUPS 30169 WITH SCORE 30249.673
AT ITER 7693 NEW BEST:: SOT 130121 SOS 80665 HAS SOPS 80665 HAS SOUS 30161 HAS SOUPS 30161 WITH SCORE 30241.665
AT ITER 7764 NEW BEST:: SOT 130118 SOS 80662 HAS SOPS 80662 HAS SOUS 30158 HAS SOUPS 30158 WITH SCORE 30238.662
AT ITER 7766 NEW BEST:: SOT 130116 SOS 80660 HAS SOPS 80660 HAS SOUS 30156 HAS SOUPS 30156 WITH SCORE 30236.66
AT ITER 7769 NEW BEST:: SOT 130094 SOS 80638 HAS SOPS 80638 HAS SOUS 30118 HAS SOUPS 30118 WITH SCORE 30198.638
AT ITER 7780 NEW BEST:: SOT 130093 SOS 80325 HAS SOPS 80325 HAS SOUS 30115 HAS SOUPS 30115 WITH SCORE 30195.325
AT ITER 7810 NEW BEST:: SOT 130089 SOS 80321 HAS SOPS 80321 HAS SOUS 30111 HAS SOUPS 30111 WITH SCORE 30191.321
AT ITER 7851 NEW BEST:: SOT 130089 SOS 80343 HAS SOPS 80343 HAS SOUS 30108 HAS SOUPS 30108 WITH SCORE 30188.343
AT ITER 7871 NEW BEST:: SOT 129877 SOS 80131 HAS SOPS 80131 HAS SOUS 29901 HAS SOUPS 29901 WITH SCORE 29981.131
AT ITER 7915 NEW BEST:: SOT 129857 SOS 80127 HAS SOPS 80127 HAS SOUS 29881 HAS SOUPS 29881 WITH SCORE 29961.127
AT ITER 7937 NEW BEST:: SOT 129855 SOS 80125 HAS SOPS 80125 HAS SOUS 29879 HAS SOUPS 29879 WITH SCORE 29959.125
AT ITER 8110 NEW BEST:: SOT 129852 SOS 80122 HAS SOPS 80122 HAS SOUS 29876 HAS SOUPS 29876 WITH SCORE 29956.122
AT ITER 8114 NEW BEST:: SOT 129843 SOS 80113 HAS SOPS 80113 HAS SOUS 29833 HAS SOUPS 29833 WITH SCORE 29913.113
AT ITER 8651 NEW BEST:: SOT 129868 SOS 80234 HAS SOPS 80234 HAS SOUS 29816 HAS SOUPS 29816 WITH SCORE 29896.234
AT ITER 8677 NEW BEST:: SOT 129862 SOS 80228 HAS SOPS 80228 HAS SOUS 29810 HAS SOUPS 29810 WITH SCORE 29890.228
AT ITER 8714 NEW BEST:: SOT 129862 SOS 80196 HAS SOPS 80196 HAS SOUS 29810 HAS SOUPS 29810 WITH SCORE 29890.196
AT ITER 8794 NEW BEST:: SOT 129862 SOS 80204 HAS SOPS 80204 HAS SOUS 29809 HAS SOUPS 29809 WITH SCORE 29889.204
AT ITER 8916 NEW BEST:: SOT 129862 SOS 80068 HAS SOPS 80068 HAS SOUS 29809 HAS SOUPS 29809 WITH SCORE 29889.068
AT ITER 9265 NEW BEST:: SOT 129862 SOS 80052 HAS SOPS 80052 HAS SOUS 29808 HAS SOUPS 29808 WITH SCORE 29888.052
AT ITER 9410 NEW BEST:: SOT 129862 SOS 80052 HAS SOPS 80052 HAS SOUS 29806 HAS SOUPS 29806 WITH SCORE 29886.052
AT ITER 9502 NEW BEST:: SOT 129862 SOS 80036 HAS SOPS 80036 HAS SOUS 29806 HAS SOUPS 29806 WITH SCORE 29886.036
AT ITER 9539 NEW BEST:: SOT 129838 SOS 80012 HAS SOPS 80012 HAS SOUS 29782 HAS SOUPS 29782 WITH SCORE 29862.012
AT ITER 9554 NEW BEST:: SOT 129840 SOS 80014 HAS SOPS 80014 HAS SOUS 29752 HAS SOUPS 29752 WITH SCORE 29832.014
AT ITER 9610 NEW BEST:: SOT 129835 SOS 80009 HAS SOPS 80009 HAS SOUS 29687 HAS SOUPS 29687 WITH SCORE 29767.009
AT ITER 9659 NEW BEST:: SOT 129834 SOS 80008 HAS SOPS 80008 HAS SOUS 29686 HAS SOUPS 29686 WITH SCORE 29766.008
AT ITER 9724 NEW BEST:: SOT 129834 SOS 79960 HAS SOPS 79960 HAS SOUS 29685 HAS SOUPS 29685 WITH SCORE 29764.96
AT ITER 9790 NEW BEST:: SOT 129757 SOS 80114 HAS SOPS 80114 HAS SOUS 29668 HAS SOUPS 29668 WITH SCORE 29748.114
AT ITER 9912 NEW BEST:: SOT 129755 SOS 80112 HAS SOPS 80112 HAS SOUS 29666 HAS SOUPS 29666 WITH SCORE 29746.112
AT ITER 9914 NEW BEST:: SOT 129757 SOS 80178 HAS SOPS 80178 HAS SOUS 29657 HAS SOUPS 29657 WITH SCORE 29737.178
AT ITER 9998 NEW BEST:: SOT 129757 SOS 80186 HAS SOPS 80186 HAS SOUS 29656 HAS SOUPS 29656 WITH SCORE 29736.186
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3221720 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122388 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="PermAdmissibility-COL-10"
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 PermAdmissibility-COL-10, 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-167863541900488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-COL-10.tgz
mv PermAdmissibility-COL-10 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 ;