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-158961502400120.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 RERS17pb114-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-158961502400120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.9K Apr 12 07:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 12 07:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 11 08:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Apr 10 14:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 20:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589726403036

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 2 NEW BEST:: SOT 133655632 SOS 82219727 HAS SOPS 66775121 HAS SOUS 26440515 HAS SOUPS 25809824 WITH SCORE 2.5892043727E7
AT ITER 3 NEW BEST:: SOT 133693679 SOS 82354878 HAS SOPS 66911805 HAS SOUS 26423574 HAS SOUPS 25792883 WITH SCORE 2.5875237878E7
AT ITER 5 NEW BEST:: SOT 133789100 SOS 82539424 HAS SOPS 67101632 HAS SOUS 26401530 HAS SOUPS 25770839 WITH SCORE 2.5853378424E7
AT ITER 10 NEW BEST:: SOT 133765734 SOS 82510431 HAS SOPS 67076616 HAS SOUS 26370142 HAS SOUPS 25739451 WITH SCORE 2.5821961431E7
AT ITER 13 NEW BEST:: SOT 133769966 SOS 82536698 HAS SOPS 67097487 HAS SOUS 26351936 HAS SOUPS 25720420 WITH SCORE 2.5802956698E7
AT ITER 19 NEW BEST:: SOT 133805588 SOS 82616568 HAS SOPS 67174528 HAS SOUS 26345050 HAS SOUPS 25713534 WITH SCORE 2.5796150568E7
AT ITER 20 NEW BEST:: SOT 133808003 SOS 82654643 HAS SOPS 67221125 HAS SOUS 26330579 HAS SOUPS 25699063 WITH SCORE 2.5781717643E7
AT ITER 24 NEW BEST:: SOT 133807311 SOS 82653735 HAS SOPS 67220222 HAS SOUS 26329106 HAS SOUPS 25697674 WITH SCORE 2.5780327735E7
AT ITER 26 NEW BEST:: SOT 133806514 SOS 82655971 HAS SOPS 67222497 HAS SOUS 26325685 HAS SOUPS 25694253 WITH SCORE 2.5776908971E7
AT ITER 29 NEW BEST:: SOT 133806158 SOS 82655603 HAS SOPS 67221375 HAS SOUS 26324653 HAS SOUPS 25693215 WITH SCORE 2.5775870603E7
AT ITER 31 NEW BEST:: SOT 133811556 SOS 82676253 HAS SOPS 67241409 HAS SOUS 26309827 HAS SOUPS 25678389 WITH SCORE 2.5761065253E7
AT ITER 39 NEW BEST:: SOT 133802579 SOS 82699316 HAS SOPS 67267444 HAS SOUS 26233212 HAS SOUPS 25601774 WITH SCORE 2.5684473316E7
AT ITER 48 NEW BEST:: SOT 133803901 SOS 82701572 HAS SOPS 67268045 HAS SOUS 26229779 HAS SOUPS 25598223 WITH SCORE 2.5680924572E7
AT ITER 49 NEW BEST:: SOT 133792320 SOS 82688732 HAS SOPS 67253005 HAS SOUS 26202240 HAS SOUPS 25570684 WITH SCORE 2.5653372732E7
AT ITER 70 NEW BEST:: SOT 133815802 SOS 82757238 HAS SOPS 67304127 HAS SOUS 26200887 HAS SOUPS 25569331 WITH SCORE 2.5652088238E7
AT ITER 71 NEW BEST:: SOT 133767245 SOS 82704872 HAS SOPS 67251543 HAS SOUS 26156109 HAS SOUPS 25524459 WITH SCORE 2.5607163872E7
AT ITER 84 NEW BEST:: SOT 133773171 SOS 82732723 HAS SOPS 67271224 HAS SOUS 26141433 HAS SOUPS 25509783 WITH SCORE 2.5592515723E7
AT ITER 106 NEW BEST:: SOT 133763205 SOS 82720912 HAS SOPS 67255852 HAS SOUS 26117291 HAS SOUPS 25485641 WITH SCORE 2.5568361912E7
AT ITER 112 NEW BEST:: SOT 133747903 SOS 82682813 HAS SOPS 67224407 HAS SOUS 26108043 HAS SOUPS 25476393 WITH SCORE 2.5559075813E7
AT ITER 127 NEW BEST:: SOT 133751851 SOS 82683455 HAS SOPS 67230671 HAS SOUS 26101964 HAS SOUPS 25470606 WITH SCORE 2.5553289455E7
AT ITER 129 NEW BEST:: SOT 133759887 SOS 82701389 HAS SOPS 67243257 HAS SOUS 26101803 HAS SOUPS 25470445 WITH SCORE 2.5553146389E7
AT ITER 131 NEW BEST:: SOT 133662315 SOS 82585359 HAS SOPS 67127307 HAS SOUS 25995742 HAS SOUPS 25363961 WITH SCORE 2.5446546359E7
AT ITER 140 NEW BEST:: SOT 133663843 SOS 82596719 HAS SOPS 67133580 HAS SOUS 25984872 HAS SOUPS 25353091 WITH SCORE 2.5435687719E7
AT ITER 146 NEW BEST:: SOT 133576593 SOS 82504119 HAS SOPS 67020238 HAS SOUS 25874561 HAS SOUPS 25238137 WITH SCORE 2.5320641119E7
AT ITER 147 NEW BEST:: SOT 133586023 SOS 82515827 HAS SOPS 67066303 HAS SOUS 25816096 HAS SOUPS 25181518 WITH SCORE 2.5264033827E7
AT ITER 163 NEW BEST:: SOT 133582665 SOS 82512236 HAS SOPS 67061952 HAS SOUS 25810757 HAS SOUPS 25176235 WITH SCORE 2.5258747236E7
AT ITER 169 NEW BEST:: SOT 133551599 SOS 82431344 HAS SOPS 67011481 HAS SOUS 25801532 HAS SOUPS 25167010 WITH SCORE 2.5249441344E7
AT ITER 176 NEW BEST:: SOT 133576439 SOS 82482010 HAS SOPS 67049232 HAS SOUS 25791231 HAS SOUPS 25156709 WITH SCORE 2.523919101E7
AT ITER 180 NEW BEST:: SOT 133574082 SOS 82477870 HAS SOPS 67046712 HAS SOUS 25786894 HAS SOUPS 25152372 WITH SCORE 2.523484987E7
AT ITER 188 NEW BEST:: SOT 133565059 SOS 82466858 HAS SOPS 67039928 HAS SOUS 25759540 HAS SOUPS 25125018 WITH SCORE 2.5207484858E7
AT ITER 198 NEW BEST:: SOT 133564253 SOS 82470244 HAS SOPS 67047785 HAS SOUS 25745974 HAS SOUPS 25111452 WITH SCORE 2.5193922244E7
AT ITER 212 NEW BEST:: SOT 133561351 SOS 82466692 HAS SOPS 67045508 HAS SOUS 25739022 HAS SOUPS 25104400 WITH SCORE 2.5186866692E7
AT ITER 217 NEW BEST:: SOT 133559798 SOS 82465147 HAS SOPS 67046261 HAS SOUS 25736817 HAS SOUPS 25102195 WITH SCORE 2.5184660147E7
AT ITER 218 NEW BEST:: SOT 133542025 SOS 82436152 HAS SOPS 67022188 HAS SOUS 25715720 HAS SOUPS 25081098 WITH SCORE 2.5163534152E7
AT ITER 229 NEW BEST:: SOT 133528967 SOS 82422570 HAS SOPS 67008606 HAS SOUS 25691402 HAS SOUPS 25056780 WITH SCORE 2.513920257E7
AT ITER 238 NEW BEST:: SOT 133511766 SOS 82405866 HAS SOPS 66991357 HAS SOUS 25667675 HAS SOUPS 25034827 WITH SCORE 2.5117232866E7
AT ITER 268 NEW BEST:: SOT 133511574 SOS 82412071 HAS SOPS 66999482 HAS SOUS 25663632 HAS SOUPS 25030784 WITH SCORE 2.5113196071E7
AT ITER 270 NEW BEST:: SOT 133511574 SOS 82409783 HAS SOPS 66997194 HAS SOUS 25663595 HAS SOUPS 25030747 WITH SCORE 2.5113156783E7
AT ITER 288 NEW BEST:: SOT 133453880 SOS 82352075 HAS SOPS 66935909 HAS SOUS 25592116 HAS SOUPS 24959268 WITH SCORE 2.5041620075E7
AT ITER 293 NEW BEST:: SOT 133460804 SOS 82380924 HAS SOPS 66959454 HAS SOUS 25573215 HAS SOUPS 24940367 WITH SCORE 2.5022747924E7
AT ITER 294 NEW BEST:: SOT 133458861 SOS 82378752 HAS SOPS 66957600 HAS SOUS 25569373 HAS SOUPS 24936534 WITH SCORE 2.5018912752E7
AT ITER 295 NEW BEST:: SOT 133455781 SOS 82369142 HAS SOPS 66961340 HAS SOUS 25567371 HAS SOUPS 24934532 WITH SCORE 2.5016901142E7
AT ITER 327 NEW BEST:: SOT 133407370 SOS 82291110 HAS SOPS 66896189 HAS SOUS 25499336 HAS SOUPS 24866497 WITH SCORE 2.494878811E7
AT ITER 332 NEW BEST:: SOT 133410945 SOS 82321305 HAS SOPS 66920367 HAS SOUS 25484324 HAS SOUPS 24851485 WITH SCORE 2.4933806305E7
AT ITER 339 NEW BEST:: SOT 133407498 SOS 82321710 HAS SOPS 66914562 HAS SOUS 25466633 HAS SOUPS 24833794 WITH SCORE 2.491611571E7
AT ITER 342 NEW BEST:: SOT 133407095 SOS 82321050 HAS SOPS 66925437 HAS SOUS 25463891 HAS SOUPS 24831052 WITH SCORE 2.491337305E7
AT ITER 345 NEW BEST:: SOT 133416044 SOS 82343665 HAS SOPS 66943202 HAS SOUS 25458878 HAS SOUPS 24825987 WITH SCORE 2.4908330665E7
AT ITER 347 NEW BEST:: SOT 133415789 SOS 82343265 HAS SOPS 66942537 HAS SOUS 25458298 HAS SOUPS 24825407 WITH SCORE 2.4907750265E7
AT ITER 348 NEW BEST:: SOT 133414312 SOS 82341931 HAS SOPS 66941203 HAS SOUS 25457631 HAS SOUPS 24824452 WITH SCORE 2.4906793931E7
AT ITER 351 NEW BEST:: SOT 133413429 SOS 82346819 HAS SOPS 66946301 HAS SOUS 25453264 HAS SOUPS 24820085 WITH SCORE 2.4902431819E7
AT ITER 354 NEW BEST:: SOT 133403491 SOS 82321086 HAS SOPS 66924542 HAS SOUS 25430504 HAS SOUPS 24797325 WITH SCORE 2.4879646086E7
AT ITER 356 NEW BEST:: SOT 133408291 SOS 82338757 HAS SOPS 66949329 HAS SOUS 25429961 HAS SOUPS 24796782 WITH SCORE 2.4879120757E7
AT ITER 358 NEW BEST:: SOT 133406538 SOS 82334532 HAS SOPS 66946112 HAS SOUS 25428438 HAS SOUPS 24795259 WITH SCORE 2.4877593532E7
AT ITER 361 NEW BEST:: SOT 133409463 SOS 82353400 HAS SOPS 66961004 HAS SOUS 25414764 HAS SOUPS 24781585 WITH SCORE 2.48639384E7
AT ITER 364 NEW BEST:: SOT 133393671 SOS 82336913 HAS SOPS 66963447 HAS SOUS 25398521 HAS SOUPS 24765342 WITH SCORE 2.4847678913E7
AT ITER 381 NEW BEST:: SOT 133390662 SOS 82332622 HAS SOPS 66958708 HAS SOUS 25391143 HAS SOUPS 24757964 WITH SCORE 2.4840296622E7
AT ITER 393 NEW BEST:: SOT 133388189 SOS 82330231 HAS SOPS 66956490 HAS SOUS 25381223 HAS SOUPS 24748044 WITH SCORE 2.4830374231E7
AT ITER 397 NEW BEST:: SOT 133387211 SOS 82335953 HAS SOPS 66958772 HAS SOUS 25377011 HAS SOUPS 24743832 WITH SCORE 2.4826167953E7
AT ITER 407 NEW BEST:: SOT 133389259 SOS 82328011 HAS SOPS 66984549 HAS SOUS 25372743 HAS SOUPS 24739611 WITH SCORE 2.4821939011E7
AT ITER 427 NEW BEST:: SOT 133373117 SOS 82286664 HAS SOPS 66965887 HAS SOUS 25365476 HAS SOUPS 24732344 WITH SCORE 2.4814630664E7
AT ITER 428 NEW BEST:: SOT 133342274 SOS 82159541 HAS SOPS 66916675 HAS SOUS 25346661 HAS SOUPS 24714793 WITH SCORE 2.4796952541E7
AT ITER 442 NEW BEST:: SOT 133336845 SOS 82160543 HAS SOPS 66912553 HAS SOUS 25325582 HAS SOUPS 24693714 WITH SCORE 2.4775874543E7
AT ITER 455 NEW BEST:: SOT 133336251 SOS 82159769 HAS SOPS 66911581 HAS SOUS 25324332 HAS SOUPS 24692464 WITH SCORE 2.4774623769E7
AT ITER 472 NEW BEST:: SOT 133312195 SOS 82116484 HAS SOPS 66878619 HAS SOUS 25297765 HAS SOUPS 24666069 WITH SCORE 2.4748185484E7
AT ITER 498 NEW BEST:: SOT 133310564 SOS 82114310 HAS SOPS 66878873 HAS SOUS 25293910 HAS SOUPS 24662241 WITH SCORE 2.474435531E7
AT ITER 500 NEW BEST:: SOT 133290088 SOS 82089803 HAS SOPS 66854516 HAS SOUS 25268641 HAS SOUPS 24637071 WITH SCORE 2.4719160803E7
AT ITER 501 NEW BEST:: SOT 133297025 SOS 82110193 HAS SOPS 66871623 HAS SOUS 25265817 HAS SOUPS 24634247 WITH SCORE 2.4716357193E7
AT ITER 519 NEW BEST:: SOT 133295011 SOS 82102803 HAS SOPS 66865073 HAS SOUS 25264912 HAS SOUPS 24633342 WITH SCORE 2.4715444803E7
AT ITER 523 NEW BEST:: SOT 133294733 SOS 82102975 HAS SOPS 66865234 HAS SOUS 25264109 HAS SOUPS 24632539 WITH SCORE 2.4714641975E7
AT ITER 525 NEW BEST:: SOT 133305063 SOS 82144784 HAS SOPS 66901666 HAS SOUS 25262636 HAS SOUPS 24631066 WITH SCORE 2.4713210784E7
AT ITER 534 NEW BEST:: SOT 133305202 SOS 82148737 HAS SOPS 66900553 HAS SOUS 25256843 HAS SOUPS 24625157 WITH SCORE 2.4707305737E7
AT ITER 536 NEW BEST:: SOT 133298399 SOS 82135111 HAS SOPS 66888044 HAS SOUS 25250886 HAS SOUPS 24619200 WITH SCORE 2.4701335111E7
AT ITER 538 NEW BEST:: SOT 133291643 SOS 82130856 HAS SOPS 66877199 HAS SOUS 25222696 HAS SOUPS 24591484 WITH SCORE 2.4673614856E7
AT ITER 547 NEW BEST:: SOT 133284402 SOS 82115249 HAS SOPS 66866268 HAS SOUS 25219104 HAS SOUPS 24587892 WITH SCORE 2.4670007249E7
AT ITER 550 NEW BEST:: SOT 133304116 SOS 82171346 HAS SOPS 66916368 HAS SOUS 25213871 HAS SOUPS 24582659 WITH SCORE 2.4664830346E7
AT ITER 566 NEW BEST:: SOT 133288674 SOS 82140565 HAS SOPS 66903096 HAS SOUS 25212655 HAS SOUPS 24581443 WITH SCORE 2.4663583565E7
AT ITER 574 NEW BEST:: SOT 133278145 SOS 82132108 HAS SOPS 66902056 HAS SOUS 25199154 HAS SOUPS 24568116 WITH SCORE 2.4650248108E7
AT ITER 580 NEW BEST:: SOT 133256468 SOS 82110431 HAS SOPS 66878395 HAS SOUS 25170821 HAS SOUPS 24539783 WITH SCORE 2.4621893431E7
AT ITER 586 NEW BEST:: SOT 133256336 SOS 82117404 HAS SOPS 66883503 HAS SOUS 25161824 HAS SOUPS 24530670 WITH SCORE 2.4612787404E7
AT ITER 590 NEW BEST:: SOT 133251624 SOS 82113184 HAS SOPS 66876320 HAS SOUS 25154291 HAS SOUPS 24523137 WITH SCORE 2.4605250184E7
AT ITER 595 NEW BEST:: SOT 133258026 SOS 82128880 HAS SOPS 66886661 HAS SOUS 25146787 HAS SOUPS 24515633 WITH SCORE 2.459776188E7
AT ITER 603 NEW BEST:: SOT 133237687 SOS 82100704 HAS SOPS 66850347 HAS SOUS 25120758 HAS SOUPS 24489604 WITH SCORE 2.4571704704E7
AT ITER 609 NEW BEST:: SOT 133223750 SOS 82080409 HAS SOPS 66849187 HAS SOUS 25115303 HAS SOUPS 24484149 WITH SCORE 2.4566229409E7
AT ITER 643 NEW BEST:: SOT 133172306 SOS 81998462 HAS SOPS 66799465 HAS SOUS 25075229 HAS SOUPS 24444517 WITH SCORE 2.4526515462E7
AT ITER 657 NEW BEST:: SOT 133157280 SOS 81981833 HAS SOPS 66781507 HAS SOUS 25053310 HAS SOUPS 24422592 WITH SCORE 2.4504573833E7
AT ITER 678 NEW BEST:: SOT 133158236 SOS 82002777 HAS SOPS 66836929 HAS SOUS 25041109 HAS SOUPS 24410391 WITH SCORE 2.4492393777E7
AT ITER 690 NEW BEST:: SOT 133143835 SOS 81988356 HAS SOPS 66827052 HAS SOUS 25027602 HAS SOUPS 24399444 WITH SCORE 2.4481432356E7
AT ITER 696 NEW BEST:: SOT 133143516 SOS 81987574 HAS SOPS 66825469 HAS SOUS 25024988 HAS SOUPS 24396830 WITH SCORE 2.4478817574E7
AT ITER 729 NEW BEST:: SOT 133113393 SOS 81959269 HAS SOPS 66797270 HAS SOUS 24991850 HAS SOUPS 24363043 WITH SCORE 2.4445002269E7
AT ITER 744 NEW BEST:: SOT 133117850 SOS 81998690 HAS SOPS 66831217 HAS SOUS 24960667 HAS SOUPS 24331860 WITH SCORE 2.441385869E7
AT ITER 764 NEW BEST:: SOT 133117096 SOS 82003598 HAS SOPS 66830480 HAS SOUS 24936962 HAS SOUPS 24308206 WITH SCORE 2.4390209598E7
AT ITER 782 NEW BEST:: SOT 133121258 SOS 82011198 HAS SOPS 66835434 HAS SOUS 24932592 HAS SOUPS 24303836 WITH SCORE 2.4385847198E7
AT ITER 785 NEW BEST:: SOT 133120589 SOS 82010747 HAS SOPS 66834468 HAS SOUS 24930802 HAS SOUPS 24302046 WITH SCORE 2.4384056747E7
AT ITER 820 NEW BEST:: SOT 133088432 SOS 81978002 HAS SOPS 66806663 HAS SOUS 24896048 HAS SOUPS 24269156 WITH SCORE 2.4351134002E7
AT ITER 834 NEW BEST:: SOT 133122931 SOS 82035926 HAS SOPS 66851774 HAS SOUS 24895382 HAS SOUPS 24268189 WITH SCORE 2.4350224926E7
AT ITER 837 NEW BEST:: SOT 133111054 SOS 82002492 HAS SOPS 66825588 HAS SOUS 24892096 HAS SOUPS 24264903 WITH SCORE 2.4346905492E7
AT ITER 884 NEW BEST:: SOT 133091377 SOS 81951493 HAS SOPS 66788043 HAS SOUS 24889314 HAS SOUPS 24262121 WITH SCORE 2.4344072493E7
AT ITER 890 NEW BEST:: SOT 133133442 SOS 82036465 HAS SOPS 66850985 HAS SOUS 24884517 HAS SOUPS 24257324 WITH SCORE 2.4339360465E7
AT ITER 909 NEW BEST:: SOT 133150611 SOS 82070480 HAS SOPS 66883126 HAS SOUS 24867273 HAS SOUPS 24240080 WITH SCORE 2.432215048E7
AT ITER 929 NEW BEST:: SOT 133150562 SOS 82080753 HAS SOPS 66897408 HAS SOUS 24853422 HAS SOUPS 24226229 WITH SCORE 2.4308309753E7
AT ITER 931 NEW BEST:: SOT 133131796 SOS 82044138 HAS SOPS 66880943 HAS SOUS 24843631 HAS SOUPS 24216438 WITH SCORE 2.4298482138E7
AT ITER 948 NEW BEST:: SOT 133132915 SOS 82046188 HAS SOPS 66877404 HAS SOUS 24840586 HAS SOUPS 24213030 WITH SCORE 2.4295076188E7
AT ITER 985 NEW BEST:: SOT 133129278 SOS 82041048 HAS SOPS 66873159 HAS SOUS 24837136 HAS SOUPS 24209580 WITH SCORE 2.4291621048E7
AT ITER 988 NEW BEST:: SOT 133130602 SOS 82063413 HAS SOPS 66899449 HAS SOUS 24807853 HAS SOUPS 24180391 WITH SCORE 2.4262454413E7
AT ITER 995 NEW BEST:: SOT 133135754 SOS 82092640 HAS SOPS 66919873 HAS SOUS 24794599 HAS SOUPS 24167137 WITH SCORE 2.424922964E7
AT ITER 999 NEW BEST:: SOT 133135582 SOS 82092433 HAS SOPS 66919666 HAS SOUS 24793433 HAS SOUPS 24165971 WITH SCORE 2.4248063433E7
AT ITER 1004 NEW BEST:: SOT 133136438 SOS 82092016 HAS SOPS 66918692 HAS SOUS 24792729 HAS SOUPS 24165267 WITH SCORE 2.4247359016E7
AT ITER 1005 NEW BEST:: SOT 133120816 SOS 82057588 HAS SOPS 66894627 HAS SOUS 24781239 HAS SOUPS 24154458 WITH SCORE 2.4236515588E7
AT ITER 1032 NEW BEST:: SOT 133109196 SOS 82040844 HAS SOPS 66877298 HAS SOUS 24772112 HAS SOUPS 24145405 WITH SCORE 2.4227445844E7
AT ITER 1040 NEW BEST:: SOT 133106392 SOS 82037640 HAS SOPS 66874654 HAS SOUS 24767036 HAS SOUPS 24140409 WITH SCORE 2.422244664E7
AT ITER 1047 NEW BEST:: SOT 133099380 SOS 82027624 HAS SOPS 66861694 HAS SOUS 24752966 HAS SOUPS 24126378 WITH SCORE 2.4208405624E7
AT ITER 1049 NEW BEST:: SOT 133105229 SOS 82029987 HAS SOPS 66861418 HAS SOUS 24751732 HAS SOUPS 24125144 WITH SCORE 2.4207173987E7
AT ITER 1055 NEW BEST:: SOT 133104936 SOS 82029211 HAS SOPS 66860677 HAS SOUS 24751028 HAS SOUPS 24124440 WITH SCORE 2.4206469211E7
AT ITER 1066 NEW BEST:: SOT 133069925 SOS 81981640 HAS SOPS 66808879 HAS SOUS 24706869 HAS SOUPS 24079969 WITH SCORE 2.416195064E7
AT ITER 1069 NEW BEST:: SOT 133071080 SOS 81988409 HAS SOPS 66807075 HAS SOUS 24701505 HAS SOUPS 24074605 WITH SCORE 2.4156593409E7
AT ITER 1073 NEW BEST:: SOT 133016384 SOS 81871219 HAS SOPS 66741368 HAS SOUS 24683897 HAS SOUPS 24058904 WITH SCORE 2.4140775219E7
AT ITER 1114 NEW BEST:: SOT 132991523 SOS 81827469 HAS SOPS 66722071 HAS SOUS 24660844 HAS SOUPS 24036149 WITH SCORE 2.4117976469E7
AT ITER 1130 NEW BEST:: SOT 132980856 SOS 81816411 HAS SOPS 66708372 HAS SOUS 24636754 HAS SOUPS 24012121 WITH SCORE 2.4093937411E7
AT ITER 1134 NEW BEST:: SOT 132967497 SOS 81799300 HAS SOPS 66686658 HAS SOUS 24610191 HAS SOUPS 23985558 WITH SCORE 2.40673573E7
AT ITER 1136 NEW BEST:: SOT 132974847 SOS 81843711 HAS SOPS 66708288 HAS SOUS 24603579 HAS SOUPS 23978504 WITH SCORE 2.4060347711E7
AT ITER 1146 NEW BEST:: SOT 132981404 SOS 81910217 HAS SOPS 66751261 HAS SOUS 24566777 HAS SOUPS 23940905 WITH SCORE 2.4022815217E7
AT ITER 1147 NEW BEST:: SOT 132987156 SOS 81924150 HAS SOPS 66782853 HAS SOUS 24556164 HAS SOUPS 23930292 WITH SCORE 2.401221615E7
AT ITER 1152 NEW BEST:: SOT 132997567 SOS 81988691 HAS SOPS 66861645 HAS SOUS 24552170 HAS SOUPS 23926298 WITH SCORE 2.4008286691E7
AT ITER 1154 NEW BEST:: SOT 132992947 SOS 81983992 HAS SOPS 66859474 HAS SOUS 24539773 HAS SOUPS 23913901 WITH SCORE 2.3995884992E7
AT ITER 1163 NEW BEST:: SOT 132977652 SOS 81947767 HAS SOPS 66835593 HAS SOUS 24517222 HAS SOUPS 23891546 WITH SCORE 2.3973493767E7
AT ITER 1174 NEW BEST:: SOT 132924666 SOS 81893177 HAS SOPS 66761487 HAS SOUS 24419615 HAS SOUPS 23794125 WITH SCORE 2.3876018177E7
AT ITER 1183 NEW BEST:: SOT 132925100 SOS 81894281 HAS SOPS 66761712 HAS SOUS 24419265 HAS SOUPS 23793775 WITH SCORE 2.3875669281E7
AT ITER 1191 NEW BEST:: SOT 132924676 SOS 81893853 HAS SOPS 66761412 HAS SOUS 24418393 HAS SOUPS 23792899 WITH SCORE 2.3874792853E7
AT ITER 1192 NEW BEST:: SOT 132933990 SOS 81924331 HAS SOPS 66782130 HAS SOUS 24407591 HAS SOUPS 23782097 WITH SCORE 2.3864021331E7
AT ITER 1194 NEW BEST:: SOT 132933752 SOS 81924095 HAS SOPS 66781796 HAS SOUS 24407128 HAS SOUPS 23781634 WITH SCORE 2.3863558095E7
AT ITER 1195 NEW BEST:: SOT 132934368 SOS 81932543 HAS SOPS 66787415 HAS SOUS 24405630 HAS SOUPS 23780136 WITH SCORE 2.3862068543E7
AT ITER 1196 NEW BEST:: SOT 132921742 SOS 81919917 HAS SOPS 66774661 HAS SOUS 24392730 HAS SOUPS 23767108 WITH SCORE 2.3849027917E7
AT ITER 1240 NEW BEST:: SOT 132926267 SOS 81942701 HAS SOPS 66794790 HAS SOUS 24383901 HAS SOUPS 23758279 WITH SCORE 2.3840221701E7
AT ITER 1242 NEW BEST:: SOT 132926174 SOS 81942596 HAS SOPS 66794685 HAS SOUS 24383727 HAS SOUPS 23758105 WITH SCORE 2.3840047596E7
AT ITER 1243 NEW BEST:: SOT 132905137 SOS 81897881 HAS SOPS 66775747 HAS SOUS 24378007 HAS SOUPS 23752728 WITH SCORE 2.3834625881E7
AT ITER 1244 NEW BEST:: SOT 132943648 SOS 82046984 HAS SOPS 66890908 HAS SOUS 24368567 HAS SOUPS 23743221 WITH SCORE 2.3825267984E7
AT ITER 1257 NEW BEST:: SOT 132943878 SOS 82049106 HAS SOPS 66892107 HAS SOUS 24366860 HAS SOUPS 23741514 WITH SCORE 2.3823563106E7
AT ITER 1263 NEW BEST:: SOT 132944132 SOS 82050353 HAS SOPS 66893149 HAS SOUS 24366497 HAS SOUPS 23741151 WITH SCORE 2.3823201353E7
AT ITER 1264 NEW BEST:: SOT 132927120 SOS 82013107 HAS SOPS 66891494 HAS SOUS 24364097 HAS SOUPS 23739041 WITH SCORE 2.3821054107E7
AT ITER 1269 NEW BEST:: SOT 132923178 SOS 82021614 HAS SOPS 66915553 HAS SOUS 24324859 HAS SOUPS 23699803 WITH SCORE 2.3781824614E7
AT ITER 1273 NEW BEST:: SOT 132926920 SOS 82026410 HAS SOPS 66919553 HAS SOUS 24314994 HAS SOUPS 23691011 WITH SCORE 2.377303741E7
AT ITER 1283 NEW BEST:: SOT 132928634 SOS 82041457 HAS SOPS 66930308 HAS SOUS 24312551 HAS SOUPS 23688568 WITH SCORE 2.3770609457E7
AT ITER 1288 NEW BEST:: SOT 132950546 SOS 82111966 HAS SOPS 67015090 HAS SOUS 24301101 HAS SOUPS 23678091 WITH SCORE 2.3760202966E7
AT ITER 1289 NEW BEST:: SOT 132947138 SOS 82106977 HAS SOPS 67011504 HAS SOUS 24299501 HAS SOUPS 23676491 WITH SCORE 2.3758597977E7
AT ITER 1295 NEW BEST:: SOT 132918266 SOS 82015967 HAS SOPS 66944495 HAS SOUS 24269118 HAS SOUPS 23646108 WITH SCORE 2.3728123967E7
AT ITER 1303 NEW BEST:: SOT 132915148 SOS 82011787 HAS SOPS 66940376 HAS SOUS 24266476 HAS SOUPS 23643466 WITH SCORE 2.3725477787E7
AT ITER 1310 NEW BEST:: SOT 132915439 SOS 82014589 HAS SOPS 66941887 HAS SOUS 24266022 HAS SOUPS 23643012 WITH SCORE 2.3725026589E7
AT ITER 1316 NEW BEST:: SOT 132916010 SOS 82015160 HAS SOPS 66943962 HAS SOUS 24261985 HAS SOUPS 23641983 WITH SCORE 2.372399816E7
AT ITER 1320 NEW BEST:: SOT 132924431 SOS 82035112 HAS SOPS 66975307 HAS SOUS 24255177 HAS SOUPS 23635407 WITH SCORE 2.3717442112E7
AT ITER 1321 NEW BEST:: SOT 132922729 SOS 82016701 HAS SOPS 66966868 HAS SOUS 24251293 HAS SOUPS 23631523 WITH SCORE 2.3713539701E7
AT ITER 1328 NEW BEST:: SOT 132922732 SOS 82016890 HAS SOPS 66966943 HAS SOUS 24251251 HAS SOUPS 23631481 WITH SCORE 2.371349789E7
AT ITER 1334 NEW BEST:: SOT 132919602 SOS 82013488 HAS SOPS 66964344 HAS SOUS 24245368 HAS SOUPS 23625551 WITH SCORE 2.3707564488E7
AT ITER 1344 NEW BEST:: SOT 132915702 SOS 82009588 HAS SOPS 66958812 HAS SOUS 24234940 HAS SOUPS 23615123 WITH SCORE 2.3697132588E7
AT ITER 1346 NEW BEST:: SOT 132913803 SOS 82004634 HAS SOPS 66948262 HAS SOUS 24224341 HAS SOUPS 23604524 WITH SCORE 2.3686528634E7
AT ITER 1364 NEW BEST:: SOT 132910968 SOS 82001799 HAS SOPS 66944755 HAS SOUS 24218146 HAS SOUPS 23598329 WITH SCORE 2.3680330799E7
AT ITER 1367 NEW BEST:: SOT 132910255 SOS 81963808 HAS SOPS 66919886 HAS SOUS 24206528 HAS SOUPS 23586711 WITH SCORE 2.3668674808E7
AT ITER 1372 NEW BEST:: SOT 132887137 SOS 81909186 HAS SOPS 66880528 HAS SOUS 24202118 HAS SOUPS 23582301 WITH SCORE 2.3664210186E7
AT ITER 1384 NEW BEST:: SOT 132879533 SOS 81902529 HAS SOPS 66872994 HAS SOUS 24201873 HAS SOUPS 23582056 WITH SCORE 2.3663958529E7
AT ITER 1385 NEW BEST:: SOT 132875228 SOS 81893269 HAS SOPS 66864360 HAS SOUS 24197192 HAS SOUPS 23577375 WITH SCORE 2.3659268269E7
AT ITER 1389 NEW BEST:: SOT 132884709 SOS 81907961 HAS SOPS 66873427 HAS SOUS 24194716 HAS SOUPS 23574899 WITH SCORE 2.3656806961E7
AT ITER 1398 NEW BEST:: SOT 132881925 SOS 81905263 HAS SOPS 66872073 HAS SOUS 24187447 HAS SOUPS 23567630 WITH SCORE 2.3649535263E7
AT ITER 1400 NEW BEST:: SOT 132881921 SOS 81905283 HAS SOPS 66871985 HAS SOUS 24187355 HAS SOUPS 23567538 WITH SCORE 2.3649443283E7
AT ITER 1409 NEW BEST:: SOT 132887043 SOS 81920110 HAS SOPS 66875457 HAS SOUS 24177061 HAS SOUPS 23557244 WITH SCORE 2.363916411E7
AT ITER 1447 NEW BEST:: SOT 132886503 SOS 81921390 HAS SOPS 66854874 HAS SOUS 24148544 HAS SOUPS 23528859 WITH SCORE 2.361078039E7
AT ITER 1448 NEW BEST:: SOT 132886239 SOS 81921030 HAS SOPS 66854002 HAS SOUS 24147472 HAS SOUPS 23527787 WITH SCORE 2.360970803E7
AT ITER 1471 NEW BEST:: SOT 132890808 SOS 81927594 HAS SOPS 66862818 HAS SOUS 24143896 HAS SOUPS 23524297 WITH SCORE 2.3606224594E7
AT ITER 1474 NEW BEST:: SOT 132902023 SOS 81966951 HAS SOPS 66895983 HAS SOUS 24136115 HAS SOUPS 23516516 WITH SCORE 2.3598482951E7
AT ITER 1508 NEW BEST:: SOT 132901582 SOS 81962344 HAS SOPS 66892664 HAS SOUS 24136084 HAS SOUPS 23516485 WITH SCORE 2.3598447344E7
AT ITER 1524 NEW BEST:: SOT 132899461 SOS 81987133 HAS SOPS 66896276 HAS SOUS 24102238 HAS SOUPS 23482639 WITH SCORE 2.3564626133E7
AT ITER 1537 NEW BEST:: SOT 132868483 SOS 81922853 HAS SOPS 66845681 HAS SOUS 24075218 HAS SOUPS 23455802 WITH SCORE 2.3537724853E7
AT ITER 1569 NEW BEST:: SOT 132870280 SOS 81927396 HAS SOPS 66848490 HAS SOUS 24070004 HAS SOUPS 23451090 WITH SCORE 2.3533017396E7
AT ITER 1570 NEW BEST:: SOT 132868361 SOS 81924937 HAS SOPS 66845194 HAS SOUS 24061983 HAS SOUPS 23444797 WITH SCORE 2.3526721937E7
AT ITER 1581 NEW BEST:: SOT 132866626 SOS 81919822 HAS SOPS 66835983 HAS SOUS 24057447 HAS SOUPS 23440261 WITH SCORE 2.3522180822E7
AT ITER 1608 NEW BEST:: SOT 132866602 SOS 81919141 HAS SOPS 66834594 HAS SOUS 24056118 HAS SOUPS 23438932 WITH SCORE 2.3520851141E7
AT ITER 1609 NEW BEST:: SOT 132816341 SOS 81807156 HAS SOPS 66768226 HAS SOUS 23992913 HAS SOUPS 23376024 WITH SCORE 2.3457831156E7
AT ITER 1611 NEW BEST:: SOT 132855140 SOS 81919504 HAS SOPS 66894613 HAS SOUS 23979267 HAS SOUPS 23362378 WITH SCORE 2.3444297504E7
AT ITER 1616 NEW BEST:: SOT 132853110 SOS 81908313 HAS SOPS 66892566 HAS SOUS 23975839 HAS SOUPS 23358950 WITH SCORE 2.3440858313E7
AT ITER 1624 NEW BEST:: SOT 132850101 SOS 81905524 HAS SOPS 66889492 HAS SOUS 23973045 HAS SOUPS 23356046 WITH SCORE 2.3437951524E7
AT ITER 1633 NEW BEST:: SOT 132855329 SOS 81922459 HAS SOPS 66901943 HAS SOUS 23960230 HAS SOUPS 23343231 WITH SCORE 2.3425153459E7
AT ITER 1634 NEW BEST:: SOT 132860343 SOS 81961262 HAS SOPS 66948537 HAS SOUS 23952154 HAS SOUPS 23335155 WITH SCORE 2.3417116262E7
AT ITER 1637 NEW BEST:: SOT 132867235 SOS 81993843 HAS SOPS 66980322 HAS SOUS 23951797 HAS SOUPS 23334798 WITH SCORE 2.3416791843E7
AT ITER 1641 NEW BEST:: SOT 132863842 SOS 81989877 HAS SOPS 66979437 HAS SOUS 23948629 HAS SOUPS 23331630 WITH SCORE 2.3413619877E7
AT ITER 1643 NEW BEST:: SOT 132865806 SOS 81991799 HAS SOPS 66982401 HAS SOUS 23948229 HAS SOUPS 23331264 WITH SCORE 2.3413255799E7
AT ITER 1655 NEW BEST:: SOT 132850585 SOS 81966841 HAS SOPS 66960667 HAS SOUS 23920755 HAS SOUPS 23303780 WITH SCORE 2.3385746841E7
AT ITER 1670 NEW BEST:: SOT 132852123 SOS 81973229 HAS SOPS 66958982 HAS SOUS 23916745 HAS SOUPS 23299770 WITH SCORE 2.3381743229E7
AT ITER 1680 NEW BEST:: SOT 132858225 SOS 81989499 HAS SOPS 66980011 HAS SOUS 23914319 HAS SOUPS 23297344 WITH SCORE 2.3379333499E7
AT ITER 1688 NEW BEST:: SOT 132857370 SOS 81988798 HAS SOPS 66979205 HAS SOUS 23912329 HAS SOUPS 23295329 WITH SCORE 2.3377317798E7
AT ITER 1696 NEW BEST:: SOT 132852549 SOS 81970924 HAS SOPS 66966204 HAS SOUS 23910261 HAS SOUPS 23293261 WITH SCORE 2.3375231924E7
AT ITER 1703 NEW BEST:: SOT 132854310 SOS 81971300 HAS SOPS 66976538 HAS SOUS 23909027 HAS SOUPS 23292027 WITH SCORE 2.33739983E7
AT ITER 1704 NEW BEST:: SOT 132856773 SOS 81987141 HAS SOPS 67005665 HAS SOUS 23903918 HAS SOUPS 23286918 WITH SCORE 2.3368905141E7
AT ITER 1725 NEW BEST:: SOT 132854668 SOS 81987068 HAS SOPS 66998366 HAS SOUS 23879303 HAS SOUPS 23262303 WITH SCORE 2.3344290068E7
AT ITER 1727 NEW BEST:: SOT 132853421 SOS 82004532 HAS SOPS 67026244 HAS SOUS 23842536 HAS SOUPS 23225536 WITH SCORE 2.3307540532E7
AT ITER 1729 NEW BEST:: SOT 132836573 SOS 81964896 HAS SOPS 67008780 HAS SOUS 23835974 HAS SOUPS 23218974 WITH SCORE 2.3300938896E7
AT ITER 1734 NEW BEST:: SOT 132832129 SOS 81960450 HAS SOPS 67004334 HAS SOUS 23832583 HAS SOUPS 23215583 WITH SCORE 2.329754345E7
AT ITER 1743 NEW BEST:: SOT 132831175 SOS 81966595 HAS SOPS 67004272 HAS SOUS 23825998 HAS SOUPS 23208902 WITH SCORE 2.3290868595E7
AT ITER 1752 NEW BEST:: SOT 132821879 SOS 81956143 HAS SOPS 66989916 HAS SOUS 23796327 HAS SOUPS 23179231 WITH SCORE 2.3261187143E7
AT ITER 1766 NEW BEST:: SOT 132821854 SOS 81956124 HAS SOPS 66989874 HAS SOUS 23796283 HAS SOUPS 23179187 WITH SCORE 2.3261143124E7
AT ITER 1769 NEW BEST:: SOT 132830145 SOS 82015159 HAS SOPS 67037598 HAS SOUS 23766708 HAS SOUPS 23149612 WITH SCORE 2.3231627159E7
AT ITER 1776 NEW BEST:: SOT 132833539 SOS 82028728 HAS SOPS 67054495 HAS SOUS 23766587 HAS SOUPS 23149491 WITH SCORE 2.3231519728E7
AT ITER 1784 NEW BEST:: SOT 132832742 SOS 82023806 HAS SOPS 67055559 HAS SOUS 23742218 HAS SOUPS 23129400 WITH SCORE 2.3211423806E7
AT ITER 1793 NEW BEST:: SOT 132840031 SOS 82068838 HAS SOPS 67085719 HAS SOUS 23719131 HAS SOUPS 23106313 WITH SCORE 2.3188381838E7
AT ITER 1797 NEW BEST:: SOT 132854603 SOS 82116892 HAS SOPS 67118662 HAS SOUS 23699156 HAS SOUPS 23086338 WITH SCORE 2.3168454892E7
AT ITER 1799 NEW BEST:: SOT 132852253 SOS 82114473 HAS SOPS 67116077 HAS SOUS 23692955 HAS SOUPS 23080157 WITH SCORE 2.3162271473E7
AT ITER 1807 NEW BEST:: SOT 132871216 SOS 82196723 HAS SOPS 67193591 HAS SOUS 23671004 HAS SOUPS 23058206 WITH SCORE 2.3140402723E7
AT ITER 1848 NEW BEST:: SOT 132875573 SOS 82213286 HAS SOPS 67206845 HAS SOUS 23669180 HAS SOUPS 23056382 WITH SCORE 2.3138595286E7
AT ITER 1850 NEW BEST:: SOT 132878193 SOS 82218530 HAS SOPS 67211055 HAS SOUS 23668750 HAS SOUPS 23055952 WITH SCORE 2.313817053E7
AT ITER 1867 NEW BEST:: SOT 132840399 SOS 82180329 HAS SOPS 67173005 HAS SOUS 23620907 HAS SOUPS 23008233 WITH SCORE 2.3090413329E7
AT ITER 1876 NEW BEST:: SOT 132826438 SOS 82165394 HAS SOPS 67163379 HAS SOUS 23599013 HAS SOUPS 22986339 WITH SCORE 2.3068504394E7
AT ITER 1877 NEW BEST:: SOT 132826441 SOS 82166075 HAS SOPS 67164011 HAS SOUS 23598402 HAS SOUPS 22985728 WITH SCORE 2.3067894075E7
AT ITER 1881 NEW BEST:: SOT 132824878 SOS 82164700 HAS SOPS 67163495 HAS SOUS 23590183 HAS SOUPS 22977441 WITH SCORE 2.30596057E7
AT ITER 1893 NEW BEST:: SOT 132824683 SOS 82123637 HAS SOPS 67131707 HAS SOUS 23589924 HAS SOUPS 22977182 WITH SCORE 2.3059305637E7
AT ITER 1897 NEW BEST:: SOT 132759186 SOS 82058062 HAS SOPS 67064923 HAS SOUS 23493418 HAS SOUPS 22880676 WITH SCORE 2.2962734062E7
AT ITER 1934 NEW BEST:: SOT 132752803 SOS 82047111 HAS SOPS 67054276 HAS SOUS 23488325 HAS SOUPS 22875583 WITH SCORE 2.2957630111E7
AT ITER 1936 NEW BEST:: SOT 132752565 SOS 82046513 HAS SOPS 67050334 HAS SOUS 23484037 HAS SOUPS 22871349 WITH SCORE 2.2953395513E7
AT ITER 1943 NEW BEST:: SOT 132751905 SOS 82045853 HAS SOPS 67049066 HAS SOUS 23483377 HAS SOUPS 22870081 WITH SCORE 2.2952126853E7
AT ITER 1945 NEW BEST:: SOT 132694936 SOS 81966285 HAS SOPS 66995361 HAS SOUS 23436388 HAS SOUPS 22823573 WITH SCORE 2.2905539285E7
AT ITER 1953 NEW BEST:: SOT 132697684 SOS 81968299 HAS SOPS 66999521 HAS SOUS 23435008 HAS SOUPS 22822779 WITH SCORE 2.2904747299E7
AT ITER 1955 NEW BEST:: SOT 132699801 SOS 81967758 HAS SOPS 66996476 HAS SOUS 23431738 HAS SOUPS 22819509 WITH SCORE 2.2901476758E7
AT ITER 1962 NEW BEST:: SOT 132702362 SOS 81978925 HAS SOPS 67010624 HAS SOUS 23423239 HAS SOUPS 22811010 WITH SCORE 2.2892988925E7
AT ITER 1976 NEW BEST:: SOT 132707034 SOS 81988366 HAS SOPS 67019442 HAS SOUS 23418856 HAS SOUPS 22806627 WITH SCORE 2.2888615366E7
AT ITER 1983 NEW BEST:: SOT 132766948 SOS 82101180 HAS SOPS 67139150 HAS SOUS 23414990 HAS SOUPS 22802761 WITH SCORE 2.288486218E7
AT ITER 1987 NEW BEST:: SOT 132763018 SOS 82097234 HAS SOPS 67133438 HAS SOUS 23405573 HAS SOUPS 22793344 WITH SCORE 2.2875441234E7
AT ITER 2018 NEW BEST:: SOT 132762528 SOS 82093335 HAS SOPS 67126912 HAS SOUS 23404341 HAS SOUPS 22792112 WITH SCORE 2.2874205335E7
AT ITER 2019 NEW BEST:: SOT 132754471 SOS 82081073 HAS SOPS 67118805 HAS SOUS 23403172 HAS SOUPS 22790943 WITH SCORE 2.2873024073E7
AT ITER 2052 NEW BEST:: SOT 132750762 SOS 82083007 HAS SOPS 67114634 HAS SOUS 23392525 HAS SOUPS 22780296 WITH SCORE 2.2862379007E7
AT ITER 2053 NEW BEST:: SOT 132754947 SOS 82090474 HAS SOPS 67120465 HAS SOUS 23390047 HAS SOUPS 22777818 WITH SCORE 2.2859908474E7
AT ITER 2068 NEW BEST:: SOT 132747763 SOS 82079581 HAS SOPS 67109235 HAS SOUS 23378998 HAS SOUPS 22766769 WITH SCORE 2.2848848581E7
AT ITER 2082 NEW BEST:: SOT 132746159 SOS 82077977 HAS SOPS 67107631 HAS SOUS 23376166 HAS SOUPS 22763937 WITH SCORE 2.2846014977E7
AT ITER 2083 NEW BEST:: SOT 132740241 SOS 82052016 HAS SOPS 67083293 HAS SOUS 23369948 HAS SOUPS 22757719 WITH SCORE 2.2839771016E7
AT ITER 2087 NEW BEST:: SOT 132735880 SOS 82036383 HAS SOPS 67070599 HAS SOUS 23369563 HAS SOUPS 22757334 WITH SCORE 2.2839370383E7
AT ITER 2095 NEW BEST:: SOT 132747460 SOS 82061623 HAS SOPS 67097572 HAS SOUS 23366722 HAS SOUPS 22754493 WITH SCORE 2.2836554623E7
AT ITER 2096 NEW BEST:: SOT 132757471 SOS 82108049 HAS SOPS 67142849 HAS SOUS 23330736 HAS SOUPS 22717755 WITH SCORE 2.2799863049E7
AT ITER 2109 NEW BEST:: SOT 132760880 SOS 82115121 HAS SOPS 67151492 HAS SOUS 23327040 HAS SOUPS 22714059 WITH SCORE 2.2796174121E7
AT ITER 2110 NEW BEST:: SOT 132755838 SOS 82107855 HAS SOPS 67152359 HAS SOUS 23310115 HAS SOUPS 22697134 WITH SCORE 2.2779241855E7
AT ITER 2115 NEW BEST:: SOT 132772579 SOS 82149634 HAS SOPS 67186441 HAS SOUS 23301788 HAS SOUPS 22688807 WITH SCORE 2.2770956634E7
AT ITER 2117 NEW BEST:: SOT 132773453 SOS 82142210 HAS SOPS 67170240 HAS SOUS 23274283 HAS SOUPS 22661302 WITH SCORE 2.274344421E7
AT ITER 2127 NEW BEST:: SOT 132773478 SOS 82142142 HAS SOPS 67170268 HAS SOUS 23273952 HAS SOUPS 22661003 WITH SCORE 2.2743145142E7
AT ITER 2144 NEW BEST:: SOT 132770799 SOS 82140925 HAS SOPS 67174782 HAS SOUS 23257019 HAS SOUPS 22644070 WITH SCORE 2.2726210925E7
AT ITER 2148 NEW BEST:: SOT 132767128 SOS 82131901 HAS SOPS 67166019 HAS SOUS 23243481 HAS SOUPS 22630532 WITH SCORE 2.2712663901E7
AT ITER 2153 NEW BEST:: SOT 132749786 SOS 82098697 HAS SOPS 67157929 HAS SOUS 23227453 HAS SOUPS 22615720 WITH SCORE 2.2697818697E7
AT ITER 2165 NEW BEST:: SOT 132752189 SOS 82104923 HAS SOPS 67186679 HAS SOUS 23208108 HAS SOUPS 22596375 WITH SCORE 2.2678479923E7
AT ITER 2166 NEW BEST:: SOT 132728655 SOS 82078500 HAS SOPS 67160687 HAS SOUS 23191486 HAS SOUPS 22578457 WITH SCORE 2.26605355E7
AT ITER 2177 NEW BEST:: SOT 132732783 SOS 82094772 HAS SOPS 67172302 HAS SOUS 23172863 HAS SOUPS 22559834 WITH SCORE 2.2641928772E7
AT ITER 2182 NEW BEST:: SOT 132745508 SOS 82156799 HAS SOPS 67237204 HAS SOUS 23170336 HAS SOUPS 22557307 WITH SCORE 2.2639463799E7
AT ITER 2187 NEW BEST:: SOT 132741683 SOS 82150796 HAS SOPS 67231290 HAS SOUS 23162439 HAS SOUPS 22549410 WITH SCORE 2.2631560796E7
AT ITER 2190 NEW BEST:: SOT 132719898 SOS 82126438 HAS SOPS 67206336 HAS SOUS 23126171 HAS SOUPS 22513142 WITH SCORE 2.2595268438E7
AT ITER 2191 NEW BEST:: SOT 132723910 SOS 82135136 HAS SOPS 67213144 HAS SOUS 23121821 HAS SOUPS 22508792 WITH SCORE 2.2590927136E7
AT ITER 2193 NEW BEST:: SOT 132742751 SOS 82161849 HAS SOPS 67232910 HAS SOUS 23116725 HAS SOUPS 22503658 WITH SCORE 2.2585819849E7
AT ITER 2216 NEW BEST:: SOT 132742975 SOS 82159701 HAS SOPS 67236491 HAS SOUS 23116563 HAS SOUPS 22503496 WITH SCORE 2.2585655701E7
AT ITER 2223 NEW BEST:: SOT 132735714 SOS 82149666 HAS SOPS 67223143 HAS SOUS 23106670 HAS SOUPS 22493557 WITH SCORE 2.2575706666E7
AT ITER 2227 NEW BEST:: SOT 132736787 SOS 82156174 HAS SOPS 67231760 HAS SOUS 23104550 HAS SOUPS 22491437 WITH SCORE 2.2573593174E7
AT ITER 2232 NEW BEST:: SOT 132736784 SOS 82161108 HAS SOPS 67235550 HAS SOUS 23101905 HAS SOUPS 22488792 WITH SCORE 2.2570953108E7
AT ITER 2256 NEW BEST:: SOT 132734288 SOS 82166659 HAS SOPS 67249185 HAS SOUS 23065758 HAS SOUPS 22452645 WITH SCORE 2.2534811659E7
AT ITER 2267 NEW BEST:: SOT 132709489 SOS 82118331 HAS SOPS 67234179 HAS SOUS 23041029 HAS SOUPS 22429191 WITH SCORE 2.2511309331E7
AT ITER 2268 NEW BEST:: SOT 132733757 SOS 82184000 HAS SOPS 67286799 HAS SOUS 23025551 HAS SOUPS 22413713 WITH SCORE 2.2495897E7
AT ITER 2280 NEW BEST:: SOT 132723189 SOS 82159572 HAS SOPS 67266589 HAS SOUS 23013470 HAS SOUPS 22401632 WITH SCORE 2.2483791572E7
AT ITER 2292 NEW BEST:: SOT 132682796 SOS 82110972 HAS SOPS 67249502 HAS SOUS 22997855 HAS SOUPS 22386598 WITH SCORE 2.2468708972E7
AT ITER 2304 NEW BEST:: SOT 132667861 SOS 82083057 HAS SOPS 67230638 HAS SOUS 22986759 HAS SOUPS 22375502 WITH SCORE 2.2457585057E7
AT ITER 2312 NEW BEST:: SOT 132641550 SOS 82036573 HAS SOPS 67188138 HAS SOUS 22971797 HAS SOUPS 22361292 WITH SCORE 2.2443328573E7
AT ITER 2319 NEW BEST:: SOT 132628129 SOS 82035482 HAS SOPS 67205096 HAS SOUS 22907127 HAS SOUPS 22296622 WITH SCORE 2.2378657482E7
AT ITER 2332 NEW BEST:: SOT 132628916 SOS 82040479 HAS SOPS 67209498 HAS SOUS 22904626 HAS SOUPS 22294121 WITH SCORE 2.2376161479E7
AT ITER 2335 NEW BEST:: SOT 132621732 SOS 82033172 HAS SOPS 67200975 HAS SOUS 22894096 HAS SOUPS 22283591 WITH SCORE 2.2365624172E7

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="RERS17pb114-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 RERS17pb114-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-158961502400120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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