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-167889194300136.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 RERS17pb114-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194300136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.2K Feb 26 05:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 05:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 05:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 05:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 05:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 159K Feb 26 05:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 05:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 05:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M 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 1679480709176

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=RERS17pb114-PT-8
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 9 NEW BEST:: SOT 133689869 SOS 82288054 HAS SOPS 66820610 HAS SOUS 26436593 HAS SOUPS 25805902 WITH SCORE 2.5888190054E7
AT ITER 18 NEW BEST:: SOT 133608616 SOS 82207739 HAS SOPS 66732180 HAS SOUS 26280734 HAS SOUPS 25649979 WITH SCORE 2.5732186739E7
AT ITER 19 NEW BEST:: SOT 133609384 SOS 82212675 HAS SOPS 66737016 HAS SOUS 26280583 HAS SOUPS 25649828 WITH SCORE 2.5732040675E7
AT ITER 40 NEW BEST:: SOT 133605768 SOS 82204203 HAS SOPS 66730706 HAS SOUS 26278377 HAS SOUPS 25647748 WITH SCORE 2.5729952203E7
AT ITER 50 NEW BEST:: SOT 133607214 SOS 82205940 HAS SOPS 66731024 HAS SOUS 26278131 HAS SOUPS 25647502 WITH SCORE 2.572970794E7
AT ITER 51 NEW BEST:: SOT 133595972 SOS 82190462 HAS SOPS 66716436 HAS SOUS 26266607 HAS SOUPS 25635978 WITH SCORE 2.5718168462E7
AT ITER 55 NEW BEST:: SOT 133596045 SOS 82191447 HAS SOPS 66717085 HAS SOUS 26266323 HAS SOUPS 25635694 WITH SCORE 2.5717885447E7
AT ITER 65 NEW BEST:: SOT 133566077 SOS 82121094 HAS SOPS 66678202 HAS SOUS 26253942 HAS SOUPS 25623313 WITH SCORE 2.5705434094E7
AT ITER 85 NEW BEST:: SOT 133564028 SOS 82117070 HAS SOPS 66674241 HAS SOUS 26249394 HAS SOUPS 25618789 WITH SCORE 2.570090607E7
AT ITER 93 NEW BEST:: SOT 133667540 SOS 82332990 HAS SOPS 66939848 HAS SOUS 26248867 HAS SOUPS 25618262 WITH SCORE 2.570059499E7
AT ITER 102 NEW BEST:: SOT 133699722 SOS 82412131 HAS SOPS 67029257 HAS SOUS 26208753 HAS SOUPS 25579941 WITH SCORE 2.5662353131E7
AT ITER 113 NEW BEST:: SOT 133700254 SOS 82416274 HAS SOPS 67032021 HAS SOUS 26206689 HAS SOUPS 25577877 WITH SCORE 2.5660293274E7
AT ITER 118 NEW BEST:: SOT 133701570 SOS 82419693 HAS SOPS 67034703 HAS SOUS 26204894 HAS SOUPS 25576082 WITH SCORE 2.5658501693E7
AT ITER 129 NEW BEST:: SOT 133700698 SOS 82418613 HAS SOPS 67033791 HAS SOUS 26201817 HAS SOUPS 25573221 WITH SCORE 2.5655639613E7
AT ITER 131 NEW BEST:: SOT 133678965 SOS 82396751 HAS SOPS 67007930 HAS SOUS 26184604 HAS SOUPS 25554432 WITH SCORE 2.5636828751E7
AT ITER 132 NEW BEST:: SOT 133680925 SOS 82404642 HAS SOPS 67025561 HAS SOUS 26183537 HAS SOUPS 25553365 WITH SCORE 2.5635769642E7
AT ITER 135 NEW BEST:: SOT 133677234 SOS 82397351 HAS SOPS 67017204 HAS SOUS 26178068 HAS SOUPS 25547896 WITH SCORE 2.5630293351E7
AT ITER 138 NEW BEST:: SOT 133677530 SOS 82396913 HAS SOPS 67010328 HAS SOUS 26169452 HAS SOUPS 25539280 WITH SCORE 2.5621676913E7
AT ITER 157 NEW BEST:: SOT 133670191 SOS 82385323 HAS SOPS 66999674 HAS SOUS 26161552 HAS SOUPS 25531380 WITH SCORE 2.5613765323E7
AT ITER 163 NEW BEST:: SOT 133669983 SOS 82386008 HAS SOPS 66999800 HAS SOUS 26160662 HAS SOUPS 25530490 WITH SCORE 2.5612876008E7
AT ITER 166 NEW BEST:: SOT 133676626 SOS 82421877 HAS SOPS 67025400 HAS SOUS 26130293 HAS SOUPS 25500121 WITH SCORE 2.5582542877E7
AT ITER 175 NEW BEST:: SOT 133682333 SOS 82447349 HAS SOPS 67050502 HAS SOUS 26129541 HAS SOUPS 25499369 WITH SCORE 2.5581816349E7
AT ITER 184 NEW BEST:: SOT 133684214 SOS 82458858 HAS SOPS 67079039 HAS SOUS 26128609 HAS SOUPS 25498437 WITH SCORE 2.5580895858E7
AT ITER 198 NEW BEST:: SOT 133691073 SOS 82484637 HAS SOPS 67096843 HAS SOUS 26122248 HAS SOUPS 25492076 WITH SCORE 2.5574560637E7
AT ITER 200 NEW BEST:: SOT 133694389 SOS 82498931 HAS SOPS 67105905 HAS SOUS 26103447 HAS SOUPS 25473275 WITH SCORE 2.5555773931E7
AT ITER 212 NEW BEST:: SOT 133693345 SOS 82505379 HAS SOPS 67112071 HAS SOUS 26090838 HAS SOUPS 25460666 WITH SCORE 2.5543171379E7
AT ITER 214 NEW BEST:: SOT 133692614 SOS 82502611 HAS SOPS 67111520 HAS SOUS 26090807 HAS SOUPS 25460635 WITH SCORE 2.5543137611E7
AT ITER 215 NEW BEST:: SOT 133713881 SOS 82579665 HAS SOPS 67172014 HAS SOUS 26061144 HAS SOUPS 25430972 WITH SCORE 2.5513551665E7
AT ITER 224 NEW BEST:: SOT 133714708 SOS 82586969 HAS SOPS 67175258 HAS SOUS 26055605 HAS SOUPS 25425433 WITH SCORE 2.5508019969E7
AT ITER 229 NEW BEST:: SOT 133731797 SOS 82619024 HAS SOPS 67198696 HAS SOUS 26054950 HAS SOUPS 25424778 WITH SCORE 2.5507397024E7
AT ITER 243 NEW BEST:: SOT 133711922 SOS 82571544 HAS SOPS 67159895 HAS SOUS 26054971 HAS SOUPS 25424799 WITH SCORE 2.5507370544E7
AT ITER 245 NEW BEST:: SOT 133711250 SOS 82571967 HAS SOPS 67159539 HAS SOUS 26053129 HAS SOUPS 25422957 WITH SCORE 2.5505528967E7
AT ITER 249 NEW BEST:: SOT 133706762 SOS 82561193 HAS SOPS 67152651 HAS SOUS 26051889 HAS SOUPS 25421717 WITH SCORE 2.5504278193E7
AT ITER 254 NEW BEST:: SOT 133689467 SOS 82535366 HAS SOPS 67127717 HAS SOUS 26026477 HAS SOUPS 25396305 WITH SCORE 2.5478840366E7
AT ITER 261 NEW BEST:: SOT 133689420 SOS 82541687 HAS SOPS 67127031 HAS SOUS 26022967 HAS SOUPS 25392795 WITH SCORE 2.5475336687E7
AT ITER 265 NEW BEST:: SOT 133688513 SOS 82539484 HAS SOPS 67125236 HAS SOUS 26022819 HAS SOUPS 25392647 WITH SCORE 2.5475186484E7
AT ITER 270 NEW BEST:: SOT 133685285 SOS 82536515 HAS SOPS 67126164 HAS SOUS 26011681 HAS SOUPS 25381509 WITH SCORE 2.5464045515E7
AT ITER 274 NEW BEST:: SOT 133653449 SOS 82504679 HAS SOPS 67094328 HAS SOUS 25994897 HAS SOUPS 25364725 WITH SCORE 2.5447229679E7
AT ITER 284 NEW BEST:: SOT 133626419 SOS 82472754 HAS SOPS 67070057 HAS SOUS 25962010 HAS SOUPS 25331838 WITH SCORE 2.5414310754E7
AT ITER 292 NEW BEST:: SOT 133632795 SOS 82485716 HAS SOPS 67092465 HAS SOUS 25941663 HAS SOUPS 25311490 WITH SCORE 2.5393975716E7
AT ITER 305 NEW BEST:: SOT 133631470 SOS 82483982 HAS SOPS 67089939 HAS SOUS 25938721 HAS SOUPS 25308574 WITH SCORE 2.5391057982E7
AT ITER 309 NEW BEST:: SOT 133628959 SOS 82475551 HAS SOPS 67084676 HAS SOUS 25938423 HAS SOUPS 25308276 WITH SCORE 2.5390751551E7
AT ITER 312 NEW BEST:: SOT 133658183 SOS 82574050 HAS SOPS 67161621 HAS SOUS 25926513 HAS SOUPS 25296366 WITH SCORE 2.537894005E7
AT ITER 315 NEW BEST:: SOT 133658094 SOS 82582539 HAS SOPS 67177635 HAS SOUS 25924176 HAS SOUPS 25294029 WITH SCORE 2.5376611539E7
AT ITER 324 NEW BEST:: SOT 133656901 SOS 82579990 HAS SOPS 67175758 HAS SOUS 25923571 HAS SOUPS 25293436 WITH SCORE 2.537601599E7
AT ITER 333 NEW BEST:: SOT 133670926 SOS 82623445 HAS SOPS 67208005 HAS SOUS 25905217 HAS SOUPS 25275082 WITH SCORE 2.5357705445E7
AT ITER 335 NEW BEST:: SOT 133652566 SOS 82583106 HAS SOPS 67170381 HAS SOUS 25895104 HAS SOUPS 25264969 WITH SCORE 2.5347552106E7
AT ITER 356 NEW BEST:: SOT 133652508 SOS 82582715 HAS SOPS 67170214 HAS SOUS 25895090 HAS SOUPS 25264955 WITH SCORE 2.5347537715E7
AT ITER 358 NEW BEST:: SOT 133647533 SOS 82578860 HAS SOPS 67166075 HAS SOUS 25886592 HAS SOUPS 25256457 WITH SCORE 2.533903586E7
AT ITER 366 NEW BEST:: SOT 133646829 SOS 82578604 HAS SOPS 67165787 HAS SOUS 25885456 HAS SOUPS 25255321 WITH SCORE 2.5337899604E7
AT ITER 371 NEW BEST:: SOT 133662218 SOS 82617595 HAS SOPS 67192925 HAS SOUS 25871138 HAS SOUPS 25241003 WITH SCORE 2.5323620595E7
AT ITER 387 NEW BEST:: SOT 133652694 SOS 82592197 HAS SOPS 67177512 HAS SOUS 25868739 HAS SOUPS 25238604 WITH SCORE 2.5321196197E7
AT ITER 392 NEW BEST:: SOT 133638813 SOS 82578322 HAS SOPS 67175172 HAS SOUS 25823194 HAS SOUPS 25193110 WITH SCORE 2.5275688322E7
AT ITER 411 NEW BEST:: SOT 133639193 SOS 82578329 HAS SOPS 67174808 HAS SOUS 25820795 HAS SOUPS 25190711 WITH SCORE 2.5273289329E7
AT ITER 417 NEW BEST:: SOT 133641514 SOS 82585921 HAS SOPS 67177230 HAS SOUS 25816980 HAS SOUPS 25186896 WITH SCORE 2.5269481921E7
AT ITER 426 NEW BEST:: SOT 133641428 SOS 82585837 HAS SOPS 67177082 HAS SOUS 25816810 HAS SOUPS 25186726 WITH SCORE 2.5269311837E7
AT ITER 439 NEW BEST:: SOT 133661255 SOS 82603390 HAS SOPS 67179365 HAS SOUS 25813820 HAS SOUPS 25184118 WITH SCORE 2.526672139E7
AT ITER 443 NEW BEST:: SOT 133661257 SOS 82603499 HAS SOPS 67181174 HAS SOUS 25813211 HAS SOUPS 25183561 WITH SCORE 2.5266164499E7
AT ITER 447 NEW BEST:: SOT 133652374 SOS 82594956 HAS SOPS 67171128 HAS SOUS 25798385 HAS SOUPS 25168691 WITH SCORE 2.5251285956E7
AT ITER 453 NEW BEST:: SOT 133651280 SOS 82594665 HAS SOPS 67171802 HAS SOUS 25793734 HAS SOUPS 25164040 WITH SCORE 2.5246634665E7
AT ITER 456 NEW BEST:: SOT 133646353 SOS 82592029 HAS SOPS 67169631 HAS SOUS 25780550 HAS SOUPS 25150856 WITH SCORE 2.5233448029E7
AT ITER 458 NEW BEST:: SOT 133648412 SOS 82608611 HAS SOPS 67183398 HAS SOUS 25759931 HAS SOUPS 25130030 WITH SCORE 2.5212638611E7
AT ITER 467 NEW BEST:: SOT 133648081 SOS 82608611 HAS SOPS 67183474 HAS SOUS 25758773 HAS SOUPS 25128872 WITH SCORE 2.5211480611E7
AT ITER 473 NEW BEST:: SOT 133641471 SOS 82602517 HAS SOPS 67175698 HAS SOUS 25727812 HAS SOUPS 25098488 WITH SCORE 2.5181090517E7
AT ITER 483 NEW BEST:: SOT 133660616 SOS 82650790 HAS SOPS 67231563 HAS SOUS 25721676 HAS SOUPS 25092352 WITH SCORE 2.517500279E7
AT ITER 506 NEW BEST:: SOT 133650658 SOS 82614812 HAS SOPS 67203562 HAS SOUS 25721386 HAS SOUPS 25092062 WITH SCORE 2.5174676812E7
AT ITER 514 NEW BEST:: SOT 133649961 SOS 82613531 HAS SOPS 67203349 HAS SOUS 25720443 HAS SOUPS 25091119 WITH SCORE 2.5173732531E7
AT ITER 515 NEW BEST:: SOT 133620983 SOS 82585647 HAS SOPS 67174983 HAS SOUS 25688846 HAS SOUPS 25057252 WITH SCORE 2.5139837647E7
AT ITER 536 NEW BEST:: SOT 133617110 SOS 82582930 HAS SOPS 67165193 HAS SOUS 25674233 HAS SOUPS 25042639 WITH SCORE 2.512522193E7
AT ITER 537 NEW BEST:: SOT 133623138 SOS 82645162 HAS SOPS 67222180 HAS SOUS 25655103 HAS SOUPS 25023509 WITH SCORE 2.5106154162E7
AT ITER 552 NEW BEST:: SOT 133622791 SOS 82644823 HAS SOPS 67221756 HAS SOUS 25654272 HAS SOUPS 25022708 WITH SCORE 2.5105352823E7
AT ITER 559 NEW BEST:: SOT 133617090 SOS 82633577 HAS SOPS 67211320 HAS SOUS 25633291 HAS SOUPS 25001812 WITH SCORE 2.5084445577E7
AT ITER 571 NEW BEST:: SOT 133611768 SOS 82626416 HAS SOPS 67198235 HAS SOUS 25625151 HAS SOUPS 24993614 WITH SCORE 2.5076240416E7
AT ITER 573 NEW BEST:: SOT 133610716 SOS 82624958 HAS SOPS 67196889 HAS SOUS 25623973 HAS SOUPS 24992443 WITH SCORE 2.5075067958E7
AT ITER 574 NEW BEST:: SOT 133556915 SOS 82557710 HAS SOPS 67124678 HAS SOUS 25527729 HAS SOUPS 24896048 WITH SCORE 2.497860571E7
AT ITER 618 NEW BEST:: SOT 133542732 SOS 82533513 HAS SOPS 67100386 HAS SOUS 25505585 HAS SOUPS 24873904 WITH SCORE 2.4956437513E7
AT ITER 628 NEW BEST:: SOT 133538551 SOS 82528412 HAS SOPS 67094894 HAS SOUS 25496344 HAS SOUPS 24864916 WITH SCORE 2.4947444412E7
AT ITER 636 NEW BEST:: SOT 133537816 SOS 82544945 HAS SOPS 67118043 HAS SOUS 25489809 HAS SOUPS 24858381 WITH SCORE 2.4940925945E7
AT ITER 637 NEW BEST:: SOT 133537699 SOS 82544768 HAS SOPS 67117890 HAS SOUS 25489713 HAS SOUPS 24858285 WITH SCORE 2.4940829768E7
AT ITER 638 NEW BEST:: SOT 133541521 SOS 82548089 HAS SOPS 67117501 HAS SOUS 25487885 HAS SOUPS 24856516 WITH SCORE 2.4939064089E7
AT ITER 649 NEW BEST:: SOT 133526302 SOS 82526379 HAS SOPS 67111565 HAS SOUS 25474179 HAS SOUPS 24843039 WITH SCORE 2.4925565379E7
AT ITER 658 NEW BEST:: SOT 133517326 SOS 82535809 HAS SOPS 67116700 HAS SOUS 25440563 HAS SOUPS 24809423 WITH SCORE 2.4891958809E7
AT ITER 663 NEW BEST:: SOT 133517615 SOS 82539981 HAS SOPS 67123709 HAS SOUS 25437080 HAS SOUPS 24805940 WITH SCORE 2.4888479981E7
AT ITER 668 NEW BEST:: SOT 133512277 SOS 82535305 HAS SOPS 67109377 HAS SOUS 25408428 HAS SOUPS 24777288 WITH SCORE 2.4859823305E7
AT ITER 669 NEW BEST:: SOT 133493981 SOS 82506776 HAS SOPS 67082175 HAS SOUS 25391314 HAS SOUPS 24760174 WITH SCORE 2.4842680776E7
AT ITER 672 NEW BEST:: SOT 133500131 SOS 82556164 HAS SOPS 67162426 HAS SOUS 25385933 HAS SOUPS 24754793 WITH SCORE 2.4837349164E7
AT ITER 675 NEW BEST:: SOT 133507211 SOS 82586161 HAS SOPS 67199015 HAS SOUS 25380435 HAS SOUPS 24749295 WITH SCORE 2.4831881161E7
AT ITER 679 NEW BEST:: SOT 133487472 SOS 82543918 HAS SOPS 67165868 HAS SOUS 25360491 HAS SOUPS 24729351 WITH SCORE 2.4811894918E7
AT ITER 682 NEW BEST:: SOT 133472881 SOS 82510084 HAS SOPS 67148198 HAS SOUS 25349452 HAS SOUPS 24720142 WITH SCORE 2.4802652084E7
AT ITER 684 NEW BEST:: SOT 133501235 SOS 82617232 HAS SOPS 67255805 HAS SOUS 25328916 HAS SOUPS 24699606 WITH SCORE 2.4782223232E7
AT ITER 687 NEW BEST:: SOT 133510794 SOS 82637016 HAS SOPS 67276072 HAS SOUS 25327993 HAS SOUPS 24698683 WITH SCORE 2.4781320016E7
AT ITER 695 NEW BEST:: SOT 133502014 SOS 82628344 HAS SOPS 67269709 HAS SOUS 25306758 HAS SOUPS 24677514 WITH SCORE 2.4760142344E7
AT ITER 729 NEW BEST:: SOT 133498606 SOS 82625402 HAS SOPS 67268692 HAS SOUS 25304981 HAS SOUPS 24675737 WITH SCORE 2.4758362402E7
AT ITER 730 NEW BEST:: SOT 133468151 SOS 82565160 HAS SOPS 67240930 HAS SOUS 25294217 HAS SOUPS 24665346 WITH SCORE 2.474791116E7
AT ITER 733 NEW BEST:: SOT 133412184 SOS 82480080 HAS SOPS 67167319 HAS SOUS 25228065 HAS SOUPS 24599681 WITH SCORE 2.468216108E7
AT ITER 736 NEW BEST:: SOT 133409609 SOS 82476182 HAS SOPS 67164562 HAS SOUS 25221660 HAS SOUPS 24593308 WITH SCORE 2.4675784182E7
AT ITER 737 NEW BEST:: SOT 133410274 SOS 82483257 HAS SOPS 67174514 HAS SOUS 25221574 HAS SOUPS 24593222 WITH SCORE 2.4675705257E7
AT ITER 738 NEW BEST:: SOT 133396648 SOS 82443550 HAS SOPS 67144924 HAS SOUS 25218453 HAS SOUPS 24590101 WITH SCORE 2.467254455E7
AT ITER 746 NEW BEST:: SOT 133390226 SOS 82420733 HAS SOPS 67120396 HAS SOUS 25202798 HAS SOUPS 24574446 WITH SCORE 2.4656866733E7
AT ITER 772 NEW BEST:: SOT 133374160 SOS 82397875 HAS SOPS 67096030 HAS SOUS 25179675 HAS SOUPS 24551438 WITH SCORE 2.4633835875E7
AT ITER 777 NEW BEST:: SOT 133380429 SOS 82430160 HAS SOPS 67119242 HAS SOUS 25176412 HAS SOUPS 24548175 WITH SCORE 2.463060516E7
AT ITER 783 NEW BEST:: SOT 133380408 SOS 82431842 HAS SOPS 67123035 HAS SOUS 25176237 HAS SOUPS 24548000 WITH SCORE 2.4630431842E7
AT ITER 784 NEW BEST:: SOT 133210444 SOS 82207489 HAS SOPS 66918019 HAS SOUS 25050136 HAS SOUPS 24422530 WITH SCORE 2.4504737489E7
AT ITER 788 NEW BEST:: SOT 133208080 SOS 82203967 HAS SOPS 66907725 HAS SOUS 25038016 HAS SOUPS 24410395 WITH SCORE 2.4492598967E7
AT ITER 795 NEW BEST:: SOT 133196629 SOS 82192410 HAS SOPS 66895101 HAS SOUS 25007533 HAS SOUPS 24380579 WITH SCORE 2.446277141E7
AT ITER 799 NEW BEST:: SOT 133212249 SOS 82257918 HAS SOPS 66954534 HAS SOUS 25006280 HAS SOUPS 24379326 WITH SCORE 2.4461583918E7
AT ITER 806 NEW BEST:: SOT 133213074 SOS 82265569 HAS SOPS 66959234 HAS SOUS 25000850 HAS SOUPS 24373896 WITH SCORE 2.4456161569E7
AT ITER 835 NEW BEST:: SOT 133208518 SOS 82266487 HAS SOPS 66958114 HAS SOUS 24994301 HAS SOUPS 24365039 WITH SCORE 2.4447305487E7
AT ITER 842 NEW BEST:: SOT 133227542 SOS 82311682 HAS SOPS 66996346 HAS SOUS 24984007 HAS SOUPS 24354745 WITH SCORE 2.4437056682E7
AT ITER 846 NEW BEST:: SOT 133253732 SOS 82368980 HAS SOPS 67032714 HAS SOUS 24978897 HAS SOUPS 24349640 WITH SCORE 2.443200898E7
AT ITER 857 NEW BEST:: SOT 133282288 SOS 82458641 HAS SOPS 67108678 HAS SOUS 24976077 HAS SOUPS 24346820 WITH SCORE 2.4429278641E7
AT ITER 858 NEW BEST:: SOT 133285540 SOS 82469844 HAS SOPS 67120789 HAS SOUS 24974527 HAS SOUPS 24345270 WITH SCORE 2.4427739844E7
AT ITER 861 NEW BEST:: SOT 133280614 SOS 82464786 HAS SOPS 67114427 HAS SOUS 24966207 HAS SOUPS 24337004 WITH SCORE 2.4419468786E7
AT ITER 872 NEW BEST:: SOT 133278014 SOS 82466902 HAS SOPS 67133391 HAS SOUS 24912179 HAS SOUPS 24283613 WITH SCORE 2.4366079902E7
AT ITER 895 NEW BEST:: SOT 133276320 SOS 82461843 HAS SOPS 67128744 HAS SOUS 24910585 HAS SOUPS 24281593 WITH SCORE 2.4364054843E7
AT ITER 912 NEW BEST:: SOT 133247360 SOS 82432993 HAS SOPS 67098430 HAS SOUS 24875163 HAS SOUPS 24246040 WITH SCORE 2.4328472993E7
AT ITER 913 NEW BEST:: SOT 133242622 SOS 82414307 HAS SOPS 67080837 HAS SOUS 24873510 HAS SOUPS 24244387 WITH SCORE 2.4326801307E7
AT ITER 929 NEW BEST:: SOT 133182302 SOS 82321794 HAS SOPS 66996571 HAS SOUS 24819178 HAS SOUPS 24189936 WITH SCORE 2.4272257794E7
AT ITER 938 NEW BEST:: SOT 133185325 SOS 82333188 HAS SOPS 67005996 HAS SOUS 24814495 HAS SOUPS 24185253 WITH SCORE 2.4267586188E7
AT ITER 945 NEW BEST:: SOT 133185954 SOS 82335846 HAS SOPS 67008235 HAS SOUS 24813758 HAS SOUPS 24184516 WITH SCORE 2.4266851846E7
AT ITER 961 NEW BEST:: SOT 133185898 SOS 82327897 HAS SOPS 67017688 HAS SOUS 24808563 HAS SOUPS 24179321 WITH SCORE 2.4261648897E7
AT ITER 965 NEW BEST:: SOT 133185889 SOS 82327705 HAS SOPS 67017709 HAS SOUS 24808479 HAS SOUPS 24179240 WITH SCORE 2.4261567705E7
AT ITER 970 NEW BEST:: SOT 133185863 SOS 82327716 HAS SOPS 67017725 HAS SOUS 24808400 HAS SOUPS 24179161 WITH SCORE 2.4261488716E7
AT ITER 978 NEW BEST:: SOT 133186577 SOS 82326907 HAS SOPS 67016834 HAS SOUS 24798185 HAS SOUPS 24172014 WITH SCORE 2.4254340907E7
AT ITER 979 NEW BEST:: SOT 133186575 SOS 82327368 HAS SOPS 67014595 HAS SOUS 24797549 HAS SOUPS 24171378 WITH SCORE 2.4253705368E7
AT ITER 981 NEW BEST:: SOT 133185393 SOS 82322447 HAS SOPS 67025749 HAS SOUS 24762249 HAS SOUPS 24142523 WITH SCORE 2.4224845447E7
AT ITER 986 NEW BEST:: SOT 133184722 SOS 82323470 HAS SOPS 67025122 HAS SOUS 24758977 HAS SOUPS 24139251 WITH SCORE 2.422157447E7
AT ITER 987 NEW BEST:: SOT 133183610 SOS 82322957 HAS SOPS 67022708 HAS SOUS 24754404 HAS SOUPS 24134678 WITH SCORE 2.4217000957E7
AT ITER 999 NEW BEST:: SOT 133183484 SOS 82323011 HAS SOPS 67022834 HAS SOUS 24753336 HAS SOUPS 24133610 WITH SCORE 2.4215933011E7
AT ITER 1064 NEW BEST:: SOT 133166929 SOS 82314840 HAS SOPS 67030367 HAS SOUS 24747983 HAS SOUPS 24128599 WITH SCORE 2.421091384E7
AT ITER 1078 NEW BEST:: SOT 133179935 SOS 82350365 HAS SOPS 67051647 HAS SOUS 24743070 HAS SOUPS 24123686 WITH SCORE 2.4206036365E7
AT ITER 1090 NEW BEST:: SOT 133173759 SOS 82356651 HAS SOPS 67041961 HAS SOUS 24719119 HAS SOUPS 24099735 WITH SCORE 2.4182091651E7
AT ITER 1095 NEW BEST:: SOT 133254298 SOS 82566224 HAS SOPS 67262445 HAS SOUS 24713128 HAS SOUPS 24093744 WITH SCORE 2.4176310224E7
AT ITER 1097 NEW BEST:: SOT 133262701 SOS 82578363 HAS SOPS 67272103 HAS SOUS 24712877 HAS SOUPS 24093050 WITH SCORE 2.4175628363E7
AT ITER 1098 NEW BEST:: SOT 133263493 SOS 82581288 HAS SOPS 67274218 HAS SOUS 24712832 HAS SOUPS 24093005 WITH SCORE 2.4175586288E7
AT ITER 1108 NEW BEST:: SOT 133264686 SOS 82582616 HAS SOPS 67273715 HAS SOUS 24710852 HAS SOUPS 24091003 WITH SCORE 2.4173585616E7
AT ITER 1131 NEW BEST:: SOT 133261246 SOS 82568203 HAS SOPS 67261267 HAS SOUS 24708089 HAS SOUPS 24088240 WITH SCORE 2.4170808203E7
AT ITER 1132 NEW BEST:: SOT 133253511 SOS 82554619 HAS SOPS 67261458 HAS SOUS 24707650 HAS SOUPS 24087801 WITH SCORE 2.4170355619E7
AT ITER 1139 NEW BEST:: SOT 133201270 SOS 82459475 HAS SOPS 67183933 HAS SOUS 24669237 HAS SOUPS 24049388 WITH SCORE 2.4131847475E7
AT ITER 1160 NEW BEST:: SOT 133181454 SOS 82438509 HAS SOPS 67163006 HAS SOUS 24646891 HAS SOUPS 24027081 WITH SCORE 2.4109519509E7
AT ITER 1177 NEW BEST:: SOT 133180449 SOS 82437089 HAS SOPS 67161441 HAS SOUS 24645411 HAS SOUPS 24025601 WITH SCORE 2.4108038089E7
AT ITER 1181 NEW BEST:: SOT 133162834 SOS 82391812 HAS SOPS 67138467 HAS SOUS 24640668 HAS SOUPS 24021554 WITH SCORE 2.4103945812E7
AT ITER 1185 NEW BEST:: SOT 133161837 SOS 82388771 HAS SOPS 67140290 HAS SOUS 24639500 HAS SOUPS 24020386 WITH SCORE 2.4102774771E7
AT ITER 1188 NEW BEST:: SOT 133100854 SOS 82293110 HAS SOPS 67068975 HAS SOUS 24568093 HAS SOUPS 23949111 WITH SCORE 2.403140411E7
AT ITER 1198 NEW BEST:: SOT 133099868 SOS 82288892 HAS SOPS 67064772 HAS SOUS 24566839 HAS SOUPS 23947857 WITH SCORE 2.4030145892E7
AT ITER 1201 NEW BEST:: SOT 133100387 SOS 82307141 HAS SOPS 67063789 HAS SOUS 24530651 HAS SOUPS 23911669 WITH SCORE 2.3993976141E7
AT ITER 1206 NEW BEST:: SOT 133109799 SOS 82337485 HAS SOPS 67085054 HAS SOUS 24522662 HAS SOUPS 23903680 WITH SCORE 2.3986017485E7
AT ITER 1209 NEW BEST:: SOT 133132846 SOS 82390731 HAS SOPS 67122821 HAS SOUS 24514214 HAS SOUPS 23895232 WITH SCORE 2.3977622731E7
AT ITER 1229 NEW BEST:: SOT 133131678 SOS 82389596 HAS SOPS 67119574 HAS SOUS 24513640 HAS SOUPS 23894130 WITH SCORE 2.3976519596E7
AT ITER 1234 NEW BEST:: SOT 133118038 SOS 82371941 HAS SOPS 67096035 HAS SOUS 24479704 HAS SOUPS 23860194 WITH SCORE 2.3942565941E7
AT ITER 1235 NEW BEST:: SOT 133163617 SOS 82495608 HAS SOPS 67199357 HAS SOUS 24465194 HAS SOUPS 23845659 WITH SCORE 2.3928154608E7
AT ITER 1237 NEW BEST:: SOT 133162414 SOS 82494116 HAS SOPS 67199136 HAS SOUS 24464704 HAS SOUPS 23845169 WITH SCORE 2.3927663116E7
AT ITER 1242 NEW BEST:: SOT 133165964 SOS 82506077 HAS SOPS 67208512 HAS SOUS 24463846 HAS SOUPS 23844311 WITH SCORE 2.3926817077E7
AT ITER 1255 NEW BEST:: SOT 133156936 SOS 82491499 HAS SOPS 67188944 HAS SOUS 24446290 HAS SOUPS 23826755 WITH SCORE 2.3909246499E7
AT ITER 1265 NEW BEST:: SOT 133156724 SOS 82490973 HAS SOPS 67188480 HAS SOUS 24446170 HAS SOUPS 23826635 WITH SCORE 2.3909125973E7
AT ITER 1268 NEW BEST:: SOT 133146837 SOS 82479011 HAS SOPS 67182289 HAS SOUS 24433027 HAS SOUPS 23814109 WITH SCORE 2.3896588011E7
AT ITER 1290 NEW BEST:: SOT 133146093 SOS 82478237 HAS SOPS 67181097 HAS SOUS 24429887 HAS SOUPS 23810969 WITH SCORE 2.3893447237E7
AT ITER 1292 NEW BEST:: SOT 133144895 SOS 82476789 HAS SOPS 67178929 HAS SOUS 24426729 HAS SOUPS 23807821 WITH SCORE 2.3890297789E7
AT ITER 1322 NEW BEST:: SOT 133142169 SOS 82466270 HAS SOPS 67170505 HAS SOUS 24423055 HAS SOUPS 23804147 WITH SCORE 2.388661327E7
AT ITER 1353 NEW BEST:: SOT 133139573 SOS 82456937 HAS SOPS 67160271 HAS SOUS 24416873 HAS SOUPS 23797965 WITH SCORE 2.3880421937E7
AT ITER 1359 NEW BEST:: SOT 133111884 SOS 82412144 HAS SOPS 67120031 HAS SOUS 24375274 HAS SOUPS 23756382 WITH SCORE 2.3838794144E7
AT ITER 1375 NEW BEST:: SOT 133117423 SOS 82417151 HAS SOPS 67123822 HAS SOUS 24369820 HAS SOUPS 23750928 WITH SCORE 2.3833345151E7
AT ITER 1390 NEW BEST:: SOT 133104846 SOS 82416609 HAS SOPS 67117431 HAS SOUS 24343800 HAS SOUPS 23724750 WITH SCORE 2.3807166609E7
AT ITER 1397 NEW BEST:: SOT 133102330 SOS 82413357 HAS SOPS 67110637 HAS SOUS 24335261 HAS SOUPS 23716288 WITH SCORE 2.3798701357E7
AT ITER 1401 NEW BEST:: SOT 133099142 SOS 82410225 HAS SOPS 67108407 HAS SOUS 24328721 HAS SOUPS 23709748 WITH SCORE 2.3792158225E7
AT ITER 1421 NEW BEST:: SOT 133094699 SOS 82395085 HAS SOPS 67096134 HAS SOUS 24325274 HAS SOUPS 23706301 WITH SCORE 2.3788696085E7
AT ITER 1427 NEW BEST:: SOT 133108410 SOS 82425757 HAS SOPS 67132276 HAS SOUS 24323196 HAS SOUPS 23704161 WITH SCORE 2.3786586757E7
AT ITER 1441 NEW BEST:: SOT 133103563 SOS 82416130 HAS SOPS 67126062 HAS SOUS 24308882 HAS SOUPS 23689847 WITH SCORE 2.377226313E7
AT ITER 1452 NEW BEST:: SOT 133097080 SOS 82396431 HAS SOPS 67111834 HAS SOUS 24306192 HAS SOUPS 23687218 WITH SCORE 2.3769614431E7
AT ITER 1462 NEW BEST:: SOT 133095632 SOS 82396445 HAS SOPS 67109737 HAS SOUS 24301210 HAS SOUPS 23682236 WITH SCORE 2.3764632445E7
AT ITER 1463 NEW BEST:: SOT 133092890 SOS 82393933 HAS SOPS 67103760 HAS SOUS 24299005 HAS SOUPS 23680031 WITH SCORE 2.3762424933E7
AT ITER 1486 NEW BEST:: SOT 133092421 SOS 82393132 HAS SOPS 67100390 HAS SOUS 24296960 HAS SOUPS 23677986 WITH SCORE 2.3760379132E7
AT ITER 1505 NEW BEST:: SOT 133080374 SOS 82372376 HAS SOPS 67085944 HAS SOUS 24284578 HAS SOUPS 23665698 WITH SCORE 2.3748070376E7
AT ITER 1509 NEW BEST:: SOT 133084157 SOS 82391514 HAS SOPS 67099947 HAS SOUS 24280550 HAS SOUPS 23661670 WITH SCORE 2.3744061514E7
AT ITER 1515 NEW BEST:: SOT 133080650 SOS 82397543 HAS SOPS 67099996 HAS SOUS 24264717 HAS SOUPS 23645837 WITH SCORE 2.3728234543E7
AT ITER 1517 NEW BEST:: SOT 133073041 SOS 82382090 HAS SOPS 67089670 HAS SOUS 24264146 HAS SOUPS 23645266 WITH SCORE 2.372764809E7
AT ITER 1519 NEW BEST:: SOT 133039553 SOS 82341485 HAS SOPS 67053424 HAS SOUS 24229329 HAS SOUPS 23610715 WITH SCORE 2.3693056485E7
AT ITER 1534 NEW BEST:: SOT 133020975 SOS 82298451 HAS SOPS 67030924 HAS SOUS 24220158 HAS SOUPS 23601544 WITH SCORE 2.3683842451E7
AT ITER 1564 NEW BEST:: SOT 133017208 SOS 82293582 HAS SOPS 67011659 HAS SOUS 24182800 HAS SOUPS 23564025 WITH SCORE 2.3646318582E7
AT ITER 1565 NEW BEST:: SOT 133015592 SOS 82289305 HAS SOPS 67000796 HAS SOUS 24163478 HAS SOUPS 23544794 WITH SCORE 2.3627083305E7
AT ITER 1569 NEW BEST:: SOT 132985568 SOS 82230560 HAS SOPS 66957816 HAS SOUS 24121810 HAS SOUPS 23503126 WITH SCORE 2.358535656E7
AT ITER 1571 NEW BEST:: SOT 132976378 SOS 82221268 HAS SOPS 66945503 HAS SOUS 24101282 HAS SOUPS 23482645 WITH SCORE 2.3564866268E7
AT ITER 1575 NEW BEST:: SOT 132976053 SOS 82220744 HAS SOPS 66945120 HAS SOUS 24100687 HAS SOUPS 23482064 WITH SCORE 2.3564284744E7
AT ITER 1586 NEW BEST:: SOT 132994779 SOS 82251025 HAS SOPS 66963585 HAS SOUS 24097985 HAS SOUPS 23479897 WITH SCORE 2.3562148025E7
AT ITER 1600 NEW BEST:: SOT 133013041 SOS 82323576 HAS SOPS 67018135 HAS SOUS 24090519 HAS SOUPS 23472431 WITH SCORE 2.3554754576E7
AT ITER 1610 NEW BEST:: SOT 132970467 SOS 82255758 HAS SOPS 66960376 HAS SOUS 24047790 HAS SOUPS 23429725 WITH SCORE 2.3511980758E7
AT ITER 1617 NEW BEST:: SOT 132968902 SOS 82254017 HAS SOPS 66958811 HAS SOUS 24045796 HAS SOUPS 23427786 WITH SCORE 2.3510040017E7
AT ITER 1638 NEW BEST:: SOT 132946653 SOS 82213448 HAS SOPS 66961822 HAS SOUS 24017275 HAS SOUPS 23399635 WITH SCORE 2.3481848448E7
AT ITER 1651 NEW BEST:: SOT 132943999 SOS 82209422 HAS SOPS 66956542 HAS SOUS 24013787 HAS SOUPS 23396147 WITH SCORE 2.3478356422E7
AT ITER 1654 NEW BEST:: SOT 132942968 SOS 82208714 HAS SOPS 66954634 HAS SOUS 24011471 HAS SOUPS 23393820 WITH SCORE 2.3476028714E7
AT ITER 1667 NEW BEST:: SOT 132939719 SOS 82204663 HAS SOPS 66951896 HAS SOUS 24009024 HAS SOUPS 23391373 WITH SCORE 2.3473577663E7
AT ITER 1671 NEW BEST:: SOT 132918712 SOS 82150376 HAS SOPS 66912255 HAS SOUS 24007012 HAS SOUPS 23389361 WITH SCORE 2.3471511376E7
AT ITER 1676 NEW BEST:: SOT 132917896 SOS 82149183 HAS SOPS 66911786 HAS SOUS 24005485 HAS SOUPS 23387834 WITH SCORE 2.3469983183E7
AT ITER 1683 NEW BEST:: SOT 132912338 SOS 82144935 HAS SOPS 66903597 HAS SOUS 23986276 HAS SOUPS 23368398 WITH SCORE 2.3450542935E7
AT ITER 1690 NEW BEST:: SOT 132904536 SOS 82123029 HAS SOPS 66877338 HAS SOUS 23970937 HAS SOUPS 23353059 WITH SCORE 2.3435182029E7
AT ITER 1696 NEW BEST:: SOT 132905246 SOS 82132451 HAS SOPS 66887690 HAS SOUS 23963692 HAS SOUPS 23345814 WITH SCORE 2.3427946451E7
AT ITER 1704 NEW BEST:: SOT 132818408 SOS 82037304 HAS SOPS 66796532 HAS SOUS 23876256 HAS SOUPS 23258688 WITH SCORE 2.3340725304E7
AT ITER 1705 NEW BEST:: SOT 132824285 SOS 82074304 HAS SOPS 66826904 HAS SOUS 23872594 HAS SOUPS 23255026 WITH SCORE 2.3337100304E7
AT ITER 1716 NEW BEST:: SOT 132827498 SOS 82091973 HAS SOPS 66854797 HAS SOUS 23855276 HAS SOUPS 23237708 WITH SCORE 2.3319799973E7
AT ITER 1721 NEW BEST:: SOT 132826327 SOS 82089392 HAS SOPS 66851661 HAS SOUS 23854679 HAS SOUPS 23237111 WITH SCORE 2.3319200392E7
AT ITER 1735 NEW BEST:: SOT 132826543 SOS 82093135 HAS SOPS 66857164 HAS SOUS 23854301 HAS SOUPS 23236733 WITH SCORE 2.3318826135E7
AT ITER 1741 NEW BEST:: SOT 132794246 SOS 82015895 HAS SOPS 66815306 HAS SOUS 23850584 HAS SOUPS 23233463 WITH SCORE 2.3315478895E7
AT ITER 1742 NEW BEST:: SOT 132804851 SOS 82071161 HAS SOPS 66877077 HAS SOUS 23844818 HAS SOUPS 23227697 WITH SCORE 2.3309768161E7
AT ITER 1750 NEW BEST:: SOT 132805483 SOS 82075081 HAS SOPS 66879521 HAS SOUS 23843737 HAS SOUPS 23226616 WITH SCORE 2.3308691081E7
AT ITER 1755 NEW BEST:: SOT 132787509 SOS 82030381 HAS SOPS 66863582 HAS SOUS 23835382 HAS SOUPS 23218428 WITH SCORE 2.3300458381E7
AT ITER 1757 NEW BEST:: SOT 132780789 SOS 82021725 HAS SOPS 66855789 HAS SOUS 23825397 HAS SOUPS 23208517 WITH SCORE 2.3290538725E7
AT ITER 1759 NEW BEST:: SOT 132782122 SOS 82031796 HAS SOPS 66862153 HAS SOUS 23818945 HAS SOUPS 23202065 WITH SCORE 2.3284096796E7
AT ITER 1767 NEW BEST:: SOT 132793421 SOS 82070802 HAS SOPS 66894292 HAS SOUS 23818541 HAS SOUPS 23201661 WITH SCORE 2.3283731802E7
AT ITER 1783 NEW BEST:: SOT 132793360 SOS 82070750 HAS SOPS 66894240 HAS SOUS 23818420 HAS SOUPS 23201540 WITH SCORE 2.328361075E7
AT ITER 1793 NEW BEST:: SOT 132790896 SOS 82066322 HAS SOPS 66881568 HAS SOUS 23796675 HAS SOUPS 23180805 WITH SCORE 2.3262871322E7
AT ITER 1816 NEW BEST:: SOT 132779027 SOS 82058348 HAS SOPS 66875138 HAS SOUS 23778394 HAS SOUPS 23162524 WITH SCORE 2.3244582348E7
AT ITER 1820 NEW BEST:: SOT 132783251 SOS 82082636 HAS SOPS 66892195 HAS SOUS 23752676 HAS SOUPS 23136806 WITH SCORE 2.3218888636E7
AT ITER 1824 NEW BEST:: SOT 132780970 SOS 82069321 HAS SOPS 66880058 HAS SOUS 23728818 HAS SOUPS 23114883 WITH SCORE 2.3196952321E7
AT ITER 1826 NEW BEST:: SOT 132768666 SOS 82044123 HAS SOPS 66857081 HAS SOUS 23714837 HAS SOUPS 23100902 WITH SCORE 2.3182946123E7
AT ITER 1832 NEW BEST:: SOT 132763685 SOS 82031360 HAS SOPS 66849562 HAS SOUS 23712101 HAS SOUPS 23098166 WITH SCORE 2.318019736E7
AT ITER 1847 NEW BEST:: SOT 132727829 SOS 81996638 HAS SOPS 66819295 HAS SOUS 23607011 HAS SOUPS 22993384 WITH SCORE 2.3075380638E7
AT ITER 1849 NEW BEST:: SOT 132728061 SOS 81997248 HAS SOPS 66817555 HAS SOUS 23605982 HAS SOUPS 22992355 WITH SCORE 2.3074352248E7
AT ITER 1854 NEW BEST:: SOT 132706555 SOS 81941071 HAS SOPS 66810727 HAS SOUS 23593451 HAS SOUPS 22979824 WITH SCORE 2.3061765071E7
AT ITER 1860 NEW BEST:: SOT 132712677 SOS 81965684 HAS SOPS 66836473 HAS SOUS 23590860 HAS SOUPS 22977233 WITH SCORE 2.3059198684E7
AT ITER 1900 NEW BEST:: SOT 132715399 SOS 81966643 HAS SOPS 66839094 HAS SOUS 23582963 HAS SOUPS 22969336 WITH SCORE 2.3051302643E7
AT ITER 1944 NEW BEST:: SOT 132713705 SOS 81961505 HAS SOPS 66839049 HAS SOUS 23582595 HAS SOUPS 22968968 WITH SCORE 2.3050929505E7
AT ITER 1948 NEW BEST:: SOT 132713802 SOS 81985619 HAS SOPS 66869599 HAS SOUS 23576457 HAS SOUPS 22962830 WITH SCORE 2.3044815619E7
AT ITER 1952 NEW BEST:: SOT 132709122 SOS 81980113 HAS SOPS 66861615 HAS SOUS 23549615 HAS SOUPS 22935988 WITH SCORE 2.3017968113E7
AT ITER 1953 NEW BEST:: SOT 132715984 SOS 82006938 HAS SOPS 66878604 HAS SOUS 23546224 HAS SOUPS 22932597 WITH SCORE 2.3014603938E7
AT ITER 1961 NEW BEST:: SOT 132716030 SOS 82007079 HAS SOPS 66878669 HAS SOUS 23546210 HAS SOUPS 22932583 WITH SCORE 2.3014590079E7
AT ITER 1964 NEW BEST:: SOT 132745391 SOS 82095136 HAS SOPS 66951948 HAS SOUS 23520776 HAS SOUPS 22907149 WITH SCORE 2.2989244136E7
AT ITER 1966 NEW BEST:: SOT 132729192 SOS 82062577 HAS SOPS 66935852 HAS SOUS 23508163 HAS SOUPS 22894733 WITH SCORE 2.2976795577E7
AT ITER 1981 NEW BEST:: SOT 132717991 SOS 82051334 HAS SOPS 66924546 HAS SOUS 23495315 HAS SOUPS 22881885 WITH SCORE 2.2963936334E7
AT ITER 1984 NEW BEST:: SOT 132704215 SOS 82020427 HAS SOPS 66897407 HAS SOUS 23483287 HAS SOUPS 22869857 WITH SCORE 2.2951877427E7
AT ITER 1988 NEW BEST:: SOT 132704169 SOS 82020429 HAS SOPS 66897339 HAS SOUS 23483095 HAS SOUPS 22869665 WITH SCORE 2.2951685429E7
AT ITER 2007 NEW BEST:: SOT 132707402 SOS 82030440 HAS SOPS 66907414 HAS SOUS 23482077 HAS SOUPS 22868647 WITH SCORE 2.295067744E7
AT ITER 2019 NEW BEST:: SOT 132693909 SOS 82015947 HAS SOPS 66887826 HAS SOUS 23466482 HAS SOUPS 22853169 WITH SCORE 2.2935184947E7
AT ITER 2028 NEW BEST:: SOT 132700464 SOS 82041075 HAS SOPS 66901253 HAS SOUS 23455464 HAS SOUPS 22842151 WITH SCORE 2.2924192075E7
AT ITER 2037 NEW BEST:: SOT 132700388 SOS 82040737 HAS SOPS 66900889 HAS SOUS 23455336 HAS SOUPS 22842023 WITH SCORE 2.2924063737E7
AT ITER 2048 NEW BEST:: SOT 132700399 SOS 82040956 HAS SOPS 66900807 HAS SOUS 23455255 HAS SOUPS 22841942 WITH SCORE 2.2923982956E7
AT ITER 2050 NEW BEST:: SOT 132699870 SOS 82040516 HAS SOPS 66900863 HAS SOUS 23453950 HAS SOUPS 22840637 WITH SCORE 2.2922677516E7
AT ITER 2057 NEW BEST:: SOT 132701786 SOS 82042432 HAS SOPS 66903675 HAS SOUS 23452442 HAS SOUPS 22839865 WITH SCORE 2.2921907432E7
AT ITER 2076 NEW BEST:: SOT 132701603 SOS 82042372 HAS SOPS 66903603 HAS SOUS 23451941 HAS SOUPS 22839367 WITH SCORE 2.2921409372E7
AT ITER 2077 NEW BEST:: SOT 132703192 SOS 82044998 HAS SOPS 66901672 HAS SOUS 23442434 HAS SOUPS 22829860 WITH SCORE 2.2911904998E7
AT ITER 2080 NEW BEST:: SOT 132696944 SOS 82036875 HAS SOPS 66890152 HAS SOUS 23430052 HAS SOUPS 22817531 WITH SCORE 2.2899567875E7
AT ITER 2086 NEW BEST:: SOT 132678473 SOS 82004812 HAS SOPS 66860713 HAS SOUS 23413146 HAS SOUPS 22800625 WITH SCORE 2.2882629812E7
AT ITER 2093 NEW BEST:: SOT 132677798 SOS 81994421 HAS SOPS 66846835 HAS SOUS 23405021 HAS SOUPS 22792500 WITH SCORE 2.2874494421E7
AT ITER 2108 NEW BEST:: SOT 132681174 SOS 82007835 HAS SOPS 66858411 HAS SOUS 23403610 HAS SOUPS 22791005 WITH SCORE 2.2873012835E7
AT ITER 2115 NEW BEST:: SOT 132676109 SOS 82001568 HAS SOPS 66862846 HAS SOUS 23371461 HAS SOUPS 22759177 WITH SCORE 2.2841178568E7
AT ITER 2127 NEW BEST:: SOT 132675570 SOS 82000770 HAS SOPS 66861971 HAS SOUS 23370362 HAS SOUPS 22758090 WITH SCORE 2.284009077E7
AT ITER 2141 NEW BEST:: SOT 132674954 SOS 81997733 HAS SOPS 66853425 HAS SOUS 23360128 HAS SOUPS 22747856 WITH SCORE 2.2829853733E7
AT ITER 2159 NEW BEST:: SOT 132675785 SOS 82000184 HAS SOPS 66848570 HAS SOUS 23357756 HAS SOUPS 22745484 WITH SCORE 2.2827484184E7
AT ITER 2168 NEW BEST:: SOT 132654213 SOS 81978612 HAS SOPS 66826998 HAS SOUS 23336184 HAS SOUPS 22723912 WITH SCORE 2.2805890612E7
AT ITER 2176 NEW BEST:: SOT 132652822 SOS 81990797 HAS SOPS 66845511 HAS SOUS 23329724 HAS SOUPS 22717452 WITH SCORE 2.2799442797E7
AT ITER 2183 NEW BEST:: SOT 132650527 SOS 81988502 HAS SOPS 66843216 HAS SOUS 23327293 HAS SOUPS 22715021 WITH SCORE 2.2797009502E7
AT ITER 2184 NEW BEST:: SOT 132566779 SOS 81871388 HAS SOPS 66745834 HAS SOUS 23252395 HAS SOUPS 22642365 WITH SCORE 2.2724236388E7
AT ITER 2197 NEW BEST:: SOT 132561215 SOS 81869508 HAS SOPS 66740414 HAS SOUS 23241008 HAS SOUPS 22630836 WITH SCORE 2.2712705508E7
AT ITER 2225 NEW BEST:: SOT 132559796 SOS 81866788 HAS SOPS 66740949 HAS SOUS 23203844 HAS SOUPS 22595386 WITH SCORE 2.2677252788E7
AT ITER 2227 NEW BEST:: SOT 132488101 SOS 81785842 HAS SOPS 66664681 HAS SOUS 23127924 HAS SOUPS 22519853 WITH SCORE 2.2601638842E7
AT ITER 2229 NEW BEST:: SOT 132486963 SOS 81784580 HAS SOPS 66662548 HAS SOUS 23127335 HAS SOUPS 22519264 WITH SCORE 2.260104858E7
AT ITER 2238 NEW BEST:: SOT 132484619 SOS 81782185 HAS SOPS 66659372 HAS SOUS 23123146 HAS SOUPS 22514995 WITH SCORE 2.2596777185E7
AT ITER 2248 NEW BEST:: SOT 132509413 SOS 81857549 HAS SOPS 66712651 HAS SOUS 23093478 HAS SOUPS 22485327 WITH SCORE 2.2567184549E7
AT ITER 2259 NEW BEST:: SOT 132512162 SOS 81865637 HAS SOPS 66716552 HAS SOUS 23091100 HAS SOUPS 22482949 WITH SCORE 2.2564814637E7
AT ITER 2269 NEW BEST:: SOT 132455651 SOS 81775938 HAS SOPS 66654174 HAS SOUS 23031546 HAS SOUPS 22423907 WITH SCORE 2.2505682938E7
AT ITER 2286 NEW BEST:: SOT 132444752 SOS 81748673 HAS SOPS 66663051 HAS SOUS 23025122 HAS SOUPS 22417483 WITH SCORE 2.2499231673E7
AT ITER 2295 NEW BEST:: SOT 132436742 SOS 81727035 HAS SOPS 66639296 HAS SOUS 23013279 HAS SOUPS 22405640 WITH SCORE 2.2487367035E7
AT ITER 2299 NEW BEST:: SOT 132436849 SOS 81727435 HAS SOPS 66639619 HAS SOUS 23013220 HAS SOUPS 22405581 WITH SCORE 2.2487308435E7
AT ITER 2300 NEW BEST:: SOT 132439229 SOS 81748552 HAS SOPS 66661470 HAS SOUS 23011558 HAS SOUPS 22403919 WITH SCORE 2.2485667552E7
AT ITER 2302 NEW BEST:: SOT 132451224 SOS 81795208 HAS SOPS 66698639 HAS SOUS 23007142 HAS SOUPS 22399503 WITH SCORE 2.2481298208E7
AT ITER 2321 NEW BEST:: SOT 132451193 SOS 81791888 HAS SOPS 66692478 HAS SOUS 23003476 HAS SOUPS 22395837 WITH SCORE 2.2477628888E7
AT ITER 2323 NEW BEST:: SOT 132434194 SOS 81775364 HAS SOPS 66674551 HAS SOUS 22973436 HAS SOUPS 22365727 WITH SCORE 2.2447502364E7
AT ITER 2340 NEW BEST:: SOT 132431322 SOS 81772496 HAS SOPS 66671167 HAS SOUS 22967332 HAS SOUPS 22359623 WITH SCORE 2.2441395496E7
AT ITER 2357 NEW BEST:: SOT 132431101 SOS 81772279 HAS SOPS 66670950 HAS SOUS 22966863 HAS SOUPS 22359154 WITH SCORE 2.2440926279E7
AT ITER 2363 NEW BEST:: SOT 132431393 SOS 81774570 HAS SOPS 66673743 HAS SOUS 22965684 HAS SOUPS 22357975 WITH SCORE 2.243974957E7
AT ITER 2366 NEW BEST:: SOT 132416983 SOS 81760047 HAS SOPS 66659392 HAS SOUS 22939906 HAS SOUPS 22332433 WITH SCORE 2.2414193047E7
AT ITER 2367 NEW BEST:: SOT 132440859 SOS 81824337 HAS SOPS 66715815 HAS SOUS 22912557 HAS SOUPS 22305084 WITH SCORE 2.2386908337E7
AT ITER 2381 NEW BEST:: SOT 132457140 SOS 81905076 HAS SOPS 66780913 HAS SOUS 22877334 HAS SOUPS 22269861 WITH SCORE 2.2351766076E7
AT ITER 2388 NEW BEST:: SOT 132505555 SOS 82008480 HAS SOPS 66888737 HAS SOUS 22869082 HAS SOUPS 22262629 WITH SCORE 2.234463748E7
AT ITER 2394 NEW BEST:: SOT 132508017 SOS 82011640 HAS SOPS 66900579 HAS SOUS 22867852 HAS SOUPS 22261399 WITH SCORE 2.234341064E7
AT ITER 2403 NEW BEST:: SOT 132513553 SOS 82017391 HAS SOPS 66897962 HAS SOUS 22856791 HAS SOUPS 22250338 WITH SCORE 2.2332355391E7
AT ITER 2408 NEW BEST:: SOT 132504752 SOS 82009148 HAS SOPS 66896505 HAS SOUS 22825294 HAS SOUPS 22218728 WITH SCORE 2.2300737148E7
AT ITER 2409 NEW BEST:: SOT 132502543 SOS 82005924 HAS SOPS 66893225 HAS SOUS 22824484 HAS SOUPS 22217918 WITH SCORE 2.2299923924E7
AT ITER 2410 NEW BEST:: SOT 132502268 SOS 82006230 HAS SOPS 66891390 HAS SOUS 22821915 HAS SOUPS 22215335 WITH SCORE 2.229734123E7
AT ITER 2414 NEW BEST:: SOT 132498036 SOS 81999309 HAS SOPS 66884048 HAS SOUS 22818264 HAS SOUPS 22211684 WITH SCORE 2.2293683309E7
AT ITER 2422 NEW BEST:: SOT 132470731 SOS 81971898 HAS SOPS 66852967 HAS SOUS 22773207 HAS SOUPS 22166477 WITH SCORE 2.2248448898E7
AT ITER 2425 NEW BEST:: SOT 132453199 SOS 81970212 HAS SOPS 66833472 HAS SOUS 22720694 HAS SOUPS 22113964 WITH SCORE 2.2195934212E7
AT ITER 2430 NEW BEST:: SOT 132403270 SOS 81910851 HAS SOPS 66863923 HAS SOUS 22710784 HAS SOUPS 22104791 WITH SCORE 2.2186701851E7
AT ITER 2443 NEW BEST:: SOT 132393513 SOS 81897344 HAS SOPS 66852110 HAS SOUS 22698877 HAS SOUPS 22092943 WITH SCORE 2.2174840344E7
AT ITER 2444 NEW BEST:: SOT 132389038 SOS 81890870 HAS SOPS 66838068 HAS SOUS 22690432 HAS SOUPS 22084498 WITH SCORE 2.216638887E7
AT ITER 2445 NEW BEST:: SOT 132384873 SOS 81884052 HAS SOPS 66833225 HAS SOUS 22688453 HAS SOUPS 22082519 WITH SCORE 2.2164403052E7
AT ITER 2456 NEW BEST:: SOT 132385657 SOS 81875384 HAS SOPS 66831088 HAS SOUS 22676087 HAS SOUPS 22070153 WITH SCORE 2.2152028384E7
AT ITER 2466 NEW BEST:: SOT 132379037 SOS 81873993 HAS SOPS 66833669 HAS SOUS 22659080 HAS SOUPS 22053393 WITH SCORE 2.2135266993E7
AT ITER 2480 NEW BEST:: SOT 132380759 SOS 81882747 HAS SOPS 66829230 HAS SOUS 22647141 HAS SOUPS 22041454 WITH SCORE 2.2123336747E7
AT ITER 2481 NEW BEST:: SOT 132364187 SOS 81863493 HAS SOPS 66809061 HAS SOUS 22618386 HAS SOUPS 22012793 WITH SCORE 2.2094656493E7
AT ITER 2488 NEW BEST:: SOT 132365329 SOS 81871201 HAS SOPS 66815927 HAS SOUS 22617615 HAS SOUPS 22012022 WITH SCORE 2.2093893201E7
AT ITER 2494 NEW BEST:: SOT 132363781 SOS 81869365 HAS SOPS 66813139 HAS SOUS 22616923 HAS SOUPS 22011354 WITH SCORE 2.2093223365E7
AT ITER 2497 NEW BEST:: SOT 132366508 SOS 81892174 HAS SOPS 66829824 HAS SOUS 22608016 HAS SOUPS 22002031 WITH SCORE 2.2083923174E7
AT ITER 2500 NEW BEST:: SOT 132364029 SOS 81890090 HAS SOPS 66830373 HAS SOUS 22604158 HAS SOUPS 21998173 WITH SCORE 2.208006309E7
AT ITER 2509 NEW BEST:: SOT 132348848 SOS 81883043 HAS SOPS 66815227 HAS SOUS 22573534 HAS SOUPS 21967549 WITH SCORE 2.2049432043E7
AT ITER 2511 NEW BEST:: SOT 132344926 SOS 81883013 HAS SOPS 66811163 HAS SOUS 22559456 HAS SOUPS 21953471 WITH SCORE 2.2035354013E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15411832 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16073608 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="RERS17pb114-PT-8"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-8.tgz
mv RERS17pb114-PT-8 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;