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.r395-oct2-167903719000592.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPt-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903719000592
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 6.2K Feb 25 20:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 20:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 20:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 25 20:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 20:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 20:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 20:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 74K 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 1679573519554

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=ShieldPPPt-PT-004B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:12:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:12:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:12:03] [INFO ] Load time of PNML (sax parser for PT used): 277 ms
[2023-03-23 12:12:03] [INFO ] Transformed 315 places.
[2023-03-23 12:12:03] [INFO ] Transformed 287 transitions.
[2023-03-23 12:12:03] [INFO ] Found NUPN structural information;
[2023-03-23 12:12:03] [INFO ] Parsed PT model containing 315 places and 287 transitions and 718 arcs in 446 ms.
[2023-03-23 12:12:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 315 places, 287 transitions and 718 arcs took 25 ms.
Total runtime 569 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 004B
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: 315 places, 287 transitions, 718 arcs.
AT ITER 0 NEW BEST:: SOT 49797 SOS 14260 HAS SOPS 14260 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13192.26
AT ITER 2 NEW BEST:: SOT 49797 SOS 14260 HAS SOPS 14260 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13153.26
AT ITER 5 NEW BEST:: SOT 49797 SOS 14251 HAS SOPS 14251 HAS SOUS 13130 HAS SOUPS 13130 WITH SCORE 13144.251
AT ITER 21 NEW BEST:: SOT 49797 SOS 14220 HAS SOPS 14220 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13113.22
AT ITER 45 NEW BEST:: SOT 49797 SOS 14220 HAS SOPS 14220 HAS SOUS 13094 HAS SOUPS 13094 WITH SCORE 13108.22
AT ITER 49 NEW BEST:: SOT 49817 SOS 14225 HAS SOPS 14225 HAS SOUS 13079 HAS SOUPS 13079 WITH SCORE 13093.225
AT ITER 54 NEW BEST:: SOT 49816 SOS 14224 HAS SOPS 14224 HAS SOUS 13078 HAS SOUPS 13078 WITH SCORE 13092.224
AT ITER 73 NEW BEST:: SOT 49816 SOS 14223 HAS SOPS 14223 HAS SOUS 13077 HAS SOUPS 13077 WITH SCORE 13091.223
AT ITER 93 NEW BEST:: SOT 49789 SOS 14159 HAS SOPS 14159 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13029.159
AT ITER 98 NEW BEST:: SOT 49761 SOS 14102 HAS SOPS 14102 HAS SOUS 12958 HAS SOUPS 12958 WITH SCORE 12972.102
AT ITER 157 NEW BEST:: SOT 49754 SOS 14088 HAS SOPS 14088 HAS SOUS 12944 HAS SOUPS 12944 WITH SCORE 12958.088
AT ITER 178 NEW BEST:: SOT 49743 SOS 14083 HAS SOPS 14083 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12953.083
AT ITER 193 NEW BEST:: SOT 49740 SOS 14080 HAS SOPS 14080 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12950.08
AT ITER 204 NEW BEST:: SOT 49740 SOS 14069 HAS SOPS 14069 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12950.069
AT ITER 205 NEW BEST:: SOT 49761 SOS 14111 HAS SOPS 14111 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12933.111
AT ITER 217 NEW BEST:: SOT 49761 SOS 14105 HAS SOPS 14105 HAS SOUS 12913 HAS SOUPS 12913 WITH SCORE 12927.105
AT ITER 218 NEW BEST:: SOT 49806 SOS 14062 HAS SOPS 14062 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12884.062
AT ITER 245 NEW BEST:: SOT 49760 SOS 14031 HAS SOPS 14031 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12847.031
AT ITER 264 NEW BEST:: SOT 49750 SOS 13960 HAS SOPS 13960 HAS SOUS 12815 HAS SOUPS 12815 WITH SCORE 12828.96
AT ITER 269 NEW BEST:: SOT 49727 SOS 13952 HAS SOPS 13952 HAS SOUS 12792 HAS SOUPS 12792 WITH SCORE 12805.952
AT ITER 286 NEW BEST:: SOT 49691 SOS 13947 HAS SOPS 13947 HAS SOUS 12787 HAS SOUPS 12787 WITH SCORE 12800.947
AT ITER 288 NEW BEST:: SOT 49663 SOS 13932 HAS SOPS 13932 HAS SOUS 12772 HAS SOUPS 12772 WITH SCORE 12785.932
AT ITER 315 NEW BEST:: SOT 49690 SOS 13916 HAS SOPS 13916 HAS SOUS 12771 HAS SOUPS 12771 WITH SCORE 12784.916
AT ITER 342 NEW BEST:: SOT 49690 SOS 13916 HAS SOPS 13916 HAS SOUS 12752 HAS SOUPS 12752 WITH SCORE 12765.916
AT ITER 343 NEW BEST:: SOT 49688 SOS 13912 HAS SOPS 13912 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12761.912
AT ITER 349 NEW BEST:: SOT 49688 SOS 13854 HAS SOPS 13854 HAS SOUS 12690 HAS SOUPS 12690 WITH SCORE 12703.854
AT ITER 354 NEW BEST:: SOT 49684 SOS 13849 HAS SOPS 13849 HAS SOUS 12685 HAS SOUPS 12685 WITH SCORE 12698.849
AT ITER 362 NEW BEST:: SOT 49623 SOS 13730 HAS SOPS 13730 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12609.73
AT ITER 376 NEW BEST:: SOT 49596 SOS 13727 HAS SOPS 13727 HAS SOUS 12586 HAS SOUPS 12586 WITH SCORE 12599.727
AT ITER 436 NEW BEST:: SOT 49597 SOS 13718 HAS SOPS 13718 HAS SOUS 12577 HAS SOUPS 12577 WITH SCORE 12590.718
AT ITER 438 NEW BEST:: SOT 49581 SOS 13686 HAS SOPS 13686 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12574.686
AT ITER 445 NEW BEST:: SOT 49581 SOS 13678 HAS SOPS 13678 HAS SOUS 12553 HAS SOUPS 12553 WITH SCORE 12566.678
AT ITER 468 NEW BEST:: SOT 49542 SOS 13605 HAS SOPS 13605 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12532.605
AT ITER 506 NEW BEST:: SOT 49542 SOS 13604 HAS SOPS 13604 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12531.604
AT ITER 519 NEW BEST:: SOT 49542 SOS 13592 HAS SOPS 13592 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12531.592
AT ITER 573 NEW BEST:: SOT 49542 SOS 13588 HAS SOPS 13588 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12527.588
AT ITER 585 NEW BEST:: SOT 49542 SOS 13570 HAS SOPS 13570 HAS SOUS 12496 HAS SOUPS 12496 WITH SCORE 12509.57
AT ITER 595 NEW BEST:: SOT 49563 SOS 13612 HAS SOPS 13612 HAS SOUS 12479 HAS SOUPS 12479 WITH SCORE 12492.612
AT ITER 599 NEW BEST:: SOT 49540 SOS 13595 HAS SOPS 13595 HAS SOUS 12464 HAS SOUPS 12464 WITH SCORE 12477.595
AT ITER 609 NEW BEST:: SOT 49530 SOS 13575 HAS SOPS 13575 HAS SOUS 12423 HAS SOUPS 12423 WITH SCORE 12436.575
AT ITER 614 NEW BEST:: SOT 49528 SOS 13539 HAS SOPS 13539 HAS SOUS 12373 HAS SOUPS 12373 WITH SCORE 12386.539
AT ITER 636 NEW BEST:: SOT 49528 SOS 13535 HAS SOPS 13535 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12384.535
AT ITER 647 NEW BEST:: SOT 49528 SOS 13526 HAS SOPS 13526 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12375.526
AT ITER 651 NEW BEST:: SOT 49528 SOS 13525 HAS SOPS 13525 HAS SOUS 12361 HAS SOUPS 12361 WITH SCORE 12374.525
AT ITER 659 NEW BEST:: SOT 49523 SOS 13515 HAS SOPS 13515 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12369.515
AT ITER 680 NEW BEST:: SOT 49523 SOS 13514 HAS SOPS 13514 HAS SOUS 12355 HAS SOUPS 12355 WITH SCORE 12368.514
AT ITER 694 NEW BEST:: SOT 49522 SOS 13460 HAS SOPS 13460 HAS SOUS 12337 HAS SOUPS 12337 WITH SCORE 12350.46
AT ITER 703 NEW BEST:: SOT 49520 SOS 13386 HAS SOPS 13386 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12312.386
AT ITER 730 NEW BEST:: SOT 49507 SOS 13373 HAS SOPS 13373 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12299.373
AT ITER 746 NEW BEST:: SOT 49498 SOS 13326 HAS SOPS 13326 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12299.326
AT ITER 751 NEW BEST:: SOT 49498 SOS 13325 HAS SOPS 13325 HAS SOUS 12285 HAS SOUPS 12285 WITH SCORE 12298.325
AT ITER 775 NEW BEST:: SOT 49486 SOS 13313 HAS SOPS 13313 HAS SOUS 12273 HAS SOUPS 12273 WITH SCORE 12286.313
AT ITER 793 NEW BEST:: SOT 49477 SOS 13295 HAS SOPS 13295 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12279.295
AT ITER 813 NEW BEST:: SOT 49467 SOS 13275 HAS SOPS 13275 HAS SOUS 12243 HAS SOUPS 12243 WITH SCORE 12256.275
AT ITER 822 NEW BEST:: SOT 49466 SOS 13227 HAS SOPS 13227 HAS SOUS 12241 HAS SOUPS 12241 WITH SCORE 12254.227
AT ITER 838 NEW BEST:: SOT 49466 SOS 13215 HAS SOPS 13215 HAS SOUS 12239 HAS SOUPS 12239 WITH SCORE 12252.215
AT ITER 843 NEW BEST:: SOT 49432 SOS 13195 HAS SOPS 13195 HAS SOUS 12219 HAS SOUPS 12219 WITH SCORE 12232.195
AT ITER 845 NEW BEST:: SOT 49415 SOS 13135 HAS SOPS 13135 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12172.135
AT ITER 855 NEW BEST:: SOT 49363 SOS 13113 HAS SOPS 13113 HAS SOUS 12107 HAS SOUPS 12107 WITH SCORE 12120.113
AT ITER 860 NEW BEST:: SOT 49369 SOS 13123 HAS SOPS 13123 HAS SOUS 12079 HAS SOUPS 12079 WITH SCORE 12092.123
AT ITER 861 NEW BEST:: SOT 49369 SOS 13117 HAS SOPS 13117 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12086.117
AT ITER 863 NEW BEST:: SOT 49359 SOS 13101 HAS SOPS 13101 HAS SOUS 12057 HAS SOUPS 12057 WITH SCORE 12070.101
AT ITER 873 NEW BEST:: SOT 49348 SOS 13074 HAS SOPS 13074 HAS SOUS 12005 HAS SOUPS 12005 WITH SCORE 12018.074
AT ITER 885 NEW BEST:: SOT 49341 SOS 13085 HAS SOPS 13085 HAS SOUS 12000 HAS SOUPS 12000 WITH SCORE 12013.085
AT ITER 899 NEW BEST:: SOT 49349 SOS 13023 HAS SOPS 13023 HAS SOUS 11977 HAS SOUPS 11977 WITH SCORE 11990.023
AT ITER 902 NEW BEST:: SOT 49336 SOS 13007 HAS SOPS 13007 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 11987.007
AT ITER 924 NEW BEST:: SOT 49277 SOS 12886 HAS SOPS 12886 HAS SOUS 11912 HAS SOUPS 11912 WITH SCORE 11924.886
AT ITER 930 NEW BEST:: SOT 49276 SOS 12885 HAS SOPS 12885 HAS SOUS 11911 HAS SOUPS 11911 WITH SCORE 11923.885
AT ITER 940 NEW BEST:: SOT 49248 SOS 12873 HAS SOPS 12873 HAS SOUS 11884 HAS SOUPS 11884 WITH SCORE 11896.873
AT ITER 949 NEW BEST:: SOT 49244 SOS 12869 HAS SOPS 12869 HAS SOUS 11880 HAS SOUPS 11880 WITH SCORE 11892.869
AT ITER 1024 NEW BEST:: SOT 49221 SOS 12791 HAS SOPS 12791 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11869.791
AT ITER 1036 NEW BEST:: SOT 49213 SOS 12779 HAS SOPS 12779 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11857.779
AT ITER 1057 NEW BEST:: SOT 49233 SOS 12797 HAS SOPS 12797 HAS SOUS 11794 HAS SOUPS 11794 WITH SCORE 11806.797
AT ITER 1076 NEW BEST:: SOT 49167 SOS 12719 HAS SOPS 12719 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11728.719
AT ITER 1123 NEW BEST:: SOT 49167 SOS 12690 HAS SOPS 12690 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11728.69
AT ITER 1125 NEW BEST:: SOT 49156 SOS 12679 HAS SOPS 12679 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11706.679
AT ITER 1146 NEW BEST:: SOT 49154 SOS 12714 HAS SOPS 12714 HAS SOUS 11693 HAS SOUPS 11693 WITH SCORE 11705.714
AT ITER 1158 NEW BEST:: SOT 49144 SOS 12702 HAS SOPS 12702 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11694.702
AT ITER 1183 NEW BEST:: SOT 49150 SOS 12699 HAS SOPS 12699 HAS SOUS 11676 HAS SOUPS 11676 WITH SCORE 11688.699
AT ITER 1184 NEW BEST:: SOT 49150 SOS 12687 HAS SOPS 12687 HAS SOUS 11664 HAS SOUPS 11664 WITH SCORE 11676.687
AT ITER 1191 NEW BEST:: SOT 49158 SOS 12648 HAS SOPS 12648 HAS SOUS 11648 HAS SOUPS 11648 WITH SCORE 11660.648
AT ITER 1204 NEW BEST:: SOT 49158 SOS 12646 HAS SOPS 12646 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11658.646
AT ITER 1213 NEW BEST:: SOT 49110 SOS 12684 HAS SOPS 12684 HAS SOUS 11602 HAS SOUPS 11602 WITH SCORE 11614.684
AT ITER 1230 NEW BEST:: SOT 49101 SOS 12678 HAS SOPS 12678 HAS SOUS 11596 HAS SOUPS 11596 WITH SCORE 11608.678
AT ITER 1233 NEW BEST:: SOT 49101 SOS 12677 HAS SOPS 12677 HAS SOUS 11595 HAS SOUPS 11595 WITH SCORE 11607.677
AT ITER 1251 NEW BEST:: SOT 49028 SOS 12699 HAS SOPS 12699 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11605.699
AT ITER 1253 NEW BEST:: SOT 49028 SOS 12686 HAS SOPS 12686 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11592.686
AT ITER 1298 NEW BEST:: SOT 49024 SOS 12682 HAS SOPS 12682 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11588.682
AT ITER 1303 NEW BEST:: SOT 49023 SOS 12679 HAS SOPS 12679 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11585.679
AT ITER 1330 NEW BEST:: SOT 49023 SOS 12672 HAS SOPS 12672 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11578.672
AT ITER 1355 NEW BEST:: SOT 49001 SOS 12656 HAS SOPS 12656 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11562.656
AT ITER 1375 NEW BEST:: SOT 49001 SOS 12651 HAS SOPS 12651 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11562.651
AT ITER 1397 NEW BEST:: SOT 48998 SOS 12648 HAS SOPS 12648 HAS SOUS 11547 HAS SOUPS 11547 WITH SCORE 11559.648
AT ITER 1421 NEW BEST:: SOT 48985 SOS 12641 HAS SOPS 12641 HAS SOUS 11540 HAS SOUPS 11540 WITH SCORE 11552.641
AT ITER 1455 NEW BEST:: SOT 48995 SOS 12643 HAS SOPS 12643 HAS SOUS 11530 HAS SOUPS 11530 WITH SCORE 11542.643
AT ITER 1471 NEW BEST:: SOT 49014 SOS 12598 HAS SOPS 12598 HAS SOUS 11519 HAS SOUPS 11519 WITH SCORE 11531.598
AT ITER 1475 NEW BEST:: SOT 48958 SOS 12482 HAS SOPS 12482 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11423.482
AT ITER 1496 NEW BEST:: SOT 48958 SOS 12472 HAS SOPS 12472 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11413.472
AT ITER 1517 NEW BEST:: SOT 48933 SOS 12466 HAS SOPS 12466 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11407.466
AT ITER 1560 NEW BEST:: SOT 48919 SOS 12438 HAS SOPS 12438 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11376.438
AT ITER 1597 NEW BEST:: SOT 48919 SOS 12431 HAS SOPS 12431 HAS SOUS 11357 HAS SOUPS 11357 WITH SCORE 11369.431
AT ITER 1607 NEW BEST:: SOT 48919 SOS 12408 HAS SOPS 12408 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11346.408
AT ITER 1647 NEW BEST:: SOT 48919 SOS 12407 HAS SOPS 12407 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11345.407
AT ITER 1649 NEW BEST:: SOT 48893 SOS 12392 HAS SOPS 12392 HAS SOUS 11318 HAS SOUPS 11318 WITH SCORE 11330.392
AT ITER 1673 NEW BEST:: SOT 48883 SOS 12372 HAS SOPS 12372 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11310.372
AT ITER 1675 NEW BEST:: SOT 48883 SOS 12352 HAS SOPS 12352 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11290.352
AT ITER 1696 NEW BEST:: SOT 48881 SOS 12340 HAS SOPS 12340 HAS SOUS 11274 HAS SOUPS 11274 WITH SCORE 11286.34
AT ITER 1763 NEW BEST:: SOT 48881 SOS 12333 HAS SOPS 12333 HAS SOUS 11267 HAS SOUPS 11267 WITH SCORE 11279.333
AT ITER 1784 NEW BEST:: SOT 48864 SOS 12310 HAS SOPS 12310 HAS SOUS 11244 HAS SOUPS 11244 WITH SCORE 11256.31
AT ITER 1788 NEW BEST:: SOT 48864 SOS 12295 HAS SOPS 12295 HAS SOUS 11230 HAS SOUPS 11230 WITH SCORE 11242.295
AT ITER 1910 NEW BEST:: SOT 48864 SOS 12283 HAS SOPS 12283 HAS SOUS 11218 HAS SOUPS 11218 WITH SCORE 11230.283
AT ITER 1915 NEW BEST:: SOT 48852 SOS 12259 HAS SOPS 12259 HAS SOUS 11206 HAS SOUPS 11206 WITH SCORE 11218.259
AT ITER 1948 NEW BEST:: SOT 48852 SOS 12294 HAS SOPS 12294 HAS SOUS 11197 HAS SOUPS 11197 WITH SCORE 11209.294
AT ITER 1954 NEW BEST:: SOT 48852 SOS 12240 HAS SOPS 12240 HAS SOUS 11197 HAS SOUPS 11197 WITH SCORE 11209.24
AT ITER 1966 NEW BEST:: SOT 48872 SOS 12269 HAS SOPS 12269 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11198.269
AT ITER 1987 NEW BEST:: SOT 48862 SOS 12259 HAS SOPS 12259 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11188.259
AT ITER 2095 NEW BEST:: SOT 48852 SOS 12229 HAS SOPS 12229 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11188.229
AT ITER 2141 NEW BEST:: SOT 48831 SOS 12221 HAS SOPS 12221 HAS SOUS 11111 HAS SOUPS 11111 WITH SCORE 11123.221
AT ITER 2167 NEW BEST:: SOT 48831 SOS 12211 HAS SOPS 12211 HAS SOUS 11106 HAS SOUPS 11106 WITH SCORE 11118.211
AT ITER 2244 NEW BEST:: SOT 48855 SOS 12224 HAS SOPS 12224 HAS SOUS 11095 HAS SOUPS 11095 WITH SCORE 11107.224
AT ITER 2265 NEW BEST:: SOT 48839 SOS 12208 HAS SOPS 12208 HAS SOUS 11079 HAS SOUPS 11079 WITH SCORE 11091.208
AT ITER 2335 NEW BEST:: SOT 48831 SOS 12159 HAS SOPS 12159 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11064.159
AT ITER 2346 NEW BEST:: SOT 48798 SOS 12157 HAS SOPS 12157 HAS SOUS 11047 HAS SOUPS 11047 WITH SCORE 11059.157
AT ITER 2357 NEW BEST:: SOT 48797 SOS 12114 HAS SOPS 12114 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11027.114
AT ITER 2359 NEW BEST:: SOT 48811 SOS 12127 HAS SOPS 12127 HAS SOUS 11010 HAS SOUPS 11010 WITH SCORE 11022.127
AT ITER 2384 NEW BEST:: SOT 48804 SOS 12079 HAS SOPS 12079 HAS SOUS 10962 HAS SOUPS 10962 WITH SCORE 10974.079
AT ITER 2431 NEW BEST:: SOT 48797 SOS 12072 HAS SOPS 12072 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10967.072
AT ITER 2453 NEW BEST:: SOT 48783 SOS 12071 HAS SOPS 12071 HAS SOUS 10950 HAS SOUPS 10950 WITH SCORE 10962.071
AT ITER 2494 NEW BEST:: SOT 48756 SOS 12060 HAS SOPS 12060 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10951.06
AT ITER 2495 NEW BEST:: SOT 48730 SOS 12034 HAS SOPS 12034 HAS SOUS 10913 HAS SOUPS 10913 WITH SCORE 10925.034
AT ITER 2511 NEW BEST:: SOT 48698 SOS 12017 HAS SOPS 12017 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10908.017
AT ITER 2557 NEW BEST:: SOT 48696 SOS 12013 HAS SOPS 12013 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10904.013
AT ITER 2558 NEW BEST:: SOT 48732 SOS 12007 HAS SOPS 12007 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10898.007
AT ITER 2589 NEW BEST:: SOT 48702 SOS 11998 HAS SOPS 11998 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 10867.998
AT ITER 2632 NEW BEST:: SOT 48662 SOS 11988 HAS SOPS 11988 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10827.988
AT ITER 2661 NEW BEST:: SOT 48622 SOS 11902 HAS SOPS 11902 HAS SOUS 10770 HAS SOUPS 10770 WITH SCORE 10781.902
AT ITER 2671 NEW BEST:: SOT 48619 SOS 11899 HAS SOPS 11899 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10775.899
AT ITER 2687 NEW BEST:: SOT 48612 SOS 11885 HAS SOPS 11885 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10761.885
AT ITER 2698 NEW BEST:: SOT 48611 SOS 11866 HAS SOPS 11866 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10759.866
AT ITER 2770 NEW BEST:: SOT 48611 SOS 11857 HAS SOPS 11857 HAS SOUS 10739 HAS SOUPS 10739 WITH SCORE 10750.857
AT ITER 2783 NEW BEST:: SOT 48617 SOS 11856 HAS SOPS 11856 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10749.856
AT ITER 2793 NEW BEST:: SOT 48620 SOS 11837 HAS SOPS 11837 HAS SOUS 10719 HAS SOUPS 10719 WITH SCORE 10730.837
AT ITER 2806 NEW BEST:: SOT 48637 SOS 11805 HAS SOPS 11805 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10698.805
AT ITER 2808 NEW BEST:: SOT 48637 SOS 11753 HAS SOPS 11753 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10696.753
AT ITER 2840 NEW BEST:: SOT 48658 SOS 11725 HAS SOPS 11725 HAS SOUS 10678 HAS SOUPS 10678 WITH SCORE 10689.725
AT ITER 2845 NEW BEST:: SOT 48658 SOS 11717 HAS SOPS 11717 HAS SOUS 10678 HAS SOUPS 10678 WITH SCORE 10689.717
AT ITER 2858 NEW BEST:: SOT 48644 SOS 11713 HAS SOPS 11713 HAS SOUS 10674 HAS SOUPS 10674 WITH SCORE 10685.713
AT ITER 2870 NEW BEST:: SOT 48643 SOS 11706 HAS SOPS 11706 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10683.706
AT ITER 2951 NEW BEST:: SOT 48636 SOS 11692 HAS SOPS 11692 HAS SOUS 10665 HAS SOUPS 10665 WITH SCORE 10676.692
AT ITER 2956 NEW BEST:: SOT 48627 SOS 11674 HAS SOPS 11674 HAS SOUS 10647 HAS SOUPS 10647 WITH SCORE 10658.674
AT ITER 2962 NEW BEST:: SOT 48635 SOS 11661 HAS SOPS 11661 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10645.661
AT ITER 2979 NEW BEST:: SOT 48626 SOS 11669 HAS SOPS 11669 HAS SOUS 10633 HAS SOUPS 10633 WITH SCORE 10644.669
AT ITER 2989 NEW BEST:: SOT 48626 SOS 11666 HAS SOPS 11666 HAS SOUS 10633 HAS SOUPS 10633 WITH SCORE 10644.666
AT ITER 3007 NEW BEST:: SOT 48635 SOS 11646 HAS SOPS 11646 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10615.646
AT ITER 3009 NEW BEST:: SOT 48647 SOS 11641 HAS SOPS 11641 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10610.641
AT ITER 3019 NEW BEST:: SOT 48634 SOS 11628 HAS SOPS 11628 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10597.628
AT ITER 3063 NEW BEST:: SOT 48645 SOS 11604 HAS SOPS 11604 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10582.604
AT ITER 3083 NEW BEST:: SOT 48621 SOS 11539 HAS SOPS 11539 HAS SOUS 10497 HAS SOUPS 10497 WITH SCORE 10508.539
AT ITER 3093 NEW BEST:: SOT 48623 SOS 11533 HAS SOPS 11533 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10492.533
AT ITER 3130 NEW BEST:: SOT 48623 SOS 11536 HAS SOPS 11536 HAS SOUS 10461 HAS SOUPS 10461 WITH SCORE 10472.536
AT ITER 3135 NEW BEST:: SOT 48623 SOS 11536 HAS SOPS 11536 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10471.536
AT ITER 3183 NEW BEST:: SOT 48615 SOS 11520 HAS SOPS 11520 HAS SOUS 10444 HAS SOUPS 10444 WITH SCORE 10455.52
AT ITER 3184 NEW BEST:: SOT 48615 SOS 11491 HAS SOPS 11491 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10436.491
AT ITER 3204 NEW BEST:: SOT 48615 SOS 11489 HAS SOPS 11489 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10433.489
AT ITER 3222 NEW BEST:: SOT 48630 SOS 11487 HAS SOPS 11487 HAS SOUS 10420 HAS SOUPS 10420 WITH SCORE 10431.487
AT ITER 3223 NEW BEST:: SOT 48625 SOS 11464 HAS SOPS 11464 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10408.464
AT ITER 3240 NEW BEST:: SOT 48621 SOS 11460 HAS SOPS 11460 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10404.46
AT ITER 3243 NEW BEST:: SOT 48618 SOS 11454 HAS SOPS 11454 HAS SOUS 10387 HAS SOUPS 10387 WITH SCORE 10398.454
AT ITER 3244 NEW BEST:: SOT 48618 SOS 11435 HAS SOPS 11435 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10379.435
AT ITER 3257 NEW BEST:: SOT 48618 SOS 11433 HAS SOPS 11433 HAS SOUS 10366 HAS SOUPS 10366 WITH SCORE 10377.433
AT ITER 3259 NEW BEST:: SOT 48617 SOS 11432 HAS SOPS 11432 HAS SOUS 10365 HAS SOUPS 10365 WITH SCORE 10376.432
AT ITER 3313 NEW BEST:: SOT 48585 SOS 11463 HAS SOPS 11463 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10352.463
AT ITER 3321 NEW BEST:: SOT 48583 SOS 11459 HAS SOPS 11459 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10348.459
AT ITER 3371 NEW BEST:: SOT 48586 SOS 11448 HAS SOPS 11448 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10334.448
AT ITER 3398 NEW BEST:: SOT 48603 SOS 11424 HAS SOPS 11424 HAS SOUS 10299 HAS SOUPS 10299 WITH SCORE 10310.424
AT ITER 3418 NEW BEST:: SOT 48601 SOS 11424 HAS SOPS 11424 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10308.424
AT ITER 3423 NEW BEST:: SOT 48596 SOS 11433 HAS SOPS 11433 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10298.433
AT ITER 3468 NEW BEST:: SOT 48595 SOS 11388 HAS SOPS 11388 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10271.388
AT ITER 3474 NEW BEST:: SOT 48595 SOS 11383 HAS SOPS 11383 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10266.383
AT ITER 3480 NEW BEST:: SOT 48587 SOS 11367 HAS SOPS 11367 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10258.367
AT ITER 3495 NEW BEST:: SOT 48587 SOS 11337 HAS SOPS 11337 HAS SOUS 10242 HAS SOUPS 10242 WITH SCORE 10253.337
AT ITER 3550 NEW BEST:: SOT 48587 SOS 11334 HAS SOPS 11334 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10250.334
AT ITER 3580 NEW BEST:: SOT 48579 SOS 11318 HAS SOPS 11318 HAS SOUS 10236 HAS SOUPS 10236 WITH SCORE 10247.318
AT ITER 3607 NEW BEST:: SOT 48566 SOS 11305 HAS SOPS 11305 HAS SOUS 10223 HAS SOUPS 10223 WITH SCORE 10234.305
AT ITER 3647 NEW BEST:: SOT 48562 SOS 11299 HAS SOPS 11299 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10230.299
AT ITER 3660 NEW BEST:: SOT 48551 SOS 11262 HAS SOPS 11262 HAS SOUS 10208 HAS SOUPS 10208 WITH SCORE 10219.262
AT ITER 3697 NEW BEST:: SOT 48551 SOS 11261 HAS SOPS 11261 HAS SOUS 10206 HAS SOUPS 10206 WITH SCORE 10217.261
AT ITER 3719 NEW BEST:: SOT 48551 SOS 11261 HAS SOPS 11261 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10214.261
AT ITER 3751 NEW BEST:: SOT 48544 SOS 11238 HAS SOPS 11238 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10198.238
AT ITER 3757 NEW BEST:: SOT 48544 SOS 11235 HAS SOPS 11235 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10195.235
AT ITER 3764 NEW BEST:: SOT 48553 SOS 11213 HAS SOPS 11213 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10165.213
AT ITER 3766 NEW BEST:: SOT 48551 SOS 11210 HAS SOPS 11210 HAS SOUS 10149 HAS SOUPS 10149 WITH SCORE 10160.21
AT ITER 3797 NEW BEST:: SOT 48546 SOS 11196 HAS SOPS 11196 HAS SOUS 10135 HAS SOUPS 10135 WITH SCORE 10146.196
AT ITER 3798 NEW BEST:: SOT 48539 SOS 11166 HAS SOPS 11166 HAS SOUS 10117 HAS SOUPS 10117 WITH SCORE 10128.166
AT ITER 3808 NEW BEST:: SOT 48504 SOS 11103 HAS SOPS 11103 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10097.103
AT ITER 3813 NEW BEST:: SOT 48501 SOS 11097 HAS SOPS 11097 HAS SOUS 10083 HAS SOUPS 10083 WITH SCORE 10094.097
AT ITER 3859 NEW BEST:: SOT 48475 SOS 11071 HAS SOPS 11071 HAS SOUS 10057 HAS SOUPS 10057 WITH SCORE 10068.071
AT ITER 3868 NEW BEST:: SOT 48463 SOS 11054 HAS SOPS 11054 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10053.054
AT ITER 3909 NEW BEST:: SOT 48467 SOS 11054 HAS SOPS 11054 HAS SOUS 10037 HAS SOUPS 10037 WITH SCORE 10048.054
AT ITER 3931 NEW BEST:: SOT 48461 SOS 11042 HAS SOPS 11042 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10039.042
AT ITER 3949 NEW BEST:: SOT 48449 SOS 11055 HAS SOPS 11055 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10031.055
AT ITER 3955 NEW BEST:: SOT 48449 SOS 11073 HAS SOPS 11073 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10028.073
AT ITER 3976 NEW BEST:: SOT 48436 SOS 11047 HAS SOPS 11047 HAS SOUS 10017 HAS SOUPS 10017 WITH SCORE 10028.047
AT ITER 3984 NEW BEST:: SOT 48436 SOS 11042 HAS SOPS 11042 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10023.042
AT ITER 4004 NEW BEST:: SOT 48436 SOS 11041 HAS SOPS 11041 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10022.041
AT ITER 4019 NEW BEST:: SOT 48431 SOS 11038 HAS SOPS 11038 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10019.038
AT ITER 4071 NEW BEST:: SOT 48427 SOS 11003 HAS SOPS 11003 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10012.003
AT ITER 4143 NEW BEST:: SOT 48392 SOS 10997 HAS SOPS 10997 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9986.997
AT ITER 4160 NEW BEST:: SOT 48385 SOS 11074 HAS SOPS 11074 HAS SOUS 9962 HAS SOUPS 9962 WITH SCORE 9973.074
AT ITER 4185 NEW BEST:: SOT 48378 SOS 11067 HAS SOPS 11067 HAS SOUS 9955 HAS SOUPS 9955 WITH SCORE 9966.067
AT ITER 4198 NEW BEST:: SOT 48377 SOS 11061 HAS SOPS 11061 HAS SOUS 9954 HAS SOUPS 9954 WITH SCORE 9965.061
AT ITER 4215 NEW BEST:: SOT 48387 SOS 11096 HAS SOPS 11096 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9962.096
AT ITER 4251 NEW BEST:: SOT 48385 SOS 11094 HAS SOPS 11094 HAS SOUS 9949 HAS SOUPS 9949 WITH SCORE 9960.094
AT ITER 4316 NEW BEST:: SOT 48349 SOS 11138 HAS SOPS 11138 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9955.138
AT ITER 4373 NEW BEST:: SOT 48348 SOS 11136 HAS SOPS 11136 HAS SOUS 9942 HAS SOUPS 9942 WITH SCORE 9953.136
AT ITER 4452 NEW BEST:: SOT 48342 SOS 11132 HAS SOPS 11132 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9949.132
AT ITER 4483 NEW BEST:: SOT 48340 SOS 11129 HAS SOPS 11129 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9946.129
AT ITER 4486 NEW BEST:: SOT 48316 SOS 11106 HAS SOPS 11106 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9939.106
AT ITER 4523 NEW BEST:: SOT 48309 SOS 11079 HAS SOPS 11079 HAS SOUS 9901 HAS SOUPS 9901 WITH SCORE 9912.079
AT ITER 4528 NEW BEST:: SOT 48314 SOS 11042 HAS SOPS 11042 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9910.042
AT ITER 4532 NEW BEST:: SOT 48314 SOS 11050 HAS SOPS 11050 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9909.05
AT ITER 4536 NEW BEST:: SOT 48333 SOS 11049 HAS SOPS 11049 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9908.049
AT ITER 4544 NEW BEST:: SOT 48332 SOS 11070 HAS SOPS 11070 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9886.07
AT ITER 4575 NEW BEST:: SOT 48319 SOS 11057 HAS SOPS 11057 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9873.057
AT ITER 4615 NEW BEST:: SOT 48318 SOS 11055 HAS SOPS 11055 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9872.055
AT ITER 4629 NEW BEST:: SOT 48317 SOS 11053 HAS SOPS 11053 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9870.053
AT ITER 4639 NEW BEST:: SOT 48304 SOS 11027 HAS SOPS 11027 HAS SOUS 9833 HAS SOUPS 9833 WITH SCORE 9844.027
AT ITER 4644 NEW BEST:: SOT 48300 SOS 11019 HAS SOPS 11019 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9836.019
AT ITER 4669 NEW BEST:: SOT 48306 SOS 11027 HAS SOPS 11027 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9831.027
AT ITER 4691 NEW BEST:: SOT 48306 SOS 11023 HAS SOPS 11023 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9827.023
AT ITER 4739 NEW BEST:: SOT 48316 SOS 11013 HAS SOPS 11013 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9819.013
AT ITER 4742 NEW BEST:: SOT 48316 SOS 11004 HAS SOPS 11004 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9819.004
AT ITER 4775 NEW BEST:: SOT 48309 SOS 10995 HAS SOPS 10995 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9809.995
AT ITER 4787 NEW BEST:: SOT 48302 SOS 10967 HAS SOPS 10967 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9788.967
AT ITER 4841 NEW BEST:: SOT 48300 SOS 10965 HAS SOPS 10965 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9788.965
AT ITER 4845 NEW BEST:: SOT 48326 SOS 10953 HAS SOPS 10953 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9771.953
AT ITER 4862 NEW BEST:: SOT 48325 SOS 10877 HAS SOPS 10877 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9741.877
AT ITER 4873 NEW BEST:: SOT 48320 SOS 10871 HAS SOPS 10871 HAS SOUS 9725 HAS SOUPS 9725 WITH SCORE 9735.871
AT ITER 4913 NEW BEST:: SOT 48313 SOS 10855 HAS SOPS 10855 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9727.855
AT ITER 4944 NEW BEST:: SOT 48313 SOS 10844 HAS SOPS 10844 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9727.844
AT ITER 4969 NEW BEST:: SOT 48316 SOS 10846 HAS SOPS 10846 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9726.846
AT ITER 5040 NEW BEST:: SOT 48318 SOS 10834 HAS SOPS 10834 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9722.834
AT ITER 5049 NEW BEST:: SOT 48322 SOS 10832 HAS SOPS 10832 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9720.832
AT ITER 5052 NEW BEST:: SOT 48321 SOS 10830 HAS SOPS 10830 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9719.83
AT ITER 5100 NEW BEST:: SOT 48316 SOS 10827 HAS SOPS 10827 HAS SOUS 9706 HAS SOUPS 9706 WITH SCORE 9716.827
AT ITER 5107 NEW BEST:: SOT 48314 SOS 10821 HAS SOPS 10821 HAS SOUS 9704 HAS SOUPS 9704 WITH SCORE 9714.821
AT ITER 5140 NEW BEST:: SOT 48314 SOS 10819 HAS SOPS 10819 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9712.819
AT ITER 5268 NEW BEST:: SOT 48314 SOS 10805 HAS SOPS 10805 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9712.805
AT ITER 5301 NEW BEST:: SOT 48324 SOS 10796 HAS SOPS 10796 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9711.796
AT ITER 5312 NEW BEST:: SOT 48322 SOS 10796 HAS SOPS 10796 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9709.796
AT ITER 5362 NEW BEST:: SOT 48322 SOS 10779 HAS SOPS 10779 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9709.779
AT ITER 5377 NEW BEST:: SOT 48313 SOS 10767 HAS SOPS 10767 HAS SOUS 9693 HAS SOUPS 9693 WITH SCORE 9703.767
AT ITER 5381 NEW BEST:: SOT 48313 SOS 10765 HAS SOPS 10765 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9702.765
AT ITER 5447 NEW BEST:: SOT 48309 SOS 10757 HAS SOPS 10757 HAS SOUS 9688 HAS SOUPS 9688 WITH SCORE 9698.757
AT ITER 5454 NEW BEST:: SOT 48282 SOS 10728 HAS SOPS 10728 HAS SOUS 9657 HAS SOUPS 9657 WITH SCORE 9667.728
AT ITER 5471 NEW BEST:: SOT 48277 SOS 10718 HAS SOPS 10718 HAS SOUS 9647 HAS SOUPS 9647 WITH SCORE 9657.718
AT ITER 5504 NEW BEST:: SOT 48277 SOS 10717 HAS SOPS 10717 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9656.717
AT ITER 5507 NEW BEST:: SOT 48276 SOS 10703 HAS SOPS 10703 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9642.703
AT ITER 5512 NEW BEST:: SOT 48272 SOS 10698 HAS SOPS 10698 HAS SOUS 9627 HAS SOUPS 9627 WITH SCORE 9637.698
AT ITER 5554 NEW BEST:: SOT 48243 SOS 10673 HAS SOPS 10673 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9612.673
AT ITER 5556 NEW BEST:: SOT 48242 SOS 10670 HAS SOPS 10670 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9611.67
AT ITER 5655 NEW BEST:: SOT 48238 SOS 10665 HAS SOPS 10665 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9606.665
AT ITER 5863 NEW BEST:: SOT 48232 SOS 10653 HAS SOPS 10653 HAS SOUS 9584 HAS SOUPS 9584 WITH SCORE 9594.653
AT ITER 5880 NEW BEST:: SOT 48232 SOS 10651 HAS SOPS 10651 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9592.651
AT ITER 5892 NEW BEST:: SOT 48232 SOS 10650 HAS SOPS 10650 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9591.65
AT ITER 5966 NEW BEST:: SOT 48232 SOS 10638 HAS SOPS 10638 HAS SOUS 9557 HAS SOUPS 9557 WITH SCORE 9567.638
AT ITER 5968 NEW BEST:: SOT 48232 SOS 10630 HAS SOPS 10630 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9559.63
AT ITER 5971 NEW BEST:: SOT 48223 SOS 10621 HAS SOPS 10621 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9550.621
AT ITER 6016 NEW BEST:: SOT 48223 SOS 10612 HAS SOPS 10612 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9541.612
AT ITER 6020 NEW BEST:: SOT 48223 SOS 10600 HAS SOPS 10600 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9535.6
AT ITER 6056 NEW BEST:: SOT 48220 SOS 10594 HAS SOPS 10594 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9531.594
AT ITER 6057 NEW BEST:: SOT 48220 SOS 10594 HAS SOPS 10594 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9526.594
AT ITER 6109 NEW BEST:: SOT 48220 SOS 10593 HAS SOPS 10593 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9525.593
AT ITER 6128 NEW BEST:: SOT 48213 SOS 10572 HAS SOPS 10572 HAS SOUS 9508 HAS SOUPS 9508 WITH SCORE 9518.572
AT ITER 6184 NEW BEST:: SOT 48209 SOS 10567 HAS SOPS 10567 HAS SOUS 9503 HAS SOUPS 9503 WITH SCORE 9513.567
AT ITER 6208 NEW BEST:: SOT 48201 SOS 10555 HAS SOPS 10555 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9501.555
AT ITER 6253 NEW BEST:: SOT 48219 SOS 10550 HAS SOPS 10550 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9496.55
AT ITER 6357 NEW BEST:: SOT 48223 SOS 10509 HAS SOPS 10509 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9455.509
AT ITER 6426 NEW BEST:: SOT 48215 SOS 10547 HAS SOPS 10547 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9447.547
AT ITER 6474 NEW BEST:: SOT 48215 SOS 10541 HAS SOPS 10541 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9442.541
AT ITER 6572 NEW BEST:: SOT 48214 SOS 10540 HAS SOPS 10540 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9441.54
AT ITER 6668 NEW BEST:: SOT 48211 SOS 10534 HAS SOPS 10534 HAS SOUS 9425 HAS SOUPS 9425 WITH SCORE 9435.534
AT ITER 6696 NEW BEST:: SOT 48211 SOS 10526 HAS SOPS 10526 HAS SOUS 9417 HAS SOUPS 9417 WITH SCORE 9427.526
AT ITER 6712 NEW BEST:: SOT 48229 SOS 10541 HAS SOPS 10541 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9420.541
AT ITER 6725 NEW BEST:: SOT 48229 SOS 10541 HAS SOPS 10541 HAS SOUS 9407 HAS SOUPS 9407 WITH SCORE 9417.541
AT ITER 6738 NEW BEST:: SOT 48225 SOS 10534 HAS SOPS 10534 HAS SOUS 9404 HAS SOUPS 9404 WITH SCORE 9414.534
AT ITER 6837 NEW BEST:: SOT 48225 SOS 10524 HAS SOPS 10524 HAS SOUS 9404 HAS SOUPS 9404 WITH SCORE 9414.524
AT ITER 6863 NEW BEST:: SOT 48225 SOS 10511 HAS SOPS 10511 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9401.511
AT ITER 6914 NEW BEST:: SOT 48223 SOS 10507 HAS SOPS 10507 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9401.507
AT ITER 6935 NEW BEST:: SOT 48221 SOS 10505 HAS SOPS 10505 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9401.505
AT ITER 7030 NEW BEST:: SOT 48221 SOS 10501 HAS SOPS 10501 HAS SOUS 9387 HAS SOUPS 9387 WITH SCORE 9397.501
AT ITER 7039 NEW BEST:: SOT 48220 SOS 10488 HAS SOPS 10488 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9393.488
AT ITER 7057 NEW BEST:: SOT 48220 SOS 10477 HAS SOPS 10477 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9382.477
AT ITER 7112 NEW BEST:: SOT 48220 SOS 10474 HAS SOPS 10474 HAS SOUS 9369 HAS SOUPS 9369 WITH SCORE 9379.474
AT ITER 7114 NEW BEST:: SOT 48210 SOS 10460 HAS SOPS 10460 HAS SOUS 9355 HAS SOUPS 9355 WITH SCORE 9365.46
AT ITER 7159 NEW BEST:: SOT 48215 SOS 10464 HAS SOPS 10464 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9360.464
AT ITER 7166 NEW BEST:: SOT 48214 SOS 10463 HAS SOPS 10463 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9359.463
AT ITER 7193 NEW BEST:: SOT 48217 SOS 10469 HAS SOPS 10469 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9356.469
AT ITER 7214 NEW BEST:: SOT 48217 SOS 10486 HAS SOPS 10486 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9350.486
AT ITER 7256 NEW BEST:: SOT 48214 SOS 10480 HAS SOPS 10480 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9344.48
AT ITER 7289 NEW BEST:: SOT 48196 SOS 10444 HAS SOPS 10444 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9313.444
AT ITER 7302 NEW BEST:: SOT 48195 SOS 10435 HAS SOPS 10435 HAS SOUS 9294 HAS SOUPS 9294 WITH SCORE 9304.435
AT ITER 7355 NEW BEST:: SOT 48192 SOS 10426 HAS SOPS 10426 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9298.426
AT ITER 7374 NEW BEST:: SOT 48196 SOS 10425 HAS SOPS 10425 HAS SOUS 9287 HAS SOUPS 9287 WITH SCORE 9297.425
AT ITER 7395 NEW BEST:: SOT 48196 SOS 10424 HAS SOPS 10424 HAS SOUS 9286 HAS SOUPS 9286 WITH SCORE 9296.424
AT ITER 7435 NEW BEST:: SOT 48196 SOS 10414 HAS SOPS 10414 HAS SOUS 9276 HAS SOUPS 9276 WITH SCORE 9286.414
AT ITER 7489 NEW BEST:: SOT 48158 SOS 10365 HAS SOPS 10365 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9269.365
AT ITER 7536 NEW BEST:: SOT 48082 SOS 10340 HAS SOPS 10340 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9207.34
AT ITER 7542 NEW BEST:: SOT 48082 SOS 10338 HAS SOPS 10338 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9205.338
AT ITER 7557 NEW BEST:: SOT 48074 SOS 10327 HAS SOPS 10327 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9202.327
AT ITER 7582 NEW BEST:: SOT 48069 SOS 10295 HAS SOPS 10295 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9175.295
AT ITER 7599 NEW BEST:: SOT 48072 SOS 10294 HAS SOPS 10294 HAS SOUS 9164 HAS SOUPS 9164 WITH SCORE 9174.294
AT ITER 7669 NEW BEST:: SOT 48079 SOS 10256 HAS SOPS 10256 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9136.256
AT ITER 7671 NEW BEST:: SOT 48078 SOS 10252 HAS SOPS 10252 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9135.252
AT ITER 7690 NEW BEST:: SOT 48078 SOS 10231 HAS SOPS 10231 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9114.231
AT ITER 7734 NEW BEST:: SOT 48078 SOS 10226 HAS SOPS 10226 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9109.226
AT ITER 7776 NEW BEST:: SOT 48087 SOS 10206 HAS SOPS 10206 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9105.206
AT ITER 7780 NEW BEST:: SOT 48086 SOS 10202 HAS SOPS 10202 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.202
AT ITER 7802 NEW BEST:: SOT 48086 SOS 10172 HAS SOPS 10172 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.172
AT ITER 7850 NEW BEST:: SOT 48085 SOS 10168 HAS SOPS 10168 HAS SOUS 9088 HAS SOUPS 9088 WITH SCORE 9098.168
AT ITER 7861 NEW BEST:: SOT 48086 SOS 10165 HAS SOPS 10165 HAS SOUS 9085 HAS SOUPS 9085 WITH SCORE 9095.165
AT ITER 7961 NEW BEST:: SOT 48086 SOS 10164 HAS SOPS 10164 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9094.164
AT ITER 8019 NEW BEST:: SOT 48108 SOS 10156 HAS SOPS 10156 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9086.156
AT ITER 8125 NEW BEST:: SOT 48110 SOS 10121 HAS SOPS 10121 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9086.121
AT ITER 8204 NEW BEST:: SOT 48110 SOS 10114 HAS SOPS 10114 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9079.114
AT ITER 8292 NEW BEST:: SOT 48110 SOS 10112 HAS SOPS 10112 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9079.112
AT ITER 8345 NEW BEST:: SOT 48102 SOS 10104 HAS SOPS 10104 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9071.104
AT ITER 8356 NEW BEST:: SOT 48104 SOS 10096 HAS SOPS 10096 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9069.096
AT ITER 8421 NEW BEST:: SOT 48098 SOS 10085 HAS SOPS 10085 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9058.085
AT ITER 8484 NEW BEST:: SOT 48066 SOS 10053 HAS SOPS 10053 HAS SOUS 9039 HAS SOUPS 9039 WITH SCORE 9049.053
AT ITER 8485 NEW BEST:: SOT 48064 SOS 10051 HAS SOPS 10051 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9047.051
AT ITER 8529 NEW BEST:: SOT 48063 SOS 10036 HAS SOPS 10036 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9016.036
AT ITER 8599 NEW BEST:: SOT 48063 SOS 10033 HAS SOPS 10033 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9013.033
AT ITER 8648 NEW BEST:: SOT 48059 SOS 10030 HAS SOPS 10030 HAS SOUS 8999 HAS SOUPS 8999 WITH SCORE 9009.03
AT ITER 8655 NEW BEST:: SOT 48048 SOS 9965 HAS SOPS 9965 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8991.965
AT ITER 8750 NEW BEST:: SOT 48042 SOS 9953 HAS SOPS 9953 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8985.953
AT ITER 8766 NEW BEST:: SOT 48060 SOS 9902 HAS SOPS 9902 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8983.902
AT ITER 8896 NEW BEST:: SOT 48063 SOS 9910 HAS SOPS 9910 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8973.91
AT ITER 8910 NEW BEST:: SOT 48063 SOS 9910 HAS SOPS 9910 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8969.91
AT ITER 9120 NEW BEST:: SOT 48062 SOS 9904 HAS SOPS 9904 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8957.904
AT ITER 9144 NEW BEST:: SOT 48062 SOS 9862 HAS SOPS 9862 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8935.862
AT ITER 9154 NEW BEST:: SOT 48054 SOS 9854 HAS SOPS 9854 HAS SOUS 8918 HAS SOUPS 8918 WITH SCORE 8927.854
AT ITER 9192 NEW BEST:: SOT 48049 SOS 9849 HAS SOPS 9849 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8922.849
AT ITER 9301 NEW BEST:: SOT 48049 SOS 9806 HAS SOPS 9806 HAS SOUS 8895 HAS SOUPS 8895 WITH SCORE 8904.806
AT ITER 9315 NEW BEST:: SOT 48049 SOS 9790 HAS SOPS 9790 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8888.79
AT ITER 9318 NEW BEST:: SOT 48045 SOS 9789 HAS SOPS 9789 HAS SOUS 8878 HAS SOUPS 8878 WITH SCORE 8887.789
AT ITER 9319 NEW BEST:: SOT 48045 SOS 9800 HAS SOPS 9800 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8885.8
AT ITER 9494 NEW BEST:: SOT 48039 SOS 9768 HAS SOPS 9768 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8870.768
AT ITER 9528 NEW BEST:: SOT 48023 SOS 9728 HAS SOPS 9728 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8846.728
AT ITER 9574 NEW BEST:: SOT 48025 SOS 9722 HAS SOPS 9722 HAS SOUS 8831 HAS SOUPS 8831 WITH SCORE 8840.722
AT ITER 9581 NEW BEST:: SOT 48024 SOS 9720 HAS SOPS 9720 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8839.72
AT ITER 9607 NEW BEST:: SOT 48024 SOS 9715 HAS SOPS 9715 HAS SOUS 8825 HAS SOUPS 8825 WITH SCORE 8834.715
AT ITER 9623 NEW BEST:: SOT 48024 SOS 9709 HAS SOPS 9709 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8833.709
AT ITER 9674 NEW BEST:: SOT 48022 SOS 9703 HAS SOPS 9703 HAS SOUS 8820 HAS SOUPS 8820 WITH SCORE 8829.703
AT ITER 9687 NEW BEST:: SOT 48020 SOS 9699 HAS SOPS 9699 HAS SOUS 8818 HAS SOUPS 8818 WITH SCORE 8827.699
AT ITER 9691 NEW BEST:: SOT 48009 SOS 9688 HAS SOPS 9688 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8816.688
AT ITER 9733 NEW BEST:: SOT 48008 SOS 9676 HAS SOPS 9676 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8804.676
AT ITER 9749 NEW BEST:: SOT 48008 SOS 9673 HAS SOPS 9673 HAS SOUS 8794 HAS SOUPS 8794 WITH SCORE 8803.673
AT ITER 9823 NEW BEST:: SOT 48014 SOS 9676 HAS SOPS 9676 HAS SOUS 8792 HAS SOUPS 8792 WITH SCORE 8801.676
AT ITER 9935 NEW BEST:: SOT 47991 SOS 9652 HAS SOPS 9652 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8800.652
AT ITER 9978 NEW BEST:: SOT 47986 SOS 9647 HAS SOPS 9647 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8794.647
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 3417452 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16120752 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="ShieldPPPt-PT-004B"
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 ShieldPPPt-PT-004B, 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 r395-oct2-167903719000592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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