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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 15:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 15:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 15:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 15:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 15:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 15:43 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 66K 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 1678366997034

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-00b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:03:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:03:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:03:18] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2023-03-09 13:03:18] [INFO ] Transformed 271 places.
[2023-03-09 13:03:18] [INFO ] Transformed 230 transitions.
[2023-03-09 13:03:18] [INFO ] Found NUPN structural information;
[2023-03-09 13:03:18] [INFO ] Parsed PT model containing 271 places and 230 transitions and 658 arcs in 112 ms.
[2023-03-09 13:03:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 271 places, 230 transitions and 658 arcs took 4 ms.
Total runtime 144 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 00b
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: 271 places, 230 transitions, 658 arcs.
AT ITER 0 NEW BEST:: SOT 38091 SOS 8232 HAS SOPS 8232 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7539.232
AT ITER 2 NEW BEST:: SOT 38091 SOS 8231 HAS SOPS 8231 HAS SOUS 7530 HAS SOUPS 7530 WITH SCORE 7538.231
AT ITER 9 NEW BEST:: SOT 38058 SOS 8225 HAS SOPS 8225 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7532.225
AT ITER 25 NEW BEST:: SOT 38060 SOS 8220 HAS SOPS 8220 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7527.22
AT ITER 86 NEW BEST:: SOT 38044 SOS 8207 HAS SOPS 8207 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7514.207
AT ITER 110 NEW BEST:: SOT 37961 SOS 8182 HAS SOPS 8182 HAS SOUS 7444 HAS SOUPS 7444 WITH SCORE 7452.182
AT ITER 161 NEW BEST:: SOT 37940 SOS 8123 HAS SOPS 8123 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7405.123
AT ITER 188 NEW BEST:: SOT 37940 SOS 8144 HAS SOPS 8144 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7398.144
AT ITER 214 NEW BEST:: SOT 37934 SOS 8112 HAS SOPS 8112 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7366.112
AT ITER 224 NEW BEST:: SOT 37934 SOS 8058 HAS SOPS 8058 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7352.058
AT ITER 243 NEW BEST:: SOT 37912 SOS 8020 HAS SOPS 8020 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7314.02
AT ITER 280 NEW BEST:: SOT 37912 SOS 8001 HAS SOPS 8001 HAS SOUS 7287 HAS SOUPS 7287 WITH SCORE 7295.001
AT ITER 300 NEW BEST:: SOT 37895 SOS 7993 HAS SOPS 7993 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7282.993
AT ITER 306 NEW BEST:: SOT 37813 SOS 7955 HAS SOPS 7955 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7244.955
AT ITER 309 NEW BEST:: SOT 37819 SOS 7957 HAS SOPS 7957 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7240.957
AT ITER 318 NEW BEST:: SOT 37819 SOS 7927 HAS SOPS 7927 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7210.927
AT ITER 348 NEW BEST:: SOT 37796 SOS 7858 HAS SOPS 7858 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7141.858
AT ITER 354 NEW BEST:: SOT 37755 SOS 7809 HAS SOPS 7809 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7092.809
AT ITER 366 NEW BEST:: SOT 37755 SOS 7797 HAS SOPS 7797 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7080.797
AT ITER 402 NEW BEST:: SOT 37755 SOS 7795 HAS SOPS 7795 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7078.795
AT ITER 425 NEW BEST:: SOT 37751 SOS 7783 HAS SOPS 7783 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7066.783
AT ITER 444 NEW BEST:: SOT 37623 SOS 7578 HAS SOPS 7578 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6850.578
AT ITER 470 NEW BEST:: SOT 37612 SOS 7565 HAS SOPS 7565 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6830.565
AT ITER 482 NEW BEST:: SOT 37547 SOS 7604 HAS SOPS 7604 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6792.604
AT ITER 498 NEW BEST:: SOT 37536 SOS 7515 HAS SOPS 7515 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6781.515
AT ITER 501 NEW BEST:: SOT 37533 SOS 7506 HAS SOPS 7506 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6766.506
AT ITER 509 NEW BEST:: SOT 37524 SOS 7483 HAS SOPS 7483 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6709.483
AT ITER 512 NEW BEST:: SOT 37538 SOS 7398 HAS SOPS 7398 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.398
AT ITER 518 NEW BEST:: SOT 37537 SOS 7395 HAS SOPS 7395 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6659.395
AT ITER 528 NEW BEST:: SOT 37513 SOS 7393 HAS SOPS 7393 HAS SOUS 6650 HAS SOUPS 6650 WITH SCORE 6657.393
AT ITER 532 NEW BEST:: SOT 37517 SOS 7392 HAS SOPS 7392 HAS SOUS 6618 HAS SOUPS 6618 WITH SCORE 6625.392
AT ITER 537 NEW BEST:: SOT 37516 SOS 7390 HAS SOPS 7390 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6621.39
AT ITER 544 NEW BEST:: SOT 37436 SOS 7359 HAS SOPS 7359 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6537.359
AT ITER 577 NEW BEST:: SOT 37436 SOS 7362 HAS SOPS 7362 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.362
AT ITER 585 NEW BEST:: SOT 37450 SOS 7559 HAS SOPS 7559 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6526.559
AT ITER 586 NEW BEST:: SOT 37433 SOS 7525 HAS SOPS 7525 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6492.525
AT ITER 590 NEW BEST:: SOT 37433 SOS 7506 HAS SOPS 7506 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6473.506
AT ITER 595 NEW BEST:: SOT 37432 SOS 7488 HAS SOPS 7488 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.488
AT ITER 624 NEW BEST:: SOT 37431 SOS 7486 HAS SOPS 7486 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.486
AT ITER 639 NEW BEST:: SOT 37429 SOS 7484 HAS SOPS 7484 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6452.484
AT ITER 658 NEW BEST:: SOT 37429 SOS 7443 HAS SOPS 7443 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6441.443
AT ITER 667 NEW BEST:: SOT 37420 SOS 7416 HAS SOPS 7416 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6414.416
AT ITER 695 NEW BEST:: SOT 37420 SOS 7413 HAS SOPS 7413 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6411.413
AT ITER 743 NEW BEST:: SOT 37420 SOS 7401 HAS SOPS 7401 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6400.401
AT ITER 759 NEW BEST:: SOT 37380 SOS 7387 HAS SOPS 7387 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6380.387
AT ITER 762 NEW BEST:: SOT 37370 SOS 7368 HAS SOPS 7368 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6369.368
AT ITER 769 NEW BEST:: SOT 37365 SOS 7363 HAS SOPS 7363 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6364.363
AT ITER 825 NEW BEST:: SOT 37360 SOS 7355 HAS SOPS 7355 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6356.355
AT ITER 844 NEW BEST:: SOT 37360 SOS 7351 HAS SOPS 7351 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6352.351
AT ITER 920 NEW BEST:: SOT 37359 SOS 7350 HAS SOPS 7350 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6351.35
AT ITER 956 NEW BEST:: SOT 37334 SOS 7334 HAS SOPS 7334 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6335.334
AT ITER 969 NEW BEST:: SOT 37340 SOS 7331 HAS SOPS 7331 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6332.331
AT ITER 1006 NEW BEST:: SOT 37306 SOS 7296 HAS SOPS 7296 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6297.296
AT ITER 1023 NEW BEST:: SOT 37302 SOS 7293 HAS SOPS 7293 HAS SOUS 6287 HAS SOUPS 6287 WITH SCORE 6294.293
AT ITER 1029 NEW BEST:: SOT 37287 SOS 7280 HAS SOPS 7280 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6281.28
AT ITER 1040 NEW BEST:: SOT 37281 SOS 7250 HAS SOPS 7250 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6252.25
AT ITER 1048 NEW BEST:: SOT 37270 SOS 7244 HAS SOPS 7244 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6241.244
AT ITER 1070 NEW BEST:: SOT 37270 SOS 7243 HAS SOPS 7243 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6240.243
AT ITER 1092 NEW BEST:: SOT 37213 SOS 7240 HAS SOPS 7240 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6230.24
AT ITER 1129 NEW BEST:: SOT 37207 SOS 7228 HAS SOPS 7228 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6224.228
AT ITER 1134 NEW BEST:: SOT 37202 SOS 7174 HAS SOPS 7174 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6214.174
AT ITER 1163 NEW BEST:: SOT 37202 SOS 7137 HAS SOPS 7137 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6177.137
AT ITER 1198 NEW BEST:: SOT 37219 SOS 7335 HAS SOPS 7335 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6171.335
AT ITER 1209 NEW BEST:: SOT 37189 SOS 7330 HAS SOPS 7330 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6124.33
AT ITER 1267 NEW BEST:: SOT 37189 SOS 7323 HAS SOPS 7323 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6117.323
AT ITER 1315 NEW BEST:: SOT 37220 SOS 7356 HAS SOPS 7356 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6115.356
AT ITER 1355 NEW BEST:: SOT 37212 SOS 7348 HAS SOPS 7348 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6107.348
AT ITER 1373 NEW BEST:: SOT 37206 SOS 7341 HAS SOPS 7341 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6106.341
AT ITER 1407 NEW BEST:: SOT 37202 SOS 7337 HAS SOPS 7337 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6102.337
AT ITER 1420 NEW BEST:: SOT 37210 SOS 7324 HAS SOPS 7324 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6089.324
AT ITER 1465 NEW BEST:: SOT 37200 SOS 7304 HAS SOPS 7304 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6074.304
AT ITER 1505 NEW BEST:: SOT 37196 SOS 7301 HAS SOPS 7301 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6070.301
AT ITER 1509 NEW BEST:: SOT 37168 SOS 7253 HAS SOPS 7253 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6021.253
AT ITER 1525 NEW BEST:: SOT 37171 SOS 7253 HAS SOPS 7253 HAS SOUS 6011 HAS SOUPS 6011 WITH SCORE 6018.253
AT ITER 1537 NEW BEST:: SOT 37160 SOS 7238 HAS SOPS 7238 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5997.238
AT ITER 1580 NEW BEST:: SOT 37168 SOS 7236 HAS SOPS 7236 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5996.236
AT ITER 1611 NEW BEST:: SOT 37164 SOS 7231 HAS SOPS 7231 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 5991.231
AT ITER 1640 NEW BEST:: SOT 37171 SOS 7238 HAS SOPS 7238 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 5987.238
AT ITER 1649 NEW BEST:: SOT 37171 SOS 7237 HAS SOPS 7237 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5986.237
AT ITER 1664 NEW BEST:: SOT 37165 SOS 7231 HAS SOPS 7231 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5978.231
AT ITER 1683 NEW BEST:: SOT 37157 SOS 7199 HAS SOPS 7199 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5978.199
AT ITER 1705 NEW BEST:: SOT 37153 SOS 7195 HAS SOPS 7195 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5972.195
AT ITER 1710 NEW BEST:: SOT 37153 SOS 7195 HAS SOPS 7195 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5967.195
AT ITER 1734 NEW BEST:: SOT 37153 SOS 7191 HAS SOPS 7191 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5962.191
AT ITER 1755 NEW BEST:: SOT 37140 SOS 7166 HAS SOPS 7166 HAS SOUS 5930 HAS SOUPS 5930 WITH SCORE 5937.166
AT ITER 1761 NEW BEST:: SOT 37150 SOS 7154 HAS SOPS 7154 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5931.154
AT ITER 1785 NEW BEST:: SOT 37134 SOS 7147 HAS SOPS 7147 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5908.147
AT ITER 1790 NEW BEST:: SOT 37131 SOS 7095 HAS SOPS 7095 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5896.095
AT ITER 1801 NEW BEST:: SOT 37122 SOS 7077 HAS SOPS 7077 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5891.077
AT ITER 1820 NEW BEST:: SOT 37120 SOS 7071 HAS SOPS 7071 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5873.071
AT ITER 1843 NEW BEST:: SOT 37119 SOS 7049 HAS SOPS 7049 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5867.049
AT ITER 1875 NEW BEST:: SOT 37116 SOS 7044 HAS SOPS 7044 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5862.044
AT ITER 1880 NEW BEST:: SOT 37090 SOS 7018 HAS SOPS 7018 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5853.018
AT ITER 1901 NEW BEST:: SOT 37092 SOS 6994 HAS SOPS 6994 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5828.994
AT ITER 1916 NEW BEST:: SOT 37093 SOS 6973 HAS SOPS 6973 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5807.973
AT ITER 1944 NEW BEST:: SOT 37093 SOS 6970 HAS SOPS 6970 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5804.97
AT ITER 1952 NEW BEST:: SOT 37073 SOS 6929 HAS SOPS 6929 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5773.929
AT ITER 1978 NEW BEST:: SOT 37069 SOS 6921 HAS SOPS 6921 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5769.921
AT ITER 2017 NEW BEST:: SOT 37058 SOS 6903 HAS SOPS 6903 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5751.903
AT ITER 2040 NEW BEST:: SOT 37026 SOS 6813 HAS SOPS 6813 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.813
AT ITER 2046 NEW BEST:: SOT 37032 SOS 6796 HAS SOPS 6796 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5684.796
AT ITER 2052 NEW BEST:: SOT 37032 SOS 6793 HAS SOPS 6793 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5681.793
AT ITER 2080 NEW BEST:: SOT 37031 SOS 6788 HAS SOPS 6788 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.788
AT ITER 2090 NEW BEST:: SOT 37035 SOS 6786 HAS SOPS 6786 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5674.786
AT ITER 2142 NEW BEST:: SOT 37033 SOS 6760 HAS SOPS 6760 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5671.76
AT ITER 2180 NEW BEST:: SOT 36948 SOS 6787 HAS SOPS 6787 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5660.787
AT ITER 2211 NEW BEST:: SOT 36905 SOS 6743 HAS SOPS 6743 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.743
AT ITER 2226 NEW BEST:: SOT 36901 SOS 6742 HAS SOPS 6742 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5613.742
AT ITER 2243 NEW BEST:: SOT 36901 SOS 6741 HAS SOPS 6741 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5612.741
AT ITER 2250 NEW BEST:: SOT 36893 SOS 6731 HAS SOPS 6731 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5610.731
AT ITER 2252 NEW BEST:: SOT 36893 SOS 6729 HAS SOPS 6729 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.729
AT ITER 2275 NEW BEST:: SOT 36890 SOS 6712 HAS SOPS 6712 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5599.712
AT ITER 2297 NEW BEST:: SOT 36876 SOS 6698 HAS SOPS 6698 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5597.698
AT ITER 2311 NEW BEST:: SOT 36889 SOS 6693 HAS SOPS 6693 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5595.693
AT ITER 2312 NEW BEST:: SOT 36852 SOS 6647 HAS SOPS 6647 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5543.647
AT ITER 2344 NEW BEST:: SOT 36852 SOS 6528 HAS SOPS 6528 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5539.528
AT ITER 2351 NEW BEST:: SOT 36848 SOS 6519 HAS SOPS 6519 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5530.519
AT ITER 2353 NEW BEST:: SOT 36822 SOS 6525 HAS SOPS 6525 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.525
AT ITER 2361 NEW BEST:: SOT 36820 SOS 6524 HAS SOPS 6524 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5517.524
AT ITER 2401 NEW BEST:: SOT 36851 SOS 6517 HAS SOPS 6517 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5510.517
AT ITER 2406 NEW BEST:: SOT 36851 SOS 6513 HAS SOPS 6513 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5506.513
AT ITER 2416 NEW BEST:: SOT 36853 SOS 6512 HAS SOPS 6512 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.512
AT ITER 2417 NEW BEST:: SOT 36855 SOS 6497 HAS SOPS 6497 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.497
AT ITER 2428 NEW BEST:: SOT 36854 SOS 6492 HAS SOPS 6492 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5491.492
AT ITER 2440 NEW BEST:: SOT 36847 SOS 6485 HAS SOPS 6485 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5467.485
AT ITER 2448 NEW BEST:: SOT 36847 SOS 6467 HAS SOPS 6467 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5467.467
AT ITER 2461 NEW BEST:: SOT 36850 SOS 6473 HAS SOPS 6473 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5460.473
AT ITER 2476 NEW BEST:: SOT 36868 SOS 6642 HAS SOPS 6642 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5459.642
AT ITER 2486 NEW BEST:: SOT 36912 SOS 6659 HAS SOPS 6659 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5456.659
AT ITER 2510 NEW BEST:: SOT 36900 SOS 6658 HAS SOPS 6658 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5455.658
AT ITER 2529 NEW BEST:: SOT 36873 SOS 6687 HAS SOPS 6687 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5450.687
AT ITER 2596 NEW BEST:: SOT 36822 SOS 6587 HAS SOPS 6587 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5381.587
AT ITER 2601 NEW BEST:: SOT 36794 SOS 6556 HAS SOPS 6556 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.556
AT ITER 2602 NEW BEST:: SOT 36795 SOS 6568 HAS SOPS 6568 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5346.568
AT ITER 2665 NEW BEST:: SOT 36794 SOS 6559 HAS SOPS 6559 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5337.559
AT ITER 2696 NEW BEST:: SOT 36774 SOS 6535 HAS SOPS 6535 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5313.535
AT ITER 2736 NEW BEST:: SOT 36774 SOS 6533 HAS SOPS 6533 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.533
AT ITER 2739 NEW BEST:: SOT 36775 SOS 6574 HAS SOPS 6574 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5281.574
AT ITER 2751 NEW BEST:: SOT 36766 SOS 6586 HAS SOPS 6586 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5274.586
AT ITER 2752 NEW BEST:: SOT 36760 SOS 6562 HAS SOPS 6562 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5242.562
AT ITER 2796 NEW BEST:: SOT 36751 SOS 6544 HAS SOPS 6544 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5233.544
AT ITER 2809 NEW BEST:: SOT 36749 SOS 6542 HAS SOPS 6542 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5233.542
AT ITER 2810 NEW BEST:: SOT 36753 SOS 6537 HAS SOPS 6537 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.537
AT ITER 2824 NEW BEST:: SOT 36752 SOS 6536 HAS SOPS 6536 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5226.536
AT ITER 2845 NEW BEST:: SOT 36747 SOS 6539 HAS SOPS 6539 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5210.539
AT ITER 2863 NEW BEST:: SOT 36741 SOS 6529 HAS SOPS 6529 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5200.529
AT ITER 2910 NEW BEST:: SOT 36738 SOS 6523 HAS SOPS 6523 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5194.523
AT ITER 2949 NEW BEST:: SOT 36717 SOS 6522 HAS SOPS 6522 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5177.522
AT ITER 2966 NEW BEST:: SOT 36699 SOS 6496 HAS SOPS 6496 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5158.496
AT ITER 3025 NEW BEST:: SOT 36701 SOS 6490 HAS SOPS 6490 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5158.49
AT ITER 3026 NEW BEST:: SOT 36699 SOS 6486 HAS SOPS 6486 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5154.486
AT ITER 3036 NEW BEST:: SOT 36699 SOS 6477 HAS SOPS 6477 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5147.477
AT ITER 3061 NEW BEST:: SOT 36698 SOS 6476 HAS SOPS 6476 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5146.476
AT ITER 3085 NEW BEST:: SOT 36697 SOS 6474 HAS SOPS 6474 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5144.474
AT ITER 3091 NEW BEST:: SOT 36697 SOS 6457 HAS SOPS 6457 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5144.457
AT ITER 3127 NEW BEST:: SOT 36696 SOS 6467 HAS SOPS 6467 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5134.467
AT ITER 3156 NEW BEST:: SOT 36693 SOS 6461 HAS SOPS 6461 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5131.461
AT ITER 3245 NEW BEST:: SOT 36684 SOS 6432 HAS SOPS 6432 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5102.432
AT ITER 3269 NEW BEST:: SOT 36684 SOS 6422 HAS SOPS 6422 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5092.422
AT ITER 3275 NEW BEST:: SOT 36701 SOS 6420 HAS SOPS 6420 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5091.42
AT ITER 3284 NEW BEST:: SOT 36697 SOS 6416 HAS SOPS 6416 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.416
AT ITER 3301 NEW BEST:: SOT 36698 SOS 6417 HAS SOPS 6417 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5085.417
AT ITER 3302 NEW BEST:: SOT 36718 SOS 6461 HAS SOPS 6461 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5083.461
AT ITER 3308 NEW BEST:: SOT 36718 SOS 6453 HAS SOPS 6453 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5079.453
AT ITER 3377 NEW BEST:: SOT 36717 SOS 6449 HAS SOPS 6449 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5076.449
AT ITER 3389 NEW BEST:: SOT 36713 SOS 6447 HAS SOPS 6447 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5074.447
AT ITER 3438 NEW BEST:: SOT 36713 SOS 6446 HAS SOPS 6446 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5073.446
AT ITER 3494 NEW BEST:: SOT 36713 SOS 6406 HAS SOPS 6406 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5033.406
AT ITER 3540 NEW BEST:: SOT 36708 SOS 6403 HAS SOPS 6403 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5030.403
AT ITER 3544 NEW BEST:: SOT 36689 SOS 6426 HAS SOPS 6426 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5027.426
AT ITER 3551 NEW BEST:: SOT 36690 SOS 6399 HAS SOPS 6399 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5025.399
AT ITER 3563 NEW BEST:: SOT 36688 SOS 6400 HAS SOPS 6400 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.4
AT ITER 3572 NEW BEST:: SOT 36688 SOS 6399 HAS SOPS 6399 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.399
AT ITER 3583 NEW BEST:: SOT 36688 SOS 6393 HAS SOPS 6393 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5018.393
AT ITER 3637 NEW BEST:: SOT 36688 SOS 6393 HAS SOPS 6393 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5017.393
AT ITER 3647 NEW BEST:: SOT 36688 SOS 6368 HAS SOPS 6368 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5017.368
AT ITER 3663 NEW BEST:: SOT 36671 SOS 6336 HAS SOPS 6336 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4985.336
AT ITER 3701 NEW BEST:: SOT 36629 SOS 6281 HAS SOPS 6281 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4930.281
AT ITER 3722 NEW BEST:: SOT 36624 SOS 6274 HAS SOPS 6274 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4923.274
AT ITER 3731 NEW BEST:: SOT 36622 SOS 6270 HAS SOPS 6270 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4919.27
AT ITER 3750 NEW BEST:: SOT 36614 SOS 6270 HAS SOPS 6270 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4914.27
AT ITER 3760 NEW BEST:: SOT 36612 SOS 6267 HAS SOPS 6267 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4911.267
AT ITER 3766 NEW BEST:: SOT 36612 SOS 6224 HAS SOPS 6224 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4908.224
AT ITER 3778 NEW BEST:: SOT 36612 SOS 6221 HAS SOPS 6221 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4908.221
AT ITER 3807 NEW BEST:: SOT 36608 SOS 6213 HAS SOPS 6213 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4900.213
AT ITER 3818 NEW BEST:: SOT 36610 SOS 6222 HAS SOPS 6222 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4899.222
AT ITER 3823 NEW BEST:: SOT 36635 SOS 6215 HAS SOPS 6215 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4892.215
AT ITER 3827 NEW BEST:: SOT 36627 SOS 6214 HAS SOPS 6214 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4889.214
AT ITER 3905 NEW BEST:: SOT 36609 SOS 6172 HAS SOPS 6172 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4847.172
AT ITER 3950 NEW BEST:: SOT 36606 SOS 6160 HAS SOPS 6160 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4838.16
AT ITER 4014 NEW BEST:: SOT 36606 SOS 6148 HAS SOPS 6148 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4838.148
AT ITER 4101 NEW BEST:: SOT 36606 SOS 6145 HAS SOPS 6145 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4830.145
AT ITER 4156 NEW BEST:: SOT 36604 SOS 6143 HAS SOPS 6143 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4825.143
AT ITER 4163 NEW BEST:: SOT 36593 SOS 6132 HAS SOPS 6132 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4814.132
AT ITER 4223 NEW BEST:: SOT 36592 SOS 6131 HAS SOPS 6131 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4813.131
AT ITER 4345 NEW BEST:: SOT 36579 SOS 6116 HAS SOPS 6116 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4798.116
AT ITER 4361 NEW BEST:: SOT 36573 SOS 6110 HAS SOPS 6110 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4792.11
AT ITER 4489 NEW BEST:: SOT 36573 SOS 6110 HAS SOPS 6110 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4783.11
AT ITER 4517 NEW BEST:: SOT 36575 SOS 6109 HAS SOPS 6109 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4782.109
AT ITER 4565 NEW BEST:: SOT 36573 SOS 6105 HAS SOPS 6105 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4781.105
AT ITER 4567 NEW BEST:: SOT 36569 SOS 6101 HAS SOPS 6101 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4779.101
AT ITER 4588 NEW BEST:: SOT 36569 SOS 6099 HAS SOPS 6099 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4778.099
AT ITER 4599 NEW BEST:: SOT 36568 SOS 6097 HAS SOPS 6097 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4776.097
AT ITER 4612 NEW BEST:: SOT 36568 SOS 6093 HAS SOPS 6093 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4772.093
AT ITER 4666 NEW BEST:: SOT 36557 SOS 6079 HAS SOPS 6079 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4758.079
AT ITER 4713 NEW BEST:: SOT 36541 SOS 6065 HAS SOPS 6065 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4744.065
AT ITER 4721 NEW BEST:: SOT 36528 SOS 6034 HAS SOPS 6034 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4702.034
AT ITER 4924 NEW BEST:: SOT 36519 SOS 6000 HAS SOPS 6000 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4694.0
AT ITER 4964 NEW BEST:: SOT 36519 SOS 6032 HAS SOPS 6032 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4687.032
AT ITER 4995 NEW BEST:: SOT 36524 SOS 6028 HAS SOPS 6028 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4670.028
AT ITER 5009 NEW BEST:: SOT 36529 SOS 6024 HAS SOPS 6024 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4670.024
AT ITER 5013 NEW BEST:: SOT 36530 SOS 6020 HAS SOPS 6020 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4667.02
AT ITER 5064 NEW BEST:: SOT 36508 SOS 5992 HAS SOPS 5992 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4649.992
AT ITER 5133 NEW BEST:: SOT 36509 SOS 5989 HAS SOPS 5989 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4644.989
AT ITER 5165 NEW BEST:: SOT 36516 SOS 5988 HAS SOPS 5988 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4643.988
AT ITER 5166 NEW BEST:: SOT 36513 SOS 5981 HAS SOPS 5981 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4636.981
AT ITER 5277 NEW BEST:: SOT 36508 SOS 5984 HAS SOPS 5984 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.984
AT ITER 5331 NEW BEST:: SOT 36503 SOS 5967 HAS SOPS 5967 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4622.967
AT ITER 5383 NEW BEST:: SOT 36500 SOS 5962 HAS SOPS 5962 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4617.962
AT ITER 5405 NEW BEST:: SOT 36494 SOS 5934 HAS SOPS 5934 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.934
AT ITER 5421 NEW BEST:: SOT 36492 SOS 5932 HAS SOPS 5932 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4609.932
AT ITER 5433 NEW BEST:: SOT 36490 SOS 5930 HAS SOPS 5930 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4607.93
AT ITER 5498 NEW BEST:: SOT 36490 SOS 5928 HAS SOPS 5928 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4606.928
AT ITER 5561 NEW BEST:: SOT 36490 SOS 5923 HAS SOPS 5923 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4596.923
AT ITER 5566 NEW BEST:: SOT 36485 SOS 5915 HAS SOPS 5915 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4588.915
AT ITER 5723 NEW BEST:: SOT 36492 SOS 5889 HAS SOPS 5889 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4586.889
AT ITER 5802 NEW BEST:: SOT 36494 SOS 5885 HAS SOPS 5885 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4582.885
AT ITER 5808 NEW BEST:: SOT 36480 SOS 5787 HAS SOPS 5787 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4576.787
AT ITER 5822 NEW BEST:: SOT 36479 SOS 5786 HAS SOPS 5786 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4575.786
AT ITER 5886 NEW BEST:: SOT 36476 SOS 5775 HAS SOPS 5775 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.775
AT ITER 5927 NEW BEST:: SOT 36476 SOS 5772 HAS SOPS 5772 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4561.772
AT ITER 5958 NEW BEST:: SOT 36476 SOS 5775 HAS SOPS 5775 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4560.775
AT ITER 6052 NEW BEST:: SOT 36475 SOS 5774 HAS SOPS 5774 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4559.774
AT ITER 6075 NEW BEST:: SOT 36474 SOS 5769 HAS SOPS 5769 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4554.769
AT ITER 6077 NEW BEST:: SOT 36473 SOS 5767 HAS SOPS 5767 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4552.767
AT ITER 6090 NEW BEST:: SOT 36472 SOS 5769 HAS SOPS 5769 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4551.769
AT ITER 6103 NEW BEST:: SOT 36469 SOS 5754 HAS SOPS 5754 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4545.754
AT ITER 6232 NEW BEST:: SOT 36468 SOS 5753 HAS SOPS 5753 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4544.753
AT ITER 6259 NEW BEST:: SOT 36470 SOS 5718 HAS SOPS 5718 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.718
AT ITER 6262 NEW BEST:: SOT 36468 SOS 5713 HAS SOPS 5713 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4539.713
AT ITER 6321 NEW BEST:: SOT 36464 SOS 5709 HAS SOPS 5709 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4539.709
AT ITER 6332 NEW BEST:: SOT 36462 SOS 5709 HAS SOPS 5709 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.709
AT ITER 6359 NEW BEST:: SOT 36462 SOS 5707 HAS SOPS 5707 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4536.707
AT ITER 6384 NEW BEST:: SOT 36460 SOS 5709 HAS SOPS 5709 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4534.709
AT ITER 6404 NEW BEST:: SOT 36459 SOS 5708 HAS SOPS 5708 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4533.708
AT ITER 6487 NEW BEST:: SOT 36455 SOS 5706 HAS SOPS 5706 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4531.706
AT ITER 6496 NEW BEST:: SOT 36452 SOS 5644 HAS SOPS 5644 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4520.644
AT ITER 6555 NEW BEST:: SOT 36429 SOS 5631 HAS SOPS 5631 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4507.631
AT ITER 6586 NEW BEST:: SOT 36440 SOS 5629 HAS SOPS 5629 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4506.629
AT ITER 6589 NEW BEST:: SOT 36436 SOS 5625 HAS SOPS 5625 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4502.625
AT ITER 6627 NEW BEST:: SOT 36436 SOS 5623 HAS SOPS 5623 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4500.623
AT ITER 6733 NEW BEST:: SOT 36436 SOS 5623 HAS SOPS 5623 HAS SOUS 4494 HAS SOUPS 4494 WITH SCORE 4499.623
AT ITER 6740 NEW BEST:: SOT 36428 SOS 5617 HAS SOPS 5617 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4493.617
AT ITER 6741 NEW BEST:: SOT 36428 SOS 5605 HAS SOPS 5605 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4490.605
AT ITER 6823 NEW BEST:: SOT 36427 SOS 5604 HAS SOPS 5604 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4489.604
AT ITER 6854 NEW BEST:: SOT 36411 SOS 5552 HAS SOPS 5552 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4473.552
AT ITER 6900 NEW BEST:: SOT 36401 SOS 5544 HAS SOPS 5544 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4468.544
AT ITER 6971 NEW BEST:: SOT 36402 SOS 5544 HAS SOPS 5544 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4462.544
AT ITER 7084 NEW BEST:: SOT 36396 SOS 5526 HAS SOPS 5526 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4447.526
AT ITER 7100 NEW BEST:: SOT 36397 SOS 5523 HAS SOPS 5523 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4444.523
AT ITER 7129 NEW BEST:: SOT 36393 SOS 5525 HAS SOPS 5525 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4442.525
AT ITER 7306 NEW BEST:: SOT 36372 SOS 5523 HAS SOPS 5523 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4423.523
AT ITER 7321 NEW BEST:: SOT 36371 SOS 5522 HAS SOPS 5522 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4422.522
AT ITER 7338 NEW BEST:: SOT 36371 SOS 5521 HAS SOPS 5521 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4422.521
AT ITER 7368 NEW BEST:: SOT 36368 SOS 5505 HAS SOPS 5505 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4406.505
AT ITER 7420 NEW BEST:: SOT 36352 SOS 5425 HAS SOPS 5425 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4399.425
AT ITER 7437 NEW BEST:: SOT 36350 SOS 5419 HAS SOPS 5419 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4395.419
AT ITER 7475 NEW BEST:: SOT 36348 SOS 5415 HAS SOPS 5415 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4392.415
AT ITER 7514 NEW BEST:: SOT 36323 SOS 5302 HAS SOPS 5302 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4360.302
AT ITER 7568 NEW BEST:: SOT 36329 SOS 5301 HAS SOPS 5301 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4359.301
AT ITER 7623 NEW BEST:: SOT 36339 SOS 5283 HAS SOPS 5283 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4354.283
AT ITER 7631 NEW BEST:: SOT 36336 SOS 5280 HAS SOPS 5280 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4351.28
AT ITER 7643 NEW BEST:: SOT 36334 SOS 5283 HAS SOPS 5283 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4349.283
AT ITER 7644 NEW BEST:: SOT 36337 SOS 5220 HAS SOPS 5220 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4317.22
AT ITER 7688 NEW BEST:: SOT 36330 SOS 5241 HAS SOPS 5241 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4314.241
AT ITER 7712 NEW BEST:: SOT 36327 SOS 5252 HAS SOPS 5252 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4313.252
AT ITER 7722 NEW BEST:: SOT 36324 SOS 5234 HAS SOPS 5234 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4311.234
AT ITER 7735 NEW BEST:: SOT 36323 SOS 5233 HAS SOPS 5233 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4310.233
AT ITER 7776 NEW BEST:: SOT 36322 SOS 5231 HAS SOPS 5231 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4309.231
AT ITER 7995 NEW BEST:: SOT 36303 SOS 5209 HAS SOPS 5209 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4302.209
AT ITER 8132 NEW BEST:: SOT 36302 SOS 5207 HAS SOPS 5207 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4299.207
AT ITER 8204 NEW BEST:: SOT 36299 SOS 5189 HAS SOPS 5189 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4296.189
AT ITER 8325 NEW BEST:: SOT 36299 SOS 5179 HAS SOPS 5179 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4280.179
AT ITER 8374 NEW BEST:: SOT 36292 SOS 5145 HAS SOPS 5145 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4269.145
AT ITER 8477 NEW BEST:: SOT 36291 SOS 5140 HAS SOPS 5140 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4269.14
AT ITER 8526 NEW BEST:: SOT 36291 SOS 5136 HAS SOPS 5136 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4269.136
AT ITER 8543 NEW BEST:: SOT 36289 SOS 5134 HAS SOPS 5134 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4267.134
AT ITER 8552 NEW BEST:: SOT 36272 SOS 5132 HAS SOPS 5132 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4265.132
AT ITER 8591 NEW BEST:: SOT 36272 SOS 5125 HAS SOPS 5125 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4258.125
AT ITER 8721 NEW BEST:: SOT 36272 SOS 5123 HAS SOPS 5123 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4256.123
AT ITER 8747 NEW BEST:: SOT 36266 SOS 5118 HAS SOPS 5118 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4250.118
AT ITER 8779 NEW BEST:: SOT 36267 SOS 5115 HAS SOPS 5115 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4250.115
AT ITER 8885 NEW BEST:: SOT 36260 SOS 5098 HAS SOPS 5098 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4241.098
AT ITER 8923 NEW BEST:: SOT 36260 SOS 5092 HAS SOPS 5092 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4241.092
AT ITER 8996 NEW BEST:: SOT 36265 SOS 5072 HAS SOPS 5072 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4217.072
AT ITER 9059 NEW BEST:: SOT 36265 SOS 5071 HAS SOPS 5071 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4216.071
AT ITER 9086 NEW BEST:: SOT 36280 SOS 5061 HAS SOPS 5061 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4215.061
AT ITER 9109 NEW BEST:: SOT 36278 SOS 5055 HAS SOPS 5055 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4209.055
AT ITER 9110 NEW BEST:: SOT 36268 SOS 5005 HAS SOPS 5005 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4189.005
AT ITER 9324 NEW BEST:: SOT 36269 SOS 5001 HAS SOPS 5001 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4185.001
AT ITER 9436 NEW BEST:: SOT 36269 SOS 4997 HAS SOPS 4997 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.997
AT ITER 9571 NEW BEST:: SOT 36266 SOS 4994 HAS SOPS 4994 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4171.994
AT ITER 9632 NEW BEST:: SOT 36265 SOS 4990 HAS SOPS 4990 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4167.99
AT ITER 9763 NEW BEST:: SOT 36263 SOS 4988 HAS SOPS 4988 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4163.988
AT ITER 9817 NEW BEST:: SOT 36253 SOS 4978 HAS SOPS 4978 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4153.978
AT ITER 9906 NEW BEST:: SOT 36241 SOS 4966 HAS SOPS 4966 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4148.966
STATE_SPACE STATES 24601448127260250298 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 47 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 443648755059679246085 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678367063175

--------------------
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="DES-PT-00b"
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-00b, 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-167814484100360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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