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.r387-oct2-167903711400072.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldIIPs-PT-005A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711400072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 8.1K Feb 25 16:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 16:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 16:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 16:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 16:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K 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 1679060189445

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=ShieldIIPs-PT-005A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 005A
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: 128 places, 123 transitions, 546 arcs.
AT ITER 0 NEW BEST:: SOT 10759 SOS 8371 HAS SOPS 8371 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7163.371
AT ITER 8 NEW BEST:: SOT 10717 SOS 8337 HAS SOPS 8337 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.337
AT ITER 11 NEW BEST:: SOT 10714 SOS 8334 HAS SOPS 8334 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7126.334
AT ITER 19 NEW BEST:: SOT 10714 SOS 8263 HAS SOPS 8263 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7109.263
AT ITER 36 NEW BEST:: SOT 10694 SOS 8250 HAS SOPS 8250 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7096.25
AT ITER 40 NEW BEST:: SOT 10687 SOS 8246 HAS SOPS 8246 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7092.246
AT ITER 44 NEW BEST:: SOT 10684 SOS 8241 HAS SOPS 8241 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7087.241
AT ITER 46 NEW BEST:: SOT 10684 SOS 8204 HAS SOPS 8204 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7072.204
AT ITER 49 NEW BEST:: SOT 10673 SOS 8198 HAS SOPS 8198 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7066.198
AT ITER 51 NEW BEST:: SOT 10655 SOS 8163 HAS SOPS 8163 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7031.163
AT ITER 52 NEW BEST:: SOT 10655 SOS 8125 HAS SOPS 8125 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7013.125
AT ITER 54 NEW BEST:: SOT 10653 SOS 8123 HAS SOPS 8123 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7011.123
AT ITER 55 NEW BEST:: SOT 10653 SOS 8121 HAS SOPS 8121 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7009.121
AT ITER 56 NEW BEST:: SOT 10644 SOS 8103 HAS SOPS 8103 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7009.103
AT ITER 61 NEW BEST:: SOT 10645 SOS 8055 HAS SOPS 8055 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6990.055
AT ITER 62 NEW BEST:: SOT 10628 SOS 7996 HAS SOPS 7996 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6930.996
AT ITER 67 NEW BEST:: SOT 10628 SOS 7959 HAS SOPS 7959 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6923.959
AT ITER 72 NEW BEST:: SOT 10628 SOS 7957 HAS SOPS 7957 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6923.957
AT ITER 78 NEW BEST:: SOT 10628 SOS 7955 HAS SOPS 7955 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6923.955
AT ITER 86 NEW BEST:: SOT 10634 SOS 7961 HAS SOPS 7961 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6922.961
AT ITER 88 NEW BEST:: SOT 10623 SOS 7880 HAS SOPS 7880 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6907.88
AT ITER 89 NEW BEST:: SOT 10588 SOS 7820 HAS SOPS 7820 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6899.82
AT ITER 90 NEW BEST:: SOT 10588 SOS 7831 HAS SOPS 7831 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6895.831
AT ITER 93 NEW BEST:: SOT 10612 SOS 7855 HAS SOPS 7855 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6894.855
AT ITER 103 NEW BEST:: SOT 10611 SOS 7854 HAS SOPS 7854 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6893.854
AT ITER 110 NEW BEST:: SOT 10599 SOS 7840 HAS SOPS 7840 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6879.84
AT ITER 112 NEW BEST:: SOT 10567 SOS 7812 HAS SOPS 7812 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6851.812
AT ITER 116 NEW BEST:: SOT 10556 SOS 7766 HAS SOPS 7766 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6841.766
AT ITER 119 NEW BEST:: SOT 10549 SOS 7759 HAS SOPS 7759 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6834.759
AT ITER 120 NEW BEST:: SOT 10542 SOS 7752 HAS SOPS 7752 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6827.752
AT ITER 121 NEW BEST:: SOT 10532 SOS 7748 HAS SOPS 7748 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6823.748
AT ITER 124 NEW BEST:: SOT 10510 SOS 7711 HAS SOPS 7711 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6786.711
AT ITER 131 NEW BEST:: SOT 10504 SOS 7705 HAS SOPS 7705 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6772.705
AT ITER 137 NEW BEST:: SOT 10454 SOS 7651 HAS SOPS 7651 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6698.651
AT ITER 147 NEW BEST:: SOT 10459 SOS 7642 HAS SOPS 7642 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6697.642
AT ITER 148 NEW BEST:: SOT 10455 SOS 7622 HAS SOPS 7622 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6681.622
AT ITER 152 NEW BEST:: SOT 10454 SOS 7616 HAS SOPS 7616 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6678.616
AT ITER 153 NEW BEST:: SOT 10452 SOS 7608 HAS SOPS 7608 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6671.608
AT ITER 154 NEW BEST:: SOT 10452 SOS 7610 HAS SOPS 7610 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.61
AT ITER 156 NEW BEST:: SOT 10450 SOS 7572 HAS SOPS 7572 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6643.572
AT ITER 160 NEW BEST:: SOT 10422 SOS 7534 HAS SOPS 7534 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6605.534
AT ITER 162 NEW BEST:: SOT 10415 SOS 7529 HAS SOPS 7529 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6605.529
AT ITER 164 NEW BEST:: SOT 10413 SOS 7514 HAS SOPS 7514 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6590.514
AT ITER 175 NEW BEST:: SOT 10446 SOS 7527 HAS SOPS 7527 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6581.527
AT ITER 179 NEW BEST:: SOT 10480 SOS 7468 HAS SOPS 7468 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6509.468
AT ITER 183 NEW BEST:: SOT 10463 SOS 7443 HAS SOPS 7443 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6484.443
AT ITER 187 NEW BEST:: SOT 10326 SOS 7275 HAS SOPS 7275 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6338.275
AT ITER 199 NEW BEST:: SOT 10332 SOS 7228 HAS SOPS 7228 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6269.228
AT ITER 200 NEW BEST:: SOT 10360 SOS 7280 HAS SOPS 7280 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6261.28
AT ITER 210 NEW BEST:: SOT 10297 SOS 7245 HAS SOPS 7245 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6226.245
AT ITER 212 NEW BEST:: SOT 10297 SOS 7226 HAS SOPS 7226 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6191.226
AT ITER 219 NEW BEST:: SOT 10290 SOS 7182 HAS SOPS 7182 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6187.182
AT ITER 233 NEW BEST:: SOT 10220 SOS 7112 HAS SOPS 7112 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6117.112
AT ITER 241 NEW BEST:: SOT 10214 SOS 7106 HAS SOPS 7106 HAS SOUS 6104 HAS SOUPS 6104 WITH SCORE 6111.106
AT ITER 243 NEW BEST:: SOT 10183 SOS 7058 HAS SOPS 7058 HAS SOUS 6073 HAS SOUPS 6073 WITH SCORE 6080.058
AT ITER 244 NEW BEST:: SOT 10136 SOS 7011 HAS SOPS 7011 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6033.011
AT ITER 245 NEW BEST:: SOT 10103 SOS 6967 HAS SOPS 6967 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5988.967
AT ITER 248 NEW BEST:: SOT 10096 SOS 6960 HAS SOPS 6960 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5981.96
AT ITER 252 NEW BEST:: SOT 10094 SOS 6951 HAS SOPS 6951 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5979.951
AT ITER 262 NEW BEST:: SOT 10094 SOS 6950 HAS SOPS 6950 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5978.95
AT ITER 268 NEW BEST:: SOT 10090 SOS 6943 HAS SOPS 6943 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5978.943
AT ITER 271 NEW BEST:: SOT 10131 SOS 6928 HAS SOPS 6928 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5962.928
AT ITER 273 NEW BEST:: SOT 10107 SOS 6919 HAS SOPS 6919 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5952.919
AT ITER 275 NEW BEST:: SOT 10087 SOS 6749 HAS SOPS 6749 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5873.749
AT ITER 279 NEW BEST:: SOT 10037 SOS 6699 HAS SOPS 6699 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5823.699
AT ITER 280 NEW BEST:: SOT 10064 SOS 6791 HAS SOPS 6791 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5760.791
AT ITER 284 NEW BEST:: SOT 10066 SOS 6755 HAS SOPS 6755 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.755
AT ITER 298 NEW BEST:: SOT 10064 SOS 6743 HAS SOPS 6743 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5678.743
AT ITER 303 NEW BEST:: SOT 10086 SOS 6708 HAS SOPS 6708 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5654.708
AT ITER 309 NEW BEST:: SOT 10100 SOS 6679 HAS SOPS 6679 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5591.679
AT ITER 314 NEW BEST:: SOT 10093 SOS 6637 HAS SOPS 6637 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5559.637
AT ITER 315 NEW BEST:: SOT 10024 SOS 6570 HAS SOPS 6570 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5510.57
AT ITER 325 NEW BEST:: SOT 10005 SOS 6561 HAS SOPS 6561 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.561
AT ITER 329 NEW BEST:: SOT 10034 SOS 6574 HAS SOPS 6574 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5470.574
AT ITER 330 NEW BEST:: SOT 10030 SOS 6578 HAS SOPS 6578 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.578
AT ITER 337 NEW BEST:: SOT 10030 SOS 6548 HAS SOPS 6548 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.548
AT ITER 342 NEW BEST:: SOT 10018 SOS 6536 HAS SOPS 6536 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5456.536
AT ITER 348 NEW BEST:: SOT 10018 SOS 6534 HAS SOPS 6534 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5456.534
AT ITER 355 NEW BEST:: SOT 10018 SOS 6522 HAS SOPS 6522 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5444.522
AT ITER 362 NEW BEST:: SOT 9996 SOS 6419 HAS SOPS 6419 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5297.419
AT ITER 384 NEW BEST:: SOT 9972 SOS 6379 HAS SOPS 6379 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5249.379
AT ITER 386 NEW BEST:: SOT 9950 SOS 6308 HAS SOPS 6308 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5240.308
AT ITER 389 NEW BEST:: SOT 9947 SOS 6305 HAS SOPS 6305 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5237.305
AT ITER 397 NEW BEST:: SOT 9947 SOS 6223 HAS SOPS 6223 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5223.223
AT ITER 406 NEW BEST:: SOT 9937 SOS 6209 HAS SOPS 6209 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5209.209
AT ITER 409 NEW BEST:: SOT 9924 SOS 6187 HAS SOPS 6187 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.187
AT ITER 417 NEW BEST:: SOT 9963 SOS 6200 HAS SOPS 6200 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5194.2
AT ITER 421 NEW BEST:: SOT 9884 SOS 6121 HAS SOPS 6121 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5115.121
AT ITER 424 NEW BEST:: SOT 9825 SOS 6082 HAS SOPS 6082 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5076.082
AT ITER 430 NEW BEST:: SOT 9817 SOS 6075 HAS SOPS 6075 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5069.075
AT ITER 433 NEW BEST:: SOT 9823 SOS 6056 HAS SOPS 6056 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5026.056
AT ITER 434 NEW BEST:: SOT 9821 SOS 6054 HAS SOPS 6054 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.054
AT ITER 438 NEW BEST:: SOT 9814 SOS 6034 HAS SOPS 6034 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5021.034
AT ITER 441 NEW BEST:: SOT 9778 SOS 5963 HAS SOPS 5963 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4949.963
AT ITER 454 NEW BEST:: SOT 9748 SOS 5933 HAS SOPS 5933 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4903.933
AT ITER 463 NEW BEST:: SOT 9748 SOS 5940 HAS SOPS 5940 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4896.94
AT ITER 469 NEW BEST:: SOT 9728 SOS 5903 HAS SOPS 5903 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4859.903
AT ITER 477 NEW BEST:: SOT 9698 SOS 5826 HAS SOPS 5826 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4775.826
AT ITER 495 NEW BEST:: SOT 9696 SOS 5824 HAS SOPS 5824 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.824
AT ITER 502 NEW BEST:: SOT 9675 SOS 5803 HAS SOPS 5803 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4723.803
AT ITER 514 NEW BEST:: SOT 9657 SOS 5785 HAS SOPS 5785 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4705.785
AT ITER 517 NEW BEST:: SOT 9649 SOS 5777 HAS SOPS 5777 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4697.777
AT ITER 519 NEW BEST:: SOT 9642 SOS 5770 HAS SOPS 5770 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4697.77
AT ITER 520 NEW BEST:: SOT 9655 SOS 5771 HAS SOPS 5771 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4674.771
AT ITER 525 NEW BEST:: SOT 9669 SOS 5760 HAS SOPS 5760 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4663.76
AT ITER 543 NEW BEST:: SOT 9662 SOS 5774 HAS SOPS 5774 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4660.774
AT ITER 552 NEW BEST:: SOT 9648 SOS 5692 HAS SOPS 5692 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.692
AT ITER 553 NEW BEST:: SOT 9673 SOS 5683 HAS SOPS 5683 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4569.683
AT ITER 557 NEW BEST:: SOT 9667 SOS 5677 HAS SOPS 5677 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4563.677
AT ITER 563 NEW BEST:: SOT 9643 SOS 5599 HAS SOPS 5599 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.599
AT ITER 573 NEW BEST:: SOT 9643 SOS 5591 HAS SOPS 5591 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4519.591
AT ITER 574 NEW BEST:: SOT 9615 SOS 5563 HAS SOPS 5563 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4492.563
AT ITER 585 NEW BEST:: SOT 9612 SOS 5560 HAS SOPS 5560 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4489.56
AT ITER 594 NEW BEST:: SOT 9608 SOS 5555 HAS SOPS 5555 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4484.555
AT ITER 595 NEW BEST:: SOT 9602 SOS 5552 HAS SOPS 5552 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4481.552
AT ITER 639 NEW BEST:: SOT 9574 SOS 5524 HAS SOPS 5524 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4453.524
AT ITER 646 NEW BEST:: SOT 9568 SOS 5482 HAS SOPS 5482 HAS SOUS 4412 HAS SOUPS 4412 WITH SCORE 4417.482
AT ITER 648 NEW BEST:: SOT 9568 SOS 5521 HAS SOPS 5521 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4406.521
AT ITER 663 NEW BEST:: SOT 9525 SOS 5461 HAS SOPS 5461 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4346.461
AT ITER 673 NEW BEST:: SOT 9523 SOS 5459 HAS SOPS 5459 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4344.459
AT ITER 693 NEW BEST:: SOT 9511 SOS 5447 HAS SOPS 5447 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4332.447
AT ITER 695 NEW BEST:: SOT 9511 SOS 5441 HAS SOPS 5441 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4284.441
AT ITER 704 NEW BEST:: SOT 9508 SOS 5432 HAS SOPS 5432 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4272.432
AT ITER 717 NEW BEST:: SOT 9510 SOS 5406 HAS SOPS 5406 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4267.406
AT ITER 741 NEW BEST:: SOT 9510 SOS 5398 HAS SOPS 5398 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4247.398
AT ITER 743 NEW BEST:: SOT 9506 SOS 5394 HAS SOPS 5394 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4243.394
AT ITER 748 NEW BEST:: SOT 9513 SOS 5381 HAS SOPS 5381 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4231.381
AT ITER 751 NEW BEST:: SOT 9513 SOS 5378 HAS SOPS 5378 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4228.378
AT ITER 760 NEW BEST:: SOT 9533 SOS 5419 HAS SOPS 5419 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4220.419
AT ITER 766 NEW BEST:: SOT 9523 SOS 5395 HAS SOPS 5395 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4214.395
AT ITER 785 NEW BEST:: SOT 9510 SOS 5376 HAS SOPS 5376 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4195.376
AT ITER 796 NEW BEST:: SOT 9512 SOS 5388 HAS SOPS 5388 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4193.388
AT ITER 797 NEW BEST:: SOT 9522 SOS 5352 HAS SOPS 5352 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4157.352
AT ITER 814 NEW BEST:: SOT 9522 SOS 5341 HAS SOPS 5341 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4153.341
AT ITER 822 NEW BEST:: SOT 9532 SOS 5331 HAS SOPS 5331 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4153.331
AT ITER 827 NEW BEST:: SOT 9590 SOS 5312 HAS SOPS 5312 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4135.312
AT ITER 845 NEW BEST:: SOT 9586 SOS 5308 HAS SOPS 5308 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4131.308
AT ITER 858 NEW BEST:: SOT 9574 SOS 5296 HAS SOPS 5296 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4120.296
AT ITER 877 NEW BEST:: SOT 9565 SOS 5281 HAS SOPS 5281 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4105.281
AT ITER 879 NEW BEST:: SOT 9562 SOS 5272 HAS SOPS 5272 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4095.272
AT ITER 881 NEW BEST:: SOT 9557 SOS 5267 HAS SOPS 5267 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.267
AT ITER 907 NEW BEST:: SOT 9536 SOS 5246 HAS SOPS 5246 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4075.246
AT ITER 919 NEW BEST:: SOT 9520 SOS 5226 HAS SOPS 5226 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4059.226
AT ITER 972 NEW BEST:: SOT 9515 SOS 5225 HAS SOPS 5225 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4059.225
AT ITER 987 NEW BEST:: SOT 9507 SOS 5217 HAS SOPS 5217 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4053.217
AT ITER 990 NEW BEST:: SOT 9511 SOS 5208 HAS SOPS 5208 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4053.208
AT ITER 1005 NEW BEST:: SOT 9501 SOS 5195 HAS SOPS 5195 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4052.195
AT ITER 1020 NEW BEST:: SOT 9501 SOS 5192 HAS SOPS 5192 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4050.192
AT ITER 1045 NEW BEST:: SOT 9463 SOS 5112 HAS SOPS 5112 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3995.112
AT ITER 1057 NEW BEST:: SOT 9463 SOS 5111 HAS SOPS 5111 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3992.111
AT ITER 1067 NEW BEST:: SOT 9449 SOS 5097 HAS SOPS 5097 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3982.097
AT ITER 1071 NEW BEST:: SOT 9439 SOS 5088 HAS SOPS 5088 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3973.088
AT ITER 1096 NEW BEST:: SOT 9414 SOS 5048 HAS SOPS 5048 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3933.048
AT ITER 1137 NEW BEST:: SOT 9412 SOS 5036 HAS SOPS 5036 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3921.036
AT ITER 1174 NEW BEST:: SOT 9384 SOS 5008 HAS SOPS 5008 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3893.008
AT ITER 1181 NEW BEST:: SOT 9377 SOS 5001 HAS SOPS 5001 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3893.001
AT ITER 1211 NEW BEST:: SOT 9381 SOS 5001 HAS SOPS 5001 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3889.001
AT ITER 1214 NEW BEST:: SOT 9402 SOS 4983 HAS SOPS 4983 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3879.983
AT ITER 1225 NEW BEST:: SOT 9402 SOS 4983 HAS SOPS 4983 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.983
AT ITER 1226 NEW BEST:: SOT 9389 SOS 4979 HAS SOPS 4979 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3871.979
AT ITER 1234 NEW BEST:: SOT 9408 SOS 4955 HAS SOPS 4955 HAS SOUS 3852 HAS SOUPS 3852 WITH SCORE 3856.955
AT ITER 1241 NEW BEST:: SOT 9390 SOS 4931 HAS SOPS 4931 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.931
AT ITER 1242 NEW BEST:: SOT 9386 SOS 4927 HAS SOPS 4927 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3835.927
AT ITER 1261 NEW BEST:: SOT 9353 SOS 4907 HAS SOPS 4907 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.907
AT ITER 1274 NEW BEST:: SOT 9350 SOS 4869 HAS SOPS 4869 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.869
AT ITER 1283 NEW BEST:: SOT 9338 SOS 4859 HAS SOPS 4859 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3799.859
AT ITER 1286 NEW BEST:: SOT 9336 SOS 4855 HAS SOPS 4855 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3794.855
AT ITER 1310 NEW BEST:: SOT 9312 SOS 4841 HAS SOPS 4841 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3780.841
AT ITER 1340 NEW BEST:: SOT 9292 SOS 4886 HAS SOPS 4886 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3779.886
AT ITER 1351 NEW BEST:: SOT 9289 SOS 4838 HAS SOPS 4838 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3737.838
AT ITER 1363 NEW BEST:: SOT 9279 SOS 4792 HAS SOPS 4792 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.792
AT ITER 1390 NEW BEST:: SOT 9273 SOS 4784 HAS SOPS 4784 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3700.784
AT ITER 1396 NEW BEST:: SOT 9268 SOS 4779 HAS SOPS 4779 HAS SOUS 3691 HAS SOUPS 3691 WITH SCORE 3695.779
AT ITER 1450 NEW BEST:: SOT 9268 SOS 4779 HAS SOPS 4779 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3686.779
AT ITER 1466 NEW BEST:: SOT 9268 SOS 4774 HAS SOPS 4774 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.774
AT ITER 1474 NEW BEST:: SOT 9244 SOS 4645 HAS SOPS 4645 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3671.645
AT ITER 1484 NEW BEST:: SOT 9235 SOS 4633 HAS SOPS 4633 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3659.633
AT ITER 1514 NEW BEST:: SOT 9228 SOS 4629 HAS SOPS 4629 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3654.629
AT ITER 1519 NEW BEST:: SOT 9237 SOS 4630 HAS SOPS 4630 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3653.63
AT ITER 1542 NEW BEST:: SOT 9229 SOS 4622 HAS SOPS 4622 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3645.622
AT ITER 1546 NEW BEST:: SOT 9213 SOS 4588 HAS SOPS 4588 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3619.588
AT ITER 1602 NEW BEST:: SOT 9211 SOS 4585 HAS SOPS 4585 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3616.585
AT ITER 1622 NEW BEST:: SOT 9182 SOS 4568 HAS SOPS 4568 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3572.568
AT ITER 1625 NEW BEST:: SOT 9172 SOS 4518 HAS SOPS 4518 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3562.518
AT ITER 1627 NEW BEST:: SOT 9162 SOS 4503 HAS SOPS 4503 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3544.503
AT ITER 1634 NEW BEST:: SOT 9158 SOS 4499 HAS SOPS 4499 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3540.499
AT ITER 1643 NEW BEST:: SOT 9142 SOS 4483 HAS SOPS 4483 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3524.483
AT ITER 1653 NEW BEST:: SOT 9140 SOS 4481 HAS SOPS 4481 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3523.481
AT ITER 1675 NEW BEST:: SOT 9134 SOS 4475 HAS SOPS 4475 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3517.475
AT ITER 1677 NEW BEST:: SOT 9124 SOS 4464 HAS SOPS 4464 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3506.464
AT ITER 1694 NEW BEST:: SOT 9143 SOS 4482 HAS SOPS 4482 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3502.482
AT ITER 1695 NEW BEST:: SOT 9141 SOS 4465 HAS SOPS 4465 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3485.465
AT ITER 1704 NEW BEST:: SOT 9134 SOS 4455 HAS SOPS 4455 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3475.455
AT ITER 1725 NEW BEST:: SOT 9134 SOS 4449 HAS SOPS 4449 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3475.449
AT ITER 1766 NEW BEST:: SOT 9145 SOS 4403 HAS SOPS 4403 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3466.403
AT ITER 1777 NEW BEST:: SOT 9144 SOS 4402 HAS SOPS 4402 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3465.402
AT ITER 1799 NEW BEST:: SOT 9128 SOS 4378 HAS SOPS 4378 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3441.378
AT ITER 1834 NEW BEST:: SOT 9128 SOS 4386 HAS SOPS 4386 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3434.386
AT ITER 1852 NEW BEST:: SOT 9128 SOS 4428 HAS SOPS 4428 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3392.428
AT ITER 1861 NEW BEST:: SOT 9118 SOS 4418 HAS SOPS 4418 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3382.418
AT ITER 1890 NEW BEST:: SOT 9116 SOS 4418 HAS SOPS 4418 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3371.418
AT ITER 1900 NEW BEST:: SOT 9092 SOS 4387 HAS SOPS 4387 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3340.387
AT ITER 1904 NEW BEST:: SOT 9069 SOS 4366 HAS SOPS 4366 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3316.366
AT ITER 1921 NEW BEST:: SOT 9005 SOS 4303 HAS SOPS 4303 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3265.303
AT ITER 1928 NEW BEST:: SOT 8997 SOS 4295 HAS SOPS 4295 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3257.295
AT ITER 1937 NEW BEST:: SOT 8991 SOS 4288 HAS SOPS 4288 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3250.288
AT ITER 1949 NEW BEST:: SOT 8986 SOS 4286 HAS SOPS 4286 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3241.286
AT ITER 1962 NEW BEST:: SOT 8982 SOS 4279 HAS SOPS 4279 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3234.279
AT ITER 1978 NEW BEST:: SOT 8991 SOS 4285 HAS SOPS 4285 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3227.285
AT ITER 2021 NEW BEST:: SOT 8989 SOS 4283 HAS SOPS 4283 HAS SOUS 3221 HAS SOUPS 3221 WITH SCORE 3225.283
AT ITER 2028 NEW BEST:: SOT 8989 SOS 4272 HAS SOPS 4272 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3208.272
AT ITER 2041 NEW BEST:: SOT 8979 SOS 4263 HAS SOPS 4263 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3204.263
AT ITER 2111 NEW BEST:: SOT 8956 SOS 4227 HAS SOPS 4227 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3168.227
AT ITER 2163 NEW BEST:: SOT 8955 SOS 4226 HAS SOPS 4226 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3161.226
AT ITER 2164 NEW BEST:: SOT 8967 SOS 4220 HAS SOPS 4220 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3153.22
AT ITER 2178 NEW BEST:: SOT 8952 SOS 4205 HAS SOPS 4205 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3143.205
AT ITER 2231 NEW BEST:: SOT 8941 SOS 4189 HAS SOPS 4189 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3115.189
AT ITER 2237 NEW BEST:: SOT 8923 SOS 4168 HAS SOPS 4168 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3092.168
AT ITER 2243 NEW BEST:: SOT 8938 SOS 4183 HAS SOPS 4183 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3090.183
AT ITER 2257 NEW BEST:: SOT 8935 SOS 4180 HAS SOPS 4180 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3087.18
AT ITER 2290 NEW BEST:: SOT 8932 SOS 4183 HAS SOPS 4183 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3084.183
AT ITER 2316 NEW BEST:: SOT 8937 SOS 4172 HAS SOPS 4172 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3079.172
AT ITER 2346 NEW BEST:: SOT 8940 SOS 4174 HAS SOPS 4174 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3076.174
AT ITER 2356 NEW BEST:: SOT 8939 SOS 4172 HAS SOPS 4172 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3075.172
AT ITER 2368 NEW BEST:: SOT 8934 SOS 4167 HAS SOPS 4167 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3075.167
AT ITER 2412 NEW BEST:: SOT 8934 SOS 4166 HAS SOPS 4166 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3074.166
AT ITER 2415 NEW BEST:: SOT 8932 SOS 4162 HAS SOPS 4162 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3070.162
AT ITER 2416 NEW BEST:: SOT 8931 SOS 4161 HAS SOPS 4161 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3069.161
AT ITER 2418 NEW BEST:: SOT 8922 SOS 4144 HAS SOPS 4144 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3058.144
AT ITER 2435 NEW BEST:: SOT 8921 SOS 4143 HAS SOPS 4143 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3057.143
AT ITER 2445 NEW BEST:: SOT 8919 SOS 4140 HAS SOPS 4140 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3054.14
AT ITER 2458 NEW BEST:: SOT 8917 SOS 4130 HAS SOPS 4130 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3048.13
AT ITER 2501 NEW BEST:: SOT 8909 SOS 4111 HAS SOPS 4111 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3041.111
AT ITER 2510 NEW BEST:: SOT 8905 SOS 4107 HAS SOPS 4107 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3037.107
AT ITER 2549 NEW BEST:: SOT 8904 SOS 4105 HAS SOPS 4105 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3037.105
AT ITER 2559 NEW BEST:: SOT 8906 SOS 4107 HAS SOPS 4107 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3031.107
AT ITER 2588 NEW BEST:: SOT 8901 SOS 4098 HAS SOPS 4098 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3027.098
AT ITER 2595 NEW BEST:: SOT 8895 SOS 4084 HAS SOPS 4084 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3013.084
AT ITER 2633 NEW BEST:: SOT 8895 SOS 4093 HAS SOPS 4093 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3012.093
AT ITER 2662 NEW BEST:: SOT 8895 SOS 4088 HAS SOPS 4088 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3007.088
AT ITER 2687 NEW BEST:: SOT 8890 SOS 4083 HAS SOPS 4083 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3002.083
AT ITER 2722 NEW BEST:: SOT 8895 SOS 4078 HAS SOPS 4078 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2995.078
AT ITER 2732 NEW BEST:: SOT 8888 SOS 4063 HAS SOPS 4063 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2980.063
AT ITER 2818 NEW BEST:: SOT 8882 SOS 4045 HAS SOPS 4045 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2974.045
AT ITER 2823 NEW BEST:: SOT 8882 SOS 4040 HAS SOPS 4040 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2973.04
AT ITER 2897 NEW BEST:: SOT 8883 SOS 4039 HAS SOPS 4039 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2972.039
AT ITER 2918 NEW BEST:: SOT 8877 SOS 4029 HAS SOPS 4029 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2962.029
AT ITER 2942 NEW BEST:: SOT 8875 SOS 4032 HAS SOPS 4032 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2959.032
AT ITER 2958 NEW BEST:: SOT 8871 SOS 4026 HAS SOPS 4026 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2955.026
AT ITER 2999 NEW BEST:: SOT 8870 SOS 4026 HAS SOPS 4026 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2954.026
AT ITER 3007 NEW BEST:: SOT 8866 SOS 4022 HAS SOPS 4022 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2950.022
AT ITER 3092 NEW BEST:: SOT 8869 SOS 4035 HAS SOPS 4035 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2946.035
AT ITER 3131 NEW BEST:: SOT 8861 SOS 4030 HAS SOPS 4030 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2934.03
AT ITER 3155 NEW BEST:: SOT 8855 SOS 4022 HAS SOPS 4022 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2926.022
AT ITER 3201 NEW BEST:: SOT 8843 SOS 3975 HAS SOPS 3975 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2918.975
AT ITER 3222 NEW BEST:: SOT 8843 SOS 3964 HAS SOPS 3964 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2910.964
AT ITER 3236 NEW BEST:: SOT 8844 SOS 3960 HAS SOPS 3960 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2910.96
AT ITER 3315 NEW BEST:: SOT 8836 SOS 3942 HAS SOPS 3942 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.942
AT ITER 3351 NEW BEST:: SOT 8833 SOS 3935 HAS SOPS 3935 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2895.935
AT ITER 3366 NEW BEST:: SOT 8833 SOS 3934 HAS SOPS 3934 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2895.934
AT ITER 3385 NEW BEST:: SOT 8829 SOS 3930 HAS SOPS 3930 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2891.93
AT ITER 3413 NEW BEST:: SOT 8828 SOS 3929 HAS SOPS 3929 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2890.929
AT ITER 3422 NEW BEST:: SOT 8829 SOS 3925 HAS SOPS 3925 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2886.925
AT ITER 3480 NEW BEST:: SOT 8829 SOS 3923 HAS SOPS 3923 HAS SOUS 2881 HAS SOUPS 2881 WITH SCORE 2884.923
AT ITER 3554 NEW BEST:: SOT 8834 SOS 3899 HAS SOPS 3899 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.899
AT ITER 3638 NEW BEST:: SOT 8832 SOS 3897 HAS SOPS 3897 HAS SOUS 2865 HAS SOUPS 2865 WITH SCORE 2868.897
AT ITER 3670 NEW BEST:: SOT 8831 SOS 3896 HAS SOPS 3896 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2867.896
AT ITER 3676 NEW BEST:: SOT 8831 SOS 3897 HAS SOPS 3897 HAS SOUS 2862 HAS SOUPS 2862 WITH SCORE 2865.897
AT ITER 3706 NEW BEST:: SOT 8826 SOS 3893 HAS SOPS 3893 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2861.893
AT ITER 3800 NEW BEST:: SOT 8812 SOS 3888 HAS SOPS 3888 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2856.888
AT ITER 3829 NEW BEST:: SOT 8806 SOS 3881 HAS SOPS 3881 HAS SOUS 2849 HAS SOUPS 2849 WITH SCORE 2852.881
AT ITER 3889 NEW BEST:: SOT 8807 SOS 3881 HAS SOPS 3881 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2851.881
AT ITER 3925 NEW BEST:: SOT 8804 SOS 3863 HAS SOPS 3863 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.863
AT ITER 4024 NEW BEST:: SOT 8804 SOS 3859 HAS SOPS 3859 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2825.859
AT ITER 4161 NEW BEST:: SOT 8804 SOS 3857 HAS SOPS 3857 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2823.857
AT ITER 4163 NEW BEST:: SOT 8808 SOS 3857 HAS SOPS 3857 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2821.857
AT ITER 4176 NEW BEST:: SOT 8806 SOS 3858 HAS SOPS 3858 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.858
AT ITER 4302 NEW BEST:: SOT 8806 SOS 3853 HAS SOPS 3853 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.853
AT ITER 4304 NEW BEST:: SOT 8802 SOS 3849 HAS SOPS 3849 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2815.849
AT ITER 4313 NEW BEST:: SOT 8803 SOS 3846 HAS SOPS 3846 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.846
AT ITER 4368 NEW BEST:: SOT 8806 SOS 3847 HAS SOPS 3847 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2808.847
AT ITER 4389 NEW BEST:: SOT 8805 SOS 3846 HAS SOPS 3846 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2807.846
AT ITER 4437 NEW BEST:: SOT 8807 SOS 3842 HAS SOPS 3842 HAS SOUS 2795 HAS SOUPS 2795 WITH SCORE 2798.842
AT ITER 4472 NEW BEST:: SOT 8810 SOS 3847 HAS SOPS 3847 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.847
AT ITER 4480 NEW BEST:: SOT 8809 SOS 3846 HAS SOPS 3846 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2796.846
AT ITER 4489 NEW BEST:: SOT 8807 SOS 3844 HAS SOPS 3844 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.844
AT ITER 4496 NEW BEST:: SOT 8801 SOS 3838 HAS SOPS 3838 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2788.838
AT ITER 4541 NEW BEST:: SOT 8801 SOS 3836 HAS SOPS 3836 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2788.836
AT ITER 4545 NEW BEST:: SOT 8796 SOS 3811 HAS SOPS 3811 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2783.811
AT ITER 4551 NEW BEST:: SOT 8796 SOS 3805 HAS SOPS 3805 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2782.805
AT ITER 4557 NEW BEST:: SOT 8795 SOS 3803 HAS SOPS 3803 HAS SOUS 2778 HAS SOUPS 2778 WITH SCORE 2781.803
AT ITER 4644 NEW BEST:: SOT 8790 SOS 3798 HAS SOPS 3798 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.798
AT ITER 4673 NEW BEST:: SOT 8794 SOS 3798 HAS SOPS 3798 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2776.798
AT ITER 4682 NEW BEST:: SOT 8792 SOS 3791 HAS SOPS 3791 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.791
AT ITER 4701 NEW BEST:: SOT 8795 SOS 3785 HAS SOPS 3785 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.785
AT ITER 4816 NEW BEST:: SOT 8799 SOS 3787 HAS SOPS 3787 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2750.787
AT ITER 4818 NEW BEST:: SOT 8798 SOS 3786 HAS SOPS 3786 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2749.786
AT ITER 4945 NEW BEST:: SOT 8798 SOS 3786 HAS SOPS 3786 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2746.786
AT ITER 4985 NEW BEST:: SOT 8791 SOS 3778 HAS SOPS 3778 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2738.778
AT ITER 5065 NEW BEST:: SOT 8795 SOS 3786 HAS SOPS 3786 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2737.786
AT ITER 5068 NEW BEST:: SOT 8797 SOS 3785 HAS SOPS 3785 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2726.785
AT ITER 5111 NEW BEST:: SOT 8794 SOS 3782 HAS SOPS 3782 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2723.782
AT ITER 5145 NEW BEST:: SOT 8794 SOS 3778 HAS SOPS 3778 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2717.778
AT ITER 5191 NEW BEST:: SOT 8798 SOS 3778 HAS SOPS 3778 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.778
AT ITER 5203 NEW BEST:: SOT 8798 SOS 3776 HAS SOPS 3776 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.776
AT ITER 5222 NEW BEST:: SOT 8796 SOS 3774 HAS SOPS 3774 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2712.774
AT ITER 5224 NEW BEST:: SOT 8795 SOS 3796 HAS SOPS 3796 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2710.796
AT ITER 5252 NEW BEST:: SOT 8798 SOS 3768 HAS SOPS 3768 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2703.768
AT ITER 5376 NEW BEST:: SOT 8798 SOS 3766 HAS SOPS 3766 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2703.766
AT ITER 5400 NEW BEST:: SOT 8799 SOS 3763 HAS SOPS 3763 HAS SOUS 2693 HAS SOUPS 2693 WITH SCORE 2696.763
AT ITER 5444 NEW BEST:: SOT 8795 SOS 3757 HAS SOPS 3757 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2690.757
AT ITER 5646 NEW BEST:: SOT 8790 SOS 3744 HAS SOPS 3744 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2686.744
AT ITER 6012 NEW BEST:: SOT 8789 SOS 3744 HAS SOPS 3744 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2685.744
AT ITER 6046 NEW BEST:: SOT 8788 SOS 3751 HAS SOPS 3751 HAS SOUS 2680 HAS SOUPS 2680 WITH SCORE 2683.751
AT ITER 6059 NEW BEST:: SOT 8787 SOS 3749 HAS SOPS 3749 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2681.749
AT ITER 6090 NEW BEST:: SOT 8790 SOS 3746 HAS SOPS 3746 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2680.746
AT ITER 6149 NEW BEST:: SOT 8789 SOS 3744 HAS SOPS 3744 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.744
AT ITER 6236 NEW BEST:: SOT 8787 SOS 3742 HAS SOPS 3742 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2676.742
AT ITER 6267 NEW BEST:: SOT 8786 SOS 3741 HAS SOPS 3741 HAS SOUS 2672 HAS SOUPS 2672 WITH SCORE 2675.741
AT ITER 6342 NEW BEST:: SOT 8788 SOS 3742 HAS SOPS 3742 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2673.742
AT ITER 6403 NEW BEST:: SOT 8789 SOS 3740 HAS SOPS 3740 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2671.74
AT ITER 6438 NEW BEST:: SOT 8787 SOS 3730 HAS SOPS 3730 HAS SOUS 2664 HAS SOUPS 2664 WITH SCORE 2667.73
AT ITER 6451 NEW BEST:: SOT 8784 SOS 3730 HAS SOPS 3730 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2666.73
AT ITER 6506 NEW BEST:: SOT 8782 SOS 3728 HAS SOPS 3728 HAS SOUS 2662 HAS SOUPS 2662 WITH SCORE 2665.728
AT ITER 6576 NEW BEST:: SOT 8774 SOS 3722 HAS SOPS 3722 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2657.722
AT ITER 6690 NEW BEST:: SOT 8770 SOS 3717 HAS SOPS 3717 HAS SOUS 2652 HAS SOUPS 2652 WITH SCORE 2655.717
AT ITER 6761 NEW BEST:: SOT 8770 SOS 3713 HAS SOPS 3713 HAS SOUS 2652 HAS SOUPS 2652 WITH SCORE 2655.713
AT ITER 6784 NEW BEST:: SOT 8773 SOS 3711 HAS SOPS 3711 HAS SOUS 2652 HAS SOUPS 2652 WITH SCORE 2655.711
AT ITER 6792 NEW BEST:: SOT 8771 SOS 3709 HAS SOPS 3709 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2653.709
AT ITER 7003 NEW BEST:: SOT 8770 SOS 3707 HAS SOPS 3707 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2651.707
AT ITER 7227 NEW BEST:: SOT 8770 SOS 3708 HAS SOPS 3708 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2650.708
AT ITER 7365 NEW BEST:: SOT 8768 SOS 3685 HAS SOPS 3685 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2650.685
AT ITER 7408 NEW BEST:: SOT 8763 SOS 3679 HAS SOPS 3679 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2644.679
AT ITER 7458 NEW BEST:: SOT 8763 SOS 3677 HAS SOPS 3677 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2643.677
AT ITER 7581 NEW BEST:: SOT 8754 SOS 3668 HAS SOPS 3668 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2634.668
AT ITER 8018 NEW BEST:: SOT 8743 SOS 3658 HAS SOPS 3658 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2629.658
AT ITER 8031 NEW BEST:: SOT 8741 SOS 3656 HAS SOPS 3656 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2627.656
AT ITER 8277 NEW BEST:: SOT 8740 SOS 3650 HAS SOPS 3650 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2622.65
AT ITER 8484 NEW BEST:: SOT 8739 SOS 3649 HAS SOPS 3649 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2621.649
AT ITER 8624 NEW BEST:: SOT 8739 SOS 3648 HAS SOPS 3648 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.648
AT ITER 8857 NEW BEST:: SOT 8737 SOS 3646 HAS SOPS 3646 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2618.646
AT ITER 8978 NEW BEST:: SOT 8734 SOS 3643 HAS SOPS 3643 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2615.643
AT ITER 9009 NEW BEST:: SOT 8735 SOS 3639 HAS SOPS 3639 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2609.639
AT ITER 9271 NEW BEST:: SOT 8734 SOS 3637 HAS SOPS 3637 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2608.637
AT ITER 9593 NEW BEST:: SOT 8733 SOS 3636 HAS SOPS 3636 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2607.636
AT ITER 9822 NEW BEST:: SOT 8731 SOS 3632 HAS SOPS 3632 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2603.632
AT ITER 9867 NEW BEST:: SOT 8731 SOS 3631 HAS SOPS 3631 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2602.631
AT ITER 9996 NEW BEST:: SOT 8730 SOS 3630 HAS SOPS 3630 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2602.63
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5714928 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151120 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="ShieldIIPs-PT-005A"
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 ShieldIIPs-PT-005A, 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 r387-oct2-167903711400072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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