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.r108-csrt-158961250400344.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 NoC3x3-PT-1B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 3.1K Apr 8 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 8 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 7 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 7 18:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 6 03:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 6 03:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 362K Mar 24 05:37 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 1589641463579

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 1B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 8 NEW BEST:: SOT 1215620 SOS 124261 HAS SOPS 124261 HAS SOUS 115978 HAS SOUPS 115978 WITH SCORE 116102.261
AT ITER 11 NEW BEST:: SOT 1215600 SOS 124212 HAS SOPS 124212 HAS SOUS 115947 HAS SOUPS 115947 WITH SCORE 116071.212
AT ITER 34 NEW BEST:: SOT 1215600 SOS 124211 HAS SOPS 124211 HAS SOUS 115946 HAS SOUPS 115946 WITH SCORE 116070.211
AT ITER 39 NEW BEST:: SOT 1215444 SOS 124069 HAS SOPS 124069 HAS SOUS 115790 HAS SOUPS 115790 WITH SCORE 115914.069
AT ITER 65 NEW BEST:: SOT 1215402 SOS 123985 HAS SOPS 123985 HAS SOUS 115600 HAS SOUPS 115600 WITH SCORE 115723.985
AT ITER 124 NEW BEST:: SOT 1215235 SOS 123932 HAS SOPS 123932 HAS SOUS 115500 HAS SOUPS 115500 WITH SCORE 115623.932
AT ITER 126 NEW BEST:: SOT 1215146 SOS 123859 HAS SOPS 123859 HAS SOUS 115410 HAS SOUPS 115410 WITH SCORE 115533.859
AT ITER 130 NEW BEST:: SOT 1214931 SOS 124074 HAS SOPS 124074 HAS SOUS 115215 HAS SOUPS 115215 WITH SCORE 115339.074
AT ITER 136 NEW BEST:: SOT 1214647 SOS 123861 HAS SOPS 123861 HAS SOUS 114931 HAS SOUPS 114931 WITH SCORE 115054.861
AT ITER 156 NEW BEST:: SOT 1214647 SOS 123851 HAS SOPS 123851 HAS SOUS 114921 HAS SOUPS 114921 WITH SCORE 115044.851
AT ITER 168 NEW BEST:: SOT 1214598 SOS 123803 HAS SOPS 123803 HAS SOUS 114873 HAS SOUPS 114873 WITH SCORE 114996.803
AT ITER 172 NEW BEST:: SOT 1214563 SOS 123768 HAS SOPS 123768 HAS SOUS 114815 HAS SOUPS 114815 WITH SCORE 114938.768
AT ITER 185 NEW BEST:: SOT 1214563 SOS 123767 HAS SOPS 123767 HAS SOUS 114814 HAS SOUPS 114814 WITH SCORE 114937.767
AT ITER 220 NEW BEST:: SOT 1214563 SOS 123746 HAS SOPS 123746 HAS SOUS 114793 HAS SOUPS 114793 WITH SCORE 114916.746
AT ITER 221 NEW BEST:: SOT 1214257 SOS 123439 HAS SOPS 123439 HAS SOUS 114486 HAS SOUPS 114486 WITH SCORE 114609.439
AT ITER 238 NEW BEST:: SOT 1214302 SOS 123437 HAS SOPS 123437 HAS SOUS 114439 HAS SOUPS 114439 WITH SCORE 114562.437
AT ITER 263 NEW BEST:: SOT 1214162 SOS 123297 HAS SOPS 123297 HAS SOUS 114299 HAS SOUPS 114299 WITH SCORE 114422.297
AT ITER 281 NEW BEST:: SOT 1214161 SOS 123295 HAS SOPS 123295 HAS SOUS 114297 HAS SOUPS 114297 WITH SCORE 114420.295
AT ITER 290 NEW BEST:: SOT 1214037 SOS 123229 HAS SOPS 123229 HAS SOUS 114211 HAS SOUPS 114211 WITH SCORE 114334.229
AT ITER 306 NEW BEST:: SOT 1213920 SOS 123463 HAS SOPS 123463 HAS SOUS 114146 HAS SOUPS 114146 WITH SCORE 114269.463
AT ITER 307 NEW BEST:: SOT 1213584 SOS 123214 HAS SOPS 123214 HAS SOUS 113729 HAS SOUPS 113729 WITH SCORE 113852.214
AT ITER 317 NEW BEST:: SOT 1213583 SOS 123212 HAS SOPS 123212 HAS SOUS 113728 HAS SOUPS 113728 WITH SCORE 113851.212
AT ITER 350 NEW BEST:: SOT 1213550 SOS 123146 HAS SOPS 123146 HAS SOUS 113662 HAS SOUPS 113662 WITH SCORE 113785.146
AT ITER 359 NEW BEST:: SOT 1213475 SOS 123086 HAS SOPS 123086 HAS SOUS 113602 HAS SOUPS 113602 WITH SCORE 113725.086
AT ITER 366 NEW BEST:: SOT 1213369 SOS 123033 HAS SOPS 123033 HAS SOUS 113549 HAS SOUPS 113549 WITH SCORE 113672.033
AT ITER 401 NEW BEST:: SOT 1213282 SOS 123039 HAS SOPS 123039 HAS SOUS 113477 HAS SOUPS 113477 WITH SCORE 113600.039
AT ITER 405 NEW BEST:: SOT 1213282 SOS 123044 HAS SOPS 123044 HAS SOUS 113476 HAS SOUPS 113476 WITH SCORE 113599.044
AT ITER 423 NEW BEST:: SOT 1213050 SOS 123780 HAS SOPS 123780 HAS SOUS 113469 HAS SOUPS 113469 WITH SCORE 113592.78
AT ITER 435 NEW BEST:: SOT 1212970 SOS 123700 HAS SOPS 123700 HAS SOUS 113389 HAS SOUPS 113389 WITH SCORE 113512.7
AT ITER 466 NEW BEST:: SOT 1212969 SOS 123698 HAS SOPS 123698 HAS SOUS 113387 HAS SOUPS 113387 WITH SCORE 113510.698
AT ITER 470 NEW BEST:: SOT 1212942 SOS 123644 HAS SOPS 123644 HAS SOUS 113333 HAS SOUPS 113333 WITH SCORE 113456.644
AT ITER 497 NEW BEST:: SOT 1212867 SOS 123624 HAS SOPS 123624 HAS SOUS 113323 HAS SOUPS 113323 WITH SCORE 113446.624
AT ITER 499 NEW BEST:: SOT 1212896 SOS 123652 HAS SOPS 123652 HAS SOUS 113322 HAS SOUPS 113322 WITH SCORE 113445.652
AT ITER 521 NEW BEST:: SOT 1212884 SOS 123650 HAS SOPS 123650 HAS SOUS 113310 HAS SOUPS 113310 WITH SCORE 113433.65
AT ITER 541 NEW BEST:: SOT 1212752 SOS 123968 HAS SOPS 123968 HAS SOUS 113197 HAS SOUPS 113197 WITH SCORE 113320.968
AT ITER 550 NEW BEST:: SOT 1212751 SOS 123966 HAS SOPS 123966 HAS SOUS 113195 HAS SOUPS 113195 WITH SCORE 113318.966
AT ITER 558 NEW BEST:: SOT 1212705 SOS 123945 HAS SOPS 123945 HAS SOUS 113174 HAS SOUPS 113174 WITH SCORE 113297.945
AT ITER 579 NEW BEST:: SOT 1212596 SOS 124602 HAS SOPS 124602 HAS SOUS 113166 HAS SOUPS 113166 WITH SCORE 113290.602
AT ITER 717 NEW BEST:: SOT 1212537 SOS 124800 HAS SOPS 124800 HAS SOUS 113145 HAS SOUPS 113145 WITH SCORE 113269.8
AT ITER 723 NEW BEST:: SOT 1212419 SOS 124741 HAS SOPS 124741 HAS SOUS 113084 HAS SOUPS 113084 WITH SCORE 113208.741
AT ITER 769 NEW BEST:: SOT 1212419 SOS 124715 HAS SOPS 124715 HAS SOUS 113058 HAS SOUPS 113058 WITH SCORE 113182.715
AT ITER 778 NEW BEST:: SOT 1212316 SOS 124944 HAS SOPS 124944 HAS SOUS 113005 HAS SOUPS 113005 WITH SCORE 113129.944
AT ITER 814 NEW BEST:: SOT 1212032 SOS 124802 HAS SOPS 124802 HAS SOUS 112792 HAS SOUPS 112792 WITH SCORE 112916.802
AT ITER 827 NEW BEST:: SOT 1212023 SOS 124784 HAS SOPS 124784 HAS SOUS 112774 HAS SOUPS 112774 WITH SCORE 112898.784
AT ITER 828 NEW BEST:: SOT 1211974 SOS 124735 HAS SOPS 124735 HAS SOUS 112725 HAS SOUPS 112725 WITH SCORE 112849.735
AT ITER 832 NEW BEST:: SOT 1211966 SOS 124761 HAS SOPS 124761 HAS SOUS 112717 HAS SOUPS 112717 WITH SCORE 112841.761
AT ITER 860 NEW BEST:: SOT 1211965 SOS 124759 HAS SOPS 124759 HAS SOUS 112715 HAS SOUPS 112715 WITH SCORE 112839.759
AT ITER 862 NEW BEST:: SOT 1211844 SOS 124687 HAS SOPS 124687 HAS SOUS 112630 HAS SOUPS 112630 WITH SCORE 112754.687
AT ITER 870 NEW BEST:: SOT 1211805 SOS 124682 HAS SOPS 124682 HAS SOUS 112591 HAS SOUPS 112591 WITH SCORE 112715.682
AT ITER 874 NEW BEST:: SOT 1211454 SOS 124680 HAS SOPS 124680 HAS SOUS 112192 HAS SOUPS 112192 WITH SCORE 112316.68
AT ITER 875 NEW BEST:: SOT 1211445 SOS 124678 HAS SOPS 124678 HAS SOUS 112191 HAS SOUPS 112191 WITH SCORE 112315.678
AT ITER 903 NEW BEST:: SOT 1211431 SOS 124650 HAS SOPS 124650 HAS SOUS 112163 HAS SOUPS 112163 WITH SCORE 112287.65
AT ITER 917 NEW BEST:: SOT 1211430 SOS 124648 HAS SOPS 124648 HAS SOUS 112161 HAS SOUPS 112161 WITH SCORE 112285.648
AT ITER 932 NEW BEST:: SOT 1211374 SOS 124591 HAS SOPS 124591 HAS SOUS 112104 HAS SOUPS 112104 WITH SCORE 112228.591
AT ITER 934 NEW BEST:: SOT 1211292 SOS 124602 HAS SOPS 124602 HAS SOUS 112021 HAS SOUPS 112021 WITH SCORE 112145.602
AT ITER 1073 NEW BEST:: SOT 1211323 SOS 124595 HAS SOPS 124595 HAS SOUS 112014 HAS SOUPS 112014 WITH SCORE 112138.595
AT ITER 1089 NEW BEST:: SOT 1211300 SOS 124572 HAS SOPS 124572 HAS SOUS 111991 HAS SOUPS 111991 WITH SCORE 112115.572
AT ITER 1136 NEW BEST:: SOT 1210918 SOS 124413 HAS SOPS 124413 HAS SOUS 111610 HAS SOUPS 111610 WITH SCORE 111734.413
AT ITER 1148 NEW BEST:: SOT 1210866 SOS 124413 HAS SOPS 124413 HAS SOUS 111609 HAS SOUPS 111609 WITH SCORE 111733.413
AT ITER 1160 NEW BEST:: SOT 1210599 SOS 124412 HAS SOPS 124412 HAS SOUS 111519 HAS SOUPS 111519 WITH SCORE 111643.412
AT ITER 1193 NEW BEST:: SOT 1210138 SOS 124099 HAS SOPS 124099 HAS SOUS 111197 HAS SOUPS 111197 WITH SCORE 111321.099
AT ITER 1198 NEW BEST:: SOT 1210138 SOS 124098 HAS SOPS 124098 HAS SOUS 111197 HAS SOUPS 111197 WITH SCORE 111321.098
AT ITER 1227 NEW BEST:: SOT 1210100 SOS 124074 HAS SOPS 124074 HAS SOUS 111166 HAS SOUPS 111166 WITH SCORE 111290.074
AT ITER 1240 NEW BEST:: SOT 1210097 SOS 124068 HAS SOPS 124068 HAS SOUS 111162 HAS SOUPS 111162 WITH SCORE 111286.068
AT ITER 1249 NEW BEST:: SOT 1210065 SOS 124065 HAS SOPS 124065 HAS SOUS 111161 HAS SOUPS 111161 WITH SCORE 111285.065
AT ITER 1268 NEW BEST:: SOT 1210064 SOS 123927 HAS SOPS 123927 HAS SOUS 111023 HAS SOUPS 111023 WITH SCORE 111146.927
AT ITER 1287 NEW BEST:: SOT 1210032 SOS 123898 HAS SOPS 123898 HAS SOUS 110990 HAS SOUPS 110990 WITH SCORE 111113.898
AT ITER 1338 NEW BEST:: SOT 1210014 SOS 123880 HAS SOPS 123880 HAS SOUS 110970 HAS SOUPS 110970 WITH SCORE 111093.88
AT ITER 1342 NEW BEST:: SOT 1209996 SOS 123888 HAS SOPS 123888 HAS SOUS 110952 HAS SOUPS 110952 WITH SCORE 111075.888
AT ITER 1404 NEW BEST:: SOT 1209996 SOS 123872 HAS SOPS 123872 HAS SOUS 110936 HAS SOUPS 110936 WITH SCORE 111059.872
AT ITER 1408 NEW BEST:: SOT 1209978 SOS 123836 HAS SOPS 123836 HAS SOUS 110882 HAS SOUPS 110882 WITH SCORE 111005.836
AT ITER 1418 NEW BEST:: SOT 1209954 SOS 123788 HAS SOPS 123788 HAS SOUS 110858 HAS SOUPS 110858 WITH SCORE 110981.788
AT ITER 1419 NEW BEST:: SOT 1209858 SOS 123996 HAS SOPS 123996 HAS SOUS 110806 HAS SOUPS 110806 WITH SCORE 110929.996
AT ITER 1488 NEW BEST:: SOT 1209790 SOS 123970 HAS SOPS 123970 HAS SOUS 110738 HAS SOUPS 110738 WITH SCORE 110861.97
AT ITER 1535 NEW BEST:: SOT 1209784 SOS 123928 HAS SOPS 123928 HAS SOUS 110732 HAS SOUPS 110732 WITH SCORE 110855.928
AT ITER 1578 NEW BEST:: SOT 1209784 SOS 123927 HAS SOPS 123927 HAS SOUS 110731 HAS SOUPS 110731 WITH SCORE 110854.927
AT ITER 1600 NEW BEST:: SOT 1209751 SOS 123803 HAS SOPS 123803 HAS SOUS 110607 HAS SOUPS 110607 WITH SCORE 110730.803
AT ITER 1630 NEW BEST:: SOT 1209651 SOS 123762 HAS SOPS 123762 HAS SOUS 110566 HAS SOUPS 110566 WITH SCORE 110689.762
AT ITER 1692 NEW BEST:: SOT 1209470 SOS 123656 HAS SOPS 123656 HAS SOUS 110460 HAS SOUPS 110460 WITH SCORE 110583.656
AT ITER 1706 NEW BEST:: SOT 1209409 SOS 123754 HAS SOPS 123754 HAS SOUS 110417 HAS SOUPS 110417 WITH SCORE 110540.754
AT ITER 1724 NEW BEST:: SOT 1209393 SOS 123741 HAS SOPS 123741 HAS SOUS 110404 HAS SOUPS 110404 WITH SCORE 110527.741
AT ITER 1736 NEW BEST:: SOT 1209340 SOS 123539 HAS SOPS 123539 HAS SOUS 110145 HAS SOUPS 110145 WITH SCORE 110268.539
AT ITER 1757 NEW BEST:: SOT 1209301 SOS 123461 HAS SOPS 123461 HAS SOUS 110106 HAS SOUPS 110106 WITH SCORE 110229.461
AT ITER 1771 NEW BEST:: SOT 1209171 SOS 123331 HAS SOPS 123331 HAS SOUS 109976 HAS SOUPS 109976 WITH SCORE 110099.331
AT ITER 1791 NEW BEST:: SOT 1209146 SOS 123281 HAS SOPS 123281 HAS SOUS 109896 HAS SOUPS 109896 WITH SCORE 110019.281
AT ITER 1797 NEW BEST:: SOT 1209105 SOS 123199 HAS SOPS 123199 HAS SOUS 109767 HAS SOUPS 109767 WITH SCORE 109890.199
AT ITER 1821 NEW BEST:: SOT 1209096 SOS 123190 HAS SOPS 123190 HAS SOUS 109749 HAS SOUPS 109749 WITH SCORE 109872.19
AT ITER 1915 NEW BEST:: SOT 1209153 SOS 123304 HAS SOPS 123304 HAS SOUS 109727 HAS SOUPS 109727 WITH SCORE 109850.304
AT ITER 1922 NEW BEST:: SOT 1209150 SOS 123298 HAS SOPS 123298 HAS SOUS 109721 HAS SOUPS 109721 WITH SCORE 109844.298
AT ITER 1939 NEW BEST:: SOT 1208891 SOS 123420 HAS SOPS 123420 HAS SOUS 109590 HAS SOUPS 109590 WITH SCORE 109713.42
AT ITER 1962 NEW BEST:: SOT 1208890 SOS 123419 HAS SOPS 123419 HAS SOUS 109588 HAS SOUPS 109588 WITH SCORE 109711.419
AT ITER 1988 NEW BEST:: SOT 1208652 SOS 123839 HAS SOPS 123839 HAS SOUS 109584 HAS SOUPS 109584 WITH SCORE 109707.839
AT ITER 2037 NEW BEST:: SOT 1208652 SOS 123805 HAS SOPS 123805 HAS SOUS 109550 HAS SOUPS 109550 WITH SCORE 109673.805
AT ITER 2138 NEW BEST:: SOT 1208652 SOS 123804 HAS SOPS 123804 HAS SOUS 109549 HAS SOUPS 109549 WITH SCORE 109672.804
AT ITER 2143 NEW BEST:: SOT 1208631 SOS 123762 HAS SOPS 123762 HAS SOUS 109507 HAS SOUPS 109507 WITH SCORE 109630.762
AT ITER 2199 NEW BEST:: SOT 1208582 SOS 123664 HAS SOPS 123664 HAS SOUS 109356 HAS SOUPS 109356 WITH SCORE 109479.664
AT ITER 2227 NEW BEST:: SOT 1208569 SOS 123650 HAS SOPS 123650 HAS SOUS 109355 HAS SOUPS 109355 WITH SCORE 109478.65
AT ITER 2271 NEW BEST:: SOT 1208526 SOS 123609 HAS SOPS 123609 HAS SOUS 109297 HAS SOUPS 109297 WITH SCORE 109420.609
AT ITER 2280 NEW BEST:: SOT 1208396 SOS 123490 HAS SOPS 123490 HAS SOUS 109161 HAS SOUPS 109161 WITH SCORE 109284.49
AT ITER 2335 NEW BEST:: SOT 1208396 SOS 123481 HAS SOPS 123481 HAS SOUS 109161 HAS SOUPS 109161 WITH SCORE 109284.481
AT ITER 2373 NEW BEST:: SOT 1208318 SOS 124270 HAS SOPS 124270 HAS SOUS 109128 HAS SOUPS 109128 WITH SCORE 109252.27
AT ITER 2391 NEW BEST:: SOT 1208227 SOS 124201 HAS SOPS 124201 HAS SOUS 109049 HAS SOUPS 109049 WITH SCORE 109173.201
AT ITER 2399 NEW BEST:: SOT 1208226 SOS 124199 HAS SOPS 124199 HAS SOUS 109047 HAS SOUPS 109047 WITH SCORE 109171.199
AT ITER 2530 NEW BEST:: SOT 1208204 SOS 124166 HAS SOPS 124166 HAS SOUS 109014 HAS SOUPS 109014 WITH SCORE 109138.166
AT ITER 2535 NEW BEST:: SOT 1208187 SOS 124149 HAS SOPS 124149 HAS SOUS 108997 HAS SOUPS 108997 WITH SCORE 109121.149
AT ITER 2548 NEW BEST:: SOT 1207982 SOS 123985 HAS SOPS 123985 HAS SOUS 108792 HAS SOUPS 108792 WITH SCORE 108915.985
AT ITER 2601 NEW BEST:: SOT 1207692 SOS 123720 HAS SOPS 123720 HAS SOUS 108464 HAS SOUPS 108464 WITH SCORE 108587.72
AT ITER 2613 NEW BEST:: SOT 1207415 SOS 124580 HAS SOPS 124580 HAS SOUS 108424 HAS SOUPS 108424 WITH SCORE 108548.58
AT ITER 2688 NEW BEST:: SOT 1207415 SOS 124582 HAS SOPS 124582 HAS SOUS 108423 HAS SOUPS 108423 WITH SCORE 108547.582
AT ITER 2719 NEW BEST:: SOT 1207414 SOS 124580 HAS SOPS 124580 HAS SOUS 108421 HAS SOUPS 108421 WITH SCORE 108545.58
AT ITER 2735 NEW BEST:: SOT 1207319 SOS 124295 HAS SOPS 124295 HAS SOUS 108136 HAS SOUPS 108136 WITH SCORE 108260.295
AT ITER 2746 NEW BEST:: SOT 1207300 SOS 124238 HAS SOPS 124238 HAS SOUS 108098 HAS SOUPS 108098 WITH SCORE 108222.238
AT ITER 2750 NEW BEST:: SOT 1207257 SOS 124193 HAS SOPS 124193 HAS SOUS 108035 HAS SOUPS 108035 WITH SCORE 108159.193
AT ITER 2800 NEW BEST:: SOT 1207193 SOS 124065 HAS SOPS 124065 HAS SOUS 107942 HAS SOUPS 107942 WITH SCORE 108066.065
AT ITER 2809 NEW BEST:: SOT 1207134 SOS 124011 HAS SOPS 124011 HAS SOUS 107888 HAS SOUPS 107888 WITH SCORE 108012.011
AT ITER 2816 NEW BEST:: SOT 1207120 SOS 123983 HAS SOPS 123983 HAS SOUS 107874 HAS SOUPS 107874 WITH SCORE 107997.983
AT ITER 2819 NEW BEST:: SOT 1207052 SOS 124066 HAS SOPS 124066 HAS SOUS 107806 HAS SOUPS 107806 WITH SCORE 107930.066
AT ITER 2822 NEW BEST:: SOT 1206776 SOS 123859 HAS SOPS 123859 HAS SOUS 107530 HAS SOUPS 107530 WITH SCORE 107653.859
AT ITER 2841 NEW BEST:: SOT 1206758 SOS 124273 HAS SOPS 124273 HAS SOUS 107526 HAS SOUPS 107526 WITH SCORE 107650.273
AT ITER 2876 NEW BEST:: SOT 1206679 SOS 124148 HAS SOPS 124148 HAS SOUS 107401 HAS SOUPS 107401 WITH SCORE 107525.148
AT ITER 2881 NEW BEST:: SOT 1206596 SOS 124523 HAS SOPS 124523 HAS SOUS 107363 HAS SOUPS 107363 WITH SCORE 107487.523
AT ITER 2929 NEW BEST:: SOT 1206507 SOS 124493 HAS SOPS 124493 HAS SOUS 107298 HAS SOUPS 107298 WITH SCORE 107422.493
AT ITER 2982 NEW BEST:: SOT 1206559 SOS 124533 HAS SOPS 124533 HAS SOUS 107286 HAS SOUPS 107286 WITH SCORE 107410.533
AT ITER 3078 NEW BEST:: SOT 1206513 SOS 124441 HAS SOPS 124441 HAS SOUS 107207 HAS SOUPS 107207 WITH SCORE 107331.441
AT ITER 3084 NEW BEST:: SOT 1206463 SOS 124341 HAS SOPS 124341 HAS SOUS 107107 HAS SOUPS 107107 WITH SCORE 107231.341
AT ITER 3178 NEW BEST:: SOT 1206431 SOS 124277 HAS SOPS 124277 HAS SOUS 107030 HAS SOUPS 107030 WITH SCORE 107154.277
AT ITER 3187 NEW BEST:: SOT 1206378 SOS 123906 HAS SOPS 123906 HAS SOUS 106924 HAS SOUPS 106924 WITH SCORE 107047.906
AT ITER 3225 NEW BEST:: SOT 1206325 SOS 123902 HAS SOPS 123902 HAS SOUS 106903 HAS SOUPS 106903 WITH SCORE 107026.902
AT ITER 3247 NEW BEST:: SOT 1206107 SOS 123881 HAS SOPS 123881 HAS SOUS 106768 HAS SOUPS 106768 WITH SCORE 106891.881
AT ITER 3309 NEW BEST:: SOT 1205919 SOS 123820 HAS SOPS 123820 HAS SOUS 106642 HAS SOUPS 106642 WITH SCORE 106765.82
AT ITER 3311 NEW BEST:: SOT 1205796 SOS 122949 HAS SOPS 122949 HAS SOUS 106396 HAS SOUPS 106396 WITH SCORE 106518.949
AT ITER 3350 NEW BEST:: SOT 1205773 SOS 122938 HAS SOPS 122938 HAS SOUS 106381 HAS SOUPS 106381 WITH SCORE 106503.938
AT ITER 3355 NEW BEST:: SOT 1205651 SOS 123049 HAS SOPS 123049 HAS SOUS 106300 HAS SOUPS 106300 WITH SCORE 106423.049
AT ITER 3368 NEW BEST:: SOT 1205691 SOS 123013 HAS SOPS 123013 HAS SOUS 106282 HAS SOUPS 106282 WITH SCORE 106405.013
AT ITER 3372 NEW BEST:: SOT 1205653 SOS 122937 HAS SOPS 122937 HAS SOUS 106206 HAS SOUPS 106206 WITH SCORE 106328.937
AT ITER 3398 NEW BEST:: SOT 1205605 SOS 122893 HAS SOPS 122893 HAS SOUS 106158 HAS SOUPS 106158 WITH SCORE 106280.893
AT ITER 3522 NEW BEST:: SOT 1205605 SOS 122893 HAS SOPS 122893 HAS SOUS 106153 HAS SOUPS 106153 WITH SCORE 106275.893
AT ITER 3530 NEW BEST:: SOT 1205604 SOS 122889 HAS SOPS 122889 HAS SOUS 106151 HAS SOUPS 106151 WITH SCORE 106273.889
AT ITER 3660 NEW BEST:: SOT 1205574 SOS 122859 HAS SOPS 122859 HAS SOUS 106137 HAS SOUPS 106137 WITH SCORE 106259.859
AT ITER 3698 NEW BEST:: SOT 1205565 SOS 122856 HAS SOPS 122856 HAS SOUS 106131 HAS SOUPS 106131 WITH SCORE 106253.856
AT ITER 3723 NEW BEST:: SOT 1205539 SOS 122804 HAS SOPS 122804 HAS SOUS 106079 HAS SOUPS 106079 WITH SCORE 106201.804
AT ITER 3751 NEW BEST:: SOT 1205489 SOS 122744 HAS SOPS 122744 HAS SOUS 105995 HAS SOUPS 105995 WITH SCORE 106117.744
AT ITER 3767 NEW BEST:: SOT 1205455 SOS 122637 HAS SOPS 122637 HAS SOUS 105948 HAS SOUPS 105948 WITH SCORE 106070.637
AT ITER 3857 NEW BEST:: SOT 1205451 SOS 122629 HAS SOPS 122629 HAS SOUS 105940 HAS SOUPS 105940 WITH SCORE 106062.629
AT ITER 3858 NEW BEST:: SOT 1205440 SOS 122607 HAS SOPS 122607 HAS SOUS 105918 HAS SOUPS 105918 WITH SCORE 106040.607
AT ITER 3873 NEW BEST:: SOT 1205428 SOS 122595 HAS SOPS 122595 HAS SOUS 105906 HAS SOUPS 105906 WITH SCORE 106028.595
AT ITER 3907 NEW BEST:: SOT 1205420 SOS 122562 HAS SOPS 122562 HAS SOUS 105873 HAS SOUPS 105873 WITH SCORE 105995.562
AT ITER 3951 NEW BEST:: SOT 1205420 SOS 122606 HAS SOPS 122606 HAS SOUS 105872 HAS SOUPS 105872 WITH SCORE 105994.606
AT ITER 3980 NEW BEST:: SOT 1205277 SOS 122501 HAS SOPS 122501 HAS SOUS 105741 HAS SOUPS 105741 WITH SCORE 105863.501
AT ITER 4006 NEW BEST:: SOT 1205276 SOS 122499 HAS SOPS 122499 HAS SOUS 105738 HAS SOUPS 105738 WITH SCORE 105860.499
AT ITER 4022 NEW BEST:: SOT 1205276 SOS 122611 HAS SOPS 122611 HAS SOUS 105722 HAS SOUPS 105722 WITH SCORE 105844.611
AT ITER 4034 NEW BEST:: SOT 1205275 SOS 122609 HAS SOPS 122609 HAS SOUS 105719 HAS SOUPS 105719 WITH SCORE 105841.609
AT ITER 4060 NEW BEST:: SOT 1205199 SOS 122582 HAS SOPS 122582 HAS SOUS 105642 HAS SOUPS 105642 WITH SCORE 105764.582
AT ITER 4092 NEW BEST:: SOT 1205187 SOS 122558 HAS SOPS 122558 HAS SOUS 105618 HAS SOUPS 105618 WITH SCORE 105740.558
AT ITER 4127 NEW BEST:: SOT 1205193 SOS 122432 HAS SOPS 122432 HAS SOUS 105379 HAS SOUPS 105379 WITH SCORE 105501.432
AT ITER 4166 NEW BEST:: SOT 1205178 SOS 122417 HAS SOPS 122417 HAS SOUS 105364 HAS SOUPS 105364 WITH SCORE 105486.417
AT ITER 4238 NEW BEST:: SOT 1205164 SOS 122403 HAS SOPS 122403 HAS SOUS 105350 HAS SOUPS 105350 WITH SCORE 105472.403
AT ITER 4245 NEW BEST:: SOT 1205164 SOS 122340 HAS SOPS 122340 HAS SOUS 105287 HAS SOUPS 105287 WITH SCORE 105409.34
AT ITER 4314 NEW BEST:: SOT 1205035 SOS 122302 HAS SOPS 122302 HAS SOUS 105248 HAS SOUPS 105248 WITH SCORE 105370.302
AT ITER 4381 NEW BEST:: SOT 1205034 SOS 122300 HAS SOPS 122300 HAS SOUS 105246 HAS SOUPS 105246 WITH SCORE 105368.3
AT ITER 4402 NEW BEST:: SOT 1205025 SOS 122171 HAS SOPS 122171 HAS SOUS 105117 HAS SOUPS 105117 WITH SCORE 105239.171
AT ITER 4426 NEW BEST:: SOT 1205071 SOS 122068 HAS SOPS 122068 HAS SOUS 105112 HAS SOUPS 105112 WITH SCORE 105234.068
AT ITER 4503 NEW BEST:: SOT 1204856 SOS 122076 HAS SOPS 122076 HAS SOUS 104995 HAS SOUPS 104995 WITH SCORE 105117.076
AT ITER 4597 NEW BEST:: SOT 1204855 SOS 122074 HAS SOPS 122074 HAS SOUS 104993 HAS SOUPS 104993 WITH SCORE 105115.074
AT ITER 4604 NEW BEST:: SOT 1204841 SOS 122046 HAS SOPS 122046 HAS SOUS 104979 HAS SOUPS 104979 WITH SCORE 105101.046
AT ITER 4622 NEW BEST:: SOT 1204765 SOS 121980 HAS SOPS 121980 HAS SOUS 104922 HAS SOUPS 104922 WITH SCORE 105043.98
AT ITER 4634 NEW BEST:: SOT 1204764 SOS 121886 HAS SOPS 121886 HAS SOUS 104829 HAS SOUPS 104829 WITH SCORE 104950.886
AT ITER 4665 NEW BEST:: SOT 1204754 SOS 121876 HAS SOPS 121876 HAS SOUS 104829 HAS SOUPS 104829 WITH SCORE 104950.876
AT ITER 4683 NEW BEST:: SOT 1204752 SOS 121787 HAS SOPS 121787 HAS SOUS 104740 HAS SOUPS 104740 WITH SCORE 104861.787
AT ITER 4730 NEW BEST:: SOT 1204752 SOS 121787 HAS SOPS 121787 HAS SOUS 104677 HAS SOUPS 104677 WITH SCORE 104798.787
AT ITER 4737 NEW BEST:: SOT 1204640 SOS 122118 HAS SOPS 122118 HAS SOUS 104676 HAS SOUPS 104676 WITH SCORE 104798.118
AT ITER 4755 NEW BEST:: SOT 1204437 SOS 122556 HAS SOPS 122556 HAS SOUS 104547 HAS SOUPS 104547 WITH SCORE 104669.556
AT ITER 4797 NEW BEST:: SOT 1204339 SOS 122624 HAS SOPS 122624 HAS SOUS 104542 HAS SOUPS 104542 WITH SCORE 104664.624
AT ITER 4851 NEW BEST:: SOT 1204261 SOS 122530 HAS SOPS 122530 HAS SOUS 104448 HAS SOUPS 104448 WITH SCORE 104570.53
AT ITER 4956 NEW BEST:: SOT 1204103 SOS 122468 HAS SOPS 122468 HAS SOUS 104334 HAS SOUPS 104334 WITH SCORE 104456.468
AT ITER 5012 NEW BEST:: SOT 1204098 SOS 122458 HAS SOPS 122458 HAS SOUS 104329 HAS SOUPS 104329 WITH SCORE 104451.458
AT ITER 5032 NEW BEST:: SOT 1204100 SOS 122456 HAS SOPS 122456 HAS SOUS 104327 HAS SOUPS 104327 WITH SCORE 104449.456
AT ITER 5055 NEW BEST:: SOT 1204084 SOS 122424 HAS SOPS 122424 HAS SOUS 104295 HAS SOUPS 104295 WITH SCORE 104417.424
AT ITER 5060 NEW BEST:: SOT 1203934 SOS 122304 HAS SOPS 122304 HAS SOUS 104175 HAS SOUPS 104175 WITH SCORE 104297.304
AT ITER 5066 NEW BEST:: SOT 1203954 SOS 122281 HAS SOPS 122281 HAS SOUS 104133 HAS SOUPS 104133 WITH SCORE 104255.281
AT ITER 5137 NEW BEST:: SOT 1203901 SOS 122175 HAS SOPS 122175 HAS SOUS 104109 HAS SOUPS 104109 WITH SCORE 104231.175
AT ITER 5144 NEW BEST:: SOT 1203915 SOS 121858 HAS SOPS 121858 HAS SOUS 104065 HAS SOUPS 104065 WITH SCORE 104186.858
AT ITER 5153 NEW BEST:: SOT 1203915 SOS 121833 HAS SOPS 121833 HAS SOUS 104065 HAS SOUPS 104065 WITH SCORE 104186.833
AT ITER 5156 NEW BEST:: SOT 1203906 SOS 121815 HAS SOPS 121815 HAS SOUS 104000 HAS SOUPS 104000 WITH SCORE 104121.815
AT ITER 5310 NEW BEST:: SOT 1203896 SOS 121809 HAS SOPS 121809 HAS SOUS 103994 HAS SOUPS 103994 WITH SCORE 104115.809
AT ITER 5336 NEW BEST:: SOT 1203767 SOS 121760 HAS SOPS 121760 HAS SOUS 103992 HAS SOUPS 103992 WITH SCORE 104113.76
AT ITER 5344 NEW BEST:: SOT 1203756 SOS 121738 HAS SOPS 121738 HAS SOUS 103946 HAS SOUPS 103946 WITH SCORE 104067.738
AT ITER 5353 NEW BEST:: SOT 1203672 SOS 121654 HAS SOPS 121654 HAS SOUS 103778 HAS SOUPS 103778 WITH SCORE 103899.654
AT ITER 5355 NEW BEST:: SOT 1203568 SOS 121661 HAS SOPS 121661 HAS SOUS 103699 HAS SOUPS 103699 WITH SCORE 103820.661
AT ITER 5380 NEW BEST:: SOT 1203568 SOS 121651 HAS SOPS 121651 HAS SOUS 103689 HAS SOUPS 103689 WITH SCORE 103810.651
AT ITER 5393 NEW BEST:: SOT 1203618 SOS 121643 HAS SOPS 121643 HAS SOUS 103685 HAS SOUPS 103685 WITH SCORE 103806.643
AT ITER 5463 NEW BEST:: SOT 1203588 SOS 121498 HAS SOPS 121498 HAS SOUS 103540 HAS SOUPS 103540 WITH SCORE 103661.498
AT ITER 5524 NEW BEST:: SOT 1203523 SOS 121440 HAS SOPS 121440 HAS SOUS 103439 HAS SOUPS 103439 WITH SCORE 103560.44
AT ITER 5526 NEW BEST:: SOT 1203522 SOS 121438 HAS SOPS 121438 HAS SOUS 103437 HAS SOUPS 103437 WITH SCORE 103558.438
AT ITER 5536 NEW BEST:: SOT 1203484 SOS 121327 HAS SOPS 121327 HAS SOUS 103345 HAS SOUPS 103345 WITH SCORE 103466.327
AT ITER 5658 NEW BEST:: SOT 1203463 SOS 121285 HAS SOPS 121285 HAS SOUS 103299 HAS SOUPS 103299 WITH SCORE 103420.285
AT ITER 5677 NEW BEST:: SOT 1203462 SOS 121283 HAS SOPS 121283 HAS SOUS 103297 HAS SOUPS 103297 WITH SCORE 103418.283
AT ITER 5782 NEW BEST:: SOT 1203461 SOS 121281 HAS SOPS 121281 HAS SOUS 103296 HAS SOUPS 103296 WITH SCORE 103417.281
AT ITER 5867 NEW BEST:: SOT 1203440 SOS 121239 HAS SOPS 121239 HAS SOUS 103256 HAS SOUPS 103256 WITH SCORE 103377.239
AT ITER 5876 NEW BEST:: SOT 1203435 SOS 121234 HAS SOPS 121234 HAS SOUS 103251 HAS SOUPS 103251 WITH SCORE 103372.234
AT ITER 5908 NEW BEST:: SOT 1203415 SOS 121154 HAS SOPS 121154 HAS SOUS 103221 HAS SOUPS 103221 WITH SCORE 103342.154
AT ITER 5928 NEW BEST:: SOT 1203415 SOS 121179 HAS SOPS 121179 HAS SOUS 103176 HAS SOUPS 103176 WITH SCORE 103297.179
AT ITER 6001 NEW BEST:: SOT 1203308 SOS 121176 HAS SOPS 121176 HAS SOUS 103173 HAS SOUPS 103173 WITH SCORE 103294.176
AT ITER 6006 NEW BEST:: SOT 1203301 SOS 121172 HAS SOPS 121172 HAS SOUS 103167 HAS SOUPS 103167 WITH SCORE 103288.172
AT ITER 6058 NEW BEST:: SOT 1203301 SOS 121165 HAS SOPS 121165 HAS SOUS 103153 HAS SOUPS 103153 WITH SCORE 103274.165
AT ITER 6077 NEW BEST:: SOT 1202822 SOS 120747 HAS SOPS 120747 HAS SOUS 102570 HAS SOUPS 102570 WITH SCORE 102690.747
AT ITER 6133 NEW BEST:: SOT 1202827 SOS 120737 HAS SOPS 120737 HAS SOUS 102560 HAS SOUPS 102560 WITH SCORE 102680.737
AT ITER 6165 NEW BEST:: SOT 1202824 SOS 120731 HAS SOPS 120731 HAS SOUS 102556 HAS SOUPS 102556 WITH SCORE 102676.731
AT ITER 6274 NEW BEST:: SOT 1202774 SOS 120631 HAS SOPS 120631 HAS SOUS 102456 HAS SOUPS 102456 WITH SCORE 102576.631
AT ITER 6301 NEW BEST:: SOT 1202774 SOS 120609 HAS SOPS 120609 HAS SOUS 102434 HAS SOUPS 102434 WITH SCORE 102554.609
AT ITER 6424 NEW BEST:: SOT 1202773 SOS 120608 HAS SOPS 120608 HAS SOUS 102433 HAS SOUPS 102433 WITH SCORE 102553.608
AT ITER 6458 NEW BEST:: SOT 1202773 SOS 120605 HAS SOPS 120605 HAS SOUS 102430 HAS SOUPS 102430 WITH SCORE 102550.605
AT ITER 6528 NEW BEST:: SOT 1202768 SOS 120595 HAS SOPS 120595 HAS SOUS 102420 HAS SOUPS 102420 WITH SCORE 102540.595
AT ITER 6544 NEW BEST:: SOT 1202729 SOS 120517 HAS SOPS 120517 HAS SOUS 102414 HAS SOUPS 102414 WITH SCORE 102534.517
AT ITER 6547 NEW BEST:: SOT 1202721 SOS 120501 HAS SOPS 120501 HAS SOUS 102398 HAS SOUPS 102398 WITH SCORE 102518.501
AT ITER 6568 NEW BEST:: SOT 1202720 SOS 120499 HAS SOPS 120499 HAS SOUS 102396 HAS SOUPS 102396 WITH SCORE 102516.499
AT ITER 6576 NEW BEST:: SOT 1202620 SOS 120336 HAS SOPS 120336 HAS SOUS 102233 HAS SOUPS 102233 WITH SCORE 102353.336
AT ITER 6638 NEW BEST:: SOT 1202568 SOS 120416 HAS SOPS 120416 HAS SOUS 102164 HAS SOUPS 102164 WITH SCORE 102284.416
AT ITER 6640 NEW BEST:: SOT 1202567 SOS 120415 HAS SOPS 120415 HAS SOUS 102163 HAS SOUPS 102163 WITH SCORE 102283.415
AT ITER 6647 NEW BEST:: SOT 1202410 SOS 120428 HAS SOPS 120428 HAS SOUS 102002 HAS SOUPS 102002 WITH SCORE 102122.428
AT ITER 6663 NEW BEST:: SOT 1202409 SOS 120427 HAS SOPS 120427 HAS SOUS 102001 HAS SOUPS 102001 WITH SCORE 102121.427
AT ITER 6810 NEW BEST:: SOT 1202346 SOS 120211 HAS SOPS 120211 HAS SOUS 101781 HAS SOUPS 101781 WITH SCORE 101901.211
AT ITER 6820 NEW BEST:: SOT 1202290 SOS 119318 HAS SOPS 119318 HAS SOUS 101560 HAS SOUPS 101560 WITH SCORE 101679.318
AT ITER 6890 NEW BEST:: SOT 1202253 SOS 119244 HAS SOPS 119244 HAS SOUS 101486 HAS SOUPS 101486 WITH SCORE 101605.244
AT ITER 6921 NEW BEST:: SOT 1202242 SOS 119222 HAS SOPS 119222 HAS SOUS 101481 HAS SOUPS 101481 WITH SCORE 101600.222
AT ITER 6937 NEW BEST:: SOT 1202212 SOS 119162 HAS SOPS 119162 HAS SOUS 101436 HAS SOUPS 101436 WITH SCORE 101555.162
AT ITER 6940 NEW BEST:: SOT 1202212 SOS 119161 HAS SOPS 119161 HAS SOUS 101435 HAS SOUPS 101435 WITH SCORE 101554.161
AT ITER 6962 NEW BEST:: SOT 1202186 SOS 119049 HAS SOPS 119049 HAS SOUS 101321 HAS SOUPS 101321 WITH SCORE 101440.049
AT ITER 7079 NEW BEST:: SOT 1202186 SOS 119060 HAS SOPS 119060 HAS SOUS 101320 HAS SOUPS 101320 WITH SCORE 101439.06
AT ITER 7160 NEW BEST:: SOT 1202151 SOS 119000 HAS SOPS 119000 HAS SOUS 101295 HAS SOUPS 101295 WITH SCORE 101414.0
AT ITER 7194 NEW BEST:: SOT 1202093 SOS 118884 HAS SOPS 118884 HAS SOUS 101179 HAS SOUPS 101179 WITH SCORE 101297.884
AT ITER 7220 NEW BEST:: SOT 1202085 SOS 118868 HAS SOPS 118868 HAS SOUS 101163 HAS SOUPS 101163 WITH SCORE 101281.868
AT ITER 7222 NEW BEST:: SOT 1202084 SOS 118866 HAS SOPS 118866 HAS SOUS 101161 HAS SOUPS 101161 WITH SCORE 101279.866
AT ITER 7238 NEW BEST:: SOT 1202084 SOS 118901 HAS SOPS 118901 HAS SOUS 101157 HAS SOUPS 101157 WITH SCORE 101275.901
AT ITER 7258 NEW BEST:: SOT 1201760 SOS 119373 HAS SOPS 119373 HAS SOUS 100941 HAS SOUPS 100941 WITH SCORE 101060.373
AT ITER 7284 NEW BEST:: SOT 1201757 SOS 119367 HAS SOPS 119367 HAS SOUS 100935 HAS SOUPS 100935 WITH SCORE 101054.367
AT ITER 7424 NEW BEST:: SOT 1201725 SOS 119335 HAS SOPS 119335 HAS SOUS 100919 HAS SOUPS 100919 WITH SCORE 101038.335
AT ITER 7466 NEW BEST:: SOT 1201554 SOS 119288 HAS SOPS 119288 HAS SOUS 100748 HAS SOUPS 100748 WITH SCORE 100867.288
AT ITER 7515 NEW BEST:: SOT 1201553 SOS 119287 HAS SOPS 119287 HAS SOUS 100747 HAS SOUPS 100747 WITH SCORE 100866.287
AT ITER 7528 NEW BEST:: SOT 1201553 SOS 119261 HAS SOPS 119261 HAS SOUS 100734 HAS SOUPS 100734 WITH SCORE 100853.261
AT ITER 7598 NEW BEST:: SOT 1201552 SOS 119259 HAS SOPS 119259 HAS SOUS 100732 HAS SOUPS 100732 WITH SCORE 100851.259
AT ITER 7642 NEW BEST:: SOT 1201562 SOS 119280 HAS SOPS 119280 HAS SOUS 100726 HAS SOUPS 100726 WITH SCORE 100845.28
AT ITER 7741 NEW BEST:: SOT 1201492 SOS 119210 HAS SOPS 119210 HAS SOUS 100656 HAS SOUPS 100656 WITH SCORE 100775.21
AT ITER 7788 NEW BEST:: SOT 1201399 SOS 119124 HAS SOPS 119124 HAS SOUS 100563 HAS SOUPS 100563 WITH SCORE 100682.124
AT ITER 7815 NEW BEST:: SOT 1201393 SOS 119112 HAS SOPS 119112 HAS SOUS 100551 HAS SOUPS 100551 WITH SCORE 100670.112
AT ITER 7817 NEW BEST:: SOT 1201393 SOS 119089 HAS SOPS 119089 HAS SOUS 100528 HAS SOUPS 100528 WITH SCORE 100647.089
AT ITER 7819 NEW BEST:: SOT 1201392 SOS 119070 HAS SOPS 119070 HAS SOUS 100509 HAS SOUPS 100509 WITH SCORE 100628.07
AT ITER 7820 NEW BEST:: SOT 1201456 SOS 118942 HAS SOPS 118942 HAS SOUS 100509 HAS SOUPS 100509 WITH SCORE 100627.942
AT ITER 7833 NEW BEST:: SOT 1201456 SOS 118933 HAS SOPS 118933 HAS SOUS 100509 HAS SOUPS 100509 WITH SCORE 100627.933
AT ITER 7839 NEW BEST:: SOT 1201456 SOS 118933 HAS SOPS 118933 HAS SOUS 100505 HAS SOUPS 100505 WITH SCORE 100623.933
AT ITER 7860 NEW BEST:: SOT 1201456 SOS 118872 HAS SOPS 118872 HAS SOUS 100498 HAS SOUPS 100498 WITH SCORE 100616.872
AT ITER 7890 NEW BEST:: SOT 1201456 SOS 118872 HAS SOPS 118872 HAS SOUS 100496 HAS SOUPS 100496 WITH SCORE 100614.872
AT ITER 7917 NEW BEST:: SOT 1201456 SOS 118853 HAS SOPS 118853 HAS SOUS 100494 HAS SOUPS 100494 WITH SCORE 100612.853
AT ITER 7928 NEW BEST:: SOT 1201552 SOS 119421 HAS SOPS 119421 HAS SOUS 100492 HAS SOUPS 100492 WITH SCORE 100611.421
AT ITER 7929 NEW BEST:: SOT 1201514 SOS 119345 HAS SOPS 119345 HAS SOUS 100420 HAS SOUPS 100420 WITH SCORE 100539.345
AT ITER 7968 NEW BEST:: SOT 1201468 SOS 119487 HAS SOPS 119487 HAS SOUS 100401 HAS SOUPS 100401 WITH SCORE 100520.487
AT ITER 7972 NEW BEST:: SOT 1201468 SOS 119413 HAS SOPS 119413 HAS SOUS 100364 HAS SOUPS 100364 WITH SCORE 100483.413
AT ITER 8046 NEW BEST:: SOT 1201468 SOS 119388 HAS SOPS 119388 HAS SOUS 100339 HAS SOUPS 100339 WITH SCORE 100458.388
AT ITER 8072 NEW BEST:: SOT 1201452 SOS 119376 HAS SOPS 119376 HAS SOUS 100327 HAS SOUPS 100327 WITH SCORE 100446.376
AT ITER 8222 NEW BEST:: SOT 1201428 SOS 119352 HAS SOPS 119352 HAS SOUS 100303 HAS SOUPS 100303 WITH SCORE 100422.352
AT ITER 8232 NEW BEST:: SOT 1201415 SOS 119326 HAS SOPS 119326 HAS SOUS 100282 HAS SOUPS 100282 WITH SCORE 100401.326
AT ITER 8283 NEW BEST:: SOT 1201411 SOS 119325 HAS SOPS 119325 HAS SOUS 100281 HAS SOUPS 100281 WITH SCORE 100400.325
AT ITER 8294 NEW BEST:: SOT 1201391 SOS 119381 HAS SOPS 119381 HAS SOUS 100261 HAS SOUPS 100261 WITH SCORE 100380.381
AT ITER 8311 NEW BEST:: SOT 1201346 SOS 119356 HAS SOPS 119356 HAS SOUS 100224 HAS SOUPS 100224 WITH SCORE 100343.356
AT ITER 8351 NEW BEST:: SOT 1201348 SOS 119309 HAS SOPS 119309 HAS SOUS 100119 HAS SOUPS 100119 WITH SCORE 100238.309
AT ITER 8375 NEW BEST:: SOT 1201286 SOS 119185 HAS SOPS 119185 HAS SOUS 100030 HAS SOUPS 100030 WITH SCORE 100149.185
AT ITER 8387 NEW BEST:: SOT 1201331 SOS 119159 HAS SOPS 119159 HAS SOUS 100004 HAS SOUPS 100004 WITH SCORE 100123.159
AT ITER 8396 NEW BEST:: SOT 1201287 SOS 119115 HAS SOPS 119115 HAS SOUS 99960 HAS SOUPS 99960 WITH SCORE 100079.115
AT ITER 8468 NEW BEST:: SOT 1201079 SOS 119014 HAS SOPS 119014 HAS SOUS 99811 HAS SOUPS 99811 WITH SCORE 99930.014
AT ITER 8473 NEW BEST:: SOT 1200903 SOS 120047 HAS SOPS 120047 HAS SOUS 99781 HAS SOUPS 99781 WITH SCORE 99901.047
AT ITER 8474 NEW BEST:: SOT 1200857 SOS 120001 HAS SOPS 120001 HAS SOUS 99735 HAS SOUPS 99735 WITH SCORE 99855.001
AT ITER 8558 NEW BEST:: SOT 1200803 SOS 119946 HAS SOPS 119946 HAS SOUS 99653 HAS SOUPS 99653 WITH SCORE 99772.946
AT ITER 8616 NEW BEST:: SOT 1200771 SOS 119850 HAS SOPS 119850 HAS SOUS 99557 HAS SOUPS 99557 WITH SCORE 99676.85
AT ITER 8671 NEW BEST:: SOT 1200829 SOS 119830 HAS SOPS 119830 HAS SOUS 99537 HAS SOUPS 99537 WITH SCORE 99656.83
AT ITER 8707 NEW BEST:: SOT 1200812 SOS 119796 HAS SOPS 119796 HAS SOUS 99471 HAS SOUPS 99471 WITH SCORE 99590.796
AT ITER 8762 NEW BEST:: SOT 1200814 SOS 119800 HAS SOPS 119800 HAS SOUS 99448 HAS SOUPS 99448 WITH SCORE 99567.8
AT ITER 8775 NEW BEST:: SOT 1200814 SOS 119800 HAS SOPS 119800 HAS SOUS 99444 HAS SOUPS 99444 WITH SCORE 99563.8
AT ITER 8845 NEW BEST:: SOT 1200814 SOS 119800 HAS SOPS 119800 HAS SOUS 99443 HAS SOUPS 99443 WITH SCORE 99562.8
AT ITER 8953 NEW BEST:: SOT 1200774 SOS 119806 HAS SOPS 119806 HAS SOUS 99403 HAS SOUPS 99403 WITH SCORE 99522.806
AT ITER 9011 NEW BEST:: SOT 1200730 SOS 119799 HAS SOPS 119799 HAS SOUS 99396 HAS SOUPS 99396 WITH SCORE 99515.799
AT ITER 9035 NEW BEST:: SOT 1200730 SOS 119779 HAS SOPS 119779 HAS SOUS 99376 HAS SOUPS 99376 WITH SCORE 99495.779
AT ITER 9038 NEW BEST:: SOT 1200685 SOS 119734 HAS SOPS 119734 HAS SOUS 99331 HAS SOUPS 99331 WITH SCORE 99450.734
AT ITER 9099 NEW BEST:: SOT 1200615 SOS 119709 HAS SOPS 119709 HAS SOUS 99260 HAS SOUPS 99260 WITH SCORE 99379.709
AT ITER 9117 NEW BEST:: SOT 1200496 SOS 119679 HAS SOPS 119679 HAS SOUS 99165 HAS SOUPS 99165 WITH SCORE 99284.679
AT ITER 9154 NEW BEST:: SOT 1200495 SOS 119665 HAS SOPS 119665 HAS SOUS 99161 HAS SOUPS 99161 WITH SCORE 99280.665
AT ITER 9233 NEW BEST:: SOT 1200495 SOS 119665 HAS SOPS 119665 HAS SOUS 99082 HAS SOUPS 99082 WITH SCORE 99201.665
AT ITER 9253 NEW BEST:: SOT 1200496 SOS 119667 HAS SOPS 119667 HAS SOUS 99002 HAS SOUPS 99002 WITH SCORE 99121.667
AT ITER 9256 NEW BEST:: SOT 1200496 SOS 119667 HAS SOPS 119667 HAS SOUS 98998 HAS SOUPS 98998 WITH SCORE 99117.667
AT ITER 9343 NEW BEST:: SOT 1200380 SOS 119555 HAS SOPS 119555 HAS SOUS 98885 HAS SOUPS 98885 WITH SCORE 99004.555
AT ITER 9367 NEW BEST:: SOT 1200380 SOS 119505 HAS SOPS 119505 HAS SOUS 98828 HAS SOUPS 98828 WITH SCORE 98947.505
AT ITER 9383 NEW BEST:: SOT 1200344 SOS 119539 HAS SOPS 119539 HAS SOUS 98824 HAS SOUPS 98824 WITH SCORE 98943.539
AT ITER 9406 NEW BEST:: SOT 1200340 SOS 119531 HAS SOPS 119531 HAS SOUS 98816 HAS SOUPS 98816 WITH SCORE 98935.531
AT ITER 9443 NEW BEST:: SOT 1200278 SOS 119559 HAS SOPS 119559 HAS SOUS 98768 HAS SOUPS 98768 WITH SCORE 98887.559
AT ITER 9618 NEW BEST:: SOT 1200223 SOS 119532 HAS SOPS 119532 HAS SOUS 98759 HAS SOUPS 98759 WITH SCORE 98878.532
AT ITER 9754 NEW BEST:: SOT 1200149 SOS 119458 HAS SOPS 119458 HAS SOUS 98685 HAS SOUPS 98685 WITH SCORE 98804.458
AT ITER 9843 NEW BEST:: SOT 1200125 SOS 119459 HAS SOPS 119459 HAS SOUS 98637 HAS SOUPS 98637 WITH SCORE 98756.459
AT ITER 9865 NEW BEST:: SOT 1200092 SOS 119451 HAS SOPS 119451 HAS SOUS 98629 HAS SOUPS 98629 WITH SCORE 98748.451
AT ITER 9903 NEW BEST:: SOT 1200092 SOS 119346 HAS SOPS 119346 HAS SOUS 98628 HAS SOUPS 98628 WITH SCORE 98747.346
AT ITER 9905 NEW BEST:: SOT 1199989 SOS 119198 HAS SOPS 119198 HAS SOUS 98467 HAS SOUPS 98467 WITH SCORE 98586.198
AT ITER 9908 NEW BEST:: SOT 1199987 SOS 119195 HAS SOPS 119195 HAS SOUS 98435 HAS SOUPS 98435 WITH SCORE 98554.195
AT ITER 9922 NEW BEST:: SOT 1199987 SOS 119194 HAS SOPS 119194 HAS SOUS 98434 HAS SOUPS 98434 WITH SCORE 98553.194
AT ITER 9989 NEW BEST:: SOT 1199913 SOS 119046 HAS SOPS 119046 HAS SOUS 98337 HAS SOUPS 98337 WITH SCORE 98456.046

BK_TIME_CONFINEMENT_REACHED

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

# 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 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 r108-csrt-158961250400344"
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 ;