Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r190-csrt-159033383200752.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................
=====================================================================
Generated by BenchKit 2-4028
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 r190-csrt-159033383200752
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 892K
-rw-r--r-- 1 mcc users 3.6K May 14 00:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 00:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K May 13 17:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 13 17:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 12 20:53 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K May 14 10:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K May 14 10:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 14 10:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K May 13 12:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 12:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K May 13 07:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K May 13 07:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:53 equiv_col
-rw-r--r-- 1 mcc users 6 May 12 20:53 instance
-rw-r--r-- 1 mcc users 6 May 12 20:53 iscolored
-rw-r--r-- 1 mcc users 681K May 12 20:53 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 1590410207538

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EGFr (PT), instance 10420
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 2 NEW BEST:: SOT 52709 SOS 27334 HAS SOPS 7553 HAS SOUS 23238 HAS SOUPS 6844 WITH SCORE 6871.334
AT ITER 6 NEW BEST:: SOT 52709 SOS 27468 HAS SOPS 7549 HAS SOUS 23323 HAS SOUPS 6842 WITH SCORE 6869.468
AT ITER 12 NEW BEST:: SOT 52709 SOS 28054 HAS SOPS 7541 HAS SOUS 23352 HAS SOUPS 6834 WITH SCORE 6862.054
AT ITER 14 NEW BEST:: SOT 52730 SOS 28221 HAS SOPS 7343 HAS SOUS 23271 HAS SOUPS 6636 WITH SCORE 6664.221
AT ITER 15 NEW BEST:: SOT 52718 SOS 28215 HAS SOPS 7331 HAS SOUS 23259 HAS SOUPS 6618 WITH SCORE 6646.215
AT ITER 35 NEW BEST:: SOT 52711 SOS 28205 HAS SOPS 7315 HAS SOUS 23241 HAS SOUPS 6602 WITH SCORE 6630.205
AT ITER 48 NEW BEST:: SOT 52646 SOS 28160 HAS SOPS 7223 HAS SOUS 23125 HAS SOUPS 6475 WITH SCORE 6503.16
AT ITER 51 NEW BEST:: SOT 52645 SOS 28159 HAS SOPS 7222 HAS SOUS 23124 HAS SOUPS 6474 WITH SCORE 6502.159
AT ITER 52 NEW BEST:: SOT 52645 SOS 28194 HAS SOPS 7200 HAS SOUS 23149 HAS SOUPS 6442 WITH SCORE 6470.194
AT ITER 54 NEW BEST:: SOT 52548 SOS 28147 HAS SOPS 7103 HAS SOUS 23101 HAS SOUPS 6345 WITH SCORE 6373.147
AT ITER 58 NEW BEST:: SOT 52548 SOS 28140 HAS SOPS 7103 HAS SOUS 23094 HAS SOUPS 6345 WITH SCORE 6373.14
AT ITER 72 NEW BEST:: SOT 52548 SOS 28135 HAS SOPS 7103 HAS SOUS 23102 HAS SOUPS 6345 WITH SCORE 6373.135
AT ITER 80 NEW BEST:: SOT 52494 SOS 28138 HAS SOPS 7025 HAS SOUS 23090 HAS SOUPS 6292 WITH SCORE 6320.138
AT ITER 87 NEW BEST:: SOT 52486 SOS 28037 HAS SOPS 6937 HAS SOUS 22992 HAS SOUPS 6276 WITH SCORE 6304.037
AT ITER 126 NEW BEST:: SOT 52486 SOS 29324 HAS SOPS 6868 HAS SOUS 23008 HAS SOUPS 6230 WITH SCORE 6259.324
AT ITER 134 NEW BEST:: SOT 52473 SOS 29302 HAS SOPS 6852 HAS SOUS 22994 HAS SOUPS 6222 WITH SCORE 6251.302
AT ITER 143 NEW BEST:: SOT 52473 SOS 29301 HAS SOPS 6852 HAS SOUS 22993 HAS SOUPS 6222 WITH SCORE 6251.301
AT ITER 168 NEW BEST:: SOT 52473 SOS 29260 HAS SOPS 6852 HAS SOUS 22909 HAS SOUPS 6222 WITH SCORE 6251.26
AT ITER 173 NEW BEST:: SOT 52488 SOS 29266 HAS SOPS 6843 HAS SOUS 22976 HAS SOUPS 6195 WITH SCORE 6224.266
AT ITER 181 NEW BEST:: SOT 52482 SOS 29251 HAS SOPS 6831 HAS SOUS 22965 HAS SOUPS 6186 WITH SCORE 6215.251
AT ITER 183 NEW BEST:: SOT 52454 SOS 29302 HAS SOPS 6803 HAS SOUS 23016 HAS SOUPS 6158 WITH SCORE 6187.302
AT ITER 190 NEW BEST:: SOT 52451 SOS 29306 HAS SOPS 6800 HAS SOUS 23020 HAS SOUPS 6155 WITH SCORE 6184.306
AT ITER 199 NEW BEST:: SOT 52451 SOS 29325 HAS SOPS 6756 HAS SOUS 23020 HAS SOUPS 6112 WITH SCORE 6141.325
AT ITER 213 NEW BEST:: SOT 52427 SOS 29304 HAS SOPS 6732 HAS SOUS 22999 HAS SOUPS 6088 WITH SCORE 6117.304
AT ITER 217 NEW BEST:: SOT 52457 SOS 29358 HAS SOPS 6704 HAS SOUS 22971 HAS SOUPS 6060 WITH SCORE 6089.358
AT ITER 221 NEW BEST:: SOT 52457 SOS 28452 HAS SOPS 6704 HAS SOUS 22804 HAS SOUPS 6060 WITH SCORE 6088.452
AT ITER 234 NEW BEST:: SOT 52435 SOS 28491 HAS SOPS 6704 HAS SOUS 22784 HAS SOUPS 6038 WITH SCORE 6066.491
AT ITER 248 NEW BEST:: SOT 52407 SOS 28393 HAS SOPS 6676 HAS SOUS 22691 HAS SOUPS 6010 WITH SCORE 6038.393
AT ITER 255 NEW BEST:: SOT 52387 SOS 28411 HAS SOPS 6656 HAS SOUS 22710 HAS SOUPS 5990 WITH SCORE 6018.411
AT ITER 260 NEW BEST:: SOT 52330 SOS 28261 HAS SOPS 6515 HAS SOUS 22653 HAS SOUPS 5906 WITH SCORE 5934.261
AT ITER 262 NEW BEST:: SOT 52330 SOS 28237 HAS SOPS 6491 HAS SOUS 22629 HAS SOUPS 5882 WITH SCORE 5910.237
AT ITER 287 NEW BEST:: SOT 52313 SOS 28215 HAS SOPS 6464 HAS SOUS 22593 HAS SOUPS 5852 WITH SCORE 5880.215
AT ITER 336 NEW BEST:: SOT 52313 SOS 28161 HAS SOPS 6464 HAS SOUS 22498 HAS SOUPS 5852 WITH SCORE 5880.161
AT ITER 341 NEW BEST:: SOT 52275 SOS 28104 HAS SOPS 6388 HAS SOUS 22422 HAS SOUPS 5776 WITH SCORE 5804.104
AT ITER 342 NEW BEST:: SOT 52275 SOS 27984 HAS SOPS 6388 HAS SOUS 22362 HAS SOUPS 5776 WITH SCORE 5803.984
AT ITER 349 NEW BEST:: SOT 52261 SOS 28208 HAS SOPS 6374 HAS SOUS 22485 HAS SOUPS 5762 WITH SCORE 5790.208
AT ITER 351 NEW BEST:: SOT 52265 SOS 28148 HAS SOPS 6310 HAS SOUS 22450 HAS SOUPS 5709 WITH SCORE 5737.148
AT ITER 376 NEW BEST:: SOT 52253 SOS 27738 HAS SOPS 6298 HAS SOUS 22367 HAS SOUPS 5697 WITH SCORE 5724.738
AT ITER 385 NEW BEST:: SOT 52253 SOS 27674 HAS SOPS 6298 HAS SOUS 22346 HAS SOUPS 5697 WITH SCORE 5724.674
AT ITER 389 NEW BEST:: SOT 52230 SOS 27626 HAS SOPS 6275 HAS SOUS 22263 HAS SOUPS 5693 WITH SCORE 5720.626
AT ITER 402 NEW BEST:: SOT 52230 SOS 27796 HAS SOPS 6275 HAS SOUS 22438 HAS SOUPS 5665 WITH SCORE 5692.796
AT ITER 410 NEW BEST:: SOT 52222 SOS 27697 HAS SOPS 6169 HAS SOUS 22399 HAS SOUPS 5559 WITH SCORE 5586.697
AT ITER 413 NEW BEST:: SOT 52220 SOS 27684 HAS SOPS 6167 HAS SOUS 22395 HAS SOUPS 5557 WITH SCORE 5584.684
AT ITER 419 NEW BEST:: SOT 52217 SOS 27683 HAS SOPS 6158 HAS SOUS 22384 HAS SOUPS 5548 WITH SCORE 5575.683
AT ITER 424 NEW BEST:: SOT 52203 SOS 27673 HAS SOPS 6116 HAS SOUS 22367 HAS SOUPS 5506 WITH SCORE 5533.673
AT ITER 430 NEW BEST:: SOT 52203 SOS 27666 HAS SOPS 6116 HAS SOUS 22367 HAS SOUPS 5506 WITH SCORE 5533.666
AT ITER 432 NEW BEST:: SOT 52213 SOS 27685 HAS SOPS 6120 HAS SOUS 22375 HAS SOUPS 5505 WITH SCORE 5532.685
AT ITER 461 NEW BEST:: SOT 52213 SOS 27665 HAS SOPS 6105 HAS SOUS 22365 HAS SOUPS 5495 WITH SCORE 5522.665
AT ITER 479 NEW BEST:: SOT 52195 SOS 27793 HAS SOPS 6087 HAS SOUS 22481 HAS SOUPS 5477 WITH SCORE 5504.793
AT ITER 499 NEW BEST:: SOT 52195 SOS 27650 HAS SOPS 6087 HAS SOUS 22338 HAS SOUPS 5477 WITH SCORE 5504.65
AT ITER 504 NEW BEST:: SOT 52177 SOS 27571 HAS SOPS 6069 HAS SOUS 22142 HAS SOUPS 5477 WITH SCORE 5504.571
AT ITER 522 NEW BEST:: SOT 52173 SOS 27555 HAS SOPS 6057 HAS SOUS 22134 HAS SOUPS 5465 WITH SCORE 5492.555
AT ITER 523 NEW BEST:: SOT 52173 SOS 27520 HAS SOPS 6011 HAS SOUS 22133 HAS SOUPS 5451 WITH SCORE 5478.52
AT ITER 525 NEW BEST:: SOT 52142 SOS 27489 HAS SOPS 5980 HAS SOUS 22097 HAS SOUPS 5420 WITH SCORE 5447.489
AT ITER 550 NEW BEST:: SOT 52130 SOS 27427 HAS SOPS 5880 HAS SOUS 22075 HAS SOUPS 5320 WITH SCORE 5347.427
AT ITER 578 NEW BEST:: SOT 52122 SOS 27533 HAS SOPS 5872 HAS SOUS 22136 HAS SOUPS 5312 WITH SCORE 5339.533
AT ITER 583 NEW BEST:: SOT 52122 SOS 27511 HAS SOPS 5850 HAS SOUS 22114 HAS SOUPS 5290 WITH SCORE 5317.511
AT ITER 590 NEW BEST:: SOT 52069 SOS 27458 HAS SOPS 5797 HAS SOUS 22089 HAS SOUPS 5265 WITH SCORE 5292.458
AT ITER 595 NEW BEST:: SOT 52049 SOS 27438 HAS SOPS 5777 HAS SOUS 22058 HAS SOUPS 5234 WITH SCORE 5261.438
AT ITER 603 NEW BEST:: SOT 52047 SOS 27435 HAS SOPS 5772 HAS SOUS 22055 HAS SOUPS 5229 WITH SCORE 5256.435
AT ITER 609 NEW BEST:: SOT 52065 SOS 27663 HAS SOPS 5766 HAS SOUS 22453 HAS SOUPS 5223 WITH SCORE 5250.663
AT ITER 616 NEW BEST:: SOT 52065 SOS 27667 HAS SOPS 5762 HAS SOUS 22451 HAS SOUPS 5219 WITH SCORE 5246.667
AT ITER 650 NEW BEST:: SOT 52065 SOS 27562 HAS SOPS 5762 HAS SOUS 22463 HAS SOUPS 5219 WITH SCORE 5246.562
AT ITER 653 NEW BEST:: SOT 52047 SOS 27544 HAS SOPS 5744 HAS SOUS 22436 HAS SOUPS 5192 WITH SCORE 5219.544
AT ITER 701 NEW BEST:: SOT 52025 SOS 27511 HAS SOPS 5722 HAS SOUS 22414 HAS SOUPS 5170 WITH SCORE 5197.511
AT ITER 716 NEW BEST:: SOT 52023 SOS 27511 HAS SOPS 5720 HAS SOUS 22412 HAS SOUPS 5168 WITH SCORE 5195.511
AT ITER 720 NEW BEST:: SOT 52023 SOS 27493 HAS SOPS 5720 HAS SOUS 22290 HAS SOUPS 5168 WITH SCORE 5195.493
AT ITER 741 NEW BEST:: SOT 52016 SOS 27437 HAS SOPS 5692 HAS SOUS 22262 HAS SOUPS 5147 WITH SCORE 5174.437
AT ITER 751 NEW BEST:: SOT 52016 SOS 27428 HAS SOPS 5692 HAS SOUS 22256 HAS SOUPS 5144 WITH SCORE 5171.428
AT ITER 757 NEW BEST:: SOT 52016 SOS 27636 HAS SOPS 5578 HAS SOUS 22449 HAS SOUPS 5068 WITH SCORE 5095.636
AT ITER 764 NEW BEST:: SOT 52033 SOS 27698 HAS SOPS 5571 HAS SOUS 22512 HAS SOUPS 5061 WITH SCORE 5088.698
AT ITER 782 NEW BEST:: SOT 52013 SOS 27793 HAS SOPS 5551 HAS SOUS 22542 HAS SOUPS 5041 WITH SCORE 5068.793
AT ITER 804 NEW BEST:: SOT 52013 SOS 27742 HAS SOPS 5500 HAS SOUS 22531 HAS SOUPS 5007 WITH SCORE 5034.742
AT ITER 809 NEW BEST:: SOT 52016 SOS 27748 HAS SOPS 5503 HAS SOUS 22526 HAS SOUPS 4999 WITH SCORE 5026.748
AT ITER 812 NEW BEST:: SOT 51985 SOS 27841 HAS SOPS 5463 HAS SOUS 22559 HAS SOUPS 4899 WITH SCORE 4926.841
AT ITER 824 NEW BEST:: SOT 51972 SOS 27828 HAS SOPS 5450 HAS SOUS 22546 HAS SOUPS 4886 WITH SCORE 4913.828
AT ITER 836 NEW BEST:: SOT 51969 SOS 27824 HAS SOPS 5447 HAS SOUS 22543 HAS SOUPS 4883 WITH SCORE 4910.824
AT ITER 860 NEW BEST:: SOT 51970 SOS 28028 HAS SOPS 5376 HAS SOUS 22581 HAS SOUPS 4848 WITH SCORE 4876.028
AT ITER 866 NEW BEST:: SOT 51970 SOS 28027 HAS SOPS 5376 HAS SOUS 22581 HAS SOUPS 4848 WITH SCORE 4876.027
AT ITER 871 NEW BEST:: SOT 51970 SOS 28025 HAS SOPS 5376 HAS SOUS 22582 HAS SOUPS 4848 WITH SCORE 4876.025
AT ITER 878 NEW BEST:: SOT 51970 SOS 28027 HAS SOPS 5372 HAS SOUS 22584 HAS SOUPS 4844 WITH SCORE 4872.027
AT ITER 879 NEW BEST:: SOT 51970 SOS 27988 HAS SOPS 5372 HAS SOUS 22573 HAS SOUPS 4844 WITH SCORE 4871.988
AT ITER 919 NEW BEST:: SOT 51972 SOS 27984 HAS SOPS 5366 HAS SOUS 22573 HAS SOUPS 4842 WITH SCORE 4869.984
AT ITER 923 NEW BEST:: SOT 51989 SOS 27950 HAS SOPS 5332 HAS SOUS 22556 HAS SOUPS 4825 WITH SCORE 4852.95
AT ITER 938 NEW BEST:: SOT 51989 SOS 27928 HAS SOPS 5332 HAS SOUS 22545 HAS SOUPS 4825 WITH SCORE 4852.928
AT ITER 971 NEW BEST:: SOT 51994 SOS 27951 HAS SOPS 5325 HAS SOUS 22563 HAS SOUPS 4821 WITH SCORE 4848.951
AT ITER 982 NEW BEST:: SOT 51994 SOS 27810 HAS SOPS 5325 HAS SOUS 22520 HAS SOUPS 4821 WITH SCORE 4848.81
AT ITER 998 NEW BEST:: SOT 51982 SOS 27796 HAS SOPS 5307 HAS SOUS 22506 HAS SOUPS 4803 WITH SCORE 4830.796
AT ITER 1002 NEW BEST:: SOT 51984 SOS 27806 HAS SOPS 5291 HAS SOUS 22510 HAS SOUPS 4787 WITH SCORE 4814.806
AT ITER 1016 NEW BEST:: SOT 51978 SOS 27800 HAS SOPS 5257 HAS SOUS 22494 HAS SOUPS 4753 WITH SCORE 4780.8
AT ITER 1020 NEW BEST:: SOT 51939 SOS 27534 HAS SOPS 5218 HAS SOUS 22334 HAS SOUPS 4714 WITH SCORE 4741.534
AT ITER 1043 NEW BEST:: SOT 51936 SOS 27531 HAS SOPS 5215 HAS SOUS 22331 HAS SOUPS 4711 WITH SCORE 4738.531
AT ITER 1061 NEW BEST:: SOT 51936 SOS 27450 HAS SOPS 5215 HAS SOUS 22314 HAS SOUPS 4711 WITH SCORE 4738.45
AT ITER 1090 NEW BEST:: SOT 51936 SOS 27275 HAS SOPS 5215 HAS SOUS 22278 HAS SOUPS 4711 WITH SCORE 4738.275
AT ITER 1093 NEW BEST:: SOT 51939 SOS 27268 HAS SOPS 5210 HAS SOUS 22267 HAS SOUPS 4702 WITH SCORE 4729.268
AT ITER 1108 NEW BEST:: SOT 51957 SOS 27308 HAS SOPS 5180 HAS SOUS 22346 HAS SOUPS 4688 WITH SCORE 4715.308
AT ITER 1143 NEW BEST:: SOT 51957 SOS 27851 HAS SOPS 5172 HAS SOUS 22513 HAS SOUPS 4680 WITH SCORE 4707.851
AT ITER 1154 NEW BEST:: SOT 51957 SOS 27853 HAS SOPS 5170 HAS SOUS 22512 HAS SOUPS 4678 WITH SCORE 4705.853
AT ITER 1156 NEW BEST:: SOT 51939 SOS 27826 HAS SOPS 5152 HAS SOUS 22485 HAS SOUPS 4660 WITH SCORE 4687.826
AT ITER 1163 NEW BEST:: SOT 51911 SOS 27803 HAS SOPS 5117 HAS SOUS 22462 HAS SOUPS 4625 WITH SCORE 4652.803
AT ITER 1217 NEW BEST:: SOT 51905 SOS 27792 HAS SOPS 5105 HAS SOUS 22451 HAS SOUPS 4613 WITH SCORE 4640.792
AT ITER 1234 NEW BEST:: SOT 51905 SOS 27791 HAS SOPS 5105 HAS SOUS 22451 HAS SOUPS 4613 WITH SCORE 4640.791
AT ITER 1257 NEW BEST:: SOT 51905 SOS 27777 HAS SOPS 5105 HAS SOUS 22437 HAS SOUPS 4613 WITH SCORE 4640.777
AT ITER 1271 NEW BEST:: SOT 51926 SOS 27784 HAS SOPS 5084 HAS SOUS 22530 HAS SOUPS 4571 WITH SCORE 4598.784
AT ITER 1272 NEW BEST:: SOT 51952 SOS 28010 HAS SOPS 5046 HAS SOUS 22650 HAS SOUPS 4565 WITH SCORE 4593.01
AT ITER 1299 NEW BEST:: SOT 51952 SOS 27947 HAS SOPS 5046 HAS SOUS 22526 HAS SOUPS 4565 WITH SCORE 4592.947
AT ITER 1305 NEW BEST:: SOT 51946 SOS 27933 HAS SOPS 5034 HAS SOUS 22514 HAS SOUPS 4549 WITH SCORE 4576.933
AT ITER 1324 NEW BEST:: SOT 51946 SOS 27923 HAS SOPS 5034 HAS SOUS 22628 HAS SOUPS 4549 WITH SCORE 4576.923
AT ITER 1329 NEW BEST:: SOT 51926 SOS 27905 HAS SOPS 5008 HAS SOUS 22610 HAS SOUPS 4523 WITH SCORE 4550.905
AT ITER 1339 NEW BEST:: SOT 51904 SOS 27930 HAS SOPS 4967 HAS SOUS 22635 HAS SOUPS 4482 WITH SCORE 4509.93
AT ITER 1375 NEW BEST:: SOT 51904 SOS 27864 HAS SOPS 4967 HAS SOUS 22614 HAS SOUPS 4482 WITH SCORE 4509.864
AT ITER 1425 NEW BEST:: SOT 51904 SOS 27842 HAS SOPS 4967 HAS SOUS 22607 HAS SOUPS 4482 WITH SCORE 4509.842
AT ITER 1456 NEW BEST:: SOT 51918 SOS 27858 HAS SOPS 4941 HAS SOUS 22729 HAS SOUPS 4476 WITH SCORE 4503.858
AT ITER 1479 NEW BEST:: SOT 51918 SOS 27844 HAS SOPS 4941 HAS SOUS 22758 HAS SOUPS 4476 WITH SCORE 4503.844
AT ITER 1501 NEW BEST:: SOT 51918 SOS 27782 HAS SOPS 4879 HAS SOUS 22696 HAS SOUPS 4414 WITH SCORE 4441.782
AT ITER 1509 NEW BEST:: SOT 51918 SOS 27708 HAS SOPS 4879 HAS SOUS 22688 HAS SOUPS 4414 WITH SCORE 4441.708
AT ITER 1518 NEW BEST:: SOT 51916 SOS 27706 HAS SOPS 4877 HAS SOUS 22686 HAS SOUPS 4412 WITH SCORE 4439.706
AT ITER 1570 NEW BEST:: SOT 51908 SOS 27667 HAS SOPS 4869 HAS SOUS 22659 HAS SOUPS 4404 WITH SCORE 4431.667
AT ITER 1648 NEW BEST:: SOT 51908 SOS 27630 HAS SOPS 4841 HAS SOUS 22688 HAS SOUPS 4376 WITH SCORE 4403.63
AT ITER 1650 NEW BEST:: SOT 51908 SOS 27620 HAS SOPS 4841 HAS SOUS 22684 HAS SOUPS 4376 WITH SCORE 4403.62
AT ITER 1689 NEW BEST:: SOT 51906 SOS 27614 HAS SOPS 4839 HAS SOUS 22682 HAS SOUPS 4376 WITH SCORE 4403.614
AT ITER 1732 NEW BEST:: SOT 51900 SOS 27602 HAS SOPS 4825 HAS SOUS 22670 HAS SOUPS 4362 WITH SCORE 4389.602
AT ITER 1753 NEW BEST:: SOT 51907 SOS 27723 HAS SOPS 4802 HAS SOUS 22729 HAS SOUPS 4339 WITH SCORE 4366.723
AT ITER 1756 NEW BEST:: SOT 51919 SOS 27730 HAS SOPS 4796 HAS SOUS 22753 HAS SOUPS 4333 WITH SCORE 4360.73
AT ITER 1781 NEW BEST:: SOT 51919 SOS 27706 HAS SOPS 4796 HAS SOUS 22710 HAS SOUPS 4333 WITH SCORE 4360.706
AT ITER 1795 NEW BEST:: SOT 51919 SOS 27637 HAS SOPS 4797 HAS SOUS 22698 HAS SOUPS 4321 WITH SCORE 4348.637
AT ITER 1838 NEW BEST:: SOT 51902 SOS 27593 HAS SOPS 4749 HAS SOUS 22669 HAS SOUPS 4288 WITH SCORE 4315.593
AT ITER 1968 NEW BEST:: SOT 51902 SOS 27585 HAS SOPS 4725 HAS SOUS 22661 HAS SOUPS 4264 WITH SCORE 4291.585
AT ITER 1969 NEW BEST:: SOT 51925 SOS 27636 HAS SOPS 4692 HAS SOUS 22730 HAS SOUPS 4231 WITH SCORE 4258.636
AT ITER 2002 NEW BEST:: SOT 51913 SOS 27643 HAS SOPS 4680 HAS SOUS 22732 HAS SOUPS 4219 WITH SCORE 4246.643
AT ITER 2025 NEW BEST:: SOT 51913 SOS 27785 HAS SOPS 4670 HAS SOUS 22812 HAS SOUPS 4209 WITH SCORE 4236.785
AT ITER 2063 NEW BEST:: SOT 51913 SOS 27737 HAS SOPS 4622 HAS SOUS 22812 HAS SOUPS 4209 WITH SCORE 4236.737
AT ITER 2091 NEW BEST:: SOT 51913 SOS 27733 HAS SOPS 4622 HAS SOUS 22804 HAS SOUPS 4209 WITH SCORE 4236.733
AT ITER 2109 NEW BEST:: SOT 51929 SOS 27884 HAS SOPS 4612 HAS SOUS 22958 HAS SOUPS 4199 WITH SCORE 4226.884
AT ITER 2113 NEW BEST:: SOT 51929 SOS 27867 HAS SOPS 4612 HAS SOUS 22974 HAS SOUPS 4199 WITH SCORE 4226.867
AT ITER 2155 NEW BEST:: SOT 51922 SOS 27878 HAS SOPS 4605 HAS SOUS 22985 HAS SOUPS 4192 WITH SCORE 4219.878
AT ITER 2215 NEW BEST:: SOT 51922 SOS 28076 HAS SOPS 4596 HAS SOUS 23192 HAS SOUPS 4186 WITH SCORE 4214.076
AT ITER 2228 NEW BEST:: SOT 51932 SOS 28086 HAS SOPS 4606 HAS SOUS 23182 HAS SOUPS 4176 WITH SCORE 4204.086
AT ITER 2257 NEW BEST:: SOT 52014 SOS 28341 HAS SOPS 4547 HAS SOUS 23282 HAS SOUPS 4164 WITH SCORE 4192.341
AT ITER 2273 NEW BEST:: SOT 52014 SOS 28101 HAS SOPS 4547 HAS SOUS 23200 HAS SOUPS 4164 WITH SCORE 4192.101
AT ITER 2284 NEW BEST:: SOT 52014 SOS 28062 HAS SOPS 4539 HAS SOUS 23192 HAS SOUPS 4164 WITH SCORE 4192.062
AT ITER 2285 NEW BEST:: SOT 52014 SOS 28052 HAS SOPS 4529 HAS SOUS 23190 HAS SOUPS 4162 WITH SCORE 4190.052
AT ITER 2321 NEW BEST:: SOT 52007 SOS 28038 HAS SOPS 4522 HAS SOUS 23166 HAS SOUPS 4162 WITH SCORE 4190.038
AT ITER 2333 NEW BEST:: SOT 52020 SOS 28018 HAS SOPS 4481 HAS SOUS 23164 HAS SOUPS 4139 WITH SCORE 4167.018
AT ITER 2336 NEW BEST:: SOT 52029 SOS 28005 HAS SOPS 4466 HAS SOUS 23151 HAS SOUPS 4135 WITH SCORE 4163.005
AT ITER 2394 NEW BEST:: SOT 52021 SOS 27997 HAS SOPS 4458 HAS SOUS 23143 HAS SOUPS 4127 WITH SCORE 4154.997
AT ITER 2457 NEW BEST:: SOT 52025 SOS 28001 HAS SOPS 4450 HAS SOUS 23141 HAS SOUPS 4119 WITH SCORE 4147.001
AT ITER 2478 NEW BEST:: SOT 52016 SOS 27957 HAS SOPS 4402 HAS SOUS 23107 HAS SOUPS 4081 WITH SCORE 4108.957
AT ITER 2487 NEW BEST:: SOT 52016 SOS 27894 HAS SOPS 4402 HAS SOUS 23168 HAS SOUPS 4081 WITH SCORE 4108.894
AT ITER 2492 NEW BEST:: SOT 52016 SOS 27884 HAS SOPS 4402 HAS SOUS 23137 HAS SOUPS 4081 WITH SCORE 4108.884
AT ITER 2512 NEW BEST:: SOT 52016 SOS 27801 HAS SOPS 4402 HAS SOUS 23057 HAS SOUPS 4081 WITH SCORE 4108.801
AT ITER 2514 NEW BEST:: SOT 52016 SOS 27771 HAS SOPS 4402 HAS SOUS 23042 HAS SOUPS 4081 WITH SCORE 4108.771
AT ITER 2516 NEW BEST:: SOT 51995 SOS 27751 HAS SOPS 4396 HAS SOUS 23004 HAS SOUPS 4075 WITH SCORE 4102.751
AT ITER 2520 NEW BEST:: SOT 51995 SOS 27755 HAS SOPS 4378 HAS SOUS 23010 HAS SOUPS 4063 WITH SCORE 4090.755
AT ITER 2573 NEW BEST:: SOT 51995 SOS 27715 HAS SOPS 4378 HAS SOUS 23008 HAS SOUPS 4063 WITH SCORE 4090.715
AT ITER 2579 NEW BEST:: SOT 51977 SOS 27671 HAS SOPS 4378 HAS SOUS 22970 HAS SOUPS 4063 WITH SCORE 4090.671
AT ITER 2598 NEW BEST:: SOT 51971 SOS 27659 HAS SOPS 4372 HAS SOUS 22964 HAS SOUPS 4057 WITH SCORE 4084.659
AT ITER 2631 NEW BEST:: SOT 51971 SOS 27651 HAS SOPS 4372 HAS SOUS 22764 HAS SOUPS 4057 WITH SCORE 4084.651
AT ITER 2661 NEW BEST:: SOT 51966 SOS 27638 HAS SOPS 4367 HAS SOUS 22671 HAS SOUPS 4052 WITH SCORE 4079.638
AT ITER 2673 NEW BEST:: SOT 51972 SOS 27624 HAS SOPS 4353 HAS SOUS 22657 HAS SOUPS 4038 WITH SCORE 4065.624
AT ITER 2674 NEW BEST:: SOT 51969 SOS 27627 HAS SOPS 4353 HAS SOUS 22641 HAS SOUPS 4037 WITH SCORE 4064.627
AT ITER 2678 NEW BEST:: SOT 51968 SOS 27626 HAS SOPS 4352 HAS SOUS 22640 HAS SOUPS 4036 WITH SCORE 4063.626
AT ITER 2684 NEW BEST:: SOT 51977 SOS 27671 HAS SOPS 4352 HAS SOUS 22647 HAS SOUPS 4034 WITH SCORE 4061.671
AT ITER 2689 NEW BEST:: SOT 51977 SOS 27671 HAS SOPS 4344 HAS SOUS 22663 HAS SOUPS 4026 WITH SCORE 4053.671
AT ITER 2719 NEW BEST:: SOT 51970 SOS 27689 HAS SOPS 4341 HAS SOUS 22699 HAS SOUPS 4023 WITH SCORE 4050.689
AT ITER 2744 NEW BEST:: SOT 51966 SOS 27690 HAS SOPS 4338 HAS SOUS 22697 HAS SOUPS 4017 WITH SCORE 4044.69
AT ITER 2745 NEW BEST:: SOT 51966 SOS 27644 HAS SOPS 4338 HAS SOUS 22557 HAS SOUPS 4017 WITH SCORE 4044.644
AT ITER 2765 NEW BEST:: SOT 51961 SOS 27638 HAS SOPS 4337 HAS SOUS 22519 HAS SOUPS 4014 WITH SCORE 4041.638
AT ITER 2813 NEW BEST:: SOT 51961 SOS 27616 HAS SOPS 4337 HAS SOUS 22497 HAS SOUPS 4014 WITH SCORE 4041.616
AT ITER 2917 NEW BEST:: SOT 51961 SOS 27615 HAS SOPS 4337 HAS SOUS 22497 HAS SOUPS 4014 WITH SCORE 4041.615
AT ITER 2936 NEW BEST:: SOT 51960 SOS 27613 HAS SOPS 4336 HAS SOUS 22495 HAS SOUPS 4013 WITH SCORE 4040.613
AT ITER 2988 NEW BEST:: SOT 51960 SOS 27602 HAS SOPS 4336 HAS SOUS 22495 HAS SOUPS 4013 WITH SCORE 4040.602
AT ITER 3049 NEW BEST:: SOT 51960 SOS 27572 HAS SOPS 4336 HAS SOUS 22499 HAS SOUPS 4013 WITH SCORE 4040.572
AT ITER 3098 NEW BEST:: SOT 51967 SOS 27566 HAS SOPS 4329 HAS SOUS 22492 HAS SOUPS 4006 WITH SCORE 4033.566
AT ITER 3115 NEW BEST:: SOT 51967 SOS 27546 HAS SOPS 4329 HAS SOUS 22492 HAS SOUPS 4006 WITH SCORE 4033.546
AT ITER 3119 NEW BEST:: SOT 51949 SOS 27534 HAS SOPS 4311 HAS SOUS 22480 HAS SOUPS 3988 WITH SCORE 4015.534
AT ITER 3184 NEW BEST:: SOT 51949 SOS 27527 HAS SOPS 4299 HAS SOUS 22479 HAS SOUPS 3982 WITH SCORE 4009.527
AT ITER 3197 NEW BEST:: SOT 51949 SOS 27525 HAS SOPS 4299 HAS SOUS 22488 HAS SOUPS 3982 WITH SCORE 4009.525
AT ITER 3210 NEW BEST:: SOT 51949 SOS 27327 HAS SOPS 4299 HAS SOUS 22331 HAS SOUPS 3982 WITH SCORE 4009.327
AT ITER 3230 NEW BEST:: SOT 51958 SOS 27365 HAS SOPS 4294 HAS SOUS 22345 HAS SOUPS 3977 WITH SCORE 4004.365
AT ITER 3251 NEW BEST:: SOT 51954 SOS 27357 HAS SOPS 4286 HAS SOUS 22345 HAS SOUPS 3969 WITH SCORE 3996.357
AT ITER 3267 NEW BEST:: SOT 51956 SOS 27305 HAS SOPS 4260 HAS SOUS 22293 HAS SOUPS 3943 WITH SCORE 3970.305
AT ITER 3291 NEW BEST:: SOT 51956 SOS 27218 HAS SOPS 4253 HAS SOUS 22275 HAS SOUPS 3941 WITH SCORE 3968.218
AT ITER 3306 NEW BEST:: SOT 51966 SOS 27224 HAS SOPS 4249 HAS SOUS 22275 HAS SOUPS 3937 WITH SCORE 3964.224
AT ITER 3326 NEW BEST:: SOT 52008 SOS 27374 HAS SOPS 4233 HAS SOUS 22299 HAS SOUPS 3927 WITH SCORE 3954.374
AT ITER 3327 NEW BEST:: SOT 52008 SOS 27368 HAS SOPS 4227 HAS SOUS 22296 HAS SOUPS 3921 WITH SCORE 3948.368
AT ITER 3336 NEW BEST:: SOT 52008 SOS 27354 HAS SOPS 4227 HAS SOUS 22383 HAS SOUPS 3921 WITH SCORE 3948.354
AT ITER 3363 NEW BEST:: SOT 52008 SOS 27339 HAS SOPS 4227 HAS SOUS 22383 HAS SOUPS 3921 WITH SCORE 3948.339
AT ITER 3425 NEW BEST:: SOT 52008 SOS 27321 HAS SOPS 4218 HAS SOUS 22374 HAS SOUPS 3915 WITH SCORE 3942.321
AT ITER 3468 NEW BEST:: SOT 52008 SOS 27307 HAS SOPS 4218 HAS SOUS 22364 HAS SOUPS 3915 WITH SCORE 3942.307
AT ITER 3548 NEW BEST:: SOT 51998 SOS 27250 HAS SOPS 4196 HAS SOUS 22337 HAS SOUPS 3901 WITH SCORE 3928.25
AT ITER 3610 NEW BEST:: SOT 51998 SOS 27244 HAS SOPS 4196 HAS SOUS 22337 HAS SOUPS 3901 WITH SCORE 3928.244
AT ITER 3634 NEW BEST:: SOT 51998 SOS 27230 HAS SOPS 4196 HAS SOUS 22334 HAS SOUPS 3901 WITH SCORE 3928.23
AT ITER 3637 NEW BEST:: SOT 51998 SOS 27226 HAS SOPS 4196 HAS SOUS 22334 HAS SOUPS 3901 WITH SCORE 3928.226
AT ITER 3697 NEW BEST:: SOT 51987 SOS 27215 HAS SOPS 4194 HAS SOUS 22332 HAS SOUPS 3899 WITH SCORE 3926.215
AT ITER 3712 NEW BEST:: SOT 51951 SOS 27171 HAS SOPS 4150 HAS SOUS 22288 HAS SOUPS 3855 WITH SCORE 3882.171
AT ITER 3739 NEW BEST:: SOT 51909 SOS 27156 HAS SOPS 4093 HAS SOUS 22290 HAS SOUPS 3798 WITH SCORE 3825.156
AT ITER 3896 NEW BEST:: SOT 51909 SOS 27279 HAS SOPS 4091 HAS SOUS 22313 HAS SOUPS 3796 WITH SCORE 3823.279
AT ITER 3941 NEW BEST:: SOT 51892 SOS 27192 HAS SOPS 4071 HAS SOUS 22273 HAS SOUPS 3781 WITH SCORE 3808.192
AT ITER 3943 NEW BEST:: SOT 51862 SOS 27162 HAS SOPS 4011 HAS SOUS 22243 HAS SOUPS 3721 WITH SCORE 3748.162
AT ITER 3979 NEW BEST:: SOT 51862 SOS 27220 HAS SOPS 4005 HAS SOUS 22298 HAS SOUPS 3715 WITH SCORE 3742.22
AT ITER 4001 NEW BEST:: SOT 51858 SOS 27216 HAS SOPS 4001 HAS SOUS 22294 HAS SOUPS 3711 WITH SCORE 3738.216
AT ITER 4016 NEW BEST:: SOT 51858 SOS 27212 HAS SOPS 4001 HAS SOUS 22294 HAS SOUPS 3711 WITH SCORE 3738.212
AT ITER 4033 NEW BEST:: SOT 51858 SOS 27097 HAS SOPS 4001 HAS SOUS 22271 HAS SOUPS 3711 WITH SCORE 3738.097
AT ITER 4052 NEW BEST:: SOT 51878 SOS 27243 HAS SOPS 3982 HAS SOUS 22265 HAS SOUPS 3705 WITH SCORE 3732.243
AT ITER 4059 NEW BEST:: SOT 51875 SOS 27235 HAS SOPS 3983 HAS SOUS 22256 HAS SOUPS 3702 WITH SCORE 3729.235
AT ITER 4063 NEW BEST:: SOT 51875 SOS 27235 HAS SOPS 3980 HAS SOUS 22272 HAS SOUPS 3700 WITH SCORE 3727.235
AT ITER 4131 NEW BEST:: SOT 51827 SOS 27233 HAS SOPS 3957 HAS SOUS 22238 HAS SOUPS 3656 WITH SCORE 3683.233
AT ITER 4189 NEW BEST:: SOT 51827 SOS 27212 HAS SOPS 3957 HAS SOUS 22238 HAS SOUPS 3656 WITH SCORE 3683.212
AT ITER 4281 NEW BEST:: SOT 51826 SOS 27210 HAS SOPS 3956 HAS SOUS 22236 HAS SOUPS 3655 WITH SCORE 3682.21
AT ITER 4324 NEW BEST:: SOT 51829 SOS 27233 HAS SOPS 3935 HAS SOUS 22246 HAS SOUPS 3629 WITH SCORE 3656.233
AT ITER 4336 NEW BEST:: SOT 51828 SOS 27227 HAS SOPS 3928 HAS SOUS 22238 HAS SOUPS 3622 WITH SCORE 3649.227
AT ITER 4346 NEW BEST:: SOT 51827 SOS 27297 HAS SOPS 3927 HAS SOUS 22222 HAS SOUPS 3606 WITH SCORE 3633.297
AT ITER 4400 NEW BEST:: SOT 51828 SOS 27304 HAS SOPS 3916 HAS SOUS 22222 HAS SOUPS 3595 WITH SCORE 3622.304
AT ITER 4468 NEW BEST:: SOT 51828 SOS 27304 HAS SOPS 3914 HAS SOUS 22220 HAS SOUPS 3593 WITH SCORE 3620.304
AT ITER 4480 NEW BEST:: SOT 51828 SOS 27303 HAS SOPS 3914 HAS SOUS 22219 HAS SOUPS 3593 WITH SCORE 3620.303
AT ITER 4491 NEW BEST:: SOT 51824 SOS 27303 HAS SOPS 3910 HAS SOUS 22215 HAS SOUPS 3589 WITH SCORE 3616.303
AT ITER 4520 NEW BEST:: SOT 51819 SOS 27299 HAS SOPS 3897 HAS SOUS 22212 HAS SOUPS 3581 WITH SCORE 3608.299
AT ITER 4554 NEW BEST:: SOT 51813 SOS 27296 HAS SOPS 3888 HAS SOUS 22212 HAS SOUPS 3575 WITH SCORE 3602.296
AT ITER 4574 NEW BEST:: SOT 51813 SOS 27291 HAS SOPS 3888 HAS SOUS 22212 HAS SOUPS 3575 WITH SCORE 3602.291
AT ITER 4598 NEW BEST:: SOT 51794 SOS 27192 HAS SOPS 3857 HAS SOUS 22173 HAS SOUPS 3572 WITH SCORE 3599.192
AT ITER 4632 NEW BEST:: SOT 51794 SOS 27190 HAS SOPS 3857 HAS SOUS 22171 HAS SOUPS 3572 WITH SCORE 3599.19
AT ITER 4644 NEW BEST:: SOT 51795 SOS 27191 HAS SOPS 3849 HAS SOUS 22169 HAS SOUPS 3564 WITH SCORE 3591.191
AT ITER 4668 NEW BEST:: SOT 51792 SOS 27186 HAS SOPS 3831 HAS SOUS 22176 HAS SOUPS 3546 WITH SCORE 3573.186
AT ITER 4719 NEW BEST:: SOT 51792 SOS 27138 HAS SOPS 3831 HAS SOUS 22048 HAS SOUPS 3546 WITH SCORE 3573.138
AT ITER 4725 NEW BEST:: SOT 51783 SOS 27090 HAS SOPS 3809 HAS SOUS 22026 HAS SOUPS 3537 WITH SCORE 3564.09
AT ITER 4739 NEW BEST:: SOT 51769 SOS 27071 HAS SOPS 3809 HAS SOUS 22007 HAS SOUPS 3537 WITH SCORE 3564.071
AT ITER 4809 NEW BEST:: SOT 51769 SOS 27070 HAS SOPS 3809 HAS SOUS 22007 HAS SOUPS 3537 WITH SCORE 3564.07
AT ITER 4813 NEW BEST:: SOT 51762 SOS 27066 HAS SOPS 3802 HAS SOUS 22007 HAS SOUPS 3530 WITH SCORE 3557.066
AT ITER 4881 NEW BEST:: SOT 51762 SOS 27039 HAS SOPS 3802 HAS SOUS 22061 HAS SOUPS 3530 WITH SCORE 3557.039
AT ITER 4948 NEW BEST:: SOT 51742 SOS 27030 HAS SOPS 3770 HAS SOUS 22021 HAS SOUPS 3498 WITH SCORE 3525.03
AT ITER 4964 NEW BEST:: SOT 51742 SOS 27024 HAS SOPS 3770 HAS SOUS 22005 HAS SOUPS 3498 WITH SCORE 3525.024
AT ITER 4983 NEW BEST:: SOT 51742 SOS 27019 HAS SOPS 3770 HAS SOUS 22000 HAS SOUPS 3498 WITH SCORE 3525.019
AT ITER 4991 NEW BEST:: SOT 51744 SOS 27031 HAS SOPS 3771 HAS SOUS 22000 HAS SOUPS 3496 WITH SCORE 3523.031
AT ITER 5014 NEW BEST:: SOT 51749 SOS 27378 HAS SOPS 3776 HAS SOUS 22023 HAS SOUPS 3495 WITH SCORE 3522.378
AT ITER 5022 NEW BEST:: SOT 51749 SOS 27361 HAS SOPS 3776 HAS SOUS 21996 HAS SOUPS 3495 WITH SCORE 3522.361
AT ITER 5055 NEW BEST:: SOT 51749 SOS 27358 HAS SOPS 3773 HAS SOUS 21995 HAS SOUPS 3494 WITH SCORE 3521.358
AT ITER 5107 NEW BEST:: SOT 51751 SOS 27356 HAS SOPS 3771 HAS SOUS 22003 HAS SOUPS 3494 WITH SCORE 3521.356
AT ITER 5139 NEW BEST:: SOT 51751 SOS 27350 HAS SOPS 3771 HAS SOUS 21963 HAS SOUPS 3494 WITH SCORE 3521.35
AT ITER 5147 NEW BEST:: SOT 51750 SOS 27349 HAS SOPS 3769 HAS SOUS 21943 HAS SOUPS 3484 WITH SCORE 3511.349
AT ITER 5223 NEW BEST:: SOT 51745 SOS 27334 HAS SOPS 3764 HAS SOUS 21938 HAS SOUPS 3484 WITH SCORE 3511.334
AT ITER 5229 NEW BEST:: SOT 51723 SOS 27285 HAS SOPS 3742 HAS SOUS 21875 HAS SOUPS 3462 WITH SCORE 3489.285
AT ITER 5232 NEW BEST:: SOT 51723 SOS 27277 HAS SOPS 3742 HAS SOUS 21837 HAS SOUPS 3462 WITH SCORE 3489.277
AT ITER 5300 NEW BEST:: SOT 51723 SOS 27183 HAS SOPS 3742 HAS SOUS 21893 HAS SOUPS 3462 WITH SCORE 3489.183
AT ITER 5331 NEW BEST:: SOT 51723 SOS 27119 HAS SOPS 3742 HAS SOUS 21877 HAS SOUPS 3462 WITH SCORE 3489.119
AT ITER 5422 NEW BEST:: SOT 51723 SOS 27080 HAS SOPS 3742 HAS SOUS 21877 HAS SOUPS 3462 WITH SCORE 3489.08
AT ITER 5433 NEW BEST:: SOT 51728 SOS 27088 HAS SOPS 3733 HAS SOUS 21873 HAS SOUPS 3453 WITH SCORE 3480.088
AT ITER 5443 NEW BEST:: SOT 51666 SOS 27084 HAS SOPS 3725 HAS SOUS 21876 HAS SOUPS 3445 WITH SCORE 3472.084
AT ITER 5484 NEW BEST:: SOT 51662 SOS 27080 HAS SOPS 3711 HAS SOUS 21883 HAS SOUPS 3431 WITH SCORE 3458.08
AT ITER 5573 NEW BEST:: SOT 51662 SOS 27067 HAS SOPS 3711 HAS SOUS 21886 HAS SOUPS 3431 WITH SCORE 3458.067
AT ITER 5609 NEW BEST:: SOT 51662 SOS 27049 HAS SOPS 3711 HAS SOUS 21681 HAS SOUPS 3431 WITH SCORE 3458.049
AT ITER 5672 NEW BEST:: SOT 51662 SOS 27046 HAS SOPS 3711 HAS SOUS 21682 HAS SOUPS 3431 WITH SCORE 3458.046
AT ITER 5681 NEW BEST:: SOT 51662 SOS 27041 HAS SOPS 3711 HAS SOUS 21825 HAS SOUPS 3431 WITH SCORE 3458.041
AT ITER 5696 NEW BEST:: SOT 51662 SOS 27006 HAS SOPS 3711 HAS SOUS 21825 HAS SOUPS 3431 WITH SCORE 3458.006
AT ITER 5699 NEW BEST:: SOT 51664 SOS 27013 HAS SOPS 3705 HAS SOUS 21833 HAS SOUPS 3425 WITH SCORE 3452.013
AT ITER 5747 NEW BEST:: SOT 51660 SOS 27011 HAS SOPS 3705 HAS SOUS 21833 HAS SOUPS 3425 WITH SCORE 3452.011
AT ITER 5756 NEW BEST:: SOT 51660 SOS 26946 HAS SOPS 3705 HAS SOUS 21791 HAS SOUPS 3425 WITH SCORE 3451.946
AT ITER 5757 NEW BEST:: SOT 51650 SOS 26936 HAS SOPS 3695 HAS SOUS 21776 HAS SOUPS 3410 WITH SCORE 3436.936
AT ITER 5811 NEW BEST:: SOT 51608 SOS 26919 HAS SOPS 3647 HAS SOUS 21743 HAS SOUPS 3362 WITH SCORE 3388.919
AT ITER 5821 NEW BEST:: SOT 51609 SOS 26918 HAS SOPS 3646 HAS SOUS 21742 HAS SOUPS 3361 WITH SCORE 3387.918
AT ITER 5826 NEW BEST:: SOT 51609 SOS 26900 HAS SOPS 3646 HAS SOUS 21724 HAS SOUPS 3361 WITH SCORE 3387.9
AT ITER 5840 NEW BEST:: SOT 51603 SOS 26892 HAS SOPS 3646 HAS SOUS 21718 HAS SOUPS 3361 WITH SCORE 3387.892
AT ITER 5875 NEW BEST:: SOT 51589 SOS 26906 HAS SOPS 3641 HAS SOUS 21710 HAS SOUPS 3356 WITH SCORE 3382.906
AT ITER 5894 NEW BEST:: SOT 51582 SOS 26910 HAS SOPS 3622 HAS SOUS 21711 HAS SOUPS 3337 WITH SCORE 3363.91
AT ITER 5900 NEW BEST:: SOT 51582 SOS 26910 HAS SOPS 3619 HAS SOUS 21717 HAS SOUPS 3335 WITH SCORE 3361.91
AT ITER 5928 NEW BEST:: SOT 51577 SOS 26900 HAS SOPS 3614 HAS SOUS 21707 HAS SOUPS 3330 WITH SCORE 3356.9
AT ITER 5955 NEW BEST:: SOT 51575 SOS 26596 HAS SOPS 3612 HAS SOUS 21287 HAS SOUPS 3328 WITH SCORE 3354.596
AT ITER 5958 NEW BEST:: SOT 51558 SOS 26575 HAS SOPS 3589 HAS SOUS 21266 HAS SOUPS 3305 WITH SCORE 3331.575
AT ITER 5982 NEW BEST:: SOT 51490 SOS 26378 HAS SOPS 3577 HAS SOUS 20965 HAS SOUPS 3293 WITH SCORE 3319.378
AT ITER 6047 NEW BEST:: SOT 51486 SOS 26374 HAS SOPS 3577 HAS SOUS 20958 HAS SOUPS 3293 WITH SCORE 3319.374
AT ITER 6079 NEW BEST:: SOT 51515 SOS 26497 HAS SOPS 3550 HAS SOUS 20979 HAS SOUPS 3266 WITH SCORE 3292.497
AT ITER 6112 NEW BEST:: SOT 51515 SOS 26479 HAS SOPS 3550 HAS SOUS 20975 HAS SOUPS 3266 WITH SCORE 3292.479
AT ITER 6124 NEW BEST:: SOT 51515 SOS 26467 HAS SOPS 3550 HAS SOUS 20957 HAS SOUPS 3266 WITH SCORE 3292.467
AT ITER 6128 NEW BEST:: SOT 51515 SOS 26479 HAS SOPS 3532 HAS SOUS 20977 HAS SOUPS 3248 WITH SCORE 3274.479
AT ITER 6331 NEW BEST:: SOT 51512 SOS 26473 HAS SOPS 3532 HAS SOUS 20971 HAS SOUPS 3248 WITH SCORE 3274.473
AT ITER 6432 NEW BEST:: SOT 51512 SOS 26467 HAS SOPS 3532 HAS SOUS 20971 HAS SOUPS 3248 WITH SCORE 3274.467
AT ITER 6459 NEW BEST:: SOT 51512 SOS 26466 HAS SOPS 3532 HAS SOUS 20971 HAS SOUPS 3248 WITH SCORE 3274.466
AT ITER 6557 NEW BEST:: SOT 51512 SOS 26450 HAS SOPS 3532 HAS SOUS 20877 HAS SOUPS 3248 WITH SCORE 3274.45
AT ITER 6574 NEW BEST:: SOT 51519 SOS 26438 HAS SOPS 3539 HAS SOUS 20934 HAS SOUPS 3243 WITH SCORE 3269.438
AT ITER 6687 NEW BEST:: SOT 51518 SOS 26438 HAS SOPS 3538 HAS SOUS 20934 HAS SOUPS 3242 WITH SCORE 3268.438
AT ITER 6701 NEW BEST:: SOT 51535 SOS 26443 HAS SOPS 3511 HAS SOUS 20941 HAS SOUPS 3227 WITH SCORE 3253.443
AT ITER 6730 NEW BEST:: SOT 51535 SOS 26441 HAS SOPS 3511 HAS SOUS 20939 HAS SOUPS 3227 WITH SCORE 3253.441
AT ITER 6809 NEW BEST:: SOT 51535 SOS 26432 HAS SOPS 3511 HAS SOUS 21344 HAS SOUPS 3227 WITH SCORE 3253.432
AT ITER 6825 NEW BEST:: SOT 51535 SOS 26392 HAS SOPS 3511 HAS SOUS 21203 HAS SOUPS 3227 WITH SCORE 3253.392
AT ITER 6837 NEW BEST:: SOT 51554 SOS 26370 HAS SOPS 3486 HAS SOUS 21193 HAS SOUPS 3217 WITH SCORE 3243.37
AT ITER 6838 NEW BEST:: SOT 51549 SOS 26375 HAS SOPS 3490 HAS SOUS 21194 HAS SOUPS 3213 WITH SCORE 3239.375
AT ITER 6909 NEW BEST:: SOT 51563 SOS 26393 HAS SOPS 3482 HAS SOUS 21272 HAS SOUPS 3205 WITH SCORE 3231.393
AT ITER 7059 NEW BEST:: SOT 51563 SOS 26401 HAS SOPS 3476 HAS SOUS 21280 HAS SOUPS 3199 WITH SCORE 3225.401
AT ITER 7100 NEW BEST:: SOT 51565 SOS 26403 HAS SOPS 3474 HAS SOUS 21279 HAS SOUPS 3197 WITH SCORE 3223.403
AT ITER 7115 NEW BEST:: SOT 51565 SOS 26362 HAS SOPS 3474 HAS SOUS 21278 HAS SOUPS 3197 WITH SCORE 3223.362
AT ITER 7218 NEW BEST:: SOT 51577 SOS 26353 HAS SOPS 3486 HAS SOUS 21257 HAS SOUPS 3197 WITH SCORE 3223.353
AT ITER 7244 NEW BEST:: SOT 51565 SOS 26330 HAS SOPS 3474 HAS SOUS 21240 HAS SOUPS 3185 WITH SCORE 3211.33
AT ITER 7250 NEW BEST:: SOT 51571 SOS 26324 HAS SOPS 3468 HAS SOUS 21228 HAS SOUPS 3173 WITH SCORE 3199.324
AT ITER 7355 NEW BEST:: SOT 51571 SOS 26306 HAS SOPS 3468 HAS SOUS 21178 HAS SOUPS 3173 WITH SCORE 3199.306
AT ITER 7360 NEW BEST:: SOT 51571 SOS 26310 HAS SOPS 3462 HAS SOUS 21178 HAS SOUPS 3167 WITH SCORE 3193.31
AT ITER 7508 NEW BEST:: SOT 51571 SOS 26304 HAS SOPS 3462 HAS SOUS 21172 HAS SOUPS 3167 WITH SCORE 3193.304
AT ITER 7510 NEW BEST:: SOT 51544 SOS 26313 HAS SOPS 3453 HAS SOUS 21140 HAS SOUPS 3158 WITH SCORE 3184.313
AT ITER 7529 NEW BEST:: SOT 51544 SOS 26299 HAS SOPS 3453 HAS SOUS 20907 HAS SOUPS 3158 WITH SCORE 3184.299
AT ITER 7551 NEW BEST:: SOT 51538 SOS 26293 HAS SOPS 3447 HAS SOUS 20901 HAS SOUPS 3152 WITH SCORE 3178.293
AT ITER 7646 NEW BEST:: SOT 51538 SOS 26234 HAS SOPS 3447 HAS SOUS 20843 HAS SOUPS 3152 WITH SCORE 3178.234
AT ITER 7667 NEW BEST:: SOT 51537 SOS 26232 HAS SOPS 3443 HAS SOUS 20841 HAS SOUPS 3148 WITH SCORE 3174.232
AT ITER 7696 NEW BEST:: SOT 51537 SOS 26212 HAS SOPS 3443 HAS SOUS 20845 HAS SOUPS 3148 WITH SCORE 3174.212
AT ITER 7706 NEW BEST:: SOT 51537 SOS 26184 HAS SOPS 3443 HAS SOUS 20769 HAS SOUPS 3148 WITH SCORE 3174.184
AT ITER 7796 NEW BEST:: SOT 51537 SOS 26166 HAS SOPS 3443 HAS SOUS 20727 HAS SOUPS 3148 WITH SCORE 3174.166
AT ITER 7835 NEW BEST:: SOT 51538 SOS 26175 HAS SOPS 3442 HAS SOUS 20726 HAS SOUPS 3142 WITH SCORE 3168.175
AT ITER 7860 NEW BEST:: SOT 51538 SOS 26067 HAS SOPS 3442 HAS SOUS 20717 HAS SOUPS 3142 WITH SCORE 3168.067
AT ITER 7912 NEW BEST:: SOT 51534 SOS 26069 HAS SOPS 3440 HAS SOUS 20700 HAS SOUPS 3140 WITH SCORE 3166.069
AT ITER 7970 NEW BEST:: SOT 51534 SOS 26061 HAS SOPS 3440 HAS SOUS 20700 HAS SOUPS 3140 WITH SCORE 3166.061
AT ITER 7973 NEW BEST:: SOT 51534 SOS 26059 HAS SOPS 3438 HAS SOUS 20703 HAS SOUPS 3138 WITH SCORE 3164.059
AT ITER 7994 NEW BEST:: SOT 51528 SOS 26055 HAS SOPS 3430 HAS SOUS 20698 HAS SOUPS 3130 WITH SCORE 3156.055
AT ITER 8186 NEW BEST:: SOT 51524 SOS 26047 HAS SOPS 3420 HAS SOUS 20690 HAS SOUPS 3122 WITH SCORE 3148.047
AT ITER 8227 NEW BEST:: SOT 51518 SOS 26041 HAS SOPS 3408 HAS SOUS 20682 HAS SOUPS 3110 WITH SCORE 3136.041
AT ITER 8272 NEW BEST:: SOT 51518 SOS 26039 HAS SOPS 3408 HAS SOUS 20670 HAS SOUPS 3110 WITH SCORE 3136.039
AT ITER 8370 NEW BEST:: SOT 51518 SOS 25985 HAS SOPS 3408 HAS SOUS 20667 HAS SOUPS 3110 WITH SCORE 3135.985
AT ITER 8386 NEW BEST:: SOT 51518 SOS 25882 HAS SOPS 3408 HAS SOUS 20627 HAS SOUPS 3110 WITH SCORE 3135.882
AT ITER 8388 NEW BEST:: SOT 51518 SOS 25880 HAS SOPS 3408 HAS SOUS 20608 HAS SOUPS 3110 WITH SCORE 3135.88
AT ITER 8400 NEW BEST:: SOT 51513 SOS 25872 HAS SOPS 3397 HAS SOUS 20600 HAS SOUPS 3099 WITH SCORE 3124.872
AT ITER 8412 NEW BEST:: SOT 51513 SOS 25816 HAS SOPS 3397 HAS SOUS 20608 HAS SOUPS 3099 WITH SCORE 3124.816
AT ITER 8457 NEW BEST:: SOT 51515 SOS 25788 HAS SOPS 3393 HAS SOUS 20604 HAS SOUPS 3095 WITH SCORE 3120.788
AT ITER 8548 NEW BEST:: SOT 51515 SOS 25787 HAS SOPS 3393 HAS SOUS 20604 HAS SOUPS 3095 WITH SCORE 3120.787
AT ITER 8619 NEW BEST:: SOT 51515 SOS 25781 HAS SOPS 3393 HAS SOUS 20607 HAS SOUPS 3095 WITH SCORE 3120.781
AT ITER 8666 NEW BEST:: SOT 51509 SOS 25778 HAS SOPS 3384 HAS SOUS 20605 HAS SOUPS 3086 WITH SCORE 3111.778
AT ITER 8711 NEW BEST:: SOT 51509 SOS 25777 HAS SOPS 3382 HAS SOUS 20604 HAS SOUPS 3084 WITH SCORE 3109.777
AT ITER 8715 NEW BEST:: SOT 51509 SOS 25779 HAS SOPS 3381 HAS SOUS 20604 HAS SOUPS 3083 WITH SCORE 3108.779
AT ITER 8800 NEW BEST:: SOT 51509 SOS 25789 HAS SOPS 3375 HAS SOUS 20601 HAS SOUPS 3077 WITH SCORE 3102.789
AT ITER 8814 NEW BEST:: SOT 51509 SOS 25786 HAS SOPS 3375 HAS SOUS 20598 HAS SOUPS 3077 WITH SCORE 3102.786
AT ITER 8867 NEW BEST:: SOT 51509 SOS 25790 HAS SOPS 3371 HAS SOUS 20596 HAS SOUPS 3073 WITH SCORE 3098.79
AT ITER 8897 NEW BEST:: SOT 51501 SOS 25782 HAS SOPS 3351 HAS SOUS 20584 HAS SOUPS 3053 WITH SCORE 3078.782
AT ITER 8933 NEW BEST:: SOT 51501 SOS 25776 HAS SOPS 3351 HAS SOUS 20578 HAS SOUPS 3053 WITH SCORE 3078.776
AT ITER 9011 NEW BEST:: SOT 51498 SOS 25773 HAS SOPS 3348 HAS SOUS 20575 HAS SOUPS 3050 WITH SCORE 3075.773
AT ITER 9124 NEW BEST:: SOT 51498 SOS 25760 HAS SOPS 3348 HAS SOUS 20619 HAS SOUPS 3050 WITH SCORE 3075.76
AT ITER 9190 NEW BEST:: SOT 51498 SOS 25720 HAS SOPS 3348 HAS SOUS 20619 HAS SOUPS 3050 WITH SCORE 3075.72
AT ITER 9341 NEW BEST:: SOT 51496 SOS 25718 HAS SOPS 3348 HAS SOUS 20625 HAS SOUPS 3050 WITH SCORE 3075.718
AT ITER 9367 NEW BEST:: SOT 51496 SOS 25571 HAS SOPS 3348 HAS SOUS 20322 HAS SOUPS 3050 WITH SCORE 3075.571
AT ITER 9557 NEW BEST:: SOT 51498 SOS 25569 HAS SOPS 3348 HAS SOUS 20351 HAS SOUPS 3050 WITH SCORE 3075.569
AT ITER 9679 NEW BEST:: SOT 51497 SOS 25572 HAS SOPS 3335 HAS SOUS 20346 HAS SOUPS 3037 WITH SCORE 3062.572
AT ITER 9709 NEW BEST:: SOT 51497 SOS 25545 HAS SOPS 3335 HAS SOUS 20346 HAS SOUPS 3037 WITH SCORE 3062.545
AT ITER 9850 NEW BEST:: SOT 51501 SOS 25570 HAS SOPS 3329 HAS SOUS 20365 HAS SOUPS 3031 WITH SCORE 3056.57
AT ITER 9880 NEW BEST:: SOT 51501 SOS 25550 HAS SOPS 3329 HAS SOUS 20365 HAS SOUPS 3031 WITH SCORE 3056.55
AT ITER 9957 NEW BEST:: SOT 51499 SOS 25547 HAS SOPS 3327 HAS SOUS 20362 HAS SOUPS 3029 WITH SCORE 3054.547
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 1590410275866

--------------------
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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 r190-csrt-159033383200752"
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 ;