Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.2K Feb 25 13:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 13:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 13:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 13:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679488005104

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

Filename model.pnml
Petri model created: 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 123452598 SOS 80249666 HAS SOPS 65228460 HAS SOUS 24076106 HAS SOUPS 23503332 WITH SCORE 2.3583581666E7
AT ITER 14 NEW BEST:: SOT 123446789 SOS 80241054 HAS SOPS 65222275 HAS SOUS 24068810 HAS SOUPS 23496036 WITH SCORE 2.3576277054E7
AT ITER 15 NEW BEST:: SOT 123446526 SOS 80239370 HAS SOPS 65220744 HAS SOUS 24058265 HAS SOUPS 23485402 WITH SCORE 2.356564137E7
AT ITER 21 NEW BEST:: SOT 123462518 SOS 80279085 HAS SOPS 65265615 HAS SOUS 24040455 HAS SOUPS 23467592 WITH SCORE 2.3547871085E7
AT ITER 36 NEW BEST:: SOT 123450783 SOS 80254100 HAS SOPS 65240823 HAS SOUS 24029822 HAS SOUPS 23456959 WITH SCORE 2.35372131E7
AT ITER 42 NEW BEST:: SOT 123451879 SOS 80237867 HAS SOPS 65235478 HAS SOUS 24020172 HAS SOUPS 23447250 WITH SCORE 2.3527487867E7
AT ITER 50 NEW BEST:: SOT 123438672 SOS 80224952 HAS SOPS 65228339 HAS SOUS 23986808 HAS SOUPS 23413886 WITH SCORE 2.3494110952E7
AT ITER 57 NEW BEST:: SOT 123429249 SOS 80220641 HAS SOPS 65229693 HAS SOUS 23932051 HAS SOUPS 23359617 WITH SCORE 2.3439837641E7
AT ITER 58 NEW BEST:: SOT 123425756 SOS 80213245 HAS SOPS 65225307 HAS SOUS 23925603 HAS SOUPS 23353169 WITH SCORE 2.3433382245E7
AT ITER 62 NEW BEST:: SOT 123432354 SOS 80242921 HAS SOPS 65258739 HAS SOUS 23915550 HAS SOUPS 23343116 WITH SCORE 2.3423358921E7
AT ITER 71 NEW BEST:: SOT 123441405 SOS 80266115 HAS SOPS 65335394 HAS SOUS 23883121 HAS SOUPS 23312129 WITH SCORE 2.3392395115E7
AT ITER 79 NEW BEST:: SOT 123437885 SOS 80261381 HAS SOPS 65330874 HAS SOUS 23873046 HAS SOUPS 23302107 WITH SCORE 2.3382368381E7
AT ITER 82 NEW BEST:: SOT 123401530 SOS 80210606 HAS SOPS 65355504 HAS SOUS 23836538 HAS SOUPS 23266535 WITH SCORE 2.3346745606E7
AT ITER 89 NEW BEST:: SOT 123409271 SOS 80212547 HAS SOPS 65379287 HAS SOUS 23829220 HAS SOUPS 23259217 WITH SCORE 2.3339429547E7
AT ITER 94 NEW BEST:: SOT 123389358 SOS 80192743 HAS SOPS 65359457 HAS SOUS 23809412 HAS SOUPS 23239397 WITH SCORE 2.3319589743E7
AT ITER 96 NEW BEST:: SOT 123354652 SOS 80157776 HAS SOPS 65322698 HAS SOUS 23770118 HAS SOUPS 23200103 WITH SCORE 2.3280260776E7
AT ITER 98 NEW BEST:: SOT 123358933 SOS 80176559 HAS SOPS 65333387 HAS SOUS 23754744 HAS SOUPS 23184729 WITH SCORE 2.3264905559E7
AT ITER 129 NEW BEST:: SOT 123354769 SOS 80177958 HAS SOPS 65326890 HAS SOUS 23747798 HAS SOUPS 23177783 WITH SCORE 2.3257960958E7
AT ITER 130 NEW BEST:: SOT 123367708 SOS 80217753 HAS SOPS 65358976 HAS SOUS 23737509 HAS SOUPS 23167494 WITH SCORE 2.3247711753E7
AT ITER 136 NEW BEST:: SOT 123362947 SOS 80210604 HAS SOPS 65354237 HAS SOUS 23728490 HAS SOUPS 23158531 WITH SCORE 2.3238741604E7
AT ITER 144 NEW BEST:: SOT 123362306 SOS 80214173 HAS SOPS 65353594 HAS SOUS 23713263 HAS SOUPS 23143304 WITH SCORE 2.3223518173E7
AT ITER 147 NEW BEST:: SOT 123359386 SOS 80212419 HAS SOPS 65354404 HAS SOUS 23706335 HAS SOUPS 23136376 WITH SCORE 2.3216588419E7
AT ITER 154 NEW BEST:: SOT 123339333 SOS 80192366 HAS SOPS 65334335 HAS SOUS 23680330 HAS SOUPS 23110371 WITH SCORE 2.3190563366E7
AT ITER 160 NEW BEST:: SOT 123341693 SOS 80203884 HAS SOPS 65348682 HAS SOUS 23675696 HAS SOUPS 23105737 WITH SCORE 2.3185940884E7
AT ITER 179 NEW BEST:: SOT 123341483 SOS 80203674 HAS SOPS 65348568 HAS SOUS 23674542 HAS SOUPS 23104679 WITH SCORE 2.3184882674E7
AT ITER 182 NEW BEST:: SOT 123341254 SOS 80201317 HAS SOPS 65346819 HAS SOUS 23674215 HAS SOUPS 23104371 WITH SCORE 2.3184572317E7
AT ITER 195 NEW BEST:: SOT 123336280 SOS 80215244 HAS SOPS 65360329 HAS SOUS 23673658 HAS SOUPS 23103814 WITH SCORE 2.3184029244E7
AT ITER 202 NEW BEST:: SOT 123336347 SOS 80228127 HAS SOPS 65376001 HAS SOUS 23673263 HAS SOUPS 23103419 WITH SCORE 2.3183647127E7
AT ITER 220 NEW BEST:: SOT 123336497 SOS 80228137 HAS SOPS 65375633 HAS SOUS 23673091 HAS SOUPS 23103247 WITH SCORE 2.3183475137E7
AT ITER 231 NEW BEST:: SOT 123340829 SOS 80294956 HAS SOPS 65470762 HAS SOUS 23666581 HAS SOUPS 23096737 WITH SCORE 2.3177031956E7
AT ITER 234 NEW BEST:: SOT 123339422 SOS 80292555 HAS SOPS 65468871 HAS SOUS 23664179 HAS SOUPS 23094360 WITH SCORE 2.3174652555E7
AT ITER 242 NEW BEST:: SOT 123338925 SOS 80292200 HAS SOPS 65467311 HAS SOUS 23661848 HAS SOUPS 23092011 WITH SCORE 2.31723032E7
AT ITER 243 NEW BEST:: SOT 123353079 SOS 80331063 HAS SOPS 65495832 HAS SOUS 23650239 HAS SOUPS 23080402 WITH SCORE 2.3160733063E7
AT ITER 256 NEW BEST:: SOT 123334746 SOS 80301755 HAS SOPS 65474496 HAS SOUS 23632118 HAS SOUPS 23062281 WITH SCORE 2.3142582755E7
AT ITER 261 NEW BEST:: SOT 123330734 SOS 80307094 HAS SOPS 65476547 HAS SOUS 23605936 HAS SOUPS 23036099 WITH SCORE 2.3116406094E7
AT ITER 273 NEW BEST:: SOT 123338811 SOS 80320873 HAS SOPS 65482016 HAS SOUS 23599885 HAS SOUPS 23030048 WITH SCORE 2.3110368873E7
AT ITER 296 NEW BEST:: SOT 123320877 SOS 80295132 HAS SOPS 65457409 HAS SOUS 23583351 HAS SOUPS 23011468 WITH SCORE 2.3091763132E7
AT ITER 328 NEW BEST:: SOT 123307125 SOS 80284150 HAS SOPS 65441314 HAS SOUS 23550801 HAS SOUPS 22978765 WITH SCORE 2.305904915E7
AT ITER 331 NEW BEST:: SOT 123306763 SOS 80278523 HAS SOPS 65447730 HAS SOUS 23547692 HAS SOUPS 22975805 WITH SCORE 2.3056083523E7
AT ITER 346 NEW BEST:: SOT 123306607 SOS 80278473 HAS SOPS 65448295 HAS SOUS 23547339 HAS SOUPS 22975526 WITH SCORE 2.3055804473E7
AT ITER 348 NEW BEST:: SOT 123333549 SOS 80339648 HAS SOPS 65493209 HAS SOUS 23529315 HAS SOUPS 22957502 WITH SCORE 2.3037841648E7
AT ITER 351 NEW BEST:: SOT 123321378 SOS 80328706 HAS SOPS 65477657 HAS SOUS 23509288 HAS SOUPS 22932878 WITH SCORE 2.3013206706E7
AT ITER 357 NEW BEST:: SOT 123330864 SOS 80349772 HAS SOPS 65498300 HAS SOUS 23499684 HAS SOUPS 22923274 WITH SCORE 2.3003623772E7
AT ITER 359 NEW BEST:: SOT 123326450 SOS 80345834 HAS SOPS 65492840 HAS SOUS 23498733 HAS SOUPS 22921553 WITH SCORE 2.3001898834E7
AT ITER 360 NEW BEST:: SOT 123312686 SOS 80329217 HAS SOPS 65481520 HAS SOUS 23472685 HAS SOUPS 22895505 WITH SCORE 2.2975834217E7
AT ITER 366 NEW BEST:: SOT 123311343 SOS 80328606 HAS SOPS 65477154 HAS SOUS 23467322 HAS SOUPS 22890142 WITH SCORE 2.2970470606E7
AT ITER 389 NEW BEST:: SOT 123310965 SOS 80327912 HAS SOPS 65476237 HAS SOUS 23467176 HAS SOUPS 22889996 WITH SCORE 2.2970323912E7
AT ITER 394 NEW BEST:: SOT 123232615 SOS 80247894 HAS SOPS 65388507 HAS SOUS 23337805 HAS SOUPS 22760656 WITH SCORE 2.2840903894E7
AT ITER 401 NEW BEST:: SOT 123231754 SOS 80249255 HAS SOPS 65390759 HAS SOUS 23308622 HAS SOUPS 22733343 WITH SCORE 2.2813592255E7
AT ITER 403 NEW BEST:: SOT 123237412 SOS 80265081 HAS SOPS 65409266 HAS SOUS 23302973 HAS SOUPS 22727566 WITH SCORE 2.2807831081E7
AT ITER 409 NEW BEST:: SOT 123232230 SOS 80261915 HAS SOPS 65406048 HAS SOUS 23287089 HAS SOUPS 22711682 WITH SCORE 2.2791943915E7
AT ITER 411 NEW BEST:: SOT 123238072 SOS 80282080 HAS SOPS 65433864 HAS SOUS 23279841 HAS SOUPS 22704543 WITH SCORE 2.278482508E7
AT ITER 413 NEW BEST:: SOT 123231323 SOS 80269814 HAS SOPS 65424125 HAS SOUS 23276191 HAS SOUPS 22700955 WITH SCORE 2.2781224814E7
AT ITER 430 NEW BEST:: SOT 123231331 SOS 80273790 HAS SOPS 65428421 HAS SOUS 23276128 HAS SOUPS 22700892 WITH SCORE 2.278116579E7
AT ITER 431 NEW BEST:: SOT 123233062 SOS 80277093 HAS SOPS 65426986 HAS SOUS 23276120 HAS SOUPS 22700816 WITH SCORE 2.2781093093E7
AT ITER 438 NEW BEST:: SOT 123232226 SOS 80276291 HAS SOPS 65426578 HAS SOUS 23275946 HAS SOUPS 22700642 WITH SCORE 2.2780918291E7
AT ITER 443 NEW BEST:: SOT 123232199 SOS 80295094 HAS SOPS 65450858 HAS SOUS 23272557 HAS SOUPS 22697358 WITH SCORE 2.2777653094E7
AT ITER 449 NEW BEST:: SOT 123229502 SOS 80292675 HAS SOPS 65446973 HAS SOUS 23273133 HAS SOUPS 22697130 WITH SCORE 2.2777422675E7
AT ITER 454 NEW BEST:: SOT 123251744 SOS 80341280 HAS SOPS 65487053 HAS SOUS 23268391 HAS SOUPS 22692388 WITH SCORE 2.277272928E7
AT ITER 470 NEW BEST:: SOT 123243515 SOS 80329351 HAS SOPS 65477404 HAS SOUS 23230101 HAS SOUPS 22654429 WITH SCORE 2.2734758351E7
AT ITER 476 NEW BEST:: SOT 123242863 SOS 80320531 HAS SOPS 65471772 HAS SOUS 23229755 HAS SOUPS 22654083 WITH SCORE 2.2734403531E7
AT ITER 479 NEW BEST:: SOT 123243570 SOS 80323276 HAS SOPS 65473494 HAS SOUS 23225598 HAS SOUPS 22649951 WITH SCORE 2.2730274276E7
AT ITER 501 NEW BEST:: SOT 123166278 SOS 80207715 HAS SOPS 65368601 HAS SOUS 23152316 HAS SOUPS 22577145 WITH SCORE 2.2657352715E7
AT ITER 517 NEW BEST:: SOT 123164147 SOS 80205531 HAS SOPS 65365346 HAS SOUS 23147631 HAS SOUPS 22572579 WITH SCORE 2.2652784531E7
AT ITER 543 NEW BEST:: SOT 123166657 SOS 80208550 HAS SOPS 65368002 HAS SOUS 23144075 HAS SOUPS 22569023 WITH SCORE 2.264923155E7
AT ITER 556 NEW BEST:: SOT 123171876 SOS 80221188 HAS SOPS 65382072 HAS SOUS 23141069 HAS SOUPS 22565910 WITH SCORE 2.2646131188E7
AT ITER 562 NEW BEST:: SOT 123164081 SOS 80221117 HAS SOPS 65401240 HAS SOUS 23112288 HAS SOUPS 22537129 WITH SCORE 2.2617350117E7
AT ITER 578 NEW BEST:: SOT 123164557 SOS 80235106 HAS SOPS 65411448 HAS SOUS 23110930 HAS SOUPS 22535771 WITH SCORE 2.2616006106E7
AT ITER 581 NEW BEST:: SOT 123159886 SOS 80226010 HAS SOPS 65403718 HAS SOUS 23107260 HAS SOUPS 22532101 WITH SCORE 2.261232701E7
AT ITER 606 NEW BEST:: SOT 123159198 SOS 80221900 HAS SOPS 65409191 HAS SOUS 23106938 HAS SOUPS 22531779 WITH SCORE 2.26120009E7
AT ITER 613 NEW BEST:: SOT 123160753 SOS 80226381 HAS SOPS 65410377 HAS SOUS 23093671 HAS SOUPS 22518512 WITH SCORE 2.2598738381E7
AT ITER 622 NEW BEST:: SOT 123161938 SOS 80233288 HAS SOPS 65411803 HAS SOUS 23085376 HAS SOUPS 22510061 WITH SCORE 2.2590294288E7
AT ITER 630 NEW BEST:: SOT 123161839 SOS 80233471 HAS SOPS 65411827 HAS SOUS 23085144 HAS SOUPS 22509829 WITH SCORE 2.2590062471E7
AT ITER 631 NEW BEST:: SOT 123161860 SOS 80240842 HAS SOPS 65419189 HAS SOUS 23085049 HAS SOUPS 22509734 WITH SCORE 2.2589974842E7
AT ITER 646 NEW BEST:: SOT 123160847 SOS 80242223 HAS SOPS 65418386 HAS SOUS 23080647 HAS SOUPS 22505332 WITH SCORE 2.2585574223E7
AT ITER 654 NEW BEST:: SOT 123160982 SOS 80243821 HAS SOPS 65419617 HAS SOUS 23074877 HAS SOUPS 22499562 WITH SCORE 2.2579805821E7
AT ITER 673 NEW BEST:: SOT 123156178 SOS 80227731 HAS SOPS 65421974 HAS SOUS 23071382 HAS SOUPS 22496067 WITH SCORE 2.2576294731E7
AT ITER 685 NEW BEST:: SOT 123180536 SOS 80251997 HAS SOPS 65446286 HAS SOUS 23059343 HAS SOUPS 22484063 WITH SCORE 2.2564314997E7
AT ITER 695 NEW BEST:: SOT 123179076 SOS 80252959 HAS SOPS 65446039 HAS SOUS 23052214 HAS SOUPS 22476934 WITH SCORE 2.2557186959E7
AT ITER 708 NEW BEST:: SOT 123178643 SOS 80257633 HAS SOPS 65451792 HAS SOUS 23049315 HAS SOUPS 22474035 WITH SCORE 2.2554292633E7
AT ITER 716 NEW BEST:: SOT 123179719 SOS 80260889 HAS SOPS 65460610 HAS SOUS 23040510 HAS SOUPS 22465230 WITH SCORE 2.2545490889E7
AT ITER 721 NEW BEST:: SOT 123166870 SOS 80248514 HAS SOPS 65447665 HAS SOUS 23026431 HAS SOUPS 22451047 WITH SCORE 2.2531295514E7
AT ITER 727 NEW BEST:: SOT 123161957 SOS 80242719 HAS SOPS 65441921 HAS SOUS 23016420 HAS SOUPS 22441086 WITH SCORE 2.2521328719E7
AT ITER 731 NEW BEST:: SOT 123161414 SOS 80242234 HAS SOPS 65441287 HAS SOUS 23015814 HAS SOUPS 22440480 WITH SCORE 2.2520722234E7
AT ITER 742 NEW BEST:: SOT 123161451 SOS 80253205 HAS SOPS 65450631 HAS SOUS 23014923 HAS SOUPS 22439589 WITH SCORE 2.2519842205E7
AT ITER 750 NEW BEST:: SOT 123154983 SOS 80240625 HAS SOPS 65438458 HAS SOUS 22980010 HAS SOUPS 22404737 WITH SCORE 2.2484977625E7
AT ITER 753 NEW BEST:: SOT 123163103 SOS 80262949 HAS SOPS 65457569 HAS SOUS 22969461 HAS SOUPS 22394292 WITH SCORE 2.2474554949E7
AT ITER 755 NEW BEST:: SOT 123163171 SOS 80281165 HAS SOPS 65480249 HAS SOUS 22969102 HAS SOUPS 22393933 WITH SCORE 2.2474214165E7
AT ITER 781 NEW BEST:: SOT 123163284 SOS 80281246 HAS SOPS 65480240 HAS SOUS 22968808 HAS SOUPS 22393654 WITH SCORE 2.2473935246E7
AT ITER 797 NEW BEST:: SOT 123144904 SOS 80241832 HAS SOPS 65452767 HAS SOUS 22940025 HAS SOUPS 22365263 WITH SCORE 2.2445504832E7
AT ITER 802 NEW BEST:: SOT 123138717 SOS 80234029 HAS SOPS 65452801 HAS SOUS 22909405 HAS SOUPS 22334643 WITH SCORE 2.2414877029E7
AT ITER 814 NEW BEST:: SOT 123140972 SOS 80238537 HAS SOPS 65452623 HAS SOUS 22901372 HAS SOUPS 22326610 WITH SCORE 2.2406848537E7
AT ITER 829 NEW BEST:: SOT 123145646 SOS 80253561 HAS SOPS 65456286 HAS SOUS 22885516 HAS SOUPS 22310754 WITH SCORE 2.2391007561E7
AT ITER 835 NEW BEST:: SOT 123145196 SOS 80253111 HAS SOPS 65455692 HAS SOUS 22884370 HAS SOUPS 22309672 WITH SCORE 2.2389925111E7
AT ITER 841 NEW BEST:: SOT 123131178 SOS 80244663 HAS SOPS 65445683 HAS SOUS 22859890 HAS SOUPS 22284824 WITH SCORE 2.2365068663E7
AT ITER 846 NEW BEST:: SOT 123121464 SOS 80235236 HAS SOPS 65432690 HAS SOUS 22839646 HAS SOUPS 22264580 WITH SCORE 2.2344815236E7
AT ITER 864 NEW BEST:: SOT 123129963 SOS 80255319 HAS SOPS 65449901 HAS SOUS 22836923 HAS SOUPS 22261857 WITH SCORE 2.2342112319E7
AT ITER 875 NEW BEST:: SOT 123128077 SOS 80253973 HAS SOPS 65445600 HAS SOUS 22830931 HAS SOUPS 22253864 WITH SCORE 2.2334117973E7
AT ITER 876 NEW BEST:: SOT 123143227 SOS 80276570 HAS SOPS 65455985 HAS SOUS 22827906 HAS SOUPS 22250622 WITH SCORE 2.233089857E7
AT ITER 878 NEW BEST:: SOT 123135045 SOS 80270138 HAS SOPS 65449921 HAS SOUS 22806473 HAS SOUPS 22229189 WITH SCORE 2.2309459138E7
AT ITER 912 NEW BEST:: SOT 123142916 SOS 80293314 HAS SOPS 65488612 HAS SOUS 22794530 HAS SOUPS 22218834 WITH SCORE 2.2299127314E7
AT ITER 915 NEW BEST:: SOT 123138907 SOS 80292573 HAS SOPS 65477928 HAS SOUS 22774517 HAS SOUPS 22198821 WITH SCORE 2.2279113573E7
AT ITER 921 NEW BEST:: SOT 123138725 SOS 80290181 HAS SOPS 65478417 HAS SOUS 22774182 HAS SOUPS 22198486 WITH SCORE 2.2278776181E7
AT ITER 926 NEW BEST:: SOT 123136394 SOS 80287783 HAS SOPS 65474649 HAS SOUS 22772891 HAS SOUPS 22197216 WITH SCORE 2.2277503783E7
AT ITER 930 NEW BEST:: SOT 123137151 SOS 80281755 HAS SOPS 65464105 HAS SOUS 22767021 HAS SOUPS 22191346 WITH SCORE 2.2271627755E7
AT ITER 935 NEW BEST:: SOT 123135057 SOS 80269480 HAS SOPS 65480237 HAS SOUS 22765430 HAS SOUPS 22189931 WITH SCORE 2.227020048E7
AT ITER 936 NEW BEST:: SOT 123132752 SOS 80264978 HAS SOPS 65476671 HAS SOUS 22760705 HAS SOUPS 22185088 WITH SCORE 2.2265352978E7
AT ITER 940 NEW BEST:: SOT 123132779 SOS 80265005 HAS SOPS 65476634 HAS SOUS 22760732 HAS SOUPS 22185051 WITH SCORE 2.2265316005E7
AT ITER 941 NEW BEST:: SOT 123136811 SOS 80269414 HAS SOPS 65487406 HAS SOUS 22750108 HAS SOUPS 22174557 WITH SCORE 2.2254826414E7
AT ITER 954 NEW BEST:: SOT 123136825 SOS 80269850 HAS SOPS 65487384 HAS SOUS 22749415 HAS SOUPS 22173864 WITH SCORE 2.225413385E7
AT ITER 965 NEW BEST:: SOT 123094491 SOS 80218621 HAS SOPS 65438337 HAS SOUS 22684084 HAS SOUPS 22108655 WITH SCORE 2.2188873621E7
AT ITER 967 NEW BEST:: SOT 123094333 SOS 80219247 HAS SOPS 65436810 HAS SOUS 22679550 HAS SOUPS 22104121 WITH SCORE 2.2184340247E7
AT ITER 968 NEW BEST:: SOT 123090869 SOS 80211359 HAS SOPS 65427833 HAS SOUS 22679392 HAS SOUPS 22103963 WITH SCORE 2.2184174359E7
AT ITER 983 NEW BEST:: SOT 123119030 SOS 80281475 HAS SOPS 65487380 HAS SOUS 22654107 HAS SOUPS 22078678 WITH SCORE 2.2158959475E7
AT ITER 992 NEW BEST:: SOT 123119683 SOS 80283930 HAS SOPS 65491546 HAS SOUS 22653833 HAS SOUPS 22078404 WITH SCORE 2.215868793E7
AT ITER 1039 NEW BEST:: SOT 123134058 SOS 80316078 HAS SOPS 65531485 HAS SOUS 22653532 HAS SOUPS 22078103 WITH SCORE 2.2158419078E7
AT ITER 1040 NEW BEST:: SOT 123131819 SOS 80310977 HAS SOPS 65527009 HAS SOUS 22651754 HAS SOUPS 22076325 WITH SCORE 2.2156635977E7
AT ITER 1043 NEW BEST:: SOT 123131819 SOS 80319377 HAS SOPS 65539409 HAS SOUS 22651558 HAS SOUPS 22076129 WITH SCORE 2.2156448377E7
AT ITER 1048 NEW BEST:: SOT 123128869 SOS 80317151 HAS SOPS 65538884 HAS SOUS 22644995 HAS SOUPS 22069566 WITH SCORE 2.2149883151E7
AT ITER 1050 NEW BEST:: SOT 123131022 SOS 80323613 HAS SOPS 65537543 HAS SOUS 22632429 HAS SOUPS 22057000 WITH SCORE 2.2137323613E7
AT ITER 1071 NEW BEST:: SOT 123126622 SOS 80319464 HAS SOPS 65540281 HAS SOUS 22616498 HAS SOUPS 22041069 WITH SCORE 2.2121388464E7
AT ITER 1076 NEW BEST:: SOT 123129845 SOS 80338171 HAS SOPS 65547316 HAS SOUS 22594146 HAS SOUPS 22018717 WITH SCORE 2.2099055171E7
AT ITER 1089 NEW BEST:: SOT 123129485 SOS 80337609 HAS SOPS 65546915 HAS SOUS 22593589 HAS SOUPS 22018166 WITH SCORE 2.2098503609E7
AT ITER 1114 NEW BEST:: SOT 123090873 SOS 80290462 HAS SOPS 65503904 HAS SOUS 22553589 HAS SOUPS 21978257 WITH SCORE 2.2058547462E7
AT ITER 1115 NEW BEST:: SOT 123086808 SOS 80287321 HAS SOPS 65502445 HAS SOUS 22550836 HAS SOUPS 21975504 WITH SCORE 2.2055791321E7
AT ITER 1117 NEW BEST:: SOT 123063458 SOS 80253171 HAS SOPS 65476630 HAS SOUS 22521030 HAS SOUPS 21945988 WITH SCORE 2.2026241171E7
AT ITER 1129 NEW BEST:: SOT 123054132 SOS 80223158 HAS SOPS 65459117 HAS SOUS 22517158 HAS SOUPS 21942116 WITH SCORE 2.2022339158E7
AT ITER 1131 NEW BEST:: SOT 123031377 SOS 80192516 HAS SOPS 65432579 HAS SOUS 22493642 HAS SOUPS 21918600 WITH SCORE 2.1998792516E7
AT ITER 1151 NEW BEST:: SOT 123033553 SOS 80199501 HAS SOPS 65439855 HAS SOUS 22490703 HAS SOUPS 21915661 WITH SCORE 2.1995860501E7
AT ITER 1154 NEW BEST:: SOT 123023057 SOS 80187133 HAS SOPS 65435221 HAS SOUS 22453987 HAS SOUPS 21878945 WITH SCORE 2.1959132133E7
AT ITER 1173 NEW BEST:: SOT 123020392 SOS 80183648 HAS SOPS 65432276 HAS SOUS 22451122 HAS SOUPS 21876080 WITH SCORE 2.1956263648E7
AT ITER 1178 NEW BEST:: SOT 123026040 SOS 80208047 HAS SOPS 65453955 HAS SOUS 22450679 HAS SOUPS 21875637 WITH SCORE 2.1955845047E7
AT ITER 1183 NEW BEST:: SOT 123042524 SOS 80245653 HAS SOPS 65501243 HAS SOUS 22446253 HAS SOUPS 21872590 WITH SCORE 2.1952835653E7
AT ITER 1213 NEW BEST:: SOT 123038686 SOS 80238950 HAS SOPS 65499538 HAS SOUS 22426984 HAS SOUPS 21854013 WITH SCORE 2.193425195E7
AT ITER 1221 NEW BEST:: SOT 123023365 SOS 80203091 HAS SOPS 65494622 HAS SOUS 22399760 HAS SOUPS 21826789 WITH SCORE 2.1906992091E7
AT ITER 1229 NEW BEST:: SOT 123023329 SOS 80202666 HAS SOPS 65496345 HAS SOUS 22399622 HAS SOUPS 21826651 WITH SCORE 2.1906853666E7
AT ITER 1232 NEW BEST:: SOT 123023168 SOS 80201804 HAS SOPS 65490069 HAS SOUS 22398703 HAS SOUPS 21825732 WITH SCORE 2.1905933804E7
AT ITER 1263 NEW BEST:: SOT 123015951 SOS 80206814 HAS SOPS 65497878 HAS SOUS 22397026 HAS SOUPS 21824055 WITH SCORE 2.1904261814E7
AT ITER 1272 NEW BEST:: SOT 123015837 SOS 80206710 HAS SOPS 65497644 HAS SOUS 22396874 HAS SOUPS 21823901 WITH SCORE 2.190410771E7
AT ITER 1280 NEW BEST:: SOT 123015837 SOS 80204156 HAS SOPS 65501251 HAS SOUS 22396602 HAS SOUPS 21823629 WITH SCORE 2.1903833156E7
AT ITER 1291 NEW BEST:: SOT 122999400 SOS 80180963 HAS SOPS 65477186 HAS SOUS 22373305 HAS SOUPS 21800332 WITH SCORE 2.1880512963E7
AT ITER 1307 NEW BEST:: SOT 122998663 SOS 80180105 HAS SOPS 65476088 HAS SOUS 22371365 HAS SOUPS 21798616 WITH SCORE 2.1878796105E7
AT ITER 1328 NEW BEST:: SOT 123000077 SOS 80208081 HAS SOPS 65518036 HAS SOUS 22370139 HAS SOUPS 21797623 WITH SCORE 2.1877831081E7
AT ITER 1370 NEW BEST:: SOT 122994424 SOS 80200449 HAS SOPS 65510477 HAS SOUS 22360855 HAS SOUPS 21788489 WITH SCORE 2.1868689449E7
AT ITER 1394 NEW BEST:: SOT 122995562 SOS 80205096 HAS SOPS 65513193 HAS SOUS 22357515 HAS SOUPS 21785149 WITH SCORE 2.1865354096E7
AT ITER 1399 NEW BEST:: SOT 122993514 SOS 80206841 HAS SOPS 65512166 HAS SOUS 22349404 HAS SOUPS 21777038 WITH SCORE 2.1857244841E7
AT ITER 1407 NEW BEST:: SOT 122993536 SOS 80207511 HAS SOPS 65513412 HAS SOUS 22349394 HAS SOUPS 21777028 WITH SCORE 2.1857235511E7
AT ITER 1408 NEW BEST:: SOT 122993329 SOS 80202955 HAS SOPS 65516842 HAS SOUS 22347328 HAS SOUPS 21775147 WITH SCORE 2.1855349955E7
AT ITER 1424 NEW BEST:: SOT 122994864 SOS 80203272 HAS SOPS 65519194 HAS SOUS 22346970 HAS SOUPS 21774842 WITH SCORE 2.1855045272E7
AT ITER 1428 NEW BEST:: SOT 123016317 SOS 80259855 HAS SOPS 65571171 HAS SOUS 22341749 HAS SOUPS 21769621 WITH SCORE 2.1849880855E7
AT ITER 1429 NEW BEST:: SOT 123024494 SOS 80270136 HAS SOPS 65599841 HAS SOUS 22324989 HAS SOUPS 21757153 WITH SCORE 2.1837423136E7
AT ITER 1438 NEW BEST:: SOT 123024498 SOS 80276951 HAS SOPS 65610740 HAS SOUS 22324740 HAS SOUPS 21756904 WITH SCORE 2.1837180951E7
AT ITER 1451 NEW BEST:: SOT 123019319 SOS 80271700 HAS SOPS 65609616 HAS SOUS 22319534 HAS SOUPS 21751698 WITH SCORE 2.18319697E7
AT ITER 1460 NEW BEST:: SOT 122999253 SOS 80251773 HAS SOPS 65582542 HAS SOUS 22272948 HAS SOUPS 21705112 WITH SCORE 2.1785363773E7
AT ITER 1482 NEW BEST:: SOT 122999253 SOS 80265021 HAS SOPS 65604718 HAS SOUS 22272634 HAS SOUPS 21704798 WITH SCORE 2.1785063021E7
AT ITER 1500 NEW BEST:: SOT 122986548 SOS 80241982 HAS SOPS 65585019 HAS SOUS 22266274 HAS SOUPS 21698438 WITH SCORE 2.1778679982E7
AT ITER 1513 NEW BEST:: SOT 122984996 SOS 80244311 HAS SOPS 65585680 HAS SOUS 22262191 HAS SOUPS 21694145 WITH SCORE 2.1774389311E7
AT ITER 1520 NEW BEST:: SOT 122984996 SOS 80250384 HAS SOPS 65594569 HAS SOUS 22262178 HAS SOUPS 21694132 WITH SCORE 2.1774382384E7
AT ITER 1557 NEW BEST:: SOT 122953257 SOS 80204012 HAS SOPS 65552859 HAS SOUS 22223479 HAS SOUPS 21655433 WITH SCORE 2.1735637012E7
AT ITER 1558 NEW BEST:: SOT 122954126 SOS 80208643 HAS SOPS 65557971 HAS SOUS 22219936 HAS SOUPS 21651890 WITH SCORE 2.1732098643E7
AT ITER 1575 NEW BEST:: SOT 122953898 SOS 80208355 HAS SOPS 65557635 HAS SOUS 22219577 HAS SOUPS 21651532 WITH SCORE 2.1731740355E7
AT ITER 1584 NEW BEST:: SOT 122960948 SOS 80211863 HAS SOPS 65557618 HAS SOUS 22209029 HAS SOUPS 21640984 WITH SCORE 2.1721195863E7
AT ITER 1589 NEW BEST:: SOT 122979808 SOS 80234397 HAS SOPS 65570074 HAS SOUS 22206289 HAS SOUPS 21637368 WITH SCORE 2.1717602397E7
AT ITER 1619 NEW BEST:: SOT 122981039 SOS 80237062 HAS SOPS 65571068 HAS SOUS 22204083 HAS SOUPS 21635162 WITH SCORE 2.1715399062E7
AT ITER 1620 NEW BEST:: SOT 122979394 SOS 80237040 HAS SOPS 65564900 HAS SOUS 22193839 HAS SOUPS 21624918 WITH SCORE 2.170515504E7
AT ITER 1623 NEW BEST:: SOT 122978537 SOS 80236193 HAS SOPS 65564307 HAS SOUS 22192646 HAS SOUPS 21623829 WITH SCORE 2.1704065193E7
AT ITER 1637 NEW BEST:: SOT 122978537 SOS 80239697 HAS SOPS 65570787 HAS SOUS 22192446 HAS SOUPS 21623629 WITH SCORE 2.1703868697E7
AT ITER 1646 NEW BEST:: SOT 122978449 SOS 80239433 HAS SOPS 65570171 HAS SOUS 22192372 HAS SOUPS 21623555 WITH SCORE 2.1703794433E7
AT ITER 1659 NEW BEST:: SOT 122982268 SOS 80249705 HAS SOPS 65577256 HAS SOUS 22190021 HAS SOUPS 21621204 WITH SCORE 2.1701453705E7
AT ITER 1664 NEW BEST:: SOT 122982266 SOS 80265169 HAS SOPS 65607118 HAS SOUS 22189792 HAS SOUPS 21621125 WITH SCORE 2.1701390169E7
AT ITER 1670 NEW BEST:: SOT 122988529 SOS 80274497 HAS SOPS 65611684 HAS SOUS 22173692 HAS SOUPS 21605011 WITH SCORE 2.1685285497E7
AT ITER 1689 NEW BEST:: SOT 122987204 SOS 80271545 HAS SOPS 65610315 HAS SOUS 22173015 HAS SOUPS 21604334 WITH SCORE 2.1684605545E7
AT ITER 1695 NEW BEST:: SOT 122986497 SOS 80260743 HAS SOPS 65600514 HAS SOUS 22172352 HAS SOUPS 21603671 WITH SCORE 2.1683931743E7
AT ITER 1697 NEW BEST:: SOT 123000289 SOS 80247980 HAS SOPS 65613127 HAS SOUS 22152779 HAS SOUPS 21587520 WITH SCORE 2.166776798E7
AT ITER 1700 NEW BEST:: SOT 123001743 SOS 80249626 HAS SOPS 65613418 HAS SOUS 22147661 HAS SOUPS 21582402 WITH SCORE 2.1662651626E7
AT ITER 1706 NEW BEST:: SOT 123031589 SOS 80283437 HAS SOPS 65632912 HAS SOUS 22131685 HAS SOUPS 21566380 WITH SCORE 2.1646663437E7
AT ITER 1711 NEW BEST:: SOT 123044717 SOS 80304135 HAS SOPS 65671821 HAS SOUS 22123023 HAS SOUPS 21557364 WITH SCORE 2.1637668135E7
AT ITER 1744 NEW BEST:: SOT 123044999 SOS 80323408 HAS SOPS 65691094 HAS SOUS 22122961 HAS SOUPS 21557302 WITH SCORE 2.1637625408E7
AT ITER 1751 NEW BEST:: SOT 123045015 SOS 80323420 HAS SOPS 65691450 HAS SOUS 22122949 HAS SOUPS 21557290 WITH SCORE 2.163761342E7
AT ITER 1755 NEW BEST:: SOT 123039090 SOS 80317400 HAS SOPS 65685571 HAS SOUS 22109201 HAS SOUPS 21543595 WITH SCORE 2.16239124E7
AT ITER 1758 NEW BEST:: SOT 123025720 SOS 80280867 HAS SOPS 65658524 HAS SOUS 22103905 HAS SOUPS 21538299 WITH SCORE 2.1618579867E7
AT ITER 1760 NEW BEST:: SOT 123027020 SOS 80281093 HAS SOPS 65665228 HAS SOUS 22099130 HAS SOUPS 21533727 WITH SCORE 2.1614008093E7
AT ITER 1761 NEW BEST:: SOT 123041311 SOS 80298905 HAS SOPS 65668510 HAS SOUS 22069556 HAS SOUPS 21504153 WITH SCORE 2.1584451905E7
AT ITER 1763 NEW BEST:: SOT 123041261 SOS 80300975 HAS SOPS 65661880 HAS SOUS 22069293 HAS SOUPS 21503890 WITH SCORE 2.1584190975E7
AT ITER 1772 NEW BEST:: SOT 123034705 SOS 80293792 HAS SOPS 65651498 HAS SOUS 22052096 HAS SOUPS 21486693 WITH SCORE 2.1566986792E7
AT ITER 1810 NEW BEST:: SOT 123035510 SOS 80293282 HAS SOPS 65655096 HAS SOUS 22051897 HAS SOUPS 21486494 WITH SCORE 2.1566787282E7
AT ITER 1815 NEW BEST:: SOT 123023892 SOS 80277442 HAS SOPS 65650149 HAS SOUS 22048477 HAS SOUPS 21483301 WITH SCORE 2.1563578442E7
AT ITER 1818 NEW BEST:: SOT 123022613 SOS 80276591 HAS SOPS 65648862 HAS SOUS 22046653 HAS SOUPS 21481477 WITH SCORE 2.1561753591E7
AT ITER 1823 NEW BEST:: SOT 123022863 SOS 80277444 HAS SOPS 65649862 HAS SOUS 22045976 HAS SOUPS 21480800 WITH SCORE 2.1561077444E7
AT ITER 1827 NEW BEST:: SOT 123028127 SOS 80291999 HAS SOPS 65672129 HAS SOUS 22040833 HAS SOUPS 21475544 WITH SCORE 2.1555835999E7
AT ITER 1832 NEW BEST:: SOT 123030033 SOS 80297477 HAS SOPS 65677104 HAS SOUS 22037214 HAS SOUPS 21471941 WITH SCORE 2.1552238477E7
AT ITER 1844 NEW BEST:: SOT 123007258 SOS 80274396 HAS SOPS 65651463 HAS SOUS 22007722 HAS SOUPS 21442419 WITH SCORE 2.1522693396E7
AT ITER 1850 NEW BEST:: SOT 122997178 SOS 80269487 HAS SOPS 65641459 HAS SOUS 21986285 HAS SOUPS 21420982 WITH SCORE 2.1501251487E7
AT ITER 1853 NEW BEST:: SOT 122991826 SOS 80265452 HAS SOPS 65635701 HAS SOUS 21979618 HAS SOUPS 21414150 WITH SCORE 2.1494415452E7
AT ITER 1856 NEW BEST:: SOT 122993197 SOS 80265822 HAS SOPS 65636306 HAS SOUS 21978281 HAS SOUPS 21412851 WITH SCORE 2.1493116822E7
AT ITER 1858 NEW BEST:: SOT 122996378 SOS 80272899 HAS SOPS 65642089 HAS SOUS 21973409 HAS SOUPS 21407974 WITH SCORE 2.1488246899E7
AT ITER 1869 NEW BEST:: SOT 122995080 SOS 80271645 HAS SOPS 65640835 HAS SOUS 21970412 HAS SOUPS 21404977 WITH SCORE 2.1485248645E7
AT ITER 1872 NEW BEST:: SOT 123015391 SOS 80298946 HAS SOPS 65654911 HAS SOUS 21970275 HAS SOUPS 21404840 WITH SCORE 2.1485138946E7
AT ITER 1884 NEW BEST:: SOT 123010140 SOS 80295304 HAS SOPS 65649969 HAS SOUS 21966553 HAS SOUPS 21401118 WITH SCORE 2.1481413304E7
AT ITER 1897 NEW BEST:: SOT 123049904 SOS 80335068 HAS SOPS 65682117 HAS SOUS 21970029 HAS SOUPS 21399666 WITH SCORE 2.1480001068E7
AT ITER 1900 NEW BEST:: SOT 123035946 SOS 80320500 HAS SOPS 65667378 HAS SOUS 21941870 HAS SOUPS 21371507 WITH SCORE 2.14518275E7
AT ITER 1911 NEW BEST:: SOT 123009574 SOS 80268314 HAS SOPS 65620400 HAS SOUS 21898490 HAS SOUPS 21328497 WITH SCORE 2.1408765314E7
AT ITER 1933 NEW BEST:: SOT 122996211 SOS 80249864 HAS SOPS 65600667 HAS SOUS 21863831 HAS SOUPS 21293988 WITH SCORE 2.1374237864E7
AT ITER 1941 NEW BEST:: SOT 122999545 SOS 80258426 HAS SOPS 65605470 HAS SOUS 21855889 HAS SOUPS 21286025 WITH SCORE 2.1366283426E7
AT ITER 1950 NEW BEST:: SOT 123009913 SOS 80276621 HAS SOPS 65645425 HAS SOUS 21853204 HAS SOUPS 21283340 WITH SCORE 2.1363616621E7
AT ITER 1953 NEW BEST:: SOT 122997035 SOS 80262436 HAS SOPS 65627609 HAS SOUS 21832971 HAS SOUPS 21263107 WITH SCORE 2.1343369436E7
AT ITER 1956 NEW BEST:: SOT 123019346 SOS 80283398 HAS SOPS 65639846 HAS SOUS 21822060 HAS SOUPS 21252003 WITH SCORE 2.1332286398E7
AT ITER 1974 NEW BEST:: SOT 123011111 SOS 80267261 HAS SOPS 65644433 HAS SOUS 21818227 HAS SOUPS 21248170 WITH SCORE 2.1328437261E7
AT ITER 1979 NEW BEST:: SOT 123011111 SOS 80277645 HAS SOPS 65662977 HAS SOUS 21817967 HAS SOUPS 21247910 WITH SCORE 2.1328187645E7
AT ITER 1984 NEW BEST:: SOT 122993039 SOS 80257821 HAS SOPS 65642982 HAS SOUS 21797243 HAS SOUPS 21227233 WITH SCORE 2.1307490821E7
AT ITER 2012 NEW BEST:: SOT 122985540 SOS 80249672 HAS SOPS 65638281 HAS SOUS 21772769 HAS SOUPS 21202846 WITH SCORE 2.1283095672E7
AT ITER 2021 NEW BEST:: SOT 122988128 SOS 80254071 HAS SOPS 65639810 HAS SOUS 21766065 HAS SOUPS 21196142 WITH SCORE 2.1276396071E7
AT ITER 2027 NEW BEST:: SOT 122987930 SOS 80250673 HAS SOPS 65635516 HAS SOUS 21765996 HAS SOUPS 21196073 WITH SCORE 2.1276323673E7
AT ITER 2049 NEW BEST:: SOT 122990398 SOS 80258970 HAS SOPS 65639810 HAS SOUS 21755821 HAS SOUPS 21185898 WITH SCORE 2.126615697E7
AT ITER 2053 NEW BEST:: SOT 122990614 SOS 80267927 HAS SOPS 65659487 HAS SOUS 21755264 HAS SOUPS 21185438 WITH SCORE 2.1265705927E7
AT ITER 2057 NEW BEST:: SOT 122987478 SOS 80265372 HAS SOPS 65655832 HAS SOUS 21747176 HAS SOUPS 21177350 WITH SCORE 2.1257615372E7
AT ITER 2065 NEW BEST:: SOT 122987478 SOS 80270204 HAS SOPS 65662920 HAS SOUS 21747011 HAS SOUPS 21177185 WITH SCORE 2.1257455204E7
AT ITER 2070 NEW BEST:: SOT 122986031 SOS 80248838 HAS SOPS 65649855 HAS SOUS 21738866 HAS SOUPS 21169040 WITH SCORE 2.1249288838E7
AT ITER 2073 NEW BEST:: SOT 122985899 SOS 80248628 HAS SOPS 65649637 HAS SOUS 21738650 HAS SOUPS 21168826 WITH SCORE 2.1249074628E7
AT ITER 2098 NEW BEST:: SOT 122970595 SOS 80263030 HAS SOPS 65668400 HAS SOUS 21732652 HAS SOUPS 21162750 WITH SCORE 2.124301303E7
AT ITER 2101 NEW BEST:: SOT 122968799 SOS 80261714 HAS SOPS 65666124 HAS SOUS 21731043 HAS SOUPS 21161081 WITH SCORE 2.1241342714E7
AT ITER 2111 NEW BEST:: SOT 122968800 SOS 80261715 HAS SOPS 65666125 HAS SOUS 21731012 HAS SOUPS 21161050 WITH SCORE 2.1241311715E7
AT ITER 2118 NEW BEST:: SOT 122969392 SOS 80264678 HAS SOPS 65668682 HAS SOUS 21730916 HAS SOUPS 21160954 WITH SCORE 2.1241218678E7
AT ITER 2120 NEW BEST:: SOT 122970938 SOS 80266253 HAS SOPS 65671297 HAS SOUS 21728502 HAS SOUPS 21158876 WITH SCORE 2.1239142253E7
AT ITER 2140 NEW BEST:: SOT 123066884 SOS 80350821 HAS SOPS 65746392 HAS SOUS 21712960 HAS SOUPS 21140584 WITH SCORE 2.1220934821E7
AT ITER 2155 NEW BEST:: SOT 123064356 SOS 80343412 HAS SOPS 65744044 HAS SOUS 21705275 HAS SOUPS 21132899 WITH SCORE 2.1213242412E7
AT ITER 2167 NEW BEST:: SOT 123064877 SOS 80343933 HAS SOPS 65744917 HAS SOUS 21704740 HAS SOUPS 21132540 WITH SCORE 2.1212883933E7
AT ITER 2177 NEW BEST:: SOT 123064726 SOS 80350532 HAS SOPS 65764942 HAS SOUS 21703615 HAS SOUPS 21131415 WITH SCORE 2.1211765532E7
AT ITER 2196 NEW BEST:: SOT 123063743 SOS 80348617 HAS SOPS 65762534 HAS SOUS 21702271 HAS SOUPS 21130071 WITH SCORE 2.1210419617E7
AT ITER 2219 NEW BEST:: SOT 123063978 SOS 80350121 HAS SOPS 65764586 HAS SOUS 21699307 HAS SOUPS 21127124 WITH SCORE 2.1207474121E7
AT ITER 2227 NEW BEST:: SOT 123046403 SOS 80305503 HAS SOPS 65744154 HAS SOUS 21661751 HAS SOUPS 21089568 WITH SCORE 2.1169873503E7
AT ITER 2238 NEW BEST:: SOT 123059249 SOS 80329408 HAS SOPS 65797931 HAS SOUS 21652142 HAS SOUPS 21080411 WITH SCORE 2.1160740408E7
AT ITER 2263 NEW BEST:: SOT 123052649 SOS 80319138 HAS SOPS 65790379 HAS SOUS 21641501 HAS SOUPS 21069770 WITH SCORE 2.1150089138E7
AT ITER 2264 NEW BEST:: SOT 123056494 SOS 80313710 HAS SOPS 65782235 HAS SOUS 21632177 HAS SOUPS 21060551 WITH SCORE 2.114086471E7
AT ITER 2292 NEW BEST:: SOT 123056184 SOS 80313400 HAS SOPS 65781925 HAS SOUS 21631867 HAS SOUPS 21060241 WITH SCORE 2.11405544E7
AT ITER 2308 NEW BEST:: SOT 123056001 SOS 80313112 HAS SOPS 65781640 HAS SOUS 21631366 HAS SOUPS 21059743 WITH SCORE 2.1140056112E7
AT ITER 2324 NEW BEST:: SOT 123042407 SOS 80296328 HAS SOPS 65757988 HAS SOUS 21586203 HAS SOUPS 21014580 WITH SCORE 2.1094876328E7
AT ITER 2350 NEW BEST:: SOT 123042669 SOS 80318030 HAS SOPS 65784680 HAS SOUS 21585696 HAS SOUPS 21014073 WITH SCORE 2.109439103E7
AT ITER 2377 NEW BEST:: SOT 123042006 SOS 80317477 HAS SOPS 65783035 HAS SOUS 21584323 HAS SOUPS 21012696 WITH SCORE 2.1093013477E7
AT ITER 2381 NEW BEST:: SOT 123036277 SOS 80308055 HAS SOPS 65776289 HAS SOUS 21581180 HAS SOUPS 21009553 WITH SCORE 2.1089861055E7
AT ITER 2389 NEW BEST:: SOT 123022724 SOS 80291980 HAS SOPS 65760745 HAS SOUS 21552878 HAS SOUPS 20981251 WITH SCORE 2.106154298E7
AT ITER 2412 NEW BEST:: SOT 123022105 SOS 80289250 HAS SOPS 65757426 HAS SOUS 21550653 HAS SOUPS 20979026 WITH SCORE 2.105931525E7
AT ITER 2416 NEW BEST:: SOT 123021219 SOS 80288001 HAS SOPS 65755891 HAS SOUS 21548753 HAS SOUPS 20977137 WITH SCORE 2.1057425001E7
AT ITER 2419 NEW BEST:: SOT 123018817 SOS 80284959 HAS SOPS 65752889 HAS SOUS 21544791 HAS SOUPS 20973195 WITH SCORE 2.1053479959E7
AT ITER 2425 NEW BEST:: SOT 123018031 SOS 80275077 HAS SOPS 65749131 HAS SOUS 21543950 HAS SOUPS 20972354 WITH SCORE 2.1052629077E7
AT ITER 2427 NEW BEST:: SOT 123018069 SOS 80275333 HAS SOPS 65748477 HAS SOUS 21543259 HAS SOUPS 20971641 WITH SCORE 2.1051916333E7
AT ITER 2444 NEW BEST:: SOT 123003513 SOS 80252279 HAS SOPS 65728662 HAS SOUS 21509799 HAS SOUPS 20938345 WITH SCORE 2.1018597279E7
AT ITER 2454 NEW BEST:: SOT 123001590 SOS 80255154 HAS SOPS 65730210 HAS SOUS 21497908 HAS SOUPS 20926454 WITH SCORE 2.1006709154E7
AT ITER 2458 NEW BEST:: SOT 123004015 SOS 80266786 HAS SOPS 65741111 HAS SOUS 21486959 HAS SOUPS 20915505 WITH SCORE 2.0995771786E7
AT ITER 2460 NEW BEST:: SOT 123004897 SOS 80265553 HAS SOPS 65742641 HAS SOUS 21486078 HAS SOUPS 20914624 WITH SCORE 2.0994889553E7
AT ITER 2472 NEW BEST:: SOT 123005689 SOS 80260064 HAS SOPS 65739387 HAS SOUS 21484415 HAS SOUPS 20912961 WITH SCORE 2.0993221064E7
AT ITER 2491 NEW BEST:: SOT 123005741 SOS 80271244 HAS SOPS 65758059 HAS SOUS 21484175 HAS SOUPS 20912721 WITH SCORE 2.0992992244E7
AT ITER 2509 NEW BEST:: SOT 122963813 SOS 80228117 HAS SOPS 65714524 HAS SOUS 21438010 HAS SOUPS 20866198 WITH SCORE 2.0946426117E7
AT ITER 2510 NEW BEST:: SOT 122963295 SOS 80227587 HAS SOPS 65713592 HAS SOUS 21436748 HAS SOUPS 20864930 WITH SCORE 2.0945157587E7
AT ITER 2519 NEW BEST:: SOT 122965848 SOS 80233425 HAS SOPS 65710832 HAS SOUS 21428092 HAS SOUPS 20856274 WITH SCORE 2.0936507425E7
AT ITER 2528 NEW BEST:: SOT 122953029 SOS 80206761 HAS SOPS 65693556 HAS SOUS 21416293 HAS SOUPS 20845349 WITH SCORE 2.0925555761E7
AT ITER 2553 NEW BEST:: SOT 122946905 SOS 80186539 HAS SOPS 65675950 HAS SOUS 21414182 HAS SOUPS 20843238 WITH SCORE 2.0923424539E7
AT ITER 2558 NEW BEST:: SOT 122927566 SOS 80168763 HAS SOPS 65656347 HAS SOUS 21355217 HAS SOUPS 20784540 WITH SCORE 2.0864708763E7
AT ITER 2559 NEW BEST:: SOT 122958645 SOS 80213836 HAS SOPS 65716840 HAS SOUS 21337318 HAS SOUPS 20767156 WITH SCORE 2.0847369836E7
AT ITER 2587 NEW BEST:: SOT 122958031 SOS 80213374 HAS SOPS 65716043 HAS SOUS 21336697 HAS SOUPS 20766311 WITH SCORE 2.0846524374E7
AT ITER 2589 NEW BEST:: SOT 122953399 SOS 80191271 HAS SOPS 65692800 HAS SOUS 21335528 HAS SOUPS 20765142 WITH SCORE 2.0845333271E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393928 kB
MemFree: 15446856 kB
After kill :
MemTotal: 16393928 kB
MemFree: 16078132 kB

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is RERS17pb115-PT-8, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194400208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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