Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979200080.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVs-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979200080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 7.3K Feb 26 18:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 18:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 18:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 18:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 18:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 18:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 18:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 18:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 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 61K 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 1679379402595

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=ShieldRVs-PT-005B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 06:16:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 06:16:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 06:16:44] [INFO ] Load time of PNML (sax parser for PT used): 60 ms
[2023-03-21 06:16:44] [INFO ] Transformed 203 places.
[2023-03-21 06:16:44] [INFO ] Transformed 228 transitions.
[2023-03-21 06:16:44] [INFO ] Found NUPN structural information;
[2023-03-21 06:16:44] [INFO ] Parsed PT model containing 203 places and 228 transitions and 720 arcs in 137 ms.
[2023-03-21 06:16:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 203 places, 228 transitions and 720 arcs took 6 ms.
Total runtime 174 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 005B
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: 203 places, 228 transitions, 720 arcs.
AT ITER 0 NEW BEST:: SOT 25485 SOS 8404 HAS SOPS 8404 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6768.404
AT ITER 6 NEW BEST:: SOT 25485 SOS 8403 HAS SOPS 8403 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6767.403
AT ITER 7 NEW BEST:: SOT 25485 SOS 8402 HAS SOPS 8402 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6766.402
AT ITER 30 NEW BEST:: SOT 25485 SOS 8438 HAS SOPS 8438 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6745.438
AT ITER 47 NEW BEST:: SOT 25478 SOS 8431 HAS SOPS 8431 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6738.431
AT ITER 48 NEW BEST:: SOT 25454 SOS 8431 HAS SOPS 8431 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6699.431
AT ITER 56 NEW BEST:: SOT 25436 SOS 8264 HAS SOPS 8264 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6669.264
AT ITER 69 NEW BEST:: SOT 25430 SOS 8235 HAS SOPS 8235 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6663.235
AT ITER 80 NEW BEST:: SOT 25429 SOS 8234 HAS SOPS 8234 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6662.234
AT ITER 86 NEW BEST:: SOT 25405 SOS 8234 HAS SOPS 8234 HAS SOUS 6630 HAS SOUPS 6630 WITH SCORE 6638.234
AT ITER 89 NEW BEST:: SOT 25342 SOS 8250 HAS SOPS 8250 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6600.25
AT ITER 91 NEW BEST:: SOT 25342 SOS 8241 HAS SOPS 8241 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6600.241
AT ITER 122 NEW BEST:: SOT 25327 SOS 8235 HAS SOPS 8235 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6595.235
AT ITER 129 NEW BEST:: SOT 25316 SOS 8165 HAS SOPS 8165 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6569.165
AT ITER 130 NEW BEST:: SOT 25325 SOS 8163 HAS SOPS 8163 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6556.163
AT ITER 131 NEW BEST:: SOT 25320 SOS 8153 HAS SOPS 8153 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6551.153
AT ITER 143 NEW BEST:: SOT 25319 SOS 8155 HAS SOPS 8155 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6550.155
AT ITER 153 NEW BEST:: SOT 25316 SOS 8152 HAS SOPS 8152 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6550.152
AT ITER 189 NEW BEST:: SOT 25316 SOS 8128 HAS SOPS 8128 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6546.128
AT ITER 207 NEW BEST:: SOT 25330 SOS 8210 HAS SOPS 8210 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6542.21
AT ITER 214 NEW BEST:: SOT 25336 SOS 8252 HAS SOPS 8252 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6529.252
AT ITER 254 NEW BEST:: SOT 25334 SOS 8205 HAS SOPS 8205 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6520.205
AT ITER 255 NEW BEST:: SOT 25334 SOS 8204 HAS SOPS 8204 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6519.204
AT ITER 272 NEW BEST:: SOT 25334 SOS 8204 HAS SOPS 8204 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6471.204
AT ITER 279 NEW BEST:: SOT 25335 SOS 8162 HAS SOPS 8162 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6445.162
AT ITER 283 NEW BEST:: SOT 25304 SOS 8133 HAS SOPS 8133 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6414.133
AT ITER 313 NEW BEST:: SOT 25288 SOS 8106 HAS SOPS 8106 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6362.106
AT ITER 328 NEW BEST:: SOT 25275 SOS 8097 HAS SOPS 8097 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6325.097
AT ITER 332 NEW BEST:: SOT 25259 SOS 8081 HAS SOPS 8081 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6309.081
AT ITER 341 NEW BEST:: SOT 25257 SOS 8079 HAS SOPS 8079 HAS SOUS 6299 HAS SOUPS 6299 WITH SCORE 6307.079
AT ITER 343 NEW BEST:: SOT 25257 SOS 8076 HAS SOPS 8076 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6304.076
AT ITER 351 NEW BEST:: SOT 25254 SOS 8070 HAS SOPS 8070 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6296.07
AT ITER 370 NEW BEST:: SOT 25217 SOS 8189 HAS SOPS 8189 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6278.189
AT ITER 372 NEW BEST:: SOT 25184 SOS 8189 HAS SOPS 8189 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6245.189
AT ITER 395 NEW BEST:: SOT 25174 SOS 8151 HAS SOPS 8151 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6214.151
AT ITER 436 NEW BEST:: SOT 25154 SOS 8123 HAS SOPS 8123 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6190.123
AT ITER 453 NEW BEST:: SOT 25154 SOS 8114 HAS SOPS 8114 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6181.114
AT ITER 488 NEW BEST:: SOT 25152 SOS 8110 HAS SOPS 8110 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6179.11
AT ITER 496 NEW BEST:: SOT 25161 SOS 8080 HAS SOPS 8080 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6164.08
AT ITER 509 NEW BEST:: SOT 25156 SOS 8079 HAS SOPS 8079 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6163.079
AT ITER 542 NEW BEST:: SOT 25156 SOS 8079 HAS SOPS 8079 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6162.079
AT ITER 562 NEW BEST:: SOT 25156 SOS 8078 HAS SOPS 8078 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6161.078
AT ITER 581 NEW BEST:: SOT 25128 SOS 8077 HAS SOPS 8077 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6133.077
AT ITER 583 NEW BEST:: SOT 25117 SOS 8033 HAS SOPS 8033 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6122.033
AT ITER 629 NEW BEST:: SOT 25118 SOS 8033 HAS SOPS 8033 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6107.033
AT ITER 646 NEW BEST:: SOT 25117 SOS 8029 HAS SOPS 8029 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6107.029
AT ITER 653 NEW BEST:: SOT 25099 SOS 8019 HAS SOPS 8019 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6102.019
AT ITER 660 NEW BEST:: SOT 25090 SOS 7956 HAS SOPS 7956 HAS SOUS 6094 HAS SOUPS 6094 WITH SCORE 6101.956
AT ITER 661 NEW BEST:: SOT 25080 SOS 7944 HAS SOPS 7944 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6085.944
AT ITER 672 NEW BEST:: SOT 25080 SOS 7945 HAS SOPS 7945 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6076.945
AT ITER 681 NEW BEST:: SOT 25117 SOS 7797 HAS SOPS 7797 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6055.797
AT ITER 701 NEW BEST:: SOT 25117 SOS 7795 HAS SOPS 7795 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6053.795
AT ITER 706 NEW BEST:: SOT 25117 SOS 7792 HAS SOPS 7792 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6050.792
AT ITER 750 NEW BEST:: SOT 25119 SOS 7836 HAS SOPS 7836 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.836
AT ITER 783 NEW BEST:: SOT 25085 SOS 7681 HAS SOPS 7681 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6000.681
AT ITER 796 NEW BEST:: SOT 25071 SOS 7667 HAS SOPS 7667 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5986.667
AT ITER 837 NEW BEST:: SOT 25071 SOS 7660 HAS SOPS 7660 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5986.66
AT ITER 857 NEW BEST:: SOT 25071 SOS 7660 HAS SOPS 7660 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5982.66
AT ITER 923 NEW BEST:: SOT 25065 SOS 7654 HAS SOPS 7654 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5976.654
AT ITER 934 NEW BEST:: SOT 25059 SOS 7654 HAS SOPS 7654 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.654
AT ITER 938 NEW BEST:: SOT 25056 SOS 7648 HAS SOPS 7648 HAS SOUS 5957 HAS SOUPS 5957 WITH SCORE 5964.648
AT ITER 948 NEW BEST:: SOT 25055 SOS 7645 HAS SOPS 7645 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5962.645
AT ITER 999 NEW BEST:: SOT 25051 SOS 7550 HAS SOPS 7550 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5932.55
AT ITER 1007 NEW BEST:: SOT 25051 SOS 7549 HAS SOPS 7549 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5931.549
AT ITER 1011 NEW BEST:: SOT 25054 SOS 7517 HAS SOPS 7517 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5918.517
AT ITER 1016 NEW BEST:: SOT 25054 SOS 7508 HAS SOPS 7508 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5909.508
AT ITER 1030 NEW BEST:: SOT 25061 SOS 7513 HAS SOPS 7513 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5908.513
AT ITER 1060 NEW BEST:: SOT 25073 SOS 7510 HAS SOPS 7510 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5905.51
AT ITER 1069 NEW BEST:: SOT 25037 SOS 7477 HAS SOPS 7477 HAS SOUS 5865 HAS SOUPS 5865 WITH SCORE 5872.477
AT ITER 1073 NEW BEST:: SOT 25037 SOS 7469 HAS SOPS 7469 HAS SOUS 5865 HAS SOUPS 5865 WITH SCORE 5872.469
AT ITER 1116 NEW BEST:: SOT 25026 SOS 7483 HAS SOPS 7483 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5861.483
AT ITER 1125 NEW BEST:: SOT 24988 SOS 7432 HAS SOPS 7432 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5820.432
AT ITER 1136 NEW BEST:: SOT 24979 SOS 7428 HAS SOPS 7428 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5811.428
AT ITER 1140 NEW BEST:: SOT 24978 SOS 7427 HAS SOPS 7427 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5810.427
AT ITER 1167 NEW BEST:: SOT 24978 SOS 7426 HAS SOPS 7426 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5809.426
AT ITER 1177 NEW BEST:: SOT 24977 SOS 7426 HAS SOPS 7426 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5808.426
AT ITER 1180 NEW BEST:: SOT 24976 SOS 7418 HAS SOPS 7418 HAS SOUS 5796 HAS SOUPS 5796 WITH SCORE 5803.418
AT ITER 1182 NEW BEST:: SOT 24972 SOS 7400 HAS SOPS 7400 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5788.4
AT ITER 1187 NEW BEST:: SOT 24953 SOS 7402 HAS SOPS 7402 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5779.402
AT ITER 1266 NEW BEST:: SOT 24952 SOS 7404 HAS SOPS 7404 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5778.404
AT ITER 1350 NEW BEST:: SOT 24952 SOS 7396 HAS SOPS 7396 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5770.396
AT ITER 1357 NEW BEST:: SOT 24925 SOS 7389 HAS SOPS 7389 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5743.389
AT ITER 1374 NEW BEST:: SOT 24889 SOS 7383 HAS SOPS 7383 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5734.383
AT ITER 1380 NEW BEST:: SOT 24887 SOS 7382 HAS SOPS 7382 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5728.382
AT ITER 1431 NEW BEST:: SOT 24849 SOS 7366 HAS SOPS 7366 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5713.366
AT ITER 1434 NEW BEST:: SOT 24849 SOS 7399 HAS SOPS 7399 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5669.399
AT ITER 1476 NEW BEST:: SOT 24849 SOS 7398 HAS SOPS 7398 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5668.398
AT ITER 1490 NEW BEST:: SOT 24841 SOS 7398 HAS SOPS 7398 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5664.398
AT ITER 1533 NEW BEST:: SOT 24839 SOS 7402 HAS SOPS 7402 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5650.402
AT ITER 1539 NEW BEST:: SOT 24823 SOS 7362 HAS SOPS 7362 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5628.362
AT ITER 1550 NEW BEST:: SOT 24828 SOS 7342 HAS SOPS 7342 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5608.342
AT ITER 1589 NEW BEST:: SOT 24823 SOS 7337 HAS SOPS 7337 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5603.337
AT ITER 1590 NEW BEST:: SOT 24822 SOS 7322 HAS SOPS 7322 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5597.322
AT ITER 1603 NEW BEST:: SOT 24828 SOS 7340 HAS SOPS 7340 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5596.34
AT ITER 1628 NEW BEST:: SOT 24787 SOS 7296 HAS SOPS 7296 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5552.296
AT ITER 1646 NEW BEST:: SOT 24790 SOS 7299 HAS SOPS 7299 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5551.299
AT ITER 1662 NEW BEST:: SOT 24784 SOS 7308 HAS SOPS 7308 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5548.308
AT ITER 1743 NEW BEST:: SOT 24774 SOS 7295 HAS SOPS 7295 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5531.295
AT ITER 1766 NEW BEST:: SOT 24744 SOS 7232 HAS SOPS 7232 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5501.232
AT ITER 1778 NEW BEST:: SOT 24744 SOS 7228 HAS SOPS 7228 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5499.228
AT ITER 1848 NEW BEST:: SOT 24744 SOS 7227 HAS SOPS 7227 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5497.227
AT ITER 1852 NEW BEST:: SOT 24744 SOS 7226 HAS SOPS 7226 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5496.226
AT ITER 1859 NEW BEST:: SOT 24743 SOS 7287 HAS SOPS 7287 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5486.287
AT ITER 1874 NEW BEST:: SOT 24738 SOS 7277 HAS SOPS 7277 HAS SOUS 5469 HAS SOUPS 5469 WITH SCORE 5476.277
AT ITER 1879 NEW BEST:: SOT 24741 SOS 7210 HAS SOPS 7210 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5461.21
AT ITER 1915 NEW BEST:: SOT 24739 SOS 7244 HAS SOPS 7244 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5458.244
AT ITER 1919 NEW BEST:: SOT 24739 SOS 7244 HAS SOPS 7244 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5457.244
AT ITER 1945 NEW BEST:: SOT 24739 SOS 7258 HAS SOPS 7258 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5454.258
AT ITER 1965 NEW BEST:: SOT 24722 SOS 7224 HAS SOPS 7224 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5441.224
AT ITER 2003 NEW BEST:: SOT 24752 SOS 7254 HAS SOPS 7254 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5433.254
AT ITER 2045 NEW BEST:: SOT 24730 SOS 7192 HAS SOPS 7192 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5391.192
AT ITER 2055 NEW BEST:: SOT 24717 SOS 7170 HAS SOPS 7170 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5382.17
AT ITER 2099 NEW BEST:: SOT 24708 SOS 7157 HAS SOPS 7157 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5365.157
AT ITER 2109 NEW BEST:: SOT 24707 SOS 7159 HAS SOPS 7159 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5364.159
AT ITER 2122 NEW BEST:: SOT 24692 SOS 7149 HAS SOPS 7149 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5355.149
AT ITER 2154 NEW BEST:: SOT 24688 SOS 7161 HAS SOPS 7161 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5347.161
AT ITER 2173 NEW BEST:: SOT 24669 SOS 7183 HAS SOPS 7183 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5333.183
AT ITER 2181 NEW BEST:: SOT 24669 SOS 7183 HAS SOPS 7183 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5331.183
AT ITER 2192 NEW BEST:: SOT 24667 SOS 7179 HAS SOPS 7179 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5331.179
AT ITER 2199 NEW BEST:: SOT 24666 SOS 7178 HAS SOPS 7178 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5328.178
AT ITER 2267 NEW BEST:: SOT 24666 SOS 7177 HAS SOPS 7177 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5328.177
AT ITER 2291 NEW BEST:: SOT 24651 SOS 7172 HAS SOPS 7172 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5313.172
AT ITER 2311 NEW BEST:: SOT 24650 SOS 7171 HAS SOPS 7171 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5313.171
AT ITER 2319 NEW BEST:: SOT 24648 SOS 7167 HAS SOPS 7167 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5313.167
AT ITER 2336 NEW BEST:: SOT 24654 SOS 7095 HAS SOPS 7095 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5313.095
AT ITER 2437 NEW BEST:: SOT 24653 SOS 7095 HAS SOPS 7095 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5308.095
AT ITER 2447 NEW BEST:: SOT 24643 SOS 7085 HAS SOPS 7085 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5298.085
AT ITER 2455 NEW BEST:: SOT 24643 SOS 7070 HAS SOPS 7070 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5283.07
AT ITER 2523 NEW BEST:: SOT 24650 SOS 7075 HAS SOPS 7075 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5282.075
AT ITER 2538 NEW BEST:: SOT 24650 SOS 7086 HAS SOPS 7086 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5278.086
AT ITER 2553 NEW BEST:: SOT 24640 SOS 7061 HAS SOPS 7061 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5265.061
AT ITER 2565 NEW BEST:: SOT 24623 SOS 7041 HAS SOPS 7041 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5248.041
AT ITER 2577 NEW BEST:: SOT 24628 SOS 7036 HAS SOPS 7036 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5245.036
AT ITER 2629 NEW BEST:: SOT 24623 SOS 7028 HAS SOPS 7028 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5239.028
AT ITER 2633 NEW BEST:: SOT 24623 SOS 7027 HAS SOPS 7027 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5238.027
AT ITER 2640 NEW BEST:: SOT 24648 SOS 7030 HAS SOPS 7030 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5230.03
AT ITER 2647 NEW BEST:: SOT 24645 SOS 7022 HAS SOPS 7022 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5226.022
AT ITER 2648 NEW BEST:: SOT 24638 SOS 6987 HAS SOPS 6987 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5211.987
AT ITER 2761 NEW BEST:: SOT 24638 SOS 6982 HAS SOPS 6982 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5206.982
AT ITER 2779 NEW BEST:: SOT 24631 SOS 6974 HAS SOPS 6974 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5205.974
AT ITER 2795 NEW BEST:: SOT 24627 SOS 6970 HAS SOPS 6970 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5205.97
AT ITER 2814 NEW BEST:: SOT 24617 SOS 6965 HAS SOPS 6965 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5195.965
AT ITER 2852 NEW BEST:: SOT 24598 SOS 6927 HAS SOPS 6927 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5157.927
AT ITER 2853 NEW BEST:: SOT 24593 SOS 6794 HAS SOPS 6794 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5115.794
AT ITER 2854 NEW BEST:: SOT 24593 SOS 6793 HAS SOPS 6793 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5115.793
AT ITER 3099 NEW BEST:: SOT 24569 SOS 6769 HAS SOPS 6769 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5079.769
AT ITER 3154 NEW BEST:: SOT 24569 SOS 6765 HAS SOPS 6765 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5079.765
AT ITER 3165 NEW BEST:: SOT 24565 SOS 6761 HAS SOPS 6761 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5076.761
AT ITER 3167 NEW BEST:: SOT 24563 SOS 6756 HAS SOPS 6756 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5074.756
AT ITER 3239 NEW BEST:: SOT 24563 SOS 6755 HAS SOPS 6755 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5073.755
AT ITER 3266 NEW BEST:: SOT 24565 SOS 6757 HAS SOPS 6757 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5054.757
AT ITER 3280 NEW BEST:: SOT 24564 SOS 6754 HAS SOPS 6754 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5052.754
AT ITER 3350 NEW BEST:: SOT 24563 SOS 6753 HAS SOPS 6753 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5051.753
AT ITER 3354 NEW BEST:: SOT 24561 SOS 6756 HAS SOPS 6756 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5050.756
AT ITER 3383 NEW BEST:: SOT 24555 SOS 6738 HAS SOPS 6738 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5044.738
AT ITER 3389 NEW BEST:: SOT 24557 SOS 6768 HAS SOPS 6768 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5041.768
AT ITER 3452 NEW BEST:: SOT 24555 SOS 6766 HAS SOPS 6766 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5039.766
AT ITER 3477 NEW BEST:: SOT 24555 SOS 6743 HAS SOPS 6743 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5035.743
AT ITER 3513 NEW BEST:: SOT 24555 SOS 6723 HAS SOPS 6723 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5035.723
AT ITER 3530 NEW BEST:: SOT 24555 SOS 6725 HAS SOPS 6725 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5033.725
AT ITER 3550 NEW BEST:: SOT 24551 SOS 6721 HAS SOPS 6721 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5033.721
AT ITER 3557 NEW BEST:: SOT 24530 SOS 6718 HAS SOPS 6718 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5030.718
AT ITER 3629 NEW BEST:: SOT 24530 SOS 6716 HAS SOPS 6716 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5028.716
AT ITER 3646 NEW BEST:: SOT 24553 SOS 6655 HAS SOPS 6655 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5020.655
AT ITER 3701 NEW BEST:: SOT 24553 SOS 6649 HAS SOPS 6649 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5017.649
AT ITER 3776 NEW BEST:: SOT 24556 SOS 6665 HAS SOPS 6665 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5002.665
AT ITER 3813 NEW BEST:: SOT 24556 SOS 6663 HAS SOPS 6663 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5002.663
AT ITER 3834 NEW BEST:: SOT 24554 SOS 6661 HAS SOPS 6661 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5000.661
AT ITER 3910 NEW BEST:: SOT 24552 SOS 6655 HAS SOPS 6655 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4998.655
AT ITER 3917 NEW BEST:: SOT 24551 SOS 6653 HAS SOPS 6653 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4996.653
AT ITER 3946 NEW BEST:: SOT 24543 SOS 6628 HAS SOPS 6628 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4984.628
AT ITER 3959 NEW BEST:: SOT 24532 SOS 6618 HAS SOPS 6618 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4974.618
AT ITER 3987 NEW BEST:: SOT 24532 SOS 6610 HAS SOPS 6610 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4972.61
AT ITER 4014 NEW BEST:: SOT 24526 SOS 6593 HAS SOPS 6593 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4971.593
AT ITER 4093 NEW BEST:: SOT 24514 SOS 6577 HAS SOPS 6577 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4951.577
AT ITER 4137 NEW BEST:: SOT 24509 SOS 6531 HAS SOPS 6531 HAS SOUS 4940 HAS SOUPS 4940 WITH SCORE 4946.531
AT ITER 4141 NEW BEST:: SOT 24509 SOS 6529 HAS SOPS 6529 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4945.529
AT ITER 4178 NEW BEST:: SOT 24509 SOS 6529 HAS SOPS 6529 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4943.529
AT ITER 4192 NEW BEST:: SOT 24506 SOS 6515 HAS SOPS 6515 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4942.515
AT ITER 4203 NEW BEST:: SOT 24505 SOS 6514 HAS SOPS 6514 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4941.514
AT ITER 4229 NEW BEST:: SOT 24505 SOS 6504 HAS SOPS 6504 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4931.504
AT ITER 4285 NEW BEST:: SOT 24498 SOS 6505 HAS SOPS 6505 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4924.505
AT ITER 4325 NEW BEST:: SOT 24497 SOS 6502 HAS SOPS 6502 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4922.502
AT ITER 4421 NEW BEST:: SOT 24491 SOS 6500 HAS SOPS 6500 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4916.5
AT ITER 4434 NEW BEST:: SOT 24477 SOS 6584 HAS SOPS 6584 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4905.584
AT ITER 4442 NEW BEST:: SOT 24461 SOS 6552 HAS SOPS 6552 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4901.552
AT ITER 4452 NEW BEST:: SOT 24449 SOS 6560 HAS SOPS 6560 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4897.56
AT ITER 4471 NEW BEST:: SOT 24460 SOS 6582 HAS SOPS 6582 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4895.582
AT ITER 4506 NEW BEST:: SOT 24454 SOS 6570 HAS SOPS 6570 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4883.57
AT ITER 4511 NEW BEST:: SOT 24454 SOS 6569 HAS SOPS 6569 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4882.569
AT ITER 4554 NEW BEST:: SOT 24454 SOS 6573 HAS SOPS 6573 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4880.573
AT ITER 4582 NEW BEST:: SOT 24450 SOS 6556 HAS SOPS 6556 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4872.556
AT ITER 4584 NEW BEST:: SOT 24448 SOS 6554 HAS SOPS 6554 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4870.554
AT ITER 4630 NEW BEST:: SOT 24452 SOS 6546 HAS SOPS 6546 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4862.546
AT ITER 4655 NEW BEST:: SOT 24452 SOS 6543 HAS SOPS 6543 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4862.543
AT ITER 4720 NEW BEST:: SOT 24451 SOS 6534 HAS SOPS 6534 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4859.534
AT ITER 4805 NEW BEST:: SOT 24447 SOS 6530 HAS SOPS 6530 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4855.53
AT ITER 4849 NEW BEST:: SOT 24442 SOS 6508 HAS SOPS 6508 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4850.508
AT ITER 4850 NEW BEST:: SOT 24442 SOS 6508 HAS SOPS 6508 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4846.508
AT ITER 4872 NEW BEST:: SOT 24444 SOS 6512 HAS SOPS 6512 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4843.512
AT ITER 4879 NEW BEST:: SOT 24439 SOS 6511 HAS SOPS 6511 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4842.511
AT ITER 4914 NEW BEST:: SOT 24437 SOS 6508 HAS SOPS 6508 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4840.508
AT ITER 4926 NEW BEST:: SOT 24437 SOS 6518 HAS SOPS 6518 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4825.518
AT ITER 4963 NEW BEST:: SOT 24434 SOS 6512 HAS SOPS 6512 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4819.512
AT ITER 4992 NEW BEST:: SOT 24434 SOS 6510 HAS SOPS 6510 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4815.51
AT ITER 5001 NEW BEST:: SOT 24426 SOS 6503 HAS SOPS 6503 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4806.503
AT ITER 5018 NEW BEST:: SOT 24426 SOS 6499 HAS SOPS 6499 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4799.499
AT ITER 5051 NEW BEST:: SOT 24429 SOS 6504 HAS SOPS 6504 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4792.504
AT ITER 5088 NEW BEST:: SOT 24419 SOS 6498 HAS SOPS 6498 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4792.498
AT ITER 5210 NEW BEST:: SOT 24416 SOS 6495 HAS SOPS 6495 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4789.495
AT ITER 5264 NEW BEST:: SOT 24416 SOS 6492 HAS SOPS 6492 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4786.492
AT ITER 5274 NEW BEST:: SOT 24416 SOS 6490 HAS SOPS 6490 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4786.49
AT ITER 5295 NEW BEST:: SOT 24424 SOS 6493 HAS SOPS 6493 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4785.493
AT ITER 5345 NEW BEST:: SOT 24427 SOS 6469 HAS SOPS 6469 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4776.469
AT ITER 5352 NEW BEST:: SOT 24425 SOS 6467 HAS SOPS 6467 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4774.467
AT ITER 5604 NEW BEST:: SOT 24423 SOS 6459 HAS SOPS 6459 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4770.459
AT ITER 5631 NEW BEST:: SOT 24413 SOS 6449 HAS SOPS 6449 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4767.449
AT ITER 5663 NEW BEST:: SOT 24409 SOS 6461 HAS SOPS 6461 HAS SOUS 4758 HAS SOUPS 4758 WITH SCORE 4764.461
AT ITER 5677 NEW BEST:: SOT 24401 SOS 6435 HAS SOPS 6435 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4758.435
AT ITER 5696 NEW BEST:: SOT 24394 SOS 6424 HAS SOPS 6424 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4748.424
AT ITER 5784 NEW BEST:: SOT 24394 SOS 6409 HAS SOPS 6409 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4743.409
AT ITER 5890 NEW BEST:: SOT 24394 SOS 6408 HAS SOPS 6408 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4742.408
AT ITER 5983 NEW BEST:: SOT 24388 SOS 6404 HAS SOPS 6404 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.404
AT ITER 6088 NEW BEST:: SOT 24388 SOS 6403 HAS SOPS 6403 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4736.403
AT ITER 6108 NEW BEST:: SOT 24388 SOS 6401 HAS SOPS 6401 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4734.401
AT ITER 6132 NEW BEST:: SOT 24389 SOS 6400 HAS SOPS 6400 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4733.4
AT ITER 6173 NEW BEST:: SOT 24390 SOS 6382 HAS SOPS 6382 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4726.382
AT ITER 6211 NEW BEST:: SOT 24386 SOS 6378 HAS SOPS 6378 HAS SOUS 4716 HAS SOUPS 4716 WITH SCORE 4722.378
AT ITER 6271 NEW BEST:: SOT 24386 SOS 6377 HAS SOPS 6377 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4715.377
AT ITER 6478 NEW BEST:: SOT 24382 SOS 6369 HAS SOPS 6369 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4709.369
AT ITER 6492 NEW BEST:: SOT 24382 SOS 6360 HAS SOPS 6360 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4706.36
AT ITER 6739 NEW BEST:: SOT 24376 SOS 6348 HAS SOPS 6348 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4694.348
AT ITER 6795 NEW BEST:: SOT 24376 SOS 6348 HAS SOPS 6348 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4686.348
AT ITER 6802 NEW BEST:: SOT 24373 SOS 6349 HAS SOPS 6349 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4681.349
AT ITER 6843 NEW BEST:: SOT 24370 SOS 6343 HAS SOPS 6343 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4678.343
AT ITER 6848 NEW BEST:: SOT 24370 SOS 6339 HAS SOPS 6339 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4674.339
AT ITER 6912 NEW BEST:: SOT 24362 SOS 6331 HAS SOPS 6331 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4672.331
AT ITER 7010 NEW BEST:: SOT 24362 SOS 6330 HAS SOPS 6330 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4671.33
AT ITER 7023 NEW BEST:: SOT 24358 SOS 6326 HAS SOPS 6326 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4665.326
AT ITER 7052 NEW BEST:: SOT 24358 SOS 6317 HAS SOPS 6317 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4665.317
AT ITER 7065 NEW BEST:: SOT 24356 SOS 6311 HAS SOPS 6311 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4661.311
AT ITER 7110 NEW BEST:: SOT 24366 SOS 6195 HAS SOPS 6195 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4659.195
AT ITER 7141 NEW BEST:: SOT 24366 SOS 6183 HAS SOPS 6183 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4659.183
AT ITER 7165 NEW BEST:: SOT 24366 SOS 6181 HAS SOPS 6181 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4657.181
AT ITER 7273 NEW BEST:: SOT 24359 SOS 6175 HAS SOPS 6175 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4649.175
AT ITER 7287 NEW BEST:: SOT 24356 SOS 6172 HAS SOPS 6172 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4646.172
AT ITER 7349 NEW BEST:: SOT 24356 SOS 6167 HAS SOPS 6167 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4646.167
AT ITER 7371 NEW BEST:: SOT 24355 SOS 6166 HAS SOPS 6166 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4645.166
AT ITER 7449 NEW BEST:: SOT 24338 SOS 6140 HAS SOPS 6140 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4629.14
AT ITER 7451 NEW BEST:: SOT 24338 SOS 6136 HAS SOPS 6136 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4625.136
AT ITER 7488 NEW BEST:: SOT 24334 SOS 6134 HAS SOPS 6134 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4619.134
AT ITER 7551 NEW BEST:: SOT 24335 SOS 6135 HAS SOPS 6135 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4611.135
AT ITER 7586 NEW BEST:: SOT 24335 SOS 6134 HAS SOPS 6134 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4611.134
AT ITER 7669 NEW BEST:: SOT 24332 SOS 6128 HAS SOPS 6128 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4609.128
AT ITER 7683 NEW BEST:: SOT 24329 SOS 6122 HAS SOPS 6122 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4603.122
AT ITER 7780 NEW BEST:: SOT 24329 SOS 6111 HAS SOPS 6111 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4592.111
AT ITER 7848 NEW BEST:: SOT 24327 SOS 6107 HAS SOPS 6107 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4588.107
AT ITER 7955 NEW BEST:: SOT 24319 SOS 6087 HAS SOPS 6087 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4580.087
AT ITER 8025 NEW BEST:: SOT 24315 SOS 6074 HAS SOPS 6074 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4575.074
AT ITER 8057 NEW BEST:: SOT 24305 SOS 6044 HAS SOPS 6044 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4565.044
AT ITER 8105 NEW BEST:: SOT 24294 SOS 5981 HAS SOPS 5981 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.981
AT ITER 8119 NEW BEST:: SOT 24290 SOS 5965 HAS SOPS 5965 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4556.965
AT ITER 8292 NEW BEST:: SOT 24290 SOS 5964 HAS SOPS 5964 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4556.964
AT ITER 8297 NEW BEST:: SOT 24288 SOS 5960 HAS SOPS 5960 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4553.96
AT ITER 8319 NEW BEST:: SOT 24279 SOS 5960 HAS SOPS 5960 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4544.96
AT ITER 8330 NEW BEST:: SOT 24257 SOS 5954 HAS SOPS 5954 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4538.954
AT ITER 8409 NEW BEST:: SOT 24257 SOS 5947 HAS SOPS 5947 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4531.947
AT ITER 8479 NEW BEST:: SOT 24257 SOS 5947 HAS SOPS 5947 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.947
AT ITER 8486 NEW BEST:: SOT 24252 SOS 5927 HAS SOPS 5927 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4510.927
AT ITER 8487 NEW BEST:: SOT 24254 SOS 5925 HAS SOPS 5925 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.925
AT ITER 8555 NEW BEST:: SOT 24247 SOS 5918 HAS SOPS 5918 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4503.918
AT ITER 8606 NEW BEST:: SOT 24245 SOS 5916 HAS SOPS 5916 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4501.916
AT ITER 8610 NEW BEST:: SOT 24240 SOS 5908 HAS SOPS 5908 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.908
AT ITER 8620 NEW BEST:: SOT 24237 SOS 5899 HAS SOPS 5899 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4491.899
AT ITER 8631 NEW BEST:: SOT 24229 SOS 5931 HAS SOPS 5931 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4489.931
AT ITER 8668 NEW BEST:: SOT 24229 SOS 5923 HAS SOPS 5923 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.923
AT ITER 8669 NEW BEST:: SOT 24229 SOS 5923 HAS SOPS 5923 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4481.923
AT ITER 8725 NEW BEST:: SOT 24225 SOS 5890 HAS SOPS 5890 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4472.89
AT ITER 8760 NEW BEST:: SOT 24225 SOS 5890 HAS SOPS 5890 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4471.89
AT ITER 8804 NEW BEST:: SOT 24217 SOS 5882 HAS SOPS 5882 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4471.882
AT ITER 8872 NEW BEST:: SOT 24222 SOS 5874 HAS SOPS 5874 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4471.874
AT ITER 8981 NEW BEST:: SOT 24222 SOS 5873 HAS SOPS 5873 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4470.873
AT ITER 9078 NEW BEST:: SOT 24222 SOS 5871 HAS SOPS 5871 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4468.871
AT ITER 9096 NEW BEST:: SOT 24222 SOS 5871 HAS SOPS 5871 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4465.871
AT ITER 9097 NEW BEST:: SOT 24216 SOS 5856 HAS SOPS 5856 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4459.856
AT ITER 9266 NEW BEST:: SOT 24219 SOS 5869 HAS SOPS 5869 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4450.869
AT ITER 9305 NEW BEST:: SOT 24216 SOS 5866 HAS SOPS 5866 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4447.866
AT ITER 9346 NEW BEST:: SOT 24210 SOS 5860 HAS SOPS 5860 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4447.86
AT ITER 9353 NEW BEST:: SOT 24218 SOS 5842 HAS SOPS 5842 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4446.842
AT ITER 9420 NEW BEST:: SOT 24218 SOS 5837 HAS SOPS 5837 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4445.837
AT ITER 9466 NEW BEST:: SOT 24218 SOS 5836 HAS SOPS 5836 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4444.836
AT ITER 9556 NEW BEST:: SOT 24214 SOS 5827 HAS SOPS 5827 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4435.827
AT ITER 9578 NEW BEST:: SOT 24213 SOS 5825 HAS SOPS 5825 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4432.825
AT ITER 9583 NEW BEST:: SOT 24209 SOS 5821 HAS SOPS 5821 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.821
AT ITER 9629 NEW BEST:: SOT 24209 SOS 5826 HAS SOPS 5826 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4423.826
AT ITER 9706 NEW BEST:: SOT 24198 SOS 5780 HAS SOPS 5780 HAS SOUS 4415 HAS SOUPS 4415 WITH SCORE 4420.78
AT ITER 9766 NEW BEST:: SOT 24198 SOS 5779 HAS SOPS 5779 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4419.779
AT ITER 9780 NEW BEST:: SOT 24190 SOS 5763 HAS SOPS 5763 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4409.763
AT ITER 9912 NEW BEST:: SOT 24190 SOS 5761 HAS SOPS 5761 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4408.761
AT ITER 9979 NEW BEST:: SOT 24186 SOS 5755 HAS SOPS 5755 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4403.755
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 8425036 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16124356 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="ShieldRVs-PT-005B"
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 ShieldRVs-PT-005B, 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 r427-tajo-167905979200080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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