Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194400248.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RERS2020-PT-pb104, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194400248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 81M
-rw-r--r-- 1 mcc users 7.5K Feb 26 08:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 08:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 08:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 08:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 08:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 26 08:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 26 08:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 80M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679491665870

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS2020-PT-pb104
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb104
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1353 places, 143642 transitions, 572292 arcs.
AT ITER 0 NEW BEST:: SOT 103477811 SOS 72015309 HAS SOPS 65743157 HAS SOUS 16797968 HAS SOUPS 16714662 WITH SCORE 1.6786677309E7
AT ITER 5 NEW BEST:: SOT 103477685 SOS 72014949 HAS SOPS 65742563 HAS SOUS 16797302 HAS SOUPS 16713762 WITH SCORE 1.6785776949E7
AT ITER 24 NEW BEST:: SOT 103476593 SOS 72013784 HAS SOPS 65741245 HAS SOUS 16792233 HAS SOUPS 16708693 WITH SCORE 1.6780706784E7
AT ITER 26 NEW BEST:: SOT 103479297 SOS 71966018 HAS SOPS 65662432 HAS SOUS 16787129 HAS SOUPS 16703589 WITH SCORE 1.6775555018E7
AT ITER 29 NEW BEST:: SOT 103478780 SOS 71966203 HAS SOPS 65660580 HAS SOUS 16786560 HAS SOUPS 16703014 WITH SCORE 1.6774980203E7
AT ITER 37 NEW BEST:: SOT 103485561 SOS 71977352 HAS SOPS 65671579 HAS SOUS 16776981 HAS SOUPS 16693612 WITH SCORE 1.6765589352E7
AT ITER 40 NEW BEST:: SOT 103486295 SOS 71977924 HAS SOPS 65670121 HAS SOUS 16772362 HAS SOUPS 16688993 WITH SCORE 1.6760970924E7
AT ITER 45 NEW BEST:: SOT 103478382 SOS 71956839 HAS SOPS 65647467 HAS SOUS 16764668 HAS SOUPS 16681299 WITH SCORE 1.6753255839E7
AT ITER 46 NEW BEST:: SOT 103481009 SOS 71959310 HAS SOPS 65648517 HAS SOUS 16756581 HAS SOUPS 16673014 WITH SCORE 1.674497331E7
AT ITER 83 NEW BEST:: SOT 103515317 SOS 72070436 HAS SOPS 65757731 HAS SOUS 16739558 HAS SOUPS 16655991 WITH SCORE 1.6728061436E7
AT ITER 88 NEW BEST:: SOT 103513805 SOS 72068963 HAS SOPS 65756063 HAS SOUS 16736576 HAS SOUPS 16653009 WITH SCORE 1.6725077963E7
AT ITER 91 NEW BEST:: SOT 103516264 SOS 72054843 HAS SOPS 65746043 HAS SOUS 16734683 HAS SOUPS 16651116 WITH SCORE 1.6723170843E7
AT ITER 92 NEW BEST:: SOT 103516267 SOS 72054419 HAS SOPS 65745619 HAS SOUS 16734606 HAS SOUPS 16651039 WITH SCORE 1.6723093419E7
AT ITER 100 NEW BEST:: SOT 103516265 SOS 72053087 HAS SOPS 65744287 HAS SOUS 16734351 HAS SOUPS 16650784 WITH SCORE 1.6722837087E7
AT ITER 122 NEW BEST:: SOT 103522259 SOS 71961428 HAS SOPS 65663265 HAS SOUS 16733776 HAS SOUPS 16650426 WITH SCORE 1.6722387428E7
AT ITER 124 NEW BEST:: SOT 103514114 SOS 71924035 HAS SOPS 65630556 HAS SOUS 16722731 HAS SOUPS 16639468 WITH SCORE 1.6711392035E7
AT ITER 140 NEW BEST:: SOT 103514154 SOS 71918203 HAS SOPS 65624269 HAS SOUS 16720669 HAS SOUPS 16637406 WITH SCORE 1.6709324203E7
AT ITER 170 NEW BEST:: SOT 103512950 SOS 71916956 HAS SOPS 65622807 HAS SOUS 16719508 HAS SOUPS 16636245 WITH SCORE 1.6708161956E7
AT ITER 187 NEW BEST:: SOT 103511910 SOS 71915951 HAS SOPS 65622006 HAS SOUS 16717265 HAS SOUPS 16634002 WITH SCORE 1.6705917951E7
AT ITER 198 NEW BEST:: SOT 103531341 SOS 71935359 HAS SOPS 65639228 HAS SOUS 16715065 HAS SOUPS 16631802 WITH SCORE 1.6703737359E7
AT ITER 201 NEW BEST:: SOT 103565935 SOS 71950262 HAS SOPS 65649900 HAS SOUS 16704445 HAS SOUPS 16621182 WITH SCORE 1.6693132262E7
AT ITER 210 NEW BEST:: SOT 103565963 SOS 71947750 HAS SOPS 65647388 HAS SOUS 16704216 HAS SOUPS 16620953 WITH SCORE 1.669290075E7
AT ITER 212 NEW BEST:: SOT 103563081 SOS 71944534 HAS SOPS 65642310 HAS SOUS 16694703 HAS SOUPS 16611440 WITH SCORE 1.6683384534E7
AT ITER 220 NEW BEST:: SOT 103563043 SOS 71944500 HAS SOPS 65642192 HAS SOUS 16694662 HAS SOUPS 16611399 WITH SCORE 1.66833435E7
AT ITER 248 NEW BEST:: SOT 103562161 SOS 71943605 HAS SOPS 65641207 HAS SOUS 16694039 HAS SOUPS 16610776 WITH SCORE 1.6682719605E7
AT ITER 282 NEW BEST:: SOT 103566231 SOS 71947889 HAS SOPS 65645218 HAS SOUS 16691518 HAS SOUPS 16608255 WITH SCORE 1.6680202889E7
AT ITER 294 NEW BEST:: SOT 103563728 SOS 71939296 HAS SOPS 65645864 HAS SOUS 16690836 HAS SOUPS 16608219 WITH SCORE 1.6680158296E7
AT ITER 298 NEW BEST:: SOT 103563673 SOS 71939242 HAS SOPS 65645806 HAS SOUS 16690715 HAS SOUPS 16608098 WITH SCORE 1.6680037242E7
AT ITER 302 NEW BEST:: SOT 103614880 SOS 71991769 HAS SOPS 65694140 HAS SOUS 16673217 HAS SOUPS 16590611 WITH SCORE 1.6662602769E7
AT ITER 317 NEW BEST:: SOT 103566559 SOS 71813757 HAS SOPS 65505590 HAS SOUS 16587879 HAS SOUPS 16505273 WITH SCORE 1.6577086757E7
AT ITER 328 NEW BEST:: SOT 103546972 SOS 71794189 HAS SOPS 65484449 HAS SOUS 16544770 HAS SOUPS 16462164 WITH SCORE 1.6533958189E7
AT ITER 346 NEW BEST:: SOT 103547661 SOS 71790227 HAS SOPS 65479761 HAS SOUS 16542079 HAS SOUPS 16459473 WITH SCORE 1.6531263227E7
AT ITER 347 NEW BEST:: SOT 103561263 SOS 71816949 HAS SOPS 65495873 HAS SOUS 16536648 HAS SOUPS 16454042 WITH SCORE 1.6525858949E7
AT ITER 352 NEW BEST:: SOT 103573766 SOS 71829992 HAS SOPS 65503422 HAS SOUS 16506774 HAS SOUPS 16424195 WITH SCORE 1.6496024992E7
AT ITER 370 NEW BEST:: SOT 103465730 SOS 71721959 HAS SOPS 65395130 HAS SOUS 16441490 HAS SOUPS 16358898 WITH SCORE 1.6430619959E7
AT ITER 384 NEW BEST:: SOT 103430247 SOS 71742205 HAS SOPS 65409069 HAS SOUS 16430170 HAS SOUPS 16347578 WITH SCORE 1.6419320205E7
AT ITER 391 NEW BEST:: SOT 103428236 SOS 71742432 HAS SOPS 65408217 HAS SOUS 16419341 HAS SOUPS 16336749 WITH SCORE 1.6408491432E7
AT ITER 427 NEW BEST:: SOT 103426784 SOS 71741004 HAS SOPS 65406726 HAS SOUS 16417142 HAS SOUPS 16334550 WITH SCORE 1.6406291004E7
AT ITER 446 NEW BEST:: SOT 103426091 SOS 71725064 HAS SOPS 65402113 HAS SOUS 16410418 HAS SOUPS 16327950 WITH SCORE 1.6399675064E7
AT ITER 447 NEW BEST:: SOT 103425726 SOS 71724739 HAS SOPS 65401698 HAS SOUS 16408205 HAS SOUPS 16325737 WITH SCORE 1.6397461739E7
AT ITER 451 NEW BEST:: SOT 103425399 SOS 71724462 HAS SOPS 65401323 HAS SOUS 16408073 HAS SOUPS 16325605 WITH SCORE 1.6397329462E7
AT ITER 452 NEW BEST:: SOT 103425410 SOS 71724547 HAS SOPS 65401326 HAS SOUS 16407885 HAS SOUPS 16325417 WITH SCORE 1.6397141547E7
AT ITER 507 NEW BEST:: SOT 103441171 SOS 71740637 HAS SOPS 65416342 HAS SOUS 16407206 HAS SOUPS 16324738 WITH SCORE 1.6396478637E7
AT ITER 513 NEW BEST:: SOT 103413826 SOS 71759991 HAS SOPS 65441032 HAS SOUS 16395612 HAS SOUPS 16313144 WITH SCORE 1.6384903991E7
AT ITER 515 NEW BEST:: SOT 103413293 SOS 71759562 HAS SOPS 65440153 HAS SOUS 16389384 HAS SOUPS 16306916 WITH SCORE 1.6378675562E7
AT ITER 525 NEW BEST:: SOT 103389105 SOS 71697830 HAS SOPS 65381270 HAS SOUS 16352600 HAS SOUPS 16270132 WITH SCORE 1.634182983E7
AT ITER 530 NEW BEST:: SOT 103388797 SOS 71697522 HAS SOPS 65380920 HAS SOUS 16351396 HAS SOUPS 16268928 WITH SCORE 1.6340625522E7
AT ITER 532 NEW BEST:: SOT 103293826 SOS 71603260 HAS SOPS 65254228 HAS SOUS 16315715 HAS SOUPS 16217797 WITH SCORE 1.628940026E7
AT ITER 534 NEW BEST:: SOT 103293834 SOS 71603268 HAS SOPS 65254264 HAS SOUS 16315587 HAS SOUPS 16217669 WITH SCORE 1.6289272268E7
AT ITER 545 NEW BEST:: SOT 103303474 SOS 71612808 HAS SOPS 65262307 HAS SOUS 16309538 HAS SOUPS 16211620 WITH SCORE 1.6283232808E7
AT ITER 546 NEW BEST:: SOT 103303474 SOS 71614182 HAS SOPS 65263484 HAS SOUS 16309384 HAS SOUPS 16211466 WITH SCORE 1.6283080182E7
AT ITER 560 NEW BEST:: SOT 103304083 SOS 71616110 HAS SOPS 65266317 HAS SOUS 16309058 HAS SOUPS 16211172 WITH SCORE 1.628278811E7
AT ITER 571 NEW BEST:: SOT 103304119 SOS 71616142 HAS SOPS 65266349 HAS SOUS 16308918 HAS SOUPS 16211032 WITH SCORE 1.6282648142E7
AT ITER 577 NEW BEST:: SOT 103304224 SOS 71616198 HAS SOPS 65266363 HAS SOUS 16308722 HAS SOUPS 16210836 WITH SCORE 1.6282452198E7
AT ITER 608 NEW BEST:: SOT 103304229 SOS 71616238 HAS SOPS 65266403 HAS SOUS 16308697 HAS SOUPS 16210811 WITH SCORE 1.6282427238E7
AT ITER 611 NEW BEST:: SOT 103315066 SOS 71600431 HAS SOPS 65271969 HAS SOUS 16299333 HAS SOUPS 16201576 WITH SCORE 1.6273176431E7
AT ITER 621 NEW BEST:: SOT 103313984 SOS 71594061 HAS SOPS 65264536 HAS SOUS 16290800 HAS SOUPS 16193043 WITH SCORE 1.6264637061E7
AT ITER 632 NEW BEST:: SOT 103306944 SOS 71575074 HAS SOPS 65246660 HAS SOUS 16286916 HAS SOUPS 16188038 WITH SCORE 1.6259613074E7
AT ITER 634 NEW BEST:: SOT 103421409 SOS 70508074 HAS SOPS 65172439 HAS SOUS 16268297 HAS SOUPS 16151794 WITH SCORE 1.6222302074E7
AT ITER 637 NEW BEST:: SOT 103421404 SOS 70509114 HAS SOPS 65173479 HAS SOUS 16267721 HAS SOUPS 16151218 WITH SCORE 1.6221727114E7
AT ITER 638 NEW BEST:: SOT 103437675 SOS 70525650 HAS SOPS 65188434 HAS SOUS 16265289 HAS SOUPS 16148514 WITH SCORE 1.621903965E7
AT ITER 641 NEW BEST:: SOT 103444702 SOS 70533767 HAS SOPS 65192373 HAS SOUS 16249529 HAS SOUPS 16132754 WITH SCORE 1.6203287767E7
AT ITER 662 NEW BEST:: SOT 103454381 SOS 70569750 HAS SOPS 65231556 HAS SOUS 16239089 HAS SOUPS 16122491 WITH SCORE 1.619306075E7
AT ITER 665 NEW BEST:: SOT 103483334 SOS 70615016 HAS SOPS 65280280 HAS SOUS 16231582 HAS SOUPS 16115084 WITH SCORE 1.6185699016E7
AT ITER 690 NEW BEST:: SOT 103614178 SOS 70749300 HAS SOPS 65423270 HAS SOUS 16215277 HAS SOUPS 16098840 WITH SCORE 1.61695893E7
AT ITER 696 NEW BEST:: SOT 103612291 SOS 70746900 HAS SOPS 65421033 HAS SOUS 16211748 HAS SOUPS 16095350 WITH SCORE 1.61660969E7
AT ITER 711 NEW BEST:: SOT 103611791 SOS 70746840 HAS SOPS 65416952 HAS SOUS 16211478 HAS SOUPS 16095080 WITH SCORE 1.616582684E7
AT ITER 713 NEW BEST:: SOT 103613940 SOS 70768255 HAS SOPS 65444902 HAS SOUS 16209221 HAS SOUPS 16092865 WITH SCORE 1.6163633255E7
AT ITER 721 NEW BEST:: SOT 103608858 SOS 70763015 HAS SOPS 65439310 HAS SOUS 16201514 HAS SOUPS 16085158 WITH SCORE 1.6155921015E7
AT ITER 724 NEW BEST:: SOT 103609304 SOS 70602151 HAS SOPS 65254740 HAS SOUS 16197386 HAS SOUPS 16079791 WITH SCORE 1.6150393151E7
AT ITER 725 NEW BEST:: SOT 103600911 SOS 70586014 HAS SOPS 65238263 HAS SOUS 16180257 HAS SOUPS 16062662 WITH SCORE 1.6133248014E7
AT ITER 727 NEW BEST:: SOT 103594476 SOS 70579077 HAS SOPS 65230860 HAS SOUS 16161352 HAS SOUPS 16043757 WITH SCORE 1.6114336077E7
AT ITER 729 NEW BEST:: SOT 103593361 SOS 70577853 HAS SOPS 65230394 HAS SOUS 16158212 HAS SOUPS 16040617 WITH SCORE 1.6111194853E7
AT ITER 736 NEW BEST:: SOT 103595535 SOS 70583843 HAS SOPS 65234422 HAS SOUS 16149479 HAS SOUPS 16031884 WITH SCORE 1.6102467843E7
AT ITER 748 NEW BEST:: SOT 103595535 SOS 70792184 HAS SOPS 65442763 HAS SOUS 16149188 HAS SOUPS 16031593 WITH SCORE 1.6102385184E7
AT ITER 764 NEW BEST:: SOT 103594337 SOS 70791119 HAS SOPS 65441406 HAS SOUS 16144920 HAS SOUPS 16027325 WITH SCORE 1.6098116119E7
AT ITER 769 NEW BEST:: SOT 103596664 SOS 70793176 HAS SOPS 65443347 HAS SOUS 16134741 HAS SOUPS 16017146 WITH SCORE 1.6087939176E7
AT ITER 776 NEW BEST:: SOT 103607195 SOS 70804478 HAS SOPS 65453365 HAS SOUS 16127548 HAS SOUPS 16009953 WITH SCORE 1.6080757478E7
AT ITER 778 NEW BEST:: SOT 103595069 SOS 70887386 HAS SOPS 65538801 HAS SOUS 16122946 HAS SOUPS 16005351 WITH SCORE 1.6076238386E7
AT ITER 785 NEW BEST:: SOT 103595394 SOS 70850992 HAS SOPS 65536871 HAS SOUS 16120925 HAS SOUPS 16003476 WITH SCORE 1.6074326992E7
AT ITER 807 NEW BEST:: SOT 103594628 SOS 70850188 HAS SOPS 65535899 HAS SOUS 16119505 HAS SOUPS 16002056 WITH SCORE 1.6072906188E7
AT ITER 820 NEW BEST:: SOT 103583225 SOS 70831927 HAS SOPS 65517464 HAS SOUS 16114135 HAS SOUPS 15996688 WITH SCORE 1.6067519927E7
AT ITER 826 NEW BEST:: SOT 103581030 SOS 70829713 HAS SOPS 65514489 HAS SOUS 16111157 HAS SOUPS 15993710 WITH SCORE 1.6064539713E7
AT ITER 830 NEW BEST:: SOT 103590585 SOS 70840599 HAS SOPS 65524079 HAS SOUS 16110911 HAS SOUPS 15993343 WITH SCORE 1.6064183599E7
AT ITER 842 NEW BEST:: SOT 103565363 SOS 70815280 HAS SOPS 65500761 HAS SOUS 16083922 HAS SOUPS 15968694 WITH SCORE 1.603950928E7
AT ITER 846 NEW BEST:: SOT 103564934 SOS 70814793 HAS SOPS 65500352 HAS SOUS 16083331 HAS SOUPS 15968103 WITH SCORE 1.6038917793E7
AT ITER 862 NEW BEST:: SOT 103564874 SOS 70750026 HAS SOPS 65435585 HAS SOUS 16083108 HAS SOUPS 15967880 WITH SCORE 1.6038630026E7
AT ITER 865 NEW BEST:: SOT 103566339 SOS 70751505 HAS SOPS 65436851 HAS SOUS 16082944 HAS SOUPS 15967716 WITH SCORE 1.6038467505E7
AT ITER 866 NEW BEST:: SOT 103519426 SOS 70704035 HAS SOPS 65392684 HAS SOUS 16025285 HAS SOUPS 15914407 WITH SCORE 1.5985111035E7
AT ITER 906 NEW BEST:: SOT 103533870 SOS 70735809 HAS SOPS 65407099 HAS SOUS 16016384 HAS SOUPS 15905506 WITH SCORE 1.5976241809E7
AT ITER 917 NEW BEST:: SOT 103533909 SOS 70735856 HAS SOPS 65407211 HAS SOUS 16015549 HAS SOUPS 15904671 WITH SCORE 1.5975406856E7
AT ITER 921 NEW BEST:: SOT 103537841 SOS 70740152 HAS SOPS 65412845 HAS SOUS 16013163 HAS SOUPS 15902285 WITH SCORE 1.5973025152E7
AT ITER 925 NEW BEST:: SOT 103537554 SOS 70739872 HAS SOPS 65412551 HAS SOUS 16012568 HAS SOUPS 15901690 WITH SCORE 1.5972429872E7
AT ITER 929 NEW BEST:: SOT 103538940 SOS 70746462 HAS SOPS 65414029 HAS SOUS 16008172 HAS SOUPS 15897294 WITH SCORE 1.5968040462E7
AT ITER 931 NEW BEST:: SOT 103539979 SOS 70747560 HAS SOPS 65414747 HAS SOUS 16007956 HAS SOUPS 15897078 WITH SCORE 1.596782556E7
AT ITER 947 NEW BEST:: SOT 103524882 SOS 70732004 HAS SOPS 65395647 HAS SOUS 15998136 HAS SOUPS 15887258 WITH SCORE 1.5957990004E7
AT ITER 957 NEW BEST:: SOT 103522128 SOS 70729239 HAS SOPS 65391878 HAS SOUS 15989654 HAS SOUPS 15878776 WITH SCORE 1.5949505239E7
AT ITER 978 NEW BEST:: SOT 103519490 SOS 70726095 HAS SOPS 65388659 HAS SOUS 15983620 HAS SOUPS 15872742 WITH SCORE 1.5943468095E7
AT ITER 981 NEW BEST:: SOT 103513738 SOS 70720232 HAS SOPS 65382286 HAS SOUS 15968205 HAS SOUPS 15857393 WITH SCORE 1.5928113232E7
AT ITER 985 NEW BEST:: SOT 103528774 SOS 70737606 HAS SOPS 65397432 HAS SOUS 15953264 HAS SOUPS 15842225 WITH SCORE 1.5912962606E7
AT ITER 1021 NEW BEST:: SOT 103530928 SOS 70739992 HAS SOPS 65399810 HAS SOUS 15951834 HAS SOUPS 15840795 WITH SCORE 1.5911534992E7
AT ITER 1040 NEW BEST:: SOT 103552367 SOS 70777703 HAS SOPS 65449199 HAS SOUS 15950500 HAS SOUPS 15839581 WITH SCORE 1.5910358703E7
AT ITER 1044 NEW BEST:: SOT 103554202 SOS 70779325 HAS SOPS 65449979 HAS SOUS 15947019 HAS SOUPS 15836100 WITH SCORE 1.5906879325E7
AT ITER 1054 NEW BEST:: SOT 103554579 SOS 70780660 HAS SOPS 65450777 HAS SOUS 15941414 HAS SOUPS 15830407 WITH SCORE 1.590118766E7
AT ITER 1055 NEW BEST:: SOT 103550074 SOS 70776795 HAS SOPS 65444438 HAS SOUS 15928623 HAS SOUPS 15817567 WITH SCORE 1.5888343795E7
AT ITER 1060 NEW BEST:: SOT 103555571 SOS 70782286 HAS SOPS 65448227 HAS SOUS 15928526 HAS SOUPS 15817470 WITH SCORE 1.5888252286E7
AT ITER 1063 NEW BEST:: SOT 103563958 SOS 70723358 HAS SOPS 65370246 HAS SOUS 15921743 HAS SOUPS 15810687 WITH SCORE 1.5881410358E7
AT ITER 1067 NEW BEST:: SOT 103563954 SOS 70723289 HAS SOPS 65370159 HAS SOUS 15921660 HAS SOUPS 15810604 WITH SCORE 1.5881327289E7
AT ITER 1076 NEW BEST:: SOT 103558384 SOS 70681667 HAS SOPS 65368051 HAS SOUS 15907782 HAS SOUPS 15796853 WITH SCORE 1.5867534667E7
AT ITER 1098 NEW BEST:: SOT 103558591 SOS 70593300 HAS SOPS 65294969 HAS SOUS 15876489 HAS SOUPS 15766330 WITH SCORE 1.58369233E7
AT ITER 1105 NEW BEST:: SOT 103678034 SOS 70733066 HAS SOPS 65440064 HAS SOUS 15845424 HAS SOUPS 15735233 WITH SCORE 1.5805966066E7
AT ITER 1106 NEW BEST:: SOT 103675995 SOS 70731009 HAS SOPS 65437539 HAS SOUS 15839867 HAS SOUPS 15729772 WITH SCORE 1.5800503009E7
AT ITER 1113 NEW BEST:: SOT 103675637 SOS 70730651 HAS SOPS 65436863 HAS SOUS 15838918 HAS SOUPS 15728823 WITH SCORE 1.5799553651E7
AT ITER 1135 NEW BEST:: SOT 103684979 SOS 70738308 HAS SOPS 65445820 HAS SOUS 15831815 HAS SOUPS 15721842 WITH SCORE 1.5792580308E7
AT ITER 1159 NEW BEST:: SOT 103684753 SOS 70738049 HAS SOPS 65445539 HAS SOUS 15831050 HAS SOUPS 15721066 WITH SCORE 1.5791804049E7
AT ITER 1167 NEW BEST:: SOT 103684517 SOS 70737863 HAS SOPS 65445153 HAS SOUS 15830408 HAS SOUPS 15720440 WITH SCORE 1.5791177863E7
AT ITER 1190 NEW BEST:: SOT 103692785 SOS 70758235 HAS SOPS 65467355 HAS SOUS 15827106 HAS SOUPS 15717138 WITH SCORE 1.5787896235E7
AT ITER 1193 NEW BEST:: SOT 103692236 SOS 70766067 HAS SOPS 65470575 HAS SOUS 15827008 HAS SOUPS 15717040 WITH SCORE 1.5787806067E7
AT ITER 1199 NEW BEST:: SOT 103691865 SOS 70765682 HAS SOPS 65470162 HAS SOUS 15826084 HAS SOUPS 15716116 WITH SCORE 1.5786881682E7
AT ITER 1222 NEW BEST:: SOT 103690542 SOS 70764362 HAS SOPS 65468803 HAS SOUS 15824020 HAS SOUPS 15714052 WITH SCORE 1.5784816362E7
AT ITER 1225 NEW BEST:: SOT 103698436 SOS 70771260 HAS SOPS 65475465 HAS SOUS 15801974 HAS SOUPS 15692279 WITH SCORE 1.576305026E7
AT ITER 1250 NEW BEST:: SOT 103698400 SOS 70771212 HAS SOPS 65475441 HAS SOUS 15801914 HAS SOUPS 15692219 WITH SCORE 1.5762990212E7
AT ITER 1273 NEW BEST:: SOT 103701275 SOS 70774189 HAS SOPS 65477740 HAS SOUS 15799014 HAS SOUPS 15689319 WITH SCORE 1.5760093189E7
AT ITER 1276 NEW BEST:: SOT 103700123 SOS 70773037 HAS SOPS 65476636 HAS SOUS 15798390 HAS SOUPS 15688695 WITH SCORE 1.5759468037E7
AT ITER 1301 NEW BEST:: SOT 103697450 SOS 70772609 HAS SOPS 65478000 HAS SOUS 15797876 HAS SOUPS 15688181 WITH SCORE 1.5758953609E7
AT ITER 1313 NEW BEST:: SOT 103697501 SOS 70773355 HAS SOPS 65478746 HAS SOUS 15797432 HAS SOUPS 15687737 WITH SCORE 1.5758510355E7
AT ITER 1316 NEW BEST:: SOT 103719584 SOS 70794639 HAS SOPS 65491137 HAS SOUS 15778748 HAS SOUPS 15669053 WITH SCORE 1.5739847639E7
AT ITER 1317 NEW BEST:: SOT 103719485 SOS 70795140 HAS SOPS 65491417 HAS SOUS 15778520 HAS SOUPS 15668825 WITH SCORE 1.573962014E7
AT ITER 1318 NEW BEST:: SOT 103719484 SOS 70764086 HAS SOPS 65460363 HAS SOUS 15778321 HAS SOUPS 15668626 WITH SCORE 1.5739390086E7
AT ITER 1328 NEW BEST:: SOT 103714475 SOS 70710226 HAS SOPS 65380899 HAS SOUS 15777218 HAS SOUPS 15667434 WITH SCORE 1.5738144226E7
AT ITER 1337 NEW BEST:: SOT 103710697 SOS 70693237 HAS SOPS 65379503 HAS SOUS 15768210 HAS SOUPS 15659209 WITH SCORE 1.5729902237E7
AT ITER 1352 NEW BEST:: SOT 103725581 SOS 70673947 HAS SOPS 65347795 HAS SOUS 15764359 HAS SOUPS 15655510 WITH SCORE 1.5726183947E7
AT ITER 1358 NEW BEST:: SOT 103737535 SOS 70689805 HAS SOPS 65355668 HAS SOUS 15751797 HAS SOUPS 15643051 WITH SCORE 1.5713740805E7
AT ITER 1362 NEW BEST:: SOT 103739003 SOS 70844034 HAS SOPS 65509048 HAS SOUS 15749368 HAS SOUPS 15640622 WITH SCORE 1.5711466034E7
AT ITER 1397 NEW BEST:: SOT 103777424 SOS 70886897 HAS SOPS 65548666 HAS SOUS 15703949 HAS SOUPS 15595268 WITH SCORE 1.5666154897E7
AT ITER 1405 NEW BEST:: SOT 103777228 SOS 70858011 HAS SOPS 65516664 HAS SOUS 15702551 HAS SOUPS 15593870 WITH SCORE 1.5664728011E7
AT ITER 1436 NEW BEST:: SOT 103772765 SOS 70816082 HAS SOPS 65467248 HAS SOUS 15702440 HAS SOUPS 15593759 WITH SCORE 1.5664575082E7
AT ITER 1441 NEW BEST:: SOT 103777390 SOS 70821648 HAS SOPS 65472428 HAS SOUS 15700231 HAS SOUPS 15591460 WITH SCORE 1.5662281648E7
AT ITER 1444 NEW BEST:: SOT 103755774 SOS 70759139 HAS SOPS 65406796 HAS SOUS 15673148 HAS SOUPS 15564544 WITH SCORE 1.5635303139E7
AT ITER 1447 NEW BEST:: SOT 103754878 SOS 70758205 HAS SOPS 65405267 HAS SOUS 15671800 HAS SOUPS 15563196 WITH SCORE 1.5633954205E7
AT ITER 1449 NEW BEST:: SOT 103736830 SOS 70741373 HAS SOPS 65381046 HAS SOUS 15654977 HAS SOUPS 15546280 WITH SCORE 1.5617021373E7
AT ITER 1456 NEW BEST:: SOT 103736565 SOS 70755198 HAS SOPS 65365913 HAS SOUS 15653057 HAS SOUPS 15544241 WITH SCORE 1.5614996198E7
AT ITER 1470 NEW BEST:: SOT 103735623 SOS 70734905 HAS SOPS 65338439 HAS SOUS 15606994 HAS SOUPS 15498138 WITH SCORE 1.5568872905E7
AT ITER 1476 NEW BEST:: SOT 103704762 SOS 70632586 HAS SOPS 65236408 HAS SOUS 15600224 HAS SOUPS 15491368 WITH SCORE 1.5562000586E7
AT ITER 1477 NEW BEST:: SOT 103704762 SOS 70632538 HAS SOPS 65236130 HAS SOUS 15599306 HAS SOUPS 15490450 WITH SCORE 1.5561082538E7
AT ITER 1482 NEW BEST:: SOT 103670446 SOS 70407156 HAS SOPS 64992938 HAS SOUS 15599137 HAS SOUPS 15490171 WITH SCORE 1.5560578156E7
AT ITER 1485 NEW BEST:: SOT 103668393 SOS 70405103 HAS SOPS 64990885 HAS SOUS 15594872 HAS SOUPS 15485906 WITH SCORE 1.5556311103E7
AT ITER 1494 NEW BEST:: SOT 103666319 SOS 70402959 HAS SOPS 64988562 HAS SOUS 15591669 HAS SOUPS 15482703 WITH SCORE 1.5553105959E7
AT ITER 1496 NEW BEST:: SOT 103659925 SOS 70395105 HAS SOPS 64980403 HAS SOUS 15576351 HAS SOUPS 15467480 WITH SCORE 1.5537875105E7
AT ITER 1501 NEW BEST:: SOT 103660051 SOS 70395843 HAS SOPS 64981659 HAS SOUS 15576311 HAS SOUPS 15467442 WITH SCORE 1.5537837843E7
AT ITER 1516 NEW BEST:: SOT 103657813 SOS 70288207 HAS SOPS 64868435 HAS SOUS 15575318 HAS SOUPS 15466449 WITH SCORE 1.5536737207E7
AT ITER 1526 NEW BEST:: SOT 103657140 SOS 70287502 HAS SOPS 64867666 HAS SOUS 15574581 HAS SOUPS 15465712 WITH SCORE 1.5535999502E7
AT ITER 1530 NEW BEST:: SOT 103755948 SOS 70386343 HAS SOPS 64961491 HAS SOUS 15571761 HAS SOUPS 15462892 WITH SCORE 1.5533278343E7
AT ITER 1542 NEW BEST:: SOT 103756413 SOS 70481726 HAS SOPS 64984792 HAS SOUS 15571634 HAS SOUPS 15462765 WITH SCORE 1.5533246726E7
AT ITER 1544 NEW BEST:: SOT 103772635 SOS 70502448 HAS SOPS 65008627 HAS SOUS 15563929 HAS SOUPS 15455330 WITH SCORE 1.5525832448E7
AT ITER 1549 NEW BEST:: SOT 103747335 SOS 70524025 HAS SOPS 65038961 HAS SOUS 15550470 HAS SOUPS 15442102 WITH SCORE 1.5512626025E7
AT ITER 1557 NEW BEST:: SOT 103721378 SOS 70287891 HAS SOPS 64771918 HAS SOUS 15526102 HAS SOUPS 15417360 WITH SCORE 1.5487647891E7
AT ITER 1565 NEW BEST:: SOT 103721842 SOS 70288461 HAS SOPS 64772150 HAS SOUS 15523395 HAS SOUPS 15414653 WITH SCORE 1.5484941461E7
AT ITER 1567 NEW BEST:: SOT 103720811 SOS 70284648 HAS SOPS 64767388 HAS SOUS 15521928 HAS SOUPS 15413186 WITH SCORE 1.5483470648E7
AT ITER 1568 NEW BEST:: SOT 103720571 SOS 70283568 HAS SOPS 64766353 HAS SOUS 15515979 HAS SOUPS 15407357 WITH SCORE 1.5477640568E7
AT ITER 1586 NEW BEST:: SOT 103723164 SOS 70284269 HAS SOPS 64767232 HAS SOUS 15508883 HAS SOUPS 15400261 WITH SCORE 1.5470545269E7
AT ITER 1611 NEW BEST:: SOT 103850075 SOS 70411665 HAS SOPS 64884511 HAS SOUS 15483624 HAS SOUPS 15374954 WITH SCORE 1.5445365665E7
AT ITER 1617 NEW BEST:: SOT 103958118 SOS 70548122 HAS SOPS 65024598 HAS SOUS 15470006 HAS SOUPS 15361422 WITH SCORE 1.5431970122E7
AT ITER 1618 NEW BEST:: SOT 103952954 SOS 70543046 HAS SOPS 65018017 HAS SOUS 15443740 HAS SOUPS 15335156 WITH SCORE 1.5405699046E7
AT ITER 1619 NEW BEST:: SOT 103962009 SOS 70551197 HAS SOPS 65031980 HAS SOUS 15439892 HAS SOUPS 15331308 WITH SCORE 1.5401859197E7
AT ITER 1625 NEW BEST:: SOT 103965249 SOS 70555923 HAS SOPS 65035619 HAS SOUS 15436799 HAS SOUPS 15328233 WITH SCORE 1.5398788923E7
AT ITER 1629 NEW BEST:: SOT 103965376 SOS 70555647 HAS SOPS 65032971 HAS SOUS 15433612 HAS SOUPS 15325046 WITH SCORE 1.5395601647E7
AT ITER 1638 NEW BEST:: SOT 104084346 SOS 70699603 HAS SOPS 65185536 HAS SOUS 15420957 HAS SOUPS 15312480 WITH SCORE 1.5383179603E7
AT ITER 1651 NEW BEST:: SOT 104077180 SOS 70692181 HAS SOPS 65174658 HAS SOUS 15407327 HAS SOUPS 15298850 WITH SCORE 1.5369542181E7
AT ITER 1660 NEW BEST:: SOT 103970253 SOS 70506516 HAS SOPS 64942099 HAS SOUS 15383970 HAS SOUPS 15275160 WITH SCORE 1.5345666516E7
AT ITER 1678 NEW BEST:: SOT 104021841 SOS 70555956 HAS SOPS 64992757 HAS SOUS 15380592 HAS SOUPS 15272131 WITH SCORE 1.5342686956E7
AT ITER 1687 NEW BEST:: SOT 104025869 SOS 70559905 HAS SOPS 64991651 HAS SOUS 15380132 HAS SOUPS 15271671 WITH SCORE 1.5342230905E7
AT ITER 1691 NEW BEST:: SOT 104025827 SOS 70560382 HAS SOPS 64992128 HAS SOUS 15379778 HAS SOUPS 15271317 WITH SCORE 1.5341877382E7
AT ITER 1696 NEW BEST:: SOT 104023435 SOS 70552896 HAS SOPS 64983025 HAS SOUS 15377447 HAS SOUPS 15268986 WITH SCORE 1.5339538896E7
AT ITER 1700 NEW BEST:: SOT 104022133 SOS 70551594 HAS SOPS 64981239 HAS SOUS 15375666 HAS SOUPS 15267184 WITH SCORE 1.5337735594E7
AT ITER 1701 NEW BEST:: SOT 104019191 SOS 70548507 HAS SOPS 64977022 HAS SOUS 15371379 HAS SOUPS 15262897 WITH SCORE 1.5333445507E7
AT ITER 1704 NEW BEST:: SOT 104014212 SOS 70544324 HAS SOPS 64971563 HAS SOUS 15367658 HAS SOUPS 15259147 WITH SCORE 1.5329691324E7
AT ITER 1721 NEW BEST:: SOT 104014316 SOS 70544308 HAS SOPS 64971341 HAS SOUS 15367584 HAS SOUPS 15259073 WITH SCORE 1.5329617308E7
AT ITER 1746 NEW BEST:: SOT 104030930 SOS 70553559 HAS SOPS 64979272 HAS SOUS 15366847 HAS SOUPS 15258336 WITH SCORE 1.5328889559E7
AT ITER 1769 NEW BEST:: SOT 104030777 SOS 70552419 HAS SOPS 64977991 HAS SOUS 15366508 HAS SOUPS 15257997 WITH SCORE 1.5328549419E7
AT ITER 1773 NEW BEST:: SOT 104031029 SOS 70542575 HAS SOPS 64984267 HAS SOUS 15365658 HAS SOUPS 15257258 WITH SCORE 1.5327800575E7
AT ITER 1774 NEW BEST:: SOT 104031665 SOS 70591547 HAS SOPS 65022671 HAS SOUS 15365256 HAS SOUPS 15256808 WITH SCORE 1.5327399547E7
AT ITER 1787 NEW BEST:: SOT 104039313 SOS 70599340 HAS SOPS 65029555 HAS SOUS 15361852 HAS SOUPS 15253404 WITH SCORE 1.532400334E7
AT ITER 1796 NEW BEST:: SOT 104049460 SOS 70610620 HAS SOPS 65039457 HAS SOUS 15354411 HAS SOUPS 15245963 WITH SCORE 1.531657362E7
AT ITER 1807 NEW BEST:: SOT 104048790 SOS 70609797 HAS SOPS 65038574 HAS SOUS 15353498 HAS SOUPS 15245050 WITH SCORE 1.5315659797E7
AT ITER 1812 NEW BEST:: SOT 104051460 SOS 70613003 HAS SOPS 65041976 HAS SOUS 15353389 HAS SOUPS 15244941 WITH SCORE 1.5315554003E7
AT ITER 1822 NEW BEST:: SOT 104052172 SOS 70613774 HAS SOPS 65042689 HAS SOUS 15353008 HAS SOUPS 15244560 WITH SCORE 1.5315173774E7
AT ITER 1824 NEW BEST:: SOT 104053517 SOS 70615330 HAS SOPS 65043911 HAS SOUS 15349056 HAS SOUPS 15240608 WITH SCORE 1.531122333E7
AT ITER 1842 NEW BEST:: SOT 104178210 SOS 70795931 HAS SOPS 65226010 HAS SOUS 15332729 HAS SOUPS 15224522 WITH SCORE 1.5295317931E7
AT ITER 1855 NEW BEST:: SOT 104176092 SOS 70793691 HAS SOPS 65223541 HAS SOUS 15330674 HAS SOUPS 15222467 WITH SCORE 1.5293260691E7
AT ITER 1863 NEW BEST:: SOT 104175527 SOS 70780493 HAS SOPS 65209290 HAS SOUS 15330442 HAS SOUPS 15222235 WITH SCORE 1.5293015493E7
AT ITER 1873 NEW BEST:: SOT 104190871 SOS 70795745 HAS SOPS 65225250 HAS SOUS 15326399 HAS SOUPS 15218192 WITH SCORE 1.5288987745E7
AT ITER 1885 NEW BEST:: SOT 104190721 SOS 70795595 HAS SOPS 65225055 HAS SOUS 15326138 HAS SOUPS 15217931 WITH SCORE 1.5288726595E7
AT ITER 1886 NEW BEST:: SOT 104188754 SOS 70793598 HAS SOPS 65222972 HAS SOUS 15322085 HAS SOUPS 15213878 WITH SCORE 1.5284671598E7
AT ITER 1900 NEW BEST:: SOT 104185485 SOS 70791253 HAS SOPS 65220005 HAS SOUS 15313078 HAS SOUPS 15204871 WITH SCORE 1.5275662253E7
AT ITER 1903 NEW BEST:: SOT 104183650 SOS 70788991 HAS SOPS 65216703 HAS SOUS 15310845 HAS SOUPS 15202638 WITH SCORE 1.5273426991E7
AT ITER 1921 NEW BEST:: SOT 104184016 SOS 70788137 HAS SOPS 65215719 HAS SOUS 15298534 HAS SOUPS 15190494 WITH SCORE 1.5261282137E7
AT ITER 1924 NEW BEST:: SOT 104624242 SOS 71225379 HAS SOPS 65635389 HAS SOUS 15283859 HAS SOUPS 15175741 WITH SCORE 1.5246966379E7
AT ITER 1929 NEW BEST:: SOT 104624545 SOS 71225707 HAS SOPS 65635931 HAS SOUS 15283649 HAS SOUPS 15175531 WITH SCORE 1.5246756707E7
AT ITER 1934 NEW BEST:: SOT 104624450 SOS 71225674 HAS SOPS 65635983 HAS SOUS 15281081 HAS SOUPS 15172963 WITH SCORE 1.5244188674E7
AT ITER 1953 NEW BEST:: SOT 104621011 SOS 71196866 HAS SOPS 65611776 HAS SOUS 15277292 HAS SOUPS 15169305 WITH SCORE 1.5240501866E7
AT ITER 1972 NEW BEST:: SOT 104621630 SOS 71196123 HAS SOPS 65610819 HAS SOUS 15267986 HAS SOUPS 15160134 WITH SCORE 1.5231330123E7
AT ITER 2011 NEW BEST:: SOT 104621324 SOS 71195808 HAS SOPS 65610495 HAS SOUS 15267077 HAS SOUPS 15159225 WITH SCORE 1.5230420808E7
AT ITER 2028 NEW BEST:: SOT 104619055 SOS 71331236 HAS SOPS 65748785 HAS SOUS 15266353 HAS SOUPS 15158501 WITH SCORE 1.5229832236E7
AT ITER 2036 NEW BEST:: SOT 104635715 SOS 71238221 HAS SOPS 65666864 HAS SOUS 15252183 HAS SOUPS 15144471 WITH SCORE 1.5215709221E7
AT ITER 2045 NEW BEST:: SOT 104635715 SOS 71204093 HAS SOPS 65630828 HAS SOUS 15252003 HAS SOUPS 15144255 WITH SCORE 1.5215459093E7
AT ITER 2047 NEW BEST:: SOT 104635658 SOS 71204036 HAS SOPS 65630730 HAS SOUS 15251981 HAS SOUPS 15144233 WITH SCORE 1.5215437036E7
AT ITER 2061 NEW BEST:: SOT 104626173 SOS 71202489 HAS SOPS 65626171 HAS SOUS 15250484 HAS SOUPS 15142736 WITH SCORE 1.5213938489E7
AT ITER 2063 NEW BEST:: SOT 104648452 SOS 71176097 HAS SOPS 65626774 HAS SOUS 15247058 HAS SOUPS 15140036 WITH SCORE 1.5211212097E7
AT ITER 2077 NEW BEST:: SOT 104648430 SOS 71176093 HAS SOPS 65626664 HAS SOUS 15244806 HAS SOUPS 15137784 WITH SCORE 1.5208960093E7
AT ITER 2096 NEW BEST:: SOT 104647943 SOS 71175086 HAS SOPS 65625272 HAS SOUS 15243837 HAS SOUPS 15136815 WITH SCORE 1.5207990086E7
AT ITER 2127 NEW BEST:: SOT 104647998 SOS 71175839 HAS SOPS 65626204 HAS SOUS 15243825 HAS SOUPS 15136803 WITH SCORE 1.5207978839E7
AT ITER 2140 NEW BEST:: SOT 104631281 SOS 71159692 HAS SOPS 65610403 HAS SOUS 15241560 HAS SOUPS 15134538 WITH SCORE 1.5205697692E7
AT ITER 2141 NEW BEST:: SOT 104629399 SOS 71157780 HAS SOPS 65608479 HAS SOUS 15240011 HAS SOUPS 15132989 WITH SCORE 1.520414678E7
AT ITER 2180 NEW BEST:: SOT 104635391 SOS 71144297 HAS SOPS 65602464 HAS SOUS 15234780 HAS SOUPS 15127758 WITH SCORE 1.5198902297E7
AT ITER 2183 NEW BEST:: SOT 104638363 SOS 71148134 HAS SOPS 65605528 HAS SOUS 15218609 HAS SOUPS 15111587 WITH SCORE 1.5182735134E7
AT ITER 2209 NEW BEST:: SOT 104638307 SOS 71148312 HAS SOPS 65605706 HAS SOUS 15218581 HAS SOUPS 15111559 WITH SCORE 1.5182707312E7
AT ITER 2214 NEW BEST:: SOT 104835433 SOS 71345406 HAS SOPS 65785241 HAS SOUS 15168186 HAS SOUPS 15061164 WITH SCORE 1.5132509406E7
AT ITER 2215 NEW BEST:: SOT 104821833 SOS 71331631 HAS SOPS 65770457 HAS SOUS 15133540 HAS SOUPS 15026518 WITH SCORE 1.5097849631E7
AT ITER 2236 NEW BEST:: SOT 104826041 SOS 71335985 HAS SOPS 65774386 HAS SOUS 15132809 HAS SOUPS 15025787 WITH SCORE 1.5097122985E7
AT ITER 2242 NEW BEST:: SOT 104821968 SOS 71331870 HAS SOPS 65769461 HAS SOUS 15123708 HAS SOUPS 15016686 WITH SCORE 1.508801787E7
AT ITER 2249 NEW BEST:: SOT 104814126 SOS 71324034 HAS SOPS 65753502 HAS SOUS 15101942 HAS SOUPS 14994920 WITH SCORE 1.5066244034E7
AT ITER 2260 NEW BEST:: SOT 104813220 SOS 71323038 HAS SOPS 65751960 HAS SOUS 15100365 HAS SOUPS 14993343 WITH SCORE 1.5064666038E7
AT ITER 2261 NEW BEST:: SOT 104820917 SOS 71330811 HAS SOPS 65757942 HAS SOUS 15095618 HAS SOUPS 14988596 WITH SCORE 1.5059926811E7
AT ITER 2265 NEW BEST:: SOT 104824690 SOS 71431082 HAS SOPS 65860851 HAS SOUS 15091648 HAS SOUPS 14984413 WITH SCORE 1.5055844082E7
AT ITER 2288 NEW BEST:: SOT 104867158 SOS 71422668 HAS SOPS 65894112 HAS SOUS 15086430 HAS SOUPS 14977610 WITH SCORE 1.5049032668E7
AT ITER 2292 NEW BEST:: SOT 104867157 SOS 71422013 HAS SOPS 65893457 HAS SOUS 15086411 HAS SOUPS 14977591 WITH SCORE 1.5049013013E7
AT ITER 2302 NEW BEST:: SOT 104867157 SOS 71418863 HAS SOPS 65890057 HAS SOUS 15085355 HAS SOUPS 14976535 WITH SCORE 1.5047953863E7
AT ITER 2312 NEW BEST:: SOT 104872286 SOS 71424259 HAS SOPS 65894751 HAS SOUS 15082125 HAS SOUPS 14973305 WITH SCORE 1.5044729259E7
AT ITER 2320 NEW BEST:: SOT 104931371 SOS 71483659 HAS SOPS 65955947 HAS SOUS 15077635 HAS SOUPS 14968815 WITH SCORE 1.5040298659E7
AT ITER 2342 NEW BEST:: SOT 104931245 SOS 71484842 HAS SOPS 65957130 HAS SOUS 15077627 HAS SOUPS 14968807 WITH SCORE 1.5040291842E7
AT ITER 2343 NEW BEST:: SOT 105006239 SOS 71611471 HAS SOPS 66088710 HAS SOUS 15057762 HAS SOUPS 14949073 WITH SCORE 1.5020684471E7
AT ITER 2346 NEW BEST:: SOT 105008907 SOS 71719189 HAS SOPS 66194346 HAS SOUS 15053993 HAS SOUPS 14945304 WITH SCORE 1.5017023189E7
AT ITER 2361 NEW BEST:: SOT 105011664 SOS 71738275 HAS SOPS 66227572 HAS SOUS 15051534 HAS SOUPS 14942912 WITH SCORE 1.5014650275E7
AT ITER 2367 NEW BEST:: SOT 105015068 SOS 71742479 HAS SOPS 66229918 HAS SOUS 15048982 HAS SOUPS 14940304 WITH SCORE 1.5012046479E7
AT ITER 2378 NEW BEST:: SOT 105015068 SOS 71742289 HAS SOPS 66229728 HAS SOUS 15048802 HAS SOUPS 14940124 WITH SCORE 1.5011866289E7
AT ITER 2389 NEW BEST:: SOT 105012221 SOS 71739310 HAS SOPS 66226602 HAS SOUS 15044638 HAS SOUPS 14935960 WITH SCORE 1.500769931E7
AT ITER 2390 NEW BEST:: SOT 105011509 SOS 71736419 HAS SOPS 66222682 HAS SOUS 15039241 HAS SOUPS 14930501 WITH SCORE 1.5002237419E7
AT ITER 2405 NEW BEST:: SOT 105014084 SOS 71793603 HAS SOPS 66284541 HAS SOUS 15037309 HAS SOUPS 14928569 WITH SCORE 1.5000362603E7
AT ITER 2413 NEW BEST:: SOT 104906952 SOS 71686907 HAS SOPS 66182524 HAS SOUS 14998731 HAS SOUPS 14890096 WITH SCORE 1.4961782907E7
AT ITER 2424 NEW BEST:: SOT 104906952 SOS 71667464 HAS SOPS 66163081 HAS SOUS 14998635 HAS SOUPS 14890000 WITH SCORE 1.4961667464E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15464932 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16069364 kB

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="RERS2020-PT-pb104"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is RERS2020-PT-pb104, 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 r323-tall-167889194400248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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