About the Execution of Smart for QuasiCertifProtocol-PT-10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16225.243 | 2497012.00 | 2485930.00 | 10128.70 | [undef] | Cannot compute |
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-167873943500880.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-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943500880
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 992K
-rw-r--r-- 1 mcc users 30K Feb 26 01:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 235K Feb 26 01:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 01:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 35K Feb 26 01:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 262K Feb 26 01:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 01:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 01:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 149K 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 1678822030677
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-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), instance 10
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: 550 places, 176 transitions, 1287 arcs.
AT ITER 0 NEW BEST:: SOT 68888 SOS 25624 HAS SOPS 25624 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19809.624
AT ITER 24 NEW BEST:: SOT 69000 SOS 25514 HAS SOPS 25514 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19699.514
AT ITER 29 NEW BEST:: SOT 68989 SOS 25503 HAS SOPS 25503 HAS SOUS 19663 HAS SOUPS 19663 WITH SCORE 19688.503
AT ITER 40 NEW BEST:: SOT 69078 SOS 25476 HAS SOPS 25476 HAS SOUS 19636 HAS SOUPS 19636 WITH SCORE 19661.476
AT ITER 45 NEW BEST:: SOT 69216 SOS 25435 HAS SOPS 25435 HAS SOUS 19595 HAS SOUPS 19595 WITH SCORE 19620.435
AT ITER 48 NEW BEST:: SOT 69343 SOS 25428 HAS SOPS 25428 HAS SOUS 19588 HAS SOUPS 19588 WITH SCORE 19613.428
AT ITER 51 NEW BEST:: SOT 69343 SOS 25387 HAS SOPS 25387 HAS SOUS 19548 HAS SOUPS 19548 WITH SCORE 19573.387
AT ITER 63 NEW BEST:: SOT 69342 SOS 25386 HAS SOPS 25386 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19572.386
AT ITER 75 NEW BEST:: SOT 69342 SOS 25385 HAS SOPS 25385 HAS SOUS 19546 HAS SOUPS 19546 WITH SCORE 19571.385
AT ITER 96 NEW BEST:: SOT 69418 SOS 25365 HAS SOPS 25365 HAS SOUS 19545 HAS SOUPS 19545 WITH SCORE 19570.365
AT ITER 111 NEW BEST:: SOT 69548 SOS 25271 HAS SOPS 25271 HAS SOUS 19451 HAS SOUPS 19451 WITH SCORE 19476.271
AT ITER 119 NEW BEST:: SOT 69548 SOS 25270 HAS SOPS 25270 HAS SOUS 19450 HAS SOUPS 19450 WITH SCORE 19475.27
AT ITER 128 NEW BEST:: SOT 69544 SOS 25266 HAS SOPS 25266 HAS SOUS 19446 HAS SOUPS 19446 WITH SCORE 19471.266
AT ITER 146 NEW BEST:: SOT 69544 SOS 25265 HAS SOPS 25265 HAS SOUS 19445 HAS SOUPS 19445 WITH SCORE 19470.265
AT ITER 199 NEW BEST:: SOT 69665 SOS 25203 HAS SOPS 25203 HAS SOUS 19383 HAS SOUPS 19383 WITH SCORE 19408.203
AT ITER 200 NEW BEST:: SOT 69665 SOS 25119 HAS SOPS 25119 HAS SOUS 19381 HAS SOUPS 19381 WITH SCORE 19406.119
AT ITER 203 NEW BEST:: SOT 69665 SOS 25101 HAS SOPS 25101 HAS SOUS 19377 HAS SOUPS 19377 WITH SCORE 19402.101
AT ITER 243 NEW BEST:: SOT 69665 SOS 24973 HAS SOPS 24973 HAS SOUS 19313 HAS SOUPS 19313 WITH SCORE 19337.973
AT ITER 286 NEW BEST:: SOT 69665 SOS 24957 HAS SOPS 24957 HAS SOUS 19313 HAS SOUPS 19313 WITH SCORE 19337.957
AT ITER 292 NEW BEST:: SOT 69665 SOS 24891 HAS SOPS 24891 HAS SOUS 19305 HAS SOUPS 19305 WITH SCORE 19329.891
AT ITER 304 NEW BEST:: SOT 69665 SOS 24874 HAS SOPS 24874 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19312.874
AT ITER 316 NEW BEST:: SOT 69665 SOS 24778 HAS SOPS 24778 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19264.778
AT ITER 388 NEW BEST:: SOT 67997 SOS 37573 HAS SOPS 37573 HAS SOUS 18993 HAS SOUPS 18993 WITH SCORE 19030.573
AT ITER 413 NEW BEST:: SOT 68047 SOS 37659 HAS SOPS 37659 HAS SOUS 18881 HAS SOUPS 18881 WITH SCORE 18918.659
AT ITER 430 NEW BEST:: SOT 67648 SOS 37260 HAS SOPS 37260 HAS SOUS 18482 HAS SOUPS 18482 WITH SCORE 18519.26
AT ITER 436 NEW BEST:: SOT 67584 SOS 37228 HAS SOPS 37228 HAS SOUS 18481 HAS SOUPS 18481 WITH SCORE 18518.228
AT ITER 441 NEW BEST:: SOT 67466 SOS 37110 HAS SOPS 37110 HAS SOUS 18363 HAS SOUPS 18363 WITH SCORE 18400.11
AT ITER 450 NEW BEST:: SOT 67605 SOS 37170 HAS SOPS 37170 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18381.17
AT ITER 451 NEW BEST:: SOT 67600 SOS 37165 HAS SOPS 37165 HAS SOUS 18339 HAS SOUPS 18339 WITH SCORE 18376.165
AT ITER 456 NEW BEST:: SOT 67600 SOS 37111 HAS SOPS 37111 HAS SOUS 18229 HAS SOUPS 18229 WITH SCORE 18266.111
AT ITER 459 NEW BEST:: SOT 67599 SOS 37110 HAS SOPS 37110 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18265.11
AT ITER 483 NEW BEST:: SOT 67559 SOS 37090 HAS SOPS 37090 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18265.09
AT ITER 491 NEW BEST:: SOT 67559 SOS 37045 HAS SOPS 37045 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18175.045
AT ITER 542 NEW BEST:: SOT 67571 SOS 37045 HAS SOPS 37045 HAS SOUS 18126 HAS SOUPS 18126 WITH SCORE 18163.045
AT ITER 551 NEW BEST:: SOT 67519 SOS 37019 HAS SOPS 37019 HAS SOUS 18126 HAS SOUPS 18126 WITH SCORE 18163.019
AT ITER 586 NEW BEST:: SOT 67509 SOS 37009 HAS SOPS 37009 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18153.009
AT ITER 612 NEW BEST:: SOT 67509 SOS 37002 HAS SOPS 37002 HAS SOUS 18109 HAS SOUPS 18109 WITH SCORE 18146.002
AT ITER 689 NEW BEST:: SOT 67631 SOS 37160 HAS SOPS 37160 HAS SOUS 18100 HAS SOUPS 18100 WITH SCORE 18137.16
AT ITER 707 NEW BEST:: SOT 67603 SOS 37135 HAS SOPS 37135 HAS SOUS 18089 HAS SOUPS 18089 WITH SCORE 18126.135
AT ITER 757 NEW BEST:: SOT 67596 SOS 37128 HAS SOPS 37128 HAS SOUS 18082 HAS SOUPS 18082 WITH SCORE 18119.128
AT ITER 787 NEW BEST:: SOT 67541 SOS 37094 HAS SOPS 37094 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18117.094
AT ITER 791 NEW BEST:: SOT 67607 SOS 37028 HAS SOPS 37028 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17858.028
AT ITER 797 NEW BEST:: SOT 67595 SOS 37016 HAS SOPS 37016 HAS SOUS 17809 HAS SOUPS 17809 WITH SCORE 17846.016
AT ITER 831 NEW BEST:: SOT 67582 SOS 37003 HAS SOPS 37003 HAS SOUS 17807 HAS SOUPS 17807 WITH SCORE 17844.003
AT ITER 869 NEW BEST:: SOT 67572 SOS 36993 HAS SOPS 36993 HAS SOUS 17797 HAS SOUPS 17797 WITH SCORE 17833.993
AT ITER 933 NEW BEST:: SOT 67572 SOS 36910 HAS SOPS 36910 HAS SOUS 17627 HAS SOUPS 17627 WITH SCORE 17663.91
AT ITER 949 NEW BEST:: SOT 67563 SOS 36901 HAS SOPS 36901 HAS SOUS 17618 HAS SOUPS 17618 WITH SCORE 17654.901
AT ITER 1025 NEW BEST:: SOT 65807 SOS 35145 HAS SOPS 35145 HAS SOUS 15884 HAS SOUPS 15884 WITH SCORE 15919.145
AT ITER 1036 NEW BEST:: SOT 65807 SOS 35133 HAS SOPS 35133 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15907.133
AT ITER 1048 NEW BEST:: SOT 65807 SOS 35117 HAS SOPS 35117 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15891.117
AT ITER 1057 NEW BEST:: SOT 65807 SOS 35117 HAS SOPS 35117 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15882.117
AT ITER 1076 NEW BEST:: SOT 65701 SOS 35064 HAS SOPS 35064 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15882.064
AT ITER 1099 NEW BEST:: SOT 65689 SOS 35052 HAS SOPS 35052 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15870.052
AT ITER 1110 NEW BEST:: SOT 65631 SOS 35023 HAS SOPS 35023 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15870.023
AT ITER 1111 NEW BEST:: SOT 65533 SOS 34925 HAS SOPS 34925 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15869.925
AT ITER 1150 NEW BEST:: SOT 65522 SOS 34926 HAS SOPS 34926 HAS SOUS 15830 HAS SOUPS 15830 WITH SCORE 15864.926
AT ITER 1151 NEW BEST:: SOT 65663 SOS 34951 HAS SOPS 34951 HAS SOUS 15716 HAS SOUPS 15716 WITH SCORE 15750.951
AT ITER 1153 NEW BEST:: SOT 65688 SOS 34951 HAS SOPS 34951 HAS SOUS 15691 HAS SOUPS 15691 WITH SCORE 15725.951
AT ITER 1154 NEW BEST:: SOT 65606 SOS 34869 HAS SOPS 34869 HAS SOUS 15668 HAS SOUPS 15668 WITH SCORE 15702.869
AT ITER 1180 NEW BEST:: SOT 65606 SOS 34860 HAS SOPS 34860 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15693.86
AT ITER 1208 NEW BEST:: SOT 65606 SOS 34849 HAS SOPS 34849 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15682.849
AT ITER 1214 NEW BEST:: SOT 65606 SOS 34847 HAS SOPS 34847 HAS SOUS 15646 HAS SOUPS 15646 WITH SCORE 15680.847
AT ITER 1265 NEW BEST:: SOT 65607 SOS 34623 HAS SOPS 34623 HAS SOUS 15526 HAS SOUPS 15526 WITH SCORE 15560.623
AT ITER 1280 NEW BEST:: SOT 65605 SOS 34621 HAS SOPS 34621 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15558.621
AT ITER 1340 NEW BEST:: SOT 65575 SOS 34591 HAS SOPS 34591 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15528.591
AT ITER 1353 NEW BEST:: SOT 65564 SOS 34580 HAS SOPS 34580 HAS SOUS 15483 HAS SOUPS 15483 WITH SCORE 15517.58
AT ITER 1428 NEW BEST:: SOT 65546 SOS 34571 HAS SOPS 34571 HAS SOUS 15483 HAS SOUPS 15483 WITH SCORE 15517.571
AT ITER 1429 NEW BEST:: SOT 65546 SOS 34562 HAS SOPS 34562 HAS SOUS 15474 HAS SOUPS 15474 WITH SCORE 15508.562
AT ITER 1436 NEW BEST:: SOT 65546 SOS 34451 HAS SOPS 34451 HAS SOUS 15363 HAS SOUPS 15363 WITH SCORE 15397.451
AT ITER 1451 NEW BEST:: SOT 65510 SOS 34432 HAS SOPS 34432 HAS SOUS 15362 HAS SOUPS 15362 WITH SCORE 15396.432
AT ITER 1476 NEW BEST:: SOT 65510 SOS 34414 HAS SOPS 34414 HAS SOUS 15344 HAS SOUPS 15344 WITH SCORE 15378.414
AT ITER 1492 NEW BEST:: SOT 65510 SOS 34403 HAS SOPS 34403 HAS SOUS 15333 HAS SOUPS 15333 WITH SCORE 15367.403
AT ITER 1517 NEW BEST:: SOT 65350 SOS 34323 HAS SOPS 34323 HAS SOUS 15333 HAS SOUPS 15333 WITH SCORE 15367.323
AT ITER 1518 NEW BEST:: SOT 65049 SOS 34102 HAS SOPS 34102 HAS SOUS 15266 HAS SOUPS 15266 WITH SCORE 15300.102
AT ITER 1540 NEW BEST:: SOT 65037 SOS 34078 HAS SOPS 34078 HAS SOUS 15242 HAS SOUPS 15242 WITH SCORE 15276.078
AT ITER 1552 NEW BEST:: SOT 65201 SOS 34153 HAS SOPS 34153 HAS SOUS 15228 HAS SOUPS 15228 WITH SCORE 15262.153
AT ITER 1559 NEW BEST:: SOT 65092 SOS 34044 HAS SOPS 34044 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15153.044
AT ITER 1580 NEW BEST:: SOT 65092 SOS 34043 HAS SOPS 34043 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15152.043
AT ITER 1605 NEW BEST:: SOT 65071 SOS 34022 HAS SOPS 34022 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15150.022
AT ITER 1629 NEW BEST:: SOT 65073 SOS 34022 HAS SOPS 34022 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15148.022
AT ITER 1631 NEW BEST:: SOT 65065 SOS 34018 HAS SOPS 34018 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15148.018
AT ITER 1684 NEW BEST:: SOT 65039 SOS 34005 HAS SOPS 34005 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15148.005
AT ITER 1708 NEW BEST:: SOT 64919 SOS 33945 HAS SOPS 33945 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15147.945
AT ITER 1818 NEW BEST:: SOT 64919 SOS 33943 HAS SOPS 33943 HAS SOUS 15112 HAS SOUPS 15112 WITH SCORE 15145.943
AT ITER 1829 NEW BEST:: SOT 64892 SOS 33916 HAS SOPS 33916 HAS SOUS 15085 HAS SOUPS 15085 WITH SCORE 15118.916
AT ITER 1838 NEW BEST:: SOT 64838 SOS 33808 HAS SOPS 33808 HAS SOUS 14977 HAS SOUPS 14977 WITH SCORE 15010.808
AT ITER 1971 NEW BEST:: SOT 64788 SOS 33732 HAS SOPS 33732 HAS SOUS 14926 HAS SOUPS 14926 WITH SCORE 14959.732
AT ITER 1974 NEW BEST:: SOT 64734 SOS 33704 HAS SOPS 33704 HAS SOUS 14925 HAS SOUPS 14925 WITH SCORE 14958.704
AT ITER 2023 NEW BEST:: SOT 64724 SOS 33694 HAS SOPS 33694 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14948.694
AT ITER 2032 NEW BEST:: SOT 64724 SOS 33693 HAS SOPS 33693 HAS SOUS 14914 HAS SOUPS 14914 WITH SCORE 14947.693
AT ITER 2150 NEW BEST:: SOT 64724 SOS 33692 HAS SOPS 33692 HAS SOUS 14913 HAS SOUPS 14913 WITH SCORE 14946.692
AT ITER 2188 NEW BEST:: SOT 64724 SOS 33688 HAS SOPS 33688 HAS SOUS 14909 HAS SOUPS 14909 WITH SCORE 14942.688
AT ITER 2207 NEW BEST:: SOT 64602 SOS 33580 HAS SOPS 33580 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14928.58
AT ITER 2241 NEW BEST:: SOT 64508 SOS 33533 HAS SOPS 33533 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14928.533
AT ITER 2307 NEW BEST:: SOT 64507 SOS 33532 HAS SOPS 33532 HAS SOUS 14894 HAS SOUPS 14894 WITH SCORE 14927.532
AT ITER 2356 NEW BEST:: SOT 64447 SOS 33491 HAS SOPS 33491 HAS SOUS 14883 HAS SOUPS 14883 WITH SCORE 14916.491
AT ITER 2444 NEW BEST:: SOT 64692 SOS 33660 HAS SOPS 33660 HAS SOUS 14847 HAS SOUPS 14847 WITH SCORE 14880.66
AT ITER 2469 NEW BEST:: SOT 64690 SOS 33657 HAS SOPS 33657 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14878.657
AT ITER 2588 NEW BEST:: SOT 64690 SOS 33656 HAS SOPS 33656 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14877.656
AT ITER 2622 NEW BEST:: SOT 64680 SOS 33646 HAS SOPS 33646 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14867.646
AT ITER 2625 NEW BEST:: SOT 64672 SOS 33638 HAS SOPS 33638 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14865.638
AT ITER 2661 NEW BEST:: SOT 64586 SOS 33557 HAS SOPS 33557 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14828.557
AT ITER 2744 NEW BEST:: SOT 64582 SOS 33553 HAS SOPS 33553 HAS SOUS 14791 HAS SOUPS 14791 WITH SCORE 14824.553
AT ITER 2753 NEW BEST:: SOT 64582 SOS 33537 HAS SOPS 33537 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14808.537
AT ITER 2807 NEW BEST:: SOT 64552 SOS 33507 HAS SOPS 33507 HAS SOUS 14745 HAS SOUPS 14745 WITH SCORE 14778.507
AT ITER 2829 NEW BEST:: SOT 64552 SOS 33506 HAS SOPS 33506 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14777.506
AT ITER 2863 NEW BEST:: SOT 64506 SOS 33483 HAS SOPS 33483 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14777.483
AT ITER 2871 NEW BEST:: SOT 64506 SOS 33472 HAS SOPS 33472 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14766.472
AT ITER 2928 NEW BEST:: SOT 64506 SOS 33462 HAS SOPS 33462 HAS SOUS 14723 HAS SOUPS 14723 WITH SCORE 14756.462
AT ITER 2939 NEW BEST:: SOT 64506 SOS 33456 HAS SOPS 33456 HAS SOUS 14717 HAS SOUPS 14717 WITH SCORE 14750.456
AT ITER 2959 NEW BEST:: SOT 64349 SOS 33709 HAS SOPS 33709 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14711.709
AT ITER 2980 NEW BEST:: SOT 64391 SOS 33737 HAS SOPS 33737 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14697.737
AT ITER 3002 NEW BEST:: SOT 64365 SOS 33724 HAS SOPS 33724 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14697.724
AT ITER 3063 NEW BEST:: SOT 64572 SOS 33824 HAS SOPS 33824 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14690.824
AT ITER 3081 NEW BEST:: SOT 64572 SOS 33766 HAS SOPS 33766 HAS SOUS 14599 HAS SOUPS 14599 WITH SCORE 14632.766
AT ITER 3140 NEW BEST:: SOT 64674 SOS 33766 HAS SOPS 33766 HAS SOUS 14497 HAS SOUPS 14497 WITH SCORE 14530.766
AT ITER 3163 NEW BEST:: SOT 64945 SOS 33902 HAS SOPS 33902 HAS SOUS 14486 HAS SOUPS 14486 WITH SCORE 14519.902
AT ITER 3218 NEW BEST:: SOT 64942 SOS 33899 HAS SOPS 33899 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14516.899
AT ITER 3230 NEW BEST:: SOT 64942 SOS 33898 HAS SOPS 33898 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14515.898
AT ITER 3240 NEW BEST:: SOT 64942 SOS 33895 HAS SOPS 33895 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14512.895
AT ITER 3272 NEW BEST:: SOT 65098 SOS 34018 HAS SOPS 34018 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14480.018
AT ITER 3333 NEW BEST:: SOT 65087 SOS 34007 HAS SOPS 34007 HAS SOUS 14435 HAS SOUPS 14435 WITH SCORE 14469.007
AT ITER 3347 NEW BEST:: SOT 65087 SOS 34002 HAS SOPS 34002 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14464.002
AT ITER 3350 NEW BEST:: SOT 65087 SOS 33998 HAS SOPS 33998 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14459.998
AT ITER 3399 NEW BEST:: SOT 65083 SOS 33996 HAS SOPS 33996 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14459.996
AT ITER 3407 NEW BEST:: SOT 65083 SOS 33995 HAS SOPS 33995 HAS SOUS 14425 HAS SOUPS 14425 WITH SCORE 14458.995
AT ITER 3424 NEW BEST:: SOT 65041 SOS 33974 HAS SOPS 33974 HAS SOUS 14425 HAS SOUPS 14425 WITH SCORE 14458.974
AT ITER 3479 NEW BEST:: SOT 65041 SOS 33960 HAS SOPS 33960 HAS SOUS 14411 HAS SOUPS 14411 WITH SCORE 14444.96
AT ITER 3570 NEW BEST:: SOT 65041 SOS 33886 HAS SOPS 33886 HAS SOUS 14337 HAS SOUPS 14337 WITH SCORE 14370.886
AT ITER 3573 NEW BEST:: SOT 65253 SOS 33991 HAS SOPS 33991 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14368.991
AT ITER 3595 NEW BEST:: SOT 65291 SOS 34009 HAS SOPS 34009 HAS SOUS 14332 HAS SOUPS 14332 WITH SCORE 14366.009
AT ITER 3755 NEW BEST:: SOT 65237 SOS 33982 HAS SOPS 33982 HAS SOUS 14332 HAS SOUPS 14332 WITH SCORE 14365.982
AT ITER 3776 NEW BEST:: SOT 65360 SOS 34054 HAS SOPS 34054 HAS SOUS 14310 HAS SOUPS 14310 WITH SCORE 14344.054
AT ITER 3820 NEW BEST:: SOT 65334 SOS 34028 HAS SOPS 34028 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14331.028
AT ITER 3864 NEW BEST:: SOT 65300 SOS 34002 HAS SOPS 34002 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14322.002
AT ITER 4043 NEW BEST:: SOT 65300 SOS 33990 HAS SOPS 33990 HAS SOUS 14276 HAS SOUPS 14276 WITH SCORE 14309.99
AT ITER 4048 NEW BEST:: SOT 65343 SOS 34013 HAS SOPS 34013 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14290.013
AT ITER 4076 NEW BEST:: SOT 65343 SOS 34011 HAS SOPS 34011 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14288.011
AT ITER 4095 NEW BEST:: SOT 65343 SOS 33991 HAS SOPS 33991 HAS SOUS 14234 HAS SOUPS 14234 WITH SCORE 14267.991
AT ITER 4139 NEW BEST:: SOT 65311 SOS 33975 HAS SOPS 33975 HAS SOUS 14234 HAS SOUPS 14234 WITH SCORE 14267.975
AT ITER 4171 NEW BEST:: SOT 65309 SOS 33973 HAS SOPS 33973 HAS SOUS 14233 HAS SOUPS 14233 WITH SCORE 14266.973
AT ITER 4221 NEW BEST:: SOT 65301 SOS 33965 HAS SOPS 33965 HAS SOUS 14229 HAS SOUPS 14229 WITH SCORE 14262.965
AT ITER 4243 NEW BEST:: SOT 65239 SOS 33903 HAS SOPS 33903 HAS SOUS 14198 HAS SOUPS 14198 WITH SCORE 14231.903
AT ITER 4281 NEW BEST:: SOT 65239 SOS 33883 HAS SOPS 33883 HAS SOUS 14178 HAS SOUPS 14178 WITH SCORE 14211.883
AT ITER 4282 NEW BEST:: SOT 65217 SOS 33861 HAS SOPS 33861 HAS SOUS 14156 HAS SOUPS 14156 WITH SCORE 14189.861
AT ITER 4400 NEW BEST:: SOT 65216 SOS 33860 HAS SOPS 33860 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14188.86
AT ITER 4412 NEW BEST:: SOT 65216 SOS 33853 HAS SOPS 33853 HAS SOUS 14148 HAS SOUPS 14148 WITH SCORE 14181.853
AT ITER 4573 NEW BEST:: SOT 65128 SOS 33774 HAS SOPS 33774 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14146.774
AT ITER 4592 NEW BEST:: SOT 65126 SOS 33772 HAS SOPS 33772 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14144.772
AT ITER 4662 NEW BEST:: SOT 65108 SOS 33754 HAS SOPS 33754 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14144.754
AT ITER 4692 NEW BEST:: SOT 64980 SOS 33714 HAS SOPS 33714 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14144.714
AT ITER 4696 NEW BEST:: SOT 64968 SOS 33708 HAS SOPS 33708 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14144.708
AT ITER 4734 NEW BEST:: SOT 64958 SOS 33698 HAS SOPS 33698 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14134.698
AT ITER 4775 NEW BEST:: SOT 64784 SOS 33611 HAS SOPS 33611 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14134.611
AT ITER 4796 NEW BEST:: SOT 64784 SOS 33600 HAS SOPS 33600 HAS SOUS 14090 HAS SOUPS 14090 WITH SCORE 14123.6
AT ITER 4809 NEW BEST:: SOT 64726 SOS 33571 HAS SOPS 33571 HAS SOUS 14090 HAS SOUPS 14090 WITH SCORE 14123.571
AT ITER 4838 NEW BEST:: SOT 64726 SOS 33559 HAS SOPS 33559 HAS SOUS 14078 HAS SOUPS 14078 WITH SCORE 14111.559
AT ITER 4854 NEW BEST:: SOT 64729 SOS 33556 HAS SOPS 33556 HAS SOUS 14078 HAS SOUPS 14078 WITH SCORE 14111.556
AT ITER 4881 NEW BEST:: SOT 64719 SOS 33551 HAS SOPS 33551 HAS SOUS 14078 HAS SOUPS 14078 WITH SCORE 14111.551
AT ITER 4933 NEW BEST:: SOT 64657 SOS 33489 HAS SOPS 33489 HAS SOUS 14047 HAS SOUPS 14047 WITH SCORE 14080.489
AT ITER 4969 NEW BEST:: SOT 64836 SOS 33574 HAS SOPS 33574 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14071.574
AT ITER 5029 NEW BEST:: SOT 64834 SOS 33573 HAS SOPS 33573 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14071.573
AT ITER 5122 NEW BEST:: SOT 64800 SOS 33556 HAS SOPS 33556 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14071.556
AT ITER 5189 NEW BEST:: SOT 64789 SOS 33545 HAS SOPS 33545 HAS SOUS 14027 HAS SOUPS 14027 WITH SCORE 14060.545
AT ITER 5204 NEW BEST:: SOT 64797 SOS 33545 HAS SOPS 33545 HAS SOUS 14019 HAS SOUPS 14019 WITH SCORE 14052.545
AT ITER 5243 NEW BEST:: SOT 64757 SOS 33525 HAS SOPS 33525 HAS SOUS 14019 HAS SOUPS 14019 WITH SCORE 14052.525
AT ITER 5255 NEW BEST:: SOT 64757 SOS 33522 HAS SOPS 33522 HAS SOUS 14016 HAS SOUPS 14016 WITH SCORE 14049.522
AT ITER 5329 NEW BEST:: SOT 64757 SOS 33480 HAS SOPS 33480 HAS SOUS 13974 HAS SOUPS 13974 WITH SCORE 14007.48
AT ITER 5407 NEW BEST:: SOT 64757 SOS 33478 HAS SOPS 33478 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 14005.478
AT ITER 5412 NEW BEST:: SOT 64753 SOS 33474 HAS SOPS 33474 HAS SOUS 13968 HAS SOUPS 13968 WITH SCORE 14001.474
AT ITER 5447 NEW BEST:: SOT 64737 SOS 33458 HAS SOPS 33458 HAS SOUS 13968 HAS SOUPS 13968 WITH SCORE 14001.458
AT ITER 5497 NEW BEST:: SOT 64740 SOS 33457 HAS SOPS 33457 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 14000.457
AT ITER 5557 NEW BEST:: SOT 64740 SOS 33446 HAS SOPS 33446 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13989.446
AT ITER 5622 NEW BEST:: SOT 64746 SOS 33438 HAS SOPS 33438 HAS SOUS 13948 HAS SOUPS 13948 WITH SCORE 13981.438
AT ITER 5667 NEW BEST:: SOT 64740 SOS 33435 HAS SOPS 33435 HAS SOUS 13948 HAS SOUPS 13948 WITH SCORE 13981.435
AT ITER 5689 NEW BEST:: SOT 64733 SOS 33428 HAS SOPS 33428 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13974.428
AT ITER 5709 NEW BEST:: SOT 64733 SOS 33417 HAS SOPS 33417 HAS SOUS 13930 HAS SOUPS 13930 WITH SCORE 13963.417
AT ITER 5712 NEW BEST:: SOT 64695 SOS 33394 HAS SOPS 33394 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13961.394
AT ITER 5824 NEW BEST:: SOT 64683 SOS 33382 HAS SOPS 33382 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13961.382
AT ITER 5908 NEW BEST:: SOT 64757 SOS 33345 HAS SOPS 33345 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13961.345
AT ITER 5934 NEW BEST:: SOT 64746 SOS 33334 HAS SOPS 33334 HAS SOUS 13917 HAS SOUPS 13917 WITH SCORE 13950.334
AT ITER 5986 NEW BEST:: SOT 64746 SOS 33333 HAS SOPS 33333 HAS SOUS 13916 HAS SOUPS 13916 WITH SCORE 13949.333
AT ITER 6059 NEW BEST:: SOT 64741 SOS 33328 HAS SOPS 33328 HAS SOUS 13911 HAS SOUPS 13911 WITH SCORE 13944.328
AT ITER 6064 NEW BEST:: SOT 64735 SOS 33322 HAS SOPS 33322 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13938.322
AT ITER 6088 NEW BEST:: SOT 64725 SOS 33317 HAS SOPS 33317 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13938.317
AT ITER 6172 NEW BEST:: SOT 64741 SOS 33318 HAS SOPS 33318 HAS SOUS 13890 HAS SOUPS 13890 WITH SCORE 13923.318
AT ITER 6258 NEW BEST:: SOT 64684 SOS 33282 HAS SOPS 33282 HAS SOUS 13889 HAS SOUPS 13889 WITH SCORE 13922.282
AT ITER 6274 NEW BEST:: SOT 64592 SOS 33236 HAS SOPS 33236 HAS SOUS 13889 HAS SOUPS 13889 WITH SCORE 13922.236
AT ITER 6358 NEW BEST:: SOT 64520 SOS 33185 HAS SOPS 33185 HAS SOUS 13874 HAS SOUPS 13874 WITH SCORE 13907.185
AT ITER 6401 NEW BEST:: SOT 64496 SOS 33172 HAS SOPS 33172 HAS SOUS 13873 HAS SOUPS 13873 WITH SCORE 13906.172
AT ITER 6503 NEW BEST:: SOT 64496 SOS 33159 HAS SOPS 33159 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13893.159
AT ITER 6510 NEW BEST:: SOT 64494 SOS 33157 HAS SOPS 33157 HAS SOUS 13858 HAS SOUPS 13858 WITH SCORE 13891.157
AT ITER 6581 NEW BEST:: SOT 64492 SOS 33156 HAS SOPS 33156 HAS SOUS 13858 HAS SOUPS 13858 WITH SCORE 13891.156
AT ITER 6745 NEW BEST:: SOT 64486 SOS 33150 HAS SOPS 33150 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13885.15
AT ITER 6766 NEW BEST:: SOT 64486 SOS 33139 HAS SOPS 33139 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13874.139
AT ITER 6799 NEW BEST:: SOT 64498 SOS 33139 HAS SOPS 33139 HAS SOUS 13829 HAS SOUPS 13829 WITH SCORE 13862.139
AT ITER 6825 NEW BEST:: SOT 64543 SOS 33130 HAS SOPS 33130 HAS SOUS 13780 HAS SOUPS 13780 WITH SCORE 13813.13
AT ITER 6875 NEW BEST:: SOT 64542 SOS 33129 HAS SOPS 33129 HAS SOUS 13779 HAS SOUPS 13779 WITH SCORE 13812.129
AT ITER 6892 NEW BEST:: SOT 64516 SOS 33123 HAS SOPS 33123 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13806.123
AT ITER 7066 NEW BEST:: SOT 64482 SOS 33106 HAS SOPS 33106 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13806.106
AT ITER 7079 NEW BEST:: SOT 64487 SOS 33096 HAS SOPS 33096 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13801.096
AT ITER 7107 NEW BEST:: SOT 64367 SOS 33036 HAS SOPS 33036 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13801.036
AT ITER 7166 NEW BEST:: SOT 64367 SOS 33035 HAS SOPS 33035 HAS SOUS 13767 HAS SOUPS 13767 WITH SCORE 13800.035
AT ITER 7197 NEW BEST:: SOT 64323 SOS 33012 HAS SOPS 33012 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13799.012
AT ITER 7380 NEW BEST:: SOT 64496 SOS 33177 HAS SOPS 33177 HAS SOUS 13756 HAS SOUPS 13756 WITH SCORE 13789.177
AT ITER 7414 NEW BEST:: SOT 64471 SOS 33164 HAS SOPS 33164 HAS SOUS 13756 HAS SOUPS 13756 WITH SCORE 13789.164
AT ITER 7540 NEW BEST:: SOT 64447 SOS 33148 HAS SOPS 33148 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13786.148
AT ITER 7550 NEW BEST:: SOT 64466 SOS 33157 HAS SOPS 33157 HAS SOUS 13752 HAS SOUPS 13752 WITH SCORE 13785.157
AT ITER 7580 NEW BEST:: SOT 64498 SOS 33166 HAS SOPS 33166 HAS SOUS 13738 HAS SOUPS 13738 WITH SCORE 13771.166
AT ITER 7631 NEW BEST:: SOT 64478 SOS 33146 HAS SOPS 33146 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13769.146
AT ITER 7746 NEW BEST:: SOT 64472 SOS 33140 HAS SOPS 33140 HAS SOUS 13730 HAS SOUPS 13730 WITH SCORE 13763.14
AT ITER 7774 NEW BEST:: SOT 64472 SOS 33138 HAS SOPS 33138 HAS SOUS 13728 HAS SOUPS 13728 WITH SCORE 13761.138
AT ITER 7846 NEW BEST:: SOT 64472 SOS 33137 HAS SOPS 33137 HAS SOUS 13727 HAS SOUPS 13727 WITH SCORE 13760.137
AT ITER 7863 NEW BEST:: SOT 64763 SOS 33278 HAS SOPS 33278 HAS SOUS 13718 HAS SOUPS 13718 WITH SCORE 13751.278
AT ITER 7897 NEW BEST:: SOT 64781 SOS 33271 HAS SOPS 33271 HAS SOUS 13711 HAS SOUPS 13711 WITH SCORE 13744.271
AT ITER 7913 NEW BEST:: SOT 64781 SOS 33270 HAS SOPS 33270 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13743.27
AT ITER 8028 NEW BEST:: SOT 64778 SOS 33267 HAS SOPS 33267 HAS SOUS 13707 HAS SOUPS 13707 WITH SCORE 13740.267
AT ITER 8213 NEW BEST:: SOT 64778 SOS 33266 HAS SOPS 33266 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13739.266
AT ITER 8250 NEW BEST:: SOT 64773 SOS 33261 HAS SOPS 33261 HAS SOUS 13701 HAS SOUPS 13701 WITH SCORE 13734.261
AT ITER 8281 NEW BEST:: SOT 64767 SOS 33255 HAS SOPS 33255 HAS SOUS 13701 HAS SOUPS 13701 WITH SCORE 13734.255
AT ITER 8289 NEW BEST:: SOT 64817 SOS 33230 HAS SOPS 33230 HAS SOUS 13701 HAS SOUPS 13701 WITH SCORE 13734.23
AT ITER 8426 NEW BEST:: SOT 64836 SOS 33227 HAS SOPS 33227 HAS SOUS 13698 HAS SOUPS 13698 WITH SCORE 13731.227
AT ITER 8522 NEW BEST:: SOT 64556 SOS 33087 HAS SOPS 33087 HAS SOUS 13698 HAS SOUPS 13698 WITH SCORE 13731.087
AT ITER 8527 NEW BEST:: SOT 64556 SOS 33067 HAS SOPS 33067 HAS SOUS 13688 HAS SOUPS 13688 WITH SCORE 13721.067
AT ITER 8766 NEW BEST:: SOT 64552 SOS 33065 HAS SOPS 33065 HAS SOUS 13688 HAS SOUPS 13688 WITH SCORE 13721.065
AT ITER 8820 NEW BEST:: SOT 64552 SOS 33035 HAS SOPS 33035 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13691.035
AT ITER 8899 NEW BEST:: SOT 64525 SOS 33008 HAS SOPS 33008 HAS SOUS 13631 HAS SOUPS 13631 WITH SCORE 13664.008
AT ITER 8917 NEW BEST:: SOT 64522 SOS 33005 HAS SOPS 33005 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13661.005
AT ITER 8950 NEW BEST:: SOT 64574 SOS 32943 HAS SOPS 32943 HAS SOUS 13623 HAS SOUPS 13623 WITH SCORE 13655.943
AT ITER 8989 NEW BEST:: SOT 64574 SOS 32942 HAS SOPS 32942 HAS SOUS 13622 HAS SOUPS 13622 WITH SCORE 13654.942
AT ITER 9044 NEW BEST:: SOT 64572 SOS 32941 HAS SOPS 32941 HAS SOUS 13622 HAS SOUPS 13622 WITH SCORE 13654.941
AT ITER 9244 NEW BEST:: SOT 64564 SOS 32937 HAS SOPS 32937 HAS SOUS 13622 HAS SOUPS 13622 WITH SCORE 13654.937
AT ITER 9265 NEW BEST:: SOT 64538 SOS 32924 HAS SOPS 32924 HAS SOUS 13622 HAS SOUPS 13622 WITH SCORE 13654.924
AT ITER 9350 NEW BEST:: SOT 64516 SOS 32913 HAS SOPS 32913 HAS SOUS 13622 HAS SOUPS 13622 WITH SCORE 13654.913
AT ITER 9361 NEW BEST:: SOT 64516 SOS 29602 HAS SOPS 29602 HAS SOUS 13579 HAS SOUPS 13579 WITH SCORE 13608.602
AT ITER 9513 NEW BEST:: SOT 64527 SOS 29607 HAS SOPS 29607 HAS SOUS 13578 HAS SOUPS 13578 WITH SCORE 13607.607
AT ITER 9522 NEW BEST:: SOT 64515 SOS 29595 HAS SOPS 29595 HAS SOUS 13566 HAS SOUPS 13566 WITH SCORE 13595.595
AT ITER 9576 NEW BEST:: SOT 64515 SOS 29594 HAS SOPS 29594 HAS SOUS 13565 HAS SOUPS 13565 WITH SCORE 13594.594
AT ITER 9633 NEW BEST:: SOT 64719 SOS 29694 HAS SOPS 29694 HAS SOUS 13561 HAS SOUPS 13561 WITH SCORE 13590.694
AT ITER 9648 NEW BEST:: SOT 64647 SOS 29658 HAS SOPS 29658 HAS SOUS 13561 HAS SOUPS 13561 WITH SCORE 13590.658
AT ITER 9664 NEW BEST:: SOT 64854 SOS 29759 HAS SOPS 29759 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13585.759
AT ITER 9680 NEW BEST:: SOT 64833 SOS 29736 HAS SOPS 29736 HAS SOUS 13533 HAS SOUPS 13533 WITH SCORE 13562.736
AT ITER 9683 NEW BEST:: SOT 64833 SOS 29735 HAS SOPS 29735 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13561.735
AT ITER 9805 NEW BEST:: SOT 64848 SOS 29750 HAS SOPS 29750 HAS SOUS 13522 HAS SOUPS 13522 WITH SCORE 13551.75
AT ITER 9873 NEW BEST:: SOT 64860 SOS 29750 HAS SOPS 29750 HAS SOUS 13510 HAS SOUPS 13510 WITH SCORE 13539.75
AT ITER 9890 NEW BEST:: SOT 64858 SOS 29748 HAS SOPS 29748 HAS SOUS 13508 HAS SOUPS 13508 WITH SCORE 13537.748
AT ITER 9947 NEW BEST:: SOT 64829 SOS 29719 HAS SOPS 29719 HAS SOUS 13508 HAS SOUPS 13508 WITH SCORE 13537.719
BK_STOP 1678824527689
--------------------
content from stderr:
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 367 Killed ${SMART}/smart ${INPUT_SM}
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-PT-10"
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-PT-10, 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-167873943500880"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-PT-10.tgz
mv QuasiCertifProtocol-PT-10 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 '
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 ;