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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 07:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 11 08:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 11 08:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 9 20:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 20:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:25 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)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-00
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-01
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-02
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-03
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-04
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-05
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-06
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-07
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-08
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-09
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-10
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-11
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-12
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-13
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-14
FORMULA_NAME RERS17pb114-PT-1-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589693494601

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 1
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
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 3 NEW BEST:: SOT 133656989 SOS 82243997 HAS SOPS 66819023 HAS SOUS 26419912 HAS SOUPS 25789221 WITH SCORE 2.5871464997E7
AT ITER 4 NEW BEST:: SOT 133651095 SOS 82237424 HAS SOPS 66828390 HAS SOUS 26409448 HAS SOUPS 25779794 WITH SCORE 2.5862031424E7
AT ITER 7 NEW BEST:: SOT 133652256 SOS 82250972 HAS SOPS 66838985 HAS SOUS 26398624 HAS SOUPS 25768970 WITH SCORE 2.5851220972E7
AT ITER 27 NEW BEST:: SOT 133653942 SOS 82258810 HAS SOPS 66842304 HAS SOUS 26395484 HAS SOUPS 25765830 WITH SCORE 2.584808881E7
AT ITER 49 NEW BEST:: SOT 133654020 SOS 82250628 HAS SOPS 66846121 HAS SOUS 26395096 HAS SOUPS 25765442 WITH SCORE 2.5847692628E7
AT ITER 75 NEW BEST:: SOT 133649079 SOS 82245723 HAS SOPS 66841152 HAS SOUS 26390063 HAS SOUPS 25760409 WITH SCORE 2.5842654723E7
AT ITER 77 NEW BEST:: SOT 133648940 SOS 82246639 HAS SOPS 66842811 HAS SOUS 26389997 HAS SOUPS 25760343 WITH SCORE 2.5842589639E7
AT ITER 82 NEW BEST:: SOT 133647999 SOS 82244314 HAS SOPS 66840178 HAS SOUS 26389271 HAS SOUPS 25759617 WITH SCORE 2.5841861314E7
AT ITER 85 NEW BEST:: SOT 133485534 SOS 82064446 HAS SOPS 66659410 HAS SOUS 26188164 HAS SOUPS 25554798 WITH SCORE 2.5636862446E7
AT ITER 92 NEW BEST:: SOT 133489288 SOS 82080996 HAS SOPS 66672681 HAS SOUS 26182133 HAS SOUPS 25548767 WITH SCORE 2.5630847996E7
AT ITER 99 NEW BEST:: SOT 133442466 SOS 82012853 HAS SOPS 66608014 HAS SOUS 26142156 HAS SOUPS 25508636 WITH SCORE 2.5590648853E7
AT ITER 111 NEW BEST:: SOT 133442506 SOS 82013531 HAS SOPS 66608951 HAS SOUS 26141983 HAS SOUPS 25508463 WITH SCORE 2.5590476531E7
AT ITER 121 NEW BEST:: SOT 133442893 SOS 82015624 HAS SOPS 66615475 HAS SOUS 26141026 HAS SOUPS 25507506 WITH SCORE 2.5589521624E7
AT ITER 128 NEW BEST:: SOT 133439758 SOS 82020457 HAS SOPS 66629383 HAS SOUS 26136855 HAS SOUPS 25503394 WITH SCORE 2.5585414457E7
AT ITER 131 NEW BEST:: SOT 133431717 SOS 82010577 HAS SOPS 66612347 HAS SOUS 26101927 HAS SOUPS 25468466 WITH SCORE 2.5550476577E7
AT ITER 156 NEW BEST:: SOT 133431358 SOS 82010844 HAS SOPS 66611750 HAS SOUS 26099916 HAS SOUPS 25466455 WITH SCORE 2.5548465844E7
AT ITER 166 NEW BEST:: SOT 133430155 SOS 82009662 HAS SOPS 66607379 HAS SOUS 26088137 HAS SOUPS 25454676 WITH SCORE 2.5536685662E7
AT ITER 175 NEW BEST:: SOT 133429450 SOS 82009027 HAS SOPS 66604294 HAS SOUS 26085762 HAS SOUPS 25452335 WITH SCORE 2.5534344027E7
AT ITER 177 NEW BEST:: SOT 133427995 SOS 82007202 HAS SOPS 66601196 HAS SOUS 26077328 HAS SOUPS 25443901 WITH SCORE 2.5525908202E7
AT ITER 179 NEW BEST:: SOT 133376670 SOS 81944141 HAS SOPS 66534171 HAS SOUS 26014781 HAS SOUPS 25381559 WITH SCORE 2.5463503141E7
AT ITER 190 NEW BEST:: SOT 133387850 SOS 81980720 HAS SOPS 66581924 HAS SOUS 26013218 HAS SOUPS 25379996 WITH SCORE 2.546197672E7
AT ITER 198 NEW BEST:: SOT 133493118 SOS 82210999 HAS SOPS 66808771 HAS SOUS 26012894 HAS SOUPS 25379672 WITH SCORE 2.5461882999E7
AT ITER 231 NEW BEST:: SOT 133492785 SOS 82210362 HAS SOPS 66808608 HAS SOUS 26012234 HAS SOUPS 25379037 WITH SCORE 2.5461247362E7
AT ITER 235 NEW BEST:: SOT 133455934 SOS 82147471 HAS SOPS 66783496 HAS SOUS 25893421 HAS SOUPS 25260606 WITH SCORE 2.5342753471E7
AT ITER 237 NEW BEST:: SOT 133455994 SOS 82149682 HAS SOPS 66779339 HAS SOUS 25878921 HAS SOUPS 25246594 WITH SCORE 2.5328743682E7
AT ITER 241 NEW BEST:: SOT 133455823 SOS 82148395 HAS SOPS 66777823 HAS SOUS 25878184 HAS SOUPS 25245857 WITH SCORE 2.5328005395E7
AT ITER 248 NEW BEST:: SOT 133451453 SOS 82144024 HAS SOPS 66773421 HAS SOUS 25875605 HAS SOUPS 25243247 WITH SCORE 2.5325391024E7
AT ITER 249 NEW BEST:: SOT 133451120 SOS 82145485 HAS SOPS 66770850 HAS SOUS 25873256 HAS SOUPS 25240898 WITH SCORE 2.5323043485E7
AT ITER 251 NEW BEST:: SOT 133442117 SOS 82136481 HAS SOPS 66761815 HAS SOUS 25862909 HAS SOUPS 25230551 WITH SCORE 2.5312687481E7
AT ITER 252 NEW BEST:: SOT 133434062 SOS 82128426 HAS SOPS 66753744 HAS SOUS 25854262 HAS SOUPS 25221904 WITH SCORE 2.5304032426E7
AT ITER 263 NEW BEST:: SOT 133433069 SOS 82127479 HAS SOPS 66753395 HAS SOUS 25852464 HAS SOUPS 25220106 WITH SCORE 2.5302233479E7
AT ITER 265 NEW BEST:: SOT 133428121 SOS 82117251 HAS SOPS 66744652 HAS SOUS 25847118 HAS SOUPS 25214760 WITH SCORE 2.5296877251E7
AT ITER 268 NEW BEST:: SOT 133426910 SOS 82127447 HAS SOPS 66755332 HAS SOUS 25831044 HAS SOUPS 25198686 WITH SCORE 2.5280813447E7
AT ITER 272 NEW BEST:: SOT 133440019 SOS 82140904 HAS SOPS 66757201 HAS SOUS 25828573 HAS SOUPS 25196347 WITH SCORE 2.5278487904E7
AT ITER 285 NEW BEST:: SOT 133449697 SOS 82165624 HAS SOPS 66788619 HAS SOUS 25818005 HAS SOUPS 25186053 WITH SCORE 2.5268218624E7
AT ITER 286 NEW BEST:: SOT 133446985 SOS 82165507 HAS SOPS 66790276 HAS SOUS 25811259 HAS SOUPS 25179307 WITH SCORE 2.5261472507E7
AT ITER 287 NEW BEST:: SOT 133443780 SOS 82159410 HAS SOPS 66786478 HAS SOUS 25811058 HAS SOUPS 25179106 WITH SCORE 2.526126541E7
AT ITER 292 NEW BEST:: SOT 133544475 SOS 82398043 HAS SOPS 66973891 HAS SOUS 25795594 HAS SOUPS 25163496 WITH SCORE 2.5245894043E7
AT ITER 295 NEW BEST:: SOT 133560492 SOS 82452378 HAS SOPS 67015234 HAS SOUS 25763631 HAS SOUPS 25131533 WITH SCORE 2.5213985378E7
AT ITER 299 NEW BEST:: SOT 133576636 SOS 82494516 HAS SOPS 67063374 HAS SOUS 25750936 HAS SOUPS 25118817 WITH SCORE 2.5201311516E7
AT ITER 300 NEW BEST:: SOT 133574173 SOS 82486699 HAS SOPS 67058234 HAS SOUS 25750402 HAS SOUPS 25118407 WITH SCORE 2.5200893699E7
AT ITER 305 NEW BEST:: SOT 133571998 SOS 82484081 HAS SOPS 67052541 HAS SOUS 25743661 HAS SOUPS 25111666 WITH SCORE 2.5194150081E7
AT ITER 314 NEW BEST:: SOT 133573724 SOS 82487024 HAS SOPS 67047368 HAS SOUS 25726117 HAS SOUPS 25094122 WITH SCORE 2.5176609024E7
AT ITER 316 NEW BEST:: SOT 133565926 SOS 82468337 HAS SOPS 67032475 HAS SOUS 25718684 HAS SOUPS 25086689 WITH SCORE 2.5169157337E7
AT ITER 318 NEW BEST:: SOT 133562504 SOS 82465951 HAS SOPS 67035865 HAS SOUS 25716083 HAS SOUPS 25084088 WITH SCORE 2.5166553951E7
AT ITER 319 NEW BEST:: SOT 133574482 SOS 82477184 HAS SOPS 67051018 HAS SOUS 25701180 HAS SOUPS 25069518 WITH SCORE 2.5151995184E7
AT ITER 329 NEW BEST:: SOT 133575332 SOS 82482801 HAS SOPS 67052681 HAS SOUS 25692208 HAS SOUPS 25060546 WITH SCORE 2.5143028801E7
AT ITER 334 NEW BEST:: SOT 133575252 SOS 82482555 HAS SOPS 67052398 HAS SOUS 25692078 HAS SOUPS 25060416 WITH SCORE 2.5142898555E7
AT ITER 337 NEW BEST:: SOT 133577088 SOS 82484884 HAS SOPS 67064737 HAS SOUS 25686662 HAS SOUPS 25055000 WITH SCORE 2.5137484884E7
AT ITER 341 NEW BEST:: SOT 133602384 SOS 82561643 HAS SOPS 67140207 HAS SOUS 25684321 HAS SOUPS 25052561 WITH SCORE 2.5135122643E7
AT ITER 343 NEW BEST:: SOT 133603996 SOS 82564733 HAS SOPS 67141631 HAS SOUS 25680044 HAS SOUPS 25048448 WITH SCORE 2.5131012733E7
AT ITER 346 NEW BEST:: SOT 133605464 SOS 82568534 HAS SOPS 67143628 HAS SOUS 25678486 HAS SOUPS 25046890 WITH SCORE 2.5129458534E7
AT ITER 356 NEW BEST:: SOT 133602397 SOS 82564649 HAS SOPS 67142623 HAS SOUS 25670477 HAS SOUPS 25038881 WITH SCORE 2.5121445649E7
AT ITER 375 NEW BEST:: SOT 133595204 SOS 82549987 HAS SOPS 67119823 HAS SOUS 25658314 HAS SOUPS 25026858 WITH SCORE 2.5109407987E7
AT ITER 386 NEW BEST:: SOT 133594622 SOS 82548206 HAS SOPS 67118284 HAS SOUS 25658248 HAS SOUPS 25026792 WITH SCORE 2.5109340206E7
AT ITER 404 NEW BEST:: SOT 133594417 SOS 82550742 HAS SOPS 67116972 HAS SOUS 25648152 HAS SOUPS 25016696 WITH SCORE 2.5099246742E7
AT ITER 406 NEW BEST:: SOT 133587454 SOS 82534036 HAS SOPS 67103594 HAS SOUS 25644999 HAS SOUPS 25013543 WITH SCORE 2.5096077036E7
AT ITER 411 NEW BEST:: SOT 133579856 SOS 82511202 HAS SOPS 67094631 HAS SOUS 25641029 HAS SOUPS 25009573 WITH SCORE 2.5092084202E7
AT ITER 415 NEW BEST:: SOT 133579842 SOS 82511200 HAS SOPS 67094622 HAS SOUS 25640987 HAS SOUPS 25009531 WITH SCORE 2.50920422E7
AT ITER 424 NEW BEST:: SOT 133562848 SOS 82463342 HAS SOPS 67039886 HAS SOUS 25583527 HAS SOUPS 24950164 WITH SCORE 2.5032627342E7
AT ITER 426 NEW BEST:: SOT 133567236 SOS 82469048 HAS SOPS 67042893 HAS SOUS 25579794 HAS SOUPS 24946791 WITH SCORE 2.5029260048E7
AT ITER 436 NEW BEST:: SOT 133572976 SOS 82518748 HAS SOPS 67092567 HAS SOUS 25572060 HAS SOUPS 24939057 WITH SCORE 2.5021575748E7
AT ITER 438 NEW BEST:: SOT 133580992 SOS 82542321 HAS SOPS 67122517 HAS SOUS 25570134 HAS SOUPS 24937131 WITH SCORE 2.5019673321E7
AT ITER 443 NEW BEST:: SOT 133561196 SOS 82493721 HAS SOPS 67086271 HAS SOUS 25561532 HAS SOUPS 24928529 WITH SCORE 2.5011022721E7
AT ITER 448 NEW BEST:: SOT 133557961 SOS 82489124 HAS SOPS 67091162 HAS SOUS 25530905 HAS SOUPS 24899613 WITH SCORE 2.4982102124E7
AT ITER 453 NEW BEST:: SOT 133554859 SOS 82492915 HAS SOPS 67096527 HAS SOUS 25519160 HAS SOUPS 24887868 WITH SCORE 2.4970360915E7
AT ITER 457 NEW BEST:: SOT 133554146 SOS 82489419 HAS SOPS 67093737 HAS SOUS 25518662 HAS SOUPS 24887370 WITH SCORE 2.4969859419E7
AT ITER 461 NEW BEST:: SOT 133556388 SOS 82506767 HAS SOPS 67113024 HAS SOUS 25512943 HAS SOUPS 24881651 WITH SCORE 2.4964157767E7
AT ITER 473 NEW BEST:: SOT 133532404 SOS 82460191 HAS SOPS 67076196 HAS SOUS 25499203 HAS SOUPS 24868022 WITH SCORE 2.4950482191E7
AT ITER 481 NEW BEST:: SOT 133542888 SOS 82488862 HAS SOPS 67112205 HAS SOUS 25490492 HAS SOUPS 24859311 WITH SCORE 2.4941799862E7
AT ITER 496 NEW BEST:: SOT 133534125 SOS 82484247 HAS SOPS 67116327 HAS SOUS 25459046 HAS SOUPS 24827865 WITH SCORE 2.4910349247E7
AT ITER 509 NEW BEST:: SOT 133537987 SOS 82492991 HAS SOPS 67119665 HAS SOUS 25456654 HAS SOUPS 24825473 WITH SCORE 2.4907965991E7
AT ITER 521 NEW BEST:: SOT 133506033 SOS 82426063 HAS SOPS 67067192 HAS SOUS 25428513 HAS SOUPS 24797332 WITH SCORE 2.4879758063E7
AT ITER 559 NEW BEST:: SOT 133467636 SOS 82337352 HAS SOPS 66995756 HAS SOUS 25408094 HAS SOUPS 24777222 WITH SCORE 2.4859559352E7
AT ITER 564 NEW BEST:: SOT 133460328 SOS 82325065 HAS SOPS 66999027 HAS SOUS 25398405 HAS SOUPS 24767533 WITH SCORE 2.4849858065E7
AT ITER 565 NEW BEST:: SOT 133460986 SOS 82327365 HAS SOPS 67000038 HAS SOUS 25397690 HAS SOUPS 24766818 WITH SCORE 2.4849145365E7
AT ITER 567 NEW BEST:: SOT 133459710 SOS 82315037 HAS SOPS 66992337 HAS SOUS 25397618 HAS SOUPS 24766746 WITH SCORE 2.4849061037E7
AT ITER 568 NEW BEST:: SOT 133441652 SOS 82289881 HAS SOPS 66969326 HAS SOUS 25377952 HAS SOUPS 24747080 WITH SCORE 2.4829369881E7
AT ITER 587 NEW BEST:: SOT 133429471 SOS 82275964 HAS SOPS 66968473 HAS SOUS 25327777 HAS SOUPS 24697006 WITH SCORE 2.4779281964E7
AT ITER 611 NEW BEST:: SOT 133432665 SOS 82284819 HAS SOPS 66986588 HAS SOUS 25322616 HAS SOUPS 24691845 WITH SCORE 2.4774129819E7
AT ITER 623 NEW BEST:: SOT 133431881 SOS 82269309 HAS SOPS 66974812 HAS SOUS 25321544 HAS SOUPS 24690773 WITH SCORE 2.4773042309E7
AT ITER 626 NEW BEST:: SOT 133427367 SOS 82260373 HAS SOPS 66967637 HAS SOUS 25317702 HAS SOUPS 24686931 WITH SCORE 2.4769191373E7
AT ITER 633 NEW BEST:: SOT 133433185 SOS 82280745 HAS SOPS 66986228 HAS SOUS 25316275 HAS SOUPS 24685504 WITH SCORE 2.4767784745E7
AT ITER 647 NEW BEST:: SOT 133433473 SOS 82281689 HAS SOPS 66987244 HAS SOUS 25314911 HAS SOUPS 24684140 WITH SCORE 2.4766421689E7
AT ITER 651 NEW BEST:: SOT 133433576 SOS 82282549 HAS SOPS 66987318 HAS SOUS 25314239 HAS SOUPS 24683468 WITH SCORE 2.4765750549E7
AT ITER 658 NEW BEST:: SOT 133412225 SOS 82234597 HAS SOPS 66952658 HAS SOUS 25309997 HAS SOUPS 24679226 WITH SCORE 2.4761460597E7
AT ITER 661 NEW BEST:: SOT 133414315 SOS 82236637 HAS SOPS 66954748 HAS SOUS 25308644 HAS SOUPS 24677906 WITH SCORE 2.4760142637E7
AT ITER 666 NEW BEST:: SOT 133414575 SOS 82236854 HAS SOPS 66954645 HAS SOUS 25307889 HAS SOUPS 24677284 WITH SCORE 2.4759520854E7
AT ITER 668 NEW BEST:: SOT 133422206 SOS 82283485 HAS SOPS 66989489 HAS SOUS 25291972 HAS SOUPS 24661367 WITH SCORE 2.4743650485E7
AT ITER 702 NEW BEST:: SOT 133472825 SOS 82416589 HAS SOPS 67099635 HAS SOUS 25283523 HAS SOUPS 24652918 WITH SCORE 2.4735334589E7
AT ITER 704 NEW BEST:: SOT 133478238 SOS 82444093 HAS SOPS 67127522 HAS SOUS 25282289 HAS SOUPS 24651684 WITH SCORE 2.4734128093E7
AT ITER 743 NEW BEST:: SOT 133478321 SOS 82446205 HAS SOPS 67128012 HAS SOUS 25280404 HAS SOUPS 24649781 WITH SCORE 2.4732227205E7
AT ITER 746 NEW BEST:: SOT 133472702 SOS 82449400 HAS SOPS 67132670 HAS SOUS 25275562 HAS SOUPS 24644927 WITH SCORE 2.47273764E7
AT ITER 751 NEW BEST:: SOT 133464414 SOS 82438466 HAS SOPS 67138289 HAS SOUS 25244490 HAS SOUPS 24613855 WITH SCORE 2.4696293466E7
AT ITER 755 NEW BEST:: SOT 133465918 SOS 82445773 HAS SOPS 67143690 HAS SOUS 25232887 HAS SOUPS 24602177 WITH SCORE 2.4684622773E7
AT ITER 759 NEW BEST:: SOT 133477628 SOS 82477945 HAS SOPS 67168648 HAS SOUS 25231256 HAS SOUPS 24600546 WITH SCORE 2.4683023945E7
AT ITER 765 NEW BEST:: SOT 133476758 SOS 82475108 HAS SOPS 67165803 HAS SOUS 25230448 HAS SOUPS 24599738 WITH SCORE 2.4682213108E7
AT ITER 777 NEW BEST:: SOT 133493838 SOS 82516469 HAS SOPS 67197701 HAS SOUS 25207370 HAS SOUPS 24576660 WITH SCORE 2.4659176469E7
AT ITER 780 NEW BEST:: SOT 133492536 SOS 82514493 HAS SOPS 67195954 HAS SOUS 25204374 HAS SOUPS 24573749 WITH SCORE 2.4656263493E7
AT ITER 785 NEW BEST:: SOT 133492347 SOS 82513572 HAS SOPS 67194889 HAS SOUS 25203955 HAS SOUPS 24573330 WITH SCORE 2.4655843572E7
AT ITER 795 NEW BEST:: SOT 133486396 SOS 82508595 HAS SOPS 67185237 HAS SOUS 25185869 HAS SOUPS 24555360 WITH SCORE 2.4637868595E7
AT ITER 796 NEW BEST:: SOT 133466298 SOS 82475587 HAS SOPS 67161380 HAS SOUS 25145614 HAS SOUPS 24515870 WITH SCORE 2.4598345587E7
AT ITER 814 NEW BEST:: SOT 133362046 SOS 82321152 HAS SOPS 67025765 HAS SOUS 25089624 HAS SOUPS 24460353 WITH SCORE 2.4542674152E7
AT ITER 817 NEW BEST:: SOT 133363528 SOS 82302011 HAS SOPS 67022616 HAS SOUS 25089149 HAS SOUPS 24460300 WITH SCORE 2.4542602011E7
AT ITER 829 NEW BEST:: SOT 133363843 SOS 82305145 HAS SOPS 67025421 HAS SOUS 25086645 HAS SOUPS 24457796 WITH SCORE 2.4540101145E7
AT ITER 838 NEW BEST:: SOT 133364861 SOS 82306489 HAS SOPS 67025479 HAS SOUS 25086141 HAS SOUPS 24457292 WITH SCORE 2.4539598489E7
AT ITER 845 NEW BEST:: SOT 133375949 SOS 82332727 HAS SOPS 67076391 HAS SOUS 25083186 HAS SOUPS 24454337 WITH SCORE 2.4536669727E7
AT ITER 856 NEW BEST:: SOT 133376457 SOS 82333266 HAS SOPS 67075910 HAS SOUS 25082489 HAS SOUPS 24453640 WITH SCORE 2.4535973266E7
AT ITER 872 NEW BEST:: SOT 133368082 SOS 82315685 HAS SOPS 67061173 HAS SOUS 25070721 HAS SOUPS 24441872 WITH SCORE 2.4524187685E7
AT ITER 877 NEW BEST:: SOT 133365240 SOS 82312759 HAS SOPS 67057839 HAS SOUS 25062169 HAS SOUPS 24433372 WITH SCORE 2.4515684759E7
AT ITER 900 NEW BEST:: SOT 133353437 SOS 82296175 HAS SOPS 67054878 HAS SOUS 25045460 HAS SOUPS 24417135 WITH SCORE 2.4499431175E7
AT ITER 907 NEW BEST:: SOT 133356435 SOS 82292536 HAS SOPS 67091702 HAS SOUS 25032273 HAS SOUPS 24403948 WITH SCORE 2.4486240536E7
AT ITER 914 NEW BEST:: SOT 133331929 SOS 82251556 HAS SOPS 67067110 HAS SOUS 25007495 HAS SOUPS 24379170 WITH SCORE 2.4461421556E7
AT ITER 922 NEW BEST:: SOT 133332682 SOS 82254150 HAS SOPS 67072202 HAS SOUS 25003750 HAS SOUPS 24375425 WITH SCORE 2.445767915E7
AT ITER 935 NEW BEST:: SOT 133330402 SOS 82245690 HAS SOPS 67065128 HAS SOUS 25001112 HAS SOUPS 24372787 WITH SCORE 2.445503269E7
AT ITER 947 NEW BEST:: SOT 133242486 SOS 82026942 HAS SOPS 66928720 HAS SOUS 24946017 HAS SOUPS 24318558 WITH SCORE 2.4400584942E7
AT ITER 951 NEW BEST:: SOT 133242492 SOS 82027016 HAS SOPS 66928806 HAS SOUS 24945911 HAS SOUPS 24318452 WITH SCORE 2.4400479016E7
AT ITER 961 NEW BEST:: SOT 133242183 SOS 82026763 HAS SOPS 66929398 HAS SOUS 24945842 HAS SOUPS 24318383 WITH SCORE 2.4400409763E7
AT ITER 962 NEW BEST:: SOT 133242472 SOS 82028274 HAS SOPS 66930090 HAS SOUS 24944128 HAS SOUPS 24316669 WITH SCORE 2.4398697274E7
AT ITER 969 NEW BEST:: SOT 133242310 SOS 82028113 HAS SOPS 66929944 HAS SOUS 24944031 HAS SOUPS 24316587 WITH SCORE 2.4398615113E7
AT ITER 974 NEW BEST:: SOT 133232622 SOS 82018086 HAS SOPS 66920045 HAS SOUS 24932073 HAS SOUPS 24304629 WITH SCORE 2.4386647086E7
AT ITER 975 NEW BEST:: SOT 133228000 SOS 82019926 HAS SOPS 66923348 HAS SOUS 24907590 HAS SOUPS 24280146 WITH SCORE 2.4362165926E7
AT ITER 976 NEW BEST:: SOT 133206266 SOS 81990584 HAS SOPS 66905972 HAS SOUS 24864343 HAS SOUPS 24236899 WITH SCORE 2.4318889584E7
AT ITER 977 NEW BEST:: SOT 133203867 SOS 81988202 HAS SOPS 66904228 HAS SOUS 24861761 HAS SOUPS 24234955 WITH SCORE 2.4316943202E7
AT ITER 994 NEW BEST:: SOT 133200551 SOS 81990546 HAS SOPS 66900667 HAS SOUS 24850371 HAS SOUPS 24223565 WITH SCORE 2.4305555546E7
AT ITER 1014 NEW BEST:: SOT 133200379 SOS 81988115 HAS SOPS 66898026 HAS SOUS 24850158 HAS SOUPS 24223352 WITH SCORE 2.4305340115E7
AT ITER 1027 NEW BEST:: SOT 133199854 SOS 81980524 HAS SOPS 66894678 HAS SOUS 24849087 HAS SOUPS 24222841 WITH SCORE 2.4304821524E7
AT ITER 1029 NEW BEST:: SOT 133199202 SOS 81993439 HAS SOPS 66909637 HAS SOUS 24835566 HAS SOUPS 24209320 WITH SCORE 2.4291313439E7
AT ITER 1044 NEW BEST:: SOT 133176574 SOS 81972896 HAS SOPS 66901634 HAS SOUS 24823495 HAS SOUPS 24197249 WITH SCORE 2.4279221896E7
AT ITER 1056 NEW BEST:: SOT 133212137 SOS 82045731 HAS SOPS 66964458 HAS SOUS 24814620 HAS SOUPS 24188063 WITH SCORE 2.4270108731E7
AT ITER 1066 NEW BEST:: SOT 133212157 SOS 82045876 HAS SOPS 66964618 HAS SOUS 24814401 HAS SOUPS 24187879 WITH SCORE 2.4269924876E7
AT ITER 1073 NEW BEST:: SOT 133243184 SOS 82147133 HAS SOPS 67056694 HAS SOUS 24813478 HAS SOUPS 24186956 WITH SCORE 2.4269103133E7
AT ITER 1083 NEW BEST:: SOT 133243066 SOS 82153398 HAS SOPS 67059404 HAS SOUS 24811124 HAS SOUPS 24184529 WITH SCORE 2.4266682398E7
AT ITER 1094 NEW BEST:: SOT 133240750 SOS 82150242 HAS SOPS 67057928 HAS SOUS 24807320 HAS SOUPS 24180749 WITH SCORE 2.4262899242E7
AT ITER 1103 NEW BEST:: SOT 133242590 SOS 82151172 HAS SOPS 67057579 HAS SOUS 24802634 HAS SOUPS 24176141 WITH SCORE 2.4258292172E7
AT ITER 1105 NEW BEST:: SOT 133234490 SOS 82137007 HAS SOPS 67061404 HAS SOUS 24789548 HAS SOUPS 24163055 WITH SCORE 2.4245192007E7
AT ITER 1126 NEW BEST:: SOT 133233649 SOS 82136093 HAS SOPS 67060526 HAS SOUS 24787772 HAS SOUPS 24161291 WITH SCORE 2.4243427093E7
AT ITER 1133 NEW BEST:: SOT 133234182 SOS 82138243 HAS SOPS 67064488 HAS SOUS 24787083 HAS SOUPS 24160602 WITH SCORE 2.4242740243E7
AT ITER 1140 NEW BEST:: SOT 133230362 SOS 82127721 HAS SOPS 67054741 HAS SOUS 24782300 HAS SOUPS 24155819 WITH SCORE 2.4237946721E7
AT ITER 1151 NEW BEST:: SOT 133263739 SOS 82196731 HAS SOPS 67109407 HAS SOUS 24760628 HAS SOUPS 24134147 WITH SCORE 2.4216343731E7
AT ITER 1157 NEW BEST:: SOT 133263268 SOS 82196275 HAS SOPS 67108663 HAS SOUS 24759668 HAS SOUPS 24133187 WITH SCORE 2.4215383275E7
AT ITER 1163 NEW BEST:: SOT 133259398 SOS 82193845 HAS SOPS 67103639 HAS SOUS 24752449 HAS SOUPS 24126016 WITH SCORE 2.4208209845E7
AT ITER 1169 NEW BEST:: SOT 133258252 SOS 82189635 HAS SOPS 67103400 HAS SOUS 24750095 HAS SOUPS 24123662 WITH SCORE 2.4205851635E7
AT ITER 1172 NEW BEST:: SOT 133258112 SOS 82189505 HAS SOPS 67103210 HAS SOUS 24749704 HAS SOUPS 24123271 WITH SCORE 2.4205460505E7
AT ITER 1196 NEW BEST:: SOT 133256656 SOS 82187902 HAS SOPS 67100756 HAS SOUS 24743793 HAS SOUPS 24117409 WITH SCORE 2.4199596902E7
AT ITER 1204 NEW BEST:: SOT 133252194 SOS 82183196 HAS SOPS 67095922 HAS SOUS 24731213 HAS SOUPS 24104915 WITH SCORE 2.4187098196E7
AT ITER 1209 NEW BEST:: SOT 133253166 SOS 82194697 HAS SOPS 67103375 HAS SOUS 24722468 HAS SOUPS 24096170 WITH SCORE 2.4178364697E7
AT ITER 1233 NEW BEST:: SOT 133260056 SOS 82217684 HAS SOPS 67117597 HAS SOUS 24716756 HAS SOUPS 24090458 WITH SCORE 2.4172675684E7
AT ITER 1244 NEW BEST:: SOT 133250394 SOS 82192159 HAS SOPS 67093960 HAS SOUS 24709553 HAS SOUPS 24083255 WITH SCORE 2.4165447159E7
AT ITER 1257 NEW BEST:: SOT 133257241 SOS 82205739 HAS SOPS 67127294 HAS SOUS 24698738 HAS SOUPS 24072440 WITH SCORE 2.4154645739E7
AT ITER 1280 NEW BEST:: SOT 133256807 SOS 82205103 HAS SOPS 67129026 HAS SOUS 24697278 HAS SOUPS 24070980 WITH SCORE 2.4153185103E7
AT ITER 1291 NEW BEST:: SOT 133255151 SOS 82202253 HAS SOPS 67127817 HAS SOUS 24690316 HAS SOUPS 24064018 WITH SCORE 2.4146220253E7
AT ITER 1297 NEW BEST:: SOT 133253646 SOS 82195943 HAS SOPS 67118089 HAS SOUS 24686350 HAS SOUPS 24060052 WITH SCORE 2.4142247943E7
AT ITER 1299 NEW BEST:: SOT 133248729 SOS 82190380 HAS SOPS 67111937 HAS SOUS 24677177 HAS SOUPS 24050879 WITH SCORE 2.413306938E7
AT ITER 1315 NEW BEST:: SOT 133253125 SOS 82201915 HAS SOPS 67120117 HAS SOUS 24673171 HAS SOUPS 24046873 WITH SCORE 2.4129074915E7
AT ITER 1334 NEW BEST:: SOT 133254755 SOS 82202608 HAS SOPS 67124827 HAS SOUS 24672061 HAS SOUPS 24045763 WITH SCORE 2.4127965608E7
AT ITER 1339 NEW BEST:: SOT 133254257 SOS 82202086 HAS SOPS 67124293 HAS SOUS 24671083 HAS SOUPS 24044791 WITH SCORE 2.4126993086E7
AT ITER 1343 NEW BEST:: SOT 133239597 SOS 82167847 HAS SOPS 67098669 HAS SOUS 24668533 HAS SOUPS 24042371 WITH SCORE 2.4124538847E7
AT ITER 1359 NEW BEST:: SOT 133232765 SOS 82141855 HAS SOPS 67082055 HAS SOUS 24651810 HAS SOUPS 24025648 WITH SCORE 2.4107789855E7
AT ITER 1381 NEW BEST:: SOT 133218234 SOS 82115352 HAS SOPS 67060800 HAS SOUS 24641239 HAS SOUPS 24015077 WITH SCORE 2.4097192352E7
AT ITER 1382 NEW BEST:: SOT 133216454 SOS 82113408 HAS SOPS 67058863 HAS SOUS 24637534 HAS SOUPS 24011379 WITH SCORE 2.4093492408E7
AT ITER 1383 NEW BEST:: SOT 133212898 SOS 82100290 HAS SOPS 67060713 HAS SOUS 24618942 HAS SOUPS 23992787 WITH SCORE 2.407488729E7
AT ITER 1394 NEW BEST:: SOT 133210891 SOS 82095213 HAS SOPS 67056212 HAS SOUS 24617303 HAS SOUPS 23991148 WITH SCORE 2.4073243213E7
AT ITER 1397 NEW BEST:: SOT 133210512 SOS 82092754 HAS SOPS 67053366 HAS SOUS 24616800 HAS SOUPS 23990645 WITH SCORE 2.4072737754E7
AT ITER 1401 NEW BEST:: SOT 133218012 SOS 82107917 HAS SOPS 67058986 HAS SOUS 24612431 HAS SOUPS 23986276 WITH SCORE 2.4068383917E7
AT ITER 1412 NEW BEST:: SOT 133227013 SOS 82134225 HAS SOPS 67082293 HAS SOUS 24595830 HAS SOUPS 23969675 WITH SCORE 2.4051809225E7
AT ITER 1424 NEW BEST:: SOT 133237335 SOS 82170872 HAS SOPS 67125981 HAS SOUS 24587757 HAS SOUPS 23961602 WITH SCORE 2.4043772872E7
AT ITER 1429 NEW BEST:: SOT 133240532 SOS 82193981 HAS SOPS 67131186 HAS SOUS 24571771 HAS SOUPS 23945477 WITH SCORE 2.4027670981E7
AT ITER 1441 NEW BEST:: SOT 133240421 SOS 82195439 HAS SOPS 67130378 HAS SOUS 24569433 HAS SOUPS 23943139 WITH SCORE 2.4025334439E7
AT ITER 1447 NEW BEST:: SOT 133239009 SOS 82192679 HAS SOPS 67127977 HAS SOUS 24567983 HAS SOUPS 23941710 WITH SCORE 2.4023902679E7
AT ITER 1459 NEW BEST:: SOT 133192376 SOS 82120495 HAS SOPS 67062174 HAS SOUS 24515961 HAS SOUPS 23889688 WITH SCORE 2.3971808495E7
AT ITER 1469 NEW BEST:: SOT 133187091 SOS 82111769 HAS SOPS 67057460 HAS SOUS 24515104 HAS SOUPS 23888831 WITH SCORE 2.3970942769E7
AT ITER 1480 NEW BEST:: SOT 133184655 SOS 82113978 HAS SOPS 67055259 HAS SOUS 24502695 HAS SOUPS 23876303 WITH SCORE 2.3958416978E7
AT ITER 1493 NEW BEST:: SOT 133147514 SOS 82049902 HAS SOPS 66995724 HAS SOUS 24457809 HAS SOUPS 23831538 WITH SCORE 2.3913587902E7
AT ITER 1500 NEW BEST:: SOT 133133302 SOS 82035577 HAS SOPS 66979873 HAS SOUS 24436758 HAS SOUPS 23810545 WITH SCORE 2.3892580577E7
AT ITER 1516 NEW BEST:: SOT 133118743 SOS 81997875 HAS SOPS 66941518 HAS SOUS 24433255 HAS SOUPS 23807042 WITH SCORE 2.3889039875E7
AT ITER 1517 NEW BEST:: SOT 133118222 SOS 81986685 HAS SOPS 66939262 HAS SOUS 24425622 HAS SOUPS 23805457 WITH SCORE 2.3887443685E7
AT ITER 1534 NEW BEST:: SOT 133101557 SOS 81970020 HAS SOPS 66922597 HAS SOUS 24409603 HAS SOUPS 23789438 WITH SCORE 2.387140802E7
AT ITER 1563 NEW BEST:: SOT 133120257 SOS 82032369 HAS SOPS 66975686 HAS SOUS 24409509 HAS SOUPS 23789344 WITH SCORE 2.3871376369E7
AT ITER 1572 NEW BEST:: SOT 133126188 SOS 82062574 HAS SOPS 67001822 HAS SOUS 24402041 HAS SOUPS 23781876 WITH SCORE 2.3863938574E7
AT ITER 1576 NEW BEST:: SOT 133126268 SOS 82062573 HAS SOPS 67000147 HAS SOUS 24398884 HAS SOUPS 23778719 WITH SCORE 2.3860781573E7
AT ITER 1585 NEW BEST:: SOT 133098640 SOS 82018464 HAS SOPS 66966905 HAS SOUS 24361787 HAS SOUPS 23741622 WITH SCORE 2.3823640464E7
AT ITER 1590 NEW BEST:: SOT 133100520 SOS 82040420 HAS SOPS 67012860 HAS SOUS 24346779 HAS SOUPS 23726614 WITH SCORE 2.380865442E7
AT ITER 1595 NEW BEST:: SOT 133083425 SOS 81989400 HAS SOPS 66976390 HAS SOUS 24318144 HAS SOUPS 23697979 WITH SCORE 2.37799684E7
AT ITER 1596 NEW BEST:: SOT 133082070 SOS 82004340 HAS SOPS 66991913 HAS SOUS 24296235 HAS SOUPS 23675941 WITH SCORE 2.375794534E7
AT ITER 1606 NEW BEST:: SOT 133081978 SOS 82004248 HAS SOPS 66991821 HAS SOUS 24296143 HAS SOUPS 23675849 WITH SCORE 2.3757853248E7
AT ITER 1615 NEW BEST:: SOT 133081779 SOS 82003875 HAS SOPS 66991376 HAS SOUS 24295916 HAS SOUPS 23675624 WITH SCORE 2.3757627875E7
AT ITER 1625 NEW BEST:: SOT 133064685 SOS 81987181 HAS SOPS 66974282 HAS SOUS 24272684 HAS SOUPS 23652319 WITH SCORE 2.3734306181E7
AT ITER 1630 NEW BEST:: SOT 133065223 SOS 81990477 HAS SOPS 66974642 HAS SOUS 24268549 HAS SOUPS 23648184 WITH SCORE 2.3730174477E7
AT ITER 1655 NEW BEST:: SOT 133070125 SOS 82001824 HAS SOPS 66979240 HAS SOUS 24260035 HAS SOUPS 23639670 WITH SCORE 2.3721671824E7
AT ITER 1657 NEW BEST:: SOT 133103468 SOS 82107956 HAS SOPS 67067459 HAS SOUS 24249297 HAS SOUPS 23628932 WITH SCORE 2.3711039956E7
AT ITER 1661 NEW BEST:: SOT 133012533 SOS 81923234 HAS SOPS 66927684 HAS SOUS 24158446 HAS SOUPS 23538134 WITH SCORE 2.3620057234E7
AT ITER 1677 NEW BEST:: SOT 133017835 SOS 81919958 HAS SOPS 66929603 HAS SOUS 24154483 HAS SOUPS 23535906 WITH SCORE 2.3617825958E7
AT ITER 1684 NEW BEST:: SOT 133010893 SOS 81911356 HAS SOPS 66921323 HAS SOUS 24145121 HAS SOUPS 23526565 WITH SCORE 2.3608476356E7
AT ITER 1688 NEW BEST:: SOT 133008880 SOS 81910007 HAS SOPS 66914314 HAS SOUS 24142219 HAS SOUPS 23523663 WITH SCORE 2.3605573007E7
AT ITER 1691 NEW BEST:: SOT 133010596 SOS 81914484 HAS SOPS 66916929 HAS SOUS 24139664 HAS SOUPS 23521108 WITH SCORE 2.3603022484E7
AT ITER 1698 NEW BEST:: SOT 133007594 SOS 81904109 HAS SOPS 66903107 HAS SOUS 24137160 HAS SOUPS 23518604 WITH SCORE 2.3600508109E7
AT ITER 1709 NEW BEST:: SOT 133002137 SOS 81896756 HAS SOPS 66908024 HAS SOUS 24121570 HAS SOUPS 23507202 WITH SCORE 2.3589098756E7
AT ITER 1717 NEW BEST:: SOT 133004399 SOS 81900576 HAS SOPS 66908852 HAS SOUS 24102762 HAS SOUPS 23488394 WITH SCORE 2.3570294576E7
AT ITER 1726 NEW BEST:: SOT 132967425 SOS 81835355 HAS SOPS 66845172 HAS SOUS 24069333 HAS SOUPS 23454965 WITH SCORE 2.3536800355E7
AT ITER 1730 NEW BEST:: SOT 132969739 SOS 81840922 HAS SOPS 66850172 HAS SOUS 24066942 HAS SOUPS 23452574 WITH SCORE 2.3534414922E7
AT ITER 1732 NEW BEST:: SOT 132969867 SOS 81840994 HAS SOPS 66850236 HAS SOUS 24066846 HAS SOUPS 23452486 WITH SCORE 2.3534326994E7
AT ITER 1746 NEW BEST:: SOT 132968770 SOS 81836188 HAS SOPS 66840042 HAS SOUS 24066016 HAS SOUPS 23451656 WITH SCORE 2.3533492188E7
AT ITER 1782 NEW BEST:: SOT 132969562 SOS 81835133 HAS SOPS 66843855 HAS SOUS 24037815 HAS SOUPS 23423532 WITH SCORE 2.3505367133E7
AT ITER 1783 NEW BEST:: SOT 132965161 SOS 81813661 HAS SOPS 66826830 HAS SOUS 24020522 HAS SOUPS 23406239 WITH SCORE 2.3488052661E7
AT ITER 1785 NEW BEST:: SOT 132963875 SOS 81812350 HAS SOPS 66824344 HAS SOUS 24017570 HAS SOUPS 23403287 WITH SCORE 2.348509935E7
AT ITER 1792 NEW BEST:: SOT 132972908 SOS 81819261 HAS SOPS 66827994 HAS SOUS 24011118 HAS SOUPS 23396940 WITH SCORE 2.3478759261E7
AT ITER 1794 NEW BEST:: SOT 132969488 SOS 81811750 HAS SOPS 66819381 HAS SOUS 23996437 HAS SOUPS 23382259 WITH SCORE 2.346407075E7
AT ITER 1797 NEW BEST:: SOT 132987517 SOS 81852184 HAS SOPS 66864333 HAS SOUS 23967177 HAS SOUPS 23354151 WITH SCORE 2.3436003184E7
AT ITER 1820 NEW BEST:: SOT 132984038 SOS 81847385 HAS SOPS 66857477 HAS SOUS 23960689 HAS SOUPS 23347502 WITH SCORE 2.3429349385E7
AT ITER 1824 NEW BEST:: SOT 132992057 SOS 81856233 HAS SOPS 66849822 HAS SOUS 23952637 HAS SOUPS 23339450 WITH SCORE 2.3421306233E7
AT ITER 1827 NEW BEST:: SOT 133002601 SOS 81893664 HAS SOPS 66875131 HAS SOUS 23946170 HAS SOUPS 23332983 WITH SCORE 2.3414876664E7
AT ITER 1838 NEW BEST:: SOT 133004051 SOS 81898547 HAS SOPS 66878647 HAS SOUS 23942447 HAS SOUPS 23329260 WITH SCORE 2.3411158547E7
AT ITER 1847 NEW BEST:: SOT 133022716 SOS 81945817 HAS SOPS 66923580 HAS SOUS 23926930 HAS SOUPS 23313743 WITH SCORE 2.3395688817E7
AT ITER 1868 NEW BEST:: SOT 133027053 SOS 81982367 HAS SOPS 66987101 HAS SOUS 23920079 HAS SOUPS 23306892 WITH SCORE 2.3388874367E7
AT ITER 1880 NEW BEST:: SOT 133023383 SOS 81978694 HAS SOPS 66983366 HAS SOUS 23916307 HAS SOUPS 23303058 WITH SCORE 2.3385036694E7
AT ITER 1882 NEW BEST:: SOT 133017505 SOS 81969086 HAS SOPS 66971434 HAS SOUS 23905461 HAS SOUPS 23292219 WITH SCORE 2.3374188086E7
AT ITER 1895 NEW BEST:: SOT 133027375 SOS 81977530 HAS SOPS 66966550 HAS SOUS 23888711 HAS SOUPS 23275476 WITH SCORE 2.335745353E7
AT ITER 1910 NEW BEST:: SOT 133024683 SOS 81974340 HAS SOPS 66962948 HAS SOUS 23887316 HAS SOUPS 23274081 WITH SCORE 2.335605534E7
AT ITER 1927 NEW BEST:: SOT 133024645 SOS 81974268 HAS SOPS 66962835 HAS SOUS 23887201 HAS SOUPS 23273966 WITH SCORE 2.3355940268E7
AT ITER 1938 NEW BEST:: SOT 133005455 SOS 81956385 HAS SOPS 66944494 HAS SOUS 23869441 HAS SOUPS 23257307 WITH SCORE 2.3339263385E7
AT ITER 1950 NEW BEST:: SOT 133009261 SOS 81972348 HAS SOPS 66953191 HAS SOUS 23863030 HAS SOUPS 23250798 WITH SCORE 2.3332770348E7
AT ITER 1959 NEW BEST:: SOT 133008910 SOS 81972039 HAS SOPS 66952868 HAS SOUS 23862370 HAS SOUPS 23250131 WITH SCORE 2.3332103039E7
AT ITER 1961 NEW BEST:: SOT 132996602 SOS 81939472 HAS SOPS 66922334 HAS SOUS 23853808 HAS SOUPS 23241569 WITH SCORE 2.3323508472E7
AT ITER 1962 NEW BEST:: SOT 133001228 SOS 81961280 HAS SOPS 66944202 HAS SOUS 23832807 HAS SOUPS 23220568 WITH SCORE 2.330252928E7
AT ITER 1970 NEW BEST:: SOT 132989353 SOS 81947233 HAS SOPS 66925149 HAS SOUS 23806362 HAS SOUPS 23194081 WITH SCORE 2.3276028233E7
AT ITER 1972 NEW BEST:: SOT 133044212 SOS 82080265 HAS SOPS 67052271 HAS SOUS 23806056 HAS SOUPS 23193775 WITH SCORE 2.3275855265E7
AT ITER 1976 NEW BEST:: SOT 133035468 SOS 82062533 HAS SOPS 67034867 HAS SOUS 23790572 HAS SOUPS 23178291 WITH SCORE 2.3260353533E7
AT ITER 1980 NEW BEST:: SOT 133032716 SOS 82057565 HAS SOPS 67030799 HAS SOUS 23788756 HAS SOUPS 23176475 WITH SCORE 2.3258532565E7
AT ITER 2004 NEW BEST:: SOT 133016990 SOS 82041976 HAS SOPS 67011417 HAS SOUS 23774342 HAS SOUPS 23160092 WITH SCORE 2.3242133976E7
AT ITER 2007 NEW BEST:: SOT 133018041 SOS 82049113 HAS SOPS 67012229 HAS SOUS 23768394 HAS SOUPS 23154144 WITH SCORE 2.3236193113E7
AT ITER 2010 NEW BEST:: SOT 132999880 SOS 82031012 HAS SOPS 66994054 HAS SOUS 23731730 HAS SOUPS 23117412 WITH SCORE 2.3199443012E7
AT ITER 2011 NEW BEST:: SOT 132983950 SOS 82004786 HAS SOPS 66967309 HAS SOUS 23695891 HAS SOUPS 23082378 WITH SCORE 2.3164382786E7
AT ITER 2017 NEW BEST:: SOT 132981852 SOS 82000779 HAS SOPS 66963778 HAS SOUS 23693981 HAS SOUPS 23080468 WITH SCORE 2.3162468779E7
AT ITER 2040 NEW BEST:: SOT 132967944 SOS 81986398 HAS SOPS 66947773 HAS SOUS 23680125 HAS SOUPS 23066612 WITH SCORE 2.3148598398E7
AT ITER 2044 NEW BEST:: SOT 132956332 SOS 81974739 HAS SOPS 66935295 HAS SOUS 23664861 HAS SOUPS 23051008 WITH SCORE 2.3132982739E7
AT ITER 2047 NEW BEST:: SOT 132980127 SOS 82048836 HAS SOPS 66996102 HAS SOUS 23623699 HAS SOUPS 23009783 WITH SCORE 2.3091831836E7
AT ITER 2054 NEW BEST:: SOT 132979536 SOS 82048293 HAS SOPS 66995070 HAS SOUS 23622477 HAS SOUPS 23008561 WITH SCORE 2.3090609293E7
AT ITER 2077 NEW BEST:: SOT 132981351 SOS 82056131 HAS SOPS 67008081 HAS SOUS 23621315 HAS SOUPS 23007399 WITH SCORE 2.3089455131E7
AT ITER 2084 NEW BEST:: SOT 132986248 SOS 82064456 HAS SOPS 67014574 HAS SOUS 23618733 HAS SOUPS 23005168 WITH SCORE 2.3087232456E7
AT ITER 2089 NEW BEST:: SOT 132858566 SOS 81922938 HAS SOPS 66873207 HAS SOUS 23551289 HAS SOUPS 22937988 WITH SCORE 2.3019910938E7
AT ITER 2108 NEW BEST:: SOT 132839825 SOS 81886126 HAS SOPS 66849768 HAS SOUS 23498248 HAS SOUPS 22889954 WITH SCORE 2.2971840126E7
AT ITER 2110 NEW BEST:: SOT 132837482 SOS 81881947 HAS SOPS 66845931 HAS SOUS 23495369 HAS SOUPS 22887093 WITH SCORE 2.2968974947E7
AT ITER 2127 NEW BEST:: SOT 132829398 SOS 81876206 HAS SOPS 66839674 HAS SOUS 23494443 HAS SOUPS 22886167 WITH SCORE 2.2968043206E7
AT ITER 2129 NEW BEST:: SOT 132803230 SOS 81822314 HAS SOPS 66791748 HAS SOUS 23462157 HAS SOUPS 22853885 WITH SCORE 2.2935707314E7
AT ITER 2141 NEW BEST:: SOT 132768496 SOS 81787528 HAS SOPS 66748502 HAS SOUS 23447585 HAS SOUPS 22837504 WITH SCORE 2.2919291528E7
AT ITER 2143 NEW BEST:: SOT 132764928 SOS 81795638 HAS SOPS 66758723 HAS SOUS 23434509 HAS SOUPS 22824428 WITH SCORE 2.2906223638E7
AT ITER 2159 NEW BEST:: SOT 132759747 SOS 81773827 HAS SOPS 66760647 HAS SOUS 23431338 HAS SOUPS 22821257 WITH SCORE 2.2903030827E7
AT ITER 2160 NEW BEST:: SOT 132759603 SOS 81773629 HAS SOPS 66760719 HAS SOUS 23431239 HAS SOUPS 22821158 WITH SCORE 2.2902931629E7
AT ITER 2163 NEW BEST:: SOT 132760347 SOS 81774472 HAS SOPS 66761292 HAS SOUS 23431155 HAS SOUPS 22821074 WITH SCORE 2.2902848472E7
AT ITER 2169 NEW BEST:: SOT 132740607 SOS 81731292 HAS SOPS 66734978 HAS SOUS 23407220 HAS SOUPS 22797139 WITH SCORE 2.2878870292E7
AT ITER 2174 NEW BEST:: SOT 132737728 SOS 81720656 HAS SOPS 66730379 HAS SOUS 23405155 HAS SOUPS 22795300 WITH SCORE 2.2877020656E7
AT ITER 2187 NEW BEST:: SOT 132737668 SOS 81719660 HAS SOPS 66729323 HAS SOUS 23405004 HAS SOUPS 22795149 WITH SCORE 2.287686866E7
AT ITER 2206 NEW BEST:: SOT 132751279 SOS 81798927 HAS SOPS 66818841 HAS SOUS 23373867 HAS SOUPS 22764012 WITH SCORE 2.2845810927E7
AT ITER 2213 NEW BEST:: SOT 132780814 SOS 81886352 HAS SOPS 66890092 HAS SOUS 23364868 HAS SOUPS 22755013 WITH SCORE 2.2836899352E7
AT ITER 2214 NEW BEST:: SOT 132766938 SOS 81858380 HAS SOPS 66865495 HAS SOUS 23350449 HAS SOUPS 22740594 WITH SCORE 2.282245238E7
AT ITER 2215 NEW BEST:: SOT 132764207 SOS 81852116 HAS SOPS 66859842 HAS SOUS 23348073 HAS SOUPS 22738218 WITH SCORE 2.2820070116E7
AT ITER 2216 NEW BEST:: SOT 132764643 SOS 81862304 HAS SOPS 66864411 HAS SOUS 23340022 HAS SOUPS 22730160 WITH SCORE 2.2812022304E7
AT ITER 2225 NEW BEST:: SOT 132757396 SOS 81849534 HAS SOPS 66858704 HAS SOUS 23335420 HAS SOUPS 22725610 WITH SCORE 2.2807459534E7
AT ITER 2232 NEW BEST:: SOT 132752383 SOS 81846966 HAS SOPS 66862409 HAS SOUS 23323576 HAS SOUPS 22713766 WITH SCORE 2.2795612966E7
AT ITER 2234 NEW BEST:: SOT 132786444 SOS 81932778 HAS SOPS 66935904 HAS SOUS 23318865 HAS SOUPS 22709055 WITH SCORE 2.2790987778E7
AT ITER 2236 NEW BEST:: SOT 132783834 SOS 81932082 HAS SOPS 66937029 HAS SOUS 23311991 HAS SOUPS 22702301 WITH SCORE 2.2784233082E7
AT ITER 2238 NEW BEST:: SOT 132792694 SOS 81928782 HAS SOPS 66942631 HAS SOUS 23302392 HAS SOUPS 22692702 WITH SCORE 2.2774630782E7
AT ITER 2270 NEW BEST:: SOT 132714922 SOS 81832737 HAS SOPS 66943390 HAS SOUS 23211948 HAS SOUPS 22602369 WITH SCORE 2.2684201737E7
AT ITER 2278 NEW BEST:: SOT 132712997 SOS 81829529 HAS SOPS 66936485 HAS SOUS 23208814 HAS SOUPS 22599235 WITH SCORE 2.2681064529E7
AT ITER 2282 NEW BEST:: SOT 132709102 SOS 81820402 HAS SOPS 66928688 HAS SOUS 23206295 HAS SOUPS 22596716 WITH SCORE 2.2678536402E7
AT ITER 2297 NEW BEST:: SOT 132731396 SOS 81864687 HAS SOPS 66963323 HAS SOUS 23197316 HAS SOUPS 22587737 WITH SCORE 2.2669601687E7
AT ITER 2299 NEW BEST:: SOT 132715763 SOS 81855877 HAS SOPS 66952224 HAS SOUS 23186522 HAS SOUPS 22576981 WITH SCORE 2.2658836877E7
AT ITER 2306 NEW BEST:: SOT 132718567 SOS 81862442 HAS SOPS 66974860 HAS SOUS 23171804 HAS SOUPS 22562208 WITH SCORE 2.2644070442E7
AT ITER 2317 NEW BEST:: SOT 132738327 SOS 81872730 HAS SOPS 67009882 HAS SOUS 23163697 HAS SOUPS 22554101 WITH SCORE 2.263597373E7
AT ITER 2363 NEW BEST:: SOT 132726112 SOS 81850030 HAS SOPS 67004101 HAS SOUS 23118169 HAS SOUPS 22519339 WITH SCORE 2.260118903E7
AT ITER 2366 NEW BEST:: SOT 132721352 SOS 81847576 HAS SOPS 66998124 HAS SOUS 23104243 HAS SOUPS 22505413 WITH SCORE 2.2587260576E7
AT ITER 2373 NEW BEST:: SOT 132711309 SOS 81817510 HAS SOPS 66983787 HAS SOUS 23101195 HAS SOUPS 22502365 WITH SCORE 2.258418251E7
AT ITER 2383 NEW BEST:: SOT 132710687 SOS 81816712 HAS SOPS 66983019 HAS SOUS 23098829 HAS SOUPS 22500029 WITH SCORE 2.2581845712E7

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-1"
export BK_EXAMINATION="CTLCardinality"
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-1, examination is CTLCardinality"
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-158961502300075"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-1.tgz
mv RERS17pb114-PT-1 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;