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.r131-smll-167819408200656.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 EGFr-PT-10420, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819408200656
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 20:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 25 19:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 19:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 25 16:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 20:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 31K Feb 25 20:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 25 20:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 681K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679986138571

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=EGFr-PT-10420
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EGFr (PT), instance 10420
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: 208 places, 378 transitions, 3198 arcs.
AT ITER 0 NEW BEST:: SOT 52709 SOS 27153 HAS SOPS 7643 HAS SOUS 23120 HAS SOUPS 6934 WITH SCORE 6961.153
AT ITER 13 NEW BEST:: SOT 52709 SOS 27155 HAS SOPS 7635 HAS SOUS 23122 HAS SOUPS 6926 WITH SCORE 6953.155
AT ITER 14 NEW BEST:: SOT 52705 SOS 27223 HAS SOPS 7631 HAS SOUS 22955 HAS SOUPS 6922 WITH SCORE 6949.223
AT ITER 15 NEW BEST:: SOT 52705 SOS 27213 HAS SOPS 7631 HAS SOUS 22945 HAS SOUPS 6922 WITH SCORE 6949.213
AT ITER 46 NEW BEST:: SOT 52705 SOS 27121 HAS SOPS 7631 HAS SOUS 22854 HAS SOUPS 6922 WITH SCORE 6949.121
AT ITER 49 NEW BEST:: SOT 52721 SOS 27115 HAS SOPS 7625 HAS SOUS 22848 HAS SOUPS 6916 WITH SCORE 6943.115
AT ITER 58 NEW BEST:: SOT 52720 SOS 27124 HAS SOPS 7694 HAS SOUS 22783 HAS SOUPS 6911 WITH SCORE 6938.124
AT ITER 65 NEW BEST:: SOT 52649 SOS 27090 HAS SOPS 7623 HAS SOUS 22749 HAS SOUPS 6840 WITH SCORE 6867.09
AT ITER 77 NEW BEST:: SOT 52553 SOS 26807 HAS SOPS 7197 HAS SOUS 22587 HAS SOUPS 6489 WITH SCORE 6515.807
AT ITER 87 NEW BEST:: SOT 52528 SOS 26782 HAS SOPS 7172 HAS SOUS 22511 HAS SOUPS 6464 WITH SCORE 6490.782
AT ITER 88 NEW BEST:: SOT 52510 SOS 26746 HAS SOPS 7154 HAS SOUS 22484 HAS SOUPS 6446 WITH SCORE 6472.746
AT ITER 96 NEW BEST:: SOT 52510 SOS 26740 HAS SOPS 7148 HAS SOUS 22480 HAS SOUPS 6442 WITH SCORE 6468.74
AT ITER 125 NEW BEST:: SOT 52496 SOS 27080 HAS SOPS 7134 HAS SOUS 22560 HAS SOUPS 6428 WITH SCORE 6455.08
AT ITER 128 NEW BEST:: SOT 52493 SOS 27065 HAS SOPS 7134 HAS SOUS 22537 HAS SOUPS 6428 WITH SCORE 6455.065
AT ITER 131 NEW BEST:: SOT 52493 SOS 27058 HAS SOPS 7134 HAS SOUS 22500 HAS SOUPS 6428 WITH SCORE 6455.058
AT ITER 140 NEW BEST:: SOT 52453 SOS 26993 HAS SOPS 7079 HAS SOUS 22445 HAS SOUPS 6378 WITH SCORE 6404.993
AT ITER 144 NEW BEST:: SOT 52453 SOS 26988 HAS SOPS 7079 HAS SOUS 22413 HAS SOUPS 6378 WITH SCORE 6404.988
AT ITER 149 NEW BEST:: SOT 52453 SOS 27103 HAS SOPS 7070 HAS SOUS 22456 HAS SOUPS 6372 WITH SCORE 6399.103
AT ITER 176 NEW BEST:: SOT 52453 SOS 27078 HAS SOPS 7070 HAS SOUS 22377 HAS SOUPS 6372 WITH SCORE 6399.078
AT ITER 178 NEW BEST:: SOT 52473 SOS 27634 HAS SOPS 7084 HAS SOUS 22451 HAS SOUPS 6363 WITH SCORE 6390.634
AT ITER 191 NEW BEST:: SOT 52411 SOS 27593 HAS SOPS 7022 HAS SOUS 22389 HAS SOUPS 6301 WITH SCORE 6328.593
AT ITER 192 NEW BEST:: SOT 52411 SOS 27949 HAS SOPS 6920 HAS SOUS 22382 HAS SOUPS 6233 WITH SCORE 6260.949
AT ITER 198 NEW BEST:: SOT 52307 SOS 27879 HAS SOPS 6830 HAS SOUS 22380 HAS SOUPS 6143 WITH SCORE 6170.879
AT ITER 202 NEW BEST:: SOT 52292 SOS 27864 HAS SOPS 6815 HAS SOUS 22365 HAS SOUPS 6128 WITH SCORE 6155.864
AT ITER 204 NEW BEST:: SOT 52292 SOS 27868 HAS SOPS 6797 HAS SOUS 22349 HAS SOUPS 6110 WITH SCORE 6137.868
AT ITER 218 NEW BEST:: SOT 52262 SOS 27874 HAS SOPS 6608 HAS SOUS 22382 HAS SOUPS 5948 WITH SCORE 5975.874
AT ITER 232 NEW BEST:: SOT 52425 SOS 28477 HAS SOPS 6528 HAS SOUS 22422 HAS SOUPS 5925 WITH SCORE 5953.477
AT ITER 240 NEW BEST:: SOT 52338 SOS 28401 HAS SOPS 6441 HAS SOUS 22327 HAS SOUPS 5838 WITH SCORE 5866.401
AT ITER 332 NEW BEST:: SOT 52339 SOS 28401 HAS SOPS 6440 HAS SOUS 22327 HAS SOUPS 5837 WITH SCORE 5865.401
AT ITER 370 NEW BEST:: SOT 52364 SOS 28518 HAS SOPS 6415 HAS SOUS 22470 HAS SOUPS 5812 WITH SCORE 5840.518
AT ITER 380 NEW BEST:: SOT 52517 SOS 28487 HAS SOPS 6331 HAS SOUS 22413 HAS SOUPS 5737 WITH SCORE 5765.487
AT ITER 382 NEW BEST:: SOT 52457 SOS 28494 HAS SOPS 6531 HAS SOUS 22359 HAS SOUPS 5710 WITH SCORE 5738.494
AT ITER 414 NEW BEST:: SOT 52457 SOS 28584 HAS SOPS 6468 HAS SOUS 22511 HAS SOUPS 5668 WITH SCORE 5696.584
AT ITER 416 NEW BEST:: SOT 52457 SOS 28566 HAS SOPS 6468 HAS SOUS 22545 HAS SOUPS 5668 WITH SCORE 5696.566
AT ITER 421 NEW BEST:: SOT 52457 SOS 28548 HAS SOPS 6450 HAS SOUS 22544 HAS SOUPS 5650 WITH SCORE 5678.548
AT ITER 425 NEW BEST:: SOT 52423 SOS 28514 HAS SOPS 6416 HAS SOUS 22471 HAS SOUPS 5616 WITH SCORE 5644.514
AT ITER 432 NEW BEST:: SOT 52371 SOS 28462 HAS SOPS 6364 HAS SOUS 22444 HAS SOUPS 5589 WITH SCORE 5617.462
AT ITER 469 NEW BEST:: SOT 52371 SOS 28453 HAS SOPS 6361 HAS SOUS 22438 HAS SOUPS 5586 WITH SCORE 5614.453
AT ITER 528 NEW BEST:: SOT 52371 SOS 28449 HAS SOPS 6361 HAS SOUS 22232 HAS SOUPS 5586 WITH SCORE 5614.449
AT ITER 530 NEW BEST:: SOT 52387 SOS 28397 HAS SOPS 6377 HAS SOUS 22252 HAS SOUPS 5584 WITH SCORE 5612.397
AT ITER 541 NEW BEST:: SOT 52314 SOS 28356 HAS SOPS 6304 HAS SOUS 22123 HAS SOUPS 5511 WITH SCORE 5539.356
AT ITER 543 NEW BEST:: SOT 52354 SOS 28381 HAS SOPS 6044 HAS SOUS 22265 HAS SOUPS 5451 WITH SCORE 5479.381
AT ITER 562 NEW BEST:: SOT 52354 SOS 28283 HAS SOPS 6044 HAS SOUS 22251 HAS SOUPS 5451 WITH SCORE 5479.283
AT ITER 569 NEW BEST:: SOT 52363 SOS 28307 HAS SOPS 6005 HAS SOUS 22257 HAS SOUPS 5425 WITH SCORE 5453.307
AT ITER 602 NEW BEST:: SOT 52357 SOS 28305 HAS SOPS 5993 HAS SOUS 22248 HAS SOUPS 5413 WITH SCORE 5441.305
AT ITER 616 NEW BEST:: SOT 52336 SOS 28301 HAS SOPS 5927 HAS SOUS 22223 HAS SOUPS 5347 WITH SCORE 5375.301
AT ITER 647 NEW BEST:: SOT 52336 SOS 28301 HAS SOPS 5913 HAS SOUS 22216 HAS SOUPS 5333 WITH SCORE 5361.301
AT ITER 653 NEW BEST:: SOT 52336 SOS 28269 HAS SOPS 5913 HAS SOUS 22275 HAS SOUPS 5333 WITH SCORE 5361.269
AT ITER 665 NEW BEST:: SOT 52276 SOS 28209 HAS SOPS 5853 HAS SOUS 22215 HAS SOUPS 5273 WITH SCORE 5301.209
AT ITER 674 NEW BEST:: SOT 52280 SOS 28203 HAS SOPS 5857 HAS SOUS 22209 HAS SOUPS 5272 WITH SCORE 5300.203
AT ITER 686 NEW BEST:: SOT 52280 SOS 28203 HAS SOPS 5849 HAS SOUS 22213 HAS SOUPS 5264 WITH SCORE 5292.203
AT ITER 689 NEW BEST:: SOT 52280 SOS 28152 HAS SOPS 5849 HAS SOUS 22223 HAS SOUPS 5264 WITH SCORE 5292.152
AT ITER 690 NEW BEST:: SOT 52280 SOS 28110 HAS SOPS 5849 HAS SOUS 22185 HAS SOUPS 5264 WITH SCORE 5292.11
AT ITER 720 NEW BEST:: SOT 52257 SOS 28116 HAS SOPS 5803 HAS SOUS 22153 HAS SOUPS 5218 WITH SCORE 5246.116
AT ITER 722 NEW BEST:: SOT 52257 SOS 28095 HAS SOPS 5785 HAS SOUS 22132 HAS SOUPS 5200 WITH SCORE 5228.095
AT ITER 723 NEW BEST:: SOT 52257 SOS 28066 HAS SOPS 5749 HAS SOUS 22299 HAS SOUPS 5176 WITH SCORE 5204.066
AT ITER 729 NEW BEST:: SOT 52245 SOS 28036 HAS SOPS 5705 HAS SOUS 22309 HAS SOUPS 5172 WITH SCORE 5200.036
AT ITER 785 NEW BEST:: SOT 52229 SOS 28020 HAS SOPS 5689 HAS SOUS 22293 HAS SOUPS 5156 WITH SCORE 5184.02
AT ITER 789 NEW BEST:: SOT 52230 SOS 27902 HAS SOPS 5613 HAS SOUS 22122 HAS SOUPS 5077 WITH SCORE 5104.902
AT ITER 805 NEW BEST:: SOT 52230 SOS 27848 HAS SOPS 5613 HAS SOUS 22246 HAS SOUPS 5077 WITH SCORE 5104.848
AT ITER 821 NEW BEST:: SOT 52230 SOS 27764 HAS SOPS 5613 HAS SOUS 22231 HAS SOUPS 5077 WITH SCORE 5104.764
AT ITER 825 NEW BEST:: SOT 52207 SOS 27764 HAS SOPS 5544 HAS SOUS 22214 HAS SOUPS 5031 WITH SCORE 5058.764
AT ITER 850 NEW BEST:: SOT 52207 SOS 27719 HAS SOPS 5544 HAS SOUS 22339 HAS SOUPS 5031 WITH SCORE 5058.719
AT ITER 869 NEW BEST:: SOT 52200 SOS 27712 HAS SOPS 5537 HAS SOUS 22326 HAS SOUPS 5024 WITH SCORE 5051.712
AT ITER 872 NEW BEST:: SOT 52191 SOS 27703 HAS SOPS 5534 HAS SOUS 22317 HAS SOUPS 5021 WITH SCORE 5048.703
AT ITER 887 NEW BEST:: SOT 52191 SOS 27701 HAS SOPS 5534 HAS SOUS 22314 HAS SOUPS 5021 WITH SCORE 5048.701
AT ITER 895 NEW BEST:: SOT 52153 SOS 27669 HAS SOPS 5496 HAS SOUS 22261 HAS SOUPS 4990 WITH SCORE 5017.669
AT ITER 927 NEW BEST:: SOT 52153 SOS 27655 HAS SOPS 5496 HAS SOUS 22211 HAS SOUPS 4990 WITH SCORE 5017.655
AT ITER 937 NEW BEST:: SOT 52153 SOS 27664 HAS SOPS 5490 HAS SOUS 22205 HAS SOUPS 4984 WITH SCORE 5011.664
AT ITER 939 NEW BEST:: SOT 52153 SOS 27612 HAS SOPS 5490 HAS SOUS 22117 HAS SOUPS 4984 WITH SCORE 5011.612
AT ITER 947 NEW BEST:: SOT 52173 SOS 27572 HAS SOPS 5358 HAS SOUS 22078 HAS SOUPS 4932 WITH SCORE 4959.572
AT ITER 969 NEW BEST:: SOT 52173 SOS 27514 HAS SOPS 5358 HAS SOUS 22088 HAS SOUPS 4932 WITH SCORE 4959.514
AT ITER 975 NEW BEST:: SOT 52173 SOS 27462 HAS SOPS 5358 HAS SOUS 22025 HAS SOUPS 4932 WITH SCORE 4959.462
AT ITER 1012 NEW BEST:: SOT 52159 SOS 27635 HAS SOPS 5344 HAS SOUS 22088 HAS SOUPS 4918 WITH SCORE 4945.635
AT ITER 1019 NEW BEST:: SOT 52159 SOS 27609 HAS SOPS 5344 HAS SOUS 21838 HAS SOUPS 4918 WITH SCORE 4945.609
AT ITER 1106 NEW BEST:: SOT 52159 SOS 27565 HAS SOPS 5344 HAS SOUS 21829 HAS SOUPS 4918 WITH SCORE 4945.565
AT ITER 1117 NEW BEST:: SOT 52146 SOS 27578 HAS SOPS 5223 HAS SOUS 21842 HAS SOUPS 4797 WITH SCORE 4824.578
AT ITER 1123 NEW BEST:: SOT 52146 SOS 27443 HAS SOPS 5115 HAS SOUS 21802 HAS SOUPS 4743 WITH SCORE 4770.443
AT ITER 1133 NEW BEST:: SOT 52146 SOS 27414 HAS SOPS 5115 HAS SOUS 21756 HAS SOUPS 4743 WITH SCORE 4770.414
AT ITER 1175 NEW BEST:: SOT 52170 SOS 27580 HAS SOPS 5139 HAS SOUS 21897 HAS SOUPS 4742 WITH SCORE 4769.58
AT ITER 1196 NEW BEST:: SOT 52170 SOS 27626 HAS SOPS 5071 HAS SOUS 21883 HAS SOUPS 4674 WITH SCORE 4701.626
AT ITER 1229 NEW BEST:: SOT 52174 SOS 27594 HAS SOPS 5066 HAS SOUS 21864 HAS SOUPS 4672 WITH SCORE 4699.594
AT ITER 1257 NEW BEST:: SOT 52069 SOS 27545 HAS SOPS 5054 HAS SOUS 21778 HAS SOUPS 4660 WITH SCORE 4687.545
AT ITER 1281 NEW BEST:: SOT 52048 SOS 27656 HAS SOPS 5035 HAS SOUS 21886 HAS SOUPS 4641 WITH SCORE 4668.656
AT ITER 1317 NEW BEST:: SOT 52048 SOS 27619 HAS SOPS 5035 HAS SOUS 21911 HAS SOUPS 4641 WITH SCORE 4668.619
AT ITER 1344 NEW BEST:: SOT 52048 SOS 27616 HAS SOPS 5032 HAS SOUS 21931 HAS SOUPS 4639 WITH SCORE 4666.616
AT ITER 1354 NEW BEST:: SOT 52038 SOS 27601 HAS SOPS 5012 HAS SOUS 21930 HAS SOUPS 4633 WITH SCORE 4660.601
AT ITER 1362 NEW BEST:: SOT 52038 SOS 27598 HAS SOPS 5012 HAS SOUS 21930 HAS SOUPS 4633 WITH SCORE 4660.598
AT ITER 1384 NEW BEST:: SOT 52038 SOS 27643 HAS SOPS 4978 HAS SOUS 21926 HAS SOUPS 4599 WITH SCORE 4626.643
AT ITER 1449 NEW BEST:: SOT 52038 SOS 27642 HAS SOPS 4975 HAS SOUS 21925 HAS SOUPS 4596 WITH SCORE 4623.642
AT ITER 1467 NEW BEST:: SOT 52031 SOS 27624 HAS SOPS 4964 HAS SOUS 21907 HAS SOUPS 4585 WITH SCORE 4612.624
AT ITER 1470 NEW BEST:: SOT 52031 SOS 27624 HAS SOPS 4958 HAS SOUS 21907 HAS SOUPS 4579 WITH SCORE 4606.624
AT ITER 1507 NEW BEST:: SOT 52031 SOS 27618 HAS SOPS 4952 HAS SOUS 21901 HAS SOUPS 4573 WITH SCORE 4600.618
AT ITER 1565 NEW BEST:: SOT 52031 SOS 27614 HAS SOPS 4944 HAS SOUS 21897 HAS SOUPS 4565 WITH SCORE 4592.614
AT ITER 1585 NEW BEST:: SOT 51899 SOS 27711 HAS SOPS 4947 HAS SOUS 21960 HAS SOUPS 4556 WITH SCORE 4583.711
AT ITER 1635 NEW BEST:: SOT 51824 SOS 27809 HAS SOPS 4890 HAS SOUS 21900 HAS SOUPS 4499 WITH SCORE 4526.809
AT ITER 1638 NEW BEST:: SOT 51824 SOS 27678 HAS SOPS 4890 HAS SOUS 21588 HAS SOUPS 4499 WITH SCORE 4526.678
AT ITER 1645 NEW BEST:: SOT 51820 SOS 27674 HAS SOPS 4879 HAS SOUS 21583 HAS SOUPS 4488 WITH SCORE 4515.674
AT ITER 1663 NEW BEST:: SOT 51817 SOS 27671 HAS SOPS 4876 HAS SOUS 21580 HAS SOUPS 4485 WITH SCORE 4512.671
AT ITER 1664 NEW BEST:: SOT 51810 SOS 27661 HAS SOPS 4873 HAS SOUS 21570 HAS SOUPS 4482 WITH SCORE 4509.661
AT ITER 1699 NEW BEST:: SOT 51809 SOS 27652 HAS SOPS 4872 HAS SOUS 21561 HAS SOUPS 4481 WITH SCORE 4508.652
AT ITER 1724 NEW BEST:: SOT 51809 SOS 27651 HAS SOPS 4872 HAS SOUS 21565 HAS SOUPS 4481 WITH SCORE 4508.651
AT ITER 1743 NEW BEST:: SOT 51809 SOS 27369 HAS SOPS 4872 HAS SOUS 21487 HAS SOUPS 4481 WITH SCORE 4508.369
AT ITER 1746 NEW BEST:: SOT 51809 SOS 27368 HAS SOPS 4872 HAS SOUS 21488 HAS SOUPS 4481 WITH SCORE 4508.368
AT ITER 1754 NEW BEST:: SOT 51809 SOS 27360 HAS SOPS 4872 HAS SOUS 21488 HAS SOUPS 4481 WITH SCORE 4508.36
AT ITER 1787 NEW BEST:: SOT 51811 SOS 27467 HAS SOPS 4859 HAS SOUS 21555 HAS SOUPS 4473 WITH SCORE 4500.467
AT ITER 1802 NEW BEST:: SOT 51811 SOS 27463 HAS SOPS 4859 HAS SOUS 21555 HAS SOUPS 4473 WITH SCORE 4500.463
AT ITER 1821 NEW BEST:: SOT 51811 SOS 27350 HAS SOPS 4859 HAS SOUS 21333 HAS SOUPS 4473 WITH SCORE 4500.35
AT ITER 1875 NEW BEST:: SOT 51807 SOS 27346 HAS SOPS 4855 HAS SOUS 21329 HAS SOUPS 4469 WITH SCORE 4496.346
AT ITER 1879 NEW BEST:: SOT 51799 SOS 27338 HAS SOPS 4847 HAS SOUS 21321 HAS SOUPS 4461 WITH SCORE 4488.338
AT ITER 1891 NEW BEST:: SOT 51799 SOS 27336 HAS SOPS 4847 HAS SOUS 21320 HAS SOUPS 4461 WITH SCORE 4488.336
AT ITER 1908 NEW BEST:: SOT 51799 SOS 27305 HAS SOPS 4847 HAS SOUS 21458 HAS SOUPS 4461 WITH SCORE 4488.305
AT ITER 1931 NEW BEST:: SOT 51810 SOS 27302 HAS SOPS 4844 HAS SOUS 21473 HAS SOUPS 4458 WITH SCORE 4485.302
AT ITER 1940 NEW BEST:: SOT 51810 SOS 27252 HAS SOPS 4844 HAS SOUS 21434 HAS SOUPS 4458 WITH SCORE 4485.252
AT ITER 2000 NEW BEST:: SOT 51810 SOS 27121 HAS SOPS 4844 HAS SOUS 21424 HAS SOUPS 4458 WITH SCORE 4485.121
AT ITER 2004 NEW BEST:: SOT 51785 SOS 27096 HAS SOPS 4819 HAS SOUS 21400 HAS SOUPS 4434 WITH SCORE 4461.096
AT ITER 2035 NEW BEST:: SOT 51785 SOS 27042 HAS SOPS 4819 HAS SOUS 21378 HAS SOUPS 4434 WITH SCORE 4461.042
AT ITER 2042 NEW BEST:: SOT 51806 SOS 27119 HAS SOPS 4840 HAS SOUS 21668 HAS SOUPS 4433 WITH SCORE 4460.119
AT ITER 2058 NEW BEST:: SOT 51807 SOS 27117 HAS SOPS 4831 HAS SOUS 21664 HAS SOUPS 4422 WITH SCORE 4449.117
AT ITER 2142 NEW BEST:: SOT 51805 SOS 27100 HAS SOPS 4829 HAS SOUS 21647 HAS SOUPS 4420 WITH SCORE 4447.1
AT ITER 2143 NEW BEST:: SOT 51805 SOS 27102 HAS SOPS 4822 HAS SOUS 21647 HAS SOUPS 4413 WITH SCORE 4440.102
AT ITER 2147 NEW BEST:: SOT 51805 SOS 27095 HAS SOPS 4822 HAS SOUS 21622 HAS SOUPS 4413 WITH SCORE 4440.095
AT ITER 2166 NEW BEST:: SOT 51805 SOS 27015 HAS SOPS 4822 HAS SOUS 21602 HAS SOUPS 4413 WITH SCORE 4440.015
AT ITER 2174 NEW BEST:: SOT 51801 SOS 26939 HAS SOPS 4818 HAS SOUS 21561 HAS SOUPS 4409 WITH SCORE 4435.939
AT ITER 2179 NEW BEST:: SOT 51818 SOS 26939 HAS SOPS 4801 HAS SOUS 21561 HAS SOUPS 4392 WITH SCORE 4418.939
AT ITER 2205 NEW BEST:: SOT 51816 SOS 26937 HAS SOPS 4799 HAS SOUS 21557 HAS SOUPS 4388 WITH SCORE 4414.937
AT ITER 2214 NEW BEST:: SOT 51816 SOS 26929 HAS SOPS 4799 HAS SOUS 21510 HAS SOUPS 4388 WITH SCORE 4414.929
AT ITER 2279 NEW BEST:: SOT 51816 SOS 26915 HAS SOPS 4799 HAS SOUS 21506 HAS SOUPS 4388 WITH SCORE 4414.915
AT ITER 2288 NEW BEST:: SOT 51816 SOS 26911 HAS SOPS 4799 HAS SOUS 21506 HAS SOUPS 4388 WITH SCORE 4414.911
AT ITER 2298 NEW BEST:: SOT 51816 SOS 27029 HAS SOPS 4784 HAS SOUS 21560 HAS SOUPS 4378 WITH SCORE 4405.029
AT ITER 2311 NEW BEST:: SOT 51810 SOS 27012 HAS SOPS 4772 HAS SOUS 21552 HAS SOUPS 4366 WITH SCORE 4393.012
AT ITER 2317 NEW BEST:: SOT 51791 SOS 27088 HAS SOPS 4753 HAS SOUS 21583 HAS SOUPS 4354 WITH SCORE 4381.088
AT ITER 2320 NEW BEST:: SOT 51791 SOS 27067 HAS SOPS 4753 HAS SOUS 21593 HAS SOUPS 4354 WITH SCORE 4381.067
AT ITER 2449 NEW BEST:: SOT 51791 SOS 27036 HAS SOPS 4753 HAS SOUS 21493 HAS SOUPS 4354 WITH SCORE 4381.036
AT ITER 2472 NEW BEST:: SOT 51791 SOS 26969 HAS SOPS 4753 HAS SOUS 21444 HAS SOUPS 4354 WITH SCORE 4380.969
AT ITER 2504 NEW BEST:: SOT 51767 SOS 26917 HAS SOPS 4729 HAS SOUS 21392 HAS SOUPS 4330 WITH SCORE 4356.917
AT ITER 2509 NEW BEST:: SOT 51784 SOS 26958 HAS SOPS 4722 HAS SOUS 21554 HAS SOUPS 4327 WITH SCORE 4353.958
AT ITER 2551 NEW BEST:: SOT 51783 SOS 26956 HAS SOPS 4719 HAS SOUS 21553 HAS SOUPS 4324 WITH SCORE 4350.956
AT ITER 2561 NEW BEST:: SOT 51798 SOS 27220 HAS SOPS 4707 HAS SOUS 21658 HAS SOUPS 4321 WITH SCORE 4348.22
AT ITER 2629 NEW BEST:: SOT 51821 SOS 27243 HAS SOPS 4684 HAS SOUS 21680 HAS SOUPS 4297 WITH SCORE 4324.243
AT ITER 2667 NEW BEST:: SOT 51766 SOS 27205 HAS SOPS 4629 HAS SOUS 21609 HAS SOUPS 4271 WITH SCORE 4298.205
AT ITER 2719 NEW BEST:: SOT 51706 SOS 26955 HAS SOPS 4569 HAS SOUS 21484 HAS SOUPS 4211 WITH SCORE 4237.955
AT ITER 2787 NEW BEST:: SOT 51691 SOS 26878 HAS SOPS 4563 HAS SOUS 21421 HAS SOUPS 4202 WITH SCORE 4228.878
AT ITER 2836 NEW BEST:: SOT 51691 SOS 26838 HAS SOPS 4523 HAS SOUS 21381 HAS SOUPS 4162 WITH SCORE 4188.838
AT ITER 2848 NEW BEST:: SOT 51690 SOS 26850 HAS SOPS 4516 HAS SOUS 21388 HAS SOUPS 4155 WITH SCORE 4181.85
AT ITER 2857 NEW BEST:: SOT 51692 SOS 26841 HAS SOPS 4508 HAS SOUS 21379 HAS SOUPS 4147 WITH SCORE 4173.841
AT ITER 2869 NEW BEST:: SOT 51692 SOS 26711 HAS SOPS 4508 HAS SOUS 21280 HAS SOUPS 4147 WITH SCORE 4173.711
AT ITER 2885 NEW BEST:: SOT 51692 SOS 26709 HAS SOPS 4508 HAS SOUS 21266 HAS SOUPS 4147 WITH SCORE 4173.709
AT ITER 2891 NEW BEST:: SOT 51692 SOS 26695 HAS SOPS 4494 HAS SOUS 21262 HAS SOUPS 4133 WITH SCORE 4159.695
AT ITER 2915 NEW BEST:: SOT 51692 SOS 26654 HAS SOPS 4494 HAS SOUS 21275 HAS SOUPS 4133 WITH SCORE 4159.654
AT ITER 2935 NEW BEST:: SOT 51694 SOS 26674 HAS SOPS 4486 HAS SOUS 21277 HAS SOUPS 4125 WITH SCORE 4151.674
AT ITER 2983 NEW BEST:: SOT 51694 SOS 26668 HAS SOPS 4486 HAS SOUS 21259 HAS SOUPS 4125 WITH SCORE 4151.668
AT ITER 2991 NEW BEST:: SOT 51693 SOS 26667 HAS SOPS 4485 HAS SOUS 21258 HAS SOUPS 4124 WITH SCORE 4150.667
AT ITER 3064 NEW BEST:: SOT 51693 SOS 26657 HAS SOPS 4475 HAS SOUS 21248 HAS SOUPS 4114 WITH SCORE 4140.657
AT ITER 3078 NEW BEST:: SOT 51693 SOS 26631 HAS SOPS 4475 HAS SOUS 21219 HAS SOUPS 4114 WITH SCORE 4140.631
AT ITER 3124 NEW BEST:: SOT 51693 SOS 26609 HAS SOPS 4431 HAS SOUS 21216 HAS SOUPS 4070 WITH SCORE 4096.609
AT ITER 3162 NEW BEST:: SOT 51693 SOS 26612 HAS SOPS 4419 HAS SOUS 21220 HAS SOUPS 4058 WITH SCORE 4084.612
AT ITER 3176 NEW BEST:: SOT 51653 SOS 26598 HAS SOPS 4379 HAS SOUS 21141 HAS SOUPS 4018 WITH SCORE 4044.598
AT ITER 3180 NEW BEST:: SOT 51653 SOS 26341 HAS SOPS 4379 HAS SOUS 21088 HAS SOUPS 4018 WITH SCORE 4044.341
AT ITER 3190 NEW BEST:: SOT 51632 SOS 26330 HAS SOPS 4368 HAS SOUS 21077 HAS SOUPS 4007 WITH SCORE 4033.33
AT ITER 3308 NEW BEST:: SOT 51632 SOS 26301 HAS SOPS 4368 HAS SOUS 21118 HAS SOUPS 4007 WITH SCORE 4033.301
AT ITER 3345 NEW BEST:: SOT 51625 SOS 26294 HAS SOPS 4361 HAS SOUS 21118 HAS SOUPS 4007 WITH SCORE 4033.294
AT ITER 3370 NEW BEST:: SOT 51621 SOS 26286 HAS SOPS 4353 HAS SOUS 21112 HAS SOUPS 3999 WITH SCORE 4025.286
AT ITER 3393 NEW BEST:: SOT 51621 SOS 26244 HAS SOPS 4353 HAS SOUS 20558 HAS SOUPS 3999 WITH SCORE 4025.244
AT ITER 3455 NEW BEST:: SOT 51626 SOS 26645 HAS SOPS 4358 HAS SOUS 20876 HAS SOUPS 3997 WITH SCORE 4023.645
AT ITER 3477 NEW BEST:: SOT 51618 SOS 26632 HAS SOPS 4342 HAS SOUS 20868 HAS SOUPS 3981 WITH SCORE 4007.632
AT ITER 3511 NEW BEST:: SOT 51618 SOS 26566 HAS SOPS 4342 HAS SOUS 20089 HAS SOUPS 3981 WITH SCORE 4007.566
AT ITER 3518 NEW BEST:: SOT 51616 SOS 26564 HAS SOPS 4336 HAS SOUS 20087 HAS SOUPS 3977 WITH SCORE 4003.564
AT ITER 3530 NEW BEST:: SOT 51614 SOS 26559 HAS SOPS 4335 HAS SOUS 20092 HAS SOUPS 3976 WITH SCORE 4002.559
AT ITER 3578 NEW BEST:: SOT 51614 SOS 26453 HAS SOPS 4335 HAS SOUS 20130 HAS SOUPS 3976 WITH SCORE 4002.453
AT ITER 3584 NEW BEST:: SOT 51614 SOS 26442 HAS SOPS 4335 HAS SOUS 20129 HAS SOUPS 3976 WITH SCORE 4002.442
AT ITER 3593 NEW BEST:: SOT 51561 SOS 26377 HAS SOPS 4324 HAS SOUS 20043 HAS SOUPS 3965 WITH SCORE 3991.377
AT ITER 3598 NEW BEST:: SOT 51561 SOS 26328 HAS SOPS 4324 HAS SOUS 20034 HAS SOUPS 3965 WITH SCORE 3991.328
AT ITER 3615 NEW BEST:: SOT 51561 SOS 26288 HAS SOPS 4324 HAS SOUS 20034 HAS SOUPS 3965 WITH SCORE 3991.288
AT ITER 3644 NEW BEST:: SOT 51561 SOS 26238 HAS SOPS 4324 HAS SOUS 20015 HAS SOUPS 3965 WITH SCORE 3991.238
AT ITER 3659 NEW BEST:: SOT 51525 SOS 26202 HAS SOPS 4288 HAS SOUS 19977 HAS SOUPS 3927 WITH SCORE 3953.202
AT ITER 3686 NEW BEST:: SOT 51525 SOS 26091 HAS SOPS 4288 HAS SOUS 19723 HAS SOUPS 3927 WITH SCORE 3953.091
AT ITER 3690 NEW BEST:: SOT 51523 SOS 26085 HAS SOPS 4286 HAS SOUS 19721 HAS SOUPS 3925 WITH SCORE 3951.085
AT ITER 3711 NEW BEST:: SOT 51520 SOS 26082 HAS SOPS 4280 HAS SOUS 19718 HAS SOUPS 3920 WITH SCORE 3946.082
AT ITER 3720 NEW BEST:: SOT 51496 SOS 26042 HAS SOPS 4240 HAS SOUS 19678 HAS SOUPS 3880 WITH SCORE 3906.042
AT ITER 3729 NEW BEST:: SOT 51496 SOS 25985 HAS SOPS 4240 HAS SOUS 19756 HAS SOUPS 3880 WITH SCORE 3905.985
AT ITER 3741 NEW BEST:: SOT 51502 SOS 26081 HAS SOPS 4234 HAS SOUS 19756 HAS SOUPS 3874 WITH SCORE 3900.081
AT ITER 3805 NEW BEST:: SOT 51502 SOS 26077 HAS SOPS 4234 HAS SOUS 19728 HAS SOUPS 3874 WITH SCORE 3900.077
AT ITER 3834 NEW BEST:: SOT 51498 SOS 26073 HAS SOPS 4230 HAS SOUS 19728 HAS SOUPS 3874 WITH SCORE 3900.073
AT ITER 3871 NEW BEST:: SOT 51493 SOS 26083 HAS SOPS 4230 HAS SOUS 19728 HAS SOUPS 3869 WITH SCORE 3895.083
AT ITER 3897 NEW BEST:: SOT 51493 SOS 26082 HAS SOPS 4227 HAS SOUS 19742 HAS SOUPS 3867 WITH SCORE 3893.082
AT ITER 3979 NEW BEST:: SOT 51493 SOS 26065 HAS SOPS 4227 HAS SOUS 19721 HAS SOUPS 3867 WITH SCORE 3893.065
AT ITER 3991 NEW BEST:: SOT 51493 SOS 26009 HAS SOPS 4227 HAS SOUS 20272 HAS SOUPS 3867 WITH SCORE 3893.009
AT ITER 4004 NEW BEST:: SOT 51493 SOS 26001 HAS SOPS 4227 HAS SOUS 20272 HAS SOUPS 3867 WITH SCORE 3893.001
AT ITER 4039 NEW BEST:: SOT 51493 SOS 25998 HAS SOPS 4227 HAS SOUS 20274 HAS SOUPS 3867 WITH SCORE 3892.998
AT ITER 4054 NEW BEST:: SOT 51493 SOS 25918 HAS SOPS 4227 HAS SOUS 20274 HAS SOUPS 3867 WITH SCORE 3892.918
AT ITER 4055 NEW BEST:: SOT 51488 SOS 25908 HAS SOPS 4222 HAS SOUS 20269 HAS SOUPS 3867 WITH SCORE 3892.908
AT ITER 4095 NEW BEST:: SOT 51488 SOS 25906 HAS SOPS 4222 HAS SOUS 20269 HAS SOUPS 3867 WITH SCORE 3892.906
AT ITER 4113 NEW BEST:: SOT 51487 SOS 25905 HAS SOPS 4221 HAS SOUS 20269 HAS SOUPS 3867 WITH SCORE 3892.905
AT ITER 4166 NEW BEST:: SOT 51488 SOS 25888 HAS SOPS 4170 HAS SOUS 20274 HAS SOUPS 3838 WITH SCORE 3863.888
AT ITER 4187 NEW BEST:: SOT 51488 SOS 25869 HAS SOPS 4170 HAS SOUS 20264 HAS SOUPS 3838 WITH SCORE 3863.869
AT ITER 4258 NEW BEST:: SOT 51489 SOS 25860 HAS SOPS 4167 HAS SOUS 20257 HAS SOUPS 3835 WITH SCORE 3860.86
AT ITER 4290 NEW BEST:: SOT 51479 SOS 25822 HAS SOPS 4139 HAS SOUS 20219 HAS SOUPS 3807 WITH SCORE 3832.822
AT ITER 4388 NEW BEST:: SOT 51480 SOS 25888 HAS SOPS 4131 HAS SOUS 20221 HAS SOUPS 3799 WITH SCORE 3824.888
AT ITER 4395 NEW BEST:: SOT 51486 SOS 25896 HAS SOPS 4137 HAS SOUS 20268 HAS SOUPS 3798 WITH SCORE 3823.896
AT ITER 4425 NEW BEST:: SOT 51500 SOS 25920 HAS SOPS 4147 HAS SOUS 20278 HAS SOUPS 3794 WITH SCORE 3819.92
AT ITER 4447 NEW BEST:: SOT 51486 SOS 25914 HAS SOPS 4145 HAS SOUS 20255 HAS SOUPS 3794 WITH SCORE 3819.914
AT ITER 4470 NEW BEST:: SOT 51486 SOS 25906 HAS SOPS 4147 HAS SOUS 20237 HAS SOUPS 3786 WITH SCORE 3811.906
AT ITER 4526 NEW BEST:: SOT 51486 SOS 25903 HAS SOPS 4147 HAS SOUS 20237 HAS SOUPS 3786 WITH SCORE 3811.903
AT ITER 4539 NEW BEST:: SOT 51476 SOS 25897 HAS SOPS 4163 HAS SOUS 20210 HAS SOUPS 3781 WITH SCORE 3806.897
AT ITER 4544 NEW BEST:: SOT 51473 SOS 25892 HAS SOPS 4156 HAS SOUS 20206 HAS SOUPS 3775 WITH SCORE 3800.892
AT ITER 4557 NEW BEST:: SOT 51472 SOS 25890 HAS SOPS 4155 HAS SOUS 20205 HAS SOUPS 3775 WITH SCORE 3800.89
AT ITER 4566 NEW BEST:: SOT 51471 SOS 25889 HAS SOPS 4152 HAS SOUS 20204 HAS SOUPS 3773 WITH SCORE 3798.889
AT ITER 4567 NEW BEST:: SOT 51474 SOS 25892 HAS SOPS 4155 HAS SOUS 20199 HAS SOUPS 3768 WITH SCORE 3793.892
AT ITER 4568 NEW BEST:: SOT 51474 SOS 25886 HAS SOPS 4155 HAS SOUS 20211 HAS SOUPS 3768 WITH SCORE 3793.886
AT ITER 4814 NEW BEST:: SOT 51473 SOS 25885 HAS SOPS 4154 HAS SOUS 20210 HAS SOUPS 3767 WITH SCORE 3792.885
AT ITER 4831 NEW BEST:: SOT 51473 SOS 25819 HAS SOPS 4154 HAS SOUS 20092 HAS SOUPS 3767 WITH SCORE 3792.819
AT ITER 4844 NEW BEST:: SOT 51473 SOS 25759 HAS SOPS 4154 HAS SOUS 20135 HAS SOUPS 3767 WITH SCORE 3792.759
AT ITER 4853 NEW BEST:: SOT 51447 SOS 25668 HAS SOPS 4128 HAS SOUS 20044 HAS SOUPS 3741 WITH SCORE 3766.668
AT ITER 4965 NEW BEST:: SOT 51447 SOS 25545 HAS SOPS 4128 HAS SOUS 19961 HAS SOUPS 3741 WITH SCORE 3766.545
AT ITER 5017 NEW BEST:: SOT 51447 SOS 25528 HAS SOPS 4128 HAS SOUS 19961 HAS SOUPS 3741 WITH SCORE 3766.528
AT ITER 5031 NEW BEST:: SOT 51447 SOS 25530 HAS SOPS 4124 HAS SOUS 19957 HAS SOUPS 3737 WITH SCORE 3762.53
AT ITER 5101 NEW BEST:: SOT 51447 SOS 25520 HAS SOPS 4124 HAS SOUS 19957 HAS SOUPS 3737 WITH SCORE 3762.52
AT ITER 5139 NEW BEST:: SOT 51447 SOS 25523 HAS SOPS 4109 HAS SOUS 19999 HAS SOUPS 3727 WITH SCORE 3752.523
AT ITER 5177 NEW BEST:: SOT 51427 SOS 25509 HAS SOPS 4097 HAS SOUS 19977 HAS SOUPS 3715 WITH SCORE 3740.509
AT ITER 5215 NEW BEST:: SOT 51416 SOS 25528 HAS SOPS 4116 HAS SOUS 19956 HAS SOUPS 3704 WITH SCORE 3729.528
AT ITER 5243 NEW BEST:: SOT 51407 SOS 25499 HAS SOPS 4087 HAS SOUS 19927 HAS SOUPS 3675 WITH SCORE 3700.499
AT ITER 5277 NEW BEST:: SOT 51407 SOS 25474 HAS SOPS 4077 HAS SOUS 19917 HAS SOUPS 3665 WITH SCORE 3690.474
AT ITER 5336 NEW BEST:: SOT 51407 SOS 25462 HAS SOPS 4077 HAS SOUS 19917 HAS SOUPS 3665 WITH SCORE 3690.462
AT ITER 5339 NEW BEST:: SOT 51407 SOS 25459 HAS SOPS 4074 HAS SOUS 19919 HAS SOUPS 3663 WITH SCORE 3688.459
AT ITER 5350 NEW BEST:: SOT 51407 SOS 25455 HAS SOPS 4070 HAS SOUS 19915 HAS SOUPS 3659 WITH SCORE 3684.455
AT ITER 5355 NEW BEST:: SOT 51403 SOS 25419 HAS SOPS 4066 HAS SOUS 19903 HAS SOUPS 3655 WITH SCORE 3680.419
AT ITER 5382 NEW BEST:: SOT 51391 SOS 25410 HAS SOPS 4054 HAS SOUS 19891 HAS SOUPS 3643 WITH SCORE 3668.41
AT ITER 5448 NEW BEST:: SOT 51391 SOS 25480 HAS SOPS 4051 HAS SOUS 20013 HAS SOUPS 3641 WITH SCORE 3666.48
AT ITER 5619 NEW BEST:: SOT 51367 SOS 25459 HAS SOPS 4035 HAS SOUS 19956 HAS SOUPS 3625 WITH SCORE 3650.459
AT ITER 5657 NEW BEST:: SOT 51367 SOS 25449 HAS SOPS 4035 HAS SOUS 19836 HAS SOUPS 3625 WITH SCORE 3650.449
AT ITER 5660 NEW BEST:: SOT 51365 SOS 25445 HAS SOPS 4033 HAS SOUS 19833 HAS SOUPS 3623 WITH SCORE 3648.445
AT ITER 5698 NEW BEST:: SOT 51369 SOS 25460 HAS SOPS 4025 HAS SOUS 19837 HAS SOUPS 3615 WITH SCORE 3640.46
AT ITER 5804 NEW BEST:: SOT 51369 SOS 25438 HAS SOPS 4025 HAS SOUS 19786 HAS SOUPS 3615 WITH SCORE 3640.438
AT ITER 5805 NEW BEST:: SOT 51369 SOS 25435 HAS SOPS 4025 HAS SOUS 19786 HAS SOUPS 3615 WITH SCORE 3640.435
AT ITER 5815 NEW BEST:: SOT 51369 SOS 25414 HAS SOPS 4025 HAS SOUS 19757 HAS SOUPS 3615 WITH SCORE 3640.414
AT ITER 5837 NEW BEST:: SOT 51361 SOS 25398 HAS SOPS 4021 HAS SOUS 19741 HAS SOUPS 3611 WITH SCORE 3636.398
AT ITER 5867 NEW BEST:: SOT 51348 SOS 25227 HAS SOPS 4008 HAS SOUS 19581 HAS SOUPS 3611 WITH SCORE 3636.227
AT ITER 5890 NEW BEST:: SOT 51347 SOS 25220 HAS SOPS 4004 HAS SOUS 19576 HAS SOUPS 3608 WITH SCORE 3633.22
AT ITER 5915 NEW BEST:: SOT 51345 SOS 25224 HAS SOPS 4002 HAS SOUS 19574 HAS SOUPS 3604 WITH SCORE 3629.224
AT ITER 5940 NEW BEST:: SOT 51345 SOS 25190 HAS SOPS 4002 HAS SOUS 19629 HAS SOUPS 3604 WITH SCORE 3629.19
AT ITER 5966 NEW BEST:: SOT 51342 SOS 25187 HAS SOPS 3999 HAS SOUS 19629 HAS SOUPS 3604 WITH SCORE 3629.187
AT ITER 6008 NEW BEST:: SOT 51340 SOS 25187 HAS SOPS 3997 HAS SOUS 19629 HAS SOUPS 3602 WITH SCORE 3627.187
AT ITER 6036 NEW BEST:: SOT 51340 SOS 25183 HAS SOPS 3997 HAS SOUS 19626 HAS SOUPS 3602 WITH SCORE 3627.183
AT ITER 6111 NEW BEST:: SOT 51336 SOS 25181 HAS SOPS 3991 HAS SOUS 19634 HAS SOUPS 3596 WITH SCORE 3621.181
AT ITER 6160 NEW BEST:: SOT 51336 SOS 25216 HAS SOPS 3969 HAS SOUS 19673 HAS SOUPS 3574 WITH SCORE 3599.216
AT ITER 6203 NEW BEST:: SOT 51338 SOS 25179 HAS SOPS 3953 HAS SOUS 19677 HAS SOUPS 3564 WITH SCORE 3589.179
AT ITER 6289 NEW BEST:: SOT 51338 SOS 25161 HAS SOPS 3953 HAS SOUS 19686 HAS SOUPS 3564 WITH SCORE 3589.161
AT ITER 6563 NEW BEST:: SOT 51338 SOS 25159 HAS SOPS 3951 HAS SOUS 19686 HAS SOUPS 3562 WITH SCORE 3587.159
AT ITER 6576 NEW BEST:: SOT 51338 SOS 25163 HAS SOPS 3927 HAS SOUS 19758 HAS SOUPS 3546 WITH SCORE 3571.163
AT ITER 6601 NEW BEST:: SOT 51338 SOS 25080 HAS SOPS 3927 HAS SOUS 19798 HAS SOUPS 3546 WITH SCORE 3571.08
AT ITER 6617 NEW BEST:: SOT 51337 SOS 25078 HAS SOPS 3923 HAS SOUS 19795 HAS SOUPS 3542 WITH SCORE 3567.078
AT ITER 6661 NEW BEST:: SOT 51334 SOS 25075 HAS SOPS 3916 HAS SOUS 19794 HAS SOUPS 3537 WITH SCORE 3562.075
AT ITER 6802 NEW BEST:: SOT 51334 SOS 25071 HAS SOPS 3916 HAS SOUS 19790 HAS SOUPS 3537 WITH SCORE 3562.071
AT ITER 6810 NEW BEST:: SOT 51318 SOS 25091 HAS SOPS 3900 HAS SOUS 19729 HAS SOUPS 3524 WITH SCORE 3549.091
AT ITER 6842 NEW BEST:: SOT 51318 SOS 25087 HAS SOPS 3900 HAS SOUS 19727 HAS SOUPS 3524 WITH SCORE 3549.087
AT ITER 6961 NEW BEST:: SOT 51315 SOS 25086 HAS SOPS 3899 HAS SOUS 19717 HAS SOUPS 3523 WITH SCORE 3548.086
AT ITER 7035 NEW BEST:: SOT 51315 SOS 25074 HAS SOPS 3891 HAS SOUS 19701 HAS SOUPS 3515 WITH SCORE 3540.074
AT ITER 7095 NEW BEST:: SOT 51315 SOS 25070 HAS SOPS 3891 HAS SOUS 19697 HAS SOUPS 3515 WITH SCORE 3540.07
AT ITER 7100 NEW BEST:: SOT 51319 SOS 25076 HAS SOPS 3889 HAS SOUS 19707 HAS SOUPS 3509 WITH SCORE 3534.076
AT ITER 7189 NEW BEST:: SOT 51329 SOS 25086 HAS SOPS 3887 HAS SOUS 19708 HAS SOUPS 3507 WITH SCORE 3532.086
AT ITER 7215 NEW BEST:: SOT 51337 SOS 25094 HAS SOPS 3885 HAS SOUS 19716 HAS SOUPS 3505 WITH SCORE 3530.094
AT ITER 7335 NEW BEST:: SOT 51334 SOS 25034 HAS SOPS 3879 HAS SOUS 19692 HAS SOUPS 3500 WITH SCORE 3525.034
AT ITER 7384 NEW BEST:: SOT 51334 SOS 25113 HAS SOPS 3846 HAS SOUS 19792 HAS SOUPS 3478 WITH SCORE 3503.113
AT ITER 7443 NEW BEST:: SOT 51337 SOS 25116 HAS SOPS 3843 HAS SOUS 19793 HAS SOUPS 3475 WITH SCORE 3500.116
AT ITER 7562 NEW BEST:: SOT 51330 SOS 25109 HAS SOPS 3841 HAS SOUS 19785 HAS SOUPS 3473 WITH SCORE 3498.109
AT ITER 7587 NEW BEST:: SOT 51242 SOS 25021 HAS SOPS 3749 HAS SOUS 19785 HAS SOUPS 3469 WITH SCORE 3494.021
AT ITER 7818 NEW BEST:: SOT 51234 SOS 25013 HAS SOPS 3741 HAS SOUS 19777 HAS SOUPS 3461 WITH SCORE 3486.013
AT ITER 7836 NEW BEST:: SOT 51242 SOS 25033 HAS SOPS 3733 HAS SOUS 19779 HAS SOUPS 3453 WITH SCORE 3478.033
AT ITER 7969 NEW BEST:: SOT 51242 SOS 25025 HAS SOPS 3733 HAS SOUS 19779 HAS SOUPS 3453 WITH SCORE 3478.025
AT ITER 8009 NEW BEST:: SOT 51242 SOS 25024 HAS SOPS 3733 HAS SOUS 19781 HAS SOUPS 3453 WITH SCORE 3478.024
AT ITER 8064 NEW BEST:: SOT 51242 SOS 25008 HAS SOPS 3733 HAS SOUS 19781 HAS SOUPS 3453 WITH SCORE 3478.008
AT ITER 8152 NEW BEST:: SOT 51241 SOS 25006 HAS SOPS 3731 HAS SOUS 19781 HAS SOUPS 3451 WITH SCORE 3476.006
AT ITER 8223 NEW BEST:: SOT 51241 SOS 24930 HAS SOPS 3731 HAS SOUS 19840 HAS SOUPS 3451 WITH SCORE 3475.93
AT ITER 8287 NEW BEST:: SOT 51241 SOS 24895 HAS SOPS 3731 HAS SOUS 19833 HAS SOUPS 3451 WITH SCORE 3475.895
AT ITER 8297 NEW BEST:: SOT 51241 SOS 24857 HAS SOPS 3731 HAS SOUS 19800 HAS SOUPS 3451 WITH SCORE 3475.857
AT ITER 8359 NEW BEST:: SOT 51267 SOS 24835 HAS SOPS 3721 HAS SOUS 19795 HAS SOUPS 3447 WITH SCORE 3471.835
AT ITER 8416 NEW BEST:: SOT 51267 SOS 24810 HAS SOPS 3721 HAS SOUS 19784 HAS SOUPS 3447 WITH SCORE 3471.81
AT ITER 8418 NEW BEST:: SOT 51267 SOS 24804 HAS SOPS 3721 HAS SOUS 19772 HAS SOUPS 3447 WITH SCORE 3471.804
AT ITER 8468 NEW BEST:: SOT 51267 SOS 24788 HAS SOPS 3721 HAS SOUS 19766 HAS SOUPS 3447 WITH SCORE 3471.788
AT ITER 8491 NEW BEST:: SOT 51267 SOS 24712 HAS SOPS 3721 HAS SOUS 19811 HAS SOUPS 3447 WITH SCORE 3471.712
AT ITER 8493 NEW BEST:: SOT 51256 SOS 24716 HAS SOPS 3732 HAS SOUS 19807 HAS SOUPS 3444 WITH SCORE 3468.716
AT ITER 8510 NEW BEST:: SOT 51258 SOS 24723 HAS SOPS 3725 HAS SOUS 19875 HAS SOUPS 3440 WITH SCORE 3464.723
AT ITER 8571 NEW BEST:: SOT 51258 SOS 24721 HAS SOPS 3725 HAS SOUS 19878 HAS SOUPS 3440 WITH SCORE 3464.721
AT ITER 8613 NEW BEST:: SOT 51238 SOS 24701 HAS SOPS 3705 HAS SOUS 19858 HAS SOUPS 3420 WITH SCORE 3444.701
AT ITER 8627 NEW BEST:: SOT 51234 SOS 24691 HAS SOPS 3697 HAS SOUS 19850 HAS SOUPS 3412 WITH SCORE 3436.691
AT ITER 8640 NEW BEST:: SOT 51234 SOS 24683 HAS SOPS 3689 HAS SOUS 19850 HAS SOUPS 3404 WITH SCORE 3428.683
AT ITER 8649 NEW BEST:: SOT 51230 SOS 24677 HAS SOPS 3675 HAS SOUS 19844 HAS SOUPS 3390 WITH SCORE 3414.677
AT ITER 8703 NEW BEST:: SOT 51230 SOS 24647 HAS SOPS 3675 HAS SOUS 19809 HAS SOUPS 3390 WITH SCORE 3414.647
AT ITER 8842 NEW BEST:: SOT 51230 SOS 24635 HAS SOPS 3675 HAS SOUS 19797 HAS SOUPS 3390 WITH SCORE 3414.635
AT ITER 8879 NEW BEST:: SOT 51226 SOS 24631 HAS SOPS 3671 HAS SOUS 19786 HAS SOUPS 3390 WITH SCORE 3414.631
AT ITER 8880 NEW BEST:: SOT 51226 SOS 24714 HAS SOPS 3668 HAS SOUS 19802 HAS SOUPS 3388 WITH SCORE 3412.714
AT ITER 8936 NEW BEST:: SOT 51226 SOS 24697 HAS SOPS 3668 HAS SOUS 19779 HAS SOUPS 3388 WITH SCORE 3412.697
AT ITER 9104 NEW BEST:: SOT 51218 SOS 24687 HAS SOPS 3660 HAS SOUS 19771 HAS SOUPS 3380 WITH SCORE 3404.687
AT ITER 9150 NEW BEST:: SOT 51218 SOS 24704 HAS SOPS 3645 HAS SOUS 19793 HAS SOUPS 3370 WITH SCORE 3394.704
AT ITER 9276 NEW BEST:: SOT 51216 SOS 24699 HAS SOPS 3642 HAS SOUS 19793 HAS SOUPS 3368 WITH SCORE 3392.699
AT ITER 9416 NEW BEST:: SOT 51219 SOS 24697 HAS SOPS 3645 HAS SOUS 19811 HAS SOUPS 3366 WITH SCORE 3390.697
AT ITER 9432 NEW BEST:: SOT 51219 SOS 24693 HAS SOPS 3645 HAS SOUS 19793 HAS SOUPS 3366 WITH SCORE 3390.693
AT ITER 9443 NEW BEST:: SOT 51219 SOS 24681 HAS SOPS 3641 HAS SOUS 19787 HAS SOUPS 3366 WITH SCORE 3390.681
AT ITER 9505 NEW BEST:: SOT 51219 SOS 24675 HAS SOPS 3641 HAS SOUS 19788 HAS SOUPS 3366 WITH SCORE 3390.675
AT ITER 9642 NEW BEST:: SOT 51224 SOS 24675 HAS SOPS 3636 HAS SOUS 19788 HAS SOUPS 3361 WITH SCORE 3385.675
AT ITER 9728 NEW BEST:: SOT 51224 SOS 24669 HAS SOPS 3633 HAS SOUS 19787 HAS SOUPS 3359 WITH SCORE 3383.669
AT ITER 9898 NEW BEST:: SOT 51229 SOS 24705 HAS SOPS 3608 HAS SOUS 19831 HAS SOUPS 3342 WITH SCORE 3366.705
AT ITER 9902 NEW BEST:: SOT 51229 SOS 24672 HAS SOPS 3608 HAS SOUS 19829 HAS SOUPS 3342 WITH SCORE 3366.672
AT ITER 9915 NEW BEST:: SOT 51233 SOS 24676 HAS SOPS 3603 HAS SOUS 19833 HAS SOUPS 3337 WITH SCORE 3361.676
AT ITER 9927 NEW BEST:: SOT 51233 SOS 24674 HAS SOPS 3603 HAS SOUS 19832 HAS SOUPS 3337 WITH SCORE 3361.674
AT ITER 9931 NEW BEST:: SOT 51231 SOS 24671 HAS SOPS 3601 HAS SOUS 19829 HAS SOUPS 3335 WITH SCORE 3359.671
STATE_SPACE STATES 27021597764222976 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 104 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 846430439341031424 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679986443825

--------------------
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="EGFr-PT-10420"
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 EGFr-PT-10420, 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 r131-smll-167819408200656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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