Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502500192.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb115-PT-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502500192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.7K Apr 12 07:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 07:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 11 08:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 08:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 9 21:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:38 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 1589774099668

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 6
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 4 NEW BEST:: SOT 123443835 SOS 80236723 HAS SOPS 65215520 HAS SOUS 24075066 HAS SOUPS 23500814 WITH SCORE 2.3581050723E7
AT ITER 10 NEW BEST:: SOT 123443885 SOS 80234637 HAS SOPS 65211017 HAS SOUS 24074781 HAS SOUPS 23500529 WITH SCORE 2.3580763637E7
AT ITER 14 NEW BEST:: SOT 123439414 SOS 80235511 HAS SOPS 65208442 HAS SOUS 24057941 HAS SOUPS 23483868 WITH SCORE 2.3564103511E7
AT ITER 18 NEW BEST:: SOT 123376039 SOS 80166952 HAS SOPS 65142335 HAS SOUS 23994300 HAS SOUPS 23420416 WITH SCORE 2.3500582952E7
AT ITER 20 NEW BEST:: SOT 123372887 SOS 80170281 HAS SOPS 65158884 HAS SOUS 23986022 HAS SOUPS 23412138 WITH SCORE 2.3492308281E7
AT ITER 28 NEW BEST:: SOT 123369297 SOS 80163964 HAS SOPS 65153876 HAS SOUS 23982308 HAS SOUPS 23408424 WITH SCORE 2.3488587964E7
AT ITER 52 NEW BEST:: SOT 123346888 SOS 80140983 HAS SOPS 65128927 HAS SOUS 23955304 HAS SOUPS 23381288 WITH SCORE 2.3461428983E7
AT ITER 55 NEW BEST:: SOT 123346804 SOS 80141211 HAS SOPS 65129823 HAS SOUS 23955300 HAS SOUPS 23381284 WITH SCORE 2.3461425211E7
AT ITER 61 NEW BEST:: SOT 123346799 SOS 80141223 HAS SOPS 65129827 HAS SOUS 23955278 HAS SOUPS 23381262 WITH SCORE 2.3461403223E7
AT ITER 74 NEW BEST:: SOT 123351062 SOS 80160083 HAS SOPS 65146058 HAS SOUS 23946310 HAS SOUPS 23372294 WITH SCORE 2.3452454083E7
AT ITER 78 NEW BEST:: SOT 123350640 SOS 80161366 HAS SOPS 65145600 HAS SOUS 23946032 HAS SOUPS 23372016 WITH SCORE 2.3452177366E7
AT ITER 95 NEW BEST:: SOT 123348431 SOS 80159149 HAS SOPS 65143429 HAS SOUS 23944174 HAS SOUPS 23370204 WITH SCORE 2.3450363149E7
AT ITER 99 NEW BEST:: SOT 123348263 SOS 80158981 HAS SOPS 65143261 HAS SOUS 23943750 HAS SOUPS 23369780 WITH SCORE 2.3449938981E7
AT ITER 100 NEW BEST:: SOT 123348088 SOS 80163228 HAS SOPS 65148268 HAS SOUS 23937503 HAS SOUPS 23363533 WITH SCORE 2.3443696228E7
AT ITER 103 NEW BEST:: SOT 123348859 SOS 80175685 HAS SOPS 65155904 HAS SOUS 23913960 HAS SOUPS 23339990 WITH SCORE 2.3420165685E7
AT ITER 115 NEW BEST:: SOT 123349254 SOS 80209069 HAS SOPS 65194412 HAS SOUS 23913659 HAS SOUPS 23339689 WITH SCORE 2.3419898069E7
AT ITER 122 NEW BEST:: SOT 123334237 SOS 80183730 HAS SOPS 65180814 HAS SOUS 23896265 HAS SOUPS 23322295 WITH SCORE 2.340247873E7
AT ITER 133 NEW BEST:: SOT 123336825 SOS 80190966 HAS SOPS 65188334 HAS SOUS 23893562 HAS SOUPS 23319624 WITH SCORE 2.3399814966E7
AT ITER 136 NEW BEST:: SOT 123331428 SOS 80182388 HAS SOPS 65185697 HAS SOUS 23874072 HAS SOUPS 23300396 WITH SCORE 2.3380578388E7
AT ITER 140 NEW BEST:: SOT 123332922 SOS 80184356 HAS SOPS 65182345 HAS SOUS 23860853 HAS SOUPS 23287182 WITH SCORE 2.3367366356E7
AT ITER 141 NEW BEST:: SOT 123332552 SOS 80186978 HAS SOPS 65181313 HAS SOUS 23846891 HAS SOUPS 23273220 WITH SCORE 2.3353406978E7
AT ITER 144 NEW BEST:: SOT 123358372 SOS 80247341 HAS SOPS 65232936 HAS SOUS 23816403 HAS SOUPS 23242732 WITH SCORE 2.3322979341E7
AT ITER 148 NEW BEST:: SOT 123387033 SOS 80299956 HAS SOPS 65291326 HAS SOUS 23814482 HAS SOUPS 23241027 WITH SCORE 2.3321326956E7
AT ITER 161 NEW BEST:: SOT 123371373 SOS 80283448 HAS SOPS 65266999 HAS SOUS 23757524 HAS SOUPS 23184453 WITH SCORE 2.3264736448E7
AT ITER 171 NEW BEST:: SOT 123371572 SOS 80309337 HAS SOPS 65296528 HAS SOUS 23757353 HAS SOUPS 23184282 WITH SCORE 2.3264591337E7
AT ITER 173 NEW BEST:: SOT 123369016 SOS 80306804 HAS SOPS 65292922 HAS SOUS 23757087 HAS SOUPS 23183983 WITH SCORE 2.3264289804E7
AT ITER 198 NEW BEST:: SOT 123365031 SOS 80302841 HAS SOPS 65288841 HAS SOUS 23752679 HAS SOUPS 23179550 WITH SCORE 2.3259852841E7
AT ITER 200 NEW BEST:: SOT 123365164 SOS 80303576 HAS SOPS 65288552 HAS SOUS 23752290 HAS SOUPS 23179145 WITH SCORE 2.3259448576E7
AT ITER 204 NEW BEST:: SOT 123357498 SOS 80294363 HAS SOPS 65279331 HAS SOUS 23742695 HAS SOUPS 23169601 WITH SCORE 2.3249895363E7
AT ITER 209 NEW BEST:: SOT 123356292 SOS 80295023 HAS SOPS 65277872 HAS SOUS 23739375 HAS SOUPS 23166281 WITH SCORE 2.3246576023E7
AT ITER 224 NEW BEST:: SOT 123355689 SOS 80301265 HAS SOPS 65279738 HAS SOUS 23728368 HAS SOUPS 23155274 WITH SCORE 2.3235575265E7
AT ITER 227 NEW BEST:: SOT 123354835 SOS 80300610 HAS SOPS 65278105 HAS SOUS 23727920 HAS SOUPS 23154826 WITH SCORE 2.323512661E7
AT ITER 228 NEW BEST:: SOT 123319429 SOS 80258559 HAS SOPS 65237565 HAS SOUS 23664420 HAS SOUPS 23091326 WITH SCORE 2.3171584559E7
AT ITER 231 NEW BEST:: SOT 123325353 SOS 80273779 HAS SOPS 65250793 HAS SOUS 23660286 HAS SOUPS 23087192 WITH SCORE 2.3167465779E7
AT ITER 232 NEW BEST:: SOT 123325925 SOS 80274813 HAS SOPS 65250679 HAS SOUS 23659106 HAS SOUPS 23086012 WITH SCORE 2.3166286813E7
AT ITER 246 NEW BEST:: SOT 123338067 SOS 80286959 HAS SOPS 65269673 HAS SOUS 23624315 HAS SOUPS 23054110 WITH SCORE 2.3134396959E7
AT ITER 247 NEW BEST:: SOT 123334428 SOS 80282320 HAS SOPS 65270407 HAS SOUS 23620460 HAS SOUPS 23050255 WITH SCORE 2.313053732E7
AT ITER 250 NEW BEST:: SOT 123343344 SOS 80287659 HAS SOPS 65269719 HAS SOUS 23615579 HAS SOUPS 23045374 WITH SCORE 2.3125661659E7
AT ITER 265 NEW BEST:: SOT 123357058 SOS 80318119 HAS SOPS 65299451 HAS SOUS 23605441 HAS SOUPS 23035236 WITH SCORE 2.3115554119E7
AT ITER 271 NEW BEST:: SOT 123357483 SOS 80320270 HAS SOPS 65302062 HAS SOUS 23602727 HAS SOUPS 23032522 WITH SCORE 2.311284227E7
AT ITER 300 NEW BEST:: SOT 123350328 SOS 80279277 HAS SOPS 65267227 HAS SOUS 23567936 HAS SOUPS 22996627 WITH SCORE 2.3076906277E7
AT ITER 306 NEW BEST:: SOT 123353920 SOS 80282507 HAS SOPS 65266034 HAS SOUS 23565006 HAS SOUPS 22993697 WITH SCORE 2.3073979507E7
AT ITER 317 NEW BEST:: SOT 123353925 SOS 80283206 HAS SOPS 65266386 HAS SOUS 23564427 HAS SOUPS 22993118 WITH SCORE 2.3073401206E7
AT ITER 319 NEW BEST:: SOT 123353901 SOS 80283050 HAS SOPS 65266206 HAS SOUS 23564361 HAS SOUPS 22993052 WITH SCORE 2.307333505E7
AT ITER 324 NEW BEST:: SOT 123353881 SOS 80289929 HAS SOPS 65270801 HAS SOUS 23553552 HAS SOUPS 22982243 WITH SCORE 2.3062532929E7
AT ITER 366 NEW BEST:: SOT 123376937 SOS 80356549 HAS SOPS 65348223 HAS SOUS 23549747 HAS SOUPS 22978697 WITH SCORE 2.3059053549E7
AT ITER 371 NEW BEST:: SOT 123375613 SOS 80353800 HAS SOPS 65345908 HAS SOUS 23545956 HAS SOUPS 22974906 WITH SCORE 2.30552598E7
AT ITER 376 NEW BEST:: SOT 123372113 SOS 80349932 HAS SOPS 65340796 HAS SOUS 23538620 HAS SOUPS 22967570 WITH SCORE 2.3047919932E7
AT ITER 378 NEW BEST:: SOT 123381322 SOS 80368181 HAS SOPS 65355022 HAS SOUS 23526889 HAS SOUPS 22955839 WITH SCORE 2.3036207181E7
AT ITER 385 NEW BEST:: SOT 123381077 SOS 80367936 HAS SOPS 65354681 HAS SOUS 23526148 HAS SOUPS 22955098 WITH SCORE 2.3035465936E7
AT ITER 390 NEW BEST:: SOT 123389227 SOS 80410698 HAS SOPS 65383842 HAS SOUS 23497226 HAS SOUPS 22926176 WITH SCORE 2.3006586698E7
AT ITER 403 NEW BEST:: SOT 123380228 SOS 80407081 HAS SOPS 65381641 HAS SOUS 23479133 HAS SOUPS 22908083 WITH SCORE 2.2988490081E7
AT ITER 406 NEW BEST:: SOT 123378305 SOS 80405797 HAS SOPS 65381293 HAS SOUS 23475239 HAS SOUPS 22904189 WITH SCORE 2.2984594797E7
AT ITER 409 NEW BEST:: SOT 123371277 SOS 80415894 HAS SOPS 65374765 HAS SOUS 23432624 HAS SOUPS 22861468 WITH SCORE 2.2941883894E7
AT ITER 421 NEW BEST:: SOT 123361169 SOS 80404653 HAS SOPS 65377937 HAS SOUS 23396673 HAS SOUPS 22825517 WITH SCORE 2.2905921653E7
AT ITER 422 NEW BEST:: SOT 123347682 SOS 80386174 HAS SOPS 65379771 HAS SOUS 23389447 HAS SOUPS 22818291 WITH SCORE 2.2898677174E7
AT ITER 425 NEW BEST:: SOT 123346863 SOS 80384499 HAS SOPS 65378090 HAS SOUS 23388614 HAS SOUPS 22817458 WITH SCORE 2.2897842499E7
AT ITER 441 NEW BEST:: SOT 123346553 SOS 80382061 HAS SOPS 65371506 HAS SOUS 23387934 HAS SOUPS 22816778 WITH SCORE 2.2897160061E7
AT ITER 443 NEW BEST:: SOT 123342708 SOS 80381516 HAS SOPS 65360609 HAS SOUS 23375359 HAS SOUPS 22804233 WITH SCORE 2.2884614516E7
AT ITER 444 NEW BEST:: SOT 123347154 SOS 80399630 HAS SOPS 65373048 HAS SOUS 23369104 HAS SOUPS 22797978 WITH SCORE 2.287837763E7
AT ITER 451 NEW BEST:: SOT 123344730 SOS 80398604 HAS SOPS 65375268 HAS SOUS 23367776 HAS SOUPS 22796650 WITH SCORE 2.2877048604E7
AT ITER 455 NEW BEST:: SOT 123338931 SOS 80388225 HAS SOPS 65368192 HAS SOUS 23357937 HAS SOUPS 22786954 WITH SCORE 2.2867342225E7
AT ITER 474 NEW BEST:: SOT 123336229 SOS 80388051 HAS SOPS 65374318 HAS SOUS 23349702 HAS SOUPS 22778719 WITH SCORE 2.2859107051E7
AT ITER 493 NEW BEST:: SOT 123336919 SOS 80388843 HAS SOPS 65373683 HAS SOUS 23343956 HAS SOUPS 22773092 WITH SCORE 2.2853480843E7
AT ITER 498 NEW BEST:: SOT 123331403 SOS 80377152 HAS SOPS 65367894 HAS SOUS 23341155 HAS SOUPS 22770291 WITH SCORE 2.2850668152E7
AT ITER 503 NEW BEST:: SOT 123319075 SOS 80357810 HAS SOPS 65345643 HAS SOUS 23322523 HAS SOUPS 22751659 WITH SCORE 2.283201681E7
AT ITER 504 NEW BEST:: SOT 123318449 SOS 80357021 HAS SOPS 65344759 HAS SOUS 23322288 HAS SOUPS 22751424 WITH SCORE 2.2831781021E7
AT ITER 505 NEW BEST:: SOT 123327770 SOS 80355445 HAS SOPS 65353970 HAS SOUS 23319549 HAS SOUPS 22748609 WITH SCORE 2.2828964445E7
AT ITER 512 NEW BEST:: SOT 123289116 SOS 80312334 HAS SOPS 65308145 HAS SOUS 23273244 HAS SOUPS 22702417 WITH SCORE 2.2782729334E7
AT ITER 520 NEW BEST:: SOT 123288794 SOS 80312726 HAS SOPS 65308340 HAS SOUS 23269416 HAS SOUPS 22698589 WITH SCORE 2.2778901726E7
AT ITER 573 NEW BEST:: SOT 123280430 SOS 80297666 HAS SOPS 65297639 HAS SOUS 23250677 HAS SOUPS 22679882 WITH SCORE 2.2760179666E7
AT ITER 598 NEW BEST:: SOT 123271864 SOS 80287086 HAS SOPS 65289915 HAS SOUS 23230129 HAS SOUPS 22659215 WITH SCORE 2.2739502086E7
AT ITER 611 NEW BEST:: SOT 123272009 SOS 80292870 HAS SOPS 65288680 HAS SOUS 23219099 HAS SOUPS 22648185 WITH SCORE 2.272847787E7
AT ITER 628 NEW BEST:: SOT 123269189 SOS 80290161 HAS SOPS 65283758 HAS SOUS 23216710 HAS SOUPS 22645631 WITH SCORE 2.2725921161E7
AT ITER 630 NEW BEST:: SOT 123267948 SOS 80299977 HAS SOPS 65288327 HAS SOUS 23192165 HAS SOUPS 22621086 WITH SCORE 2.2701385977E7
AT ITER 631 NEW BEST:: SOT 123250106 SOS 80275504 HAS SOPS 65270430 HAS SOUS 23161993 HAS SOUPS 22591181 WITH SCORE 2.2671456504E7
AT ITER 654 NEW BEST:: SOT 123245947 SOS 80269348 HAS SOPS 65267374 HAS SOUS 23154481 HAS SOUPS 22583669 WITH SCORE 2.2663938348E7
AT ITER 675 NEW BEST:: SOT 123155311 SOS 80161056 HAS SOPS 65162854 HAS SOUS 22998682 HAS SOUPS 22428428 WITH SCORE 2.2508589056E7
AT ITER 683 NEW BEST:: SOT 123154257 SOS 80158158 HAS SOPS 65160814 HAS SOUS 22997212 HAS SOUPS 22427024 WITH SCORE 2.2507182158E7
AT ITER 705 NEW BEST:: SOT 123150924 SOS 80154825 HAS SOPS 65157457 HAS SOUS 22993999 HAS SOUPS 22423811 WITH SCORE 2.2503965825E7
AT ITER 706 NEW BEST:: SOT 123144575 SOS 80146744 HAS SOPS 65148833 HAS SOUS 22984898 HAS SOUPS 22414496 WITH SCORE 2.2494642744E7
AT ITER 725 NEW BEST:: SOT 123143908 SOS 80144959 HAS SOPS 65144590 HAS SOUS 22977731 HAS SOUPS 22407355 WITH SCORE 2.2487499959E7
AT ITER 729 NEW BEST:: SOT 123144191 SOS 80161662 HAS SOPS 65169037 HAS SOUS 22977278 HAS SOUPS 22406902 WITH SCORE 2.2487063662E7
AT ITER 741 NEW BEST:: SOT 123143603 SOS 80160305 HAS SOPS 65173632 HAS SOUS 22964366 HAS SOUPS 22393990 WITH SCORE 2.2474150305E7
AT ITER 756 NEW BEST:: SOT 123143345 SOS 80161615 HAS SOPS 65177594 HAS SOUS 22961086 HAS SOUPS 22390710 WITH SCORE 2.2470871615E7
AT ITER 757 NEW BEST:: SOT 123154216 SOS 80186289 HAS SOPS 65204569 HAS SOUS 22959493 HAS SOUPS 22389417 WITH SCORE 2.2469603289E7
AT ITER 766 NEW BEST:: SOT 123155920 SOS 80188809 HAS SOPS 65208615 HAS SOUS 22956407 HAS SOUPS 22386331 WITH SCORE 2.2466519809E7
AT ITER 769 NEW BEST:: SOT 123152972 SOS 80184558 HAS SOPS 65201039 HAS SOUS 22949744 HAS SOUPS 22379627 WITH SCORE 2.2459811558E7
AT ITER 778 NEW BEST:: SOT 123154220 SOS 80206643 HAS SOPS 65216108 HAS SOUS 22949442 HAS SOUPS 22379325 WITH SCORE 2.2459531643E7
AT ITER 781 NEW BEST:: SOT 123154543 SOS 80206994 HAS SOPS 65216445 HAS SOUS 22948636 HAS SOUPS 22378519 WITH SCORE 2.2458725994E7
AT ITER 793 NEW BEST:: SOT 123154299 SOS 80199874 HAS SOPS 65207437 HAS SOUS 22948633 HAS SOUPS 22378516 WITH SCORE 2.2458715874E7
AT ITER 806 NEW BEST:: SOT 123154314 SOS 80199817 HAS SOPS 65207460 HAS SOUS 22948581 HAS SOUPS 22378464 WITH SCORE 2.2458663817E7
AT ITER 818 NEW BEST:: SOT 123152759 SOS 80198456 HAS SOPS 65205623 HAS SOUS 22945275 HAS SOUPS 22375158 WITH SCORE 2.2455356456E7
AT ITER 822 NEW BEST:: SOT 123156664 SOS 80207757 HAS SOPS 65204649 HAS SOUS 22924913 HAS SOUPS 22354796 WITH SCORE 2.2435003757E7
AT ITER 866 NEW BEST:: SOT 123161221 SOS 80216187 HAS SOPS 65211342 HAS SOUS 22923950 HAS SOUPS 22353833 WITH SCORE 2.2434049187E7
AT ITER 881 NEW BEST:: SOT 123159810 SOS 80212431 HAS SOPS 65205485 HAS SOUS 22920412 HAS SOUPS 22350295 WITH SCORE 2.2430507431E7
AT ITER 887 NEW BEST:: SOT 123140540 SOS 80195360 HAS SOPS 65192899 HAS SOUS 22848070 HAS SOUPS 22278538 WITH SCORE 2.235873336E7
AT ITER 891 NEW BEST:: SOT 123145611 SOS 80199971 HAS SOPS 65191035 HAS SOUS 22833170 HAS SOUPS 22261982 WITH SCORE 2.2342181971E7
AT ITER 905 NEW BEST:: SOT 123143118 SOS 80196664 HAS SOPS 65186339 HAS SOUS 22830766 HAS SOUPS 22259557 WITH SCORE 2.2339753664E7
AT ITER 913 NEW BEST:: SOT 123133369 SOS 80189459 HAS SOPS 65176638 HAS SOUS 22806750 HAS SOUPS 22235414 WITH SCORE 2.2315603459E7
AT ITER 926 NEW BEST:: SOT 123129626 SOS 80182671 HAS SOPS 65181844 HAS SOUS 22800254 HAS SOUPS 22228918 WITH SCORE 2.2309100671E7
AT ITER 936 NEW BEST:: SOT 123115443 SOS 80166846 HAS SOPS 65160156 HAS SOUS 22778248 HAS SOUPS 22206636 WITH SCORE 2.2286802846E7
AT ITER 937 NEW BEST:: SOT 123105216 SOS 80156623 HAS SOPS 65148756 HAS SOUS 22764620 HAS SOUPS 22192911 WITH SCORE 2.2273067623E7
AT ITER 951 NEW BEST:: SOT 123140299 SOS 80234761 HAS SOPS 65222929 HAS SOUS 22747732 HAS SOUPS 22176023 WITH SCORE 2.2256257761E7
AT ITER 953 NEW BEST:: SOT 123140443 SOS 80239284 HAS SOPS 65228372 HAS SOUS 22747686 HAS SOUPS 22175977 WITH SCORE 2.2256216284E7
AT ITER 960 NEW BEST:: SOT 123142582 SOS 80241501 HAS SOPS 65232285 HAS SOUS 22746661 HAS SOUPS 22175360 WITH SCORE 2.2255601501E7
AT ITER 966 NEW BEST:: SOT 123138400 SOS 80239378 HAS SOPS 65235600 HAS SOUS 22745487 HAS SOUPS 22174381 WITH SCORE 2.2254620378E7
AT ITER 978 NEW BEST:: SOT 123150809 SOS 80268125 HAS SOPS 65262858 HAS SOUS 22739516 HAS SOUPS 22168410 WITH SCORE 2.2248678125E7
AT ITER 986 NEW BEST:: SOT 123153933 SOS 80278704 HAS SOPS 65261031 HAS SOUS 22711257 HAS SOUPS 22140151 WITH SCORE 2.2220429704E7
AT ITER 996 NEW BEST:: SOT 123152253 SOS 80283014 HAS SOPS 65261198 HAS SOUS 22700386 HAS SOUPS 22129240 WITH SCORE 2.2209523014E7
AT ITER 1004 NEW BEST:: SOT 123171880 SOS 80336785 HAS SOPS 65311808 HAS SOUS 22688949 HAS SOUPS 22117803 WITH SCORE 2.2198139785E7
AT ITER 1007 NEW BEST:: SOT 123172518 SOS 80340710 HAS SOPS 65313900 HAS SOUS 22683514 HAS SOUPS 22112368 WITH SCORE 2.219270871E7
AT ITER 1019 NEW BEST:: SOT 123171180 SOS 80340594 HAS SOPS 65313579 HAS SOUS 22675310 HAS SOUPS 22104164 WITH SCORE 2.2184504594E7
AT ITER 1020 NEW BEST:: SOT 123189324 SOS 80359120 HAS SOPS 65338387 HAS SOUS 22662151 HAS SOUPS 22093668 WITH SCORE 2.217402712E7
AT ITER 1022 NEW BEST:: SOT 123188172 SOS 80358064 HAS SOPS 65337468 HAS SOUS 22660203 HAS SOUPS 22091720 WITH SCORE 2.2172078064E7
AT ITER 1027 NEW BEST:: SOT 123189919 SOS 80359617 HAS SOPS 65341739 HAS SOUS 22657941 HAS SOUPS 22089458 WITH SCORE 2.2169817617E7
AT ITER 1034 NEW BEST:: SOT 123189418 SOS 80359618 HAS SOPS 65341619 HAS SOUS 22657744 HAS SOUPS 22089261 WITH SCORE 2.2169620618E7
AT ITER 1035 NEW BEST:: SOT 123185012 SOS 80351464 HAS SOPS 65336213 HAS SOUS 22650699 HAS SOUPS 22082260 WITH SCORE 2.2162611464E7
AT ITER 1055 NEW BEST:: SOT 123183212 SOS 80358882 HAS SOPS 65343149 HAS SOUS 22642732 HAS SOUPS 22074293 WITH SCORE 2.2154651882E7
AT ITER 1069 NEW BEST:: SOT 123184133 SOS 80366567 HAS SOPS 65342916 HAS SOUS 22624021 HAS SOUPS 22055582 WITH SCORE 2.2135948567E7
AT ITER 1081 NEW BEST:: SOT 123201112 SOS 80416965 HAS SOPS 65374562 HAS SOUS 22604937 HAS SOUPS 22036498 WITH SCORE 2.2116914965E7
AT ITER 1088 NEW BEST:: SOT 123193747 SOS 80409457 HAS SOPS 65364580 HAS SOUS 22583597 HAS SOUPS 22015158 WITH SCORE 2.2095567457E7
AT ITER 1093 NEW BEST:: SOT 123193748 SOS 80410656 HAS SOPS 65364542 HAS SOUS 22582911 HAS SOUPS 22014472 WITH SCORE 2.2094882656E7
AT ITER 1118 NEW BEST:: SOT 123191102 SOS 80412941 HAS SOPS 65370559 HAS SOUS 22569891 HAS SOUPS 22001523 WITH SCORE 2.2081935941E7
AT ITER 1120 NEW BEST:: SOT 123176526 SOS 80405437 HAS SOPS 65375208 HAS SOUS 22493608 HAS SOUPS 21924987 WITH SCORE 2.2005392437E7
AT ITER 1122 NEW BEST:: SOT 123163981 SOS 80382606 HAS SOPS 65352086 HAS SOUS 22467505 HAS SOUPS 21898506 WITH SCORE 2.1978888606E7
AT ITER 1132 NEW BEST:: SOT 123149043 SOS 80354352 HAS SOPS 65327159 HAS SOUS 22459277 HAS SOUPS 21890278 WITH SCORE 2.1970632352E7
AT ITER 1138 NEW BEST:: SOT 123134874 SOS 80331845 HAS SOPS 65304636 HAS SOUS 22439594 HAS SOUPS 21870595 WITH SCORE 2.1950926845E7
AT ITER 1168 NEW BEST:: SOT 123135433 SOS 80333051 HAS SOPS 65306265 HAS SOUS 22436859 HAS SOUPS 21867860 WITH SCORE 2.1948193051E7
AT ITER 1174 NEW BEST:: SOT 123132307 SOS 80334045 HAS SOPS 65300450 HAS SOUS 22427621 HAS SOUPS 21858743 WITH SCORE 2.1939077045E7
AT ITER 1228 NEW BEST:: SOT 123132493 SOS 80334615 HAS SOPS 65300960 HAS SOUS 22427474 HAS SOUPS 21858596 WITH SCORE 2.1938930615E7
AT ITER 1231 NEW BEST:: SOT 123132322 SOS 80338730 HAS SOPS 65300252 HAS SOUS 22422116 HAS SOUPS 21853238 WITH SCORE 2.193357673E7
AT ITER 1237 NEW BEST:: SOT 123133187 SOS 80331405 HAS SOPS 65331120 HAS SOUS 22419567 HAS SOUPS 21850995 WITH SCORE 2.1931326405E7
AT ITER 1249 NEW BEST:: SOT 123133181 SOS 80330547 HAS SOPS 65333232 HAS SOUS 22419482 HAS SOUPS 21850910 WITH SCORE 2.1931240547E7
AT ITER 1270 NEW BEST:: SOT 123118533 SOS 80306759 HAS SOPS 65310436 HAS SOUS 22397545 HAS SOUPS 21829147 WITH SCORE 2.1909453759E7
AT ITER 1272 NEW BEST:: SOT 123124380 SOS 80338243 HAS SOPS 65342335 HAS SOUS 22374621 HAS SOUPS 21806335 WITH SCORE 2.1886673243E7
AT ITER 1274 NEW BEST:: SOT 123127995 SOS 80351386 HAS SOPS 65358093 HAS SOUS 22371074 HAS SOUPS 21802851 WITH SCORE 2.1883202386E7
AT ITER 1283 NEW BEST:: SOT 123130115 SOS 80371265 HAS SOPS 65372493 HAS SOUS 22354937 HAS SOUPS 21786714 WITH SCORE 2.1867085265E7
AT ITER 1287 NEW BEST:: SOT 123221821 SOS 80498055 HAS SOPS 65481170 HAS SOUS 22331279 HAS SOUPS 21759872 WITH SCORE 2.1840370055E7
AT ITER 1288 NEW BEST:: SOT 123215355 SOS 80480279 HAS SOPS 65465777 HAS SOUS 22329606 HAS SOUPS 21758199 WITH SCORE 2.1838679279E7
AT ITER 1297 NEW BEST:: SOT 123214573 SOS 80476926 HAS SOPS 65462655 HAS SOUS 22329289 HAS SOUPS 21757933 WITH SCORE 2.1838409926E7
AT ITER 1308 NEW BEST:: SOT 123197421 SOS 80450597 HAS SOPS 65438555 HAS SOUS 22324385 HAS SOUPS 21753029 WITH SCORE 2.1833479597E7
AT ITER 1329 NEW BEST:: SOT 123197421 SOS 80454707 HAS SOPS 65457056 HAS SOUS 22324066 HAS SOUPS 21752800 WITH SCORE 2.1833254707E7
AT ITER 1331 NEW BEST:: SOT 123194657 SOS 80452111 HAS SOPS 65454036 HAS SOUS 22320079 HAS SOUPS 21748728 WITH SCORE 2.1829180111E7
AT ITER 1339 NEW BEST:: SOT 123193785 SOS 80449842 HAS SOPS 65451954 HAS SOUS 22318551 HAS SOUPS 21747211 WITH SCORE 2.1827660842E7
AT ITER 1356 NEW BEST:: SOT 123189309 SOS 80466779 HAS SOPS 65478746 HAS SOUS 22317644 HAS SOUPS 21746304 WITH SCORE 2.1826770779E7
AT ITER 1371 NEW BEST:: SOT 123190804 SOS 80468523 HAS SOPS 65480341 HAS SOUS 22307634 HAS SOUPS 21736294 WITH SCORE 2.1816762523E7
AT ITER 1402 NEW BEST:: SOT 123194954 SOS 80463625 HAS SOPS 65488441 HAS SOUS 22306583 HAS SOUPS 21735888 WITH SCORE 2.1816351625E7
AT ITER 1410 NEW BEST:: SOT 123186373 SOS 80458557 HAS SOPS 65483022 HAS SOUS 22282813 HAS SOUPS 21712118 WITH SCORE 2.1792576557E7
AT ITER 1420 NEW BEST:: SOT 123184868 SOS 80458935 HAS SOPS 65484626 HAS SOUS 22282065 HAS SOUPS 21711337 WITH SCORE 2.1791795935E7
AT ITER 1422 NEW BEST:: SOT 123168608 SOS 80437059 HAS SOPS 65465741 HAS SOUS 22258975 HAS SOUPS 21688683 WITH SCORE 2.1769120059E7
AT ITER 1456 NEW BEST:: SOT 123168509 SOS 80436804 HAS SOPS 65465606 HAS SOUS 22258871 HAS SOUPS 21688582 WITH SCORE 2.1769018804E7
AT ITER 1461 NEW BEST:: SOT 123165537 SOS 80431010 HAS SOPS 65458765 HAS SOUS 22254103 HAS SOUPS 21683814 WITH SCORE 2.176424501E7
AT ITER 1470 NEW BEST:: SOT 123075845 SOS 80338211 HAS SOPS 65362434 HAS SOUS 22107338 HAS SOUPS 21536634 WITH SCORE 2.1616972211E7
AT ITER 1514 NEW BEST:: SOT 123077593 SOS 80338730 HAS SOPS 65362269 HAS SOUS 22102135 HAS SOUPS 21531461 WITH SCORE 2.161179973E7
AT ITER 1529 NEW BEST:: SOT 123069647 SOS 80321026 HAS SOPS 65353424 HAS SOUS 22096548 HAS SOUPS 21525874 WITH SCORE 2.1606195026E7
AT ITER 1535 NEW BEST:: SOT 123065149 SOS 80315674 HAS SOPS 65343475 HAS SOUS 22084653 HAS SOUPS 21513979 WITH SCORE 2.1594294674E7
AT ITER 1537 NEW BEST:: SOT 123073047 SOS 80322383 HAS SOPS 65354279 HAS SOUS 22075109 HAS SOUPS 21504581 WITH SCORE 2.1584903383E7
AT ITER 1545 NEW BEST:: SOT 123069475 SOS 80312105 HAS SOPS 65343604 HAS SOUS 22070451 HAS SOUPS 21499923 WITH SCORE 2.1580235105E7
AT ITER 1566 NEW BEST:: SOT 123069719 SOS 80313479 HAS SOPS 65343524 HAS SOUS 22067969 HAS SOUPS 21497441 WITH SCORE 2.1577754479E7
AT ITER 1574 NEW BEST:: SOT 123077507 SOS 80344085 HAS SOPS 65365270 HAS SOUS 22057738 HAS SOUPS 21487210 WITH SCORE 2.1567554085E7
AT ITER 1581 NEW BEST:: SOT 123107051 SOS 80339706 HAS SOPS 65371021 HAS SOUS 22047333 HAS SOUPS 21476624 WITH SCORE 2.1556963706E7
AT ITER 1588 NEW BEST:: SOT 123104081 SOS 80336736 HAS SOPS 65367155 HAS SOUS 22044363 HAS SOUPS 21472758 WITH SCORE 2.1553094736E7
AT ITER 1598 NEW BEST:: SOT 123103062 SOS 80336250 HAS SOPS 65367275 HAS SOUS 22041131 HAS SOUPS 21469526 WITH SCORE 2.154986225E7
AT ITER 1608 NEW BEST:: SOT 123074254 SOS 80308313 HAS SOPS 65313138 HAS SOUS 22019482 HAS SOUPS 21437669 WITH SCORE 2.1517977313E7
AT ITER 1621 NEW BEST:: SOT 123069085 SOS 80303552 HAS SOPS 65306273 HAS SOUS 22010129 HAS SOUPS 21428316 WITH SCORE 2.1508619552E7
AT ITER 1631 NEW BEST:: SOT 123058340 SOS 80293012 HAS SOPS 65297278 HAS SOUS 22000484 HAS SOUPS 21420089 WITH SCORE 2.1500382012E7
AT ITER 1633 NEW BEST:: SOT 123058318 SOS 80292767 HAS SOPS 65297057 HAS SOUS 22000443 HAS SOUPS 21420049 WITH SCORE 2.1500341767E7
AT ITER 1689 NEW BEST:: SOT 123058343 SOS 80299328 HAS SOPS 65304738 HAS SOUS 22000148 HAS SOUPS 21419754 WITH SCORE 2.1500053328E7
AT ITER 1699 NEW BEST:: SOT 123060240 SOS 80299248 HAS SOPS 65306943 HAS SOUS 21999163 HAS SOUPS 21418844 WITH SCORE 2.1499143248E7
AT ITER 1700 NEW BEST:: SOT 123054709 SOS 80289818 HAS SOPS 65296596 HAS SOUS 21988495 HAS SOUPS 21409376 WITH SCORE 2.1489665818E7
AT ITER 1715 NEW BEST:: SOT 123040463 SOS 80275575 HAS SOPS 65270553 HAS SOUS 21951682 HAS SOUPS 21372563 WITH SCORE 2.1452838575E7
AT ITER 1738 NEW BEST:: SOT 123041904 SOS 80279177 HAS SOPS 65273026 HAS SOUS 21951046 HAS SOUPS 21371885 WITH SCORE 2.1452164177E7
AT ITER 1742 NEW BEST:: SOT 122945820 SOS 80175553 HAS SOPS 65162479 HAS SOUS 21763116 HAS SOUPS 21184084 WITH SCORE 2.1264259553E7
AT ITER 1745 NEW BEST:: SOT 122945656 SOS 80175475 HAS SOPS 65161204 HAS SOUS 21761842 HAS SOUPS 21182790 WITH SCORE 2.1262965475E7
AT ITER 1746 NEW BEST:: SOT 122943736 SOS 80171404 HAS SOPS 65160903 HAS SOUS 21754561 HAS SOUPS 21175724 WITH SCORE 2.1255895404E7
AT ITER 1761 NEW BEST:: SOT 122953454 SOS 80201407 HAS SOPS 65183925 HAS SOUS 21739530 HAS SOUPS 21160693 WITH SCORE 2.1240894407E7
AT ITER 1789 NEW BEST:: SOT 122985790 SOS 80269517 HAS SOPS 65246889 HAS SOUS 21730743 HAS SOUPS 21151906 WITH SCORE 2.1232175517E7
AT ITER 1792 NEW BEST:: SOT 122975906 SOS 80247162 HAS SOPS 65225512 HAS SOUS 21725014 HAS SOUPS 21146177 WITH SCORE 2.1226424162E7
AT ITER 1799 NEW BEST:: SOT 122978977 SOS 80252260 HAS SOPS 65243134 HAS SOUS 21692243 HAS SOUPS 21113726 WITH SCORE 2.119397826E7
AT ITER 1801 NEW BEST:: SOT 123008940 SOS 80319601 HAS SOPS 65326523 HAS SOUS 21644720 HAS SOUPS 21066681 WITH SCORE 2.1147000601E7
AT ITER 1811 NEW BEST:: SOT 122971357 SOS 80275341 HAS SOPS 65306527 HAS SOUS 21642124 HAS SOUPS 21064085 WITH SCORE 2.1144360341E7
AT ITER 1815 NEW BEST:: SOT 122970789 SOS 80274941 HAS SOPS 65306151 HAS SOUS 21640692 HAS SOUPS 21062645 WITH SCORE 2.1142919941E7
AT ITER 1816 NEW BEST:: SOT 122961809 SOS 80260354 HAS SOPS 65292662 HAS SOUS 21628655 HAS SOUPS 21050661 WITH SCORE 2.1130921354E7
AT ITER 1819 NEW BEST:: SOT 122960718 SOS 80262631 HAS SOPS 65300715 HAS SOUS 21627892 HAS SOUPS 21049898 WITH SCORE 2.1130160631E7
AT ITER 1834 NEW BEST:: SOT 122996593 SOS 80342330 HAS SOPS 65392323 HAS SOUS 21626558 HAS SOUPS 21047937 WITH SCORE 2.112827933E7
AT ITER 1836 NEW BEST:: SOT 123007796 SOS 80357858 HAS SOPS 65416798 HAS SOUS 21624439 HAS SOUPS 21046313 WITH SCORE 2.1126670858E7
AT ITER 1839 NEW BEST:: SOT 122995220 SOS 80345899 HAS SOPS 65399442 HAS SOUS 21577926 HAS SOUPS 20999800 WITH SCORE 2.1080145899E7
AT ITER 1843 NEW BEST:: SOT 122994112 SOS 80344039 HAS SOPS 65397565 HAS SOUS 21573987 HAS SOUPS 20995898 WITH SCORE 2.1076242039E7
AT ITER 1869 NEW BEST:: SOT 122993301 SOS 80345367 HAS SOPS 65395979 HAS SOUS 21571719 HAS SOUPS 20993599 WITH SCORE 2.1073944367E7
AT ITER 1882 NEW BEST:: SOT 122993205 SOS 80345331 HAS SOPS 65395927 HAS SOUS 21571479 HAS SOUPS 20993355 WITH SCORE 2.1073700331E7
AT ITER 1899 NEW BEST:: SOT 122993271 SOS 80351335 HAS SOPS 65396481 HAS SOUS 21564614 HAS SOUPS 20986490 WITH SCORE 2.1066841335E7
AT ITER 1901 NEW BEST:: SOT 122991628 SOS 80350343 HAS SOPS 65395153 HAS SOUS 21561858 HAS SOUPS 20983734 WITH SCORE 2.1064084343E7
AT ITER 1941 NEW BEST:: SOT 122993345 SOS 80351821 HAS SOPS 65393085 HAS SOUS 21554286 HAS SOUPS 20976162 WITH SCORE 2.1056513821E7
AT ITER 1943 NEW BEST:: SOT 122993304 SOS 80352769 HAS SOPS 65393640 HAS SOUS 21554145 HAS SOUPS 20976021 WITH SCORE 2.1056373769E7
AT ITER 1946 NEW BEST:: SOT 122969782 SOS 80340011 HAS SOPS 65391929 HAS SOUS 21531770 HAS SOUPS 20953646 WITH SCORE 2.1033986011E7
AT ITER 1947 NEW BEST:: SOT 122973404 SOS 80351092 HAS SOPS 65396335 HAS SOUS 21531533 HAS SOUPS 20953409 WITH SCORE 2.1033760092E7
AT ITER 1961 NEW BEST:: SOT 122970835 SOS 80348523 HAS SOPS 65393766 HAS SOUS 21529492 HAS SOUPS 20951368 WITH SCORE 2.1031716523E7
AT ITER 1971 NEW BEST:: SOT 122982909 SOS 80375632 HAS SOPS 65410235 HAS SOUS 21521089 HAS SOUPS 20942965 WITH SCORE 2.1023340632E7
AT ITER 1974 NEW BEST:: SOT 122983417 SOS 80412771 HAS SOPS 65449687 HAS SOUS 21520991 HAS SOUPS 20942867 WITH SCORE 2.1023279771E7
AT ITER 1990 NEW BEST:: SOT 122983433 SOS 80412834 HAS SOPS 65449752 HAS SOUS 21520977 HAS SOUPS 20942853 WITH SCORE 2.1023265834E7
AT ITER 1992 NEW BEST:: SOT 122984877 SOS 80430728 HAS SOPS 65470625 HAS SOUS 21517156 HAS SOUPS 20939032 WITH SCORE 2.1019462728E7
AT ITER 1997 NEW BEST:: SOT 122979237 SOS 80419035 HAS SOPS 65459795 HAS SOUS 21500785 HAS SOUPS 20922661 WITH SCORE 2.1003080035E7
AT ITER 2011 NEW BEST:: SOT 122978493 SOS 80419901 HAS SOPS 65461381 HAS SOUS 21500453 HAS SOUPS 20922329 WITH SCORE 2.1002748901E7
AT ITER 2021 NEW BEST:: SOT 122971199 SOS 80424106 HAS SOPS 65463288 HAS SOUS 21496459 HAS SOUPS 20918335 WITH SCORE 2.0998759106E7
AT ITER 2026 NEW BEST:: SOT 122971199 SOS 80418926 HAS SOPS 65476796 HAS SOUS 21496163 HAS SOUPS 20918039 WITH SCORE 2.0998457926E7
AT ITER 2048 NEW BEST:: SOT 122974015 SOS 80423668 HAS SOPS 65480683 HAS SOUS 21495914 HAS SOUPS 20917790 WITH SCORE 2.0998213668E7
AT ITER 2052 NEW BEST:: SOT 122974066 SOS 80428559 HAS SOPS 65483078 HAS SOUS 21495876 HAS SOUPS 20917752 WITH SCORE 2.0998180559E7
AT ITER 2053 NEW BEST:: SOT 122969309 SOS 80412210 HAS SOPS 65474243 HAS SOUS 21483978 HAS SOUPS 20905952 WITH SCORE 2.098636421E7
AT ITER 2060 NEW BEST:: SOT 122967318 SOS 80426420 HAS SOPS 65506652 HAS SOUS 21482314 HAS SOUPS 20904474 WITH SCORE 2.098490042E7
AT ITER 2070 NEW BEST:: SOT 122963356 SOS 80422931 HAS SOPS 65502725 HAS SOUS 21467742 HAS SOUPS 20890525 WITH SCORE 2.0970947931E7
AT ITER 2080 NEW BEST:: SOT 122963126 SOS 80422701 HAS SOPS 65502495 HAS SOUS 21467240 HAS SOUPS 20890023 WITH SCORE 2.0970445701E7
AT ITER 2082 NEW BEST:: SOT 122973557 SOS 80436135 HAS SOPS 65518088 HAS SOUS 21464750 HAS SOUPS 20888530 WITH SCORE 2.0968966135E7
AT ITER 2085 NEW BEST:: SOT 122979769 SOS 80449400 HAS SOPS 65539011 HAS SOUS 21452824 HAS SOUPS 20877127 WITH SCORE 2.09575764E7
AT ITER 2092 NEW BEST:: SOT 122975261 SOS 80448002 HAS SOPS 65536310 HAS SOUS 21446410 HAS SOUPS 20870642 WITH SCORE 2.0951090002E7
AT ITER 2101 NEW BEST:: SOT 122972546 SOS 80443695 HAS SOPS 65530899 HAS SOUS 21434957 HAS SOUPS 20859189 WITH SCORE 2.0939632695E7
AT ITER 2107 NEW BEST:: SOT 122946434 SOS 80417458 HAS SOPS 65504647 HAS SOUS 21405291 HAS SOUPS 20829523 WITH SCORE 2.0909940458E7
AT ITER 2110 NEW BEST:: SOT 122947625 SOS 80438245 HAS SOPS 65526462 HAS SOUS 21404590 HAS SOUPS 20828822 WITH SCORE 2.0909260245E7
AT ITER 2116 NEW BEST:: SOT 122947749 SOS 80437900 HAS SOPS 65525812 HAS SOUS 21403854 HAS SOUPS 20828153 WITH SCORE 2.09085909E7
AT ITER 2130 NEW BEST:: SOT 122943091 SOS 80432984 HAS SOPS 65520590 HAS SOUS 21402510 HAS SOUPS 20826809 WITH SCORE 2.0907241984E7
AT ITER 2132 NEW BEST:: SOT 122941934 SOS 80431326 HAS SOPS 65518115 HAS SOUS 21400476 HAS SOUPS 20824775 WITH SCORE 2.0905206326E7
AT ITER 2154 NEW BEST:: SOT 122922794 SOS 80412229 HAS SOPS 65498975 HAS SOUS 21373358 HAS SOUPS 20797636 WITH SCORE 2.0878048229E7
AT ITER 2157 NEW BEST:: SOT 122938112 SOS 80444077 HAS SOPS 65522939 HAS SOUS 21334965 HAS SOUPS 20759243 WITH SCORE 2.0839687077E7
AT ITER 2174 NEW BEST:: SOT 122950071 SOS 80469510 HAS SOPS 65563849 HAS SOUS 21330559 HAS SOUPS 20754729 WITH SCORE 2.083519851E7
AT ITER 2178 NEW BEST:: SOT 122949995 SOS 80468982 HAS SOPS 65563410 HAS SOUS 21330516 HAS SOUPS 20754689 WITH SCORE 2.0835157982E7
AT ITER 2191 NEW BEST:: SOT 122971484 SOS 80511506 HAS SOPS 65595914 HAS SOUS 21320325 HAS SOUPS 20744809 WITH SCORE 2.0825320506E7
AT ITER 2198 NEW BEST:: SOT 122967116 SOS 80506758 HAS SOPS 65589836 HAS SOUS 21312347 HAS SOUPS 20736831 WITH SCORE 2.0817337758E7
AT ITER 2200 NEW BEST:: SOT 122947549 SOS 80481951 HAS SOPS 65564731 HAS SOUS 21301258 HAS SOUPS 20725742 WITH SCORE 2.0806223951E7
AT ITER 2201 NEW BEST:: SOT 122947575 SOS 80482119 HAS SOPS 65564780 HAS SOUS 21301080 HAS SOUPS 20725564 WITH SCORE 2.0806046119E7
AT ITER 2212 NEW BEST:: SOT 122941502 SOS 80473392 HAS SOPS 65552065 HAS SOUS 21290752 HAS SOUPS 20715236 WITH SCORE 2.0795709392E7
AT ITER 2219 NEW BEST:: SOT 122932202 SOS 80463846 HAS SOPS 65540365 HAS SOUS 21275067 HAS SOUPS 20699551 WITH SCORE 2.0780014846E7
AT ITER 2256 NEW BEST:: SOT 122926824 SOS 80457719 HAS SOPS 65531422 HAS SOUS 21263882 HAS SOUPS 20688366 WITH SCORE 2.0768823719E7
AT ITER 2269 NEW BEST:: SOT 122926007 SOS 80458065 HAS SOPS 65529998 HAS SOUS 21260198 HAS SOUPS 20684682 WITH SCORE 2.0765140065E7
AT ITER 2275 NEW BEST:: SOT 122923899 SOS 80456582 HAS SOPS 65529222 HAS SOUS 21255984 HAS SOUPS 20680435 WITH SCORE 2.0760891582E7
AT ITER 2282 NEW BEST:: SOT 122921225 SOS 80459561 HAS SOPS 65526815 HAS SOUS 21243924 HAS SOUPS 20668342 WITH SCORE 2.0748801561E7
AT ITER 2292 NEW BEST:: SOT 122930833 SOS 80477326 HAS SOPS 65528268 HAS SOUS 21231689 HAS SOUPS 20655966 WITH SCORE 2.0736443326E7
AT ITER 2299 NEW BEST:: SOT 122930833 SOS 80479149 HAS SOPS 65528005 HAS SOUS 21231649 HAS SOUPS 20655926 WITH SCORE 2.0736405149E7
AT ITER 2336 NEW BEST:: SOT 122944337 SOS 80513481 HAS SOPS 65555801 HAS SOUS 21228246 HAS SOUPS 20652523 WITH SCORE 2.0733036481E7
AT ITER 2339 NEW BEST:: SOT 122946810 SOS 80512571 HAS SOPS 65555449 HAS SOUS 21216700 HAS SOUPS 20641074 WITH SCORE 2.0721586571E7
AT ITER 2344 NEW BEST:: SOT 122957965 SOS 80530338 HAS SOPS 65564069 HAS SOUS 21172823 HAS SOUPS 20597902 WITH SCORE 2.0678432338E7
AT ITER 2351 NEW BEST:: SOT 122951728 SOS 80521895 HAS SOPS 65556130 HAS SOUS 21163174 HAS SOUPS 20588253 WITH SCORE 2.0668774895E7
AT ITER 2353 NEW BEST:: SOT 122951692 SOS 80522027 HAS SOPS 65556202 HAS SOUS 21162946 HAS SOUPS 20588013 WITH SCORE 2.0668535027E7
AT ITER 2354 NEW BEST:: SOT 122951692 SOS 80524895 HAS SOPS 65557886 HAS SOUS 21162827 HAS SOUPS 20587894 WITH SCORE 2.0668418895E7
AT ITER 2367 NEW BEST:: SOT 122949095 SOS 80522298 HAS SOPS 65555289 HAS SOUS 21160230 HAS SOUPS 20585297 WITH SCORE 2.0665819298E7
AT ITER 2369 NEW BEST:: SOT 122954042 SOS 80529763 HAS SOPS 65558441 HAS SOUS 21153107 HAS SOUPS 20578174 WITH SCORE 2.0658703763E7
AT ITER 2374 NEW BEST:: SOT 122954152 SOS 80530061 HAS SOPS 65558685 HAS SOUS 21152970 HAS SOUPS 20578037 WITH SCORE 2.0658567061E7
AT ITER 2377 NEW BEST:: SOT 122948368 SOS 80522797 HAS SOPS 65552396 HAS SOUS 21143422 HAS SOUPS 20568526 WITH SCORE 2.0649048797E7
AT ITER 2424 NEW BEST:: SOT 122948368 SOS 80531718 HAS SOPS 65560502 HAS SOUS 21143091 HAS SOUPS 20568195 WITH SCORE 2.0648726718E7
AT ITER 2440 NEW BEST:: SOT 122949720 SOS 80537433 HAS SOPS 65564388 HAS SOUS 21141253 HAS SOUPS 20566357 WITH SCORE 2.0646894433E7
AT ITER 2445 NEW BEST:: SOT 122965921 SOS 80561561 HAS SOPS 65578176 HAS SOUS 21132285 HAS SOUPS 20557389 WITH SCORE 2.0637950561E7
AT ITER 2449 NEW BEST:: SOT 122965921 SOS 80561540 HAS SOPS 65577602 HAS SOUS 21132036 HAS SOUPS 20557133 WITH SCORE 2.063769454E7
AT ITER 2463 NEW BEST:: SOT 122973589 SOS 80572967 HAS SOPS 65592407 HAS SOUS 21121314 HAS SOUPS 20546418 WITH SCORE 2.0626990967E7
AT ITER 2476 NEW BEST:: SOT 122973634 SOS 80584543 HAS SOPS 65605244 HAS SOUS 21121213 HAS SOUPS 20546317 WITH SCORE 2.0626901543E7
AT ITER 2478 NEW BEST:: SOT 122973453 SOS 80579663 HAS SOPS 65601927 HAS SOUS 21121182 HAS SOUPS 20546286 WITH SCORE 2.0626865663E7
AT ITER 2481 NEW BEST:: SOT 123009359 SOS 80628780 HAS SOPS 65643519 HAS SOUS 21117708 HAS SOUPS 20542590 WITH SCORE 2.062321878E7
AT ITER 2497 NEW BEST:: SOT 123008842 SOS 80626206 HAS SOPS 65644820 HAS SOUS 21117638 HAS SOUPS 20542555 WITH SCORE 2.0623181206E7
AT ITER 2507 NEW BEST:: SOT 122992523 SOS 80604132 HAS SOPS 65625859 HAS SOUS 21077872 HAS SOUPS 20502908 WITH SCORE 2.0583512132E7
AT ITER 2532 NEW BEST:: SOT 122991443 SOS 80602958 HAS SOPS 65624194 HAS SOUS 21075291 HAS SOUPS 20500183 WITH SCORE 2.0580785958E7
AT ITER 2538 NEW BEST:: SOT 122991081 SOS 80602348 HAS SOPS 65623662 HAS SOUS 21074513 HAS SOUPS 20499405 WITH SCORE 2.0580007348E7
AT ITER 2548 NEW BEST:: SOT 122995340 SOS 80610995 HAS SOPS 65633426 HAS SOUS 21073282 HAS SOUPS 20498834 WITH SCORE 2.0579444995E7
AT ITER 2567 NEW BEST:: SOT 123012775 SOS 80643097 HAS SOPS 65663355 HAS SOUS 21068325 HAS SOUPS 20491991 WITH SCORE 2.0572634097E7
AT ITER 2568 NEW BEST:: SOT 123013003 SOS 80645727 HAS SOPS 65665504 HAS SOUS 21065863 HAS SOUPS 20489529 WITH SCORE 2.0570174727E7
AT ITER 2576 NEW BEST:: SOT 123021228 SOS 80652290 HAS SOPS 65661610 HAS SOUS 21054749 HAS SOUPS 20473927 WITH SCORE 2.055457929E7
AT ITER 2579 NEW BEST:: SOT 123022282 SOS 80655924 HAS SOPS 65666151 HAS SOUS 21054135 HAS SOUPS 20473313 WITH SCORE 2.0553968924E7
AT ITER 2582 NEW BEST:: SOT 123016428 SOS 80647159 HAS SOPS 65657676 HAS SOUS 21047198 HAS SOUPS 20466400 WITH SCORE 2.0547047159E7
AT ITER 2601 NEW BEST:: SOT 123015962 SOS 80646637 HAS SOPS 65657164 HAS SOUS 21046396 HAS SOUPS 20465600 WITH SCORE 2.0546246637E7
AT ITER 2610 NEW BEST:: SOT 123014540 SOS 80642837 HAS SOPS 65654447 HAS SOUS 21038824 HAS SOUPS 20458223 WITH SCORE 2.0538865837E7
AT ITER 2611 NEW BEST:: SOT 122954376 SOS 80552257 HAS SOPS 65586519 HAS SOUS 20991228 HAS SOUPS 20410627 WITH SCORE 2.0491179257E7
AT ITER 2621 NEW BEST:: SOT 122937846 SOS 80515524 HAS SOPS 65590727 HAS SOUS 20976471 HAS SOUPS 20395870 WITH SCORE 2.0476385524E7
AT ITER 2622 NEW BEST:: SOT 122947183 SOS 80524023 HAS SOPS 65594348 HAS SOUS 20968846 HAS SOUPS 20388111 WITH SCORE 2.0468635023E7
AT ITER 2627 NEW BEST:: SOT 122946161 SOS 80522972 HAS SOPS 65593217 HAS SOUS 20966585 HAS SOUPS 20385863 WITH SCORE 2.0466385972E7
AT ITER 2638 NEW BEST:: SOT 122946367 SOS 80522388 HAS SOPS 65586717 HAS SOUS 20939625 HAS SOUPS 20359005 WITH SCORE 2.0439527388E7
AT ITER 2640 NEW BEST:: SOT 122939682 SOS 80515508 HAS SOPS 65570704 HAS SOUS 20896530 HAS SOUPS 20316100 WITH SCORE 2.0396615508E7
AT ITER 2647 NEW BEST:: SOT 122929843 SOS 80505338 HAS SOPS 65564654 HAS SOUS 20882136 HAS SOUPS 20301844 WITH SCORE 2.0382349338E7
AT ITER 2649 NEW BEST:: SOT 122934174 SOS 80511653 HAS SOPS 65577403 HAS SOUS 20881976 HAS SOUPS 20301614 WITH SCORE 2.0382125653E7
AT ITER 2652 NEW BEST:: SOT 122935841 SOS 80513656 HAS SOPS 65579679 HAS SOUS 20881399 HAS SOUPS 20301052 WITH SCORE 2.0381565656E7
AT ITER 2653 NEW BEST:: SOT 122938330 SOS 80531280 HAS SOPS 65581578 HAS SOUS 20869380 HAS SOUPS 20289033 WITH SCORE 2.036956428E7

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="RERS17pb115-PT-6"
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 RERS17pb115-PT-6, 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 r138-smll-158961502500192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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