Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.9K Apr 12 07:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 07:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 11 08:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 21:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 21:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:38 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589792347052

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

Filename model.pnml
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 4 NEW BEST:: SOT 123452520 SOS 80263390 HAS SOPS 65230410 HAS SOUS 24059844 HAS SOUPS 23487070 WITH SCORE 2.356733339E7
AT ITER 33 NEW BEST:: SOT 123457889 SOS 80278171 HAS SOPS 65241042 HAS SOUS 24059254 HAS SOUPS 23486480 WITH SCORE 2.3566758171E7
AT ITER 41 NEW BEST:: SOT 123455515 SOS 80277730 HAS SOPS 65238828 HAS SOUS 24046476 HAS SOUPS 23473702 WITH SCORE 2.355397973E7
AT ITER 45 NEW BEST:: SOT 123455592 SOS 80285377 HAS SOPS 65264112 HAS SOUS 24044343 HAS SOUPS 23471718 WITH SCORE 2.3552003377E7
AT ITER 70 NEW BEST:: SOT 123436014 SOS 80256789 HAS SOPS 65236288 HAS SOUS 24025037 HAS SOUPS 23452452 WITH SCORE 2.3532708789E7
AT ITER 72 NEW BEST:: SOT 123464088 SOS 80336668 HAS SOPS 65302031 HAS SOUS 23994130 HAS SOUPS 23421545 WITH SCORE 2.3501881668E7
AT ITER 82 NEW BEST:: SOT 123460055 SOS 80332549 HAS SOPS 65297998 HAS SOUS 23990215 HAS SOUPS 23416946 WITH SCORE 2.3497278549E7
AT ITER 85 NEW BEST:: SOT 123459230 SOS 80335854 HAS SOPS 65307146 HAS SOUS 23989770 HAS SOUPS 23416501 WITH SCORE 2.3496836854E7
AT ITER 86 NEW BEST:: SOT 123459236 SOS 80341677 HAS SOPS 65311812 HAS SOUS 23977416 HAS SOUPS 23404147 WITH SCORE 2.3484488677E7
AT ITER 87 NEW BEST:: SOT 123470156 SOS 80359449 HAS SOPS 65337113 HAS SOUS 23971257 HAS SOUPS 23397988 WITH SCORE 2.3478347449E7
AT ITER 101 NEW BEST:: SOT 123480489 SOS 80369797 HAS SOPS 65354430 HAS SOUS 23966046 HAS SOUPS 23393253 WITH SCORE 2.3473622797E7
AT ITER 114 NEW BEST:: SOT 123481426 SOS 80370093 HAS SOPS 65356271 HAS SOUS 23954362 HAS SOUPS 23381655 WITH SCORE 2.3462025093E7
AT ITER 116 NEW BEST:: SOT 123481425 SOS 80371208 HAS SOPS 65358776 HAS SOUS 23954182 HAS SOUPS 23381475 WITH SCORE 2.3461846208E7
AT ITER 131 NEW BEST:: SOT 123475485 SOS 80369226 HAS SOPS 65357971 HAS SOUS 23933043 HAS SOUPS 23360336 WITH SCORE 2.3440705226E7
AT ITER 137 NEW BEST:: SOT 123469708 SOS 80369443 HAS SOPS 65354597 HAS SOUS 23915072 HAS SOUPS 23342365 WITH SCORE 2.3422734443E7
AT ITER 142 NEW BEST:: SOT 123460392 SOS 80356786 HAS SOPS 65349469 HAS SOUS 23909380 HAS SOUPS 23336673 WITH SCORE 2.3417029786E7
AT ITER 158 NEW BEST:: SOT 123460499 SOS 80378360 HAS SOPS 65374339 HAS SOUS 23909354 HAS SOUPS 23336647 WITH SCORE 2.341702536E7
AT ITER 160 NEW BEST:: SOT 123459878 SOS 80378510 HAS SOPS 65372139 HAS SOUS 23906263 HAS SOUPS 23333517 WITH SCORE 2.341389551E7
AT ITER 169 NEW BEST:: SOT 123457596 SOS 80375681 HAS SOPS 65368756 HAS SOUS 23903216 HAS SOUPS 23330470 WITH SCORE 2.3410845681E7
AT ITER 178 NEW BEST:: SOT 123459107 SOS 80374005 HAS SOPS 65379005 HAS SOUS 23894046 HAS SOUPS 23321681 WITH SCORE 2.3402055005E7
AT ITER 181 NEW BEST:: SOT 123458624 SOS 80372664 HAS SOPS 65378652 HAS SOUS 23893433 HAS SOUPS 23321094 WITH SCORE 2.3401466664E7
AT ITER 210 NEW BEST:: SOT 123464392 SOS 80388977 HAS SOPS 65393450 HAS SOUS 23887470 HAS SOUPS 23315131 WITH SCORE 2.3395519977E7
AT ITER 224 NEW BEST:: SOT 123460491 SOS 80386126 HAS SOPS 65406429 HAS SOUS 23858326 HAS SOUPS 23285987 WITH SCORE 2.3366373126E7
AT ITER 229 NEW BEST:: SOT 123454610 SOS 80383609 HAS SOPS 65403298 HAS SOUS 23843101 HAS SOUPS 23270762 WITH SCORE 2.3351145609E7
AT ITER 233 NEW BEST:: SOT 123454121 SOS 80382026 HAS SOPS 65402248 HAS SOUS 23838524 HAS SOUPS 23266221 WITH SCORE 2.3346603026E7
AT ITER 255 NEW BEST:: SOT 123454473 SOS 80385223 HAS SOPS 65402519 HAS SOUS 23833823 HAS SOUPS 23261520 WITH SCORE 2.3341905223E7
AT ITER 258 NEW BEST:: SOT 123436108 SOS 80361722 HAS SOPS 65381175 HAS SOUS 23807213 HAS SOUPS 23234910 WITH SCORE 2.3315271722E7
AT ITER 260 NEW BEST:: SOT 123448201 SOS 80442153 HAS SOPS 65440257 HAS SOUS 23802599 HAS SOUPS 23230296 WITH SCORE 2.3310738153E7
AT ITER 271 NEW BEST:: SOT 123445713 SOS 80439079 HAS SOPS 65438612 HAS SOUS 23785916 HAS SOUPS 23213613 WITH SCORE 2.3294052079E7
AT ITER 277 NEW BEST:: SOT 123443984 SOS 80441152 HAS SOPS 65437880 HAS SOUS 23784346 HAS SOUPS 23212043 WITH SCORE 2.3292484152E7
AT ITER 291 NEW BEST:: SOT 123443489 SOS 80442534 HAS SOPS 65440398 HAS SOUS 23768662 HAS SOUPS 23196787 WITH SCORE 2.3277229534E7
AT ITER 297 NEW BEST:: SOT 123461784 SOS 80486646 HAS SOPS 65492568 HAS SOUS 23741301 HAS SOUPS 23169426 WITH SCORE 2.3249912646E7
AT ITER 312 NEW BEST:: SOT 123449917 SOS 80467225 HAS SOPS 65472669 HAS SOUS 23734653 HAS SOUPS 23162778 WITH SCORE 2.3243245225E7
AT ITER 323 NEW BEST:: SOT 123459457 SOS 80495852 HAS SOPS 65498471 HAS SOUS 23728064 HAS SOUPS 23156189 WITH SCORE 2.3236684852E7
AT ITER 332 NEW BEST:: SOT 123430625 SOS 80467244 HAS SOPS 65469831 HAS SOUS 23699436 HAS SOUPS 23127549 WITH SCORE 2.3208016244E7
AT ITER 337 NEW BEST:: SOT 123401157 SOS 80397391 HAS SOPS 65424709 HAS SOUS 23697908 HAS SOUPS 23126400 WITH SCORE 2.3206797391E7
AT ITER 338 NEW BEST:: SOT 123327592 SOS 80308809 HAS SOPS 65334864 HAS SOUS 23553022 HAS SOUPS 22980542 WITH SCORE 2.3060850809E7
AT ITER 348 NEW BEST:: SOT 123327765 SOS 80340632 HAS SOPS 65379677 HAS SOUS 23552764 HAS SOUPS 22980284 WITH SCORE 2.3060624632E7
AT ITER 375 NEW BEST:: SOT 123329476 SOS 80345217 HAS SOPS 65383049 HAS SOUS 23551155 HAS SOUPS 22978675 WITH SCORE 2.3059020217E7
AT ITER 402 NEW BEST:: SOT 123267282 SOS 80290373 HAS SOPS 65311812 HAS SOUS 23466755 HAS SOUPS 22893427 WITH SCORE 2.2973717373E7
AT ITER 414 NEW BEST:: SOT 123266377 SOS 80288857 HAS SOPS 65310416 HAS SOUS 23465893 HAS SOUPS 22892565 WITH SCORE 2.2972853857E7
AT ITER 421 NEW BEST:: SOT 123238913 SOS 80260905 HAS SOPS 65281979 HAS SOUS 23433651 HAS SOUPS 22860409 WITH SCORE 2.2940669905E7
AT ITER 430 NEW BEST:: SOT 123239836 SOS 80262909 HAS SOPS 65282956 HAS SOUS 23433282 HAS SOUPS 22859977 WITH SCORE 2.2940239909E7
AT ITER 438 NEW BEST:: SOT 123240002 SOS 80263605 HAS SOPS 65283231 HAS SOUS 23432734 HAS SOUPS 22859429 WITH SCORE 2.2939692605E7
AT ITER 445 NEW BEST:: SOT 123240002 SOS 80264757 HAS SOPS 65284959 HAS SOUS 23432684 HAS SOUPS 22859379 WITH SCORE 2.2939643757E7
AT ITER 446 NEW BEST:: SOT 123238603 SOS 80264387 HAS SOPS 65282363 HAS SOUS 23427946 HAS SOUPS 22854641 WITH SCORE 2.2934905387E7
AT ITER 459 NEW BEST:: SOT 123238588 SOS 80283751 HAS SOPS 65307475 HAS SOUS 23427918 HAS SOUPS 22854613 WITH SCORE 2.2934896751E7
AT ITER 460 NEW BEST:: SOT 123242214 SOS 80281742 HAS SOPS 65316603 HAS SOUS 23419589 HAS SOUPS 22846517 WITH SCORE 2.2926798742E7
AT ITER 475 NEW BEST:: SOT 123248483 SOS 80289580 HAS SOPS 65323235 HAS SOUS 23409261 HAS SOUPS 22836189 WITH SCORE 2.291647858E7
AT ITER 482 NEW BEST:: SOT 123248409 SOS 80288841 HAS SOPS 65322629 HAS SOUS 23406603 HAS SOUPS 22833550 WITH SCORE 2.2913838841E7
AT ITER 487 NEW BEST:: SOT 123248074 SOS 80288467 HAS SOPS 65322171 HAS SOUS 23405719 HAS SOUPS 22832694 WITH SCORE 2.2912982467E7
AT ITER 488 NEW BEST:: SOT 123253078 SOS 80309810 HAS SOPS 65328286 HAS SOUS 23384441 HAS SOUPS 22811416 WITH SCORE 2.289172581E7
AT ITER 507 NEW BEST:: SOT 123247682 SOS 80306246 HAS SOPS 65320143 HAS SOUS 23377862 HAS SOUPS 22802624 WITH SCORE 2.2882930246E7
AT ITER 515 NEW BEST:: SOT 123245016 SOS 80308935 HAS SOPS 65315947 HAS SOUS 23357956 HAS SOUPS 22782628 WITH SCORE 2.2862936935E7
AT ITER 524 NEW BEST:: SOT 123243599 SOS 80300821 HAS SOPS 65308605 HAS SOUS 23357923 HAS SOUPS 22782595 WITH SCORE 2.2862895821E7
AT ITER 557 NEW BEST:: SOT 123243995 SOS 80301667 HAS SOPS 65309220 HAS SOUS 23357875 HAS SOUPS 22782547 WITH SCORE 2.2862848667E7
AT ITER 572 NEW BEST:: SOT 123199207 SOS 80260229 HAS SOPS 65248815 HAS SOUS 23221531 HAS SOUPS 22646413 WITH SCORE 2.2726673229E7
AT ITER 573 NEW BEST:: SOT 123196354 SOS 80257404 HAS SOPS 65244265 HAS SOUS 23216474 HAS SOUPS 22641356 WITH SCORE 2.2721613404E7
AT ITER 580 NEW BEST:: SOT 123190829 SOS 80245049 HAS SOPS 65236632 HAS SOUS 23210416 HAS SOUPS 22635298 WITH SCORE 2.2715543049E7
AT ITER 606 NEW BEST:: SOT 123201296 SOS 80262860 HAS SOPS 65252783 HAS SOUS 23173545 HAS SOUPS 22598098 WITH SCORE 2.267836086E7
AT ITER 611 NEW BEST:: SOT 123174399 SOS 80224773 HAS SOPS 65229543 HAS SOUS 23167129 HAS SOUPS 22591682 WITH SCORE 2.2671906773E7
AT ITER 628 NEW BEST:: SOT 123180051 SOS 80233006 HAS SOPS 65239399 HAS SOUS 23158344 HAS SOUPS 22582897 WITH SCORE 2.2663130006E7
AT ITER 636 NEW BEST:: SOT 123193227 SOS 80250460 HAS SOPS 65257550 HAS SOUS 23145640 HAS SOUPS 22571059 WITH SCORE 2.265130946E7
AT ITER 644 NEW BEST:: SOT 123214346 SOS 80299817 HAS SOPS 65297880 HAS SOUS 23140215 HAS SOUPS 22565386 WITH SCORE 2.2645685817E7
AT ITER 646 NEW BEST:: SOT 123219455 SOS 80310957 HAS SOPS 65304333 HAS SOUS 23137053 HAS SOUPS 22562152 WITH SCORE 2.2642462957E7
AT ITER 649 NEW BEST:: SOT 123226173 SOS 80322566 HAS SOPS 65311294 HAS SOUS 23136582 HAS SOUPS 22561681 WITH SCORE 2.2642003566E7
AT ITER 654 NEW BEST:: SOT 123229151 SOS 80327777 HAS SOPS 65312352 HAS SOUS 23131267 HAS SOUPS 22556366 WITH SCORE 2.2636693777E7
AT ITER 699 NEW BEST:: SOT 123228318 SOS 80327073 HAS SOPS 65318038 HAS SOUS 23113637 HAS SOUPS 22541184 WITH SCORE 2.2621511073E7
AT ITER 711 NEW BEST:: SOT 123220263 SOS 80319105 HAS SOPS 65309151 HAS SOUS 23105669 HAS SOUPS 22532307 WITH SCORE 2.2612626105E7
AT ITER 768 NEW BEST:: SOT 123219203 SOS 80318060 HAS SOPS 65308211 HAS SOUS 23103814 HAS SOUPS 22530542 WITH SCORE 2.261086006E7
AT ITER 772 NEW BEST:: SOT 123219203 SOS 80318244 HAS SOPS 65308395 HAS SOUS 23103791 HAS SOUPS 22530519 WITH SCORE 2.2610837244E7
AT ITER 773 NEW BEST:: SOT 123201941 SOS 80282015 HAS SOPS 65273692 HAS SOUS 23090136 HAS SOUPS 22516864 WITH SCORE 2.2597146015E7
AT ITER 774 NEW BEST:: SOT 123202306 SOS 80320413 HAS SOPS 65323493 HAS SOUS 23089702 HAS SOUPS 22516430 WITH SCORE 2.2596750413E7
AT ITER 778 NEW BEST:: SOT 123197142 SOS 80325650 HAS SOPS 65328911 HAS SOUS 23069535 HAS SOUPS 22496263 WITH SCORE 2.257658865E7
AT ITER 780 NEW BEST:: SOT 123296963 SOS 80496541 HAS SOPS 65460002 HAS SOUS 23033195 HAS SOUPS 22456178 WITH SCORE 2.2536674541E7
AT ITER 782 NEW BEST:: SOT 123335481 SOS 80599036 HAS SOPS 65563259 HAS SOUS 23018592 HAS SOUPS 22441905 WITH SCORE 2.2522504036E7
AT ITER 787 NEW BEST:: SOT 123332302 SOS 80593305 HAS SOPS 65554862 HAS SOUS 23010590 HAS SOUPS 22433903 WITH SCORE 2.2514496305E7
AT ITER 792 NEW BEST:: SOT 123332114 SOS 80596544 HAS SOPS 65561756 HAS SOUS 22992704 HAS SOUPS 22416017 WITH SCORE 2.2496613544E7
AT ITER 804 NEW BEST:: SOT 123338394 SOS 80612569 HAS SOPS 65586229 HAS SOUS 22986256 HAS SOUPS 22409569 WITH SCORE 2.2490181569E7
AT ITER 817 NEW BEST:: SOT 123363668 SOS 80672718 HAS SOPS 65631106 HAS SOUS 22984725 HAS SOUPS 22407760 WITH SCORE 2.2488432718E7
AT ITER 825 NEW BEST:: SOT 123350026 SOS 80658240 HAS SOPS 65636395 HAS SOUS 22941437 HAS SOUPS 22364861 WITH SCORE 2.244551924E7
AT ITER 829 NEW BEST:: SOT 123351862 SOS 80661532 HAS SOPS 65644103 HAS SOUS 22941275 HAS SOUPS 22364699 WITH SCORE 2.2445360532E7
AT ITER 832 NEW BEST:: SOT 123360547 SOS 80672642 HAS SOPS 65654465 HAS SOUS 22931442 HAS SOUPS 22354866 WITH SCORE 2.2435538642E7
AT ITER 833 NEW BEST:: SOT 123358319 SOS 80667758 HAS SOPS 65648865 HAS SOUS 22926556 HAS SOUPS 22349980 WITH SCORE 2.2430647758E7
AT ITER 834 NEW BEST:: SOT 123358794 SOS 80720652 HAS SOPS 65718836 HAS SOUS 22925142 HAS SOUPS 22348566 WITH SCORE 2.2429286652E7
AT ITER 855 NEW BEST:: SOT 123370122 SOS 80742116 HAS SOPS 65737474 HAS SOUS 22923006 HAS SOUPS 22346293 WITH SCORE 2.2427035116E7
AT ITER 884 NEW BEST:: SOT 123362750 SOS 80731748 HAS SOPS 65727724 HAS SOUS 22914111 HAS SOUPS 22337293 WITH SCORE 2.2418024748E7
AT ITER 905 NEW BEST:: SOT 123306668 SOS 80670756 HAS SOPS 65669350 HAS SOUS 22867794 HAS SOUPS 22291258 WITH SCORE 2.2371928756E7
AT ITER 932 NEW BEST:: SOT 123306568 SOS 80672962 HAS SOPS 65671430 HAS SOUS 22863146 HAS SOUPS 22286565 WITH SCORE 2.2367237962E7
AT ITER 933 NEW BEST:: SOT 123306121 SOS 80672202 HAS SOPS 65670796 HAS SOUS 22863098 HAS SOUPS 22286517 WITH SCORE 2.2367189202E7
AT ITER 935 NEW BEST:: SOT 123310021 SOS 80690376 HAS SOPS 65682792 HAS SOUS 22851300 HAS SOUPS 22274719 WITH SCORE 2.2355409376E7
AT ITER 944 NEW BEST:: SOT 123273173 SOS 80651461 HAS SOPS 65643308 HAS SOUS 22812022 HAS SOUPS 22235447 WITH SCORE 2.2316098461E7
AT ITER 951 NEW BEST:: SOT 123272454 SOS 80637739 HAS SOPS 65625938 HAS SOUS 22811675 HAS SOUPS 22235024 WITH SCORE 2.2315661739E7
AT ITER 954 NEW BEST:: SOT 123271645 SOS 80636121 HAS SOPS 65624754 HAS SOUS 22811252 HAS SOUPS 22234601 WITH SCORE 2.2315237121E7
AT ITER 972 NEW BEST:: SOT 123270876 SOS 80638188 HAS SOPS 65625676 HAS SOUS 22809287 HAS SOUPS 22232506 WITH SCORE 2.2313144188E7
AT ITER 992 NEW BEST:: SOT 123279978 SOS 80656725 HAS SOPS 65637993 HAS SOUS 22787982 HAS SOUPS 22212312 WITH SCORE 2.2292968725E7
AT ITER 997 NEW BEST:: SOT 123276245 SOS 80652718 HAS SOPS 65633912 HAS SOUS 22779152 HAS SOUPS 22203482 WITH SCORE 2.2284134718E7
AT ITER 1007 NEW BEST:: SOT 123275989 SOS 80651178 HAS SOPS 65631370 HAS SOUS 22776004 HAS SOUPS 22200334 WITH SCORE 2.2280985178E7
AT ITER 1009 NEW BEST:: SOT 123270360 SOS 80647137 HAS SOPS 65624946 HAS SOUS 22755154 HAS SOUPS 22179444 WITH SCORE 2.2260091137E7
AT ITER 1018 NEW BEST:: SOT 123255622 SOS 80629318 HAS SOPS 65606851 HAS SOUS 22737414 HAS SOUPS 22161704 WITH SCORE 2.2242333318E7
AT ITER 1021 NEW BEST:: SOT 123267771 SOS 80656264 HAS SOPS 65623032 HAS SOUS 22717112 HAS SOUPS 22141264 WITH SCORE 2.2221920264E7
AT ITER 1033 NEW BEST:: SOT 123260905 SOS 80656326 HAS SOPS 65623566 HAS SOUS 22698477 HAS SOUPS 22122629 WITH SCORE 2.2203285326E7
AT ITER 1054 NEW BEST:: SOT 123251809 SOS 80651221 HAS SOPS 65617650 HAS SOUS 22680180 HAS SOUPS 22104536 WITH SCORE 2.2185187221E7
AT ITER 1056 NEW BEST:: SOT 123240650 SOS 80633768 HAS SOPS 65601814 HAS SOUS 22668547 HAS SOUPS 22093010 WITH SCORE 2.2173643768E7
AT ITER 1064 NEW BEST:: SOT 123240648 SOS 80633591 HAS SOPS 65601325 HAS SOUS 22662292 HAS SOUPS 22087491 WITH SCORE 2.2168124591E7
AT ITER 1070 NEW BEST:: SOT 123218406 SOS 80602963 HAS SOPS 65577748 HAS SOUS 22626286 HAS SOUPS 22051626 WITH SCORE 2.2132228963E7
AT ITER 1072 NEW BEST:: SOT 123218349 SOS 80597495 HAS SOPS 65571962 HAS SOUS 22625523 HAS SOUPS 22050863 WITH SCORE 2.2131460495E7
AT ITER 1080 NEW BEST:: SOT 123218014 SOS 80597052 HAS SOPS 65571198 HAS SOUS 22624856 HAS SOUPS 22050196 WITH SCORE 2.2130793052E7
AT ITER 1084 NEW BEST:: SOT 123214445 SOS 80593347 HAS SOPS 65568918 HAS SOUS 22617865 HAS SOUPS 22043205 WITH SCORE 2.2123798347E7
AT ITER 1111 NEW BEST:: SOT 123215644 SOS 80594963 HAS SOPS 65571822 HAS SOUS 22596813 HAS SOUPS 22022201 WITH SCORE 2.2102795963E7
AT ITER 1115 NEW BEST:: SOT 123197329 SOS 80558618 HAS SOPS 65532394 HAS SOUS 22574269 HAS SOUPS 21999657 WITH SCORE 2.2080215618E7
AT ITER 1116 NEW BEST:: SOT 123194820 SOS 80549789 HAS SOPS 65523027 HAS SOUS 22568324 HAS SOUPS 21993748 WITH SCORE 2.2074297789E7
AT ITER 1120 NEW BEST:: SOT 123193704 SOS 80549108 HAS SOPS 65522292 HAS SOUS 22564130 HAS SOUPS 21989644 WITH SCORE 2.2070193108E7
AT ITER 1131 NEW BEST:: SOT 123192021 SOS 80547884 HAS SOPS 65521004 HAS SOUS 22560891 HAS SOUPS 21986405 WITH SCORE 2.2066952884E7
AT ITER 1138 NEW BEST:: SOT 123191971 SOS 80545854 HAS SOPS 65519468 HAS SOUS 22560737 HAS SOUPS 21986251 WITH SCORE 2.2066796854E7
AT ITER 1142 NEW BEST:: SOT 123176814 SOS 80515315 HAS SOPS 65491396 HAS SOUS 22559700 HAS SOUPS 21985214 WITH SCORE 2.2065729315E7
AT ITER 1164 NEW BEST:: SOT 123178232 SOS 80518301 HAS SOPS 65493998 HAS SOUS 22559656 HAS SOUPS 21985161 WITH SCORE 2.2065679301E7
AT ITER 1183 NEW BEST:: SOT 123177992 SOS 80517677 HAS SOPS 65493470 HAS SOUS 22557357 HAS SOUPS 21983438 WITH SCORE 2.2063955677E7
AT ITER 1184 NEW BEST:: SOT 123176876 SOS 80515970 HAS SOPS 65492051 HAS SOUS 22556514 HAS SOUPS 21982595 WITH SCORE 2.206311097E7
AT ITER 1192 NEW BEST:: SOT 123173465 SOS 80510750 HAS SOPS 65485497 HAS SOUS 22549362 HAS SOUPS 21975443 WITH SCORE 2.205595375E7
AT ITER 1195 NEW BEST:: SOT 123174261 SOS 80510531 HAS SOPS 65484491 HAS SOUS 22543542 HAS SOUPS 21969529 WITH SCORE 2.2050039531E7
AT ITER 1204 NEW BEST:: SOT 123176677 SOS 80514695 HAS SOPS 65497968 HAS SOUS 22543020 HAS SOUPS 21969007 WITH SCORE 2.2049521695E7
AT ITER 1231 NEW BEST:: SOT 123174525 SOS 80510930 HAS SOPS 65494292 HAS SOUS 22536449 HAS SOUPS 21962523 WITH SCORE 2.204303393E7
AT ITER 1234 NEW BEST:: SOT 123172124 SOS 80505491 HAS SOPS 65488327 HAS SOUS 22532092 HAS SOUPS 21958166 WITH SCORE 2.2038671491E7
AT ITER 1246 NEW BEST:: SOT 123171082 SOS 80504861 HAS SOPS 65487364 HAS SOUS 22531159 HAS SOUPS 21957233 WITH SCORE 2.2037737861E7
AT ITER 1247 NEW BEST:: SOT 123167502 SOS 80498170 HAS SOPS 65477437 HAS SOUS 22526332 HAS SOUPS 21952406 WITH SCORE 2.203290417E7
AT ITER 1267 NEW BEST:: SOT 123162037 SOS 80498801 HAS SOPS 65471794 HAS SOUS 22502976 HAS SOUPS 21929050 WITH SCORE 2.2009548801E7
AT ITER 1271 NEW BEST:: SOT 123160934 SOS 80501588 HAS SOPS 65466615 HAS SOUS 22487793 HAS SOUPS 21913867 WITH SCORE 2.1994368588E7
AT ITER 1284 NEW BEST:: SOT 123160984 SOS 80515762 HAS SOPS 65490119 HAS SOUS 22487653 HAS SOUPS 21913727 WITH SCORE 2.1994242762E7
AT ITER 1286 NEW BEST:: SOT 123155779 SOS 80553002 HAS SOPS 65522788 HAS SOUS 22485242 HAS SOUPS 21911316 WITH SCORE 2.1991869002E7
AT ITER 1300 NEW BEST:: SOT 123156976 SOS 80561527 HAS SOPS 65524234 HAS SOUS 22474228 HAS SOUPS 21900302 WITH SCORE 2.1980863527E7
AT ITER 1312 NEW BEST:: SOT 123156597 SOS 80559937 HAS SOPS 65518336 HAS SOUS 22471297 HAS SOUPS 21897371 WITH SCORE 2.1977930937E7
AT ITER 1318 NEW BEST:: SOT 123149617 SOS 80546737 HAS SOPS 65501849 HAS SOUS 22465165 HAS SOUPS 21891239 WITH SCORE 2.1971785737E7
AT ITER 1335 NEW BEST:: SOT 123149625 SOS 80547081 HAS SOPS 65502097 HAS SOUS 22465161 HAS SOUPS 21891235 WITH SCORE 2.1971782081E7
AT ITER 1339 NEW BEST:: SOT 123149707 SOS 80547131 HAS SOPS 65502232 HAS SOUS 22464838 HAS SOUPS 21890912 WITH SCORE 2.1971459131E7
AT ITER 1348 NEW BEST:: SOT 123167142 SOS 80598490 HAS SOPS 65563709 HAS SOUS 22464077 HAS SOUPS 21890362 WITH SCORE 2.197096049E7
AT ITER 1352 NEW BEST:: SOT 123192443 SOS 80652403 HAS SOPS 65611923 HAS SOUS 22457311 HAS SOUPS 21883596 WITH SCORE 2.1964248403E7
AT ITER 1355 NEW BEST:: SOT 123221246 SOS 80724495 HAS SOPS 65683869 HAS SOUS 22446206 HAS SOUPS 21872491 WITH SCORE 2.1953215495E7
AT ITER 1380 NEW BEST:: SOT 123231872 SOS 80756672 HAS SOPS 65705181 HAS SOUS 22429949 HAS SOUPS 21856234 WITH SCORE 2.1936990672E7
AT ITER 1385 NEW BEST:: SOT 123231656 SOS 80776531 HAS SOPS 65734576 HAS SOUS 22428736 HAS SOUPS 21855175 WITH SCORE 2.1935951531E7
AT ITER 1386 NEW BEST:: SOT 123231269 SOS 80774912 HAS SOPS 65735757 HAS SOUS 22428520 HAS SOUPS 21854959 WITH SCORE 2.1935733912E7
AT ITER 1389 NEW BEST:: SOT 123205054 SOS 80732138 HAS SOPS 65697874 HAS SOUS 22409198 HAS SOUPS 21835637 WITH SCORE 2.1916369138E7
AT ITER 1405 NEW BEST:: SOT 123192751 SOS 80724846 HAS SOPS 65660854 HAS SOUS 22352340 HAS SOUPS 21778779 WITH SCORE 2.1859503846E7
AT ITER 1415 NEW BEST:: SOT 123192751 SOS 80723454 HAS SOPS 65661702 HAS SOUS 22352334 HAS SOUPS 21778773 WITH SCORE 2.1859496454E7
AT ITER 1424 NEW BEST:: SOT 123186300 SOS 80718547 HAS SOPS 65652084 HAS SOUS 22333534 HAS SOUPS 21759908 WITH SCORE 2.1840626547E7
AT ITER 1426 NEW BEST:: SOT 123176480 SOS 80698431 HAS SOPS 65643333 HAS SOUS 22311219 HAS SOUPS 21737593 WITH SCORE 2.1818291431E7
AT ITER 1429 NEW BEST:: SOT 123176456 SOS 80698525 HAS SOPS 65642855 HAS SOUS 22309970 HAS SOUPS 21736344 WITH SCORE 2.1817042525E7
AT ITER 1463 NEW BEST:: SOT 123181483 SOS 80715589 HAS SOPS 65654431 HAS SOUS 22301517 HAS SOUPS 21727891 WITH SCORE 2.1808606589E7
AT ITER 1493 NEW BEST:: SOT 123182191 SOS 80720230 HAS SOPS 65656892 HAS SOUS 22299220 HAS SOUPS 21725594 WITH SCORE 2.180631423E7
AT ITER 1502 NEW BEST:: SOT 123183111 SOS 80724261 HAS SOPS 65661260 HAS SOUS 22297960 HAS SOUPS 21724334 WITH SCORE 2.1805058261E7
AT ITER 1507 NEW BEST:: SOT 123202282 SOS 80770163 HAS SOPS 65700365 HAS SOUS 22293820 HAS SOUPS 21720194 WITH SCORE 2.1800964163E7
AT ITER 1510 NEW BEST:: SOT 123185444 SOS 80749369 HAS SOPS 65681585 HAS SOUS 22267716 HAS SOUPS 21694234 WITH SCORE 2.1774983369E7
AT ITER 1512 NEW BEST:: SOT 123183924 SOS 80747093 HAS SOPS 65680189 HAS SOUS 22265191 HAS SOUPS 21691709 WITH SCORE 2.1772456093E7
AT ITER 1533 NEW BEST:: SOT 123196139 SOS 80764151 HAS SOPS 65699576 HAS SOUS 22250914 HAS SOUPS 21678046 WITH SCORE 2.1758810151E7
AT ITER 1537 NEW BEST:: SOT 123197649 SOS 80759403 HAS SOPS 65704007 HAS SOUS 22236477 HAS SOUPS 21663717 WITH SCORE 2.1744476403E7
AT ITER 1541 NEW BEST:: SOT 123201228 SOS 80765183 HAS SOPS 65709317 HAS SOUS 22235847 HAS SOUPS 21663318 WITH SCORE 2.1744083183E7
AT ITER 1552 NEW BEST:: SOT 123195130 SOS 80759085 HAS SOPS 65703203 HAS SOUS 22229461 HAS SOUPS 21656932 WITH SCORE 2.1737691085E7
AT ITER 1560 NEW BEST:: SOT 123187392 SOS 80740565 HAS SOPS 65687842 HAS SOUS 22221684 HAS SOUPS 21649155 WITH SCORE 2.1729895565E7
AT ITER 1571 NEW BEST:: SOT 123187392 SOS 80745941 HAS SOPS 65694434 HAS SOUS 22221624 HAS SOUPS 21649095 WITH SCORE 2.1729840941E7
AT ITER 1574 NEW BEST:: SOT 123200877 SOS 80758906 HAS SOPS 65709444 HAS SOUS 22206042 HAS SOUPS 21634957 WITH SCORE 2.1715715906E7
AT ITER 1576 NEW BEST:: SOT 123192285 SOS 80746468 HAS SOPS 65697683 HAS SOUS 22200030 HAS SOUPS 21627721 WITH SCORE 2.1708467468E7
AT ITER 1614 NEW BEST:: SOT 123192359 SOS 80746528 HAS SOPS 65697335 HAS SOUS 22199203 HAS SOUPS 21626894 WITH SCORE 2.1707640528E7
AT ITER 1634 NEW BEST:: SOT 123194069 SOS 80749638 HAS SOPS 65698870 HAS SOUS 22198833 HAS SOUPS 21626499 WITH SCORE 2.1707248638E7
AT ITER 1640 NEW BEST:: SOT 123194069 SOS 80753274 HAS SOPS 65701896 HAS SOUS 22198800 HAS SOUPS 21626466 WITH SCORE 2.1707219274E7
AT ITER 1656 NEW BEST:: SOT 123198835 SOS 80761433 HAS SOPS 65705625 HAS SOUS 22194693 HAS SOUPS 21622359 WITH SCORE 2.1703120433E7
AT ITER 1659 NEW BEST:: SOT 123198716 SOS 80761244 HAS SOPS 65705551 HAS SOUS 22194434 HAS SOUPS 21622145 WITH SCORE 2.1702906244E7
AT ITER 1664 NEW BEST:: SOT 123198716 SOS 80761802 HAS SOPS 65704022 HAS SOUS 22194354 HAS SOUPS 21622065 WITH SCORE 2.1702826802E7
AT ITER 1680 NEW BEST:: SOT 123198716 SOS 80762146 HAS SOPS 65704366 HAS SOUS 22194346 HAS SOUPS 21622057 WITH SCORE 2.1702819146E7
AT ITER 1685 NEW BEST:: SOT 123196453 SOS 80759921 HAS SOPS 65700661 HAS SOUS 22187731 HAS SOUPS 21615372 WITH SCORE 2.1696131921E7
AT ITER 1712 NEW BEST:: SOT 123189593 SOS 80759970 HAS SOPS 65694623 HAS SOUS 22169440 HAS SOUPS 21597081 WITH SCORE 2.167784097E7
AT ITER 1715 NEW BEST:: SOT 123187895 SOS 80758525 HAS SOPS 65693093 HAS SOUS 22165040 HAS SOUPS 21592650 WITH SCORE 2.1673408525E7
AT ITER 1719 NEW BEST:: SOT 123202548 SOS 80789433 HAS SOPS 65723509 HAS SOUS 22153633 HAS SOUPS 21581243 WITH SCORE 2.1662032433E7
AT ITER 1724 NEW BEST:: SOT 123147610 SOS 80730526 HAS SOPS 65663822 HAS SOUS 22088106 HAS SOUPS 21515960 WITH SCORE 2.1596690526E7
AT ITER 1727 NEW BEST:: SOT 123130486 SOS 80713907 HAS SOPS 65645247 HAS SOUS 22068696 HAS SOUPS 21496550 WITH SCORE 2.1577263907E7
AT ITER 1743 NEW BEST:: SOT 123130070 SOS 80713605 HAS SOPS 65644848 HAS SOUS 22067697 HAS SOUPS 21495551 WITH SCORE 2.1576264605E7
AT ITER 1744 NEW BEST:: SOT 123128779 SOS 80710946 HAS SOPS 65643993 HAS SOUS 22067638 HAS SOUPS 21495516 WITH SCORE 2.1576226946E7
AT ITER 1753 NEW BEST:: SOT 123128372 SOS 80710695 HAS SOPS 65629879 HAS SOUS 22016387 HAS SOUPS 21444406 WITH SCORE 2.1525116695E7
AT ITER 1755 NEW BEST:: SOT 123130584 SOS 80714952 HAS SOPS 65623163 HAS SOUS 21993835 HAS SOUPS 21421656 WITH SCORE 2.1502370952E7
AT ITER 1794 NEW BEST:: SOT 123130981 SOS 80716744 HAS SOPS 65623819 HAS SOUS 21991268 HAS SOUPS 21419089 WITH SCORE 2.1499805744E7
AT ITER 1801 NEW BEST:: SOT 123122189 SOS 80710219 HAS SOPS 65607359 HAS SOUS 21985832 HAS SOUPS 21402974 WITH SCORE 2.1483684219E7
AT ITER 1815 NEW BEST:: SOT 123112380 SOS 80682256 HAS SOPS 65601096 HAS SOUS 21985095 HAS SOUPS 21402237 WITH SCORE 2.1482919256E7
AT ITER 1828 NEW BEST:: SOT 123095307 SOS 80624927 HAS SOPS 65579280 HAS SOUS 21980469 HAS SOUPS 21397611 WITH SCORE 2.1478235927E7
AT ITER 1831 NEW BEST:: SOT 123094431 SOS 80623495 HAS SOPS 65577894 HAS SOUS 21979163 HAS SOUPS 21396334 WITH SCORE 2.1476957495E7
AT ITER 1837 NEW BEST:: SOT 123106697 SOS 80653758 HAS SOPS 65588974 HAS SOUS 21966697 HAS SOUPS 21383745 WITH SCORE 2.1464398758E7
AT ITER 1852 NEW BEST:: SOT 123101940 SOS 80643509 HAS SOPS 65577015 HAS SOUS 21959818 HAS SOUPS 21376866 WITH SCORE 2.1457509509E7
AT ITER 1872 NEW BEST:: SOT 123090351 SOS 80613839 HAS SOPS 65560510 HAS SOUS 21947154 HAS SOUPS 21365477 WITH SCORE 2.1446090839E7
AT ITER 1893 NEW BEST:: SOT 123090053 SOS 80613377 HAS SOPS 65560106 HAS SOUS 21946285 HAS SOUPS 21364617 WITH SCORE 2.1445230377E7
AT ITER 1895 NEW BEST:: SOT 123093993 SOS 80621600 HAS SOPS 65571805 HAS SOUS 21943630 HAS SOUPS 21361962 WITH SCORE 2.14425836E7
AT ITER 1908 NEW BEST:: SOT 123091565 SOS 80621608 HAS SOPS 65570185 HAS SOUS 21938744 HAS SOUPS 21356989 WITH SCORE 2.1437610608E7
AT ITER 1926 NEW BEST:: SOT 123091032 SOS 80618745 HAS SOPS 65569978 HAS SOUS 21938014 HAS SOUPS 21356259 WITH SCORE 2.1436877745E7
AT ITER 1933 NEW BEST:: SOT 123090448 SOS 80618184 HAS SOPS 65569730 HAS SOUS 21936454 HAS SOUPS 21354699 WITH SCORE 2.1435317184E7
AT ITER 1950 NEW BEST:: SOT 123068423 SOS 80594406 HAS SOPS 65548058 HAS SOUS 21889461 HAS SOUPS 21309031 WITH SCORE 2.1389625406E7
AT ITER 1954 NEW BEST:: SOT 123083621 SOS 80614817 HAS SOPS 65583710 HAS SOUS 21882793 HAS SOUPS 21302637 WITH SCORE 2.1383251817E7
AT ITER 1959 NEW BEST:: SOT 123079809 SOS 80603942 HAS SOPS 65585979 HAS SOUS 21842660 HAS SOUPS 21263008 WITH SCORE 2.1343611942E7
AT ITER 1969 NEW BEST:: SOT 123079711 SOS 80599248 HAS SOPS 65583543 HAS SOUS 21842468 HAS SOUPS 21262816 WITH SCORE 2.1343415248E7
AT ITER 1973 NEW BEST:: SOT 123063117 SOS 80579569 HAS SOPS 65563264 HAS SOUS 21797382 HAS SOUPS 21217912 WITH SCORE 2.1298491569E7
AT ITER 1974 NEW BEST:: SOT 123061762 SOS 80579465 HAS SOPS 65565542 HAS SOUS 21778469 HAS SOUPS 21199725 WITH SCORE 2.1280304465E7
AT ITER 1985 NEW BEST:: SOT 123061762 SOS 80581401 HAS SOPS 65571462 HAS SOUS 21778273 HAS SOUPS 21199529 WITH SCORE 2.1280110401E7
AT ITER 1992 NEW BEST:: SOT 123063504 SOS 80594357 HAS SOPS 65578921 HAS SOUS 21754955 HAS SOUPS 21176211 WITH SCORE 2.1256805357E7
AT ITER 2013 NEW BEST:: SOT 123020301 SOS 80550515 HAS SOPS 65534642 HAS SOUS 21686954 HAS SOUPS 21107978 WITH SCORE 2.1188528515E7
AT ITER 2015 NEW BEST:: SOT 122925568 SOS 80432748 HAS SOPS 65427409 HAS SOUS 21530487 HAS SOUPS 20951648 WITH SCORE 2.1032080748E7
AT ITER 2016 NEW BEST:: SOT 122915266 SOS 80422293 HAS SOPS 65416580 HAS SOUS 21512187 HAS SOUPS 20933499 WITH SCORE 2.1013921293E7
AT ITER 2025 NEW BEST:: SOT 122915266 SOS 80429319 HAS SOPS 65426742 HAS SOUS 21512089 HAS SOUPS 20933401 WITH SCORE 2.1013830319E7
AT ITER 2037 NEW BEST:: SOT 122914933 SOS 80430262 HAS SOPS 65426027 HAS SOUS 21508969 HAS SOUPS 20930266 WITH SCORE 2.1010696262E7
AT ITER 2052 NEW BEST:: SOT 122915259 SOS 80430573 HAS SOPS 65426377 HAS SOUS 21508894 HAS SOUPS 20930191 WITH SCORE 2.1010621573E7
AT ITER 2063 NEW BEST:: SOT 122918421 SOS 80437282 HAS SOPS 65440142 HAS SOUS 21495182 HAS SOUPS 20916274 WITH SCORE 2.0996711282E7
AT ITER 2078 NEW BEST:: SOT 122911992 SOS 80430893 HAS SOPS 65431545 HAS SOUS 21480509 HAS SOUPS 20901601 WITH SCORE 2.0982031893E7
AT ITER 2080 NEW BEST:: SOT 122901116 SOS 80418545 HAS SOPS 65413718 HAS SOUS 21448299 HAS SOUPS 20869485 WITH SCORE 2.0949903545E7
AT ITER 2083 NEW BEST:: SOT 122887836 SOS 80396541 HAS SOPS 65396937 HAS SOUS 21427217 HAS SOUPS 20849244 WITH SCORE 2.0929640541E7
AT ITER 2088 NEW BEST:: SOT 122895582 SOS 80392324 HAS SOPS 65398381 HAS SOUS 21420270 HAS SOUPS 20842540 WITH SCORE 2.0922932324E7
AT ITER 2092 NEW BEST:: SOT 122875869 SOS 80354912 HAS SOPS 65366582 HAS SOUS 21397810 HAS SOUPS 20820285 WITH SCORE 2.0900639912E7
AT ITER 2101 NEW BEST:: SOT 122880610 SOS 80359255 HAS SOPS 65369452 HAS SOUS 21391313 HAS SOUPS 20813788 WITH SCORE 2.0894147255E7
AT ITER 2113 NEW BEST:: SOT 122877323 SOS 80356046 HAS SOPS 65366165 HAS SOUS 21388858 HAS SOUPS 20811307 WITH SCORE 2.0891663046E7
AT ITER 2115 NEW BEST:: SOT 122881275 SOS 80372157 HAS SOPS 65376822 HAS SOUS 21366871 HAS SOUPS 20789320 WITH SCORE 2.0869692157E7
AT ITER 2129 NEW BEST:: SOT 122881314 SOS 80395383 HAS SOPS 65409520 HAS SOUS 21366765 HAS SOUPS 20789214 WITH SCORE 2.0869609383E7
AT ITER 2136 NEW BEST:: SOT 122881314 SOS 80421075 HAS SOPS 65454412 HAS SOUS 21366399 HAS SOUPS 20788848 WITH SCORE 2.0869269075E7
AT ITER 2138 NEW BEST:: SOT 122881814 SOS 80422165 HAS SOPS 65455172 HAS SOUS 21366209 HAS SOUPS 20788658 WITH SCORE 2.0869080165E7
AT ITER 2143 NEW BEST:: SOT 122880094 SOS 80420045 HAS SOPS 65453274 HAS SOUS 21363298 HAS SOUPS 20785759 WITH SCORE 2.0866179045E7
AT ITER 2156 NEW BEST:: SOT 122917804 SOS 80524270 HAS SOPS 65536610 HAS SOUS 21293861 HAS SOUPS 20715798 WITH SCORE 2.079632227E7
AT ITER 2159 NEW BEST:: SOT 122899750 SOS 80503437 HAS SOPS 65510543 HAS SOUS 21269015 HAS SOUPS 20690952 WITH SCORE 2.0771455437E7
AT ITER 2161 NEW BEST:: SOT 122904426 SOS 80515177 HAS SOPS 65525047 HAS SOUS 21236066 HAS SOUPS 20659152 WITH SCORE 2.0739667177E7
AT ITER 2162 NEW BEST:: SOT 122903125 SOS 80512369 HAS SOPS 65519989 HAS SOUS 21233611 HAS SOUPS 20656741 WITH SCORE 2.0737253369E7
AT ITER 2169 NEW BEST:: SOT 122903125 SOS 80514393 HAS SOPS 65521201 HAS SOUS 21233471 HAS SOUPS 20656601 WITH SCORE 2.0737115393E7
AT ITER 2171 NEW BEST:: SOT 122902654 SOS 80513987 HAS SOPS 65520290 HAS SOUS 21232342 HAS SOUPS 20655423 WITH SCORE 2.0735936987E7
AT ITER 2174 NEW BEST:: SOT 122922683 SOS 80531511 HAS SOPS 65535228 HAS SOUS 21215343 HAS SOUPS 20638750 WITH SCORE 2.0719281511E7
AT ITER 2185 NEW BEST:: SOT 122916037 SOS 80500835 HAS SOPS 65530379 HAS SOUS 21199127 HAS SOUPS 20623123 WITH SCORE 2.0703623835E7
AT ITER 2193 NEW BEST:: SOT 122916268 SOS 80499746 HAS SOPS 65529950 HAS SOUS 21198446 HAS SOUPS 20622442 WITH SCORE 2.0702941746E7
AT ITER 2199 NEW BEST:: SOT 122914023 SOS 80498339 HAS SOPS 65531231 HAS SOUS 21192518 HAS SOUPS 20616463 WITH SCORE 2.0696961339E7
AT ITER 2204 NEW BEST:: SOT 122912788 SOS 80493792 HAS SOPS 65530003 HAS SOUS 21179333 HAS SOUPS 20603278 WITH SCORE 2.0683771792E7
AT ITER 2219 NEW BEST:: SOT 122914425 SOS 80502241 HAS SOPS 65539558 HAS SOUS 21169359 HAS SOUPS 20593304 WITH SCORE 2.0673806241E7
AT ITER 2220 NEW BEST:: SOT 122898802 SOS 80470033 HAS SOPS 65522308 HAS SOUS 21145837 HAS SOUPS 20569782 WITH SCORE 2.0650252033E7
AT ITER 2223 NEW BEST:: SOT 122851403 SOS 80374634 HAS SOPS 65437825 HAS SOUS 21134871 HAS SOUPS 20558816 WITH SCORE 2.0639190634E7
AT ITER 2226 NEW BEST:: SOT 122853857 SOS 80377372 HAS SOPS 65441801 HAS SOUS 21127683 HAS SOUPS 20551713 WITH SCORE 2.0632090372E7
AT ITER 2230 NEW BEST:: SOT 122847357 SOS 80370872 HAS SOPS 65435301 HAS SOUS 21120607 HAS SOUPS 20544637 WITH SCORE 2.0625007872E7
AT ITER 2234 NEW BEST:: SOT 122846076 SOS 80362680 HAS SOPS 65431821 HAS SOUS 21108463 HAS SOUPS 20533104 WITH SCORE 2.061346668E7
AT ITER 2246 NEW BEST:: SOT 122837030 SOS 80341623 HAS SOPS 65411980 HAS SOUS 21106901 HAS SOUPS 20531569 WITH SCORE 2.0611910623E7
AT ITER 2247 NEW BEST:: SOT 122798314 SOS 80301845 HAS SOPS 65372015 HAS SOUS 21052586 HAS SOUPS 20477155 WITH SCORE 2.0557456845E7
AT ITER 2255 NEW BEST:: SOT 122798008 SOS 80301737 HAS SOPS 65370203 HAS SOUS 21050222 HAS SOUPS 20474776 WITH SCORE 2.0555077737E7
AT ITER 2257 NEW BEST:: SOT 122797667 SOS 80294273 HAS SOPS 65363338 HAS SOUS 21049941 HAS SOUPS 20474495 WITH SCORE 2.0554789273E7
AT ITER 2258 NEW BEST:: SOT 122797667 SOS 80300257 HAS SOPS 65371338 HAS SOUS 21049925 HAS SOUPS 20474479 WITH SCORE 2.0554779257E7
AT ITER 2259 NEW BEST:: SOT 122799771 SOS 80301372 HAS SOPS 65367795 HAS SOUS 21042027 HAS SOUPS 20466581 WITH SCORE 2.0546882372E7
AT ITER 2263 NEW BEST:: SOT 122792276 SOS 80293826 HAS SOPS 65356791 HAS SOUS 21026588 HAS SOUPS 20451206 WITH SCORE 2.0531499826E7
AT ITER 2271 NEW BEST:: SOT 122790543 SOS 80294672 HAS SOPS 65370097 HAS SOUS 21024176 HAS SOUPS 20448794 WITH SCORE 2.0529088672E7
AT ITER 2284 NEW BEST:: SOT 122787921 SOS 80289757 HAS SOPS 65367595 HAS SOUS 21021347 HAS SOUPS 20446026 WITH SCORE 2.0526315757E7
AT ITER 2306 NEW BEST:: SOT 122788118 SOS 80295442 HAS SOPS 65372684 HAS SOUS 21012766 HAS SOUPS 20437445 WITH SCORE 2.0517740442E7
AT ITER 2309 NEW BEST:: SOT 122780056 SOS 80287263 HAS SOPS 65364514 HAS SOUS 21004569 HAS SOUPS 20429257 WITH SCORE 2.0509544263E7
AT ITER 2313 NEW BEST:: SOT 122780760 SOS 80287497 HAS SOPS 65363354 HAS SOUS 21001422 HAS SOUPS 20426110 WITH SCORE 2.0506397497E7
AT ITER 2314 NEW BEST:: SOT 122756348 SOS 80244682 HAS SOPS 65327960 HAS SOUS 20974826 HAS SOUPS 20399514 WITH SCORE 2.0479758682E7
AT ITER 2316 NEW BEST:: SOT 122753625 SOS 80248782 HAS SOPS 65327872 HAS SOUS 20967481 HAS SOUPS 20391944 WITH SCORE 2.0472192782E7
AT ITER 2320 NEW BEST:: SOT 122753589 SOS 80247554 HAS SOPS 65327240 HAS SOUS 20967441 HAS SOUPS 20391904 WITH SCORE 2.0472151554E7
AT ITER 2339 NEW BEST:: SOT 122749000 SOS 80245527 HAS SOPS 65322170 HAS SOUS 20965305 HAS SOUPS 20389842 WITH SCORE 2.0470087527E7
AT ITER 2345 NEW BEST:: SOT 122744369 SOS 80239436 HAS SOPS 65314665 HAS SOUS 20955928 HAS SOUPS 20380465 WITH SCORE 2.0460704436E7
AT ITER 2351 NEW BEST:: SOT 122744516 SOS 80239666 HAS SOPS 65314680 HAS SOUS 20955807 HAS SOUPS 20380344 WITH SCORE 2.0460583666E7
AT ITER 2352 NEW BEST:: SOT 122744342 SOS 80239027 HAS SOPS 65313694 HAS SOUS 20955114 HAS SOUPS 20379651 WITH SCORE 2.0459890027E7
AT ITER 2364 NEW BEST:: SOT 122755709 SOS 80247641 HAS SOPS 65319508 HAS SOUS 20954759 HAS SOUPS 20379296 WITH SCORE 2.0459543641E7
AT ITER 2367 NEW BEST:: SOT 122752100 SOS 80245333 HAS SOPS 65312482 HAS SOUS 20920483 HAS SOUPS 20345020 WITH SCORE 2.0425265333E7
AT ITER 2379 NEW BEST:: SOT 122725979 SOS 80217460 HAS SOPS 65289383 HAS SOUS 20854139 HAS SOUPS 20279421 WITH SCORE 2.035963846E7
AT ITER 2386 NEW BEST:: SOT 122719511 SOS 80198798 HAS SOPS 65277794 HAS SOUS 20838291 HAS SOUPS 20263573 WITH SCORE 2.0343771798E7
AT ITER 2390 NEW BEST:: SOT 122733794 SOS 80229771 HAS SOPS 65306779 HAS SOUS 20830492 HAS SOUPS 20255948 WITH SCORE 2.0336177771E7
AT ITER 2394 NEW BEST:: SOT 122708976 SOS 80199132 HAS SOPS 65260162 HAS SOUS 20778386 HAS SOUPS 20202950 WITH SCORE 2.0283149132E7
AT ITER 2396 NEW BEST:: SOT 122728155 SOS 80244891 HAS SOPS 65303965 HAS SOUS 20773757 HAS SOUPS 20198321 WITH SCORE 2.0278565891E7
AT ITER 2421 NEW BEST:: SOT 122721591 SOS 80237094 HAS SOPS 65295065 HAS SOUS 20761890 HAS SOUPS 20186454 WITH SCORE 2.0266691094E7
AT ITER 2431 NEW BEST:: SOT 122718482 SOS 80235787 HAS SOPS 65292505 HAS SOUS 20753401 HAS SOUPS 20177791 WITH SCORE 2.0258026787E7
AT ITER 2433 NEW BEST:: SOT 122704073 SOS 80216830 HAS SOPS 65272908 HAS SOUS 20708401 HAS SOUPS 20132791 WITH SCORE 2.021300783E7
AT ITER 2442 NEW BEST:: SOT 122704288 SOS 80217045 HAS SOPS 65273123 HAS SOUS 20704264 HAS SOUPS 20128654 WITH SCORE 2.0208871045E7
AT ITER 2464 NEW BEST:: SOT 122691648 SOS 80198068 HAS SOPS 65255994 HAS SOUS 20669045 HAS SOUPS 20093435 WITH SCORE 2.0173633068E7
AT ITER 2490 NEW BEST:: SOT 122683585 SOS 80187458 HAS SOPS 65243949 HAS SOUS 20653555 HAS SOUPS 20077957 WITH SCORE 2.0158144458E7
AT ITER 2495 NEW BEST:: SOT 122686503 SOS 80203514 HAS SOPS 65260372 HAS SOUS 20649470 HAS SOUPS 20073872 WITH SCORE 2.0154075514E7
AT ITER 2505 NEW BEST:: SOT 122694847 SOS 80226088 HAS SOPS 65287275 HAS SOUS 20646047 HAS SOUPS 20070538 WITH SCORE 2.0150764088E7
AT ITER 2513 NEW BEST:: SOT 122688925 SOS 80220985 HAS SOPS 65277958 HAS SOUS 20630115 HAS SOUPS 20054606 WITH SCORE 2.0134826985E7
AT ITER 2565 NEW BEST:: SOT 122688718 SOS 80220682 HAS SOPS 65279787 HAS SOUS 20628803 HAS SOUPS 20053294 WITH SCORE 2.0133514682E7
AT ITER 2595 NEW BEST:: SOT 122685124 SOS 80214573 HAS SOPS 65274958 HAS SOUS 20624681 HAS SOUPS 20049172 WITH SCORE 2.0129386573E7
AT ITER 2602 NEW BEST:: SOT 122705979 SOS 80248330 HAS SOPS 65299197 HAS SOUS 20617737 HAS SOUPS 20042000 WITH SCORE 2.012224833E7
AT ITER 2605 NEW BEST:: SOT 122702787 SOS 80243966 HAS SOPS 65293086 HAS SOUS 20611226 HAS SOUPS 20035465 WITH SCORE 2.0115708966E7
AT ITER 2614 NEW BEST:: SOT 122711797 SOS 80254289 HAS SOPS 65299162 HAS SOUS 20609168 HAS SOUPS 20033226 WITH SCORE 2.0113480289E7
AT ITER 2615 NEW BEST:: SOT 122710398 SOS 80252915 HAS SOPS 65297363 HAS SOUS 20608969 HAS SOUPS 20033002 WITH SCORE 2.0113254915E7
AT ITER 2632 NEW BEST:: SOT 122709910 SOS 80252219 HAS SOPS 65296763 HAS SOUS 20608200 HAS SOUPS 20032233 WITH SCORE 2.0112485219E7
AT ITER 2665 NEW BEST:: SOT 122710084 SOS 80251840 HAS SOPS 65296686 HAS SOUS 20605239 HAS SOUPS 20029321 WITH SCORE 2.010957284E7
AT ITER 2671 NEW BEST:: SOT 122710119 SOS 80263069 HAS SOPS 65310126 HAS SOUS 20605178 HAS SOUPS 20029260 WITH SCORE 2.0109523069E7
AT ITER 2677 NEW BEST:: SOT 122689471 SOS 80221743 HAS SOPS 65278420 HAS SOUS 20566574 HAS SOUPS 19990656 WITH SCORE 2.0070877743E7

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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