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.r259-smll-167863534700536.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 smart
Input is PermAdmissibility-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534700536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 8.9K Feb 26 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 47K Feb 26 01:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 246K Feb 26 01:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 01:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 163K Feb 26 01:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 847K Feb 26 01:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 340K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678810227120

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PermAdmissibility-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 6 NEW BEST:: SOT 73550 SOS 47192 HAS SOPS 47192 HAS SOUS 28836 HAS SOUPS 28836 WITH SCORE 28883.192
AT ITER 12 NEW BEST:: SOT 73338 SOS 47550 HAS SOPS 47550 HAS SOUS 28805 HAS SOUPS 28805 WITH SCORE 28852.55
AT ITER 16 NEW BEST:: SOT 73338 SOS 47550 HAS SOPS 47550 HAS SOUS 28672 HAS SOUPS 28672 WITH SCORE 28719.55
AT ITER 20 NEW BEST:: SOT 73280 SOS 48062 HAS SOPS 48062 HAS SOUS 28642 HAS SOUPS 28642 WITH SCORE 28690.062
AT ITER 33 NEW BEST:: SOT 73218 SOS 48000 HAS SOPS 48000 HAS SOUS 28582 HAS SOUPS 28582 WITH SCORE 28630.0
AT ITER 38 NEW BEST:: SOT 73190 SOS 47972 HAS SOPS 47972 HAS SOUS 28556 HAS SOUPS 28556 WITH SCORE 28603.972
AT ITER 56 NEW BEST:: SOT 73190 SOS 48482 HAS SOPS 48482 HAS SOUS 28469 HAS SOUPS 28469 WITH SCORE 28517.482
AT ITER 68 NEW BEST:: SOT 73200 SOS 48508 HAS SOPS 48508 HAS SOUS 28445 HAS SOUPS 28445 WITH SCORE 28493.508
AT ITER 78 NEW BEST:: SOT 73023 SOS 48331 HAS SOPS 48331 HAS SOUS 28275 HAS SOUPS 28275 WITH SCORE 28323.331
AT ITER 96 NEW BEST:: SOT 72733 SOS 48057 HAS SOPS 48057 HAS SOUS 28006 HAS SOUPS 28006 WITH SCORE 28054.057
AT ITER 100 NEW BEST:: SOT 72733 SOS 47772 HAS SOPS 47772 HAS SOUS 27917 HAS SOUPS 27917 WITH SCORE 27964.772
AT ITER 102 NEW BEST:: SOT 72486 SOS 48395 HAS SOPS 48395 HAS SOUS 27834 HAS SOUPS 27834 WITH SCORE 27882.395
AT ITER 113 NEW BEST:: SOT 72486 SOS 48395 HAS SOPS 48395 HAS SOUS 27780 HAS SOUPS 27780 WITH SCORE 27828.395
AT ITER 114 NEW BEST:: SOT 72486 SOS 48395 HAS SOPS 48395 HAS SOUS 27741 HAS SOUPS 27741 WITH SCORE 27789.395
AT ITER 118 NEW BEST:: SOT 72334 SOS 48243 HAS SOPS 48243 HAS SOUS 27621 HAS SOUPS 27621 WITH SCORE 27669.243
AT ITER 119 NEW BEST:: SOT 72185 SOS 48078 HAS SOPS 48078 HAS SOUS 27540 HAS SOUPS 27540 WITH SCORE 27588.078
AT ITER 122 NEW BEST:: SOT 72149 SOS 47993 HAS SOPS 47993 HAS SOUS 27537 HAS SOUPS 27537 WITH SCORE 27584.993
AT ITER 124 NEW BEST:: SOT 71895 SOS 48116 HAS SOPS 48116 HAS SOUS 27474 HAS SOUPS 27474 WITH SCORE 27522.116
AT ITER 131 NEW BEST:: SOT 71895 SOS 48116 HAS SOPS 48116 HAS SOUS 27386 HAS SOUPS 27386 WITH SCORE 27434.116
AT ITER 141 NEW BEST:: SOT 71872 SOS 48093 HAS SOPS 48093 HAS SOUS 27363 HAS SOUPS 27363 WITH SCORE 27411.093
AT ITER 143 NEW BEST:: SOT 71872 SOS 48119 HAS SOPS 48119 HAS SOUS 27346 HAS SOUPS 27346 WITH SCORE 27394.119
AT ITER 145 NEW BEST:: SOT 71872 SOS 48119 HAS SOPS 48119 HAS SOUS 27332 HAS SOUPS 27332 WITH SCORE 27380.119
AT ITER 160 NEW BEST:: SOT 71872 SOS 51111 HAS SOPS 51111 HAS SOUS 27329 HAS SOUPS 27329 WITH SCORE 27380.111
AT ITER 166 NEW BEST:: SOT 71872 SOS 51111 HAS SOPS 51111 HAS SOUS 27328 HAS SOUPS 27328 WITH SCORE 27379.111
AT ITER 170 NEW BEST:: SOT 71682 SOS 51021 HAS SOPS 51021 HAS SOUS 27239 HAS SOUPS 27239 WITH SCORE 27290.021
AT ITER 175 NEW BEST:: SOT 71691 SOS 50640 HAS SOPS 50640 HAS SOUS 27176 HAS SOUPS 27176 WITH SCORE 27226.64
AT ITER 180 NEW BEST:: SOT 71707 SOS 50656 HAS SOPS 50656 HAS SOUS 27144 HAS SOUPS 27144 WITH SCORE 27194.656
AT ITER 196 NEW BEST:: SOT 71707 SOS 50656 HAS SOPS 50656 HAS SOUS 27108 HAS SOUPS 27108 WITH SCORE 27158.656
AT ITER 197 NEW BEST:: SOT 71553 SOS 50530 HAS SOPS 50530 HAS SOUS 26960 HAS SOUPS 26960 WITH SCORE 27010.53
AT ITER 202 NEW BEST:: SOT 71433 SOS 50410 HAS SOPS 50410 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26914.41
AT ITER 213 NEW BEST:: SOT 71461 SOS 50438 HAS SOPS 50438 HAS SOUS 26858 HAS SOUPS 26858 WITH SCORE 26908.438
AT ITER 219 NEW BEST:: SOT 71461 SOS 50438 HAS SOPS 50438 HAS SOUS 26740 HAS SOUPS 26740 WITH SCORE 26790.438
AT ITER 226 NEW BEST:: SOT 71461 SOS 50438 HAS SOPS 50438 HAS SOUS 26661 HAS SOUPS 26661 WITH SCORE 26711.438
AT ITER 233 NEW BEST:: SOT 71407 SOS 50384 HAS SOPS 50384 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26628.384
AT ITER 238 NEW BEST:: SOT 71407 SOS 51536 HAS SOPS 51536 HAS SOUS 26413 HAS SOUPS 26413 WITH SCORE 26464.536
AT ITER 242 NEW BEST:: SOT 71405 SOS 51534 HAS SOPS 51534 HAS SOUS 26411 HAS SOUPS 26411 WITH SCORE 26462.534
AT ITER 246 NEW BEST:: SOT 71405 SOS 51534 HAS SOPS 51534 HAS SOUS 26255 HAS SOUPS 26255 WITH SCORE 26306.534
AT ITER 257 NEW BEST:: SOT 71137 SOS 51467 HAS SOPS 51467 HAS SOUS 26141 HAS SOUPS 26141 WITH SCORE 26192.467
AT ITER 264 NEW BEST:: SOT 71137 SOS 51467 HAS SOPS 51467 HAS SOUS 26084 HAS SOUPS 26084 WITH SCORE 26135.467
AT ITER 272 NEW BEST:: SOT 70962 SOS 51294 HAS SOPS 51294 HAS SOUS 25951 HAS SOUPS 25951 WITH SCORE 26002.294
AT ITER 274 NEW BEST:: SOT 70970 SOS 51302 HAS SOPS 51302 HAS SOUS 25939 HAS SOUPS 25939 WITH SCORE 25990.302
AT ITER 277 NEW BEST:: SOT 70970 SOS 51302 HAS SOPS 51302 HAS SOUS 25766 HAS SOUPS 25766 WITH SCORE 25817.302
AT ITER 284 NEW BEST:: SOT 70844 SOS 51542 HAS SOPS 51542 HAS SOUS 25706 HAS SOUPS 25706 WITH SCORE 25757.542
AT ITER 286 NEW BEST:: SOT 70844 SOS 51542 HAS SOPS 51542 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25750.542
AT ITER 287 NEW BEST:: SOT 70708 SOS 51474 HAS SOPS 51474 HAS SOUS 25538 HAS SOUPS 25538 WITH SCORE 25589.474
AT ITER 289 NEW BEST:: SOT 70708 SOS 52109 HAS SOPS 52109 HAS SOUS 25471 HAS SOUPS 25471 WITH SCORE 25523.109
AT ITER 294 NEW BEST:: SOT 71063 SOS 52862 HAS SOPS 52862 HAS SOUS 25440 HAS SOUPS 25440 WITH SCORE 25492.862
AT ITER 296 NEW BEST:: SOT 71013 SOS 52823 HAS SOPS 52823 HAS SOUS 25399 HAS SOUPS 25399 WITH SCORE 25451.823
AT ITER 311 NEW BEST:: SOT 71013 SOS 52823 HAS SOPS 52823 HAS SOUS 25363 HAS SOUPS 25363 WITH SCORE 25415.823
AT ITER 332 NEW BEST:: SOT 71037 SOS 52877 HAS SOPS 52877 HAS SOUS 25332 HAS SOUPS 25332 WITH SCORE 25384.877
AT ITER 336 NEW BEST:: SOT 70644 SOS 52528 HAS SOPS 52528 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25075.528
AT ITER 345 NEW BEST:: SOT 70590 SOS 52533 HAS SOPS 52533 HAS SOUS 24992 HAS SOUPS 24992 WITH SCORE 25044.533
AT ITER 350 NEW BEST:: SOT 70590 SOS 52533 HAS SOPS 52533 HAS SOUS 24982 HAS SOUPS 24982 WITH SCORE 25034.533
AT ITER 352 NEW BEST:: SOT 70582 SOS 52525 HAS SOPS 52525 HAS SOUS 24974 HAS SOUPS 24974 WITH SCORE 25026.525
AT ITER 353 NEW BEST:: SOT 70361 SOS 52304 HAS SOPS 52304 HAS SOUS 24753 HAS SOUPS 24753 WITH SCORE 24805.304
AT ITER 357 NEW BEST:: SOT 70288 SOS 52236 HAS SOPS 52236 HAS SOUS 24704 HAS SOUPS 24704 WITH SCORE 24756.236
AT ITER 361 NEW BEST:: SOT 70267 SOS 52215 HAS SOPS 52215 HAS SOUS 24683 HAS SOUPS 24683 WITH SCORE 24735.215
AT ITER 369 NEW BEST:: SOT 70236 SOS 52184 HAS SOPS 52184 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24714.184
AT ITER 372 NEW BEST:: SOT 70236 SOS 52184 HAS SOPS 52184 HAS SOUS 24652 HAS SOUPS 24652 WITH SCORE 24704.184
AT ITER 379 NEW BEST:: SOT 70124 SOS 52072 HAS SOPS 52072 HAS SOUS 24589 HAS SOUPS 24589 WITH SCORE 24641.072
AT ITER 380 NEW BEST:: SOT 70156 SOS 52104 HAS SOPS 52104 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 24628.104
AT ITER 419 NEW BEST:: SOT 70124 SOS 52072 HAS SOPS 52072 HAS SOUS 24553 HAS SOUPS 24553 WITH SCORE 24605.072
AT ITER 421 NEW BEST:: SOT 70074 SOS 52070 HAS SOPS 52070 HAS SOUS 24540 HAS SOUPS 24540 WITH SCORE 24592.07
AT ITER 426 NEW BEST:: SOT 70156 SOS 52164 HAS SOPS 52164 HAS SOUS 24506 HAS SOUPS 24506 WITH SCORE 24558.164
AT ITER 428 NEW BEST:: SOT 69999 SOS 52127 HAS SOPS 52127 HAS SOUS 24447 HAS SOUPS 24447 WITH SCORE 24499.127
AT ITER 441 NEW BEST:: SOT 69946 SOS 52074 HAS SOPS 52074 HAS SOUS 24394 HAS SOUPS 24394 WITH SCORE 24446.074
AT ITER 444 NEW BEST:: SOT 69946 SOS 52074 HAS SOPS 52074 HAS SOUS 24377 HAS SOUPS 24377 WITH SCORE 24429.074
AT ITER 449 NEW BEST:: SOT 69940 SOS 52874 HAS SOPS 52874 HAS SOUS 24105 HAS SOUPS 24105 WITH SCORE 24157.874
AT ITER 452 NEW BEST:: SOT 69940 SOS 51786 HAS SOPS 51786 HAS SOUS 24105 HAS SOUPS 24105 WITH SCORE 24156.786
AT ITER 453 NEW BEST:: SOT 69967 SOS 51813 HAS SOPS 51813 HAS SOUS 24078 HAS SOUPS 24078 WITH SCORE 24129.813
AT ITER 454 NEW BEST:: SOT 69967 SOS 52156 HAS SOPS 52156 HAS SOUS 24029 HAS SOUPS 24029 WITH SCORE 24081.156
AT ITER 459 NEW BEST:: SOT 69959 SOS 52210 HAS SOPS 52210 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24064.21
AT ITER 473 NEW BEST:: SOT 69959 SOS 52210 HAS SOPS 52210 HAS SOUS 23911 HAS SOUPS 23911 WITH SCORE 23963.21
AT ITER 492 NEW BEST:: SOT 70034 SOS 52285 HAS SOPS 52285 HAS SOUS 23798 HAS SOUPS 23798 WITH SCORE 23850.285
AT ITER 497 NEW BEST:: SOT 70000 SOS 52265 HAS SOPS 52265 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23830.265
AT ITER 501 NEW BEST:: SOT 70000 SOS 52585 HAS SOPS 52585 HAS SOUS 23768 HAS SOUPS 23768 WITH SCORE 23820.585
AT ITER 502 NEW BEST:: SOT 69940 SOS 52525 HAS SOPS 52525 HAS SOUS 23643 HAS SOUPS 23643 WITH SCORE 23695.525
AT ITER 510 NEW BEST:: SOT 69930 SOS 52515 HAS SOPS 52515 HAS SOUS 23633 HAS SOUPS 23633 WITH SCORE 23685.515
AT ITER 517 NEW BEST:: SOT 69930 SOS 52483 HAS SOPS 52483 HAS SOUS 23631 HAS SOUPS 23631 WITH SCORE 23683.483
AT ITER 521 NEW BEST:: SOT 69930 SOS 52483 HAS SOPS 52483 HAS SOUS 23399 HAS SOUPS 23399 WITH SCORE 23451.483
AT ITER 525 NEW BEST:: SOT 69972 SOS 52525 HAS SOPS 52525 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23252.525
AT ITER 534 NEW BEST:: SOT 70026 SOS 52564 HAS SOPS 52564 HAS SOUS 23168 HAS SOUPS 23168 WITH SCORE 23220.564
AT ITER 549 NEW BEST:: SOT 70053 SOS 52591 HAS SOPS 52591 HAS SOUS 23155 HAS SOUPS 23155 WITH SCORE 23207.591
AT ITER 550 NEW BEST:: SOT 70052 SOS 52590 HAS SOPS 52590 HAS SOUS 23089 HAS SOUPS 23089 WITH SCORE 23141.59
AT ITER 573 NEW BEST:: SOT 70168 SOS 52631 HAS SOPS 52631 HAS SOUS 23080 HAS SOUPS 23080 WITH SCORE 23132.631
AT ITER 589 NEW BEST:: SOT 70154 SOS 52567 HAS SOPS 52567 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23107.567
AT ITER 612 NEW BEST:: SOT 70126 SOS 52567 HAS SOPS 52567 HAS SOUS 22960 HAS SOUPS 22960 WITH SCORE 23012.567
AT ITER 613 NEW BEST:: SOT 70144 SOS 52597 HAS SOPS 52597 HAS SOUS 22922 HAS SOUPS 22922 WITH SCORE 22974.597
AT ITER 632 NEW BEST:: SOT 70106 SOS 52559 HAS SOPS 52559 HAS SOUS 22880 HAS SOUPS 22880 WITH SCORE 22932.559
AT ITER 642 NEW BEST:: SOT 70354 SOS 55772 HAS SOPS 55772 HAS SOUS 22790 HAS SOUPS 22790 WITH SCORE 22845.772
AT ITER 653 NEW BEST:: SOT 70291 SOS 55709 HAS SOPS 55709 HAS SOUS 22727 HAS SOUPS 22727 WITH SCORE 22782.709
AT ITER 674 NEW BEST:: SOT 70046 SOS 55524 HAS SOPS 55524 HAS SOUS 22543 HAS SOUPS 22543 WITH SCORE 22598.524
AT ITER 688 NEW BEST:: SOT 69762 SOS 55191 HAS SOPS 55191 HAS SOUS 22339 HAS SOUPS 22339 WITH SCORE 22394.191
AT ITER 693 NEW BEST:: SOT 69748 SOS 55190 HAS SOPS 55190 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22390.19
AT ITER 719 NEW BEST:: SOT 69740 SOS 55182 HAS SOPS 55182 HAS SOUS 22325 HAS SOUPS 22325 WITH SCORE 22380.182
AT ITER 726 NEW BEST:: SOT 69722 SOS 55164 HAS SOPS 55164 HAS SOUS 22319 HAS SOUPS 22319 WITH SCORE 22374.164
AT ITER 749 NEW BEST:: SOT 69722 SOS 55164 HAS SOPS 55164 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22365.164
AT ITER 752 NEW BEST:: SOT 69540 SOS 54974 HAS SOPS 54974 HAS SOUS 22155 HAS SOUPS 22155 WITH SCORE 22209.974
AT ITER 767 NEW BEST:: SOT 69405 SOS 54839 HAS SOPS 54839 HAS SOUS 22078 HAS SOUPS 22078 WITH SCORE 22132.839
AT ITER 777 NEW BEST:: SOT 69397 SOS 54831 HAS SOPS 54831 HAS SOUS 22016 HAS SOUPS 22016 WITH SCORE 22070.831
AT ITER 782 NEW BEST:: SOT 69412 SOS 54879 HAS SOPS 54879 HAS SOUS 21915 HAS SOUPS 21915 WITH SCORE 21969.879
AT ITER 791 NEW BEST:: SOT 69437 SOS 54934 HAS SOPS 54934 HAS SOUS 21907 HAS SOUPS 21907 WITH SCORE 21961.934
AT ITER 811 NEW BEST:: SOT 69437 SOS 55382 HAS SOPS 55382 HAS SOUS 21858 HAS SOUPS 21858 WITH SCORE 21913.382
AT ITER 822 NEW BEST:: SOT 69361 SOS 55306 HAS SOPS 55306 HAS SOUS 21847 HAS SOUPS 21847 WITH SCORE 21902.306
AT ITER 838 NEW BEST:: SOT 69357 SOS 55302 HAS SOPS 55302 HAS SOUS 21841 HAS SOUPS 21841 WITH SCORE 21896.302
AT ITER 874 NEW BEST:: SOT 69357 SOS 54926 HAS SOPS 54926 HAS SOUS 21840 HAS SOUPS 21840 WITH SCORE 21894.926
AT ITER 892 NEW BEST:: SOT 69355 SOS 55373 HAS SOPS 55373 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21726.373
AT ITER 910 NEW BEST:: SOT 69335 SOS 55353 HAS SOPS 55353 HAS SOUS 21661 HAS SOUPS 21661 WITH SCORE 21716.353
AT ITER 912 NEW BEST:: SOT 69335 SOS 55353 HAS SOPS 55353 HAS SOUS 21621 HAS SOUPS 21621 WITH SCORE 21676.353
AT ITER 916 NEW BEST:: SOT 69335 SOS 56924 HAS SOPS 56924 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21649.924
AT ITER 917 NEW BEST:: SOT 69299 SOS 56903 HAS SOPS 56903 HAS SOUS 21565 HAS SOUPS 21565 WITH SCORE 21621.903
AT ITER 937 NEW BEST:: SOT 69277 SOS 56851 HAS SOPS 56851 HAS SOUS 21560 HAS SOUPS 21560 WITH SCORE 21616.851
AT ITER 939 NEW BEST:: SOT 69184 SOS 57157 HAS SOPS 57157 HAS SOUS 21503 HAS SOUPS 21503 WITH SCORE 21560.157
AT ITER 955 NEW BEST:: SOT 69233 SOS 57681 HAS SOPS 57681 HAS SOUS 21455 HAS SOUPS 21455 WITH SCORE 21512.681
AT ITER 969 NEW BEST:: SOT 69144 SOS 57592 HAS SOPS 57592 HAS SOUS 21437 HAS SOUPS 21437 WITH SCORE 21494.592
AT ITER 983 NEW BEST:: SOT 69102 SOS 57550 HAS SOPS 57550 HAS SOUS 21387 HAS SOUPS 21387 WITH SCORE 21444.55
AT ITER 1013 NEW BEST:: SOT 69098 SOS 57521 HAS SOPS 57521 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21439.521
AT ITER 1024 NEW BEST:: SOT 69122 SOS 57545 HAS SOPS 57545 HAS SOUS 21366 HAS SOUPS 21366 WITH SCORE 21423.545
AT ITER 1026 NEW BEST:: SOT 69122 SOS 57545 HAS SOPS 57545 HAS SOUS 21364 HAS SOUPS 21364 WITH SCORE 21421.545
AT ITER 1031 NEW BEST:: SOT 69020 SOS 57443 HAS SOPS 57443 HAS SOUS 21237 HAS SOUPS 21237 WITH SCORE 21294.443
AT ITER 1033 NEW BEST:: SOT 69012 SOS 57435 HAS SOPS 57435 HAS SOUS 21229 HAS SOUPS 21229 WITH SCORE 21286.435
AT ITER 1055 NEW BEST:: SOT 68964 SOS 57493 HAS SOPS 57493 HAS SOUS 21205 HAS SOUPS 21205 WITH SCORE 21262.493
AT ITER 1063 NEW BEST:: SOT 68956 SOS 57485 HAS SOPS 57485 HAS SOUS 21194 HAS SOUPS 21194 WITH SCORE 21251.485
AT ITER 1072 NEW BEST:: SOT 68956 SOS 57459 HAS SOPS 57459 HAS SOUS 21194 HAS SOUPS 21194 WITH SCORE 21251.459
AT ITER 1101 NEW BEST:: SOT 68936 SOS 57439 HAS SOPS 57439 HAS SOUS 21182 HAS SOUPS 21182 WITH SCORE 21239.439
AT ITER 1138 NEW BEST:: SOT 68943 SOS 57446 HAS SOPS 57446 HAS SOUS 21177 HAS SOUPS 21177 WITH SCORE 21234.446
AT ITER 1143 NEW BEST:: SOT 68937 SOS 57444 HAS SOPS 57444 HAS SOUS 21173 HAS SOUPS 21173 WITH SCORE 21230.444
AT ITER 1212 NEW BEST:: SOT 68933 SOS 57440 HAS SOPS 57440 HAS SOUS 21157 HAS SOUPS 21157 WITH SCORE 21214.44
AT ITER 1250 NEW BEST:: SOT 68933 SOS 57440 HAS SOPS 57440 HAS SOUS 21143 HAS SOUPS 21143 WITH SCORE 21200.44
AT ITER 1259 NEW BEST:: SOT 68933 SOS 57504 HAS SOPS 57504 HAS SOUS 21138 HAS SOUPS 21138 WITH SCORE 21195.504
AT ITER 1265 NEW BEST:: SOT 68915 SOS 57486 HAS SOPS 57486 HAS SOUS 21096 HAS SOUPS 21096 WITH SCORE 21153.486
AT ITER 1281 NEW BEST:: SOT 68915 SOS 57486 HAS SOPS 57486 HAS SOUS 21058 HAS SOUPS 21058 WITH SCORE 21115.486
AT ITER 1292 NEW BEST:: SOT 69077 SOS 57542 HAS SOPS 57542 HAS SOUS 21034 HAS SOUPS 21034 WITH SCORE 21091.542
AT ITER 1312 NEW BEST:: SOT 69077 SOS 56542 HAS SOPS 56542 HAS SOUS 21031 HAS SOUPS 21031 WITH SCORE 21087.542
AT ITER 1355 NEW BEST:: SOT 69077 SOS 56542 HAS SOPS 56542 HAS SOUS 20970 HAS SOUPS 20970 WITH SCORE 21026.542
AT ITER 1373 NEW BEST:: SOT 69077 SOS 56542 HAS SOPS 56542 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 20994.542
AT ITER 1388 NEW BEST:: SOT 68948 SOS 56413 HAS SOPS 56413 HAS SOUS 20931 HAS SOUPS 20931 WITH SCORE 20987.413
AT ITER 1391 NEW BEST:: SOT 68927 SOS 56392 HAS SOPS 56392 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20976.392
AT ITER 1411 NEW BEST:: SOT 68879 SOS 56332 HAS SOPS 56332 HAS SOUS 20866 HAS SOUPS 20866 WITH SCORE 20922.332
AT ITER 1468 NEW BEST:: SOT 68882 SOS 56335 HAS SOPS 56335 HAS SOUS 20763 HAS SOUPS 20763 WITH SCORE 20819.335
AT ITER 1485 NEW BEST:: SOT 68876 SOS 56329 HAS SOPS 56329 HAS SOUS 20726 HAS SOUPS 20726 WITH SCORE 20782.329
AT ITER 1491 NEW BEST:: SOT 68636 SOS 54889 HAS SOPS 54889 HAS SOUS 20708 HAS SOUPS 20708 WITH SCORE 20762.889
AT ITER 1522 NEW BEST:: SOT 68434 SOS 54687 HAS SOPS 54687 HAS SOUS 20558 HAS SOUPS 20558 WITH SCORE 20612.687
AT ITER 1540 NEW BEST:: SOT 68432 SOS 54685 HAS SOPS 54685 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20610.685
AT ITER 1556 NEW BEST:: SOT 68434 SOS 54691 HAS SOPS 54691 HAS SOUS 20546 HAS SOUPS 20546 WITH SCORE 20600.691
AT ITER 1559 NEW BEST:: SOT 68443 SOS 54700 HAS SOPS 54700 HAS SOUS 20504 HAS SOUPS 20504 WITH SCORE 20558.7
AT ITER 1583 NEW BEST:: SOT 68402 SOS 54659 HAS SOPS 54659 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20445.659
AT ITER 1584 NEW BEST:: SOT 68402 SOS 54646 HAS SOPS 54646 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20445.646
AT ITER 1646 NEW BEST:: SOT 68373 SOS 54617 HAS SOPS 54617 HAS SOUS 20317 HAS SOUPS 20317 WITH SCORE 20371.617
AT ITER 1669 NEW BEST:: SOT 68365 SOS 54609 HAS SOPS 54609 HAS SOUS 20204 HAS SOUPS 20204 WITH SCORE 20258.609
AT ITER 1695 NEW BEST:: SOT 68410 SOS 54654 HAS SOPS 54654 HAS SOUS 20201 HAS SOUPS 20201 WITH SCORE 20255.654
AT ITER 1703 NEW BEST:: SOT 68344 SOS 54588 HAS SOPS 54588 HAS SOUS 20173 HAS SOUPS 20173 WITH SCORE 20227.588
AT ITER 1720 NEW BEST:: SOT 68408 SOS 54776 HAS SOPS 54776 HAS SOUS 20108 HAS SOUPS 20108 WITH SCORE 20162.776
AT ITER 1756 NEW BEST:: SOT 68410 SOS 54778 HAS SOPS 54778 HAS SOUS 20103 HAS SOUPS 20103 WITH SCORE 20157.778
AT ITER 1761 NEW BEST:: SOT 68362 SOS 54730 HAS SOPS 54730 HAS SOUS 20047 HAS SOUPS 20047 WITH SCORE 20101.73
AT ITER 1770 NEW BEST:: SOT 68368 SOS 54571 HAS SOPS 54571 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20075.571
AT ITER 1788 NEW BEST:: SOT 68364 SOS 54567 HAS SOPS 54567 HAS SOUS 20015 HAS SOUPS 20015 WITH SCORE 20069.567
AT ITER 1793 NEW BEST:: SOT 68352 SOS 54599 HAS SOPS 54599 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20053.599
AT ITER 1833 NEW BEST:: SOT 68352 SOS 54599 HAS SOPS 54599 HAS SOUS 19992 HAS SOUPS 19992 WITH SCORE 20046.599
AT ITER 1846 NEW BEST:: SOT 68352 SOS 54407 HAS SOPS 54407 HAS SOUS 19991 HAS SOUPS 19991 WITH SCORE 20045.407
AT ITER 1855 NEW BEST:: SOT 68338 SOS 54389 HAS SOPS 54389 HAS SOUS 19981 HAS SOUPS 19981 WITH SCORE 20035.389
AT ITER 1860 NEW BEST:: SOT 68335 SOS 54386 HAS SOPS 54386 HAS SOUS 19951 HAS SOUPS 19951 WITH SCORE 20005.386
AT ITER 1877 NEW BEST:: SOT 68271 SOS 54666 HAS SOPS 54666 HAS SOUS 19893 HAS SOUPS 19893 WITH SCORE 19947.666
AT ITER 1894 NEW BEST:: SOT 68121 SOS 54516 HAS SOPS 54516 HAS SOUS 19842 HAS SOUPS 19842 WITH SCORE 19896.516
AT ITER 1901 NEW BEST:: SOT 68109 SOS 54504 HAS SOPS 54504 HAS SOUS 19822 HAS SOUPS 19822 WITH SCORE 19876.504
AT ITER 1932 NEW BEST:: SOT 68109 SOS 54503 HAS SOPS 54503 HAS SOUS 19820 HAS SOUPS 19820 WITH SCORE 19874.503
AT ITER 1939 NEW BEST:: SOT 68071 SOS 54465 HAS SOPS 54465 HAS SOUS 19782 HAS SOUPS 19782 WITH SCORE 19836.465
AT ITER 1969 NEW BEST:: SOT 68005 SOS 54393 HAS SOPS 54393 HAS SOUS 19704 HAS SOUPS 19704 WITH SCORE 19758.393
AT ITER 1995 NEW BEST:: SOT 67930 SOS 54313 HAS SOPS 54313 HAS SOUS 19642 HAS SOUPS 19642 WITH SCORE 19696.313
AT ITER 1997 NEW BEST:: SOT 67930 SOS 54253 HAS SOPS 54253 HAS SOUS 19638 HAS SOUPS 19638 WITH SCORE 19692.253
AT ITER 2012 NEW BEST:: SOT 67902 SOS 54225 HAS SOPS 54225 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19656.225
AT ITER 2013 NEW BEST:: SOT 67874 SOS 54378 HAS SOPS 54378 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19532.378
AT ITER 2030 NEW BEST:: SOT 67908 SOS 54412 HAS SOPS 54412 HAS SOUS 19472 HAS SOUPS 19472 WITH SCORE 19526.412
AT ITER 2055 NEW BEST:: SOT 67903 SOS 54407 HAS SOPS 54407 HAS SOUS 19452 HAS SOUPS 19452 WITH SCORE 19506.407
AT ITER 2057 NEW BEST:: SOT 67852 SOS 54145 HAS SOPS 54145 HAS SOUS 19316 HAS SOUPS 19316 WITH SCORE 19370.145
AT ITER 2068 NEW BEST:: SOT 67695 SOS 53988 HAS SOPS 53988 HAS SOUS 19193 HAS SOUPS 19193 WITH SCORE 19246.988
AT ITER 2073 NEW BEST:: SOT 67671 SOS 53964 HAS SOPS 53964 HAS SOUS 19185 HAS SOUPS 19185 WITH SCORE 19238.964
AT ITER 2096 NEW BEST:: SOT 67671 SOS 53412 HAS SOPS 53412 HAS SOUS 19183 HAS SOUPS 19183 WITH SCORE 19236.412
AT ITER 2127 NEW BEST:: SOT 67669 SOS 53410 HAS SOPS 53410 HAS SOUS 19181 HAS SOUPS 19181 WITH SCORE 19234.41
AT ITER 2145 NEW BEST:: SOT 67762 SOS 53503 HAS SOPS 53503 HAS SOUS 19131 HAS SOUPS 19131 WITH SCORE 19184.503
AT ITER 2146 NEW BEST:: SOT 67758 SOS 53499 HAS SOPS 53499 HAS SOUS 19127 HAS SOUPS 19127 WITH SCORE 19180.499
AT ITER 2156 NEW BEST:: SOT 67758 SOS 53491 HAS SOPS 53491 HAS SOUS 19127 HAS SOUPS 19127 WITH SCORE 19180.491
AT ITER 2169 NEW BEST:: SOT 67758 SOS 53476 HAS SOPS 53476 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19178.476
AT ITER 2306 NEW BEST:: SOT 67700 SOS 53418 HAS SOPS 53418 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19146.418
AT ITER 2308 NEW BEST:: SOT 67822 SOS 55408 HAS SOPS 55408 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19059.408
AT ITER 2340 NEW BEST:: SOT 67822 SOS 55408 HAS SOPS 55408 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19056.408
AT ITER 2351 NEW BEST:: SOT 67822 SOS 55384 HAS SOPS 55384 HAS SOUS 19000 HAS SOUPS 19000 WITH SCORE 19055.384
AT ITER 2367 NEW BEST:: SOT 67774 SOS 55336 HAS SOPS 55336 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19033.336
AT ITER 2378 NEW BEST:: SOT 67776 SOS 55338 HAS SOPS 55338 HAS SOUS 18976 HAS SOUPS 18976 WITH SCORE 19031.338
AT ITER 2391 NEW BEST:: SOT 67798 SOS 55524 HAS SOPS 55524 HAS SOUS 18932 HAS SOUPS 18932 WITH SCORE 18987.524
AT ITER 2395 NEW BEST:: SOT 67792 SOS 55518 HAS SOPS 55518 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18947.518
AT ITER 2400 NEW BEST:: SOT 67795 SOS 55521 HAS SOPS 55521 HAS SOUS 18890 HAS SOUPS 18890 WITH SCORE 18945.521
AT ITER 2409 NEW BEST:: SOT 67795 SOS 55101 HAS SOPS 55101 HAS SOUS 18890 HAS SOUPS 18890 WITH SCORE 18945.101
AT ITER 2481 NEW BEST:: SOT 67780 SOS 55086 HAS SOPS 55086 HAS SOUS 18844 HAS SOUPS 18844 WITH SCORE 18899.086
AT ITER 2518 NEW BEST:: SOT 67774 SOS 55074 HAS SOPS 55074 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18896.074
AT ITER 2547 NEW BEST:: SOT 67733 SOS 54434 HAS SOPS 54434 HAS SOUS 18745 HAS SOUPS 18745 WITH SCORE 18799.434
AT ITER 2562 NEW BEST:: SOT 67727 SOS 54427 HAS SOPS 54427 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18794.427
AT ITER 2563 NEW BEST:: SOT 67727 SOS 54421 HAS SOPS 54421 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18790.421
AT ITER 2579 NEW BEST:: SOT 67727 SOS 55125 HAS SOPS 55125 HAS SOUS 18666 HAS SOUPS 18666 WITH SCORE 18721.125
AT ITER 2582 NEW BEST:: SOT 67740 SOS 55138 HAS SOPS 55138 HAS SOUS 18629 HAS SOUPS 18629 WITH SCORE 18684.138
AT ITER 2632 NEW BEST:: SOT 67768 SOS 55166 HAS SOPS 55166 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18680.166
AT ITER 2686 NEW BEST:: SOT 67725 SOS 55123 HAS SOPS 55123 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18637.123
AT ITER 2734 NEW BEST:: SOT 67727 SOS 55125 HAS SOPS 55125 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18627.125
AT ITER 2748 NEW BEST:: SOT 67727 SOS 55125 HAS SOPS 55125 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18609.125
AT ITER 2778 NEW BEST:: SOT 67727 SOS 55117 HAS SOPS 55117 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18609.117
AT ITER 2807 NEW BEST:: SOT 67727 SOS 55118 HAS SOPS 55118 HAS SOUS 18553 HAS SOUPS 18553 WITH SCORE 18608.118
AT ITER 2832 NEW BEST:: SOT 67710 SOS 55101 HAS SOPS 55101 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18575.101
AT ITER 2835 NEW BEST:: SOT 67710 SOS 54701 HAS SOPS 54701 HAS SOUS 18495 HAS SOUPS 18495 WITH SCORE 18549.701
AT ITER 2839 NEW BEST:: SOT 67652 SOS 54643 HAS SOPS 54643 HAS SOUS 18493 HAS SOUPS 18493 WITH SCORE 18547.643
AT ITER 2917 NEW BEST:: SOT 67652 SOS 54643 HAS SOPS 54643 HAS SOUS 18484 HAS SOUPS 18484 WITH SCORE 18538.643
AT ITER 2981 NEW BEST:: SOT 67652 SOS 55219 HAS SOPS 55219 HAS SOUS 18481 HAS SOUPS 18481 WITH SCORE 18536.219
AT ITER 2994 NEW BEST:: SOT 67609 SOS 55080 HAS SOPS 55080 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18487.08
AT ITER 3040 NEW BEST:: SOT 67593 SOS 55064 HAS SOPS 55064 HAS SOUS 18416 HAS SOUPS 18416 WITH SCORE 18471.064
AT ITER 3058 NEW BEST:: SOT 67583 SOS 55054 HAS SOPS 55054 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18464.054
AT ITER 3098 NEW BEST:: SOT 67683 SOS 55154 HAS SOPS 55154 HAS SOUS 18388 HAS SOUPS 18388 WITH SCORE 18443.154
AT ITER 3099 NEW BEST:: SOT 67683 SOS 55134 HAS SOPS 55134 HAS SOUS 18388 HAS SOUPS 18388 WITH SCORE 18443.134
AT ITER 3107 NEW BEST:: SOT 67679 SOS 55130 HAS SOPS 55130 HAS SOUS 18384 HAS SOUPS 18384 WITH SCORE 18439.13
AT ITER 3185 NEW BEST:: SOT 67567 SOS 55018 HAS SOPS 55018 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18329.018
AT ITER 3232 NEW BEST:: SOT 67524 SOS 54967 HAS SOPS 54967 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18269.967
AT ITER 3268 NEW BEST:: SOT 67504 SOS 54974 HAS SOPS 54974 HAS SOUS 18212 HAS SOUPS 18212 WITH SCORE 18266.974
AT ITER 3271 NEW BEST:: SOT 67516 SOS 54986 HAS SOPS 54986 HAS SOUS 18183 HAS SOUPS 18183 WITH SCORE 18237.986
AT ITER 3319 NEW BEST:: SOT 67516 SOS 55094 HAS SOPS 55094 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18208.094
AT ITER 3336 NEW BEST:: SOT 67341 SOS 54919 HAS SOPS 54919 HAS SOUS 18064 HAS SOUPS 18064 WITH SCORE 18118.919
AT ITER 3399 NEW BEST:: SOT 67325 SOS 54903 HAS SOPS 54903 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18072.903
AT ITER 3401 NEW BEST:: SOT 67309 SOS 54909 HAS SOPS 54909 HAS SOUS 18005 HAS SOUPS 18005 WITH SCORE 18059.909
AT ITER 3511 NEW BEST:: SOT 67303 SOS 54898 HAS SOPS 54898 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18057.898
AT ITER 3569 NEW BEST:: SOT 67320 SOS 54915 HAS SOPS 54915 HAS SOUS 17991 HAS SOUPS 17991 WITH SCORE 18045.915
AT ITER 3586 NEW BEST:: SOT 67297 SOS 54892 HAS SOPS 54892 HAS SOUS 17935 HAS SOUPS 17935 WITH SCORE 17989.892
AT ITER 3601 NEW BEST:: SOT 67291 SOS 54894 HAS SOPS 54894 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17978.894
AT ITER 3610 NEW BEST:: SOT 67288 SOS 54891 HAS SOPS 54891 HAS SOUS 17921 HAS SOUPS 17921 WITH SCORE 17975.891
AT ITER 3611 NEW BEST:: SOT 67248 SOS 54590 HAS SOPS 54590 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17966.59
AT ITER 3618 NEW BEST:: SOT 67220 SOS 54562 HAS SOPS 54562 HAS SOUS 17867 HAS SOUPS 17867 WITH SCORE 17921.562
AT ITER 3655 NEW BEST:: SOT 67220 SOS 54562 HAS SOPS 54562 HAS SOUS 17858 HAS SOUPS 17858 WITH SCORE 17912.562
AT ITER 3662 NEW BEST:: SOT 67220 SOS 54562 HAS SOPS 54562 HAS SOUS 17857 HAS SOUPS 17857 WITH SCORE 17911.562
AT ITER 3663 NEW BEST:: SOT 67220 SOS 54563 HAS SOPS 54563 HAS SOUS 17856 HAS SOUPS 17856 WITH SCORE 17910.563
AT ITER 3779 NEW BEST:: SOT 67220 SOS 54563 HAS SOPS 54563 HAS SOUS 17824 HAS SOUPS 17824 WITH SCORE 17878.563
AT ITER 3821 NEW BEST:: SOT 67220 SOS 54195 HAS SOPS 54195 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17876.195
AT ITER 3880 NEW BEST:: SOT 67222 SOS 54197 HAS SOPS 54197 HAS SOUS 17812 HAS SOUPS 17812 WITH SCORE 17866.197
AT ITER 3881 NEW BEST:: SOT 67219 SOS 54194 HAS SOPS 54194 HAS SOUS 17805 HAS SOUPS 17805 WITH SCORE 17859.194
AT ITER 3907 NEW BEST:: SOT 67213 SOS 54188 HAS SOPS 54188 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17853.188
AT ITER 3915 NEW BEST:: SOT 67213 SOS 54179 HAS SOPS 54179 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17853.179
AT ITER 3923 NEW BEST:: SOT 67193 SOS 54182 HAS SOPS 54182 HAS SOUS 17771 HAS SOUPS 17771 WITH SCORE 17825.182
AT ITER 3946 NEW BEST:: SOT 67193 SOS 54182 HAS SOPS 54182 HAS SOUS 17761 HAS SOUPS 17761 WITH SCORE 17815.182
AT ITER 4057 NEW BEST:: SOT 67193 SOS 54182 HAS SOPS 54182 HAS SOUS 17755 HAS SOUPS 17755 WITH SCORE 17809.182
AT ITER 4100 NEW BEST:: SOT 67186 SOS 54175 HAS SOPS 54175 HAS SOUS 17748 HAS SOUPS 17748 WITH SCORE 17802.175
AT ITER 4123 NEW BEST:: SOT 67186 SOS 54135 HAS SOPS 54135 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17792.135
AT ITER 4218 NEW BEST:: SOT 67186 SOS 54131 HAS SOPS 54131 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17792.131
AT ITER 4270 NEW BEST:: SOT 67186 SOS 54131 HAS SOPS 54131 HAS SOUS 17737 HAS SOUPS 17737 WITH SCORE 17791.131
AT ITER 4349 NEW BEST:: SOT 67057 SOS 54002 HAS SOPS 54002 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17729.002
AT ITER 4432 NEW BEST:: SOT 67057 SOS 54002 HAS SOPS 54002 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17728.002
AT ITER 4487 NEW BEST:: SOT 67055 SOS 54000 HAS SOPS 54000 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17694.0
AT ITER 4613 NEW BEST:: SOT 67055 SOS 54000 HAS SOPS 54000 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17693.0
AT ITER 4627 NEW BEST:: SOT 67057 SOS 54011 HAS SOPS 54011 HAS SOUS 17637 HAS SOUPS 17637 WITH SCORE 17691.011
AT ITER 4803 NEW BEST:: SOT 67042 SOS 53996 HAS SOPS 53996 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17682.996
AT ITER 4914 NEW BEST:: SOT 67042 SOS 54008 HAS SOPS 54008 HAS SOUS 17605 HAS SOUPS 17605 WITH SCORE 17659.008
AT ITER 4932 NEW BEST:: SOT 67042 SOS 54008 HAS SOPS 54008 HAS SOUS 17589 HAS SOUPS 17589 WITH SCORE 17643.008
AT ITER 4952 NEW BEST:: SOT 67040 SOS 54006 HAS SOPS 54006 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17641.006
AT ITER 4965 NEW BEST:: SOT 67040 SOS 53454 HAS SOPS 53454 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17640.454
AT ITER 4989 NEW BEST:: SOT 67074 SOS 53560 HAS SOPS 53560 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17611.56
AT ITER 5016 NEW BEST:: SOT 67058 SOS 53544 HAS SOPS 53544 HAS SOUS 17534 HAS SOUPS 17534 WITH SCORE 17587.544
AT ITER 5162 NEW BEST:: SOT 67054 SOS 53540 HAS SOPS 53540 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17559.54
AT ITER 5252 NEW BEST:: SOT 67054 SOS 53540 HAS SOPS 53540 HAS SOUS 17486 HAS SOUPS 17486 WITH SCORE 17539.54
AT ITER 5269 NEW BEST:: SOT 67050 SOS 53536 HAS SOPS 53536 HAS SOUS 17482 HAS SOUPS 17482 WITH SCORE 17535.536
AT ITER 5307 NEW BEST:: SOT 67013 SOS 53499 HAS SOPS 53499 HAS SOUS 17459 HAS SOUPS 17459 WITH SCORE 17512.499
AT ITER 5367 NEW BEST:: SOT 67013 SOS 53499 HAS SOPS 53499 HAS SOUS 17449 HAS SOUPS 17449 WITH SCORE 17502.499
AT ITER 5383 NEW BEST:: SOT 67011 SOS 53493 HAS SOPS 53493 HAS SOUS 17439 HAS SOUPS 17439 WITH SCORE 17492.493
AT ITER 5434 NEW BEST:: SOT 67011 SOS 53493 HAS SOPS 53493 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17464.493
AT ITER 5440 NEW BEST:: SOT 67003 SOS 53485 HAS SOPS 53485 HAS SOUS 17409 HAS SOUPS 17409 WITH SCORE 17462.485
AT ITER 5444 NEW BEST:: SOT 67007 SOS 53510 HAS SOPS 53510 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17441.51
AT ITER 5693 NEW BEST:: SOT 67007 SOS 53509 HAS SOPS 53509 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17441.509
AT ITER 5753 NEW BEST:: SOT 67007 SOS 53517 HAS SOPS 53517 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17436.517
AT ITER 5819 NEW BEST:: SOT 67005 SOS 53518 HAS SOPS 53518 HAS SOUS 17381 HAS SOUPS 17381 WITH SCORE 17434.518
AT ITER 5894 NEW BEST:: SOT 67029 SOS 53542 HAS SOPS 53542 HAS SOUS 17375 HAS SOUPS 17375 WITH SCORE 17428.542
AT ITER 5920 NEW BEST:: SOT 67029 SOS 53610 HAS SOPS 53610 HAS SOUS 17329 HAS SOUPS 17329 WITH SCORE 17382.61
AT ITER 5937 NEW BEST:: SOT 67029 SOS 53610 HAS SOPS 53610 HAS SOUS 17328 HAS SOUPS 17328 WITH SCORE 17381.61
AT ITER 5968 NEW BEST:: SOT 66973 SOS 53481 HAS SOPS 53481 HAS SOUS 17265 HAS SOUPS 17265 WITH SCORE 17318.481
AT ITER 6094 NEW BEST:: SOT 66959 SOS 53467 HAS SOPS 53467 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17290.467
AT ITER 6138 NEW BEST:: SOT 66967 SOS 53475 HAS SOPS 53475 HAS SOUS 17236 HAS SOUPS 17236 WITH SCORE 17289.475
AT ITER 6176 NEW BEST:: SOT 66967 SOS 53475 HAS SOPS 53475 HAS SOUS 17231 HAS SOUPS 17231 WITH SCORE 17284.475
AT ITER 6208 NEW BEST:: SOT 66953 SOS 53461 HAS SOPS 53461 HAS SOUS 17228 HAS SOUPS 17228 WITH SCORE 17281.461
AT ITER 6264 NEW BEST:: SOT 66955 SOS 53463 HAS SOPS 53463 HAS SOUS 17224 HAS SOUPS 17224 WITH SCORE 17277.463
AT ITER 6361 NEW BEST:: SOT 66955 SOS 53463 HAS SOPS 53463 HAS SOUS 17209 HAS SOUPS 17209 WITH SCORE 17262.463
AT ITER 6368 NEW BEST:: SOT 66941 SOS 53448 HAS SOPS 53448 HAS SOUS 17193 HAS SOUPS 17193 WITH SCORE 17246.448
AT ITER 6374 NEW BEST:: SOT 66941 SOS 53444 HAS SOPS 53444 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17245.444
AT ITER 6497 NEW BEST:: SOT 66941 SOS 53412 HAS SOPS 53412 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17245.412
AT ITER 6511 NEW BEST:: SOT 66880 SOS 53351 HAS SOPS 53351 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17126.351
AT ITER 6565 NEW BEST:: SOT 66876 SOS 53353 HAS SOPS 53353 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17122.353
AT ITER 6606 NEW BEST:: SOT 66856 SOS 53333 HAS SOPS 53333 HAS SOUS 17022 HAS SOUPS 17022 WITH SCORE 17075.333
AT ITER 6647 NEW BEST:: SOT 66853 SOS 53330 HAS SOPS 53330 HAS SOUS 17020 HAS SOUPS 17020 WITH SCORE 17073.33
AT ITER 6683 NEW BEST:: SOT 66841 SOS 53318 HAS SOPS 53318 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17043.318
AT ITER 6711 NEW BEST:: SOT 66841 SOS 53334 HAS SOPS 53334 HAS SOUS 16989 HAS SOUPS 16989 WITH SCORE 17042.334
AT ITER 6792 NEW BEST:: SOT 66811 SOS 53304 HAS SOPS 53304 HAS SOUS 16954 HAS SOUPS 16954 WITH SCORE 17007.304
AT ITER 6813 NEW BEST:: SOT 66811 SOS 53304 HAS SOPS 53304 HAS SOUS 16953 HAS SOUPS 16953 WITH SCORE 17006.304
AT ITER 6835 NEW BEST:: SOT 66805 SOS 53298 HAS SOPS 53298 HAS SOUS 16949 HAS SOUPS 16949 WITH SCORE 17002.298
AT ITER 6849 NEW BEST:: SOT 66787 SOS 53280 HAS SOPS 53280 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16976.28
AT ITER 6851 NEW BEST:: SOT 66787 SOS 53220 HAS SOPS 53220 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16976.22
AT ITER 7127 NEW BEST:: SOT 66771 SOS 53202 HAS SOPS 53202 HAS SOUS 16906 HAS SOUPS 16906 WITH SCORE 16959.202
AT ITER 7261 NEW BEST:: SOT 66771 SOS 53203 HAS SOPS 53203 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16958.203
AT ITER 7516 NEW BEST:: SOT 66635 SOS 52963 HAS SOPS 52963 HAS SOUS 16902 HAS SOUPS 16902 WITH SCORE 16954.963
AT ITER 7558 NEW BEST:: SOT 66595 SOS 52923 HAS SOPS 52923 HAS SOUS 16882 HAS SOUPS 16882 WITH SCORE 16934.923
AT ITER 7694 NEW BEST:: SOT 66595 SOS 52920 HAS SOPS 52920 HAS SOUS 16882 HAS SOUPS 16882 WITH SCORE 16934.92
AT ITER 7700 NEW BEST:: SOT 66587 SOS 52912 HAS SOPS 52912 HAS SOUS 16874 HAS SOUPS 16874 WITH SCORE 16926.912
AT ITER 7779 NEW BEST:: SOT 66587 SOS 52904 HAS SOPS 52904 HAS SOUS 16874 HAS SOUPS 16874 WITH SCORE 16926.904
AT ITER 7821 NEW BEST:: SOT 66581 SOS 52898 HAS SOPS 52898 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16907.898
AT ITER 7837 NEW BEST:: SOT 66581 SOS 53026 HAS SOPS 53026 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16907.026
AT ITER 7893 NEW BEST:: SOT 66570 SOS 53015 HAS SOPS 53015 HAS SOUS 16851 HAS SOUPS 16851 WITH SCORE 16904.015
AT ITER 7976 NEW BEST:: SOT 66571 SOS 53016 HAS SOPS 53016 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16903.016
AT ITER 8066 NEW BEST:: SOT 66568 SOS 52999 HAS SOPS 52999 HAS SOUS 16843 HAS SOUPS 16843 WITH SCORE 16895.999
AT ITER 8080 NEW BEST:: SOT 66568 SOS 52967 HAS SOPS 52967 HAS SOUS 16843 HAS SOUPS 16843 WITH SCORE 16895.967
AT ITER 8139 NEW BEST:: SOT 66564 SOS 52982 HAS SOPS 52982 HAS SOUS 16838 HAS SOUPS 16838 WITH SCORE 16890.982
AT ITER 8278 NEW BEST:: SOT 66564 SOS 52979 HAS SOPS 52979 HAS SOUS 16837 HAS SOUPS 16837 WITH SCORE 16889.979
AT ITER 8363 NEW BEST:: SOT 66556 SOS 52971 HAS SOPS 52971 HAS SOUS 16821 HAS SOUPS 16821 WITH SCORE 16873.971
AT ITER 8533 NEW BEST:: SOT 66556 SOS 52875 HAS SOPS 52875 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16870.875
AT ITER 8764 NEW BEST:: SOT 66553 SOS 52872 HAS SOPS 52872 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16867.872
AT ITER 8820 NEW BEST:: SOT 66548 SOS 52867 HAS SOPS 52867 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16867.867
AT ITER 8884 NEW BEST:: SOT 66548 SOS 52867 HAS SOPS 52867 HAS SOUS 16805 HAS SOUPS 16805 WITH SCORE 16857.867
AT ITER 8897 NEW BEST:: SOT 66546 SOS 52865 HAS SOPS 52865 HAS SOUS 16802 HAS SOUPS 16802 WITH SCORE 16854.865
AT ITER 8912 NEW BEST:: SOT 66562 SOS 52881 HAS SOPS 52881 HAS SOUS 16795 HAS SOUPS 16795 WITH SCORE 16847.881
AT ITER 9102 NEW BEST:: SOT 66554 SOS 52873 HAS SOPS 52873 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16845.873
AT ITER 9244 NEW BEST:: SOT 66538 SOS 52857 HAS SOPS 52857 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16837.857
AT ITER 9291 NEW BEST:: SOT 66546 SOS 52865 HAS SOPS 52865 HAS SOUS 16783 HAS SOUPS 16783 WITH SCORE 16835.865
AT ITER 9384 NEW BEST:: SOT 66546 SOS 52859 HAS SOPS 52859 HAS SOUS 16769 HAS SOUPS 16769 WITH SCORE 16821.859
AT ITER 9430 NEW BEST:: SOT 66546 SOS 52867 HAS SOPS 52867 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16817.867
AT ITER 9647 NEW BEST:: SOT 66482 SOS 52803 HAS SOPS 52803 HAS SOUS 16709 HAS SOUPS 16709 WITH SCORE 16761.803
AT ITER 9713 NEW BEST:: SOT 66484 SOS 52806 HAS SOPS 52806 HAS SOUS 16708 HAS SOUPS 16708 WITH SCORE 16760.806
AT ITER 9763 NEW BEST:: SOT 66484 SOS 52982 HAS SOPS 52982 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16759.982
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 743072 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150968 kB

BK_TIME_CONFINEMENT_REACHED

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

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="PermAdmissibility-PT-10"
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"
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 smart"
echo " Input is PermAdmissibility-PT-10, 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 r259-smll-167863534700536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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