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-167905979200064.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-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979200064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 8.9K Feb 26 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 18:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 18:18 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 26K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 18:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 18:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 18:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 18:19 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 49K 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 1679379378426

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-004B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 06:16:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 06:16:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 06:16:20] [INFO ] Load time of PNML (sax parser for PT used): 39 ms
[2023-03-21 06:16:20] [INFO ] Transformed 163 places.
[2023-03-21 06:16:20] [INFO ] Transformed 183 transitions.
[2023-03-21 06:16:20] [INFO ] Found NUPN structural information;
[2023-03-21 06:16:20] [INFO ] Parsed PT model containing 163 places and 183 transitions and 576 arcs in 98 ms.
[2023-03-21 06:16:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 163 places, 183 transitions and 576 arcs took 5 ms.
Total runtime 131 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (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: 163 places, 183 transitions, 576 arcs.
AT ITER 0 NEW BEST:: SOT 16626 SOS 5928 HAS SOPS 5928 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4792.928
AT ITER 36 NEW BEST:: SOT 16598 SOS 5907 HAS SOPS 5907 HAS SOUS 4759 HAS SOUPS 4759 WITH SCORE 4764.907
AT ITER 40 NEW BEST:: SOT 16598 SOS 5899 HAS SOPS 5899 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4756.899
AT ITER 52 NEW BEST:: SOT 16599 SOS 5914 HAS SOPS 5914 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4752.914
AT ITER 57 NEW BEST:: SOT 16629 SOS 5840 HAS SOPS 5840 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4744.84
AT ITER 87 NEW BEST:: SOT 16616 SOS 5814 HAS SOPS 5814 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4715.814
AT ITER 96 NEW BEST:: SOT 16643 SOS 5870 HAS SOPS 5870 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.87
AT ITER 108 NEW BEST:: SOT 16638 SOS 5850 HAS SOPS 5850 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4647.85
AT ITER 112 NEW BEST:: SOT 16637 SOS 5846 HAS SOPS 5846 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4643.846
AT ITER 116 NEW BEST:: SOT 16628 SOS 5827 HAS SOPS 5827 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.827
AT ITER 160 NEW BEST:: SOT 16621 SOS 5841 HAS SOPS 5841 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4604.841
AT ITER 163 NEW BEST:: SOT 16602 SOS 5843 HAS SOPS 5843 HAS SOUS 4580 HAS SOUPS 4580 WITH SCORE 4585.843
AT ITER 164 NEW BEST:: SOT 16614 SOS 5856 HAS SOPS 5856 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4574.856
AT ITER 165 NEW BEST:: SOT 16605 SOS 5838 HAS SOPS 5838 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4556.838
AT ITER 178 NEW BEST:: SOT 16558 SOS 5968 HAS SOPS 5968 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4553.968
AT ITER 179 NEW BEST:: SOT 16548 SOS 5881 HAS SOPS 5881 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.881
AT ITER 182 NEW BEST:: SOT 16546 SOS 5881 HAS SOPS 5881 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4541.881
AT ITER 184 NEW BEST:: SOT 16544 SOS 5866 HAS SOPS 5866 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4541.866
AT ITER 191 NEW BEST:: SOT 16570 SOS 5912 HAS SOPS 5912 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4539.912
AT ITER 223 NEW BEST:: SOT 16588 SOS 5796 HAS SOPS 5796 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4513.796
AT ITER 254 NEW BEST:: SOT 16588 SOS 5792 HAS SOPS 5792 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4513.792
AT ITER 275 NEW BEST:: SOT 16573 SOS 5762 HAS SOPS 5762 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4513.762
AT ITER 285 NEW BEST:: SOT 16573 SOS 5761 HAS SOPS 5761 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4513.761
AT ITER 300 NEW BEST:: SOT 16576 SOS 5744 HAS SOPS 5744 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4488.744
AT ITER 304 NEW BEST:: SOT 16564 SOS 5731 HAS SOPS 5731 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4487.731
AT ITER 310 NEW BEST:: SOT 16526 SOS 5695 HAS SOPS 5695 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4451.695
AT ITER 322 NEW BEST:: SOT 16526 SOS 5689 HAS SOPS 5689 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4451.689
AT ITER 324 NEW BEST:: SOT 16450 SOS 5768 HAS SOPS 5768 HAS SOUS 4412 HAS SOUPS 4412 WITH SCORE 4417.768
AT ITER 365 NEW BEST:: SOT 16429 SOS 5777 HAS SOPS 5777 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4401.777
AT ITER 371 NEW BEST:: SOT 16423 SOS 5771 HAS SOPS 5771 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4391.771
AT ITER 393 NEW BEST:: SOT 16423 SOS 5751 HAS SOPS 5751 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4381.751
AT ITER 401 NEW BEST:: SOT 16427 SOS 5748 HAS SOPS 5748 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4378.748
AT ITER 425 NEW BEST:: SOT 16424 SOS 5735 HAS SOPS 5735 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4363.735
AT ITER 446 NEW BEST:: SOT 16425 SOS 5728 HAS SOPS 5728 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4362.728
AT ITER 488 NEW BEST:: SOT 16425 SOS 5721 HAS SOPS 5721 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4361.721
AT ITER 532 NEW BEST:: SOT 16401 SOS 5721 HAS SOPS 5721 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4351.721
AT ITER 540 NEW BEST:: SOT 16399 SOS 5713 HAS SOPS 5713 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4347.713
AT ITER 565 NEW BEST:: SOT 16389 SOS 5704 HAS SOPS 5704 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4338.704
AT ITER 568 NEW BEST:: SOT 16363 SOS 5652 HAS SOPS 5652 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4307.652
AT ITER 578 NEW BEST:: SOT 16361 SOS 5648 HAS SOPS 5648 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4305.648
AT ITER 586 NEW BEST:: SOT 16361 SOS 5630 HAS SOPS 5630 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4305.63
AT ITER 591 NEW BEST:: SOT 16361 SOS 5629 HAS SOPS 5629 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4304.629
AT ITER 606 NEW BEST:: SOT 16361 SOS 5626 HAS SOPS 5626 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4304.626
AT ITER 608 NEW BEST:: SOT 16352 SOS 5461 HAS SOPS 5461 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4256.461
AT ITER 611 NEW BEST:: SOT 16348 SOS 5457 HAS SOPS 5457 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4252.457
AT ITER 620 NEW BEST:: SOT 16347 SOS 5455 HAS SOPS 5455 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4250.455
AT ITER 627 NEW BEST:: SOT 16347 SOS 5454 HAS SOPS 5454 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4249.454
AT ITER 634 NEW BEST:: SOT 16341 SOS 5443 HAS SOPS 5443 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4243.443
AT ITER 637 NEW BEST:: SOT 16337 SOS 5449 HAS SOPS 5449 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4241.449
AT ITER 639 NEW BEST:: SOT 16301 SOS 5412 HAS SOPS 5412 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4189.412
AT ITER 640 NEW BEST:: SOT 16287 SOS 5398 HAS SOPS 5398 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4175.398
AT ITER 650 NEW BEST:: SOT 16256 SOS 5408 HAS SOPS 5408 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4174.408
AT ITER 684 NEW BEST:: SOT 16244 SOS 5456 HAS SOPS 5456 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4162.456
AT ITER 686 NEW BEST:: SOT 16252 SOS 5410 HAS SOPS 5410 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4161.41
AT ITER 688 NEW BEST:: SOT 16245 SOS 5408 HAS SOPS 5408 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4151.408
AT ITER 709 NEW BEST:: SOT 16238 SOS 5408 HAS SOPS 5408 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4144.408
AT ITER 733 NEW BEST:: SOT 16225 SOS 5391 HAS SOPS 5391 HAS SOUS 4111 HAS SOUPS 4111 WITH SCORE 4116.391
AT ITER 741 NEW BEST:: SOT 16225 SOS 5391 HAS SOPS 5391 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4110.391
AT ITER 747 NEW BEST:: SOT 16223 SOS 5389 HAS SOPS 5389 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4109.389
AT ITER 750 NEW BEST:: SOT 16223 SOS 5383 HAS SOPS 5383 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4105.383
AT ITER 755 NEW BEST:: SOT 16205 SOS 5363 HAS SOPS 5363 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4085.363
AT ITER 762 NEW BEST:: SOT 16192 SOS 5373 HAS SOPS 5373 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4054.373
AT ITER 779 NEW BEST:: SOT 16180 SOS 5366 HAS SOPS 5366 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4046.366
AT ITER 783 NEW BEST:: SOT 16176 SOS 5362 HAS SOPS 5362 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4042.362
AT ITER 821 NEW BEST:: SOT 16171 SOS 5371 HAS SOPS 5371 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4036.371
AT ITER 824 NEW BEST:: SOT 16186 SOS 5419 HAS SOPS 5419 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4021.419
AT ITER 826 NEW BEST:: SOT 16186 SOS 5417 HAS SOPS 5417 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4020.417
AT ITER 828 NEW BEST:: SOT 16211 SOS 5427 HAS SOPS 5427 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3966.427
AT ITER 834 NEW BEST:: SOT 16211 SOS 5427 HAS SOPS 5427 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3958.427
AT ITER 878 NEW BEST:: SOT 16208 SOS 5423 HAS SOPS 5423 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3956.423
AT ITER 944 NEW BEST:: SOT 16203 SOS 5419 HAS SOPS 5419 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3952.419
AT ITER 955 NEW BEST:: SOT 16200 SOS 5404 HAS SOPS 5404 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3937.404
AT ITER 967 NEW BEST:: SOT 16195 SOS 5402 HAS SOPS 5402 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3924.402
AT ITER 973 NEW BEST:: SOT 16191 SOS 5402 HAS SOPS 5402 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3921.402
AT ITER 993 NEW BEST:: SOT 16182 SOS 5393 HAS SOPS 5393 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3912.393
AT ITER 1013 NEW BEST:: SOT 16181 SOS 5388 HAS SOPS 5388 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3910.388
AT ITER 1020 NEW BEST:: SOT 16173 SOS 5380 HAS SOPS 5380 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3908.38
AT ITER 1050 NEW BEST:: SOT 16186 SOS 5370 HAS SOPS 5370 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3905.37
AT ITER 1051 NEW BEST:: SOT 16186 SOS 5360 HAS SOPS 5360 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3895.36
AT ITER 1052 NEW BEST:: SOT 16188 SOS 5343 HAS SOPS 5343 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3892.343
AT ITER 1060 NEW BEST:: SOT 16157 SOS 5299 HAS SOPS 5299 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3849.299
AT ITER 1074 NEW BEST:: SOT 16152 SOS 5289 HAS SOPS 5289 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3844.289
AT ITER 1112 NEW BEST:: SOT 16119 SOS 5248 HAS SOPS 5248 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3802.248
AT ITER 1120 NEW BEST:: SOT 16119 SOS 5370 HAS SOPS 5370 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3775.37
AT ITER 1139 NEW BEST:: SOT 16115 SOS 5367 HAS SOPS 5367 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3771.367
AT ITER 1152 NEW BEST:: SOT 16113 SOS 5370 HAS SOPS 5370 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3755.37
AT ITER 1168 NEW BEST:: SOT 16109 SOS 5366 HAS SOPS 5366 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3753.366
AT ITER 1172 NEW BEST:: SOT 16109 SOS 5362 HAS SOPS 5362 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3749.362
AT ITER 1221 NEW BEST:: SOT 16109 SOS 5325 HAS SOPS 5325 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3749.325
AT ITER 1226 NEW BEST:: SOT 16115 SOS 5327 HAS SOPS 5327 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3734.327
AT ITER 1277 NEW BEST:: SOT 16111 SOS 5310 HAS SOPS 5310 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3725.31
AT ITER 1311 NEW BEST:: SOT 16107 SOS 5302 HAS SOPS 5302 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3725.302
AT ITER 1340 NEW BEST:: SOT 16107 SOS 5302 HAS SOPS 5302 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3717.302
AT ITER 1348 NEW BEST:: SOT 16115 SOS 5278 HAS SOPS 5278 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3717.278
AT ITER 1357 NEW BEST:: SOT 16128 SOS 5263 HAS SOPS 5263 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3713.263
AT ITER 1417 NEW BEST:: SOT 16132 SOS 5259 HAS SOPS 5259 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3708.259
AT ITER 1423 NEW BEST:: SOT 16117 SOS 5231 HAS SOPS 5231 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3680.231
AT ITER 1449 NEW BEST:: SOT 16115 SOS 5285 HAS SOPS 5285 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3679.285
AT ITER 1452 NEW BEST:: SOT 16115 SOS 5284 HAS SOPS 5284 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3678.284
AT ITER 1471 NEW BEST:: SOT 16114 SOS 5282 HAS SOPS 5282 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3673.282
AT ITER 1541 NEW BEST:: SOT 16112 SOS 5284 HAS SOPS 5284 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3671.284
AT ITER 1580 NEW BEST:: SOT 16095 SOS 5268 HAS SOPS 5268 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3655.268
AT ITER 1582 NEW BEST:: SOT 16095 SOS 5268 HAS SOPS 5268 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3653.268
AT ITER 1643 NEW BEST:: SOT 16095 SOS 5264 HAS SOPS 5264 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3649.264
AT ITER 1674 NEW BEST:: SOT 16090 SOS 5254 HAS SOPS 5254 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3644.254
AT ITER 1704 NEW BEST:: SOT 16087 SOS 5251 HAS SOPS 5251 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3641.251
AT ITER 1738 NEW BEST:: SOT 16077 SOS 5205 HAS SOPS 5205 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3633.205
AT ITER 1765 NEW BEST:: SOT 16033 SOS 4995 HAS SOPS 4995 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3583.995
AT ITER 1790 NEW BEST:: SOT 16025 SOS 4988 HAS SOPS 4988 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3579.988
AT ITER 1806 NEW BEST:: SOT 16029 SOS 4992 HAS SOPS 4992 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3578.992
AT ITER 1807 NEW BEST:: SOT 16029 SOS 4977 HAS SOPS 4977 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3578.977
AT ITER 1833 NEW BEST:: SOT 16031 SOS 4981 HAS SOPS 4981 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.981
AT ITER 1841 NEW BEST:: SOT 16028 SOS 4975 HAS SOPS 4975 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3562.975
AT ITER 1856 NEW BEST:: SOT 16028 SOS 4955 HAS SOPS 4955 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3558.955
AT ITER 1866 NEW BEST:: SOT 16027 SOS 4953 HAS SOPS 4953 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3557.953
AT ITER 1869 NEW BEST:: SOT 16027 SOS 4953 HAS SOPS 4953 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3549.953
AT ITER 1875 NEW BEST:: SOT 16017 SOS 4951 HAS SOPS 4951 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3547.951
AT ITER 1885 NEW BEST:: SOT 16017 SOS 4950 HAS SOPS 4950 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3546.95
AT ITER 1895 NEW BEST:: SOT 15997 SOS 5064 HAS SOPS 5064 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3529.064
AT ITER 1930 NEW BEST:: SOT 15986 SOS 5066 HAS SOPS 5066 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3524.066
AT ITER 1962 NEW BEST:: SOT 15970 SOS 4986 HAS SOPS 4986 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3488.986
AT ITER 1971 NEW BEST:: SOT 15970 SOS 4982 HAS SOPS 4982 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3487.982
AT ITER 1997 NEW BEST:: SOT 15970 SOS 4981 HAS SOPS 4981 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3486.981
AT ITER 2001 NEW BEST:: SOT 15971 SOS 4980 HAS SOPS 4980 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3485.98
AT ITER 2021 NEW BEST:: SOT 15968 SOS 4962 HAS SOPS 4962 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3484.962
AT ITER 2031 NEW BEST:: SOT 15967 SOS 4960 HAS SOPS 4960 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3483.96
AT ITER 2096 NEW BEST:: SOT 15930 SOS 4970 HAS SOPS 4970 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3452.97
AT ITER 2142 NEW BEST:: SOT 15927 SOS 4946 HAS SOPS 4946 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.946
AT ITER 2190 NEW BEST:: SOT 15926 SOS 4959 HAS SOPS 4959 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3427.959
AT ITER 2248 NEW BEST:: SOT 15926 SOS 4960 HAS SOPS 4960 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3425.96
AT ITER 2321 NEW BEST:: SOT 15924 SOS 4943 HAS SOPS 4943 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3420.943
AT ITER 2407 NEW BEST:: SOT 15898 SOS 4917 HAS SOPS 4917 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3394.917
AT ITER 2428 NEW BEST:: SOT 15905 SOS 4916 HAS SOPS 4916 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3382.916
AT ITER 2432 NEW BEST:: SOT 15904 SOS 4882 HAS SOPS 4882 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3372.882
AT ITER 2458 NEW BEST:: SOT 15904 SOS 4865 HAS SOPS 4865 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3372.865
AT ITER 2509 NEW BEST:: SOT 15891 SOS 4813 HAS SOPS 4813 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3344.813
AT ITER 2579 NEW BEST:: SOT 15890 SOS 4811 HAS SOPS 4811 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3342.811
AT ITER 2582 NEW BEST:: SOT 15889 SOS 4817 HAS SOPS 4817 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3313.817
AT ITER 2660 NEW BEST:: SOT 15886 SOS 4822 HAS SOPS 4822 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3310.822
AT ITER 2662 NEW BEST:: SOT 15884 SOS 4802 HAS SOPS 4802 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3300.802
AT ITER 2720 NEW BEST:: SOT 15883 SOS 4797 HAS SOPS 4797 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3298.797
AT ITER 2874 NEW BEST:: SOT 15883 SOS 4794 HAS SOPS 4794 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3298.794
AT ITER 2918 NEW BEST:: SOT 15871 SOS 4790 HAS SOPS 4790 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3283.79
AT ITER 2927 NEW BEST:: SOT 15853 SOS 4777 HAS SOPS 4777 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3270.777
AT ITER 2966 NEW BEST:: SOT 15798 SOS 4751 HAS SOPS 4751 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3265.751
AT ITER 2998 NEW BEST:: SOT 15774 SOS 4728 HAS SOPS 4728 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3242.728
AT ITER 3007 NEW BEST:: SOT 15768 SOS 4709 HAS SOPS 4709 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3230.709
AT ITER 3055 NEW BEST:: SOT 15768 SOS 4703 HAS SOPS 4703 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3227.703
AT ITER 3069 NEW BEST:: SOT 15747 SOS 4607 HAS SOPS 4607 HAS SOUS 3198 HAS SOUPS 3198 WITH SCORE 3202.607
AT ITER 3094 NEW BEST:: SOT 15744 SOS 4593 HAS SOPS 4593 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3196.593
AT ITER 3132 NEW BEST:: SOT 15744 SOS 4588 HAS SOPS 4588 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3191.588
AT ITER 3178 NEW BEST:: SOT 15744 SOS 4586 HAS SOPS 4586 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3191.586
AT ITER 3188 NEW BEST:: SOT 15744 SOS 4584 HAS SOPS 4584 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3191.584
AT ITER 3213 NEW BEST:: SOT 15750 SOS 4576 HAS SOPS 4576 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3182.576
AT ITER 3215 NEW BEST:: SOT 15751 SOS 4580 HAS SOPS 4580 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3179.58
AT ITER 3229 NEW BEST:: SOT 15751 SOS 4577 HAS SOPS 4577 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3179.577
AT ITER 3230 NEW BEST:: SOT 15750 SOS 4572 HAS SOPS 4572 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3178.572
AT ITER 3261 NEW BEST:: SOT 15738 SOS 4557 HAS SOPS 4557 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3163.557
AT ITER 3278 NEW BEST:: SOT 15734 SOS 4555 HAS SOPS 4555 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3161.555
AT ITER 3310 NEW BEST:: SOT 15737 SOS 4558 HAS SOPS 4558 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3158.558
AT ITER 3346 NEW BEST:: SOT 15728 SOS 4534 HAS SOPS 4534 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3143.534
AT ITER 3431 NEW BEST:: SOT 15727 SOS 4532 HAS SOPS 4532 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3143.532
AT ITER 3463 NEW BEST:: SOT 15727 SOS 4530 HAS SOPS 4530 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3142.53
AT ITER 3487 NEW BEST:: SOT 15727 SOS 4530 HAS SOPS 4530 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3137.53
AT ITER 3529 NEW BEST:: SOT 15727 SOS 4525 HAS SOPS 4525 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3132.525
AT ITER 3551 NEW BEST:: SOT 15726 SOS 4523 HAS SOPS 4523 HAS SOUS 3127 HAS SOUPS 3127 WITH SCORE 3131.523
AT ITER 3615 NEW BEST:: SOT 15724 SOS 4521 HAS SOPS 4521 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3129.521
AT ITER 3636 NEW BEST:: SOT 15733 SOS 4521 HAS SOPS 4521 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3115.521
AT ITER 3692 NEW BEST:: SOT 15734 SOS 4523 HAS SOPS 4523 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3114.523
AT ITER 3739 NEW BEST:: SOT 15732 SOS 4437 HAS SOPS 4437 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3114.437
AT ITER 3750 NEW BEST:: SOT 15720 SOS 4425 HAS SOPS 4425 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3102.425
AT ITER 3756 NEW BEST:: SOT 15720 SOS 4420 HAS SOPS 4420 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3100.42
AT ITER 3762 NEW BEST:: SOT 15723 SOS 4424 HAS SOPS 4424 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3094.424
AT ITER 3842 NEW BEST:: SOT 15721 SOS 4420 HAS SOPS 4420 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3092.42
AT ITER 3872 NEW BEST:: SOT 15721 SOS 4422 HAS SOPS 4422 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3091.422
AT ITER 3898 NEW BEST:: SOT 15724 SOS 4428 HAS SOPS 4428 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3088.428
AT ITER 3960 NEW BEST:: SOT 15724 SOS 4426 HAS SOPS 4426 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3086.426
AT ITER 3972 NEW BEST:: SOT 15726 SOS 4418 HAS SOPS 4418 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3084.418
AT ITER 3973 NEW BEST:: SOT 15723 SOS 4418 HAS SOPS 4418 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3081.418
AT ITER 3995 NEW BEST:: SOT 15718 SOS 4354 HAS SOPS 4354 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3077.354
AT ITER 4019 NEW BEST:: SOT 15718 SOS 4361 HAS SOPS 4361 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3074.361
AT ITER 4032 NEW BEST:: SOT 15719 SOS 4362 HAS SOPS 4362 HAS SOUS 3069 HAS SOUPS 3069 WITH SCORE 3073.362
AT ITER 4042 NEW BEST:: SOT 15719 SOS 4378 HAS SOPS 4378 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3072.378
AT ITER 4064 NEW BEST:: SOT 15715 SOS 4365 HAS SOPS 4365 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3063.365
AT ITER 4099 NEW BEST:: SOT 15714 SOS 4357 HAS SOPS 4357 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3050.357
AT ITER 4105 NEW BEST:: SOT 15711 SOS 4355 HAS SOPS 4355 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3048.355
AT ITER 4142 NEW BEST:: SOT 15696 SOS 4398 HAS SOPS 4398 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3038.398
AT ITER 4193 NEW BEST:: SOT 15694 SOS 4396 HAS SOPS 4396 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3037.396
AT ITER 4231 NEW BEST:: SOT 15696 SOS 4391 HAS SOPS 4391 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3032.391
AT ITER 4291 NEW BEST:: SOT 15697 SOS 4383 HAS SOPS 4383 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3030.383
AT ITER 4310 NEW BEST:: SOT 15692 SOS 4373 HAS SOPS 4373 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3030.373
AT ITER 4318 NEW BEST:: SOT 15687 SOS 4369 HAS SOPS 4369 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3026.369
AT ITER 4323 NEW BEST:: SOT 15683 SOS 4341 HAS SOPS 4341 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3012.341
AT ITER 4333 NEW BEST:: SOT 15684 SOS 4343 HAS SOPS 4343 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3011.343
AT ITER 4391 NEW BEST:: SOT 15669 SOS 4325 HAS SOPS 4325 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2993.325
AT ITER 4399 NEW BEST:: SOT 15663 SOS 4313 HAS SOPS 4313 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2977.313
AT ITER 4411 NEW BEST:: SOT 15657 SOS 4305 HAS SOPS 4305 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2977.305
AT ITER 4413 NEW BEST:: SOT 15657 SOS 4304 HAS SOPS 4304 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2976.304
AT ITER 4420 NEW BEST:: SOT 15657 SOS 4304 HAS SOPS 4304 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2974.304
AT ITER 4507 NEW BEST:: SOT 15657 SOS 4304 HAS SOPS 4304 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2972.304
AT ITER 4552 NEW BEST:: SOT 15652 SOS 4298 HAS SOPS 4298 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2968.298
AT ITER 4657 NEW BEST:: SOT 15648 SOS 4294 HAS SOPS 4294 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2964.294
AT ITER 4658 NEW BEST:: SOT 15650 SOS 4290 HAS SOPS 4290 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2964.29
AT ITER 4673 NEW BEST:: SOT 15649 SOS 4288 HAS SOPS 4288 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2962.288
AT ITER 4717 NEW BEST:: SOT 15636 SOS 4310 HAS SOPS 4310 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2960.31
AT ITER 4747 NEW BEST:: SOT 15631 SOS 4296 HAS SOPS 4296 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2951.296
AT ITER 4753 NEW BEST:: SOT 15631 SOS 4273 HAS SOPS 4273 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2951.273
AT ITER 4774 NEW BEST:: SOT 15630 SOS 4268 HAS SOPS 4268 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2948.268
AT ITER 4813 NEW BEST:: SOT 15624 SOS 4268 HAS SOPS 4268 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2947.268
AT ITER 4944 NEW BEST:: SOT 15625 SOS 4234 HAS SOPS 4234 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2939.234
AT ITER 5051 NEW BEST:: SOT 15602 SOS 4220 HAS SOPS 4220 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2924.22
AT ITER 5094 NEW BEST:: SOT 15602 SOS 4194 HAS SOPS 4194 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2924.194
AT ITER 5102 NEW BEST:: SOT 15605 SOS 4191 HAS SOPS 4191 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2920.191
AT ITER 5153 NEW BEST:: SOT 15603 SOS 4186 HAS SOPS 4186 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2917.186
AT ITER 5207 NEW BEST:: SOT 15606 SOS 4180 HAS SOPS 4180 HAS SOUS 2909 HAS SOUPS 2909 WITH SCORE 2913.18
AT ITER 5355 NEW BEST:: SOT 15601 SOS 4175 HAS SOPS 4175 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2908.175
AT ITER 5403 NEW BEST:: SOT 15599 SOS 4181 HAS SOPS 4181 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2903.181
AT ITER 5513 NEW BEST:: SOT 15576 SOS 4136 HAS SOPS 4136 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2858.136
AT ITER 5593 NEW BEST:: SOT 15576 SOS 4136 HAS SOPS 4136 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2856.136
AT ITER 5670 NEW BEST:: SOT 15574 SOS 4140 HAS SOPS 4140 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2854.14
AT ITER 5671 NEW BEST:: SOT 15574 SOS 4138 HAS SOPS 4138 HAS SOUS 2849 HAS SOUPS 2849 WITH SCORE 2853.138
AT ITER 5685 NEW BEST:: SOT 15569 SOS 4133 HAS SOPS 4133 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2848.133
AT ITER 5781 NEW BEST:: SOT 15566 SOS 4127 HAS SOPS 4127 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2847.127
AT ITER 5886 NEW BEST:: SOT 15565 SOS 4138 HAS SOPS 4138 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2846.138
AT ITER 5889 NEW BEST:: SOT 15563 SOS 4133 HAS SOPS 4133 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2842.133
AT ITER 5980 NEW BEST:: SOT 15563 SOS 4129 HAS SOPS 4129 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2838.129
AT ITER 6035 NEW BEST:: SOT 15561 SOS 4125 HAS SOPS 4125 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2836.125
AT ITER 6108 NEW BEST:: SOT 15561 SOS 4125 HAS SOPS 4125 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2834.125
AT ITER 6172 NEW BEST:: SOT 15557 SOS 4124 HAS SOPS 4124 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2833.124
AT ITER 6275 NEW BEST:: SOT 15556 SOS 4136 HAS SOPS 4136 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2827.136
AT ITER 6369 NEW BEST:: SOT 15540 SOS 4072 HAS SOPS 4072 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2811.072
AT ITER 6438 NEW BEST:: SOT 15545 SOS 4077 HAS SOPS 4077 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2809.077
AT ITER 6444 NEW BEST:: SOT 15545 SOS 4069 HAS SOPS 4069 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2801.069
AT ITER 6445 NEW BEST:: SOT 15538 SOS 4049 HAS SOPS 4049 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2790.049
AT ITER 6518 NEW BEST:: SOT 15538 SOS 4043 HAS SOPS 4043 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2787.043
AT ITER 6563 NEW BEST:: SOT 15533 SOS 4033 HAS SOPS 4033 HAS SOUS 2776 HAS SOUPS 2776 WITH SCORE 2780.033
AT ITER 6570 NEW BEST:: SOT 15529 SOS 4025 HAS SOPS 4025 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2774.025
AT ITER 6575 NEW BEST:: SOT 15527 SOS 4023 HAS SOPS 4023 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2772.023
AT ITER 6677 NEW BEST:: SOT 15527 SOS 4037 HAS SOPS 4037 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2769.037
AT ITER 6688 NEW BEST:: SOT 15526 SOS 4027 HAS SOPS 4027 HAS SOUS 2762 HAS SOUPS 2762 WITH SCORE 2766.027
AT ITER 6737 NEW BEST:: SOT 15526 SOS 4033 HAS SOPS 4033 HAS SOUS 2761 HAS SOUPS 2761 WITH SCORE 2765.033
AT ITER 6754 NEW BEST:: SOT 15527 SOS 4030 HAS SOPS 4030 HAS SOUS 2761 HAS SOUPS 2761 WITH SCORE 2765.03
AT ITER 6765 NEW BEST:: SOT 15533 SOS 4036 HAS SOPS 4036 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2764.036
AT ITER 6801 NEW BEST:: SOT 15533 SOS 3999 HAS SOPS 3999 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.999
AT ITER 6812 NEW BEST:: SOT 15530 SOS 3996 HAS SOPS 3996 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.996
AT ITER 6827 NEW BEST:: SOT 15530 SOS 3995 HAS SOPS 3995 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.995
AT ITER 6828 NEW BEST:: SOT 15528 SOS 3990 HAS SOPS 3990 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.99
AT ITER 6925 NEW BEST:: SOT 15523 SOS 3980 HAS SOPS 3980 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2749.98
AT ITER 7052 NEW BEST:: SOT 15521 SOS 3972 HAS SOPS 3972 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.972
AT ITER 7083 NEW BEST:: SOT 15521 SOS 3967 HAS SOPS 3967 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2742.967
AT ITER 7099 NEW BEST:: SOT 15521 SOS 3966 HAS SOPS 3966 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2741.966
AT ITER 7497 NEW BEST:: SOT 15521 SOS 3964 HAS SOPS 3964 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2740.964
AT ITER 7530 NEW BEST:: SOT 15532 SOS 3944 HAS SOPS 3944 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.944
AT ITER 7566 NEW BEST:: SOT 15529 SOS 3942 HAS SOPS 3942 HAS SOUS 2730 HAS SOUPS 2730 WITH SCORE 2733.942
AT ITER 7606 NEW BEST:: SOT 15528 SOS 3937 HAS SOPS 3937 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2732.937
AT ITER 7740 NEW BEST:: SOT 15524 SOS 3909 HAS SOPS 3909 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2718.909
AT ITER 7892 NEW BEST:: SOT 15526 SOS 3903 HAS SOPS 3903 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2716.903
AT ITER 7915 NEW BEST:: SOT 15528 SOS 3901 HAS SOPS 3901 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.901
AT ITER 7984 NEW BEST:: SOT 15528 SOS 3899 HAS SOPS 3899 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.899
AT ITER 8051 NEW BEST:: SOT 15526 SOS 3897 HAS SOPS 3897 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2712.897
AT ITER 8080 NEW BEST:: SOT 15522 SOS 3889 HAS SOPS 3889 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2706.889
AT ITER 8128 NEW BEST:: SOT 15517 SOS 3879 HAS SOPS 3879 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2698.879
AT ITER 8384 NEW BEST:: SOT 15513 SOS 3871 HAS SOPS 3871 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2694.871
AT ITER 8576 NEW BEST:: SOT 15512 SOS 3873 HAS SOPS 3873 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2692.873
AT ITER 8665 NEW BEST:: SOT 15513 SOS 3845 HAS SOPS 3845 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2681.845
AT ITER 8787 NEW BEST:: SOT 15512 SOS 3843 HAS SOPS 3843 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2681.843
AT ITER 8809 NEW BEST:: SOT 15512 SOS 3845 HAS SOPS 3845 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2680.845
AT ITER 8990 NEW BEST:: SOT 15512 SOS 3843 HAS SOPS 3843 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.843
AT ITER 9089 NEW BEST:: SOT 15510 SOS 3841 HAS SOPS 3841 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2676.841
AT ITER 9091 NEW BEST:: SOT 15512 SOS 3839 HAS SOPS 3839 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2674.839
AT ITER 9149 NEW BEST:: SOT 15512 SOS 3838 HAS SOPS 3838 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2673.838
AT ITER 9232 NEW BEST:: SOT 15512 SOS 3832 HAS SOPS 3832 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2673.832
AT ITER 9254 NEW BEST:: SOT 15512 SOS 3837 HAS SOPS 3837 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2672.837
AT ITER 9302 NEW BEST:: SOT 15512 SOS 3837 HAS SOPS 3837 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2670.837
AT ITER 9345 NEW BEST:: SOT 15512 SOS 3836 HAS SOPS 3836 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2669.836
AT ITER 9472 NEW BEST:: SOT 15511 SOS 3836 HAS SOPS 3836 HAS SOUS 2664 HAS SOUPS 2664 WITH SCORE 2667.836
AT ITER 9574 NEW BEST:: SOT 15511 SOS 3824 HAS SOPS 3824 HAS SOUS 2652 HAS SOUPS 2652 WITH SCORE 2655.824
AT ITER 9596 NEW BEST:: SOT 15511 SOS 3824 HAS SOPS 3824 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2654.824
AT ITER 9652 NEW BEST:: SOT 15511 SOS 3823 HAS SOPS 3823 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2653.823
AT ITER 9656 NEW BEST:: SOT 15511 SOS 3823 HAS SOPS 3823 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2652.823
AT ITER 9677 NEW BEST:: SOT 15502 SOS 3821 HAS SOPS 3821 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2650.821
AT ITER 9787 NEW BEST:: SOT 15494 SOS 3813 HAS SOPS 3813 HAS SOUS 2638 HAS SOUPS 2638 WITH SCORE 2641.813
AT ITER 9958 NEW BEST:: SOT 15494 SOS 3812 HAS SOPS 3812 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2640.812
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 4338488 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16122880 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVs-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 ShieldRVs-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 r427-tajo-167905979200064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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