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.r267-smll-167863541900512.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 PermAdmissibility-PT-01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541900512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 8.7K Feb 26 01:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 01:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 26 01:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 150K Feb 26 01:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 26 01:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110K Feb 26 01:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 550K Feb 26 01:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 484K 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 1678901738740

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=PermAdmissibility-PT-01
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 17:35:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 17:35:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 17:35:42] [INFO ] Load time of PNML (sax parser for PT used): 170 ms
[2023-03-15 17:35:42] [INFO ] Transformed 168 places.
[2023-03-15 17:35:42] [INFO ] Transformed 592 transitions.
[2023-03-15 17:35:42] [INFO ] Parsed PT model containing 168 places and 592 transitions and 3456 arcs in 320 ms.
[2023-03-15 17:35:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 592 transitions and 3456 arcs took 16 ms.
Total runtime 398 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 01
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: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 70002 SOS 43326 HAS SOPS 43326 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25596.326
AT ITER 5 NEW BEST:: SOT 70002 SOS 43326 HAS SOPS 43326 HAS SOUS 25537 HAS SOUPS 25537 WITH SCORE 25580.326
AT ITER 6 NEW BEST:: SOT 69965 SOS 44249 HAS SOPS 44249 HAS SOUS 25388 HAS SOUPS 25388 WITH SCORE 25432.249
AT ITER 7 NEW BEST:: SOT 69866 SOS 44780 HAS SOPS 44780 HAS SOUS 25325 HAS SOUPS 25325 WITH SCORE 25369.78
AT ITER 20 NEW BEST:: SOT 69866 SOS 44780 HAS SOPS 44780 HAS SOUS 25227 HAS SOUPS 25227 WITH SCORE 25271.78
AT ITER 27 NEW BEST:: SOT 69652 SOS 44461 HAS SOPS 44461 HAS SOUS 25218 HAS SOUPS 25218 WITH SCORE 25262.461
AT ITER 32 NEW BEST:: SOT 69620 SOS 44424 HAS SOPS 44424 HAS SOUS 25202 HAS SOUPS 25202 WITH SCORE 25246.424
AT ITER 46 NEW BEST:: SOT 69461 SOS 44447 HAS SOPS 44447 HAS SOUS 25164 HAS SOUPS 25164 WITH SCORE 25208.447
AT ITER 54 NEW BEST:: SOT 69446 SOS 45250 HAS SOPS 45250 HAS SOUS 25153 HAS SOUPS 25153 WITH SCORE 25198.25
AT ITER 60 NEW BEST:: SOT 69446 SOS 44542 HAS SOPS 44542 HAS SOUS 24872 HAS SOUPS 24872 WITH SCORE 24916.542
AT ITER 63 NEW BEST:: SOT 69446 SOS 44542 HAS SOPS 44542 HAS SOUS 24849 HAS SOUPS 24849 WITH SCORE 24893.542
AT ITER 79 NEW BEST:: SOT 69260 SOS 44461 HAS SOPS 44461 HAS SOUS 24829 HAS SOUPS 24829 WITH SCORE 24873.461
AT ITER 92 NEW BEST:: SOT 69260 SOS 44461 HAS SOPS 44461 HAS SOUS 24601 HAS SOUPS 24601 WITH SCORE 24645.461
AT ITER 107 NEW BEST:: SOT 69260 SOS 44236 HAS SOPS 44236 HAS SOUS 24586 HAS SOUPS 24586 WITH SCORE 24630.236
AT ITER 113 NEW BEST:: SOT 69260 SOS 44236 HAS SOPS 44236 HAS SOUS 24563 HAS SOUPS 24563 WITH SCORE 24607.236
AT ITER 121 NEW BEST:: SOT 69260 SOS 44236 HAS SOPS 44236 HAS SOUS 24345 HAS SOUPS 24345 WITH SCORE 24389.236
AT ITER 124 NEW BEST:: SOT 69260 SOS 44236 HAS SOPS 44236 HAS SOUS 24334 HAS SOUPS 24334 WITH SCORE 24378.236
AT ITER 134 NEW BEST:: SOT 69260 SOS 44236 HAS SOPS 44236 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24315.236
AT ITER 164 NEW BEST:: SOT 69130 SOS 44106 HAS SOPS 44106 HAS SOUS 24174 HAS SOUPS 24174 WITH SCORE 24218.106
AT ITER 168 NEW BEST:: SOT 69076 SOS 44052 HAS SOPS 44052 HAS SOUS 24170 HAS SOUPS 24170 WITH SCORE 24214.052
AT ITER 181 NEW BEST:: SOT 68986 SOS 43962 HAS SOPS 43962 HAS SOUS 24113 HAS SOUPS 24113 WITH SCORE 24156.962
AT ITER 189 NEW BEST:: SOT 68881 SOS 43947 HAS SOPS 43947 HAS SOUS 23919 HAS SOUPS 23919 WITH SCORE 23962.947
AT ITER 192 NEW BEST:: SOT 68879 SOS 43945 HAS SOPS 43945 HAS SOUS 23903 HAS SOUPS 23903 WITH SCORE 23946.945
AT ITER 200 NEW BEST:: SOT 68833 SOS 43899 HAS SOPS 43899 HAS SOUS 23871 HAS SOUPS 23871 WITH SCORE 23914.899
AT ITER 209 NEW BEST:: SOT 68821 SOS 43887 HAS SOPS 43887 HAS SOUS 23832 HAS SOUPS 23832 WITH SCORE 23875.887
AT ITER 210 NEW BEST:: SOT 68791 SOS 44442 HAS SOPS 44442 HAS SOUS 23568 HAS SOUPS 23568 WITH SCORE 23612.442
AT ITER 215 NEW BEST:: SOT 68791 SOS 44442 HAS SOPS 44442 HAS SOUS 23555 HAS SOUPS 23555 WITH SCORE 23599.442
AT ITER 261 NEW BEST:: SOT 68677 SOS 44006 HAS SOPS 44006 HAS SOUS 23491 HAS SOUPS 23491 WITH SCORE 23535.006
AT ITER 267 NEW BEST:: SOT 68547 SOS 44072 HAS SOPS 44072 HAS SOUS 23336 HAS SOUPS 23336 WITH SCORE 23380.072
AT ITER 282 NEW BEST:: SOT 68483 SOS 44080 HAS SOPS 44080 HAS SOUS 23323 HAS SOUPS 23323 WITH SCORE 23367.08
AT ITER 288 NEW BEST:: SOT 68473 SOS 44070 HAS SOPS 44070 HAS SOUS 23305 HAS SOUPS 23305 WITH SCORE 23349.07
AT ITER 300 NEW BEST:: SOT 68445 SOS 44042 HAS SOPS 44042 HAS SOUS 23267 HAS SOUPS 23267 WITH SCORE 23311.042
AT ITER 304 NEW BEST:: SOT 68281 SOS 43878 HAS SOPS 43878 HAS SOUS 23222 HAS SOUPS 23222 WITH SCORE 23265.878
AT ITER 331 NEW BEST:: SOT 68281 SOS 45964 HAS SOPS 45964 HAS SOUS 23061 HAS SOUPS 23061 WITH SCORE 23106.964
AT ITER 344 NEW BEST:: SOT 68225 SOS 45908 HAS SOPS 45908 HAS SOUS 23010 HAS SOUPS 23010 WITH SCORE 23055.908
AT ITER 346 NEW BEST:: SOT 68219 SOS 45902 HAS SOPS 45902 HAS SOUS 23002 HAS SOUPS 23002 WITH SCORE 23047.902
AT ITER 347 NEW BEST:: SOT 68219 SOS 45902 HAS SOPS 45902 HAS SOUS 22994 HAS SOUPS 22994 WITH SCORE 23039.902
AT ITER 355 NEW BEST:: SOT 68123 SOS 45806 HAS SOPS 45806 HAS SOUS 22905 HAS SOUPS 22905 WITH SCORE 22950.806
AT ITER 377 NEW BEST:: SOT 68123 SOS 45806 HAS SOPS 45806 HAS SOUS 22845 HAS SOUPS 22845 WITH SCORE 22890.806
AT ITER 390 NEW BEST:: SOT 67987 SOS 45670 HAS SOPS 45670 HAS SOUS 22758 HAS SOUPS 22758 WITH SCORE 22803.67
AT ITER 392 NEW BEST:: SOT 67915 SOS 45598 HAS SOPS 45598 HAS SOUS 22693 HAS SOUPS 22693 WITH SCORE 22738.598
AT ITER 394 NEW BEST:: SOT 67913 SOS 45596 HAS SOPS 45596 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22736.596
AT ITER 396 NEW BEST:: SOT 67785 SOS 45429 HAS SOPS 45429 HAS SOUS 22590 HAS SOUPS 22590 WITH SCORE 22635.429
AT ITER 412 NEW BEST:: SOT 67785 SOS 45429 HAS SOPS 45429 HAS SOUS 22589 HAS SOUPS 22589 WITH SCORE 22634.429
AT ITER 414 NEW BEST:: SOT 67751 SOS 45395 HAS SOPS 45395 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22630.395
AT ITER 415 NEW BEST:: SOT 67587 SOS 45223 HAS SOPS 45223 HAS SOUS 22539 HAS SOUPS 22539 WITH SCORE 22584.223
AT ITER 433 NEW BEST:: SOT 67577 SOS 45456 HAS SOPS 45456 HAS SOUS 22532 HAS SOUPS 22532 WITH SCORE 22577.456
AT ITER 435 NEW BEST:: SOT 67505 SOS 45539 HAS SOPS 45539 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22430.539
AT ITER 475 NEW BEST:: SOT 67505 SOS 45544 HAS SOPS 45544 HAS SOUS 22376 HAS SOUPS 22376 WITH SCORE 22421.544
AT ITER 479 NEW BEST:: SOT 67295 SOS 45594 HAS SOPS 45594 HAS SOUS 22327 HAS SOUPS 22327 WITH SCORE 22372.594
AT ITER 503 NEW BEST:: SOT 67228 SOS 45450 HAS SOPS 45450 HAS SOUS 22293 HAS SOUPS 22293 WITH SCORE 22338.45
AT ITER 506 NEW BEST:: SOT 67228 SOS 45450 HAS SOPS 45450 HAS SOUS 22281 HAS SOUPS 22281 WITH SCORE 22326.45
AT ITER 509 NEW BEST:: SOT 67178 SOS 45400 HAS SOPS 45400 HAS SOUS 22239 HAS SOUPS 22239 WITH SCORE 22284.4
AT ITER 512 NEW BEST:: SOT 67178 SOS 45400 HAS SOPS 45400 HAS SOUS 22191 HAS SOUPS 22191 WITH SCORE 22236.4
AT ITER 517 NEW BEST:: SOT 67189 SOS 45190 HAS SOPS 45190 HAS SOUS 22127 HAS SOUPS 22127 WITH SCORE 22172.19
AT ITER 533 NEW BEST:: SOT 67259 SOS 45260 HAS SOPS 45260 HAS SOUS 22034 HAS SOUPS 22034 WITH SCORE 22079.26
AT ITER 544 NEW BEST:: SOT 67182 SOS 45183 HAS SOPS 45183 HAS SOUS 21969 HAS SOUPS 21969 WITH SCORE 22014.183
AT ITER 555 NEW BEST:: SOT 67151 SOS 45557 HAS SOPS 45557 HAS SOUS 21960 HAS SOUPS 21960 WITH SCORE 22005.557
AT ITER 567 NEW BEST:: SOT 67151 SOS 45557 HAS SOPS 45557 HAS SOUS 21930 HAS SOUPS 21930 WITH SCORE 21975.557
AT ITER 604 NEW BEST:: SOT 67022 SOS 45428 HAS SOPS 45428 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21746.428
AT ITER 622 NEW BEST:: SOT 67022 SOS 45428 HAS SOPS 45428 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21722.428
AT ITER 623 NEW BEST:: SOT 67002 SOS 45408 HAS SOPS 45408 HAS SOUS 21657 HAS SOUPS 21657 WITH SCORE 21702.408
AT ITER 647 NEW BEST:: SOT 66987 SOS 45393 HAS SOPS 45393 HAS SOUS 21636 HAS SOUPS 21636 WITH SCORE 21681.393
AT ITER 650 NEW BEST:: SOT 66987 SOS 44082 HAS SOPS 44082 HAS SOUS 21606 HAS SOUPS 21606 WITH SCORE 21650.082
AT ITER 656 NEW BEST:: SOT 66987 SOS 44082 HAS SOPS 44082 HAS SOUS 21600 HAS SOUPS 21600 WITH SCORE 21644.082
AT ITER 658 NEW BEST:: SOT 66900 SOS 44238 HAS SOPS 44238 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21635.238
AT ITER 661 NEW BEST:: SOT 66900 SOS 44238 HAS SOPS 44238 HAS SOUS 21575 HAS SOUPS 21575 WITH SCORE 21619.238
AT ITER 663 NEW BEST:: SOT 66900 SOS 45461 HAS SOPS 45461 HAS SOUS 21504 HAS SOUPS 21504 WITH SCORE 21549.461
AT ITER 665 NEW BEST:: SOT 66905 SOS 45399 HAS SOPS 45399 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21540.399
AT ITER 670 NEW BEST:: SOT 66878 SOS 45702 HAS SOPS 45702 HAS SOUS 21419 HAS SOUPS 21419 WITH SCORE 21464.702
AT ITER 700 NEW BEST:: SOT 66878 SOS 45702 HAS SOPS 45702 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21462.702
AT ITER 701 NEW BEST:: SOT 66876 SOS 46486 HAS SOPS 46486 HAS SOUS 21385 HAS SOUPS 21385 WITH SCORE 21431.486
AT ITER 720 NEW BEST:: SOT 66823 SOS 46433 HAS SOPS 46433 HAS SOUS 21355 HAS SOUPS 21355 WITH SCORE 21401.433
AT ITER 738 NEW BEST:: SOT 66823 SOS 46433 HAS SOPS 46433 HAS SOUS 21255 HAS SOUPS 21255 WITH SCORE 21301.433
AT ITER 739 NEW BEST:: SOT 66823 SOS 46391 HAS SOPS 46391 HAS SOUS 21254 HAS SOUPS 21254 WITH SCORE 21300.391
AT ITER 752 NEW BEST:: SOT 66823 SOS 46391 HAS SOPS 46391 HAS SOUS 21251 HAS SOUPS 21251 WITH SCORE 21297.391
AT ITER 756 NEW BEST:: SOT 66821 SOS 46389 HAS SOPS 46389 HAS SOUS 21221 HAS SOUPS 21221 WITH SCORE 21267.389
AT ITER 765 NEW BEST:: SOT 66740 SOS 46820 HAS SOPS 46820 HAS SOUS 21047 HAS SOUPS 21047 WITH SCORE 21093.82
AT ITER 766 NEW BEST:: SOT 66740 SOS 46820 HAS SOPS 46820 HAS SOUS 21035 HAS SOUPS 21035 WITH SCORE 21081.82
AT ITER 785 NEW BEST:: SOT 66740 SOS 46818 HAS SOPS 46818 HAS SOUS 20973 HAS SOUPS 20973 WITH SCORE 21019.818
AT ITER 797 NEW BEST:: SOT 66424 SOS 46964 HAS SOPS 46964 HAS SOUS 20799 HAS SOUPS 20799 WITH SCORE 20845.964
AT ITER 813 NEW BEST:: SOT 66424 SOS 46964 HAS SOPS 46964 HAS SOUS 20609 HAS SOUPS 20609 WITH SCORE 20655.964
AT ITER 825 NEW BEST:: SOT 66404 SOS 46944 HAS SOPS 46944 HAS SOUS 20581 HAS SOUPS 20581 WITH SCORE 20627.944
AT ITER 831 NEW BEST:: SOT 66186 SOS 46485 HAS SOPS 46485 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20560.485
AT ITER 832 NEW BEST:: SOT 66175 SOS 46474 HAS SOPS 46474 HAS SOUS 20470 HAS SOUPS 20470 WITH SCORE 20516.474
AT ITER 842 NEW BEST:: SOT 66127 SOS 46422 HAS SOPS 46422 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20463.422
AT ITER 844 NEW BEST:: SOT 66135 SOS 46386 HAS SOPS 46386 HAS SOUS 20397 HAS SOUPS 20397 WITH SCORE 20443.386
AT ITER 854 NEW BEST:: SOT 66030 SOS 46226 HAS SOPS 46226 HAS SOUS 20279 HAS SOUPS 20279 WITH SCORE 20325.226
AT ITER 888 NEW BEST:: SOT 66045 SOS 45808 HAS SOPS 45808 HAS SOUS 20261 HAS SOUPS 20261 WITH SCORE 20306.808
AT ITER 891 NEW BEST:: SOT 66045 SOS 45743 HAS SOPS 45743 HAS SOUS 20261 HAS SOUPS 20261 WITH SCORE 20306.743
AT ITER 923 NEW BEST:: SOT 65975 SOS 45673 HAS SOPS 45673 HAS SOUS 20225 HAS SOUPS 20225 WITH SCORE 20270.673
AT ITER 924 NEW BEST:: SOT 65976 SOS 45661 HAS SOPS 45661 HAS SOUS 20223 HAS SOUPS 20223 WITH SCORE 20268.661
AT ITER 925 NEW BEST:: SOT 65972 SOS 45683 HAS SOPS 45683 HAS SOUS 20217 HAS SOUPS 20217 WITH SCORE 20262.683
AT ITER 929 NEW BEST:: SOT 66005 SOS 45143 HAS SOPS 45143 HAS SOUS 20130 HAS SOUPS 20130 WITH SCORE 20175.143
AT ITER 938 NEW BEST:: SOT 65939 SOS 45057 HAS SOPS 45057 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20120.057
AT ITER 949 NEW BEST:: SOT 65939 SOS 45057 HAS SOPS 45057 HAS SOUS 20061 HAS SOUPS 20061 WITH SCORE 20106.057
AT ITER 950 NEW BEST:: SOT 65933 SOS 45051 HAS SOPS 45051 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20073.051
AT ITER 953 NEW BEST:: SOT 65933 SOS 45059 HAS SOPS 45059 HAS SOUS 20004 HAS SOUPS 20004 WITH SCORE 20049.059
AT ITER 954 NEW BEST:: SOT 65933 SOS 45059 HAS SOPS 45059 HAS SOUS 19984 HAS SOUPS 19984 WITH SCORE 20029.059
AT ITER 956 NEW BEST:: SOT 65933 SOS 44538 HAS SOPS 44538 HAS SOUS 19983 HAS SOUPS 19983 WITH SCORE 20027.538
AT ITER 967 NEW BEST:: SOT 65915 SOS 44529 HAS SOPS 44529 HAS SOUS 19972 HAS SOUPS 19972 WITH SCORE 20016.529
AT ITER 990 NEW BEST:: SOT 65867 SOS 45133 HAS SOPS 45133 HAS SOUS 19924 HAS SOUPS 19924 WITH SCORE 19969.133
AT ITER 991 NEW BEST:: SOT 65867 SOS 45133 HAS SOPS 45133 HAS SOUS 19920 HAS SOUPS 19920 WITH SCORE 19965.133
AT ITER 1004 NEW BEST:: SOT 65867 SOS 47476 HAS SOPS 47476 HAS SOUS 19904 HAS SOUPS 19904 WITH SCORE 19951.476
AT ITER 1040 NEW BEST:: SOT 65843 SOS 47438 HAS SOPS 47438 HAS SOUS 19798 HAS SOUPS 19798 WITH SCORE 19845.438
AT ITER 1042 NEW BEST:: SOT 65843 SOS 47438 HAS SOPS 47438 HAS SOUS 19790 HAS SOUPS 19790 WITH SCORE 19837.438
AT ITER 1057 NEW BEST:: SOT 65780 SOS 47383 HAS SOPS 47383 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19777.383
AT ITER 1060 NEW BEST:: SOT 65775 SOS 47532 HAS SOPS 47532 HAS SOUS 19643 HAS SOUPS 19643 WITH SCORE 19690.532
AT ITER 1081 NEW BEST:: SOT 65775 SOS 47532 HAS SOPS 47532 HAS SOUS 19595 HAS SOUPS 19595 WITH SCORE 19642.532
AT ITER 1092 NEW BEST:: SOT 65775 SOS 47532 HAS SOPS 47532 HAS SOUS 19543 HAS SOUPS 19543 WITH SCORE 19590.532
AT ITER 1106 NEW BEST:: SOT 65759 SOS 47512 HAS SOPS 47512 HAS SOUS 19526 HAS SOUPS 19526 WITH SCORE 19573.512
AT ITER 1109 NEW BEST:: SOT 65767 SOS 48568 HAS SOPS 48568 HAS SOUS 19442 HAS SOUPS 19442 WITH SCORE 19490.568
AT ITER 1111 NEW BEST:: SOT 65747 SOS 48582 HAS SOPS 48582 HAS SOUS 19385 HAS SOUPS 19385 WITH SCORE 19433.582
AT ITER 1128 NEW BEST:: SOT 65725 SOS 48560 HAS SOPS 48560 HAS SOUS 19334 HAS SOUPS 19334 WITH SCORE 19382.56
AT ITER 1152 NEW BEST:: SOT 65644 SOS 48487 HAS SOPS 48487 HAS SOUS 19264 HAS SOUPS 19264 WITH SCORE 19312.487
AT ITER 1182 NEW BEST:: SOT 65632 SOS 48480 HAS SOPS 48480 HAS SOUS 19254 HAS SOUPS 19254 WITH SCORE 19302.48
AT ITER 1190 NEW BEST:: SOT 65632 SOS 48480 HAS SOPS 48480 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19300.48
AT ITER 1192 NEW BEST:: SOT 65632 SOS 48480 HAS SOPS 48480 HAS SOUS 19239 HAS SOUPS 19239 WITH SCORE 19287.48
AT ITER 1226 NEW BEST:: SOT 65583 SOS 48792 HAS SOPS 48792 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19273.792
AT ITER 1242 NEW BEST:: SOT 65547 SOS 48756 HAS SOPS 48756 HAS SOUS 19177 HAS SOUPS 19177 WITH SCORE 19225.756
AT ITER 1275 NEW BEST:: SOT 65547 SOS 48756 HAS SOPS 48756 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19213.756
AT ITER 1314 NEW BEST:: SOT 65547 SOS 48756 HAS SOPS 48756 HAS SOUS 19147 HAS SOUPS 19147 WITH SCORE 19195.756
AT ITER 1349 NEW BEST:: SOT 65547 SOS 48756 HAS SOPS 48756 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19189.756
AT ITER 1367 NEW BEST:: SOT 65529 SOS 48729 HAS SOPS 48729 HAS SOUS 19097 HAS SOUPS 19097 WITH SCORE 19145.729
AT ITER 1376 NEW BEST:: SOT 65525 SOS 48729 HAS SOPS 48729 HAS SOUS 19095 HAS SOUPS 19095 WITH SCORE 19143.729
AT ITER 1424 NEW BEST:: SOT 65518 SOS 48722 HAS SOPS 48722 HAS SOUS 19072 HAS SOUPS 19072 WITH SCORE 19120.722
AT ITER 1432 NEW BEST:: SOT 65502 SOS 48715 HAS SOPS 48715 HAS SOUS 19067 HAS SOUPS 19067 WITH SCORE 19115.715
AT ITER 1433 NEW BEST:: SOT 65502 SOS 48715 HAS SOPS 48715 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19099.715
AT ITER 1447 NEW BEST:: SOT 65502 SOS 48715 HAS SOPS 48715 HAS SOUS 19050 HAS SOUPS 19050 WITH SCORE 19098.715
AT ITER 1507 NEW BEST:: SOT 65430 SOS 48657 HAS SOPS 48657 HAS SOUS 19030 HAS SOUPS 19030 WITH SCORE 19078.657
AT ITER 1525 NEW BEST:: SOT 65430 SOS 48673 HAS SOPS 48673 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19074.673
AT ITER 1550 NEW BEST:: SOT 65427 SOS 48672 HAS SOPS 48672 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19043.672
AT ITER 1553 NEW BEST:: SOT 65249 SOS 48482 HAS SOPS 48482 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18889.482
AT ITER 1589 NEW BEST:: SOT 65249 SOS 46137 HAS SOPS 46137 HAS SOUS 18783 HAS SOUPS 18783 WITH SCORE 18829.137
AT ITER 1602 NEW BEST:: SOT 65249 SOS 46145 HAS SOPS 46145 HAS SOUS 18775 HAS SOUPS 18775 WITH SCORE 18821.145
AT ITER 1610 NEW BEST:: SOT 65201 SOS 46097 HAS SOPS 46097 HAS SOUS 18704 HAS SOUPS 18704 WITH SCORE 18750.097
AT ITER 1632 NEW BEST:: SOT 65194 SOS 46102 HAS SOPS 46102 HAS SOUS 18676 HAS SOUPS 18676 WITH SCORE 18722.102
AT ITER 1713 NEW BEST:: SOT 65193 SOS 46102 HAS SOPS 46102 HAS SOUS 18670 HAS SOUPS 18670 WITH SCORE 18716.102
AT ITER 1790 NEW BEST:: SOT 65117 SOS 46026 HAS SOPS 46026 HAS SOUS 18670 HAS SOUPS 18670 WITH SCORE 18716.026
AT ITER 1791 NEW BEST:: SOT 65117 SOS 45177 HAS SOPS 45177 HAS SOUS 18655 HAS SOUPS 18655 WITH SCORE 18700.177
AT ITER 1809 NEW BEST:: SOT 65104 SOS 45132 HAS SOPS 45132 HAS SOUS 18633 HAS SOUPS 18633 WITH SCORE 18678.132
AT ITER 1848 NEW BEST:: SOT 65092 SOS 45136 HAS SOPS 45136 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18677.136
AT ITER 1854 NEW BEST:: SOT 64996 SOS 45040 HAS SOPS 45040 HAS SOUS 18440 HAS SOUPS 18440 WITH SCORE 18485.04
AT ITER 1858 NEW BEST:: SOT 64994 SOS 45039 HAS SOPS 45039 HAS SOUS 18437 HAS SOUPS 18437 WITH SCORE 18482.039
AT ITER 1864 NEW BEST:: SOT 64970 SOS 45002 HAS SOPS 45002 HAS SOUS 18413 HAS SOUPS 18413 WITH SCORE 18458.002
AT ITER 1885 NEW BEST:: SOT 64970 SOS 44995 HAS SOPS 44995 HAS SOUS 18397 HAS SOUPS 18397 WITH SCORE 18441.995
AT ITER 1896 NEW BEST:: SOT 64970 SOS 44995 HAS SOPS 44995 HAS SOUS 18372 HAS SOUPS 18372 WITH SCORE 18416.995
AT ITER 1904 NEW BEST:: SOT 64968 SOS 44997 HAS SOPS 44997 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18410.997
AT ITER 1927 NEW BEST:: SOT 64964 SOS 44993 HAS SOPS 44993 HAS SOUS 18358 HAS SOUPS 18358 WITH SCORE 18402.993
AT ITER 1938 NEW BEST:: SOT 64924 SOS 44944 HAS SOPS 44944 HAS SOUS 18269 HAS SOUPS 18269 WITH SCORE 18313.944
AT ITER 1966 NEW BEST:: SOT 64924 SOS 44842 HAS SOPS 44842 HAS SOUS 18262 HAS SOUPS 18262 WITH SCORE 18306.842
AT ITER 1967 NEW BEST:: SOT 64923 SOS 44841 HAS SOPS 44841 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18305.841
AT ITER 1980 NEW BEST:: SOT 64932 SOS 44850 HAS SOPS 44850 HAS SOUS 18190 HAS SOUPS 18190 WITH SCORE 18234.85
AT ITER 2002 NEW BEST:: SOT 64888 SOS 44817 HAS SOPS 44817 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18197.817
AT ITER 2007 NEW BEST:: SOT 64888 SOS 44817 HAS SOPS 44817 HAS SOUS 18120 HAS SOUPS 18120 WITH SCORE 18164.817
AT ITER 2010 NEW BEST:: SOT 64888 SOS 44817 HAS SOPS 44817 HAS SOUS 18117 HAS SOUPS 18117 WITH SCORE 18161.817
AT ITER 2012 NEW BEST:: SOT 64888 SOS 44817 HAS SOPS 44817 HAS SOUS 18109 HAS SOUPS 18109 WITH SCORE 18153.817
AT ITER 2018 NEW BEST:: SOT 64888 SOS 44817 HAS SOPS 44817 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18151.817
AT ITER 2027 NEW BEST:: SOT 64874 SOS 44803 HAS SOPS 44803 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18137.803
AT ITER 2051 NEW BEST:: SOT 64864 SOS 44778 HAS SOPS 44778 HAS SOUS 18081 HAS SOUPS 18081 WITH SCORE 18125.778
AT ITER 2062 NEW BEST:: SOT 64864 SOS 44778 HAS SOPS 44778 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18124.778
AT ITER 2071 NEW BEST:: SOT 64905 SOS 44233 HAS SOPS 44233 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18122.233
AT ITER 2075 NEW BEST:: SOT 64905 SOS 44331 HAS SOPS 44331 HAS SOUS 18076 HAS SOUPS 18076 WITH SCORE 18120.331
AT ITER 2076 NEW BEST:: SOT 64905 SOS 44933 HAS SOPS 44933 HAS SOUS 18067 HAS SOUPS 18067 WITH SCORE 18111.933
AT ITER 2085 NEW BEST:: SOT 64883 SOS 44911 HAS SOPS 44911 HAS SOUS 18061 HAS SOUPS 18061 WITH SCORE 18105.911
AT ITER 2093 NEW BEST:: SOT 64803 SOS 44831 HAS SOPS 44831 HAS SOUS 17984 HAS SOUPS 17984 WITH SCORE 18028.831
AT ITER 2103 NEW BEST:: SOT 64808 SOS 44827 HAS SOPS 44827 HAS SOUS 17983 HAS SOUPS 17983 WITH SCORE 18027.827
AT ITER 2115 NEW BEST:: SOT 64795 SOS 44820 HAS SOPS 44820 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18023.82
AT ITER 2126 NEW BEST:: SOT 64789 SOS 44831 HAS SOPS 44831 HAS SOUS 17970 HAS SOUPS 17970 WITH SCORE 18014.831
AT ITER 2147 NEW BEST:: SOT 64789 SOS 44831 HAS SOPS 44831 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 17982.831
AT ITER 2148 NEW BEST:: SOT 64789 SOS 44831 HAS SOPS 44831 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17967.831
AT ITER 2181 NEW BEST:: SOT 64736 SOS 44778 HAS SOPS 44778 HAS SOUS 17870 HAS SOUPS 17870 WITH SCORE 17914.778
AT ITER 2182 NEW BEST:: SOT 64736 SOS 44778 HAS SOPS 44778 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17897.778
AT ITER 2215 NEW BEST:: SOT 64710 SOS 44752 HAS SOPS 44752 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17893.752
AT ITER 2231 NEW BEST:: SOT 64642 SOS 44684 HAS SOPS 44684 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17832.684
AT ITER 2238 NEW BEST:: SOT 64463 SOS 44505 HAS SOPS 44505 HAS SOUS 17660 HAS SOUPS 17660 WITH SCORE 17704.505
AT ITER 2244 NEW BEST:: SOT 64463 SOS 44505 HAS SOPS 44505 HAS SOUS 17653 HAS SOUPS 17653 WITH SCORE 17697.505
AT ITER 2250 NEW BEST:: SOT 64463 SOS 44505 HAS SOPS 44505 HAS SOUS 17634 HAS SOUPS 17634 WITH SCORE 17678.505
AT ITER 2251 NEW BEST:: SOT 64431 SOS 44473 HAS SOPS 44473 HAS SOUS 17606 HAS SOUPS 17606 WITH SCORE 17650.473
AT ITER 2264 NEW BEST:: SOT 64431 SOS 44473 HAS SOPS 44473 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17646.473
AT ITER 2306 NEW BEST:: SOT 64431 SOS 44473 HAS SOPS 44473 HAS SOUS 17562 HAS SOUPS 17562 WITH SCORE 17606.473
AT ITER 2414 NEW BEST:: SOT 64431 SOS 44476 HAS SOPS 44476 HAS SOUS 17537 HAS SOUPS 17537 WITH SCORE 17581.476
AT ITER 2415 NEW BEST:: SOT 64436 SOS 44481 HAS SOPS 44481 HAS SOUS 17503 HAS SOUPS 17503 WITH SCORE 17547.481
AT ITER 2436 NEW BEST:: SOT 64348 SOS 44368 HAS SOPS 44368 HAS SOUS 17303 HAS SOUPS 17303 WITH SCORE 17347.368
AT ITER 2440 NEW BEST:: SOT 64348 SOS 44368 HAS SOPS 44368 HAS SOUS 17275 HAS SOUPS 17275 WITH SCORE 17319.368
AT ITER 2448 NEW BEST:: SOT 64346 SOS 44366 HAS SOPS 44366 HAS SOUS 17273 HAS SOUPS 17273 WITH SCORE 17317.366
AT ITER 2469 NEW BEST:: SOT 64344 SOS 44365 HAS SOPS 44365 HAS SOUS 17271 HAS SOUPS 17271 WITH SCORE 17315.365
AT ITER 2481 NEW BEST:: SOT 64336 SOS 44357 HAS SOPS 44357 HAS SOUS 17255 HAS SOUPS 17255 WITH SCORE 17299.357
AT ITER 2493 NEW BEST:: SOT 64336 SOS 44357 HAS SOPS 44357 HAS SOUS 17243 HAS SOUPS 17243 WITH SCORE 17287.357
AT ITER 2497 NEW BEST:: SOT 64330 SOS 44351 HAS SOPS 44351 HAS SOUS 17242 HAS SOUPS 17242 WITH SCORE 17286.351
AT ITER 2514 NEW BEST:: SOT 64312 SOS 44398 HAS SOPS 44398 HAS SOUS 17239 HAS SOUPS 17239 WITH SCORE 17283.398
AT ITER 2515 NEW BEST:: SOT 64313 SOS 44399 HAS SOPS 44399 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17230.399
AT ITER 2607 NEW BEST:: SOT 64315 SOS 44401 HAS SOPS 44401 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17198.401
AT ITER 2664 NEW BEST:: SOT 64313 SOS 44391 HAS SOPS 44391 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17196.391
AT ITER 2667 NEW BEST:: SOT 64300 SOS 44678 HAS SOPS 44678 HAS SOUS 17151 HAS SOUPS 17151 WITH SCORE 17195.678
AT ITER 2756 NEW BEST:: SOT 64300 SOS 44662 HAS SOPS 44662 HAS SOUS 17151 HAS SOUPS 17151 WITH SCORE 17195.662
AT ITER 2763 NEW BEST:: SOT 64297 SOS 44659 HAS SOPS 44659 HAS SOUS 17140 HAS SOUPS 17140 WITH SCORE 17184.659
AT ITER 2786 NEW BEST:: SOT 64297 SOS 44659 HAS SOPS 44659 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17182.659
AT ITER 2842 NEW BEST:: SOT 64293 SOS 44655 HAS SOPS 44655 HAS SOUS 17126 HAS SOUPS 17126 WITH SCORE 17170.655
AT ITER 2871 NEW BEST:: SOT 64293 SOS 46268 HAS SOPS 46268 HAS SOUS 17079 HAS SOUPS 17079 WITH SCORE 17125.268
AT ITER 2878 NEW BEST:: SOT 64311 SOS 46286 HAS SOPS 46286 HAS SOUS 17065 HAS SOUPS 17065 WITH SCORE 17111.286
AT ITER 2911 NEW BEST:: SOT 64299 SOS 46274 HAS SOPS 46274 HAS SOUS 17053 HAS SOUPS 17053 WITH SCORE 17099.274
AT ITER 2947 NEW BEST:: SOT 64299 SOS 46323 HAS SOPS 46323 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17094.323
AT ITER 3008 NEW BEST:: SOT 64297 SOS 46322 HAS SOPS 46322 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17092.322
AT ITER 3041 NEW BEST:: SOT 64307 SOS 46152 HAS SOPS 46152 HAS SOUS 17040 HAS SOUPS 17040 WITH SCORE 17086.152
AT ITER 3161 NEW BEST:: SOT 64307 SOS 46184 HAS SOPS 46184 HAS SOUS 17033 HAS SOUPS 17033 WITH SCORE 17079.184
AT ITER 3231 NEW BEST:: SOT 64293 SOS 46170 HAS SOPS 46170 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17047.17
AT ITER 3239 NEW BEST:: SOT 64290 SOS 46167 HAS SOPS 46167 HAS SOUS 16998 HAS SOUPS 16998 WITH SCORE 17044.167
AT ITER 3349 NEW BEST:: SOT 64290 SOS 46167 HAS SOPS 46167 HAS SOUS 16988 HAS SOUPS 16988 WITH SCORE 17034.167
AT ITER 3352 NEW BEST:: SOT 64282 SOS 46159 HAS SOPS 46159 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17026.159
AT ITER 3353 NEW BEST:: SOT 64304 SOS 46181 HAS SOPS 46181 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 17019.181
AT ITER 3363 NEW BEST:: SOT 64304 SOS 46181 HAS SOPS 46181 HAS SOUS 16921 HAS SOUPS 16921 WITH SCORE 16967.181
AT ITER 3380 NEW BEST:: SOT 64273 SOS 46150 HAS SOPS 46150 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16951.15
AT ITER 3436 NEW BEST:: SOT 64251 SOS 46118 HAS SOPS 46118 HAS SOUS 16878 HAS SOUPS 16878 WITH SCORE 16924.118
AT ITER 3464 NEW BEST:: SOT 64251 SOS 46118 HAS SOPS 46118 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16921.118
AT ITER 3474 NEW BEST:: SOT 64251 SOS 46118 HAS SOPS 46118 HAS SOUS 16871 HAS SOUPS 16871 WITH SCORE 16917.118
AT ITER 3486 NEW BEST:: SOT 64237 SOS 46114 HAS SOPS 46114 HAS SOUS 16867 HAS SOUPS 16867 WITH SCORE 16913.114
AT ITER 3512 NEW BEST:: SOT 64237 SOS 46114 HAS SOPS 46114 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16896.114
AT ITER 3515 NEW BEST:: SOT 64237 SOS 46113 HAS SOPS 46113 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16896.113
AT ITER 3544 NEW BEST:: SOT 64221 SOS 46097 HAS SOPS 46097 HAS SOUS 16834 HAS SOUPS 16834 WITH SCORE 16880.097
AT ITER 3697 NEW BEST:: SOT 64221 SOS 46097 HAS SOPS 46097 HAS SOUS 16831 HAS SOUPS 16831 WITH SCORE 16877.097
AT ITER 3709 NEW BEST:: SOT 64099 SOS 45975 HAS SOPS 45975 HAS SOUS 16743 HAS SOUPS 16743 WITH SCORE 16788.975
AT ITER 3757 NEW BEST:: SOT 64099 SOS 45999 HAS SOPS 45999 HAS SOUS 16705 HAS SOUPS 16705 WITH SCORE 16750.999
AT ITER 3798 NEW BEST:: SOT 64099 SOS 45999 HAS SOPS 45999 HAS SOUS 16691 HAS SOUPS 16691 WITH SCORE 16736.999
AT ITER 3828 NEW BEST:: SOT 64083 SOS 45983 HAS SOPS 45983 HAS SOUS 16659 HAS SOUPS 16659 WITH SCORE 16704.983
AT ITER 4102 NEW BEST:: SOT 64074 SOS 45957 HAS SOPS 45957 HAS SOUS 16639 HAS SOUPS 16639 WITH SCORE 16684.957
AT ITER 4109 NEW BEST:: SOT 64073 SOS 45956 HAS SOPS 45956 HAS SOUS 16634 HAS SOUPS 16634 WITH SCORE 16679.956
AT ITER 4112 NEW BEST:: SOT 64065 SOS 45948 HAS SOPS 45948 HAS SOUS 16629 HAS SOUPS 16629 WITH SCORE 16674.948
AT ITER 4241 NEW BEST:: SOT 64069 SOS 45952 HAS SOPS 45952 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16662.952
AT ITER 4322 NEW BEST:: SOT 63972 SOS 45936 HAS SOPS 45936 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16626.936
AT ITER 4376 NEW BEST:: SOT 63972 SOS 45936 HAS SOPS 45936 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16620.936
AT ITER 4392 NEW BEST:: SOT 63974 SOS 45958 HAS SOPS 45958 HAS SOUS 16563 HAS SOUPS 16563 WITH SCORE 16608.958
AT ITER 4418 NEW BEST:: SOT 63954 SOS 45941 HAS SOPS 45941 HAS SOUS 16547 HAS SOUPS 16547 WITH SCORE 16592.941
AT ITER 4451 NEW BEST:: SOT 63946 SOS 45933 HAS SOPS 45933 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16584.933
AT ITER 4489 NEW BEST:: SOT 63939 SOS 45926 HAS SOPS 45926 HAS SOUS 16524 HAS SOUPS 16524 WITH SCORE 16569.926
AT ITER 4500 NEW BEST:: SOT 63935 SOS 45942 HAS SOPS 45942 HAS SOUS 16521 HAS SOUPS 16521 WITH SCORE 16566.942
AT ITER 4520 NEW BEST:: SOT 63933 SOS 45941 HAS SOPS 45941 HAS SOUS 16519 HAS SOUPS 16519 WITH SCORE 16564.941
AT ITER 4577 NEW BEST:: SOT 63918 SOS 45926 HAS SOPS 45926 HAS SOUS 16501 HAS SOUPS 16501 WITH SCORE 16546.926
AT ITER 4633 NEW BEST:: SOT 63914 SOS 45922 HAS SOPS 45922 HAS SOUS 16471 HAS SOUPS 16471 WITH SCORE 16516.922
AT ITER 4641 NEW BEST:: SOT 63896 SOS 45904 HAS SOPS 45904 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16490.904
AT ITER 4706 NEW BEST:: SOT 63896 SOS 45897 HAS SOPS 45897 HAS SOUS 16443 HAS SOUPS 16443 WITH SCORE 16488.897
AT ITER 4718 NEW BEST:: SOT 63868 SOS 45869 HAS SOPS 45869 HAS SOUS 16411 HAS SOUPS 16411 WITH SCORE 16456.869
AT ITER 4809 NEW BEST:: SOT 63849 SOS 45850 HAS SOPS 45850 HAS SOUS 16400 HAS SOUPS 16400 WITH SCORE 16445.85
AT ITER 4936 NEW BEST:: SOT 63852 SOS 45853 HAS SOPS 45853 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16437.853
AT ITER 5043 NEW BEST:: SOT 63846 SOS 45846 HAS SOPS 45846 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16437.846
AT ITER 5049 NEW BEST:: SOT 63846 SOS 45831 HAS SOPS 45831 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16434.831
AT ITER 5091 NEW BEST:: SOT 63850 SOS 45775 HAS SOPS 45775 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16431.775
AT ITER 5100 NEW BEST:: SOT 63838 SOS 45764 HAS SOPS 45764 HAS SOUS 16369 HAS SOUPS 16369 WITH SCORE 16414.764
AT ITER 5127 NEW BEST:: SOT 63846 SOS 45752 HAS SOPS 45752 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16410.752
AT ITER 5130 NEW BEST:: SOT 63842 SOS 45748 HAS SOPS 45748 HAS SOUS 16361 HAS SOUPS 16361 WITH SCORE 16406.748
AT ITER 5170 NEW BEST:: SOT 63820 SOS 45726 HAS SOPS 45726 HAS SOUS 16315 HAS SOUPS 16315 WITH SCORE 16360.726
AT ITER 5182 NEW BEST:: SOT 63820 SOS 45726 HAS SOPS 45726 HAS SOUS 16293 HAS SOUPS 16293 WITH SCORE 16338.726
AT ITER 5211 NEW BEST:: SOT 63818 SOS 45724 HAS SOPS 45724 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16337.724
AT ITER 5212 NEW BEST:: SOT 63812 SOS 45720 HAS SOPS 45720 HAS SOUS 16291 HAS SOUPS 16291 WITH SCORE 16336.72
AT ITER 5231 NEW BEST:: SOT 63812 SOS 45720 HAS SOPS 45720 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16334.72
AT ITER 5287 NEW BEST:: SOT 63812 SOS 45720 HAS SOPS 45720 HAS SOUS 16277 HAS SOUPS 16277 WITH SCORE 16322.72
AT ITER 5416 NEW BEST:: SOT 63812 SOS 45720 HAS SOPS 45720 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16315.72
AT ITER 5541 NEW BEST:: SOT 63812 SOS 45721 HAS SOPS 45721 HAS SOUS 16269 HAS SOUPS 16269 WITH SCORE 16314.721
AT ITER 5610 NEW BEST:: SOT 63812 SOS 45593 HAS SOPS 45593 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16313.593
AT ITER 5705 NEW BEST:: SOT 63812 SOS 45600 HAS SOPS 45600 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16306.6
AT ITER 5749 NEW BEST:: SOT 63812 SOS 45607 HAS SOPS 45607 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16292.607
AT ITER 5767 NEW BEST:: SOT 63812 SOS 45599 HAS SOPS 45599 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16292.599
AT ITER 5841 NEW BEST:: SOT 63770 SOS 45557 HAS SOPS 45557 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16249.557
AT ITER 5876 NEW BEST:: SOT 63770 SOS 45557 HAS SOPS 45557 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16246.557
AT ITER 5948 NEW BEST:: SOT 63770 SOS 45560 HAS SOPS 45560 HAS SOUS 16194 HAS SOUPS 16194 WITH SCORE 16239.56
AT ITER 5954 NEW BEST:: SOT 63770 SOS 45538 HAS SOPS 45538 HAS SOUS 16135 HAS SOUPS 16135 WITH SCORE 16180.538
AT ITER 6007 NEW BEST:: SOT 63770 SOS 45530 HAS SOPS 45530 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16175.53
AT ITER 6042 NEW BEST:: SOT 63770 SOS 45458 HAS SOPS 45458 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16174.458
AT ITER 6053 NEW BEST:: SOT 63770 SOS 44622 HAS SOPS 44622 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16173.622
AT ITER 6110 NEW BEST:: SOT 63770 SOS 44623 HAS SOPS 44623 HAS SOUS 16128 HAS SOUPS 16128 WITH SCORE 16172.623
AT ITER 6112 NEW BEST:: SOT 63768 SOS 44621 HAS SOPS 44621 HAS SOUS 16126 HAS SOUPS 16126 WITH SCORE 16170.621
AT ITER 6232 NEW BEST:: SOT 63771 SOS 45076 HAS SOPS 45076 HAS SOUS 16117 HAS SOUPS 16117 WITH SCORE 16162.076
AT ITER 6241 NEW BEST:: SOT 63771 SOS 45076 HAS SOPS 45076 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16158.076
AT ITER 6287 NEW BEST:: SOT 63771 SOS 45052 HAS SOPS 45052 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16157.052
AT ITER 6320 NEW BEST:: SOT 63771 SOS 45052 HAS SOPS 45052 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16156.052
AT ITER 6344 NEW BEST:: SOT 63811 SOS 45092 HAS SOPS 45092 HAS SOUS 16092 HAS SOUPS 16092 WITH SCORE 16137.092
AT ITER 6451 NEW BEST:: SOT 63811 SOS 44708 HAS SOPS 44708 HAS SOUS 16089 HAS SOUPS 16089 WITH SCORE 16133.708
AT ITER 6614 NEW BEST:: SOT 63811 SOS 44708 HAS SOPS 44708 HAS SOUS 16085 HAS SOUPS 16085 WITH SCORE 16129.708
AT ITER 6624 NEW BEST:: SOT 63812 SOS 44709 HAS SOPS 44709 HAS SOUS 16074 HAS SOUPS 16074 WITH SCORE 16118.709
AT ITER 6800 NEW BEST:: SOT 63800 SOS 44697 HAS SOPS 44697 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16106.697
AT ITER 6919 NEW BEST:: SOT 63800 SOS 44569 HAS SOPS 44569 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16106.569
AT ITER 6937 NEW BEST:: SOT 63800 SOS 44553 HAS SOPS 44553 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16106.553
AT ITER 6950 NEW BEST:: SOT 63800 SOS 44556 HAS SOPS 44556 HAS SOUS 16053 HAS SOUPS 16053 WITH SCORE 16097.556
AT ITER 7061 NEW BEST:: SOT 63796 SOS 44552 HAS SOPS 44552 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16093.552
AT ITER 7133 NEW BEST:: SOT 63796 SOS 44552 HAS SOPS 44552 HAS SOUS 16048 HAS SOUPS 16048 WITH SCORE 16092.552
AT ITER 7139 NEW BEST:: SOT 63799 SOS 44542 HAS SOPS 44542 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16090.542
AT ITER 7182 NEW BEST:: SOT 63791 SOS 44534 HAS SOPS 44534 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16082.534
AT ITER 7302 NEW BEST:: SOT 63783 SOS 44526 HAS SOPS 44526 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16067.526
AT ITER 7548 NEW BEST:: SOT 63778 SOS 44521 HAS SOPS 44521 HAS SOUS 16016 HAS SOUPS 16016 WITH SCORE 16060.521
AT ITER 7604 NEW BEST:: SOT 63778 SOS 44521 HAS SOPS 44521 HAS SOUS 16008 HAS SOUPS 16008 WITH SCORE 16052.521
AT ITER 7832 NEW BEST:: SOT 63778 SOS 44521 HAS SOPS 44521 HAS SOUS 16000 HAS SOUPS 16000 WITH SCORE 16044.521
AT ITER 7989 NEW BEST:: SOT 63778 SOS 44523 HAS SOPS 44523 HAS SOUS 15998 HAS SOUPS 15998 WITH SCORE 16042.523
AT ITER 8099 NEW BEST:: SOT 63778 SOS 44523 HAS SOPS 44523 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16040.523
AT ITER 8165 NEW BEST:: SOT 63778 SOS 44523 HAS SOPS 44523 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16030.523
AT ITER 8241 NEW BEST:: SOT 63778 SOS 44011 HAS SOPS 44011 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16030.011
AT ITER 8661 NEW BEST:: SOT 63752 SOS 43985 HAS SOPS 43985 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16026.985
AT ITER 8727 NEW BEST:: SOT 63746 SOS 43979 HAS SOPS 43979 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 16012.979
AT ITER 8779 NEW BEST:: SOT 63742 SOS 43975 HAS SOPS 43975 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 16008.975
AT ITER 8884 NEW BEST:: SOT 63744 SOS 43977 HAS SOPS 43977 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15995.977
AT ITER 8945 NEW BEST:: SOT 63720 SOS 43945 HAS SOPS 43945 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15969.945
AT ITER 8976 NEW BEST:: SOT 63694 SOS 43919 HAS SOPS 43919 HAS SOUS 15882 HAS SOUPS 15882 WITH SCORE 15925.919
AT ITER 9177 NEW BEST:: SOT 63694 SOS 43919 HAS SOPS 43919 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15923.919
AT ITER 9222 NEW BEST:: SOT 63694 SOS 43855 HAS SOPS 43855 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15923.855
AT ITER 9258 NEW BEST:: SOT 63692 SOS 43853 HAS SOPS 43853 HAS SOUS 15878 HAS SOUPS 15878 WITH SCORE 15921.853
AT ITER 9277 NEW BEST:: SOT 63692 SOS 43853 HAS SOPS 43853 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15915.853
AT ITER 9324 NEW BEST:: SOT 63692 SOS 43301 HAS SOPS 43301 HAS SOUS 15868 HAS SOUPS 15868 WITH SCORE 15911.301
AT ITER 9435 NEW BEST:: SOT 63698 SOS 43307 HAS SOPS 43307 HAS SOUS 15867 HAS SOUPS 15867 WITH SCORE 15910.307
AT ITER 9446 NEW BEST:: SOT 63675 SOS 43284 HAS SOPS 43284 HAS SOUS 15850 HAS SOUPS 15850 WITH SCORE 15893.284
AT ITER 9607 NEW BEST:: SOT 63675 SOS 43092 HAS SOPS 43092 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15890.092
AT ITER 9743 NEW BEST:: SOT 63658 SOS 43075 HAS SOPS 43075 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15869.075
AT ITER 9929 NEW BEST:: SOT 63658 SOS 43099 HAS SOPS 43099 HAS SOUS 15825 HAS SOUPS 15825 WITH SCORE 15868.099
AT ITER 9989 NEW BEST:: SOT 63652 SOS 43093 HAS SOPS 43093 HAS SOUS 15809 HAS SOUPS 15809 WITH SCORE 15852.093
STATE_SPACE STATES 52537 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 54600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678901831883

--------------------
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="PermAdmissibility-PT-01"
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 PermAdmissibility-PT-01, 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 r267-smll-167863541900512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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