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-158961502500160.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-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502500160
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 08:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 08:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 9 21:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 21:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:27 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 1589752109620

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 2
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 7 NEW BEST:: SOT 123433392 SOS 80221984 HAS SOPS 65201699 HAS SOUS 24059967 HAS SOUPS 23487193 WITH SCORE 2.3567414984E7
AT ITER 12 NEW BEST:: SOT 123433936 SOS 80224134 HAS SOPS 65202601 HAS SOUS 24060564 HAS SOUPS 23486932 WITH SCORE 2.3567156134E7
AT ITER 16 NEW BEST:: SOT 123437334 SOS 80238422 HAS SOPS 65211850 HAS SOUS 24053623 HAS SOUPS 23479991 WITH SCORE 2.3560229422E7
AT ITER 18 NEW BEST:: SOT 123434663 SOS 80234121 HAS SOPS 65207984 HAS SOUS 24048881 HAS SOUPS 23475272 WITH SCORE 2.3555506121E7
AT ITER 38 NEW BEST:: SOT 123459798 SOS 80270893 HAS SOPS 65235909 HAS SOUS 24046794 HAS SOUPS 23473185 WITH SCORE 2.3553455893E7
AT ITER 55 NEW BEST:: SOT 123459807 SOS 80266996 HAS SOPS 65251167 HAS SOUS 24046002 HAS SOUPS 23472632 WITH SCORE 2.3552898996E7
AT ITER 63 NEW BEST:: SOT 123459807 SOS 80273572 HAS SOPS 65259439 HAS SOUS 24045941 HAS SOUPS 23472571 WITH SCORE 2.3552844572E7
AT ITER 71 NEW BEST:: SOT 123453360 SOS 80264554 HAS SOPS 65248938 HAS SOUS 24036388 HAS SOUPS 23463018 WITH SCORE 2.3543282554E7
AT ITER 77 NEW BEST:: SOT 123452259 SOS 80262540 HAS SOPS 65247260 HAS SOUS 24031803 HAS SOUPS 23459746 WITH SCORE 2.354000854E7
AT ITER 82 NEW BEST:: SOT 123429799 SOS 80240241 HAS SOPS 65224865 HAS SOUS 23999360 HAS SOUPS 23427303 WITH SCORE 2.3507543241E7
AT ITER 91 NEW BEST:: SOT 123429799 SOS 80241409 HAS SOPS 65227985 HAS SOUS 23999345 HAS SOUPS 23427288 WITH SCORE 2.3507529409E7
AT ITER 93 NEW BEST:: SOT 123430346 SOS 80243160 HAS SOPS 65229134 HAS SOUS 23998920 HAS SOUPS 23426863 WITH SCORE 2.350710616E7
AT ITER 95 NEW BEST:: SOT 123423158 SOS 80232556 HAS SOPS 65225128 HAS SOUS 23974239 HAS SOUPS 23402198 WITH SCORE 2.3482430556E7
AT ITER 103 NEW BEST:: SOT 123424688 SOS 80229183 HAS SOPS 65222043 HAS SOUS 23962232 HAS SOUPS 23390191 WITH SCORE 2.3470420183E7
AT ITER 118 NEW BEST:: SOT 123430972 SOS 80243241 HAS SOPS 65232632 HAS SOUS 23953341 HAS SOUPS 23381591 WITH SCORE 2.3461834241E7
AT ITER 121 NEW BEST:: SOT 123395195 SOS 80190624 HAS SOPS 65189843 HAS SOUS 23920230 HAS SOUPS 23348773 WITH SCORE 2.3428963624E7
AT ITER 125 NEW BEST:: SOT 123400117 SOS 80203891 HAS SOPS 65198011 HAS SOUS 23911216 HAS SOUPS 23339721 WITH SCORE 2.3419924891E7
AT ITER 131 NEW BEST:: SOT 123399589 SOS 80202117 HAS SOPS 65196201 HAS SOUS 23908938 HAS SOUPS 23337484 WITH SCORE 2.3417686117E7
AT ITER 150 NEW BEST:: SOT 123398059 SOS 80200961 HAS SOPS 65194382 HAS SOUS 23906677 HAS SOUPS 23335002 WITH SCORE 2.3415202961E7
AT ITER 159 NEW BEST:: SOT 123353413 SOS 80150393 HAS SOPS 65143128 HAS SOUS 23853142 HAS SOUPS 23281571 WITH SCORE 2.3361721393E7
AT ITER 166 NEW BEST:: SOT 123342824 SOS 80120393 HAS SOPS 65120858 HAS SOUS 23848642 HAS SOUPS 23277071 WITH SCORE 2.3357191393E7
AT ITER 170 NEW BEST:: SOT 123343133 SOS 80123960 HAS SOPS 65136941 HAS SOUS 23848224 HAS SOUPS 23276425 WITH SCORE 2.335654896E7
AT ITER 181 NEW BEST:: SOT 123342252 SOS 80123008 HAS SOPS 65141828 HAS SOUS 23843077 HAS SOUPS 23271946 WITH SCORE 2.3352069008E7
AT ITER 183 NEW BEST:: SOT 123354416 SOS 80149194 HAS SOPS 65160965 HAS SOUS 23830589 HAS SOUPS 23259342 WITH SCORE 2.3339491194E7
AT ITER 190 NEW BEST:: SOT 123354416 SOS 80150512 HAS SOPS 65160800 HAS SOUS 23830245 HAS SOUPS 23258998 WITH SCORE 2.3339148512E7
AT ITER 195 NEW BEST:: SOT 123354505 SOS 80155127 HAS SOPS 65165211 HAS SOUS 23829848 HAS SOUPS 23258601 WITH SCORE 2.3338756127E7
AT ITER 199 NEW BEST:: SOT 123354505 SOS 80155223 HAS SOPS 65165307 HAS SOUS 23829847 HAS SOUPS 23258600 WITH SCORE 2.3338755223E7
AT ITER 209 NEW BEST:: SOT 123331102 SOS 80136585 HAS SOPS 65174949 HAS SOUS 23823705 HAS SOUPS 23252458 WITH SCORE 2.3332594585E7
AT ITER 211 NEW BEST:: SOT 123340515 SOS 80151286 HAS SOPS 65202506 HAS SOUS 23823664 HAS SOUPS 23252417 WITH SCORE 2.3332568286E7
AT ITER 223 NEW BEST:: SOT 123340609 SOS 80150992 HAS SOPS 65204398 HAS SOUS 23822305 HAS SOUPS 23251058 WITH SCORE 2.3331208992E7
AT ITER 225 NEW BEST:: SOT 123349064 SOS 80174924 HAS SOPS 65229747 HAS SOUS 23813844 HAS SOUPS 23242696 WITH SCORE 2.3322870924E7
AT ITER 234 NEW BEST:: SOT 123342537 SOS 80168371 HAS SOPS 65223027 HAS SOUS 23806663 HAS SOUPS 23235515 WITH SCORE 2.3315683371E7
AT ITER 244 NEW BEST:: SOT 123326398 SOS 80162850 HAS SOPS 65224208 HAS SOUS 23804628 HAS SOUPS 23233480 WITH SCORE 2.331364285E7
AT ITER 250 NEW BEST:: SOT 123326958 SOS 80164019 HAS SOPS 65227135 HAS SOUS 23804261 HAS SOUPS 23233134 WITH SCORE 2.3313298019E7
AT ITER 254 NEW BEST:: SOT 123326742 SOS 80163123 HAS SOPS 65226359 HAS SOUS 23804123 HAS SOUPS 23233016 WITH SCORE 2.3313179123E7
AT ITER 258 NEW BEST:: SOT 123315055 SOS 80142988 HAS SOPS 65219127 HAS SOUS 23789324 HAS SOUPS 23218247 WITH SCORE 2.3298389988E7
AT ITER 277 NEW BEST:: SOT 123315055 SOS 80143436 HAS SOPS 65219447 HAS SOUS 23789320 HAS SOUPS 23218243 WITH SCORE 2.3298386436E7
AT ITER 282 NEW BEST:: SOT 123309091 SOS 80134305 HAS SOPS 65211676 HAS SOUS 23781618 HAS SOUPS 23210541 WITH SCORE 2.3290675305E7
AT ITER 285 NEW BEST:: SOT 123314816 SOS 80147616 HAS SOPS 65231600 HAS SOUS 23778469 HAS SOUPS 23207654 WITH SCORE 2.3287801616E7
AT ITER 292 NEW BEST:: SOT 123303381 SOS 80140490 HAS SOPS 65217201 HAS SOUS 23739467 HAS SOUPS 23168652 WITH SCORE 2.324879249E7
AT ITER 295 NEW BEST:: SOT 123303329 SOS 80140737 HAS SOPS 65217383 HAS SOUS 23739087 HAS SOUPS 23168259 WITH SCORE 2.3248399737E7
AT ITER 310 NEW BEST:: SOT 123303318 SOS 80156601 HAS SOPS 65239089 HAS SOUS 23738937 HAS SOUPS 23168109 WITH SCORE 2.3248265601E7
AT ITER 311 NEW BEST:: SOT 123300780 SOS 80153788 HAS SOPS 65237994 HAS SOUS 23734330 HAS SOUPS 23163474 WITH SCORE 2.3243627788E7
AT ITER 313 NEW BEST:: SOT 123308250 SOS 80186657 HAS SOPS 65265683 HAS SOUS 23727901 HAS SOUPS 23157045 WITH SCORE 2.3237231657E7
AT ITER 345 NEW BEST:: SOT 123291241 SOS 80152761 HAS SOPS 65239742 HAS SOUS 23720827 HAS SOUPS 23150192 WITH SCORE 2.3230344761E7
AT ITER 352 NEW BEST:: SOT 123268314 SOS 80130991 HAS SOPS 65210103 HAS SOUS 23686343 HAS SOUPS 23114290 WITH SCORE 2.3194420991E7
AT ITER 359 NEW BEST:: SOT 123284079 SOS 80148027 HAS SOPS 65237050 HAS SOUS 23661330 HAS SOUPS 23091644 WITH SCORE 2.3171792027E7
AT ITER 386 NEW BEST:: SOT 123314155 SOS 80187629 HAS SOPS 65266765 HAS SOUS 23629833 HAS SOUPS 23060805 WITH SCORE 2.3140992629E7
AT ITER 395 NEW BEST:: SOT 123305024 SOS 80178498 HAS SOPS 65256802 HAS SOUS 23620702 HAS SOUPS 23050842 WITH SCORE 2.3131020498E7
AT ITER 399 NEW BEST:: SOT 123305024 SOS 80178122 HAS SOPS 65256686 HAS SOUS 23620658 HAS SOUPS 23050798 WITH SCORE 2.3130976122E7
AT ITER 403 NEW BEST:: SOT 123302707 SOS 80172960 HAS SOPS 65245959 HAS SOUS 23606589 HAS SOUPS 23036729 WITH SCORE 2.311690196E7
AT ITER 419 NEW BEST:: SOT 123306884 SOS 80191105 HAS SOPS 65263670 HAS SOUS 23599925 HAS SOUPS 23030065 WITH SCORE 2.3110256105E7
AT ITER 420 NEW BEST:: SOT 123295218 SOS 80179439 HAS SOPS 65252004 HAS SOUS 23588259 HAS SOUPS 23018399 WITH SCORE 2.3098578439E7
AT ITER 426 NEW BEST:: SOT 123295242 SOS 80180607 HAS SOPS 65251540 HAS SOUS 23588248 HAS SOUPS 23018388 WITH SCORE 2.3098568607E7
AT ITER 431 NEW BEST:: SOT 123336185 SOS 80287218 HAS SOPS 65333552 HAS SOUS 23582588 HAS SOUPS 23012728 WITH SCORE 2.3093015218E7
AT ITER 437 NEW BEST:: SOT 123331304 SOS 80280646 HAS SOPS 65327118 HAS SOUS 23568734 HAS SOUPS 22998962 WITH SCORE 2.3079242646E7
AT ITER 438 NEW BEST:: SOT 123263951 SOS 80197480 HAS SOPS 65219323 HAS SOUS 23494918 HAS SOUPS 22925534 WITH SCORE 2.300573148E7
AT ITER 445 NEW BEST:: SOT 123267499 SOS 80216201 HAS SOPS 65231687 HAS SOUS 23479739 HAS SOUPS 22910355 WITH SCORE 2.2990571201E7
AT ITER 471 NEW BEST:: SOT 123278157 SOS 80244126 HAS SOPS 65251694 HAS SOUS 23462020 HAS SOUPS 22892636 WITH SCORE 2.2972880126E7
AT ITER 473 NEW BEST:: SOT 123280807 SOS 80248612 HAS SOPS 65254642 HAS SOUS 23461452 HAS SOUPS 22892068 WITH SCORE 2.2972316612E7
AT ITER 475 NEW BEST:: SOT 123281897 SOS 80252607 HAS SOPS 65259187 HAS SOUS 23454729 HAS SOUPS 22885345 WITH SCORE 2.2965597607E7
AT ITER 482 NEW BEST:: SOT 123297467 SOS 80291390 HAS SOPS 65284359 HAS SOUS 23434649 HAS SOUPS 22865265 WITH SCORE 2.294555639E7
AT ITER 500 NEW BEST:: SOT 123297508 SOS 80291644 HAS SOPS 65284115 HAS SOUS 23433836 HAS SOUPS 22864452 WITH SCORE 2.2944743644E7
AT ITER 524 NEW BEST:: SOT 123287661 SOS 80266885 HAS SOPS 65264042 HAS SOUS 23431426 HAS SOUPS 22862042 WITH SCORE 2.2942308885E7
AT ITER 528 NEW BEST:: SOT 123285261 SOS 80264042 HAS SOPS 65262543 HAS SOUS 23425344 HAS SOUPS 22855960 WITH SCORE 2.2936224042E7
AT ITER 544 NEW BEST:: SOT 123281327 SOS 80259754 HAS SOPS 65257748 HAS SOUS 23420018 HAS SOUPS 22850675 WITH SCORE 2.2930934754E7
AT ITER 547 NEW BEST:: SOT 123301527 SOS 80298653 HAS SOPS 65304318 HAS SOUS 23412735 HAS SOUPS 22843588 WITH SCORE 2.2923886653E7
AT ITER 548 NEW BEST:: SOT 123301518 SOS 80300198 HAS SOPS 65306110 HAS SOUS 23412723 HAS SOUPS 22843576 WITH SCORE 2.2923876198E7
AT ITER 549 NEW BEST:: SOT 123310291 SOS 80326152 HAS SOPS 65336654 HAS SOUS 23410234 HAS SOUPS 22841087 WITH SCORE 2.2921413152E7
AT ITER 553 NEW BEST:: SOT 123302315 SOS 80318227 HAS SOPS 65328660 HAS SOUS 23404919 HAS SOUPS 22835742 WITH SCORE 2.2916060227E7
AT ITER 567 NEW BEST:: SOT 123302105 SOS 80317891 HAS SOPS 65328275 HAS SOUS 23404546 HAS SOUPS 22835373 WITH SCORE 2.2915690891E7
AT ITER 585 NEW BEST:: SOT 123303021 SOS 80319717 HAS SOPS 65329571 HAS SOUS 23403840 HAS SOUPS 22834667 WITH SCORE 2.2914986717E7
AT ITER 588 NEW BEST:: SOT 123305028 SOS 80327408 HAS SOPS 65336198 HAS SOUS 23396216 HAS SOUPS 22827055 WITH SCORE 2.2907382408E7
AT ITER 593 NEW BEST:: SOT 123313654 SOS 80339279 HAS SOPS 65350559 HAS SOUS 23390413 HAS SOUPS 22821252 WITH SCORE 2.2901591279E7
AT ITER 608 NEW BEST:: SOT 123299397 SOS 80312751 HAS SOPS 65329739 HAS SOUS 23382899 HAS SOUPS 22813877 WITH SCORE 2.2894189751E7
AT ITER 610 NEW BEST:: SOT 123302696 SOS 80319163 HAS SOPS 65338603 HAS SOUS 23381787 HAS SOUPS 22812765 WITH SCORE 2.2893084163E7
AT ITER 635 NEW BEST:: SOT 123304318 SOS 80324991 HAS SOPS 65348851 HAS SOUS 23375754 HAS SOUPS 22806792 WITH SCORE 2.2887116991E7
AT ITER 649 NEW BEST:: SOT 123299172 SOS 80319845 HAS SOPS 65343481 HAS SOUS 23370920 HAS SOUPS 22801958 WITH SCORE 2.2882277845E7
AT ITER 653 NEW BEST:: SOT 123302870 SOS 80347889 HAS SOPS 65366950 HAS SOUS 23336713 HAS SOUPS 22767751 WITH SCORE 2.2848098889E7
AT ITER 656 NEW BEST:: SOT 123283245 SOS 80316739 HAS SOPS 65347886 HAS SOUS 23258566 HAS SOUPS 22690100 WITH SCORE 2.2770416739E7
AT ITER 672 NEW BEST:: SOT 123300517 SOS 80360601 HAS SOPS 65378140 HAS SOUS 23255285 HAS SOUPS 22686819 WITH SCORE 2.2767179601E7
AT ITER 674 NEW BEST:: SOT 123300853 SOS 80364428 HAS SOPS 65379784 HAS SOUS 23247033 HAS SOUPS 22678567 WITH SCORE 2.2758931428E7
AT ITER 681 NEW BEST:: SOT 123300693 SOS 80365315 HAS SOPS 65378188 HAS SOUS 23245047 HAS SOUPS 22676581 WITH SCORE 2.2756946315E7
AT ITER 686 NEW BEST:: SOT 123288043 SOS 80356997 HAS SOPS 65353258 HAS SOUS 23212636 HAS SOUPS 22644166 WITH SCORE 2.2724522997E7
AT ITER 689 NEW BEST:: SOT 123302637 SOS 80408161 HAS SOPS 65392701 HAS SOUS 23189463 HAS SOUPS 22620993 WITH SCORE 2.2701401161E7
AT ITER 694 NEW BEST:: SOT 123304896 SOS 80414481 HAS SOPS 65395104 HAS SOUS 23173718 HAS SOUPS 22605248 WITH SCORE 2.2685662481E7
AT ITER 696 NEW BEST:: SOT 123316934 SOS 80450437 HAS SOPS 65418153 HAS SOUS 23144894 HAS SOUPS 22576647 WITH SCORE 2.2657097437E7
AT ITER 713 NEW BEST:: SOT 123286783 SOS 80382055 HAS SOPS 65372021 HAS SOUS 23135187 HAS SOUPS 22566940 WITH SCORE 2.2647322055E7
AT ITER 714 NEW BEST:: SOT 123272211 SOS 80368041 HAS SOPS 65374791 HAS SOUS 23114468 HAS SOUPS 22546221 WITH SCORE 2.2626589041E7
AT ITER 729 NEW BEST:: SOT 123241378 SOS 80328644 HAS SOPS 65339777 HAS SOUS 23072264 HAS SOUPS 22504017 WITH SCORE 2.2584345644E7
AT ITER 748 NEW BEST:: SOT 123244461 SOS 80336714 HAS SOPS 65343442 HAS SOUS 23067581 HAS SOUPS 22499666 WITH SCORE 2.2580002714E7
AT ITER 779 NEW BEST:: SOT 123242115 SOS 80336541 HAS SOPS 65341063 HAS SOUS 23061002 HAS SOUPS 22493087 WITH SCORE 2.2573423541E7
AT ITER 780 NEW BEST:: SOT 123266575 SOS 80386822 HAS SOPS 65386383 HAS SOUS 23052897 HAS SOUPS 22484982 WITH SCORE 2.2565368822E7
AT ITER 785 NEW BEST:: SOT 123264523 SOS 80383254 HAS SOPS 65389205 HAS SOUS 23043650 HAS SOUPS 22475573 WITH SCORE 2.2555956254E7
AT ITER 787 NEW BEST:: SOT 123235054 SOS 80346271 HAS SOPS 65354757 HAS SOUS 23035757 HAS SOUPS 22467680 WITH SCORE 2.2548026271E7
AT ITER 791 NEW BEST:: SOT 123229227 SOS 80338997 HAS SOPS 65341258 HAS SOUS 23024005 HAS SOUPS 22455928 WITH SCORE 2.2536266997E7
AT ITER 794 NEW BEST:: SOT 123228914 SOS 80338599 HAS SOPS 65341387 HAS SOUS 23023793 HAS SOUPS 22455716 WITH SCORE 2.2536054599E7
AT ITER 797 NEW BEST:: SOT 123230311 SOS 80374703 HAS SOPS 65384329 HAS SOUS 23023675 HAS SOUPS 22455598 WITH SCORE 2.2535972703E7
AT ITER 808 NEW BEST:: SOT 123222476 SOS 80366800 HAS SOPS 65375768 HAS SOUS 23003526 HAS SOUPS 22435648 WITH SCORE 2.25160148E7
AT ITER 833 NEW BEST:: SOT 123225974 SOS 80374465 HAS SOPS 65375144 HAS SOUS 22999117 HAS SOUPS 22431239 WITH SCORE 2.2511613465E7
AT ITER 858 NEW BEST:: SOT 123199395 SOS 80332190 HAS SOPS 65337417 HAS SOUS 22976365 HAS SOUPS 22408647 WITH SCORE 2.248897919E7
AT ITER 859 NEW BEST:: SOT 123189479 SOS 80324638 HAS SOPS 65333498 HAS SOUS 22943685 HAS SOUPS 22375845 WITH SCORE 2.2456169638E7
AT ITER 863 NEW BEST:: SOT 123191813 SOS 80323579 HAS SOPS 65343211 HAS SOUS 22924811 HAS SOUPS 22356971 WITH SCORE 2.2437294579E7
AT ITER 866 NEW BEST:: SOT 123186637 SOS 80320048 HAS SOPS 65339193 HAS SOUS 22902779 HAS SOUPS 22335051 WITH SCORE 2.2415371048E7
AT ITER 877 NEW BEST:: SOT 123183442 SOS 80313704 HAS SOPS 65333335 HAS SOUS 22893337 HAS SOUPS 22325609 WITH SCORE 2.2405922704E7
AT ITER 880 NEW BEST:: SOT 123189780 SOS 80329740 HAS SOPS 65352946 HAS SOUS 22892209 HAS SOUPS 22324481 WITH SCORE 2.240481074E7
AT ITER 888 NEW BEST:: SOT 123206052 SOS 80369148 HAS SOPS 65387023 HAS SOUS 22876866 HAS SOUPS 22309138 WITH SCORE 2.2389507148E7
AT ITER 905 NEW BEST:: SOT 123171730 SOS 80330072 HAS SOPS 65349249 HAS SOUS 22814672 HAS SOUPS 22247114 WITH SCORE 2.2327444072E7
AT ITER 909 NEW BEST:: SOT 123174583 SOS 80338626 HAS SOPS 65355085 HAS SOUS 22804403 HAS SOUPS 22236845 WITH SCORE 2.2317183626E7
AT ITER 917 NEW BEST:: SOT 123166434 SOS 80325996 HAS SOPS 65341517 HAS SOUS 22791791 HAS SOUPS 22224233 WITH SCORE 2.2304558996E7
AT ITER 929 NEW BEST:: SOT 123158596 SOS 80315238 HAS SOPS 65330239 HAS SOUS 22779313 HAS SOUPS 22211755 WITH SCORE 2.2292070238E7
AT ITER 935 NEW BEST:: SOT 123156881 SOS 80316196 HAS SOPS 65348140 HAS SOUS 22777844 HAS SOUPS 22210286 WITH SCORE 2.2290602196E7
AT ITER 942 NEW BEST:: SOT 123118599 SOS 80261488 HAS SOPS 65302572 HAS SOUS 22716409 HAS SOUPS 22150061 WITH SCORE 2.2230322488E7
AT ITER 945 NEW BEST:: SOT 123118140 SOS 80260853 HAS SOPS 65301917 HAS SOUS 22716288 HAS SOUPS 22149940 WITH SCORE 2.2230200853E7
AT ITER 948 NEW BEST:: SOT 123118162 SOS 80254806 HAS SOPS 65297798 HAS SOUS 22702435 HAS SOUPS 22136397 WITH SCORE 2.2216651806E7
AT ITER 950 NEW BEST:: SOT 123108900 SOS 80246005 HAS SOPS 65289960 HAS SOUS 22688856 HAS SOUPS 22122818 WITH SCORE 2.2203064005E7
AT ITER 952 NEW BEST:: SOT 123108900 SOS 80248089 HAS SOPS 65291708 HAS SOUS 22688775 HAS SOUPS 22122737 WITH SCORE 2.2202985089E7
AT ITER 954 NEW BEST:: SOT 123101195 SOS 80238906 HAS SOPS 65282118 HAS SOUS 22672882 HAS SOUPS 22106908 WITH SCORE 2.2187146906E7
AT ITER 958 NEW BEST:: SOT 123097088 SOS 80230677 HAS SOPS 65274789 HAS SOUS 22668906 HAS SOUPS 22102932 WITH SCORE 2.2183162677E7
AT ITER 961 NEW BEST:: SOT 123067633 SOS 80170772 HAS SOPS 65231762 HAS SOUS 22643677 HAS SOUPS 22077926 WITH SCORE 2.2158096772E7
AT ITER 963 NEW BEST:: SOT 122928497 SOS 80009345 HAS SOPS 65080939 HAS SOUS 22482327 HAS SOUPS 21916786 WITH SCORE 2.1996795345E7
AT ITER 975 NEW BEST:: SOT 122928845 SOS 80050984 HAS SOPS 65140983 HAS SOUS 22482210 HAS SOUPS 21916669 WITH SCORE 2.1996719984E7
AT ITER 979 NEW BEST:: SOT 122946844 SOS 80077833 HAS SOPS 65168916 HAS SOUS 22467849 HAS SOUPS 21901631 WITH SCORE 2.1981708833E7
AT ITER 987 NEW BEST:: SOT 122995466 SOS 80185848 HAS SOPS 65270732 HAS SOUS 22452391 HAS SOUPS 21886173 WITH SCORE 2.1966358848E7
AT ITER 988 NEW BEST:: SOT 122995980 SOS 80186150 HAS SOPS 65271114 HAS SOUS 22451407 HAS SOUPS 21885189 WITH SCORE 2.196537515E7
AT ITER 992 NEW BEST:: SOT 122994763 SOS 80187824 HAS SOPS 65276850 HAS SOUS 22450556 HAS SOUPS 21884452 WITH SCORE 2.1964639824E7
AT ITER 999 NEW BEST:: SOT 122994721 SOS 80181018 HAS SOPS 65271762 HAS SOUS 22450538 HAS SOUPS 21884434 WITH SCORE 2.1964615018E7
AT ITER 1012 NEW BEST:: SOT 122994376 SOS 80180827 HAS SOPS 65271197 HAS SOUS 22450193 HAS SOUPS 21884089 WITH SCORE 2.1964269827E7
AT ITER 1021 NEW BEST:: SOT 122992897 SOS 80178955 HAS SOPS 65269303 HAS SOUS 22447679 HAS SOUPS 21881588 WITH SCORE 2.1961766955E7
AT ITER 1027 NEW BEST:: SOT 122992449 SOS 80177780 HAS SOPS 65265648 HAS SOUS 22445348 HAS SOUPS 21879257 WITH SCORE 2.195943478E7
AT ITER 1035 NEW BEST:: SOT 122999876 SOS 80170969 HAS SOPS 65271521 HAS SOUS 22435648 HAS SOUPS 21869557 WITH SCORE 2.1949727969E7
AT ITER 1036 NEW BEST:: SOT 123002235 SOS 80177967 HAS SOPS 65279022 HAS SOUS 22431592 HAS SOUPS 21865501 WITH SCORE 2.1945678967E7
AT ITER 1041 NEW BEST:: SOT 123019798 SOS 80241093 HAS SOPS 65358871 HAS SOUS 22419320 HAS SOUPS 21853484 WITH SCORE 2.1933725093E7
AT ITER 1042 NEW BEST:: SOT 123017112 SOS 80239175 HAS SOPS 65354511 HAS SOUS 22411512 HAS SOUPS 21845645 WITH SCORE 2.1925884175E7
AT ITER 1053 NEW BEST:: SOT 123045227 SOS 80302301 HAS SOPS 65404109 HAS SOUS 22399683 HAS SOUPS 21833816 WITH SCORE 2.1914118301E7
AT ITER 1062 NEW BEST:: SOT 123074027 SOS 80349434 HAS SOPS 65448023 HAS SOUS 22381689 HAS SOUPS 21815822 WITH SCORE 2.1896171434E7
AT ITER 1072 NEW BEST:: SOT 123079629 SOS 80379352 HAS SOPS 65459198 HAS SOUS 22346382 HAS SOUPS 21780510 WITH SCORE 2.1860889352E7
AT ITER 1074 NEW BEST:: SOT 123078946 SOS 80379612 HAS SOPS 65459432 HAS SOUS 22345336 HAS SOUPS 21779464 WITH SCORE 2.1859843612E7
AT ITER 1094 NEW BEST:: SOT 123101874 SOS 80447615 HAS SOPS 65512068 HAS SOUS 22326128 HAS SOUPS 21759912 WITH SCORE 2.1840359615E7
AT ITER 1107 NEW BEST:: SOT 123101874 SOS 80438607 HAS SOPS 65506452 HAS SOUS 22325926 HAS SOUPS 21759816 WITH SCORE 2.1840254607E7
AT ITER 1134 NEW BEST:: SOT 123099723 SOS 80436206 HAS SOPS 65506000 HAS SOUS 22320443 HAS SOUPS 21754333 WITH SCORE 2.1834769206E7
AT ITER 1135 NEW BEST:: SOT 123101694 SOS 80438547 HAS SOPS 65504627 HAS SOUS 22312510 HAS SOUPS 21746376 WITH SCORE 2.1826814547E7
AT ITER 1144 NEW BEST:: SOT 123106019 SOS 80445816 HAS SOPS 65508042 HAS SOUS 22307138 HAS SOUPS 21741004 WITH SCORE 2.1821449816E7
AT ITER 1152 NEW BEST:: SOT 123106341 SOS 80461425 HAS SOPS 65528627 HAS SOUS 22306756 HAS SOUPS 21740622 WITH SCORE 2.1821083425E7
AT ITER 1161 NEW BEST:: SOT 123099337 SOS 80455382 HAS SOPS 65521607 HAS SOUS 22300936 HAS SOUPS 21734727 WITH SCORE 2.1815182382E7
AT ITER 1170 NEW BEST:: SOT 123104006 SOS 80456360 HAS SOPS 65526179 HAS SOUS 22290055 HAS SOUPS 21723846 WITH SCORE 2.180430236E7
AT ITER 1172 NEW BEST:: SOT 123104006 SOS 80484623 HAS SOPS 65565002 HAS SOUS 22289775 HAS SOUPS 21723676 WITH SCORE 2.1804160623E7
AT ITER 1176 NEW BEST:: SOT 123085559 SOS 80454598 HAS SOPS 65550595 HAS SOUS 22260361 HAS SOUPS 21695238 WITH SCORE 2.1775692598E7
AT ITER 1189 NEW BEST:: SOT 123117011 SOS 80503220 HAS SOPS 65603002 HAS SOUS 22258042 HAS SOUPS 21693287 WITH SCORE 2.177379022E7
AT ITER 1210 NEW BEST:: SOT 123117188 SOS 80503260 HAS SOPS 65602807 HAS SOUS 22257984 HAS SOUPS 21693229 WITH SCORE 2.177373226E7
AT ITER 1233 NEW BEST:: SOT 123110097 SOS 80495445 HAS SOPS 65595938 HAS SOUS 22245572 HAS SOUPS 21680817 WITH SCORE 2.1761312445E7
AT ITER 1270 NEW BEST:: SOT 123110151 SOS 80496192 HAS SOPS 65596343 HAS SOUS 22245229 HAS SOUPS 21680465 WITH SCORE 2.1760961192E7
AT ITER 1272 NEW BEST:: SOT 123114614 SOS 80500799 HAS SOPS 65599497 HAS SOUS 22229348 HAS SOUPS 21664613 WITH SCORE 2.1745113799E7
AT ITER 1274 NEW BEST:: SOT 123123893 SOS 80485508 HAS SOPS 65585548 HAS SOUS 22227658 HAS SOUPS 21662923 WITH SCORE 2.1743408508E7
AT ITER 1280 NEW BEST:: SOT 123120722 SOS 80482087 HAS SOPS 65581071 HAS SOUS 22220661 HAS SOUPS 21655951 WITH SCORE 2.1736433087E7
AT ITER 1282 NEW BEST:: SOT 123125983 SOS 80506900 HAS SOPS 65602681 HAS SOUS 22210916 HAS SOUPS 21646206 WITH SCORE 2.17267129E7
AT ITER 1284 NEW BEST:: SOT 123124694 SOS 80504741 HAS SOPS 65601199 HAS SOUS 22208423 HAS SOUPS 21643713 WITH SCORE 2.1724217741E7
AT ITER 1289 NEW BEST:: SOT 123116601 SOS 80496095 HAS SOPS 65592392 HAS SOUS 22200004 HAS SOUPS 21635435 WITH SCORE 2.1715931095E7
AT ITER 1293 NEW BEST:: SOT 123115180 SOS 80494646 HAS SOPS 65590950 HAS SOUS 22197652 HAS SOUPS 21633090 WITH SCORE 2.1713584646E7
AT ITER 1307 NEW BEST:: SOT 123106422 SOS 80469687 HAS SOPS 65568451 HAS SOUS 22182130 HAS SOUPS 21617568 WITH SCORE 2.1698037687E7
AT ITER 1314 NEW BEST:: SOT 123099599 SOS 80459683 HAS SOPS 65560335 HAS SOUS 22171674 HAS SOUPS 21607158 WITH SCORE 2.1687617683E7
AT ITER 1331 NEW BEST:: SOT 123108361 SOS 80483610 HAS SOPS 65577552 HAS SOUS 22167300 HAS SOUPS 21602784 WITH SCORE 2.168326761E7
AT ITER 1348 NEW BEST:: SOT 123110467 SOS 80476116 HAS SOPS 65574720 HAS SOUS 22162008 HAS SOUPS 21597517 WITH SCORE 2.1677993116E7
AT ITER 1351 NEW BEST:: SOT 123117523 SOS 80490181 HAS SOPS 65586577 HAS SOUS 22160543 HAS SOUPS 21596052 WITH SCORE 2.1676542181E7
AT ITER 1352 NEW BEST:: SOT 123115572 SOS 80486653 HAS SOPS 65582068 HAS SOUS 22157565 HAS SOUPS 21593074 WITH SCORE 2.1673560653E7
AT ITER 1373 NEW BEST:: SOT 123117035 SOS 80546100 HAS SOPS 65654639 HAS SOUS 22156607 HAS SOUPS 21592116 WITH SCORE 2.16726621E7
AT ITER 1375 NEW BEST:: SOT 123115616 SOS 80544186 HAS SOPS 65653115 HAS SOUS 22154058 HAS SOUPS 21589567 WITH SCORE 2.1670111186E7
AT ITER 1398 NEW BEST:: SOT 123113523 SOS 80541467 HAS SOPS 65651151 HAS SOUS 22148995 HAS SOUPS 21584504 WITH SCORE 2.1665045467E7
AT ITER 1405 NEW BEST:: SOT 123104968 SOS 80532928 HAS SOPS 65640153 HAS SOUS 22133026 HAS SOUPS 21568530 WITH SCORE 2.1649062928E7
AT ITER 1428 NEW BEST:: SOT 123103993 SOS 80534743 HAS SOPS 65652562 HAS SOUS 22132593 HAS SOUPS 21568097 WITH SCORE 2.1648631743E7
AT ITER 1434 NEW BEST:: SOT 123082288 SOS 80490967 HAS SOPS 65629539 HAS SOUS 22119632 HAS SOUPS 21555136 WITH SCORE 2.1635626967E7
AT ITER 1451 NEW BEST:: SOT 123052914 SOS 80457711 HAS SOPS 65586042 HAS SOUS 22085982 HAS SOUPS 21521130 WITH SCORE 2.1601587711E7
AT ITER 1458 NEW BEST:: SOT 123060304 SOS 80481786 HAS SOPS 65602793 HAS SOUS 22067887 HAS SOUPS 21503035 WITH SCORE 2.1583516786E7
AT ITER 1498 NEW BEST:: SOT 123057572 SOS 80482884 HAS SOPS 65593888 HAS SOUS 22055905 HAS SOUPS 21491053 WITH SCORE 2.1571535884E7
AT ITER 1508 NEW BEST:: SOT 123064469 SOS 80509979 HAS SOPS 65626173 HAS SOUS 22047449 HAS SOUPS 21482597 WITH SCORE 2.1563106979E7
AT ITER 1542 NEW BEST:: SOT 123064157 SOS 80509481 HAS SOPS 65625897 HAS SOUS 22046636 HAS SOUPS 21481862 WITH SCORE 2.1562371481E7
AT ITER 1543 NEW BEST:: SOT 123061594 SOS 80504904 HAS SOPS 65623105 HAS SOUS 22041176 HAS SOUPS 21476483 WITH SCORE 2.1556987904E7
AT ITER 1554 NEW BEST:: SOT 123061476 SOS 80500427 HAS SOPS 65622625 HAS SOUS 22040994 HAS SOUPS 21476301 WITH SCORE 2.1556801427E7
AT ITER 1559 NEW BEST:: SOT 123057458 SOS 80495641 HAS SOPS 65619844 HAS SOUS 22033079 HAS SOUPS 21468430 WITH SCORE 2.1548925641E7
AT ITER 1563 NEW BEST:: SOT 123053431 SOS 80489654 HAS SOPS 65612326 HAS SOUS 22025018 HAS SOUPS 21460423 WITH SCORE 2.1540912654E7
AT ITER 1564 NEW BEST:: SOT 123070365 SOS 80451026 HAS SOPS 65605701 HAS SOUS 22016361 HAS SOUPS 21451201 WITH SCORE 2.1531652026E7
AT ITER 1568 NEW BEST:: SOT 123070495 SOS 80472176 HAS SOPS 65635045 HAS SOUS 22016259 HAS SOUPS 21451099 WITH SCORE 2.1531571176E7
AT ITER 1571 NEW BEST:: SOT 123049534 SOS 80447776 HAS SOPS 65610031 HAS SOUS 21973447 HAS SOUPS 21408422 WITH SCORE 2.1488869776E7
AT ITER 1593 NEW BEST:: SOT 123048775 SOS 80445240 HAS SOPS 65607702 HAS SOUS 21970267 HAS SOUPS 21405595 WITH SCORE 2.148604024E7
AT ITER 1598 NEW BEST:: SOT 123043317 SOS 80455915 HAS SOPS 65614780 HAS SOUS 21964753 HAS SOUPS 21400081 WITH SCORE 2.1480536915E7
AT ITER 1605 NEW BEST:: SOT 123041217 SOS 80453535 HAS SOPS 65611504 HAS SOUS 21960849 HAS SOUPS 21396177 WITH SCORE 2.1476630535E7
AT ITER 1606 NEW BEST:: SOT 123043445 SOS 80463919 HAS SOPS 65616157 HAS SOUS 21955941 HAS SOUPS 21391269 WITH SCORE 2.1471732919E7
AT ITER 1609 NEW BEST:: SOT 123041388 SOS 80466674 HAS SOPS 65618953 HAS SOUS 21947880 HAS SOUPS 21383208 WITH SCORE 2.1463674674E7
AT ITER 1610 NEW BEST:: SOT 123030617 SOS 80455817 HAS SOPS 65608081 HAS SOUS 21930309 HAS SOUPS 21365686 WITH SCORE 2.1446141817E7
AT ITER 1619 NEW BEST:: SOT 123026025 SOS 80452365 HAS SOPS 65601376 HAS SOUS 21919506 HAS SOUPS 21354883 WITH SCORE 2.1435335365E7
AT ITER 1631 NEW BEST:: SOT 123005275 SOS 80449895 HAS SOPS 65620347 HAS SOUS 21916870 HAS SOUPS 21352247 WITH SCORE 2.1432696895E7
AT ITER 1638 NEW BEST:: SOT 122995215 SOS 80440174 HAS SOPS 65632239 HAS SOUS 21883995 HAS SOUPS 21319372 WITH SCORE 2.1399812174E7
AT ITER 1663 NEW BEST:: SOT 122990008 SOS 80433788 HAS SOPS 65625031 HAS SOUS 21876332 HAS SOUPS 21311709 WITH SCORE 2.1392142788E7
AT ITER 1667 NEW BEST:: SOT 122986935 SOS 80429690 HAS SOPS 65621958 HAS SOUS 21871664 HAS SOUPS 21307041 WITH SCORE 2.138747069E7
AT ITER 1668 NEW BEST:: SOT 122991606 SOS 80451799 HAS SOPS 65649053 HAS SOUS 21866592 HAS SOUPS 21301969 WITH SCORE 2.1382420799E7
AT ITER 1670 NEW BEST:: SOT 122990669 SOS 80451602 HAS SOPS 65654539 HAS SOUS 21861553 HAS SOUPS 21297030 WITH SCORE 2.1377481602E7
AT ITER 1674 NEW BEST:: SOT 122995087 SOS 80459695 HAS SOPS 65659735 HAS SOUS 21861494 HAS SOUPS 21296971 WITH SCORE 2.1377430695E7
AT ITER 1682 NEW BEST:: SOT 123020702 SOS 80501159 HAS SOPS 65706377 HAS SOUS 21860383 HAS SOUPS 21295860 WITH SCORE 2.1376361159E7
AT ITER 1690 NEW BEST:: SOT 123020656 SOS 80501113 HAS SOPS 65706251 HAS SOUS 21860273 HAS SOUPS 21295750 WITH SCORE 2.1376251113E7
AT ITER 1697 NEW BEST:: SOT 123015070 SOS 80493022 HAS SOPS 65705350 HAS SOUS 21838486 HAS SOUPS 21276763 WITH SCORE 2.1357256022E7
AT ITER 1701 NEW BEST:: SOT 123014928 SOS 80503965 HAS SOPS 65713804 HAS SOUS 21805568 HAS SOUPS 21243620 WITH SCORE 2.1324123965E7
AT ITER 1702 NEW BEST:: SOT 123012138 SOS 80500950 HAS SOPS 65709601 HAS SOUS 21800186 HAS SOUPS 21238229 WITH SCORE 2.131872995E7
AT ITER 1719 NEW BEST:: SOT 123009258 SOS 80497893 HAS SOPS 65703786 HAS SOUS 21791076 HAS SOUPS 21229119 WITH SCORE 2.1309616893E7
AT ITER 1720 NEW BEST:: SOT 123020588 SOS 80521379 HAS SOPS 65720201 HAS SOUS 21786041 HAS SOUPS 21224264 WITH SCORE 2.1304785379E7
AT ITER 1733 NEW BEST:: SOT 123027277 SOS 80541820 HAS SOPS 65739197 HAS SOUS 21772870 HAS SOUPS 21211093 WITH SCORE 2.129163482E7
AT ITER 1734 NEW BEST:: SOT 123033431 SOS 80548552 HAS SOPS 65728728 HAS SOUS 21769832 HAS SOUPS 21208055 WITH SCORE 2.1288603552E7
AT ITER 1735 NEW BEST:: SOT 123017466 SOS 80506952 HAS SOPS 65695454 HAS SOUS 21723860 HAS SOUPS 21162041 WITH SCORE 2.1242547952E7
AT ITER 1741 NEW BEST:: SOT 123020117 SOS 80515459 HAS SOPS 65702391 HAS SOUS 21721445 HAS SOUPS 21159626 WITH SCORE 2.1240141459E7
AT ITER 1746 NEW BEST:: SOT 123025480 SOS 80530312 HAS SOPS 65712529 HAS SOUS 21713188 HAS SOUPS 21151369 WITH SCORE 2.1231899312E7
AT ITER 1751 NEW BEST:: SOT 123024978 SOS 80529522 HAS SOPS 65710862 HAS SOUS 21708532 HAS SOUPS 21146713 WITH SCORE 2.1227242522E7
AT ITER 1766 NEW BEST:: SOT 123024061 SOS 80528167 HAS SOPS 65709681 HAS SOUS 21707345 HAS SOUPS 21145532 WITH SCORE 2.1226060167E7
AT ITER 1776 NEW BEST:: SOT 123023185 SOS 80526559 HAS SOPS 65707839 HAS SOUS 21706372 HAS SOUPS 21144565 WITH SCORE 2.1225091559E7
AT ITER 1811 NEW BEST:: SOT 123022635 SOS 80526018 HAS SOPS 65707128 HAS SOUS 21705205 HAS SOUPS 21143398 WITH SCORE 2.1223924018E7
AT ITER 1813 NEW BEST:: SOT 123016742 SOS 80518049 HAS SOPS 65699125 HAS SOUS 21697765 HAS SOUPS 21135958 WITH SCORE 2.1216476049E7
AT ITER 1818 NEW BEST:: SOT 123020455 SOS 80515326 HAS SOPS 65699020 HAS SOUS 21689988 HAS SOUPS 21128181 WITH SCORE 2.1208696326E7
AT ITER 1827 NEW BEST:: SOT 123004163 SOS 80488724 HAS SOPS 65670656 HAS SOUS 21646367 HAS SOUPS 21084560 WITH SCORE 2.1165048724E7
AT ITER 1843 NEW BEST:: SOT 123004254 SOS 80502751 HAS SOPS 65686027 HAS SOUS 21646303 HAS SOUPS 21084496 WITH SCORE 2.1164998751E7
AT ITER 1865 NEW BEST:: SOT 122994876 SOS 80481675 HAS SOPS 65672625 HAS SOUS 21644359 HAS SOUPS 21082552 WITH SCORE 2.1163033675E7
AT ITER 1891 NEW BEST:: SOT 122983916 SOS 80471819 HAS SOPS 65657364 HAS SOUS 21637787 HAS SOUPS 21075825 WITH SCORE 2.1156296819E7
AT ITER 1895 NEW BEST:: SOT 122983122 SOS 80471456 HAS SOPS 65654214 HAS SOUS 21634230 HAS SOUPS 21072268 WITH SCORE 2.1152739456E7
AT ITER 1899 NEW BEST:: SOT 122978506 SOS 80473109 HAS SOPS 65654292 HAS SOUS 21621993 HAS SOUPS 21059915 WITH SCORE 2.1140388109E7
AT ITER 1900 NEW BEST:: SOT 122999078 SOS 80517649 HAS SOPS 65702392 HAS SOUS 21618128 HAS SOUPS 21056050 WITH SCORE 2.1136567649E7
AT ITER 1937 NEW BEST:: SOT 122994394 SOS 80511901 HAS SOPS 65694244 HAS SOUS 21609383 HAS SOUPS 21047305 WITH SCORE 2.1127816901E7
AT ITER 1943 NEW BEST:: SOT 122993885 SOS 80514616 HAS SOPS 65707273 HAS SOUS 21609080 HAS SOUPS 21047002 WITH SCORE 2.1127516616E7
AT ITER 1956 NEW BEST:: SOT 122993871 SOS 80516600 HAS SOPS 65709243 HAS SOUS 21609017 HAS SOUPS 21046939 WITH SCORE 2.11274556E7
AT ITER 1976 NEW BEST:: SOT 122942332 SOS 80461348 HAS SOPS 65653145 HAS SOUS 21537888 HAS SOUPS 20975929 WITH SCORE 2.1056390348E7
AT ITER 1982 NEW BEST:: SOT 122940963 SOS 80460792 HAS SOPS 65651903 HAS SOUS 21533062 HAS SOUPS 20971103 WITH SCORE 2.1051563792E7
AT ITER 1994 NEW BEST:: SOT 122934491 SOS 80426955 HAS SOPS 65622825 HAS SOUS 21514146 HAS SOUPS 20952414 WITH SCORE 2.1032840955E7
AT ITER 2004 NEW BEST:: SOT 122933334 SOS 80425795 HAS SOPS 65621412 HAS SOUS 21512061 HAS SOUPS 20950329 WITH SCORE 2.1030754795E7
AT ITER 2016 NEW BEST:: SOT 122922240 SOS 80413633 HAS SOPS 65606772 HAS SOUS 21509925 HAS SOUPS 20948181 WITH SCORE 2.1028594633E7
AT ITER 2048 NEW BEST:: SOT 122920803 SOS 80411976 HAS SOPS 65604141 HAS SOUS 21506045 HAS SOUPS 20944368 WITH SCORE 2.1024779976E7
AT ITER 2049 NEW BEST:: SOT 122920779 SOS 80411784 HAS SOPS 65604117 HAS SOUS 21505973 HAS SOUPS 20944296 WITH SCORE 2.1024707784E7
AT ITER 2054 NEW BEST:: SOT 122920504 SOS 80411674 HAS SOPS 65603787 HAS SOUS 21505181 HAS SOUPS 20943504 WITH SCORE 2.1023915674E7
AT ITER 2086 NEW BEST:: SOT 122921146 SOS 80408983 HAS SOPS 65602136 HAS SOUS 21503036 HAS SOUPS 20941359 WITH SCORE 2.1021767983E7
AT ITER 2087 NEW BEST:: SOT 122921146 SOS 80409635 HAS SOPS 65602284 HAS SOUS 21502935 HAS SOUPS 20941258 WITH SCORE 2.1021667635E7
AT ITER 2102 NEW BEST:: SOT 122915966 SOS 80398330 HAS SOPS 65593294 HAS SOUS 21463340 HAS SOUPS 20901517 WITH SCORE 2.098191533E7
AT ITER 2106 NEW BEST:: SOT 122915466 SOS 80372465 HAS SOPS 65565685 HAS SOUS 21463309 HAS SOUPS 20901374 WITH SCORE 2.0981746465E7
AT ITER 2111 NEW BEST:: SOT 122914497 SOS 80370855 HAS SOPS 65563672 HAS SOUS 21459295 HAS SOUPS 20897540 WITH SCORE 2.0977910855E7
AT ITER 2116 NEW BEST:: SOT 122914596 SOS 80386314 HAS SOPS 65579899 HAS SOUS 21459184 HAS SOUPS 20897429 WITH SCORE 2.0977815314E7
AT ITER 2147 NEW BEST:: SOT 122915704 SOS 80388767 HAS SOPS 65585662 HAS SOUS 21457822 HAS SOUPS 20896067 WITH SCORE 2.0976455767E7
AT ITER 2151 NEW BEST:: SOT 122914599 SOS 80387704 HAS SOPS 65584954 HAS SOUS 21454240 HAS SOUPS 20893096 WITH SCORE 2.0973483704E7
AT ITER 2160 NEW BEST:: SOT 122915196 SOS 80390110 HAS SOPS 65587009 HAS SOUS 21452413 HAS SOUPS 20891269 WITH SCORE 2.097165911E7
AT ITER 2172 NEW BEST:: SOT 122924347 SOS 80409598 HAS SOPS 65599499 HAS SOUS 21449953 HAS SOUPS 20888809 WITH SCORE 2.0969218598E7
AT ITER 2174 NEW BEST:: SOT 122944668 SOS 80432916 HAS SOPS 65623533 HAS SOUS 21436223 HAS SOUPS 20875049 WITH SCORE 2.0955481916E7
AT ITER 2187 NEW BEST:: SOT 122944668 SOS 80435864 HAS SOPS 65628497 HAS SOUS 21436109 HAS SOUPS 20874935 WITH SCORE 2.0955370864E7
AT ITER 2188 NEW BEST:: SOT 122950636 SOS 80436271 HAS SOPS 65643001 HAS SOUS 21429286 HAS SOUPS 20868785 WITH SCORE 2.0949221271E7
AT ITER 2213 NEW BEST:: SOT 122950526 SOS 80421198 HAS SOPS 65627817 HAS SOUS 21429083 HAS SOUPS 20868582 WITH SCORE 2.0949003198E7
AT ITER 2221 NEW BEST:: SOT 122950496 SOS 80419600 HAS SOPS 65626809 HAS SOUS 21428853 HAS SOUPS 20868422 WITH SCORE 2.09488416E7
AT ITER 2223 NEW BEST:: SOT 122941813 SOS 80414362 HAS SOPS 65620251 HAS SOUS 21420626 HAS SOUPS 20860080 WITH SCORE 2.0940494362E7
AT ITER 2288 NEW BEST:: SOT 122939995 SOS 80411797 HAS SOPS 65617190 HAS SOUS 21415149 HAS SOUPS 20854603 WITH SCORE 2.0935014797E7
AT ITER 2318 NEW BEST:: SOT 122937703 SOS 80406141 HAS SOPS 65612493 HAS SOUS 21411852 HAS SOUPS 20851306 WITH SCORE 2.0931712141E7
AT ITER 2319 NEW BEST:: SOT 122935242 SOS 80402929 HAS SOPS 65608960 HAS SOUS 21407449 HAS SOUPS 20846903 WITH SCORE 2.0927305929E7
AT ITER 2328 NEW BEST:: SOT 122946060 SOS 80415901 HAS SOPS 65616899 HAS SOUS 21395753 HAS SOUPS 20835207 WITH SCORE 2.0915622901E7
AT ITER 2339 NEW BEST:: SOT 122942559 SOS 80412162 HAS SOPS 65613300 HAS SOUS 21388295 HAS SOUPS 20827749 WITH SCORE 2.0908161162E7
AT ITER 2340 NEW BEST:: SOT 122935553 SOS 80404188 HAS SOPS 65600744 HAS SOUS 21371857 HAS SOUPS 20811311 WITH SCORE 2.0891715188E7
AT ITER 2348 NEW BEST:: SOT 122931644 SOS 80403343 HAS SOPS 65597948 HAS SOUS 21354125 HAS SOUPS 20793507 WITH SCORE 2.0873910343E7
AT ITER 2349 NEW BEST:: SOT 122914583 SOS 80382657 HAS SOPS 65582724 HAS SOUS 21306442 HAS SOUPS 20745846 WITH SCORE 2.0826228657E7
AT ITER 2352 NEW BEST:: SOT 122899726 SOS 80369598 HAS SOPS 65565388 HAS SOUS 21262449 HAS SOUPS 20701853 WITH SCORE 2.0782222598E7
AT ITER 2372 NEW BEST:: SOT 122897947 SOS 80381080 HAS SOPS 65576201 HAS SOUS 21261835 HAS SOUPS 20701239 WITH SCORE 2.078162008E7
AT ITER 2379 NEW BEST:: SOT 122726646 SOS 80189458 HAS SOPS 65384571 HAS SOUS 21064220 HAS SOUPS 20503566 WITH SCORE 2.0583755458E7
AT ITER 2382 NEW BEST:: SOT 122731249 SOS 80193601 HAS SOPS 65390798 HAS SOUS 21060483 HAS SOUPS 20499868 WITH SCORE 2.0580061601E7
AT ITER 2391 NEW BEST:: SOT 122733965 SOS 80196132 HAS SOPS 65393805 HAS SOUS 21059093 HAS SOUPS 20498478 WITH SCORE 2.0578674132E7
AT ITER 2395 NEW BEST:: SOT 122764550 SOS 80227817 HAS SOPS 65464924 HAS SOUS 21030667 HAS SOUPS 20470143 WITH SCORE 2.0550370817E7
AT ITER 2398 NEW BEST:: SOT 122764646 SOS 80224009 HAS SOPS 65458752 HAS SOUS 21024180 HAS SOUPS 20463656 WITH SCORE 2.0543880009E7
AT ITER 2399 NEW BEST:: SOT 122836084 SOS 80261351 HAS SOPS 65497002 HAS SOUS 21007401 HAS SOUPS 20447318 WITH SCORE 2.0527579351E7
AT ITER 2401 NEW BEST:: SOT 122834121 SOS 80257054 HAS SOPS 65493008 HAS SOUS 21006782 HAS SOUPS 20446699 WITH SCORE 2.0526956054E7
AT ITER 2413 NEW BEST:: SOT 122841280 SOS 80279764 HAS SOPS 65511632 HAS SOUS 20998577 HAS SOUPS 20438494 WITH SCORE 2.0518773764E7
AT ITER 2426 NEW BEST:: SOT 122841255 SOS 80279727 HAS SOPS 65511574 HAS SOUS 20998516 HAS SOUPS 20438433 WITH SCORE 2.0518712727E7
AT ITER 2428 NEW BEST:: SOT 122840664 SOS 80279167 HAS SOPS 65510735 HAS SOUS 20997739 HAS SOUPS 20437625 WITH SCORE 2.0517904167E7

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-2"
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-2, 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-158961502500160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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