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-158961502500163.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-3, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502500163
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.1K Apr 12 07:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 08:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 9 21:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:27 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)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-00
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-01
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-02
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-03
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-04
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-05
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-06
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-07
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-08
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-09
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-10
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-11
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-12
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-13
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-14
FORMULA_NAME RERS17pb115-PT-3-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589755721810

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 3
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
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 15 NEW BEST:: SOT 123446481 SOS 80242234 HAS SOPS 65236151 HAS SOUS 24076011 HAS SOUPS 23503237 WITH SCORE 2.3583479234E7
AT ITER 16 NEW BEST:: SOT 123438410 SOS 80217625 HAS SOPS 65215411 HAS SOUS 24074921 HAS SOUPS 23502266 WITH SCORE 2.3582483625E7
AT ITER 28 NEW BEST:: SOT 123423347 SOS 80204068 HAS SOPS 65203735 HAS SOUS 24034019 HAS SOUPS 23461364 WITH SCORE 2.3541568068E7
AT ITER 34 NEW BEST:: SOT 123424666 SOS 80208823 HAS SOPS 65205822 HAS SOUS 24031343 HAS SOUPS 23458688 WITH SCORE 2.3538896823E7
AT ITER 40 NEW BEST:: SOT 123424666 SOS 80218433 HAS SOPS 65212093 HAS SOUS 24016243 HAS SOUPS 23443588 WITH SCORE 2.3523806433E7
AT ITER 43 NEW BEST:: SOT 123432994 SOS 80234274 HAS SOPS 65210752 HAS SOUS 24012363 HAS SOUPS 23439481 WITH SCORE 2.3519715274E7
AT ITER 48 NEW BEST:: SOT 123428627 SOS 80223944 HAS SOPS 65203852 HAS SOUS 24008511 HAS SOUPS 23435629 WITH SCORE 2.3515852944E7
AT ITER 51 NEW BEST:: SOT 123448262 SOS 80251589 HAS SOPS 65238975 HAS SOUS 24004257 HAS SOUPS 23431712 WITH SCORE 2.3511963589E7
AT ITER 58 NEW BEST:: SOT 123448262 SOS 80251589 HAS SOPS 65238975 HAS SOUS 24004250 HAS SOUPS 23431705 WITH SCORE 2.3511956589E7
AT ITER 60 NEW BEST:: SOT 123444959 SOS 80245390 HAS SOPS 65240215 HAS SOUS 23968205 HAS SOUPS 23396465 WITH SCORE 2.347671039E7
AT ITER 74 NEW BEST:: SOT 123443227 SOS 80243778 HAS SOPS 65238987 HAS SOUS 23963329 HAS SOUPS 23391613 WITH SCORE 2.3471856778E7
AT ITER 85 NEW BEST:: SOT 123443227 SOS 80251570 HAS SOPS 65250939 HAS SOUS 23963211 HAS SOUPS 23391495 WITH SCORE 2.347174657E7
AT ITER 98 NEW BEST:: SOT 123446387 SOS 80273209 HAS SOPS 65265962 HAS SOUS 23947313 HAS SOUPS 23375597 WITH SCORE 2.3455870209E7
AT ITER 103 NEW BEST:: SOT 123446594 SOS 80274613 HAS SOPS 65266030 HAS SOUS 23944789 HAS SOUPS 23373073 WITH SCORE 2.3453347613E7
AT ITER 108 NEW BEST:: SOT 123446409 SOS 80274388 HAS SOPS 65265785 HAS SOUS 23944468 HAS SOUPS 23372756 WITH SCORE 2.3453030388E7
AT ITER 115 NEW BEST:: SOT 123446841 SOS 80303993 HAS SOPS 65305013 HAS SOUS 23944435 HAS SOUPS 23372723 WITH SCORE 2.3453026993E7
AT ITER 118 NEW BEST:: SOT 123474436 SOS 80342749 HAS SOPS 65342243 HAS SOUS 23904564 HAS SOUPS 23332801 WITH SCORE 2.3413143749E7
AT ITER 127 NEW BEST:: SOT 123471909 SOS 80354369 HAS SOPS 65354467 HAS SOUS 23883498 HAS SOUPS 23311735 WITH SCORE 2.3392089369E7
AT ITER 146 NEW BEST:: SOT 123460780 SOS 80345600 HAS SOPS 65345822 HAS SOUS 23864802 HAS SOUPS 23292148 WITH SCORE 2.33724936E7
AT ITER 172 NEW BEST:: SOT 123432563 SOS 80317291 HAS SOPS 65317513 HAS SOUS 23834954 HAS SOUPS 23262300 WITH SCORE 2.3342617291E7
AT ITER 182 NEW BEST:: SOT 123430584 SOS 80311744 HAS SOPS 65313926 HAS SOUS 23829727 HAS SOUPS 23257151 WITH SCORE 2.3337462744E7
AT ITER 202 NEW BEST:: SOT 123431032 SOS 80313427 HAS SOPS 65316268 HAS SOUS 23828594 HAS SOUPS 23256018 WITH SCORE 2.3336331427E7
AT ITER 205 NEW BEST:: SOT 123415949 SOS 80300285 HAS SOPS 65300447 HAS SOUS 23798106 HAS SOUPS 23225530 WITH SCORE 2.3305830285E7
AT ITER 211 NEW BEST:: SOT 123412298 SOS 80296338 HAS SOPS 65296667 HAS SOUS 23793215 HAS SOUPS 23220642 WITH SCORE 2.3300938338E7
AT ITER 212 NEW BEST:: SOT 123412420 SOS 80314304 HAS SOPS 65315892 HAS SOUS 23793072 HAS SOUPS 23220499 WITH SCORE 2.3300813304E7
AT ITER 227 NEW BEST:: SOT 123412135 SOS 80309010 HAS SOPS 65307523 HAS SOUS 23792195 HAS SOUPS 23219622 WITH SCORE 2.329993101E7
AT ITER 238 NEW BEST:: SOT 123405747 SOS 80306984 HAS SOPS 65303959 HAS SOUS 23776082 HAS SOUPS 23203509 WITH SCORE 2.3283815984E7
AT ITER 255 NEW BEST:: SOT 123385947 SOS 80286624 HAS SOPS 65277340 HAS SOUS 23746712 HAS SOUPS 23173452 WITH SCORE 2.3253738624E7
AT ITER 265 NEW BEST:: SOT 123383483 SOS 80286149 HAS SOPS 65277054 HAS SOUS 23744325 HAS SOUPS 23171065 WITH SCORE 2.3251351149E7
AT ITER 266 NEW BEST:: SOT 123380767 SOS 80283618 HAS SOPS 65271350 HAS SOUS 23737577 HAS SOUPS 23164317 WITH SCORE 2.3244600618E7
AT ITER 278 NEW BEST:: SOT 123376092 SOS 80311540 HAS SOPS 65293191 HAS SOUS 23732800 HAS SOUPS 23159540 WITH SCORE 2.323985154E7
AT ITER 280 NEW BEST:: SOT 123379574 SOS 80324703 HAS SOPS 65308885 HAS SOUS 23730521 HAS SOUPS 23157261 WITH SCORE 2.3237585703E7
AT ITER 281 NEW BEST:: SOT 123379047 SOS 80343315 HAS SOPS 65313317 HAS SOUS 23682902 HAS SOUPS 23109642 WITH SCORE 2.3189985315E7
AT ITER 322 NEW BEST:: SOT 123381338 SOS 80340767 HAS SOPS 65310377 HAS SOUS 23656941 HAS SOUPS 23086134 WITH SCORE 2.3166474767E7
AT ITER 365 NEW BEST:: SOT 123367364 SOS 80310568 HAS SOPS 65298921 HAS SOUS 23651306 HAS SOUPS 23080728 WITH SCORE 2.3161038568E7
AT ITER 371 NEW BEST:: SOT 123367364 SOS 80315864 HAS SOPS 65304217 HAS SOUS 23651231 HAS SOUPS 23080653 WITH SCORE 2.3160968864E7
AT ITER 382 NEW BEST:: SOT 123367154 SOS 80315178 HAS SOPS 65304165 HAS SOUS 23650853 HAS SOUPS 23080275 WITH SCORE 2.3160590178E7
AT ITER 385 NEW BEST:: SOT 123379955 SOS 80337114 HAS SOPS 65322645 HAS SOUS 23642822 HAS SOUPS 23072362 WITH SCORE 2.3152699114E7
AT ITER 400 NEW BEST:: SOT 123380125 SOS 80341517 HAS SOPS 65326073 HAS SOUS 23641137 HAS SOUPS 23070677 WITH SCORE 2.3151018517E7
AT ITER 404 NEW BEST:: SOT 123379229 SOS 80339473 HAS SOPS 65336853 HAS SOUS 23640495 HAS SOUPS 23070035 WITH SCORE 2.3150374473E7
AT ITER 406 NEW BEST:: SOT 123376152 SOS 80335938 HAS SOPS 65332357 HAS SOUS 23634621 HAS SOUPS 23064126 WITH SCORE 2.3144461938E7
AT ITER 407 NEW BEST:: SOT 123352217 SOS 80317004 HAS SOPS 65309576 HAS SOUS 23584955 HAS SOUPS 23014200 WITH SCORE 2.3094517004E7
AT ITER 412 NEW BEST:: SOT 123350598 SOS 80315385 HAS SOPS 65307957 HAS SOUS 23582328 HAS SOUPS 23011573 WITH SCORE 2.3091888385E7
AT ITER 423 NEW BEST:: SOT 123371759 SOS 80372963 HAS SOPS 65353831 HAS SOUS 23562756 HAS SOUPS 22992001 WITH SCORE 2.3072373963E7
AT ITER 431 NEW BEST:: SOT 123379528 SOS 80393532 HAS SOPS 65372208 HAS SOUS 23557000 HAS SOUPS 22986245 WITH SCORE 2.3066638532E7
AT ITER 446 NEW BEST:: SOT 123373179 SOS 80386344 HAS SOPS 65362984 HAS SOUS 23539354 HAS SOUPS 22968675 WITH SCORE 2.3049061344E7
AT ITER 464 NEW BEST:: SOT 123364951 SOS 80376600 HAS SOPS 65353712 HAS SOUS 23521863 HAS SOUPS 22951340 WITH SCORE 2.30317166E7
AT ITER 497 NEW BEST:: SOT 123363753 SOS 80373000 HAS SOPS 65361297 HAS SOUS 23520807 HAS SOUPS 22950284 WITH SCORE 2.3030657E7
AT ITER 505 NEW BEST:: SOT 123352881 SOS 80363869 HAS SOPS 65345345 HAS SOUS 23490357 HAS SOUPS 22919471 WITH SCORE 2.2999834869E7
AT ITER 506 NEW BEST:: SOT 123351801 SOS 80362799 HAS SOPS 65343955 HAS SOUS 23490287 HAS SOUPS 22919241 WITH SCORE 2.2999603799E7
AT ITER 513 NEW BEST:: SOT 123351681 SOS 80362308 HAS SOPS 65353447 HAS SOUS 23469693 HAS SOUPS 22899182 WITH SCORE 2.2979544308E7
AT ITER 517 NEW BEST:: SOT 123329791 SOS 80355222 HAS SOPS 65332191 HAS SOUS 23388598 HAS SOUPS 22818073 WITH SCORE 2.2898428222E7
AT ITER 527 NEW BEST:: SOT 123364914 SOS 80404283 HAS SOPS 65382995 HAS SOUS 23360495 HAS SOUPS 22791726 WITH SCORE 2.2872130283E7
AT ITER 533 NEW BEST:: SOT 123365272 SOS 80404883 HAS SOPS 65383098 HAS SOUS 23357455 HAS SOUPS 22788686 WITH SCORE 2.2869090883E7
AT ITER 538 NEW BEST:: SOT 123367374 SOS 80429624 HAS SOPS 65416558 HAS SOUS 23356478 HAS SOUPS 22787856 WITH SCORE 2.2868285624E7
AT ITER 541 NEW BEST:: SOT 123367139 SOS 80428913 HAS SOPS 65416781 HAS SOUS 23356214 HAS SOUPS 22787592 WITH SCORE 2.2868020913E7
AT ITER 543 NEW BEST:: SOT 123375201 SOS 80436234 HAS SOPS 65424944 HAS SOUS 23345837 HAS SOUPS 22777215 WITH SCORE 2.2857651234E7
AT ITER 547 NEW BEST:: SOT 123375201 SOS 80439690 HAS SOPS 65432944 HAS SOUS 23345777 HAS SOUPS 22777155 WITH SCORE 2.285759469E7
AT ITER 549 NEW BEST:: SOT 123337030 SOS 80383468 HAS SOPS 65367622 HAS SOUS 23278751 HAS SOUPS 22710297 WITH SCORE 2.2790680468E7
AT ITER 561 NEW BEST:: SOT 123336472 SOS 80382111 HAS SOPS 65371868 HAS SOUS 23277996 HAS SOUPS 22709644 WITH SCORE 2.2790026111E7
AT ITER 570 NEW BEST:: SOT 123337890 SOS 80386742 HAS SOPS 65370277 HAS SOUS 23269807 HAS SOUPS 22701455 WITH SCORE 2.2781841742E7
AT ITER 578 NEW BEST:: SOT 123332861 SOS 80383138 HAS SOPS 65381409 HAS SOUS 23266929 HAS SOUPS 22698577 WITH SCORE 2.2778960138E7
AT ITER 583 NEW BEST:: SOT 123333846 SOS 80392808 HAS SOPS 65386232 HAS SOUS 23261164 HAS SOUPS 22692812 WITH SCORE 2.2773204808E7
AT ITER 592 NEW BEST:: SOT 123344480 SOS 80421626 HAS SOPS 65401255 HAS SOUS 23253311 HAS SOUPS 22684959 WITH SCORE 2.2765380626E7
AT ITER 593 NEW BEST:: SOT 123338960 SOS 80409196 HAS SOPS 65391605 HAS SOUS 23250920 HAS SOUPS 22682568 WITH SCORE 2.2762977196E7
AT ITER 602 NEW BEST:: SOT 123339637 SOS 80412092 HAS SOPS 65398286 HAS SOUS 23247321 HAS SOUPS 22678969 WITH SCORE 2.2759381092E7
AT ITER 605 NEW BEST:: SOT 123339637 SOS 80420168 HAS SOPS 65406340 HAS SOUS 23247233 HAS SOUPS 22678881 WITH SCORE 2.2759301168E7
AT ITER 624 NEW BEST:: SOT 123347190 SOS 80434858 HAS SOPS 65413830 HAS SOUS 23241415 HAS SOUPS 22673063 WITH SCORE 2.2753497858E7
AT ITER 626 NEW BEST:: SOT 123335027 SOS 80421411 HAS SOPS 65393644 HAS SOUS 23216269 HAS SOUPS 22647757 WITH SCORE 2.2728178411E7
AT ITER 632 NEW BEST:: SOT 123303182 SOS 80386374 HAS SOPS 65344102 HAS SOUS 23157068 HAS SOUPS 22588556 WITH SCORE 2.2668942374E7
AT ITER 634 NEW BEST:: SOT 123301513 SOS 80383943 HAS SOPS 65342502 HAS SOUS 23154219 HAS SOUPS 22585707 WITH SCORE 2.2666090943E7
AT ITER 641 NEW BEST:: SOT 123306050 SOS 80390716 HAS SOPS 65344235 HAS SOUS 23153427 HAS SOUPS 22584915 WITH SCORE 2.2665305716E7
AT ITER 648 NEW BEST:: SOT 123299505 SOS 80378203 HAS SOPS 65330533 HAS SOUS 23144457 HAS SOUPS 22575945 WITH SCORE 2.2656323203E7
AT ITER 654 NEW BEST:: SOT 123299505 SOS 80376875 HAS SOPS 65329909 HAS SOUS 23144441 HAS SOUPS 22575929 WITH SCORE 2.2656305875E7
AT ITER 685 NEW BEST:: SOT 123297177 SOS 80373771 HAS SOPS 65326777 HAS SOUS 23139033 HAS SOUPS 22570521 WITH SCORE 2.2650894771E7
AT ITER 699 NEW BEST:: SOT 123296750 SOS 80376045 HAS SOPS 65323114 HAS SOUS 23134373 HAS SOUPS 22565817 WITH SCORE 2.2646193045E7
AT ITER 703 NEW BEST:: SOT 123290597 SOS 80364733 HAS SOPS 65318518 HAS SOUS 23115591 HAS SOUPS 22547821 WITH SCORE 2.2628185733E7
AT ITER 706 NEW BEST:: SOT 123296293 SOS 80375821 HAS SOPS 65324422 HAS SOUS 23114410 HAS SOUPS 22546459 WITH SCORE 2.2626834821E7
AT ITER 716 NEW BEST:: SOT 123293879 SOS 80372290 HAS SOPS 65322130 HAS SOUS 23112523 HAS SOUPS 22544572 WITH SCORE 2.262494429E7
AT ITER 717 NEW BEST:: SOT 123293879 SOS 80372578 HAS SOPS 65322514 HAS SOUS 23112520 HAS SOUPS 22544569 WITH SCORE 2.2624941578E7
AT ITER 724 NEW BEST:: SOT 123286276 SOS 80364157 HAS SOPS 65313946 HAS SOUS 23105715 HAS SOUPS 22537764 WITH SCORE 2.2618128157E7
AT ITER 725 NEW BEST:: SOT 123293523 SOS 80382769 HAS SOPS 65334227 HAS SOUS 23099529 HAS SOUPS 22531803 WITH SCORE 2.2612185769E7
AT ITER 748 NEW BEST:: SOT 123306488 SOS 80423978 HAS SOPS 65372996 HAS SOUS 23068104 HAS SOUPS 22500378 WITH SCORE 2.2580801978E7
AT ITER 753 NEW BEST:: SOT 123305808 SOS 80421454 HAS SOPS 65373983 HAS SOUS 23066970 HAS SOUPS 22499244 WITH SCORE 2.2579665454E7
AT ITER 756 NEW BEST:: SOT 123369139 SOS 80555305 HAS SOPS 65493702 HAS SOUS 23066516 HAS SOUPS 22498790 WITH SCORE 2.2579345305E7
AT ITER 757 NEW BEST:: SOT 123366492 SOS 80553887 HAS SOPS 65489829 HAS SOUS 23065259 HAS SOUPS 22497533 WITH SCORE 2.2578086887E7
AT ITER 768 NEW BEST:: SOT 123364582 SOS 80551271 HAS SOPS 65487239 HAS SOUS 23061975 HAS SOUPS 22494249 WITH SCORE 2.2574800271E7
AT ITER 777 NEW BEST:: SOT 123359159 SOS 80547622 HAS SOPS 65482426 HAS SOUS 23037406 HAS SOUPS 22469680 WITH SCORE 2.2550227622E7
AT ITER 804 NEW BEST:: SOT 123356235 SOS 80541734 HAS SOPS 65474705 HAS SOUS 23029958 HAS SOUPS 22462268 WITH SCORE 2.2542809734E7
AT ITER 829 NEW BEST:: SOT 123357198 SOS 80546481 HAS SOPS 65483285 HAS SOUS 23027309 HAS SOUPS 22459619 WITH SCORE 2.2540165481E7
AT ITER 838 NEW BEST:: SOT 123354780 SOS 80542635 HAS SOPS 65480588 HAS SOUS 23023373 HAS SOUPS 22455714 WITH SCORE 2.2536256635E7
AT ITER 841 NEW BEST:: SOT 123356798 SOS 80546798 HAS SOPS 65485123 HAS SOUS 23018554 HAS SOUPS 22450849 WITH SCORE 2.2531395798E7
AT ITER 848 NEW BEST:: SOT 123356753 SOS 80546756 HAS SOPS 65485009 HAS SOUS 23018461 HAS SOUPS 22450756 WITH SCORE 2.2531302756E7
AT ITER 853 NEW BEST:: SOT 123356219 SOS 80554263 HAS SOPS 65495012 HAS SOUS 23013229 HAS SOUPS 22445524 WITH SCORE 2.2526078263E7
AT ITER 854 NEW BEST:: SOT 123359789 SOS 80564307 HAS SOPS 65505691 HAS SOUS 23007723 HAS SOUPS 22440014 WITH SCORE 2.2520578307E7
AT ITER 858 NEW BEST:: SOT 123350337 SOS 80551511 HAS SOPS 65493206 HAS SOUS 23003811 HAS SOUPS 22435878 WITH SCORE 2.2516429511E7
AT ITER 881 NEW BEST:: SOT 123325074 SOS 80496877 HAS SOPS 65464845 HAS SOUS 22987666 HAS SOUPS 22419911 WITH SCORE 2.2500407877E7
AT ITER 885 NEW BEST:: SOT 123315051 SOS 80516407 HAS SOPS 65496682 HAS SOUS 22984889 HAS SOUPS 22417134 WITH SCORE 2.2497650407E7
AT ITER 907 NEW BEST:: SOT 123304466 SOS 80500926 HAS SOPS 65476717 HAS SOUS 22960359 HAS SOUPS 22392604 WITH SCORE 2.2473104926E7
AT ITER 911 NEW BEST:: SOT 123297079 SOS 80486637 HAS SOPS 65470056 HAS SOUS 22954794 HAS SOUPS 22387039 WITH SCORE 2.2467525637E7
AT ITER 916 NEW BEST:: SOT 123291612 SOS 80479818 HAS SOPS 65463601 HAS SOUS 22945245 HAS SOUPS 22377490 WITH SCORE 2.2457969818E7
AT ITER 928 NEW BEST:: SOT 123250134 SOS 80437912 HAS SOPS 65420856 HAS SOUS 22899255 HAS SOUPS 22331561 WITH SCORE 2.2411998912E7
AT ITER 933 NEW BEST:: SOT 123250142 SOS 80439020 HAS SOPS 65422822 HAS SOUS 22898701 HAS SOUPS 22331007 WITH SCORE 2.241144602E7
AT ITER 938 NEW BEST:: SOT 123249952 SOS 80438706 HAS SOPS 65422412 HAS SOUS 22898475 HAS SOUPS 22330783 WITH SCORE 2.2411221706E7
AT ITER 955 NEW BEST:: SOT 123228900 SOS 80408456 HAS SOPS 65404418 HAS SOUS 22892712 HAS SOUPS 22325020 WITH SCORE 2.2405428456E7
AT ITER 959 NEW BEST:: SOT 123224574 SOS 80402770 HAS SOPS 65399555 HAS SOUS 22885610 HAS SOUPS 22317940 WITH SCORE 2.239834277E7
AT ITER 976 NEW BEST:: SOT 123225102 SOS 80403746 HAS SOPS 65397384 HAS SOUS 22866386 HAS SOUPS 22298890 WITH SCORE 2.2379293746E7
AT ITER 1023 NEW BEST:: SOT 123232740 SOS 80440099 HAS SOPS 65445465 HAS SOUS 22856826 HAS SOUPS 22289481 WITH SCORE 2.2369921099E7
AT ITER 1030 NEW BEST:: SOT 123230916 SOS 80438203 HAS SOPS 65442741 HAS SOUS 22853262 HAS SOUPS 22285905 WITH SCORE 2.2366343203E7
AT ITER 1031 NEW BEST:: SOT 123229206 SOS 80436617 HAS SOPS 65440337 HAS SOUS 22850451 HAS SOUPS 22283094 WITH SCORE 2.2363530617E7
AT ITER 1034 NEW BEST:: SOT 123229224 SOS 80448483 HAS SOPS 65453163 HAS SOUS 22850231 HAS SOUPS 22282874 WITH SCORE 2.2363322483E7
AT ITER 1074 NEW BEST:: SOT 123225240 SOS 80437523 HAS SOPS 65442665 HAS SOUS 22848060 HAS SOUPS 22280703 WITH SCORE 2.2361140523E7
AT ITER 1080 NEW BEST:: SOT 123215198 SOS 80423557 HAS SOPS 65430722 HAS SOUS 22826886 HAS SOUPS 22259529 WITH SCORE 2.2339952557E7
AT ITER 1103 NEW BEST:: SOT 123184735 SOS 80373337 HAS SOPS 65385110 HAS SOUS 22818267 HAS SOUPS 22250910 WITH SCORE 2.2331283337E7
AT ITER 1109 NEW BEST:: SOT 123184735 SOS 80370649 HAS SOPS 65378596 HAS SOUS 22818150 HAS SOUPS 22250793 WITH SCORE 2.2331163649E7
AT ITER 1111 NEW BEST:: SOT 123183064 SOS 80369445 HAS SOPS 65377343 HAS SOUS 22816014 HAS SOUPS 22248657 WITH SCORE 2.2329026445E7
AT ITER 1120 NEW BEST:: SOT 123171530 SOS 80350381 HAS SOPS 65362680 HAS SOUS 22808745 HAS SOUPS 22240452 WITH SCORE 2.2320802381E7
AT ITER 1127 NEW BEST:: SOT 123163835 SOS 80341654 HAS SOPS 65347684 HAS SOUS 22791406 HAS SOUPS 22223056 WITH SCORE 2.2303397654E7
AT ITER 1135 NEW BEST:: SOT 123159177 SOS 80341317 HAS SOPS 65348419 HAS SOUS 22789141 HAS SOUPS 22220791 WITH SCORE 2.2301132317E7
AT ITER 1139 NEW BEST:: SOT 123155911 SOS 80339124 HAS SOPS 65339767 HAS SOUS 22780750 HAS SOUPS 22212311 WITH SCORE 2.2292650124E7
AT ITER 1146 NEW BEST:: SOT 123144097 SOS 80327310 HAS SOPS 65327633 HAS SOUS 22778144 HAS SOUPS 22209705 WITH SCORE 2.229003231E7
AT ITER 1148 NEW BEST:: SOT 123143212 SOS 80326425 HAS SOPS 65326748 HAS SOUS 22777411 HAS SOUPS 22208972 WITH SCORE 2.2289298425E7
AT ITER 1149 NEW BEST:: SOT 123149962 SOS 80339447 HAS SOPS 65341769 HAS SOUS 22777369 HAS SOUPS 22208833 WITH SCORE 2.2289172447E7
AT ITER 1164 NEW BEST:: SOT 123150847 SOS 80339465 HAS SOPS 65348491 HAS SOUS 22772761 HAS SOUPS 22204225 WITH SCORE 2.2284564465E7
AT ITER 1177 NEW BEST:: SOT 123156143 SOS 80344747 HAS SOPS 65354704 HAS SOUS 22772535 HAS SOUPS 22204129 WITH SCORE 2.2284473747E7
AT ITER 1180 NEW BEST:: SOT 123163116 SOS 80362747 HAS SOPS 65368162 HAS SOUS 22769446 HAS SOUPS 22201040 WITH SCORE 2.2281402747E7
AT ITER 1183 NEW BEST:: SOT 123163339 SOS 80389099 HAS SOPS 65412532 HAS SOUS 22769346 HAS SOUPS 22200940 WITH SCORE 2.2281329099E7
AT ITER 1189 NEW BEST:: SOT 123162434 SOS 80388230 HAS SOPS 65412221 HAS SOUS 22767810 HAS SOUPS 22199404 WITH SCORE 2.227979223E7
AT ITER 1190 NEW BEST:: SOT 123178093 SOS 80407765 HAS SOPS 65460579 HAS SOUS 22751387 HAS SOUPS 22184113 WITH SCORE 2.2264520765E7
AT ITER 1193 NEW BEST:: SOT 123175132 SOS 80403282 HAS SOPS 65453653 HAS SOUS 22748593 HAS SOUPS 22181319 WITH SCORE 2.2261722282E7
AT ITER 1209 NEW BEST:: SOT 123165759 SOS 80387981 HAS SOPS 65435692 HAS SOUS 22740560 HAS SOUPS 22173195 WITH SCORE 2.2253582981E7
AT ITER 1215 NEW BEST:: SOT 123182701 SOS 80430978 HAS SOPS 65493726 HAS SOUS 22720496 HAS SOUPS 22153131 WITH SCORE 2.2233561978E7
AT ITER 1221 NEW BEST:: SOT 123232237 SOS 80552405 HAS SOPS 65602251 HAS SOUS 22684103 HAS SOUPS 22116738 WITH SCORE 2.2197290405E7
AT ITER 1229 NEW BEST:: SOT 123234108 SOS 80553703 HAS SOPS 65602348 HAS SOUS 22681181 HAS SOUPS 22113816 WITH SCORE 2.2194369703E7
AT ITER 1237 NEW BEST:: SOT 123234672 SOS 80556980 HAS SOPS 65604419 HAS SOUS 22679084 HAS SOUPS 22111719 WITH SCORE 2.219227598E7
AT ITER 1246 NEW BEST:: SOT 123235097 SOS 80561372 HAS SOPS 65604133 HAS SOUS 22672077 HAS SOUPS 22104712 WITH SCORE 2.2185273372E7
AT ITER 1248 NEW BEST:: SOT 123269056 SOS 80642874 HAS SOPS 65691068 HAS SOUS 22668434 HAS SOUPS 22101069 WITH SCORE 2.2181711874E7
AT ITER 1254 NEW BEST:: SOT 123287105 SOS 80692422 HAS SOPS 65737414 HAS SOUS 22645435 HAS SOUPS 22077987 WITH SCORE 2.2158679422E7
AT ITER 1255 NEW BEST:: SOT 123268668 SOS 80665975 HAS SOPS 65709221 HAS SOUS 22619555 HAS SOUPS 22052166 WITH SCORE 2.2132831975E7
AT ITER 1259 NEW BEST:: SOT 123273283 SOS 80681616 HAS SOPS 65718105 HAS SOUS 22619192 HAS SOUPS 22051803 WITH SCORE 2.2132484616E7
AT ITER 1267 NEW BEST:: SOT 123273207 SOS 80682668 HAS SOPS 65714593 HAS SOUS 22619015 HAS SOUPS 22051626 WITH SCORE 2.2132308668E7
AT ITER 1292 NEW BEST:: SOT 123263546 SOS 80668905 HAS SOPS 65708958 HAS SOUS 22606363 HAS SOUPS 22038974 WITH SCORE 2.2119642905E7
AT ITER 1306 NEW BEST:: SOT 123270576 SOS 80685534 HAS SOPS 65725716 HAS SOUS 22603058 HAS SOUPS 22035717 WITH SCORE 2.2116402534E7
AT ITER 1312 NEW BEST:: SOT 123270430 SOS 80686667 HAS SOPS 65723766 HAS SOUS 22590290 HAS SOUPS 22022949 WITH SCORE 2.2103635667E7
AT ITER 1322 NEW BEST:: SOT 123259463 SOS 80674864 HAS SOPS 65712760 HAS SOUS 22581942 HAS SOUPS 22014789 WITH SCORE 2.2095463864E7
AT ITER 1330 NEW BEST:: SOT 123256068 SOS 80670019 HAS SOPS 65707794 HAS SOUS 22573746 HAS SOUPS 22006593 WITH SCORE 2.2087263019E7
AT ITER 1336 NEW BEST:: SOT 123282332 SOS 80733146 HAS SOPS 65771360 HAS SOUS 22571587 HAS SOUPS 22004434 WITH SCORE 2.2085167146E7
AT ITER 1338 NEW BEST:: SOT 123282243 SOS 80728241 HAS SOPS 65766383 HAS SOUS 22571541 HAS SOUPS 22004388 WITH SCORE 2.2085116241E7
AT ITER 1343 NEW BEST:: SOT 123274765 SOS 80732763 HAS SOPS 65777331 HAS SOUS 22569738 HAS SOUPS 22002326 WITH SCORE 2.2083058763E7
AT ITER 1347 NEW BEST:: SOT 123275284 SOS 80734402 HAS SOPS 65778802 HAS SOUS 22569018 HAS SOUPS 22001606 WITH SCORE 2.2082340402E7
AT ITER 1356 NEW BEST:: SOT 123274460 SOS 80733067 HAS SOPS 65781934 HAS SOUS 22568226 HAS SOUPS 22000877 WITH SCORE 2.2081610067E7
AT ITER 1373 NEW BEST:: SOT 123265498 SOS 80722077 HAS SOPS 65768300 HAS SOUS 22542456 HAS SOUPS 21975107 WITH SCORE 2.2055829077E7
AT ITER 1375 NEW BEST:: SOT 123265975 SOS 80721600 HAS SOPS 65773596 HAS SOUS 22542203 HAS SOUPS 21974854 WITH SCORE 2.20555756E7
AT ITER 1380 NEW BEST:: SOT 123264011 SOS 80719721 HAS SOPS 65770757 HAS SOUS 22537853 HAS SOUPS 21970504 WITH SCORE 2.2051223721E7
AT ITER 1393 NEW BEST:: SOT 123278711 SOS 80746956 HAS SOPS 65792174 HAS SOUS 22510145 HAS SOUPS 21942796 WITH SCORE 2.2023542956E7
AT ITER 1395 NEW BEST:: SOT 123280037 SOS 80750237 HAS SOPS 65796437 HAS SOUS 22509661 HAS SOUPS 21942352 WITH SCORE 2.2023102237E7
AT ITER 1410 NEW BEST:: SOT 123229958 SOS 80661252 HAS SOPS 65747902 HAS SOUS 22486468 HAS SOUPS 21919635 WITH SCORE 2.2000296252E7
AT ITER 1414 NEW BEST:: SOT 123229958 SOS 80662852 HAS SOPS 65748606 HAS SOUS 22486456 HAS SOUPS 21919623 WITH SCORE 2.2000285852E7
AT ITER 1417 NEW BEST:: SOT 123234416 SOS 80684051 HAS SOPS 65761567 HAS SOUS 22473625 HAS SOUPS 21904941 WITH SCORE 2.1985625051E7
AT ITER 1418 NEW BEST:: SOT 123221247 SOS 80673292 HAS SOPS 65740076 HAS SOUS 22442963 HAS SOUPS 21874266 WITH SCORE 2.1954939292E7
AT ITER 1421 NEW BEST:: SOT 123204588 SOS 80658730 HAS SOPS 65712920 HAS SOUS 22422732 HAS SOUPS 21854035 WITH SCORE 2.193469373E7
AT ITER 1434 NEW BEST:: SOT 123093443 SOS 80540116 HAS SOPS 65575292 HAS SOUS 22136442 HAS SOUPS 21567778 WITH SCORE 2.1648318116E7
AT ITER 1449 NEW BEST:: SOT 123080108 SOS 80527443 HAS SOPS 65562596 HAS SOUS 22109185 HAS SOUPS 21540691 WITH SCORE 2.1621218443E7
AT ITER 1455 NEW BEST:: SOT 123086181 SOS 80538972 HAS SOPS 65567881 HAS SOUS 22103228 HAS SOUPS 21534734 WITH SCORE 2.1615272972E7
AT ITER 1462 NEW BEST:: SOT 123066439 SOS 80519165 HAS SOPS 65547663 HAS SOUS 22081478 HAS SOUPS 21513004 WITH SCORE 2.1593523165E7
AT ITER 1466 NEW BEST:: SOT 123065357 SOS 80517358 HAS SOPS 65547267 HAS SOUS 22080321 HAS SOUPS 21511847 WITH SCORE 2.1592364358E7
AT ITER 1485 NEW BEST:: SOT 123065357 SOS 80517357 HAS SOPS 65547266 HAS SOUS 22080289 HAS SOUPS 21511815 WITH SCORE 2.1592332357E7
AT ITER 1499 NEW BEST:: SOT 123052159 SOS 80500946 HAS SOPS 65536598 HAS SOUS 22041513 HAS SOUPS 21473944 WITH SCORE 2.1554444946E7
AT ITER 1501 NEW BEST:: SOT 123052057 SOS 80497300 HAS SOPS 65535292 HAS SOUS 22035978 HAS SOUPS 21468409 WITH SCORE 2.15489063E7
AT ITER 1502 NEW BEST:: SOT 123048434 SOS 80491794 HAS SOPS 65527654 HAS SOUS 22028525 HAS SOUPS 21460999 WITH SCORE 2.1541490794E7
AT ITER 1505 NEW BEST:: SOT 123048856 SOS 80493420 HAS SOPS 65529280 HAS SOUS 22024193 HAS SOUPS 21456667 WITH SCORE 2.153716042E7
AT ITER 1522 NEW BEST:: SOT 123052293 SOS 80496025 HAS SOPS 65534212 HAS SOUS 22020358 HAS SOUPS 21452832 WITH SCORE 2.1533328025E7
AT ITER 1542 NEW BEST:: SOT 123052293 SOS 80496100 HAS SOPS 65534287 HAS SOUS 22020323 HAS SOUPS 21452797 WITH SCORE 2.15332931E7
AT ITER 1558 NEW BEST:: SOT 123049041 SOS 80490759 HAS SOPS 65526194 HAS SOUS 22011804 HAS SOUPS 21444278 WITH SCORE 2.1524768759E7
AT ITER 1567 NEW BEST:: SOT 123035814 SOS 80480329 HAS SOPS 65515632 HAS SOUS 21982902 HAS SOUPS 21415376 WITH SCORE 2.1495856329E7
AT ITER 1575 NEW BEST:: SOT 123032547 SOS 80475083 HAS SOPS 65510723 HAS SOUS 21976790 HAS SOUPS 21409264 WITH SCORE 2.1489739083E7
AT ITER 1579 NEW BEST:: SOT 122993437 SOS 80408508 HAS SOPS 65472340 HAS SOUS 21967574 HAS SOUPS 21400048 WITH SCORE 2.1480456508E7
AT ITER 1585 NEW BEST:: SOT 122969638 SOS 80384661 HAS SOPS 65448493 HAS SOUS 21942123 HAS SOUPS 21374597 WITH SCORE 2.1454981661E7
AT ITER 1600 NEW BEST:: SOT 122979460 SOS 80397258 HAS SOPS 65474687 HAS SOUS 21939618 HAS SOUPS 21372410 WITH SCORE 2.1452807258E7
AT ITER 1601 NEW BEST:: SOT 122971861 SOS 80393455 HAS SOPS 65476337 HAS SOUS 21936846 HAS SOUPS 21369638 WITH SCORE 2.1450031455E7
AT ITER 1620 NEW BEST:: SOT 122960952 SOS 80380877 HAS SOPS 65467251 HAS SOUS 21887929 HAS SOUPS 21321112 WITH SCORE 2.1401492877E7
AT ITER 1627 NEW BEST:: SOT 122973968 SOS 80395065 HAS SOPS 65480651 HAS SOUS 21880123 HAS SOUPS 21314199 WITH SCORE 2.1394594065E7
AT ITER 1628 NEW BEST:: SOT 122973365 SOS 80396108 HAS SOPS 65478057 HAS SOUS 21873300 HAS SOUPS 21307376 WITH SCORE 2.1387772108E7
AT ITER 1629 NEW BEST:: SOT 122966804 SOS 80387911 HAS SOPS 65475520 HAS SOUS 21870722 HAS SOUPS 21304798 WITH SCORE 2.1385185911E7
AT ITER 1630 NEW BEST:: SOT 122996855 SOS 80445760 HAS SOPS 65524578 HAS SOUS 21860683 HAS SOUPS 21294759 WITH SCORE 2.137520476E7
AT ITER 1632 NEW BEST:: SOT 123000630 SOS 80466422 HAS SOPS 65545517 HAS SOUS 21857003 HAS SOUPS 21291079 WITH SCORE 2.1371545422E7
AT ITER 1645 NEW BEST:: SOT 123002281 SOS 80474189 HAS SOPS 65550467 HAS SOUS 21855325 HAS SOUPS 21289401 WITH SCORE 2.1369875189E7
AT ITER 1650 NEW BEST:: SOT 123001063 SOS 80468761 HAS SOPS 65545663 HAS SOUS 21851705 HAS SOUPS 21285873 WITH SCORE 2.1366341761E7
AT ITER 1654 NEW BEST:: SOT 122958368 SOS 80403631 HAS SOPS 65542335 HAS SOUS 21750580 HAS SOUPS 21185746 WITH SCORE 2.1266149631E7
AT ITER 1655 NEW BEST:: SOT 122962561 SOS 80424049 HAS SOPS 65554894 HAS SOUS 21732149 HAS SOUPS 21167315 WITH SCORE 2.1247739049E7
AT ITER 1659 NEW BEST:: SOT 122960855 SOS 80419210 HAS SOPS 65558096 HAS SOUS 21732127 HAS SOUPS 21167293 WITH SCORE 2.124771221E7
AT ITER 1662 NEW BEST:: SOT 122954123 SOS 80412478 HAS SOPS 65548356 HAS SOUS 21726723 HAS SOUPS 21160809 WITH SCORE 2.1241221478E7
AT ITER 1713 NEW BEST:: SOT 122952169 SOS 80417679 HAS SOPS 65552747 HAS SOUS 21725100 HAS SOUPS 21159186 WITH SCORE 2.1239603679E7
AT ITER 1714 NEW BEST:: SOT 122951127 SOS 80416571 HAS SOPS 65561065 HAS SOUS 21716396 HAS SOUPS 21150482 WITH SCORE 2.1230898571E7
AT ITER 1716 NEW BEST:: SOT 122961030 SOS 80447681 HAS SOPS 65584742 HAS SOUS 21691862 HAS SOUPS 21125948 WITH SCORE 2.1206395681E7
AT ITER 1720 NEW BEST:: SOT 122972253 SOS 80465656 HAS SOPS 65609239 HAS SOUS 21685044 HAS SOUPS 21119130 WITH SCORE 2.1199595656E7
AT ITER 1726 NEW BEST:: SOT 122955883 SOS 80449286 HAS SOPS 65592853 HAS SOUS 21668034 HAS SOUPS 21102120 WITH SCORE 2.1182569286E7
AT ITER 1730 NEW BEST:: SOT 122920823 SOS 80374126 HAS SOPS 65540664 HAS SOUS 21667782 HAS SOUPS 21101868 WITH SCORE 2.1182242126E7
AT ITER 1740 NEW BEST:: SOT 122920751 SOS 80375795 HAS SOPS 65545555 HAS SOUS 21656929 HAS SOUPS 21091248 WITH SCORE 2.1171623795E7
AT ITER 1748 NEW BEST:: SOT 122920886 SOS 80376398 HAS SOPS 65546169 HAS SOUS 21656316 HAS SOUPS 21090635 WITH SCORE 2.1171011398E7
AT ITER 1753 NEW BEST:: SOT 122919831 SOS 80373953 HAS SOPS 65543994 HAS SOUS 21654338 HAS SOUPS 21088676 WITH SCORE 2.1169049953E7
AT ITER 1755 NEW BEST:: SOT 122922467 SOS 80381850 HAS SOPS 65552474 HAS SOUS 21649885 HAS SOUPS 21084223 WITH SCORE 2.116460485E7
AT ITER 1756 NEW BEST:: SOT 122922505 SOS 80394444 HAS SOPS 65566838 HAS SOUS 21649681 HAS SOUPS 21084019 WITH SCORE 2.1164413444E7
AT ITER 1768 NEW BEST:: SOT 122922414 SOS 80393956 HAS SOPS 65565522 HAS SOUS 21647193 HAS SOUPS 21081531 WITH SCORE 2.1161924956E7
AT ITER 1773 NEW BEST:: SOT 122924034 SOS 80396333 HAS SOPS 65566947 HAS SOUS 21645187 HAS SOUPS 21079545 WITH SCORE 2.1159941333E7
AT ITER 1800 NEW BEST:: SOT 122992547 SOS 80437206 HAS SOPS 65615945 HAS SOUS 21625119 HAS SOUPS 21058347 WITH SCORE 2.1138784206E7
AT ITER 1812 NEW BEST:: SOT 122994372 SOS 80449464 HAS SOPS 65625975 HAS SOUS 21612542 HAS SOUPS 21045770 WITH SCORE 2.1126219464E7
AT ITER 1818 NEW BEST:: SOT 122991874 SOS 80445696 HAS SOPS 65620855 HAS SOUS 21606435 HAS SOUPS 21039693 WITH SCORE 2.1120138696E7
AT ITER 1820 NEW BEST:: SOT 122992443 SOS 80447364 HAS SOPS 65622032 HAS SOUS 21600160 HAS SOUPS 21033418 WITH SCORE 2.1113865364E7
AT ITER 1837 NEW BEST:: SOT 122983574 SOS 80437953 HAS SOPS 65614939 HAS SOUS 21590007 HAS SOUPS 21023265 WITH SCORE 2.1103702953E7
AT ITER 1856 NEW BEST:: SOT 122979101 SOS 80410656 HAS SOPS 65583864 HAS SOUS 21586019 HAS SOUPS 21019277 WITH SCORE 2.1099687656E7
AT ITER 1859 NEW BEST:: SOT 122979002 SOS 80407659 HAS SOPS 65581111 HAS SOUS 21584226 HAS SOUPS 21017484 WITH SCORE 2.1097891659E7
AT ITER 1888 NEW BEST:: SOT 122977105 SOS 80407188 HAS SOPS 65579834 HAS SOUS 21577037 HAS SOUPS 21010264 WITH SCORE 2.1090671188E7
AT ITER 1902 NEW BEST:: SOT 122971679 SOS 80401644 HAS SOPS 65567641 HAS SOUS 21556492 HAS SOUPS 20988055 WITH SCORE 2.1068456644E7
AT ITER 1912 NEW BEST:: SOT 122971340 SOS 80401249 HAS SOPS 65567125 HAS SOUS 21555770 HAS SOUPS 20987333 WITH SCORE 2.1067734249E7
AT ITER 1937 NEW BEST:: SOT 122976806 SOS 80429553 HAS SOPS 65592050 HAS SOUS 21540923 HAS SOUPS 20972486 WITH SCORE 2.1052915553E7
AT ITER 1939 NEW BEST:: SOT 122973766 SOS 80425310 HAS SOPS 65586164 HAS SOUS 21535862 HAS SOUPS 20967425 WITH SCORE 2.104785031E7
AT ITER 1941 NEW BEST:: SOT 122963216 SOS 80415213 HAS SOPS 65580517 HAS SOUS 21517485 HAS SOUPS 20949048 WITH SCORE 2.1029463213E7
AT ITER 1947 NEW BEST:: SOT 122956940 SOS 80408033 HAS SOPS 65583247 HAS SOUS 21500203 HAS SOUPS 20932008 WITH SCORE 2.1012416033E7
AT ITER 1950 NEW BEST:: SOT 122935917 SOS 80383371 HAS SOPS 65558481 HAS SOUS 21455444 HAS SOUPS 20887758 WITH SCORE 2.0968141371E7
AT ITER 1959 NEW BEST:: SOT 122932545 SOS 80378995 HAS SOPS 65547279 HAS SOUS 21442863 HAS SOUPS 20875144 WITH SCORE 2.0955522995E7
AT ITER 1966 NEW BEST:: SOT 122931745 SOS 80383001 HAS SOPS 65548287 HAS SOUS 21436237 HAS SOUPS 20868484 WITH SCORE 2.0948867001E7
AT ITER 1968 NEW BEST:: SOT 122917807 SOS 80378979 HAS SOPS 65527091 HAS SOUS 21380620 HAS SOUPS 20812867 WITH SCORE 2.0893245979E7
AT ITER 1969 NEW BEST:: SOT 122916850 SOS 80377621 HAS SOPS 65526312 HAS SOUS 21378807 HAS SOUPS 20811070 WITH SCORE 2.0891447621E7
AT ITER 2002 NEW BEST:: SOT 122915073 SOS 80375628 HAS SOPS 65524679 HAS SOUS 21376859 HAS SOUPS 20809122 WITH SCORE 2.0889497628E7
AT ITER 2027 NEW BEST:: SOT 122912609 SOS 80370676 HAS SOPS 65519171 HAS SOUS 21375243 HAS SOUPS 20807506 WITH SCORE 2.0887876676E7
AT ITER 2037 NEW BEST:: SOT 122912670 SOS 80370929 HAS SOPS 65518652 HAS SOUS 21373990 HAS SOUPS 20806253 WITH SCORE 2.0886623929E7
AT ITER 2049 NEW BEST:: SOT 122902340 SOS 80364754 HAS SOPS 65512510 HAS SOUS 21354957 HAS SOUPS 20787220 WITH SCORE 2.0867584754E7
AT ITER 2054 NEW BEST:: SOT 122902271 SOS 80363754 HAS SOPS 65519776 HAS SOUS 21353227 HAS SOUPS 20785598 WITH SCORE 2.0865961754E7
AT ITER 2066 NEW BEST:: SOT 122894675 SOS 80356158 HAS SOPS 65511916 HAS SOUS 21345631 HAS SOUPS 20777738 WITH SCORE 2.0858094158E7
AT ITER 2069 NEW BEST:: SOT 122899840 SOS 80366029 HAS SOPS 65515975 HAS SOUS 21339221 HAS SOUPS 20771328 WITH SCORE 2.0851694029E7
AT ITER 2070 NEW BEST:: SOT 122898745 SOS 80366264 HAS SOPS 65515370 HAS SOUS 21334682 HAS SOUPS 20766789 WITH SCORE 2.0847155264E7
AT ITER 2081 NEW BEST:: SOT 122903245 SOS 80376632 HAS SOPS 65523187 HAS SOUS 21329460 HAS SOUPS 20761567 WITH SCORE 2.0841943632E7
AT ITER 2097 NEW BEST:: SOT 122902732 SOS 80376808 HAS SOPS 65521432 HAS SOUS 21328184 HAS SOUPS 20760158 WITH SCORE 2.0840534808E7
AT ITER 2122 NEW BEST:: SOT 122900650 SOS 80374140 HAS SOPS 65519089 HAS SOUS 21321805 HAS SOUPS 20753818 WITH SCORE 2.083419214E7
AT ITER 2130 NEW BEST:: SOT 122901226 SOS 80373819 HAS SOPS 65511045 HAS SOUS 21321377 HAS SOUPS 20753390 WITH SCORE 2.0833763819E7
AT ITER 2136 NEW BEST:: SOT 122904546 SOS 80371376 HAS SOPS 65509807 HAS SOUS 21315642 HAS SOUPS 20747719 WITH SCORE 2.0828090376E7
AT ITER 2141 NEW BEST:: SOT 122939274 SOS 80421028 HAS SOPS 65557307 HAS SOUS 21309669 HAS SOUPS 20741298 WITH SCORE 2.0821719028E7
AT ITER 2148 NEW BEST:: SOT 122969550 SOS 80499774 HAS SOPS 65633368 HAS SOUS 21301744 HAS SOUPS 20733373 WITH SCORE 2.0813872774E7
AT ITER 2181 NEW BEST:: SOT 122998553 SOS 80537621 HAS SOPS 65659814 HAS SOUS 21259712 HAS SOUPS 20693943 WITH SCORE 2.0774480621E7
AT ITER 2184 NEW BEST:: SOT 122996933 SOS 80537362 HAS SOPS 65658121 HAS SOUS 21258647 HAS SOUPS 20692851 WITH SCORE 2.0773388362E7
AT ITER 2198 NEW BEST:: SOT 122911824 SOS 80437592 HAS SOPS 65563385 HAS SOUS 21142954 HAS SOUPS 20577538 WITH SCORE 2.0657975592E7
AT ITER 2203 NEW BEST:: SOT 122909528 SOS 80440695 HAS SOPS 65580680 HAS SOUS 21128071 HAS SOUPS 20562956 WITH SCORE 2.0643396695E7
AT ITER 2204 NEW BEST:: SOT 122905768 SOS 80435717 HAS SOPS 65576241 HAS SOUS 21121178 HAS SOUPS 20556082 WITH SCORE 2.0636517717E7
AT ITER 2206 NEW BEST:: SOT 122896940 SOS 80429710 HAS SOPS 65566394 HAS SOUS 21112139 HAS SOUPS 20546463 WITH SCORE 2.062689271E7
AT ITER 2209 NEW BEST:: SOT 122880985 SOS 80397899 HAS SOPS 65552457 HAS SOUS 21096278 HAS SOUPS 20530613 WITH SCORE 2.0611010899E7
AT ITER 2219 NEW BEST:: SOT 122880907 SOS 80397169 HAS SOPS 65550943 HAS SOUS 21093063 HAS SOUPS 20527418 WITH SCORE 2.0607815169E7

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-3"
export BK_EXAMINATION="CTLCardinality"
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-3, examination is CTLCardinality"
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-158961502500163"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-3.tgz
mv RERS17pb115-PT-3 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;