Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470000824.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVs-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470000824
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.4K May 14 02:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 02:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 19:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 19:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 14:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 09:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 09:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 61K May 12 20:42 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 1590450382130

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 005B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 203 places, 228 transitions, 720 arcs.
AT ITER 0 NEW BEST:: SOT 25485 SOS 8404 HAS SOPS 8404 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6768.404
AT ITER 3 NEW BEST:: SOT 25434 SOS 8379 HAS SOPS 8379 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6710.379
AT ITER 14 NEW BEST:: SOT 25422 SOS 8511 HAS SOPS 8511 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6703.511
AT ITER 22 NEW BEST:: SOT 25446 SOS 8529 HAS SOPS 8529 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6697.529
AT ITER 30 NEW BEST:: SOT 25446 SOS 8553 HAS SOPS 8553 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6693.553
AT ITER 31 NEW BEST:: SOT 25430 SOS 8517 HAS SOPS 8517 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6670.517
AT ITER 50 NEW BEST:: SOT 25426 SOS 8469 HAS SOPS 8469 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6659.469
AT ITER 57 NEW BEST:: SOT 25404 SOS 8361 HAS SOPS 8361 HAS SOUS 6618 HAS SOUPS 6618 WITH SCORE 6626.361
AT ITER 60 NEW BEST:: SOT 25377 SOS 8402 HAS SOPS 8402 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6609.402
AT ITER 83 NEW BEST:: SOT 25377 SOS 8401 HAS SOPS 8401 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6608.401
AT ITER 84 NEW BEST:: SOT 25382 SOS 8419 HAS SOPS 8419 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6602.419
AT ITER 92 NEW BEST:: SOT 25377 SOS 8408 HAS SOPS 8408 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6591.408
AT ITER 114 NEW BEST:: SOT 25365 SOS 8378 HAS SOPS 8378 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6577.378
AT ITER 123 NEW BEST:: SOT 25365 SOS 8376 HAS SOPS 8376 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6577.376
AT ITER 129 NEW BEST:: SOT 25346 SOS 8336 HAS SOPS 8336 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.336
AT ITER 131 NEW BEST:: SOT 25346 SOS 8324 HAS SOPS 8324 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.324
AT ITER 150 NEW BEST:: SOT 25334 SOS 8322 HAS SOPS 8322 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.322
AT ITER 173 NEW BEST:: SOT 25317 SOS 8254 HAS SOPS 8254 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6522.254
AT ITER 175 NEW BEST:: SOT 25317 SOS 8249 HAS SOPS 8249 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6517.249
AT ITER 196 NEW BEST:: SOT 25316 SOS 8247 HAS SOPS 8247 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6517.247
AT ITER 205 NEW BEST:: SOT 25306 SOS 8219 HAS SOPS 8219 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6509.219
AT ITER 215 NEW BEST:: SOT 25314 SOS 8235 HAS SOPS 8235 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6505.235
AT ITER 219 NEW BEST:: SOT 25314 SOS 8235 HAS SOPS 8235 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6493.235
AT ITER 233 NEW BEST:: SOT 25314 SOS 8232 HAS SOPS 8232 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6493.232
AT ITER 234 NEW BEST:: SOT 25353 SOS 8245 HAS SOPS 8245 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6474.245
AT ITER 236 NEW BEST:: SOT 25353 SOS 8235 HAS SOPS 8235 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6474.235
AT ITER 242 NEW BEST:: SOT 25353 SOS 8234 HAS SOPS 8234 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6473.234
AT ITER 313 NEW BEST:: SOT 25326 SOS 8207 HAS SOPS 8207 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6446.207
AT ITER 333 NEW BEST:: SOT 25334 SOS 8223 HAS SOPS 8223 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6428.223
AT ITER 339 NEW BEST:: SOT 25333 SOS 8221 HAS SOPS 8221 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6427.221
AT ITER 344 NEW BEST:: SOT 25329 SOS 8213 HAS SOPS 8213 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6421.213
AT ITER 358 NEW BEST:: SOT 25312 SOS 8195 HAS SOPS 8195 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6339.195
AT ITER 371 NEW BEST:: SOT 25278 SOS 8173 HAS SOPS 8173 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6305.173
AT ITER 406 NEW BEST:: SOT 25274 SOS 8171 HAS SOPS 8171 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6304.171
AT ITER 416 NEW BEST:: SOT 25262 SOS 8141 HAS SOPS 8141 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6290.141
AT ITER 436 NEW BEST:: SOT 25272 SOS 8167 HAS SOPS 8167 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6285.167
AT ITER 438 NEW BEST:: SOT 25279 SOS 8115 HAS SOPS 8115 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6280.115
AT ITER 444 NEW BEST:: SOT 25279 SOS 8114 HAS SOPS 8114 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6279.114
AT ITER 454 NEW BEST:: SOT 25237 SOS 8076 HAS SOPS 8076 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6199.076
AT ITER 469 NEW BEST:: SOT 25228 SOS 8067 HAS SOPS 8067 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6190.067
AT ITER 524 NEW BEST:: SOT 25173 SOS 7967 HAS SOPS 7967 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6134.967
AT ITER 538 NEW BEST:: SOT 25156 SOS 7973 HAS SOPS 7973 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6109.973
AT ITER 554 NEW BEST:: SOT 25118 SOS 8002 HAS SOPS 8002 HAS SOUS 6073 HAS SOUPS 6073 WITH SCORE 6081.002
AT ITER 566 NEW BEST:: SOT 25118 SOS 7990 HAS SOPS 7990 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6068.99
AT ITER 577 NEW BEST:: SOT 25115 SOS 7984 HAS SOPS 7984 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6065.984
AT ITER 579 NEW BEST:: SOT 25111 SOS 7965 HAS SOPS 7965 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6046.965
AT ITER 617 NEW BEST:: SOT 25104 SOS 7955 HAS SOPS 7955 HAS SOUS 6029 HAS SOUPS 6029 WITH SCORE 6036.955
AT ITER 639 NEW BEST:: SOT 25047 SOS 7885 HAS SOPS 7885 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5963.885
AT ITER 646 NEW BEST:: SOT 25065 SOS 7956 HAS SOPS 7956 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5958.956
AT ITER 657 NEW BEST:: SOT 25044 SOS 7941 HAS SOPS 7941 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5943.941
AT ITER 662 NEW BEST:: SOT 25053 SOS 7921 HAS SOPS 7921 HAS SOUS 5929 HAS SOUPS 5929 WITH SCORE 5936.921
AT ITER 663 NEW BEST:: SOT 25045 SOS 7917 HAS SOPS 7917 HAS SOUS 5921 HAS SOUPS 5921 WITH SCORE 5928.917
AT ITER 689 NEW BEST:: SOT 25045 SOS 7907 HAS SOPS 7907 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5918.907
AT ITER 700 NEW BEST:: SOT 25035 SOS 7887 HAS SOPS 7887 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5898.887
AT ITER 742 NEW BEST:: SOT 25033 SOS 7883 HAS SOPS 7883 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5896.883
AT ITER 775 NEW BEST:: SOT 25027 SOS 7879 HAS SOPS 7879 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5888.879
AT ITER 786 NEW BEST:: SOT 25025 SOS 7883 HAS SOPS 7883 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5879.883
AT ITER 791 NEW BEST:: SOT 25010 SOS 7868 HAS SOPS 7868 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5873.868
AT ITER 796 NEW BEST:: SOT 25001 SOS 7845 HAS SOPS 7845 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5857.845
AT ITER 822 NEW BEST:: SOT 24999 SOS 7837 HAS SOPS 7837 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5855.837
AT ITER 829 NEW BEST:: SOT 24999 SOS 7838 HAS SOPS 7838 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5832.838
AT ITER 839 NEW BEST:: SOT 24998 SOS 7831 HAS SOPS 7831 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5828.831
AT ITER 857 NEW BEST:: SOT 24998 SOS 7827 HAS SOPS 7827 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5826.827
AT ITER 876 NEW BEST:: SOT 24998 SOS 7821 HAS SOPS 7821 HAS SOUS 5816 HAS SOUPS 5816 WITH SCORE 5823.821
AT ITER 893 NEW BEST:: SOT 24998 SOS 7819 HAS SOPS 7819 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5821.819
AT ITER 924 NEW BEST:: SOT 24997 SOS 7818 HAS SOPS 7818 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5821.818
AT ITER 931 NEW BEST:: SOT 24967 SOS 7798 HAS SOPS 7798 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5801.798
AT ITER 981 NEW BEST:: SOT 24965 SOS 7790 HAS SOPS 7790 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5799.79
AT ITER 1009 NEW BEST:: SOT 24963 SOS 7672 HAS SOPS 7672 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5781.672
AT ITER 1060 NEW BEST:: SOT 24979 SOS 7680 HAS SOPS 7680 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5780.68
AT ITER 1073 NEW BEST:: SOT 24946 SOS 7658 HAS SOPS 7658 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5758.658
AT ITER 1076 NEW BEST:: SOT 24937 SOS 7649 HAS SOPS 7649 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5749.649
AT ITER 1090 NEW BEST:: SOT 24931 SOS 7579 HAS SOPS 7579 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5743.579
AT ITER 1115 NEW BEST:: SOT 24931 SOS 7574 HAS SOPS 7574 HAS SOUS 5731 HAS SOUPS 5731 WITH SCORE 5738.574
AT ITER 1117 NEW BEST:: SOT 24914 SOS 7571 HAS SOPS 7571 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5735.571
AT ITER 1201 NEW BEST:: SOT 24908 SOS 7569 HAS SOPS 7569 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5731.569
AT ITER 1252 NEW BEST:: SOT 24902 SOS 7563 HAS SOPS 7563 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5725.563
AT ITER 1262 NEW BEST:: SOT 24902 SOS 7557 HAS SOPS 7557 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5725.557
AT ITER 1296 NEW BEST:: SOT 24887 SOS 7557 HAS SOPS 7557 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5720.557
AT ITER 1300 NEW BEST:: SOT 24887 SOS 7549 HAS SOPS 7549 HAS SOUS 5713 HAS SOUPS 5713 WITH SCORE 5720.549
AT ITER 1329 NEW BEST:: SOT 24878 SOS 7549 HAS SOPS 7549 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5716.549
AT ITER 1351 NEW BEST:: SOT 24873 SOS 7559 HAS SOPS 7559 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5711.559
AT ITER 1354 NEW BEST:: SOT 24871 SOS 7557 HAS SOPS 7557 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5709.557
AT ITER 1368 NEW BEST:: SOT 24873 SOS 7521 HAS SOPS 7521 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5637.521
AT ITER 1373 NEW BEST:: SOT 24869 SOS 7448 HAS SOPS 7448 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5620.448
AT ITER 1387 NEW BEST:: SOT 24863 SOS 7443 HAS SOPS 7443 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5615.443
AT ITER 1523 NEW BEST:: SOT 24863 SOS 7475 HAS SOPS 7475 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5609.475
AT ITER 1538 NEW BEST:: SOT 24863 SOS 7469 HAS SOPS 7469 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5603.469
AT ITER 1561 NEW BEST:: SOT 24878 SOS 7482 HAS SOPS 7482 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5602.482
AT ITER 1582 NEW BEST:: SOT 24839 SOS 7436 HAS SOPS 7436 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5544.436
AT ITER 1593 NEW BEST:: SOT 24838 SOS 7422 HAS SOPS 7422 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5542.422
AT ITER 1598 NEW BEST:: SOT 24838 SOS 7421 HAS SOPS 7421 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5541.421
AT ITER 1625 NEW BEST:: SOT 24832 SOS 7412 HAS SOPS 7412 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5530.412
AT ITER 1627 NEW BEST:: SOT 24829 SOS 7406 HAS SOPS 7406 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5524.406
AT ITER 1644 NEW BEST:: SOT 24829 SOS 7376 HAS SOPS 7376 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5524.376
AT ITER 1674 NEW BEST:: SOT 24814 SOS 7367 HAS SOPS 7367 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5515.367
AT ITER 1730 NEW BEST:: SOT 24806 SOS 7357 HAS SOPS 7357 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5513.357
AT ITER 1748 NEW BEST:: SOT 24798 SOS 7349 HAS SOPS 7349 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5505.349
AT ITER 1830 NEW BEST:: SOT 24796 SOS 7346 HAS SOPS 7346 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5501.346
AT ITER 1832 NEW BEST:: SOT 24767 SOS 7312 HAS SOPS 7312 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5471.312
AT ITER 1834 NEW BEST:: SOT 24765 SOS 7314 HAS SOPS 7314 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5469.314
AT ITER 1840 NEW BEST:: SOT 24803 SOS 7347 HAS SOPS 7347 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5464.347
AT ITER 1866 NEW BEST:: SOT 24803 SOS 7341 HAS SOPS 7341 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5458.341
AT ITER 1880 NEW BEST:: SOT 24795 SOS 7339 HAS SOPS 7339 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5456.339
AT ITER 1881 NEW BEST:: SOT 24789 SOS 7333 HAS SOPS 7333 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5450.333
AT ITER 1941 NEW BEST:: SOT 24789 SOS 7343 HAS SOPS 7343 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5446.343
AT ITER 1951 NEW BEST:: SOT 24784 SOS 7351 HAS SOPS 7351 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5425.351
AT ITER 1981 NEW BEST:: SOT 24784 SOS 7347 HAS SOPS 7347 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5424.347
AT ITER 2015 NEW BEST:: SOT 24784 SOS 7353 HAS SOPS 7353 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5416.353
AT ITER 2022 NEW BEST:: SOT 24768 SOS 7319 HAS SOPS 7319 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5398.319
AT ITER 2023 NEW BEST:: SOT 24765 SOS 7312 HAS SOPS 7312 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5395.312
AT ITER 2067 NEW BEST:: SOT 24760 SOS 7265 HAS SOPS 7265 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5390.265
AT ITER 2068 NEW BEST:: SOT 24751 SOS 7311 HAS SOPS 7311 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5388.311
AT ITER 2309 NEW BEST:: SOT 24753 SOS 7322 HAS SOPS 7322 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5386.322
AT ITER 2403 NEW BEST:: SOT 24753 SOS 7322 HAS SOPS 7322 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5362.322
AT ITER 2482 NEW BEST:: SOT 24753 SOS 7329 HAS SOPS 7329 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5358.329
AT ITER 2518 NEW BEST:: SOT 24740 SOS 7341 HAS SOPS 7341 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5350.341
AT ITER 2600 NEW BEST:: SOT 24740 SOS 7340 HAS SOPS 7340 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5349.34
AT ITER 2643 NEW BEST:: SOT 24740 SOS 7334 HAS SOPS 7334 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5338.334
AT ITER 2649 NEW BEST:: SOT 24728 SOS 7344 HAS SOPS 7344 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5317.344
AT ITER 2663 NEW BEST:: SOT 24728 SOS 7317 HAS SOPS 7317 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5317.317
AT ITER 2671 NEW BEST:: SOT 24696 SOS 7303 HAS SOPS 7303 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5303.303
AT ITER 2718 NEW BEST:: SOT 24675 SOS 7279 HAS SOPS 7279 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5291.279
AT ITER 2731 NEW BEST:: SOT 24670 SOS 7274 HAS SOPS 7274 HAS SOUS 5274 HAS SOUPS 5274 WITH SCORE 5281.274
AT ITER 2751 NEW BEST:: SOT 24660 SOS 7282 HAS SOPS 7282 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5276.282
AT ITER 2777 NEW BEST:: SOT 24658 SOS 7272 HAS SOPS 7272 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5272.272
AT ITER 2795 NEW BEST:: SOT 24653 SOS 7268 HAS SOPS 7268 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5267.268
AT ITER 2807 NEW BEST:: SOT 24653 SOS 7281 HAS SOPS 7281 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5254.281
AT ITER 2814 NEW BEST:: SOT 24653 SOS 7269 HAS SOPS 7269 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5251.269
AT ITER 2870 NEW BEST:: SOT 24646 SOS 7287 HAS SOPS 7287 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5245.287
AT ITER 2924 NEW BEST:: SOT 24661 SOS 7309 HAS SOPS 7309 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5244.309
AT ITER 3032 NEW BEST:: SOT 24642 SOS 7277 HAS SOPS 7277 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5222.277
AT ITER 3051 NEW BEST:: SOT 24639 SOS 7262 HAS SOPS 7262 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5210.262
AT ITER 3084 NEW BEST:: SOT 24620 SOS 7240 HAS SOPS 7240 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5188.24
AT ITER 3132 NEW BEST:: SOT 24620 SOS 7240 HAS SOPS 7240 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5177.24
AT ITER 3172 NEW BEST:: SOT 24610 SOS 7230 HAS SOPS 7230 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5167.23
AT ITER 3200 NEW BEST:: SOT 24610 SOS 7230 HAS SOPS 7230 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5158.23
AT ITER 3250 NEW BEST:: SOT 24601 SOS 7221 HAS SOPS 7221 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5149.221
AT ITER 3263 NEW BEST:: SOT 24609 SOS 7237 HAS SOPS 7237 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5148.237
AT ITER 3266 NEW BEST:: SOT 24605 SOS 7229 HAS SOPS 7229 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5141.229
AT ITER 3305 NEW BEST:: SOT 24591 SOS 7209 HAS SOPS 7209 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5121.209
AT ITER 3339 NEW BEST:: SOT 24591 SOS 7208 HAS SOPS 7208 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5119.208
AT ITER 3359 NEW BEST:: SOT 24574 SOS 7191 HAS SOPS 7191 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5102.191
AT ITER 3366 NEW BEST:: SOT 24587 SOS 7266 HAS SOPS 7266 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5092.266
AT ITER 3427 NEW BEST:: SOT 24580 SOS 7144 HAS SOPS 7144 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5055.144
AT ITER 3433 NEW BEST:: SOT 24576 SOS 7140 HAS SOPS 7140 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5051.14
AT ITER 3454 NEW BEST:: SOT 24569 SOS 7126 HAS SOPS 7126 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5040.126
AT ITER 3464 NEW BEST:: SOT 24525 SOS 6934 HAS SOPS 6934 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4988.934
AT ITER 3517 NEW BEST:: SOT 24519 SOS 6928 HAS SOPS 6928 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4979.928
AT ITER 3519 NEW BEST:: SOT 24495 SOS 6904 HAS SOPS 6904 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.904
AT ITER 3545 NEW BEST:: SOT 24495 SOS 6901 HAS SOPS 6901 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.901
AT ITER 3642 NEW BEST:: SOT 24493 SOS 6898 HAS SOPS 6898 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4952.898
AT ITER 3650 NEW BEST:: SOT 24493 SOS 6893 HAS SOPS 6893 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4947.893
AT ITER 3652 NEW BEST:: SOT 24493 SOS 6891 HAS SOPS 6891 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4945.891
AT ITER 3697 NEW BEST:: SOT 24492 SOS 6887 HAS SOPS 6887 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4944.887
AT ITER 3723 NEW BEST:: SOT 24492 SOS 6883 HAS SOPS 6883 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4940.883
AT ITER 3731 NEW BEST:: SOT 24487 SOS 6890 HAS SOPS 6890 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4937.89
AT ITER 3763 NEW BEST:: SOT 24483 SOS 6882 HAS SOPS 6882 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4925.882
AT ITER 3767 NEW BEST:: SOT 24434 SOS 6801 HAS SOPS 6801 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4878.801
AT ITER 3805 NEW BEST:: SOT 24434 SOS 6796 HAS SOPS 6796 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4873.796
AT ITER 3842 NEW BEST:: SOT 24434 SOS 6795 HAS SOPS 6795 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4872.795
AT ITER 3873 NEW BEST:: SOT 24426 SOS 6794 HAS SOPS 6794 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4871.794
AT ITER 3875 NEW BEST:: SOT 24428 SOS 6805 HAS SOPS 6805 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4869.805
AT ITER 3923 NEW BEST:: SOT 24441 SOS 6902 HAS SOPS 6902 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4868.902
AT ITER 4027 NEW BEST:: SOT 24431 SOS 6844 HAS SOPS 6844 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4854.844
AT ITER 4128 NEW BEST:: SOT 24431 SOS 6838 HAS SOPS 6838 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4852.838
AT ITER 4130 NEW BEST:: SOT 24429 SOS 6834 HAS SOPS 6834 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4850.834
AT ITER 4182 NEW BEST:: SOT 24429 SOS 6834 HAS SOPS 6834 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4849.834
AT ITER 4267 NEW BEST:: SOT 24429 SOS 6832 HAS SOPS 6832 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4847.832
AT ITER 4330 NEW BEST:: SOT 24428 SOS 6749 HAS SOPS 6749 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4845.749
AT ITER 4337 NEW BEST:: SOT 24413 SOS 6719 HAS SOPS 6719 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4815.719
AT ITER 4340 NEW BEST:: SOT 24419 SOS 6720 HAS SOPS 6720 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4804.72
AT ITER 4369 NEW BEST:: SOT 24419 SOS 6719 HAS SOPS 6719 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4803.719
AT ITER 4425 NEW BEST:: SOT 24415 SOS 6709 HAS SOPS 6709 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4799.709
AT ITER 4427 NEW BEST:: SOT 24415 SOS 6705 HAS SOPS 6705 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4799.705
AT ITER 4492 NEW BEST:: SOT 24415 SOS 6704 HAS SOPS 6704 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4798.704
AT ITER 4508 NEW BEST:: SOT 24407 SOS 6680 HAS SOPS 6680 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4774.68
AT ITER 4594 NEW BEST:: SOT 24390 SOS 6660 HAS SOPS 6660 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4748.66
AT ITER 4635 NEW BEST:: SOT 24389 SOS 6659 HAS SOPS 6659 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4747.659
AT ITER 4684 NEW BEST:: SOT 24385 SOS 6625 HAS SOPS 6625 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4741.625
AT ITER 4699 NEW BEST:: SOT 24385 SOS 6595 HAS SOPS 6595 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4734.595
AT ITER 4795 NEW BEST:: SOT 24386 SOS 6591 HAS SOPS 6591 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4730.591
AT ITER 4941 NEW BEST:: SOT 24372 SOS 6546 HAS SOPS 6546 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4727.546
AT ITER 4983 NEW BEST:: SOT 24381 SOS 6529 HAS SOPS 6529 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4727.529
AT ITER 5071 NEW BEST:: SOT 24378 SOS 6519 HAS SOPS 6519 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4724.519
AT ITER 5102 NEW BEST:: SOT 24378 SOS 6519 HAS SOPS 6519 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4723.519
AT ITER 5117 NEW BEST:: SOT 24374 SOS 6507 HAS SOPS 6507 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4717.507
AT ITER 5236 NEW BEST:: SOT 24365 SOS 6501 HAS SOPS 6501 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4711.501
AT ITER 5242 NEW BEST:: SOT 24365 SOS 6510 HAS SOPS 6510 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4710.51
AT ITER 5250 NEW BEST:: SOT 24364 SOS 6507 HAS SOPS 6507 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4710.507
AT ITER 5293 NEW BEST:: SOT 24341 SOS 6589 HAS SOPS 6589 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4696.589
AT ITER 5308 NEW BEST:: SOT 24329 SOS 6611 HAS SOPS 6611 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4694.611
AT ITER 5359 NEW BEST:: SOT 24343 SOS 6608 HAS SOPS 6608 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4691.608
AT ITER 5388 NEW BEST:: SOT 24349 SOS 6598 HAS SOPS 6598 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4691.598
AT ITER 5405 NEW BEST:: SOT 24346 SOS 6595 HAS SOPS 6595 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4688.595
AT ITER 5496 NEW BEST:: SOT 24337 SOS 6582 HAS SOPS 6582 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4674.582
AT ITER 5581 NEW BEST:: SOT 24334 SOS 6575 HAS SOPS 6575 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4670.575
AT ITER 5602 NEW BEST:: SOT 24331 SOS 6572 HAS SOPS 6572 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4667.572
AT ITER 5605 NEW BEST:: SOT 24335 SOS 6576 HAS SOPS 6576 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4659.576
AT ITER 5694 NEW BEST:: SOT 24335 SOS 6575 HAS SOPS 6575 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4658.575
AT ITER 5695 NEW BEST:: SOT 24335 SOS 6560 HAS SOPS 6560 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4658.56
AT ITER 5712 NEW BEST:: SOT 24335 SOS 6559 HAS SOPS 6559 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4657.559
AT ITER 5718 NEW BEST:: SOT 24334 SOS 6588 HAS SOPS 6588 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4656.588
AT ITER 5749 NEW BEST:: SOT 24322 SOS 6572 HAS SOPS 6572 HAS SOUS 4620 HAS SOUPS 4620 WITH SCORE 4626.572
AT ITER 5793 NEW BEST:: SOT 24321 SOS 6570 HAS SOPS 6570 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4624.57
AT ITER 5858 NEW BEST:: SOT 24312 SOS 6552 HAS SOPS 6552 HAS SOUS 4609 HAS SOUPS 4609 WITH SCORE 4615.552
AT ITER 5927 NEW BEST:: SOT 24323 SOS 6566 HAS SOPS 6566 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4590.566
AT ITER 5958 NEW BEST:: SOT 24318 SOS 6559 HAS SOPS 6559 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4583.559
AT ITER 5963 NEW BEST:: SOT 24318 SOS 6543 HAS SOPS 6543 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4580.543
AT ITER 6039 NEW BEST:: SOT 24315 SOS 6552 HAS SOPS 6552 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4577.552
AT ITER 6055 NEW BEST:: SOT 24313 SOS 6548 HAS SOPS 6548 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4574.548
AT ITER 6083 NEW BEST:: SOT 24303 SOS 6534 HAS SOPS 6534 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4560.534
AT ITER 6182 NEW BEST:: SOT 24310 SOS 6532 HAS SOPS 6532 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4559.532
AT ITER 6206 NEW BEST:: SOT 24309 SOS 6526 HAS SOPS 6526 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4556.526
AT ITER 6213 NEW BEST:: SOT 24308 SOS 6519 HAS SOPS 6519 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4550.519
AT ITER 6244 NEW BEST:: SOT 24302 SOS 6495 HAS SOPS 6495 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4538.495
AT ITER 6273 NEW BEST:: SOT 24306 SOS 6503 HAS SOPS 6503 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4529.503
AT ITER 6397 NEW BEST:: SOT 24297 SOS 6572 HAS SOPS 6572 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4513.572
AT ITER 6446 NEW BEST:: SOT 24295 SOS 6570 HAS SOPS 6570 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4511.57
AT ITER 6506 NEW BEST:: SOT 24293 SOS 6568 HAS SOPS 6568 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4509.568
AT ITER 6565 NEW BEST:: SOT 24291 SOS 6543 HAS SOPS 6543 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4505.543
AT ITER 6611 NEW BEST:: SOT 24277 SOS 6463 HAS SOPS 6463 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4501.463
AT ITER 6647 NEW BEST:: SOT 24271 SOS 6451 HAS SOPS 6451 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4489.451
AT ITER 6700 NEW BEST:: SOT 24267 SOS 6437 HAS SOPS 6437 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4486.437
AT ITER 6705 NEW BEST:: SOT 24269 SOS 6470 HAS SOPS 6470 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4469.47
AT ITER 6708 NEW BEST:: SOT 24269 SOS 6455 HAS SOPS 6455 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4469.455
AT ITER 6850 NEW BEST:: SOT 24271 SOS 6453 HAS SOPS 6453 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4469.453
AT ITER 6918 NEW BEST:: SOT 24264 SOS 6445 HAS SOPS 6445 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4461.445
AT ITER 6919 NEW BEST:: SOT 24263 SOS 6443 HAS SOPS 6443 HAS SOUS 4453 HAS SOUPS 4453 WITH SCORE 4459.443
AT ITER 6955 NEW BEST:: SOT 24261 SOS 6435 HAS SOPS 6435 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4456.435
AT ITER 7016 NEW BEST:: SOT 24261 SOS 6429 HAS SOPS 6429 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4456.429
AT ITER 7113 NEW BEST:: SOT 24256 SOS 6425 HAS SOPS 6425 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4452.425
AT ITER 7116 NEW BEST:: SOT 24253 SOS 6421 HAS SOPS 6421 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4448.421
AT ITER 7202 NEW BEST:: SOT 24247 SOS 6409 HAS SOPS 6409 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4439.409
AT ITER 7238 NEW BEST:: SOT 24247 SOS 6408 HAS SOPS 6408 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4439.408
AT ITER 7249 NEW BEST:: SOT 24248 SOS 6425 HAS SOPS 6425 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4429.425
AT ITER 7265 NEW BEST:: SOT 24244 SOS 6385 HAS SOPS 6385 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4407.385
AT ITER 7270 NEW BEST:: SOT 24238 SOS 6367 HAS SOPS 6367 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4405.367
AT ITER 7277 NEW BEST:: SOT 24241 SOS 6380 HAS SOPS 6380 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4377.38
AT ITER 7337 NEW BEST:: SOT 24241 SOS 6378 HAS SOPS 6378 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4376.378
AT ITER 7354 NEW BEST:: SOT 24214 SOS 6254 HAS SOPS 6254 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4357.254
AT ITER 7420 NEW BEST:: SOT 24204 SOS 6192 HAS SOPS 6192 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4316.192
AT ITER 7591 NEW BEST:: SOT 24200 SOS 6172 HAS SOPS 6172 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4308.172
AT ITER 7618 NEW BEST:: SOT 24195 SOS 6145 HAS SOPS 6145 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4296.145
AT ITER 7750 NEW BEST:: SOT 24189 SOS 6133 HAS SOPS 6133 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4284.133
AT ITER 7812 NEW BEST:: SOT 24189 SOS 6133 HAS SOPS 6133 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4279.133
AT ITER 7815 NEW BEST:: SOT 24192 SOS 6137 HAS SOPS 6137 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4258.137
AT ITER 7843 NEW BEST:: SOT 24199 SOS 6141 HAS SOPS 6141 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4254.141
AT ITER 7875 NEW BEST:: SOT 24200 SOS 6137 HAS SOPS 6137 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4253.137
AT ITER 8002 NEW BEST:: SOT 24199 SOS 6129 HAS SOPS 6129 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4245.129
AT ITER 8032 NEW BEST:: SOT 24198 SOS 6128 HAS SOPS 6128 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4245.128
AT ITER 8115 NEW BEST:: SOT 24196 SOS 6118 HAS SOPS 6118 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4243.118
AT ITER 8123 NEW BEST:: SOT 24192 SOS 6112 HAS SOPS 6112 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4237.112
AT ITER 8132 NEW BEST:: SOT 24191 SOS 6110 HAS SOPS 6110 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4232.11
AT ITER 8151 NEW BEST:: SOT 24199 SOS 6119 HAS SOPS 6119 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4229.119
AT ITER 8154 NEW BEST:: SOT 24199 SOS 6119 HAS SOPS 6119 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4228.119
AT ITER 8283 NEW BEST:: SOT 24195 SOS 6117 HAS SOPS 6117 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4223.117
AT ITER 8291 NEW BEST:: SOT 24193 SOS 6115 HAS SOPS 6115 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4210.115
AT ITER 8457 NEW BEST:: SOT 24193 SOS 6114 HAS SOPS 6114 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4209.114
AT ITER 8485 NEW BEST:: SOT 24190 SOS 6111 HAS SOPS 6111 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4206.111
AT ITER 8526 NEW BEST:: SOT 24184 SOS 6101 HAS SOPS 6101 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4198.101
AT ITER 8580 NEW BEST:: SOT 24184 SOS 6101 HAS SOPS 6101 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4196.101
AT ITER 8626 NEW BEST:: SOT 24183 SOS 6099 HAS SOPS 6099 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4194.099
AT ITER 8657 NEW BEST:: SOT 24183 SOS 6098 HAS SOPS 6098 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4193.098
AT ITER 8659 NEW BEST:: SOT 24185 SOS 6100 HAS SOPS 6100 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4191.1
AT ITER 8689 NEW BEST:: SOT 24177 SOS 6092 HAS SOPS 6092 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4177.092
AT ITER 8746 NEW BEST:: SOT 24169 SOS 6084 HAS SOPS 6084 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4169.084
AT ITER 8756 NEW BEST:: SOT 24166 SOS 6068 HAS SOPS 6068 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4164.068
AT ITER 8818 NEW BEST:: SOT 24166 SOS 6047 HAS SOPS 6047 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4164.047
AT ITER 8824 NEW BEST:: SOT 24166 SOS 6046 HAS SOPS 6046 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4163.046
AT ITER 8829 NEW BEST:: SOT 24164 SOS 6052 HAS SOPS 6052 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4161.052
AT ITER 8865 NEW BEST:: SOT 24159 SOS 6039 HAS SOPS 6039 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4151.039
AT ITER 8917 NEW BEST:: SOT 24159 SOS 6027 HAS SOPS 6027 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4149.027
AT ITER 8942 NEW BEST:: SOT 24155 SOS 6023 HAS SOPS 6023 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4137.023
AT ITER 9023 NEW BEST:: SOT 24155 SOS 6023 HAS SOPS 6023 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4134.023
AT ITER 9125 NEW BEST:: SOT 24154 SOS 6022 HAS SOPS 6022 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4133.022
AT ITER 9162 NEW BEST:: SOT 24153 SOS 6020 HAS SOPS 6020 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4131.02
AT ITER 9170 NEW BEST:: SOT 24147 SOS 6017 HAS SOPS 6017 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4128.017
AT ITER 9313 NEW BEST:: SOT 24143 SOS 6011 HAS SOPS 6011 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4122.011
AT ITER 9343 NEW BEST:: SOT 24145 SOS 6007 HAS SOPS 6007 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4122.007
AT ITER 9366 NEW BEST:: SOT 24145 SOS 6006 HAS SOPS 6006 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4121.006
AT ITER 9406 NEW BEST:: SOT 24146 SOS 6007 HAS SOPS 6007 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4116.007
AT ITER 9562 NEW BEST:: SOT 24146 SOS 6004 HAS SOPS 6004 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4114.004
AT ITER 9589 NEW BEST:: SOT 24153 SOS 5994 HAS SOPS 5994 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4111.994
AT ITER 9636 NEW BEST:: SOT 24153 SOS 5989 HAS SOPS 5989 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4106.989
AT ITER 9738 NEW BEST:: SOT 24152 SOS 5989 HAS SOPS 5989 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4104.989
AT ITER 9741 NEW BEST:: SOT 24149 SOS 5986 HAS SOPS 5986 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4101.986
AT ITER 9840 NEW BEST:: SOT 24136 SOS 5960 HAS SOPS 5960 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4100.96
AT ITER 9841 NEW BEST:: SOT 24134 SOS 5958 HAS SOPS 5958 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4098.958
AT ITER 9842 NEW BEST:: SOT 24132 SOS 5955 HAS SOPS 5955 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4095.955
AT ITER 9995 NEW BEST:: SOT 24132 SOS 5952 HAS SOPS 5952 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4095.952

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldRVs-PT-005B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldRVs-PT-005B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470000824"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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