About the Execution of Smart for RERS2020-PT-pb101
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 695.000 | 3600000.00 | 3600535.00 | 140.20 | [undef] | Time out reached |
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-167889194400224.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 RERS2020-PT-pb101, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194400224
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 84M
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 08:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 08:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 08:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 08:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 08:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 08:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 08:23 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 83M 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 1679488040230
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=RERS2020-PT-pb101
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb101
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: 906 places, 149363 transitions, 595952 arcs.
AT ITER 0 NEW BEST:: SOT 87374274 SOS 69287590 HAS SOPS 63677656 HAS SOUS 18712951 HAS SOUPS 18639753 WITH SCORE 1.870904059E7
AT ITER 4 NEW BEST:: SOT 87371469 SOS 69284785 HAS SOPS 63672676 HAS SOUS 18710596 HAS SOUPS 18637398 WITH SCORE 1.8706682785E7
AT ITER 11 NEW BEST:: SOT 87371848 SOS 69206789 HAS SOPS 63597707 HAS SOUS 18710524 HAS SOUPS 18637392 WITH SCORE 1.8706598789E7
AT ITER 12 NEW BEST:: SOT 87371755 SOS 69185979 HAS SOPS 63579159 HAS SOUS 18710375 HAS SOUPS 18637273 WITH SCORE 1.8706458979E7
AT ITER 14 NEW BEST:: SOT 87352674 SOS 69167448 HAS SOPS 63546989 HAS SOUS 18660811 HAS SOUPS 18587709 WITH SCORE 1.8656876448E7
AT ITER 24 NEW BEST:: SOT 87353145 SOS 69091594 HAS SOPS 63471432 HAS SOUS 18660670 HAS SOUPS 18587568 WITH SCORE 1.8656659594E7
AT ITER 33 NEW BEST:: SOT 87400941 SOS 69138714 HAS SOPS 63510725 HAS SOUS 18591491 HAS SOUPS 18518389 WITH SCORE 1.8587527714E7
AT ITER 36 NEW BEST:: SOT 87380526 SOS 69118366 HAS SOPS 63486949 HAS SOUS 18572556 HAS SOUPS 18499454 WITH SCORE 1.8568572366E7
AT ITER 55 NEW BEST:: SOT 87381701 SOS 69119550 HAS SOPS 63487476 HAS SOUS 18568979 HAS SOUPS 18495895 WITH SCORE 1.856501455E7
AT ITER 58 NEW BEST:: SOT 87407977 SOS 69145610 HAS SOPS 63513722 HAS SOUS 18568119 HAS SOUPS 18495035 WITH SCORE 1.856418061E7
AT ITER 60 NEW BEST:: SOT 87409155 SOS 69146826 HAS SOPS 63514900 HAS SOUS 18565041 HAS SOUPS 18491957 WITH SCORE 1.8561103826E7
AT ITER 62 NEW BEST:: SOT 87430343 SOS 69167714 HAS SOPS 63532260 HAS SOUS 18557217 HAS SOUPS 18484133 WITH SCORE 1.8553300714E7
AT ITER 65 NEW BEST:: SOT 87436921 SOS 69174150 HAS SOPS 63539154 HAS SOUS 18523484 HAS SOUPS 18450638 WITH SCORE 1.851981215E7
AT ITER 66 NEW BEST:: SOT 87440598 SOS 69177761 HAS SOPS 63534017 HAS SOUS 18460466 HAS SOUPS 18387620 WITH SCORE 1.8456797761E7
AT ITER 82 NEW BEST:: SOT 87436800 SOS 69173986 HAS SOPS 63521751 HAS SOUS 18418683 HAS SOUPS 18345850 WITH SCORE 1.8415023986E7
AT ITER 83 NEW BEST:: SOT 87295280 SOS 69032671 HAS SOPS 63379801 HAS SOUS 18267056 HAS SOUPS 18194188 WITH SCORE 1.8263220671E7
AT ITER 84 NEW BEST:: SOT 87375793 SOS 69113556 HAS SOPS 63444572 HAS SOUS 18236660 HAS SOUPS 18163826 WITH SCORE 1.8232939556E7
AT ITER 94 NEW BEST:: SOT 87376049 SOS 69113812 HAS SOPS 63444796 HAS SOUS 18236564 HAS SOUPS 18163730 WITH SCORE 1.8232843812E7
AT ITER 99 NEW BEST:: SOT 87314857 SOS 69052271 HAS SOPS 63376434 HAS SOUS 18067530 HAS SOUPS 17993658 WITH SCORE 1.8062710271E7
AT ITER 101 NEW BEST:: SOT 87313017 SOS 69050339 HAS SOPS 63373490 HAS SOUS 18049866 HAS SOUPS 17975994 WITH SCORE 1.8045044339E7
AT ITER 102 NEW BEST:: SOT 87291017 SOS 69028131 HAS SOPS 63346637 HAS SOUS 18038631 HAS SOUPS 17964716 WITH SCORE 1.8033744131E7
AT ITER 108 NEW BEST:: SOT 87288797 SOS 69025894 HAS SOPS 63341013 HAS SOUS 18035228 HAS SOUPS 17961313 WITH SCORE 1.8030338894E7
AT ITER 117 NEW BEST:: SOT 87302891 SOS 69039463 HAS SOPS 63343099 HAS SOUS 18013676 HAS SOUPS 17939761 WITH SCORE 1.8008800463E7
AT ITER 120 NEW BEST:: SOT 87302921 SOS 69039465 HAS SOPS 63343091 HAS SOUS 18013441 HAS SOUPS 17939516 WITH SCORE 1.8008555465E7
AT ITER 125 NEW BEST:: SOT 87302882 SOS 69035193 HAS SOPS 63339405 HAS SOUS 18013400 HAS SOUPS 17939475 WITH SCORE 1.8008510193E7
AT ITER 132 NEW BEST:: SOT 87300947 SOS 69033078 HAS SOPS 63336300 HAS SOUS 18009890 HAS SOUPS 17935965 WITH SCORE 1.8004998078E7
AT ITER 136 NEW BEST:: SOT 87291161 SOS 69023256 HAS SOPS 63324812 HAS SOUS 18002656 HAS SOUPS 17928731 WITH SCORE 1.7997754256E7
AT ITER 141 NEW BEST:: SOT 87394099 SOS 69126582 HAS SOPS 63407452 HAS SOUS 17956819 HAS SOUPS 17882937 WITH SCORE 1.7952063582E7
AT ITER 142 NEW BEST:: SOT 87376478 SOS 69108790 HAS SOPS 63389660 HAS SOUS 17928083 HAS SOUPS 17854201 WITH SCORE 1.792330979E7
AT ITER 150 NEW BEST:: SOT 87374899 SOS 69061322 HAS SOPS 63345242 HAS SOUS 17927427 HAS SOUPS 17853545 WITH SCORE 1.7922606322E7
AT ITER 166 NEW BEST:: SOT 87318844 SOS 69005042 HAS SOPS 63265948 HAS SOUS 17858233 HAS SOUPS 17784351 WITH SCORE 1.7853356042E7
AT ITER 174 NEW BEST:: SOT 87319279 SOS 69005477 HAS SOPS 63266401 HAS SOUS 17857942 HAS SOUPS 17784060 WITH SCORE 1.7853065477E7
AT ITER 178 NEW BEST:: SOT 87318907 SOS 69005105 HAS SOPS 63266005 HAS SOUS 17857198 HAS SOUPS 17783316 WITH SCORE 1.7852321105E7
AT ITER 185 NEW BEST:: SOT 87425761 SOS 69111723 HAS SOPS 63350126 HAS SOUS 17851674 HAS SOUPS 17777792 WITH SCORE 1.7846903723E7
AT ITER 192 NEW BEST:: SOT 87426469 SOS 69104516 HAS SOPS 63347173 HAS SOUS 17851427 HAS SOUPS 17777629 WITH SCORE 1.7846733516E7
AT ITER 198 NEW BEST:: SOT 87421960 SOS 69099979 HAS SOPS 63332326 HAS SOUS 17842463 HAS SOUPS 17768665 WITH SCORE 1.7837764979E7
AT ITER 202 NEW BEST:: SOT 87502770 SOS 69186597 HAS SOPS 63415623 HAS SOUS 17826115 HAS SOUPS 17752397 WITH SCORE 1.7821583597E7
AT ITER 206 NEW BEST:: SOT 87502770 SOS 69186402 HAS SOPS 63415755 HAS SOUS 17826115 HAS SOUPS 17752397 WITH SCORE 1.7821583402E7
AT ITER 207 NEW BEST:: SOT 87536578 SOS 69220284 HAS SOPS 63448133 HAS SOUS 17813021 HAS SOUPS 17739303 WITH SCORE 1.7808523284E7
AT ITER 209 NEW BEST:: SOT 87539062 SOS 69222768 HAS SOPS 63450929 HAS SOUS 17812619 HAS SOUPS 17738901 WITH SCORE 1.7808123768E7
AT ITER 210 NEW BEST:: SOT 87517138 SOS 69200344 HAS SOPS 63420389 HAS SOUS 17793130 HAS SOUPS 17719412 WITH SCORE 1.7788612344E7
AT ITER 216 NEW BEST:: SOT 87617673 SOS 69299995 HAS SOPS 63488140 HAS SOUS 17776777 HAS SOUPS 17703059 WITH SCORE 1.7772358995E7
AT ITER 225 NEW BEST:: SOT 87649842 SOS 69331871 HAS SOPS 63515697 HAS SOUS 17766263 HAS SOUPS 17692545 WITH SCORE 1.7761876871E7
AT ITER 231 NEW BEST:: SOT 87649856 SOS 69271635 HAS SOPS 63455461 HAS SOUS 17766066 HAS SOUPS 17692348 WITH SCORE 1.7761619635E7
AT ITER 235 NEW BEST:: SOT 87644074 SOS 69265795 HAS SOPS 63447263 HAS SOUS 17749578 HAS SOUPS 17675860 WITH SCORE 1.7745125795E7
AT ITER 237 NEW BEST:: SOT 87651632 SOS 69273531 HAS SOPS 63450896 HAS SOUS 17725468 HAS SOUPS 17651750 WITH SCORE 1.7721023531E7
AT ITER 239 NEW BEST:: SOT 87654974 SOS 69276677 HAS SOPS 63450206 HAS SOUS 17723884 HAS SOUPS 17650190 WITH SCORE 1.7719466677E7
AT ITER 250 NEW BEST:: SOT 87614815 SOS 69236160 HAS SOPS 63409796 HAS SOUS 17679834 HAS SOUPS 17606140 WITH SCORE 1.767537616E7
AT ITER 253 NEW BEST:: SOT 87644700 SOS 69265609 HAS SOPS 63427514 HAS SOUS 17633978 HAS SOUPS 17560284 WITH SCORE 1.7629549609E7
AT ITER 254 NEW BEST:: SOT 87574199 SOS 69209722 HAS SOPS 63377455 HAS SOUS 17630492 HAS SOUPS 17556798 WITH SCORE 1.7626007722E7
AT ITER 255 NEW BEST:: SOT 87557766 SOS 69193265 HAS SOPS 63354441 HAS SOUS 17604354 HAS SOUPS 17530660 WITH SCORE 1.7599853265E7
AT ITER 258 NEW BEST:: SOT 87558102 SOS 69120348 HAS SOPS 63281433 HAS SOUS 17604129 HAS SOUPS 17530435 WITH SCORE 1.7599555348E7
AT ITER 268 NEW BEST:: SOT 87661951 SOS 69231078 HAS SOPS 63375928 HAS SOUS 17557867 HAS SOUPS 17486354 WITH SCORE 1.7555585078E7
AT ITER 270 NEW BEST:: SOT 87662140 SOS 69231258 HAS SOPS 63376135 HAS SOUS 17556148 HAS SOUPS 17484635 WITH SCORE 1.7553866258E7
AT ITER 273 NEW BEST:: SOT 87698856 SOS 69268282 HAS SOPS 63400225 HAS SOUS 17469399 HAS SOUPS 17397886 WITH SCORE 1.7467154282E7
AT ITER 282 NEW BEST:: SOT 87699210 SOS 69268723 HAS SOPS 63399578 HAS SOUS 17445928 HAS SOUPS 17374408 WITH SCORE 1.7443676723E7
AT ITER 285 NEW BEST:: SOT 87693101 SOS 69262036 HAS SOPS 63368655 HAS SOUS 17414221 HAS SOUPS 17342701 WITH SCORE 1.7411963036E7
AT ITER 286 NEW BEST:: SOT 87674203 SOS 69243279 HAS SOPS 63349092 HAS SOUS 17401632 HAS SOUPS 17330112 WITH SCORE 1.7399355279E7
AT ITER 310 NEW BEST:: SOT 87659664 SOS 69228175 HAS SOPS 63330569 HAS SOUS 17343924 HAS SOUPS 17272404 WITH SCORE 1.7341632175E7
AT ITER 321 NEW BEST:: SOT 87611256 SOS 69158243 HAS SOPS 63260898 HAS SOUS 17307776 HAS SOUPS 17236256 WITH SCORE 1.7305414243E7
AT ITER 327 NEW BEST:: SOT 87610541 SOS 69157528 HAS SOPS 63259578 HAS SOUS 17302924 HAS SOUPS 17231404 WITH SCORE 1.7300561528E7
AT ITER 328 NEW BEST:: SOT 87610290 SOS 69003960 HAS SOPS 63106087 HAS SOUS 17302984 HAS SOUPS 17231464 WITH SCORE 1.730046796E7
AT ITER 331 NEW BEST:: SOT 87695671 SOS 69089948 HAS SOPS 63165001 HAS SOUS 17290839 HAS SOUPS 17219319 WITH SCORE 1.7288408948E7
AT ITER 335 NEW BEST:: SOT 87836611 SOS 69231574 HAS SOPS 63292011 HAS SOUS 17263545 HAS SOUPS 17192025 WITH SCORE 1.7261256574E7
AT ITER 338 NEW BEST:: SOT 87836605 SOS 69200658 HAS SOPS 63261095 HAS SOUS 17263573 HAS SOUPS 17192053 WITH SCORE 1.7261253658E7
AT ITER 370 NEW BEST:: SOT 87836545 SOS 69200292 HAS SOPS 63260837 HAS SOUS 17263453 HAS SOUPS 17191939 WITH SCORE 1.7261139292E7
AT ITER 383 NEW BEST:: SOT 87836545 SOS 69194232 HAS SOPS 63255487 HAS SOUS 17263438 HAS SOUPS 17191929 WITH SCORE 1.7261123232E7
AT ITER 385 NEW BEST:: SOT 87809469 SOS 69167211 HAS SOPS 63217648 HAS SOUS 17195134 HAS SOUPS 17123625 WITH SCORE 1.7192792211E7
AT ITER 386 NEW BEST:: SOT 87804048 SOS 69161807 HAS SOPS 63211537 HAS SOUS 17189528 HAS SOUPS 17118008 WITH SCORE 1.7187169807E7
AT ITER 395 NEW BEST:: SOT 87819179 SOS 69176470 HAS SOPS 63224630 HAS SOUS 17173090 HAS SOUPS 17101570 WITH SCORE 1.717074647E7
AT ITER 396 NEW BEST:: SOT 87818851 SOS 69173247 HAS SOPS 63221079 HAS SOUS 17172390 HAS SOUPS 17100870 WITH SCORE 1.7170043247E7
AT ITER 397 NEW BEST:: SOT 87805117 SOS 69159042 HAS SOPS 63195724 HAS SOUS 17129739 HAS SOUPS 17058219 WITH SCORE 1.7127378042E7
AT ITER 399 NEW BEST:: SOT 87785387 SOS 69139184 HAS SOPS 63167270 HAS SOUS 17112502 HAS SOUPS 17040982 WITH SCORE 1.7110121184E7
AT ITER 412 NEW BEST:: SOT 87795912 SOS 69149046 HAS SOPS 63175187 HAS SOUS 17095886 HAS SOUPS 17024366 WITH SCORE 1.7093515046E7
AT ITER 419 NEW BEST:: SOT 87797707 SOS 69150886 HAS SOPS 63177015 HAS SOUS 17093850 HAS SOUPS 17022330 WITH SCORE 1.7091480886E7
AT ITER 420 NEW BEST:: SOT 87860911 SOS 69213324 HAS SOPS 63215554 HAS SOUS 17090616 HAS SOUPS 17019096 WITH SCORE 1.7088309324E7
AT ITER 425 NEW BEST:: SOT 87967076 SOS 69318792 HAS SOPS 63303819 HAS SOUS 17076304 HAS SOUPS 17004784 WITH SCORE 1.7074102792E7
AT ITER 451 NEW BEST:: SOT 87967157 SOS 69254385 HAS SOPS 63239440 HAS SOUS 17075991 HAS SOUPS 17004471 WITH SCORE 1.7073725385E7
AT ITER 455 NEW BEST:: SOT 87975855 SOS 69262925 HAS SOPS 63242991 HAS SOUS 17061434 HAS SOUPS 16989824 WITH SCORE 1.7059086925E7
AT ITER 460 NEW BEST:: SOT 87979844 SOS 69266782 HAS SOPS 63230523 HAS SOUS 17036885 HAS SOUPS 16965215 WITH SCORE 1.7034481782E7
AT ITER 469 NEW BEST:: SOT 87992750 SOS 69280127 HAS SOPS 63251987 HAS SOUS 17033788 HAS SOUPS 16962178 WITH SCORE 1.7031458127E7
AT ITER 488 NEW BEST:: SOT 88019738 SOS 69307154 HAS SOPS 63264786 HAS SOUS 17005859 HAS SOUPS 16934249 WITH SCORE 1.7003556154E7
AT ITER 490 NEW BEST:: SOT 88019686 SOS 69307042 HAS SOPS 63263979 HAS SOUS 16998525 HAS SOUPS 16926915 WITH SCORE 1.6996222042E7
AT ITER 503 NEW BEST:: SOT 88020002 SOS 69307334 HAS SOPS 63264290 HAS SOUS 16998340 HAS SOUPS 16926749 WITH SCORE 1.6996056334E7
AT ITER 508 NEW BEST:: SOT 88019064 SOS 69306078 HAS SOPS 63258685 HAS SOUS 16976234 HAS SOUPS 16904643 WITH SCORE 1.6973949078E7
AT ITER 509 NEW BEST:: SOT 88030521 SOS 69317535 HAS SOPS 63264676 HAS SOUS 16949195 HAS SOUPS 16877604 WITH SCORE 1.6946921535E7
AT ITER 510 NEW BEST:: SOT 88123538 SOS 69410385 HAS SOPS 63345899 HAS SOUS 16912579 HAS SOUPS 16840988 WITH SCORE 1.6910398385E7
AT ITER 511 NEW BEST:: SOT 88117278 SOS 69404125 HAS SOPS 63331392 HAS SOUS 16907468 HAS SOUPS 16832195 WITH SCORE 1.6901599125E7
AT ITER 515 NEW BEST:: SOT 88112757 SOS 69399574 HAS SOPS 63326769 HAS SOUS 16896539 HAS SOUPS 16821266 WITH SCORE 1.6890665574E7
AT ITER 516 NEW BEST:: SOT 88110507 SOS 69397333 HAS SOPS 63324213 HAS SOUS 16895522 HAS SOUPS 16820249 WITH SCORE 1.6889646333E7
AT ITER 526 NEW BEST:: SOT 88108533 SOS 69394983 HAS SOPS 63312944 HAS SOUS 16886870 HAS SOUPS 16811698 WITH SCORE 1.6881092983E7
AT ITER 533 NEW BEST:: SOT 88120640 SOS 69406702 HAS SOPS 63310956 HAS SOUS 16880349 HAS SOUPS 16805128 WITH SCORE 1.6874534702E7
AT ITER 534 NEW BEST:: SOT 88109638 SOS 69395846 HAS SOPS 63300856 HAS SOUS 16875527 HAS SOUPS 16800306 WITH SCORE 1.6869701846E7
AT ITER 536 NEW BEST:: SOT 88109638 SOS 69379666 HAS SOPS 63285432 HAS SOUS 16875482 HAS SOUPS 16800261 WITH SCORE 1.6869640666E7
AT ITER 537 NEW BEST:: SOT 88109638 SOS 69382930 HAS SOPS 63288696 HAS SOUS 16875477 HAS SOUPS 16800256 WITH SCORE 1.686963893E7
AT ITER 555 NEW BEST:: SOT 88086308 SOS 69359792 HAS SOPS 63279540 HAS SOUS 16800932 HAS SOUPS 16725760 WITH SCORE 1.6795119792E7
AT ITER 561 NEW BEST:: SOT 88018302 SOS 69291753 HAS SOPS 63197522 HAS SOUS 16765179 HAS SOUPS 16689956 WITH SCORE 1.6759247753E7
AT ITER 569 NEW BEST:: SOT 88018722 SOS 69300055 HAS SOPS 63209676 HAS SOUS 16764995 HAS SOUPS 16689844 WITH SCORE 1.6759144055E7
AT ITER 571 NEW BEST:: SOT 88019102 SOS 69235262 HAS SOPS 63148545 HAS SOUS 16764835 HAS SOUPS 16689684 WITH SCORE 1.6758919262E7
AT ITER 574 NEW BEST:: SOT 87988305 SOS 69204726 HAS SOPS 63114349 HAS SOUS 16718835 HAS SOUPS 16643684 WITH SCORE 1.6712888726E7
AT ITER 593 NEW BEST:: SOT 87952714 SOS 69169318 HAS SOPS 63078511 HAS SOUS 16705017 HAS SOUPS 16629866 WITH SCORE 1.6699035318E7
AT ITER 613 NEW BEST:: SOT 87945086 SOS 69161458 HAS SOPS 63067887 HAS SOUS 16693957 HAS SOUPS 16618762 WITH SCORE 1.6687923458E7
AT ITER 616 NEW BEST:: SOT 87942527 SOS 69158428 HAS SOPS 63037569 HAS SOUS 16617238 HAS SOUPS 16542043 WITH SCORE 1.6611201428E7
AT ITER 617 NEW BEST:: SOT 87922966 SOS 69139288 HAS SOPS 63017325 HAS SOUS 16604819 HAS SOUPS 16529624 WITH SCORE 1.6598763288E7
AT ITER 621 NEW BEST:: SOT 87922963 SOS 69008904 HAS SOPS 62886941 HAS SOUS 16604653 HAS SOUPS 16529458 WITH SCORE 1.6598466904E7
AT ITER 628 NEW BEST:: SOT 87889373 SOS 68975417 HAS SOPS 62853851 HAS SOUS 16580138 HAS SOUPS 16504943 WITH SCORE 1.6573918417E7
AT ITER 631 NEW BEST:: SOT 87889343 SOS 68981619 HAS SOPS 62860163 HAS SOUS 16580100 HAS SOUPS 16504905 WITH SCORE 1.6573886619E7
AT ITER 639 NEW BEST:: SOT 87891518 SOS 68983762 HAS SOPS 62862254 HAS SOUS 16565399 HAS SOUPS 16490204 WITH SCORE 1.6559187762E7
AT ITER 648 NEW BEST:: SOT 87866462 SOS 68958218 HAS SOPS 62809433 HAS SOUS 16439811 HAS SOUPS 16364616 WITH SCORE 1.6433574218E7
AT ITER 650 NEW BEST:: SOT 87866462 SOS 68967352 HAS SOPS 62818567 HAS SOUS 16439765 HAS SOUPS 16364570 WITH SCORE 1.6433537352E7
AT ITER 666 NEW BEST:: SOT 87866338 SOS 69002837 HAS SOPS 62820727 HAS SOUS 16439159 HAS SOUPS 16364236 WITH SCORE 1.6433238837E7
AT ITER 679 NEW BEST:: SOT 87857270 SOS 68993817 HAS SOPS 62806086 HAS SOUS 16399725 HAS SOUPS 16324802 WITH SCORE 1.6393795817E7
AT ITER 681 NEW BEST:: SOT 87987812 SOS 69123363 HAS SOPS 62894724 HAS SOUS 16371502 HAS SOUPS 16296579 WITH SCORE 1.6365702363E7
AT ITER 695 NEW BEST:: SOT 88043673 SOS 69179122 HAS SOPS 62950447 HAS SOUS 16362995 HAS SOUPS 16288072 WITH SCORE 1.6357251122E7
AT ITER 702 NEW BEST:: SOT 88045810 SOS 69181218 HAS SOPS 62951854 HAS SOUS 16358946 HAS SOUPS 16284023 WITH SCORE 1.6353204218E7
AT ITER 704 NEW BEST:: SOT 88046608 SOS 69181996 HAS SOPS 62952509 HAS SOUS 16358878 HAS SOUPS 16283955 WITH SCORE 1.6353136996E7
AT ITER 713 NEW BEST:: SOT 88011694 SOS 69146989 HAS SOPS 62900245 HAS SOUS 16263046 HAS SOUPS 16188123 WITH SCORE 1.6257269989E7
AT ITER 720 NEW BEST:: SOT 87989781 SOS 69148337 HAS SOPS 62897613 HAS SOUS 16263131 HAS SOUPS 16187899 WITH SCORE 1.6257047337E7
AT ITER 725 NEW BEST:: SOT 87989786 SOS 69148246 HAS SOPS 62897550 HAS SOUS 16263098 HAS SOUPS 16187867 WITH SCORE 1.6257015246E7
AT ITER 729 NEW BEST:: SOT 87987338 SOS 69145798 HAS SOPS 62894177 HAS SOUS 16252543 HAS SOUPS 16177312 WITH SCORE 1.6246457798E7
AT ITER 732 NEW BEST:: SOT 87990959 SOS 69149662 HAS SOPS 62896938 HAS SOUS 16248247 HAS SOUPS 16173016 WITH SCORE 1.6242165662E7
AT ITER 744 NEW BEST:: SOT 87969002 SOS 69128402 HAS SOPS 62859395 HAS SOUS 16142492 HAS SOUPS 16067261 WITH SCORE 1.6136389402E7
AT ITER 746 NEW BEST:: SOT 87961763 SOS 69121546 HAS SOPS 62842207 HAS SOUS 16117253 HAS SOUPS 16042022 WITH SCORE 1.6111143546E7
AT ITER 753 NEW BEST:: SOT 87953979 SOS 69113818 HAS SOPS 62834059 HAS SOUS 16111871 HAS SOUPS 16036640 WITH SCORE 1.6105753818E7
AT ITER 757 NEW BEST:: SOT 87938614 SOS 69098508 HAS SOPS 62816156 HAS SOUS 16094066 HAS SOUPS 16018835 WITH SCORE 1.6087933508E7
AT ITER 761 NEW BEST:: SOT 87938678 SOS 69081827 HAS SOPS 62799475 HAS SOUS 16094067 HAS SOUPS 16018836 WITH SCORE 1.6087917827E7
AT ITER 767 NEW BEST:: SOT 87937386 SOS 69080535 HAS SOPS 62797979 HAS SOUS 16092763 HAS SOUPS 16017340 WITH SCORE 1.6086420535E7
AT ITER 772 NEW BEST:: SOT 87933983 SOS 69076740 HAS SOPS 62787097 HAS SOUS 16076512 HAS SOUPS 16001089 WITH SCORE 1.607016574E7
AT ITER 789 NEW BEST:: SOT 87939753 SOS 69082574 HAS SOPS 62792107 HAS SOUS 16073002 HAS SOUPS 15997579 WITH SCORE 1.6066661574E7
AT ITER 793 NEW BEST:: SOT 87935730 SOS 69078516 HAS SOPS 62781268 HAS SOUS 16070847 HAS SOUPS 15995497 WITH SCORE 1.6064575516E7
AT ITER 809 NEW BEST:: SOT 87901136 SOS 69043688 HAS SOPS 62737644 HAS SOUS 16034228 HAS SOUPS 15958878 WITH SCORE 1.6027921688E7
AT ITER 823 NEW BEST:: SOT 87895224 SOS 69038194 HAS SOPS 62743080 HAS SOUS 16022619 HAS SOUPS 15947169 WITH SCORE 1.6016207194E7
AT ITER 830 NEW BEST:: SOT 87819135 SOS 68974867 HAS SOPS 62689738 HAS SOUS 15994583 HAS SOUPS 15919133 WITH SCORE 1.5988107867E7
AT ITER 832 NEW BEST:: SOT 87832563 SOS 68988200 HAS SOPS 62704474 HAS SOUS 15993841 HAS SOUPS 15918391 WITH SCORE 1.59873792E7
AT ITER 835 NEW BEST:: SOT 87810448 SOS 68965898 HAS SOPS 62678824 HAS SOUS 15942904 HAS SOUPS 15867454 WITH SCORE 1.5936419898E7
AT ITER 840 NEW BEST:: SOT 87830026 SOS 68985373 HAS SOPS 62692628 HAS SOUS 15930242 HAS SOUPS 15854792 WITH SCORE 1.5923777373E7
AT ITER 842 NEW BEST:: SOT 87904753 SOS 69059503 HAS SOPS 62751636 HAS SOUS 15926551 HAS SOUPS 15851101 WITH SCORE 1.5920160503E7
AT ITER 856 NEW BEST:: SOT 87905506 SOS 69059901 HAS SOPS 62752034 HAS SOUS 15926451 HAS SOUPS 15851001 WITH SCORE 1.5920060901E7
AT ITER 858 NEW BEST:: SOT 87943284 SOS 69097679 HAS SOPS 62785565 HAS SOUS 15913811 HAS SOUPS 15838361 WITH SCORE 1.5907458679E7
AT ITER 867 NEW BEST:: SOT 87943284 SOS 69097679 HAS SOPS 62785565 HAS SOUS 15913799 HAS SOUPS 15838349 WITH SCORE 1.5907446679E7
AT ITER 875 NEW BEST:: SOT 87943259 SOS 69097938 HAS SOPS 62785824 HAS SOUS 15913788 HAS SOUPS 15838338 WITH SCORE 1.5907435938E7
AT ITER 887 NEW BEST:: SOT 87945646 SOS 69099972 HAS SOPS 62785724 HAS SOUS 15890067 HAS SOUPS 15814617 WITH SCORE 1.5883716972E7
AT ITER 889 NEW BEST:: SOT 87941162 SOS 69095488 HAS SOPS 62781432 HAS SOUS 15888991 HAS SOUPS 15813541 WITH SCORE 1.5882636488E7
AT ITER 893 NEW BEST:: SOT 87926747 SOS 69081073 HAS SOPS 62767785 HAS SOUS 15879928 HAS SOUPS 15804478 WITH SCORE 1.5873559073E7
AT ITER 903 NEW BEST:: SOT 87926795 SOS 69081097 HAS SOPS 62767785 HAS SOUS 15877924 HAS SOUPS 15802474 WITH SCORE 1.5871555097E7
AT ITER 904 NEW BEST:: SOT 87905249 SOS 69059551 HAS SOPS 62751557 HAS SOUS 15853731 HAS SOUPS 15778281 WITH SCORE 1.5847340551E7
AT ITER 914 NEW BEST:: SOT 87903113 SOS 69057447 HAS SOPS 62749131 HAS SOUS 15852199 HAS SOUPS 15776749 WITH SCORE 1.5845806447E7
AT ITER 919 NEW BEST:: SOT 87904152 SOS 68997652 HAS SOPS 62696724 HAS SOUS 15851764 HAS SOUPS 15776314 WITH SCORE 1.5845311652E7
AT ITER 943 NEW BEST:: SOT 87903767 SOS 68997235 HAS SOPS 62696288 HAS SOUS 15850917 HAS SOUPS 15775467 WITH SCORE 1.5844464235E7
AT ITER 944 NEW BEST:: SOT 87900974 SOS 68993938 HAS SOPS 62692427 HAS SOUS 15811116 HAS SOUPS 15735666 WITH SCORE 1.5804659938E7
AT ITER 948 NEW BEST:: SOT 87896963 SOS 68989974 HAS SOPS 62687246 HAS SOUS 15809924 HAS SOUPS 15734372 WITH SCORE 1.5803361974E7
AT ITER 965 NEW BEST:: SOT 87900823 SOS 68993916 HAS SOPS 62694887 HAS SOUS 15805361 HAS SOUPS 15729809 WITH SCORE 1.5798802916E7
AT ITER 977 NEW BEST:: SOT 87898734 SOS 68991785 HAS SOPS 62691652 HAS SOUS 15799698 HAS SOUPS 15724146 WITH SCORE 1.5793137785E7
AT ITER 980 NEW BEST:: SOT 87898650 SOS 68999527 HAS SOPS 62694878 HAS SOUS 15793391 HAS SOUPS 15717778 WITH SCORE 1.5786777527E7
AT ITER 982 NEW BEST:: SOT 87914448 SOS 69014354 HAS SOPS 62700556 HAS SOUS 15725944 HAS SOUPS 15650331 WITH SCORE 1.5719345354E7
AT ITER 985 NEW BEST:: SOT 87909707 SOS 69009613 HAS SOPS 62695838 HAS SOUS 15720562 HAS SOUPS 15644949 WITH SCORE 1.5713958613E7
AT ITER 994 NEW BEST:: SOT 87998809 SOS 69098791 HAS SOPS 62773937 HAS SOUS 15708459 HAS SOUPS 15632846 WITH SCORE 1.5701944791E7
AT ITER 995 NEW BEST:: SOT 87974831 SOS 69075159 HAS SOPS 62728812 HAS SOUS 15673565 HAS SOUPS 15597952 WITH SCORE 1.5667027159E7
AT ITER 1005 NEW BEST:: SOT 87973266 SOS 69073584 HAS SOPS 62727062 HAS SOUS 15671810 HAS SOUPS 15596197 WITH SCORE 1.5665270584E7
AT ITER 1016 NEW BEST:: SOT 88049104 SOS 69149451 HAS SOPS 62794397 HAS SOUS 15660458 HAS SOUPS 15584845 WITH SCORE 1.5653994451E7
AT ITER 1017 NEW BEST:: SOT 88047644 SOS 69147872 HAS SOPS 62790016 HAS SOUS 15648018 HAS SOUPS 15572405 WITH SCORE 1.5641552872E7
AT ITER 1023 NEW BEST:: SOT 88050693 SOS 69150988 HAS SOPS 62789066 HAS SOUS 15643071 HAS SOUPS 15567458 WITH SCORE 1.5636608988E7
AT ITER 1047 NEW BEST:: SOT 88047788 SOS 69147909 HAS SOPS 62776189 HAS SOUS 15614142 HAS SOUPS 15538529 WITH SCORE 1.5607676909E7
AT ITER 1058 NEW BEST:: SOT 88091505 SOS 69191340 HAS SOPS 62809923 HAS SOUS 15607410 HAS SOUPS 15531797 WITH SCORE 1.560098834E7
AT ITER 1061 NEW BEST:: SOT 88062753 SOS 69162782 HAS SOPS 62776593 HAS SOUS 15556344 HAS SOUPS 15480731 WITH SCORE 1.5549893782E7
AT ITER 1063 NEW BEST:: SOT 88161288 SOS 69260765 HAS SOPS 62856445 HAS SOUS 15532975 HAS SOUPS 15457441 WITH SCORE 1.5526701765E7
AT ITER 1078 NEW BEST:: SOT 88161304 SOS 69259317 HAS SOPS 62854997 HAS SOUS 15532970 HAS SOUPS 15457436 WITH SCORE 1.5526695317E7
AT ITER 1082 NEW BEST:: SOT 88160746 SOS 69258762 HAS SOPS 62854241 HAS SOUS 15532436 HAS SOUPS 15456719 WITH SCORE 1.5525977762E7
AT ITER 1086 NEW BEST:: SOT 88130041 SOS 69227764 HAS SOPS 62805711 HAS SOUS 15494184 HAS SOUPS 15418396 WITH SCORE 1.5487623764E7
AT ITER 1092 NEW BEST:: SOT 88252534 SOS 69349744 HAS SOPS 62912877 HAS SOUS 15459280 HAS SOUPS 15383492 WITH SCORE 1.5452841744E7
AT ITER 1095 NEW BEST:: SOT 88252573 SOS 69349783 HAS SOPS 62912877 HAS SOUS 15458866 HAS SOUPS 15383078 WITH SCORE 1.5452427783E7
AT ITER 1096 NEW BEST:: SOT 88252096 SOS 69349312 HAS SOPS 62912337 HAS SOUS 15458407 HAS SOUPS 15382619 WITH SCORE 1.5451968312E7
AT ITER 1103 NEW BEST:: SOT 88227798 SOS 69324974 HAS SOPS 62882863 HAS SOUS 15417421 HAS SOUPS 15341633 WITH SCORE 1.5410957974E7
AT ITER 1111 NEW BEST:: SOT 88184479 SOS 69281493 HAS SOPS 62833748 HAS SOUS 15394892 HAS SOUPS 15319104 WITH SCORE 1.5388385493E7
AT ITER 1113 NEW BEST:: SOT 88156988 SOS 69254265 HAS SOPS 62799298 HAS SOUS 15341281 HAS SOUPS 15265493 WITH SCORE 1.5334747265E7
AT ITER 1117 NEW BEST:: SOT 88156532 SOS 69233735 HAS SOPS 62715917 HAS SOUS 15341062 HAS SOUPS 15265252 WITH SCORE 1.5334485735E7
AT ITER 1119 NEW BEST:: SOT 88100496 SOS 69177343 HAS SOPS 62665781 HAS SOUS 15322299 HAS SOUPS 15246489 WITH SCORE 1.5315666343E7
AT ITER 1133 NEW BEST:: SOT 88094353 SOS 69171750 HAS SOPS 62662574 HAS SOUS 15274983 HAS SOUPS 15199825 WITH SCORE 1.526899675E7
AT ITER 1135 NEW BEST:: SOT 88063452 SOS 69140103 HAS SOPS 62612769 HAS SOUS 15230729 HAS SOUPS 15155678 WITH SCORE 1.5224818103E7
AT ITER 1138 NEW BEST:: SOT 88067754 SOS 69144405 HAS SOPS 62617197 HAS SOUS 15230063 HAS SOUPS 15155012 WITH SCORE 1.5224156405E7
AT ITER 1142 NEW BEST:: SOT 88067738 SOS 69146975 HAS SOPS 62622945 HAS SOUS 15230015 HAS SOUPS 15155008 WITH SCORE 1.5224154975E7
AT ITER 1149 NEW BEST:: SOT 88137432 SOS 69216374 HAS SOPS 62667704 HAS SOUS 15179916 HAS SOUPS 15104909 WITH SCORE 1.5174125374E7
AT ITER 1157 NEW BEST:: SOT 88110053 SOS 69188431 HAS SOPS 62642203 HAS SOUS 15130831 HAS SOUPS 15055824 WITH SCORE 1.5125012431E7
AT ITER 1175 NEW BEST:: SOT 88104286 SOS 69182938 HAS SOPS 62632575 HAS SOUS 15094745 HAS SOUPS 15019738 WITH SCORE 1.5088920938E7
AT ITER 1179 NEW BEST:: SOT 88085563 SOS 69164112 HAS SOPS 62611963 HAS SOUS 15065800 HAS SOUPS 14990793 WITH SCORE 1.5059957112E7
AT ITER 1192 NEW BEST:: SOT 88092926 SOS 69171865 HAS SOPS 62600573 HAS SOUS 15021645 HAS SOUPS 14946638 WITH SCORE 1.5015809865E7
AT ITER 1196 NEW BEST:: SOT 88085609 SOS 69164548 HAS SOPS 62596176 HAS SOUS 15007704 HAS SOUPS 14932697 WITH SCORE 1.5001861548E7
AT ITER 1197 NEW BEST:: SOT 88064049 SOS 69142988 HAS SOPS 62574616 HAS SOUS 14986144 HAS SOUPS 14911137 WITH SCORE 1.4980279988E7
AT ITER 1198 NEW BEST:: SOT 88064029 SOS 69094325 HAS SOPS 62525953 HAS SOUS 14986190 HAS SOUPS 14911183 WITH SCORE 1.4980277325E7
AT ITER 1203 NEW BEST:: SOT 88063044 SOS 69093890 HAS SOPS 62521099 HAS SOUS 14980459 HAS SOUPS 14905452 WITH SCORE 1.497454589E7
AT ITER 1205 NEW BEST:: SOT 88089012 SOS 69119858 HAS SOPS 62543275 HAS SOUS 14980366 HAS SOUPS 14905359 WITH SCORE 1.4974478858E7
AT ITER 1211 NEW BEST:: SOT 88270667 SOS 69300467 HAS SOPS 62693701 HAS SOUS 14977298 HAS SOUPS 14902291 WITH SCORE 1.4971591467E7
AT ITER 1223 NEW BEST:: SOT 88258427 SOS 69288227 HAS SOPS 62680116 HAS SOUS 14958868 HAS SOUPS 14883861 WITH SCORE 1.4953149227E7
AT ITER 1226 NEW BEST:: SOT 88258431 SOS 69288231 HAS SOPS 62680120 HAS SOUS 14958404 HAS SOUPS 14883397 WITH SCORE 1.4952685231E7
AT ITER 1231 NEW BEST:: SOT 88258484 SOS 69278433 HAS SOPS 62670513 HAS SOUS 14958334 HAS SOUPS 14883327 WITH SCORE 1.4952605433E7
AT ITER 1236 NEW BEST:: SOT 88258712 SOS 69154334 HAS SOPS 62635169 HAS SOUS 14958279 HAS SOUPS 14883272 WITH SCORE 1.4952426334E7
AT ITER 1240 NEW BEST:: SOT 88265387 SOS 69161015 HAS SOPS 62644087 HAS SOUS 14952705 HAS SOUPS 14877698 WITH SCORE 1.4946859015E7
AT ITER 1242 NEW BEST:: SOT 88265937 SOS 69094022 HAS SOPS 62577784 HAS SOUS 14952076 HAS SOUPS 14877069 WITH SCORE 1.4946163022E7
AT ITER 1253 NEW BEST:: SOT 88257066 SOS 69085287 HAS SOPS 62568194 HAS SOUS 14939298 HAS SOUPS 14864291 WITH SCORE 1.4933376287E7
AT ITER 1260 NEW BEST:: SOT 88258044 SOS 69086297 HAS SOPS 62569163 HAS SOUS 14939078 HAS SOUPS 14864071 WITH SCORE 1.4933157297E7
AT ITER 1272 NEW BEST:: SOT 88306326 SOS 69133945 HAS SOPS 62605325 HAS SOUS 14908158 HAS SOUPS 14833151 WITH SCORE 1.4902284945E7
AT ITER 1274 NEW BEST:: SOT 88313151 SOS 69140571 HAS SOPS 62612467 HAS SOUS 14900499 HAS SOUPS 14825492 WITH SCORE 1.4894632571E7
AT ITER 1275 NEW BEST:: SOT 88313560 SOS 69140869 HAS SOPS 62609935 HAS SOUS 14881810 HAS SOUPS 14806803 WITH SCORE 1.4875943869E7
AT ITER 1277 NEW BEST:: SOT 88289772 SOS 69116921 HAS SOPS 62580934 HAS SOUS 14870335 HAS SOUPS 14795328 WITH SCORE 1.4864444921E7
AT ITER 1295 NEW BEST:: SOT 88289030 SOS 69116039 HAS SOPS 62572052 HAS SOUS 14858759 HAS SOUPS 14783752 WITH SCORE 1.4852868039E7
AT ITER 1296 NEW BEST:: SOT 88290818 SOS 69117622 HAS SOPS 62573450 HAS SOUS 14857038 HAS SOUPS 14782031 WITH SCORE 1.4851148622E7
AT ITER 1297 NEW BEST:: SOT 88235580 SOS 69063382 HAS SOPS 62520422 HAS SOUS 14848066 HAS SOUPS 14773059 WITH SCORE 1.4842122382E7
AT ITER 1309 NEW BEST:: SOT 88216864 SOS 69249088 HAS SOPS 62707120 HAS SOUS 14833759 HAS SOUPS 14759322 WITH SCORE 1.4828571088E7
AT ITER 1317 NEW BEST:: SOT 88216786 SOS 69174885 HAS SOPS 62632869 HAS SOUS 14833601 HAS SOUPS 14759164 WITH SCORE 1.4828338885E7
AT ITER 1336 NEW BEST:: SOT 88181289 SOS 69139509 HAS SOPS 62596204 HAS SOUS 14815167 HAS SOUPS 14740730 WITH SCORE 1.4809869509E7
AT ITER 1340 NEW BEST:: SOT 88181655 SOS 69152306 HAS SOPS 62610687 HAS SOUS 14814752 HAS SOUPS 14740315 WITH SCORE 1.4809467306E7
AT ITER 1343 NEW BEST:: SOT 88181655 SOS 69121681 HAS SOPS 62580042 HAS SOUS 14814712 HAS SOUPS 14740275 WITH SCORE 1.4809396681E7
AT ITER 1349 NEW BEST:: SOT 88173073 SOS 69113244 HAS SOPS 62572025 HAS SOUS 14808595 HAS SOUPS 14734158 WITH SCORE 1.4803271244E7
AT ITER 1361 NEW BEST:: SOT 88174668 SOS 69114839 HAS SOPS 62573521 HAS SOUS 14807869 HAS SOUPS 14733432 WITH SCORE 1.4802546839E7
AT ITER 1370 NEW BEST:: SOT 88178884 SOS 69119099 HAS SOPS 62578209 HAS SOUS 14806025 HAS SOUPS 14731588 WITH SCORE 1.4800707099E7
AT ITER 1374 NEW BEST:: SOT 88182381 SOS 69122497 HAS SOPS 62578523 HAS SOUS 14770902 HAS SOUPS 14696465 WITH SCORE 1.4765587497E7
AT ITER 1375 NEW BEST:: SOT 88183662 SOS 69123590 HAS SOPS 62573767 HAS SOUS 14768009 HAS SOUPS 14693572 WITH SCORE 1.476269559E7
AT ITER 1381 NEW BEST:: SOT 88294104 SOS 69233735 HAS SOPS 62649132 HAS SOUS 14716118 HAS SOUPS 14641681 WITH SCORE 1.4710914735E7
AT ITER 1390 NEW BEST:: SOT 88293093 SOS 69232685 HAS SOPS 62647191 HAS SOUS 14713242 HAS SOUPS 14638805 WITH SCORE 1.4708037685E7
AT ITER 1403 NEW BEST:: SOT 88295625 SOS 69234561 HAS SOPS 62644411 HAS SOUS 14713098 HAS SOUPS 14638661 WITH SCORE 1.4707895561E7
AT ITER 1422 NEW BEST:: SOT 88264405 SOS 69203242 HAS SOPS 62602854 HAS SOUS 14674735 HAS SOUPS 14600298 WITH SCORE 1.4669501242E7
AT ITER 1424 NEW BEST:: SOT 88284009 SOS 69223255 HAS SOPS 62616772 HAS SOUS 14674545 HAS SOUPS 14600108 WITH SCORE 1.4669331255E7
AT ITER 1427 NEW BEST:: SOT 88277852 SOS 69217248 HAS SOPS 62606303 HAS SOUS 14656202 HAS SOUPS 14581765 WITH SCORE 1.4650982248E7
AT ITER 1437 NEW BEST:: SOT 88221596 SOS 69160851 HAS SOPS 62553261 HAS SOUS 14616869 HAS SOUPS 14542432 WITH SCORE 1.4611592851E7
AT ITER 1441 NEW BEST:: SOT 88264569 SOS 69203566 HAS SOPS 62593323 HAS SOUS 14613945 HAS SOUPS 14539508 WITH SCORE 1.4608711566E7
AT ITER 1443 NEW BEST:: SOT 88338679 SOS 69277332 HAS SOPS 62654143 HAS SOUS 14542403 HAS SOUPS 14467966 WITH SCORE 1.4537243332E7
AT ITER 1453 NEW BEST:: SOT 88338442 SOS 69307572 HAS SOPS 62675794 HAS SOUS 14542527 HAS SOUPS 14467904 WITH SCORE 1.4537211572E7
AT ITER 1457 NEW BEST:: SOT 88327817 SOS 69296780 HAS SOPS 62659831 HAS SOUS 14516914 HAS SOUPS 14442291 WITH SCORE 1.451158778E7
AT ITER 1458 NEW BEST:: SOT 88327757 SOS 69317717 HAS SOPS 62675702 HAS SOUS 14516836 HAS SOUPS 14442106 WITH SCORE 1.4511423717E7
AT ITER 1461 NEW BEST:: SOT 88293070 SOS 69283037 HAS SOPS 62641490 HAS SOUS 14482897 HAS SOUPS 14408307 WITH SCORE 1.4477590037E7
AT ITER 1463 NEW BEST:: SOT 88315214 SOS 69304648 HAS SOPS 62651224 HAS SOUS 14418974 HAS SOUPS 14344384 WITH SCORE 1.4413688648E7
AT ITER 1467 NEW BEST:: SOT 88334310 SOS 69323754 HAS SOPS 62664726 HAS SOUS 14404891 HAS SOUPS 14330301 WITH SCORE 1.4399624754E7
AT ITER 1480 NEW BEST:: SOT 88337623 SOS 69327023 HAS SOPS 62666557 HAS SOUS 14398063 HAS SOUPS 14323473 WITH SCORE 1.4392800023E7
AT ITER 1482 NEW BEST:: SOT 88336523 SOS 69325923 HAS SOPS 62662573 HAS SOUS 14391545 HAS SOUPS 14316955 WITH SCORE 1.4386280923E7
AT ITER 1489 NEW BEST:: SOT 88309014 SOS 69298275 HAS SOPS 62631330 HAS SOUS 14366701 HAS SOUPS 14292111 WITH SCORE 1.4361409275E7
AT ITER 1506 NEW BEST:: SOT 88360553 SOS 69350032 HAS SOPS 62669558 HAS SOUS 14274215 HAS SOUPS 14199625 WITH SCORE 1.4268975032E7
AT ITER 1507 NEW BEST:: SOT 88369205 SOS 69508750 HAS SOPS 62836563 HAS SOUS 14247430 HAS SOUPS 14173029 WITH SCORE 1.424253775E7
AT ITER 1515 NEW BEST:: SOT 88382985 SOS 69522447 HAS SOPS 62846893 HAS SOUS 14238001 HAS SOUPS 14163600 WITH SCORE 1.4233122447E7
AT ITER 1525 NEW BEST:: SOT 88382835 SOS 69522303 HAS SOPS 62846826 HAS SOUS 14237800 HAS SOUPS 14163399 WITH SCORE 1.4232921303E7
AT ITER 1537 NEW BEST:: SOT 88360847 SOS 69500132 HAS SOPS 62820419 HAS SOUS 14214277 HAS SOUPS 14139876 WITH SCORE 1.4209376132E7
AT ITER 1546 NEW BEST:: SOT 88360583 SOS 69501158 HAS SOPS 62820636 HAS SOUS 14214189 HAS SOUPS 14139779 WITH SCORE 1.4209280158E7
AT ITER 1547 NEW BEST:: SOT 88363307 SOS 69503833 HAS SOPS 62823223 HAS SOUS 14213798 HAS SOUPS 14139388 WITH SCORE 1.4208891833E7
AT ITER 1550 NEW BEST:: SOT 88361011 SOS 69501529 HAS SOPS 62820823 HAS SOUS 14211486 HAS SOUPS 14137076 WITH SCORE 1.4206577529E7
AT ITER 1551 NEW BEST:: SOT 88356390 SOS 69496885 HAS SOPS 62815831 HAS SOUS 14201752 HAS SOUPS 14127342 WITH SCORE 1.4196838885E7
AT ITER 1552 NEW BEST:: SOT 88356502 SOS 69497011 HAS SOPS 62815117 HAS SOUS 14199540 HAS SOUPS 14125130 WITH SCORE 1.4194627011E7
AT ITER 1565 NEW BEST:: SOT 88356502 SOS 69491750 HAS SOPS 62829474 HAS SOUS 14199473 HAS SOUPS 14125063 WITH SCORE 1.419455475E7
AT ITER 1567 NEW BEST:: SOT 88357080 SOS 69492328 HAS SOPS 62828642 HAS SOUS 14192497 HAS SOUPS 14118087 WITH SCORE 1.4187579328E7
AT ITER 1568 NEW BEST:: SOT 88353866 SOS 69489039 HAS SOPS 62821609 HAS SOUS 14188151 HAS SOUPS 14113741 WITH SCORE 1.4183230039E7
AT ITER 1571 NEW BEST:: SOT 88353861 SOS 69477934 HAS SOPS 62810295 HAS SOUS 14188107 HAS SOUPS 14113697 WITH SCORE 1.4183174934E7
AT ITER 1582 NEW BEST:: SOT 88347477 SOS 69471510 HAS SOPS 62803663 HAS SOUS 14177163 HAS SOUPS 14102753 WITH SCORE 1.417222451E7
AT ITER 1586 NEW BEST:: SOT 88360822 SOS 69484775 HAS SOPS 62811747 HAS SOUS 14137965 HAS SOUPS 14063555 WITH SCORE 1.4133039775E7
AT ITER 1590 NEW BEST:: SOT 88361514 SOS 69485467 HAS SOPS 62812335 HAS SOUS 14137053 HAS SOUPS 14062643 WITH SCORE 1.4132128467E7
AT ITER 1591 NEW BEST:: SOT 88342145 SOS 69465845 HAS SOPS 62787043 HAS SOUS 14076285 HAS SOUPS 14001875 WITH SCORE 1.4071340845E7
AT ITER 1601 NEW BEST:: SOT 88342771 SOS 69466467 HAS SOPS 62787658 HAS SOUS 14076021 HAS SOUPS 14001611 WITH SCORE 1.4071077467E7
AT ITER 1606 NEW BEST:: SOT 88328759 SOS 69452287 HAS SOPS 62769090 HAS SOUS 14061881 HAS SOUPS 13987471 WITH SCORE 1.4056923287E7
AT ITER 1614 NEW BEST:: SOT 88328831 SOS 69433791 HAS SOPS 62749659 HAS SOUS 14061619 HAS SOUPS 13987209 WITH SCORE 1.4056642791E7
AT ITER 1621 NEW BEST:: SOT 88330174 SOS 69366522 HAS SOPS 62694375 HAS SOUS 14061305 HAS SOUPS 13987017 WITH SCORE 1.4056383522E7
AT ITER 1639 NEW BEST:: SOT 88327826 SOS 69364190 HAS SOPS 62691603 HAS SOUS 14058509 HAS SOUPS 13984221 WITH SCORE 1.405358519E7
AT ITER 1645 NEW BEST:: SOT 88317218 SOS 69353634 HAS SOPS 62679799 HAS SOUS 14043221 HAS SOUPS 13968907 WITH SCORE 1.4038260634E7
AT ITER 1650 NEW BEST:: SOT 88314272 SOS 69350739 HAS SOPS 62675390 HAS SOUS 14042037 HAS SOUPS 13967723 WITH SCORE 1.4037073739E7
AT ITER 1654 NEW BEST:: SOT 88314306 SOS 69385408 HAS SOPS 62714652 HAS SOUS 14041726 HAS SOUPS 13967412 WITH SCORE 1.4036797408E7
AT ITER 1664 NEW BEST:: SOT 88331712 SOS 69402659 HAS SOPS 62738215 HAS SOUS 14035542 HAS SOUPS 13961538 WITH SCORE 1.4030940659E7
AT ITER 1674 NEW BEST:: SOT 88350264 SOS 69420827 HAS SOPS 62745368 HAS SOUS 14005644 HAS SOUPS 13931640 WITH SCORE 1.4001060827E7
AT ITER 1684 NEW BEST:: SOT 88392671 SOS 69462889 HAS SOPS 62774038 HAS SOUS 13923820 HAS SOUPS 13849816 WITH SCORE 1.3919278889E7
AT ITER 1694 NEW BEST:: SOT 88392917 SOS 69421235 HAS SOPS 62735141 HAS SOUS 13923651 HAS SOUPS 13849647 WITH SCORE 1.3919068235E7
AT ITER 1696 NEW BEST:: SOT 88387491 SOS 69415131 HAS SOPS 62719838 HAS SOUS 13900246 HAS SOUPS 13826362 WITH SCORE 1.3895777131E7
AT ITER 1699 NEW BEST:: SOT 88388604 SOS 69416181 HAS SOPS 62719438 HAS SOUS 13895353 HAS SOUPS 13821469 WITH SCORE 1.3890885181E7
AT ITER 1706 NEW BEST:: SOT 88351881 SOS 69378991 HAS SOPS 62678880 HAS SOUS 13867337 HAS SOUPS 13793453 WITH SCORE 1.3862831991E7
AT ITER 1710 NEW BEST:: SOT 88344200 SOS 69371117 HAS SOPS 62667974 HAS SOUS 13855935 HAS SOUPS 13782051 WITH SCORE 1.3851422117E7
AT ITER 1724 NEW BEST:: SOT 88345753 SOS 69372610 HAS SOPS 62669317 HAS SOUS 13855003 HAS SOUPS 13781119 WITH SCORE 1.385049161E7
AT ITER 1728 NEW BEST:: SOT 88349724 SOS 69376581 HAS SOPS 62672581 HAS SOUS 13851672 HAS SOUPS 13777788 WITH SCORE 1.3847164581E7
AT ITER 1732 NEW BEST:: SOT 88377269 SOS 69404389 HAS SOPS 62695688 HAS SOUS 13836169 HAS SOUPS 13762285 WITH SCORE 1.3831689389E7
AT ITER 1765 NEW BEST:: SOT 88377869 SOS 69404981 HAS SOPS 62696184 HAS SOUS 13835217 HAS SOUPS 13761333 WITH SCORE 1.3830737981E7
AT ITER 1770 NEW BEST:: SOT 88340242 SOS 69367269 HAS SOPS 62655928 HAS SOUS 13816890 HAS SOUPS 13743006 WITH SCORE 1.3812373269E7
AT ITER 1789 NEW BEST:: SOT 88345590 SOS 69372451 HAS SOPS 62656342 HAS SOUS 13803188 HAS SOUPS 13729304 WITH SCORE 1.3798676451E7
AT ITER 1805 NEW BEST:: SOT 88344876 SOS 69371683 HAS SOPS 62655364 HAS SOUS 13797458 HAS SOUPS 13723574 WITH SCORE 1.3792945683E7
AT ITER 1822 NEW BEST:: SOT 88341352 SOS 69367945 HAS SOPS 62649741 HAS SOUS 13797214 HAS SOUPS 13723330 WITH SCORE 1.3792697945E7
AT ITER 1828 NEW BEST:: SOT 88366263 SOS 69392625 HAS SOPS 62671777 HAS SOUS 13790936 HAS SOUPS 13717052 WITH SCORE 1.3786444625E7
AT ITER 1831 NEW BEST:: SOT 88366385 SOS 69377244 HAS SOPS 62656386 HAS SOUS 13790950 HAS SOUPS 13717066 WITH SCORE 1.3786443244E7
AT ITER 1853 NEW BEST:: SOT 88363841 SOS 69374385 HAS SOPS 62653287 HAS SOUS 13758901 HAS SOUPS 13685017 WITH SCORE 1.3754391385E7
AT ITER 1855 NEW BEST:: SOT 88362224 SOS 69372684 HAS SOPS 62650045 HAS SOUS 13744359 HAS SOUPS 13670475 WITH SCORE 1.3739847684E7
AT ITER 1857 NEW BEST:: SOT 88315067 SOS 69324790 HAS SOPS 62602591 HAS SOUS 13707432 HAS SOUPS 13633548 WITH SCORE 1.370287279E7
AT ITER 1860 NEW BEST:: SOT 88315090 SOS 69323459 HAS SOPS 62600683 HAS SOUS 13707409 HAS SOUPS 13633525 WITH SCORE 1.3702848459E7
AT ITER 1865 NEW BEST:: SOT 88296973 SOS 69305315 HAS SOPS 62582705 HAS SOUS 13694401 HAS SOUPS 13620517 WITH SCORE 1.3689822315E7
AT ITER 1867 NEW BEST:: SOT 88285523 SOS 69293918 HAS SOPS 62554796 HAS SOUS 13611595 HAS SOUPS 13537711 WITH SCORE 1.3607004918E7
AT ITER 1870 NEW BEST:: SOT 88285036 SOS 69293404 HAS SOPS 62552803 HAS SOUS 13603901 HAS SOUPS 13530017 WITH SCORE 1.3599310404E7
AT ITER 1873 NEW BEST:: SOT 88298336 SOS 69306750 HAS SOPS 62562921 HAS SOUS 13590581 HAS SOUPS 13516697 WITH SCORE 1.358600375E7
AT ITER 1874 NEW BEST:: SOT 88293348 SOS 69301909 HAS SOPS 62554955 HAS SOUS 13576214 HAS SOUPS 13502330 WITH SCORE 1.3571631909E7
AT ITER 1878 NEW BEST:: SOT 88296134 SOS 69304706 HAS SOPS 62556252 HAS SOUS 13574239 HAS SOUPS 13500355 WITH SCORE 1.3569659706E7
AT ITER 1902 NEW BEST:: SOT 88296198 SOS 69285505 HAS SOPS 62535839 HAS SOUS 13573931 HAS SOUPS 13500047 WITH SCORE 1.3569332505E7
AT ITER 1908 NEW BEST:: SOT 88310096 SOS 69299403 HAS SOPS 62545264 HAS SOUS 13567622 HAS SOUPS 13493738 WITH SCORE 1.3563037403E7
AT ITER 1922 NEW BEST:: SOT 88284036 SOS 69273343 HAS SOPS 62516060 HAS SOUS 13558698 HAS SOUPS 13484814 WITH SCORE 1.3554087343E7
AT ITER 1928 NEW BEST:: SOT 88282969 SOS 69272266 HAS SOPS 62514379 HAS SOUS 13556346 HAS SOUPS 13482462 WITH SCORE 1.3551734266E7
AT ITER 1952 NEW BEST:: SOT 88233283 SOS 69222464 HAS SOPS 62467272 HAS SOUS 13554197 HAS SOUPS 13480313 WITH SCORE 1.3549535464E7
AT ITER 1956 NEW BEST:: SOT 88233376 SOS 69244137 HAS SOPS 62489689 HAS SOUS 13554129 HAS SOUPS 13480276 WITH SCORE 1.3549520137E7
AT ITER 1960 NEW BEST:: SOT 88233376 SOS 69243700 HAS SOPS 62490406 HAS SOUS 13554128 HAS SOUPS 13480275 WITH SCORE 1.35495187E7
AT ITER 1978 NEW BEST:: SOT 88216794 SOS 69227141 HAS SOPS 62474831 HAS SOUS 13551584 HAS SOUPS 13477731 WITH SCORE 1.3546958141E7
AT ITER 1981 NEW BEST:: SOT 88216535 SOS 69226882 HAS SOPS 62474571 HAS SOUS 13551354 HAS SOUPS 13477501 WITH SCORE 1.3546727882E7
AT ITER 1996 NEW BEST:: SOT 88216479 SOS 69226826 HAS SOPS 62474505 HAS SOUS 13551264 HAS SOUPS 13477411 WITH SCORE 1.3546637826E7
AT ITER 2006 NEW BEST:: SOT 88199081 SOS 69209424 HAS SOPS 62461843 HAS SOUS 13548432 HAS SOUPS 13474579 WITH SCORE 1.3543788424E7
AT ITER 2009 NEW BEST:: SOT 88223266 SOS 69233512 HAS SOPS 62484237 HAS SOUS 13540657 HAS SOUPS 13466804 WITH SCORE 1.3536037512E7
AT ITER 2022 NEW BEST:: SOT 88213237 SOS 69223517 HAS SOPS 62472320 HAS SOUS 13522554 HAS SOUPS 13448701 WITH SCORE 1.3517924517E7
AT ITER 2025 NEW BEST:: SOT 88182258 SOS 69193526 HAS SOPS 62440005 HAS SOUS 13516928 HAS SOUPS 13443075 WITH SCORE 1.3512268526E7
AT ITER 2038 NEW BEST:: SOT 88178763 SOS 69190104 HAS SOPS 62438479 HAS SOUS 13508921 HAS SOUPS 13435068 WITH SCORE 1.3504258104E7
AT ITER 2047 NEW BEST:: SOT 88178583 SOS 69189924 HAS SOPS 62438309 HAS SOUS 13508911 HAS SOUPS 13435058 WITH SCORE 1.3504247924E7
AT ITER 2052 NEW BEST:: SOT 88178142 SOS 69042937 HAS SOPS 62440424 HAS SOUS 13509051 HAS SOUPS 13435198 WITH SCORE 1.3504240937E7
AT ITER 2062 NEW BEST:: SOT 88178029 SOS 69015666 HAS SOPS 62414954 HAS SOUS 13508689 HAS SOUPS 13434874 WITH SCORE 1.3503889666E7
AT ITER 2076 NEW BEST:: SOT 88170233 SOS 69007815 HAS SOPS 62405702 HAS SOUS 13486123 HAS SOUPS 13412308 WITH SCORE 1.3481315815E7
AT ITER 2081 NEW BEST:: SOT 88177941 SOS 69015618 HAS SOPS 62413458 HAS SOUS 13466437 HAS SOUPS 13392622 WITH SCORE 1.3461637618E7
AT ITER 2084 NEW BEST:: SOT 88178083 SOS 68974772 HAS SOPS 62401240 HAS SOUS 13466417 HAS SOUPS 13392626 WITH SCORE 1.3461600772E7
AT ITER 2090 NEW BEST:: SOT 88178471 SOS 68978560 HAS SOPS 62407328 HAS SOUS 13466132 HAS SOUPS 13392341 WITH SCORE 1.346131956E7
AT ITER 2097 NEW BEST:: SOT 88178465 SOS 68977771 HAS SOPS 62404031 HAS SOUS 13466132 HAS SOUPS 13392338 WITH SCORE 1.3461315771E7
AT ITER 2103 NEW BEST:: SOT 88178465 SOS 68892198 HAS SOPS 62318458 HAS SOUS 13466128 HAS SOUPS 13392334 WITH SCORE 1.3461226198E7
AT ITER 2133 NEW BEST:: SOT 88154154 SOS 68867607 HAS SOPS 62285596 HAS SOUS 13446066 HAS SOUPS 13372272 WITH SCORE 1.3441139607E7
AT ITER 2143 NEW BEST:: SOT 88151434 SOS 68864887 HAS SOPS 62282476 HAS SOUS 13440066 HAS SOUPS 13366272 WITH SCORE 1.3435136887E7
AT ITER 2157 NEW BEST:: SOT 88154849 SOS 68868041 HAS SOPS 62282254 HAS SOUS 13418230 HAS SOUPS 13344436 WITH SCORE 1.3413304041E7
AT ITER 2164 NEW BEST:: SOT 88137144 SOS 68850209 HAS SOPS 62259634 HAS SOUS 13386710 HAS SOUPS 13312916 WITH SCORE 1.3381766209E7
AT ITER 2165 NEW BEST:: SOT 88133088 SOS 68846147 HAS SOPS 62255692 HAS SOUS 13385948 HAS SOUPS 13312154 WITH SCORE 1.3381000147E7
AT ITER 2179 NEW BEST:: SOT 88131836 SOS 68844887 HAS SOPS 62254276 HAS SOUS 13384728 HAS SOUPS 13310934 WITH SCORE 1.3379778887E7
AT ITER 2199 NEW BEST:: SOT 88134240 SOS 68847255 HAS SOPS 62256185 HAS SOUS 13383397 HAS SOUPS 13309612 WITH SCORE 1.3378459255E7
AT ITER 2201 NEW BEST:: SOT 88183378 SOS 68896493 HAS SOPS 62299038 HAS SOUS 13375095 HAS SOUPS 13301310 WITH SCORE 1.3370206493E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15438240 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16063332 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="RERS2020-PT-pb101"
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 RERS2020-PT-pb101, 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-167889194400224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS2020-PT-pb101.tgz
mv RERS2020-PT-pb101 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 '
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 ;