Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534300240.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 NoC3x3-PT-1B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534300240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 7.3K Feb 26 09:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 09:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 09:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 09:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 164K Feb 26 09:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 09:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 362K 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 1678719987072

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=NoC3x3-PT-1B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 1B
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: 1416 places, 1640 transitions, 3639 arcs.
AT ITER 0 NEW BEST:: SOT 1215765 SOS 124406 HAS SOPS 124406 HAS SOUS 116123 HAS SOUPS 116123 WITH SCORE 116247.406
AT ITER 57 NEW BEST:: SOT 1215673 SOS 125542 HAS SOPS 125542 HAS SOUS 116119 HAS SOUPS 116119 WITH SCORE 116244.542
AT ITER 86 NEW BEST:: SOT 1215635 SOS 125466 HAS SOPS 125466 HAS SOUS 116043 HAS SOUPS 116043 WITH SCORE 116168.466
AT ITER 135 NEW BEST:: SOT 1215540 SOS 125276 HAS SOPS 125276 HAS SOUS 115973 HAS SOUPS 115973 WITH SCORE 116098.276
AT ITER 234 NEW BEST:: SOT 1215400 SOS 125216 HAS SOPS 125216 HAS SOUS 115911 HAS SOUPS 115911 WITH SCORE 116036.216
AT ITER 266 NEW BEST:: SOT 1215131 SOS 124841 HAS SOPS 124841 HAS SOUS 115642 HAS SOUPS 115642 WITH SCORE 115766.841
AT ITER 277 NEW BEST:: SOT 1215130 SOS 124839 HAS SOPS 124839 HAS SOUS 115640 HAS SOUPS 115640 WITH SCORE 115764.839
AT ITER 313 NEW BEST:: SOT 1215101 SOS 124816 HAS SOPS 124816 HAS SOUS 115611 HAS SOUPS 115611 WITH SCORE 115735.816
AT ITER 317 NEW BEST:: SOT 1215081 SOS 124776 HAS SOPS 124776 HAS SOUS 115571 HAS SOUPS 115571 WITH SCORE 115695.776
AT ITER 385 NEW BEST:: SOT 1215080 SOS 124774 HAS SOPS 124774 HAS SOUS 115569 HAS SOUPS 115569 WITH SCORE 115693.774
AT ITER 390 NEW BEST:: SOT 1215042 SOS 124698 HAS SOPS 124698 HAS SOUS 115478 HAS SOUPS 115478 WITH SCORE 115602.698
AT ITER 400 NEW BEST:: SOT 1215041 SOS 124696 HAS SOPS 124696 HAS SOUS 115476 HAS SOUPS 115476 WITH SCORE 115600.696
AT ITER 415 NEW BEST:: SOT 1215040 SOS 124694 HAS SOPS 124694 HAS SOUS 115474 HAS SOUPS 115474 WITH SCORE 115598.694
AT ITER 502 NEW BEST:: SOT 1214898 SOS 124675 HAS SOPS 124675 HAS SOUS 115385 HAS SOUPS 115385 WITH SCORE 115509.675
AT ITER 524 NEW BEST:: SOT 1214862 SOS 124645 HAS SOPS 124645 HAS SOUS 115355 HAS SOUPS 115355 WITH SCORE 115479.645
AT ITER 539 NEW BEST:: SOT 1214862 SOS 124644 HAS SOPS 124644 HAS SOUS 115354 HAS SOUPS 115354 WITH SCORE 115478.644
AT ITER 555 NEW BEST:: SOT 1214862 SOS 124561 HAS SOPS 124561 HAS SOUS 115271 HAS SOUPS 115271 WITH SCORE 115395.561
AT ITER 690 NEW BEST:: SOT 1214731 SOS 124430 HAS SOPS 124430 HAS SOUS 115140 HAS SOUPS 115140 WITH SCORE 115264.43
AT ITER 693 NEW BEST:: SOT 1214731 SOS 124414 HAS SOPS 124414 HAS SOUS 115140 HAS SOUPS 115140 WITH SCORE 115264.414
AT ITER 705 NEW BEST:: SOT 1214662 SOS 124352 HAS SOPS 124352 HAS SOUS 115071 HAS SOUPS 115071 WITH SCORE 115195.352
AT ITER 724 NEW BEST:: SOT 1214267 SOS 124367 HAS SOPS 124367 HAS SOUS 114701 HAS SOUPS 114701 WITH SCORE 114825.367
AT ITER 733 NEW BEST:: SOT 1213985 SOS 124128 HAS SOPS 124128 HAS SOUS 114426 HAS SOUPS 114426 WITH SCORE 114550.128
AT ITER 740 NEW BEST:: SOT 1213985 SOS 124118 HAS SOPS 124118 HAS SOUS 114426 HAS SOUPS 114426 WITH SCORE 114550.118
AT ITER 741 NEW BEST:: SOT 1213985 SOS 124118 HAS SOPS 124118 HAS SOUS 114425 HAS SOUPS 114425 WITH SCORE 114549.118
AT ITER 766 NEW BEST:: SOT 1213856 SOS 124655 HAS SOPS 124655 HAS SOUS 114382 HAS SOUPS 114382 WITH SCORE 114506.655
AT ITER 800 NEW BEST:: SOT 1213799 SOS 124797 HAS SOPS 124797 HAS SOUS 114337 HAS SOUPS 114337 WITH SCORE 114461.797
AT ITER 811 NEW BEST:: SOT 1213446 SOS 124531 HAS SOPS 124531 HAS SOUS 113983 HAS SOUPS 113983 WITH SCORE 114107.531
AT ITER 819 NEW BEST:: SOT 1213380 SOS 124399 HAS SOPS 124399 HAS SOUS 113851 HAS SOUPS 113851 WITH SCORE 113975.399
AT ITER 824 NEW BEST:: SOT 1213379 SOS 124359 HAS SOPS 124359 HAS SOUS 113849 HAS SOUPS 113849 WITH SCORE 113973.359
AT ITER 826 NEW BEST:: SOT 1213282 SOS 124504 HAS SOPS 124504 HAS SOUS 113809 HAS SOUPS 113809 WITH SCORE 113933.504
AT ITER 834 NEW BEST:: SOT 1213006 SOS 124351 HAS SOPS 124351 HAS SOUS 113540 HAS SOUPS 113540 WITH SCORE 113664.351
AT ITER 878 NEW BEST:: SOT 1213005 SOS 124349 HAS SOPS 124349 HAS SOUS 113538 HAS SOUPS 113538 WITH SCORE 113662.349
AT ITER 880 NEW BEST:: SOT 1212740 SOS 124424 HAS SOPS 124424 HAS SOUS 113273 HAS SOUPS 113273 WITH SCORE 113397.424
AT ITER 900 NEW BEST:: SOT 1212677 SOS 124424 HAS SOPS 124424 HAS SOUS 113209 HAS SOUPS 113209 WITH SCORE 113333.424
AT ITER 909 NEW BEST:: SOT 1212264 SOS 124298 HAS SOPS 124298 HAS SOUS 112803 HAS SOUPS 112803 WITH SCORE 112927.298
AT ITER 1029 NEW BEST:: SOT 1212156 SOS 124082 HAS SOPS 124082 HAS SOUS 112587 HAS SOUPS 112587 WITH SCORE 112711.082
AT ITER 1050 NEW BEST:: SOT 1211734 SOS 124175 HAS SOPS 124175 HAS SOUS 112308 HAS SOUPS 112308 WITH SCORE 112432.175
AT ITER 1083 NEW BEST:: SOT 1211734 SOS 124163 HAS SOPS 124163 HAS SOUS 112308 HAS SOUPS 112308 WITH SCORE 112432.163
AT ITER 1088 NEW BEST:: SOT 1211450 SOS 123880 HAS SOPS 123880 HAS SOUS 112024 HAS SOUPS 112024 WITH SCORE 112147.88
AT ITER 1125 NEW BEST:: SOT 1211449 SOS 123878 HAS SOPS 123878 HAS SOUS 112022 HAS SOUPS 112022 WITH SCORE 112145.878
AT ITER 1153 NEW BEST:: SOT 1211167 SOS 124359 HAS SOPS 124359 HAS SOUS 111924 HAS SOUPS 111924 WITH SCORE 112048.359
AT ITER 1154 NEW BEST:: SOT 1211128 SOS 124341 HAS SOPS 124341 HAS SOUS 111885 HAS SOUPS 111885 WITH SCORE 112009.341
AT ITER 1167 NEW BEST:: SOT 1211128 SOS 124340 HAS SOPS 124340 HAS SOUS 111884 HAS SOUPS 111884 WITH SCORE 112008.34
AT ITER 1172 NEW BEST:: SOT 1211101 SOS 124325 HAS SOPS 124325 HAS SOUS 111873 HAS SOUPS 111873 WITH SCORE 111997.325
AT ITER 1180 NEW BEST:: SOT 1211048 SOS 124269 HAS SOPS 124269 HAS SOUS 111817 HAS SOUPS 111817 WITH SCORE 111941.269
AT ITER 1181 NEW BEST:: SOT 1210798 SOS 124194 HAS SOPS 124194 HAS SOUS 111587 HAS SOUPS 111587 WITH SCORE 111711.194
AT ITER 1219 NEW BEST:: SOT 1210797 SOS 124192 HAS SOPS 124192 HAS SOUS 111585 HAS SOUPS 111585 WITH SCORE 111709.192
AT ITER 1240 NEW BEST:: SOT 1210726 SOS 124135 HAS SOPS 124135 HAS SOUS 111514 HAS SOUPS 111514 WITH SCORE 111638.135
AT ITER 1283 NEW BEST:: SOT 1210694 SOS 124103 HAS SOPS 124103 HAS SOUS 111514 HAS SOUPS 111514 WITH SCORE 111638.103
AT ITER 1308 NEW BEST:: SOT 1210665 SOS 124114 HAS SOPS 124114 HAS SOUS 111463 HAS SOUPS 111463 WITH SCORE 111587.114
AT ITER 1389 NEW BEST:: SOT 1210644 SOS 123967 HAS SOPS 123967 HAS SOUS 111421 HAS SOUPS 111421 WITH SCORE 111544.967
AT ITER 1450 NEW BEST:: SOT 1210694 SOS 124005 HAS SOPS 124005 HAS SOUS 111404 HAS SOUPS 111404 WITH SCORE 111528.005
AT ITER 1457 NEW BEST:: SOT 1210694 SOS 123972 HAS SOPS 123972 HAS SOUS 111371 HAS SOUPS 111371 WITH SCORE 111494.972
AT ITER 1459 NEW BEST:: SOT 1210650 SOS 123919 HAS SOPS 123919 HAS SOUS 111326 HAS SOUPS 111326 WITH SCORE 111449.919
AT ITER 1479 NEW BEST:: SOT 1210513 SOS 123823 HAS SOPS 123823 HAS SOUS 111097 HAS SOUPS 111097 WITH SCORE 111220.823
AT ITER 1585 NEW BEST:: SOT 1210463 SOS 123848 HAS SOPS 123848 HAS SOUS 111072 HAS SOUPS 111072 WITH SCORE 111195.848
AT ITER 1589 NEW BEST:: SOT 1210206 SOS 123814 HAS SOPS 123814 HAS SOUS 110827 HAS SOUPS 110827 WITH SCORE 110950.814
AT ITER 1608 NEW BEST:: SOT 1210191 SOS 123784 HAS SOPS 123784 HAS SOUS 110797 HAS SOUPS 110797 WITH SCORE 110920.784
AT ITER 1649 NEW BEST:: SOT 1209854 SOS 124120 HAS SOPS 124120 HAS SOUS 110589 HAS SOUPS 110589 WITH SCORE 110713.12
AT ITER 1676 NEW BEST:: SOT 1209866 SOS 124132 HAS SOPS 124132 HAS SOUS 110536 HAS SOUPS 110536 WITH SCORE 110660.132
AT ITER 1683 NEW BEST:: SOT 1209680 SOS 124113 HAS SOPS 124113 HAS SOUS 110371 HAS SOUPS 110371 WITH SCORE 110495.113
AT ITER 1705 NEW BEST:: SOT 1209564 SOS 124231 HAS SOPS 124231 HAS SOUS 110276 HAS SOUPS 110276 WITH SCORE 110400.231
AT ITER 1717 NEW BEST:: SOT 1209507 SOS 124231 HAS SOPS 124231 HAS SOUS 110162 HAS SOUPS 110162 WITH SCORE 110286.231
AT ITER 1778 NEW BEST:: SOT 1209506 SOS 124229 HAS SOPS 124229 HAS SOUS 110160 HAS SOUPS 110160 WITH SCORE 110284.229
AT ITER 1838 NEW BEST:: SOT 1209506 SOS 124187 HAS SOPS 124187 HAS SOUS 110118 HAS SOUPS 110118 WITH SCORE 110242.187
AT ITER 1850 NEW BEST:: SOT 1209506 SOS 124111 HAS SOPS 124111 HAS SOUS 110104 HAS SOUPS 110104 WITH SCORE 110228.111
AT ITER 1893 NEW BEST:: SOT 1209498 SOS 124174 HAS SOPS 124174 HAS SOUS 110096 HAS SOUPS 110096 WITH SCORE 110220.174
AT ITER 1937 NEW BEST:: SOT 1209498 SOS 124098 HAS SOPS 124098 HAS SOUS 110020 HAS SOUPS 110020 WITH SCORE 110144.098
AT ITER 1946 NEW BEST:: SOT 1209471 SOS 124044 HAS SOPS 124044 HAS SOUS 109966 HAS SOUPS 109966 WITH SCORE 110090.044
AT ITER 1959 NEW BEST:: SOT 1209401 SOS 123974 HAS SOPS 123974 HAS SOUS 109901 HAS SOUPS 109901 WITH SCORE 110024.974
AT ITER 2056 NEW BEST:: SOT 1209370 SOS 123949 HAS SOPS 123949 HAS SOUS 109874 HAS SOUPS 109874 WITH SCORE 109997.949
AT ITER 2082 NEW BEST:: SOT 1209336 SOS 123738 HAS SOPS 123738 HAS SOUS 109753 HAS SOUPS 109753 WITH SCORE 109876.738
AT ITER 2093 NEW BEST:: SOT 1209270 SOS 123606 HAS SOPS 123606 HAS SOUS 109621 HAS SOUPS 109621 WITH SCORE 109744.606
AT ITER 2174 NEW BEST:: SOT 1209234 SOS 123489 HAS SOPS 123489 HAS SOUS 109504 HAS SOUPS 109504 WITH SCORE 109627.489
AT ITER 2178 NEW BEST:: SOT 1209233 SOS 123488 HAS SOPS 123488 HAS SOUS 109503 HAS SOUPS 109503 WITH SCORE 109626.488
AT ITER 2182 NEW BEST:: SOT 1209008 SOS 123818 HAS SOPS 123818 HAS SOUS 109378 HAS SOUPS 109378 WITH SCORE 109501.818
AT ITER 2228 NEW BEST:: SOT 1208996 SOS 123828 HAS SOPS 123828 HAS SOUS 109366 HAS SOUPS 109366 WITH SCORE 109489.828
AT ITER 2262 NEW BEST:: SOT 1208995 SOS 123827 HAS SOPS 123827 HAS SOUS 109365 HAS SOUPS 109365 WITH SCORE 109488.827
AT ITER 2311 NEW BEST:: SOT 1208940 SOS 124015 HAS SOPS 124015 HAS SOUS 109342 HAS SOUPS 109342 WITH SCORE 109466.015
AT ITER 2371 NEW BEST:: SOT 1208939 SOS 123973 HAS SOPS 123973 HAS SOUS 109300 HAS SOUPS 109300 WITH SCORE 109423.973
AT ITER 2401 NEW BEST:: SOT 1208914 SOS 123948 HAS SOPS 123948 HAS SOUS 109271 HAS SOUPS 109271 WITH SCORE 109394.948
AT ITER 2402 NEW BEST:: SOT 1208913 SOS 123976 HAS SOPS 123976 HAS SOUS 109269 HAS SOUPS 109269 WITH SCORE 109392.976
AT ITER 2407 NEW BEST:: SOT 1208794 SOS 123919 HAS SOPS 123919 HAS SOUS 109150 HAS SOUPS 109150 WITH SCORE 109273.919
AT ITER 2467 NEW BEST:: SOT 1208716 SOS 123854 HAS SOPS 123854 HAS SOUS 109084 HAS SOUPS 109084 WITH SCORE 109207.854
AT ITER 2567 NEW BEST:: SOT 1208666 SOS 123873 HAS SOPS 123873 HAS SOUS 109013 HAS SOUPS 109013 WITH SCORE 109136.873
AT ITER 2568 NEW BEST:: SOT 1208666 SOS 123945 HAS SOPS 123945 HAS SOUS 109012 HAS SOUPS 109012 WITH SCORE 109135.945
AT ITER 2613 NEW BEST:: SOT 1208587 SOS 123787 HAS SOPS 123787 HAS SOUS 108930 HAS SOUPS 108930 WITH SCORE 109053.787
AT ITER 2626 NEW BEST:: SOT 1208508 SOS 123550 HAS SOPS 123550 HAS SOUS 108772 HAS SOUPS 108772 WITH SCORE 108895.55
AT ITER 2692 NEW BEST:: SOT 1208398 SOS 123635 HAS SOPS 123635 HAS SOUS 108732 HAS SOUPS 108732 WITH SCORE 108855.635
AT ITER 2700 NEW BEST:: SOT 1208222 SOS 123968 HAS SOPS 123968 HAS SOUS 108634 HAS SOUPS 108634 WITH SCORE 108757.968
AT ITER 2742 NEW BEST:: SOT 1208218 SOS 123964 HAS SOPS 123964 HAS SOUS 108634 HAS SOUPS 108634 WITH SCORE 108757.964
AT ITER 2796 NEW BEST:: SOT 1208100 SOS 123892 HAS SOPS 123892 HAS SOUS 108550 HAS SOUPS 108550 WITH SCORE 108673.892
AT ITER 2857 NEW BEST:: SOT 1208100 SOS 123872 HAS SOPS 123872 HAS SOUS 108529 HAS SOUPS 108529 WITH SCORE 108652.872
AT ITER 2875 NEW BEST:: SOT 1208099 SOS 123871 HAS SOPS 123871 HAS SOUS 108528 HAS SOUPS 108528 WITH SCORE 108651.871
AT ITER 2904 NEW BEST:: SOT 1208024 SOS 123827 HAS SOPS 123827 HAS SOUS 108420 HAS SOUPS 108420 WITH SCORE 108543.827
AT ITER 2914 NEW BEST:: SOT 1208006 SOS 123929 HAS SOPS 123929 HAS SOUS 108402 HAS SOUPS 108402 WITH SCORE 108525.929
AT ITER 2917 NEW BEST:: SOT 1207940 SOS 123867 HAS SOPS 123867 HAS SOUS 108377 HAS SOUPS 108377 WITH SCORE 108500.867
AT ITER 2923 NEW BEST:: SOT 1207934 SOS 123848 HAS SOPS 123848 HAS SOUS 108318 HAS SOUPS 108318 WITH SCORE 108441.848
AT ITER 2926 NEW BEST:: SOT 1207894 SOS 123848 HAS SOPS 123848 HAS SOUS 108306 HAS SOUPS 108306 WITH SCORE 108429.848
AT ITER 2937 NEW BEST:: SOT 1207663 SOS 123622 HAS SOPS 123622 HAS SOUS 108075 HAS SOUPS 108075 WITH SCORE 108198.622
AT ITER 2980 NEW BEST:: SOT 1207590 SOS 123800 HAS SOPS 123800 HAS SOUS 108049 HAS SOUPS 108049 WITH SCORE 108172.8
AT ITER 3036 NEW BEST:: SOT 1207590 SOS 123782 HAS SOPS 123782 HAS SOUS 108026 HAS SOUPS 108026 WITH SCORE 108149.782
AT ITER 3066 NEW BEST:: SOT 1207541 SOS 123684 HAS SOPS 123684 HAS SOUS 107928 HAS SOUPS 107928 WITH SCORE 108051.684
AT ITER 3084 NEW BEST:: SOT 1207438 SOS 123478 HAS SOPS 123478 HAS SOUS 107722 HAS SOUPS 107722 WITH SCORE 107845.478
AT ITER 3221 NEW BEST:: SOT 1207383 SOS 123427 HAS SOPS 123427 HAS SOUS 107671 HAS SOUPS 107671 WITH SCORE 107794.427
AT ITER 3232 NEW BEST:: SOT 1207368 SOS 123427 HAS SOPS 123427 HAS SOUS 107656 HAS SOUPS 107656 WITH SCORE 107779.427
AT ITER 3301 NEW BEST:: SOT 1207346 SOS 123383 HAS SOPS 123383 HAS SOUS 107634 HAS SOUPS 107634 WITH SCORE 107757.383
AT ITER 3306 NEW BEST:: SOT 1207346 SOS 123355 HAS SOPS 123355 HAS SOUS 107634 HAS SOUPS 107634 WITH SCORE 107757.355
AT ITER 3308 NEW BEST:: SOT 1207418 SOS 123412 HAS SOPS 123412 HAS SOUS 107618 HAS SOUPS 107618 WITH SCORE 107741.412
AT ITER 3443 NEW BEST:: SOT 1207289 SOS 123984 HAS SOPS 123984 HAS SOUS 107584 HAS SOUPS 107584 WITH SCORE 107707.984
AT ITER 3459 NEW BEST:: SOT 1207292 SOS 123981 HAS SOPS 123981 HAS SOUS 107581 HAS SOUPS 107581 WITH SCORE 107704.981
AT ITER 3465 NEW BEST:: SOT 1207292 SOS 123910 HAS SOPS 123910 HAS SOUS 107581 HAS SOUPS 107581 WITH SCORE 107704.91
AT ITER 3524 NEW BEST:: SOT 1207251 SOS 123773 HAS SOPS 123773 HAS SOUS 107511 HAS SOUPS 107511 WITH SCORE 107634.773
AT ITER 3586 NEW BEST:: SOT 1207251 SOS 123743 HAS SOPS 123743 HAS SOUS 107481 HAS SOUPS 107481 WITH SCORE 107604.743
AT ITER 3662 NEW BEST:: SOT 1207261 SOS 123763 HAS SOPS 123763 HAS SOUS 107478 HAS SOUPS 107478 WITH SCORE 107601.763
AT ITER 3663 NEW BEST:: SOT 1207339 SOS 123852 HAS SOPS 123852 HAS SOUS 107464 HAS SOUPS 107464 WITH SCORE 107587.852
AT ITER 3676 NEW BEST:: SOT 1207331 SOS 123836 HAS SOPS 123836 HAS SOUS 107450 HAS SOUPS 107450 WITH SCORE 107573.836
AT ITER 3694 NEW BEST:: SOT 1207070 SOS 123314 HAS SOPS 123314 HAS SOUS 107113 HAS SOUPS 107113 WITH SCORE 107236.314
AT ITER 3700 NEW BEST:: SOT 1207005 SOS 123319 HAS SOPS 123319 HAS SOUS 107053 HAS SOUPS 107053 WITH SCORE 107176.319
AT ITER 3725 NEW BEST:: SOT 1207042 SOS 123252 HAS SOPS 123252 HAS SOUS 107043 HAS SOUPS 107043 WITH SCORE 107166.252
AT ITER 3776 NEW BEST:: SOT 1207034 SOS 123276 HAS SOPS 123276 HAS SOUS 107035 HAS SOUPS 107035 WITH SCORE 107158.276
AT ITER 3800 NEW BEST:: SOT 1206980 SOS 123168 HAS SOPS 123168 HAS SOUS 106927 HAS SOUPS 106927 WITH SCORE 107050.168
AT ITER 3865 NEW BEST:: SOT 1206954 SOS 123116 HAS SOPS 123116 HAS SOUS 106901 HAS SOUPS 106901 WITH SCORE 107024.116
AT ITER 3889 NEW BEST:: SOT 1206929 SOS 123094 HAS SOPS 123094 HAS SOUS 106880 HAS SOUPS 106880 WITH SCORE 107003.094
AT ITER 3890 NEW BEST:: SOT 1206826 SOS 122888 HAS SOPS 122888 HAS SOUS 106674 HAS SOUPS 106674 WITH SCORE 106796.888
AT ITER 3902 NEW BEST:: SOT 1206808 SOS 122879 HAS SOPS 122879 HAS SOUS 106655 HAS SOUPS 106655 WITH SCORE 106777.879
AT ITER 4000 NEW BEST:: SOT 1206787 SOS 122859 HAS SOPS 122859 HAS SOUS 106635 HAS SOUPS 106635 WITH SCORE 106757.859
AT ITER 4013 NEW BEST:: SOT 1206710 SOS 122799 HAS SOPS 122799 HAS SOUS 106565 HAS SOUPS 106565 WITH SCORE 106687.799
AT ITER 4055 NEW BEST:: SOT 1206710 SOS 122751 HAS SOPS 122751 HAS SOUS 106541 HAS SOUPS 106541 WITH SCORE 106663.751
AT ITER 4060 NEW BEST:: SOT 1206594 SOS 123314 HAS SOPS 123314 HAS SOUS 106346 HAS SOUPS 106346 WITH SCORE 106469.314
AT ITER 4072 NEW BEST:: SOT 1206623 SOS 123307 HAS SOPS 123307 HAS SOUS 106309 HAS SOUPS 106309 WITH SCORE 106432.307
AT ITER 4127 NEW BEST:: SOT 1206632 SOS 123298 HAS SOPS 123298 HAS SOUS 106300 HAS SOUPS 106300 WITH SCORE 106423.298
AT ITER 4137 NEW BEST:: SOT 1206614 SOS 123279 HAS SOPS 123279 HAS SOUS 106299 HAS SOUPS 106299 WITH SCORE 106422.279
AT ITER 4195 NEW BEST:: SOT 1206592 SOS 123235 HAS SOPS 123235 HAS SOUS 106258 HAS SOUPS 106258 WITH SCORE 106381.235
AT ITER 4212 NEW BEST:: SOT 1206533 SOS 123117 HAS SOPS 123117 HAS SOUS 106140 HAS SOUPS 106140 WITH SCORE 106263.117
AT ITER 4228 NEW BEST:: SOT 1206459 SOS 123979 HAS SOPS 123979 HAS SOUS 106117 HAS SOUPS 106117 WITH SCORE 106240.979
AT ITER 4231 NEW BEST:: SOT 1206412 SOS 123948 HAS SOPS 123948 HAS SOUS 106070 HAS SOUPS 106070 WITH SCORE 106193.948
AT ITER 4296 NEW BEST:: SOT 1206332 SOS 123868 HAS SOPS 123868 HAS SOUS 105990 HAS SOUPS 105990 WITH SCORE 106113.868
AT ITER 4297 NEW BEST:: SOT 1206157 SOS 123808 HAS SOPS 123808 HAS SOUS 105872 HAS SOUPS 105872 WITH SCORE 105995.808
AT ITER 4322 NEW BEST:: SOT 1206125 SOS 123744 HAS SOPS 123744 HAS SOUS 105808 HAS SOUPS 105808 WITH SCORE 105931.744
AT ITER 4345 NEW BEST:: SOT 1206124 SOS 123742 HAS SOPS 123742 HAS SOUS 105806 HAS SOUPS 105806 WITH SCORE 105929.742
AT ITER 4416 NEW BEST:: SOT 1206120 SOS 123714 HAS SOPS 123714 HAS SOUS 105798 HAS SOUPS 105798 WITH SCORE 105921.714
AT ITER 4502 NEW BEST:: SOT 1206068 SOS 123684 HAS SOPS 123684 HAS SOUS 105746 HAS SOUPS 105746 WITH SCORE 105869.684
AT ITER 4509 NEW BEST:: SOT 1206215 SOS 123804 HAS SOPS 123804 HAS SOUS 105743 HAS SOUPS 105743 WITH SCORE 105866.804
AT ITER 4522 NEW BEST:: SOT 1206184 SOS 123742 HAS SOPS 123742 HAS SOUS 105681 HAS SOUPS 105681 WITH SCORE 105804.742
AT ITER 4528 NEW BEST:: SOT 1206238 SOS 123850 HAS SOPS 123850 HAS SOUS 105596 HAS SOUPS 105596 WITH SCORE 105719.85
AT ITER 4532 NEW BEST:: SOT 1206219 SOS 123831 HAS SOPS 123831 HAS SOUS 105558 HAS SOUPS 105558 WITH SCORE 105681.831
AT ITER 4539 NEW BEST:: SOT 1206218 SOS 123829 HAS SOPS 123829 HAS SOUS 105556 HAS SOUPS 105556 WITH SCORE 105679.829
AT ITER 4557 NEW BEST:: SOT 1206068 SOS 123709 HAS SOPS 123709 HAS SOUS 105436 HAS SOUPS 105436 WITH SCORE 105559.709
AT ITER 4602 NEW BEST:: SOT 1206067 SOS 123707 HAS SOPS 123707 HAS SOUS 105434 HAS SOUPS 105434 WITH SCORE 105557.707
AT ITER 4661 NEW BEST:: SOT 1206004 SOS 123677 HAS SOPS 123677 HAS SOUS 105372 HAS SOUPS 105372 WITH SCORE 105495.677
AT ITER 4690 NEW BEST:: SOT 1205862 SOS 123393 HAS SOPS 123393 HAS SOUS 105162 HAS SOUPS 105162 WITH SCORE 105285.393
AT ITER 4698 NEW BEST:: SOT 1205802 SOS 123438 HAS SOPS 123438 HAS SOUS 105102 HAS SOUPS 105102 WITH SCORE 105225.438
AT ITER 4827 NEW BEST:: SOT 1205773 SOS 123380 HAS SOPS 123380 HAS SOUS 105044 HAS SOUPS 105044 WITH SCORE 105167.38
AT ITER 4830 NEW BEST:: SOT 1205844 SOS 123522 HAS SOPS 123522 HAS SOUS 105026 HAS SOUPS 105026 WITH SCORE 105149.522
AT ITER 4852 NEW BEST:: SOT 1205671 SOS 123367 HAS SOPS 123367 HAS SOUS 104861 HAS SOUPS 104861 WITH SCORE 104984.367
AT ITER 4866 NEW BEST:: SOT 1205575 SOS 123175 HAS SOPS 123175 HAS SOUS 104732 HAS SOUPS 104732 WITH SCORE 104855.175
AT ITER 4872 NEW BEST:: SOT 1205569 SOS 123163 HAS SOPS 123163 HAS SOUS 104720 HAS SOUPS 104720 WITH SCORE 104843.163
AT ITER 4905 NEW BEST:: SOT 1205569 SOS 123134 HAS SOPS 123134 HAS SOUS 104719 HAS SOUPS 104719 WITH SCORE 104842.134
AT ITER 4957 NEW BEST:: SOT 1205323 SOS 122898 HAS SOPS 122898 HAS SOUS 104473 HAS SOUPS 104473 WITH SCORE 104595.898
AT ITER 4991 NEW BEST:: SOT 1205248 SOS 122373 HAS SOPS 122373 HAS SOUS 104398 HAS SOUPS 104398 WITH SCORE 104520.373
AT ITER 5045 NEW BEST:: SOT 1205308 SOS 122324 HAS SOPS 122324 HAS SOUS 104349 HAS SOUPS 104349 WITH SCORE 104471.324
AT ITER 5099 NEW BEST:: SOT 1205279 SOS 122411 HAS SOPS 122411 HAS SOUS 104291 HAS SOUPS 104291 WITH SCORE 104413.411
AT ITER 5124 NEW BEST:: SOT 1205106 SOS 122355 HAS SOPS 122355 HAS SOUS 104118 HAS SOUPS 104118 WITH SCORE 104240.355
AT ITER 5136 NEW BEST:: SOT 1205081 SOS 122330 HAS SOPS 122330 HAS SOUS 104093 HAS SOUPS 104093 WITH SCORE 104215.33
AT ITER 5146 NEW BEST:: SOT 1205064 SOS 122312 HAS SOPS 122312 HAS SOUS 104091 HAS SOUPS 104091 WITH SCORE 104213.312
AT ITER 5214 NEW BEST:: SOT 1205063 SOS 122400 HAS SOPS 122400 HAS SOUS 104090 HAS SOUPS 104090 WITH SCORE 104212.4
AT ITER 5269 NEW BEST:: SOT 1205110 SOS 122494 HAS SOPS 122494 HAS SOUS 104075 HAS SOUPS 104075 WITH SCORE 104197.494
AT ITER 5273 NEW BEST:: SOT 1205105 SOS 122483 HAS SOPS 122483 HAS SOUS 104064 HAS SOUPS 104064 WITH SCORE 104186.483
AT ITER 5285 NEW BEST:: SOT 1205010 SOS 122428 HAS SOPS 122428 HAS SOUS 104008 HAS SOUPS 104008 WITH SCORE 104130.428
AT ITER 5291 NEW BEST:: SOT 1205010 SOS 122420 HAS SOPS 122420 HAS SOUS 104000 HAS SOUPS 104000 WITH SCORE 104122.42
AT ITER 5331 NEW BEST:: SOT 1204990 SOS 122380 HAS SOPS 122380 HAS SOUS 103916 HAS SOUPS 103916 WITH SCORE 104038.38
AT ITER 5352 NEW BEST:: SOT 1204987 SOS 122374 HAS SOPS 122374 HAS SOUS 103913 HAS SOUPS 103913 WITH SCORE 104035.374
AT ITER 5374 NEW BEST:: SOT 1204783 SOS 122236 HAS SOPS 122236 HAS SOUS 103673 HAS SOUPS 103673 WITH SCORE 103795.236
AT ITER 5391 NEW BEST:: SOT 1204775 SOS 122236 HAS SOPS 122236 HAS SOUS 103665 HAS SOUPS 103665 WITH SCORE 103787.236
AT ITER 5403 NEW BEST:: SOT 1204767 SOS 122239 HAS SOPS 122239 HAS SOUS 103657 HAS SOUPS 103657 WITH SCORE 103779.239
AT ITER 5450 NEW BEST:: SOT 1204760 SOS 122225 HAS SOPS 122225 HAS SOUS 103643 HAS SOUPS 103643 WITH SCORE 103765.225
AT ITER 5471 NEW BEST:: SOT 1204743 SOS 122191 HAS SOPS 122191 HAS SOUS 103626 HAS SOUPS 103626 WITH SCORE 103748.191
AT ITER 5484 NEW BEST:: SOT 1204743 SOS 122200 HAS SOPS 122200 HAS SOUS 103606 HAS SOUPS 103606 WITH SCORE 103728.2
AT ITER 5520 NEW BEST:: SOT 1204754 SOS 122180 HAS SOPS 122180 HAS SOUS 103586 HAS SOUPS 103586 WITH SCORE 103708.18
AT ITER 5572 NEW BEST:: SOT 1204753 SOS 122178 HAS SOPS 122178 HAS SOUS 103584 HAS SOUPS 103584 WITH SCORE 103706.178
AT ITER 5595 NEW BEST:: SOT 1204752 SOS 122125 HAS SOPS 122125 HAS SOUS 103531 HAS SOUPS 103531 WITH SCORE 103653.125
AT ITER 5619 NEW BEST:: SOT 1204752 SOS 122121 HAS SOPS 122121 HAS SOUS 103527 HAS SOUPS 103527 WITH SCORE 103649.121
AT ITER 5635 NEW BEST:: SOT 1204768 SOS 122152 HAS SOPS 122152 HAS SOUS 103523 HAS SOUPS 103523 WITH SCORE 103645.152
AT ITER 5656 NEW BEST:: SOT 1204748 SOS 122112 HAS SOPS 122112 HAS SOUS 103483 HAS SOUPS 103483 WITH SCORE 103605.112
AT ITER 5659 NEW BEST:: SOT 1204746 SOS 122108 HAS SOPS 122108 HAS SOUS 103475 HAS SOUPS 103475 WITH SCORE 103597.108
AT ITER 5742 NEW BEST:: SOT 1204685 SOS 122063 HAS SOPS 122063 HAS SOUS 103413 HAS SOUPS 103413 WITH SCORE 103535.063
AT ITER 5744 NEW BEST:: SOT 1204584 SOS 122109 HAS SOPS 122109 HAS SOUS 103328 HAS SOUPS 103328 WITH SCORE 103450.109
AT ITER 5766 NEW BEST:: SOT 1204584 SOS 122109 HAS SOPS 122109 HAS SOUS 103326 HAS SOUPS 103326 WITH SCORE 103448.109
AT ITER 5796 NEW BEST:: SOT 1204546 SOS 121843 HAS SOPS 121843 HAS SOUS 103288 HAS SOUPS 103288 WITH SCORE 103409.843
AT ITER 5823 NEW BEST:: SOT 1204545 SOS 121806 HAS SOPS 121806 HAS SOUS 103286 HAS SOUPS 103286 WITH SCORE 103407.806
AT ITER 5827 NEW BEST:: SOT 1204545 SOS 121887 HAS SOPS 121887 HAS SOUS 103284 HAS SOUPS 103284 WITH SCORE 103405.887
AT ITER 5901 NEW BEST:: SOT 1204516 SOS 121829 HAS SOPS 121829 HAS SOUS 103226 HAS SOUPS 103226 WITH SCORE 103347.829
AT ITER 5928 NEW BEST:: SOT 1204399 SOS 121711 HAS SOPS 121711 HAS SOUS 103093 HAS SOUPS 103093 WITH SCORE 103214.711
AT ITER 5933 NEW BEST:: SOT 1204354 SOS 121705 HAS SOPS 121705 HAS SOUS 103087 HAS SOUPS 103087 WITH SCORE 103208.705
AT ITER 6065 NEW BEST:: SOT 1204354 SOS 121717 HAS SOPS 121717 HAS SOUS 103086 HAS SOUPS 103086 WITH SCORE 103207.717
AT ITER 6118 NEW BEST:: SOT 1204354 SOS 121717 HAS SOPS 121717 HAS SOUS 103081 HAS SOUPS 103081 WITH SCORE 103202.717
AT ITER 6130 NEW BEST:: SOT 1204282 SOS 121742 HAS SOPS 121742 HAS SOUS 103039 HAS SOUPS 103039 WITH SCORE 103160.742
AT ITER 6177 NEW BEST:: SOT 1204171 SOS 121623 HAS SOPS 121623 HAS SOUS 102925 HAS SOUPS 102925 WITH SCORE 103046.623
AT ITER 6181 NEW BEST:: SOT 1204141 SOS 121593 HAS SOPS 121593 HAS SOUS 102895 HAS SOUPS 102895 WITH SCORE 103016.593
AT ITER 6182 NEW BEST:: SOT 1204141 SOS 121517 HAS SOPS 121517 HAS SOUS 102857 HAS SOUPS 102857 WITH SCORE 102978.517
AT ITER 6203 NEW BEST:: SOT 1204126 SOS 121523 HAS SOPS 121523 HAS SOUS 102842 HAS SOUPS 102842 WITH SCORE 102963.523
AT ITER 6222 NEW BEST:: SOT 1204126 SOS 121456 HAS SOPS 121456 HAS SOUS 102775 HAS SOUPS 102775 WITH SCORE 102896.456
AT ITER 6253 NEW BEST:: SOT 1204117 SOS 121331 HAS SOPS 121331 HAS SOUS 102636 HAS SOUPS 102636 WITH SCORE 102757.331
AT ITER 6339 NEW BEST:: SOT 1204090 SOS 121362 HAS SOPS 121362 HAS SOUS 102581 HAS SOUPS 102581 WITH SCORE 102702.362
AT ITER 6376 NEW BEST:: SOT 1204099 SOS 121352 HAS SOPS 121352 HAS SOUS 102578 HAS SOUPS 102578 WITH SCORE 102699.352
AT ITER 6389 NEW BEST:: SOT 1204091 SOS 121356 HAS SOPS 121356 HAS SOUS 102570 HAS SOUPS 102570 WITH SCORE 102691.356
AT ITER 6442 NEW BEST:: SOT 1204106 SOS 121325 HAS SOPS 121325 HAS SOUS 102542 HAS SOUPS 102542 WITH SCORE 102663.325
AT ITER 6471 NEW BEST:: SOT 1204094 SOS 121339 HAS SOPS 121339 HAS SOUS 102530 HAS SOUPS 102530 WITH SCORE 102651.339
AT ITER 6492 NEW BEST:: SOT 1204056 SOS 121072 HAS SOPS 121072 HAS SOUS 102453 HAS SOUPS 102453 WITH SCORE 102574.072
AT ITER 6503 NEW BEST:: SOT 1204056 SOS 121072 HAS SOPS 121072 HAS SOUS 102437 HAS SOUPS 102437 WITH SCORE 102558.072
AT ITER 6573 NEW BEST:: SOT 1203919 SOS 120982 HAS SOPS 120982 HAS SOUS 102252 HAS SOUPS 102252 WITH SCORE 102372.982
AT ITER 6580 NEW BEST:: SOT 1203975 SOS 120638 HAS SOPS 120638 HAS SOUS 102232 HAS SOUPS 102232 WITH SCORE 102352.638
AT ITER 6599 NEW BEST:: SOT 1203940 SOS 120621 HAS SOPS 120621 HAS SOUS 102197 HAS SOUPS 102197 WITH SCORE 102317.621
AT ITER 6629 NEW BEST:: SOT 1203926 SOS 120583 HAS SOPS 120583 HAS SOUS 102186 HAS SOUPS 102186 WITH SCORE 102306.583
AT ITER 6753 NEW BEST:: SOT 1203926 SOS 120582 HAS SOPS 120582 HAS SOUS 102186 HAS SOUPS 102186 WITH SCORE 102306.582
AT ITER 6876 NEW BEST:: SOT 1203926 SOS 120541 HAS SOPS 120541 HAS SOUS 102186 HAS SOUPS 102186 WITH SCORE 102306.541
AT ITER 6894 NEW BEST:: SOT 1203898 SOS 120527 HAS SOPS 120527 HAS SOUS 102165 HAS SOUPS 102165 WITH SCORE 102285.527
AT ITER 6940 NEW BEST:: SOT 1203894 SOS 120519 HAS SOPS 120519 HAS SOUS 102148 HAS SOUPS 102148 WITH SCORE 102268.519
AT ITER 6941 NEW BEST:: SOT 1203892 SOS 120518 HAS SOPS 120518 HAS SOUS 102147 HAS SOUPS 102147 WITH SCORE 102267.518
AT ITER 6958 NEW BEST:: SOT 1203848 SOS 120430 HAS SOPS 120430 HAS SOUS 101997 HAS SOUPS 101997 WITH SCORE 102117.43
AT ITER 6964 NEW BEST:: SOT 1203816 SOS 120445 HAS SOPS 120445 HAS SOUS 101989 HAS SOUPS 101989 WITH SCORE 102109.445
AT ITER 6974 NEW BEST:: SOT 1203881 SOS 120447 HAS SOPS 120447 HAS SOUS 101926 HAS SOUPS 101926 WITH SCORE 102046.447
AT ITER 7033 NEW BEST:: SOT 1203878 SOS 120441 HAS SOPS 120441 HAS SOUS 101920 HAS SOUPS 101920 WITH SCORE 102040.441
AT ITER 7085 NEW BEST:: SOT 1203878 SOS 120487 HAS SOPS 120487 HAS SOUS 101918 HAS SOUPS 101918 WITH SCORE 102038.487
AT ITER 7096 NEW BEST:: SOT 1203877 SOS 120485 HAS SOPS 120485 HAS SOUS 101916 HAS SOUPS 101916 WITH SCORE 102036.485
AT ITER 7188 NEW BEST:: SOT 1203763 SOS 120447 HAS SOPS 120447 HAS SOUS 101788 HAS SOUPS 101788 WITH SCORE 101908.447
AT ITER 7199 NEW BEST:: SOT 1203601 SOS 120403 HAS SOPS 120403 HAS SOUS 101663 HAS SOUPS 101663 WITH SCORE 101783.403
AT ITER 7210 NEW BEST:: SOT 1203587 SOS 120389 HAS SOPS 120389 HAS SOUS 101649 HAS SOUPS 101649 WITH SCORE 101769.389
AT ITER 7213 NEW BEST:: SOT 1203586 SOS 120387 HAS SOPS 120387 HAS SOUS 101647 HAS SOUPS 101647 WITH SCORE 101767.387
AT ITER 7238 NEW BEST:: SOT 1203572 SOS 120359 HAS SOPS 120359 HAS SOUS 101619 HAS SOUPS 101619 WITH SCORE 101739.359
AT ITER 7287 NEW BEST:: SOT 1203570 SOS 120355 HAS SOPS 120355 HAS SOUS 101615 HAS SOUPS 101615 WITH SCORE 101735.355
AT ITER 7324 NEW BEST:: SOT 1203569 SOS 120881 HAS SOPS 120881 HAS SOUS 101613 HAS SOUPS 101613 WITH SCORE 101733.881
AT ITER 7329 NEW BEST:: SOT 1203546 SOS 120858 HAS SOPS 120858 HAS SOUS 101590 HAS SOUPS 101590 WITH SCORE 101710.858
AT ITER 7395 NEW BEST:: SOT 1203472 SOS 120752 HAS SOPS 120752 HAS SOUS 101473 HAS SOUPS 101473 WITH SCORE 101593.752
AT ITER 7422 NEW BEST:: SOT 1203425 SOS 120658 HAS SOPS 120658 HAS SOUS 101460 HAS SOUPS 101460 WITH SCORE 101580.658
AT ITER 7461 NEW BEST:: SOT 1203190 SOS 120623 HAS SOPS 120623 HAS SOUS 101165 HAS SOUPS 101165 WITH SCORE 101285.623
AT ITER 7467 NEW BEST:: SOT 1203099 SOS 120611 HAS SOPS 120611 HAS SOUS 101153 HAS SOUPS 101153 WITH SCORE 101273.611
AT ITER 7566 NEW BEST:: SOT 1203066 SOS 120577 HAS SOPS 120577 HAS SOUS 101120 HAS SOUPS 101120 WITH SCORE 101240.577
AT ITER 7611 NEW BEST:: SOT 1203066 SOS 120544 HAS SOPS 120544 HAS SOUS 101087 HAS SOUPS 101087 WITH SCORE 101207.544
AT ITER 7633 NEW BEST:: SOT 1202815 SOS 120422 HAS SOPS 120422 HAS SOUS 100879 HAS SOUPS 100879 WITH SCORE 100999.422
AT ITER 7651 NEW BEST:: SOT 1202769 SOS 120428 HAS SOPS 120428 HAS SOUS 100784 HAS SOUPS 100784 WITH SCORE 100904.428
AT ITER 7660 NEW BEST:: SOT 1202687 SOS 120364 HAS SOPS 120364 HAS SOUS 100595 HAS SOUPS 100595 WITH SCORE 100715.364
AT ITER 7722 NEW BEST:: SOT 1202550 SOS 120288 HAS SOPS 120288 HAS SOUS 100491 HAS SOUPS 100491 WITH SCORE 100611.288
AT ITER 7745 NEW BEST:: SOT 1202550 SOS 120270 HAS SOPS 120270 HAS SOUS 100491 HAS SOUPS 100491 WITH SCORE 100611.27
AT ITER 7752 NEW BEST:: SOT 1202512 SOS 120194 HAS SOPS 120194 HAS SOUS 100434 HAS SOUPS 100434 WITH SCORE 100554.194
AT ITER 7758 NEW BEST:: SOT 1202505 SOS 120180 HAS SOPS 120180 HAS SOUS 100400 HAS SOUPS 100400 WITH SCORE 100520.18
AT ITER 7794 NEW BEST:: SOT 1202501 SOS 120176 HAS SOPS 120176 HAS SOUS 100396 HAS SOUPS 100396 WITH SCORE 100516.176
AT ITER 7795 NEW BEST:: SOT 1202549 SOS 120174 HAS SOPS 120174 HAS SOUS 100345 HAS SOUPS 100345 WITH SCORE 100465.174
AT ITER 7819 NEW BEST:: SOT 1202444 SOS 120168 HAS SOPS 120168 HAS SOUS 100251 HAS SOUPS 100251 WITH SCORE 100371.168
AT ITER 7852 NEW BEST:: SOT 1202437 SOS 120154 HAS SOPS 120154 HAS SOUS 100237 HAS SOUPS 100237 WITH SCORE 100357.154
AT ITER 7873 NEW BEST:: SOT 1202419 SOS 120118 HAS SOPS 120118 HAS SOUS 100201 HAS SOUPS 100201 WITH SCORE 100321.118
AT ITER 7903 NEW BEST:: SOT 1202364 SOS 120092 HAS SOPS 120092 HAS SOUS 100173 HAS SOUPS 100173 WITH SCORE 100293.092
AT ITER 7999 NEW BEST:: SOT 1202364 SOS 120092 HAS SOPS 120092 HAS SOUS 100166 HAS SOUPS 100166 WITH SCORE 100286.092
AT ITER 8006 NEW BEST:: SOT 1202381 SOS 120126 HAS SOPS 120126 HAS SOUS 100127 HAS SOUPS 100127 WITH SCORE 100247.126
AT ITER 8011 NEW BEST:: SOT 1202355 SOS 120074 HAS SOPS 120074 HAS SOUS 100099 HAS SOUPS 100099 WITH SCORE 100219.074
AT ITER 8022 NEW BEST:: SOT 1202365 SOS 120076 HAS SOPS 120076 HAS SOUS 100093 HAS SOUPS 100093 WITH SCORE 100213.076
AT ITER 8027 NEW BEST:: SOT 1202213 SOS 119904 HAS SOPS 119904 HAS SOUS 99921 HAS SOUPS 99921 WITH SCORE 100040.904
AT ITER 8034 NEW BEST:: SOT 1202172 SOS 119893 HAS SOPS 119893 HAS SOUS 99921 HAS SOUPS 99921 WITH SCORE 100040.893
AT ITER 8035 NEW BEST:: SOT 1202142 SOS 119833 HAS SOPS 119833 HAS SOUS 99876 HAS SOUPS 99876 WITH SCORE 99995.833
AT ITER 8052 NEW BEST:: SOT 1202142 SOS 119750 HAS SOPS 119750 HAS SOUS 99876 HAS SOUPS 99876 WITH SCORE 99995.75
AT ITER 8054 NEW BEST:: SOT 1202093 SOS 119731 HAS SOPS 119731 HAS SOUS 99748 HAS SOUPS 99748 WITH SCORE 99867.731
AT ITER 8116 NEW BEST:: SOT 1202074 SOS 119720 HAS SOPS 119720 HAS SOUS 99729 HAS SOUPS 99729 WITH SCORE 99848.72
AT ITER 8127 NEW BEST:: SOT 1202075 SOS 119721 HAS SOPS 119721 HAS SOUS 99717 HAS SOUPS 99717 WITH SCORE 99836.721
AT ITER 8138 NEW BEST:: SOT 1202074 SOS 119720 HAS SOPS 119720 HAS SOUS 99716 HAS SOUPS 99716 WITH SCORE 99835.72
AT ITER 8152 NEW BEST:: SOT 1202044 SOS 119690 HAS SOPS 119690 HAS SOUS 99686 HAS SOUPS 99686 WITH SCORE 99805.69
AT ITER 8171 NEW BEST:: SOT 1202028 SOS 119658 HAS SOPS 119658 HAS SOUS 99670 HAS SOUPS 99670 WITH SCORE 99789.658
AT ITER 8370 NEW BEST:: SOT 1202028 SOS 119630 HAS SOPS 119630 HAS SOUS 99642 HAS SOUPS 99642 WITH SCORE 99761.63
AT ITER 8398 NEW BEST:: SOT 1202028 SOS 119646 HAS SOPS 119646 HAS SOUS 99641 HAS SOUPS 99641 WITH SCORE 99760.646
AT ITER 8452 NEW BEST:: SOT 1201971 SOS 119570 HAS SOPS 119570 HAS SOUS 99565 HAS SOUPS 99565 WITH SCORE 99684.57
AT ITER 8511 NEW BEST:: SOT 1201971 SOS 119570 HAS SOPS 119570 HAS SOUS 99563 HAS SOUPS 99563 WITH SCORE 99682.57
AT ITER 8551 NEW BEST:: SOT 1201946 SOS 119456 HAS SOPS 119456 HAS SOUS 99449 HAS SOUPS 99449 WITH SCORE 99568.456
AT ITER 8588 NEW BEST:: SOT 1201794 SOS 119329 HAS SOPS 119329 HAS SOUS 99292 HAS SOUPS 99292 WITH SCORE 99411.329
AT ITER 8605 NEW BEST:: SOT 1201745 SOS 119450 HAS SOPS 119450 HAS SOUS 99250 HAS SOUPS 99250 WITH SCORE 99369.45
AT ITER 8607 NEW BEST:: SOT 1201752 SOS 119404 HAS SOPS 119404 HAS SOUS 99204 HAS SOUPS 99204 WITH SCORE 99323.404
AT ITER 8611 NEW BEST:: SOT 1201751 SOS 119402 HAS SOPS 119402 HAS SOUS 99202 HAS SOUPS 99202 WITH SCORE 99321.402
AT ITER 8623 NEW BEST:: SOT 1201731 SOS 119238 HAS SOPS 119238 HAS SOUS 99190 HAS SOUPS 99190 WITH SCORE 99309.238
AT ITER 8627 NEW BEST:: SOT 1201706 SOS 119213 HAS SOPS 119213 HAS SOUS 99140 HAS SOUPS 99140 WITH SCORE 99259.213
AT ITER 8633 NEW BEST:: SOT 1201752 SOS 119058 HAS SOPS 119058 HAS SOUS 99056 HAS SOUPS 99056 WITH SCORE 99175.058
AT ITER 8652 NEW BEST:: SOT 1201707 SOS 119096 HAS SOPS 119096 HAS SOUS 99033 HAS SOUPS 99033 WITH SCORE 99152.096
AT ITER 8670 NEW BEST:: SOT 1201681 SOS 119070 HAS SOPS 119070 HAS SOUS 99007 HAS SOUPS 99007 WITH SCORE 99126.07
AT ITER 8687 NEW BEST:: SOT 1201594 SOS 119041 HAS SOPS 119041 HAS SOUS 98920 HAS SOUPS 98920 WITH SCORE 99039.041
AT ITER 8725 NEW BEST:: SOT 1201438 SOS 119084 HAS SOPS 119084 HAS SOUS 98764 HAS SOUPS 98764 WITH SCORE 98883.084
AT ITER 8754 NEW BEST:: SOT 1201449 SOS 119106 HAS SOPS 119106 HAS SOUS 98758 HAS SOUPS 98758 WITH SCORE 98877.106
AT ITER 8817 NEW BEST:: SOT 1201450 SOS 119134 HAS SOPS 119134 HAS SOUS 98724 HAS SOUPS 98724 WITH SCORE 98843.134
AT ITER 8820 NEW BEST:: SOT 1201445 SOS 119097 HAS SOPS 119097 HAS SOUS 98593 HAS SOUPS 98593 WITH SCORE 98712.097
AT ITER 8873 NEW BEST:: SOT 1201444 SOS 119068 HAS SOPS 119068 HAS SOUS 98564 HAS SOUPS 98564 WITH SCORE 98683.068
AT ITER 8874 NEW BEST:: SOT 1201417 SOS 119014 HAS SOPS 119014 HAS SOUS 98510 HAS SOUPS 98510 WITH SCORE 98629.014
AT ITER 8973 NEW BEST:: SOT 1201416 SOS 119012 HAS SOPS 119012 HAS SOUS 98508 HAS SOUPS 98508 WITH SCORE 98627.012
AT ITER 9036 NEW BEST:: SOT 1201275 SOS 118965 HAS SOPS 118965 HAS SOUS 98367 HAS SOUPS 98367 WITH SCORE 98485.965
AT ITER 9054 NEW BEST:: SOT 1201303 SOS 119016 HAS SOPS 119016 HAS SOUS 98343 HAS SOUPS 98343 WITH SCORE 98462.016
AT ITER 9099 NEW BEST:: SOT 1201317 SOS 119044 HAS SOPS 119044 HAS SOUS 98282 HAS SOUPS 98282 WITH SCORE 98401.044
AT ITER 9172 NEW BEST:: SOT 1201280 SOS 118970 HAS SOPS 118970 HAS SOUS 98275 HAS SOUPS 98275 WITH SCORE 98393.97
AT ITER 9244 NEW BEST:: SOT 1201237 SOS 118884 HAS SOPS 118884 HAS SOUS 98189 HAS SOUPS 98189 WITH SCORE 98307.884
AT ITER 9249 NEW BEST:: SOT 1201210 SOS 118747 HAS SOPS 118747 HAS SOUS 98134 HAS SOUPS 98134 WITH SCORE 98252.747
AT ITER 9271 NEW BEST:: SOT 1201178 SOS 118732 HAS SOPS 118732 HAS SOUS 98119 HAS SOUPS 98119 WITH SCORE 98237.732
AT ITER 9287 NEW BEST:: SOT 1201062 SOS 118660 HAS SOPS 118660 HAS SOUS 98003 HAS SOUPS 98003 WITH SCORE 98121.66
AT ITER 9333 NEW BEST:: SOT 1201053 SOS 118651 HAS SOPS 118651 HAS SOUS 98003 HAS SOUPS 98003 WITH SCORE 98121.651
AT ITER 9345 NEW BEST:: SOT 1201039 SOS 118552 HAS SOPS 118552 HAS SOUS 97988 HAS SOUPS 97988 WITH SCORE 98106.552
AT ITER 9366 NEW BEST:: SOT 1200996 SOS 118545 HAS SOPS 118545 HAS SOUS 97958 HAS SOUPS 97958 WITH SCORE 98076.545
AT ITER 9380 NEW BEST:: SOT 1200980 SOS 118530 HAS SOPS 118530 HAS SOUS 97943 HAS SOUPS 97943 WITH SCORE 98061.53
AT ITER 9398 NEW BEST:: SOT 1200980 SOS 118464 HAS SOPS 118464 HAS SOUS 97943 HAS SOUPS 97943 WITH SCORE 98061.464
AT ITER 9424 NEW BEST:: SOT 1200971 SOS 118446 HAS SOPS 118446 HAS SOUS 97934 HAS SOUPS 97934 WITH SCORE 98052.446
AT ITER 9431 NEW BEST:: SOT 1200995 SOS 118523 HAS SOPS 118523 HAS SOUS 97917 HAS SOUPS 97917 WITH SCORE 98035.523
AT ITER 9488 NEW BEST:: SOT 1200995 SOS 118507 HAS SOPS 118507 HAS SOUS 97909 HAS SOUPS 97909 WITH SCORE 98027.507
AT ITER 9492 NEW BEST:: SOT 1200966 SOS 118485 HAS SOPS 118485 HAS SOUS 97905 HAS SOUPS 97905 WITH SCORE 98023.485
AT ITER 9503 NEW BEST:: SOT 1200939 SOS 118431 HAS SOPS 118431 HAS SOUS 97851 HAS SOUPS 97851 WITH SCORE 97969.431
AT ITER 9507 NEW BEST:: SOT 1200940 SOS 118430 HAS SOPS 118430 HAS SOUS 97850 HAS SOUPS 97850 WITH SCORE 97968.43
AT ITER 9521 NEW BEST:: SOT 1200827 SOS 118496 HAS SOPS 118496 HAS SOUS 97836 HAS SOUPS 97836 WITH SCORE 97954.496
AT ITER 9562 NEW BEST:: SOT 1200763 SOS 118473 HAS SOPS 118473 HAS SOUS 97771 HAS SOUPS 97771 WITH SCORE 97889.473
AT ITER 9587 NEW BEST:: SOT 1200824 SOS 118412 HAS SOPS 118412 HAS SOUS 97771 HAS SOUPS 97771 WITH SCORE 97889.412
AT ITER 9589 NEW BEST:: SOT 1200783 SOS 118330 HAS SOPS 118330 HAS SOUS 97689 HAS SOUPS 97689 WITH SCORE 97807.33
AT ITER 9596 NEW BEST:: SOT 1200777 SOS 118318 HAS SOPS 118318 HAS SOUS 97677 HAS SOUPS 97677 WITH SCORE 97795.318
AT ITER 9601 NEW BEST:: SOT 1200771 SOS 118306 HAS SOPS 118306 HAS SOUS 97659 HAS SOUPS 97659 WITH SCORE 97777.306
AT ITER 9612 NEW BEST:: SOT 1200748 SOS 118310 HAS SOPS 118310 HAS SOUS 97650 HAS SOUPS 97650 WITH SCORE 97768.31
AT ITER 9616 NEW BEST:: SOT 1200728 SOS 118300 HAS SOPS 118300 HAS SOUS 97630 HAS SOUPS 97630 WITH SCORE 97748.3
AT ITER 9625 NEW BEST:: SOT 1200728 SOS 118248 HAS SOPS 118248 HAS SOUS 97578 HAS SOUPS 97578 WITH SCORE 97696.248
AT ITER 9639 NEW BEST:: SOT 1200728 SOS 118347 HAS SOPS 118347 HAS SOUS 97445 HAS SOUPS 97445 WITH SCORE 97563.347
AT ITER 9684 NEW BEST:: SOT 1200728 SOS 118347 HAS SOPS 118347 HAS SOUS 97362 HAS SOUPS 97362 WITH SCORE 97480.347
AT ITER 9721 NEW BEST:: SOT 1200735 SOS 118391 HAS SOPS 118391 HAS SOUS 97305 HAS SOUPS 97305 WITH SCORE 97423.391
AT ITER 9741 NEW BEST:: SOT 1200677 SOS 118275 HAS SOPS 118275 HAS SOUS 97189 HAS SOUPS 97189 WITH SCORE 97307.275
AT ITER 9798 NEW BEST:: SOT 1200579 SOS 118079 HAS SOPS 118079 HAS SOUS 96993 HAS SOUPS 96993 WITH SCORE 97111.079
AT ITER 9821 NEW BEST:: SOT 1200579 SOS 117654 HAS SOPS 117654 HAS SOUS 96993 HAS SOUPS 96993 WITH SCORE 97110.654
AT ITER 9825 NEW BEST:: SOT 1200579 SOS 117654 HAS SOPS 117654 HAS SOUS 96992 HAS SOUPS 96992 WITH SCORE 97109.654
AT ITER 9865 NEW BEST:: SOT 1200547 SOS 117590 HAS SOPS 117590 HAS SOUS 96916 HAS SOUPS 96916 WITH SCORE 97033.59
AT ITER 9867 NEW BEST:: SOT 1200538 SOS 117572 HAS SOPS 117572 HAS SOUS 96898 HAS SOUPS 96898 WITH SCORE 97015.572
AT ITER 9911 NEW BEST:: SOT 1200490 SOS 117560 HAS SOPS 117560 HAS SOUS 96850 HAS SOUPS 96850 WITH SCORE 96967.56
AT ITER 9922 NEW BEST:: SOT 1200465 SOS 117510 HAS SOPS 117510 HAS SOUS 96828 HAS SOUPS 96828 WITH SCORE 96945.51
AT ITER 9929 NEW BEST:: SOT 1200387 SOS 117198 HAS SOPS 117198 HAS SOUS 96750 HAS SOUPS 96750 WITH SCORE 96867.198
AT ITER 9941 NEW BEST:: SOT 1200386 SOS 117196 HAS SOPS 117196 HAS SOUS 96748 HAS SOUPS 96748 WITH SCORE 96865.196
AT ITER 9943 NEW BEST:: SOT 1200358 SOS 117140 HAS SOPS 117140 HAS SOUS 96692 HAS SOUPS 96692 WITH SCORE 96809.14
AT ITER 9970 NEW BEST:: SOT 1200404 SOS 116512 HAS SOPS 116512 HAS SOUS 96619 HAS SOUPS 96619 WITH SCORE 96735.512
AT ITER 9976 NEW BEST:: SOT 1200398 SOS 116517 HAS SOPS 116517 HAS SOUS 96617 HAS SOUPS 96617 WITH SCORE 96733.517
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 6949504 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16149424 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="NoC3x3-PT-1B"
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 NoC3x3-PT-1B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534300240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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