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.r291-tall-167873943400848.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is QuasiCertifProtocol-COL-28, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943400848
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.1K Feb 26 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 01:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 01:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 01:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 01:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 01:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 120K 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 1678821007255

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=QuasiCertifProtocol-COL-28
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 19:10:10] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 19:10:10] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 19:10:10] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 19:10:10] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 19:10:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 867 ms
[2023-03-14 19:10:11] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 2998 PT places and 446.0 transition bindings in 50 ms.
[2023-03-14 19:10:11] [INFO ] Unfolded HLPN to a Petri net with 2998 places and 446 transitions 6489 arcs in 90 ms.
[2023-03-14 19:10:11] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-14 19:10:11] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 2998 places, 446 transitions and 6489 arcs took 44 ms.
Total runtime 1325 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), instance 28
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 2998 places, 446 transitions, 6489 arcs.
AT ITER 0 NEW BEST:: SOT 744224 SOS 587988 HAS SOPS 587988 HAS SOUS 481852 HAS SOUPS 481852 WITH SCORE 482439.988
AT ITER 111 NEW BEST:: SOT 744224 SOS 587815 HAS SOPS 587815 HAS SOUS 481411 HAS SOUPS 481411 WITH SCORE 481998.815
AT ITER 219 NEW BEST:: SOT 744807 SOS 587732 HAS SOPS 587732 HAS SOUS 480587 HAS SOUPS 480587 WITH SCORE 481174.732
AT ITER 224 NEW BEST:: SOT 745134 SOS 587026 HAS SOPS 587026 HAS SOUS 479247 HAS SOUPS 479247 WITH SCORE 479834.026
AT ITER 228 NEW BEST:: SOT 745134 SOS 587015 HAS SOPS 587015 HAS SOUS 479236 HAS SOUPS 479236 WITH SCORE 479823.015
AT ITER 262 NEW BEST:: SOT 745769 SOS 585940 HAS SOPS 585940 HAS SOUS 478667 HAS SOUPS 478667 WITH SCORE 479252.94
AT ITER 283 NEW BEST:: SOT 745768 SOS 585939 HAS SOPS 585939 HAS SOUS 478666 HAS SOUPS 478666 WITH SCORE 479251.939
AT ITER 305 NEW BEST:: SOT 745768 SOS 585910 HAS SOPS 585910 HAS SOUS 478637 HAS SOUPS 478637 WITH SCORE 479222.91
AT ITER 316 NEW BEST:: SOT 745768 SOS 585881 HAS SOPS 585881 HAS SOUS 478608 HAS SOUPS 478608 WITH SCORE 479193.881
AT ITER 350 NEW BEST:: SOT 745766 SOS 585879 HAS SOPS 585879 HAS SOUS 478606 HAS SOUPS 478606 WITH SCORE 479191.879
AT ITER 361 NEW BEST:: SOT 745674 SOS 585858 HAS SOPS 585858 HAS SOUS 478585 HAS SOUPS 478585 WITH SCORE 479170.858
AT ITER 414 NEW BEST:: SOT 745674 SOS 585511 HAS SOPS 585511 HAS SOUS 477801 HAS SOUPS 477801 WITH SCORE 478386.511
AT ITER 468 NEW BEST:: SOT 745674 SOS 585493 HAS SOPS 585493 HAS SOUS 477783 HAS SOUPS 477783 WITH SCORE 478368.493
AT ITER 487 NEW BEST:: SOT 745674 SOS 583491 HAS SOPS 583491 HAS SOUS 475809 HAS SOUPS 475809 WITH SCORE 476392.491
AT ITER 490 NEW BEST:: SOT 745824 SOS 581057 HAS SOPS 581057 HAS SOUS 473581 HAS SOUPS 473581 WITH SCORE 474162.057
AT ITER 497 NEW BEST:: SOT 746399 SOS 580311 HAS SOPS 580311 HAS SOUS 473443 HAS SOUPS 473443 WITH SCORE 474023.311
AT ITER 504 NEW BEST:: SOT 746399 SOS 580225 HAS SOPS 580225 HAS SOUS 473181 HAS SOUPS 473181 WITH SCORE 473761.225
AT ITER 555 NEW BEST:: SOT 747428 SOS 579689 HAS SOPS 579689 HAS SOUS 471955 HAS SOUPS 471955 WITH SCORE 472534.689
AT ITER 650 NEW BEST:: SOT 747428 SOS 578693 HAS SOPS 578693 HAS SOUS 470987 HAS SOUPS 470987 WITH SCORE 471565.693
AT ITER 720 NEW BEST:: SOT 748345 SOS 577958 HAS SOPS 577958 HAS SOUS 469422 HAS SOUPS 469422 WITH SCORE 469999.958
AT ITER 753 NEW BEST:: SOT 748345 SOS 577522 HAS SOPS 577522 HAS SOUS 468986 HAS SOUPS 468986 WITH SCORE 469563.522
AT ITER 764 NEW BEST:: SOT 748345 SOS 577510 HAS SOPS 577510 HAS SOUS 468974 HAS SOUPS 468974 WITH SCORE 469551.51
AT ITER 818 NEW BEST:: SOT 748345 SOS 575162 HAS SOPS 575162 HAS SOUS 467875 HAS SOUPS 467875 WITH SCORE 468450.162
AT ITER 832 NEW BEST:: SOT 748345 SOS 575142 HAS SOPS 575142 HAS SOUS 467875 HAS SOUPS 467875 WITH SCORE 468450.142
AT ITER 849 NEW BEST:: SOT 749324 SOS 573913 HAS SOPS 573913 HAS SOUS 467681 HAS SOUPS 467681 WITH SCORE 468254.913
AT ITER 854 NEW BEST:: SOT 749419 SOS 572943 HAS SOPS 572943 HAS SOUS 465825 HAS SOUPS 465825 WITH SCORE 466397.943
AT ITER 876 NEW BEST:: SOT 749418 SOS 572942 HAS SOPS 572942 HAS SOUS 465824 HAS SOUPS 465824 WITH SCORE 466396.942
AT ITER 901 NEW BEST:: SOT 749389 SOS 572913 HAS SOPS 572913 HAS SOUS 465795 HAS SOUPS 465795 WITH SCORE 466367.913
AT ITER 986 NEW BEST:: SOT 749953 SOS 572158 HAS SOPS 572158 HAS SOUS 464274 HAS SOUPS 464274 WITH SCORE 464846.158
AT ITER 1014 NEW BEST:: SOT 749953 SOS 572139 HAS SOPS 572139 HAS SOUS 464255 HAS SOUPS 464255 WITH SCORE 464827.139
AT ITER 1030 NEW BEST:: SOT 750577 SOS 571488 HAS SOPS 571488 HAS SOUS 463452 HAS SOUPS 463452 WITH SCORE 464023.488
AT ITER 1037 NEW BEST:: SOT 750577 SOS 571360 HAS SOPS 571360 HAS SOUS 463324 HAS SOUPS 463324 WITH SCORE 463895.36
AT ITER 1088 NEW BEST:: SOT 750831 SOS 571078 HAS SOPS 571078 HAS SOUS 463303 HAS SOUPS 463303 WITH SCORE 463874.078
AT ITER 1092 NEW BEST:: SOT 751410 SOS 570756 HAS SOPS 570756 HAS SOUS 462981 HAS SOUPS 462981 WITH SCORE 463551.756
AT ITER 1129 NEW BEST:: SOT 751595 SOS 570513 HAS SOPS 570513 HAS SOUS 462952 HAS SOUPS 462952 WITH SCORE 463522.513
AT ITER 1215 NEW BEST:: SOT 751595 SOS 563454 HAS SOPS 563454 HAS SOUS 462921 HAS SOUPS 462921 WITH SCORE 463484.454
AT ITER 1276 NEW BEST:: SOT 751595 SOS 562976 HAS SOPS 562976 HAS SOUS 462627 HAS SOUPS 462627 WITH SCORE 463189.976
AT ITER 1313 NEW BEST:: SOT 751954 SOS 563126 HAS SOPS 563126 HAS SOUS 462310 HAS SOUPS 462310 WITH SCORE 462873.126
AT ITER 1360 NEW BEST:: SOT 751954 SOS 562868 HAS SOPS 562868 HAS SOUS 461850 HAS SOUPS 461850 WITH SCORE 462412.868
AT ITER 1370 NEW BEST:: SOT 751954 SOS 545584 HAS SOPS 545584 HAS SOUS 461254 HAS SOUPS 461254 WITH SCORE 461799.584
AT ITER 1383 NEW BEST:: SOT 753049 SOS 545385 HAS SOPS 545385 HAS SOUS 460932 HAS SOUPS 460932 WITH SCORE 461477.385
AT ITER 1473 NEW BEST:: SOT 753049 SOS 545385 HAS SOPS 545385 HAS SOUS 460907 HAS SOUPS 460907 WITH SCORE 461452.385
AT ITER 1489 NEW BEST:: SOT 753069 SOS 545385 HAS SOPS 545385 HAS SOUS 460897 HAS SOUPS 460897 WITH SCORE 461442.385
AT ITER 1542 NEW BEST:: SOT 753069 SOS 545183 HAS SOPS 545183 HAS SOUS 460412 HAS SOUPS 460412 WITH SCORE 460957.183
AT ITER 1567 NEW BEST:: SOT 753069 SOS 545115 HAS SOPS 545115 HAS SOUS 460344 HAS SOUPS 460344 WITH SCORE 460889.115
AT ITER 1573 NEW BEST:: SOT 753068 SOS 545114 HAS SOPS 545114 HAS SOUS 460343 HAS SOUPS 460343 WITH SCORE 460888.114
AT ITER 1623 NEW BEST:: SOT 753955 SOS 544846 HAS SOPS 544846 HAS SOUS 459992 HAS SOUPS 459992 WITH SCORE 460536.846
AT ITER 1654 NEW BEST:: SOT 753955 SOS 542560 HAS SOPS 542560 HAS SOUS 457734 HAS SOUPS 457734 WITH SCORE 458276.56
AT ITER 1688 NEW BEST:: SOT 753955 SOS 541355 HAS SOPS 541355 HAS SOUS 457069 HAS SOUPS 457069 WITH SCORE 457610.355
AT ITER 1729 NEW BEST:: SOT 753955 SOS 538516 HAS SOPS 538516 HAS SOUS 456000 HAS SOUPS 456000 WITH SCORE 456538.516
AT ITER 1773 NEW BEST:: SOT 754228 SOS 538185 HAS SOPS 538185 HAS SOUS 455971 HAS SOUPS 455971 WITH SCORE 456509.185
AT ITER 1838 NEW BEST:: SOT 754227 SOS 538184 HAS SOPS 538184 HAS SOUS 455970 HAS SOUPS 455970 WITH SCORE 456508.184
AT ITER 1852 NEW BEST:: SOT 755038 SOS 537718 HAS SOPS 537718 HAS SOUS 455122 HAS SOUPS 455122 WITH SCORE 455659.718
AT ITER 1857 NEW BEST:: SOT 755038 SOS 537715 HAS SOPS 537715 HAS SOUS 455119 HAS SOUPS 455119 WITH SCORE 455656.715
AT ITER 1979 NEW BEST:: SOT 755038 SOS 537710 HAS SOPS 537710 HAS SOUS 455114 HAS SOUPS 455114 WITH SCORE 455651.71
AT ITER 1990 NEW BEST:: SOT 755038 SOS 536330 HAS SOPS 536330 HAS SOUS 454770 HAS SOUPS 454770 WITH SCORE 455306.33
AT ITER 2123 NEW BEST:: SOT 755038 SOS 534462 HAS SOPS 534462 HAS SOUS 454237 HAS SOUPS 454237 WITH SCORE 454771.462
AT ITER 2126 NEW BEST:: SOT 755054 SOS 534469 HAS SOPS 534469 HAS SOUS 454228 HAS SOUPS 454228 WITH SCORE 454762.469
AT ITER 2135 NEW BEST:: SOT 755029 SOS 534444 HAS SOPS 534444 HAS SOUS 454203 HAS SOUPS 454203 WITH SCORE 454737.444
AT ITER 2162 NEW BEST:: SOT 755159 SOS 534443 HAS SOPS 534443 HAS SOUS 454202 HAS SOUPS 454202 WITH SCORE 454736.443
AT ITER 2174 NEW BEST:: SOT 755117 SOS 534401 HAS SOPS 534401 HAS SOUS 454133 HAS SOUPS 454133 WITH SCORE 454667.401
AT ITER 2207 NEW BEST:: SOT 755568 SOS 534393 HAS SOPS 534393 HAS SOUS 454125 HAS SOUPS 454125 WITH SCORE 454659.393
AT ITER 2271 NEW BEST:: SOT 755557 SOS 534382 HAS SOPS 534382 HAS SOUS 454114 HAS SOUPS 454114 WITH SCORE 454648.382
AT ITER 2313 NEW BEST:: SOT 756440 SOS 534519 HAS SOPS 534519 HAS SOUS 453449 HAS SOUPS 453449 WITH SCORE 453983.519
AT ITER 2333 NEW BEST:: SOT 756411 SOS 534280 HAS SOPS 534280 HAS SOUS 453315 HAS SOUPS 453315 WITH SCORE 453849.28
AT ITER 2355 NEW BEST:: SOT 756411 SOS 532698 HAS SOPS 532698 HAS SOUS 451761 HAS SOUPS 451761 WITH SCORE 452293.698
AT ITER 2361 NEW BEST:: SOT 756410 SOS 532697 HAS SOPS 532697 HAS SOUS 451760 HAS SOUPS 451760 WITH SCORE 452292.697
AT ITER 2365 NEW BEST:: SOT 756410 SOS 532428 HAS SOPS 532428 HAS SOUS 451334 HAS SOUPS 451334 WITH SCORE 451866.428
AT ITER 2428 NEW BEST:: SOT 756518 SOS 529839 HAS SOPS 529839 HAS SOUS 451324 HAS SOUPS 451324 WITH SCORE 451853.839
AT ITER 2452 NEW BEST:: SOT 757120 SOS 529237 HAS SOPS 529237 HAS SOUS 451324 HAS SOUPS 451324 WITH SCORE 451853.237
AT ITER 2456 NEW BEST:: SOT 757119 SOS 529236 HAS SOPS 529236 HAS SOUS 451323 HAS SOUPS 451323 WITH SCORE 451852.236
AT ITER 2585 NEW BEST:: SOT 757118 SOS 529235 HAS SOPS 529235 HAS SOUS 451322 HAS SOUPS 451322 WITH SCORE 451851.235
AT ITER 2596 NEW BEST:: SOT 757117 SOS 529234 HAS SOPS 529234 HAS SOUS 451321 HAS SOUPS 451321 WITH SCORE 451850.234
AT ITER 2620 NEW BEST:: SOT 757309 SOS 528796 HAS SOPS 528796 HAS SOUS 450529 HAS SOUPS 450529 WITH SCORE 451057.796
AT ITER 2644 NEW BEST:: SOT 757309 SOS 528692 HAS SOPS 528692 HAS SOUS 450477 HAS SOUPS 450477 WITH SCORE 451005.692
AT ITER 2666 NEW BEST:: SOT 757309 SOS 528388 HAS SOPS 528388 HAS SOUS 450325 HAS SOUPS 450325 WITH SCORE 450853.388
AT ITER 2726 NEW BEST:: SOT 757309 SOS 527905 HAS SOPS 527905 HAS SOUS 450174 HAS SOUPS 450174 WITH SCORE 450701.905
AT ITER 2762 NEW BEST:: SOT 757309 SOS 526411 HAS SOPS 526411 HAS SOUS 448680 HAS SOUPS 448680 WITH SCORE 449206.411
AT ITER 2793 NEW BEST:: SOT 757309 SOS 526382 HAS SOPS 526382 HAS SOUS 448651 HAS SOUPS 448651 WITH SCORE 449177.382
AT ITER 2806 NEW BEST:: SOT 757309 SOS 526095 HAS SOPS 526095 HAS SOUS 448627 HAS SOUPS 448627 WITH SCORE 449153.095
AT ITER 2887 NEW BEST:: SOT 757309 SOS 526092 HAS SOPS 526092 HAS SOUS 448624 HAS SOUPS 448624 WITH SCORE 449150.092
AT ITER 2902 NEW BEST:: SOT 757309 SOS 524679 HAS SOPS 524679 HAS SOUS 447682 HAS SOUPS 447682 WITH SCORE 448206.679
AT ITER 2992 NEW BEST:: SOT 757309 SOS 524650 HAS SOPS 524650 HAS SOUS 447653 HAS SOUPS 447653 WITH SCORE 448177.65
AT ITER 3040 NEW BEST:: SOT 757309 SOS 524621 HAS SOPS 524621 HAS SOUS 447624 HAS SOUPS 447624 WITH SCORE 448148.621
AT ITER 3055 NEW BEST:: SOT 757308 SOS 524620 HAS SOPS 524620 HAS SOUS 447623 HAS SOUPS 447623 WITH SCORE 448147.62
AT ITER 3077 NEW BEST:: SOT 757295 SOS 524494 HAS SOPS 524494 HAS SOUS 447610 HAS SOUPS 447610 WITH SCORE 448134.494
AT ITER 3107 NEW BEST:: SOT 757295 SOS 522127 HAS SOPS 522127 HAS SOUS 447607 HAS SOUPS 447607 WITH SCORE 448129.127
AT ITER 3126 NEW BEST:: SOT 757295 SOS 521581 HAS SOPS 521581 HAS SOUS 447583 HAS SOUPS 447583 WITH SCORE 448104.581
AT ITER 3134 NEW BEST:: SOT 758805 SOS 521505 HAS SOPS 521505 HAS SOUS 447507 HAS SOUPS 447507 WITH SCORE 448028.505
AT ITER 3161 NEW BEST:: SOT 758805 SOS 521373 HAS SOPS 521373 HAS SOUS 447375 HAS SOUPS 447375 WITH SCORE 447896.373
AT ITER 3162 NEW BEST:: SOT 758805 SOS 519872 HAS SOPS 519872 HAS SOUS 446839 HAS SOUPS 446839 WITH SCORE 447358.872
AT ITER 3205 NEW BEST:: SOT 758805 SOS 519852 HAS SOPS 519852 HAS SOUS 446649 HAS SOUPS 446649 WITH SCORE 447168.852
AT ITER 3213 NEW BEST:: SOT 758763 SOS 519810 HAS SOPS 519810 HAS SOUS 446607 HAS SOUPS 446607 WITH SCORE 447126.81
AT ITER 3222 NEW BEST:: SOT 758763 SOS 519781 HAS SOPS 519781 HAS SOUS 446578 HAS SOUPS 446578 WITH SCORE 447097.781
AT ITER 3223 NEW BEST:: SOT 758763 SOS 519781 HAS SOPS 519781 HAS SOUS 446456 HAS SOUPS 446456 WITH SCORE 446975.781
AT ITER 3230 NEW BEST:: SOT 759340 SOS 518759 HAS SOPS 518759 HAS SOUS 446253 HAS SOUPS 446253 WITH SCORE 446771.759
AT ITER 3241 NEW BEST:: SOT 759338 SOS 518757 HAS SOPS 518757 HAS SOUS 446251 HAS SOUPS 446251 WITH SCORE 446769.757
AT ITER 3280 NEW BEST:: SOT 759337 SOS 518756 HAS SOPS 518756 HAS SOUS 446250 HAS SOUPS 446250 WITH SCORE 446768.756
AT ITER 3330 NEW BEST:: SOT 759336 SOS 518746 HAS SOPS 518746 HAS SOUS 446243 HAS SOUPS 446243 WITH SCORE 446761.746
AT ITER 3348 NEW BEST:: SOT 759336 SOS 517975 HAS SOPS 517975 HAS SOUS 445729 HAS SOUPS 445729 WITH SCORE 446246.975
AT ITER 3452 NEW BEST:: SOT 760327 SOS 517946 HAS SOPS 517946 HAS SOUS 445700 HAS SOUPS 445700 WITH SCORE 446217.946
AT ITER 3512 NEW BEST:: SOT 760327 SOS 517917 HAS SOPS 517917 HAS SOUS 445671 HAS SOUPS 445671 WITH SCORE 446188.917
AT ITER 3532 NEW BEST:: SOT 760541 SOS 518131 HAS SOPS 518131 HAS SOUS 445533 HAS SOUPS 445533 WITH SCORE 446051.131
AT ITER 3553 NEW BEST:: SOT 760540 SOS 518130 HAS SOPS 518130 HAS SOUS 445532 HAS SOUPS 445532 WITH SCORE 446050.13
AT ITER 3556 NEW BEST:: SOT 760540 SOS 517039 HAS SOPS 517039 HAS SOUS 445433 HAS SOUPS 445433 WITH SCORE 445950.039
AT ITER 3588 NEW BEST:: SOT 760719 SOS 517010 HAS SOPS 517010 HAS SOUS 445404 HAS SOUPS 445404 WITH SCORE 445921.01
AT ITER 3589 NEW BEST:: SOT 760719 SOS 516746 HAS SOPS 516746 HAS SOUS 445034 HAS SOUPS 445034 WITH SCORE 445550.746
AT ITER 3636 NEW BEST:: SOT 761511 SOS 515954 HAS SOPS 515954 HAS SOUS 445034 HAS SOUPS 445034 WITH SCORE 445549.954
AT ITER 3727 NEW BEST:: SOT 761511 SOS 514244 HAS SOPS 514244 HAS SOUS 445015 HAS SOUPS 445015 WITH SCORE 445529.244
AT ITER 3744 NEW BEST:: SOT 761511 SOS 513946 HAS SOPS 513946 HAS SOUS 444866 HAS SOUPS 444866 WITH SCORE 445379.946
AT ITER 3968 NEW BEST:: SOT 761706 SOS 513157 HAS SOPS 513157 HAS SOUS 444077 HAS SOUPS 444077 WITH SCORE 444590.157
AT ITER 4092 NEW BEST:: SOT 762748 SOS 511737 HAS SOPS 511737 HAS SOUS 443978 HAS SOUPS 443978 WITH SCORE 444489.737
AT ITER 4097 NEW BEST:: SOT 762747 SOS 511736 HAS SOPS 511736 HAS SOUS 443977 HAS SOUPS 443977 WITH SCORE 444488.736
AT ITER 4140 NEW BEST:: SOT 762747 SOS 510298 HAS SOPS 510298 HAS SOUS 443243 HAS SOUPS 443243 WITH SCORE 443753.298
AT ITER 4169 NEW BEST:: SOT 763210 SOS 509725 HAS SOPS 509725 HAS SOUS 443188 HAS SOUPS 443188 WITH SCORE 443697.725
AT ITER 4303 NEW BEST:: SOT 764334 SOS 509696 HAS SOPS 509696 HAS SOUS 443159 HAS SOUPS 443159 WITH SCORE 443668.696
AT ITER 4323 NEW BEST:: SOT 764572 SOS 509667 HAS SOPS 509667 HAS SOUS 443130 HAS SOUPS 443130 WITH SCORE 443639.667
AT ITER 4325 NEW BEST:: SOT 764572 SOS 509666 HAS SOPS 509666 HAS SOUS 443129 HAS SOUPS 443129 WITH SCORE 443638.666
AT ITER 4380 NEW BEST:: SOT 764572 SOS 508535 HAS SOPS 508535 HAS SOUS 441866 HAS SOUPS 441866 WITH SCORE 442374.535
AT ITER 4468 NEW BEST:: SOT 764571 SOS 508534 HAS SOPS 508534 HAS SOUS 441865 HAS SOUPS 441865 WITH SCORE 442373.534
AT ITER 4502 NEW BEST:: SOT 764571 SOS 508505 HAS SOPS 508505 HAS SOUS 441836 HAS SOUPS 441836 WITH SCORE 442344.505
AT ITER 4533 NEW BEST:: SOT 764571 SOS 508498 HAS SOPS 508498 HAS SOUS 441829 HAS SOUPS 441829 WITH SCORE 442337.498
AT ITER 4545 NEW BEST:: SOT 764571 SOS 508498 HAS SOPS 508498 HAS SOUS 441828 HAS SOUPS 441828 WITH SCORE 442336.498
AT ITER 4569 NEW BEST:: SOT 764564 SOS 508491 HAS SOPS 508491 HAS SOUS 441821 HAS SOUPS 441821 WITH SCORE 442329.491
AT ITER 4587 NEW BEST:: SOT 764563 SOS 508490 HAS SOPS 508490 HAS SOUS 441820 HAS SOUPS 441820 WITH SCORE 442328.49
AT ITER 4612 NEW BEST:: SOT 765234 SOS 508425 HAS SOPS 508425 HAS SOUS 441755 HAS SOUPS 441755 WITH SCORE 442263.425
AT ITER 4617 NEW BEST:: SOT 765233 SOS 508424 HAS SOPS 508424 HAS SOUS 441754 HAS SOUPS 441754 WITH SCORE 442262.424
AT ITER 4638 NEW BEST:: SOT 765233 SOS 506659 HAS SOPS 506659 HAS SOUS 441172 HAS SOUPS 441172 WITH SCORE 441678.659
AT ITER 4648 NEW BEST:: SOT 765233 SOS 504359 HAS SOPS 504359 HAS SOUS 440063 HAS SOUPS 440063 WITH SCORE 440567.359
AT ITER 4655 NEW BEST:: SOT 765213 SOS 504339 HAS SOPS 504339 HAS SOUS 440043 HAS SOUPS 440043 WITH SCORE 440547.339
AT ITER 4768 NEW BEST:: SOT 765213 SOS 504253 HAS SOPS 504253 HAS SOUS 439317 HAS SOUPS 439317 WITH SCORE 439821.253
AT ITER 4781 NEW BEST:: SOT 765184 SOS 504283 HAS SOPS 504283 HAS SOUS 439288 HAS SOUPS 439288 WITH SCORE 439792.283
AT ITER 4790 NEW BEST:: SOT 765184 SOS 503744 HAS SOPS 503744 HAS SOUS 439271 HAS SOUPS 439271 WITH SCORE 439774.744
AT ITER 4813 NEW BEST:: SOT 765844 SOS 502819 HAS SOPS 502819 HAS SOUS 438346 HAS SOUPS 438346 WITH SCORE 438848.819
AT ITER 4832 NEW BEST:: SOT 765844 SOS 501962 HAS SOPS 501962 HAS SOUS 437890 HAS SOUPS 437890 WITH SCORE 438391.962
AT ITER 4875 NEW BEST:: SOT 765844 SOS 501929 HAS SOPS 501929 HAS SOUS 437857 HAS SOUPS 437857 WITH SCORE 438358.929
AT ITER 4904 NEW BEST:: SOT 765844 SOS 501614 HAS SOPS 501614 HAS SOUS 437647 HAS SOUPS 437647 WITH SCORE 438148.614
AT ITER 4917 NEW BEST:: SOT 765816 SOS 501586 HAS SOPS 501586 HAS SOUS 437619 HAS SOUPS 437619 WITH SCORE 438120.586
AT ITER 4962 NEW BEST:: SOT 765775 SOS 501545 HAS SOPS 501545 HAS SOUS 437563 HAS SOUPS 437563 WITH SCORE 438064.545
AT ITER 4964 NEW BEST:: SOT 765775 SOS 501350 HAS SOPS 501350 HAS SOUS 437368 HAS SOUPS 437368 WITH SCORE 437869.35
AT ITER 5054 NEW BEST:: SOT 765775 SOS 501277 HAS SOPS 501277 HAS SOUS 437295 HAS SOUPS 437295 WITH SCORE 437796.277
AT ITER 5057 NEW BEST:: SOT 765775 SOS 501253 HAS SOPS 501253 HAS SOUS 437271 HAS SOUPS 437271 WITH SCORE 437772.253
AT ITER 5090 NEW BEST:: SOT 765775 SOS 476661 HAS SOPS 476661 HAS SOUS 436423 HAS SOUPS 436423 WITH SCORE 436899.661
AT ITER 5145 NEW BEST:: SOT 765775 SOS 476660 HAS SOPS 476660 HAS SOUS 436422 HAS SOUPS 436422 WITH SCORE 436898.66
AT ITER 5207 NEW BEST:: SOT 765998 SOS 476631 HAS SOPS 476631 HAS SOUS 436393 HAS SOUPS 436393 WITH SCORE 436869.631
AT ITER 5222 NEW BEST:: SOT 765998 SOS 476785 HAS SOPS 476785 HAS SOUS 436083 HAS SOUPS 436083 WITH SCORE 436559.785
AT ITER 5260 NEW BEST:: SOT 765978 SOS 476765 HAS SOPS 476765 HAS SOUS 436063 HAS SOUPS 436063 WITH SCORE 436539.765
AT ITER 5335 NEW BEST:: SOT 765978 SOS 475952 HAS SOPS 475952 HAS SOUS 435489 HAS SOUPS 435489 WITH SCORE 435964.952
AT ITER 5344 NEW BEST:: SOT 766325 SOS 475904 HAS SOPS 475904 HAS SOUS 435489 HAS SOUPS 435489 WITH SCORE 435964.904
AT ITER 5543 NEW BEST:: SOT 766325 SOS 475060 HAS SOPS 475060 HAS SOUS 435067 HAS SOUPS 435067 WITH SCORE 435542.06
AT ITER 5548 NEW BEST:: SOT 766325 SOS 474794 HAS SOPS 474794 HAS SOUS 434801 HAS SOUPS 434801 WITH SCORE 435275.794
AT ITER 5579 NEW BEST:: SOT 766043 SOS 474792 HAS SOPS 474792 HAS SOUS 434799 HAS SOUPS 434799 WITH SCORE 435273.792
AT ITER 5623 NEW BEST:: SOT 766568 SOS 474791 HAS SOPS 474791 HAS SOUS 434798 HAS SOUPS 434798 WITH SCORE 435272.791
AT ITER 5678 NEW BEST:: SOT 766644 SOS 474867 HAS SOPS 474867 HAS SOUS 434671 HAS SOUPS 434671 WITH SCORE 435145.867
AT ITER 5774 NEW BEST:: SOT 766643 SOS 474866 HAS SOPS 474866 HAS SOUS 434670 HAS SOUPS 434670 WITH SCORE 435144.866
AT ITER 5778 NEW BEST:: SOT 766643 SOS 474692 HAS SOPS 474692 HAS SOUS 434496 HAS SOUPS 434496 WITH SCORE 434970.692
AT ITER 5814 NEW BEST:: SOT 766643 SOS 474685 HAS SOPS 474685 HAS SOUS 434489 HAS SOUPS 434489 WITH SCORE 434963.685
AT ITER 5831 NEW BEST:: SOT 766877 SOS 474451 HAS SOPS 474451 HAS SOUS 434489 HAS SOUPS 434489 WITH SCORE 434963.451
AT ITER 5838 NEW BEST:: SOT 766877 SOS 474262 HAS SOPS 474262 HAS SOUS 433610 HAS SOUPS 433610 WITH SCORE 434084.262
AT ITER 5921 NEW BEST:: SOT 766877 SOS 474029 HAS SOPS 474029 HAS SOUS 433377 HAS SOUPS 433377 WITH SCORE 433851.029
AT ITER 5953 NEW BEST:: SOT 768109 SOS 473901 HAS SOPS 473901 HAS SOUS 433368 HAS SOUPS 433368 WITH SCORE 433841.901
AT ITER 5963 NEW BEST:: SOT 768094 SOS 473886 HAS SOPS 473886 HAS SOUS 433353 HAS SOUPS 433353 WITH SCORE 433826.886
AT ITER 6105 NEW BEST:: SOT 768094 SOS 473885 HAS SOPS 473885 HAS SOUS 433352 HAS SOUPS 433352 WITH SCORE 433825.885
AT ITER 6141 NEW BEST:: SOT 768094 SOS 474184 HAS SOPS 474184 HAS SOUS 433202 HAS SOUPS 433202 WITH SCORE 433676.184
AT ITER 6201 NEW BEST:: SOT 768080 SOS 474170 HAS SOPS 474170 HAS SOUS 433188 HAS SOUPS 433188 WITH SCORE 433662.17
AT ITER 6229 NEW BEST:: SOT 768080 SOS 473280 HAS SOPS 473280 HAS SOUS 432743 HAS SOUPS 432743 WITH SCORE 433216.28
AT ITER 6342 NEW BEST:: SOT 768080 SOS 472954 HAS SOPS 472954 HAS SOUS 432417 HAS SOUPS 432417 WITH SCORE 432889.954
AT ITER 6373 NEW BEST:: SOT 768080 SOS 472954 HAS SOPS 472954 HAS SOUS 432100 HAS SOUPS 432100 WITH SCORE 432572.954
AT ITER 6501 NEW BEST:: SOT 769531 SOS 472953 HAS SOPS 472953 HAS SOUS 432099 HAS SOUPS 432099 WITH SCORE 432571.953
AT ITER 6659 NEW BEST:: SOT 769594 SOS 472704 HAS SOPS 472704 HAS SOUS 432006 HAS SOUPS 432006 WITH SCORE 432478.704
AT ITER 6682 NEW BEST:: SOT 769550 SOS 472660 HAS SOPS 472660 HAS SOUS 431938 HAS SOUPS 431938 WITH SCORE 432410.66
AT ITER 6736 NEW BEST:: SOT 769503 SOS 472447 HAS SOPS 472447 HAS SOUS 431808 HAS SOUPS 431808 WITH SCORE 432280.447
AT ITER 6756 NEW BEST:: SOT 769503 SOS 472284 HAS SOPS 472284 HAS SOUS 431645 HAS SOUPS 431645 WITH SCORE 432117.284
AT ITER 6809 NEW BEST:: SOT 769503 SOS 471719 HAS SOPS 471719 HAS SOUS 431080 HAS SOUPS 431080 WITH SCORE 431551.719
AT ITER 6846 NEW BEST:: SOT 769539 SOS 471755 HAS SOPS 471755 HAS SOUS 430997 HAS SOUPS 430997 WITH SCORE 431468.755
AT ITER 6926 NEW BEST:: SOT 769539 SOS 471661 HAS SOPS 471661 HAS SOUS 430950 HAS SOUPS 430950 WITH SCORE 431421.661
AT ITER 6933 NEW BEST:: SOT 769539 SOS 471652 HAS SOPS 471652 HAS SOUS 430929 HAS SOUPS 430929 WITH SCORE 431400.652
AT ITER 6961 NEW BEST:: SOT 769539 SOS 470057 HAS SOPS 470057 HAS SOUS 430896 HAS SOUPS 430896 WITH SCORE 431366.057
AT ITER 6965 NEW BEST:: SOT 769820 SOS 469969 HAS SOPS 469969 HAS SOUS 430867 HAS SOUPS 430867 WITH SCORE 431336.969
AT ITER 7011 NEW BEST:: SOT 769819 SOS 469968 HAS SOPS 469968 HAS SOUS 430866 HAS SOUPS 430866 WITH SCORE 431335.968
AT ITER 7078 NEW BEST:: SOT 769819 SOS 469959 HAS SOPS 469959 HAS SOUS 430835 HAS SOUPS 430835 WITH SCORE 431304.959
AT ITER 7095 NEW BEST:: SOT 769819 SOS 469942 HAS SOPS 469942 HAS SOUS 430818 HAS SOUPS 430818 WITH SCORE 431287.942
AT ITER 7111 NEW BEST:: SOT 769819 SOS 469920 HAS SOPS 469920 HAS SOUS 430796 HAS SOUPS 430796 WITH SCORE 431265.92
AT ITER 7172 NEW BEST:: SOT 769818 SOS 469919 HAS SOPS 469919 HAS SOUS 430795 HAS SOUPS 430795 WITH SCORE 431264.919
AT ITER 7191 NEW BEST:: SOT 769817 SOS 469918 HAS SOPS 469918 HAS SOUS 430794 HAS SOUPS 430794 WITH SCORE 431263.918
AT ITER 7202 NEW BEST:: SOT 769817 SOS 469915 HAS SOPS 469915 HAS SOUS 430791 HAS SOUPS 430791 WITH SCORE 431260.915
AT ITER 7242 NEW BEST:: SOT 770059 SOS 469683 HAS SOPS 469683 HAS SOUS 430559 HAS SOUPS 430559 WITH SCORE 431028.683
AT ITER 7270 NEW BEST:: SOT 770057 SOS 469681 HAS SOPS 469681 HAS SOUS 430557 HAS SOUPS 430557 WITH SCORE 431026.681
AT ITER 7314 NEW BEST:: SOT 770057 SOS 467586 HAS SOPS 467586 HAS SOUS 430555 HAS SOUPS 430555 WITH SCORE 431022.586
AT ITER 7349 NEW BEST:: SOT 770695 SOS 467109 HAS SOPS 467109 HAS SOUS 429900 HAS SOUPS 429900 WITH SCORE 430367.109
AT ITER 7356 NEW BEST:: SOT 770695 SOS 467087 HAS SOPS 467087 HAS SOUS 429878 HAS SOUPS 429878 WITH SCORE 430345.087
AT ITER 7371 NEW BEST:: SOT 770693 SOS 467085 HAS SOPS 467085 HAS SOUS 429876 HAS SOUPS 429876 WITH SCORE 430343.085
AT ITER 7450 NEW BEST:: SOT 770948 SOS 466238 HAS SOPS 466238 HAS SOUS 429689 HAS SOUPS 429689 WITH SCORE 430155.238
AT ITER 7476 NEW BEST:: SOT 770159 SOS 466246 HAS SOPS 466246 HAS SOUS 429575 HAS SOUPS 429575 WITH SCORE 430041.246
AT ITER 7497 NEW BEST:: SOT 770140 SOS 466227 HAS SOPS 466227 HAS SOUS 429556 HAS SOUPS 429556 WITH SCORE 430022.227
AT ITER 7569 NEW BEST:: SOT 770140 SOS 466227 HAS SOPS 466227 HAS SOUS 429555 HAS SOUPS 429555 WITH SCORE 430021.227
AT ITER 7590 NEW BEST:: SOT 770140 SOS 465407 HAS SOPS 465407 HAS SOUS 428850 HAS SOUPS 428850 WITH SCORE 429315.407
AT ITER 7604 NEW BEST:: SOT 770140 SOS 465407 HAS SOPS 465407 HAS SOUS 428525 HAS SOUPS 428525 WITH SCORE 428990.407
AT ITER 7675 NEW BEST:: SOT 770139 SOS 465406 HAS SOPS 465406 HAS SOUS 428524 HAS SOUPS 428524 WITH SCORE 428989.406
AT ITER 7745 NEW BEST:: SOT 770138 SOS 465405 HAS SOPS 465405 HAS SOUS 428523 HAS SOUPS 428523 WITH SCORE 428988.405
AT ITER 7755 NEW BEST:: SOT 770138 SOS 465405 HAS SOPS 465405 HAS SOUS 428522 HAS SOUPS 428522 WITH SCORE 428987.405
AT ITER 7770 NEW BEST:: SOT 770138 SOS 464567 HAS SOPS 464567 HAS SOUS 428103 HAS SOUPS 428103 WITH SCORE 428567.567
AT ITER 7830 NEW BEST:: SOT 770138 SOS 464567 HAS SOPS 464567 HAS SOUS 428102 HAS SOUPS 428102 WITH SCORE 428566.567
AT ITER 7900 NEW BEST:: SOT 770138 SOS 464567 HAS SOPS 464567 HAS SOUS 428101 HAS SOUPS 428101 WITH SCORE 428565.567
AT ITER 7919 NEW BEST:: SOT 770217 SOS 464577 HAS SOPS 464577 HAS SOUS 427370 HAS SOUPS 427370 WITH SCORE 427834.577
AT ITER 7938 NEW BEST:: SOT 770197 SOS 464557 HAS SOPS 464557 HAS SOUS 427350 HAS SOUPS 427350 WITH SCORE 427814.557
AT ITER 7953 NEW BEST:: SOT 770196 SOS 463882 HAS SOPS 463882 HAS SOUS 427024 HAS SOUPS 427024 WITH SCORE 427487.882
AT ITER 7958 NEW BEST:: SOT 770196 SOS 462992 HAS SOPS 462992 HAS SOUS 426579 HAS SOUPS 426579 WITH SCORE 427041.992
AT ITER 8094 NEW BEST:: SOT 770195 SOS 462991 HAS SOPS 462991 HAS SOUS 426578 HAS SOUPS 426578 WITH SCORE 427040.991
AT ITER 8134 NEW BEST:: SOT 770309 SOS 462819 HAS SOPS 462819 HAS SOUS 426549 HAS SOUPS 426549 WITH SCORE 427011.819
AT ITER 8153 NEW BEST:: SOT 770309 SOS 462790 HAS SOPS 462790 HAS SOUS 426520 HAS SOUPS 426520 WITH SCORE 426982.79
AT ITER 8158 NEW BEST:: SOT 770308 SOS 462788 HAS SOPS 462788 HAS SOUS 426518 HAS SOUPS 426518 WITH SCORE 426980.788
AT ITER 8204 NEW BEST:: SOT 770308 SOS 462788 HAS SOPS 462788 HAS SOUS 426264 HAS SOUPS 426264 WITH SCORE 426726.788
AT ITER 8220 NEW BEST:: SOT 771025 SOS 462328 HAS SOPS 462328 HAS SOUS 426082 HAS SOUPS 426082 WITH SCORE 426544.328
AT ITER 8221 NEW BEST:: SOT 771024 SOS 462327 HAS SOPS 462327 HAS SOUS 426081 HAS SOUPS 426081 WITH SCORE 426543.327
AT ITER 8240 NEW BEST:: SOT 771421 SOS 462326 HAS SOPS 462326 HAS SOUS 426080 HAS SOUPS 426080 WITH SCORE 426542.326
AT ITER 8265 NEW BEST:: SOT 771421 SOS 460181 HAS SOPS 460181 HAS SOUS 425347 HAS SOUPS 425347 WITH SCORE 425807.181
AT ITER 8365 NEW BEST:: SOT 771421 SOS 460181 HAS SOPS 460181 HAS SOUS 425346 HAS SOUPS 425346 WITH SCORE 425806.181
AT ITER 8473 NEW BEST:: SOT 771421 SOS 460087 HAS SOPS 460087 HAS SOUS 425299 HAS SOUPS 425299 WITH SCORE 425759.087
AT ITER 8602 NEW BEST:: SOT 773002 SOS 460060 HAS SOPS 460060 HAS SOUS 425272 HAS SOUPS 425272 WITH SCORE 425732.06
AT ITER 8616 NEW BEST:: SOT 773001 SOS 460059 HAS SOPS 460059 HAS SOUS 425271 HAS SOUPS 425271 WITH SCORE 425731.059
AT ITER 8654 NEW BEST:: SOT 772017 SOS 457759 HAS SOPS 457759 HAS SOUS 424045 HAS SOUPS 424045 WITH SCORE 424502.759
AT ITER 8761 NEW BEST:: SOT 772017 SOS 457985 HAS SOPS 457985 HAS SOUS 424040 HAS SOUPS 424040 WITH SCORE 424497.985
AT ITER 8769 NEW BEST:: SOT 772017 SOS 457421 HAS SOPS 457421 HAS SOUS 423758 HAS SOUPS 423758 WITH SCORE 424215.421
AT ITER 8776 NEW BEST:: SOT 772017 SOS 456029 HAS SOPS 456029 HAS SOUS 423062 HAS SOUPS 423062 WITH SCORE 423518.029
AT ITER 8832 NEW BEST:: SOT 772017 SOS 456026 HAS SOPS 456026 HAS SOUS 423059 HAS SOUPS 423059 WITH SCORE 423515.026
AT ITER 8848 NEW BEST:: SOT 772016 SOS 456007 HAS SOPS 456007 HAS SOUS 423040 HAS SOUPS 423040 WITH SCORE 423496.007
AT ITER 9063 NEW BEST:: SOT 772016 SOS 455857 HAS SOPS 455857 HAS SOUS 422890 HAS SOUPS 422890 WITH SCORE 423345.857
AT ITER 9127 NEW BEST:: SOT 772031 SOS 455845 HAS SOPS 455845 HAS SOUS 422878 HAS SOUPS 422878 WITH SCORE 423333.845
AT ITER 9132 NEW BEST:: SOT 772031 SOS 455801 HAS SOPS 455801 HAS SOUS 422678 HAS SOUPS 422678 WITH SCORE 423133.801
AT ITER 9137 NEW BEST:: SOT 772101 SOS 455539 HAS SOPS 455539 HAS SOUS 422582 HAS SOUPS 422582 WITH SCORE 423037.539
AT ITER 9207 NEW BEST:: SOT 772101 SOS 455481 HAS SOPS 455481 HAS SOUS 422524 HAS SOUPS 422524 WITH SCORE 422979.481
AT ITER 9268 NEW BEST:: SOT 772101 SOS 455474 HAS SOPS 455474 HAS SOUS 422517 HAS SOUPS 422517 WITH SCORE 422972.474
AT ITER 9274 NEW BEST:: SOT 772180 SOS 455225 HAS SOPS 455225 HAS SOUS 422432 HAS SOUPS 422432 WITH SCORE 422887.225
AT ITER 9285 NEW BEST:: SOT 772306 SOS 455208 HAS SOPS 455208 HAS SOUS 422415 HAS SOUPS 422415 WITH SCORE 422870.208
AT ITER 9325 NEW BEST:: SOT 772306 SOS 455199 HAS SOPS 455199 HAS SOUS 422412 HAS SOUPS 422412 WITH SCORE 422867.199
AT ITER 9360 NEW BEST:: SOT 772481 SOS 453093 HAS SOPS 453093 HAS SOUS 421668 HAS SOUPS 421668 WITH SCORE 422121.093
AT ITER 9594 NEW BEST:: SOT 772452 SOS 453064 HAS SOPS 453064 HAS SOUS 421639 HAS SOUPS 421639 WITH SCORE 422092.064
AT ITER 9751 NEW BEST:: SOT 772452 SOS 453064 HAS SOPS 453064 HAS SOUS 421638 HAS SOUPS 421638 WITH SCORE 422091.064
AT ITER 9787 NEW BEST:: SOT 772452 SOS 453021 HAS SOPS 453021 HAS SOUS 421595 HAS SOUPS 421595 WITH SCORE 422048.021
AT ITER 9821 NEW BEST:: SOT 772452 SOS 452513 HAS SOPS 452513 HAS SOUS 421271 HAS SOUPS 421271 WITH SCORE 421723.513
AT ITER 9858 NEW BEST:: SOT 772465 SOS 451549 HAS SOPS 451549 HAS SOUS 420829 HAS SOUPS 420829 WITH SCORE 421280.549
AT ITER 9976 NEW BEST:: SOT 772464 SOS 451548 HAS SOPS 451548 HAS SOUS 420828 HAS SOUPS 420828 WITH SCORE 421279.548
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 5264132 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16137176 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="QuasiCertifProtocol-COL-28"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-COL-28.tgz
mv QuasiCertifProtocol-COL-28 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 ;