fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r107-tall-167814485001072
Last Updated
May 14, 2023

About the Execution of Smart+red for DatabaseWithMutex-PT-04

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
251.020 20028.00 23570.00 384.30 4.7179E+0009 3.9697E+0010 1 20 normal

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.r107-tall-167814485001072.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 DatabaseWithMutex-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814485001072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 21K Feb 25 13:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 13:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 13:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 13:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 53K Feb 25 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 295K Feb 25 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 46K Feb 25 13:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 248K Feb 25 13:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.3K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 61K Mar 5 18:22 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 1678451175943

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=DatabaseWithMutex-PT-04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 12:26:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 12:26:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 12:26:17] [INFO ] Load time of PNML (sax parser for PT used): 39 ms
[2023-03-10 12:26:17] [INFO ] Transformed 140 places.
[2023-03-10 12:26:17] [INFO ] Transformed 128 transitions.
[2023-03-10 12:26:17] [INFO ] Parsed PT model containing 140 places and 128 transitions and 416 arcs in 100 ms.
[2023-03-10 12:26:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 140 places, 128 transitions and 416 arcs took 3 ms.
Total runtime 132 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DatabaseWithMutex (PT), instance 04
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: 140 places, 128 transitions, 416 arcs.
AT ITER 0 NEW BEST:: SOT 11429 SOS 4504 HAS SOPS 4504 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4432.504
AT ITER 2 NEW BEST:: SOT 11352 SOS 4566 HAS SOPS 4566 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4428.566
AT ITER 3 NEW BEST:: SOT 11343 SOS 4614 HAS SOPS 4614 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4427.614
AT ITER 7 NEW BEST:: SOT 11343 SOS 4612 HAS SOPS 4612 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4425.612
AT ITER 12 NEW BEST:: SOT 11338 SOS 4578 HAS SOPS 4578 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4418.578
AT ITER 20 NEW BEST:: SOT 11329 SOS 4576 HAS SOPS 4576 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4414.576
AT ITER 42 NEW BEST:: SOT 11320 SOS 4567 HAS SOPS 4567 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4405.567
AT ITER 43 NEW BEST:: SOT 11309 SOS 4556 HAS SOPS 4556 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4394.556
AT ITER 44 NEW BEST:: SOT 11307 SOS 4535 HAS SOPS 4535 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4391.535
AT ITER 46 NEW BEST:: SOT 11297 SOS 4568 HAS SOPS 4568 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4381.568
AT ITER 48 NEW BEST:: SOT 11297 SOS 4542 HAS SOPS 4542 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4355.542
AT ITER 50 NEW BEST:: SOT 11271 SOS 4516 HAS SOPS 4516 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4329.516
AT ITER 53 NEW BEST:: SOT 11265 SOS 4510 HAS SOPS 4510 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4318.51
AT ITER 54 NEW BEST:: SOT 11277 SOS 4488 HAS SOPS 4488 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4298.488
AT ITER 58 NEW BEST:: SOT 11250 SOS 4488 HAS SOPS 4488 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4296.488
AT ITER 61 NEW BEST:: SOT 11250 SOS 4494 HAS SOPS 4494 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4286.494
AT ITER 62 NEW BEST:: SOT 11250 SOS 4461 HAS SOPS 4461 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4281.461
AT ITER 70 NEW BEST:: SOT 11233 SOS 4482 HAS SOPS 4482 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4265.482
AT ITER 73 NEW BEST:: SOT 11241 SOS 4480 HAS SOPS 4480 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4263.48
AT ITER 82 NEW BEST:: SOT 11241 SOS 4471 HAS SOPS 4471 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4253.471
AT ITER 87 NEW BEST:: SOT 11241 SOS 4459 HAS SOPS 4459 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4241.459
AT ITER 94 NEW BEST:: SOT 11235 SOS 4435 HAS SOPS 4435 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4217.435
AT ITER 102 NEW BEST:: SOT 11230 SOS 4430 HAS SOPS 4430 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4217.43
AT ITER 105 NEW BEST:: SOT 11130 SOS 4369 HAS SOPS 4369 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4138.369
AT ITER 106 NEW BEST:: SOT 11130 SOS 4354 HAS SOPS 4354 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4129.354
AT ITER 114 NEW BEST:: SOT 11120 SOS 4373 HAS SOPS 4373 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4110.373
AT ITER 158 NEW BEST:: SOT 11076 SOS 4329 HAS SOPS 4329 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4080.329
AT ITER 216 NEW BEST:: SOT 11074 SOS 4326 HAS SOPS 4326 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4069.326
AT ITER 221 NEW BEST:: SOT 11066 SOS 4318 HAS SOPS 4318 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4051.318
AT ITER 222 NEW BEST:: SOT 11063 SOS 4315 HAS SOPS 4315 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.315
AT ITER 253 NEW BEST:: SOT 11060 SOS 4295 HAS SOPS 4295 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4033.295
AT ITER 262 NEW BEST:: SOT 11015 SOS 4280 HAS SOPS 4280 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.28
AT ITER 285 NEW BEST:: SOT 10989 SOS 4254 HAS SOPS 4254 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.254
AT ITER 334 NEW BEST:: SOT 10979 SOS 4246 HAS SOPS 4246 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3981.246
AT ITER 337 NEW BEST:: SOT 10978 SOS 4245 HAS SOPS 4245 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.245
AT ITER 359 NEW BEST:: SOT 10979 SOS 4240 HAS SOPS 4240 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3975.24
AT ITER 361 NEW BEST:: SOT 10969 SOS 4239 HAS SOPS 4239 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3974.239
AT ITER 369 NEW BEST:: SOT 10968 SOS 4238 HAS SOPS 4238 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3973.238
AT ITER 375 NEW BEST:: SOT 10948 SOS 4219 HAS SOPS 4219 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3941.219
AT ITER 392 NEW BEST:: SOT 10944 SOS 4219 HAS SOPS 4219 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3937.219
AT ITER 393 NEW BEST:: SOT 10940 SOS 4234 HAS SOPS 4234 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.234
AT ITER 402 NEW BEST:: SOT 10944 SOS 4226 HAS SOPS 4226 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3921.226
AT ITER 405 NEW BEST:: SOT 10944 SOS 4215 HAS SOPS 4215 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3921.215
AT ITER 411 NEW BEST:: SOT 10947 SOS 4207 HAS SOPS 4207 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3913.207
AT ITER 433 NEW BEST:: SOT 10936 SOS 4196 HAS SOPS 4196 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3902.196
AT ITER 449 NEW BEST:: SOT 10871 SOS 4169 HAS SOPS 4169 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.169
AT ITER 460 NEW BEST:: SOT 10873 SOS 4165 HAS SOPS 4165 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.165
AT ITER 484 NEW BEST:: SOT 10869 SOS 4153 HAS SOPS 4153 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3863.153
AT ITER 501 NEW BEST:: SOT 10872 SOS 4145 HAS SOPS 4145 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3855.145
AT ITER 532 NEW BEST:: SOT 10863 SOS 4136 HAS SOPS 4136 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.136
AT ITER 538 NEW BEST:: SOT 10856 SOS 4129 HAS SOPS 4129 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3839.129
AT ITER 539 NEW BEST:: SOT 10867 SOS 4099 HAS SOPS 4099 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3828.099
AT ITER 540 NEW BEST:: SOT 10862 SOS 4098 HAS SOPS 4098 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.098
AT ITER 557 NEW BEST:: SOT 10862 SOS 4095 HAS SOPS 4095 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3824.095
AT ITER 558 NEW BEST:: SOT 10851 SOS 4074 HAS SOPS 4074 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3803.074
AT ITER 565 NEW BEST:: SOT 10848 SOS 4071 HAS SOPS 4071 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.071
AT ITER 576 NEW BEST:: SOT 10843 SOS 4061 HAS SOPS 4061 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3790.061
AT ITER 600 NEW BEST:: SOT 10841 SOS 4051 HAS SOPS 4051 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3780.051
AT ITER 602 NEW BEST:: SOT 10833 SOS 4035 HAS SOPS 4035 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3772.035
AT ITER 686 NEW BEST:: SOT 10822 SOS 4026 HAS SOPS 4026 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3764.026
AT ITER 707 NEW BEST:: SOT 10820 SOS 4022 HAS SOPS 4022 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3760.022
AT ITER 737 NEW BEST:: SOT 10805 SOS 4065 HAS SOPS 4065 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3747.065
AT ITER 762 NEW BEST:: SOT 10801 SOS 4059 HAS SOPS 4059 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3738.059
AT ITER 772 NEW BEST:: SOT 10798 SOS 4055 HAS SOPS 4055 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.055
AT ITER 799 NEW BEST:: SOT 10755 SOS 3985 HAS SOPS 3985 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3663.985
AT ITER 801 NEW BEST:: SOT 10754 SOS 3984 HAS SOPS 3984 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3662.984
AT ITER 802 NEW BEST:: SOT 10754 SOS 3989 HAS SOPS 3989 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3660.989
AT ITER 806 NEW BEST:: SOT 10752 SOS 3991 HAS SOPS 3991 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3656.991
AT ITER 817 NEW BEST:: SOT 10783 SOS 3930 HAS SOPS 3930 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3641.93
AT ITER 868 NEW BEST:: SOT 10780 SOS 3929 HAS SOPS 3929 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3640.929
AT ITER 870 NEW BEST:: SOT 10782 SOS 3925 HAS SOPS 3925 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3640.925
AT ITER 875 NEW BEST:: SOT 10785 SOS 3925 HAS SOPS 3925 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3637.925
AT ITER 892 NEW BEST:: SOT 10780 SOS 3920 HAS SOPS 3920 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3629.92
AT ITER 901 NEW BEST:: SOT 10779 SOS 3935 HAS SOPS 3935 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3626.935
AT ITER 905 NEW BEST:: SOT 10775 SOS 3929 HAS SOPS 3929 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3624.929
AT ITER 910 NEW BEST:: SOT 10773 SOS 3929 HAS SOPS 3929 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3622.929
AT ITER 914 NEW BEST:: SOT 10773 SOS 3925 HAS SOPS 3925 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3622.925
AT ITER 920 NEW BEST:: SOT 10770 SOS 3919 HAS SOPS 3919 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3616.919
AT ITER 923 NEW BEST:: SOT 10770 SOS 3919 HAS SOPS 3919 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3612.919
AT ITER 925 NEW BEST:: SOT 10766 SOS 3929 HAS SOPS 3929 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3608.929
AT ITER 928 NEW BEST:: SOT 10766 SOS 3932 HAS SOPS 3932 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3607.932
AT ITER 953 NEW BEST:: SOT 10766 SOS 3932 HAS SOPS 3932 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3599.932
AT ITER 954 NEW BEST:: SOT 10759 SOS 3925 HAS SOPS 3925 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3592.925
AT ITER 960 NEW BEST:: SOT 10743 SOS 3893 HAS SOPS 3893 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3566.893
AT ITER 962 NEW BEST:: SOT 10727 SOS 3876 HAS SOPS 3876 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3536.876
AT ITER 1009 NEW BEST:: SOT 10730 SOS 3862 HAS SOPS 3862 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3536.862
AT ITER 1011 NEW BEST:: SOT 10729 SOS 3861 HAS SOPS 3861 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3535.861
AT ITER 1032 NEW BEST:: SOT 10728 SOS 3860 HAS SOPS 3860 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3534.86
AT ITER 1047 NEW BEST:: SOT 10722 SOS 3847 HAS SOPS 3847 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3526.847
AT ITER 1048 NEW BEST:: SOT 10718 SOS 3857 HAS SOPS 3857 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3522.857
AT ITER 1060 NEW BEST:: SOT 10711 SOS 3850 HAS SOPS 3850 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3515.85
AT ITER 1092 NEW BEST:: SOT 10709 SOS 3845 HAS SOPS 3845 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3510.845
AT ITER 1114 NEW BEST:: SOT 10703 SOS 3848 HAS SOPS 3848 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3507.848
AT ITER 1136 NEW BEST:: SOT 10703 SOS 3844 HAS SOPS 3844 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3507.844
AT ITER 1205 NEW BEST:: SOT 10720 SOS 3865 HAS SOPS 3865 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3506.865
AT ITER 1228 NEW BEST:: SOT 10675 SOS 3977 HAS SOPS 3977 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3505.977
AT ITER 1233 NEW BEST:: SOT 10675 SOS 3976 HAS SOPS 3976 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3504.976
AT ITER 1239 NEW BEST:: SOT 10673 SOS 3951 HAS SOPS 3951 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3479.951
AT ITER 1244 NEW BEST:: SOT 10678 SOS 3950 HAS SOPS 3950 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.95
AT ITER 1269 NEW BEST:: SOT 10681 SOS 3944 HAS SOPS 3944 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.944
AT ITER 1293 NEW BEST:: SOT 10672 SOS 3899 HAS SOPS 3899 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3460.899
AT ITER 1308 NEW BEST:: SOT 10676 SOS 3891 HAS SOPS 3891 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3460.891
AT ITER 1328 NEW BEST:: SOT 10672 SOS 3889 HAS SOPS 3889 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3456.889
AT ITER 1341 NEW BEST:: SOT 10655 SOS 3854 HAS SOPS 3854 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3432.854
AT ITER 1350 NEW BEST:: SOT 10648 SOS 3847 HAS SOPS 3847 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3423.847
AT ITER 1352 NEW BEST:: SOT 10640 SOS 3847 HAS SOPS 3847 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3419.847
AT ITER 1366 NEW BEST:: SOT 10637 SOS 3844 HAS SOPS 3844 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3419.844
AT ITER 1379 NEW BEST:: SOT 10635 SOS 3844 HAS SOPS 3844 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3413.844
AT ITER 1390 NEW BEST:: SOT 10634 SOS 3856 HAS SOPS 3856 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3412.856
AT ITER 1414 NEW BEST:: SOT 10622 SOS 3876 HAS SOPS 3876 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3411.876
AT ITER 1475 NEW BEST:: SOT 10609 SOS 3868 HAS SOPS 3868 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3399.868
AT ITER 1534 NEW BEST:: SOT 10609 SOS 3879 HAS SOPS 3879 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3394.879
AT ITER 1541 NEW BEST:: SOT 10603 SOS 3873 HAS SOPS 3873 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3394.873
AT ITER 1565 NEW BEST:: SOT 10600 SOS 3869 HAS SOPS 3869 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3392.869
AT ITER 1594 NEW BEST:: SOT 10598 SOS 3855 HAS SOPS 3855 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3390.855
AT ITER 1600 NEW BEST:: SOT 10589 SOS 3842 HAS SOPS 3842 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3382.842
AT ITER 1631 NEW BEST:: SOT 10583 SOS 3840 HAS SOPS 3840 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3380.84
AT ITER 1683 NEW BEST:: SOT 10583 SOS 3838 HAS SOPS 3838 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3378.838
AT ITER 1707 NEW BEST:: SOT 10582 SOS 3870 HAS SOPS 3870 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3375.87
AT ITER 1708 NEW BEST:: SOT 10579 SOS 3867 HAS SOPS 3867 HAS SOUS 3369 HAS SOUPS 3369 WITH SCORE 3372.867
AT ITER 1727 NEW BEST:: SOT 10579 SOS 3853 HAS SOPS 3853 HAS SOUS 3369 HAS SOUPS 3369 WITH SCORE 3372.853
AT ITER 1777 NEW BEST:: SOT 10582 SOS 3849 HAS SOPS 3849 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.849
AT ITER 1789 NEW BEST:: SOT 10580 SOS 3849 HAS SOPS 3849 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3369.849
AT ITER 1811 NEW BEST:: SOT 10559 SOS 3847 HAS SOPS 3847 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3366.847
AT ITER 1854 NEW BEST:: SOT 10558 SOS 3840 HAS SOPS 3840 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3365.84
AT ITER 1902 NEW BEST:: SOT 10553 SOS 3800 HAS SOPS 3800 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3350.8
AT ITER 1946 NEW BEST:: SOT 10541 SOS 3814 HAS SOPS 3814 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3340.814
AT ITER 1948 NEW BEST:: SOT 10541 SOS 3804 HAS SOPS 3804 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3340.804
AT ITER 1972 NEW BEST:: SOT 10541 SOS 3803 HAS SOPS 3803 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.803
AT ITER 1981 NEW BEST:: SOT 10526 SOS 3792 HAS SOPS 3792 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3328.792
AT ITER 2007 NEW BEST:: SOT 10524 SOS 3796 HAS SOPS 3796 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3326.796
AT ITER 2073 NEW BEST:: SOT 10522 SOS 3786 HAS SOPS 3786 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.786
AT ITER 2077 NEW BEST:: SOT 10522 SOS 3774 HAS SOPS 3774 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.774
AT ITER 2124 NEW BEST:: SOT 10520 SOS 3771 HAS SOPS 3771 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3321.771
AT ITER 2136 NEW BEST:: SOT 10504 SOS 3822 HAS SOPS 3822 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3311.822
AT ITER 2172 NEW BEST:: SOT 10479 SOS 3797 HAS SOPS 3797 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3300.797
AT ITER 2225 NEW BEST:: SOT 10479 SOS 3797 HAS SOPS 3797 HAS SOUS 3291 HAS SOUPS 3291 WITH SCORE 3294.797
AT ITER 2232 NEW BEST:: SOT 10468 SOS 3816 HAS SOPS 3816 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3290.816
AT ITER 2244 NEW BEST:: SOT 10460 SOS 3816 HAS SOPS 3816 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.816
AT ITER 2275 NEW BEST:: SOT 10463 SOS 3800 HAS SOPS 3800 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.8
AT ITER 2283 NEW BEST:: SOT 10460 SOS 3797 HAS SOPS 3797 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.797
AT ITER 2293 NEW BEST:: SOT 10459 SOS 3796 HAS SOPS 3796 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3281.796
AT ITER 2294 NEW BEST:: SOT 10459 SOS 3795 HAS SOPS 3795 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.795
AT ITER 2322 NEW BEST:: SOT 10460 SOS 3794 HAS SOPS 3794 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.794
AT ITER 2438 NEW BEST:: SOT 10451 SOS 3779 HAS SOPS 3779 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.779
AT ITER 2439 NEW BEST:: SOT 10441 SOS 3769 HAS SOPS 3769 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.769
AT ITER 2483 NEW BEST:: SOT 10441 SOS 3767 HAS SOPS 3767 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.767
AT ITER 2487 NEW BEST:: SOT 10446 SOS 3713 HAS SOPS 3713 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3246.713
AT ITER 2584 NEW BEST:: SOT 10443 SOS 3704 HAS SOPS 3704 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3243.704
AT ITER 2612 NEW BEST:: SOT 10440 SOS 3703 HAS SOPS 3703 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3242.703
AT ITER 2620 NEW BEST:: SOT 10440 SOS 3705 HAS SOPS 3705 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.705
AT ITER 2706 NEW BEST:: SOT 10444 SOS 3705 HAS SOPS 3705 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3232.705
AT ITER 2801 NEW BEST:: SOT 10452 SOS 3701 HAS SOPS 3701 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.701
AT ITER 2829 NEW BEST:: SOT 10453 SOS 3682 HAS SOPS 3682 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.682
AT ITER 2880 NEW BEST:: SOT 10440 SOS 3669 HAS SOPS 3669 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.669
AT ITER 2896 NEW BEST:: SOT 10456 SOS 3640 HAS SOPS 3640 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.64
AT ITER 2901 NEW BEST:: SOT 10463 SOS 3622 HAS SOPS 3622 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.622
AT ITER 2933 NEW BEST:: SOT 10463 SOS 3613 HAS SOPS 3613 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3213.613
AT ITER 3015 NEW BEST:: SOT 10457 SOS 3607 HAS SOPS 3607 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.607
AT ITER 3052 NEW BEST:: SOT 10454 SOS 3605 HAS SOPS 3605 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3206.605
AT ITER 3062 NEW BEST:: SOT 10445 SOS 3596 HAS SOPS 3596 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3206.596
AT ITER 3122 NEW BEST:: SOT 10440 SOS 3602 HAS SOPS 3602 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3202.602
AT ITER 3155 NEW BEST:: SOT 10436 SOS 3594 HAS SOPS 3594 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.594
AT ITER 3259 NEW BEST:: SOT 10425 SOS 3583 HAS SOPS 3583 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3189.583
AT ITER 3293 NEW BEST:: SOT 10428 SOS 3539 HAS SOPS 3539 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3189.539
AT ITER 3477 NEW BEST:: SOT 10428 SOS 3576 HAS SOPS 3576 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3185.576
AT ITER 3492 NEW BEST:: SOT 10428 SOS 3580 HAS SOPS 3580 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3182.58
AT ITER 3522 NEW BEST:: SOT 10428 SOS 3579 HAS SOPS 3579 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3181.579
AT ITER 3538 NEW BEST:: SOT 10437 SOS 3582 HAS SOPS 3582 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3180.582
AT ITER 3779 NEW BEST:: SOT 10442 SOS 3590 HAS SOPS 3590 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3176.59
AT ITER 3890 NEW BEST:: SOT 10440 SOS 3587 HAS SOPS 3587 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.587
AT ITER 4042 NEW BEST:: SOT 10440 SOS 3583 HAS SOPS 3583 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3171.583
AT ITER 4046 NEW BEST:: SOT 10438 SOS 3581 HAS SOPS 3581 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3169.581
AT ITER 4110 NEW BEST:: SOT 10438 SOS 3578 HAS SOPS 3578 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3169.578
AT ITER 4153 NEW BEST:: SOT 10443 SOS 3581 HAS SOPS 3581 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3167.581
AT ITER 4247 NEW BEST:: SOT 10443 SOS 3583 HAS SOPS 3583 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3162.583
AT ITER 4325 NEW BEST:: SOT 10441 SOS 3576 HAS SOPS 3576 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3160.576
AT ITER 4403 NEW BEST:: SOT 10436 SOS 3571 HAS SOPS 3571 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3158.571
AT ITER 4405 NEW BEST:: SOT 10436 SOS 3570 HAS SOPS 3570 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3158.57
AT ITER 4420 NEW BEST:: SOT 10432 SOS 3566 HAS SOPS 3566 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3154.566
AT ITER 4517 NEW BEST:: SOT 10423 SOS 3548 HAS SOPS 3548 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3142.548
AT ITER 4623 NEW BEST:: SOT 10415 SOS 3546 HAS SOPS 3546 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3142.546
AT ITER 4624 NEW BEST:: SOT 10400 SOS 3561 HAS SOPS 3561 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3127.561
AT ITER 4716 NEW BEST:: SOT 10399 SOS 3561 HAS SOPS 3561 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3126.561
AT ITER 4832 NEW BEST:: SOT 10395 SOS 3557 HAS SOPS 3557 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3126.557
AT ITER 4859 NEW BEST:: SOT 10400 SOS 3557 HAS SOPS 3557 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.557
AT ITER 4926 NEW BEST:: SOT 10391 SOS 3561 HAS SOPS 3561 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3117.561
AT ITER 4974 NEW BEST:: SOT 10391 SOS 3560 HAS SOPS 3560 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.56
AT ITER 5021 NEW BEST:: SOT 10391 SOS 3558 HAS SOPS 3558 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.558
AT ITER 5096 NEW BEST:: SOT 10391 SOS 3557 HAS SOPS 3557 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3113.557
AT ITER 5193 NEW BEST:: SOT 10390 SOS 3556 HAS SOPS 3556 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.556
AT ITER 5337 NEW BEST:: SOT 10390 SOS 3555 HAS SOPS 3555 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3111.555
AT ITER 5377 NEW BEST:: SOT 10389 SOS 3555 HAS SOPS 3555 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3109.555
AT ITER 5385 NEW BEST:: SOT 10389 SOS 3549 HAS SOPS 3549 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3109.549
AT ITER 5554 NEW BEST:: SOT 10388 SOS 3555 HAS SOPS 3555 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3108.555
AT ITER 5573 NEW BEST:: SOT 10381 SOS 3577 HAS SOPS 3577 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.577
AT ITER 5588 NEW BEST:: SOT 10384 SOS 3576 HAS SOPS 3576 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.576
AT ITER 5663 NEW BEST:: SOT 10381 SOS 3576 HAS SOPS 3576 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.576
AT ITER 5753 NEW BEST:: SOT 10376 SOS 3661 HAS SOPS 3661 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3088.661
AT ITER 5791 NEW BEST:: SOT 10368 SOS 3675 HAS SOPS 3675 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3086.675
AT ITER 5893 NEW BEST:: SOT 10368 SOS 3674 HAS SOPS 3674 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3085.674
AT ITER 5935 NEW BEST:: SOT 10367 SOS 3656 HAS SOPS 3656 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.656
AT ITER 5993 NEW BEST:: SOT 10363 SOS 3650 HAS SOPS 3650 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.65
AT ITER 6027 NEW BEST:: SOT 10360 SOS 3643 HAS SOPS 3643 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3078.643
AT ITER 6062 NEW BEST:: SOT 10360 SOS 3634 HAS SOPS 3634 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3078.634
AT ITER 6088 NEW BEST:: SOT 10361 SOS 3633 HAS SOPS 3633 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.633
AT ITER 6167 NEW BEST:: SOT 10358 SOS 3627 HAS SOPS 3627 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3074.627
AT ITER 6170 NEW BEST:: SOT 10351 SOS 3628 HAS SOPS 3628 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.628
AT ITER 6195 NEW BEST:: SOT 10351 SOS 3631 HAS SOPS 3631 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.631
AT ITER 6233 NEW BEST:: SOT 10349 SOS 3633 HAS SOPS 3633 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3066.633
AT ITER 6267 NEW BEST:: SOT 10349 SOS 3625 HAS SOPS 3625 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3066.625
AT ITER 6292 NEW BEST:: SOT 10348 SOS 3631 HAS SOPS 3631 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3065.631
AT ITER 6302 NEW BEST:: SOT 10348 SOS 3628 HAS SOPS 3628 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3065.628
AT ITER 6339 NEW BEST:: SOT 10335 SOS 3615 HAS SOPS 3615 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.615
AT ITER 6373 NEW BEST:: SOT 10333 SOS 3613 HAS SOPS 3613 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.613
AT ITER 6397 NEW BEST:: SOT 10326 SOS 3614 HAS SOPS 3614 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3050.614
AT ITER 6407 NEW BEST:: SOT 10325 SOS 3613 HAS SOPS 3613 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3049.613
AT ITER 6419 NEW BEST:: SOT 10325 SOS 3613 HAS SOPS 3613 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.613
AT ITER 6563 NEW BEST:: SOT 10323 SOS 3622 HAS SOPS 3622 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3046.622
AT ITER 6626 NEW BEST:: SOT 10322 SOS 3620 HAS SOPS 3620 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.62
AT ITER 6677 NEW BEST:: SOT 10322 SOS 3632 HAS SOPS 3632 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3042.632
AT ITER 6820 NEW BEST:: SOT 10322 SOS 3631 HAS SOPS 3631 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.631
AT ITER 6858 NEW BEST:: SOT 10320 SOS 3630 HAS SOPS 3630 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3040.63
AT ITER 6942 NEW BEST:: SOT 10320 SOS 3630 HAS SOPS 3630 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.63
AT ITER 6977 NEW BEST:: SOT 10319 SOS 3629 HAS SOPS 3629 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3022.629
AT ITER 7155 NEW BEST:: SOT 10319 SOS 3627 HAS SOPS 3627 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3022.627
AT ITER 7183 NEW BEST:: SOT 10318 SOS 3626 HAS SOPS 3626 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.626
AT ITER 7231 NEW BEST:: SOT 10316 SOS 3624 HAS SOPS 3624 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.624
AT ITER 7273 NEW BEST:: SOT 10316 SOS 3612 HAS SOPS 3612 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.612
AT ITER 7380 NEW BEST:: SOT 10316 SOS 3622 HAS SOPS 3622 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3016.622
AT ITER 7520 NEW BEST:: SOT 10316 SOS 3622 HAS SOPS 3622 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.622
AT ITER 7533 NEW BEST:: SOT 10314 SOS 3623 HAS SOPS 3623 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.623
AT ITER 7615 NEW BEST:: SOT 10325 SOS 3618 HAS SOPS 3618 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.618
AT ITER 7684 NEW BEST:: SOT 10325 SOS 3617 HAS SOPS 3617 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.617
AT ITER 7827 NEW BEST:: SOT 10334 SOS 3625 HAS SOPS 3625 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.625
AT ITER 8057 NEW BEST:: SOT 10334 SOS 3626 HAS SOPS 3626 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3009.626
AT ITER 8126 NEW BEST:: SOT 10337 SOS 3618 HAS SOPS 3618 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3009.618
AT ITER 8160 NEW BEST:: SOT 10337 SOS 3618 HAS SOPS 3618 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.618
AT ITER 8207 NEW BEST:: SOT 10337 SOS 3615 HAS SOPS 3615 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3004.615
AT ITER 8401 NEW BEST:: SOT 10337 SOS 3620 HAS SOPS 3620 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.62
AT ITER 8424 NEW BEST:: SOT 10335 SOS 3618 HAS SOPS 3618 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.618
AT ITER 8446 NEW BEST:: SOT 10336 SOS 3616 HAS SOPS 3616 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.616
AT ITER 8663 NEW BEST:: SOT 10335 SOS 3618 HAS SOPS 3618 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3001.618
AT ITER 8764 NEW BEST:: SOT 10328 SOS 3623 HAS SOPS 3623 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2998.623
AT ITER 8951 NEW BEST:: SOT 10338 SOS 3582 HAS SOPS 3582 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2994.582
AT ITER 8981 NEW BEST:: SOT 10337 SOS 3581 HAS SOPS 3581 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2993.581
AT ITER 9021 NEW BEST:: SOT 10337 SOS 3580 HAS SOPS 3580 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2992.58
AT ITER 9286 NEW BEST:: SOT 10337 SOS 3584 HAS SOPS 3584 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.584
AT ITER 9310 NEW BEST:: SOT 10336 SOS 3594 HAS SOPS 3594 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.594
AT ITER 9335 NEW BEST:: SOT 10336 SOS 3593 HAS SOPS 3593 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.593
AT ITER 9541 NEW BEST:: SOT 10334 SOS 3590 HAS SOPS 3590 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2986.59
AT ITER 9578 NEW BEST:: SOT 10334 SOS 3588 HAS SOPS 3588 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2986.588
AT ITER 9618 NEW BEST:: SOT 10334 SOS 3648 HAS SOPS 3648 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2985.648
AT ITER 9827 NEW BEST:: SOT 10330 SOS 3645 HAS SOPS 3645 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2982.645
AT ITER 9852 NEW BEST:: SOT 10330 SOS 3639 HAS SOPS 3639 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2982.639
STATE_SPACE STATES 4717886881 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 39697223744 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678451195971

--------------------
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="DatabaseWithMutex-PT-04"
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 DatabaseWithMutex-PT-04, 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 r107-tall-167814485001072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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