Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484200456.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 DES-PT-30b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484200456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 7.1K Feb 26 15:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 15:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 26 15:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 15:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 15:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 103K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678372863066

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=DES-PT-30b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 14:41:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 14:41:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 14:41:04] [INFO ] Load time of PNML (sax parser for PT used): 59 ms
[2023-03-09 14:41:04] [INFO ] Transformed 399 places.
[2023-03-09 14:41:04] [INFO ] Transformed 350 transitions.
[2023-03-09 14:41:04] [INFO ] Found NUPN structural information;
[2023-03-09 14:41:04] [INFO ] Parsed PT model containing 399 places and 350 transitions and 1143 arcs in 123 ms.
[2023-03-09 14:41:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 399 places, 350 transitions and 1143 arcs took 6 ms.
Total runtime 155 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 30b
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: 399 places, 350 transitions, 1143 arcs.
AT ITER 0 NEW BEST:: SOT 84133 SOS 16091 HAS SOPS 16091 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14266.091
AT ITER 9 NEW BEST:: SOT 84107 SOS 16732 HAS SOPS 16732 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14262.732
AT ITER 23 NEW BEST:: SOT 84104 SOS 16716 HAS SOPS 16716 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14246.716
AT ITER 33 NEW BEST:: SOT 84073 SOS 16678 HAS SOPS 16678 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14207.678
AT ITER 64 NEW BEST:: SOT 83943 SOS 16555 HAS SOPS 16555 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14080.555
AT ITER 68 NEW BEST:: SOT 83899 SOS 16585 HAS SOPS 16585 HAS SOUS 14048 HAS SOUPS 14048 WITH SCORE 14064.585
AT ITER 95 NEW BEST:: SOT 83864 SOS 16550 HAS SOPS 16550 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14028.55
AT ITER 129 NEW BEST:: SOT 83825 SOS 16522 HAS SOPS 16522 HAS SOUS 13984 HAS SOUPS 13984 WITH SCORE 14000.522
AT ITER 153 NEW BEST:: SOT 83768 SOS 16464 HAS SOPS 16464 HAS SOUS 13926 HAS SOUPS 13926 WITH SCORE 13942.464
AT ITER 174 NEW BEST:: SOT 83763 SOS 16459 HAS SOPS 16459 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13937.459
AT ITER 210 NEW BEST:: SOT 83763 SOS 16445 HAS SOPS 16445 HAS SOUS 13907 HAS SOUPS 13907 WITH SCORE 13923.445
AT ITER 222 NEW BEST:: SOT 83763 SOS 16445 HAS SOPS 16445 HAS SOUS 13906 HAS SOUPS 13906 WITH SCORE 13922.445
AT ITER 237 NEW BEST:: SOT 83763 SOS 16401 HAS SOPS 16401 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13921.401
AT ITER 250 NEW BEST:: SOT 83736 SOS 16373 HAS SOPS 16373 HAS SOUS 13877 HAS SOUPS 13877 WITH SCORE 13893.373
AT ITER 296 NEW BEST:: SOT 83736 SOS 16345 HAS SOPS 16345 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13865.345
AT ITER 359 NEW BEST:: SOT 83687 SOS 16338 HAS SOPS 16338 HAS SOUS 13799 HAS SOUPS 13799 WITH SCORE 13815.338
AT ITER 365 NEW BEST:: SOT 83687 SOS 16337 HAS SOPS 16337 HAS SOUS 13798 HAS SOUPS 13798 WITH SCORE 13814.337
AT ITER 391 NEW BEST:: SOT 83689 SOS 16306 HAS SOPS 16306 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13782.306
AT ITER 432 NEW BEST:: SOT 83681 SOS 16304 HAS SOPS 16304 HAS SOUS 13764 HAS SOUPS 13764 WITH SCORE 13780.304
AT ITER 434 NEW BEST:: SOT 83685 SOS 16303 HAS SOPS 16303 HAS SOUS 13762 HAS SOUPS 13762 WITH SCORE 13778.303
AT ITER 451 NEW BEST:: SOT 83668 SOS 16278 HAS SOPS 16278 HAS SOUS 13737 HAS SOUPS 13737 WITH SCORE 13753.278
AT ITER 461 NEW BEST:: SOT 83682 SOS 16272 HAS SOPS 16272 HAS SOUS 13737 HAS SOUPS 13737 WITH SCORE 13753.272
AT ITER 474 NEW BEST:: SOT 83597 SOS 16170 HAS SOPS 16170 HAS SOUS 13629 HAS SOUPS 13629 WITH SCORE 13645.17
AT ITER 482 NEW BEST:: SOT 83527 SOS 16118 HAS SOPS 16118 HAS SOUS 13566 HAS SOUPS 13566 WITH SCORE 13582.118
AT ITER 489 NEW BEST:: SOT 83510 SOS 16075 HAS SOPS 16075 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13540.075
AT ITER 522 NEW BEST:: SOT 82451 SOS 16256 HAS SOPS 16256 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12618.256
AT ITER 592 NEW BEST:: SOT 82232 SOS 16039 HAS SOPS 16039 HAS SOUS 12384 HAS SOUPS 12384 WITH SCORE 12400.039
AT ITER 611 NEW BEST:: SOT 82208 SOS 16039 HAS SOPS 16039 HAS SOUS 12383 HAS SOUPS 12383 WITH SCORE 12399.039
AT ITER 628 NEW BEST:: SOT 82186 SOS 16039 HAS SOPS 16039 HAS SOUS 12380 HAS SOUPS 12380 WITH SCORE 12396.039
AT ITER 630 NEW BEST:: SOT 82182 SOS 16009 HAS SOPS 16009 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12366.009
AT ITER 633 NEW BEST:: SOT 81894 SOS 17585 HAS SOPS 17585 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12221.585
AT ITER 687 NEW BEST:: SOT 81893 SOS 17570 HAS SOPS 17570 HAS SOUS 12187 HAS SOUPS 12187 WITH SCORE 12204.57
AT ITER 688 NEW BEST:: SOT 81886 SOS 17570 HAS SOPS 17570 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12203.57
AT ITER 690 NEW BEST:: SOT 81851 SOS 17529 HAS SOPS 17529 HAS SOUS 12144 HAS SOUPS 12144 WITH SCORE 12161.529
AT ITER 695 NEW BEST:: SOT 81851 SOS 17521 HAS SOPS 17521 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12153.521
AT ITER 698 NEW BEST:: SOT 81743 SOS 17472 HAS SOPS 17472 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12103.472
AT ITER 724 NEW BEST:: SOT 81733 SOS 17463 HAS SOPS 17463 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12094.463
AT ITER 769 NEW BEST:: SOT 81733 SOS 17462 HAS SOPS 17462 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12093.462
AT ITER 785 NEW BEST:: SOT 81733 SOS 17440 HAS SOPS 17440 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12071.44
AT ITER 790 NEW BEST:: SOT 81731 SOS 17437 HAS SOPS 17437 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12068.437
AT ITER 797 NEW BEST:: SOT 81726 SOS 17432 HAS SOPS 17432 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12063.432
AT ITER 853 NEW BEST:: SOT 81722 SOS 17427 HAS SOPS 17427 HAS SOUS 12041 HAS SOUPS 12041 WITH SCORE 12058.427
AT ITER 911 NEW BEST:: SOT 81722 SOS 17426 HAS SOPS 17426 HAS SOUS 12041 HAS SOUPS 12041 WITH SCORE 12058.426
AT ITER 967 NEW BEST:: SOT 81698 SOS 17419 HAS SOPS 17419 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12051.419
AT ITER 969 NEW BEST:: SOT 81690 SOS 17414 HAS SOPS 17414 HAS SOUS 12029 HAS SOUPS 12029 WITH SCORE 12046.414
AT ITER 976 NEW BEST:: SOT 81485 SOS 17217 HAS SOPS 17217 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11848.217
AT ITER 1037 NEW BEST:: SOT 80976 SOS 16749 HAS SOPS 16749 HAS SOUS 11363 HAS SOUPS 11363 WITH SCORE 11379.749
AT ITER 1074 NEW BEST:: SOT 80966 SOS 16732 HAS SOPS 16732 HAS SOUS 11346 HAS SOUPS 11346 WITH SCORE 11362.732
AT ITER 1103 NEW BEST:: SOT 80901 SOS 16624 HAS SOPS 16624 HAS SOUS 11317 HAS SOUPS 11317 WITH SCORE 11333.624
AT ITER 1119 NEW BEST:: SOT 80889 SOS 16601 HAS SOPS 16601 HAS SOUS 11294 HAS SOUPS 11294 WITH SCORE 11310.601
AT ITER 1132 NEW BEST:: SOT 80882 SOS 16591 HAS SOPS 16591 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11300.591
AT ITER 1162 NEW BEST:: SOT 80832 SOS 16541 HAS SOPS 16541 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11250.541
AT ITER 1178 NEW BEST:: SOT 80796 SOS 16489 HAS SOPS 16489 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11195.489
AT ITER 1202 NEW BEST:: SOT 80757 SOS 16321 HAS SOPS 16321 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11171.321
AT ITER 1254 NEW BEST:: SOT 80745 SOS 16309 HAS SOPS 16309 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11149.309
AT ITER 1333 NEW BEST:: SOT 80718 SOS 16313 HAS SOPS 16313 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11137.313
AT ITER 1345 NEW BEST:: SOT 80710 SOS 16329 HAS SOPS 16329 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11129.329
AT ITER 1356 NEW BEST:: SOT 80669 SOS 16402 HAS SOPS 16402 HAS SOUS 11101 HAS SOUPS 11101 WITH SCORE 11117.402
AT ITER 1360 NEW BEST:: SOT 80667 SOS 16403 HAS SOPS 16403 HAS SOUS 11100 HAS SOUPS 11100 WITH SCORE 11116.403
AT ITER 1506 NEW BEST:: SOT 80637 SOS 16437 HAS SOPS 16437 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11086.437
AT ITER 1527 NEW BEST:: SOT 80636 SOS 16436 HAS SOPS 16436 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11084.436
AT ITER 1536 NEW BEST:: SOT 80445 SOS 16417 HAS SOPS 16417 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10923.417
AT ITER 1538 NEW BEST:: SOT 80402 SOS 16331 HAS SOPS 16331 HAS SOUS 10821 HAS SOUPS 10821 WITH SCORE 10837.331
AT ITER 1557 NEW BEST:: SOT 80360 SOS 16243 HAS SOPS 16243 HAS SOUS 10733 HAS SOUPS 10733 WITH SCORE 10749.243
AT ITER 1559 NEW BEST:: SOT 80345 SOS 16215 HAS SOPS 16215 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10721.215
AT ITER 1596 NEW BEST:: SOT 80331 SOS 16201 HAS SOPS 16201 HAS SOUS 10691 HAS SOUPS 10691 WITH SCORE 10707.201
AT ITER 1687 NEW BEST:: SOT 80298 SOS 16195 HAS SOPS 16195 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10701.195
AT ITER 1784 NEW BEST:: SOT 80292 SOS 16144 HAS SOPS 16144 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10689.144
AT ITER 1889 NEW BEST:: SOT 80282 SOS 16133 HAS SOPS 16133 HAS SOUS 10662 HAS SOUPS 10662 WITH SCORE 10678.133
AT ITER 1913 NEW BEST:: SOT 80282 SOS 16133 HAS SOPS 16133 HAS SOUS 10661 HAS SOUPS 10661 WITH SCORE 10677.133
AT ITER 1925 NEW BEST:: SOT 80237 SOS 16087 HAS SOPS 16087 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10631.087
AT ITER 1927 NEW BEST:: SOT 80236 SOS 16086 HAS SOPS 16086 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10630.086
AT ITER 2035 NEW BEST:: SOT 80234 SOS 16077 HAS SOPS 16077 HAS SOUS 10611 HAS SOUPS 10611 WITH SCORE 10627.077
AT ITER 2086 NEW BEST:: SOT 80226 SOS 16069 HAS SOPS 16069 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10619.069
AT ITER 2094 NEW BEST:: SOT 80226 SOS 16061 HAS SOPS 16061 HAS SOUS 10600 HAS SOUPS 10600 WITH SCORE 10616.061
AT ITER 2102 NEW BEST:: SOT 80226 SOS 16053 HAS SOPS 16053 HAS SOUS 10598 HAS SOUPS 10598 WITH SCORE 10614.053
AT ITER 2148 NEW BEST:: SOT 80199 SOS 16020 HAS SOPS 16020 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10580.02
AT ITER 2213 NEW BEST:: SOT 80194 SOS 15981 HAS SOPS 15981 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10540.981
AT ITER 2259 NEW BEST:: SOT 80188 SOS 15975 HAS SOPS 15975 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10534.975
AT ITER 2346 NEW BEST:: SOT 80169 SOS 15960 HAS SOPS 15960 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10518.96
AT ITER 2394 NEW BEST:: SOT 80169 SOS 15948 HAS SOPS 15948 HAS SOUS 10491 HAS SOUPS 10491 WITH SCORE 10506.948
AT ITER 2407 NEW BEST:: SOT 80183 SOS 15962 HAS SOPS 15962 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10500.962
AT ITER 2409 NEW BEST:: SOT 80171 SOS 15938 HAS SOPS 15938 HAS SOUS 10467 HAS SOUPS 10467 WITH SCORE 10482.938
AT ITER 2442 NEW BEST:: SOT 80166 SOS 15933 HAS SOPS 15933 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10477.933
AT ITER 2466 NEW BEST:: SOT 80166 SOS 15935 HAS SOPS 15935 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10475.935
AT ITER 2501 NEW BEST:: SOT 80175 SOS 15933 HAS SOPS 15933 HAS SOUS 10458 HAS SOUPS 10458 WITH SCORE 10473.933
AT ITER 2511 NEW BEST:: SOT 80128 SOS 15886 HAS SOPS 15886 HAS SOUS 10457 HAS SOUPS 10457 WITH SCORE 10472.886
AT ITER 2522 NEW BEST:: SOT 80119 SOS 15875 HAS SOPS 15875 HAS SOUS 10446 HAS SOUPS 10446 WITH SCORE 10461.875
AT ITER 2555 NEW BEST:: SOT 80111 SOS 15869 HAS SOPS 15869 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10458.869
AT ITER 2575 NEW BEST:: SOT 80110 SOS 15868 HAS SOPS 15868 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10457.868
AT ITER 2607 NEW BEST:: SOT 80104 SOS 15864 HAS SOPS 15864 HAS SOUS 10438 HAS SOUPS 10438 WITH SCORE 10453.864
AT ITER 2613 NEW BEST:: SOT 80040 SOS 15887 HAS SOPS 15887 HAS SOUS 10404 HAS SOUPS 10404 WITH SCORE 10419.887
AT ITER 2619 NEW BEST:: SOT 80040 SOS 15876 HAS SOPS 15876 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10408.876
AT ITER 2639 NEW BEST:: SOT 79914 SOS 15760 HAS SOPS 15760 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10281.76
AT ITER 2646 NEW BEST:: SOT 79911 SOS 15759 HAS SOPS 15759 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10280.759
AT ITER 2661 NEW BEST:: SOT 79880 SOS 15735 HAS SOPS 15735 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10236.735
AT ITER 2663 NEW BEST:: SOT 79871 SOS 15726 HAS SOPS 15726 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10227.726
AT ITER 2728 NEW BEST:: SOT 79843 SOS 15705 HAS SOPS 15705 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10181.705
AT ITER 2778 NEW BEST:: SOT 79800 SOS 15668 HAS SOPS 15668 HAS SOUS 10129 HAS SOUPS 10129 WITH SCORE 10144.668
AT ITER 2789 NEW BEST:: SOT 79800 SOS 15661 HAS SOPS 15661 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10137.661
AT ITER 2809 NEW BEST:: SOT 79796 SOS 15344 HAS SOPS 15344 HAS SOUS 10099 HAS SOUPS 10099 WITH SCORE 10114.344
AT ITER 2848 NEW BEST:: SOT 79806 SOS 15343 HAS SOPS 15343 HAS SOUS 10098 HAS SOUPS 10098 WITH SCORE 10113.343
AT ITER 2893 NEW BEST:: SOT 79801 SOS 15338 HAS SOPS 15338 HAS SOUS 10090 HAS SOUPS 10090 WITH SCORE 10105.338
AT ITER 2929 NEW BEST:: SOT 79806 SOS 15337 HAS SOPS 15337 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10104.337
AT ITER 2968 NEW BEST:: SOT 79767 SOS 15326 HAS SOPS 15326 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10093.326
AT ITER 2970 NEW BEST:: SOT 79755 SOS 15300 HAS SOPS 15300 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10069.3
AT ITER 3025 NEW BEST:: SOT 79765 SOS 13437 HAS SOPS 13437 HAS SOUS 10006 HAS SOUPS 10006 WITH SCORE 10019.437
AT ITER 3028 NEW BEST:: SOT 79755 SOS 13417 HAS SOPS 13417 HAS SOUS 9986 HAS SOUPS 9986 WITH SCORE 9999.417
AT ITER 3084 NEW BEST:: SOT 79744 SOS 13402 HAS SOPS 13402 HAS SOUS 9953 HAS SOUPS 9953 WITH SCORE 9966.402
AT ITER 3085 NEW BEST:: SOT 79750 SOS 13394 HAS SOPS 13394 HAS SOUS 9945 HAS SOUPS 9945 WITH SCORE 9958.394
AT ITER 3086 NEW BEST:: SOT 79749 SOS 13363 HAS SOPS 13363 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9956.363
AT ITER 3268 NEW BEST:: SOT 79741 SOS 13333 HAS SOPS 13333 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9948.333
AT ITER 3277 NEW BEST:: SOT 79697 SOS 13259 HAS SOPS 13259 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9915.259
AT ITER 3279 NEW BEST:: SOT 79672 SOS 13309 HAS SOPS 13309 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9910.309
AT ITER 3336 NEW BEST:: SOT 79655 SOS 13292 HAS SOPS 13292 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9910.292
AT ITER 3344 NEW BEST:: SOT 79653 SOS 13290 HAS SOPS 13290 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9908.29
AT ITER 3381 NEW BEST:: SOT 79668 SOS 13288 HAS SOPS 13288 HAS SOUS 9870 HAS SOUPS 9870 WITH SCORE 9883.288
AT ITER 3448 NEW BEST:: SOT 79667 SOS 13287 HAS SOPS 13287 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9881.287
AT ITER 3465 NEW BEST:: SOT 79667 SOS 13286 HAS SOPS 13286 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9880.286
AT ITER 3488 NEW BEST:: SOT 79625 SOS 13258 HAS SOPS 13258 HAS SOUS 9839 HAS SOUPS 9839 WITH SCORE 9852.258
AT ITER 3495 NEW BEST:: SOT 79590 SOS 13169 HAS SOPS 13169 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9763.169
AT ITER 3555 NEW BEST:: SOT 79604 SOS 13161 HAS SOPS 13161 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9755.161
AT ITER 3580 NEW BEST:: SOT 79582 SOS 13128 HAS SOPS 13128 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9731.128
AT ITER 3611 NEW BEST:: SOT 79570 SOS 13112 HAS SOPS 13112 HAS SOUS 9687 HAS SOUPS 9687 WITH SCORE 9700.112
AT ITER 3640 NEW BEST:: SOT 79568 SOS 13110 HAS SOPS 13110 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9698.11
AT ITER 3658 NEW BEST:: SOT 79567 SOS 13109 HAS SOPS 13109 HAS SOUS 9683 HAS SOUPS 9683 WITH SCORE 9696.109
AT ITER 3669 NEW BEST:: SOT 79557 SOS 13099 HAS SOPS 13099 HAS SOUS 9673 HAS SOUPS 9673 WITH SCORE 9686.099
AT ITER 3678 NEW BEST:: SOT 79552 SOS 13053 HAS SOPS 13053 HAS SOUS 9668 HAS SOUPS 9668 WITH SCORE 9681.053
AT ITER 3691 NEW BEST:: SOT 79548 SOS 13034 HAS SOPS 13034 HAS SOUS 9649 HAS SOUPS 9649 WITH SCORE 9662.034
AT ITER 3771 NEW BEST:: SOT 79562 SOS 13038 HAS SOPS 13038 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9659.038
AT ITER 3890 NEW BEST:: SOT 79544 SOS 13013 HAS SOPS 13013 HAS SOUS 9610 HAS SOUPS 9610 WITH SCORE 9623.013
AT ITER 3913 NEW BEST:: SOT 79538 SOS 13001 HAS SOPS 13001 HAS SOUS 9598 HAS SOUPS 9598 WITH SCORE 9611.001
AT ITER 3964 NEW BEST:: SOT 79514 SOS 12950 HAS SOPS 12950 HAS SOUS 9547 HAS SOUPS 9547 WITH SCORE 9559.95
AT ITER 4049 NEW BEST:: SOT 79514 SOS 12943 HAS SOPS 12943 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9552.943
AT ITER 4093 NEW BEST:: SOT 79501 SOS 12942 HAS SOPS 12942 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9544.942
AT ITER 4099 NEW BEST:: SOT 79476 SOS 12903 HAS SOPS 12903 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9505.903
AT ITER 4105 NEW BEST:: SOT 79470 SOS 12896 HAS SOPS 12896 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9496.896
AT ITER 4111 NEW BEST:: SOT 79467 SOS 12912 HAS SOPS 12912 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9493.912
AT ITER 4117 NEW BEST:: SOT 79467 SOS 12886 HAS SOPS 12886 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9493.886
AT ITER 4119 NEW BEST:: SOT 79455 SOS 12871 HAS SOPS 12871 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9478.871
AT ITER 4157 NEW BEST:: SOT 79441 SOS 12837 HAS SOPS 12837 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9477.837
AT ITER 4160 NEW BEST:: SOT 79447 SOS 12877 HAS SOPS 12877 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9471.877
AT ITER 4182 NEW BEST:: SOT 79438 SOS 12859 HAS SOPS 12859 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9453.859
AT ITER 4226 NEW BEST:: SOT 79431 SOS 12845 HAS SOPS 12845 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9444.845
AT ITER 4308 NEW BEST:: SOT 79424 SOS 12838 HAS SOPS 12838 HAS SOUS 9424 HAS SOUPS 9424 WITH SCORE 9436.838
AT ITER 4314 NEW BEST:: SOT 79480 SOS 12983 HAS SOPS 12983 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9417.983
AT ITER 4402 NEW BEST:: SOT 79477 SOS 12989 HAS SOPS 12989 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9411.989
AT ITER 4414 NEW BEST:: SOT 79483 SOS 12966 HAS SOPS 12966 HAS SOUS 9376 HAS SOUPS 9376 WITH SCORE 9388.966
AT ITER 4613 NEW BEST:: SOT 79482 SOS 12965 HAS SOPS 12965 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9386.965
AT ITER 4616 NEW BEST:: SOT 79442 SOS 12865 HAS SOPS 12865 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9344.865
AT ITER 4620 NEW BEST:: SOT 79436 SOS 12859 HAS SOPS 12859 HAS SOUS 9326 HAS SOUPS 9326 WITH SCORE 9338.859
AT ITER 4632 NEW BEST:: SOT 79420 SOS 12867 HAS SOPS 12867 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9322.867
AT ITER 4792 NEW BEST:: SOT 79409 SOS 12840 HAS SOPS 12840 HAS SOUS 9283 HAS SOUPS 9283 WITH SCORE 9295.84
AT ITER 4851 NEW BEST:: SOT 79383 SOS 12877 HAS SOPS 12877 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9290.877
AT ITER 4951 NEW BEST:: SOT 79382 SOS 12876 HAS SOPS 12876 HAS SOUS 9276 HAS SOUPS 9276 WITH SCORE 9288.876
AT ITER 4954 NEW BEST:: SOT 79375 SOS 12869 HAS SOPS 12869 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9281.869
AT ITER 4982 NEW BEST:: SOT 79374 SOS 12868 HAS SOPS 12868 HAS SOUS 9267 HAS SOUPS 9267 WITH SCORE 9279.868
AT ITER 4988 NEW BEST:: SOT 79365 SOS 12867 HAS SOPS 12867 HAS SOUS 9266 HAS SOUPS 9266 WITH SCORE 9278.867
AT ITER 5000 NEW BEST:: SOT 79392 SOS 12838 HAS SOPS 12838 HAS SOUS 9265 HAS SOUPS 9265 WITH SCORE 9277.838
AT ITER 5008 NEW BEST:: SOT 79392 SOS 12822 HAS SOPS 12822 HAS SOUS 9265 HAS SOUPS 9265 WITH SCORE 9277.822
AT ITER 5091 NEW BEST:: SOT 79379 SOS 12828 HAS SOPS 12828 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9267.828
AT ITER 5144 NEW BEST:: SOT 79367 SOS 12797 HAS SOPS 12797 HAS SOUS 9244 HAS SOUPS 9244 WITH SCORE 9256.797
AT ITER 5201 NEW BEST:: SOT 79363 SOS 12797 HAS SOPS 12797 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9253.797
AT ITER 5283 NEW BEST:: SOT 79348 SOS 12752 HAS SOPS 12752 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9234.752
AT ITER 5402 NEW BEST:: SOT 79355 SOS 12727 HAS SOPS 12727 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9209.727
AT ITER 5475 NEW BEST:: SOT 79355 SOS 12722 HAS SOPS 12722 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9202.722
AT ITER 5506 NEW BEST:: SOT 79355 SOS 12704 HAS SOPS 12704 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9184.704
AT ITER 5513 NEW BEST:: SOT 79330 SOS 12636 HAS SOPS 12636 HAS SOUS 9138 HAS SOUPS 9138 WITH SCORE 9150.636
AT ITER 5582 NEW BEST:: SOT 79330 SOS 12594 HAS SOPS 12594 HAS SOUS 9138 HAS SOUPS 9138 WITH SCORE 9150.594
AT ITER 5589 NEW BEST:: SOT 79334 SOS 12595 HAS SOPS 12595 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9125.595
AT ITER 5682 NEW BEST:: SOT 79338 SOS 12583 HAS SOPS 12583 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9120.583
AT ITER 5705 NEW BEST:: SOT 79341 SOS 12549 HAS SOPS 12549 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9086.549
AT ITER 5723 NEW BEST:: SOT 79344 SOS 12547 HAS SOPS 12547 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9081.547
AT ITER 5732 NEW BEST:: SOT 79334 SOS 12534 HAS SOPS 12534 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9068.534
AT ITER 5763 NEW BEST:: SOT 79282 SOS 12482 HAS SOPS 12482 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9016.482
AT ITER 5789 NEW BEST:: SOT 79282 SOS 12460 HAS SOPS 12460 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9016.46
AT ITER 5802 NEW BEST:: SOT 79272 SOS 12447 HAS SOPS 12447 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 8998.447
AT ITER 5840 NEW BEST:: SOT 79251 SOS 12426 HAS SOPS 12426 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8977.426
AT ITER 5842 NEW BEST:: SOT 79251 SOS 12410 HAS SOPS 12410 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8973.41
AT ITER 5880 NEW BEST:: SOT 79256 SOS 12397 HAS SOPS 12397 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8960.397
AT ITER 5954 NEW BEST:: SOT 79251 SOS 12389 HAS SOPS 12389 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8952.389
AT ITER 6014 NEW BEST:: SOT 79259 SOS 12386 HAS SOPS 12386 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8949.386
AT ITER 6026 NEW BEST:: SOT 79256 SOS 12380 HAS SOPS 12380 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8943.38
AT ITER 6073 NEW BEST:: SOT 79256 SOS 12320 HAS SOPS 12320 HAS SOUS 8929 HAS SOUPS 8929 WITH SCORE 8941.32
AT ITER 6105 NEW BEST:: SOT 79260 SOS 12338 HAS SOPS 12338 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8936.338
AT ITER 6108 NEW BEST:: SOT 79253 SOS 12306 HAS SOPS 12306 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8888.306
AT ITER 6127 NEW BEST:: SOT 79231 SOS 12280 HAS SOPS 12280 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8862.28
AT ITER 6133 NEW BEST:: SOT 79230 SOS 12266 HAS SOPS 12266 HAS SOUS 8825 HAS SOUPS 8825 WITH SCORE 8837.266
AT ITER 6174 NEW BEST:: SOT 79230 SOS 12259 HAS SOPS 12259 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8817.259
AT ITER 6183 NEW BEST:: SOT 79230 SOS 12253 HAS SOPS 12253 HAS SOUS 8799 HAS SOUPS 8799 WITH SCORE 8811.253
AT ITER 6187 NEW BEST:: SOT 79225 SOS 12286 HAS SOPS 12286 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8801.286
AT ITER 6240 NEW BEST:: SOT 79226 SOS 12287 HAS SOPS 12287 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8790.287
AT ITER 6248 NEW BEST:: SOT 79226 SOS 12270 HAS SOPS 12270 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8773.27
AT ITER 6264 NEW BEST:: SOT 79216 SOS 12263 HAS SOPS 12263 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8766.263
AT ITER 6271 NEW BEST:: SOT 79188 SOS 12235 HAS SOPS 12235 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8738.235
AT ITER 6385 NEW BEST:: SOT 79187 SOS 12232 HAS SOPS 12232 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8738.232
AT ITER 6477 NEW BEST:: SOT 79187 SOS 12228 HAS SOPS 12228 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8734.228
AT ITER 6635 NEW BEST:: SOT 79187 SOS 12198 HAS SOPS 12198 HAS SOUS 8696 HAS SOUPS 8696 WITH SCORE 8708.198
AT ITER 6685 NEW BEST:: SOT 79179 SOS 12190 HAS SOPS 12190 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8700.19
AT ITER 6891 NEW BEST:: SOT 79178 SOS 12189 HAS SOPS 12189 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8700.189
AT ITER 6901 NEW BEST:: SOT 79178 SOS 12188 HAS SOPS 12188 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8700.188
AT ITER 6986 NEW BEST:: SOT 79171 SOS 12167 HAS SOPS 12167 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8693.167
AT ITER 7015 NEW BEST:: SOT 79170 SOS 12178 HAS SOPS 12178 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8691.178
AT ITER 7049 NEW BEST:: SOT 79160 SOS 12174 HAS SOPS 12174 HAS SOUS 8675 HAS SOUPS 8675 WITH SCORE 8687.174
AT ITER 7050 NEW BEST:: SOT 79224 SOS 12110 HAS SOPS 12110 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8646.11
AT ITER 7094 NEW BEST:: SOT 79188 SOS 12052 HAS SOPS 12052 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8607.052
AT ITER 7133 NEW BEST:: SOT 79188 SOS 12043 HAS SOPS 12043 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8604.043
AT ITER 7174 NEW BEST:: SOT 79187 SOS 12042 HAS SOPS 12042 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8603.042
AT ITER 7197 NEW BEST:: SOT 79186 SOS 12041 HAS SOPS 12041 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8601.041
AT ITER 7200 NEW BEST:: SOT 79176 SOS 12021 HAS SOPS 12021 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8581.021
AT ITER 7206 NEW BEST:: SOT 79172 SOS 12013 HAS SOPS 12013 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8573.013
AT ITER 7231 NEW BEST:: SOT 79174 SOS 12011 HAS SOPS 12011 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8572.011
AT ITER 7251 NEW BEST:: SOT 79170 SOS 12007 HAS SOPS 12007 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8570.007
AT ITER 7294 NEW BEST:: SOT 79170 SOS 11960 HAS SOPS 11960 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8568.96
AT ITER 7330 NEW BEST:: SOT 79189 SOS 11983 HAS SOPS 11983 HAS SOUS 8549 HAS SOUPS 8549 WITH SCORE 8560.983
AT ITER 7402 NEW BEST:: SOT 79189 SOS 11981 HAS SOPS 11981 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8558.981
AT ITER 7454 NEW BEST:: SOT 79180 SOS 11967 HAS SOPS 11967 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8544.967
AT ITER 7490 NEW BEST:: SOT 79177 SOS 11952 HAS SOPS 11952 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8544.952
AT ITER 7496 NEW BEST:: SOT 79177 SOS 11950 HAS SOPS 11950 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8542.95
AT ITER 7617 NEW BEST:: SOT 79175 SOS 11945 HAS SOPS 11945 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8537.945
AT ITER 7725 NEW BEST:: SOT 79175 SOS 11943 HAS SOPS 11943 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8535.943
AT ITER 7727 NEW BEST:: SOT 79159 SOS 11911 HAS SOPS 11911 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8503.911
AT ITER 7730 NEW BEST:: SOT 79161 SOS 11907 HAS SOPS 11907 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8499.907
AT ITER 7731 NEW BEST:: SOT 79152 SOS 11906 HAS SOPS 11906 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8498.906
AT ITER 7747 NEW BEST:: SOT 79151 SOS 11905 HAS SOPS 11905 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8496.905
AT ITER 7773 NEW BEST:: SOT 79146 SOS 11885 HAS SOPS 11885 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8496.885
AT ITER 7849 NEW BEST:: SOT 79143 SOS 11878 HAS SOPS 11878 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8489.878
AT ITER 8160 NEW BEST:: SOT 79142 SOS 11877 HAS SOPS 11877 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8487.877
AT ITER 8274 NEW BEST:: SOT 79142 SOS 11873 HAS SOPS 11873 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8487.873
AT ITER 8321 NEW BEST:: SOT 79129 SOS 11821 HAS SOPS 11821 HAS SOUS 8463 HAS SOUPS 8463 WITH SCORE 8474.821
AT ITER 8441 NEW BEST:: SOT 79112 SOS 11804 HAS SOPS 11804 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8457.804
AT ITER 8638 NEW BEST:: SOT 79106 SOS 11801 HAS SOPS 11801 HAS SOUS 8437 HAS SOUPS 8437 WITH SCORE 8448.801
AT ITER 8677 NEW BEST:: SOT 79086 SOS 11703 HAS SOPS 11703 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8375.703
AT ITER 8684 NEW BEST:: SOT 79078 SOS 11686 HAS SOPS 11686 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8359.686
AT ITER 8837 NEW BEST:: SOT 79079 SOS 11667 HAS SOPS 11667 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8340.667
AT ITER 8904 NEW BEST:: SOT 79083 SOS 11661 HAS SOPS 11661 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8333.661
AT ITER 8983 NEW BEST:: SOT 79087 SOS 11657 HAS SOPS 11657 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8333.657
AT ITER 9003 NEW BEST:: SOT 79086 SOS 11656 HAS SOPS 11656 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8332.656
AT ITER 9067 NEW BEST:: SOT 79086 SOS 11653 HAS SOPS 11653 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8329.653
AT ITER 9146 NEW BEST:: SOT 79086 SOS 11647 HAS SOPS 11647 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8323.647
AT ITER 9172 NEW BEST:: SOT 79084 SOS 11645 HAS SOPS 11645 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8319.645
AT ITER 9208 NEW BEST:: SOT 79084 SOS 11626 HAS SOPS 11626 HAS SOUS 8305 HAS SOUPS 8305 WITH SCORE 8316.626
AT ITER 9211 NEW BEST:: SOT 79070 SOS 11612 HAS SOPS 11612 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8302.612
AT ITER 9237 NEW BEST:: SOT 79067 SOS 11636 HAS SOPS 11636 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8296.636
AT ITER 9580 NEW BEST:: SOT 79067 SOS 11609 HAS SOPS 11609 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8295.609
AT ITER 9636 NEW BEST:: SOT 79062 SOS 11595 HAS SOPS 11595 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8287.595
AT ITER 9710 NEW BEST:: SOT 79044 SOS 11517 HAS SOPS 11517 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8194.517
AT ITER 9803 NEW BEST:: SOT 79025 SOS 11508 HAS SOPS 11508 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8185.508
AT ITER 9933 NEW BEST:: SOT 79014 SOS 11497 HAS SOPS 11497 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8163.497
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 6213668 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16124932 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-30b"
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 DES-PT-30b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484200456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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