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-158961502500168.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb115-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502500168
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.1K Apr 12 07:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 08:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 9 21:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:38 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589759376052

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 3
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 1 NEW BEST:: SOT 123440287 SOS 80228333 HAS SOPS 65208402 HAS SOUS 24069079 HAS SOUPS 23496305 WITH SCORE 2.3576533333E7
AT ITER 4 NEW BEST:: SOT 123448437 SOS 80249259 HAS SOPS 65222777 HAS SOUS 24064247 HAS SOUPS 23491473 WITH SCORE 2.3571722259E7
AT ITER 27 NEW BEST:: SOT 123429869 SOS 80202430 HAS SOPS 65188571 HAS SOUS 24057295 HAS SOUPS 23484521 WITH SCORE 2.356472343E7
AT ITER 31 NEW BEST:: SOT 123449547 SOS 80235786 HAS SOPS 65221972 HAS SOUS 24041245 HAS SOUPS 23468471 WITH SCORE 2.3548706786E7
AT ITER 40 NEW BEST:: SOT 123419002 SOS 80184137 HAS SOPS 65171552 HAS SOUS 24015520 HAS SOUPS 23442746 WITH SCORE 2.3522930137E7
AT ITER 51 NEW BEST:: SOT 123423953 SOS 80188544 HAS SOPS 65176147 HAS SOUS 24011618 HAS SOUPS 23438928 WITH SCORE 2.3519116544E7
AT ITER 52 NEW BEST:: SOT 123445146 SOS 80256800 HAS SOPS 65258354 HAS SOUS 24010042 HAS SOUPS 23437352 WITH SCORE 2.35176088E7
AT ITER 54 NEW BEST:: SOT 123444807 SOS 80258636 HAS SOPS 65261409 HAS SOUS 24006430 HAS SOUPS 23433826 WITH SCORE 2.3514084636E7
AT ITER 79 NEW BEST:: SOT 123441404 SOS 80259251 HAS SOPS 65258084 HAS SOUS 23995191 HAS SOUPS 23422587 WITH SCORE 2.3502846251E7
AT ITER 89 NEW BEST:: SOT 123428497 SOS 80241062 HAS SOPS 65240788 HAS SOUS 23978936 HAS SOUPS 23406332 WITH SCORE 2.3486573062E7
AT ITER 113 NEW BEST:: SOT 123429217 SOS 80261942 HAS SOPS 65269535 HAS SOUS 23978307 HAS SOUPS 23405810 WITH SCORE 2.3486071942E7
AT ITER 153 NEW BEST:: SOT 123435933 SOS 80280562 HAS SOPS 65301566 HAS SOUS 23968570 HAS SOUPS 23396073 WITH SCORE 2.3476353562E7
AT ITER 157 NEW BEST:: SOT 123438119 SOS 80279370 HAS SOPS 65297037 HAS SOUS 23957781 HAS SOUPS 23385284 WITH SCORE 2.346556337E7
AT ITER 158 NEW BEST:: SOT 123432714 SOS 80280978 HAS SOPS 65298212 HAS SOUS 23919923 HAS SOUPS 23347426 WITH SCORE 2.3427706978E7
AT ITER 163 NEW BEST:: SOT 123420298 SOS 80263808 HAS SOPS 65295042 HAS SOUS 23910104 HAS SOUPS 23337859 WITH SCORE 2.3418122808E7
AT ITER 164 NEW BEST:: SOT 123419267 SOS 80250747 HAS SOPS 65283406 HAS SOUS 23908177 HAS SOUPS 23335932 WITH SCORE 2.3416182747E7
AT ITER 169 NEW BEST:: SOT 123420071 SOS 80250118 HAS SOPS 65278668 HAS SOUS 23906702 HAS SOUPS 23334457 WITH SCORE 2.3414707118E7
AT ITER 185 NEW BEST:: SOT 123406906 SOS 80236182 HAS SOPS 65267598 HAS SOUS 23880111 HAS SOUPS 23307866 WITH SCORE 2.3388102182E7
AT ITER 190 NEW BEST:: SOT 123414258 SOS 80239890 HAS SOPS 65298888 HAS SOUS 23868125 HAS SOUPS 23295880 WITH SCORE 2.337611989E7
AT ITER 192 NEW BEST:: SOT 123412341 SOS 80235845 HAS SOPS 65294624 HAS SOUS 23863492 HAS SOUPS 23291005 WITH SCORE 2.3371240845E7
AT ITER 195 NEW BEST:: SOT 123409322 SOS 80232244 HAS SOPS 65288858 HAS SOUS 23858467 HAS SOUPS 23285990 WITH SCORE 2.3366222244E7
AT ITER 217 NEW BEST:: SOT 123409368 SOS 80246694 HAS SOPS 65308986 HAS SOUS 23858326 HAS SOUPS 23285849 WITH SCORE 2.3366095694E7
AT ITER 236 NEW BEST:: SOT 123410314 SOS 80251388 HAS SOPS 65313680 HAS SOUS 23856967 HAS SOUPS 23284490 WITH SCORE 2.3364741388E7
AT ITER 249 NEW BEST:: SOT 123406270 SOS 80247060 HAS SOPS 65310038 HAS SOUS 23845878 HAS SOUPS 23273401 WITH SCORE 2.335364806E7
AT ITER 257 NEW BEST:: SOT 123406322 SOS 80261488 HAS SOPS 65325766 HAS SOUS 23845855 HAS SOUPS 23273378 WITH SCORE 2.3353639488E7
AT ITER 258 NEW BEST:: SOT 123416168 SOS 80302415 HAS SOPS 65358584 HAS SOUS 23830829 HAS SOUPS 23258352 WITH SCORE 2.3338654415E7
AT ITER 265 NEW BEST:: SOT 123416473 SOS 80302308 HAS SOPS 65358467 HAS SOUS 23830255 HAS SOUPS 23257778 WITH SCORE 2.3338080308E7
AT ITER 268 NEW BEST:: SOT 123415440 SOS 80299802 HAS SOPS 65358763 HAS SOUS 23828203 HAS SOUPS 23255773 WITH SCORE 2.3336072802E7
AT ITER 275 NEW BEST:: SOT 123416242 SOS 80302009 HAS SOPS 65361040 HAS SOUS 23827828 HAS SOUPS 23255351 WITH SCORE 2.3335653009E7
AT ITER 291 NEW BEST:: SOT 123415227 SOS 80296004 HAS SOPS 65360408 HAS SOUS 23825677 HAS SOUPS 23253355 WITH SCORE 2.3333651004E7
AT ITER 309 NEW BEST:: SOT 123414812 SOS 80295461 HAS SOPS 65359821 HAS SOUS 23825065 HAS SOUPS 23252743 WITH SCORE 2.3333038461E7
AT ITER 319 NEW BEST:: SOT 123389589 SOS 80272462 HAS SOPS 65344073 HAS SOUS 23805814 HAS SOUPS 23233492 WITH SCORE 2.3313764462E7
AT ITER 348 NEW BEST:: SOT 123387246 SOS 80266181 HAS SOPS 65343262 HAS SOUS 23803078 HAS SOUPS 23230756 WITH SCORE 2.3311022181E7
AT ITER 354 NEW BEST:: SOT 123389733 SOS 80277784 HAS SOPS 65347268 HAS SOUS 23791456 HAS SOUPS 23219134 WITH SCORE 2.3299411784E7
AT ITER 358 NEW BEST:: SOT 123386753 SOS 80274919 HAS SOPS 65342182 HAS SOUS 23785314 HAS SOUPS 23212992 WITH SCORE 2.3293266919E7
AT ITER 381 NEW BEST:: SOT 123387746 SOS 80274975 HAS SOPS 65342319 HAS SOUS 23778842 HAS SOUPS 23206520 WITH SCORE 2.3286794975E7
AT ITER 408 NEW BEST:: SOT 123388521 SOS 80279046 HAS SOPS 65347808 HAS SOUS 23774451 HAS SOUPS 23202129 WITH SCORE 2.3282408046E7
AT ITER 429 NEW BEST:: SOT 123388501 SOS 80277802 HAS SOPS 65346244 HAS SOUS 23774444 HAS SOUPS 23202122 WITH SCORE 2.3282399802E7
AT ITER 432 NEW BEST:: SOT 123392680 SOS 80287763 HAS SOPS 65347990 HAS SOUS 23772340 HAS SOUPS 23200018 WITH SCORE 2.3280305763E7
AT ITER 442 NEW BEST:: SOT 123377813 SOS 80275069 HAS SOPS 65355247 HAS SOUS 23698411 HAS SOUPS 23126089 WITH SCORE 2.3206364069E7
AT ITER 445 NEW BEST:: SOT 123374745 SOS 80271830 HAS SOPS 65352084 HAS SOUS 23686420 HAS SOUPS 23114869 WITH SCORE 2.319514083E7
AT ITER 455 NEW BEST:: SOT 123369264 SOS 80266105 HAS SOPS 65346623 HAS SOUS 23681210 HAS SOUPS 23109798 WITH SCORE 2.3190064105E7
AT ITER 467 NEW BEST:: SOT 123363527 SOS 80257197 HAS SOPS 65339009 HAS SOUS 23672575 HAS SOUPS 23101163 WITH SCORE 2.3181420197E7
AT ITER 476 NEW BEST:: SOT 123359685 SOS 80250983 HAS SOPS 65329916 HAS SOUS 23666196 HAS SOUPS 23094721 WITH SCORE 2.3174971983E7
AT ITER 479 NEW BEST:: SOT 123357935 SOS 80248609 HAS SOPS 65327199 HAS SOUS 23662869 HAS SOUPS 23091413 WITH SCORE 2.3171661609E7
AT ITER 495 NEW BEST:: SOT 123355662 SOS 80245508 HAS SOPS 65324122 HAS SOUS 23659803 HAS SOUPS 23088359 WITH SCORE 2.3168604508E7
AT ITER 504 NEW BEST:: SOT 123355708 SOS 80256310 HAS SOPS 65334970 HAS SOUS 23659633 HAS SOUPS 23088189 WITH SCORE 2.316844531E7
AT ITER 512 NEW BEST:: SOT 123280009 SOS 80176400 HAS SOPS 65256793 HAS SOUS 23581891 HAS SOUPS 23010851 WITH SCORE 2.30910274E7
AT ITER 520 NEW BEST:: SOT 123283687 SOS 80179760 HAS SOPS 65260201 HAS SOUS 23571597 HAS SOUPS 23000855 WITH SCORE 2.308103476E7
AT ITER 522 NEW BEST:: SOT 123283383 SOS 80179686 HAS SOPS 65259848 HAS SOUS 23570591 HAS SOUPS 22999849 WITH SCORE 2.3080028686E7
AT ITER 524 NEW BEST:: SOT 123282817 SOS 80176781 HAS SOPS 65260790 HAS SOUS 23566242 HAS SOUPS 22995923 WITH SCORE 2.3076099781E7
AT ITER 543 NEW BEST:: SOT 123282848 SOS 80177187 HAS SOPS 65265145 HAS SOUS 23565879 HAS SOUPS 22995560 WITH SCORE 2.3075737187E7
AT ITER 553 NEW BEST:: SOT 123282340 SOS 80191196 HAS SOPS 65283561 HAS SOUS 23564476 HAS SOUPS 22994157 WITH SCORE 2.3074348196E7
AT ITER 556 NEW BEST:: SOT 123273974 SOS 80181446 HAS SOPS 65274108 HAS SOUS 23547086 HAS SOUPS 22976897 WITH SCORE 2.3057078446E7
AT ITER 572 NEW BEST:: SOT 123271616 SOS 80181614 HAS SOPS 65281023 HAS SOUS 23538424 HAS SOUPS 22968235 WITH SCORE 2.3048416614E7
AT ITER 577 NEW BEST:: SOT 123252953 SOS 80141092 HAS SOPS 65249083 HAS SOUS 23530130 HAS SOUPS 22959971 WITH SCORE 2.3040112092E7
AT ITER 579 NEW BEST:: SOT 123253111 SOS 80142824 HAS SOPS 65252127 HAS SOUS 23522155 HAS SOUPS 22951996 WITH SCORE 2.3032138824E7
AT ITER 581 NEW BEST:: SOT 123252563 SOS 80147902 HAS SOPS 65280866 HAS SOUS 23520877 HAS SOUPS 22950718 WITH SCORE 2.3030865902E7
AT ITER 609 NEW BEST:: SOT 123233932 SOS 80120053 HAS SOPS 65260099 HAS SOUS 23481203 HAS SOUPS 22912464 WITH SCORE 2.2992584053E7
AT ITER 610 NEW BEST:: SOT 123230570 SOS 80116608 HAS SOPS 65256843 HAS SOUS 23475119 HAS SOUPS 22906380 WITH SCORE 2.2986496608E7
AT ITER 626 NEW BEST:: SOT 123239386 SOS 80127392 HAS SOPS 65270604 HAS SOUS 23466918 HAS SOUPS 22898560 WITH SCORE 2.2978687392E7
AT ITER 630 NEW BEST:: SOT 123232672 SOS 80115405 HAS SOPS 65259424 HAS SOUS 23459834 HAS SOUPS 22891529 WITH SCORE 2.2971644405E7
AT ITER 638 NEW BEST:: SOT 123254727 SOS 80150932 HAS SOPS 65301513 HAS SOUS 23459063 HAS SOUPS 22890758 WITH SCORE 2.2970908932E7
AT ITER 655 NEW BEST:: SOT 123267254 SOS 80209382 HAS SOPS 65355054 HAS SOUS 23397095 HAS SOUPS 22828790 WITH SCORE 2.2908999382E7
AT ITER 713 NEW BEST:: SOT 123270418 SOS 80216896 HAS SOPS 65365261 HAS SOUS 23379575 HAS SOUPS 22811386 WITH SCORE 2.2891602896E7
AT ITER 717 NEW BEST:: SOT 123261896 SOS 80206947 HAS SOPS 65352824 HAS SOUS 23364106 HAS SOUPS 22795917 WITH SCORE 2.2876123947E7
AT ITER 720 NEW BEST:: SOT 123286313 SOS 80266034 HAS SOPS 65395694 HAS SOUS 23345111 HAS SOUPS 22776922 WITH SCORE 2.2857188034E7
AT ITER 732 NEW BEST:: SOT 123284761 SOS 80267594 HAS SOPS 65397906 HAS SOUS 23343513 HAS SOUPS 22775324 WITH SCORE 2.2855591594E7
AT ITER 734 NEW BEST:: SOT 123273833 SOS 80254782 HAS SOPS 65383882 HAS SOUS 23311861 HAS SOUPS 22743672 WITH SCORE 2.2823926782E7
AT ITER 742 NEW BEST:: SOT 123282061 SOS 80271141 HAS SOPS 65410788 HAS SOUS 23305581 HAS SOUPS 22737404 WITH SCORE 2.2817675141E7
AT ITER 747 NEW BEST:: SOT 123272941 SOS 80264651 HAS SOPS 65400790 HAS SOUS 23284691 HAS SOUPS 22716514 WITH SCORE 2.2796778651E7
AT ITER 749 NEW BEST:: SOT 123272473 SOS 80263556 HAS SOPS 65399838 HAS SOUS 23284674 HAS SOUPS 22716497 WITH SCORE 2.2796760556E7
AT ITER 771 NEW BEST:: SOT 123264886 SOS 80255969 HAS SOPS 65392155 HAS SOUS 23274671 HAS SOUPS 22706494 WITH SCORE 2.2786749969E7
AT ITER 777 NEW BEST:: SOT 123265458 SOS 80257296 HAS SOPS 65393099 HAS SOUS 23274028 HAS SOUPS 22705851 WITH SCORE 2.2786108296E7
AT ITER 778 NEW BEST:: SOT 123267946 SOS 80262273 HAS SOPS 65395598 HAS SOUS 23272078 HAS SOUPS 22703828 WITH SCORE 2.2784090273E7
AT ITER 794 NEW BEST:: SOT 123294216 SOS 80346377 HAS SOPS 65475755 HAS SOUS 23268343 HAS SOUPS 22700093 WITH SCORE 2.2780439377E7
AT ITER 835 NEW BEST:: SOT 123294858 SOS 80351293 HAS SOPS 65478330 HAS SOUS 23264046 HAS SOUPS 22695796 WITH SCORE 2.2776147293E7
AT ITER 854 NEW BEST:: SOT 123295541 SOS 80352933 HAS SOPS 65479680 HAS SOUS 23263287 HAS SOUPS 22695037 WITH SCORE 2.2775389933E7
AT ITER 860 NEW BEST:: SOT 123370572 SOS 80466303 HAS SOPS 65589396 HAS SOUS 23260324 HAS SOUPS 22693282 WITH SCORE 2.2773748303E7
AT ITER 874 NEW BEST:: SOT 123385905 SOS 80501947 HAS SOPS 65632241 HAS SOUS 23232689 HAS SOUPS 22666078 WITH SCORE 2.2746579947E7
AT ITER 875 NEW BEST:: SOT 123362702 SOS 80466652 HAS SOPS 65596847 HAS SOUS 23196286 HAS SOUPS 22629675 WITH SCORE 2.2710141652E7
AT ITER 881 NEW BEST:: SOT 123361887 SOS 80465929 HAS SOPS 65595644 HAS SOUS 23193083 HAS SOUPS 22626472 WITH SCORE 2.2706937929E7
AT ITER 882 NEW BEST:: SOT 123354455 SOS 80459233 HAS SOPS 65585333 HAS SOUS 23170778 HAS SOUPS 22604167 WITH SCORE 2.2684626233E7
AT ITER 890 NEW BEST:: SOT 123348960 SOS 80446889 HAS SOPS 65576314 HAS SOUS 23167470 HAS SOUPS 22600859 WITH SCORE 2.2681305889E7
AT ITER 899 NEW BEST:: SOT 123348281 SOS 80443125 HAS SOPS 65577577 HAS SOUS 23166073 HAS SOUPS 22599462 WITH SCORE 2.2679905125E7
AT ITER 922 NEW BEST:: SOT 123348270 SOS 80443296 HAS SOPS 65577417 HAS SOUS 23165586 HAS SOUPS 22598967 WITH SCORE 2.2679410296E7
AT ITER 953 NEW BEST:: SOT 123314434 SOS 80401182 HAS SOPS 65544589 HAS SOUS 23143535 HAS SOUPS 22576577 WITH SCORE 2.2656978182E7
AT ITER 975 NEW BEST:: SOT 123314664 SOS 80401557 HAS SOPS 65546011 HAS SOUS 23139800 HAS SOUPS 22572940 WITH SCORE 2.2653341557E7
AT ITER 994 NEW BEST:: SOT 123322362 SOS 80425116 HAS SOPS 65561990 HAS SOUS 23126497 HAS SOUPS 22559637 WITH SCORE 2.2640062116E7
AT ITER 996 NEW BEST:: SOT 123344585 SOS 80468326 HAS SOPS 65625881 HAS SOUS 23114598 HAS SOUPS 22547738 WITH SCORE 2.2628206326E7
AT ITER 999 NEW BEST:: SOT 123349509 SOS 80489840 HAS SOPS 65642887 HAS SOUS 23105935 HAS SOUPS 22539075 WITH SCORE 2.261956484E7
AT ITER 1004 NEW BEST:: SOT 123343554 SOS 80479664 HAS SOPS 65637877 HAS SOUS 23095996 HAS SOUPS 22529225 WITH SCORE 2.2609704664E7
AT ITER 1007 NEW BEST:: SOT 123329216 SOS 80450010 HAS SOPS 65615267 HAS SOUS 23089352 HAS SOUPS 22522588 WITH SCORE 2.260303801E7
AT ITER 1014 NEW BEST:: SOT 123329216 SOS 80449930 HAS SOPS 65615347 HAS SOUS 23089352 HAS SOUPS 22522588 WITH SCORE 2.260303793E7
AT ITER 1027 NEW BEST:: SOT 123328827 SOS 80450066 HAS SOPS 65614922 HAS SOUS 23087362 HAS SOUPS 22520676 WITH SCORE 2.2601126066E7
AT ITER 1044 NEW BEST:: SOT 123322384 SOS 80442932 HAS SOPS 65605844 HAS SOUS 23073956 HAS SOUPS 22507214 WITH SCORE 2.2587656932E7
AT ITER 1053 NEW BEST:: SOT 123321052 SOS 80432151 HAS SOPS 65600460 HAS SOUS 23073066 HAS SOUPS 22506482 WITH SCORE 2.2586914151E7
AT ITER 1054 NEW BEST:: SOT 123310618 SOS 80410824 HAS SOPS 65585612 HAS SOUS 23060959 HAS SOUPS 22494863 WITH SCORE 2.2575273824E7
AT ITER 1068 NEW BEST:: SOT 123309251 SOS 80406964 HAS SOPS 65595617 HAS SOUS 23058558 HAS SOUPS 22492462 WITH SCORE 2.2572868964E7
AT ITER 1074 NEW BEST:: SOT 123309183 SOS 80407272 HAS SOPS 65598629 HAS SOUS 23056092 HAS SOUPS 22489996 WITH SCORE 2.2570403272E7
AT ITER 1082 NEW BEST:: SOT 123324959 SOS 80472044 HAS SOPS 65653724 HAS SOUS 23046627 HAS SOUPS 22480531 WITH SCORE 2.2561003044E7
AT ITER 1093 NEW BEST:: SOT 123325984 SOS 80481564 HAS SOPS 65662003 HAS SOUS 23040771 HAS SOUPS 22474675 WITH SCORE 2.2555156564E7
AT ITER 1102 NEW BEST:: SOT 123321353 SOS 80478423 HAS SOPS 65658872 HAS SOUS 23021762 HAS SOUPS 22455666 WITH SCORE 2.2536144423E7
AT ITER 1108 NEW BEST:: SOT 123320018 SOS 80475115 HAS SOPS 65658028 HAS SOUS 23010733 HAS SOUPS 22444868 WITH SCORE 2.2525343115E7
AT ITER 1114 NEW BEST:: SOT 123350783 SOS 80508387 HAS SOPS 65708459 HAS SOUS 22987732 HAS SOUPS 22421867 WITH SCORE 2.2502375387E7
AT ITER 1115 NEW BEST:: SOT 123352570 SOS 80513516 HAS SOPS 65706988 HAS SOUS 22985503 HAS SOUPS 22419543 WITH SCORE 2.2500056516E7
AT ITER 1140 NEW BEST:: SOT 123348920 SOS 80519159 HAS SOPS 65694375 HAS SOUS 22947123 HAS SOUPS 22381163 WITH SCORE 2.2461682159E7
AT ITER 1150 NEW BEST:: SOT 123330100 SOS 80495859 HAS SOPS 65667604 HAS SOUS 22904758 HAS SOUPS 22338798 WITH SCORE 2.2419293859E7
AT ITER 1172 NEW BEST:: SOT 123330075 SOS 80493511 HAS SOPS 65665145 HAS SOUS 22904658 HAS SOUPS 22338698 WITH SCORE 2.2419191511E7
AT ITER 1179 NEW BEST:: SOT 123334922 SOS 80507979 HAS SOPS 65677328 HAS SOUS 22902348 HAS SOUPS 22336432 WITH SCORE 2.2416939979E7
AT ITER 1208 NEW BEST:: SOT 123345881 SOS 80513342 HAS SOPS 65672261 HAS SOUS 22880081 HAS SOUPS 22314324 WITH SCORE 2.2394837342E7
AT ITER 1217 NEW BEST:: SOT 123345300 SOS 80512600 HAS SOPS 65670931 HAS SOUS 22877718 HAS SOUPS 22311672 WITH SCORE 2.23921846E7
AT ITER 1232 NEW BEST:: SOT 123341058 SOS 80508358 HAS SOPS 65666689 HAS SOUS 22874692 HAS SOUPS 22308646 WITH SCORE 2.2389154358E7
AT ITER 1246 NEW BEST:: SOT 123354415 SOS 80534410 HAS SOPS 65689865 HAS SOUS 22871520 HAS SOUPS 22305474 WITH SCORE 2.238600841E7
AT ITER 1254 NEW BEST:: SOT 123354721 SOS 80539810 HAS SOPS 65687222 HAS SOUS 22870360 HAS SOUPS 22304314 WITH SCORE 2.238485381E7
AT ITER 1262 NEW BEST:: SOT 123349283 SOS 80544059 HAS SOPS 65683321 HAS SOUS 22841778 HAS SOUPS 22275625 WITH SCORE 2.2356169059E7
AT ITER 1265 NEW BEST:: SOT 123361269 SOS 80573761 HAS SOPS 65713466 HAS SOUS 22835065 HAS SOUPS 22268912 WITH SCORE 2.2349485761E7
AT ITER 1270 NEW BEST:: SOT 123350461 SOS 80557015 HAS SOPS 65699963 HAS SOUS 22822778 HAS SOUPS 22256633 WITH SCORE 2.2337190015E7
AT ITER 1280 NEW BEST:: SOT 123350445 SOS 80572655 HAS SOPS 65718979 HAS SOUS 22822636 HAS SOUPS 22256491 WITH SCORE 2.2337063655E7
AT ITER 1283 NEW BEST:: SOT 123376031 SOS 80638085 HAS SOPS 65771952 HAS SOUS 22789670 HAS SOUPS 22223525 WITH SCORE 2.2304163085E7
AT ITER 1297 NEW BEST:: SOT 123365623 SOS 80631046 HAS SOPS 65771555 HAS SOUS 22758072 HAS SOUPS 22191927 WITH SCORE 2.2272558046E7
AT ITER 1307 NEW BEST:: SOT 123295468 SOS 80549731 HAS SOPS 65694893 HAS SOUS 22684987 HAS SOUPS 22119109 WITH SCORE 2.2199658731E7
AT ITER 1320 NEW BEST:: SOT 123288289 SOS 80539156 HAS SOPS 65692772 HAS SOUS 22672157 HAS SOUPS 22106279 WITH SCORE 2.2186818156E7
AT ITER 1323 NEW BEST:: SOT 123283648 SOS 80533554 HAS SOPS 65686104 HAS SOUS 22670120 HAS SOUPS 22104242 WITH SCORE 2.2184775554E7
AT ITER 1325 NEW BEST:: SOT 123283089 SOS 80532988 HAS SOPS 65685108 HAS SOUS 22669343 HAS SOUPS 22103465 WITH SCORE 2.2183997988E7
AT ITER 1329 NEW BEST:: SOT 123281333 SOS 80531820 HAS SOPS 65683467 HAS SOUS 22665337 HAS SOUPS 22099481 WITH SCORE 2.218001282E7
AT ITER 1337 NEW BEST:: SOT 123273951 SOS 80522461 HAS SOPS 65679128 HAS SOUS 22649309 HAS SOUPS 22083453 WITH SCORE 2.2163975461E7
AT ITER 1338 NEW BEST:: SOT 123299895 SOS 80555978 HAS SOPS 65721812 HAS SOUS 22632732 HAS SOUPS 22066660 WITH SCORE 2.2147215978E7
AT ITER 1340 NEW BEST:: SOT 123282232 SOS 80532444 HAS SOPS 65700023 HAS SOUS 22602957 HAS SOUPS 22036965 WITH SCORE 2.2117497444E7
AT ITER 1342 NEW BEST:: SOT 123279375 SOS 80526425 HAS SOPS 65698996 HAS SOUS 22600086 HAS SOUPS 22034172 WITH SCORE 2.2114698425E7
AT ITER 1356 NEW BEST:: SOT 123272938 SOS 80516875 HAS SOPS 65700924 HAS SOUS 22577407 HAS SOUPS 22011523 WITH SCORE 2.2092039875E7
AT ITER 1357 NEW BEST:: SOT 123272252 SOS 80515189 HAS SOPS 65699231 HAS SOUS 22577253 HAS SOUPS 22011369 WITH SCORE 2.2091884189E7
AT ITER 1360 NEW BEST:: SOT 123270718 SOS 80513994 HAS SOPS 65698665 HAS SOUS 22574092 HAS SOUPS 22008208 WITH SCORE 2.2088721994E7
AT ITER 1361 NEW BEST:: SOT 123275647 SOS 80527195 HAS SOPS 65709189 HAS SOUS 22567473 HAS SOUPS 22001589 WITH SCORE 2.2082116195E7
AT ITER 1363 NEW BEST:: SOT 123274942 SOS 80526489 HAS SOPS 65708268 HAS SOUS 22565376 HAS SOUPS 21999492 WITH SCORE 2.2080018489E7
AT ITER 1369 NEW BEST:: SOT 123234870 SOS 80481407 HAS SOPS 65649489 HAS SOUS 22539014 HAS SOUPS 21971447 WITH SCORE 2.2051928407E7
AT ITER 1370 NEW BEST:: SOT 123225284 SOS 80462219 HAS SOPS 65634100 HAS SOUS 22538458 HAS SOUPS 21970891 WITH SCORE 2.2051353219E7
AT ITER 1383 NEW BEST:: SOT 123231827 SOS 80477099 HAS SOPS 65650002 HAS SOUS 22535669 HAS SOUPS 21968102 WITH SCORE 2.2048579099E7
AT ITER 1389 NEW BEST:: SOT 123212178 SOS 80449850 HAS SOPS 65628511 HAS SOUS 22518563 HAS SOUPS 21951168 WITH SCORE 2.203161785E7
AT ITER 1392 NEW BEST:: SOT 123212019 SOS 80449804 HAS SOPS 65628362 HAS SOUS 22518010 HAS SOUPS 21950615 WITH SCORE 2.2031064804E7
AT ITER 1400 NEW BEST:: SOT 123215942 SOS 80463947 HAS SOPS 65641738 HAS SOUS 22509027 HAS SOUPS 21941632 WITH SCORE 2.2022095947E7
AT ITER 1403 NEW BEST:: SOT 123215550 SOS 80463547 HAS SOPS 65641394 HAS SOUS 22508947 HAS SOUPS 21941552 WITH SCORE 2.2022015547E7
AT ITER 1431 NEW BEST:: SOT 123215508 SOS 80474434 HAS SOPS 65656240 HAS SOUS 22508636 HAS SOUPS 21941241 WITH SCORE 2.2021715434E7
AT ITER 1435 NEW BEST:: SOT 123208426 SOS 80466696 HAS SOPS 65651006 HAS SOUS 22476253 HAS SOUPS 21909053 WITH SCORE 2.1989519696E7
AT ITER 1463 NEW BEST:: SOT 123170888 SOS 80396984 HAS SOPS 65604959 HAS SOUS 22457053 HAS SOUPS 21890188 WITH SCORE 2.1970584984E7
AT ITER 1500 NEW BEST:: SOT 123160600 SOS 80385352 HAS SOPS 65588793 HAS SOUS 22441575 HAS SOUPS 21874742 WITH SCORE 2.1955127352E7
AT ITER 1512 NEW BEST:: SOT 123176391 SOS 80411831 HAS SOPS 65609074 HAS SOUS 22438759 HAS SOUPS 21871926 WITH SCORE 2.1952337831E7
AT ITER 1513 NEW BEST:: SOT 123188259 SOS 80425354 HAS SOPS 65627890 HAS SOUS 22437859 HAS SOUPS 21871322 WITH SCORE 2.1951747354E7
AT ITER 1516 NEW BEST:: SOT 123188443 SOS 80435561 HAS SOPS 65639308 HAS SOUS 22437753 HAS SOUPS 21871216 WITH SCORE 2.1951651561E7
AT ITER 1525 NEW BEST:: SOT 123182715 SOS 80426132 HAS SOPS 65626686 HAS SOUS 22427919 HAS SOUPS 21861382 WITH SCORE 2.1941808132E7
AT ITER 1529 NEW BEST:: SOT 123184754 SOS 80431712 HAS SOPS 65633196 HAS SOUS 22425697 HAS SOUPS 21859160 WITH SCORE 2.1939591712E7
AT ITER 1533 NEW BEST:: SOT 123156531 SOS 80383393 HAS SOPS 65593852 HAS SOUS 22389936 HAS SOUPS 21826607 WITH SCORE 2.1906990393E7
AT ITER 1537 NEW BEST:: SOT 123156101 SOS 80382384 HAS SOPS 65591116 HAS SOUS 22389685 HAS SOUPS 21826356 WITH SCORE 2.1906738384E7
AT ITER 1554 NEW BEST:: SOT 123166207 SOS 80401693 HAS SOPS 65609316 HAS SOUS 22388415 HAS SOUPS 21825614 WITH SCORE 2.1906015693E7
AT ITER 1557 NEW BEST:: SOT 123176889 SOS 80418118 HAS SOPS 65631221 HAS SOUS 22385727 HAS SOUPS 21822926 WITH SCORE 2.1903344118E7
AT ITER 1569 NEW BEST:: SOT 123145243 SOS 80368343 HAS SOPS 65622870 HAS SOUS 22384488 HAS SOUPS 21821687 WITH SCORE 2.1902055343E7
AT ITER 1583 NEW BEST:: SOT 123128210 SOS 80333270 HAS SOPS 65597801 HAS SOUS 22369907 HAS SOUPS 21807106 WITH SCORE 2.188743927E7
AT ITER 1602 NEW BEST:: SOT 123163292 SOS 80389799 HAS SOPS 65611082 HAS SOUS 22347771 HAS SOUPS 21784770 WITH SCORE 2.1865159799E7
AT ITER 1615 NEW BEST:: SOT 123162116 SOS 80389487 HAS SOPS 65609810 HAS SOUS 22343559 HAS SOUPS 21780546 WITH SCORE 2.1860935487E7
AT ITER 1627 NEW BEST:: SOT 123171119 SOS 80418565 HAS SOPS 65634698 HAS SOUS 22341544 HAS SOUPS 21778531 WITH SCORE 2.1858949565E7
AT ITER 1647 NEW BEST:: SOT 123177739 SOS 80433703 HAS SOPS 65648369 HAS SOUS 22337373 HAS SOUPS 21774360 WITH SCORE 2.1854793703E7
AT ITER 1649 NEW BEST:: SOT 123178443 SOS 80422612 HAS SOPS 65638280 HAS SOUS 22332722 HAS SOUPS 21769709 WITH SCORE 2.1850131612E7
AT ITER 1650 NEW BEST:: SOT 123164193 SOS 80388901 HAS SOPS 65625692 HAS SOUS 22318487 HAS SOUPS 21755789 WITH SCORE 2.1836177901E7
AT ITER 1659 NEW BEST:: SOT 123219477 SOS 80469392 HAS SOPS 65674779 HAS SOUS 22314518 HAS SOUPS 21751820 WITH SCORE 2.1832289392E7
AT ITER 1671 NEW BEST:: SOT 123202085 SOS 80457200 HAS SOPS 65652510 HAS SOUS 22261787 HAS SOUPS 21699089 WITH SCORE 2.17795462E7
AT ITER 1675 NEW BEST:: SOT 123199685 SOS 80454523 HAS SOPS 65651329 HAS SOUS 22254351 HAS SOUPS 21691653 WITH SCORE 2.1772107523E7
AT ITER 1676 NEW BEST:: SOT 123222454 SOS 80485718 HAS SOPS 65676192 HAS SOUS 22249995 HAS SOUPS 21687092 WITH SCORE 2.1767577718E7
AT ITER 1679 NEW BEST:: SOT 123223236 SOS 80485686 HAS SOPS 65676337 HAS SOUS 22248187 HAS SOUPS 21685284 WITH SCORE 2.1765769686E7
AT ITER 1691 NEW BEST:: SOT 123217283 SOS 80478729 HAS SOPS 65667772 HAS SOUS 22242362 HAS SOUPS 21679459 WITH SCORE 2.1759937729E7
AT ITER 1693 NEW BEST:: SOT 123184973 SOS 80437454 HAS SOPS 65626963 HAS SOUS 22184048 HAS SOUPS 21621296 WITH SCORE 2.1701733454E7
AT ITER 1709 NEW BEST:: SOT 123185139 SOS 80440720 HAS SOPS 65625784 HAS SOUS 22178763 HAS SOUPS 21615268 WITH SCORE 2.169570872E7
AT ITER 1752 NEW BEST:: SOT 123218140 SOS 80513429 HAS SOPS 65717323 HAS SOUS 22176594 HAS SOUPS 21613099 WITH SCORE 2.1693612429E7
AT ITER 1760 NEW BEST:: SOT 123214268 SOS 80509362 HAS SOPS 65711848 HAS SOUS 22170629 HAS SOUPS 21607156 WITH SCORE 2.1687665362E7
AT ITER 1764 NEW BEST:: SOT 123194643 SOS 80489914 HAS SOPS 65694992 HAS SOUS 22124142 HAS SOUPS 21560489 WITH SCORE 2.1640978914E7
AT ITER 1779 NEW BEST:: SOT 123183997 SOS 80474020 HAS SOPS 65678679 HAS SOUS 22108835 HAS SOUPS 21545242 WITH SCORE 2.162571602E7
AT ITER 1785 NEW BEST:: SOT 123183406 SOS 80473336 HAS SOPS 65678004 HAS SOUS 22108141 HAS SOUPS 21544551 WITH SCORE 2.1625024336E7
AT ITER 1797 NEW BEST:: SOT 123173349 SOS 80466014 HAS SOPS 65668328 HAS SOUS 22087405 HAS SOUPS 21523729 WITH SCORE 2.1604195014E7
AT ITER 1809 NEW BEST:: SOT 123172807 SOS 80462294 HAS SOPS 65669062 HAS SOUS 22080918 HAS SOUPS 21517312 WITH SCORE 2.1597774294E7
AT ITER 1812 NEW BEST:: SOT 123168023 SOS 80466322 HAS SOPS 65669148 HAS SOUS 22062133 HAS SOUPS 21498527 WITH SCORE 2.1578993322E7
AT ITER 1817 NEW BEST:: SOT 123168054 SOS 80470825 HAS SOPS 65673651 HAS SOUS 22062095 HAS SOUPS 21498489 WITH SCORE 2.1578959825E7
AT ITER 1819 NEW BEST:: SOT 123168103 SOS 80474458 HAS SOPS 65677284 HAS SOUS 22062037 HAS SOUPS 21498431 WITH SCORE 2.1578905458E7
AT ITER 1826 NEW BEST:: SOT 123170894 SOS 80477732 HAS SOPS 65676113 HAS SOUS 22058216 HAS SOUPS 21494610 WITH SCORE 2.1575087732E7
AT ITER 1828 NEW BEST:: SOT 123131956 SOS 80433561 HAS SOPS 65626510 HAS SOUS 22016134 HAS SOUPS 21451137 WITH SCORE 2.1531570561E7
AT ITER 1839 NEW BEST:: SOT 123130405 SOS 80431953 HAS SOPS 65624716 HAS SOUS 22013844 HAS SOUPS 21448858 WITH SCORE 2.1529289953E7
AT ITER 1851 NEW BEST:: SOT 123131203 SOS 80429526 HAS SOPS 65621894 HAS SOUS 22007902 HAS SOUPS 21442916 WITH SCORE 2.1523345526E7
AT ITER 1856 NEW BEST:: SOT 123129846 SOS 80432273 HAS SOPS 65640996 HAS SOUS 22006946 HAS SOUPS 21441960 WITH SCORE 2.1522392273E7
AT ITER 1859 NEW BEST:: SOT 123129846 SOS 80435809 HAS SOPS 65645620 HAS SOUS 22006827 HAS SOUPS 21441841 WITH SCORE 2.1522276809E7
AT ITER 1869 NEW BEST:: SOT 123109530 SOS 80414877 HAS SOPS 65619067 HAS SOUS 21949341 HAS SOUPS 21384355 WITH SCORE 2.1464769877E7
AT ITER 1872 NEW BEST:: SOT 123105278 SOS 80410649 HAS SOPS 65614071 HAS SOUS 21945329 HAS SOUPS 21379383 WITH SCORE 2.1459793649E7
AT ITER 1920 NEW BEST:: SOT 123105278 SOS 80422585 HAS SOPS 65628023 HAS SOUS 21945226 HAS SOUPS 21379280 WITH SCORE 2.1459702585E7
AT ITER 1931 NEW BEST:: SOT 123096243 SOS 80438724 HAS SOPS 65660977 HAS SOUS 21939128 HAS SOUPS 21373182 WITH SCORE 2.1453620724E7
AT ITER 1935 NEW BEST:: SOT 123096247 SOS 80441896 HAS SOPS 65665333 HAS SOUS 21939109 HAS SOUPS 21373163 WITH SCORE 2.1453604896E7
AT ITER 1942 NEW BEST:: SOT 123079071 SOS 80417044 HAS SOPS 65640287 HAS SOUS 21912563 HAS SOUPS 21347053 WITH SCORE 2.1427470044E7
AT ITER 1944 NEW BEST:: SOT 123078369 SOS 80416064 HAS SOPS 65638947 HAS SOUS 21911235 HAS SOUPS 21345725 WITH SCORE 2.1426141064E7
AT ITER 1955 NEW BEST:: SOT 123077556 SOS 80415505 HAS SOPS 65637701 HAS SOUS 21908626 HAS SOUPS 21343116 WITH SCORE 2.1423531505E7
AT ITER 1968 NEW BEST:: SOT 123077575 SOS 80422324 HAS SOPS 65645800 HAS SOUS 21908516 HAS SOUPS 21343006 WITH SCORE 2.1423428324E7
AT ITER 1980 NEW BEST:: SOT 123076572 SOS 80421297 HAS SOPS 65644341 HAS SOUS 21906495 HAS SOUPS 21340979 WITH SCORE 2.1421400297E7
AT ITER 1981 NEW BEST:: SOT 123076567 SOS 80421291 HAS SOPS 65644335 HAS SOUS 21906489 HAS SOUPS 21340973 WITH SCORE 2.1421394291E7
AT ITER 2013 NEW BEST:: SOT 123068623 SOS 80403332 HAS SOPS 65641378 HAS SOUS 21897101 HAS SOUPS 21332966 WITH SCORE 2.1413369332E7
AT ITER 2044 NEW BEST:: SOT 123069164 SOS 80406481 HAS SOPS 65645459 HAS SOUS 21895284 HAS SOUPS 21331149 WITH SCORE 2.1411555481E7
AT ITER 2053 NEW BEST:: SOT 123067204 SOS 80406259 HAS SOPS 65644889 HAS SOUS 21889517 HAS SOUPS 21325382 WITH SCORE 2.1405788259E7
AT ITER 2057 NEW BEST:: SOT 123065527 SOS 80408483 HAS SOPS 65643338 HAS SOUS 21878177 HAS SOUPS 21314042 WITH SCORE 2.1394450483E7
AT ITER 2067 NEW BEST:: SOT 123059956 SOS 80396404 HAS SOPS 65631133 HAS SOUS 21866278 HAS SOUPS 21302473 WITH SCORE 2.1382869404E7
AT ITER 2078 NEW BEST:: SOT 123060235 SOS 80402869 HAS SOPS 65633229 HAS SOUS 21860284 HAS SOUPS 21296479 WITH SCORE 2.1376881869E7
AT ITER 2081 NEW BEST:: SOT 123062108 SOS 80402978 HAS SOPS 65629951 HAS SOUS 21856035 HAS SOUPS 21292230 WITH SCORE 2.1372632978E7
AT ITER 2092 NEW BEST:: SOT 123061256 SOS 80399204 HAS SOPS 65626834 HAS SOUS 21855849 HAS SOUPS 21292044 WITH SCORE 2.1372443204E7
AT ITER 2102 NEW BEST:: SOT 123061226 SOS 80399453 HAS SOPS 65627738 HAS SOUS 21855356 HAS SOUPS 21291565 WITH SCORE 2.1371964453E7
AT ITER 2110 NEW BEST:: SOT 123061491 SOS 80430335 HAS SOPS 65669411 HAS SOUS 21855127 HAS SOUPS 21291336 WITH SCORE 2.1371766335E7
AT ITER 2113 NEW BEST:: SOT 123061879 SOS 80449989 HAS SOPS 65690868 HAS SOUS 21854772 HAS SOUPS 21290981 WITH SCORE 2.1371430989E7
AT ITER 2119 NEW BEST:: SOT 123313959 SOS 80651082 HAS SOPS 65884879 HAS SOUS 21850613 HAS SOUPS 21277442 WITH SCORE 2.1358093082E7
AT ITER 2125 NEW BEST:: SOT 123315020 SOS 80652537 HAS SOPS 65885209 HAS SOUS 21847959 HAS SOUPS 21274788 WITH SCORE 2.1355440537E7
AT ITER 2129 NEW BEST:: SOT 123299877 SOS 80630786 HAS SOPS 65877542 HAS SOUS 21818402 HAS SOUPS 21245231 WITH SCORE 2.1325861786E7
AT ITER 2140 NEW BEST:: SOT 123296160 SOS 80634026 HAS SOPS 65877559 HAS SOUS 21811999 HAS SOUPS 21238828 WITH SCORE 2.1319462026E7
AT ITER 2141 NEW BEST:: SOT 123293222 SOS 80631034 HAS SOPS 65873787 HAS SOUS 21806522 HAS SOUPS 21233351 WITH SCORE 2.1313982034E7
AT ITER 2153 NEW BEST:: SOT 123300843 SOS 80642212 HAS SOPS 65881816 HAS SOUS 21799138 HAS SOUPS 21225967 WITH SCORE 2.1306609212E7
AT ITER 2157 NEW BEST:: SOT 123297488 SOS 80637712 HAS SOPS 65876032 HAS SOUS 21793358 HAS SOUPS 21220187 WITH SCORE 2.1300824712E7
AT ITER 2163 NEW BEST:: SOT 123303330 SOS 80646849 HAS SOPS 65885274 HAS SOUS 21785207 HAS SOUPS 21212036 WITH SCORE 2.1292682849E7
AT ITER 2168 NEW BEST:: SOT 123304028 SOS 80648358 HAS SOPS 65886735 HAS SOUS 21784986 HAS SOUPS 21211815 WITH SCORE 2.1292463358E7
AT ITER 2174 NEW BEST:: SOT 123304513 SOS 80650446 HAS SOPS 65887157 HAS SOUS 21782858 HAS SOUPS 21209662 WITH SCORE 2.1290312446E7
AT ITER 2183 NEW BEST:: SOT 123303026 SOS 80648864 HAS SOPS 65888201 HAS SOUS 21777250 HAS SOUPS 21204054 WITH SCORE 2.1284702864E7
AT ITER 2201 NEW BEST:: SOT 123303026 SOS 80649744 HAS SOPS 65888313 HAS SOUS 21777202 HAS SOUPS 21204006 WITH SCORE 2.1284655744E7
AT ITER 2206 NEW BEST:: SOT 123303026 SOS 80656258 HAS SOPS 65896348 HAS SOUS 21776628 HAS SOUPS 21203432 WITH SCORE 2.1284088258E7
AT ITER 2213 NEW BEST:: SOT 123303820 SOS 80614982 HAS SOPS 65876302 HAS SOUS 21775698 HAS SOUPS 21202669 WITH SCORE 2.1283283982E7
AT ITER 2217 NEW BEST:: SOT 123303021 SOS 80615249 HAS SOPS 65876247 HAS SOUS 21773827 HAS SOUPS 21200798 WITH SCORE 2.1281413249E7
AT ITER 2232 NEW BEST:: SOT 123275632 SOS 80587183 HAS SOPS 65834188 HAS SOUS 21734740 HAS SOUPS 21161711 WITH SCORE 2.1242298183E7
AT ITER 2236 NEW BEST:: SOT 123274516 SOS 80585713 HAS SOPS 65832142 HAS SOUS 21732898 HAS SOUPS 21159869 WITH SCORE 2.1240454713E7
AT ITER 2241 NEW BEST:: SOT 123268138 SOS 80572928 HAS SOPS 65823517 HAS SOUS 21731178 HAS SOUPS 21158198 WITH SCORE 2.1238770928E7
AT ITER 2247 NEW BEST:: SOT 123261467 SOS 80556359 HAS SOPS 65804948 HAS SOUS 21728024 HAS SOUPS 21154984 WITH SCORE 2.1235540359E7
AT ITER 2252 NEW BEST:: SOT 123261432 SOS 80556214 HAS SOPS 65804696 HAS SOUS 21727847 HAS SOUPS 21154807 WITH SCORE 2.1235363214E7
AT ITER 2277 NEW BEST:: SOT 123261433 SOS 80559707 HAS SOPS 65809759 HAS SOUS 21727255 HAS SOUPS 21154215 WITH SCORE 2.1234774707E7
AT ITER 2286 NEW BEST:: SOT 123213178 SOS 80503766 HAS SOPS 65753504 HAS SOUS 21669999 HAS SOUPS 21097120 WITH SCORE 2.1177623766E7
AT ITER 2288 NEW BEST:: SOT 123211498 SOS 80500047 HAS SOPS 65759621 HAS SOUS 21651875 HAS SOUPS 21079040 WITH SCORE 2.1159540047E7
AT ITER 2292 NEW BEST:: SOT 123210976 SOS 80504870 HAS SOPS 65766754 HAS SOUS 21643171 HAS SOUPS 21070336 WITH SCORE 2.115084087E7
AT ITER 2329 NEW BEST:: SOT 123209344 SOS 80504312 HAS SOPS 65765669 HAS SOUS 21639335 HAS SOUPS 21066500 WITH SCORE 2.1147004312E7
AT ITER 2335 NEW BEST:: SOT 123206608 SOS 80501239 HAS SOPS 65761203 HAS SOUS 21632459 HAS SOUPS 21059624 WITH SCORE 2.1140125239E7
AT ITER 2336 NEW BEST:: SOT 123204093 SOS 80498345 HAS SOPS 65757513 HAS SOUS 21628213 HAS SOUPS 21055378 WITH SCORE 2.1135876345E7
AT ITER 2338 NEW BEST:: SOT 123204031 SOS 80490949 HAS SOPS 65749463 HAS SOUS 21628177 HAS SOUPS 21055342 WITH SCORE 2.1135832949E7
AT ITER 2360 NEW BEST:: SOT 123248367 SOS 80569855 HAS SOPS 65823794 HAS SOUS 21618818 HAS SOUPS 21045983 WITH SCORE 2.1126552855E7
AT ITER 2408 NEW BEST:: SOT 123248367 SOS 80569089 HAS SOPS 65823348 HAS SOUS 21618810 HAS SOUPS 21045977 WITH SCORE 2.1126546089E7
AT ITER 2415 NEW BEST:: SOT 123239907 SOS 80561132 HAS SOPS 65814888 HAS SOUS 21605202 HAS SOUPS 21032297 WITH SCORE 2.1112858132E7
AT ITER 2425 NEW BEST:: SOT 123234614 SOS 80553809 HAS SOPS 65805128 HAS SOUS 21594189 HAS SOUPS 21021284 WITH SCORE 2.1101837809E7
AT ITER 2452 NEW BEST:: SOT 123239036 SOS 80568802 HAS SOPS 65819980 HAS SOUS 21583839 HAS SOUPS 21010934 WITH SCORE 2.1091502802E7
AT ITER 2453 NEW BEST:: SOT 123231147 SOS 80560673 HAS SOPS 65807524 HAS SOUS 21564553 HAS SOUPS 20991712 WITH SCORE 2.1072272673E7
AT ITER 2481 NEW BEST:: SOT 123232495 SOS 80565384 HAS SOPS 65809410 HAS SOUS 21561669 HAS SOUPS 20988828 WITH SCORE 2.1069393384E7
AT ITER 2487 NEW BEST:: SOT 123209571 SOS 80526042 HAS SOPS 65770054 HAS SOUS 21551340 HAS SOUPS 20977960 WITH SCORE 2.1058486042E7
AT ITER 2490 NEW BEST:: SOT 123203960 SOS 80517140 HAS SOPS 65763073 HAS SOUS 21547599 HAS SOUPS 20974280 WITH SCORE 2.105479714E7
AT ITER 2507 NEW BEST:: SOT 123202895 SOS 80514733 HAS SOPS 65761569 HAS SOUS 21543537 HAS SOUPS 20970289 WITH SCORE 2.1050803733E7
AT ITER 2525 NEW BEST:: SOT 123187282 SOS 80500134 HAS SOPS 65744261 HAS SOUS 21524329 HAS SOUPS 20947543 WITH SCORE 2.1028043134E7
AT ITER 2530 NEW BEST:: SOT 123181996 SOS 80494845 HAS SOPS 65738951 HAS SOUS 21518995 HAS SOUPS 20942209 WITH SCORE 2.1022703845E7
AT ITER 2536 NEW BEST:: SOT 123176897 SOS 80484937 HAS SOPS 65738143 HAS SOUS 21516042 HAS SOUPS 20939256 WITH SCORE 2.1019740937E7
AT ITER 2545 NEW BEST:: SOT 123176550 SOS 80484191 HAS SOPS 65737974 HAS SOUS 21512344 HAS SOUPS 20936854 WITH SCORE 2.1017338191E7
AT ITER 2549 NEW BEST:: SOT 123213886 SOS 80551642 HAS SOPS 65793586 HAS SOUS 21507327 HAS SOUPS 20931912 WITH SCORE 2.1012463642E7
AT ITER 2551 NEW BEST:: SOT 123179607 SOS 80509360 HAS SOPS 65751779 HAS SOUS 21449830 HAS SOUPS 20874415 WITH SCORE 2.095492436E7
AT ITER 2577 NEW BEST:: SOT 123179607 SOS 80511032 HAS SOPS 65754459 HAS SOUS 21449775 HAS SOUPS 20874360 WITH SCORE 2.0954871032E7
AT ITER 2586 NEW BEST:: SOT 123184233 SOS 80520637 HAS SOPS 65755733 HAS SOUS 21440263 HAS SOUPS 20864848 WITH SCORE 2.0945368637E7
AT ITER 2591 NEW BEST:: SOT 123172116 SOS 80546937 HAS SOPS 65786075 HAS SOUS 21439079 HAS SOUPS 20863664 WITH SCORE 2.0944210937E7
AT ITER 2612 NEW BEST:: SOT 123172817 SOS 80547650 HAS SOPS 65787442 HAS SOUS 21438074 HAS SOUPS 20862912 WITH SCORE 2.094345965E7
AT ITER 2620 NEW BEST:: SOT 123176551 SOS 80551408 HAS SOPS 65791308 HAS SOUS 21437110 HAS SOUPS 20861948 WITH SCORE 2.0942499408E7
AT ITER 2633 NEW BEST:: SOT 123181814 SOS 80570005 HAS SOPS 65809705 HAS SOUS 21422921 HAS SOUPS 20848195 WITH SCORE 2.0928765005E7
AT ITER 2635 NEW BEST:: SOT 123181569 SOS 80567165 HAS SOPS 65808276 HAS SOUS 21416118 HAS SOUPS 20841431 WITH SCORE 2.0921998165E7
AT ITER 2645 NEW BEST:: SOT 123183401 SOS 80567453 HAS SOPS 65810457 HAS SOUS 21415865 HAS SOUPS 20841178 WITH SCORE 2.0921745453E7
AT ITER 2666 NEW BEST:: SOT 123166960 SOS 80551728 HAS SOPS 65800170 HAS SOUS 21405646 HAS SOUPS 20831077 WITH SCORE 2.0911628728E7
AT ITER 2669 NEW BEST:: SOT 123097952 SOS 80486811 HAS SOPS 65719850 HAS SOUS 21234203 HAS SOUPS 20656376 WITH SCORE 2.0736862811E7
AT ITER 2675 NEW BEST:: SOT 123096683 SOS 80486985 HAS SOPS 65715696 HAS SOUS 21225893 HAS SOUPS 20648066 WITH SCORE 2.0728552985E7
AT ITER 2681 NEW BEST:: SOT 123093100 SOS 80480556 HAS SOPS 65708264 HAS SOUS 21221229 HAS SOUPS 20643381 WITH SCORE 2.0723861556E7
AT ITER 2688 NEW BEST:: SOT 123096618 SOS 80487987 HAS SOPS 65713696 HAS SOUS 21216461 HAS SOUPS 20638613 WITH SCORE 2.0719100987E7

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb115-PT-3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb115-PT-3, 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-158961502500168"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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