Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204100184.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is RERS17pb115-PT-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204100184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.2K Feb 25 13:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 13:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 25 13:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 69M 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 1679096286710

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb115-PT-5
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 23:38:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 23:38:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 23:38:11] [INFO ] Load time of PNML (sax parser for PT used): 2027 ms
[2023-03-17 23:38:11] [INFO ] Transformed 1399 places.
[2023-03-17 23:38:11] [INFO ] Transformed 144369 transitions.
[2023-03-17 23:38:11] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2612 ms.
[2023-03-17 23:38:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1399 places, 144369 transitions and 577414 arcs took 443 ms.
Total runtime 3089 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 5
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123476540 SOS 80284426 HAS SOPS 65263383 HAS SOUS 24121552 HAS SOUPS 23549470 WITH SCORE 2.3629754426E7
AT ITER 12 NEW BEST:: SOT 123475832 SOS 80284037 HAS SOPS 65263883 HAS SOUS 24119625 HAS SOUPS 23547506 WITH SCORE 2.3627790037E7
AT ITER 22 NEW BEST:: SOT 123475212 SOS 80283167 HAS SOPS 65263846 HAS SOUS 24119135 HAS SOUPS 23547016 WITH SCORE 2.3627299167E7
AT ITER 32 NEW BEST:: SOT 123474330 SOS 80279731 HAS SOPS 65258563 HAS SOUS 24107605 HAS SOUPS 23535486 WITH SCORE 2.3615765731E7
AT ITER 35 NEW BEST:: SOT 123473811 SOS 80269580 HAS SOPS 65250552 HAS SOUS 24105965 HAS SOUPS 23533846 WITH SCORE 2.361411558E7
AT ITER 46 NEW BEST:: SOT 123473307 SOS 80268768 HAS SOPS 65249318 HAS SOUS 24105145 HAS SOUPS 23533026 WITH SCORE 2.3613294768E7
AT ITER 57 NEW BEST:: SOT 123470861 SOS 80267151 HAS SOPS 65245113 HAS SOUS 24098499 HAS SOUPS 23526349 WITH SCORE 2.3606616151E7
AT ITER 58 NEW BEST:: SOT 123470642 SOS 80272565 HAS SOPS 65244064 HAS SOUS 24089108 HAS SOUPS 23516958 WITH SCORE 2.3597230565E7
AT ITER 59 NEW BEST:: SOT 123464802 SOS 80259012 HAS SOPS 65236939 HAS SOUS 24083279 HAS SOUPS 23511129 WITH SCORE 2.3591388012E7
AT ITER 76 NEW BEST:: SOT 123462460 SOS 80254280 HAS SOPS 65233113 HAS SOUS 24082290 HAS SOUPS 23510140 WITH SCORE 2.359039428E7
AT ITER 90 NEW BEST:: SOT 123462183 SOS 80262453 HAS SOPS 65236582 HAS SOUS 24067952 HAS SOUPS 23495802 WITH SCORE 2.3576064453E7
AT ITER 102 NEW BEST:: SOT 123428380 SOS 80238365 HAS SOPS 65202369 HAS SOUS 23941632 HAS SOUPS 23369544 WITH SCORE 2.3449782365E7
AT ITER 110 NEW BEST:: SOT 123395085 SOS 80203039 HAS SOPS 65165508 HAS SOUS 23903731 HAS SOUPS 23331698 WITH SCORE 2.3411901039E7
AT ITER 113 NEW BEST:: SOT 123394385 SOS 80201291 HAS SOPS 65163798 HAS SOUS 23901961 HAS SOUPS 23329928 WITH SCORE 2.3410129291E7
AT ITER 116 NEW BEST:: SOT 123375146 SOS 80189050 HAS SOPS 65160644 HAS SOUS 23842381 HAS SOUPS 23270348 WITH SCORE 2.335053705E7
AT ITER 117 NEW BEST:: SOT 123420447 SOS 80285408 HAS SOPS 65261994 HAS SOUS 23830511 HAS SOUPS 23258478 WITH SCORE 2.3338763408E7
AT ITER 128 NEW BEST:: SOT 123411703 SOS 80266165 HAS SOPS 65244336 HAS SOUS 23827264 HAS SOUPS 23255231 WITH SCORE 2.3335497165E7
AT ITER 131 NEW BEST:: SOT 123420942 SOS 80309377 HAS SOPS 65287022 HAS SOUS 23822806 HAS SOUPS 23250773 WITH SCORE 2.3331082377E7
AT ITER 143 NEW BEST:: SOT 123415711 SOS 80314644 HAS SOPS 65285104 HAS SOUS 23786727 HAS SOUPS 23214694 WITH SCORE 2.3295008644E7
AT ITER 145 NEW BEST:: SOT 123415605 SOS 80310014 HAS SOPS 65284272 HAS SOUS 23786573 HAS SOUPS 23214540 WITH SCORE 2.3294850014E7
AT ITER 160 NEW BEST:: SOT 123415470 SOS 80309882 HAS SOPS 65284185 HAS SOUS 23786294 HAS SOUPS 23214261 WITH SCORE 2.3294570882E7
AT ITER 162 NEW BEST:: SOT 123394113 SOS 80272114 HAS SOPS 65264107 HAS SOUS 23771020 HAS SOUPS 23198987 WITH SCORE 2.3279259114E7
AT ITER 163 NEW BEST:: SOT 123391018 SOS 80270180 HAS SOPS 65261001 HAS SOUS 23761573 HAS SOUPS 23189629 WITH SCORE 2.326989918E7
AT ITER 171 NEW BEST:: SOT 123391009 SOS 80283613 HAS SOPS 65277372 HAS SOUS 23761324 HAS SOUPS 23189380 WITH SCORE 2.3269663613E7
AT ITER 177 NEW BEST:: SOT 123403733 SOS 80323341 HAS SOPS 65311193 HAS SOUS 23738361 HAS SOUPS 23166417 WITH SCORE 2.3246740341E7
AT ITER 186 NEW BEST:: SOT 123389438 SOS 80314956 HAS SOPS 65303797 HAS SOUS 23693933 HAS SOUPS 23121989 WITH SCORE 2.3202303956E7
AT ITER 187 NEW BEST:: SOT 123368539 SOS 80292666 HAS SOPS 65282174 HAS SOUS 23657278 HAS SOUPS 23085467 WITH SCORE 2.3165759666E7
AT ITER 190 NEW BEST:: SOT 123360915 SOS 80285276 HAS SOPS 65278122 HAS SOUS 23634594 HAS SOUPS 23062804 WITH SCORE 2.3143089276E7
AT ITER 198 NEW BEST:: SOT 123351911 SOS 80281482 HAS SOPS 65276408 HAS SOUS 23626423 HAS SOUPS 23054818 WITH SCORE 2.3135099482E7
AT ITER 214 NEW BEST:: SOT 123352380 SOS 80320530 HAS SOPS 65323806 HAS SOUS 23626197 HAS SOUPS 23054592 WITH SCORE 2.313491253E7
AT ITER 223 NEW BEST:: SOT 123350228 SOS 80320433 HAS SOPS 65319639 HAS SOUS 23618473 HAS SOUPS 23046868 WITH SCORE 2.3127188433E7
AT ITER 232 NEW BEST:: SOT 123347216 SOS 80318395 HAS SOPS 65317780 HAS SOUS 23615303 HAS SOUPS 23043799 WITH SCORE 2.3124117395E7
AT ITER 237 NEW BEST:: SOT 123343356 SOS 80321136 HAS SOPS 65317738 HAS SOUS 23605689 HAS SOUPS 23034185 WITH SCORE 2.3114506136E7
AT ITER 251 NEW BEST:: SOT 123359019 SOS 80361353 HAS SOPS 65355893 HAS SOUS 23602327 HAS SOUPS 23030823 WITH SCORE 2.3111184353E7
AT ITER 269 NEW BEST:: SOT 123337302 SOS 80305217 HAS SOPS 65316603 HAS SOUS 23599541 HAS SOUPS 23028037 WITH SCORE 2.3108342217E7
AT ITER 279 NEW BEST:: SOT 123338520 SOS 80306471 HAS SOPS 65315853 HAS SOUS 23596592 HAS SOUPS 23025088 WITH SCORE 2.3105394471E7
AT ITER 281 NEW BEST:: SOT 123336000 SOS 80302856 HAS SOPS 65314639 HAS SOUS 23590214 HAS SOUPS 23019741 WITH SCORE 2.3100043856E7
AT ITER 283 NEW BEST:: SOT 123343339 SOS 80327744 HAS SOPS 65334811 HAS SOUS 23586428 HAS SOUPS 23015955 WITH SCORE 2.3096282744E7
AT ITER 287 NEW BEST:: SOT 123402093 SOS 80407463 HAS SOPS 65371819 HAS SOUS 23587851 HAS SOUPS 23009128 WITH SCORE 2.3089535463E7
AT ITER 301 NEW BEST:: SOT 123404786 SOS 80416344 HAS SOPS 65375444 HAS SOUS 23579560 HAS SOUPS 23000837 WITH SCORE 2.3081253344E7
AT ITER 305 NEW BEST:: SOT 123445170 SOS 80487556 HAS SOPS 65418465 HAS SOUS 23574357 HAS SOUPS 22995496 WITH SCORE 2.3075983556E7
AT ITER 311 NEW BEST:: SOT 123434484 SOS 80475570 HAS SOPS 65408191 HAS SOUS 23554402 HAS SOUPS 22975624 WITH SCORE 2.305609957E7
AT ITER 331 NEW BEST:: SOT 123436799 SOS 80480674 HAS SOPS 65408484 HAS SOUS 23552994 HAS SOUPS 22974216 WITH SCORE 2.3054696674E7
AT ITER 339 NEW BEST:: SOT 123437101 SOS 80483424 HAS SOPS 65418405 HAS SOUS 23551565 HAS SOUPS 22973093 WITH SCORE 2.3053576424E7
AT ITER 340 NEW BEST:: SOT 123463968 SOS 80558161 HAS SOPS 65505074 HAS SOUS 23535680 HAS SOUPS 22957208 WITH SCORE 2.3037766161E7
AT ITER 348 NEW BEST:: SOT 123494254 SOS 80612870 HAS SOPS 65559880 HAS SOUS 23490050 HAS SOUPS 22912806 WITH SCORE 2.299341887E7
AT ITER 360 NEW BEST:: SOT 123493031 SOS 80612065 HAS SOPS 65558985 HAS SOUS 23488701 HAS SOUPS 22911457 WITH SCORE 2.2992069065E7
AT ITER 361 NEW BEST:: SOT 123501885 SOS 80617659 HAS SOPS 65574783 HAS SOUS 23487344 HAS SOUPS 22910100 WITH SCORE 2.2990717659E7
AT ITER 368 NEW BEST:: SOT 123438346 SOS 80553963 HAS SOPS 65506127 HAS SOUS 23400879 HAS SOUPS 22823635 WITH SCORE 2.2904188963E7
AT ITER 389 NEW BEST:: SOT 123438346 SOS 80555339 HAS SOPS 65509023 HAS SOUS 23400829 HAS SOUPS 22823585 WITH SCORE 2.2904140339E7
AT ITER 394 NEW BEST:: SOT 123438162 SOS 80554779 HAS SOPS 65508536 HAS SOUS 23400425 HAS SOUPS 22823212 WITH SCORE 2.2903766779E7
AT ITER 395 NEW BEST:: SOT 123440888 SOS 80561620 HAS SOPS 65518253 HAS SOUS 23377984 HAS SOUPS 22801253 WITH SCORE 2.288181462E7
AT ITER 396 NEW BEST:: SOT 123466622 SOS 80639704 HAS SOPS 65603441 HAS SOUS 23346977 HAS SOUPS 22770246 WITH SCORE 2.2850885704E7
AT ITER 405 NEW BEST:: SOT 123465794 SOS 80638966 HAS SOPS 65612524 HAS SOUS 23346322 HAS SOUPS 22769591 WITH SCORE 2.2850229966E7
AT ITER 412 NEW BEST:: SOT 123482524 SOS 80667413 HAS SOPS 65635510 HAS SOUS 23334299 HAS SOUPS 22758120 WITH SCORE 2.2838787413E7
AT ITER 416 NEW BEST:: SOT 123476212 SOS 80677210 HAS SOPS 65650193 HAS SOUS 23294997 HAS SOUPS 22718541 WITH SCORE 2.279921821E7
AT ITER 430 NEW BEST:: SOT 123480462 SOS 80685039 HAS SOPS 65641484 HAS SOUS 23243918 HAS SOUPS 22667462 WITH SCORE 2.2748147039E7
AT ITER 454 NEW BEST:: SOT 123479632 SOS 80748509 HAS SOPS 65706769 HAS SOUS 23239183 HAS SOUPS 22662423 WITH SCORE 2.2743171509E7
AT ITER 478 NEW BEST:: SOT 123470362 SOS 80739748 HAS SOPS 65695891 HAS SOUS 23226639 HAS SOUPS 22649879 WITH SCORE 2.2730618748E7
AT ITER 481 NEW BEST:: SOT 123465478 SOS 80734822 HAS SOPS 65692565 HAS SOUS 23215305 HAS SOUPS 22638595 WITH SCORE 2.2719329822E7
AT ITER 482 NEW BEST:: SOT 123455590 SOS 80721774 HAS SOPS 65674206 HAS SOUS 23182205 HAS SOUPS 22605495 WITH SCORE 2.2686216774E7
AT ITER 485 NEW BEST:: SOT 123449624 SOS 80713924 HAS SOPS 65671322 HAS SOUS 23174534 HAS SOUPS 22597824 WITH SCORE 2.2678537924E7
AT ITER 491 NEW BEST:: SOT 123454932 SOS 80733621 HAS SOPS 65693192 HAS SOUS 23157462 HAS SOUPS 22580752 WITH SCORE 2.2661485621E7
AT ITER 521 NEW BEST:: SOT 123453118 SOS 80733895 HAS SOPS 65699674 HAS SOUS 23149135 HAS SOUPS 22572425 WITH SCORE 2.2653158895E7
AT ITER 540 NEW BEST:: SOT 123453295 SOS 80734075 HAS SOPS 65701218 HAS SOUS 23147989 HAS SOUPS 22571837 WITH SCORE 2.2652571075E7
AT ITER 543 NEW BEST:: SOT 123453408 SOS 80737532 HAS SOPS 65704475 HAS SOUS 23147801 HAS SOUPS 22571649 WITH SCORE 2.2652386532E7
AT ITER 544 NEW BEST:: SOT 123449700 SOS 80733824 HAS SOPS 65700767 HAS SOUS 23143965 HAS SOUPS 22567813 WITH SCORE 2.2648546824E7
AT ITER 550 NEW BEST:: SOT 123437075 SOS 80714813 HAS SOPS 65682314 HAS SOUS 23125436 HAS SOUPS 22549743 WITH SCORE 2.2630457813E7
AT ITER 567 NEW BEST:: SOT 123437160 SOS 80726262 HAS SOPS 65698514 HAS SOUS 23123041 HAS SOUPS 22547348 WITH SCORE 2.2628074262E7
AT ITER 572 NEW BEST:: SOT 123456230 SOS 80778451 HAS SOPS 65762837 HAS SOUS 23120122 HAS SOUPS 22544663 WITH SCORE 2.2625441451E7
AT ITER 617 NEW BEST:: SOT 123456090 SOS 80779775 HAS SOPS 65764004 HAS SOUS 23119777 HAS SOUPS 22544318 WITH SCORE 2.2625097775E7
AT ITER 628 NEW BEST:: SOT 123448073 SOS 80778339 HAS SOPS 65764214 HAS SOUS 23084136 HAS SOUPS 22508677 WITH SCORE 2.2589455339E7
AT ITER 631 NEW BEST:: SOT 123447090 SOS 80777778 HAS SOPS 65763871 HAS SOUS 23083648 HAS SOUPS 22508189 WITH SCORE 2.2588966778E7
AT ITER 633 NEW BEST:: SOT 123456512 SOS 80812853 HAS SOPS 65802601 HAS SOUS 23062783 HAS SOUPS 22487460 WITH SCORE 2.2568272853E7
AT ITER 635 NEW BEST:: SOT 123456512 SOS 80824136 HAS SOPS 65813884 HAS SOUS 23062710 HAS SOUPS 22487387 WITH SCORE 2.2568211136E7
AT ITER 636 NEW BEST:: SOT 123433369 SOS 80768526 HAS SOPS 65790517 HAS SOUS 23016694 HAS SOUPS 22441863 WITH SCORE 2.2522631526E7
AT ITER 640 NEW BEST:: SOT 123429682 SOS 80764341 HAS SOPS 65788355 HAS SOUS 23006778 HAS SOUPS 22431841 WITH SCORE 2.2512605341E7
AT ITER 643 NEW BEST:: SOT 123412642 SOS 80747351 HAS SOPS 65771171 HAS SOUS 22989492 HAS SOUPS 22414505 WITH SCORE 2.2495252351E7
AT ITER 662 NEW BEST:: SOT 123413010 SOS 80743219 HAS SOPS 65770915 HAS SOUS 22972907 HAS SOUPS 22398240 WITH SCORE 2.2478983219E7
AT ITER 668 NEW BEST:: SOT 123413010 SOS 80744675 HAS SOPS 65771067 HAS SOUS 22972607 HAS SOUPS 22397940 WITH SCORE 2.2478684675E7
AT ITER 676 NEW BEST:: SOT 123414000 SOS 80775460 HAS SOPS 65793082 HAS SOUS 22971618 HAS SOUPS 22396951 WITH SCORE 2.247772646E7
AT ITER 704 NEW BEST:: SOT 123422976 SOS 80797559 HAS SOPS 65822961 HAS SOUS 22969302 HAS SOUPS 22394635 WITH SCORE 2.2475432559E7
AT ITER 712 NEW BEST:: SOT 123422852 SOS 80794193 HAS SOPS 65820392 HAS SOUS 22969137 HAS SOUPS 22394470 WITH SCORE 2.2475264193E7
AT ITER 721 NEW BEST:: SOT 123422668 SOS 80795227 HAS SOPS 65820568 HAS SOUS 22966467 HAS SOUPS 22391750 WITH SCORE 2.2472545227E7
AT ITER 737 NEW BEST:: SOT 123420006 SOS 80777205 HAS SOPS 65803293 HAS SOUS 22959817 HAS SOUPS 22385100 WITH SCORE 2.2465877205E7
AT ITER 738 NEW BEST:: SOT 123421544 SOS 80778364 HAS SOPS 65804452 HAS SOUS 22959012 HAS SOUPS 22384295 WITH SCORE 2.2465073364E7
AT ITER 741 NEW BEST:: SOT 123421086 SOS 80778660 HAS SOPS 65802556 HAS SOUS 22956520 HAS SOUPS 22381763 WITH SCORE 2.246254166E7
AT ITER 773 NEW BEST:: SOT 123419974 SOS 80773473 HAS SOPS 65800455 HAS SOUS 22951962 HAS SOUPS 22377310 WITH SCORE 2.2458083473E7
AT ITER 783 NEW BEST:: SOT 123415156 SOS 80770547 HAS SOPS 65796632 HAS SOUS 22926975 HAS SOUPS 22353145 WITH SCORE 2.2433915547E7
AT ITER 784 NEW BEST:: SOT 123411937 SOS 80765773 HAS SOPS 65789426 HAS SOUS 22923418 HAS SOUPS 22349588 WITH SCORE 2.2430353773E7
AT ITER 787 NEW BEST:: SOT 123327091 SOS 80621737 HAS SOPS 65676202 HAS SOUS 22840861 HAS SOUPS 22267281 WITH SCORE 2.2347902737E7
AT ITER 790 NEW BEST:: SOT 123330426 SOS 80618852 HAS SOPS 65671070 HAS SOUS 22825444 HAS SOUPS 22251979 WITH SCORE 2.2332597852E7
AT ITER 794 NEW BEST:: SOT 123329481 SOS 80612777 HAS SOPS 65681484 HAS SOUS 22819492 HAS SOUPS 22246376 WITH SCORE 2.2326988777E7
AT ITER 817 NEW BEST:: SOT 123324339 SOS 80603306 HAS SOPS 65673934 HAS SOUS 22814693 HAS SOUPS 22241577 WITH SCORE 2.2322180306E7
AT ITER 818 NEW BEST:: SOT 123322586 SOS 80600460 HAS SOPS 65667952 HAS SOUS 22810553 HAS SOUPS 22237437 WITH SCORE 2.231803746E7
AT ITER 825 NEW BEST:: SOT 123332938 SOS 80611700 HAS SOPS 65695292 HAS SOUS 22805935 HAS SOUPS 22232820 WITH SCORE 2.23134317E7
AT ITER 829 NEW BEST:: SOT 123338644 SOS 80627613 HAS SOPS 65713736 HAS SOUS 22799811 HAS SOUPS 22226696 WITH SCORE 2.2307323613E7
AT ITER 832 NEW BEST:: SOT 123337000 SOS 80625709 HAS SOPS 65711274 HAS SOUS 22795609 HAS SOUPS 22222479 WITH SCORE 2.2303104709E7
AT ITER 839 NEW BEST:: SOT 123316380 SOS 80597451 HAS SOPS 65685526 HAS SOUS 22789401 HAS SOUPS 22216603 WITH SCORE 2.2297200451E7
AT ITER 853 NEW BEST:: SOT 123310059 SOS 80588626 HAS SOPS 65676840 HAS SOUS 22779268 HAS SOUPS 22206470 WITH SCORE 2.2287058626E7
AT ITER 856 NEW BEST:: SOT 123295167 SOS 80556752 HAS SOPS 65654517 HAS SOUS 22758793 HAS SOUPS 22188186 WITH SCORE 2.2268742752E7
AT ITER 858 NEW BEST:: SOT 123294841 SOS 80556410 HAS SOPS 65654687 HAS SOUS 22756771 HAS SOUPS 22186676 WITH SCORE 2.226723241E7
AT ITER 865 NEW BEST:: SOT 123284790 SOS 80546171 HAS SOPS 65642864 HAS SOUS 22739369 HAS SOUPS 22169271 WITH SCORE 2.2249817171E7
AT ITER 866 NEW BEST:: SOT 123284639 SOS 80546140 HAS SOPS 65642629 HAS SOUS 22739386 HAS SOUPS 22169210 WITH SCORE 2.224975614E7
AT ITER 877 NEW BEST:: SOT 123305644 SOS 80592508 HAS SOPS 65695797 HAS SOUS 22719836 HAS SOUPS 22149660 WITH SCORE 2.2230252508E7
AT ITER 880 NEW BEST:: SOT 123309711 SOS 80609773 HAS SOPS 65706623 HAS SOUS 22708443 HAS SOUPS 22138267 WITH SCORE 2.2218876773E7
AT ITER 890 NEW BEST:: SOT 123309742 SOS 80617694 HAS SOPS 65718799 HAS SOUS 22708373 HAS SOUPS 22138197 WITH SCORE 2.2218814694E7
AT ITER 897 NEW BEST:: SOT 123283397 SOS 80595912 HAS SOPS 65693936 HAS SOUS 22669445 HAS SOUPS 22098796 WITH SCORE 2.2179391912E7
AT ITER 899 NEW BEST:: SOT 123222386 SOS 80528120 HAS SOPS 65611249 HAS SOUS 22585762 HAS SOUPS 22013809 WITH SCORE 2.209433712E7
AT ITER 911 NEW BEST:: SOT 123221932 SOS 80516462 HAS SOPS 65612817 HAS SOUS 22585773 HAS SOUPS 22013820 WITH SCORE 2.2094336462E7
AT ITER 914 NEW BEST:: SOT 123222777 SOS 80517109 HAS SOPS 65610613 HAS SOUS 22578387 HAS SOUPS 22006434 WITH SCORE 2.2086951109E7
AT ITER 924 NEW BEST:: SOT 123216767 SOS 80512216 HAS SOPS 65601595 HAS SOUS 22569506 HAS SOUPS 21997553 WITH SCORE 2.2078065216E7
AT ITER 947 NEW BEST:: SOT 123233465 SOS 80550020 HAS SOPS 65639035 HAS SOUS 22562138 HAS SOUPS 21990185 WITH SCORE 2.207073502E7
AT ITER 957 NEW BEST:: SOT 123198847 SOS 80481312 HAS SOPS 65595653 HAS SOUS 22554821 HAS SOUPS 21982868 WITH SCORE 2.2063349312E7
AT ITER 976 NEW BEST:: SOT 123196217 SOS 80476439 HAS SOPS 65595470 HAS SOUS 22547152 HAS SOUPS 21975293 WITH SCORE 2.2055769439E7
AT ITER 978 NEW BEST:: SOT 123188311 SOS 80469120 HAS SOPS 65585495 HAS SOUS 22531049 HAS SOUPS 21959124 WITH SCORE 2.203959312E7
AT ITER 1001 NEW BEST:: SOT 123182881 SOS 80459540 HAS SOPS 65581212 HAS SOUS 22505742 HAS SOUPS 21933817 WITH SCORE 2.201427654E7
AT ITER 1018 NEW BEST:: SOT 123180585 SOS 80462136 HAS SOPS 65579838 HAS SOUS 22489352 HAS SOUPS 21917427 WITH SCORE 2.1997889136E7
AT ITER 1022 NEW BEST:: SOT 123197474 SOS 80510107 HAS SOPS 65613241 HAS SOUS 22475164 HAS SOUPS 21903239 WITH SCORE 2.1983749107E7
AT ITER 1033 NEW BEST:: SOT 123183801 SOS 80499892 HAS SOPS 65596329 HAS SOUS 22446868 HAS SOUPS 21872933 WITH SCORE 2.1953432892E7
AT ITER 1038 NEW BEST:: SOT 123167836 SOS 80455572 HAS SOPS 65561069 HAS SOUS 22444101 HAS SOUPS 21870166 WITH SCORE 2.1950621572E7
AT ITER 1065 NEW BEST:: SOT 123160090 SOS 80435374 HAS SOPS 65542703 HAS SOUS 22435450 HAS SOUPS 21861515 WITH SCORE 2.1941950374E7
AT ITER 1068 NEW BEST:: SOT 123160094 SOS 80450394 HAS SOPS 65563887 HAS SOUS 22435132 HAS SOUPS 21861197 WITH SCORE 2.1941647394E7
AT ITER 1082 NEW BEST:: SOT 123160849 SOS 80469147 HAS SOPS 65587414 HAS SOUS 22434576 HAS SOUPS 21860641 WITH SCORE 2.1941110147E7
AT ITER 1095 NEW BEST:: SOT 123176265 SOS 80489100 HAS SOPS 65599429 HAS SOUS 22411189 HAS SOUPS 21837254 WITH SCORE 2.19177431E7
AT ITER 1097 NEW BEST:: SOT 123176239 SOS 80489239 HAS SOPS 65610353 HAS SOUS 22410710 HAS SOUPS 21836775 WITH SCORE 2.1917264239E7
AT ITER 1102 NEW BEST:: SOT 123176381 SOS 80490444 HAS SOPS 65611036 HAS SOUS 22408810 HAS SOUPS 21834902 WITH SCORE 2.1915392444E7
AT ITER 1112 NEW BEST:: SOT 123181427 SOS 80490172 HAS SOPS 65614766 HAS SOUS 22396605 HAS SOUPS 21822697 WITH SCORE 2.1903187172E7
AT ITER 1120 NEW BEST:: SOT 123178689 SOS 80488292 HAS SOPS 65611478 HAS SOUS 22390980 HAS SOUPS 21817072 WITH SCORE 2.1897560292E7
AT ITER 1121 NEW BEST:: SOT 123162228 SOS 80455214 HAS SOPS 65598036 HAS SOUS 22377748 HAS SOUPS 21804218 WITH SCORE 2.1884673214E7
AT ITER 1134 NEW BEST:: SOT 123167665 SOS 80471379 HAS SOPS 65610014 HAS SOUS 22373939 HAS SOUPS 21800409 WITH SCORE 2.1880880379E7
AT ITER 1143 NEW BEST:: SOT 123164717 SOS 80472576 HAS SOPS 65607828 HAS SOUS 22373215 HAS SOUPS 21799621 WITH SCORE 2.1880093576E7
AT ITER 1152 NEW BEST:: SOT 123145058 SOS 80429899 HAS SOPS 65569446 HAS SOUS 22359302 HAS SOUPS 21785708 WITH SCORE 2.1866137899E7
AT ITER 1156 NEW BEST:: SOT 123145058 SOS 80430235 HAS SOPS 65569782 HAS SOUS 22359293 HAS SOUPS 21785699 WITH SCORE 2.1866129235E7
AT ITER 1164 NEW BEST:: SOT 123145060 SOS 80443401 HAS SOPS 65586694 HAS SOUS 22359137 HAS SOUPS 21785543 WITH SCORE 2.1865986401E7
AT ITER 1180 NEW BEST:: SOT 123143478 SOS 80441786 HAS SOPS 65586575 HAS SOUS 22355438 HAS SOUPS 21782233 WITH SCORE 2.1862674786E7
AT ITER 1182 NEW BEST:: SOT 123120084 SOS 80390808 HAS SOPS 65542965 HAS SOUS 22340891 HAS SOUPS 21767686 WITH SCORE 2.1848076808E7
AT ITER 1188 NEW BEST:: SOT 123119528 SOS 80390215 HAS SOPS 65542372 HAS SOUS 22339718 HAS SOUPS 21766513 WITH SCORE 2.1846903215E7
AT ITER 1194 NEW BEST:: SOT 123127567 SOS 80405787 HAS SOPS 65550881 HAS SOUS 22339173 HAS SOUPS 21765855 WITH SCORE 2.1846260787E7
AT ITER 1211 NEW BEST:: SOT 123126267 SOS 80407381 HAS SOPS 65546298 HAS SOUS 22335234 HAS SOUPS 21761916 WITH SCORE 2.1842323381E7
AT ITER 1226 NEW BEST:: SOT 123124671 SOS 80407115 HAS SOPS 65544209 HAS SOUS 22329784 HAS SOUPS 21756466 WITH SCORE 2.1836873115E7
AT ITER 1235 NEW BEST:: SOT 123124610 SOS 80392088 HAS SOPS 65540524 HAS SOUS 22326426 HAS SOUPS 21753254 WITH SCORE 2.1833646088E7
AT ITER 1240 NEW BEST:: SOT 123124636 SOS 80406778 HAS SOPS 65557838 HAS SOUS 22326067 HAS SOUPS 21752895 WITH SCORE 2.1833301778E7
AT ITER 1245 NEW BEST:: SOT 123124636 SOS 80406204 HAS SOPS 65557264 HAS SOUS 22326015 HAS SOUPS 21752843 WITH SCORE 2.1833249204E7
AT ITER 1256 NEW BEST:: SOT 123066630 SOS 80323538 HAS SOPS 65482199 HAS SOUS 22257510 HAS SOUPS 21684512 WITH SCORE 2.1764835538E7
AT ITER 1258 NEW BEST:: SOT 123065883 SOS 80321151 HAS SOPS 65481191 HAS SOUS 22256348 HAS SOUPS 21683350 WITH SCORE 2.1763671151E7
AT ITER 1278 NEW BEST:: SOT 123081457 SOS 80335474 HAS SOPS 65517848 HAS SOUS 22247197 HAS SOUPS 21674463 WITH SCORE 2.1754798474E7
AT ITER 1282 NEW BEST:: SOT 123081553 SOS 80335892 HAS SOPS 65518297 HAS SOUS 22247035 HAS SOUPS 21674301 WITH SCORE 2.1754636892E7
AT ITER 1284 NEW BEST:: SOT 123105837 SOS 80396120 HAS SOPS 65579867 HAS SOUS 22244724 HAS SOUPS 21671990 WITH SCORE 2.175238612E7
AT ITER 1301 NEW BEST:: SOT 123105897 SOS 80418896 HAS SOPS 65619099 HAS SOUS 22244235 HAS SOUPS 21671501 WITH SCORE 2.1751919896E7
AT ITER 1302 NEW BEST:: SOT 123105772 SOS 80416965 HAS SOPS 65616759 HAS SOUS 22243880 HAS SOUPS 21671146 WITH SCORE 2.1751562965E7
AT ITER 1309 NEW BEST:: SOT 123098624 SOS 80407666 HAS SOPS 65604766 HAS SOUS 22229224 HAS SOUPS 21656490 WITH SCORE 2.1736897666E7
AT ITER 1312 NEW BEST:: SOT 123099579 SOS 80411013 HAS SOPS 65608325 HAS SOUS 22227784 HAS SOUPS 21655050 WITH SCORE 2.1735461013E7
AT ITER 1315 NEW BEST:: SOT 123099353 SOS 80410831 HAS SOPS 65608199 HAS SOUS 22227513 HAS SOUPS 21654779 WITH SCORE 2.1735189831E7
AT ITER 1323 NEW BEST:: SOT 123110326 SOS 80448279 HAS SOPS 65643079 HAS SOUS 22216506 HAS SOUPS 21643772 WITH SCORE 2.1724220279E7
AT ITER 1364 NEW BEST:: SOT 123101918 SOS 80440024 HAS SOPS 65629775 HAS SOUS 22202485 HAS SOUPS 21629700 WITH SCORE 2.1710140024E7
AT ITER 1369 NEW BEST:: SOT 123102018 SOS 80440419 HAS SOPS 65629778 HAS SOUS 22202213 HAS SOUPS 21629428 WITH SCORE 2.1709868419E7
AT ITER 1375 NEW BEST:: SOT 123107181 SOS 80458650 HAS SOPS 65636957 HAS SOUS 22182013 HAS SOUPS 21609228 WITH SCORE 2.168968665E7
AT ITER 1378 NEW BEST:: SOT 123114933 SOS 80480820 HAS SOPS 65666895 HAS SOUS 22176810 HAS SOUPS 21604025 WITH SCORE 2.168450582E7
AT ITER 1381 NEW BEST:: SOT 123174997 SOS 80486418 HAS SOPS 65668763 HAS SOUS 22165345 HAS SOUPS 21585654 WITH SCORE 2.1666140418E7
AT ITER 1406 NEW BEST:: SOT 123178317 SOS 80475222 HAS SOPS 65670094 HAS SOUS 22136191 HAS SOUPS 21556915 WITH SCORE 2.1637390222E7
AT ITER 1407 NEW BEST:: SOT 123179208 SOS 80477213 HAS SOPS 65681161 HAS SOUS 22130807 HAS SOUPS 21551531 WITH SCORE 2.1632008213E7
AT ITER 1420 NEW BEST:: SOT 123179048 SOS 80474450 HAS SOPS 65678699 HAS SOUS 22130378 HAS SOUPS 21551183 WITH SCORE 2.163165745E7
AT ITER 1435 NEW BEST:: SOT 123207128 SOS 80546989 HAS SOPS 65746189 HAS SOUS 22122715 HAS SOUPS 21543520 WITH SCORE 2.1624066989E7
AT ITER 1438 NEW BEST:: SOT 123221780 SOS 80579656 HAS SOPS 65768477 HAS SOUS 22115181 HAS SOUPS 21535986 WITH SCORE 2.1616565656E7
AT ITER 1447 NEW BEST:: SOT 123221030 SOS 80579170 HAS SOPS 65767826 HAS SOUS 22112858 HAS SOUPS 21533663 WITH SCORE 2.161424217E7
AT ITER 1457 NEW BEST:: SOT 123212134 SOS 80558944 HAS SOPS 65757304 HAS SOUS 22094754 HAS SOUPS 21515771 WITH SCORE 2.1596329944E7
AT ITER 1489 NEW BEST:: SOT 123213919 SOS 80564540 HAS SOPS 65761650 HAS SOUS 22090911 HAS SOUPS 21511928 WITH SCORE 2.159249254E7
AT ITER 1501 NEW BEST:: SOT 123213173 SOS 80563794 HAS SOPS 65760752 HAS SOUS 22088837 HAS SOUPS 21509854 WITH SCORE 2.1590417794E7
AT ITER 1512 NEW BEST:: SOT 123194353 SOS 80532363 HAS SOPS 65728907 HAS SOUS 22060622 HAS SOUPS 21481639 WITH SCORE 2.1562171363E7
AT ITER 1525 NEW BEST:: SOT 123170196 SOS 80489989 HAS SOPS 65698555 HAS SOUS 22024291 HAS SOUPS 21445308 WITH SCORE 2.1525797989E7
AT ITER 1528 NEW BEST:: SOT 123177597 SOS 80505495 HAS SOPS 65705486 HAS SOUS 22008035 HAS SOUPS 21429052 WITH SCORE 2.1509557495E7
AT ITER 1545 NEW BEST:: SOT 123164418 SOS 80478454 HAS SOPS 65679500 HAS SOUS 21993611 HAS SOUPS 21414628 WITH SCORE 2.1495106454E7
AT ITER 1562 NEW BEST:: SOT 123164437 SOS 80457564 HAS SOPS 65669217 HAS SOUS 21986176 HAS SOUPS 21410530 WITH SCORE 2.1490987564E7
AT ITER 1565 NEW BEST:: SOT 123164775 SOS 80457826 HAS SOPS 65668990 HAS SOUS 21985952 HAS SOUPS 21410293 WITH SCORE 2.1490750826E7
AT ITER 1570 NEW BEST:: SOT 123164775 SOS 80466318 HAS SOPS 65683690 HAS SOUS 21985915 HAS SOUPS 21410256 WITH SCORE 2.1490722318E7
AT ITER 1597 NEW BEST:: SOT 123161709 SOS 80459000 HAS SOPS 65683835 HAS SOUS 21980866 HAS SOUPS 21405207 WITH SCORE 2.1485666E7
AT ITER 1598 NEW BEST:: SOT 123159887 SOS 80456796 HAS SOPS 65681711 HAS SOUS 21976727 HAS SOUPS 21401068 WITH SCORE 2.1481524796E7
AT ITER 1604 NEW BEST:: SOT 123127784 SOS 80420120 HAS SOPS 65657181 HAS SOUS 21919969 HAS SOUPS 21344539 WITH SCORE 2.142495912E7
AT ITER 1625 NEW BEST:: SOT 123116204 SOS 80448674 HAS SOPS 65719176 HAS SOUS 21917456 HAS SOUPS 21342026 WITH SCORE 2.1422474674E7
AT ITER 1630 NEW BEST:: SOT 123116112 SOS 80429554 HAS SOPS 65702710 HAS SOUS 21917465 HAS SOUPS 21342035 WITH SCORE 2.1422464554E7
AT ITER 1636 NEW BEST:: SOT 123116168 SOS 80429614 HAS SOPS 65702770 HAS SOUS 21913780 HAS SOUPS 21338350 WITH SCORE 2.1418779614E7
AT ITER 1643 NEW BEST:: SOT 123143106 SOS 80484367 HAS SOPS 65754134 HAS SOUS 21908481 HAS SOUPS 21333054 WITH SCORE 2.1413538367E7
AT ITER 1646 NEW BEST:: SOT 123143360 SOS 80483602 HAS SOPS 65753703 HAS SOUS 21907929 HAS SOUPS 21332502 WITH SCORE 2.1412985602E7
AT ITER 1671 NEW BEST:: SOT 123141441 SOS 80484964 HAS SOPS 65755540 HAS SOUS 21907595 HAS SOUPS 21332168 WITH SCORE 2.1412652964E7
AT ITER 1679 NEW BEST:: SOT 123132955 SOS 80472695 HAS SOPS 65744630 HAS SOUS 21893480 HAS SOUPS 21318105 WITH SCORE 2.1398577695E7
AT ITER 1694 NEW BEST:: SOT 123120424 SOS 80450865 HAS SOPS 65723351 HAS SOUS 21874862 HAS SOUPS 21299487 WITH SCORE 2.1379937865E7
AT ITER 1702 NEW BEST:: SOT 123120424 SOS 80458382 HAS SOPS 65743028 HAS SOUS 21874519 HAS SOUPS 21299239 WITH SCORE 2.1379697382E7
AT ITER 1704 NEW BEST:: SOT 123121962 SOS 80461033 HAS SOPS 65741625 HAS SOUS 21866672 HAS SOUPS 21291392 WITH SCORE 2.1371853033E7
AT ITER 1711 NEW BEST:: SOT 123126769 SOS 80472223 HAS SOPS 65752410 HAS SOUS 21840830 HAS SOUPS 21265669 WITH SCORE 2.1346141223E7
AT ITER 1729 NEW BEST:: SOT 123142128 SOS 80483615 HAS SOPS 65764446 HAS SOUS 21834386 HAS SOUPS 21259374 WITH SCORE 2.1339857615E7
AT ITER 1753 NEW BEST:: SOT 123150707 SOS 80498796 HAS SOPS 65792588 HAS SOUS 21829654 HAS SOUPS 21254642 WITH SCORE 2.1335140796E7
AT ITER 1761 NEW BEST:: SOT 123145671 SOS 80498380 HAS SOPS 65792410 HAS SOUS 21829131 HAS SOUPS 21254119 WITH SCORE 2.133461738E7
AT ITER 1764 NEW BEST:: SOT 123145706 SOS 80505129 HAS SOPS 65779095 HAS SOUS 21826865 HAS SOUPS 21251853 WITH SCORE 2.1332358129E7
AT ITER 1785 NEW BEST:: SOT 123146263 SOS 80522287 HAS SOPS 65802418 HAS SOUS 21826706 HAS SOUPS 21251694 WITH SCORE 2.1332216287E7
AT ITER 1790 NEW BEST:: SOT 123146263 SOS 80511515 HAS SOPS 65787038 HAS SOUS 21826685 HAS SOUPS 21251673 WITH SCORE 2.1332184515E7
AT ITER 1792 NEW BEST:: SOT 123145044 SOS 80512522 HAS SOPS 65787531 HAS SOUS 21822988 HAS SOUPS 21247976 WITH SCORE 2.1328488522E7
AT ITER 1793 NEW BEST:: SOT 123133574 SOS 80499046 HAS SOPS 65775185 HAS SOUS 21797638 HAS SOUPS 21222750 WITH SCORE 2.1303249046E7
AT ITER 1813 NEW BEST:: SOT 123111050 SOS 80478519 HAS SOPS 65742431 HAS SOUS 21727309 HAS SOUPS 21152421 WITH SCORE 2.1232899519E7
AT ITER 1818 NEW BEST:: SOT 123099783 SOS 80464702 HAS SOPS 65725153 HAS SOUS 21705224 HAS SOUPS 21130273 WITH SCORE 2.1210737702E7
AT ITER 1837 NEW BEST:: SOT 123099783 SOS 80466881 HAS SOPS 65726667 HAS SOUS 21705078 HAS SOUPS 21130127 WITH SCORE 2.1210593881E7
AT ITER 1842 NEW BEST:: SOT 123099819 SOS 80470511 HAS SOPS 65736632 HAS SOUS 21704688 HAS SOUPS 21129737 WITH SCORE 2.1210207511E7
AT ITER 1847 NEW BEST:: SOT 123095470 SOS 80462913 HAS SOPS 65732783 HAS SOUS 21701252 HAS SOUPS 21126301 WITH SCORE 2.1206763913E7
AT ITER 1857 NEW BEST:: SOT 123096252 SOS 80464315 HAS SOPS 65733465 HAS SOUS 21701001 HAS SOUPS 21126050 WITH SCORE 2.1206514315E7
AT ITER 1858 NEW BEST:: SOT 123066071 SOS 80428524 HAS SOPS 65681182 HAS SOUS 21629320 HAS SOUPS 21054863 WITH SCORE 2.1135291524E7
AT ITER 1901 NEW BEST:: SOT 123066860 SOS 80429391 HAS SOPS 65681569 HAS SOUS 21628201 HAS SOUPS 21053954 WITH SCORE 2.1134383391E7
AT ITER 1910 NEW BEST:: SOT 123057491 SOS 80426267 HAS SOPS 65667272 HAS SOUS 21590583 HAS SOUPS 21016134 WITH SCORE 2.1096560267E7
AT ITER 1912 NEW BEST:: SOT 123055952 SOS 80425101 HAS SOPS 65666084 HAS SOUS 21585197 HAS SOUPS 21010748 WITH SCORE 2.1091173101E7
AT ITER 1917 NEW BEST:: SOT 123053488 SOS 80422604 HAS SOPS 65660804 HAS SOUS 21583769 HAS SOUPS 21007945 WITH SCORE 2.1088367604E7
AT ITER 1921 NEW BEST:: SOT 123039752 SOS 80385729 HAS SOPS 65639548 HAS SOUS 21576710 HAS SOUPS 21003163 WITH SCORE 2.1083548729E7
AT ITER 1922 NEW BEST:: SOT 123016043 SOS 80374640 HAS SOPS 65600772 HAS SOUS 21512349 HAS SOUPS 20937958 WITH SCORE 2.101833264E7
AT ITER 1961 NEW BEST:: SOT 123015723 SOS 80375234 HAS SOPS 65630192 HAS SOUS 21479847 HAS SOUPS 20905456 WITH SCORE 2.0985831234E7
AT ITER 1977 NEW BEST:: SOT 123015679 SOS 80375110 HAS SOPS 65629796 HAS SOUS 21479690 HAS SOUPS 20905299 WITH SCORE 2.098567411E7
AT ITER 1981 NEW BEST:: SOT 123013413 SOS 80370032 HAS SOPS 65613055 HAS SOUS 21447479 HAS SOUPS 20873088 WITH SCORE 2.0953458032E7
AT ITER 1986 NEW BEST:: SOT 122998678 SOS 80355404 HAS SOPS 65593738 HAS SOUS 21432243 HAS SOUPS 20857572 WITH SCORE 2.0937927404E7
AT ITER 2003 NEW BEST:: SOT 122988112 SOS 80342444 HAS SOPS 65578448 HAS SOUS 21411975 HAS SOUPS 20837445 WITH SCORE 2.0917787444E7
AT ITER 2013 NEW BEST:: SOT 122984899 SOS 80336469 HAS SOPS 65572857 HAS SOUS 21407420 HAS SOUPS 20832890 WITH SCORE 2.0913226469E7
AT ITER 2017 NEW BEST:: SOT 122984491 SOS 80336073 HAS SOPS 65572333 HAS SOUS 21406628 HAS SOUPS 20832098 WITH SCORE 2.0912434073E7
AT ITER 2019 NEW BEST:: SOT 122953237 SOS 80276704 HAS SOPS 65529817 HAS SOUS 21363876 HAS SOUPS 20789616 WITH SCORE 2.0869892704E7
AT ITER 2042 NEW BEST:: SOT 122951460 SOS 80274339 HAS SOPS 65527970 HAS SOUS 21362258 HAS SOUPS 20787998 WITH SCORE 2.0868272339E7
AT ITER 2043 NEW BEST:: SOT 122944305 SOS 80264842 HAS SOPS 65519299 HAS SOUS 21349351 HAS SOUPS 20775154 WITH SCORE 2.0855418842E7
AT ITER 2046 NEW BEST:: SOT 122944297 SOS 80264342 HAS SOPS 65525880 HAS SOUS 21349287 HAS SOUPS 20775090 WITH SCORE 2.0855354342E7
AT ITER 2047 NEW BEST:: SOT 122941495 SOS 80262780 HAS SOPS 65522626 HAS SOUS 21340262 HAS SOUPS 20766065 WITH SCORE 2.084632778E7
AT ITER 2049 NEW BEST:: SOT 122952018 SOS 80278125 HAS SOPS 65531703 HAS SOUS 21329114 HAS SOUPS 20754917 WITH SCORE 2.0835195125E7
AT ITER 2054 NEW BEST:: SOT 122918042 SOS 80244085 HAS SOPS 65496703 HAS SOUS 21290588 HAS SOUPS 20716391 WITH SCORE 2.0796635085E7
AT ITER 2069 NEW BEST:: SOT 122925343 SOS 80255445 HAS SOPS 65493572 HAS SOUS 21270658 HAS SOUPS 20696520 WITH SCORE 2.0776775445E7
AT ITER 2085 NEW BEST:: SOT 122927904 SOS 80264534 HAS SOPS 65498337 HAS SOUS 21258201 HAS SOUPS 20684063 WITH SCORE 2.0764327534E7
AT ITER 2090 NEW BEST:: SOT 122940466 SOS 80311292 HAS SOPS 65544393 HAS SOUS 21234272 HAS SOUPS 20660134 WITH SCORE 2.0740445292E7
AT ITER 2091 NEW BEST:: SOT 122938298 SOS 80309156 HAS SOPS 65541281 HAS SOUS 21229512 HAS SOUPS 20655374 WITH SCORE 2.0735683156E7
AT ITER 2092 NEW BEST:: SOT 122923233 SOS 80284498 HAS SOPS 65526206 HAS SOUS 21216687 HAS SOUPS 20642022 WITH SCORE 2.0722306498E7
AT ITER 2106 NEW BEST:: SOT 122923096 SOS 80284474 HAS SOPS 65525937 HAS SOUS 21216668 HAS SOUPS 20642003 WITH SCORE 2.0722287474E7
AT ITER 2108 NEW BEST:: SOT 122921265 SOS 80285921 HAS SOPS 65520082 HAS SOUS 21200333 HAS SOUPS 20624216 WITH SCORE 2.0704501921E7
AT ITER 2117 NEW BEST:: SOT 122933522 SOS 80309609 HAS SOPS 65561709 HAS SOUS 21168301 HAS SOUPS 20592311 WITH SCORE 2.0672620609E7
AT ITER 2121 NEW BEST:: SOT 122923301 SOS 80298993 HAS SOPS 65547347 HAS SOUS 21141479 HAS SOUPS 20565489 WITH SCORE 2.0645787993E7
AT ITER 2128 NEW BEST:: SOT 122924586 SOS 80302255 HAS SOPS 65549358 HAS SOUS 21141047 HAS SOUPS 20565057 WITH SCORE 2.0645359255E7
AT ITER 2131 NEW BEST:: SOT 122921949 SOS 80291157 HAS SOPS 65546614 HAS SOUS 21134934 HAS SOUPS 20558944 WITH SCORE 2.0639235157E7
AT ITER 2132 NEW BEST:: SOT 122944704 SOS 80359019 HAS SOPS 65609892 HAS SOUS 21098708 HAS SOUPS 20522718 WITH SCORE 2.0603077019E7
AT ITER 2137 NEW BEST:: SOT 122942429 SOS 80354847 HAS SOPS 65605937 HAS SOUS 21096216 HAS SOUPS 20520226 WITH SCORE 2.0600580847E7
AT ITER 2144 NEW BEST:: SOT 122942249 SOS 80354793 HAS SOPS 65605781 HAS SOUS 21095658 HAS SOUPS 20519668 WITH SCORE 2.0600022793E7
AT ITER 2154 NEW BEST:: SOT 122941412 SOS 80347949 HAS SOPS 65604779 HAS SOUS 21095214 HAS SOUPS 20519283 WITH SCORE 2.0599630949E7
AT ITER 2156 NEW BEST:: SOT 122927699 SOS 80340867 HAS SOPS 65587065 HAS SOUS 21033187 HAS SOUPS 20457159 WITH SCORE 2.0537499867E7
AT ITER 2158 NEW BEST:: SOT 122901976 SOS 80269429 HAS SOPS 65532544 HAS SOUS 21024093 HAS SOUPS 20448065 WITH SCORE 2.0528334429E7
AT ITER 2166 NEW BEST:: SOT 122895735 SOS 80252773 HAS SOPS 65520898 HAS SOUS 21023470 HAS SOUPS 20447562 WITH SCORE 2.0527814773E7
AT ITER 2179 NEW BEST:: SOT 122889717 SOS 80245523 HAS SOPS 65521185 HAS SOUS 20978056 HAS SOUPS 20402945 WITH SCORE 2.0483190523E7
AT ITER 2197 NEW BEST:: SOT 122936549 SOS 80291886 HAS SOPS 65567116 HAS SOUS 20975719 HAS SOUPS 20400608 WITH SCORE 2.0480899886E7
AT ITER 2205 NEW BEST:: SOT 122936577 SOS 80290562 HAS SOPS 65564491 HAS SOUS 20966837 HAS SOUPS 20391790 WITH SCORE 2.0472080562E7
AT ITER 2240 NEW BEST:: SOT 122917769 SOS 80272536 HAS SOPS 65539379 HAS SOUS 20937766 HAS SOUPS 20360380 WITH SCORE 2.0440652536E7
AT ITER 2264 NEW BEST:: SOT 122917818 SOS 80277402 HAS SOPS 65553756 HAS SOUS 20937703 HAS SOUPS 20360317 WITH SCORE 2.0440594402E7
AT ITER 2270 NEW BEST:: SOT 122921501 SOS 80287538 HAS SOPS 65560814 HAS SOUS 20936293 HAS SOUPS 20358907 WITH SCORE 2.0439194538E7
AT ITER 2296 NEW BEST:: SOT 122917149 SOS 80287231 HAS SOPS 65564227 HAS SOUS 20919312 HAS SOUPS 20341926 WITH SCORE 2.0422213231E7
AT ITER 2300 NEW BEST:: SOT 122935887 SOS 80337841 HAS SOPS 65614981 HAS SOUS 20918136 HAS SOUPS 20340750 WITH SCORE 2.0421087841E7
AT ITER 2315 NEW BEST:: SOT 122935817 SOS 80337696 HAS SOPS 65614796 HAS SOUS 20917911 HAS SOUPS 20340535 WITH SCORE 2.0420872696E7
AT ITER 2317 NEW BEST:: SOT 122928182 SOS 80324638 HAS SOPS 65598957 HAS SOUS 20902070 HAS SOUPS 20324694 WITH SCORE 2.0405018638E7
AT ITER 2323 NEW BEST:: SOT 122925601 SOS 80321070 HAS SOPS 65595011 HAS SOUS 20897367 HAS SOUPS 20320012 WITH SCORE 2.040033307E7
AT ITER 2332 NEW BEST:: SOT 122923194 SOS 80327576 HAS SOPS 65587073 HAS SOUS 20869972 HAS SOUPS 20292520 WITH SCORE 2.0372847576E7
AT ITER 2336 NEW BEST:: SOT 122885776 SOS 80212969 HAS SOPS 65478776 HAS SOUS 20864568 HAS SOUPS 20287487 WITH SCORE 2.0367699969E7
AT ITER 2345 NEW BEST:: SOT 122889144 SOS 80221634 HAS SOPS 65478114 HAS SOUS 20854445 HAS SOUPS 20277364 WITH SCORE 2.0357585634E7
AT ITER 2354 NEW BEST:: SOT 122920396 SOS 80290096 HAS SOPS 65566235 HAS SOUS 20854010 HAS SOUPS 20276705 WITH SCORE 2.0356995096E7
AT ITER 2359 NEW BEST:: SOT 122927912 SOS 80322010 HAS SOPS 65604011 HAS SOUS 20843636 HAS SOUPS 20266331 WITH SCORE 2.034665301E7
AT ITER 2364 NEW BEST:: SOT 122942041 SOS 80342418 HAS SOPS 65619641 HAS SOUS 20841206 HAS SOUPS 20263901 WITH SCORE 2.0344243418E7
AT ITER 2371 NEW BEST:: SOT 122941665 SOS 80341782 HAS SOPS 65618873 HAS SOUS 20840461 HAS SOUPS 20263184 WITH SCORE 2.0343525782E7
AT ITER 2378 NEW BEST:: SOT 122999701 SOS 80435382 HAS SOPS 65710099 HAS SOUS 20815655 HAS SOUPS 20239206 WITH SCORE 2.0319641382E7
AT ITER 2386 NEW BEST:: SOT 122999522 SOS 80435122 HAS SOPS 65709842 HAS SOUS 20815445 HAS SOUPS 20238996 WITH SCORE 2.0319431122E7
AT ITER 2403 NEW BEST:: SOT 123000272 SOS 80435617 HAS SOPS 65712505 HAS SOUS 20814631 HAS SOUPS 20238638 WITH SCORE 2.0319073617E7
AT ITER 2406 NEW BEST:: SOT 122995773 SOS 80431016 HAS SOPS 65708858 HAS SOUS 20809128 HAS SOUPS 20234269 WITH SCORE 2.0314700016E7
AT ITER 2411 NEW BEST:: SOT 122995773 SOS 80430149 HAS SOPS 65707175 HAS SOUS 20808788 HAS SOUPS 20233929 WITH SCORE 2.0314359149E7
AT ITER 2420 NEW BEST:: SOT 123002745 SOS 80454903 HAS SOPS 65719048 HAS SOUS 20788942 HAS SOUPS 20214083 WITH SCORE 2.0294537903E7
AT ITER 2422 NEW BEST:: SOT 122999945 SOS 80451447 HAS SOPS 65715775 HAS SOUS 20784389 HAS SOUPS 20209530 WITH SCORE 2.0289981447E7
AT ITER 2435 NEW BEST:: SOT 122942948 SOS 80395208 HAS SOPS 65653866 HAS SOUS 20712897 HAS SOUPS 20137780 WITH SCORE 2.0218175208E7
AT ITER 2455 NEW BEST:: SOT 122942920 SOS 80395044 HAS SOPS 65653834 HAS SOUS 20712873 HAS SOUPS 20137760 WITH SCORE 2.0218155044E7
AT ITER 2466 NEW BEST:: SOT 122943587 SOS 80397865 HAS SOPS 65658814 HAS SOUS 20706251 HAS SOUPS 20131138 WITH SCORE 2.0211535865E7
AT ITER 2477 NEW BEST:: SOT 122980582 SOS 80434622 HAS SOPS 65693227 HAS SOUS 20703899 HAS SOUPS 20128170 WITH SCORE 2.0208604622E7
AT ITER 2490 NEW BEST:: SOT 122980563 SOS 80437041 HAS SOPS 65692073 HAS SOUS 20697413 HAS SOUPS 20121684 WITH SCORE 2.0202121041E7
AT ITER 2502 NEW BEST:: SOT 122980679 SOS 80449697 HAS SOPS 65700553 HAS SOUS 20697115 HAS SOUPS 20121386 WITH SCORE 2.0201835697E7
AT ITER 2510 NEW BEST:: SOT 122994063 SOS 80497348 HAS SOPS 65733700 HAS SOUS 20682280 HAS SOUPS 20106551 WITH SCORE 2.0187048348E7
AT ITER 2518 NEW BEST:: SOT 122994063 SOS 80511670 HAS SOPS 65751862 HAS SOUS 20682174 HAS SOUPS 20106445 WITH SCORE 2.018695667E7
AT ITER 2526 NEW BEST:: SOT 122986563 SOS 80506970 HAS SOPS 65738841 HAS SOUS 20657644 HAS SOUPS 20081915 WITH SCORE 2.016242197E7
AT ITER 2530 NEW BEST:: SOT 122986825 SOS 80511779 HAS SOPS 65738803 HAS SOUS 20656651 HAS SOUPS 20080839 WITH SCORE 2.0161350779E7
AT ITER 2534 NEW BEST:: SOT 122961955 SOS 80482380 HAS SOPS 65695555 HAS SOUS 20593248 HAS SOUPS 20017662 WITH SCORE 2.009814438E7
AT ITER 2544 NEW BEST:: SOT 122962616 SOS 80483364 HAS SOPS 65696577 HAS SOUS 20592237 HAS SOUPS 20016651 WITH SCORE 2.0097134364E7
AT ITER 2561 NEW BEST:: SOT 122957075 SOS 80477864 HAS SOPS 65689704 HAS SOUS 20591640 HAS SOUPS 20015968 WITH SCORE 2.0096445864E7
AT ITER 2571 NEW BEST:: SOT 122941809 SOS 80462601 HAS SOPS 65673570 HAS SOUS 20580451 HAS SOUPS 20006356 WITH SCORE 2.0086818601E7
AT ITER 2585 NEW BEST:: SOT 122951245 SOS 80467480 HAS SOPS 65667449 HAS SOUS 20570056 HAS SOUPS 19996325 WITH SCORE 2.007679248E7
AT ITER 2586 NEW BEST:: SOT 122947565 SOS 80463785 HAS SOPS 65661855 HAS SOUS 20557068 HAS SOUPS 19983531 WITH SCORE 2.0063994785E7
AT ITER 2595 NEW BEST:: SOT 122948926 SOS 80463111 HAS SOPS 65661658 HAS SOUS 20554163 HAS SOUPS 19980679 WITH SCORE 2.0061142111E7
AT ITER 2597 NEW BEST:: SOT 122949628 SOS 80466542 HAS SOPS 65661944 HAS SOUS 20551984 HAS SOUPS 19978464 WITH SCORE 2.0058930542E7
AT ITER 2623 NEW BEST:: SOT 122918033 SOS 80402565 HAS SOPS 65606628 HAS SOUS 20543804 HAS SOUPS 19970284 WITH SCORE 2.0050686565E7
AT ITER 2627 NEW BEST:: SOT 122918091 SOS 80403489 HAS SOPS 65607703 HAS SOUS 20542942 HAS SOUPS 19969355 WITH SCORE 2.0049758489E7
AT ITER 2629 NEW BEST:: SOT 122955205 SOS 80491670 HAS SOPS 65681099 HAS SOUS 20528434 HAS SOUPS 19954464 WITH SCORE 2.003495567E7
AT ITER 2633 NEW BEST:: SOT 122955329 SOS 80496718 HAS SOPS 65686967 HAS SOUS 20528155 HAS SOUPS 19954185 WITH SCORE 2.0034681718E7
AT ITER 2635 NEW BEST:: SOT 122955355 SOS 80502972 HAS SOPS 65694936 HAS SOUS 20526271 HAS SOUPS 19952357 WITH SCORE 2.0032859972E7
AT ITER 2649 NEW BEST:: SOT 122950662 SOS 80494021 HAS SOPS 65691084 HAS SOUS 20524421 HAS SOUPS 19950573 WITH SCORE 2.0031067021E7
AT ITER 2663 NEW BEST:: SOT 122951792 SOS 80493852 HAS SOPS 65685658 HAS SOUS 20480507 HAS SOUPS 19906893 WITH SCORE 1.9987386852E7
AT ITER 2667 NEW BEST:: SOT 122950472 SOS 80491508 HAS SOPS 65682247 HAS SOUS 20476038 HAS SOUPS 19902424 WITH SCORE 1.9982915508E7
AT ITER 2670 NEW BEST:: SOT 122949600 SOS 80490790 HAS SOPS 65680941 HAS SOUS 20473752 HAS SOUPS 19900131 WITH SCORE 1.998062179E7
AT ITER 2685 NEW BEST:: SOT 122948837 SOS 80490319 HAS SOPS 65681878 HAS SOUS 20468805 HAS SOUPS 19897282 WITH SCORE 1.9977772319E7
AT ITER 2692 NEW BEST:: SOT 122948837 SOS 80491971 HAS SOPS 65675754 HAS SOUS 20468671 HAS SOUPS 19897148 WITH SCORE 1.9977639971E7
AT ITER 2701 NEW BEST:: SOT 122941637 SOS 80480500 HAS SOPS 65665403 HAS SOUS 20463468 HAS SOUPS 19891945 WITH SCORE 1.99724255E7
AT ITER 2705 NEW BEST:: SOT 122971394 SOS 80560292 HAS SOPS 65745642 HAS SOUS 20410676 HAS SOUPS 19839031 WITH SCORE 1.9919591292E7
AT ITER 2712 NEW BEST:: SOT 122971829 SOS 80571926 HAS SOPS 65753428 HAS SOUS 20410294 HAS SOUPS 19838649 WITH SCORE 1.9919220926E7
AT ITER 2714 NEW BEST:: SOT 122991694 SOS 80593310 HAS SOPS 65782469 HAS SOUS 20400007 HAS SOUPS 19828820 WITH SCORE 1.990941331E7
AT ITER 2731 NEW BEST:: SOT 122987277 SOS 80587409 HAS SOPS 65775109 HAS SOUS 20397874 HAS SOUPS 19826687 WITH SCORE 1.9907274409E7
AT ITER 2757 NEW BEST:: SOT 122981874 SOS 80577829 HAS SOPS 65769038 HAS SOUS 20393949 HAS SOUPS 19822860 WITH SCORE 1.9903437829E7
AT ITER 2761 NEW BEST:: SOT 123008898 SOS 80634685 HAS SOPS 65828818 HAS SOUS 20346354 HAS SOUPS 19775265 WITH SCORE 1.9855899685E7
AT ITER 2762 NEW BEST:: SOT 123009122 SOS 80642185 HAS SOPS 65831377 HAS SOUS 20346117 HAS SOUPS 19775028 WITH SCORE 1.9855670185E7
AT ITER 2767 NEW BEST:: SOT 123008807 SOS 80641942 HAS SOPS 65831030 HAS SOUS 20345715 HAS SOUPS 19774626 WITH SCORE 1.9855267942E7
AT ITER 2775 NEW BEST:: SOT 123001760 SOS 80629836 HAS SOPS 65819087 HAS SOUS 20336505 HAS SOUPS 19765416 WITH SCORE 1.9846045836E7
AT ITER 2789 NEW BEST:: SOT 122976037 SOS 80596749 HAS SOPS 65782550 HAS SOUS 20296375 HAS SOUPS 19725286 WITH SCORE 1.9805882749E7
AT ITER 2795 NEW BEST:: SOT 122996548 SOS 80637325 HAS SOPS 65836390 HAS SOUS 20287515 HAS SOUPS 19716713 WITH SCORE 1.9797350325E7
AT ITER 2808 NEW BEST:: SOT 122985824 SOS 80626769 HAS SOPS 65822374 HAS SOUS 20268185 HAS SOUPS 19695980 WITH SCORE 1.9776606769E7
AT ITER 2822 NEW BEST:: SOT 123000342 SOS 80653927 HAS SOPS 65842946 HAS SOUS 20263985 HAS SOUPS 19691780 WITH SCORE 1.9772433927E7
AT ITER 2833 NEW BEST:: SOT 122999605 SOS 80653234 HAS SOPS 65842363 HAS SOUS 20263435 HAS SOUPS 19691230 WITH SCORE 1.9771883234E7
AT ITER 2848 NEW BEST:: SOT 122999667 SOS 80661584 HAS SOPS 65851321 HAS SOUS 20263390 HAS SOUPS 19691185 WITH SCORE 1.9771846584E7
AT ITER 2854 NEW BEST:: SOT 123004895 SOS 80683682 HAS SOPS 65872427 HAS SOUS 20246133 HAS SOUPS 19673939 WITH SCORE 1.9754622682E7
AT ITER 2873 NEW BEST:: SOT 122996708 SOS 80675738 HAS SOPS 65864471 HAS SOUS 20241543 HAS SOUPS 19669337 WITH SCORE 1.9750012738E7
AT ITER 2881 NEW BEST:: SOT 122981802 SOS 80655162 HAS SOPS 65842407 HAS SOUS 20221506 HAS SOUPS 19649300 WITH SCORE 1.9729955162E7
AT ITER 2885 NEW BEST:: SOT 122981368 SOS 80654566 HAS SOPS 65841636 HAS SOUS 20220588 HAS SOUPS 19648382 WITH SCORE 1.9729036566E7
AT ITER 2895 NEW BEST:: SOT 122981022 SOS 80653567 HAS SOPS 65840776 HAS SOUS 20220340 HAS SOUPS 19648134 WITH SCORE 1.9728787567E7
AT ITER 2904 NEW BEST:: SOT 122976287 SOS 80643366 HAS SOPS 65832722 HAS SOUS 20214750 HAS SOUPS 19642544 WITH SCORE 1.9723187366E7
AT ITER 2907 NEW BEST:: SOT 122976139 SOS 80636092 HAS SOPS 65830117 HAS SOUS 20214271 HAS SOUPS 19642065 WITH SCORE 1.9722701092E7
AT ITER 2909 NEW BEST:: SOT 122964430 SOS 80563395 HAS SOPS 65775775 HAS SOUS 20195031 HAS SOUPS 19622967 WITH SCORE 1.9703530395E7
AT ITER 2930 NEW BEST:: SOT 122963217 SOS 80560480 HAS SOPS 65772998 HAS SOUS 20190322 HAS SOUPS 19618304 WITH SCORE 1.969886448E7
AT ITER 2933 NEW BEST:: SOT 122953364 SOS 80549268 HAS SOPS 65761683 HAS SOUS 20163363 HAS SOUPS 19593219 WITH SCORE 1.9673768268E7
AT ITER 2940 NEW BEST:: SOT 122957565 SOS 80561765 HAS SOPS 65771555 HAS SOUS 20162456 HAS SOUPS 19592472 WITH SCORE 1.9673033765E7
AT ITER 2962 NEW BEST:: SOT 122959490 SOS 80566453 HAS SOPS 65775299 HAS SOUS 20159093 HAS SOUPS 19589109 WITH SCORE 1.9669675453E7
AT ITER 2971 NEW BEST:: SOT 122963193 SOS 80572280 HAS SOPS 65779592 HAS SOUS 20143775 HAS SOUPS 19574663 WITH SCORE 1.965523528E7
AT ITER 2974 NEW BEST:: SOT 122961482 SOS 80570690 HAS SOPS 65777210 HAS SOUS 20140304 HAS SOUPS 19571192 WITH SCORE 1.965176269E7
AT ITER 2977 NEW BEST:: SOT 122961349 SOS 80570711 HAS SOPS 65776888 HAS SOUS 20140061 HAS SOUPS 19570942 WITH SCORE 1.9651512711E7
AT ITER 2992 NEW BEST:: SOT 122939057 SOS 80544911 HAS SOPS 65752301 HAS SOUS 20109686 HAS SOUPS 19540567 WITH SCORE 1.9621111911E7
AT ITER 2999 NEW BEST:: SOT 122916412 SOS 80517057 HAS SOPS 65719389 HAS SOUS 20093104 HAS SOUPS 19523601 WITH SCORE 1.9604118057E7
AT ITER 3003 NEW BEST:: SOT 122909288 SOS 80504526 HAS SOPS 65700167 HAS SOUS 20090587 HAS SOUPS 19520816 WITH SCORE 1.9601320526E7
AT ITER 3006 NEW BEST:: SOT 122908152 SOS 80500730 HAS SOPS 65699633 HAS SOUS 20072817 HAS SOUPS 19503385 WITH SCORE 1.958388573E7
AT ITER 3007 NEW BEST:: SOT 122909701 SOS 80505288 HAS SOPS 65703626 HAS SOUS 20066351 HAS SOUPS 19496919 WITH SCORE 1.9577424288E7
AT ITER 3050 NEW BEST:: SOT 122907611 SOS 80503014 HAS SOPS 65697654 HAS SOUS 20054545 HAS SOUPS 19485113 WITH SCORE 1.9565616014E7
AT ITER 3067 NEW BEST:: SOT 122907936 SOS 80515632 HAS SOPS 65720187 HAS SOUS 20054297 HAS SOUPS 19484865 WITH SCORE 1.9565380632E7
AT ITER 3084 NEW BEST:: SOT 122907881 SOS 80528703 HAS SOPS 65708139 HAS SOUS 20046143 HAS SOUPS 19476429 WITH SCORE 1.9556957703E7
AT ITER 3093 NEW BEST:: SOT 122904087 SOS 80524758 HAS SOPS 65703858 HAS SOUS 20040876 HAS SOUPS 19471162 WITH SCORE 1.9551686758E7
AT ITER 3101 NEW BEST:: SOT 122904563 SOS 80526305 HAS SOPS 65704323 HAS SOUS 20038626 HAS SOUPS 19468912 WITH SCORE 1.9549438305E7
AT ITER 3105 NEW BEST:: SOT 122904614 SOS 80526153 HAS SOPS 65702249 HAS SOUS 20035712 HAS SOUPS 19465976 WITH SCORE 1.9546502153E7
AT ITER 3109 NEW BEST:: SOT 122905550 SOS 80528401 HAS SOPS 65708143 HAS SOUS 20033382 HAS SOUPS 19463646 WITH SCORE 1.9544174401E7
AT ITER 3115 NEW BEST:: SOT 122905190 SOS 80527032 HAS SOPS 65707328 HAS SOUS 20033297 HAS SOUPS 19463561 WITH SCORE 1.9544088032E7
AT ITER 3117 NEW BEST:: SOT 122904819 SOS 80522852 HAS SOPS 65706178 HAS SOUS 20033081 HAS SOUPS 19463345 WITH SCORE 1.9543867852E7
AT ITER 3124 NEW BEST:: SOT 122878182 SOS 80488889 HAS SOPS 65673819 HAS SOUS 20001913 HAS SOUPS 19432757 WITH SCORE 1.9513245889E7
AT ITER 3128 NEW BEST:: SOT 122867545 SOS 80457373 HAS SOPS 65662958 HAS SOUS 19981799 HAS SOUPS 19413519 WITH SCORE 1.9493976373E7
AT ITER 3130 NEW BEST:: SOT 122852368 SOS 80442196 HAS SOPS 65647653 HAS SOUS 19963302 HAS SOUPS 19395022 WITH SCORE 1.9475464196E7
AT ITER 3146 NEW BEST:: SOT 122879946 SOS 80525445 HAS SOPS 65728988 HAS SOUS 19967633 HAS SOUPS 19394654 WITH SCORE 1.9475179445E7
AT ITER 3149 NEW BEST:: SOT 122877879 SOS 80525464 HAS SOPS 65727592 HAS SOUS 19967532 HAS SOUPS 19394553 WITH SCORE 1.9475078464E7
AT ITER 3158 NEW BEST:: SOT 122879129 SOS 80531183 HAS SOPS 65750333 HAS SOUS 19964449 HAS SOUPS 19391470 WITH SCORE 1.9472001183E7
AT ITER 3171 NEW BEST:: SOT 122847305 SOS 80502859 HAS SOPS 65722410 HAS SOUS 19935090 HAS SOUPS 19362075 WITH SCORE 1.9442577859E7
AT ITER 3181 NEW BEST:: SOT 122850684 SOS 80505888 HAS SOPS 65723489 HAS SOUS 19932820 HAS SOUPS 19359805 WITH SCORE 1.9440310888E7
AT ITER 3197 NEW BEST:: SOT 122849882 SOS 80505216 HAS SOPS 65722147 HAS SOUS 19931994 HAS SOUPS 19358649 WITH SCORE 1.9439154216E7
AT ITER 3213 NEW BEST:: SOT 122843155 SOS 80495944 HAS SOPS 65711917 HAS SOUS 19918860 HAS SOUPS 19345587 WITH SCORE 1.9426082944E7
AT ITER 3221 NEW BEST:: SOT 122849956 SOS 80498076 HAS SOPS 65720130 HAS SOUS 19915261 HAS SOUPS 19341611 WITH SCORE 1.9422109076E7
AT ITER 3223 NEW BEST:: SOT 122857095 SOS 80523691 HAS SOPS 65723979 HAS SOUS 19864668 HAS SOUPS 19290942 WITH SCORE 1.9371465691E7
AT ITER 3225 NEW BEST:: SOT 122857095 SOS 80548634 HAS SOPS 65767038 HAS SOUS 19864192 HAS SOUPS 19290466 WITH SCORE 1.9371014634E7
AT ITER 3247 NEW BEST:: SOT 122852620 SOS 80551152 HAS SOPS 65769573 HAS SOUS 19860603 HAS SOUPS 19286877 WITH SCORE 1.9367428152E7
AT ITER 3250 NEW BEST:: SOT 122852441 SOS 80550513 HAS SOPS 65769148 HAS SOUS 19859673 HAS SOUPS 19286032 WITH SCORE 1.9366582513E7
AT ITER 3251 NEW BEST:: SOT 122858566 SOS 80561930 HAS SOPS 65783305 HAS SOUS 19854872 HAS SOUPS 19281231 WITH SCORE 1.936179293E7
AT ITER 3272 NEW BEST:: SOT 122857713 SOS 80560500 HAS SOPS 65781328 HAS SOUS 19853085 HAS SOUPS 19279444 WITH SCORE 1.93600045E7
AT ITER 3273 NEW BEST:: SOT 122865717 SOS 80572645 HAS SOPS 65788371 HAS SOUS 19849512 HAS SOUPS 19275930 WITH SCORE 1.9356502645E7
AT ITER 3297 NEW BEST:: SOT 122864946 SOS 80571984 HAS SOPS 65787611 HAS SOUS 19847551 HAS SOUPS 19273969 WITH SCORE 1.9354540984E7
AT ITER 3312 NEW BEST:: SOT 122865099 SOS 80575697 HAS SOPS 65790507 HAS SOUS 19847515 HAS SOUPS 19273933 WITH SCORE 1.9354508697E7
AT ITER 3351 NEW BEST:: SOT 122871308 SOS 80581424 HAS SOPS 65796271 HAS SOUS 19844615 HAS SOUPS 19271033 WITH SCORE 1.9351614424E7
AT ITER 3376 NEW BEST:: SOT 122901298 SOS 80646004 HAS SOPS 65847248 HAS SOUS 19842787 HAS SOUPS 19269205 WITH SCORE 1.9349851004E7
AT ITER 3377 NEW BEST:: SOT 122900206 SOS 80644912 HAS SOPS 65846156 HAS SOUS 19841311 HAS SOUPS 19267729 WITH SCORE 1.9348373912E7
AT ITER 3380 NEW BEST:: SOT 122897210 SOS 80640475 HAS SOPS 65842853 HAS SOUS 19833853 HAS SOUPS 19260317 WITH SCORE 1.9340957475E7
AT ITER 3383 NEW BEST:: SOT 122896073 SOS 80639147 HAS SOPS 65841044 HAS SOUS 19831433 HAS SOUPS 19257897 WITH SCORE 1.9338536147E7
AT ITER 3405 NEW BEST:: SOT 122909509 SOS 80653463 HAS SOPS 65847720 HAS SOUS 19829731 HAS SOUPS 19256958 WITH SCORE 1.9337611463E7
AT ITER 3412 NEW BEST:: SOT 122789802 SOS 80507280 HAS SOPS 65691050 HAS SOUS 19666267 HAS SOUPS 19093482 WITH SCORE 1.917398928E7
AT ITER 3449 NEW BEST:: SOT 122789712 SOS 80507694 HAS SOPS 65691752 HAS SOUS 19666231 HAS SOUPS 19093446 WITH SCORE 1.9173953694E7
AT ITER 3465 NEW BEST:: SOT 122785327 SOS 80505067 HAS SOPS 65686316 HAS SOUS 19651373 HAS SOUPS 19078634 WITH SCORE 1.9159139067E7
AT ITER 3466 NEW BEST:: SOT 122780554 SOS 80500726 HAS SOPS 65681225 HAS SOUS 19642957 HAS SOUPS 19070218 WITH SCORE 1.9150718726E7
AT ITER 3470 NEW BEST:: SOT 122765155 SOS 80484029 HAS SOPS 65656530 HAS SOUS 19604827 HAS SOUPS 19032088 WITH SCORE 1.9112572029E7
AT ITER 3493 NEW BEST:: SOT 122765614 SOS 80473416 HAS SOPS 65651472 HAS SOUS 19602307 HAS SOUPS 19029670 WITH SCORE 1.9110143416E7
AT ITER 3504 NEW BEST:: SOT 122763144 SOS 80471885 HAS SOPS 65650828 HAS SOUS 19592787 HAS SOUPS 19021079 WITH SCORE 1.9101550885E7
AT ITER 3505 NEW BEST:: SOT 122760785 SOS 80468923 HAS SOPS 65649805 HAS SOUS 19588175 HAS SOUPS 19016467 WITH SCORE 1.9096935923E7
AT ITER 3512 NEW BEST:: SOT 122760211 SOS 80468309 HAS SOPS 65649063 HAS SOUS 19587151 HAS SOUPS 19015443 WITH SCORE 1.9095911309E7
AT ITER 3518 NEW BEST:: SOT 122772140 SOS 80515545 HAS SOPS 65688359 HAS SOUS 19563191 HAS SOUPS 18991483 WITH SCORE 1.9071998545E7
AT ITER 3549 NEW BEST:: SOT 122768796 SOS 80513805 HAS SOPS 65684928 HAS SOUS 19560105 HAS SOUPS 18988343 WITH SCORE 1.9068856805E7
AT ITER 3550 NEW BEST:: SOT 122762188 SOS 80506747 HAS SOPS 65676324 HAS SOUS 19550205 HAS SOUPS 18978443 WITH SCORE 1.9058949747E7
AT ITER 3554 NEW BEST:: SOT 122771097 SOS 80515963 HAS SOPS 65675257 HAS SOUS 19539927 HAS SOUPS 18968039 WITH SCORE 1.9048554963E7
AT ITER 3576 NEW BEST:: SOT 122721370 SOS 80448845 HAS SOPS 65617985 HAS SOUS 19513723 HAS SOUPS 18941835 WITH SCORE 1.9022283845E7
AT ITER 3582 NEW BEST:: SOT 122724383 SOS 80452151 HAS SOPS 65624704 HAS SOUS 19506021 HAS SOUPS 18937549 WITH SCORE 1.9018001151E7
AT ITER 3601 NEW BEST:: SOT 122724880 SOS 80452367 HAS SOPS 65622977 HAS SOUS 19505671 HAS SOUPS 18937199 WITH SCORE 1.9017651367E7
AT ITER 3606 NEW BEST:: SOT 122728799 SOS 80458849 HAS SOPS 65614158 HAS SOUS 19499909 HAS SOUPS 18931437 WITH SCORE 1.9011895849E7
AT ITER 3635 NEW BEST:: SOT 122728843 SOS 80472065 HAS SOPS 65626106 HAS SOUS 19499213 HAS SOUPS 18930741 WITH SCORE 1.9011213065E7
AT ITER 3636 NEW BEST:: SOT 122723462 SOS 80464082 HAS SOPS 65618767 HAS SOUS 19494357 HAS SOUPS 18926028 WITH SCORE 1.9006492082E7
AT ITER 3646 NEW BEST:: SOT 122723544 SOS 80471888 HAS SOPS 65626197 HAS SOUS 19468249 HAS SOUPS 18899918 WITH SCORE 1.8980389888E7
AT ITER 3649 NEW BEST:: SOT 122693056 SOS 80438628 HAS SOPS 65594965 HAS SOUS 19450670 HAS SOUPS 18882339 WITH SCORE 1.8962777628E7
AT ITER 3660 NEW BEST:: SOT 122692484 SOS 80438063 HAS SOPS 65593517 HAS SOUS 19450252 HAS SOUPS 18881921 WITH SCORE 1.8962359063E7
AT ITER 3666 NEW BEST:: SOT 122682929 SOS 80435219 HAS SOPS 65583463 HAS SOUS 19418458 HAS SOUPS 18849762 WITH SCORE 1.8930197219E7
AT ITER 3679 NEW BEST:: SOT 122683276 SOS 80452543 HAS SOPS 65598163 HAS SOUS 19418348 HAS SOUPS 18849652 WITH SCORE 1.8930104543E7
AT ITER 3718 NEW BEST:: SOT 122666989 SOS 80432861 HAS SOPS 65567992 HAS SOUS 19383642 HAS SOUPS 18814946 WITH SCORE 1.8895378861E7
AT ITER 3724 NEW BEST:: SOT 122671002 SOS 80456412 HAS SOPS 65582987 HAS SOUS 19364998 HAS SOUPS 18796302 WITH SCORE 1.8876758412E7
AT ITER 3730 NEW BEST:: SOT 122664256 SOS 80449507 HAS SOPS 65572648 HAS SOUS 19357008 HAS SOUPS 18788312 WITH SCORE 1.8868761507E7
AT ITER 3732 NEW BEST:: SOT 122687695 SOS 80498712 HAS SOPS 65607752 HAS SOUS 19351112 HAS SOUPS 18782048 WITH SCORE 1.8862546712E7
AT ITER 3763 NEW BEST:: SOT 122696302 SOS 80512996 HAS SOPS 65612467 HAS SOUS 19331814 HAS SOUPS 18762587 WITH SCORE 1.8843099996E7
AT ITER 3767 NEW BEST:: SOT 122696255 SOS 80513229 HAS SOPS 65612495 HAS SOUS 19331017 HAS SOUPS 18761790 WITH SCORE 1.8842303229E7
AT ITER 3771 NEW BEST:: SOT 122681685 SOS 80497878 HAS SOPS 65597120 HAS SOUS 19327175 HAS SOUPS 18757924 WITH SCORE 1.8838421878E7
AT ITER 3783 NEW BEST:: SOT 122681697 SOS 80505959 HAS SOPS 65600948 HAS SOUS 19312916 HAS SOUPS 18743665 WITH SCORE 1.8824170959E7
AT ITER 3785 NEW BEST:: SOT 122679584 SOS 80503498 HAS SOPS 65599086 HAS SOUS 19308649 HAS SOUPS 18739416 WITH SCORE 1.8819919498E7
AT ITER 3791 NEW BEST:: SOT 122678170 SOS 80502064 HAS SOPS 65597270 HAS SOUS 19305803 HAS SOUPS 18736570 WITH SCORE 1.8817072064E7
AT ITER 3793 NEW BEST:: SOT 122669387 SOS 80491667 HAS SOPS 65583917 HAS SOUS 19287262 HAS SOUPS 18718029 WITH SCORE 1.8798520667E7
AT ITER 3797 NEW BEST:: SOT 122660596 SOS 80483184 HAS SOPS 65575094 HAS SOUS 19277708 HAS SOUPS 18708407 WITH SCORE 1.8788890184E7
AT ITER 3800 NEW BEST:: SOT 122653211 SOS 80473588 HAS SOPS 65565835 HAS SOUS 19257300 HAS SOUPS 18687999 WITH SCORE 1.8768472588E7
AT ITER 3806 NEW BEST:: SOT 122651688 SOS 80476906 HAS SOPS 65567318 HAS SOUS 19254823 HAS SOUPS 18685522 WITH SCORE 1.8765998906E7
AT ITER 3808 NEW BEST:: SOT 122685493 SOS 80510629 HAS SOPS 65601041 HAS SOUS 19253986 HAS SOUPS 18684685 WITH SCORE 1.8765195629E7
AT ITER 3812 NEW BEST:: SOT 122680975 SOS 80505086 HAS SOPS 65595043 HAS SOUS 19250042 HAS SOUPS 18680741 WITH SCORE 1.8761246086E7
AT ITER 3819 NEW BEST:: SOT 122680870 SOS 80504918 HAS SOPS 65594882 HAS SOUS 19248859 HAS SOUPS 18679565 WITH SCORE 1.8760069918E7
AT ITER 3825 NEW BEST:: SOT 122680355 SOS 80504955 HAS SOPS 65598937 HAS SOUS 19241899 HAS SOUPS 18672605 WITH SCORE 1.8753109955E7
AT ITER 3842 NEW BEST:: SOT 122681907 SOS 80512147 HAS SOPS 65605261 HAS SOUS 19236563 HAS SOUPS 18667269 WITH SCORE 1.8747781147E7
AT ITER 3845 NEW BEST:: SOT 122673392 SOS 80496162 HAS SOPS 65591700 HAS SOUS 19232385 HAS SOUPS 18663189 WITH SCORE 1.8743685162E7
AT ITER 3869 NEW BEST:: SOT 122672010 SOS 80495366 HAS SOPS 65590442 HAS SOUS 19230232 HAS SOUPS 18661036 WITH SCORE 1.8741531366E7
AT ITER 3900 NEW BEST:: SOT 122674457 SOS 80493718 HAS SOPS 65592631 HAS SOUS 19224472 HAS SOUPS 18655276 WITH SCORE 1.8735769718E7
AT ITER 3904 NEW BEST:: SOT 122674527 SOS 80481723 HAS SOPS 65582665 HAS SOUS 19224435 HAS SOUPS 18655239 WITH SCORE 1.8735720723E7
AT ITER 3919 NEW BEST:: SOT 122702707 SOS 80520965 HAS SOPS 65623338 HAS SOUS 19205722 HAS SOUPS 18637053 WITH SCORE 1.8717573965E7
AT ITER 3921 NEW BEST:: SOT 122699643 SOS 80518047 HAS SOPS 65619117 HAS SOUS 19194526 HAS SOUPS 18625857 WITH SCORE 1.8706375047E7
AT ITER 3924 NEW BEST:: SOT 122699702 SOS 80516069 HAS SOPS 65612590 HAS SOUS 19193697 HAS SOUPS 18625028 WITH SCORE 1.8705544069E7
AT ITER 3931 NEW BEST:: SOT 122707832 SOS 80538029 HAS SOPS 65628300 HAS SOUS 19184003 HAS SOUPS 18615334 WITH SCORE 1.8695872029E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13941292 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15957420 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RERS17pb115-PT-5, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204100184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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