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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 8.8K Feb 26 01:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 26 01:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 01:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 01:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 01:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 01:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 01:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 01:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:30 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 54K 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 1678890678111

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-02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 14:31:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 14:31:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 14:31:21] [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 14:31:22] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-15 14:31:22] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1070 ms
[2023-03-15 14:31:22] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 39 ms.
[2023-03-15 14:31:23] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 86 ms.
[2023-03-15 14:31:23] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-15 14:31:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 208 places, 1024 transitions and 5984 arcs took 29 ms.
Total runtime 1572 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 02
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 142975 SOS 90779 HAS SOPS 90779 HAS SOUS 57542 HAS SOUPS 57542 WITH SCORE 57632.779
AT ITER 8 NEW BEST:: SOT 142975 SOS 89551 HAS SOPS 89551 HAS SOUS 57529 HAS SOUPS 57529 WITH SCORE 57618.551
AT ITER 11 NEW BEST:: SOT 142975 SOS 89500 HAS SOPS 89500 HAS SOUS 57502 HAS SOUPS 57502 WITH SCORE 57591.5
AT ITER 38 NEW BEST:: SOT 142916 SOS 89513 HAS SOPS 89513 HAS SOUS 57481 HAS SOUPS 57481 WITH SCORE 57570.513
AT ITER 43 NEW BEST:: SOT 142893 SOS 89570 HAS SOPS 89570 HAS SOUS 57080 HAS SOUPS 57080 WITH SCORE 57169.57
AT ITER 58 NEW BEST:: SOT 142893 SOS 89556 HAS SOPS 89556 HAS SOUS 57066 HAS SOUPS 57066 WITH SCORE 57155.556
AT ITER 60 NEW BEST:: SOT 142650 SOS 89313 HAS SOPS 89313 HAS SOUS 56956 HAS SOUPS 56956 WITH SCORE 57045.313
AT ITER 61 NEW BEST:: SOT 142587 SOS 89251 HAS SOPS 89251 HAS SOUS 56909 HAS SOUPS 56909 WITH SCORE 56998.251
AT ITER 70 NEW BEST:: SOT 142495 SOS 89679 HAS SOPS 89679 HAS SOUS 56846 HAS SOUPS 56846 WITH SCORE 56935.679
AT ITER 78 NEW BEST:: SOT 142495 SOS 89586 HAS SOPS 89586 HAS SOUS 56666 HAS SOUPS 56666 WITH SCORE 56755.586
AT ITER 81 NEW BEST:: SOT 142339 SOS 89902 HAS SOPS 89902 HAS SOUS 56452 HAS SOUPS 56452 WITH SCORE 56541.902
AT ITER 82 NEW BEST:: SOT 142339 SOS 90846 HAS SOPS 90846 HAS SOUS 56107 HAS SOUPS 56107 WITH SCORE 56197.846
AT ITER 96 NEW BEST:: SOT 142339 SOS 90655 HAS SOPS 90655 HAS SOUS 55273 HAS SOUPS 55273 WITH SCORE 55363.655
AT ITER 97 NEW BEST:: SOT 141864 SOS 95724 HAS SOPS 95724 HAS SOUS 54815 HAS SOUPS 54815 WITH SCORE 54910.724
AT ITER 102 NEW BEST:: SOT 141792 SOS 95628 HAS SOPS 95628 HAS SOUS 54722 HAS SOUPS 54722 WITH SCORE 54817.628
AT ITER 122 NEW BEST:: SOT 141792 SOS 95519 HAS SOPS 95519 HAS SOUS 54500 HAS SOUPS 54500 WITH SCORE 54595.519
AT ITER 127 NEW BEST:: SOT 141714 SOS 93717 HAS SOPS 93717 HAS SOUS 54385 HAS SOUPS 54385 WITH SCORE 54478.717
AT ITER 131 NEW BEST:: SOT 141648 SOS 93594 HAS SOPS 93594 HAS SOUS 53910 HAS SOUPS 53910 WITH SCORE 54003.594
AT ITER 132 NEW BEST:: SOT 141590 SOS 93472 HAS SOPS 93472 HAS SOUS 53835 HAS SOUPS 53835 WITH SCORE 53928.472
AT ITER 134 NEW BEST:: SOT 141446 SOS 93328 HAS SOPS 93328 HAS SOUS 53691 HAS SOUPS 53691 WITH SCORE 53784.328
AT ITER 139 NEW BEST:: SOT 141443 SOS 93842 HAS SOPS 93842 HAS SOUS 53552 HAS SOUPS 53552 WITH SCORE 53645.842
AT ITER 150 NEW BEST:: SOT 141446 SOS 93845 HAS SOPS 93845 HAS SOUS 53521 HAS SOUPS 53521 WITH SCORE 53614.845
AT ITER 157 NEW BEST:: SOT 141385 SOS 93920 HAS SOPS 93920 HAS SOUS 53276 HAS SOUPS 53276 WITH SCORE 53369.92
AT ITER 161 NEW BEST:: SOT 141442 SOS 93847 HAS SOPS 93847 HAS SOUS 53036 HAS SOUPS 53036 WITH SCORE 53129.847
AT ITER 175 NEW BEST:: SOT 141442 SOS 93847 HAS SOPS 93847 HAS SOUS 53012 HAS SOUPS 53012 WITH SCORE 53105.847
AT ITER 186 NEW BEST:: SOT 141442 SOS 93935 HAS SOPS 93935 HAS SOUS 52984 HAS SOUPS 52984 WITH SCORE 53077.935
AT ITER 200 NEW BEST:: SOT 140992 SOS 93491 HAS SOPS 93491 HAS SOUS 52518 HAS SOUPS 52518 WITH SCORE 52611.491
AT ITER 207 NEW BEST:: SOT 140943 SOS 93442 HAS SOPS 93442 HAS SOUS 52509 HAS SOUPS 52509 WITH SCORE 52602.442
AT ITER 208 NEW BEST:: SOT 140895 SOS 93548 HAS SOPS 93548 HAS SOUS 52437 HAS SOUPS 52437 WITH SCORE 52530.548
AT ITER 214 NEW BEST:: SOT 141098 SOS 98332 HAS SOPS 98332 HAS SOUS 51788 HAS SOUPS 51788 WITH SCORE 51886.332
AT ITER 221 NEW BEST:: SOT 140981 SOS 98265 HAS SOPS 98265 HAS SOUS 51393 HAS SOUPS 51393 WITH SCORE 51491.265
AT ITER 225 NEW BEST:: SOT 140646 SOS 103242 HAS SOPS 103242 HAS SOUS 51141 HAS SOUPS 51141 WITH SCORE 51244.242
AT ITER 230 NEW BEST:: SOT 140706 SOS 103129 HAS SOPS 103129 HAS SOUS 50651 HAS SOUPS 50651 WITH SCORE 50754.129
AT ITER 231 NEW BEST:: SOT 140656 SOS 102983 HAS SOPS 102983 HAS SOUS 50641 HAS SOUPS 50641 WITH SCORE 50743.983
AT ITER 244 NEW BEST:: SOT 140616 SOS 102945 HAS SOPS 102945 HAS SOUS 50641 HAS SOUPS 50641 WITH SCORE 50743.945
AT ITER 259 NEW BEST:: SOT 140629 SOS 103418 HAS SOPS 103418 HAS SOUS 50493 HAS SOUPS 50493 WITH SCORE 50596.418
AT ITER 273 NEW BEST:: SOT 140629 SOS 103780 HAS SOPS 103780 HAS SOUS 50326 HAS SOUPS 50326 WITH SCORE 50429.78
AT ITER 274 NEW BEST:: SOT 140629 SOS 104346 HAS SOPS 104346 HAS SOUS 50173 HAS SOUPS 50173 WITH SCORE 50277.346
AT ITER 277 NEW BEST:: SOT 140582 SOS 104299 HAS SOPS 104299 HAS SOUS 49828 HAS SOUPS 49828 WITH SCORE 49932.299
AT ITER 301 NEW BEST:: SOT 140530 SOS 102583 HAS SOPS 102583 HAS SOUS 49807 HAS SOUPS 49807 WITH SCORE 49909.583
AT ITER 305 NEW BEST:: SOT 140531 SOS 102578 HAS SOPS 102578 HAS SOUS 49763 HAS SOUPS 49763 WITH SCORE 49865.578
AT ITER 306 NEW BEST:: SOT 140445 SOS 102305 HAS SOPS 102305 HAS SOUS 48909 HAS SOUPS 48909 WITH SCORE 49011.305
AT ITER 309 NEW BEST:: SOT 140436 SOS 102296 HAS SOPS 102296 HAS SOUS 48880 HAS SOUPS 48880 WITH SCORE 48982.296
AT ITER 339 NEW BEST:: SOT 140474 SOS 101523 HAS SOPS 101523 HAS SOUS 48226 HAS SOUPS 48226 WITH SCORE 48327.523
AT ITER 357 NEW BEST:: SOT 140288 SOS 101366 HAS SOPS 101366 HAS SOUS 48044 HAS SOUPS 48044 WITH SCORE 48145.366
AT ITER 361 NEW BEST:: SOT 140300 SOS 101306 HAS SOPS 101306 HAS SOUS 48038 HAS SOUPS 48038 WITH SCORE 48139.306
AT ITER 365 NEW BEST:: SOT 140321 SOS 101341 HAS SOPS 101341 HAS SOUS 48007 HAS SOUPS 48007 WITH SCORE 48108.341
AT ITER 397 NEW BEST:: SOT 140185 SOS 101683 HAS SOPS 101683 HAS SOUS 47938 HAS SOUPS 47938 WITH SCORE 48039.683
AT ITER 402 NEW BEST:: SOT 139997 SOS 101523 HAS SOPS 101523 HAS SOUS 47475 HAS SOUPS 47475 WITH SCORE 47576.523
AT ITER 417 NEW BEST:: SOT 140052 SOS 101578 HAS SOPS 101578 HAS SOUS 47400 HAS SOUPS 47400 WITH SCORE 47501.578
AT ITER 421 NEW BEST:: SOT 140060 SOS 102773 HAS SOPS 102773 HAS SOUS 47343 HAS SOUPS 47343 WITH SCORE 47445.773
AT ITER 422 NEW BEST:: SOT 140033 SOS 102971 HAS SOPS 102971 HAS SOUS 47284 HAS SOUPS 47284 WITH SCORE 47386.971
AT ITER 449 NEW BEST:: SOT 140317 SOS 103376 HAS SOPS 103376 HAS SOUS 47214 HAS SOUPS 47214 WITH SCORE 47317.376
AT ITER 453 NEW BEST:: SOT 140317 SOS 103376 HAS SOPS 103376 HAS SOUS 47190 HAS SOUPS 47190 WITH SCORE 47293.376
AT ITER 501 NEW BEST:: SOT 140365 SOS 103240 HAS SOPS 103240 HAS SOUS 47003 HAS SOUPS 47003 WITH SCORE 47106.24
AT ITER 513 NEW BEST:: SOT 140434 SOS 103309 HAS SOPS 103309 HAS SOUS 46816 HAS SOUPS 46816 WITH SCORE 46919.309
AT ITER 519 NEW BEST:: SOT 140325 SOS 103304 HAS SOPS 103304 HAS SOUS 46656 HAS SOUPS 46656 WITH SCORE 46759.304
AT ITER 534 NEW BEST:: SOT 140263 SOS 103242 HAS SOPS 103242 HAS SOUS 46562 HAS SOUPS 46562 WITH SCORE 46665.242
AT ITER 535 NEW BEST:: SOT 140234 SOS 103213 HAS SOPS 103213 HAS SOUS 46476 HAS SOUPS 46476 WITH SCORE 46579.213
AT ITER 540 NEW BEST:: SOT 140234 SOS 103275 HAS SOPS 103275 HAS SOUS 46450 HAS SOUPS 46450 WITH SCORE 46553.275
AT ITER 541 NEW BEST:: SOT 140170 SOS 103275 HAS SOPS 103275 HAS SOUS 46441 HAS SOUPS 46441 WITH SCORE 46544.275
AT ITER 553 NEW BEST:: SOT 140109 SOS 103062 HAS SOPS 103062 HAS SOUS 46388 HAS SOUPS 46388 WITH SCORE 46491.062
AT ITER 560 NEW BEST:: SOT 140109 SOS 103324 HAS SOPS 103324 HAS SOUS 46297 HAS SOUPS 46297 WITH SCORE 46400.324
AT ITER 566 NEW BEST:: SOT 140428 SOS 104084 HAS SOPS 104084 HAS SOUS 46246 HAS SOUPS 46246 WITH SCORE 46350.084
AT ITER 575 NEW BEST:: SOT 140399 SOS 103717 HAS SOPS 103717 HAS SOUS 46192 HAS SOUPS 46192 WITH SCORE 46295.717
AT ITER 578 NEW BEST:: SOT 140408 SOS 103894 HAS SOPS 103894 HAS SOUS 46174 HAS SOUPS 46174 WITH SCORE 46277.894
AT ITER 594 NEW BEST:: SOT 140407 SOS 103893 HAS SOPS 103893 HAS SOUS 45664 HAS SOUPS 45664 WITH SCORE 45767.893
AT ITER 605 NEW BEST:: SOT 140389 SOS 103851 HAS SOPS 103851 HAS SOUS 45652 HAS SOUPS 45652 WITH SCORE 45755.851
AT ITER 636 NEW BEST:: SOT 140290 SOS 103480 HAS SOPS 103480 HAS SOUS 45528 HAS SOUPS 45528 WITH SCORE 45631.48
AT ITER 671 NEW BEST:: SOT 140261 SOS 103451 HAS SOPS 103451 HAS SOUS 45523 HAS SOUPS 45523 WITH SCORE 45626.451
AT ITER 684 NEW BEST:: SOT 140252 SOS 103387 HAS SOPS 103387 HAS SOUS 45518 HAS SOUPS 45518 WITH SCORE 45621.387
AT ITER 692 NEW BEST:: SOT 140289 SOS 103424 HAS SOPS 103424 HAS SOUS 45421 HAS SOUPS 45421 WITH SCORE 45524.424
AT ITER 694 NEW BEST:: SOT 140256 SOS 103391 HAS SOPS 103391 HAS SOUS 45395 HAS SOUPS 45395 WITH SCORE 45498.391
AT ITER 702 NEW BEST:: SOT 140208 SOS 103263 HAS SOPS 103263 HAS SOUS 45358 HAS SOUPS 45358 WITH SCORE 45461.263
AT ITER 709 NEW BEST:: SOT 139904 SOS 101473 HAS SOPS 101473 HAS SOUS 45198 HAS SOUPS 45198 WITH SCORE 45299.473
AT ITER 716 NEW BEST:: SOT 139898 SOS 101497 HAS SOPS 101497 HAS SOUS 45172 HAS SOUPS 45172 WITH SCORE 45273.497
AT ITER 741 NEW BEST:: SOT 140312 SOS 102120 HAS SOPS 102120 HAS SOUS 45065 HAS SOUPS 45065 WITH SCORE 45167.12
AT ITER 756 NEW BEST:: SOT 140246 SOS 102054 HAS SOPS 102054 HAS SOUS 44999 HAS SOUPS 44999 WITH SCORE 45101.054
AT ITER 766 NEW BEST:: SOT 140176 SOS 101944 HAS SOPS 101944 HAS SOUS 44896 HAS SOUPS 44896 WITH SCORE 44997.944
AT ITER 768 NEW BEST:: SOT 140164 SOS 101802 HAS SOPS 101802 HAS SOUS 44403 HAS SOUPS 44403 WITH SCORE 44504.802
AT ITER 781 NEW BEST:: SOT 140175 SOS 102058 HAS SOPS 102058 HAS SOUS 44327 HAS SOUPS 44327 WITH SCORE 44429.058
AT ITER 790 NEW BEST:: SOT 140174 SOS 101628 HAS SOPS 101628 HAS SOUS 44196 HAS SOUPS 44196 WITH SCORE 44297.628
AT ITER 795 NEW BEST:: SOT 140271 SOS 101725 HAS SOPS 101725 HAS SOUS 44134 HAS SOUPS 44134 WITH SCORE 44235.725
AT ITER 846 NEW BEST:: SOT 140300 SOS 101754 HAS SOPS 101754 HAS SOUS 44086 HAS SOUPS 44086 WITH SCORE 44187.754
AT ITER 904 NEW BEST:: SOT 140265 SOS 101703 HAS SOPS 101703 HAS SOUS 44063 HAS SOUPS 44063 WITH SCORE 44164.703
AT ITER 918 NEW BEST:: SOT 140263 SOS 104076 HAS SOPS 104076 HAS SOUS 44059 HAS SOUPS 44059 WITH SCORE 44163.076
AT ITER 919 NEW BEST:: SOT 140132 SOS 103945 HAS SOPS 103945 HAS SOUS 43928 HAS SOUPS 43928 WITH SCORE 44031.945
AT ITER 925 NEW BEST:: SOT 140041 SOS 103850 HAS SOPS 103850 HAS SOUS 43663 HAS SOUPS 43663 WITH SCORE 43766.85
AT ITER 941 NEW BEST:: SOT 140049 SOS 103858 HAS SOPS 103858 HAS SOUS 43657 HAS SOUPS 43657 WITH SCORE 43760.858
AT ITER 943 NEW BEST:: SOT 139903 SOS 103720 HAS SOPS 103720 HAS SOUS 43615 HAS SOUPS 43615 WITH SCORE 43718.72
AT ITER 944 NEW BEST:: SOT 139903 SOS 103724 HAS SOPS 103724 HAS SOUS 43478 HAS SOUPS 43478 WITH SCORE 43581.724
AT ITER 952 NEW BEST:: SOT 139831 SOS 103652 HAS SOPS 103652 HAS SOUS 43385 HAS SOUPS 43385 WITH SCORE 43488.652
AT ITER 955 NEW BEST:: SOT 139831 SOS 103188 HAS SOPS 103188 HAS SOUS 43115 HAS SOUPS 43115 WITH SCORE 43218.188
AT ITER 956 NEW BEST:: SOT 139891 SOS 102988 HAS SOPS 102988 HAS SOUS 42908 HAS SOUPS 42908 WITH SCORE 43010.988
AT ITER 965 NEW BEST:: SOT 139647 SOS 102560 HAS SOPS 102560 HAS SOUS 42617 HAS SOUPS 42617 WITH SCORE 42719.56
AT ITER 969 NEW BEST:: SOT 139642 SOS 102571 HAS SOPS 102571 HAS SOUS 42599 HAS SOUPS 42599 WITH SCORE 42701.571
AT ITER 977 NEW BEST:: SOT 139627 SOS 102556 HAS SOPS 102556 HAS SOUS 41656 HAS SOUPS 41656 WITH SCORE 41758.556
AT ITER 981 NEW BEST:: SOT 139547 SOS 102956 HAS SOPS 102956 HAS SOUS 41639 HAS SOUPS 41639 WITH SCORE 41741.956
AT ITER 983 NEW BEST:: SOT 139551 SOS 102960 HAS SOPS 102960 HAS SOUS 41611 HAS SOUPS 41611 WITH SCORE 41713.96
AT ITER 1002 NEW BEST:: SOT 139551 SOS 102960 HAS SOPS 102960 HAS SOUS 41603 HAS SOUPS 41603 WITH SCORE 41705.96
AT ITER 1004 NEW BEST:: SOT 139143 SOS 102552 HAS SOPS 102552 HAS SOUS 41294 HAS SOUPS 41294 WITH SCORE 41396.552
AT ITER 1015 NEW BEST:: SOT 139266 SOS 102675 HAS SOPS 102675 HAS SOUS 41080 HAS SOUPS 41080 WITH SCORE 41182.675
AT ITER 1037 NEW BEST:: SOT 139266 SOS 102675 HAS SOPS 102675 HAS SOUS 40976 HAS SOUPS 40976 WITH SCORE 41078.675
AT ITER 1073 NEW BEST:: SOT 139319 SOS 106457 HAS SOPS 106457 HAS SOUS 40907 HAS SOUPS 40907 WITH SCORE 41013.457
AT ITER 1088 NEW BEST:: SOT 139260 SOS 106398 HAS SOPS 106398 HAS SOUS 40843 HAS SOUPS 40843 WITH SCORE 40949.398
AT ITER 1123 NEW BEST:: SOT 139248 SOS 106386 HAS SOPS 106386 HAS SOUS 40831 HAS SOUPS 40831 WITH SCORE 40937.386
AT ITER 1128 NEW BEST:: SOT 139238 SOS 106376 HAS SOPS 106376 HAS SOUS 40797 HAS SOUPS 40797 WITH SCORE 40903.376
AT ITER 1131 NEW BEST:: SOT 139282 SOS 106420 HAS SOPS 106420 HAS SOUS 40793 HAS SOUPS 40793 WITH SCORE 40899.42
AT ITER 1132 NEW BEST:: SOT 139180 SOS 106062 HAS SOPS 106062 HAS SOUS 40744 HAS SOUPS 40744 WITH SCORE 40850.062
AT ITER 1179 NEW BEST:: SOT 138839 SOS 106191 HAS SOPS 106191 HAS SOUS 40697 HAS SOUPS 40697 WITH SCORE 40803.191
AT ITER 1187 NEW BEST:: SOT 138832 SOS 106184 HAS SOPS 106184 HAS SOUS 40658 HAS SOUPS 40658 WITH SCORE 40764.184
AT ITER 1204 NEW BEST:: SOT 139014 SOS 106366 HAS SOPS 106366 HAS SOUS 40640 HAS SOUPS 40640 WITH SCORE 40746.366
AT ITER 1242 NEW BEST:: SOT 138974 SOS 106290 HAS SOPS 106290 HAS SOUS 40545 HAS SOUPS 40545 WITH SCORE 40651.29
AT ITER 1259 NEW BEST:: SOT 138970 SOS 106286 HAS SOPS 106286 HAS SOUS 40537 HAS SOUPS 40537 WITH SCORE 40643.286
AT ITER 1284 NEW BEST:: SOT 138970 SOS 106282 HAS SOPS 106282 HAS SOUS 40531 HAS SOUPS 40531 WITH SCORE 40637.282
AT ITER 1305 NEW BEST:: SOT 138820 SOS 106204 HAS SOPS 106204 HAS SOUS 40391 HAS SOUPS 40391 WITH SCORE 40497.204
AT ITER 1310 NEW BEST:: SOT 138815 SOS 105669 HAS SOPS 105669 HAS SOUS 40391 HAS SOUPS 40391 WITH SCORE 40496.669
AT ITER 1331 NEW BEST:: SOT 138760 SOS 105676 HAS SOPS 105676 HAS SOUS 40266 HAS SOUPS 40266 WITH SCORE 40371.676
AT ITER 1341 NEW BEST:: SOT 138760 SOS 105716 HAS SOPS 105716 HAS SOUS 40261 HAS SOUPS 40261 WITH SCORE 40366.716
AT ITER 1342 NEW BEST:: SOT 138734 SOS 105690 HAS SOPS 105690 HAS SOUS 40171 HAS SOUPS 40171 WITH SCORE 40276.69
AT ITER 1367 NEW BEST:: SOT 138746 SOS 105654 HAS SOPS 105654 HAS SOUS 40162 HAS SOUPS 40162 WITH SCORE 40267.654
AT ITER 1377 NEW BEST:: SOT 138375 SOS 106058 HAS SOPS 106058 HAS SOUS 40005 HAS SOUPS 40005 WITH SCORE 40111.058
AT ITER 1389 NEW BEST:: SOT 138417 SOS 106100 HAS SOPS 106100 HAS SOUS 40001 HAS SOUPS 40001 WITH SCORE 40107.1
AT ITER 1411 NEW BEST:: SOT 138146 SOS 106269 HAS SOPS 106269 HAS SOUS 39854 HAS SOUPS 39854 WITH SCORE 39960.269
AT ITER 1420 NEW BEST:: SOT 138084 SOS 106211 HAS SOPS 106211 HAS SOUS 39792 HAS SOUPS 39792 WITH SCORE 39898.211
AT ITER 1456 NEW BEST:: SOT 137984 SOS 106111 HAS SOPS 106111 HAS SOUS 39772 HAS SOUPS 39772 WITH SCORE 39878.111
AT ITER 1513 NEW BEST:: SOT 137984 SOS 106111 HAS SOPS 106111 HAS SOUS 39712 HAS SOUPS 39712 WITH SCORE 39818.111
AT ITER 1524 NEW BEST:: SOT 137968 SOS 106095 HAS SOPS 106095 HAS SOUS 39670 HAS SOUPS 39670 WITH SCORE 39776.095
AT ITER 1539 NEW BEST:: SOT 137939 SOS 106050 HAS SOPS 106050 HAS SOUS 39621 HAS SOUPS 39621 WITH SCORE 39727.05
AT ITER 1584 NEW BEST:: SOT 137937 SOS 106048 HAS SOPS 106048 HAS SOUS 39619 HAS SOUPS 39619 WITH SCORE 39725.048
AT ITER 1601 NEW BEST:: SOT 137903 SOS 106014 HAS SOPS 106014 HAS SOUS 39585 HAS SOUPS 39585 WITH SCORE 39691.014
AT ITER 1622 NEW BEST:: SOT 137754 SOS 105865 HAS SOPS 105865 HAS SOUS 39533 HAS SOUPS 39533 WITH SCORE 39638.865
AT ITER 1626 NEW BEST:: SOT 137754 SOS 105865 HAS SOPS 105865 HAS SOUS 39525 HAS SOUPS 39525 WITH SCORE 39630.865
AT ITER 1667 NEW BEST:: SOT 137794 SOS 105891 HAS SOPS 105891 HAS SOUS 39476 HAS SOUPS 39476 WITH SCORE 39581.891
AT ITER 1675 NEW BEST:: SOT 137794 SOS 105887 HAS SOPS 105887 HAS SOUS 39450 HAS SOUPS 39450 WITH SCORE 39555.887
AT ITER 1690 NEW BEST:: SOT 137789 SOS 105882 HAS SOPS 105882 HAS SOUS 39437 HAS SOUPS 39437 WITH SCORE 39542.882
AT ITER 1702 NEW BEST:: SOT 137766 SOS 105859 HAS SOPS 105859 HAS SOUS 39417 HAS SOUPS 39417 WITH SCORE 39522.859
AT ITER 1726 NEW BEST:: SOT 137539 SOS 105520 HAS SOPS 105520 HAS SOUS 39146 HAS SOUPS 39146 WITH SCORE 39251.52
AT ITER 1734 NEW BEST:: SOT 137539 SOS 106897 HAS SOPS 106897 HAS SOUS 39117 HAS SOUPS 39117 WITH SCORE 39223.897
AT ITER 1749 NEW BEST:: SOT 137539 SOS 106897 HAS SOPS 106897 HAS SOUS 39114 HAS SOUPS 39114 WITH SCORE 39220.897
AT ITER 1752 NEW BEST:: SOT 137489 SOS 106847 HAS SOPS 106847 HAS SOUS 39008 HAS SOUPS 39008 WITH SCORE 39114.847
AT ITER 1766 NEW BEST:: SOT 137372 SOS 106538 HAS SOPS 106538 HAS SOUS 38993 HAS SOUPS 38993 WITH SCORE 39099.538
AT ITER 1819 NEW BEST:: SOT 137366 SOS 106532 HAS SOPS 106532 HAS SOUS 38987 HAS SOUPS 38987 WITH SCORE 39093.532
AT ITER 1831 NEW BEST:: SOT 137303 SOS 106469 HAS SOPS 106469 HAS SOUS 38912 HAS SOUPS 38912 WITH SCORE 39018.469
AT ITER 1861 NEW BEST:: SOT 137303 SOS 106469 HAS SOPS 106469 HAS SOUS 38856 HAS SOUPS 38856 WITH SCORE 38962.469
AT ITER 1867 NEW BEST:: SOT 137289 SOS 106071 HAS SOPS 106071 HAS SOUS 38802 HAS SOUPS 38802 WITH SCORE 38908.071
AT ITER 1870 NEW BEST:: SOT 137247 SOS 106029 HAS SOPS 106029 HAS SOUS 38758 HAS SOUPS 38758 WITH SCORE 38864.029
AT ITER 1882 NEW BEST:: SOT 137247 SOS 107309 HAS SOPS 107309 HAS SOUS 38736 HAS SOUPS 38736 WITH SCORE 38843.309
AT ITER 1891 NEW BEST:: SOT 137244 SOS 107280 HAS SOPS 107280 HAS SOUS 38607 HAS SOUPS 38607 WITH SCORE 38714.28
AT ITER 1930 NEW BEST:: SOT 137290 SOS 107326 HAS SOPS 107326 HAS SOUS 38557 HAS SOUPS 38557 WITH SCORE 38664.326
AT ITER 1936 NEW BEST:: SOT 137290 SOS 107326 HAS SOPS 107326 HAS SOUS 38549 HAS SOUPS 38549 WITH SCORE 38656.326
AT ITER 1960 NEW BEST:: SOT 137279 SOS 107315 HAS SOPS 107315 HAS SOUS 38522 HAS SOUPS 38522 WITH SCORE 38629.315
AT ITER 1963 NEW BEST:: SOT 137277 SOS 107313 HAS SOPS 107313 HAS SOUS 38522 HAS SOUPS 38522 WITH SCORE 38629.313
AT ITER 1975 NEW BEST:: SOT 137277 SOS 107313 HAS SOPS 107313 HAS SOUS 38438 HAS SOUPS 38438 WITH SCORE 38545.313
AT ITER 1995 NEW BEST:: SOT 137168 SOS 107284 HAS SOPS 107284 HAS SOUS 38283 HAS SOUPS 38283 WITH SCORE 38390.284
AT ITER 2037 NEW BEST:: SOT 137142 SOS 107258 HAS SOPS 107258 HAS SOUS 38162 HAS SOUPS 38162 WITH SCORE 38269.258
AT ITER 2077 NEW BEST:: SOT 137164 SOS 107280 HAS SOPS 107280 HAS SOUS 38161 HAS SOUPS 38161 WITH SCORE 38268.28
AT ITER 2102 NEW BEST:: SOT 137057 SOS 107261 HAS SOPS 107261 HAS SOUS 38023 HAS SOUPS 38023 WITH SCORE 38130.261
AT ITER 2103 NEW BEST:: SOT 137051 SOS 107255 HAS SOPS 107255 HAS SOUS 38017 HAS SOUPS 38017 WITH SCORE 38124.255
AT ITER 2118 NEW BEST:: SOT 137045 SOS 107249 HAS SOPS 107249 HAS SOUS 38011 HAS SOUPS 38011 WITH SCORE 38118.249
AT ITER 2132 NEW BEST:: SOT 137045 SOS 106651 HAS SOPS 106651 HAS SOUS 38008 HAS SOUPS 38008 WITH SCORE 38114.651
AT ITER 2147 NEW BEST:: SOT 137045 SOS 106651 HAS SOPS 106651 HAS SOUS 38000 HAS SOUPS 38000 WITH SCORE 38106.651
AT ITER 2190 NEW BEST:: SOT 137009 SOS 106615 HAS SOPS 106615 HAS SOUS 37379 HAS SOUPS 37379 WITH SCORE 37485.615
AT ITER 2194 NEW BEST:: SOT 136866 SOS 106352 HAS SOPS 106352 HAS SOUS 37262 HAS SOUPS 37262 WITH SCORE 37368.352
AT ITER 2210 NEW BEST:: SOT 136854 SOS 106340 HAS SOPS 106340 HAS SOUS 37257 HAS SOUPS 37257 WITH SCORE 37363.34
AT ITER 2264 NEW BEST:: SOT 136863 SOS 106349 HAS SOPS 106349 HAS SOUS 37234 HAS SOUPS 37234 WITH SCORE 37340.349
AT ITER 2294 NEW BEST:: SOT 136857 SOS 106615 HAS SOPS 106615 HAS SOUS 37226 HAS SOUPS 37226 WITH SCORE 37332.615
AT ITER 2322 NEW BEST:: SOT 136907 SOS 106665 HAS SOPS 106665 HAS SOUS 37123 HAS SOUPS 37123 WITH SCORE 37229.665
AT ITER 2331 NEW BEST:: SOT 136845 SOS 106603 HAS SOPS 106603 HAS SOUS 37061 HAS SOUPS 37061 WITH SCORE 37167.603
AT ITER 2337 NEW BEST:: SOT 136738 SOS 106816 HAS SOPS 106816 HAS SOUS 37010 HAS SOUPS 37010 WITH SCORE 37116.816
AT ITER 2351 NEW BEST:: SOT 136734 SOS 106812 HAS SOPS 106812 HAS SOUS 37003 HAS SOUPS 37003 WITH SCORE 37109.812
AT ITER 2373 NEW BEST:: SOT 136590 SOS 106668 HAS SOPS 106668 HAS SOUS 36887 HAS SOUPS 36887 WITH SCORE 36993.668
AT ITER 2421 NEW BEST:: SOT 136585 SOS 106663 HAS SOPS 106663 HAS SOUS 36874 HAS SOUPS 36874 WITH SCORE 36980.663
AT ITER 2449 NEW BEST:: SOT 136585 SOS 106663 HAS SOPS 106663 HAS SOUS 36836 HAS SOUPS 36836 WITH SCORE 36942.663
AT ITER 2450 NEW BEST:: SOT 136593 SOS 106671 HAS SOPS 106671 HAS SOUS 36825 HAS SOUPS 36825 WITH SCORE 36931.671
AT ITER 2453 NEW BEST:: SOT 136593 SOS 106671 HAS SOPS 106671 HAS SOUS 36812 HAS SOUPS 36812 WITH SCORE 36918.671
AT ITER 2454 NEW BEST:: SOT 136549 SOS 106931 HAS SOPS 106931 HAS SOUS 36795 HAS SOUPS 36795 WITH SCORE 36901.931
AT ITER 2459 NEW BEST:: SOT 136561 SOS 106917 HAS SOPS 106917 HAS SOUS 36682 HAS SOUPS 36682 WITH SCORE 36788.917
AT ITER 2490 NEW BEST:: SOT 136577 SOS 106933 HAS SOPS 106933 HAS SOUS 36634 HAS SOUPS 36634 WITH SCORE 36740.933
AT ITER 2536 NEW BEST:: SOT 136577 SOS 106594 HAS SOPS 106594 HAS SOUS 36634 HAS SOUPS 36634 WITH SCORE 36740.594
AT ITER 2550 NEW BEST:: SOT 136550 SOS 106573 HAS SOPS 106573 HAS SOUS 36631 HAS SOUPS 36631 WITH SCORE 36737.573
AT ITER 2556 NEW BEST:: SOT 136543 SOS 106566 HAS SOPS 106566 HAS SOUS 36616 HAS SOUPS 36616 WITH SCORE 36722.566
AT ITER 2617 NEW BEST:: SOT 136557 SOS 107796 HAS SOPS 107796 HAS SOUS 36611 HAS SOUPS 36611 WITH SCORE 36718.796
AT ITER 2695 NEW BEST:: SOT 136549 SOS 107788 HAS SOPS 107788 HAS SOUS 36587 HAS SOUPS 36587 WITH SCORE 36694.788
AT ITER 2761 NEW BEST:: SOT 136540 SOS 107779 HAS SOPS 107779 HAS SOUS 36578 HAS SOUPS 36578 WITH SCORE 36685.779
AT ITER 2814 NEW BEST:: SOT 136554 SOS 107649 HAS SOPS 107649 HAS SOUS 36510 HAS SOUPS 36510 WITH SCORE 36617.649
AT ITER 2820 NEW BEST:: SOT 136526 SOS 107621 HAS SOPS 107621 HAS SOUS 36403 HAS SOUPS 36403 WITH SCORE 36510.621
AT ITER 2831 NEW BEST:: SOT 136526 SOS 107621 HAS SOPS 107621 HAS SOUS 36394 HAS SOUPS 36394 WITH SCORE 36501.621
AT ITER 2856 NEW BEST:: SOT 136336 SOS 107499 HAS SOPS 107499 HAS SOUS 36213 HAS SOUPS 36213 WITH SCORE 36320.499
AT ITER 2860 NEW BEST:: SOT 136334 SOS 107481 HAS SOPS 107481 HAS SOUS 36210 HAS SOUPS 36210 WITH SCORE 36317.481
AT ITER 2914 NEW BEST:: SOT 136325 SOS 107472 HAS SOPS 107472 HAS SOUS 36201 HAS SOUPS 36201 WITH SCORE 36308.472
AT ITER 2971 NEW BEST:: SOT 136329 SOS 107476 HAS SOPS 107476 HAS SOUS 36149 HAS SOUPS 36149 WITH SCORE 36256.476
AT ITER 2979 NEW BEST:: SOT 136330 SOS 107471 HAS SOPS 107471 HAS SOUS 36121 HAS SOUPS 36121 WITH SCORE 36228.471
AT ITER 3024 NEW BEST:: SOT 136324 SOS 107465 HAS SOPS 107465 HAS SOUS 36105 HAS SOUPS 36105 WITH SCORE 36212.465
AT ITER 3103 NEW BEST:: SOT 136327 SOS 107468 HAS SOPS 107468 HAS SOUS 36092 HAS SOUPS 36092 WITH SCORE 36199.468
AT ITER 3203 NEW BEST:: SOT 136240 SOS 107381 HAS SOPS 107381 HAS SOUS 36024 HAS SOUPS 36024 WITH SCORE 36131.381
AT ITER 3211 NEW BEST:: SOT 136232 SOS 107365 HAS SOPS 107365 HAS SOUS 36022 HAS SOUPS 36022 WITH SCORE 36129.365
AT ITER 3233 NEW BEST:: SOT 136209 SOS 107342 HAS SOPS 107342 HAS SOUS 35993 HAS SOUPS 35993 WITH SCORE 36100.342
AT ITER 3243 NEW BEST:: SOT 136195 SOS 107328 HAS SOPS 107328 HAS SOUS 35925 HAS SOUPS 35925 WITH SCORE 36032.328
AT ITER 3258 NEW BEST:: SOT 136171 SOS 107136 HAS SOPS 107136 HAS SOUS 35922 HAS SOUPS 35922 WITH SCORE 36029.136
AT ITER 3265 NEW BEST:: SOT 136146 SOS 107111 HAS SOPS 107111 HAS SOUS 35905 HAS SOUPS 35905 WITH SCORE 36012.111
AT ITER 3392 NEW BEST:: SOT 136207 SOS 106964 HAS SOPS 106964 HAS SOUS 35849 HAS SOUPS 35849 WITH SCORE 35955.964
AT ITER 3410 NEW BEST:: SOT 136118 SOS 106875 HAS SOPS 106875 HAS SOUS 35744 HAS SOUPS 35744 WITH SCORE 35850.875
AT ITER 3469 NEW BEST:: SOT 136092 SOS 106849 HAS SOPS 106849 HAS SOUS 35708 HAS SOUPS 35708 WITH SCORE 35814.849
AT ITER 3474 NEW BEST:: SOT 136092 SOS 106849 HAS SOPS 106849 HAS SOUS 35673 HAS SOUPS 35673 WITH SCORE 35779.849
AT ITER 3485 NEW BEST:: SOT 136056 SOS 106813 HAS SOPS 106813 HAS SOUS 34917 HAS SOUPS 34917 WITH SCORE 35023.813
AT ITER 3503 NEW BEST:: SOT 135968 SOS 106725 HAS SOPS 106725 HAS SOUS 34836 HAS SOUPS 34836 WITH SCORE 34942.725
AT ITER 3550 NEW BEST:: SOT 135961 SOS 106718 HAS SOPS 106718 HAS SOUS 34829 HAS SOUPS 34829 WITH SCORE 34935.718
AT ITER 3583 NEW BEST:: SOT 135936 SOS 106693 HAS SOPS 106693 HAS SOUS 34682 HAS SOUPS 34682 WITH SCORE 34788.693
AT ITER 3597 NEW BEST:: SOT 135936 SOS 108293 HAS SOPS 108293 HAS SOUS 34657 HAS SOUPS 34657 WITH SCORE 34765.293
AT ITER 3602 NEW BEST:: SOT 135965 SOS 108322 HAS SOPS 108322 HAS SOUS 34616 HAS SOUPS 34616 WITH SCORE 34724.322
AT ITER 3632 NEW BEST:: SOT 135965 SOS 108322 HAS SOPS 108322 HAS SOUS 34592 HAS SOUPS 34592 WITH SCORE 34700.322
AT ITER 3636 NEW BEST:: SOT 136031 SOS 108388 HAS SOPS 108388 HAS SOUS 34562 HAS SOUPS 34562 WITH SCORE 34670.388
AT ITER 3673 NEW BEST:: SOT 136019 SOS 108376 HAS SOPS 108376 HAS SOUS 34510 HAS SOUPS 34510 WITH SCORE 34618.376
AT ITER 3691 NEW BEST:: SOT 136007 SOS 108364 HAS SOPS 108364 HAS SOUS 34482 HAS SOUPS 34482 WITH SCORE 34590.364
AT ITER 3698 NEW BEST:: SOT 136007 SOS 111839 HAS SOPS 111839 HAS SOUS 34468 HAS SOUPS 34468 WITH SCORE 34579.839
AT ITER 3708 NEW BEST:: SOT 135954 SOS 111786 HAS SOPS 111786 HAS SOUS 34421 HAS SOUPS 34421 WITH SCORE 34532.786
AT ITER 3720 NEW BEST:: SOT 135924 SOS 111756 HAS SOPS 111756 HAS SOUS 34412 HAS SOUPS 34412 WITH SCORE 34523.756
AT ITER 3765 NEW BEST:: SOT 135881 SOS 111713 HAS SOPS 111713 HAS SOUS 34361 HAS SOUPS 34361 WITH SCORE 34472.713
AT ITER 3791 NEW BEST:: SOT 135910 SOS 111742 HAS SOPS 111742 HAS SOUS 34171 HAS SOUPS 34171 WITH SCORE 34282.742
AT ITER 3795 NEW BEST:: SOT 135907 SOS 111739 HAS SOPS 111739 HAS SOUS 34160 HAS SOUPS 34160 WITH SCORE 34271.739
AT ITER 3879 NEW BEST:: SOT 135888 SOS 111704 HAS SOPS 111704 HAS SOUS 34153 HAS SOUPS 34153 WITH SCORE 34264.704
AT ITER 3916 NEW BEST:: SOT 135849 SOS 111693 HAS SOPS 111693 HAS SOUS 34069 HAS SOUPS 34069 WITH SCORE 34180.693
AT ITER 3919 NEW BEST:: SOT 135809 SOS 111653 HAS SOPS 111653 HAS SOUS 34015 HAS SOUPS 34015 WITH SCORE 34126.653
AT ITER 3931 NEW BEST:: SOT 135741 SOS 111585 HAS SOPS 111585 HAS SOUS 33965 HAS SOUPS 33965 WITH SCORE 34076.585
AT ITER 4013 NEW BEST:: SOT 135739 SOS 111535 HAS SOPS 111535 HAS SOUS 33957 HAS SOUPS 33957 WITH SCORE 34068.535
AT ITER 4088 NEW BEST:: SOT 135730 SOS 111526 HAS SOPS 111526 HAS SOUS 33948 HAS SOUPS 33948 WITH SCORE 34059.526
AT ITER 4105 NEW BEST:: SOT 135733 SOS 111529 HAS SOPS 111529 HAS SOUS 33939 HAS SOUPS 33939 WITH SCORE 34050.529
AT ITER 4169 NEW BEST:: SOT 135622 SOS 111418 HAS SOPS 111418 HAS SOUS 33907 HAS SOUPS 33907 WITH SCORE 34018.418
AT ITER 4185 NEW BEST:: SOT 135690 SOS 111486 HAS SOPS 111486 HAS SOUS 33876 HAS SOUPS 33876 WITH SCORE 33987.486
AT ITER 4213 NEW BEST:: SOT 135674 SOS 111470 HAS SOPS 111470 HAS SOUS 33874 HAS SOUPS 33874 WITH SCORE 33985.47
AT ITER 4316 NEW BEST:: SOT 135671 SOS 111467 HAS SOPS 111467 HAS SOUS 33847 HAS SOUPS 33847 WITH SCORE 33958.467
AT ITER 4332 NEW BEST:: SOT 135671 SOS 111467 HAS SOPS 111467 HAS SOUS 33823 HAS SOUPS 33823 WITH SCORE 33934.467
AT ITER 4336 NEW BEST:: SOT 135671 SOS 111467 HAS SOPS 111467 HAS SOUS 33821 HAS SOUPS 33821 WITH SCORE 33932.467
AT ITER 4487 NEW BEST:: SOT 135625 SOS 111421 HAS SOPS 111421 HAS SOUS 33775 HAS SOUPS 33775 WITH SCORE 33886.421
AT ITER 4497 NEW BEST:: SOT 135696 SOS 111492 HAS SOPS 111492 HAS SOUS 33766 HAS SOUPS 33766 WITH SCORE 33877.492
AT ITER 4508 NEW BEST:: SOT 135696 SOS 111492 HAS SOPS 111492 HAS SOUS 33742 HAS SOUPS 33742 WITH SCORE 33853.492
AT ITER 4597 NEW BEST:: SOT 135696 SOS 111492 HAS SOPS 111492 HAS SOUS 33740 HAS SOUPS 33740 WITH SCORE 33851.492
AT ITER 4633 NEW BEST:: SOT 135691 SOS 111487 HAS SOPS 111487 HAS SOUS 33735 HAS SOUPS 33735 WITH SCORE 33846.487
AT ITER 4698 NEW BEST:: SOT 135675 SOS 111471 HAS SOPS 111471 HAS SOUS 33679 HAS SOUPS 33679 WITH SCORE 33790.471
AT ITER 4732 NEW BEST:: SOT 135661 SOS 111457 HAS SOPS 111457 HAS SOUS 33617 HAS SOUPS 33617 WITH SCORE 33728.457
AT ITER 4762 NEW BEST:: SOT 135657 SOS 110989 HAS SOPS 110989 HAS SOUS 33608 HAS SOUPS 33608 WITH SCORE 33718.989
AT ITER 4824 NEW BEST:: SOT 135631 SOS 110963 HAS SOPS 110963 HAS SOUS 33574 HAS SOUPS 33574 WITH SCORE 33684.963
AT ITER 4827 NEW BEST:: SOT 135662 SOS 112146 HAS SOPS 112146 HAS SOUS 33523 HAS SOUPS 33523 WITH SCORE 33635.146
AT ITER 4847 NEW BEST:: SOT 135608 SOS 112092 HAS SOPS 112092 HAS SOUS 33457 HAS SOUPS 33457 WITH SCORE 33569.092
AT ITER 4892 NEW BEST:: SOT 135608 SOS 112092 HAS SOPS 112092 HAS SOUS 33437 HAS SOUPS 33437 WITH SCORE 33549.092
AT ITER 4900 NEW BEST:: SOT 135602 SOS 112072 HAS SOPS 112072 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33499.072
AT ITER 4920 NEW BEST:: SOT 135600 SOS 112070 HAS SOPS 112070 HAS SOUS 33371 HAS SOUPS 33371 WITH SCORE 33483.07
AT ITER 4924 NEW BEST:: SOT 135542 SOS 112012 HAS SOPS 112012 HAS SOUS 33289 HAS SOUPS 33289 WITH SCORE 33401.012
AT ITER 4975 NEW BEST:: SOT 135528 SOS 111998 HAS SOPS 111998 HAS SOUS 33259 HAS SOUPS 33259 WITH SCORE 33370.998
AT ITER 4980 NEW BEST:: SOT 135297 SOS 111767 HAS SOPS 111767 HAS SOUS 33202 HAS SOUPS 33202 WITH SCORE 33313.767
AT ITER 4987 NEW BEST:: SOT 135272 SOS 111742 HAS SOPS 111742 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33296.742
AT ITER 5047 NEW BEST:: SOT 135316 SOS 111786 HAS SOPS 111786 HAS SOUS 33182 HAS SOUPS 33182 WITH SCORE 33293.786
AT ITER 5114 NEW BEST:: SOT 135316 SOS 111706 HAS SOPS 111706 HAS SOUS 33177 HAS SOUPS 33177 WITH SCORE 33288.706
AT ITER 5125 NEW BEST:: SOT 135300 SOS 111690 HAS SOPS 111690 HAS SOUS 33133 HAS SOUPS 33133 WITH SCORE 33244.69
AT ITER 5146 NEW BEST:: SOT 135282 SOS 111672 HAS SOPS 111672 HAS SOUS 33121 HAS SOUPS 33121 WITH SCORE 33232.672
AT ITER 5170 NEW BEST:: SOT 135282 SOS 111672 HAS SOPS 111672 HAS SOUS 33075 HAS SOUPS 33075 WITH SCORE 33186.672
AT ITER 5233 NEW BEST:: SOT 135256 SOS 111646 HAS SOPS 111646 HAS SOUS 33054 HAS SOUPS 33054 WITH SCORE 33165.646
AT ITER 5302 NEW BEST:: SOT 135229 SOS 109891 HAS SOPS 109891 HAS SOUS 33054 HAS SOUPS 33054 WITH SCORE 33163.891
AT ITER 5303 NEW BEST:: SOT 135227 SOS 109937 HAS SOPS 109937 HAS SOUS 33051 HAS SOUPS 33051 WITH SCORE 33160.937
AT ITER 5311 NEW BEST:: SOT 135227 SOS 109937 HAS SOPS 109937 HAS SOUS 33034 HAS SOUPS 33034 WITH SCORE 33143.937
AT ITER 5326 NEW BEST:: SOT 135165 SOS 109827 HAS SOPS 109827 HAS SOUS 33008 HAS SOUPS 33008 WITH SCORE 33117.827
AT ITER 5374 NEW BEST:: SOT 135150 SOS 109764 HAS SOPS 109764 HAS SOUS 32975 HAS SOUPS 32975 WITH SCORE 33084.764
AT ITER 5462 NEW BEST:: SOT 135172 SOS 109786 HAS SOPS 109786 HAS SOUS 32957 HAS SOUPS 32957 WITH SCORE 33066.786
AT ITER 5490 NEW BEST:: SOT 135172 SOS 109786 HAS SOPS 109786 HAS SOUS 32954 HAS SOUPS 32954 WITH SCORE 33063.786
AT ITER 5547 NEW BEST:: SOT 135172 SOS 109786 HAS SOPS 109786 HAS SOUS 32953 HAS SOUPS 32953 WITH SCORE 33062.786
AT ITER 5577 NEW BEST:: SOT 135151 SOS 109765 HAS SOPS 109765 HAS SOUS 32932 HAS SOUPS 32932 WITH SCORE 33041.765
AT ITER 5611 NEW BEST:: SOT 135082 SOS 109640 HAS SOPS 109640 HAS SOUS 32895 HAS SOUPS 32895 WITH SCORE 33004.64
AT ITER 5622 NEW BEST:: SOT 135082 SOS 109640 HAS SOPS 109640 HAS SOUS 32847 HAS SOUPS 32847 WITH SCORE 32956.64
AT ITER 5683 NEW BEST:: SOT 135036 SOS 109594 HAS SOPS 109594 HAS SOUS 32843 HAS SOUPS 32843 WITH SCORE 32952.594
AT ITER 5706 NEW BEST:: SOT 134823 SOS 110111 HAS SOPS 110111 HAS SOUS 32807 HAS SOUPS 32807 WITH SCORE 32917.111
AT ITER 5759 NEW BEST:: SOT 134777 SOS 110065 HAS SOPS 110065 HAS SOUS 32776 HAS SOUPS 32776 WITH SCORE 32886.065
AT ITER 5852 NEW BEST:: SOT 134773 SOS 110061 HAS SOPS 110061 HAS SOUS 32732 HAS SOUPS 32732 WITH SCORE 32842.061
AT ITER 5859 NEW BEST:: SOT 134779 SOS 110059 HAS SOPS 110059 HAS SOUS 32730 HAS SOUPS 32730 WITH SCORE 32840.059
AT ITER 5874 NEW BEST:: SOT 134777 SOS 110057 HAS SOPS 110057 HAS SOUS 32728 HAS SOUPS 32728 WITH SCORE 32838.057
AT ITER 5896 NEW BEST:: SOT 134740 SOS 110020 HAS SOPS 110020 HAS SOUS 32721 HAS SOUPS 32721 WITH SCORE 32831.02
AT ITER 5936 NEW BEST:: SOT 134746 SOS 110026 HAS SOPS 110026 HAS SOUS 32710 HAS SOUPS 32710 WITH SCORE 32820.026
AT ITER 5963 NEW BEST:: SOT 134662 SOS 109942 HAS SOPS 109942 HAS SOUS 32631 HAS SOUPS 32631 WITH SCORE 32740.942
AT ITER 6036 NEW BEST:: SOT 134654 SOS 109934 HAS SOPS 109934 HAS SOUS 32623 HAS SOUPS 32623 WITH SCORE 32732.934
AT ITER 6111 NEW BEST:: SOT 134646 SOS 109926 HAS SOPS 109926 HAS SOUS 32607 HAS SOUPS 32607 WITH SCORE 32716.926
AT ITER 6164 NEW BEST:: SOT 134586 SOS 109866 HAS SOPS 109866 HAS SOUS 32547 HAS SOUPS 32547 WITH SCORE 32656.866
AT ITER 6203 NEW BEST:: SOT 134586 SOS 109609 HAS SOPS 109609 HAS SOUS 32547 HAS SOUPS 32547 WITH SCORE 32656.609
AT ITER 6235 NEW BEST:: SOT 134669 SOS 110508 HAS SOPS 110508 HAS SOUS 32533 HAS SOUPS 32533 WITH SCORE 32643.508
AT ITER 6239 NEW BEST:: SOT 134745 SOS 110584 HAS SOPS 110584 HAS SOUS 32503 HAS SOUPS 32503 WITH SCORE 32613.584
AT ITER 6291 NEW BEST:: SOT 134745 SOS 110584 HAS SOPS 110584 HAS SOUS 32475 HAS SOUPS 32475 WITH SCORE 32585.584
AT ITER 6358 NEW BEST:: SOT 134731 SOS 110562 HAS SOPS 110562 HAS SOUS 32467 HAS SOUPS 32467 WITH SCORE 32577.562
AT ITER 6360 NEW BEST:: SOT 134738 SOS 110569 HAS SOPS 110569 HAS SOUS 32466 HAS SOUPS 32466 WITH SCORE 32576.569
AT ITER 6370 NEW BEST:: SOT 134685 SOS 110516 HAS SOPS 110516 HAS SOUS 32423 HAS SOUPS 32423 WITH SCORE 32533.516
AT ITER 6429 NEW BEST:: SOT 134634 SOS 110513 HAS SOPS 110513 HAS SOUS 32332 HAS SOUPS 32332 WITH SCORE 32442.513
AT ITER 6434 NEW BEST:: SOT 134634 SOS 110513 HAS SOPS 110513 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32439.513
AT ITER 6435 NEW BEST:: SOT 134634 SOS 110513 HAS SOPS 110513 HAS SOUS 32291 HAS SOUPS 32291 WITH SCORE 32401.513
AT ITER 6495 NEW BEST:: SOT 134589 SOS 110468 HAS SOPS 110468 HAS SOUS 32246 HAS SOUPS 32246 WITH SCORE 32356.468
AT ITER 6523 NEW BEST:: SOT 134539 SOS 110418 HAS SOPS 110418 HAS SOUS 32134 HAS SOUPS 32134 WITH SCORE 32244.418
AT ITER 6608 NEW BEST:: SOT 134534 SOS 110405 HAS SOPS 110405 HAS SOUS 32130 HAS SOUPS 32130 WITH SCORE 32240.405
AT ITER 6668 NEW BEST:: SOT 134518 SOS 110381 HAS SOPS 110381 HAS SOUS 32112 HAS SOUPS 32112 WITH SCORE 32222.381
AT ITER 6743 NEW BEST:: SOT 134518 SOS 110430 HAS SOPS 110430 HAS SOUS 32109 HAS SOUPS 32109 WITH SCORE 32219.43
AT ITER 6750 NEW BEST:: SOT 134516 SOS 110443 HAS SOPS 110443 HAS SOUS 32107 HAS SOUPS 32107 WITH SCORE 32217.443
AT ITER 6768 NEW BEST:: SOT 134552 SOS 110479 HAS SOPS 110479 HAS SOUS 32081 HAS SOUPS 32081 WITH SCORE 32191.479
AT ITER 6826 NEW BEST:: SOT 134560 SOS 110487 HAS SOPS 110487 HAS SOUS 32065 HAS SOUPS 32065 WITH SCORE 32175.487
AT ITER 6863 NEW BEST:: SOT 134552 SOS 110479 HAS SOPS 110479 HAS SOUS 32057 HAS SOUPS 32057 WITH SCORE 32167.479
AT ITER 6972 NEW BEST:: SOT 134552 SOS 110479 HAS SOPS 110479 HAS SOUS 32049 HAS SOUPS 32049 WITH SCORE 32159.479
AT ITER 7066 NEW BEST:: SOT 134526 SOS 110437 HAS SOPS 110437 HAS SOUS 32035 HAS SOUPS 32035 WITH SCORE 32145.437
AT ITER 7093 NEW BEST:: SOT 134526 SOS 110437 HAS SOPS 110437 HAS SOUS 32023 HAS SOUPS 32023 WITH SCORE 32133.437
AT ITER 7189 NEW BEST:: SOT 134510 SOS 110421 HAS SOPS 110421 HAS SOUS 31983 HAS SOUPS 31983 WITH SCORE 32093.421
AT ITER 7271 NEW BEST:: SOT 134515 SOS 110426 HAS SOPS 110426 HAS SOUS 31972 HAS SOUPS 31972 WITH SCORE 32082.426
AT ITER 7318 NEW BEST:: SOT 134505 SOS 110416 HAS SOPS 110416 HAS SOUS 31962 HAS SOUPS 31962 WITH SCORE 32072.416
AT ITER 7398 NEW BEST:: SOT 134497 SOS 110408 HAS SOPS 110408 HAS SOUS 31962 HAS SOUPS 31962 WITH SCORE 32072.408
AT ITER 7443 NEW BEST:: SOT 134495 SOS 110398 HAS SOPS 110398 HAS SOUS 31956 HAS SOUPS 31956 WITH SCORE 32066.398
AT ITER 7489 NEW BEST:: SOT 134491 SOS 110394 HAS SOPS 110394 HAS SOUS 31956 HAS SOUPS 31956 WITH SCORE 32066.394
AT ITER 7491 NEW BEST:: SOT 134456 SOS 110359 HAS SOPS 110359 HAS SOUS 31918 HAS SOUPS 31918 WITH SCORE 32028.359
AT ITER 7498 NEW BEST:: SOT 134456 SOS 110359 HAS SOPS 110359 HAS SOUS 31915 HAS SOUPS 31915 WITH SCORE 32025.359
AT ITER 7520 NEW BEST:: SOT 134387 SOS 110290 HAS SOPS 110290 HAS SOUS 31846 HAS SOUPS 31846 WITH SCORE 31956.29
AT ITER 7685 NEW BEST:: SOT 134387 SOS 110290 HAS SOPS 110290 HAS SOUS 31812 HAS SOUPS 31812 WITH SCORE 31922.29
AT ITER 7783 NEW BEST:: SOT 134388 SOS 110276 HAS SOPS 110276 HAS SOUS 31809 HAS SOUPS 31809 WITH SCORE 31919.276
AT ITER 7975 NEW BEST:: SOT 134407 SOS 110295 HAS SOPS 110295 HAS SOUS 31805 HAS SOUPS 31805 WITH SCORE 31915.295
AT ITER 8043 NEW BEST:: SOT 134407 SOS 110167 HAS SOPS 110167 HAS SOUS 31803 HAS SOUPS 31803 WITH SCORE 31913.167
AT ITER 8141 NEW BEST:: SOT 134411 SOS 110555 HAS SOPS 110555 HAS SOUS 31800 HAS SOUPS 31800 WITH SCORE 31910.555
AT ITER 8148 NEW BEST:: SOT 134400 SOS 110275 HAS SOPS 110275 HAS SOUS 31783 HAS SOUPS 31783 WITH SCORE 31893.275
AT ITER 8222 NEW BEST:: SOT 134431 SOS 110306 HAS SOPS 110306 HAS SOUS 31774 HAS SOUPS 31774 WITH SCORE 31884.306
AT ITER 8332 NEW BEST:: SOT 134431 SOS 110338 HAS SOPS 110338 HAS SOUS 31773 HAS SOUPS 31773 WITH SCORE 31883.338
AT ITER 8358 NEW BEST:: SOT 134431 SOS 110323 HAS SOPS 110323 HAS SOUS 31771 HAS SOUPS 31771 WITH SCORE 31881.323
AT ITER 8384 NEW BEST:: SOT 134407 SOS 110299 HAS SOPS 110299 HAS SOUS 31753 HAS SOUPS 31753 WITH SCORE 31863.299
AT ITER 8393 NEW BEST:: SOT 134404 SOS 110296 HAS SOPS 110296 HAS SOUS 31741 HAS SOUPS 31741 WITH SCORE 31851.296
AT ITER 8487 NEW BEST:: SOT 134396 SOS 110288 HAS SOPS 110288 HAS SOUS 31717 HAS SOUPS 31717 WITH SCORE 31827.288
AT ITER 8522 NEW BEST:: SOT 134302 SOS 110146 HAS SOPS 110146 HAS SOUS 31659 HAS SOUPS 31659 WITH SCORE 31769.146
AT ITER 8579 NEW BEST:: SOT 134302 SOS 110914 HAS SOPS 110914 HAS SOUS 31610 HAS SOUPS 31610 WITH SCORE 31720.914
AT ITER 8665 NEW BEST:: SOT 134362 SOS 110974 HAS SOPS 110974 HAS SOUS 31608 HAS SOUPS 31608 WITH SCORE 31718.974
AT ITER 8690 NEW BEST:: SOT 134357 SOS 110969 HAS SOPS 110969 HAS SOUS 31589 HAS SOUPS 31589 WITH SCORE 31699.969
AT ITER 8899 NEW BEST:: SOT 134362 SOS 110974 HAS SOPS 110974 HAS SOUS 31578 HAS SOUPS 31578 WITH SCORE 31688.974
AT ITER 8969 NEW BEST:: SOT 134363 SOS 110975 HAS SOPS 110975 HAS SOUS 31571 HAS SOUPS 31571 WITH SCORE 31681.975
AT ITER 9086 NEW BEST:: SOT 134339 SOS 110951 HAS SOPS 110951 HAS SOUS 31540 HAS SOUPS 31540 WITH SCORE 31650.951
AT ITER 9119 NEW BEST:: SOT 134321 SOS 110709 HAS SOPS 110709 HAS SOUS 31480 HAS SOUPS 31480 WITH SCORE 31590.709
AT ITER 9241 NEW BEST:: SOT 134328 SOS 110716 HAS SOPS 110716 HAS SOUS 31473 HAS SOUPS 31473 WITH SCORE 31583.716
AT ITER 9246 NEW BEST:: SOT 134393 SOS 110781 HAS SOPS 110781 HAS SOUS 31415 HAS SOUPS 31415 WITH SCORE 31525.781
AT ITER 9262 NEW BEST:: SOT 134393 SOS 110781 HAS SOPS 110781 HAS SOUS 31394 HAS SOUPS 31394 WITH SCORE 31504.781
AT ITER 9390 NEW BEST:: SOT 134395 SOS 110783 HAS SOPS 110783 HAS SOUS 31349 HAS SOUPS 31349 WITH SCORE 31459.783
AT ITER 9408 NEW BEST:: SOT 134419 SOS 110807 HAS SOPS 110807 HAS SOUS 31301 HAS SOUPS 31301 WITH SCORE 31411.807
AT ITER 9504 NEW BEST:: SOT 134416 SOS 110756 HAS SOPS 110756 HAS SOUS 31298 HAS SOUPS 31298 WITH SCORE 31408.756
AT ITER 9519 NEW BEST:: SOT 134415 SOS 110755 HAS SOPS 110755 HAS SOUS 31297 HAS SOUPS 31297 WITH SCORE 31407.755
AT ITER 9582 NEW BEST:: SOT 134417 SOS 110733 HAS SOPS 110733 HAS SOUS 31297 HAS SOUPS 31297 WITH SCORE 31407.733
AT ITER 9703 NEW BEST:: SOT 134418 SOS 110734 HAS SOPS 110734 HAS SOUS 31261 HAS SOUPS 31261 WITH SCORE 31371.734
AT ITER 9741 NEW BEST:: SOT 134410 SOS 110726 HAS SOPS 110726 HAS SOUS 31255 HAS SOUPS 31255 WITH SCORE 31365.726
AT ITER 9836 NEW BEST:: SOT 134359 SOS 110675 HAS SOPS 110675 HAS SOUS 31183 HAS SOUPS 31183 WITH SCORE 31293.675
AT ITER 9996 NEW BEST:: SOT 134328 SOS 110644 HAS SOPS 110644 HAS SOUS 31131 HAS SOUPS 31131 WITH SCORE 31241.644
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6428692 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119292 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-02"
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-02, 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-167863541900472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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