About the Execution of Smart+red for RwMutex-PT-r0010w0050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 253.136 | 33766.00 | 40833.00 | 559.90 | 1074 10340 1 70 | 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.r363-smll-167891813700128.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 RwMutex-PT-r0010w0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891813700128
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 5.3K Feb 25 22:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 25 22:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 22:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 22:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 22:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 22:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 22:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 22:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 95K 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 1679021134878
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=RwMutex-PT-r0010w0050
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 02:45:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 02:45:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 02:45:38] [INFO ] Load time of PNML (sax parser for PT used): 140 ms
[2023-03-17 02:45:38] [INFO ] Transformed 130 places.
[2023-03-17 02:45:38] [INFO ] Transformed 120 transitions.
[2023-03-17 02:45:38] [INFO ] Found NUPN structural information;
[2023-03-17 02:45:38] [INFO ] Parsed PT model containing 130 places and 120 transitions and 1260 arcs in 287 ms.
[2023-03-17 02:45:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 130 places, 120 transitions and 1260 arcs took 12 ms.
Total runtime 364 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0050
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: 130 places, 120 transitions, 1260 arcs.
AT ITER 0 NEW BEST:: SOT 15274 SOS 11616 HAS SOPS 11616 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11627.616
AT ITER 1 NEW BEST:: SOT 15274 SOS 11566 HAS SOPS 11566 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11577.566
AT ITER 2 NEW BEST:: SOT 15156 SOS 11614 HAS SOPS 11614 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11469.614
AT ITER 4 NEW BEST:: SOT 15156 SOS 11576 HAS SOPS 11576 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11375.576
AT ITER 8 NEW BEST:: SOT 15156 SOS 11530 HAS SOPS 11530 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11291.53
AT ITER 11 NEW BEST:: SOT 15050 SOS 11424 HAS SOPS 11424 HAS SOUS 11122 HAS SOUPS 11122 WITH SCORE 11133.424
AT ITER 12 NEW BEST:: SOT 15050 SOS 11434 HAS SOPS 11434 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11123.434
AT ITER 14 NEW BEST:: SOT 14744 SOS 11378 HAS SOPS 11378 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10713.378
AT ITER 15 NEW BEST:: SOT 14728 SOS 11382 HAS SOPS 11382 HAS SOUS 10694 HAS SOUPS 10694 WITH SCORE 10705.382
AT ITER 17 NEW BEST:: SOT 14728 SOS 11382 HAS SOPS 11382 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10605.382
AT ITER 18 NEW BEST:: SOT 14728 SOS 11382 HAS SOPS 11382 HAS SOUS 10534 HAS SOUPS 10534 WITH SCORE 10545.382
AT ITER 19 NEW BEST:: SOT 14728 SOS 11354 HAS SOPS 11354 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10461.354
AT ITER 20 NEW BEST:: SOT 14698 SOS 11282 HAS SOPS 11282 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10389.282
AT ITER 22 NEW BEST:: SOT 14698 SOS 11262 HAS SOPS 11262 HAS SOUS 10294 HAS SOUPS 10294 WITH SCORE 10305.262
AT ITER 23 NEW BEST:: SOT 14698 SOS 11254 HAS SOPS 11254 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10231.254
AT ITER 25 NEW BEST:: SOT 14698 SOS 11254 HAS SOPS 11254 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10159.254
AT ITER 27 NEW BEST:: SOT 14662 SOS 11218 HAS SOPS 11218 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10123.218
AT ITER 29 NEW BEST:: SOT 14592 SOS 11148 HAS SOPS 11148 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10053.148
AT ITER 34 NEW BEST:: SOT 14584 SOS 11140 HAS SOPS 11140 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10045.14
AT ITER 40 NEW BEST:: SOT 14466 SOS 11852 HAS SOPS 11852 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9823.852
AT ITER 41 NEW BEST:: SOT 14466 SOS 11852 HAS SOPS 11852 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9727.852
AT ITER 45 NEW BEST:: SOT 14466 SOS 11852 HAS SOPS 11852 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9677.852
AT ITER 47 NEW BEST:: SOT 14466 SOS 11852 HAS SOPS 11852 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9585.852
AT ITER 48 NEW BEST:: SOT 14466 SOS 11852 HAS SOPS 11852 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9575.852
AT ITER 50 NEW BEST:: SOT 14466 SOS 11850 HAS SOPS 11850 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9561.85
AT ITER 51 NEW BEST:: SOT 14466 SOS 11844 HAS SOPS 11844 HAS SOUS 9538 HAS SOUPS 9538 WITH SCORE 9549.844
AT ITER 53 NEW BEST:: SOT 14348 SOS 11726 HAS SOPS 11726 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9335.726
AT ITER 54 NEW BEST:: SOT 14352 SOS 11656 HAS SOPS 11656 HAS SOUS 9260 HAS SOUPS 9260 WITH SCORE 9271.656
AT ITER 56 NEW BEST:: SOT 14234 SOS 11580 HAS SOPS 11580 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9071.58
AT ITER 57 NEW BEST:: SOT 14234 SOS 11598 HAS SOPS 11598 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9049.598
AT ITER 60 NEW BEST:: SOT 14150 SOS 11546 HAS SOPS 11546 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8873.546
AT ITER 61 NEW BEST:: SOT 14138 SOS 11534 HAS SOPS 11534 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8863.534
AT ITER 63 NEW BEST:: SOT 14138 SOS 11534 HAS SOPS 11534 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8845.534
AT ITER 64 NEW BEST:: SOT 14138 SOS 11492 HAS SOPS 11492 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8845.492
AT ITER 67 NEW BEST:: SOT 14138 SOS 11492 HAS SOPS 11492 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8783.492
AT ITER 73 NEW BEST:: SOT 14138 SOS 12024 HAS SOPS 12024 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8770.024
AT ITER 78 NEW BEST:: SOT 14138 SOS 12024 HAS SOPS 12024 HAS SOUS 8734 HAS SOUPS 8734 WITH SCORE 8746.024
AT ITER 83 NEW BEST:: SOT 14138 SOS 12024 HAS SOPS 12024 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8686.024
AT ITER 84 NEW BEST:: SOT 14138 SOS 12024 HAS SOPS 12024 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8666.024
AT ITER 95 NEW BEST:: SOT 14138 SOS 12024 HAS SOPS 12024 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8626.024
AT ITER 100 NEW BEST:: SOT 14138 SOS 12024 HAS SOPS 12024 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8542.024
AT ITER 101 NEW BEST:: SOT 13640 SOS 12882 HAS SOPS 12882 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8056.882
AT ITER 104 NEW BEST:: SOT 13640 SOS 12882 HAS SOPS 12882 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8036.882
AT ITER 107 NEW BEST:: SOT 11406 SOS 10696 HAS SOPS 10696 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5724.696
AT ITER 108 NEW BEST:: SOT 11372 SOS 10662 HAS SOPS 10662 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5656.662
AT ITER 115 NEW BEST:: SOT 11372 SOS 10662 HAS SOPS 10662 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5600.662
AT ITER 126 NEW BEST:: SOT 11372 SOS 10662 HAS SOPS 10662 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5526.662
AT ITER 130 NEW BEST:: SOT 11372 SOS 10662 HAS SOPS 10662 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5512.662
AT ITER 142 NEW BEST:: SOT 11362 SOS 10652 HAS SOPS 10652 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5492.652
AT ITER 147 NEW BEST:: SOT 11358 SOS 10694 HAS SOPS 10694 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5436.694
AT ITER 149 NEW BEST:: SOT 11356 SOS 10692 HAS SOPS 10692 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5434.692
AT ITER 151 NEW BEST:: SOT 11326 SOS 10680 HAS SOPS 10680 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5374.68
AT ITER 154 NEW BEST:: SOT 11304 SOS 10658 HAS SOPS 10658 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5330.658
AT ITER 155 NEW BEST:: SOT 11300 SOS 10654 HAS SOPS 10654 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5322.654
AT ITER 165 NEW BEST:: SOT 10498 SOS 9982 HAS SOPS 9982 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4597.982
AT ITER 180 NEW BEST:: SOT 10488 SOS 9972 HAS SOPS 9972 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4577.972
AT ITER 186 NEW BEST:: SOT 10462 SOS 9946 HAS SOPS 9946 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4525.946
AT ITER 191 NEW BEST:: SOT 10442 SOS 9926 HAS SOPS 9926 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4485.926
AT ITER 199 NEW BEST:: SOT 10442 SOS 9886 HAS SOPS 9886 HAS SOUS 4436 HAS SOUPS 4436 WITH SCORE 4445.886
AT ITER 200 NEW BEST:: SOT 10408 SOS 9806 HAS SOPS 9806 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4365.806
AT ITER 205 NEW BEST:: SOT 10394 SOS 9792 HAS SOPS 9792 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4337.792
AT ITER 213 NEW BEST:: SOT 10394 SOS 9792 HAS SOPS 9792 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4319.792
AT ITER 215 NEW BEST:: SOT 10374 SOS 9772 HAS SOPS 9772 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4279.772
AT ITER 219 NEW BEST:: SOT 10374 SOS 9772 HAS SOPS 9772 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4267.772
AT ITER 220 NEW BEST:: SOT 10374 SOS 9702 HAS SOPS 9702 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4267.702
AT ITER 229 NEW BEST:: SOT 10366 SOS 9694 HAS SOPS 9694 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4259.694
AT ITER 231 NEW BEST:: SOT 10366 SOS 9694 HAS SOPS 9694 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4229.694
AT ITER 237 NEW BEST:: SOT 10318 SOS 9646 HAS SOPS 9646 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4181.646
AT ITER 241 NEW BEST:: SOT 10296 SOS 9650 HAS SOPS 9650 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4115.65
AT ITER 246 NEW BEST:: SOT 10246 SOS 9600 HAS SOPS 9600 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4015.6
AT ITER 247 NEW BEST:: SOT 10244 SOS 9598 HAS SOPS 9598 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4013.598
AT ITER 249 NEW BEST:: SOT 10244 SOS 9538 HAS SOPS 9538 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4013.538
AT ITER 254 NEW BEST:: SOT 10234 SOS 9524 HAS SOPS 9524 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3999.524
AT ITER 263 NEW BEST:: SOT 10230 SOS 9520 HAS SOPS 9520 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3991.52
AT ITER 266 NEW BEST:: SOT 10230 SOS 9536 HAS SOPS 9536 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3933.536
AT ITER 277 NEW BEST:: SOT 10212 SOS 9518 HAS SOPS 9518 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3897.518
AT ITER 279 NEW BEST:: SOT 10168 SOS 9474 HAS SOPS 9474 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3853.474
AT ITER 296 NEW BEST:: SOT 10168 SOS 9452 HAS SOPS 9452 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3831.452
AT ITER 301 NEW BEST:: SOT 10124 SOS 9408 HAS SOPS 9408 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3743.408
AT ITER 302 NEW BEST:: SOT 10094 SOS 9362 HAS SOPS 9362 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3697.362
AT ITER 306 NEW BEST:: SOT 10074 SOS 9342 HAS SOPS 9342 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3641.342
AT ITER 308 NEW BEST:: SOT 10068 SOS 9336 HAS SOPS 9336 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3629.336
AT ITER 314 NEW BEST:: SOT 10012 SOS 9280 HAS SOPS 9280 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3489.28
AT ITER 322 NEW BEST:: SOT 9972 SOS 9240 HAS SOPS 9240 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3409.24
AT ITER 325 NEW BEST:: SOT 9972 SOS 9240 HAS SOPS 9240 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3399.24
AT ITER 329 NEW BEST:: SOT 9952 SOS 9220 HAS SOPS 9220 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3359.22
AT ITER 339 NEW BEST:: SOT 9940 SOS 9208 HAS SOPS 9208 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3357.208
AT ITER 343 NEW BEST:: SOT 9930 SOS 9198 HAS SOPS 9198 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3345.198
AT ITER 368 NEW BEST:: SOT 9878 SOS 9160 HAS SOPS 9160 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3255.16
AT ITER 374 NEW BEST:: SOT 9864 SOS 7764 HAS SOPS 7764 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3241.764
AT ITER 394 NEW BEST:: SOT 9832 SOS 7732 HAS SOPS 7732 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3177.732
AT ITER 395 NEW BEST:: SOT 9832 SOS 7732 HAS SOPS 7732 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3155.732
AT ITER 411 NEW BEST:: SOT 9812 SOS 7712 HAS SOPS 7712 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3113.712
AT ITER 417 NEW BEST:: SOT 9772 SOS 7672 HAS SOPS 7672 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3033.672
AT ITER 423 NEW BEST:: SOT 9746 SOS 7646 HAS SOPS 7646 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2939.646
AT ITER 444 NEW BEST:: SOT 9692 SOS 7592 HAS SOPS 7592 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2823.592
AT ITER 451 NEW BEST:: SOT 9676 SOS 7576 HAS SOPS 7576 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2807.576
AT ITER 464 NEW BEST:: SOT 9676 SOS 7566 HAS SOPS 7566 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2807.566
AT ITER 465 NEW BEST:: SOT 9676 SOS 7564 HAS SOPS 7564 HAS SOUS 2778 HAS SOUPS 2778 WITH SCORE 2785.564
AT ITER 472 NEW BEST:: SOT 9648 SOS 8390 HAS SOPS 8390 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2766.39
AT ITER 479 NEW BEST:: SOT 9638 SOS 8380 HAS SOPS 8380 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2746.38
AT ITER 492 NEW BEST:: SOT 9626 SOS 8648 HAS SOPS 8648 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2742.648
AT ITER 493 NEW BEST:: SOT 9626 SOS 8648 HAS SOPS 8648 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2736.648
AT ITER 514 NEW BEST:: SOT 9624 SOS 8646 HAS SOPS 8646 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2732.646
AT ITER 516 NEW BEST:: SOT 9624 SOS 8646 HAS SOPS 8646 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2696.646
AT ITER 530 NEW BEST:: SOT 9624 SOS 8646 HAS SOPS 8646 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2674.646
AT ITER 589 NEW BEST:: SOT 9624 SOS 8360 HAS SOPS 8360 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2658.36
AT ITER 621 NEW BEST:: SOT 9610 SOS 8346 HAS SOPS 8346 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2644.346
AT ITER 622 NEW BEST:: SOT 9610 SOS 8346 HAS SOPS 8346 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2642.346
AT ITER 636 NEW BEST:: SOT 9606 SOS 8342 HAS SOPS 8342 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2634.342
AT ITER 637 NEW BEST:: SOT 9598 SOS 8334 HAS SOPS 8334 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2618.334
AT ITER 640 NEW BEST:: SOT 9598 SOS 8334 HAS SOPS 8334 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2604.334
AT ITER 656 NEW BEST:: SOT 9588 SOS 8328 HAS SOPS 8328 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2560.328
AT ITER 660 NEW BEST:: SOT 9432 SOS 8464 HAS SOPS 8464 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2494.464
AT ITER 665 NEW BEST:: SOT 9432 SOS 8458 HAS SOPS 8458 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2494.458
AT ITER 666 NEW BEST:: SOT 9432 SOS 8458 HAS SOPS 8458 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2490.458
AT ITER 680 NEW BEST:: SOT 9428 SOS 8454 HAS SOPS 8454 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2482.454
AT ITER 686 NEW BEST:: SOT 9438 SOS 8464 HAS SOPS 8464 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2474.464
AT ITER 697 NEW BEST:: SOT 9438 SOS 8464 HAS SOPS 8464 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2468.464
AT ITER 699 NEW BEST:: SOT 9428 SOS 8454 HAS SOPS 8454 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2448.454
AT ITER 708 NEW BEST:: SOT 9422 SOS 8448 HAS SOPS 8448 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2442.448
AT ITER 736 NEW BEST:: SOT 9420 SOS 8446 HAS SOPS 8446 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2438.446
AT ITER 774 NEW BEST:: SOT 9416 SOS 8442 HAS SOPS 8442 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2430.442
AT ITER 777 NEW BEST:: SOT 9416 SOS 8442 HAS SOPS 8442 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2392.442
AT ITER 788 NEW BEST:: SOT 9396 SOS 8422 HAS SOPS 8422 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2352.422
AT ITER 797 NEW BEST:: SOT 9296 SOS 8326 HAS SOPS 8326 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2256.326
AT ITER 798 NEW BEST:: SOT 9290 SOS 8316 HAS SOPS 8316 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2246.316
AT ITER 822 NEW BEST:: SOT 9294 SOS 8320 HAS SOPS 8320 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2210.32
AT ITER 833 NEW BEST:: SOT 9294 SOS 8316 HAS SOPS 8316 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2196.316
AT ITER 844 NEW BEST:: SOT 9290 SOS 8312 HAS SOPS 8312 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2192.312
AT ITER 863 NEW BEST:: SOT 9278 SOS 8300 HAS SOPS 8300 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2168.3
AT ITER 868 NEW BEST:: SOT 9278 SOS 8300 HAS SOPS 8300 HAS SOUS 2154 HAS SOUPS 2154 WITH SCORE 2162.3
AT ITER 897 NEW BEST:: SOT 9278 SOS 8300 HAS SOPS 8300 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2158.3
AT ITER 911 NEW BEST:: SOT 9278 SOS 7832 HAS SOPS 7832 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2157.832
AT ITER 915 NEW BEST:: SOT 9260 SOS 7814 HAS SOPS 7814 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2121.814
AT ITER 923 NEW BEST:: SOT 9252 SOS 7806 HAS SOPS 7806 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2109.806
AT ITER 942 NEW BEST:: SOT 9250 SOS 7804 HAS SOPS 7804 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2105.804
AT ITER 954 NEW BEST:: SOT 9230 SOS 7774 HAS SOPS 7774 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2073.774
AT ITER 957 NEW BEST:: SOT 9224 SOS 7768 HAS SOPS 7768 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2061.768
AT ITER 974 NEW BEST:: SOT 9208 SOS 7784 HAS SOPS 7784 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2051.784
AT ITER 992 NEW BEST:: SOT 9204 SOS 7780 HAS SOPS 7780 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2043.78
AT ITER 1057 NEW BEST:: SOT 9178 SOS 8722 HAS SOPS 8722 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2012.722
AT ITER 1063 NEW BEST:: SOT 9168 SOS 8712 HAS SOPS 8712 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2010.712
AT ITER 1073 NEW BEST:: SOT 9166 SOS 8710 HAS SOPS 8710 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 2002.71
AT ITER 1109 NEW BEST:: SOT 9156 SOS 8700 HAS SOPS 8700 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1982.7
AT ITER 1127 NEW BEST:: SOT 9152 SOS 8696 HAS SOPS 8696 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1974.696
AT ITER 1134 NEW BEST:: SOT 9138 SOS 8682 HAS SOPS 8682 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1946.682
AT ITER 1148 NEW BEST:: SOT 9134 SOS 8678 HAS SOPS 8678 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1938.678
AT ITER 1154 NEW BEST:: SOT 9120 SOS 8758 HAS SOPS 8758 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1920.758
AT ITER 1155 NEW BEST:: SOT 9120 SOS 8758 HAS SOPS 8758 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1902.758
AT ITER 1175 NEW BEST:: SOT 9118 SOS 8756 HAS SOPS 8756 HAS SOUS 1890 HAS SOUPS 1890 WITH SCORE 1898.756
AT ITER 1206 NEW BEST:: SOT 9116 SOS 8754 HAS SOPS 8754 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1894.754
AT ITER 1237 NEW BEST:: SOT 9114 SOS 8752 HAS SOPS 8752 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1890.752
AT ITER 1266 NEW BEST:: SOT 9112 SOS 8750 HAS SOPS 8750 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1882.75
AT ITER 1272 NEW BEST:: SOT 9106 SOS 8744 HAS SOPS 8744 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1870.744
AT ITER 1278 NEW BEST:: SOT 9094 SOS 8732 HAS SOPS 8732 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1836.732
AT ITER 1300 NEW BEST:: SOT 9086 SOS 8724 HAS SOPS 8724 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1820.724
AT ITER 1330 NEW BEST:: SOT 9064 SOS 8702 HAS SOPS 8702 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1756.702
AT ITER 1335 NEW BEST:: SOT 9046 SOS 8674 HAS SOPS 8674 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1728.674
AT ITER 1336 NEW BEST:: SOT 9044 SOS 8688 HAS SOPS 8688 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1720.688
AT ITER 1351 NEW BEST:: SOT 9040 SOS 8684 HAS SOPS 8684 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1712.684
AT ITER 1357 NEW BEST:: SOT 9056 SOS 8736 HAS SOPS 8736 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1710.736
AT ITER 1365 NEW BEST:: SOT 9040 SOS 8720 HAS SOPS 8720 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1678.72
AT ITER 1382 NEW BEST:: SOT 9038 SOS 8718 HAS SOPS 8718 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1674.718
AT ITER 1383 NEW BEST:: SOT 9034 SOS 8714 HAS SOPS 8714 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1666.714
AT ITER 1387 NEW BEST:: SOT 9032 SOS 8712 HAS SOPS 8712 HAS SOUS 1654 HAS SOUPS 1654 WITH SCORE 1662.712
AT ITER 1395 NEW BEST:: SOT 9028 SOS 8708 HAS SOPS 8708 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1654.708
AT ITER 1396 NEW BEST:: SOT 9024 SOS 8704 HAS SOPS 8704 HAS SOUS 1638 HAS SOUPS 1638 WITH SCORE 1646.704
AT ITER 1403 NEW BEST:: SOT 9024 SOS 8704 HAS SOPS 8704 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1644.704
AT ITER 1451 NEW BEST:: SOT 9024 SOS 8702 HAS SOPS 8702 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1642.702
AT ITER 1482 NEW BEST:: SOT 9022 SOS 8700 HAS SOPS 8700 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1638.7
AT ITER 1503 NEW BEST:: SOT 9022 SOS 8704 HAS SOPS 8704 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1636.704
AT ITER 1541 NEW BEST:: SOT 9010 SOS 8692 HAS SOPS 8692 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1612.692
AT ITER 1585 NEW BEST:: SOT 9004 SOS 8686 HAS SOPS 8686 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1600.686
AT ITER 1598 NEW BEST:: SOT 9000 SOS 8682 HAS SOPS 8682 HAS SOUS 1584 HAS SOUPS 1584 WITH SCORE 1592.682
AT ITER 1604 NEW BEST:: SOT 8996 SOS 8678 HAS SOPS 8678 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1584.678
AT ITER 1623 NEW BEST:: SOT 8986 SOS 8668 HAS SOPS 8668 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1574.668
AT ITER 1632 NEW BEST:: SOT 8978 SOS 8660 HAS SOPS 8660 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1566.66
AT ITER 1640 NEW BEST:: SOT 8972 SOS 8654 HAS SOPS 8654 HAS SOUS 1546 HAS SOUPS 1546 WITH SCORE 1554.654
AT ITER 1645 NEW BEST:: SOT 8964 SOS 8646 HAS SOPS 8646 HAS SOUS 1530 HAS SOUPS 1530 WITH SCORE 1538.646
AT ITER 1699 NEW BEST:: SOT 8964 SOS 8646 HAS SOPS 8646 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1532.646
AT ITER 1713 NEW BEST:: SOT 8964 SOS 8642 HAS SOPS 8642 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1528.642
AT ITER 1746 NEW BEST:: SOT 8960 SOS 8638 HAS SOPS 8638 HAS SOUS 1512 HAS SOUPS 1512 WITH SCORE 1520.638
AT ITER 1790 NEW BEST:: SOT 8956 SOS 8634 HAS SOPS 8634 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1516.634
AT ITER 1798 NEW BEST:: SOT 8950 SOS 8628 HAS SOPS 8628 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1504.628
AT ITER 1823 NEW BEST:: SOT 8944 SOS 8622 HAS SOPS 8622 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1492.622
AT ITER 1839 NEW BEST:: SOT 8944 SOS 8638 HAS SOPS 8638 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1486.638
AT ITER 1895 NEW BEST:: SOT 8944 SOS 8636 HAS SOPS 8636 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1484.636
AT ITER 1918 NEW BEST:: SOT 8944 SOS 8636 HAS SOPS 8636 HAS SOUS 1474 HAS SOUPS 1474 WITH SCORE 1482.636
AT ITER 1919 NEW BEST:: SOT 8942 SOS 8634 HAS SOPS 8634 HAS SOUS 1470 HAS SOUPS 1470 WITH SCORE 1478.634
AT ITER 1945 NEW BEST:: SOT 8942 SOS 8634 HAS SOPS 8634 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1472.634
AT ITER 1949 NEW BEST:: SOT 8936 SOS 8628 HAS SOPS 8628 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1460.628
AT ITER 1980 NEW BEST:: SOT 8938 SOS 8630 HAS SOPS 8630 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1458.63
AT ITER 2003 NEW BEST:: SOT 8938 SOS 8620 HAS SOPS 8620 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1448.62
AT ITER 2004 NEW BEST:: SOT 8938 SOS 8608 HAS SOPS 8608 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1440.608
AT ITER 2005 NEW BEST:: SOT 8938 SOS 8608 HAS SOPS 8608 HAS SOUS 1430 HAS SOUPS 1430 WITH SCORE 1438.608
AT ITER 2063 NEW BEST:: SOT 8928 SOS 8598 HAS SOPS 8598 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1424.598
AT ITER 2073 NEW BEST:: SOT 8928 SOS 8598 HAS SOPS 8598 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1420.598
AT ITER 2081 NEW BEST:: SOT 8924 SOS 8594 HAS SOPS 8594 HAS SOUS 1404 HAS SOUPS 1404 WITH SCORE 1412.594
AT ITER 2095 NEW BEST:: SOT 8918 SOS 8588 HAS SOPS 8588 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1400.588
AT ITER 2102 NEW BEST:: SOT 8918 SOS 8586 HAS SOPS 8586 HAS SOUS 1390 HAS SOUPS 1390 WITH SCORE 1398.586
AT ITER 2133 NEW BEST:: SOT 8916 SOS 8584 HAS SOPS 8584 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1394.584
AT ITER 2139 NEW BEST:: SOT 8914 SOS 8582 HAS SOPS 8582 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1390.582
AT ITER 2250 NEW BEST:: SOT 8906 SOS 8574 HAS SOPS 8574 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1374.574
AT ITER 2281 NEW BEST:: SOT 8806 SOS 8474 HAS SOPS 8474 HAS SOUS 1246 HAS SOUPS 1246 WITH SCORE 1254.474
AT ITER 2285 NEW BEST:: SOT 8804 SOS 8472 HAS SOPS 8472 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1250.472
AT ITER 2301 NEW BEST:: SOT 8800 SOS 8468 HAS SOPS 8468 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1242.468
AT ITER 2379 NEW BEST:: SOT 8786 SOS 8454 HAS SOPS 8454 HAS SOUS 1206 HAS SOUPS 1206 WITH SCORE 1214.454
AT ITER 2444 NEW BEST:: SOT 8750 SOS 8418 HAS SOPS 8418 HAS SOUS 1170 HAS SOUPS 1170 WITH SCORE 1178.418
AT ITER 2462 NEW BEST:: SOT 8750 SOS 8418 HAS SOPS 8418 HAS SOUS 1164 HAS SOUPS 1164 WITH SCORE 1172.418
AT ITER 2479 NEW BEST:: SOT 8744 SOS 8412 HAS SOPS 8412 HAS SOUS 1152 HAS SOUPS 1152 WITH SCORE 1160.412
AT ITER 2487 NEW BEST:: SOT 8740 SOS 8410 HAS SOPS 8410 HAS SOUS 1150 HAS SOUPS 1150 WITH SCORE 1158.41
AT ITER 2514 NEW BEST:: SOT 8740 SOS 8410 HAS SOPS 8410 HAS SOUS 1146 HAS SOUPS 1146 WITH SCORE 1154.41
AT ITER 2576 NEW BEST:: SOT 8730 SOS 8406 HAS SOPS 8406 HAS SOUS 1130 HAS SOUPS 1130 WITH SCORE 1138.406
AT ITER 2587 NEW BEST:: SOT 8726 SOS 8402 HAS SOPS 8402 HAS SOUS 1122 HAS SOUPS 1122 WITH SCORE 1130.402
AT ITER 2676 NEW BEST:: SOT 8716 SOS 8414 HAS SOPS 8414 HAS SOUS 1108 HAS SOUPS 1108 WITH SCORE 1116.414
AT ITER 2743 NEW BEST:: SOT 8706 SOS 8404 HAS SOPS 8404 HAS SOUS 1088 HAS SOUPS 1088 WITH SCORE 1096.404
AT ITER 2777 NEW BEST:: SOT 8704 SOS 8402 HAS SOPS 8402 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1092.402
AT ITER 2838 NEW BEST:: SOT 8702 SOS 8400 HAS SOPS 8400 HAS SOUS 1080 HAS SOUPS 1080 WITH SCORE 1088.4
AT ITER 2843 NEW BEST:: SOT 8702 SOS 8400 HAS SOPS 8400 HAS SOUS 1068 HAS SOUPS 1068 WITH SCORE 1076.4
AT ITER 2895 NEW BEST:: SOT 8700 SOS 8398 HAS SOPS 8398 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1072.398
AT ITER 2898 NEW BEST:: SOT 8686 SOS 8384 HAS SOPS 8384 HAS SOUS 1036 HAS SOUPS 1036 WITH SCORE 1044.384
AT ITER 3036 NEW BEST:: SOT 8686 SOS 8384 HAS SOPS 8384 HAS SOUS 1032 HAS SOUPS 1032 WITH SCORE 1040.384
AT ITER 3255 NEW BEST:: SOT 8680 SOS 8378 HAS SOPS 8378 HAS SOUS 1026 HAS SOUPS 1026 WITH SCORE 1034.378
AT ITER 3259 NEW BEST:: SOT 8678 SOS 8376 HAS SOPS 8376 HAS SOUS 1022 HAS SOUPS 1022 WITH SCORE 1030.376
AT ITER 3346 NEW BEST:: SOT 8674 SOS 8370 HAS SOPS 8370 HAS SOUS 1016 HAS SOUPS 1016 WITH SCORE 1024.37
AT ITER 3378 NEW BEST:: SOT 8674 SOS 8370 HAS SOPS 8370 HAS SOUS 1008 HAS SOUPS 1008 WITH SCORE 1016.37
AT ITER 3409 NEW BEST:: SOT 8670 SOS 8366 HAS SOPS 8366 HAS SOUS 1000 HAS SOUPS 1000 WITH SCORE 1008.366
AT ITER 3466 NEW BEST:: SOT 8666 SOS 8362 HAS SOPS 8362 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 1000.362
AT ITER 3488 NEW BEST:: SOT 8664 SOS 8360 HAS SOPS 8360 HAS SOUS 988 HAS SOUPS 988 WITH SCORE 996.36
AT ITER 3811 NEW BEST:: SOT 8662 SOS 8358 HAS SOPS 8358 HAS SOUS 984 HAS SOUPS 984 WITH SCORE 992.358
AT ITER 4072 NEW BEST:: SOT 8660 SOS 8356 HAS SOPS 8356 HAS SOUS 980 HAS SOUPS 980 WITH SCORE 988.356
AT ITER 4099 NEW BEST:: SOT 8626 SOS 8352 HAS SOPS 8352 HAS SOUS 974 HAS SOUPS 974 WITH SCORE 982.352
AT ITER 4120 NEW BEST:: SOT 8624 SOS 8350 HAS SOPS 8350 HAS SOUS 970 HAS SOUPS 970 WITH SCORE 978.35
AT ITER 4130 NEW BEST:: SOT 8624 SOS 8348 HAS SOPS 8348 HAS SOUS 970 HAS SOUPS 970 WITH SCORE 978.348
AT ITER 4148 NEW BEST:: SOT 8622 SOS 8346 HAS SOPS 8346 HAS SOUS 966 HAS SOUPS 966 WITH SCORE 974.346
AT ITER 4259 NEW BEST:: SOT 8606 SOS 8334 HAS SOPS 8334 HAS SOUS 950 HAS SOUPS 950 WITH SCORE 958.334
AT ITER 4354 NEW BEST:: SOT 8596 SOS 8314 HAS SOPS 8314 HAS SOUS 930 HAS SOUPS 930 WITH SCORE 938.314
AT ITER 4357 NEW BEST:: SOT 8594 SOS 8312 HAS SOPS 8312 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 934.312
AT ITER 4411 NEW BEST:: SOT 8594 SOS 8308 HAS SOPS 8308 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 934.308
AT ITER 4477 NEW BEST:: SOT 8592 SOS 8306 HAS SOPS 8306 HAS SOUS 924 HAS SOUPS 924 WITH SCORE 932.306
AT ITER 4630 NEW BEST:: SOT 8582 SOS 8298 HAS SOPS 8298 HAS SOUS 916 HAS SOUPS 916 WITH SCORE 924.298
AT ITER 4652 NEW BEST:: SOT 8582 SOS 8292 HAS SOPS 8292 HAS SOUS 910 HAS SOUPS 910 WITH SCORE 918.292
AT ITER 4686 NEW BEST:: SOT 8582 SOS 8296 HAS SOPS 8296 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 910.296
AT ITER 4697 NEW BEST:: SOT 8580 SOS 8294 HAS SOPS 8294 HAS SOUS 898 HAS SOUPS 898 WITH SCORE 906.294
AT ITER 4796 NEW BEST:: SOT 8578 SOS 8292 HAS SOPS 8292 HAS SOUS 894 HAS SOUPS 894 WITH SCORE 902.292
AT ITER 4941 NEW BEST:: SOT 8568 SOS 8282 HAS SOPS 8282 HAS SOUS 868 HAS SOUPS 868 WITH SCORE 876.282
AT ITER 5089 NEW BEST:: SOT 8568 SOS 8282 HAS SOPS 8282 HAS SOUS 866 HAS SOUPS 866 WITH SCORE 874.282
AT ITER 5102 NEW BEST:: SOT 8568 SOS 8282 HAS SOPS 8282 HAS SOUS 864 HAS SOUPS 864 WITH SCORE 872.282
AT ITER 5106 NEW BEST:: SOT 8568 SOS 8282 HAS SOPS 8282 HAS SOUS 860 HAS SOUPS 860 WITH SCORE 868.282
AT ITER 5175 NEW BEST:: SOT 8560 SOS 8274 HAS SOPS 8274 HAS SOUS 844 HAS SOUPS 844 WITH SCORE 852.274
AT ITER 5288 NEW BEST:: SOT 8560 SOS 8274 HAS SOPS 8274 HAS SOUS 842 HAS SOUPS 842 WITH SCORE 850.274
AT ITER 5328 NEW BEST:: SOT 8558 SOS 8272 HAS SOPS 8272 HAS SOUS 838 HAS SOUPS 838 WITH SCORE 846.272
AT ITER 5382 NEW BEST:: SOT 8558 SOS 8272 HAS SOPS 8272 HAS SOUS 836 HAS SOUPS 836 WITH SCORE 844.272
AT ITER 5449 NEW BEST:: SOT 8554 SOS 8270 HAS SOPS 8270 HAS SOUS 834 HAS SOUPS 834 WITH SCORE 842.27
AT ITER 5462 NEW BEST:: SOT 8550 SOS 8264 HAS SOPS 8264 HAS SOUS 828 HAS SOUPS 828 WITH SCORE 836.264
AT ITER 5543 NEW BEST:: SOT 8548 SOS 8262 HAS SOPS 8262 HAS SOUS 824 HAS SOUPS 824 WITH SCORE 832.262
AT ITER 5881 NEW BEST:: SOT 8540 SOS 8254 HAS SOPS 8254 HAS SOUS 808 HAS SOUPS 808 WITH SCORE 816.254
AT ITER 6045 NEW BEST:: SOT 8536 SOS 8250 HAS SOPS 8250 HAS SOUS 806 HAS SOUPS 806 WITH SCORE 814.25
AT ITER 6163 NEW BEST:: SOT 8534 SOS 8248 HAS SOPS 8248 HAS SOUS 802 HAS SOUPS 802 WITH SCORE 810.248
AT ITER 6822 NEW BEST:: SOT 8532 SOS 8242 HAS SOPS 8242 HAS SOUS 796 HAS SOUPS 796 WITH SCORE 804.242
AT ITER 6921 NEW BEST:: SOT 8530 SOS 8240 HAS SOPS 8240 HAS SOUS 792 HAS SOUPS 792 WITH SCORE 800.24
AT ITER 7091 NEW BEST:: SOT 8530 SOS 8240 HAS SOPS 8240 HAS SOUS 790 HAS SOUPS 790 WITH SCORE 798.24
AT ITER 7471 NEW BEST:: SOT 8526 SOS 8234 HAS SOPS 8234 HAS SOUS 784 HAS SOUPS 784 WITH SCORE 792.234
AT ITER 8272 NEW BEST:: SOT 8526 SOS 8134 HAS SOPS 8134 HAS SOUS 784 HAS SOUPS 784 WITH SCORE 792.134
AT ITER 8412 NEW BEST:: SOT 8526 SOS 8134 HAS SOPS 8134 HAS SOUS 778 HAS SOUPS 778 WITH SCORE 786.134
AT ITER 8463 NEW BEST:: SOT 8524 SOS 8132 HAS SOPS 8132 HAS SOUS 774 HAS SOUPS 774 WITH SCORE 782.132
AT ITER 9404 NEW BEST:: SOT 8522 SOS 8130 HAS SOPS 8130 HAS SOUS 770 HAS SOUPS 770 WITH SCORE 778.13
STATE_SPACE STATES 1074 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 70 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10340 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679021168644
--------------------
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="RwMutex-PT-r0010w0050"
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 RwMutex-PT-r0010w0050, 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 r363-smll-167891813700128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RwMutex-PT-r0010w0050.tgz
mv RwMutex-PT-r0010w0050 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 '
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 ;