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.r491-tall-167912711201008.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 UtilityControlRoom-COL-Z2T4N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711201008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 8.1K Feb 26 14:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 14:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 14:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 14:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679307368327

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=UtilityControlRoom-COL-Z2T4N06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:16:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:16:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:16:10] [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-20 10:16:10] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:16:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 484 ms
[2023-03-20 10:16:11] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 106 PT places and 162.0 transition bindings in 15 ms.
[2023-03-20 10:16:11] [INFO ] Unfolded HLPN to a Petri net with 106 places and 162 transitions 510 arcs in 16 ms.
[2023-03-20 10:16:11] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:16:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 106 places, 162 transitions and 510 arcs took 5 ms.
Total runtime 838 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T4N06
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: 106 places, 162 transitions, 510 arcs.
AT ITER 0 NEW BEST:: SOT 13815 SOS 10287 HAS SOPS 10287 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6994.287
AT ITER 2 NEW BEST:: SOT 13815 SOS 10287 HAS SOPS 10287 HAS SOUS 6975 HAS SOUPS 6975 WITH SCORE 6985.287
AT ITER 5 NEW BEST:: SOT 13792 SOS 10222 HAS SOPS 10222 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6838.222
AT ITER 7 NEW BEST:: SOT 12082 SOS 8845 HAS SOPS 8845 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5730.845
AT ITER 9 NEW BEST:: SOT 12082 SOS 8821 HAS SOPS 8821 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5706.821
AT ITER 10 NEW BEST:: SOT 12082 SOS 9653 HAS SOPS 9653 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5700.653
AT ITER 11 NEW BEST:: SOT 12070 SOS 9641 HAS SOPS 9641 HAS SOUS 5691 HAS SOUPS 5691 WITH SCORE 5700.641
AT ITER 14 NEW BEST:: SOT 12070 SOS 9641 HAS SOPS 9641 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5698.641
AT ITER 15 NEW BEST:: SOT 12056 SOS 9636 HAS SOPS 9636 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5682.636
AT ITER 17 NEW BEST:: SOT 12048 SOS 9628 HAS SOPS 9628 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5596.628
AT ITER 18 NEW BEST:: SOT 12048 SOS 9576 HAS SOPS 9576 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5544.576
AT ITER 20 NEW BEST:: SOT 12015 SOS 9549 HAS SOPS 9549 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5527.549
AT ITER 28 NEW BEST:: SOT 11957 SOS 9400 HAS SOPS 9400 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5444.4
AT ITER 29 NEW BEST:: SOT 11956 SOS 9400 HAS SOPS 9400 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5441.4
AT ITER 33 NEW BEST:: SOT 12001 SOS 9445 HAS SOPS 9445 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5414.445
AT ITER 36 NEW BEST:: SOT 11961 SOS 9410 HAS SOPS 9410 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5379.41
AT ITER 37 NEW BEST:: SOT 11905 SOS 9377 HAS SOPS 9377 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5345.377
AT ITER 39 NEW BEST:: SOT 11889 SOS 9346 HAS SOPS 9346 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5307.346
AT ITER 43 NEW BEST:: SOT 11841 SOS 9191 HAS SOPS 9191 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5257.191
AT ITER 46 NEW BEST:: SOT 11837 SOS 9179 HAS SOPS 9179 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5241.179
AT ITER 48 NEW BEST:: SOT 11836 SOS 9075 HAS SOPS 9075 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5149.075
AT ITER 49 NEW BEST:: SOT 11827 SOS 9062 HAS SOPS 9062 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5136.062
AT ITER 50 NEW BEST:: SOT 11861 SOS 8964 HAS SOPS 8964 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5045.964
AT ITER 51 NEW BEST:: SOT 11841 SOS 8976 HAS SOPS 8976 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5039.976
AT ITER 57 NEW BEST:: SOT 11831 SOS 8960 HAS SOPS 8960 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5018.96
AT ITER 58 NEW BEST:: SOT 11804 SOS 8933 HAS SOPS 8933 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4991.933
AT ITER 60 NEW BEST:: SOT 11765 SOS 8881 HAS SOPS 8881 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4963.881
AT ITER 63 NEW BEST:: SOT 11752 SOS 8886 HAS SOPS 8886 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4936.886
AT ITER 64 NEW BEST:: SOT 11728 SOS 8862 HAS SOPS 8862 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4921.862
AT ITER 69 NEW BEST:: SOT 11578 SOS 8733 HAS SOPS 8733 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4761.733
AT ITER 72 NEW BEST:: SOT 11559 SOS 8650 HAS SOPS 8650 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4731.65
AT ITER 77 NEW BEST:: SOT 11555 SOS 8642 HAS SOPS 8642 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4718.642
AT ITER 78 NEW BEST:: SOT 11561 SOS 8640 HAS SOPS 8640 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4701.64
AT ITER 80 NEW BEST:: SOT 11592 SOS 8715 HAS SOPS 8715 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4688.715
AT ITER 83 NEW BEST:: SOT 11526 SOS 8609 HAS SOPS 8609 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4687.609
AT ITER 86 NEW BEST:: SOT 11526 SOS 8642 HAS SOPS 8642 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4654.642
AT ITER 87 NEW BEST:: SOT 11522 SOS 8638 HAS SOPS 8638 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4654.638
AT ITER 91 NEW BEST:: SOT 11501 SOS 8509 HAS SOPS 8509 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4611.509
AT ITER 99 NEW BEST:: SOT 11502 SOS 8502 HAS SOPS 8502 HAS SOUS 4580 HAS SOUPS 4580 WITH SCORE 4588.502
AT ITER 102 NEW BEST:: SOT 11493 SOS 8484 HAS SOPS 8484 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4570.484
AT ITER 105 NEW BEST:: SOT 11491 SOS 8480 HAS SOPS 8480 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4566.48
AT ITER 109 NEW BEST:: SOT 11489 SOS 8476 HAS SOPS 8476 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4561.476
AT ITER 113 NEW BEST:: SOT 11455 SOS 8553 HAS SOPS 8553 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4522.553
AT ITER 120 NEW BEST:: SOT 11435 SOS 8533 HAS SOPS 8533 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4482.533
AT ITER 126 NEW BEST:: SOT 11435 SOS 8525 HAS SOPS 8525 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4482.525
AT ITER 128 NEW BEST:: SOT 11394 SOS 8437 HAS SOPS 8437 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4463.437
AT ITER 129 NEW BEST:: SOT 11353 SOS 8395 HAS SOPS 8395 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4450.395
AT ITER 132 NEW BEST:: SOT 11352 SOS 8394 HAS SOPS 8394 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4439.394
AT ITER 134 NEW BEST:: SOT 11342 SOS 8402 HAS SOPS 8402 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4427.402
AT ITER 135 NEW BEST:: SOT 11309 SOS 8369 HAS SOPS 8369 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4360.369
AT ITER 141 NEW BEST:: SOT 11183 SOS 8196 HAS SOPS 8196 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4311.196
AT ITER 155 NEW BEST:: SOT 11177 SOS 8190 HAS SOPS 8190 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4288.19
AT ITER 157 NEW BEST:: SOT 11176 SOS 8189 HAS SOPS 8189 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4287.189
AT ITER 160 NEW BEST:: SOT 11122 SOS 8157 HAS SOPS 8157 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4277.157
AT ITER 162 NEW BEST:: SOT 11106 SOS 8104 HAS SOPS 8104 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4244.104
AT ITER 164 NEW BEST:: SOT 11107 SOS 8105 HAS SOPS 8105 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4233.105
AT ITER 166 NEW BEST:: SOT 11126 SOS 8124 HAS SOPS 8124 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4231.124
AT ITER 176 NEW BEST:: SOT 11128 SOS 8116 HAS SOPS 8116 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4215.116
AT ITER 178 NEW BEST:: SOT 11112 SOS 8094 HAS SOPS 8094 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4144.094
AT ITER 188 NEW BEST:: SOT 11207 SOS 8115 HAS SOPS 8115 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4113.115
AT ITER 189 NEW BEST:: SOT 11201 SOS 8107 HAS SOPS 8107 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4093.107
AT ITER 200 NEW BEST:: SOT 11157 SOS 8063 HAS SOPS 8063 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4080.063
AT ITER 212 NEW BEST:: SOT 11126 SOS 7998 HAS SOPS 7998 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4032.998
AT ITER 217 NEW BEST:: SOT 11088 SOS 7922 HAS SOPS 7922 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3974.922
AT ITER 224 NEW BEST:: SOT 11075 SOS 7919 HAS SOPS 7919 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3971.919
AT ITER 228 NEW BEST:: SOT 11075 SOS 7914 HAS SOPS 7914 HAS SOUS 3957 HAS SOUPS 3957 WITH SCORE 3964.914
AT ITER 231 NEW BEST:: SOT 11079 SOS 7874 HAS SOPS 7874 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3958.874
AT ITER 237 NEW BEST:: SOT 11079 SOS 7874 HAS SOPS 7874 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3940.874
AT ITER 242 NEW BEST:: SOT 11066 SOS 7867 HAS SOPS 7867 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3927.867
AT ITER 248 NEW BEST:: SOT 11045 SOS 7844 HAS SOPS 7844 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3902.844
AT ITER 252 NEW BEST:: SOT 11037 SOS 7836 HAS SOPS 7836 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3901.836
AT ITER 253 NEW BEST:: SOT 11027 SOS 7826 HAS SOPS 7826 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3869.826
AT ITER 263 NEW BEST:: SOT 11073 SOS 7921 HAS SOPS 7921 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3852.921
AT ITER 269 NEW BEST:: SOT 11080 SOS 7928 HAS SOPS 7928 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3792.928
AT ITER 272 NEW BEST:: SOT 11043 SOS 7853 HAS SOPS 7853 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3710.853
AT ITER 273 NEW BEST:: SOT 11037 SOS 7845 HAS SOPS 7845 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3702.845
AT ITER 284 NEW BEST:: SOT 10983 SOS 7755 HAS SOPS 7755 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3648.755
AT ITER 287 NEW BEST:: SOT 10992 SOS 7804 HAS SOPS 7804 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3647.804
AT ITER 291 NEW BEST:: SOT 10988 SOS 7792 HAS SOPS 7792 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3639.792
AT ITER 303 NEW BEST:: SOT 10949 SOS 7743 HAS SOPS 7743 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3591.743
AT ITER 306 NEW BEST:: SOT 10898 SOS 7664 HAS SOPS 7664 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3588.664
AT ITER 322 NEW BEST:: SOT 10900 SOS 7666 HAS SOPS 7666 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3580.666
AT ITER 324 NEW BEST:: SOT 10900 SOS 7664 HAS SOPS 7664 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3579.664
AT ITER 327 NEW BEST:: SOT 10879 SOS 7626 HAS SOPS 7626 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3487.626
AT ITER 328 NEW BEST:: SOT 10876 SOS 7623 HAS SOPS 7623 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3485.623
AT ITER 329 NEW BEST:: SOT 10866 SOS 7609 HAS SOPS 7609 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3477.609
AT ITER 330 NEW BEST:: SOT 10840 SOS 7518 HAS SOPS 7518 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3455.518
AT ITER 333 NEW BEST:: SOT 10838 SOS 7496 HAS SOPS 7496 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3453.496
AT ITER 338 NEW BEST:: SOT 10805 SOS 7379 HAS SOPS 7379 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3430.379
AT ITER 346 NEW BEST:: SOT 10809 SOS 7375 HAS SOPS 7375 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3428.375
AT ITER 347 NEW BEST:: SOT 10816 SOS 7358 HAS SOPS 7358 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3381.358
AT ITER 362 NEW BEST:: SOT 10803 SOS 7340 HAS SOPS 7340 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3377.34
AT ITER 364 NEW BEST:: SOT 10728 SOS 7188 HAS SOPS 7188 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3322.188
AT ITER 365 NEW BEST:: SOT 10724 SOS 7180 HAS SOPS 7180 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3316.18
AT ITER 372 NEW BEST:: SOT 10717 SOS 7161 HAS SOPS 7161 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3309.161
AT ITER 379 NEW BEST:: SOT 10714 SOS 7140 HAS SOPS 7140 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3301.14
AT ITER 389 NEW BEST:: SOT 10695 SOS 7060 HAS SOPS 7060 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3275.06
AT ITER 391 NEW BEST:: SOT 10697 SOS 7058 HAS SOPS 7058 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3273.058
AT ITER 393 NEW BEST:: SOT 10697 SOS 7058 HAS SOPS 7058 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.058
AT ITER 395 NEW BEST:: SOT 10697 SOS 7044 HAS SOPS 7044 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.044
AT ITER 397 NEW BEST:: SOT 10672 SOS 7095 HAS SOPS 7095 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3178.095
AT ITER 399 NEW BEST:: SOT 10632 SOS 7055 HAS SOPS 7055 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3120.055
AT ITER 401 NEW BEST:: SOT 10570 SOS 6944 HAS SOPS 6944 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3064.944
AT ITER 408 NEW BEST:: SOT 10533 SOS 6943 HAS SOPS 6943 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3036.943
AT ITER 418 NEW BEST:: SOT 10535 SOS 6849 HAS SOPS 6849 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3012.849
AT ITER 419 NEW BEST:: SOT 10531 SOS 6869 HAS SOPS 6869 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 3002.869
AT ITER 420 NEW BEST:: SOT 10529 SOS 6868 HAS SOPS 6868 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 3002.868
AT ITER 431 NEW BEST:: SOT 10531 SOS 6863 HAS SOPS 6863 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2992.863
AT ITER 433 NEW BEST:: SOT 10533 SOS 6897 HAS SOPS 6897 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2949.897
AT ITER 451 NEW BEST:: SOT 10520 SOS 6920 HAS SOPS 6920 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2936.92
AT ITER 452 NEW BEST:: SOT 10539 SOS 6927 HAS SOPS 6927 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2935.927
AT ITER 477 NEW BEST:: SOT 10509 SOS 6880 HAS SOPS 6880 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2878.88
AT ITER 482 NEW BEST:: SOT 10440 SOS 6744 HAS SOPS 6744 HAS SOUS 2814 HAS SOUPS 2814 WITH SCORE 2820.744
AT ITER 486 NEW BEST:: SOT 10372 SOS 6676 HAS SOPS 6676 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2700.676
AT ITER 495 NEW BEST:: SOT 10257 SOS 6495 HAS SOPS 6495 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2518.495
AT ITER 514 NEW BEST:: SOT 10255 SOS 6491 HAS SOPS 6491 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2514.491
AT ITER 515 NEW BEST:: SOT 10202 SOS 6411 HAS SOPS 6411 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2426.411
AT ITER 524 NEW BEST:: SOT 10193 SOS 6399 HAS SOPS 6399 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2417.399
AT ITER 536 NEW BEST:: SOT 10201 SOS 6407 HAS SOPS 6407 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2413.407
AT ITER 538 NEW BEST:: SOT 10206 SOS 6413 HAS SOPS 6413 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2410.413
AT ITER 557 NEW BEST:: SOT 10203 SOS 6403 HAS SOPS 6403 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2404.403
AT ITER 560 NEW BEST:: SOT 10203 SOS 6409 HAS SOPS 6409 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2401.409
AT ITER 569 NEW BEST:: SOT 10195 SOS 6401 HAS SOPS 6401 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2388.401
AT ITER 590 NEW BEST:: SOT 10202 SOS 6433 HAS SOPS 6433 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2375.433
AT ITER 611 NEW BEST:: SOT 10197 SOS 6434 HAS SOPS 6434 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2368.434
AT ITER 614 NEW BEST:: SOT 10182 SOS 6417 HAS SOPS 6417 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2367.417
AT ITER 619 NEW BEST:: SOT 10178 SOS 6413 HAS SOPS 6413 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2365.413
AT ITER 666 NEW BEST:: SOT 10173 SOS 6413 HAS SOPS 6413 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2355.413
AT ITER 669 NEW BEST:: SOT 10161 SOS 6401 HAS SOPS 6401 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2342.401
AT ITER 683 NEW BEST:: SOT 10158 SOS 6395 HAS SOPS 6395 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2339.395
AT ITER 695 NEW BEST:: SOT 10164 SOS 6400 HAS SOPS 6400 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2317.4
AT ITER 699 NEW BEST:: SOT 10164 SOS 5960 HAS SOPS 5960 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2295.96
AT ITER 702 NEW BEST:: SOT 10150 SOS 5955 HAS SOPS 5955 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2290.955
AT ITER 731 NEW BEST:: SOT 10122 SOS 6009 HAS SOPS 6009 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2276.009
AT ITER 735 NEW BEST:: SOT 10118 SOS 6017 HAS SOPS 6017 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2272.017
AT ITER 746 NEW BEST:: SOT 10114 SOS 6015 HAS SOPS 6015 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2270.015
AT ITER 748 NEW BEST:: SOT 10096 SOS 5997 HAS SOPS 5997 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2261.997
AT ITER 753 NEW BEST:: SOT 10096 SOS 5991 HAS SOPS 5991 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2255.991
AT ITER 770 NEW BEST:: SOT 10089 SOS 5997 HAS SOPS 5997 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2239.997
AT ITER 777 NEW BEST:: SOT 10073 SOS 5981 HAS SOPS 5981 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2223.981
AT ITER 783 NEW BEST:: SOT 10067 SOS 5975 HAS SOPS 5975 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2211.975
AT ITER 787 NEW BEST:: SOT 10057 SOS 5937 HAS SOPS 5937 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2182.937
AT ITER 789 NEW BEST:: SOT 10049 SOS 5929 HAS SOPS 5929 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2174.929
AT ITER 804 NEW BEST:: SOT 10043 SOS 5927 HAS SOPS 5927 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2168.927
AT ITER 812 NEW BEST:: SOT 10037 SOS 5925 HAS SOPS 5925 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2168.925
AT ITER 828 NEW BEST:: SOT 10032 SOS 5927 HAS SOPS 5927 HAS SOUS 2155 HAS SOUPS 2155 WITH SCORE 2160.927
AT ITER 846 NEW BEST:: SOT 10026 SOS 5718 HAS SOPS 5718 HAS SOUS 2143 HAS SOUPS 2143 WITH SCORE 2148.718
AT ITER 855 NEW BEST:: SOT 9999 SOS 5673 HAS SOPS 5673 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2121.673
AT ITER 872 NEW BEST:: SOT 9988 SOS 5636 HAS SOPS 5636 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2074.636
AT ITER 873 NEW BEST:: SOT 9984 SOS 5632 HAS SOPS 5632 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2064.632
AT ITER 875 NEW BEST:: SOT 9982 SOS 5630 HAS SOPS 5630 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2061.63
AT ITER 885 NEW BEST:: SOT 9975 SOS 5623 HAS SOPS 5623 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2060.623
AT ITER 917 NEW BEST:: SOT 9943 SOS 5559 HAS SOPS 5559 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2012.559
AT ITER 935 NEW BEST:: SOT 9957 SOS 5575 HAS SOPS 5575 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2011.575
AT ITER 973 NEW BEST:: SOT 9943 SOS 5553 HAS SOPS 5553 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2009.553
AT ITER 975 NEW BEST:: SOT 9943 SOS 5553 HAS SOPS 5553 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 2001.553
AT ITER 992 NEW BEST:: SOT 9932 SOS 5542 HAS SOPS 5542 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1991.542
AT ITER 1058 NEW BEST:: SOT 9932 SOS 5542 HAS SOPS 5542 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1990.542
AT ITER 1063 NEW BEST:: SOT 9930 SOS 5540 HAS SOPS 5540 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1988.54
AT ITER 1065 NEW BEST:: SOT 9924 SOS 5510 HAS SOPS 5510 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1970.51
AT ITER 1077 NEW BEST:: SOT 9914 SOS 5503 HAS SOPS 5503 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1966.503
AT ITER 1089 NEW BEST:: SOT 9903 SOS 5492 HAS SOPS 5492 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1960.492
AT ITER 1160 NEW BEST:: SOT 9890 SOS 5479 HAS SOPS 5479 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1955.479
AT ITER 1181 NEW BEST:: SOT 9883 SOS 5474 HAS SOPS 5474 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1950.474
AT ITER 1196 NEW BEST:: SOT 9882 SOS 5471 HAS SOPS 5471 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1947.471
AT ITER 1259 NEW BEST:: SOT 9877 SOS 5463 HAS SOPS 5463 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1940.463
AT ITER 1268 NEW BEST:: SOT 9879 SOS 5463 HAS SOPS 5463 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1935.463
AT ITER 1280 NEW BEST:: SOT 9873 SOS 5457 HAS SOPS 5457 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1933.457
AT ITER 1286 NEW BEST:: SOT 9862 SOS 5431 HAS SOPS 5431 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1917.431
AT ITER 1296 NEW BEST:: SOT 9865 SOS 5422 HAS SOPS 5422 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1910.422
AT ITER 1340 NEW BEST:: SOT 9865 SOS 5350 HAS SOPS 5350 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1885.35
AT ITER 1347 NEW BEST:: SOT 9858 SOS 5341 HAS SOPS 5341 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1881.341
AT ITER 1375 NEW BEST:: SOT 9857 SOS 5340 HAS SOPS 5340 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1879.34
AT ITER 1389 NEW BEST:: SOT 9839 SOS 5322 HAS SOPS 5322 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1855.322
AT ITER 1427 NEW BEST:: SOT 9827 SOS 5306 HAS SOPS 5306 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1831.306
AT ITER 1457 NEW BEST:: SOT 9821 SOS 5294 HAS SOPS 5294 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1825.294
AT ITER 1462 NEW BEST:: SOT 9815 SOS 5294 HAS SOPS 5294 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1820.294
AT ITER 1469 NEW BEST:: SOT 9812 SOS 5290 HAS SOPS 5290 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1814.29
AT ITER 1475 NEW BEST:: SOT 9810 SOS 5286 HAS SOPS 5286 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1812.286
AT ITER 1484 NEW BEST:: SOT 9809 SOS 5264 HAS SOPS 5264 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1812.264
AT ITER 1496 NEW BEST:: SOT 9811 SOS 5263 HAS SOPS 5263 HAS SOUS 1798 HAS SOUPS 1798 WITH SCORE 1803.263
AT ITER 1497 NEW BEST:: SOT 9809 SOS 5261 HAS SOPS 5261 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1802.261
AT ITER 1506 NEW BEST:: SOT 9792 SOS 5239 HAS SOPS 5239 HAS SOUS 1792 HAS SOUPS 1792 WITH SCORE 1797.239
AT ITER 1509 NEW BEST:: SOT 9788 SOS 5243 HAS SOPS 5243 HAS SOUS 1788 HAS SOUPS 1788 WITH SCORE 1793.243
AT ITER 1555 NEW BEST:: SOT 9785 SOS 5232 HAS SOPS 5232 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1788.232
AT ITER 1602 NEW BEST:: SOT 9776 SOS 5223 HAS SOPS 5223 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1788.223
AT ITER 1609 NEW BEST:: SOT 9775 SOS 5222 HAS SOPS 5222 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1786.222
AT ITER 1644 NEW BEST:: SOT 9774 SOS 5219 HAS SOPS 5219 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1784.219
AT ITER 1675 NEW BEST:: SOT 9775 SOS 5219 HAS SOPS 5219 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1783.219
AT ITER 1698 NEW BEST:: SOT 9775 SOS 5221 HAS SOPS 5221 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1782.221
AT ITER 1699 NEW BEST:: SOT 9775 SOS 5211 HAS SOPS 5211 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1780.211
AT ITER 1710 NEW BEST:: SOT 9772 SOS 5205 HAS SOPS 5205 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1774.205
AT ITER 1722 NEW BEST:: SOT 9765 SOS 5198 HAS SOPS 5198 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1772.198
AT ITER 1745 NEW BEST:: SOT 9762 SOS 5195 HAS SOPS 5195 HAS SOUS 1762 HAS SOUPS 1762 WITH SCORE 1767.195
AT ITER 1756 NEW BEST:: SOT 9761 SOS 5193 HAS SOPS 5193 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1763.193
AT ITER 1762 NEW BEST:: SOT 9761 SOS 5187 HAS SOPS 5187 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1763.187
AT ITER 1769 NEW BEST:: SOT 9796 SOS 5246 HAS SOPS 5246 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1761.246
AT ITER 1828 NEW BEST:: SOT 9798 SOS 5248 HAS SOPS 5248 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1751.248
AT ITER 1944 NEW BEST:: SOT 9797 SOS 5247 HAS SOPS 5247 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1749.247
AT ITER 1978 NEW BEST:: SOT 9796 SOS 5245 HAS SOPS 5245 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1748.245
AT ITER 1990 NEW BEST:: SOT 9789 SOS 5231 HAS SOPS 5231 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1740.231
AT ITER 1993 NEW BEST:: SOT 9786 SOS 5226 HAS SOPS 5226 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1737.226
AT ITER 2010 NEW BEST:: SOT 9776 SOS 5212 HAS SOPS 5212 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1731.212
AT ITER 2057 NEW BEST:: SOT 9776 SOS 5222 HAS SOPS 5222 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1721.222
AT ITER 2074 NEW BEST:: SOT 9774 SOS 5220 HAS SOPS 5220 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1719.22
AT ITER 2094 NEW BEST:: SOT 9767 SOS 5206 HAS SOPS 5206 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1712.206
AT ITER 2114 NEW BEST:: SOT 9746 SOS 5174 HAS SOPS 5174 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1689.174
AT ITER 2118 NEW BEST:: SOT 9751 SOS 5165 HAS SOPS 5165 HAS SOUS 1680 HAS SOUPS 1680 WITH SCORE 1685.165
AT ITER 2150 NEW BEST:: SOT 9745 SOS 5157 HAS SOPS 5157 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1679.157
AT ITER 2174 NEW BEST:: SOT 9738 SOS 5143 HAS SOPS 5143 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1679.143
AT ITER 2185 NEW BEST:: SOT 9738 SOS 5119 HAS SOPS 5119 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1679.119
AT ITER 2197 NEW BEST:: SOT 9736 SOS 5115 HAS SOPS 5115 HAS SOUS 1672 HAS SOUPS 1672 WITH SCORE 1677.115
AT ITER 2260 NEW BEST:: SOT 9738 SOS 5115 HAS SOPS 5115 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1675.115
AT ITER 2283 NEW BEST:: SOT 9733 SOS 5118 HAS SOPS 5118 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1669.118
AT ITER 2326 NEW BEST:: SOT 9729 SOS 5112 HAS SOPS 5112 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1664.112
AT ITER 2331 NEW BEST:: SOT 9724 SOS 5101 HAS SOPS 5101 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1656.101
AT ITER 2345 NEW BEST:: SOT 9723 SOS 5100 HAS SOPS 5100 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1655.1
AT ITER 2401 NEW BEST:: SOT 9717 SOS 5089 HAS SOPS 5089 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1652.089
AT ITER 2409 NEW BEST:: SOT 9717 SOS 5090 HAS SOPS 5090 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1651.09
AT ITER 2456 NEW BEST:: SOT 9715 SOS 5084 HAS SOPS 5084 HAS SOUS 1639 HAS SOUPS 1639 WITH SCORE 1644.084
AT ITER 2566 NEW BEST:: SOT 9714 SOS 5082 HAS SOPS 5082 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1641.082
AT ITER 2581 NEW BEST:: SOT 9708 SOS 5070 HAS SOPS 5070 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1634.07
AT ITER 2602 NEW BEST:: SOT 9712 SOS 5075 HAS SOPS 5075 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1630.075
AT ITER 2671 NEW BEST:: SOT 9706 SOS 5069 HAS SOPS 5069 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1624.069
AT ITER 2688 NEW BEST:: SOT 9686 SOS 5049 HAS SOPS 5049 HAS SOUS 1613 HAS SOUPS 1613 WITH SCORE 1618.049
AT ITER 2712 NEW BEST:: SOT 9685 SOS 5048 HAS SOPS 5048 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1617.048
AT ITER 2729 NEW BEST:: SOT 9683 SOS 5050 HAS SOPS 5050 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1610.05
AT ITER 2742 NEW BEST:: SOT 9672 SOS 5042 HAS SOPS 5042 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1605.042
AT ITER 2758 NEW BEST:: SOT 9670 SOS 5040 HAS SOPS 5040 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1603.04
AT ITER 2763 NEW BEST:: SOT 9669 SOS 5038 HAS SOPS 5038 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1602.038
AT ITER 2797 NEW BEST:: SOT 9668 SOS 5037 HAS SOPS 5037 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1602.037
AT ITER 2798 NEW BEST:: SOT 9659 SOS 5025 HAS SOPS 5025 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1596.025
AT ITER 2857 NEW BEST:: SOT 9658 SOS 5024 HAS SOPS 5024 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1594.024
AT ITER 2944 NEW BEST:: SOT 9655 SOS 5019 HAS SOPS 5019 HAS SOUS 1586 HAS SOUPS 1586 WITH SCORE 1591.019
AT ITER 2954 NEW BEST:: SOT 9638 SOS 5012 HAS SOPS 5012 HAS SOUS 1586 HAS SOUPS 1586 WITH SCORE 1591.012
AT ITER 3021 NEW BEST:: SOT 9630 SOS 5006 HAS SOPS 5006 HAS SOUS 1582 HAS SOUPS 1582 WITH SCORE 1587.006
AT ITER 3059 NEW BEST:: SOT 9630 SOS 5006 HAS SOPS 5006 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1584.006
AT ITER 3065 NEW BEST:: SOT 9629 SOS 5004 HAS SOPS 5004 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1581.004
AT ITER 3092 NEW BEST:: SOT 9621 SOS 5000 HAS SOPS 5000 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1575.0
AT ITER 3208 NEW BEST:: SOT 9615 SOS 4994 HAS SOPS 4994 HAS SOUS 1569 HAS SOUPS 1569 WITH SCORE 1573.994
AT ITER 3336 NEW BEST:: SOT 9610 SOS 4987 HAS SOPS 4987 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1564.987
AT ITER 3449 NEW BEST:: SOT 9610 SOS 4973 HAS SOPS 4973 HAS SOUS 1553 HAS SOUPS 1553 WITH SCORE 1557.973
AT ITER 3467 NEW BEST:: SOT 9615 SOS 4973 HAS SOPS 4973 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1556.973
AT ITER 3480 NEW BEST:: SOT 9606 SOS 4969 HAS SOPS 4969 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1556.969
AT ITER 3498 NEW BEST:: SOT 9596 SOS 4944 HAS SOPS 4944 HAS SOUS 1545 HAS SOUPS 1545 WITH SCORE 1549.944
AT ITER 3537 NEW BEST:: SOT 9594 SOS 4946 HAS SOPS 4946 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1538.946
AT ITER 3582 NEW BEST:: SOT 9592 SOS 4942 HAS SOPS 4942 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1532.942
AT ITER 3671 NEW BEST:: SOT 9592 SOS 4941 HAS SOPS 4941 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1532.941
AT ITER 3684 NEW BEST:: SOT 9592 SOS 4938 HAS SOPS 4938 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1532.938
AT ITER 3764 NEW BEST:: SOT 9590 SOS 4935 HAS SOPS 4935 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1530.935
AT ITER 3862 NEW BEST:: SOT 9581 SOS 4907 HAS SOPS 4907 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1529.907
AT ITER 3893 NEW BEST:: SOT 9576 SOS 4899 HAS SOPS 4899 HAS SOUS 1517 HAS SOUPS 1517 WITH SCORE 1521.899
AT ITER 3900 NEW BEST:: SOT 9574 SOS 4897 HAS SOPS 4897 HAS SOUS 1517 HAS SOUPS 1517 WITH SCORE 1521.897
AT ITER 3963 NEW BEST:: SOT 9568 SOS 4879 HAS SOPS 4879 HAS SOUS 1514 HAS SOUPS 1514 WITH SCORE 1518.879
AT ITER 4050 NEW BEST:: SOT 9567 SOS 4878 HAS SOPS 4878 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1517.878
AT ITER 4054 NEW BEST:: SOT 9567 SOS 4875 HAS SOPS 4875 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1512.875
AT ITER 4092 NEW BEST:: SOT 9561 SOS 4869 HAS SOPS 4869 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1509.869
AT ITER 4132 NEW BEST:: SOT 9554 SOS 4857 HAS SOPS 4857 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1505.857
AT ITER 4138 NEW BEST:: SOT 9558 SOS 4858 HAS SOPS 4858 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1504.858
AT ITER 4141 NEW BEST:: SOT 9558 SOS 4854 HAS SOPS 4854 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1500.854
AT ITER 4154 NEW BEST:: SOT 9554 SOS 4846 HAS SOPS 4846 HAS SOUS 1492 HAS SOUPS 1492 WITH SCORE 1496.846
AT ITER 4185 NEW BEST:: SOT 9554 SOS 4842 HAS SOPS 4842 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1495.842
AT ITER 4355 NEW BEST:: SOT 9553 SOS 4840 HAS SOPS 4840 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1492.84
AT ITER 4375 NEW BEST:: SOT 9561 SOS 4844 HAS SOPS 4844 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1491.844
AT ITER 4424 NEW BEST:: SOT 9558 SOS 4838 HAS SOPS 4838 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1488.838
AT ITER 4544 NEW BEST:: SOT 9558 SOS 4838 HAS SOPS 4838 HAS SOUS 1481 HAS SOUPS 1481 WITH SCORE 1485.838
AT ITER 4778 NEW BEST:: SOT 9557 SOS 4836 HAS SOPS 4836 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1482.836
AT ITER 4785 NEW BEST:: SOT 9553 SOS 4832 HAS SOPS 4832 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1482.832
AT ITER 4817 NEW BEST:: SOT 9552 SOS 4830 HAS SOPS 4830 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1480.83
AT ITER 4884 NEW BEST:: SOT 9549 SOS 4819 HAS SOPS 4819 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1477.819
AT ITER 4885 NEW BEST:: SOT 9546 SOS 4814 HAS SOPS 4814 HAS SOUS 1468 HAS SOUPS 1468 WITH SCORE 1472.814
AT ITER 4931 NEW BEST:: SOT 9544 SOS 4812 HAS SOPS 4812 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1470.812
AT ITER 4987 NEW BEST:: SOT 9532 SOS 4814 HAS SOPS 4814 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1465.814
AT ITER 5085 NEW BEST:: SOT 9531 SOS 4812 HAS SOPS 4812 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1463.812
AT ITER 5221 NEW BEST:: SOT 9530 SOS 4811 HAS SOPS 4811 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1460.811
AT ITER 5293 NEW BEST:: SOT 9523 SOS 4802 HAS SOPS 4802 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1455.802
AT ITER 5311 NEW BEST:: SOT 9521 SOS 4799 HAS SOPS 4799 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1452.799
AT ITER 5376 NEW BEST:: SOT 9536 SOS 4811 HAS SOPS 4811 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1451.811
AT ITER 5454 NEW BEST:: SOT 9535 SOS 4809 HAS SOPS 4809 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1447.809
AT ITER 5573 NEW BEST:: SOT 9532 SOS 4794 HAS SOPS 4794 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1444.794
AT ITER 5647 NEW BEST:: SOT 9535 SOS 4800 HAS SOPS 4800 HAS SOUS 1439 HAS SOUPS 1439 WITH SCORE 1443.8
AT ITER 5679 NEW BEST:: SOT 9534 SOS 4796 HAS SOPS 4796 HAS SOUS 1437 HAS SOUPS 1437 WITH SCORE 1441.796
AT ITER 5989 NEW BEST:: SOT 9529 SOS 4792 HAS SOPS 4792 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1440.792
AT ITER 6024 NEW BEST:: SOT 9526 SOS 4726 HAS SOPS 4726 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1435.726
AT ITER 6049 NEW BEST:: SOT 9526 SOS 4731 HAS SOPS 4731 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1433.731
AT ITER 6060 NEW BEST:: SOT 9527 SOS 4732 HAS SOPS 4732 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1430.732
AT ITER 6097 NEW BEST:: SOT 9532 SOS 4737 HAS SOPS 4737 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1429.737
AT ITER 6115 NEW BEST:: SOT 9531 SOS 4736 HAS SOPS 4736 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1428.736
AT ITER 6229 NEW BEST:: SOT 9530 SOS 4731 HAS SOPS 4731 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1426.731
AT ITER 6315 NEW BEST:: SOT 9529 SOS 4729 HAS SOPS 4729 HAS SOUS 1419 HAS SOUPS 1419 WITH SCORE 1423.729
AT ITER 6427 NEW BEST:: SOT 9534 SOS 4748 HAS SOPS 4748 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1421.748
AT ITER 6638 NEW BEST:: SOT 9533 SOS 4747 HAS SOPS 4747 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1421.747
AT ITER 6711 NEW BEST:: SOT 9531 SOS 4745 HAS SOPS 4745 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1420.745
AT ITER 6749 NEW BEST:: SOT 9529 SOS 4741 HAS SOPS 4741 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1418.741
AT ITER 6932 NEW BEST:: SOT 9527 SOS 4739 HAS SOPS 4739 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1416.739
AT ITER 7270 NEW BEST:: SOT 9525 SOS 4737 HAS SOPS 4737 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1416.737
AT ITER 7445 NEW BEST:: SOT 9533 SOS 4730 HAS SOPS 4730 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1416.73
AT ITER 7464 NEW BEST:: SOT 9529 SOS 4724 HAS SOPS 4724 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1410.724
AT ITER 7567 NEW BEST:: SOT 9530 SOS 4725 HAS SOPS 4725 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1407.725
AT ITER 7617 NEW BEST:: SOT 9527 SOS 4719 HAS SOPS 4719 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1404.719
AT ITER 7692 NEW BEST:: SOT 9527 SOS 4717 HAS SOPS 4717 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1404.717
AT ITER 8008 NEW BEST:: SOT 9524 SOS 4713 HAS SOPS 4713 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1400.713
AT ITER 8063 NEW BEST:: SOT 9522 SOS 4711 HAS SOPS 4711 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1397.711
AT ITER 8100 NEW BEST:: SOT 9524 SOS 4714 HAS SOPS 4714 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1396.714
AT ITER 8264 NEW BEST:: SOT 9525 SOS 4713 HAS SOPS 4713 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1393.713
AT ITER 8349 NEW BEST:: SOT 9519 SOS 4705 HAS SOPS 4705 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1388.705
AT ITER 8576 NEW BEST:: SOT 9519 SOS 4709 HAS SOPS 4709 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1387.709
AT ITER 8648 NEW BEST:: SOT 9504 SOS 4695 HAS SOPS 4695 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1380.695
AT ITER 8656 NEW BEST:: SOT 9518 SOS 4693 HAS SOPS 4693 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1378.693
AT ITER 8718 NEW BEST:: SOT 9513 SOS 4681 HAS SOPS 4681 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1368.681
AT ITER 8738 NEW BEST:: SOT 9515 SOS 4687 HAS SOPS 4687 HAS SOUS 1363 HAS SOUPS 1363 WITH SCORE 1367.687
AT ITER 8833 NEW BEST:: SOT 9512 SOS 4684 HAS SOPS 4684 HAS SOUS 1360 HAS SOUPS 1360 WITH SCORE 1364.684
AT ITER 8914 NEW BEST:: SOT 9510 SOS 4680 HAS SOPS 4680 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1361.68
AT ITER 9025 NEW BEST:: SOT 9510 SOS 4664 HAS SOPS 4664 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1361.664
AT ITER 9026 NEW BEST:: SOT 9511 SOS 4647 HAS SOPS 4647 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1355.647
AT ITER 9061 NEW BEST:: SOT 9504 SOS 4639 HAS SOPS 4639 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1346.639
AT ITER 9174 NEW BEST:: SOT 9504 SOS 4638 HAS SOPS 4638 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1346.638
AT ITER 9259 NEW BEST:: SOT 9495 SOS 4635 HAS SOPS 4635 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1337.635
AT ITER 9313 NEW BEST:: SOT 9483 SOS 4632 HAS SOPS 4632 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1337.632
AT ITER 9370 NEW BEST:: SOT 9483 SOS 4631 HAS SOPS 4631 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1335.631
AT ITER 9387 NEW BEST:: SOT 9483 SOS 4604 HAS SOPS 4604 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1335.604
AT ITER 9687 NEW BEST:: SOT 9483 SOS 4603 HAS SOPS 4603 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1335.603
AT ITER 9712 NEW BEST:: SOT 9481 SOS 4600 HAS SOPS 4600 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1332.6
AT ITER 9998 NEW BEST:: SOT 9480 SOS 4598 HAS SOPS 4598 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1332.598
STATE_SPACE STATES 27622035 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 253169448 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307377975

--------------------
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

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="UtilityControlRoom-COL-Z2T4N06"
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 UtilityControlRoom-COL-Z2T4N06, 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 r491-tall-167912711201008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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