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

--------------------
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 6.1K Mar 24 05:37 GenericPropertiesVerdict.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)

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-6-CTLCardinality-00
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-01
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-02
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-03
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-04
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-05
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-06
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-07
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-08
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-09
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-10
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-11
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-12
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-13
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-14
FORMULA_NAME RERS17pb114-PT-6-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589722748756

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 6
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 1 NEW BEST:: SOT 133653111 SOS 82209054 HAS SOPS 66757996 HAS SOUS 26441661 HAS SOUPS 25810970 WITH SCORE 2.5893179054E7
AT ITER 8 NEW BEST:: SOT 133639392 SOS 82184563 HAS SOPS 66742759 HAS SOUS 26426900 HAS SOUPS 25796209 WITH SCORE 2.5878393563E7
AT ITER 22 NEW BEST:: SOT 133640637 SOS 82192481 HAS SOPS 66749024 HAS SOUS 26424762 HAS SOUPS 25794071 WITH SCORE 2.5876263481E7
AT ITER 25 NEW BEST:: SOT 133645751 SOS 82213512 HAS SOPS 66780969 HAS SOUS 26421697 HAS SOUPS 25791006 WITH SCORE 2.5873219512E7
AT ITER 36 NEW BEST:: SOT 133644555 SOS 82212088 HAS SOPS 66780232 HAS SOUS 26414366 HAS SOUPS 25783675 WITH SCORE 2.5865887088E7
AT ITER 38 NEW BEST:: SOT 133652298 SOS 82230275 HAS SOPS 66794668 HAS SOUS 26407513 HAS SOUPS 25776729 WITH SCORE 2.5858959275E7
AT ITER 61 NEW BEST:: SOT 133616337 SOS 82158270 HAS SOPS 66747611 HAS SOUS 26394815 HAS SOUPS 25763096 WITH SCORE 2.584525427E7
AT ITER 72 NEW BEST:: SOT 133616187 SOS 82158182 HAS SOPS 66747524 HAS SOUS 26394399 HAS SOUPS 25762680 WITH SCORE 2.5844838182E7
AT ITER 86 NEW BEST:: SOT 133613556 SOS 82151774 HAS SOPS 66743030 HAS SOUS 26393255 HAS SOUPS 25761536 WITH SCORE 2.5843687774E7
AT ITER 88 NEW BEST:: SOT 133617233 SOS 82171085 HAS SOPS 66756504 HAS SOUS 26387699 HAS SOUPS 25755980 WITH SCORE 2.5838151085E7
AT ITER 92 NEW BEST:: SOT 133609171 SOS 82152991 HAS SOPS 66749255 HAS SOUS 26381164 HAS SOUPS 25750013 WITH SCORE 2.5832165991E7
AT ITER 101 NEW BEST:: SOT 133604914 SOS 82141943 HAS SOPS 66740411 HAS SOUS 26378498 HAS SOUPS 25747347 WITH SCORE 2.5829488943E7
AT ITER 103 NEW BEST:: SOT 133603849 SOS 82142635 HAS SOPS 66742960 HAS SOUS 26376407 HAS SOUPS 25745256 WITH SCORE 2.5827398635E7
AT ITER 116 NEW BEST:: SOT 133586173 SOS 82109914 HAS SOPS 66731505 HAS SOUS 26361442 HAS SOUPS 25730680 WITH SCORE 2.5812789914E7
AT ITER 127 NEW BEST:: SOT 133580717 SOS 82090763 HAS SOPS 66716699 HAS SOUS 26360133 HAS SOUPS 25729371 WITH SCORE 2.5811461763E7
AT ITER 133 NEW BEST:: SOT 133590894 SOS 82142350 HAS SOPS 66761634 HAS SOUS 26354228 HAS SOUPS 25723466 WITH SCORE 2.580560835E7
AT ITER 137 NEW BEST:: SOT 133589670 SOS 82134561 HAS SOPS 66763837 HAS SOUS 26345956 HAS SOUPS 25715194 WITH SCORE 2.5797328561E7
AT ITER 139 NEW BEST:: SOT 133587638 SOS 82132515 HAS SOPS 66761791 HAS SOUS 26341715 HAS SOUPS 25710953 WITH SCORE 2.5793085515E7
AT ITER 159 NEW BEST:: SOT 133597574 SOS 82154969 HAS SOPS 66779214 HAS SOUS 26327749 HAS SOUPS 25696987 WITH SCORE 2.5779141969E7
AT ITER 162 NEW BEST:: SOT 133488566 SOS 82005934 HAS SOPS 66641421 HAS SOUS 26165101 HAS SOUPS 25534593 WITH SCORE 2.5616598934E7
AT ITER 167 NEW BEST:: SOT 133501230 SOS 82049475 HAS SOPS 66676153 HAS SOUS 26159795 HAS SOUPS 25529287 WITH SCORE 2.5611336475E7
AT ITER 172 NEW BEST:: SOT 133498877 SOS 82047175 HAS SOPS 66672157 HAS SOUS 26156106 HAS SOUPS 25525227 WITH SCORE 2.5607274175E7
AT ITER 178 NEW BEST:: SOT 133476312 SOS 81990041 HAS SOPS 66633324 HAS SOUS 26145765 HAS SOUPS 25515012 WITH SCORE 2.5597002041E7
AT ITER 186 NEW BEST:: SOT 133476016 SOS 81989573 HAS SOPS 66633944 HAS SOUS 26145733 HAS SOUPS 25514994 WITH SCORE 2.5596983573E7
AT ITER 195 NEW BEST:: SOT 133469213 SOS 81986582 HAS SOPS 66626180 HAS SOUS 26121940 HAS SOUPS 25491201 WITH SCORE 2.5573187582E7
AT ITER 213 NEW BEST:: SOT 133436128 SOS 81953480 HAS SOPS 66593078 HAS SOUS 26088213 HAS SOUPS 25457474 WITH SCORE 2.553942748E7
AT ITER 222 NEW BEST:: SOT 133444414 SOS 81988184 HAS SOPS 66622395 HAS SOUS 26082828 HAS SOUPS 25452074 WITH SCORE 2.5534062184E7
AT ITER 230 NEW BEST:: SOT 133436876 SOS 81975290 HAS SOPS 66612264 HAS SOUS 26074883 HAS SOUPS 25444513 WITH SCORE 2.552648829E7
AT ITER 236 NEW BEST:: SOT 133441260 SOS 81979768 HAS SOPS 66616678 HAS SOUS 26072643 HAS SOUPS 25442273 WITH SCORE 2.5524252768E7
AT ITER 244 NEW BEST:: SOT 133458957 SOS 82082364 HAS SOPS 66730902 HAS SOUS 26064912 HAS SOUPS 25434542 WITH SCORE 2.5516624364E7
AT ITER 245 NEW BEST:: SOT 133458831 SOS 82082080 HAS SOPS 66730586 HAS SOUS 26064686 HAS SOUPS 25434316 WITH SCORE 2.551639808E7
AT ITER 260 NEW BEST:: SOT 133434235 SOS 82046862 HAS SOPS 66693451 HAS SOUS 26060259 HAS SOUPS 25429041 WITH SCORE 2.5511087862E7
AT ITER 271 NEW BEST:: SOT 133435687 SOS 82052231 HAS SOPS 66697895 HAS SOUS 26059840 HAS SOUPS 25428622 WITH SCORE 2.5510674231E7
AT ITER 288 NEW BEST:: SOT 133440870 SOS 82064064 HAS SOPS 66712648 HAS SOUS 26058246 HAS SOUPS 25427028 WITH SCORE 2.5509092064E7
AT ITER 292 NEW BEST:: SOT 133436543 SOS 82058509 HAS SOPS 66704693 HAS SOUS 26044781 HAS SOUPS 25413655 WITH SCORE 2.5495713509E7
AT ITER 298 NEW BEST:: SOT 133420760 SOS 82026854 HAS SOPS 66688014 HAS SOUS 26028534 HAS SOUPS 25397408 WITH SCORE 2.5479434854E7
AT ITER 303 NEW BEST:: SOT 133414749 SOS 82018283 HAS SOPS 66679750 HAS SOUS 26019345 HAS SOUPS 25388277 WITH SCORE 2.5470295283E7
AT ITER 316 NEW BEST:: SOT 133414621 SOS 82016559 HAS SOPS 66675899 HAS SOUS 26018368 HAS SOUPS 25387300 WITH SCORE 2.5469316559E7
AT ITER 323 NEW BEST:: SOT 133409226 SOS 82001939 HAS SOPS 66662430 HAS SOUS 26015013 HAS SOUPS 25383945 WITH SCORE 2.5465946939E7
AT ITER 328 NEW BEST:: SOT 133427886 SOS 82095583 HAS SOPS 66747495 HAS SOUS 26000658 HAS SOUPS 25369590 WITH SCORE 2.5451685583E7
AT ITER 353 NEW BEST:: SOT 133413390 SOS 82062494 HAS SOPS 66723280 HAS SOUS 25983875 HAS SOUPS 25352807 WITH SCORE 2.5434869494E7
AT ITER 375 NEW BEST:: SOT 133405265 SOS 82051201 HAS SOPS 66729684 HAS SOUS 25975055 HAS SOUPS 25343987 WITH SCORE 2.5426038201E7
AT ITER 388 NEW BEST:: SOT 133402678 SOS 82055797 HAS SOPS 66731561 HAS SOUS 25964508 HAS SOUPS 25333440 WITH SCORE 2.5415495797E7
AT ITER 389 NEW BEST:: SOT 133416124 SOS 82128658 HAS SOPS 66802786 HAS SOUS 25938467 HAS SOUPS 25307399 WITH SCORE 2.5389527658E7
AT ITER 390 NEW BEST:: SOT 133416124 SOS 82131394 HAS SOPS 66806130 HAS SOUS 25938448 HAS SOUPS 25307380 WITH SCORE 2.5389511394E7
AT ITER 391 NEW BEST:: SOT 133406078 SOS 82121024 HAS SOPS 66795781 HAS SOUS 25913258 HAS SOUPS 25282211 WITH SCORE 2.5364332024E7
AT ITER 395 NEW BEST:: SOT 133405211 SOS 82120125 HAS SOPS 66794140 HAS SOUS 25909411 HAS SOUPS 25278364 WITH SCORE 2.5360484125E7
AT ITER 402 NEW BEST:: SOT 133355946 SOS 82072516 HAS SOPS 66741115 HAS SOUS 25840223 HAS SOUPS 25208815 WITH SCORE 2.5290887516E7
AT ITER 425 NEW BEST:: SOT 133339232 SOS 82055364 HAS SOPS 66719959 HAS SOUS 25804642 HAS SOUPS 25173067 WITH SCORE 2.5255122364E7
AT ITER 429 NEW BEST:: SOT 133340626 SOS 82060548 HAS SOPS 66724034 HAS SOUS 25804152 HAS SOUPS 25172577 WITH SCORE 2.5254637548E7
AT ITER 460 NEW BEST:: SOT 133340534 SOS 82060472 HAS SOPS 66724022 HAS SOUS 25803876 HAS SOUPS 25172301 WITH SCORE 2.5254361472E7
AT ITER 467 NEW BEST:: SOT 133342150 SOS 82069050 HAS SOPS 66729926 HAS SOUS 25794324 HAS SOUPS 25162749 WITH SCORE 2.524481805E7
AT ITER 470 NEW BEST:: SOT 133345829 SOS 82071749 HAS SOPS 66729369 HAS SOUS 25785451 HAS SOUPS 25154406 WITH SCORE 2.5236477749E7
AT ITER 475 NEW BEST:: SOT 133342114 SOS 82067703 HAS SOPS 66725467 HAS SOUS 25778992 HAS SOUPS 25148006 WITH SCORE 2.5230073703E7
AT ITER 486 NEW BEST:: SOT 133342665 SOS 82074295 HAS SOPS 66727273 HAS SOUS 25774624 HAS SOUPS 25143638 WITH SCORE 2.5225712295E7
AT ITER 494 NEW BEST:: SOT 133341300 SOS 82074499 HAS SOPS 66724862 HAS SOUS 25766858 HAS SOUPS 25135872 WITH SCORE 2.5217946499E7
AT ITER 496 NEW BEST:: SOT 133338703 SOS 82064492 HAS SOPS 66717145 HAS SOUS 25763921 HAS SOUPS 25132935 WITH SCORE 2.5214999492E7
AT ITER 501 NEW BEST:: SOT 133338062 SOS 82063514 HAS SOPS 66715664 HAS SOUS 25762936 HAS SOUPS 25131950 WITH SCORE 2.5214013514E7
AT ITER 508 NEW BEST:: SOT 133338185 SOS 82068287 HAS SOPS 66719768 HAS SOUS 25758972 HAS SOUPS 25127986 WITH SCORE 2.5210054287E7
AT ITER 510 NEW BEST:: SOT 133334052 SOS 82059239 HAS SOPS 66708740 HAS SOUS 25751610 HAS SOUPS 25121610 WITH SCORE 2.5203669239E7
AT ITER 517 NEW BEST:: SOT 133343747 SOS 82086505 HAS SOPS 66739589 HAS SOUS 25743528 HAS SOUPS 25113470 WITH SCORE 2.5195556505E7
AT ITER 533 NEW BEST:: SOT 133345431 SOS 82099396 HAS SOPS 66750767 HAS SOUS 25723487 HAS SOUPS 25093429 WITH SCORE 2.5175528396E7
AT ITER 543 NEW BEST:: SOT 133349756 SOS 82112055 HAS SOPS 66757260 HAS SOUS 25711546 HAS SOUPS 25081488 WITH SCORE 2.5163600055E7
AT ITER 551 NEW BEST:: SOT 133349477 SOS 82109016 HAS SOPS 66753034 HAS SOUS 25711063 HAS SOUPS 25081005 WITH SCORE 2.5163114016E7
AT ITER 555 NEW BEST:: SOT 133349567 SOS 82114412 HAS SOPS 66753716 HAS SOUS 25696832 HAS SOUPS 25066774 WITH SCORE 2.5148888412E7
AT ITER 562 NEW BEST:: SOT 133315606 SOS 82069739 HAS SOPS 66714813 HAS SOUS 25669203 HAS SOUPS 25039403 WITH SCORE 2.5121472739E7
AT ITER 564 NEW BEST:: SOT 133305510 SOS 82045122 HAS SOPS 66694288 HAS SOUS 25658981 HAS SOUPS 25029181 WITH SCORE 2.5111226122E7
AT ITER 569 NEW BEST:: SOT 133303374 SOS 82037737 HAS SOPS 66691569 HAS SOUS 25658690 HAS SOUPS 25028958 WITH SCORE 2.5110995737E7
AT ITER 574 NEW BEST:: SOT 133296742 SOS 82029789 HAS SOPS 66685957 HAS SOUS 25646923 HAS SOUPS 25017269 WITH SCORE 2.5099298789E7
AT ITER 579 NEW BEST:: SOT 133289493 SOS 82020546 HAS SOPS 66679516 HAS SOUS 25643192 HAS SOUPS 25013538 WITH SCORE 2.5095558546E7
AT ITER 587 NEW BEST:: SOT 133271905 SOS 81980086 HAS SOPS 66658186 HAS SOUS 25624746 HAS SOUPS 24995306 WITH SCORE 2.5077286086E7
AT ITER 590 NEW BEST:: SOT 133303309 SOS 82125380 HAS SOPS 66786260 HAS SOUS 25583294 HAS SOUPS 24953854 WITH SCORE 2.503597938E7
AT ITER 607 NEW BEST:: SOT 133291527 SOS 82097298 HAS SOPS 66763083 HAS SOUS 25575259 HAS SOUPS 24945819 WITH SCORE 2.5027916298E7
AT ITER 621 NEW BEST:: SOT 133293781 SOS 82106441 HAS SOPS 66769844 HAS SOUS 25568809 HAS SOUPS 24939369 WITH SCORE 2.5021475441E7
AT ITER 622 NEW BEST:: SOT 133293781 SOS 82108031 HAS SOPS 66772091 HAS SOUS 25568731 HAS SOUPS 24939291 WITH SCORE 2.5021399031E7
AT ITER 637 NEW BEST:: SOT 133293975 SOS 82113742 HAS SOPS 66782924 HAS SOUS 25561770 HAS SOUPS 24932330 WITH SCORE 2.5014443742E7
AT ITER 661 NEW BEST:: SOT 133291526 SOS 82110155 HAS SOPS 66783015 HAS SOUS 25555853 HAS SOUPS 24926460 WITH SCORE 2.5008570155E7
AT ITER 667 NEW BEST:: SOT 133288889 SOS 82103423 HAS SOPS 66774448 HAS SOUS 25550455 HAS SOUPS 24921062 WITH SCORE 2.5003165423E7
AT ITER 668 NEW BEST:: SOT 133288937 SOS 82103491 HAS SOPS 66774750 HAS SOUS 25550345 HAS SOUPS 24920944 WITH SCORE 2.5003047491E7
AT ITER 674 NEW BEST:: SOT 133281208 SOS 82091489 HAS SOPS 66768576 HAS SOUS 25542058 HAS SOUPS 24912841 WITH SCORE 2.4994932489E7
AT ITER 676 NEW BEST:: SOT 133279899 SOS 82088594 HAS SOPS 66762323 HAS SOUS 25537516 HAS SOUPS 24908299 WITH SCORE 2.4990387594E7
AT ITER 677 NEW BEST:: SOT 133279571 SOS 82091331 HAS SOPS 66763897 HAS SOUS 25536441 HAS SOUPS 24907224 WITH SCORE 2.4989315331E7
AT ITER 687 NEW BEST:: SOT 133278109 SOS 82087745 HAS SOPS 66756477 HAS SOUS 25521406 HAS SOUPS 24892189 WITH SCORE 2.4974276745E7
AT ITER 699 NEW BEST:: SOT 133268003 SOS 82075101 HAS SOPS 66752537 HAS SOUS 25509129 HAS SOUPS 24879912 WITH SCORE 2.4961987101E7
AT ITER 702 NEW BEST:: SOT 133262339 SOS 82061227 HAS SOPS 66736433 HAS SOUS 25504873 HAS SOUPS 24875656 WITH SCORE 2.4957717227E7
AT ITER 730 NEW BEST:: SOT 133261687 SOS 82060610 HAS SOPS 66735849 HAS SOUS 25503787 HAS SOUPS 24874570 WITH SCORE 2.495663061E7
AT ITER 749 NEW BEST:: SOT 133249309 SOS 82016143 HAS SOPS 66703892 HAS SOUS 25499295 HAS SOUPS 24870078 WITH SCORE 2.4952094143E7
AT ITER 754 NEW BEST:: SOT 133248905 SOS 82016723 HAS SOPS 66704644 HAS SOUS 25498496 HAS SOUPS 24869279 WITH SCORE 2.4951295723E7
AT ITER 756 NEW BEST:: SOT 133249939 SOS 82021080 HAS SOPS 66705571 HAS SOUS 25496157 HAS SOUPS 24866940 WITH SCORE 2.494896108E7
AT ITER 765 NEW BEST:: SOT 133236240 SOS 81989679 HAS SOPS 66676336 HAS SOUS 25478267 HAS SOUPS 24849050 WITH SCORE 2.4931039679E7
AT ITER 770 NEW BEST:: SOT 133228536 SOS 81980169 HAS SOPS 66667079 HAS SOUS 25454348 HAS SOUPS 24825064 WITH SCORE 2.4907044169E7
AT ITER 780 NEW BEST:: SOT 133212224 SOS 81951596 HAS SOPS 66672842 HAS SOUS 25432300 HAS SOUPS 24803016 WITH SCORE 2.4884967596E7
AT ITER 782 NEW BEST:: SOT 133199898 SOS 81944252 HAS SOPS 66667547 HAS SOUS 25413017 HAS SOUPS 24783733 WITH SCORE 2.4865677252E7
AT ITER 807 NEW BEST:: SOT 133210861 SOS 81987021 HAS SOPS 66705021 HAS SOUS 25407099 HAS SOUPS 24777815 WITH SCORE 2.4859802021E7
AT ITER 808 NEW BEST:: SOT 133210852 SOS 81999830 HAS SOPS 66718888 HAS SOUS 25398898 HAS SOUPS 24769614 WITH SCORE 2.485161383E7
AT ITER 818 NEW BEST:: SOT 133211011 SOS 81998433 HAS SOPS 66717039 HAS SOUS 25398273 HAS SOUPS 24768989 WITH SCORE 2.4850987433E7
AT ITER 823 NEW BEST:: SOT 133206432 SOS 81991168 HAS SOPS 66712124 HAS SOUS 25392958 HAS SOUPS 24763674 WITH SCORE 2.4845665168E7
AT ITER 824 NEW BEST:: SOT 133192010 SOS 81967044 HAS SOPS 66686944 HAS SOUS 25366851 HAS SOUPS 24738516 WITH SCORE 2.4820483044E7
AT ITER 834 NEW BEST:: SOT 133210771 SOS 82018004 HAS SOPS 66729047 HAS SOUS 25363403 HAS SOUPS 24735068 WITH SCORE 2.4817086004E7
AT ITER 835 NEW BEST:: SOT 133167164 SOS 81937329 HAS SOPS 66661101 HAS SOUS 25319702 HAS SOUPS 24692093 WITH SCORE 2.4774030329E7
AT ITER 863 NEW BEST:: SOT 133174456 SOS 81974436 HAS SOPS 66687892 HAS SOUS 25314646 HAS SOUPS 24687037 WITH SCORE 2.4769011436E7
AT ITER 866 NEW BEST:: SOT 133224881 SOS 82079152 HAS SOPS 66793027 HAS SOUS 25298007 HAS SOUPS 24671284 WITH SCORE 2.4753363152E7
AT ITER 885 NEW BEST:: SOT 133220601 SOS 82077672 HAS SOPS 66787852 HAS SOUS 25281143 HAS SOUPS 24654420 WITH SCORE 2.4736497672E7
AT ITER 893 NEW BEST:: SOT 133213874 SOS 82067304 HAS SOPS 66776852 HAS SOUS 25271728 HAS SOUPS 24645044 WITH SCORE 2.4727111304E7
AT ITER 907 NEW BEST:: SOT 133218948 SOS 82096432 HAS SOPS 66795066 HAS SOUS 25268346 HAS SOUPS 24641662 WITH SCORE 2.4723758432E7
AT ITER 915 NEW BEST:: SOT 133206539 SOS 82069164 HAS SOPS 66771743 HAS SOUS 25255341 HAS SOUPS 24628657 WITH SCORE 2.4710726164E7
AT ITER 919 NEW BEST:: SOT 133206861 SOS 82092204 HAS SOPS 66785020 HAS SOUS 25240422 HAS SOUPS 24613738 WITH SCORE 2.4695830204E7
AT ITER 922 NEW BEST:: SOT 133187386 SOS 82049553 HAS SOPS 66765900 HAS SOUS 25223214 HAS SOUPS 24596811 WITH SCORE 2.4678860553E7
AT ITER 926 NEW BEST:: SOT 133180040 SOS 82032456 HAS SOPS 66744963 HAS SOUS 25213431 HAS SOUPS 24587028 WITH SCORE 2.4669060456E7
AT ITER 946 NEW BEST:: SOT 133248686 SOS 82199920 HAS SOPS 66950363 HAS SOUS 25198753 HAS SOUPS 24572350 WITH SCORE 2.465454992E7
AT ITER 958 NEW BEST:: SOT 133254042 SOS 82201393 HAS SOPS 66965802 HAS SOUS 25179351 HAS SOUPS 24553139 WITH SCORE 2.4635340393E7
AT ITER 959 NEW BEST:: SOT 133220786 SOS 82145599 HAS SOPS 66914198 HAS SOUS 25139942 HAS SOUPS 24513786 WITH SCORE 2.4595931599E7
AT ITER 985 NEW BEST:: SOT 133216865 SOS 82137154 HAS SOPS 66906533 HAS SOUS 25136362 HAS SOUPS 24510206 WITH SCORE 2.4592343154E7
AT ITER 996 NEW BEST:: SOT 133214803 SOS 82130259 HAS SOPS 66892617 HAS SOUS 25134249 HAS SOUPS 24508246 WITH SCORE 2.4590376259E7
AT ITER 1006 NEW BEST:: SOT 133229726 SOS 82164172 HAS SOPS 66906672 HAS SOUS 25132025 HAS SOUPS 24506022 WITH SCORE 2.4588186172E7
AT ITER 1019 NEW BEST:: SOT 133230968 SOS 82164669 HAS SOPS 66910982 HAS SOUS 25131510 HAS SOUPS 24505507 WITH SCORE 2.4587671669E7
AT ITER 1030 NEW BEST:: SOT 133230938 SOS 82164643 HAS SOPS 66910862 HAS SOUS 25131416 HAS SOUPS 24505411 WITH SCORE 2.4587575643E7
AT ITER 1032 NEW BEST:: SOT 133238935 SOS 82175229 HAS SOPS 66949896 HAS SOUS 25113119 HAS SOUPS 24488290 WITH SCORE 2.4570465229E7
AT ITER 1043 NEW BEST:: SOT 133232913 SOS 82189981 HAS SOPS 66951566 HAS SOUS 25071044 HAS SOUPS 24446215 WITH SCORE 2.4528404981E7
AT ITER 1051 NEW BEST:: SOT 133226219 SOS 82173660 HAS SOPS 66938983 HAS SOUS 25062501 HAS SOUPS 24437672 WITH SCORE 2.451984566E7
AT ITER 1061 NEW BEST:: SOT 133224980 SOS 82175059 HAS SOPS 66939143 HAS SOUS 25058624 HAS SOUPS 24433795 WITH SCORE 2.4515970059E7
AT ITER 1066 NEW BEST:: SOT 133218558 SOS 82161607 HAS SOPS 66927541 HAS SOUS 25051835 HAS SOUPS 24427006 WITH SCORE 2.4509167607E7
AT ITER 1082 NEW BEST:: SOT 133198831 SOS 82135911 HAS SOPS 66901759 HAS SOUS 25023517 HAS SOUPS 24398747 WITH SCORE 2.4480882911E7
AT ITER 1093 NEW BEST:: SOT 133204245 SOS 82132501 HAS SOPS 66900107 HAS SOUS 25020430 HAS SOUPS 24396283 WITH SCORE 2.4478415501E7
AT ITER 1094 NEW BEST:: SOT 133198711 SOS 82120600 HAS SOPS 66891407 HAS SOUS 25016073 HAS SOUPS 24391926 WITH SCORE 2.44740466E7
AT ITER 1095 NEW BEST:: SOT 133196145 SOS 82119644 HAS SOPS 66890558 HAS SOUS 25004792 HAS SOUPS 24380677 WITH SCORE 2.4462796644E7
AT ITER 1097 NEW BEST:: SOT 133184379 SOS 82093433 HAS SOPS 66861859 HAS SOUS 24985824 HAS SOUPS 24361840 WITH SCORE 2.4443933433E7
AT ITER 1114 NEW BEST:: SOT 133216473 SOS 82179263 HAS SOPS 66926601 HAS SOUS 24983970 HAS SOUPS 24359986 WITH SCORE 2.4442165263E7
AT ITER 1124 NEW BEST:: SOT 133216741 SOS 82177915 HAS SOPS 66927878 HAS SOUS 24982079 HAS SOUPS 24358095 WITH SCORE 2.4440272915E7
AT ITER 1129 NEW BEST:: SOT 133209034 SOS 82162223 HAS SOPS 66927964 HAS SOUS 24976938 HAS SOUPS 24353203 WITH SCORE 2.4435365223E7
AT ITER 1142 NEW BEST:: SOT 133209596 SOS 82202229 HAS SOPS 66966766 HAS SOUS 24921754 HAS SOUPS 24298019 WITH SCORE 2.4380221229E7
AT ITER 1157 NEW BEST:: SOT 133193011 SOS 82181206 HAS SOPS 66954194 HAS SOUS 24889716 HAS SOUPS 24266797 WITH SCORE 2.4348978206E7
AT ITER 1164 NEW BEST:: SOT 133194485 SOS 82191718 HAS SOPS 66965067 HAS SOUS 24885923 HAS SOUPS 24263004 WITH SCORE 2.4345195718E7
AT ITER 1171 NEW BEST:: SOT 133194881 SOS 82195822 HAS SOPS 66969899 HAS SOUS 24884574 HAS SOUPS 24261655 WITH SCORE 2.4343850822E7
AT ITER 1172 NEW BEST:: SOT 133194330 SOS 82194290 HAS SOPS 66968823 HAS SOUS 24883489 HAS SOUPS 24260570 WITH SCORE 2.434276429E7
AT ITER 1217 NEW BEST:: SOT 133194876 SOS 82195369 HAS SOPS 66971043 HAS SOUS 24882908 HAS SOUPS 24259989 WITH SCORE 2.4342184369E7
AT ITER 1236 NEW BEST:: SOT 133191697 SOS 82190363 HAS SOPS 66946865 HAS SOUS 24863256 HAS SOUPS 24240337 WITH SCORE 2.4322527363E7
AT ITER 1249 NEW BEST:: SOT 133176503 SOS 82170447 HAS SOPS 66923423 HAS SOUS 24835450 HAS SOUPS 24212531 WITH SCORE 2.4294701447E7
AT ITER 1253 NEW BEST:: SOT 133176524 SOS 82170411 HAS SOPS 66923276 HAS SOUS 24835432 HAS SOUPS 24212513 WITH SCORE 2.4294683411E7
AT ITER 1256 NEW BEST:: SOT 133188604 SOS 82213152 HAS SOPS 66958082 HAS SOUS 24830614 HAS SOUPS 24207695 WITH SCORE 2.4289908152E7
AT ITER 1274 NEW BEST:: SOT 133188785 SOS 82216483 HAS SOPS 66959985 HAS SOUS 24829159 HAS SOUPS 24206240 WITH SCORE 2.4288456483E7
AT ITER 1283 NEW BEST:: SOT 133154929 SOS 82167064 HAS SOPS 66910617 HAS SOUS 24776796 HAS SOUPS 24153877 WITH SCORE 2.4236044064E7
AT ITER 1302 NEW BEST:: SOT 133153065 SOS 82165244 HAS SOPS 66908015 HAS SOUS 24768405 HAS SOUPS 24145570 WITH SCORE 2.4227735244E7
AT ITER 1303 NEW BEST:: SOT 133148756 SOS 82156817 HAS SOPS 66900050 HAS SOUS 24763243 HAS SOUPS 24140408 WITH SCORE 2.4222564817E7
AT ITER 1315 NEW BEST:: SOT 133148771 SOS 82156678 HAS SOPS 66899636 HAS SOUS 24763156 HAS SOUPS 24140321 WITH SCORE 2.4222477678E7
AT ITER 1318 NEW BEST:: SOT 133150552 SOS 82157570 HAS SOPS 66897248 HAS SOUS 24758860 HAS SOUPS 24136073 WITH SCORE 2.421823057E7
AT ITER 1325 NEW BEST:: SOT 133175229 SOS 82238788 HAS SOPS 66972819 HAS SOUS 24756141 HAS SOUPS 24133354 WITH SCORE 2.4215592788E7
AT ITER 1338 NEW BEST:: SOT 133175255 SOS 82239257 HAS SOPS 66978517 HAS SOUS 24754886 HAS SOUPS 24132099 WITH SCORE 2.4214338257E7
AT ITER 1339 NEW BEST:: SOT 133184000 SOS 82261921 HAS SOPS 66994647 HAS SOUS 24752695 HAS SOUPS 24129908 WITH SCORE 2.4212169921E7
AT ITER 1340 NEW BEST:: SOT 133184478 SOS 82265757 HAS SOPS 66998060 HAS SOUS 24752425 HAS SOUPS 24129638 WITH SCORE 2.4211903757E7
AT ITER 1346 NEW BEST:: SOT 133209655 SOS 82309985 HAS SOPS 67040643 HAS SOUS 24752506 HAS SOUPS 24129492 WITH SCORE 2.4211801985E7
AT ITER 1367 NEW BEST:: SOT 133177385 SOS 82251552 HAS SOPS 66994847 HAS SOUS 24709777 HAS SOUPS 24086972 WITH SCORE 2.4169223552E7
AT ITER 1399 NEW BEST:: SOT 133186951 SOS 82282065 HAS SOPS 67013844 HAS SOUS 24700478 HAS SOUPS 24077673 WITH SCORE 2.4159955065E7
AT ITER 1411 NEW BEST:: SOT 133196707 SOS 82339970 HAS SOPS 67048007 HAS SOUS 24559132 HAS SOUPS 23939398 WITH SCORE 2.402173797E7
AT ITER 1412 NEW BEST:: SOT 133224489 SOS 82405353 HAS SOPS 67108065 HAS SOUS 24556175 HAS SOUPS 23936441 WITH SCORE 2.4018846353E7
AT ITER 1418 NEW BEST:: SOT 133186161 SOS 82318054 HAS SOPS 67055976 HAS SOUS 24550671 HAS SOUPS 23930937 WITH SCORE 2.4013255054E7
AT ITER 1426 NEW BEST:: SOT 133170095 SOS 82303151 HAS SOPS 67080421 HAS SOUS 24546301 HAS SOUPS 23926945 WITH SCORE 2.4009248151E7
AT ITER 1433 NEW BEST:: SOT 133169854 SOS 82311417 HAS SOPS 67087475 HAS SOUS 24543501 HAS SOUPS 23924145 WITH SCORE 2.4006456417E7
AT ITER 1442 NEW BEST:: SOT 133168613 SOS 82310328 HAS SOPS 67087930 HAS SOUS 24538403 HAS SOUPS 23919164 WITH SCORE 2.4001474328E7
AT ITER 1444 NEW BEST:: SOT 133167124 SOS 82308520 HAS SOPS 67085635 HAS SOUS 24535500 HAS SOUPS 23916272 WITH SCORE 2.399858052E7
AT ITER 1452 NEW BEST:: SOT 133168116 SOS 82312258 HAS SOPS 67087365 HAS SOUS 24534663 HAS SOUPS 23915435 WITH SCORE 2.3997747258E7
AT ITER 1460 NEW BEST:: SOT 133084156 SOS 82220240 HAS SOPS 66998144 HAS SOUS 24482466 HAS SOUPS 23862884 WITH SCORE 2.394510424E7
AT ITER 1461 NEW BEST:: SOT 133097609 SOS 82271890 HAS SOPS 67041556 HAS SOUS 24473514 HAS SOUPS 23853932 WITH SCORE 2.393620389E7
AT ITER 1467 NEW BEST:: SOT 133104222 SOS 82288182 HAS SOPS 67068042 HAS SOUS 24472018 HAS SOUPS 23852436 WITH SCORE 2.3934724182E7
AT ITER 1471 NEW BEST:: SOT 133039777 SOS 82149794 HAS SOPS 66982130 HAS SOUS 24436381 HAS SOUPS 23817252 WITH SCORE 2.3899401794E7
AT ITER 1492 NEW BEST:: SOT 133037561 SOS 82148647 HAS SOPS 66983128 HAS SOUS 24433596 HAS SOUPS 23814467 WITH SCORE 2.3896615647E7
AT ITER 1500 NEW BEST:: SOT 133037447 SOS 82148533 HAS SOPS 66982406 HAS SOUS 24432778 HAS SOUPS 23813393 WITH SCORE 2.3895541533E7
AT ITER 1501 NEW BEST:: SOT 133037447 SOS 82148533 HAS SOPS 66982406 HAS SOUS 24432776 HAS SOUPS 23813391 WITH SCORE 2.3895539533E7
AT ITER 1503 NEW BEST:: SOT 133030913 SOS 82142863 HAS SOPS 66976384 HAS SOUS 24414546 HAS SOUPS 23795161 WITH SCORE 2.3877303863E7
AT ITER 1508 NEW BEST:: SOT 133029994 SOS 82136273 HAS SOPS 66969871 HAS SOUS 24377726 HAS SOUPS 23758560 WITH SCORE 2.3840696273E7
AT ITER 1515 NEW BEST:: SOT 133035501 SOS 82163070 HAS SOPS 66984318 HAS SOUS 24364742 HAS SOUPS 23745576 WITH SCORE 2.382773907E7
AT ITER 1518 NEW BEST:: SOT 133039043 SOS 82178871 HAS SOPS 66988894 HAS SOUS 24348570 HAS SOUPS 23729404 WITH SCORE 2.3811582871E7
AT ITER 1529 NEW BEST:: SOT 133039324 SOS 82179107 HAS SOPS 66989503 HAS SOUS 24348199 HAS SOUPS 23729033 WITH SCORE 2.3811212107E7
AT ITER 1538 NEW BEST:: SOT 133032943 SOS 82180425 HAS SOPS 66985147 HAS SOUS 24324436 HAS SOUPS 23705270 WITH SCORE 2.3787450425E7
AT ITER 1539 NEW BEST:: SOT 133054413 SOS 82247285 HAS SOPS 67033016 HAS SOUS 24321264 HAS SOUPS 23702098 WITH SCORE 2.3784345285E7
AT ITER 1540 NEW BEST:: SOT 133051133 SOS 82226867 HAS SOPS 67015537 HAS SOUS 24318356 HAS SOUPS 23699190 WITH SCORE 2.3781416867E7
AT ITER 1553 NEW BEST:: SOT 133061327 SOS 82250301 HAS SOPS 67031856 HAS SOUS 24315049 HAS SOUPS 23695883 WITH SCORE 2.3778133301E7
AT ITER 1560 NEW BEST:: SOT 133061658 SOS 82268782 HAS SOPS 67056290 HAS SOUS 24309658 HAS SOUPS 23690492 WITH SCORE 2.3772760782E7
AT ITER 1563 NEW BEST:: SOT 133061726 SOS 82269174 HAS SOPS 67056472 HAS SOUS 24309312 HAS SOUPS 23690146 WITH SCORE 2.3772415174E7
AT ITER 1568 NEW BEST:: SOT 133050347 SOS 82224727 HAS SOPS 67034539 HAS SOUS 24301378 HAS SOUPS 23682212 WITH SCORE 2.3764436727E7
AT ITER 1574 NEW BEST:: SOT 133089739 SOS 82305836 HAS SOPS 67115686 HAS SOUS 24299209 HAS SOUPS 23680043 WITH SCORE 2.3762348836E7
AT ITER 1585 NEW BEST:: SOT 133034290 SOS 82222995 HAS SOPS 67038183 HAS SOUS 24233474 HAS SOUPS 23613839 WITH SCORE 2.3696061995E7
AT ITER 1596 NEW BEST:: SOT 133011373 SOS 82182013 HAS SOPS 66997887 HAS SOUS 24192143 HAS SOUPS 23572508 WITH SCORE 2.3654690013E7
AT ITER 1598 NEW BEST:: SOT 133012692 SOS 82205071 HAS SOPS 67010323 HAS SOUS 24152327 HAS SOUPS 23532618 WITH SCORE 2.3614823071E7
AT ITER 1606 NEW BEST:: SOT 133005494 SOS 82197873 HAS SOPS 67003125 HAS SOUS 24145129 HAS SOUPS 23525420 WITH SCORE 2.3607617873E7
AT ITER 1615 NEW BEST:: SOT 133006003 SOS 82199840 HAS SOPS 67005039 HAS SOUS 24142508 HAS SOUPS 23522795 WITH SCORE 2.360499484E7
AT ITER 1622 NEW BEST:: SOT 133002107 SOS 82190676 HAS SOPS 67001008 HAS SOUS 24140845 HAS SOUPS 23521132 WITH SCORE 2.3603322676E7
AT ITER 1628 NEW BEST:: SOT 133010941 SOS 82212475 HAS SOPS 67014521 HAS SOUS 24134146 HAS SOUPS 23514433 WITH SCORE 2.3596645475E7
AT ITER 1630 NEW BEST:: SOT 132887363 SOS 82061708 HAS SOPS 66877221 HAS SOUS 24046150 HAS SOUPS 23426698 WITH SCORE 2.3508759708E7
AT ITER 1631 NEW BEST:: SOT 132890790 SOS 82070038 HAS SOPS 66882249 HAS SOUS 24043657 HAS SOUPS 23424205 WITH SCORE 2.3506275038E7
AT ITER 1641 NEW BEST:: SOT 132892892 SOS 82079521 HAS SOPS 66888701 HAS SOUS 24036180 HAS SOUPS 23416728 WITH SCORE 2.3498807521E7
AT ITER 1697 NEW BEST:: SOT 132892380 SOS 82078772 HAS SOPS 66888030 HAS SOUS 24035998 HAS SOUPS 23416546 WITH SCORE 2.3498624772E7
AT ITER 1709 NEW BEST:: SOT 132883618 SOS 82060479 HAS SOPS 66863971 HAS SOUS 24021307 HAS SOUPS 23401794 WITH SCORE 2.3483854479E7
AT ITER 1711 NEW BEST:: SOT 132884139 SOS 82063308 HAS SOPS 66867537 HAS SOUS 24012141 HAS SOUPS 23392628 WITH SCORE 2.3474691308E7
AT ITER 1716 NEW BEST:: SOT 132833085 SOS 81978828 HAS SOPS 66788483 HAS SOUS 23968744 HAS SOUPS 23346173 WITH SCORE 2.3428151828E7
AT ITER 1728 NEW BEST:: SOT 132818055 SOS 81963770 HAS SOPS 66773383 HAS SOUS 23953373 HAS SOUPS 23330802 WITH SCORE 2.341276577E7
AT ITER 1730 NEW BEST:: SOT 132801239 SOS 81929354 HAS SOPS 66745377 HAS SOUS 23936652 HAS SOUPS 23314081 WITH SCORE 2.3396010354E7
AT ITER 1735 NEW BEST:: SOT 132795137 SOS 81919755 HAS SOPS 66737630 HAS SOUS 23931132 HAS SOUPS 23308595 WITH SCORE 2.3390514755E7
AT ITER 1739 NEW BEST:: SOT 132791699 SOS 81920053 HAS SOPS 66739463 HAS SOUS 23920604 HAS SOUPS 23298067 WITH SCORE 2.3379987053E7
AT ITER 1741 NEW BEST:: SOT 132771209 SOS 81882346 HAS SOPS 66703861 HAS SOUS 23904765 HAS SOUPS 23282228 WITH SCORE 2.3364110346E7
AT ITER 1746 NEW BEST:: SOT 132782894 SOS 81899650 HAS SOPS 66723959 HAS SOUS 23898450 HAS SOUPS 23275913 WITH SCORE 2.335781265E7
AT ITER 1748 NEW BEST:: SOT 132779115 SOS 81903349 HAS SOPS 66755551 HAS SOUS 23898342 HAS SOUPS 23275805 WITH SCORE 2.3357708349E7
AT ITER 1753 NEW BEST:: SOT 132778183 SOS 81901085 HAS SOPS 66751063 HAS SOUS 23895903 HAS SOUPS 23273366 WITH SCORE 2.3355267085E7
AT ITER 1758 NEW BEST:: SOT 132798133 SOS 81969812 HAS SOPS 66803013 HAS SOUS 23876079 HAS SOUPS 23253542 WITH SCORE 2.3335511812E7
AT ITER 1770 NEW BEST:: SOT 132757116 SOS 81889129 HAS SOPS 66767076 HAS SOUS 23827966 HAS SOUPS 23205429 WITH SCORE 2.3287318129E7
AT ITER 1795 NEW BEST:: SOT 132723415 SOS 81844609 HAS SOPS 66746671 HAS SOUS 23789777 HAS SOUPS 23167691 WITH SCORE 2.3249535609E7
AT ITER 1799 NEW BEST:: SOT 132723759 SOS 81847709 HAS SOPS 66750281 HAS SOUS 23789444 HAS SOUPS 23167358 WITH SCORE 2.3249205709E7
AT ITER 1815 NEW BEST:: SOT 132723602 SOS 81847621 HAS SOPS 66750694 HAS SOUS 23789252 HAS SOUPS 23167166 WITH SCORE 2.3249013621E7
AT ITER 1824 NEW BEST:: SOT 132713514 SOS 81817291 HAS SOPS 66736367 HAS SOUS 23788903 HAS SOUPS 23166817 WITH SCORE 2.3248634291E7
AT ITER 1829 NEW BEST:: SOT 132713839 SOS 81818473 HAS SOPS 66737035 HAS SOUS 23788083 HAS SOUPS 23165997 WITH SCORE 2.3247815473E7
AT ITER 1841 NEW BEST:: SOT 132767989 SOS 81980739 HAS SOPS 66890851 HAS SOUS 23766181 HAS SOUPS 23144095 WITH SCORE 2.3226075739E7
AT ITER 1848 NEW BEST:: SOT 132770864 SOS 81992598 HAS SOPS 66894007 HAS SOUS 23757051 HAS SOUPS 23134848 WITH SCORE 2.3216840598E7
AT ITER 1855 NEW BEST:: SOT 132758334 SOS 81980039 HAS SOPS 66878010 HAS SOUS 23720164 HAS SOUPS 23098781 WITH SCORE 2.3180761039E7
AT ITER 1862 NEW BEST:: SOT 132737784 SOS 81929066 HAS SOPS 66856964 HAS SOUS 23710935 HAS SOUPS 23089552 WITH SCORE 2.3171481066E7
AT ITER 1874 NEW BEST:: SOT 132741180 SOS 81927100 HAS SOPS 66861342 HAS SOUS 23706764 HAS SOUPS 23085381 WITH SCORE 2.31673081E7
AT ITER 1877 NEW BEST:: SOT 132737762 SOS 81930335 HAS SOPS 66863403 HAS SOUS 23689851 HAS SOUPS 23068468 WITH SCORE 2.3150398335E7
AT ITER 1892 NEW BEST:: SOT 132740690 SOS 81943670 HAS SOPS 66876535 HAS SOUS 23682096 HAS SOUPS 23060713 WITH SCORE 2.314265667E7
AT ITER 1895 NEW BEST:: SOT 132699594 SOS 81871904 HAS SOPS 66812372 HAS SOUS 23617475 HAS SOUPS 22996814 WITH SCORE 2.3078685904E7
AT ITER 1899 NEW BEST:: SOT 132700986 SOS 81884028 HAS SOPS 66819808 HAS SOUS 23593569 HAS SOUPS 22972908 WITH SCORE 2.3054792028E7
AT ITER 1908 NEW BEST:: SOT 132701835 SOS 81886844 HAS SOPS 66820916 HAS SOUS 23587027 HAS SOUPS 22966366 WITH SCORE 2.3048252844E7
AT ITER 1918 NEW BEST:: SOT 132709157 SOS 81893416 HAS SOPS 66822928 HAS SOUS 23583552 HAS SOUPS 22962891 WITH SCORE 2.3044784416E7
AT ITER 1920 NEW BEST:: SOT 132710984 SOS 81900645 HAS SOPS 66828744 HAS SOUS 23582755 HAS SOUPS 22962094 WITH SCORE 2.3043994645E7
AT ITER 1930 NEW BEST:: SOT 132706264 SOS 81900484 HAS SOPS 66806111 HAS SOUS 23550310 HAS SOUPS 22929649 WITH SCORE 2.3011549484E7
AT ITER 1941 NEW BEST:: SOT 132690331 SOS 81871021 HAS SOPS 66786107 HAS SOUS 23540453 HAS SOUPS 22920149 WITH SCORE 2.3002020021E7
AT ITER 1945 NEW BEST:: SOT 132679369 SOS 81844064 HAS SOPS 66756899 HAS SOUS 23504932 HAS SOUPS 22884628 WITH SCORE 2.2966472064E7
AT ITER 1955 NEW BEST:: SOT 132663437 SOS 81829940 HAS SOPS 66749413 HAS SOUS 23484679 HAS SOUPS 22864375 WITH SCORE 2.294620494E7
AT ITER 1972 NEW BEST:: SOT 132662942 SOS 81844957 HAS SOPS 66762703 HAS SOUS 23452641 HAS SOUPS 22832222 WITH SCORE 2.2914066957E7
AT ITER 1988 NEW BEST:: SOT 132674789 SOS 81867359 HAS SOPS 66780343 HAS SOUS 23451790 HAS SOUPS 22831371 WITH SCORE 2.2913238359E7
AT ITER 1996 NEW BEST:: SOT 132675233 SOS 81868291 HAS SOPS 66781123 HAS SOUS 23451454 HAS SOUPS 22831035 WITH SCORE 2.2912903291E7
AT ITER 2003 NEW BEST:: SOT 132675088 SOS 81868266 HAS SOPS 66781182 HAS SOUS 23450382 HAS SOUPS 22829963 WITH SCORE 2.2911831266E7
AT ITER 2023 NEW BEST:: SOT 132664393 SOS 81826591 HAS SOPS 66757351 HAS SOUS 23449532 HAS SOUPS 22829113 WITH SCORE 2.2910939591E7
AT ITER 2024 NEW BEST:: SOT 132673622 SOS 81836597 HAS SOPS 66822137 HAS SOUS 23447175 HAS SOUPS 22827232 WITH SCORE 2.2909068597E7
AT ITER 2037 NEW BEST:: SOT 132578112 SOS 81620843 HAS SOPS 66667777 HAS SOUS 23374183 HAS SOUPS 22754920 WITH SCORE 2.2836540843E7
AT ITER 2043 NEW BEST:: SOT 132569145 SOS 81596618 HAS SOPS 66653766 HAS SOUS 23365860 HAS SOUPS 22748577 WITH SCORE 2.2830173618E7
AT ITER 2059 NEW BEST:: SOT 132573318 SOS 81621353 HAS SOPS 66674370 HAS SOUS 23361510 HAS SOUPS 22744227 WITH SCORE 2.2825848353E7
AT ITER 2061 NEW BEST:: SOT 132570817 SOS 81619632 HAS SOPS 66672070 HAS SOUS 23361010 HAS SOUPS 22743727 WITH SCORE 2.2825346632E7
AT ITER 2075 NEW BEST:: SOT 132570769 SOS 81619676 HAS SOPS 66672114 HAS SOUS 23360994 HAS SOUPS 22743711 WITH SCORE 2.2825330676E7
AT ITER 2091 NEW BEST:: SOT 132564772 SOS 81612264 HAS SOPS 66664271 HAS SOUS 23352912 HAS SOUPS 22735629 WITH SCORE 2.2817241264E7
AT ITER 2100 NEW BEST:: SOT 132568750 SOS 81629326 HAS SOPS 66676553 HAS SOUS 23351990 HAS SOUPS 22734707 WITH SCORE 2.2816336326E7
AT ITER 2101 NEW BEST:: SOT 132567840 SOS 81628424 HAS SOPS 66675963 HAS SOUS 23350037 HAS SOUPS 22732767 WITH SCORE 2.2814395424E7
AT ITER 2109 NEW BEST:: SOT 132568126 SOS 81629869 HAS SOPS 66672352 HAS SOUS 23346733 HAS SOUPS 22729392 WITH SCORE 2.2811021869E7
AT ITER 2112 NEW BEST:: SOT 132563224 SOS 81624967 HAS SOPS 66667354 HAS SOUS 23341351 HAS SOUPS 22724010 WITH SCORE 2.2805634967E7
AT ITER 2117 NEW BEST:: SOT 132570088 SOS 81636476 HAS SOPS 66676113 HAS SOUS 23340375 HAS SOUPS 22723034 WITH SCORE 2.2804670476E7
AT ITER 2118 NEW BEST:: SOT 132582387 SOS 81652891 HAS SOPS 66671088 HAS SOUS 23339079 HAS SOUPS 22721476 WITH SCORE 2.2803128891E7
AT ITER 2142 NEW BEST:: SOT 132584378 SOS 81658346 HAS SOPS 66673870 HAS SOUS 23336574 HAS SOUPS 22718971 WITH SCORE 2.2800629346E7
AT ITER 2144 NEW BEST:: SOT 132571096 SOS 81645158 HAS SOPS 66659580 HAS SOUS 23318520 HAS SOUPS 22700797 WITH SCORE 2.2782442158E7
AT ITER 2149 NEW BEST:: SOT 132562872 SOS 81648068 HAS SOPS 66661205 HAS SOUS 23291677 HAS SOUPS 22673954 WITH SCORE 2.2755602068E7
AT ITER 2161 NEW BEST:: SOT 132557410 SOS 81640520 HAS SOPS 66649368 HAS SOUS 23233742 HAS SOUPS 22616019 WITH SCORE 2.269765952E7
AT ITER 2172 NEW BEST:: SOT 132553373 SOS 81627361 HAS SOPS 66614527 HAS SOUS 23228216 HAS SOUPS 22610493 WITH SCORE 2.2692120361E7
AT ITER 2179 NEW BEST:: SOT 132544255 SOS 81614147 HAS SOPS 66600841 HAS SOUS 23208658 HAS SOUPS 22590995 WITH SCORE 2.2672609147E7
AT ITER 2191 NEW BEST:: SOT 132512259 SOS 81551580 HAS SOPS 66552673 HAS SOUS 23164082 HAS SOUPS 22546419 WITH SCORE 2.262797058E7
AT ITER 2205 NEW BEST:: SOT 132513523 SOS 81562598 HAS SOPS 66556023 HAS SOUS 23154944 HAS SOUPS 22537281 WITH SCORE 2.2618843598E7
AT ITER 2212 NEW BEST:: SOT 132511704 SOS 81558884 HAS SOPS 66561829 HAS SOUS 23132460 HAS SOUPS 22516387 WITH SCORE 2.2597945884E7
AT ITER 2221 NEW BEST:: SOT 132484114 SOS 81532060 HAS SOPS 66533376 HAS SOUS 23088943 HAS SOUPS 22472954 WITH SCORE 2.255448606E7
AT ITER 2237 NEW BEST:: SOT 132484851 SOS 81534108 HAS SOPS 66535008 HAS SOUS 23088357 HAS SOUPS 22472368 WITH SCORE 2.2553902108E7
AT ITER 2238 NEW BEST:: SOT 132482432 SOS 81528875 HAS SOPS 66534934 HAS SOUS 23086306 HAS SOUPS 22470317 WITH SCORE 2.2551845875E7
AT ITER 2249 NEW BEST:: SOT 132483376 SOS 81534110 HAS SOPS 66539562 HAS SOUS 23079151 HAS SOUPS 22463162 WITH SCORE 2.254469611E7
AT ITER 2258 NEW BEST:: SOT 132484450 SOS 81541026 HAS SOPS 66545226 HAS SOUS 23077588 HAS SOUPS 22461599 WITH SCORE 2.2543140026E7
AT ITER 2267 NEW BEST:: SOT 132481677 SOS 81538251 HAS SOPS 66541899 HAS SOUS 23074797 HAS SOUPS 22458264 WITH SCORE 2.2539802251E7
AT ITER 2271 NEW BEST:: SOT 132484040 SOS 81541767 HAS SOPS 66550419 HAS SOUS 23074053 HAS SOUPS 22457453 WITH SCORE 2.2538994767E7
AT ITER 2274 NEW BEST:: SOT 132509846 SOS 81645055 HAS SOPS 66649828 HAS SOUS 23069584 HAS SOUPS 22452984 WITH SCORE 2.2534629055E7
AT ITER 2277 NEW BEST:: SOT 132510296 SOS 81663202 HAS SOPS 66675814 HAS SOUS 23068502 HAS SOUPS 22451902 WITH SCORE 2.2533565202E7
AT ITER 2288 NEW BEST:: SOT 132508087 SOS 81659246 HAS SOPS 66672215 HAS SOUS 23066428 HAS SOUPS 22449828 WITH SCORE 2.2531487246E7
AT ITER 2304 NEW BEST:: SOT 132487905 SOS 81616064 HAS SOPS 66636443 HAS SOUS 23054565 HAS SOUPS 22437965 WITH SCORE 2.2519581064E7
AT ITER 2305 NEW BEST:: SOT 132482365 SOS 81604292 HAS SOPS 66619063 HAS SOUS 23021670 HAS SOUPS 22405070 WITH SCORE 2.2486674292E7

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="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-6, 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-158961502400115"
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 [ "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 ;