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.r331-tall-167889204200248.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 smartxred
Input is RERS2020-PT-pb104, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204200248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 81M
-rw-r--r-- 1 mcc users 7.5K Feb 26 08:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 08:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 08:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 08:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 08:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 26 08:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 26 08:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 80M 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 1679121706526

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS2020-PT-pb104
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 06:41:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 06:41:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 06:41:50] [INFO ] Load time of PNML (sax parser for PT used): 2421 ms
[2023-03-18 06:41:51] [INFO ] Transformed 1353 places.
[2023-03-18 06:41:51] [INFO ] Transformed 143642 transitions.
[2023-03-18 06:41:51] [INFO ] Found NUPN structural information;
[2023-03-18 06:41:51] [INFO ] Parsed PT model containing 1353 places and 143642 transitions and 572292 arcs in 2998 ms.
[2023-03-18 06:41:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1353 places, 143642 transitions and 572292 arcs took 355 ms.
Total runtime 3390 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb104
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1353 places, 143642 transitions, 572292 arcs.
AT ITER 0 NEW BEST:: SOT 103479579 SOS 72017855 HAS SOPS 65746183 HAS SOUS 16796159 HAS SOUPS 16712882 WITH SCORE 1.6784899855E7
AT ITER 9 NEW BEST:: SOT 103593136 SOS 72132665 HAS SOPS 65853893 HAS SOUS 16790589 HAS SOUPS 16707262 WITH SCORE 1.6779394665E7
AT ITER 23 NEW BEST:: SOT 103591484 SOS 72130973 HAS SOPS 65851953 HAS SOUS 16785079 HAS SOUPS 16701752 WITH SCORE 1.6773882973E7
AT ITER 26 NEW BEST:: SOT 103590802 SOS 72148208 HAS SOPS 65859768 HAS SOUS 16765624 HAS SOUPS 16682400 WITH SCORE 1.6754548208E7
AT ITER 50 NEW BEST:: SOT 103590841 SOS 72147866 HAS SOPS 65859426 HAS SOUS 16765572 HAS SOUPS 16682348 WITH SCORE 1.6754495866E7
AT ITER 56 NEW BEST:: SOT 103590816 SOS 72085146 HAS SOPS 65792962 HAS SOUS 16757717 HAS SOUPS 16674493 WITH SCORE 1.6746578146E7
AT ITER 75 NEW BEST:: SOT 103910362 SOS 72403654 HAS SOPS 66096790 HAS SOUS 16736819 HAS SOUPS 16653653 WITH SCORE 1.6726056654E7
AT ITER 79 NEW BEST:: SOT 103911272 SOS 72404634 HAS SOPS 66097476 HAS SOUS 16733526 HAS SOUPS 16650360 WITH SCORE 1.6722764634E7
AT ITER 81 NEW BEST:: SOT 103908902 SOS 72402312 HAS SOPS 66094972 HAS SOUS 16730922 HAS SOUPS 16647756 WITH SCORE 1.6720158312E7
AT ITER 90 NEW BEST:: SOT 103907637 SOS 72256515 HAS SOPS 65932109 HAS SOUS 16726737 HAS SOUPS 16642631 WITH SCORE 1.6714887515E7
AT ITER 91 NEW BEST:: SOT 103922365 SOS 72270969 HAS SOPS 65946157 HAS SOUS 16723146 HAS SOUPS 16639040 WITH SCORE 1.6711310969E7
AT ITER 109 NEW BEST:: SOT 103920831 SOS 72269555 HAS SOPS 65944734 HAS SOUS 16713093 HAS SOUPS 16628987 WITH SCORE 1.6701256555E7
AT ITER 116 NEW BEST:: SOT 103923863 SOS 72296719 HAS SOPS 65957094 HAS SOUS 16700206 HAS SOUPS 16616216 WITH SCORE 1.6688512719E7
AT ITER 121 NEW BEST:: SOT 103923894 SOS 72296777 HAS SOPS 65956652 HAS SOUS 16693339 HAS SOUPS 16609349 WITH SCORE 1.6681645777E7
AT ITER 135 NEW BEST:: SOT 103914064 SOS 72287037 HAS SOPS 65944622 HAS SOUS 16650844 HAS SOUPS 16566854 WITH SCORE 1.6639141037E7
AT ITER 146 NEW BEST:: SOT 103914062 SOS 72286980 HAS SOPS 65944883 HAS SOUS 16650829 HAS SOUPS 16566845 WITH SCORE 1.663913198E7
AT ITER 168 NEW BEST:: SOT 103909929 SOS 72282265 HAS SOPS 65937598 HAS SOUS 16644788 HAS SOUPS 16560722 WITH SCORE 1.6633004265E7
AT ITER 182 NEW BEST:: SOT 103918850 SOS 72291279 HAS SOPS 65947624 HAS SOUS 16642269 HAS SOUPS 16558203 WITH SCORE 1.6630494279E7
AT ITER 232 NEW BEST:: SOT 103909049 SOS 72204734 HAS SOPS 65866578 HAS SOUS 16629181 HAS SOUPS 16545232 WITH SCORE 1.6617436734E7
AT ITER 237 NEW BEST:: SOT 103884026 SOS 72219320 HAS SOPS 65884612 HAS SOUS 16620272 HAS SOUPS 16536323 WITH SCORE 1.660854232E7
AT ITER 254 NEW BEST:: SOT 103879036 SOS 72214046 HAS SOPS 65876933 HAS SOUS 16618203 HAS SOUPS 16534254 WITH SCORE 1.6606468046E7
AT ITER 265 NEW BEST:: SOT 103869425 SOS 72204195 HAS SOPS 65861688 HAS SOUS 16603660 HAS SOUPS 16519711 WITH SCORE 1.6591915195E7
AT ITER 282 NEW BEST:: SOT 103869112 SOS 72175099 HAS SOPS 65829450 HAS SOUS 16603101 HAS SOUPS 16519152 WITH SCORE 1.6591327099E7
AT ITER 284 NEW BEST:: SOT 103881677 SOS 72196521 HAS SOPS 65841791 HAS SOUS 16601949 HAS SOUPS 16518000 WITH SCORE 1.6590196521E7
AT ITER 285 NEW BEST:: SOT 103876763 SOS 72199812 HAS SOPS 65822780 HAS SOUS 16600018 HAS SOUPS 16516069 WITH SCORE 1.6588268812E7
AT ITER 310 NEW BEST:: SOT 103877182 SOS 72200136 HAS SOPS 65822959 HAS SOUS 16598310 HAS SOUPS 16514361 WITH SCORE 1.6586561136E7
AT ITER 326 NEW BEST:: SOT 103876444 SOS 72297145 HAS SOPS 65855925 HAS SOUS 16597951 HAS SOUPS 16513825 WITH SCORE 1.6586122145E7
AT ITER 347 NEW BEST:: SOT 103875567 SOS 72291210 HAS SOPS 65848809 HAS SOUS 16588434 HAS SOUPS 16504308 WITH SCORE 1.657659921E7
AT ITER 367 NEW BEST:: SOT 103865815 SOS 72296806 HAS SOPS 65750804 HAS SOUS 16586214 HAS SOUPS 16501762 WITH SCORE 1.6574058806E7
AT ITER 373 NEW BEST:: SOT 103856550 SOS 72287798 HAS SOPS 65739447 HAS SOUS 16540416 HAS SOUPS 16455964 WITH SCORE 1.6528251798E7
AT ITER 377 NEW BEST:: SOT 103855475 SOS 72286612 HAS SOPS 65737527 HAS SOUS 16525520 HAS SOUPS 16441068 WITH SCORE 1.6513354612E7
AT ITER 402 NEW BEST:: SOT 103863905 SOS 72295121 HAS SOPS 65752619 HAS SOUS 16524630 HAS SOUPS 16440275 WITH SCORE 1.6512570121E7
AT ITER 412 NEW BEST:: SOT 103853152 SOS 72283786 HAS SOPS 65734823 HAS SOUS 16517560 HAS SOUPS 16433136 WITH SCORE 1.6505419786E7
AT ITER 420 NEW BEST:: SOT 103847289 SOS 72278193 HAS SOPS 65728591 HAS SOUS 16511632 HAS SOUPS 16427208 WITH SCORE 1.6499486193E7
AT ITER 421 NEW BEST:: SOT 103846923 SOS 72239087 HAS SOPS 65688723 HAS SOUS 16509808 HAS SOUPS 16425384 WITH SCORE 1.6497623087E7
AT ITER 422 NEW BEST:: SOT 103855742 SOS 72248050 HAS SOPS 65694276 HAS SOUS 16504410 HAS SOUPS 16419986 WITH SCORE 1.649223405E7
AT ITER 426 NEW BEST:: SOT 103862069 SOS 72254708 HAS SOPS 65701434 HAS SOUS 16503276 HAS SOUPS 16418852 WITH SCORE 1.6491106708E7
AT ITER 440 NEW BEST:: SOT 103862129 SOS 72259110 HAS SOPS 65705836 HAS SOUS 16502796 HAS SOUPS 16418372 WITH SCORE 1.649063111E7
AT ITER 443 NEW BEST:: SOT 103862904 SOS 72259915 HAS SOPS 65703901 HAS SOUS 16500450 HAS SOUPS 16416026 WITH SCORE 1.6488285915E7
AT ITER 457 NEW BEST:: SOT 103862541 SOS 72259552 HAS SOPS 65703582 HAS SOUS 16499670 HAS SOUPS 16415246 WITH SCORE 1.6487505552E7
AT ITER 488 NEW BEST:: SOT 103840147 SOS 72296850 HAS SOPS 65738398 HAS SOUS 16493934 HAS SOUPS 16409510 WITH SCORE 1.648180685E7
AT ITER 496 NEW BEST:: SOT 103811946 SOS 72268731 HAS SOPS 65710149 HAS SOUS 16458130 HAS SOUPS 16373706 WITH SCORE 1.6445974731E7
AT ITER 499 NEW BEST:: SOT 103811601 SOS 72268267 HAS SOPS 65710419 HAS SOUS 16452489 HAS SOUPS 16368065 WITH SCORE 1.6440333267E7
AT ITER 502 NEW BEST:: SOT 103807281 SOS 72263893 HAS SOPS 65705343 HAS SOUS 16443280 HAS SOUPS 16358856 WITH SCORE 1.6431119893E7
AT ITER 503 NEW BEST:: SOT 103809213 SOS 72265997 HAS SOPS 65707227 HAS SOUS 16440308 HAS SOUPS 16355884 WITH SCORE 1.6428149997E7
AT ITER 509 NEW BEST:: SOT 103808418 SOS 72265211 HAS SOPS 65706327 HAS SOUS 16438205 HAS SOUPS 16353781 WITH SCORE 1.6426046211E7
AT ITER 515 NEW BEST:: SOT 103807435 SOS 72264368 HAS SOPS 65704653 HAS SOUS 16433327 HAS SOUPS 16348877 WITH SCORE 1.6421141368E7
AT ITER 524 NEW BEST:: SOT 103807590 SOS 72264485 HAS SOPS 65706537 HAS SOUS 16433264 HAS SOUPS 16348814 WITH SCORE 1.6421078485E7
AT ITER 527 NEW BEST:: SOT 103812346 SOS 72272302 HAS SOPS 65715556 HAS SOUS 16430280 HAS SOUPS 16347539 WITH SCORE 1.6419811302E7
AT ITER 533 NEW BEST:: SOT 103906479 SOS 72445899 HAS SOPS 65887577 HAS SOUS 16406441 HAS SOUPS 16323902 WITH SCORE 1.6396347899E7
AT ITER 537 NEW BEST:: SOT 103914584 SOS 72448719 HAS SOPS 65889261 HAS SOUS 16402505 HAS SOUPS 16319966 WITH SCORE 1.6392414719E7
AT ITER 558 NEW BEST:: SOT 103915006 SOS 72439053 HAS SOPS 65880443 HAS SOUS 16401162 HAS SOUPS 16318653 WITH SCORE 1.6391092053E7
AT ITER 561 NEW BEST:: SOT 103914675 SOS 72439376 HAS SOPS 65877746 HAS SOUS 16395198 HAS SOUPS 16312689 WITH SCORE 1.6385128376E7
AT ITER 562 NEW BEST:: SOT 104155111 SOS 72680661 HAS SOPS 66101874 HAS SOUS 16343872 HAS SOUPS 16261290 WITH SCORE 1.6333970661E7
AT ITER 585 NEW BEST:: SOT 104150212 SOS 72675692 HAS SOPS 66095685 HAS SOUS 16338524 HAS SOUPS 16255942 WITH SCORE 1.6328617692E7
AT ITER 592 NEW BEST:: SOT 104149880 SOS 72675486 HAS SOPS 66091464 HAS SOUS 16335249 HAS SOUPS 16252667 WITH SCORE 1.6325342486E7
AT ITER 596 NEW BEST:: SOT 104150231 SOS 72649656 HAS SOPS 66074646 HAS SOUS 16331903 HAS SOUPS 16249400 WITH SCORE 1.6322049656E7
AT ITER 605 NEW BEST:: SOT 104218541 SOS 72703572 HAS SOPS 66135065 HAS SOUS 16326155 HAS SOUPS 16243652 WITH SCORE 1.6316355572E7
AT ITER 612 NEW BEST:: SOT 104217208 SOS 72702105 HAS SOPS 66131672 HAS SOUS 16319111 HAS SOUPS 16236608 WITH SCORE 1.6309310105E7
AT ITER 614 NEW BEST:: SOT 104217208 SOS 72679622 HAS SOPS 66105850 HAS SOUS 16319069 HAS SOUPS 16236506 WITH SCORE 1.6309185622E7
AT ITER 622 NEW BEST:: SOT 104240615 SOS 72703353 HAS SOPS 66130499 HAS SOUS 16318189 HAS SOUPS 16235626 WITH SCORE 1.6308329353E7
AT ITER 628 NEW BEST:: SOT 104240654 SOS 72796268 HAS SOPS 66223401 HAS SOUS 16317763 HAS SOUPS 16235200 WITH SCORE 1.6307996268E7
AT ITER 644 NEW BEST:: SOT 104240691 SOS 72772026 HAS SOPS 66213663 HAS SOUS 16317690 HAS SOUPS 16235164 WITH SCORE 1.6307936026E7
AT ITER 645 NEW BEST:: SOT 104240271 SOS 72771726 HAS SOPS 66213633 HAS SOUS 16315935 HAS SOUPS 16233409 WITH SCORE 1.6306180726E7
AT ITER 653 NEW BEST:: SOT 104239542 SOS 72713992 HAS SOPS 66152076 HAS SOUS 16312899 HAS SOUPS 16230373 WITH SCORE 1.6303086992E7
AT ITER 661 NEW BEST:: SOT 104262440 SOS 72737046 HAS SOPS 66174506 HAS SOUS 16307842 HAS SOUPS 16225316 WITH SCORE 1.6298053046E7
AT ITER 672 NEW BEST:: SOT 104261643 SOS 72726424 HAS SOPS 66149517 HAS SOUS 16305166 HAS SOUPS 16222640 WITH SCORE 1.6295366424E7
AT ITER 673 NEW BEST:: SOT 104259813 SOS 72725318 HAS SOPS 66146259 HAS SOUS 16303084 HAS SOUPS 16220558 WITH SCORE 1.6293283318E7
AT ITER 694 NEW BEST:: SOT 104258656 SOS 72724249 HAS SOPS 66144926 HAS SOUS 16297363 HAS SOUPS 16214837 WITH SCORE 1.6287561249E7
AT ITER 699 NEW BEST:: SOT 104258560 SOS 72724188 HAS SOPS 66145136 HAS SOUS 16295853 HAS SOUPS 16213327 WITH SCORE 1.6286051188E7
AT ITER 704 NEW BEST:: SOT 104256935 SOS 72718530 HAS SOPS 66139166 HAS SOUS 16294676 HAS SOUPS 16212332 WITH SCORE 1.628505053E7
AT ITER 741 NEW BEST:: SOT 104107371 SOS 72569284 HAS SOPS 65988620 HAS SOUS 16285629 HAS SOUPS 16203285 WITH SCORE 1.6275854284E7
AT ITER 746 NEW BEST:: SOT 104114579 SOS 72577218 HAS SOPS 65987041 HAS SOUS 16284452 HAS SOUPS 16202108 WITH SCORE 1.6274685218E7
AT ITER 772 NEW BEST:: SOT 104114991 SOS 72577643 HAS SOPS 65987412 HAS SOUS 16284148 HAS SOUPS 16201804 WITH SCORE 1.6274381643E7
AT ITER 780 NEW BEST:: SOT 104074687 SOS 72563064 HAS SOPS 65982808 HAS SOUS 16267424 HAS SOUPS 16185080 WITH SCORE 1.6257643064E7
AT ITER 791 NEW BEST:: SOT 104068228 SOS 72556658 HAS SOPS 65976782 HAS SOUS 16257405 HAS SOUPS 16175061 WITH SCORE 1.6247617658E7
AT ITER 818 NEW BEST:: SOT 104067247 SOS 72555633 HAS SOPS 65975624 HAS SOUS 16254751 HAS SOUPS 16172407 WITH SCORE 1.6244962633E7
AT ITER 830 NEW BEST:: SOT 104063984 SOS 72553702 HAS SOPS 65974322 HAS SOUS 16253032 HAS SOUPS 16170635 WITH SCORE 1.6243188702E7
AT ITER 844 NEW BEST:: SOT 104067359 SOS 72557260 HAS SOPS 65977880 HAS SOUS 16249111 HAS SOUPS 16166714 WITH SCORE 1.623927126E7
AT ITER 845 NEW BEST:: SOT 104066303 SOS 72556182 HAS SOPS 65976747 HAS SOUS 16246768 HAS SOUPS 16164371 WITH SCORE 1.6236927182E7
AT ITER 863 NEW BEST:: SOT 104064927 SOS 72554806 HAS SOPS 65975369 HAS SOUS 16242531 HAS SOUPS 16160134 WITH SCORE 1.6232688806E7
AT ITER 878 NEW BEST:: SOT 104065354 SOS 72555232 HAS SOPS 65975844 HAS SOUS 16242518 HAS SOUPS 16160121 WITH SCORE 1.6232676232E7
AT ITER 883 NEW BEST:: SOT 104065034 SOS 72554912 HAS SOPS 65975515 HAS SOUS 16241536 HAS SOUPS 16159139 WITH SCORE 1.6231693912E7
AT ITER 884 NEW BEST:: SOT 104064867 SOS 72554833 HAS SOPS 65975011 HAS SOUS 16238034 HAS SOUPS 16155637 WITH SCORE 1.6228191833E7
AT ITER 890 NEW BEST:: SOT 104060120 SOS 72550491 HAS SOPS 65971114 HAS SOUS 16229079 HAS SOUPS 16146758 WITH SCORE 1.6219308491E7
AT ITER 907 NEW BEST:: SOT 104056135 SOS 72520433 HAS SOPS 65969696 HAS SOUS 16223892 HAS SOUPS 16141571 WITH SCORE 1.6214091433E7
AT ITER 908 NEW BEST:: SOT 104063545 SOS 72527824 HAS SOPS 65974526 HAS SOUS 16192007 HAS SOUPS 16109686 WITH SCORE 1.6182213824E7
AT ITER 929 NEW BEST:: SOT 104061922 SOS 72526359 HAS SOPS 65973014 HAS SOUS 16188268 HAS SOUPS 16105947 WITH SCORE 1.6178473359E7
AT ITER 956 NEW BEST:: SOT 104061054 SOS 72525495 HAS SOPS 65972190 HAS SOUS 16187932 HAS SOUPS 16105611 WITH SCORE 1.6178136495E7
AT ITER 961 NEW BEST:: SOT 104035481 SOS 72542537 HAS SOPS 65996985 HAS SOUS 16181943 HAS SOUPS 16099908 WITH SCORE 1.6172450537E7
AT ITER 971 NEW BEST:: SOT 103918508 SOS 72425564 HAS SOPS 65879904 HAS SOUS 16060720 HAS SOUPS 15978685 WITH SCORE 1.6051110564E7
AT ITER 982 NEW BEST:: SOT 103888787 SOS 72219840 HAS SOPS 65659609 HAS SOUS 16053390 HAS SOUPS 15966270 WITH SCORE 1.603848984E7
AT ITER 1001 NEW BEST:: SOT 103887532 SOS 72218614 HAS SOPS 65658072 HAS SOUS 16049487 HAS SOUPS 15962367 WITH SCORE 1.6034585614E7
AT ITER 1009 NEW BEST:: SOT 103961283 SOS 72285711 HAS SOPS 65767383 HAS SOUS 16043172 HAS SOUPS 15956559 WITH SCORE 1.6028844711E7
AT ITER 1030 NEW BEST:: SOT 103959156 SOS 72283624 HAS SOPS 65765236 HAS SOUS 16038026 HAS SOUPS 15951413 WITH SCORE 1.6023696624E7
AT ITER 1033 NEW BEST:: SOT 103959432 SOS 72277533 HAS SOPS 65769086 HAS SOUS 16037811 HAS SOUPS 15951266 WITH SCORE 1.6023543533E7
AT ITER 1043 NEW BEST:: SOT 104131021 SOS 72436754 HAS SOPS 65916308 HAS SOUS 16014042 HAS SOUPS 15928020 WITH SCORE 1.6000456754E7
AT ITER 1047 NEW BEST:: SOT 104130579 SOS 72434347 HAS SOPS 65913630 HAS SOUS 16012064 HAS SOUPS 15925953 WITH SCORE 1.5998387347E7
AT ITER 1049 NEW BEST:: SOT 104118866 SOS 72422340 HAS SOPS 65903587 HAS SOUS 16008793 HAS SOUPS 15922682 WITH SCORE 1.599510434E7
AT ITER 1069 NEW BEST:: SOT 104080998 SOS 72449837 HAS SOPS 65924811 HAS SOUS 15996708 HAS SOUPS 15910597 WITH SCORE 1.5983046837E7
AT ITER 1123 NEW BEST:: SOT 104079790 SOS 72447362 HAS SOPS 65920065 HAS SOUS 15994739 HAS SOUPS 15908628 WITH SCORE 1.5981075362E7
AT ITER 1124 NEW BEST:: SOT 104089250 SOS 72456620 HAS SOPS 65927060 HAS SOUS 15981652 HAS SOUPS 15895541 WITH SCORE 1.596799762E7
AT ITER 1127 NEW BEST:: SOT 104118201 SOS 72499429 HAS SOPS 65958628 HAS SOUS 15970862 HAS SOUPS 15884751 WITH SCORE 1.5957250429E7
AT ITER 1129 NEW BEST:: SOT 104118209 SOS 72494951 HAS SOPS 65954270 HAS SOUS 15970531 HAS SOUPS 15884434 WITH SCORE 1.5956928951E7
AT ITER 1135 NEW BEST:: SOT 104093993 SOS 72493621 HAS SOPS 65962422 HAS SOUS 15966157 HAS SOUPS 15880060 WITH SCORE 1.5952553621E7
AT ITER 1146 NEW BEST:: SOT 104077115 SOS 72476658 HAS SOPS 65945062 HAS SOUS 15947216 HAS SOUPS 15861119 WITH SCORE 1.5933595658E7
AT ITER 1152 NEW BEST:: SOT 104070282 SOS 72445935 HAS SOPS 65936099 HAS SOUS 15942012 HAS SOUPS 15856025 WITH SCORE 1.5928470935E7
AT ITER 1155 NEW BEST:: SOT 104071183 SOS 72351849 HAS SOPS 65835165 HAS SOUS 15931617 HAS SOUPS 15845896 WITH SCORE 1.5918247849E7
AT ITER 1199 NEW BEST:: SOT 104068881 SOS 72349583 HAS SOPS 65832568 HAS SOUS 15927699 HAS SOUPS 15841978 WITH SCORE 1.5914327583E7
AT ITER 1201 NEW BEST:: SOT 104066761 SOS 72347659 HAS SOPS 65829938 HAS SOUS 15927695 HAS SOUPS 15841974 WITH SCORE 1.5914321659E7
AT ITER 1211 NEW BEST:: SOT 104063763 SOS 72344655 HAS SOPS 65826053 HAS SOUS 15916312 HAS SOUPS 15830591 WITH SCORE 1.5902935655E7
AT ITER 1229 NEW BEST:: SOT 104059685 SOS 72340444 HAS SOPS 65824871 HAS SOUS 15916137 HAS SOUPS 15830416 WITH SCORE 1.5902756444E7
AT ITER 1233 NEW BEST:: SOT 104068878 SOS 72350730 HAS SOPS 65837027 HAS SOUS 15906930 HAS SOUPS 15821360 WITH SCORE 1.589371073E7
AT ITER 1235 NEW BEST:: SOT 104084842 SOS 72410043 HAS SOPS 65901627 HAS SOUS 15898984 HAS SOUPS 15813547 WITH SCORE 1.5885957043E7
AT ITER 1250 NEW BEST:: SOT 104093547 SOS 72486487 HAS SOPS 65972744 HAS SOUS 15892201 HAS SOUPS 15806873 WITH SCORE 1.5879359487E7
AT ITER 1265 NEW BEST:: SOT 104092942 SOS 72485860 HAS SOPS 65972062 HAS SOUS 15891090 HAS SOUPS 15805762 WITH SCORE 1.587824786E7
AT ITER 1307 NEW BEST:: SOT 104055135 SOS 72448053 HAS SOPS 65933963 HAS SOUS 15845068 HAS SOUPS 15759740 WITH SCORE 1.5832188053E7
AT ITER 1324 NEW BEST:: SOT 104055142 SOS 72448059 HAS SOPS 65933970 HAS SOUS 15845066 HAS SOUPS 15759738 WITH SCORE 1.5832186059E7
AT ITER 1331 NEW BEST:: SOT 104055910 SOS 72448713 HAS SOPS 65934422 HAS SOUS 15844502 HAS SOUPS 15759174 WITH SCORE 1.5831622713E7
AT ITER 1355 NEW BEST:: SOT 103994738 SOS 72376063 HAS SOPS 65844696 HAS SOUS 15835967 HAS SOUPS 15750639 WITH SCORE 1.5823015063E7
AT ITER 1361 NEW BEST:: SOT 103996886 SOS 72375399 HAS SOPS 65842813 HAS SOUS 15833002 HAS SOUPS 15747715 WITH SCORE 1.5820090399E7
AT ITER 1369 NEW BEST:: SOT 104002881 SOS 72381442 HAS SOPS 65848935 HAS SOUS 15826407 HAS SOUPS 15741120 WITH SCORE 1.5813501442E7
AT ITER 1372 NEW BEST:: SOT 104007177 SOS 72385721 HAS SOPS 65852747 HAS SOUS 15822902 HAS SOUPS 15737599 WITH SCORE 1.5809984721E7
AT ITER 1379 NEW BEST:: SOT 104007860 SOS 72342577 HAS SOPS 65849982 HAS SOUS 15820852 HAS SOUPS 15735662 WITH SCORE 1.5808004577E7
AT ITER 1393 NEW BEST:: SOT 104008624 SOS 72343432 HAS SOPS 65850876 HAS SOUS 15820613 HAS SOUPS 15735423 WITH SCORE 1.5807766432E7
AT ITER 1402 NEW BEST:: SOT 104008077 SOS 72339931 HAS SOPS 65843705 HAS SOUS 15819421 HAS SOUPS 15734231 WITH SCORE 1.5806570931E7
AT ITER 1410 NEW BEST:: SOT 103943230 SOS 72275084 HAS SOPS 65778700 HAS SOUS 15749646 HAS SOUPS 15664456 WITH SCORE 1.5736731084E7
AT ITER 1412 NEW BEST:: SOT 103941718 SOS 72273544 HAS SOPS 65777062 HAS SOUS 15746720 HAS SOUPS 15661544 WITH SCORE 1.5733817544E7
AT ITER 1427 NEW BEST:: SOT 103939725 SOS 72271551 HAS SOPS 65774774 HAS SOUS 15738902 HAS SOUPS 15653726 WITH SCORE 1.5725997551E7
AT ITER 1438 NEW BEST:: SOT 103947604 SOS 72279619 HAS SOPS 65783067 HAS SOUS 15736873 HAS SOUPS 15651697 WITH SCORE 1.5723976619E7
AT ITER 1453 NEW BEST:: SOT 103967391 SOS 72299909 HAS SOPS 65802038 HAS SOUS 15732924 HAS SOUPS 15647748 WITH SCORE 1.5720047909E7
AT ITER 1455 NEW BEST:: SOT 103963220 SOS 72296278 HAS SOPS 65797921 HAS SOUS 15726079 HAS SOUPS 15640758 WITH SCORE 1.5713054278E7
AT ITER 1456 NEW BEST:: SOT 103963622 SOS 72299127 HAS SOPS 65801351 HAS SOUS 15725201 HAS SOUPS 15639927 WITH SCORE 1.5712226127E7
AT ITER 1457 NEW BEST:: SOT 103959645 SOS 72295322 HAS SOPS 65795740 HAS SOUS 15716007 HAS SOUPS 15630797 WITH SCORE 1.5703092322E7
AT ITER 1458 NEW BEST:: SOT 103960205 SOS 72295954 HAS SOPS 65796388 HAS SOUS 15714359 HAS SOUPS 15629149 WITH SCORE 1.5701444954E7
AT ITER 1508 NEW BEST:: SOT 103958525 SOS 72294247 HAS SOPS 65794303 HAS SOUS 15713101 HAS SOUPS 15627891 WITH SCORE 1.5700185247E7
AT ITER 1519 NEW BEST:: SOT 103968097 SOS 72304081 HAS SOPS 65803161 HAS SOUS 15707328 HAS SOUPS 15622118 WITH SCORE 1.5694422081E7
AT ITER 1523 NEW BEST:: SOT 103968146 SOS 72301456 HAS SOPS 65804130 HAS SOUS 15707247 HAS SOUPS 15622106 WITH SCORE 1.5694407456E7
AT ITER 1534 NEW BEST:: SOT 103968010 SOS 72301320 HAS SOPS 65803990 HAS SOUS 15706970 HAS SOUPS 15621829 WITH SCORE 1.569413032E7
AT ITER 1536 NEW BEST:: SOT 103968010 SOS 72292170 HAS SOPS 65794443 HAS SOUS 15705102 HAS SOUPS 15619961 WITH SCORE 1.569225317E7
AT ITER 1546 NEW BEST:: SOT 103988443 SOS 72262596 HAS SOPS 65826145 HAS SOUS 15701105 HAS SOUPS 15616385 WITH SCORE 1.5688647596E7
AT ITER 1551 NEW BEST:: SOT 103976988 SOS 72251415 HAS SOPS 65813105 HAS SOUS 15669824 HAS SOUPS 15585003 WITH SCORE 1.5657254415E7
AT ITER 1554 NEW BEST:: SOT 103971293 SOS 72245733 HAS SOPS 65807504 HAS SOUS 15664726 HAS SOUPS 15579905 WITH SCORE 1.5652150733E7
AT ITER 1560 NEW BEST:: SOT 103971426 SOS 72233165 HAS SOPS 65806777 HAS SOUS 15664319 HAS SOUPS 15579547 WITH SCORE 1.5651780165E7
AT ITER 1568 NEW BEST:: SOT 103973105 SOS 72234851 HAS SOPS 65808577 HAS SOUS 15664299 HAS SOUPS 15579527 WITH SCORE 1.5651761851E7
AT ITER 1570 NEW BEST:: SOT 104004829 SOS 72299004 HAS SOPS 65865930 HAS SOUS 15657309 HAS SOUPS 15572537 WITH SCORE 1.5644836004E7
AT ITER 1571 NEW BEST:: SOT 104009289 SOS 72303826 HAS SOPS 65869557 HAS SOUS 15651324 HAS SOUPS 15566552 WITH SCORE 1.5638855826E7
AT ITER 1574 NEW BEST:: SOT 104009390 SOS 72303666 HAS SOPS 65869013 HAS SOUS 15649946 HAS SOUPS 15565174 WITH SCORE 1.5637477666E7
AT ITER 1588 NEW BEST:: SOT 104065717 SOS 72360277 HAS SOPS 65928885 HAS SOUS 15636859 HAS SOUPS 15552087 WITH SCORE 1.5624447277E7
AT ITER 1604 NEW BEST:: SOT 104063398 SOS 72357958 HAS SOPS 65926368 HAS SOUS 15633082 HAS SOUPS 15548310 WITH SCORE 1.5620667958E7
AT ITER 1611 NEW BEST:: SOT 104055013 SOS 72310249 HAS SOPS 65881507 HAS SOUS 15609258 HAS SOUPS 15524486 WITH SCORE 1.5596796249E7
AT ITER 1616 NEW BEST:: SOT 103596400 SOS 71945178 HAS SOPS 65553805 HAS SOUS 15231340 HAS SOUPS 15146568 WITH SCORE 1.5218513178E7
AT ITER 1667 NEW BEST:: SOT 103609712 SOS 71985089 HAS SOPS 65598159 HAS SOUS 15222317 HAS SOUPS 15137699 WITH SCORE 1.5209684089E7
AT ITER 1675 NEW BEST:: SOT 103611345 SOS 71986509 HAS SOPS 65598959 HAS SOUS 15221525 HAS SOUPS 15136997 WITH SCORE 1.5208983509E7
AT ITER 1690 NEW BEST:: SOT 103607530 SOS 71982589 HAS SOPS 65594654 HAS SOUS 15215610 HAS SOUPS 15131082 WITH SCORE 1.5203064589E7
AT ITER 1691 NEW BEST:: SOT 103607871 SOS 71985818 HAS SOPS 65597883 HAS SOUS 15215292 HAS SOUPS 15130764 WITH SCORE 1.5202749818E7
AT ITER 1700 NEW BEST:: SOT 103609092 SOS 71986975 HAS SOPS 65599540 HAS SOUS 15214202 HAS SOUPS 15129662 WITH SCORE 1.5201648975E7
AT ITER 1719 NEW BEST:: SOT 103602184 SOS 71980067 HAS SOPS 65592544 HAS SOUS 15207422 HAS SOUPS 15122882 WITH SCORE 1.5194862067E7
AT ITER 1720 NEW BEST:: SOT 103586348 SOS 71966475 HAS SOPS 65551301 HAS SOUS 15168208 HAS SOUPS 15083446 WITH SCORE 1.5155412475E7
AT ITER 1736 NEW BEST:: SOT 103585903 SOS 71966025 HAS SOPS 65550816 HAS SOUS 15167363 HAS SOUPS 15082601 WITH SCORE 1.5154567025E7
AT ITER 1737 NEW BEST:: SOT 103585305 SOS 71964767 HAS SOPS 65546564 HAS SOUS 15158023 HAS SOUPS 15073261 WITH SCORE 1.5145225767E7
AT ITER 1739 NEW BEST:: SOT 103575617 SOS 71960350 HAS SOPS 65542034 HAS SOUS 15144483 HAS SOUPS 15060412 WITH SCORE 1.513237235E7
AT ITER 1753 NEW BEST:: SOT 103587638 SOS 71971973 HAS SOPS 65553794 HAS SOUS 15124767 HAS SOUPS 15042360 WITH SCORE 1.5114331973E7
AT ITER 1758 NEW BEST:: SOT 103585025 SOS 71969360 HAS SOPS 65550593 HAS SOUS 15122826 HAS SOUPS 15040419 WITH SCORE 1.511238836E7
AT ITER 1759 NEW BEST:: SOT 103581219 SOS 71965513 HAS SOPS 65546102 HAS SOUS 15115334 HAS SOUPS 15032927 WITH SCORE 1.5104892513E7
AT ITER 1782 NEW BEST:: SOT 103576026 SOS 71960124 HAS SOPS 65540818 HAS SOUS 15105905 HAS SOUPS 15023498 WITH SCORE 1.5095458124E7
AT ITER 1801 NEW BEST:: SOT 103552782 SOS 71730833 HAS SOPS 65281349 HAS SOUS 15078848 HAS SOUPS 14996441 WITH SCORE 1.5068171833E7
AT ITER 1817 NEW BEST:: SOT 103560894 SOS 71738429 HAS SOPS 65285821 HAS SOUS 15077394 HAS SOUPS 14994987 WITH SCORE 1.5066725429E7
AT ITER 1835 NEW BEST:: SOT 103562475 SOS 71740122 HAS SOPS 65286463 HAS SOUS 15074778 HAS SOUPS 14992371 WITH SCORE 1.5064111122E7
AT ITER 1838 NEW BEST:: SOT 103554799 SOS 71732446 HAS SOPS 65278536 HAS SOUS 15066747 HAS SOUPS 14984340 WITH SCORE 1.5056072446E7
AT ITER 1841 NEW BEST:: SOT 103555541 SOS 71680556 HAS SOPS 65205992 HAS SOUS 15064707 HAS SOUPS 14982300 WITH SCORE 1.5053980556E7
AT ITER 1842 NEW BEST:: SOT 103509675 SOS 71634807 HAS SOPS 65157003 HAS SOUS 14985848 HAS SOUPS 14902762 WITH SCORE 1.4974396807E7
AT ITER 1850 NEW BEST:: SOT 103509607 SOS 71634745 HAS SOPS 65156682 HAS SOUS 14984667 HAS SOUPS 14901581 WITH SCORE 1.4973215745E7
AT ITER 1865 NEW BEST:: SOT 103509407 SOS 71634540 HAS SOPS 65156427 HAS SOUS 14984417 HAS SOUPS 14901331 WITH SCORE 1.497296554E7
AT ITER 1870 NEW BEST:: SOT 103508833 SOS 71633318 HAS SOPS 65155476 HAS SOUS 14978465 HAS SOUPS 14895403 WITH SCORE 1.4967036318E7
AT ITER 1877 NEW BEST:: SOT 103509442 SOS 71641337 HAS SOPS 65168985 HAS SOUS 14976519 HAS SOUPS 14893491 WITH SCORE 1.4965132337E7
AT ITER 1879 NEW BEST:: SOT 103511776 SOS 71643529 HAS SOPS 65170727 HAS SOUS 14973335 HAS SOUPS 14890307 WITH SCORE 1.4961950529E7
AT ITER 1894 NEW BEST:: SOT 103511720 SOS 71643471 HAS SOPS 65170659 HAS SOUS 14973311 HAS SOUPS 14890283 WITH SCORE 1.4961926471E7
AT ITER 1897 NEW BEST:: SOT 103511914 SOS 71777509 HAS SOPS 65304770 HAS SOUS 14972164 HAS SOUPS 14889136 WITH SCORE 1.4960913509E7
AT ITER 1935 NEW BEST:: SOT 103495932 SOS 71761527 HAS SOPS 65288788 HAS SOUS 14958378 HAS SOUPS 14875350 WITH SCORE 1.4947111527E7
AT ITER 1938 NEW BEST:: SOT 103497066 SOS 71762751 HAS SOPS 65290123 HAS SOUS 14957913 HAS SOUPS 14874885 WITH SCORE 1.4946647751E7
AT ITER 1951 NEW BEST:: SOT 103497066 SOS 71756253 HAS SOPS 65283625 HAS SOUS 14957823 HAS SOUPS 14874795 WITH SCORE 1.4946551253E7
AT ITER 1958 NEW BEST:: SOT 103497057 SOS 71756235 HAS SOPS 65283285 HAS SOUS 14953849 HAS SOUPS 14870821 WITH SCORE 1.4942577235E7
AT ITER 1968 NEW BEST:: SOT 103499247 SOS 71803547 HAS SOPS 65332010 HAS SOUS 14944150 HAS SOUPS 14861122 WITH SCORE 1.4932925547E7
AT ITER 1986 NEW BEST:: SOT 103457069 SOS 71759378 HAS SOPS 65287365 HAS SOUS 14877509 HAS SOUPS 14794704 WITH SCORE 1.4866463378E7
AT ITER 1998 NEW BEST:: SOT 103453450 SOS 71718636 HAS SOPS 65233108 HAS SOUS 14876974 HAS SOUPS 14794109 WITH SCORE 1.4865827636E7
AT ITER 1999 NEW BEST:: SOT 103450070 SOS 71715323 HAS SOPS 65229624 HAS SOUS 14873701 HAS SOUPS 14790836 WITH SCORE 1.4862551323E7
AT ITER 2005 NEW BEST:: SOT 103448372 SOS 71713284 HAS SOPS 65225156 HAS SOUS 14870377 HAS SOUPS 14787421 WITH SCORE 1.4859134284E7
AT ITER 2034 NEW BEST:: SOT 103459436 SOS 71668717 HAS SOPS 65223822 HAS SOUS 14856539 HAS SOUPS 14773550 WITH SCORE 1.4845218717E7
AT ITER 2048 NEW BEST:: SOT 103456285 SOS 71669247 HAS SOPS 65223718 HAS SOUS 14856508 HAS SOUPS 14773519 WITH SCORE 1.4845188247E7
AT ITER 2050 NEW BEST:: SOT 103454697 SOS 71667564 HAS SOPS 65221688 HAS SOUS 14850610 HAS SOUPS 14767621 WITH SCORE 1.4839288564E7
AT ITER 2051 NEW BEST:: SOT 103451888 SOS 71664755 HAS SOPS 65218667 HAS SOUS 14843711 HAS SOUPS 14760722 WITH SCORE 1.4832386755E7
AT ITER 2055 NEW BEST:: SOT 103451862 SOS 71857907 HAS SOPS 65412336 HAS SOUS 14843098 HAS SOUPS 14760109 WITH SCORE 1.4831966907E7
AT ITER 2086 NEW BEST:: SOT 103453033 SOS 71859078 HAS SOPS 65413473 HAS SOUS 14842559 HAS SOUPS 14759570 WITH SCORE 1.4831429078E7
AT ITER 2099 NEW BEST:: SOT 103454307 SOS 71860470 HAS SOPS 65414057 HAS SOUS 14840998 HAS SOUPS 14757703 WITH SCORE 1.482956347E7
AT ITER 2129 NEW BEST:: SOT 103505045 SOS 71949730 HAS SOPS 65498790 HAS SOUS 14825520 HAS SOUPS 14742472 WITH SCORE 1.481442173E7
AT ITER 2136 NEW BEST:: SOT 103504388 SOS 71949108 HAS SOPS 65497961 HAS SOUS 14824094 HAS SOUPS 14741046 WITH SCORE 1.4812995108E7
AT ITER 2143 NEW BEST:: SOT 103525774 SOS 71970734 HAS SOPS 65518625 HAS SOUS 14821760 HAS SOUPS 14738712 WITH SCORE 1.4810682734E7
AT ITER 2146 NEW BEST:: SOT 103528050 SOS 71973109 HAS SOPS 65520728 HAS SOUS 14814210 HAS SOUPS 14731162 WITH SCORE 1.4803135109E7
AT ITER 2155 NEW BEST:: SOT 103751714 SOS 72213249 HAS SOPS 65746316 HAS SOUS 14730562 HAS SOUPS 14647680 WITH SCORE 1.4719893249E7
AT ITER 2165 NEW BEST:: SOT 103757533 SOS 72214117 HAS SOPS 65743665 HAS SOUS 14722007 HAS SOUPS 14639880 WITH SCORE 1.4712094117E7
AT ITER 2166 NEW BEST:: SOT 103765416 SOS 72221171 HAS SOPS 65747848 HAS SOUS 14686483 HAS SOUPS 14604356 WITH SCORE 1.4676577171E7
AT ITER 2189 NEW BEST:: SOT 103765470 SOS 72221515 HAS SOPS 65748192 HAS SOUS 14686114 HAS SOUPS 14603987 WITH SCORE 1.4676208515E7
AT ITER 2213 NEW BEST:: SOT 103762320 SOS 72218361 HAS SOPS 65744024 HAS SOUS 14679615 HAS SOUPS 14597488 WITH SCORE 1.4669706361E7
AT ITER 2245 NEW BEST:: SOT 103761108 SOS 72217919 HAS SOPS 65743231 HAS SOUS 14678561 HAS SOUPS 14596434 WITH SCORE 1.4668651919E7
AT ITER 2257 NEW BEST:: SOT 103762685 SOS 72215184 HAS SOPS 65738174 HAS SOUS 14677954 HAS SOUPS 14595865 WITH SCORE 1.4668080184E7
AT ITER 2262 NEW BEST:: SOT 103762343 SOS 72214834 HAS SOPS 65737832 HAS SOUS 14677110 HAS SOUPS 14595021 WITH SCORE 1.4667235834E7
AT ITER 2272 NEW BEST:: SOT 103762487 SOS 72214934 HAS SOPS 65737838 HAS SOUS 14676499 HAS SOUPS 14594410 WITH SCORE 1.4666624934E7
AT ITER 2277 NEW BEST:: SOT 103765747 SOS 72192228 HAS SOPS 65713663 HAS SOUS 14665986 HAS SOUPS 14583897 WITH SCORE 1.4656089228E7
AT ITER 2280 NEW BEST:: SOT 103765586 SOS 72196096 HAS SOPS 65720166 HAS SOUS 14665144 HAS SOUPS 14583070 WITH SCORE 1.4655266096E7
AT ITER 2318 NEW BEST:: SOT 103764588 SOS 72195180 HAS SOPS 65719188 HAS SOUS 14662943 HAS SOUPS 14580869 WITH SCORE 1.465306418E7
AT ITER 2329 NEW BEST:: SOT 103779488 SOS 72210293 HAS SOPS 65733245 HAS SOUS 14659897 HAS SOUPS 14577823 WITH SCORE 1.4650033293E7
AT ITER 2336 NEW BEST:: SOT 103779606 SOS 72164363 HAS SOPS 65739197 HAS SOUS 14659325 HAS SOUPS 14577398 WITH SCORE 1.4649562363E7
AT ITER 2339 NEW BEST:: SOT 103773328 SOS 72158639 HAS SOPS 65734117 HAS SOUS 14653264 HAS SOUPS 14571337 WITH SCORE 1.4643495639E7
AT ITER 2348 NEW BEST:: SOT 103794937 SOS 72116852 HAS SOPS 65680481 HAS SOUS 14605136 HAS SOUPS 14523209 WITH SCORE 1.4595325852E7
AT ITER 2374 NEW BEST:: SOT 103814663 SOS 72138397 HAS SOPS 65698361 HAS SOUS 14585692 HAS SOUPS 14503733 WITH SCORE 1.4575871397E7
AT ITER 2385 NEW BEST:: SOT 103928434 SOS 72275250 HAS SOPS 65836355 HAS SOUS 14554702 HAS SOUPS 14472904 WITH SCORE 1.454517925E7
AT ITER 2399 NEW BEST:: SOT 103927150 SOS 72273963 HAS SOPS 65834758 HAS SOUS 14550148 HAS SOUPS 14468350 WITH SCORE 1.4540623963E7
AT ITER 2400 NEW BEST:: SOT 103836499 SOS 72183312 HAS SOPS 65745322 HAS SOUS 14481362 HAS SOUPS 14399958 WITH SCORE 1.4472141312E7
AT ITER 2416 NEW BEST:: SOT 103818813 SOS 72157269 HAS SOPS 65712390 HAS SOUS 14470419 HAS SOUPS 14382085 WITH SCORE 1.4454242269E7
AT ITER 2422 NEW BEST:: SOT 103818769 SOS 72157223 HAS SOPS 65712334 HAS SOUS 14470219 HAS SOUPS 14381885 WITH SCORE 1.4454042223E7
AT ITER 2425 NEW BEST:: SOT 103939244 SOS 72438792 HAS SOPS 65991052 HAS SOUS 14404545 HAS SOUPS 14317108 WITH SCORE 1.4389546792E7
AT ITER 2446 NEW BEST:: SOT 103934598 SOS 72433855 HAS SOPS 65984832 HAS SOUS 14399420 HAS SOUPS 14311983 WITH SCORE 1.4384416855E7
AT ITER 2449 NEW BEST:: SOT 103934958 SOS 72433615 HAS SOPS 65984432 HAS SOUS 14398676 HAS SOUPS 14311239 WITH SCORE 1.4383672615E7
AT ITER 2454 NEW BEST:: SOT 103940332 SOS 72454321 HAS SOPS 66000699 HAS SOUS 14393245 HAS SOUPS 14305808 WITH SCORE 1.4378262321E7
AT ITER 2458 NEW BEST:: SOT 103934164 SOS 72458481 HAS SOPS 65976195 HAS SOUS 14391838 HAS SOUPS 14304293 WITH SCORE 1.4376751481E7
AT ITER 2460 NEW BEST:: SOT 103933953 SOS 72459307 HAS SOPS 65976357 HAS SOUS 14391527 HAS SOUPS 14303982 WITH SCORE 1.4376441307E7
AT ITER 2462 NEW BEST:: SOT 103934211 SOS 72450436 HAS SOPS 65971122 HAS SOUS 14391134 HAS SOUPS 14303601 WITH SCORE 1.4376051436E7
AT ITER 2484 NEW BEST:: SOT 103934166 SOS 72432199 HAS SOPS 65952422 HAS SOUS 14390263 HAS SOUPS 14302730 WITH SCORE 1.4375162199E7
AT ITER 2503 NEW BEST:: SOT 103937593 SOS 72435686 HAS SOPS 65955804 HAS SOUS 14388650 HAS SOUPS 14301117 WITH SCORE 1.4373552686E7
AT ITER 2526 NEW BEST:: SOT 103938357 SOS 72426458 HAS SOPS 65947388 HAS SOUS 14386744 HAS SOUPS 14299211 WITH SCORE 1.4371637458E7
AT ITER 2539 NEW BEST:: SOT 103969714 SOS 72458245 HAS SOPS 65975692 HAS SOUS 14377932 HAS SOUPS 14290290 WITH SCORE 1.4362748245E7
AT ITER 2541 NEW BEST:: SOT 103970910 SOS 72459087 HAS SOPS 65971059 HAS SOUS 14377769 HAS SOUPS 14290127 WITH SCORE 1.4362586087E7
AT ITER 2548 NEW BEST:: SOT 103979765 SOS 72351358 HAS SOPS 65888938 HAS SOUS 14376579 HAS SOUPS 14287433 WITH SCORE 1.4359784358E7
AT ITER 2561 NEW BEST:: SOT 103957474 SOS 72374766 HAS SOPS 65923463 HAS SOUS 14370278 HAS SOUPS 14282067 WITH SCORE 1.4354441766E7
AT ITER 2570 NEW BEST:: SOT 103984971 SOS 72403592 HAS SOPS 65952934 HAS SOUS 14360441 HAS SOUPS 14272453 WITH SCORE 1.4344856592E7
AT ITER 2580 NEW BEST:: SOT 103985074 SOS 72403040 HAS SOPS 65952268 HAS SOUS 14360292 HAS SOUPS 14272304 WITH SCORE 1.434470704E7
AT ITER 2589 NEW BEST:: SOT 103997358 SOS 72415266 HAS SOPS 65964080 HAS SOUS 14350773 HAS SOUPS 14262808 WITH SCORE 1.4335223266E7
AT ITER 2595 NEW BEST:: SOT 103995797 SOS 72413679 HAS SOPS 65962623 HAS SOUS 14346088 HAS SOUPS 14258123 WITH SCORE 1.4330536679E7
AT ITER 2653 NEW BEST:: SOT 103970346 SOS 72388228 HAS SOPS 65937386 HAS SOUS 14322762 HAS SOUPS 14234797 WITH SCORE 1.4307185228E7
AT ITER 2674 NEW BEST:: SOT 103961873 SOS 72377221 HAS SOPS 65918964 HAS SOUS 14322253 HAS SOUPS 14234288 WITH SCORE 1.4306665221E7
AT ITER 2686 NEW BEST:: SOT 103961953 SOS 72377293 HAS SOPS 65919032 HAS SOUS 14322221 HAS SOUPS 14234256 WITH SCORE 1.4306633293E7
AT ITER 2694 NEW BEST:: SOT 103967940 SOS 72384288 HAS SOPS 65919301 HAS SOUS 14300668 HAS SOUPS 14212721 WITH SCORE 1.4285105288E7
AT ITER 2709 NEW BEST:: SOT 103990266 SOS 72358070 HAS SOPS 65930492 HAS SOUS 14248025 HAS SOUPS 14160579 WITH SCORE 1.423293707E7
AT ITER 2710 NEW BEST:: SOT 103989954 SOS 72328038 HAS SOPS 65900132 HAS SOUS 14245294 HAS SOUPS 14157848 WITH SCORE 1.4230176038E7
AT ITER 2715 NEW BEST:: SOT 103966871 SOS 72305087 HAS SOPS 65883111 HAS SOUS 14235051 HAS SOUPS 14147796 WITH SCORE 1.4220101087E7
AT ITER 2757 NEW BEST:: SOT 103967514 SOS 72242094 HAS SOPS 65869340 HAS SOUS 14230803 HAS SOUPS 14143687 WITH SCORE 1.4215929094E7
AT ITER 2789 NEW BEST:: SOT 103967516 SOS 72242412 HAS SOPS 65869738 HAS SOUS 14230573 HAS SOUPS 14143457 WITH SCORE 1.4215699412E7
AT ITER 2793 NEW BEST:: SOT 103969746 SOS 72244585 HAS SOPS 65871315 HAS SOUS 14229993 HAS SOUPS 14142877 WITH SCORE 1.4215121585E7
AT ITER 2806 NEW BEST:: SOT 103969746 SOS 72243314 HAS SOPS 65870023 HAS SOUS 14229902 HAS SOUPS 14142786 WITH SCORE 1.4215029314E7
AT ITER 2808 NEW BEST:: SOT 103968043 SOS 72238563 HAS SOPS 65865328 HAS SOUS 14229553 HAS SOUPS 14142437 WITH SCORE 1.4214675563E7
AT ITER 2821 NEW BEST:: SOT 103960931 SOS 72231247 HAS SOPS 65856957 HAS SOUS 14212906 HAS SOUPS 14125790 WITH SCORE 1.4198021247E7
AT ITER 2865 NEW BEST:: SOT 103962120 SOS 72231956 HAS SOPS 65855024 HAS SOUS 14210886 HAS SOUPS 14123770 WITH SCORE 1.4196001956E7
AT ITER 2871 NEW BEST:: SOT 103962572 SOS 72232418 HAS SOPS 65855266 HAS SOUS 14208674 HAS SOUPS 14121558 WITH SCORE 1.4193790418E7
AT ITER 2905 NEW BEST:: SOT 103962596 SOS 72232481 HAS SOPS 65855281 HAS SOUS 14207417 HAS SOUPS 14120301 WITH SCORE 1.4192533481E7
AT ITER 2908 NEW BEST:: SOT 103955421 SOS 72229688 HAS SOPS 65853353 HAS SOUS 14175562 HAS SOUPS 14091902 WITH SCORE 1.4164131688E7
AT ITER 2920 NEW BEST:: SOT 103956219 SOS 72233309 HAS SOPS 65854901 HAS SOUS 14175356 HAS SOUPS 14091696 WITH SCORE 1.4163929309E7
AT ITER 2927 NEW BEST:: SOT 103956165 SOS 72207686 HAS SOPS 65829278 HAS SOUS 14175327 HAS SOUPS 14091667 WITH SCORE 1.4163874686E7
AT ITER 2946 NEW BEST:: SOT 103931159 SOS 72465727 HAS SOPS 66059380 HAS SOUS 14164784 HAS SOUPS 14082758 WITH SCORE 1.4155223727E7
AT ITER 2950 NEW BEST:: SOT 103924532 SOS 72458747 HAS SOPS 66051735 HAS SOUS 14162159 HAS SOUPS 14080133 WITH SCORE 1.4152591747E7
AT ITER 2951 NEW BEST:: SOT 103923641 SOS 72457834 HAS SOPS 66050888 HAS SOUS 14161103 HAS SOUPS 14079077 WITH SCORE 1.4151534834E7
AT ITER 2954 NEW BEST:: SOT 103923721 SOS 72455790 HAS SOPS 66048844 HAS SOUS 14161075 HAS SOUPS 14079049 WITH SCORE 1.415150479E7
AT ITER 2963 NEW BEST:: SOT 103923483 SOS 72453286 HAS SOPS 66044714 HAS SOUS 14150899 HAS SOUPS 14069017 WITH SCORE 1.4141470286E7
AT ITER 2972 NEW BEST:: SOT 103924580 SOS 72454339 HAS SOPS 66045205 HAS SOUS 14148711 HAS SOUPS 14066829 WITH SCORE 1.4139283339E7
AT ITER 2976 NEW BEST:: SOT 103934898 SOS 72464572 HAS SOPS 66054328 HAS SOUS 14148136 HAS SOUPS 14066242 WITH SCORE 1.4138706572E7
AT ITER 2983 NEW BEST:: SOT 103938257 SOS 72411762 HAS SOPS 66004536 HAS SOUS 14144835 HAS SOUPS 14063251 WITH SCORE 1.4135662762E7
AT ITER 2989 NEW BEST:: SOT 104005894 SOS 72458651 HAS SOPS 66037628 HAS SOUS 14133985 HAS SOUPS 14052786 WITH SCORE 1.4125244651E7
AT ITER 2991 NEW BEST:: SOT 104048805 SOS 72500910 HAS SOPS 66076619 HAS SOUS 14105169 HAS SOUPS 14023970 WITH SCORE 1.409647091E7
AT ITER 2996 NEW BEST:: SOT 104048734 SOS 72457007 HAS SOPS 66032614 HAS SOUS 14104929 HAS SOUPS 14023730 WITH SCORE 1.4096187007E7
AT ITER 3003 NEW BEST:: SOT 104026946 SOS 72442687 HAS SOPS 66017563 HAS SOUS 14088462 HAS SOUPS 14007263 WITH SCORE 1.4079705687E7
AT ITER 3004 NEW BEST:: SOT 104016299 SOS 72431965 HAS SOPS 66006097 HAS SOUS 14071927 HAS SOUPS 13990728 WITH SCORE 1.4063159965E7
AT ITER 3012 NEW BEST:: SOT 104018892 SOS 72433323 HAS SOPS 65998745 HAS SOUS 14050855 HAS SOUPS 13969656 WITH SCORE 1.4042089323E7
AT ITER 3013 NEW BEST:: SOT 104015907 SOS 72430423 HAS SOPS 65995875 HAS SOUS 14043950 HAS SOUPS 13962751 WITH SCORE 1.4035181423E7
AT ITER 3017 NEW BEST:: SOT 104016153 SOS 72430669 HAS SOPS 65995593 HAS SOUS 14039815 HAS SOUPS 13958599 WITH SCORE 1.4031029669E7
AT ITER 3018 NEW BEST:: SOT 104019640 SOS 72432975 HAS SOPS 65996815 HAS SOUS 14039338 HAS SOUPS 13958122 WITH SCORE 1.4030554975E7
AT ITER 3028 NEW BEST:: SOT 104015355 SOS 72430342 HAS SOPS 65992262 HAS SOUS 14039329 HAS SOUPS 13958070 WITH SCORE 1.4030500342E7
AT ITER 3051 NEW BEST:: SOT 104005404 SOS 72420174 HAS SOPS 65976696 HAS SOUS 14030546 HAS SOUPS 13949220 WITH SCORE 1.4021640174E7
AT ITER 3066 NEW BEST:: SOT 103999521 SOS 72413937 HAS SOPS 65968532 HAS SOUS 14014447 HAS SOUPS 13933121 WITH SCORE 1.4005534937E7
AT ITER 3081 NEW BEST:: SOT 103943597 SOS 72358224 HAS SOPS 65912819 HAS SOUS 13960208 HAS SOUPS 13878882 WITH SCORE 1.3951240224E7
AT ITER 3089 NEW BEST:: SOT 103946083 SOS 72397685 HAS SOPS 65953647 HAS SOUS 13958259 HAS SOUPS 13876933 WITH SCORE 1.3949330685E7
AT ITER 3098 NEW BEST:: SOT 103945875 SOS 72397473 HAS SOPS 65953427 HAS SOUS 13957699 HAS SOUPS 13876373 WITH SCORE 1.3948770473E7
AT ITER 3114 NEW BEST:: SOT 103941540 SOS 72393238 HAS SOPS 65948568 HAS SOUS 13950417 HAS SOUPS 13869091 WITH SCORE 1.3941484238E7
AT ITER 3126 NEW BEST:: SOT 103931320 SOS 72383075 HAS SOPS 65938932 HAS SOUS 13950385 HAS SOUPS 13869059 WITH SCORE 1.3941442075E7
AT ITER 3131 NEW BEST:: SOT 103931969 SOS 72386329 HAS SOPS 65949160 HAS SOUS 13948653 HAS SOUPS 13867327 WITH SCORE 1.3939713329E7
AT ITER 3134 NEW BEST:: SOT 103939109 SOS 72302229 HAS SOPS 65858690 HAS SOUS 13942260 HAS SOUPS 13860934 WITH SCORE 1.3933236229E7
AT ITER 3167 NEW BEST:: SOT 103950679 SOS 72313772 HAS SOPS 65869039 HAS SOUS 13940939 HAS SOUPS 13859613 WITH SCORE 1.3931926772E7
AT ITER 3169 NEW BEST:: SOT 103951890 SOS 72326660 HAS SOPS 65885744 HAS SOUS 13939521 HAS SOUPS 13858219 WITH SCORE 1.393054566E7
AT ITER 3188 NEW BEST:: SOT 103956758 SOS 72331580 HAS SOPS 65891032 HAS SOUS 13933992 HAS SOUPS 13852690 WITH SCORE 1.392502158E7
AT ITER 3202 NEW BEST:: SOT 103976346 SOS 72342093 HAS SOPS 65898200 HAS SOUS 13930392 HAS SOUPS 13849217 WITH SCORE 1.3921559093E7
AT ITER 3206 NEW BEST:: SOT 103977019 SOS 72344762 HAS SOPS 65899028 HAS SOUS 13930090 HAS SOUPS 13848915 WITH SCORE 1.3921259762E7
AT ITER 3226 NEW BEST:: SOT 103963197 SOS 72321681 HAS SOPS 65870484 HAS SOUS 13918340 HAS SOUPS 13837165 WITH SCORE 1.3909486681E7
AT ITER 3256 NEW BEST:: SOT 103961383 SOS 72319860 HAS SOPS 65868661 HAS SOUS 13917512 HAS SOUPS 13836337 WITH SCORE 1.390865686E7
AT ITER 3261 NEW BEST:: SOT 103973202 SOS 72337986 HAS SOPS 65888153 HAS SOUS 13916248 HAS SOUPS 13835073 WITH SCORE 1.3907410986E7
AT ITER 3272 NEW BEST:: SOT 103958507 SOS 72322879 HAS SOPS 65855990 HAS SOUS 13867162 HAS SOUPS 13785987 WITH SCORE 1.3858309879E7
AT ITER 3274 NEW BEST:: SOT 103956607 SOS 72320857 HAS SOPS 65852188 HAS SOUS 13859759 HAS SOUPS 13778584 WITH SCORE 1.3850904857E7
AT ITER 3276 NEW BEST:: SOT 103949379 SOS 72311543 HAS SOPS 65835739 HAS SOUS 13855972 HAS SOUPS 13774743 WITH SCORE 1.3847054543E7
AT ITER 3281 NEW BEST:: SOT 103953768 SOS 72315592 HAS SOPS 65838177 HAS SOUS 13852077 HAS SOUPS 13770867 WITH SCORE 1.3843182592E7
AT ITER 3282 NEW BEST:: SOT 103948141 SOS 72305842 HAS SOPS 65819821 HAS SOUS 13840145 HAS SOUPS 13758935 WITH SCORE 1.3831240842E7
AT ITER 3289 NEW BEST:: SOT 104073349 SOS 72429327 HAS SOPS 65935082 HAS SOUS 13802663 HAS SOUPS 13721507 WITH SCORE 1.3793936327E7
AT ITER 3312 NEW BEST:: SOT 104073343 SOS 72427823 HAS SOPS 65933578 HAS SOUS 13802623 HAS SOUPS 13721467 WITH SCORE 1.3793894823E7
AT ITER 3321 NEW BEST:: SOT 104261665 SOS 72638204 HAS SOPS 66091253 HAS SOUS 13802602 HAS SOUPS 13719613 WITH SCORE 1.3792251204E7
AT ITER 3325 NEW BEST:: SOT 104261673 SOS 72642896 HAS SOPS 66095915 HAS SOUS 13802553 HAS SOUPS 13719564 WITH SCORE 1.3792206896E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14181988 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15951468 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="RERS2020-PT-pb104"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is RERS2020-PT-pb104, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204200248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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