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-167873943500856.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-32, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943500856
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 5.9K Feb 26 01:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 01:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 01:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 01:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 01:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 26 01:41 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 131K 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 1678821359675

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-32
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 19:16:02] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 19:16:02] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 19:16:02] [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:16:03] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 19:16:03] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 994 ms
[2023-03-14 19:16:04] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 3806 PT places and 506.0 transition bindings in 60 ms.
[2023-03-14 19:16:04] [INFO ] Unfolded HLPN to a Petri net with 3806 places and 506 transitions 8173 arcs in 84 ms.
[2023-03-14 19:16:04] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-14 19:16:04] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 3806 places, 506 transitions and 8173 arcs took 42 ms.
Total runtime 1472 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), instance 32
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: 3806 places, 506 transitions, 8173 arcs.
AT ITER 0 NEW BEST:: SOT 1095305 SOS 884917 HAS SOPS 884917 HAS SOUS 730165 HAS SOUPS 730165 WITH SCORE 731049.917
AT ITER 6 NEW BEST:: SOT 1095272 SOS 884751 HAS SOPS 884751 HAS SOUS 730031 HAS SOUPS 730031 WITH SCORE 730915.751
AT ITER 56 NEW BEST:: SOT 1095272 SOS 882516 HAS SOPS 882516 HAS SOUS 727828 HAS SOUPS 727828 WITH SCORE 728710.516
AT ITER 89 NEW BEST:: SOT 1095272 SOS 880822 HAS SOPS 880822 HAS SOUS 726166 HAS SOUPS 726166 WITH SCORE 727046.822
AT ITER 103 NEW BEST:: SOT 1095959 SOS 879992 HAS SOPS 879992 HAS SOUS 724436 HAS SOUPS 724436 WITH SCORE 725315.992
AT ITER 125 NEW BEST:: SOT 1095959 SOS 879366 HAS SOPS 879366 HAS SOUS 723105 HAS SOUPS 723105 WITH SCORE 723984.366
AT ITER 140 NEW BEST:: SOT 1096950 SOS 879038 HAS SOPS 879038 HAS SOUS 722456 HAS SOUPS 722456 WITH SCORE 723335.038
AT ITER 160 NEW BEST:: SOT 1096939 SOS 879027 HAS SOPS 879027 HAS SOUS 722445 HAS SOUPS 722445 WITH SCORE 723324.027
AT ITER 174 NEW BEST:: SOT 1096908 SOS 878996 HAS SOPS 878996 HAS SOUS 722414 HAS SOUPS 722414 WITH SCORE 723292.996
AT ITER 178 NEW BEST:: SOT 1097736 SOS 878604 HAS SOPS 878604 HAS SOUS 721570 HAS SOUPS 721570 WITH SCORE 722448.604
AT ITER 204 NEW BEST:: SOT 1097736 SOS 857773 HAS SOPS 857773 HAS SOUS 721187 HAS SOUPS 721187 WITH SCORE 722044.773
AT ITER 214 NEW BEST:: SOT 1097731 SOS 857768 HAS SOPS 857768 HAS SOUS 721182 HAS SOUPS 721182 WITH SCORE 722039.768
AT ITER 313 NEW BEST:: SOT 1097275 SOS 857312 HAS SOPS 857312 HAS SOUS 720726 HAS SOUPS 720726 WITH SCORE 721583.312
AT ITER 329 NEW BEST:: SOT 1097323 SOS 857320 HAS SOPS 857320 HAS SOUS 720708 HAS SOUPS 720708 WITH SCORE 721565.32
AT ITER 375 NEW BEST:: SOT 1097322 SOS 857319 HAS SOPS 857319 HAS SOUS 720707 HAS SOUPS 720707 WITH SCORE 721564.319
AT ITER 415 NEW BEST:: SOT 1097322 SOS 855057 HAS SOPS 855057 HAS SOUS 719633 HAS SOUPS 719633 WITH SCORE 720488.057
AT ITER 426 NEW BEST:: SOT 1097322 SOS 854596 HAS SOPS 854596 HAS SOUS 718619 HAS SOUPS 718619 WITH SCORE 719473.596
AT ITER 459 NEW BEST:: SOT 1097287 SOS 854561 HAS SOPS 854561 HAS SOUS 718584 HAS SOUPS 718584 WITH SCORE 719438.561
AT ITER 495 NEW BEST:: SOT 1097410 SOS 854524 HAS SOPS 854524 HAS SOUS 718415 HAS SOUPS 718415 WITH SCORE 719269.524
AT ITER 511 NEW BEST:: SOT 1097428 SOS 854514 HAS SOPS 854514 HAS SOUS 718405 HAS SOUPS 718405 WITH SCORE 719259.514
AT ITER 526 NEW BEST:: SOT 1096976 SOS 854062 HAS SOPS 854062 HAS SOUS 717953 HAS SOUPS 717953 WITH SCORE 718807.062
AT ITER 554 NEW BEST:: SOT 1096948 SOS 854034 HAS SOPS 854034 HAS SOUS 717925 HAS SOUPS 717925 WITH SCORE 718779.034
AT ITER 573 NEW BEST:: SOT 1096948 SOS 854034 HAS SOPS 854034 HAS SOUS 717924 HAS SOUPS 717924 WITH SCORE 718778.034
AT ITER 579 NEW BEST:: SOT 1097038 SOS 851728 HAS SOPS 851728 HAS SOUS 715772 HAS SOUPS 715772 WITH SCORE 716623.728
AT ITER 607 NEW BEST:: SOT 1097970 SOS 850944 HAS SOPS 850944 HAS SOUS 714988 HAS SOUPS 714988 WITH SCORE 715838.944
AT ITER 647 NEW BEST:: SOT 1097970 SOS 849216 HAS SOPS 849216 HAS SOUS 713292 HAS SOUPS 713292 WITH SCORE 714141.216
AT ITER 656 NEW BEST:: SOT 1099124 SOS 848358 HAS SOPS 848358 HAS SOUS 711470 HAS SOUPS 711470 WITH SCORE 712318.358
AT ITER 660 NEW BEST:: SOT 1099124 SOS 844111 HAS SOPS 844111 HAS SOUS 707840 HAS SOUPS 707840 WITH SCORE 708684.111
AT ITER 724 NEW BEST:: SOT 1099124 SOS 842883 HAS SOPS 842883 HAS SOUS 706644 HAS SOUPS 706644 WITH SCORE 707486.883
AT ITER 854 NEW BEST:: SOT 1100333 SOS 841772 HAS SOPS 841772 HAS SOUS 706303 HAS SOUPS 706303 WITH SCORE 707144.772
AT ITER 935 NEW BEST:: SOT 1101114 SOS 839477 HAS SOPS 839477 HAS SOUS 704821 HAS SOUPS 704821 WITH SCORE 705660.477
AT ITER 970 NEW BEST:: SOT 1102026 SOS 838872 HAS SOPS 838872 HAS SOUS 703540 HAS SOUPS 703540 WITH SCORE 704378.872
AT ITER 992 NEW BEST:: SOT 1102026 SOS 838332 HAS SOPS 838332 HAS SOUS 703242 HAS SOUPS 703242 WITH SCORE 704080.332
AT ITER 1048 NEW BEST:: SOT 1101991 SOS 838297 HAS SOPS 838297 HAS SOUS 703207 HAS SOUPS 703207 WITH SCORE 704045.297
AT ITER 1053 NEW BEST:: SOT 1102880 SOS 838098 HAS SOPS 838098 HAS SOUS 702716 HAS SOUPS 702716 WITH SCORE 703554.098
AT ITER 1089 NEW BEST:: SOT 1102482 SOS 837700 HAS SOPS 837700 HAS SOUS 702318 HAS SOUPS 702318 WITH SCORE 703155.7
AT ITER 1136 NEW BEST:: SOT 1102482 SOS 834629 HAS SOPS 834629 HAS SOUS 701383 HAS SOUPS 701383 WITH SCORE 702217.629
AT ITER 1139 NEW BEST:: SOT 1101499 SOS 833686 HAS SOPS 833686 HAS SOUS 700440 HAS SOUPS 700440 WITH SCORE 701273.686
AT ITER 1318 NEW BEST:: SOT 1101498 SOS 833685 HAS SOPS 833685 HAS SOUS 700439 HAS SOUPS 700439 WITH SCORE 701272.685
AT ITER 1326 NEW BEST:: SOT 1101498 SOS 833680 HAS SOPS 833680 HAS SOUS 700434 HAS SOUPS 700434 WITH SCORE 701267.68
AT ITER 1355 NEW BEST:: SOT 1101498 SOS 831919 HAS SOPS 831919 HAS SOUS 698705 HAS SOUPS 698705 WITH SCORE 699536.919
AT ITER 1445 NEW BEST:: SOT 1101498 SOS 831283 HAS SOPS 831283 HAS SOUS 697497 HAS SOUPS 697497 WITH SCORE 698328.283
AT ITER 1477 NEW BEST:: SOT 1101498 SOS 831149 HAS SOPS 831149 HAS SOUS 697363 HAS SOUPS 697363 WITH SCORE 698194.149
AT ITER 1487 NEW BEST:: SOT 1101465 SOS 830976 HAS SOPS 830976 HAS SOUS 697222 HAS SOUPS 697222 WITH SCORE 698052.976
AT ITER 1566 NEW BEST:: SOT 1101465 SOS 829900 HAS SOPS 829900 HAS SOUS 696515 HAS SOUPS 696515 WITH SCORE 697344.9
AT ITER 1567 NEW BEST:: SOT 1101772 SOS 826784 HAS SOPS 826784 HAS SOUS 695067 HAS SOUPS 695067 WITH SCORE 695893.784
AT ITER 1680 NEW BEST:: SOT 1101772 SOS 826768 HAS SOPS 826768 HAS SOUS 695051 HAS SOUPS 695051 WITH SCORE 695877.768
AT ITER 1706 NEW BEST:: SOT 1101772 SOS 826577 HAS SOPS 826577 HAS SOUS 694873 HAS SOUPS 694873 WITH SCORE 695699.577
AT ITER 1791 NEW BEST:: SOT 1101823 SOS 826474 HAS SOPS 826474 HAS SOUS 694770 HAS SOUPS 694770 WITH SCORE 695596.474
AT ITER 1803 NEW BEST:: SOT 1101817 SOS 826468 HAS SOPS 826468 HAS SOUS 694764 HAS SOUPS 694764 WITH SCORE 695590.468
AT ITER 1861 NEW BEST:: SOT 1101809 SOS 826460 HAS SOPS 826460 HAS SOUS 694756 HAS SOUPS 694756 WITH SCORE 695582.46
AT ITER 1901 NEW BEST:: SOT 1101809 SOS 824182 HAS SOPS 824182 HAS SOUS 693617 HAS SOUPS 693617 WITH SCORE 694441.182
AT ITER 1907 NEW BEST:: SOT 1101809 SOS 821823 HAS SOPS 821823 HAS SOUS 691290 HAS SOUPS 691290 WITH SCORE 692111.823
AT ITER 1917 NEW BEST:: SOT 1101809 SOS 820944 HAS SOPS 820944 HAS SOUS 690927 HAS SOUPS 690927 WITH SCORE 691747.944
AT ITER 1933 NEW BEST:: SOT 1101809 SOS 820774 HAS SOPS 820774 HAS SOUS 690757 HAS SOUPS 690757 WITH SCORE 691577.774
AT ITER 1964 NEW BEST:: SOT 1101809 SOS 820084 HAS SOPS 820084 HAS SOUS 690391 HAS SOUPS 690391 WITH SCORE 691211.084
AT ITER 1973 NEW BEST:: SOT 1101809 SOS 819842 HAS SOPS 819842 HAS SOUS 690375 HAS SOUPS 690375 WITH SCORE 691194.842
AT ITER 2028 NEW BEST:: SOT 1101809 SOS 819809 HAS SOPS 819809 HAS SOUS 690342 HAS SOUPS 690342 WITH SCORE 691161.809
AT ITER 2075 NEW BEST:: SOT 1102717 SOS 817370 HAS SOPS 817370 HAS SOUS 689304 HAS SOUPS 689304 WITH SCORE 690121.37
AT ITER 2094 NEW BEST:: SOT 1102717 SOS 816568 HAS SOPS 816568 HAS SOUS 688534 HAS SOUPS 688534 WITH SCORE 689350.568
AT ITER 2103 NEW BEST:: SOT 1102717 SOS 814538 HAS SOPS 814538 HAS SOUS 686504 HAS SOUPS 686504 WITH SCORE 687318.538
AT ITER 2114 NEW BEST:: SOT 1103189 SOS 812829 HAS SOPS 812829 HAS SOUS 685710 HAS SOUPS 685710 WITH SCORE 686522.829
AT ITER 2185 NEW BEST:: SOT 1103189 SOS 812829 HAS SOPS 812829 HAS SOUS 685709 HAS SOUPS 685709 WITH SCORE 686521.829
AT ITER 2254 NEW BEST:: SOT 1103188 SOS 812432 HAS SOPS 812432 HAS SOUS 685198 HAS SOUPS 685198 WITH SCORE 686010.432
AT ITER 2314 NEW BEST:: SOT 1103162 SOS 812406 HAS SOPS 812406 HAS SOUS 685172 HAS SOUPS 685172 WITH SCORE 685984.406
AT ITER 2380 NEW BEST:: SOT 1103129 SOS 812304 HAS SOPS 812304 HAS SOUS 685007 HAS SOUPS 685007 WITH SCORE 685819.304
AT ITER 2389 NEW BEST:: SOT 1103111 SOS 812286 HAS SOPS 812286 HAS SOUS 684989 HAS SOUPS 684989 WITH SCORE 685801.286
AT ITER 2403 NEW BEST:: SOT 1103111 SOS 812138 HAS SOPS 812138 HAS SOUS 684841 HAS SOUPS 684841 WITH SCORE 685653.138
AT ITER 2421 NEW BEST:: SOT 1102729 SOS 811756 HAS SOPS 811756 HAS SOUS 684459 HAS SOUPS 684459 WITH SCORE 685270.756
AT ITER 2424 NEW BEST:: SOT 1102720 SOS 811747 HAS SOPS 811747 HAS SOUS 684450 HAS SOUPS 684450 WITH SCORE 685261.747
AT ITER 2473 NEW BEST:: SOT 1102830 SOS 811235 HAS SOPS 811235 HAS SOUS 683358 HAS SOUPS 683358 WITH SCORE 684169.235
AT ITER 2520 NEW BEST:: SOT 1102870 SOS 807951 HAS SOPS 807951 HAS SOUS 681803 HAS SOUPS 681803 WITH SCORE 682610.951
AT ITER 2532 NEW BEST:: SOT 1102869 SOS 807950 HAS SOPS 807950 HAS SOUS 681802 HAS SOUPS 681802 WITH SCORE 682609.95
AT ITER 2574 NEW BEST:: SOT 1102869 SOS 806988 HAS SOPS 806988 HAS SOUS 680840 HAS SOUPS 680840 WITH SCORE 681646.988
AT ITER 2645 NEW BEST:: SOT 1102869 SOS 806968 HAS SOPS 806968 HAS SOUS 680820 HAS SOUPS 680820 WITH SCORE 681626.968
AT ITER 2713 NEW BEST:: SOT 1103444 SOS 806935 HAS SOPS 806935 HAS SOUS 680787 HAS SOUPS 680787 WITH SCORE 681593.935
AT ITER 2732 NEW BEST:: SOT 1103444 SOS 804238 HAS SOPS 804238 HAS SOUS 679155 HAS SOUPS 679155 WITH SCORE 679959.238
AT ITER 2736 NEW BEST:: SOT 1103444 SOS 802942 HAS SOPS 802942 HAS SOUS 677859 HAS SOUPS 677859 WITH SCORE 678661.942
AT ITER 2740 NEW BEST:: SOT 1103444 SOS 802933 HAS SOPS 802933 HAS SOUS 677850 HAS SOUPS 677850 WITH SCORE 678652.933
AT ITER 2756 NEW BEST:: SOT 1104578 SOS 801601 HAS SOPS 801601 HAS SOUS 677730 HAS SOUPS 677730 WITH SCORE 678531.601
AT ITER 2767 NEW BEST:: SOT 1104568 SOS 801591 HAS SOPS 801591 HAS SOUS 677720 HAS SOUPS 677720 WITH SCORE 678521.591
AT ITER 2809 NEW BEST:: SOT 1105043 SOS 799334 HAS SOPS 799334 HAS SOUS 676143 HAS SOUPS 676143 WITH SCORE 676942.334
AT ITER 2820 NEW BEST:: SOT 1106091 SOS 799134 HAS SOPS 799134 HAS SOUS 675775 HAS SOUPS 675775 WITH SCORE 676574.134
AT ITER 2887 NEW BEST:: SOT 1106091 SOS 799233 HAS SOPS 799233 HAS SOUS 675653 HAS SOUPS 675653 WITH SCORE 676452.233
AT ITER 2906 NEW BEST:: SOT 1106091 SOS 798670 HAS SOPS 798670 HAS SOUS 675090 HAS SOUPS 675090 WITH SCORE 675888.67
AT ITER 2932 NEW BEST:: SOT 1106090 SOS 798669 HAS SOPS 798669 HAS SOUS 675089 HAS SOUPS 675089 WITH SCORE 675887.669
AT ITER 2960 NEW BEST:: SOT 1106090 SOS 798661 HAS SOPS 798661 HAS SOUS 675081 HAS SOUPS 675081 WITH SCORE 675879.661
AT ITER 2969 NEW BEST:: SOT 1106090 SOS 798661 HAS SOPS 798661 HAS SOUS 675080 HAS SOUPS 675080 WITH SCORE 675878.661
AT ITER 2990 NEW BEST:: SOT 1106090 SOS 798669 HAS SOPS 798669 HAS SOUS 673901 HAS SOUPS 673901 WITH SCORE 674699.669
AT ITER 2995 NEW BEST:: SOT 1106090 SOS 798669 HAS SOPS 798669 HAS SOUS 673900 HAS SOUPS 673900 WITH SCORE 674698.669
AT ITER 3022 NEW BEST:: SOT 1106493 SOS 798668 HAS SOPS 798668 HAS SOUS 673899 HAS SOUPS 673899 WITH SCORE 674697.668
AT ITER 3024 NEW BEST:: SOT 1106646 SOS 798635 HAS SOPS 798635 HAS SOUS 673866 HAS SOUPS 673866 WITH SCORE 674664.635
AT ITER 3053 NEW BEST:: SOT 1107013 SOS 795585 HAS SOPS 795585 HAS SOUS 671361 HAS SOUPS 671361 WITH SCORE 672156.585
AT ITER 3130 NEW BEST:: SOT 1107013 SOS 795550 HAS SOPS 795550 HAS SOUS 671322 HAS SOUPS 671322 WITH SCORE 672117.55
AT ITER 3136 NEW BEST:: SOT 1106980 SOS 795351 HAS SOPS 795351 HAS SOUS 671155 HAS SOUPS 671155 WITH SCORE 671950.351
AT ITER 3175 NEW BEST:: SOT 1106947 SOS 795168 HAS SOPS 795168 HAS SOUS 671004 HAS SOUPS 671004 WITH SCORE 671799.168
AT ITER 3176 NEW BEST:: SOT 1106947 SOS 794476 HAS SOPS 794476 HAS SOUS 670658 HAS SOUPS 670658 WITH SCORE 671452.476
AT ITER 3199 NEW BEST:: SOT 1106064 SOS 793593 HAS SOPS 793593 HAS SOUS 669775 HAS SOUPS 669775 WITH SCORE 670568.593
AT ITER 3211 NEW BEST:: SOT 1107142 SOS 793269 HAS SOPS 793269 HAS SOUS 669317 HAS SOUPS 669317 WITH SCORE 670110.269
AT ITER 3223 NEW BEST:: SOT 1107141 SOS 793268 HAS SOPS 793268 HAS SOUS 669316 HAS SOUPS 669316 WITH SCORE 670109.268
AT ITER 3287 NEW BEST:: SOT 1107282 SOS 793409 HAS SOPS 793409 HAS SOUS 669297 HAS SOUPS 669297 WITH SCORE 670090.409
AT ITER 3327 NEW BEST:: SOT 1107282 SOS 790369 HAS SOPS 790369 HAS SOUS 667833 HAS SOUPS 667833 WITH SCORE 668623.369
AT ITER 3335 NEW BEST:: SOT 1107533 SOS 789822 HAS SOPS 789822 HAS SOUS 667685 HAS SOUPS 667685 WITH SCORE 668474.822
AT ITER 3336 NEW BEST:: SOT 1107533 SOS 788220 HAS SOPS 788220 HAS SOUS 666617 HAS SOUPS 666617 WITH SCORE 667405.22
AT ITER 3337 NEW BEST:: SOT 1107500 SOS 788059 HAS SOPS 788059 HAS SOUS 666488 HAS SOUPS 666488 WITH SCORE 667276.059
AT ITER 3372 NEW BEST:: SOT 1107500 SOS 788059 HAS SOPS 788059 HAS SOUS 666063 HAS SOUPS 666063 WITH SCORE 666851.059
AT ITER 3394 NEW BEST:: SOT 1107673 SOS 787820 HAS SOPS 787820 HAS SOUS 666030 HAS SOUPS 666030 WITH SCORE 666817.82
AT ITER 3396 NEW BEST:: SOT 1108260 SOS 787117 HAS SOPS 787117 HAS SOUS 665429 HAS SOUPS 665429 WITH SCORE 666216.117
AT ITER 3406 NEW BEST:: SOT 1108260 SOS 787117 HAS SOPS 787117 HAS SOUS 665374 HAS SOUPS 665374 WITH SCORE 666161.117
AT ITER 3415 NEW BEST:: SOT 1109281 SOS 786620 HAS SOPS 786620 HAS SOUS 664877 HAS SOUPS 664877 WITH SCORE 665663.62
AT ITER 3455 NEW BEST:: SOT 1109281 SOS 785120 HAS SOPS 785120 HAS SOUS 664127 HAS SOUPS 664127 WITH SCORE 664912.12
AT ITER 3473 NEW BEST:: SOT 1110456 SOS 784228 HAS SOPS 784228 HAS SOUS 664127 HAS SOUPS 664127 WITH SCORE 664911.228
AT ITER 3482 NEW BEST:: SOT 1110921 SOS 778781 HAS SOPS 778781 HAS SOUS 661005 HAS SOUPS 661005 WITH SCORE 661783.781
AT ITER 3509 NEW BEST:: SOT 1110921 SOS 777103 HAS SOPS 777103 HAS SOUS 659825 HAS SOUPS 659825 WITH SCORE 660602.103
AT ITER 3528 NEW BEST:: SOT 1110890 SOS 777041 HAS SOPS 777041 HAS SOUS 659794 HAS SOUPS 659794 WITH SCORE 660571.041
AT ITER 3660 NEW BEST:: SOT 1110881 SOS 777032 HAS SOPS 777032 HAS SOUS 659785 HAS SOUPS 659785 WITH SCORE 660562.032
AT ITER 3664 NEW BEST:: SOT 1110881 SOS 773647 HAS SOPS 773647 HAS SOUS 657863 HAS SOUPS 657863 WITH SCORE 658636.647
AT ITER 3677 NEW BEST:: SOT 1110647 SOS 773413 HAS SOPS 773413 HAS SOUS 657629 HAS SOUPS 657629 WITH SCORE 658402.413
AT ITER 3725 NEW BEST:: SOT 1111028 SOS 772440 HAS SOPS 772440 HAS SOUS 657333 HAS SOUPS 657333 WITH SCORE 658105.44
AT ITER 3762 NEW BEST:: SOT 1111028 SOS 772440 HAS SOPS 772440 HAS SOUS 656406 HAS SOUPS 656406 WITH SCORE 657178.44
AT ITER 3889 NEW BEST:: SOT 1111748 SOS 770966 HAS SOPS 770966 HAS SOUS 655779 HAS SOUPS 655779 WITH SCORE 656549.966
AT ITER 3904 NEW BEST:: SOT 1111501 SOS 770719 HAS SOPS 770719 HAS SOUS 655532 HAS SOUPS 655532 WITH SCORE 656302.719
AT ITER 3941 NEW BEST:: SOT 1112555 SOS 768977 HAS SOPS 768977 HAS SOUS 654960 HAS SOUPS 654960 WITH SCORE 655728.977
AT ITER 3975 NEW BEST:: SOT 1112555 SOS 766366 HAS SOPS 766366 HAS SOUS 653657 HAS SOUPS 653657 WITH SCORE 654423.366
AT ITER 3999 NEW BEST:: SOT 1112555 SOS 765370 HAS SOPS 765370 HAS SOUS 652661 HAS SOUPS 652661 WITH SCORE 653426.37
AT ITER 4029 NEW BEST:: SOT 1112324 SOS 765139 HAS SOPS 765139 HAS SOUS 652430 HAS SOUPS 652430 WITH SCORE 653195.139
AT ITER 4067 NEW BEST:: SOT 1112303 SOS 765118 HAS SOPS 765118 HAS SOUS 652409 HAS SOUPS 652409 WITH SCORE 653174.118
AT ITER 4120 NEW BEST:: SOT 1112303 SOS 764774 HAS SOPS 764774 HAS SOUS 652065 HAS SOUPS 652065 WITH SCORE 652829.774
AT ITER 4132 NEW BEST:: SOT 1112293 SOS 764764 HAS SOPS 764764 HAS SOUS 652055 HAS SOUPS 652055 WITH SCORE 652819.764
AT ITER 4152 NEW BEST:: SOT 1112284 SOS 764755 HAS SOPS 764755 HAS SOUS 652046 HAS SOUPS 652046 WITH SCORE 652810.755
AT ITER 4180 NEW BEST:: SOT 1112900 SOS 763903 HAS SOPS 763903 HAS SOUS 651928 HAS SOUPS 651928 WITH SCORE 652691.903
AT ITER 4211 NEW BEST:: SOT 1112900 SOS 763903 HAS SOPS 763903 HAS SOUS 651916 HAS SOUPS 651916 WITH SCORE 652679.903
AT ITER 4273 NEW BEST:: SOT 1112900 SOS 763903 HAS SOPS 763903 HAS SOUS 651915 HAS SOUPS 651915 WITH SCORE 652678.903
AT ITER 4331 NEW BEST:: SOT 1112876 SOS 763879 HAS SOPS 763879 HAS SOUS 651891 HAS SOUPS 651891 WITH SCORE 652654.879
AT ITER 4338 NEW BEST:: SOT 1114482 SOS 762636 HAS SOPS 762636 HAS SOUS 651593 HAS SOUPS 651593 WITH SCORE 652355.636
AT ITER 4376 NEW BEST:: SOT 1113747 SOS 761901 HAS SOPS 761901 HAS SOUS 650858 HAS SOUPS 650858 WITH SCORE 651619.901
AT ITER 4402 NEW BEST:: SOT 1113746 SOS 761900 HAS SOPS 761900 HAS SOUS 650857 HAS SOUPS 650857 WITH SCORE 651618.9
AT ITER 4416 NEW BEST:: SOT 1113844 SOS 761295 HAS SOPS 761295 HAS SOUS 650815 HAS SOUPS 650815 WITH SCORE 651576.295
AT ITER 4433 NEW BEST:: SOT 1113844 SOS 760509 HAS SOPS 760509 HAS SOUS 650411 HAS SOUPS 650411 WITH SCORE 651171.509
AT ITER 4547 NEW BEST:: SOT 1113846 SOS 760499 HAS SOPS 760499 HAS SOUS 650401 HAS SOUPS 650401 WITH SCORE 651161.499
AT ITER 4555 NEW BEST:: SOT 1113846 SOS 758707 HAS SOPS 758707 HAS SOUS 650379 HAS SOUPS 650379 WITH SCORE 651137.707
AT ITER 4613 NEW BEST:: SOT 1113845 SOS 758706 HAS SOPS 758706 HAS SOUS 650378 HAS SOUPS 650378 WITH SCORE 651136.706
AT ITER 4703 NEW BEST:: SOT 1113844 SOS 758705 HAS SOPS 758705 HAS SOUS 650377 HAS SOUPS 650377 WITH SCORE 651135.705
AT ITER 4774 NEW BEST:: SOT 1113844 SOS 758661 HAS SOPS 758661 HAS SOUS 650333 HAS SOUPS 650333 WITH SCORE 651091.661
AT ITER 4798 NEW BEST:: SOT 1113844 SOS 758650 HAS SOPS 758650 HAS SOUS 650322 HAS SOUPS 650322 WITH SCORE 651080.65
AT ITER 4830 NEW BEST:: SOT 1114827 SOS 758175 HAS SOPS 758175 HAS SOUS 650268 HAS SOUPS 650268 WITH SCORE 651026.175
AT ITER 4924 NEW BEST:: SOT 1114827 SOS 757861 HAS SOPS 757861 HAS SOUS 650107 HAS SOUPS 650107 WITH SCORE 650864.861
AT ITER 4973 NEW BEST:: SOT 1115012 SOS 757842 HAS SOPS 757842 HAS SOUS 650088 HAS SOUPS 650088 WITH SCORE 650845.842
AT ITER 5013 NEW BEST:: SOT 1115012 SOS 757805 HAS SOPS 757805 HAS SOUS 650046 HAS SOUPS 650046 WITH SCORE 650803.805
AT ITER 5019 NEW BEST:: SOT 1115012 SOS 757484 HAS SOPS 757484 HAS SOUS 649725 HAS SOUPS 649725 WITH SCORE 650482.484
AT ITER 5040 NEW BEST:: SOT 1115439 SOS 757072 HAS SOPS 757072 HAS SOUS 648934 HAS SOUPS 648934 WITH SCORE 649691.072
AT ITER 5145 NEW BEST:: SOT 1115439 SOS 757033 HAS SOPS 757033 HAS SOUS 648895 HAS SOUPS 648895 WITH SCORE 649652.033
AT ITER 5161 NEW BEST:: SOT 1116584 SOS 757000 HAS SOPS 757000 HAS SOUS 648862 HAS SOUPS 648862 WITH SCORE 649619.0
AT ITER 5163 NEW BEST:: SOT 1116584 SOS 756668 HAS SOPS 756668 HAS SOUS 648696 HAS SOUPS 648696 WITH SCORE 649452.668
AT ITER 5271 NEW BEST:: SOT 1116584 SOS 756663 HAS SOPS 756663 HAS SOUS 648690 HAS SOUPS 648690 WITH SCORE 649446.663
AT ITER 5340 NEW BEST:: SOT 1116584 SOS 755255 HAS SOPS 755255 HAS SOUS 647986 HAS SOUPS 647986 WITH SCORE 648741.255
AT ITER 5355 NEW BEST:: SOT 1115989 SOS 754660 HAS SOPS 754660 HAS SOUS 647391 HAS SOUPS 647391 WITH SCORE 648145.66
AT ITER 5360 NEW BEST:: SOT 1117875 SOS 752487 HAS SOPS 752487 HAS SOUS 646951 HAS SOUPS 646951 WITH SCORE 647703.487
AT ITER 5455 NEW BEST:: SOT 1117875 SOS 752405 HAS SOPS 752405 HAS SOUS 646869 HAS SOUPS 646869 WITH SCORE 647621.405
AT ITER 5481 NEW BEST:: SOT 1117875 SOS 751838 HAS SOPS 751838 HAS SOUS 645671 HAS SOUPS 645671 WITH SCORE 646422.838
AT ITER 5617 NEW BEST:: SOT 1117875 SOS 751838 HAS SOPS 751838 HAS SOUS 645670 HAS SOUPS 645670 WITH SCORE 646421.838
AT ITER 5639 NEW BEST:: SOT 1119247 SOS 751805 HAS SOPS 751805 HAS SOUS 645637 HAS SOUPS 645637 WITH SCORE 646388.805
AT ITER 5659 NEW BEST:: SOT 1119247 SOS 751673 HAS SOPS 751673 HAS SOUS 645549 HAS SOUPS 645549 WITH SCORE 646300.673
AT ITER 5704 NEW BEST:: SOT 1119518 SOS 750584 HAS SOPS 750584 HAS SOUS 645140 HAS SOUPS 645140 WITH SCORE 645890.584
AT ITER 5740 NEW BEST:: SOT 1119512 SOS 750578 HAS SOPS 750578 HAS SOUS 645134 HAS SOUPS 645134 WITH SCORE 645884.578
AT ITER 5782 NEW BEST:: SOT 1119509 SOS 750575 HAS SOPS 750575 HAS SOUS 645131 HAS SOUPS 645131 WITH SCORE 645881.575
AT ITER 5808 NEW BEST:: SOT 1119509 SOS 749959 HAS SOPS 749959 HAS SOUS 644492 HAS SOUPS 644492 WITH SCORE 645241.959
AT ITER 5862 NEW BEST:: SOT 1119509 SOS 749975 HAS SOPS 749975 HAS SOUS 644352 HAS SOUPS 644352 WITH SCORE 645101.975
AT ITER 5884 NEW BEST:: SOT 1119640 SOS 747231 HAS SOPS 747231 HAS SOUS 643152 HAS SOUPS 643152 WITH SCORE 643899.231
AT ITER 5915 NEW BEST:: SOT 1119034 SOS 746625 HAS SOPS 746625 HAS SOUS 642546 HAS SOUPS 642546 WITH SCORE 643292.625
AT ITER 5926 NEW BEST:: SOT 1119758 SOS 743227 HAS SOPS 743227 HAS SOUS 640568 HAS SOUPS 640568 WITH SCORE 641311.227
AT ITER 5934 NEW BEST:: SOT 1119707 SOS 743176 HAS SOPS 743176 HAS SOUS 640517 HAS SOUPS 640517 WITH SCORE 641260.176
AT ITER 5951 NEW BEST:: SOT 1119707 SOS 743143 HAS SOPS 743143 HAS SOUS 640484 HAS SOUPS 640484 WITH SCORE 641227.143
AT ITER 5968 NEW BEST:: SOT 1119614 SOS 743050 HAS SOPS 743050 HAS SOUS 640391 HAS SOUPS 640391 WITH SCORE 641134.05
AT ITER 5986 NEW BEST:: SOT 1119585 SOS 743021 HAS SOPS 743021 HAS SOUS 640362 HAS SOUPS 640362 WITH SCORE 641105.021
AT ITER 5989 NEW BEST:: SOT 1119417 SOS 742853 HAS SOPS 742853 HAS SOUS 640194 HAS SOUPS 640194 WITH SCORE 640936.853
AT ITER 6025 NEW BEST:: SOT 1119417 SOS 742571 HAS SOPS 742571 HAS SOUS 640053 HAS SOUPS 640053 WITH SCORE 640795.571
AT ITER 6032 NEW BEST:: SOT 1119393 SOS 742547 HAS SOPS 742547 HAS SOUS 640029 HAS SOUPS 640029 WITH SCORE 640771.547
AT ITER 6157 NEW BEST:: SOT 1119041 SOS 742195 HAS SOPS 742195 HAS SOUS 639677 HAS SOUPS 639677 WITH SCORE 640419.195
AT ITER 6292 NEW BEST:: SOT 1119041 SOS 742195 HAS SOPS 742195 HAS SOUS 639576 HAS SOUPS 639576 WITH SCORE 640318.195
AT ITER 6461 NEW BEST:: SOT 1118726 SOS 741880 HAS SOPS 741880 HAS SOUS 639261 HAS SOUPS 639261 WITH SCORE 640002.88
AT ITER 6465 NEW BEST:: SOT 1118822 SOS 739601 HAS SOPS 739601 HAS SOUS 638843 HAS SOUPS 638843 WITH SCORE 639582.601
AT ITER 6467 NEW BEST:: SOT 1118821 SOS 739600 HAS SOPS 739600 HAS SOUS 638842 HAS SOUPS 638842 WITH SCORE 639581.6
AT ITER 6472 NEW BEST:: SOT 1120198 SOS 738164 HAS SOPS 738164 HAS SOUS 638576 HAS SOUPS 638576 WITH SCORE 639314.164
AT ITER 6617 NEW BEST:: SOT 1120276 SOS 737950 HAS SOPS 737950 HAS SOUS 638494 HAS SOUPS 638494 WITH SCORE 639231.95
AT ITER 6629 NEW BEST:: SOT 1120276 SOS 737939 HAS SOPS 737939 HAS SOUS 638391 HAS SOUPS 638391 WITH SCORE 639128.939
AT ITER 6649 NEW BEST:: SOT 1120276 SOS 737915 HAS SOPS 737915 HAS SOUS 638390 HAS SOUPS 638390 WITH SCORE 639127.915
AT ITER 6685 NEW BEST:: SOT 1120276 SOS 737910 HAS SOPS 737910 HAS SOUS 638385 HAS SOUPS 638385 WITH SCORE 639122.91
AT ITER 6704 NEW BEST:: SOT 1120360 SOS 736512 HAS SOPS 736512 HAS SOUS 637812 HAS SOUPS 637812 WITH SCORE 638548.512
AT ITER 6716 NEW BEST:: SOT 1120360 SOS 695576 HAS SOPS 695576 HAS SOUS 636588 HAS SOUPS 636588 WITH SCORE 637283.576
AT ITER 6892 NEW BEST:: SOT 1120311 SOS 695569 HAS SOPS 695569 HAS SOUS 636581 HAS SOUPS 636581 WITH SCORE 637276.569
AT ITER 6956 NEW BEST:: SOT 1120869 SOS 695007 HAS SOPS 695007 HAS SOUS 636579 HAS SOUPS 636579 WITH SCORE 637274.007
AT ITER 7091 NEW BEST:: SOT 1121235 SOS 695373 HAS SOPS 695373 HAS SOUS 636576 HAS SOUPS 636576 WITH SCORE 637271.373
AT ITER 7117 NEW BEST:: SOT 1121235 SOS 695380 HAS SOPS 695380 HAS SOUS 635907 HAS SOUPS 635907 WITH SCORE 636602.38
AT ITER 7160 NEW BEST:: SOT 1121934 SOS 690855 HAS SOPS 690855 HAS SOUS 633716 HAS SOUPS 633716 WITH SCORE 634406.855
AT ITER 7327 NEW BEST:: SOT 1121934 SOS 690855 HAS SOPS 690855 HAS SOUS 633715 HAS SOUPS 633715 WITH SCORE 634405.855
AT ITER 7328 NEW BEST:: SOT 1122796 SOS 689025 HAS SOPS 689025 HAS SOUS 633231 HAS SOUPS 633231 WITH SCORE 633920.025
AT ITER 7331 NEW BEST:: SOT 1122217 SOS 688446 HAS SOPS 688446 HAS SOUS 632652 HAS SOUPS 632652 WITH SCORE 633340.446
AT ITER 7340 NEW BEST:: SOT 1122201 SOS 688430 HAS SOPS 688430 HAS SOUS 632636 HAS SOUPS 632636 WITH SCORE 633324.43
AT ITER 7352 NEW BEST:: SOT 1122751 SOS 688027 HAS SOPS 688027 HAS SOUS 632104 HAS SOUPS 632104 WITH SCORE 632792.027
AT ITER 7360 NEW BEST:: SOT 1122751 SOS 688025 HAS SOPS 688025 HAS SOUS 632102 HAS SOUPS 632102 WITH SCORE 632790.025
AT ITER 7380 NEW BEST:: SOT 1122751 SOS 687930 HAS SOPS 687930 HAS SOUS 632007 HAS SOUPS 632007 WITH SCORE 632694.93
AT ITER 7419 NEW BEST:: SOT 1122750 SOS 687929 HAS SOPS 687929 HAS SOUS 632006 HAS SOUPS 632006 WITH SCORE 632693.929
AT ITER 7511 NEW BEST:: SOT 1122750 SOS 687781 HAS SOPS 687781 HAS SOUS 631858 HAS SOUPS 631858 WITH SCORE 632545.781
AT ITER 7591 NEW BEST:: SOT 1122717 SOS 687635 HAS SOPS 687635 HAS SOUS 631825 HAS SOUPS 631825 WITH SCORE 632512.635
AT ITER 7646 NEW BEST:: SOT 1122717 SOS 687618 HAS SOPS 687618 HAS SOUS 631808 HAS SOUPS 631808 WITH SCORE 632495.618
AT ITER 7765 NEW BEST:: SOT 1122717 SOS 686668 HAS SOPS 686668 HAS SOUS 631337 HAS SOUPS 631337 WITH SCORE 632023.668
AT ITER 7777 NEW BEST:: SOT 1122717 SOS 686667 HAS SOPS 686667 HAS SOUS 631336 HAS SOUPS 631336 WITH SCORE 632022.667
AT ITER 7884 NEW BEST:: SOT 1122717 SOS 686621 HAS SOPS 686621 HAS SOUS 631289 HAS SOUPS 631289 WITH SCORE 631975.621
AT ITER 7891 NEW BEST:: SOT 1122716 SOS 686620 HAS SOPS 686620 HAS SOUS 631288 HAS SOUPS 631288 WITH SCORE 631974.62
AT ITER 7944 NEW BEST:: SOT 1123241 SOS 686593 HAS SOPS 686593 HAS SOUS 631261 HAS SOUPS 631261 WITH SCORE 631947.593
AT ITER 7955 NEW BEST:: SOT 1123037 SOS 686389 HAS SOPS 686389 HAS SOUS 631057 HAS SOUPS 631057 WITH SCORE 631743.389
AT ITER 8071 NEW BEST:: SOT 1123046 SOS 686376 HAS SOPS 686376 HAS SOUS 631044 HAS SOUPS 631044 WITH SCORE 631730.376
AT ITER 8195 NEW BEST:: SOT 1123443 SOS 685913 HAS SOPS 685913 HAS SOUS 631011 HAS SOUPS 631011 WITH SCORE 631696.913
AT ITER 8237 NEW BEST:: SOT 1124461 SOS 685887 HAS SOPS 685887 HAS SOUS 630986 HAS SOUPS 630986 WITH SCORE 631671.887
AT ITER 8280 NEW BEST:: SOT 1125353 SOS 685838 HAS SOPS 685838 HAS SOUS 630937 HAS SOUPS 630937 WITH SCORE 631622.838
AT ITER 8294 NEW BEST:: SOT 1125438 SOS 685753 HAS SOPS 685753 HAS SOUS 630937 HAS SOUPS 630937 WITH SCORE 631622.753
AT ITER 8367 NEW BEST:: SOT 1125438 SOS 685701 HAS SOPS 685701 HAS SOUS 630667 HAS SOUPS 630667 WITH SCORE 631352.701
AT ITER 8423 NEW BEST:: SOT 1125426 SOS 685689 HAS SOPS 685689 HAS SOUS 630655 HAS SOUPS 630655 WITH SCORE 631340.689
AT ITER 8529 NEW BEST:: SOT 1125426 SOS 685180 HAS SOPS 685180 HAS SOUS 630146 HAS SOUPS 630146 WITH SCORE 630831.18
AT ITER 8607 NEW BEST:: SOT 1125426 SOS 683110 HAS SOPS 683110 HAS SOUS 629806 HAS SOUPS 629806 WITH SCORE 630489.11
AT ITER 8713 NEW BEST:: SOT 1125426 SOS 682578 HAS SOPS 682578 HAS SOUS 629803 HAS SOUPS 629803 WITH SCORE 630485.578
AT ITER 8767 NEW BEST:: SOT 1125608 SOS 681336 HAS SOPS 681336 HAS SOUS 629219 HAS SOUPS 629219 WITH SCORE 629900.336
AT ITER 8926 NEW BEST:: SOT 1125608 SOS 681299 HAS SOPS 681299 HAS SOUS 629182 HAS SOUPS 629182 WITH SCORE 629863.299
AT ITER 8930 NEW BEST:: SOT 1125568 SOS 681259 HAS SOPS 681259 HAS SOUS 629142 HAS SOUPS 629142 WITH SCORE 629823.259
AT ITER 8951 NEW BEST:: SOT 1125568 SOS 681106 HAS SOPS 681106 HAS SOUS 628989 HAS SOUPS 628989 WITH SCORE 629670.106
AT ITER 8971 NEW BEST:: SOT 1125568 SOS 681106 HAS SOPS 681106 HAS SOUS 628986 HAS SOUPS 628986 WITH SCORE 629667.106
AT ITER 9078 NEW BEST:: SOT 1127213 SOS 680855 HAS SOPS 680855 HAS SOUS 628953 HAS SOUPS 628953 WITH SCORE 629633.855
AT ITER 9130 NEW BEST:: SOT 1126888 SOS 680530 HAS SOPS 680530 HAS SOUS 628628 HAS SOUPS 628628 WITH SCORE 629308.53
AT ITER 9183 NEW BEST:: SOT 1126660 SOS 680219 HAS SOPS 680219 HAS SOUS 628400 HAS SOUPS 628400 WITH SCORE 629080.219
AT ITER 9248 NEW BEST:: SOT 1126660 SOS 680186 HAS SOPS 680186 HAS SOUS 628366 HAS SOUPS 628366 WITH SCORE 629046.186
AT ITER 9261 NEW BEST:: SOT 1125880 SOS 679406 HAS SOPS 679406 HAS SOUS 627586 HAS SOUPS 627586 WITH SCORE 628265.406
AT ITER 9264 NEW BEST:: SOT 1125880 SOS 679406 HAS SOPS 679406 HAS SOUS 627585 HAS SOUPS 627585 WITH SCORE 628264.406
AT ITER 9288 NEW BEST:: SOT 1125839 SOS 679365 HAS SOPS 679365 HAS SOUS 627544 HAS SOUPS 627544 WITH SCORE 628223.365
AT ITER 9311 NEW BEST:: SOT 1125816 SOS 679342 HAS SOPS 679342 HAS SOUS 627521 HAS SOUPS 627521 WITH SCORE 628200.342
AT ITER 9411 NEW BEST:: SOT 1125816 SOS 678098 HAS SOPS 678098 HAS SOUS 626277 HAS SOUPS 626277 WITH SCORE 626955.098
AT ITER 9417 NEW BEST:: SOT 1125816 SOS 677156 HAS SOPS 677156 HAS SOUS 625806 HAS SOUPS 625806 WITH SCORE 626483.156
AT ITER 9423 NEW BEST:: SOT 1125815 SOS 677155 HAS SOPS 677155 HAS SOUS 625805 HAS SOUPS 625805 WITH SCORE 626482.155
AT ITER 9554 NEW BEST:: SOT 1125815 SOS 676822 HAS SOPS 676822 HAS SOUS 625472 HAS SOUPS 625472 WITH SCORE 626148.822
AT ITER 9559 NEW BEST:: SOT 1126504 SOS 676754 HAS SOPS 676754 HAS SOUS 625472 HAS SOUPS 625472 WITH SCORE 626148.754
AT ITER 9599 NEW BEST:: SOT 1126515 SOS 676743 HAS SOPS 676743 HAS SOUS 625472 HAS SOUPS 625472 WITH SCORE 626148.743
AT ITER 9637 NEW BEST:: SOT 1126620 SOS 676144 HAS SOPS 676144 HAS SOUS 625225 HAS SOUPS 625225 WITH SCORE 625901.144
AT ITER 9684 NEW BEST:: SOT 1126620 SOS 675893 HAS SOPS 675893 HAS SOUS 624974 HAS SOUPS 624974 WITH SCORE 625649.893
AT ITER 9787 NEW BEST:: SOT 1126865 SOS 675876 HAS SOPS 675876 HAS SOUS 624957 HAS SOUPS 624957 WITH SCORE 625632.876
AT ITER 9860 NEW BEST:: SOT 1126865 SOS 675853 HAS SOPS 675853 HAS SOUS 624934 HAS SOUPS 624934 WITH SCORE 625609.853
AT ITER 9863 NEW BEST:: SOT 1126865 SOS 675088 HAS SOPS 675088 HAS SOUS 624838 HAS SOUPS 624838 WITH SCORE 625513.088
AT ITER 9977 NEW BEST:: SOT 1126865 SOS 674828 HAS SOPS 674828 HAS SOUS 624807 HAS SOUPS 624807 WITH SCORE 625481.828
AT ITER 9986 NEW BEST:: SOT 1126940 SOS 674753 HAS SOPS 674753 HAS SOUS 624807 HAS SOUPS 624807 WITH SCORE 625481.753
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7906340 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16132280 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-32"
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-32, 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-167873943500856"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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