About the Execution of Smart for QuasiCertifProtocol-COL-10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
10426.243 | 3600000.00 | 3599146.00 | 963.90 | [undef] | Time out reached |
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-167873943400824.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-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943400824
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 9.0K Feb 26 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 26 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K 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 4.0K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K 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 17K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 01:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 01:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 01:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 26 01:23 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 72K 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 1678819427689
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-10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 18:43:50] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 18:43:50] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 18:43:50] [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 18:43:50] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 18:43:51] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 822 ms
[2023-03-14 18:43:51] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 550 PT places and 176.0 transition bindings in 26 ms.
[2023-03-14 18:43:51] [INFO ] Unfolded HLPN to a Petri net with 550 places and 176 transitions 1287 arcs in 37 ms.
[2023-03-14 18:43:51] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-14 18:43:51] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 550 places, 176 transitions and 1287 arcs took 18 ms.
Total runtime 1126 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), 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 57724 SOS 38648 HAS SOPS 38648 HAS SOUS 32187 HAS SOUPS 32187 WITH SCORE 32225.648
AT ITER 15 NEW BEST:: SOT 57724 SOS 38470 HAS SOPS 38470 HAS SOUS 32019 HAS SOUPS 32019 WITH SCORE 32057.47
AT ITER 29 NEW BEST:: SOT 57713 SOS 38459 HAS SOPS 38459 HAS SOUS 32008 HAS SOUPS 32008 WITH SCORE 32046.459
AT ITER 34 NEW BEST:: SOT 57705 SOS 38451 HAS SOPS 38451 HAS SOUS 32000 HAS SOUPS 32000 WITH SCORE 32038.451
AT ITER 60 NEW BEST:: SOT 57916 SOS 38431 HAS SOPS 38431 HAS SOUS 31980 HAS SOUPS 31980 WITH SCORE 32018.431
AT ITER 67 NEW BEST:: SOT 57915 SOS 38430 HAS SOPS 38430 HAS SOUS 31979 HAS SOUPS 31979 WITH SCORE 32017.43
AT ITER 81 NEW BEST:: SOT 57928 SOS 38347 HAS SOPS 38347 HAS SOUS 31792 HAS SOUPS 31792 WITH SCORE 31830.347
AT ITER 105 NEW BEST:: SOT 57928 SOS 38167 HAS SOPS 38167 HAS SOUS 31622 HAS SOUPS 31622 WITH SCORE 31660.167
AT ITER 132 NEW BEST:: SOT 58004 SOS 37668 HAS SOPS 37668 HAS SOUS 31324 HAS SOUPS 31324 WITH SCORE 31361.668
AT ITER 141 NEW BEST:: SOT 58004 SOS 37625 HAS SOPS 37625 HAS SOUS 31281 HAS SOUPS 31281 WITH SCORE 31318.625
AT ITER 159 NEW BEST:: SOT 58207 SOS 37525 HAS SOPS 37525 HAS SOUS 31244 HAS SOUPS 31244 WITH SCORE 31281.525
AT ITER 185 NEW BEST:: SOT 58210 SOS 37429 HAS SOPS 37429 HAS SOUS 31148 HAS SOUPS 31148 WITH SCORE 31185.429
AT ITER 203 NEW BEST:: SOT 58204 SOS 37426 HAS SOPS 37426 HAS SOUS 31145 HAS SOUPS 31145 WITH SCORE 31182.426
AT ITER 204 NEW BEST:: SOT 58204 SOS 35647 HAS SOPS 35647 HAS SOUS 31056 HAS SOUPS 31056 WITH SCORE 31091.647
AT ITER 217 NEW BEST:: SOT 58204 SOS 35509 HAS SOPS 35509 HAS SOUS 31042 HAS SOUPS 31042 WITH SCORE 31077.509
AT ITER 238 NEW BEST:: SOT 58204 SOS 35223 HAS SOPS 35223 HAS SOUS 31016 HAS SOUPS 31016 WITH SCORE 31051.223
AT ITER 276 NEW BEST:: SOT 58196 SOS 35215 HAS SOPS 35215 HAS SOUS 31008 HAS SOUPS 31008 WITH SCORE 31043.215
AT ITER 288 NEW BEST:: SOT 58135 SOS 35154 HAS SOPS 35154 HAS SOUS 30947 HAS SOUPS 30947 WITH SCORE 30982.154
AT ITER 310 NEW BEST:: SOT 58135 SOS 35155 HAS SOPS 35155 HAS SOUS 30843 HAS SOUPS 30843 WITH SCORE 30878.155
AT ITER 333 NEW BEST:: SOT 58060 SOS 35084 HAS SOPS 35084 HAS SOUS 30770 HAS SOUPS 30770 WITH SCORE 30805.084
AT ITER 373 NEW BEST:: SOT 58060 SOS 34926 HAS SOPS 34926 HAS SOUS 30691 HAS SOUPS 30691 WITH SCORE 30725.926
AT ITER 380 NEW BEST:: SOT 58076 SOS 34863 HAS SOPS 34863 HAS SOUS 30568 HAS SOUPS 30568 WITH SCORE 30602.863
AT ITER 384 NEW BEST:: SOT 58084 SOS 34863 HAS SOPS 34863 HAS SOUS 30562 HAS SOUPS 30562 WITH SCORE 30596.863
AT ITER 391 NEW BEST:: SOT 58054 SOS 34833 HAS SOPS 34833 HAS SOUS 30531 HAS SOUPS 30531 WITH SCORE 30565.833
AT ITER 414 NEW BEST:: SOT 58028 SOS 34807 HAS SOPS 34807 HAS SOUS 30505 HAS SOUPS 30505 WITH SCORE 30539.807
AT ITER 441 NEW BEST:: SOT 58028 SOS 34775 HAS SOPS 34775 HAS SOUS 30473 HAS SOUPS 30473 WITH SCORE 30507.775
AT ITER 465 NEW BEST:: SOT 58047 SOS 34786 HAS SOPS 34786 HAS SOUS 30420 HAS SOUPS 30420 WITH SCORE 30454.786
AT ITER 466 NEW BEST:: SOT 58047 SOS 34354 HAS SOPS 34354 HAS SOUS 30204 HAS SOUPS 30204 WITH SCORE 30238.354
AT ITER 509 NEW BEST:: SOT 58155 SOS 33907 HAS SOPS 33907 HAS SOUS 30041 HAS SOUPS 30041 WITH SCORE 30074.907
AT ITER 516 NEW BEST:: SOT 58155 SOS 33690 HAS SOPS 33690 HAS SOUS 29834 HAS SOUPS 29834 WITH SCORE 29867.69
AT ITER 543 NEW BEST:: SOT 58244 SOS 33601 HAS SOPS 33601 HAS SOUS 29834 HAS SOUPS 29834 WITH SCORE 29867.601
AT ITER 574 NEW BEST:: SOT 58211 SOS 33568 HAS SOPS 33568 HAS SOUS 29780 HAS SOUPS 29780 WITH SCORE 29813.568
AT ITER 587 NEW BEST:: SOT 58205 SOS 33562 HAS SOPS 33562 HAS SOUS 29774 HAS SOUPS 29774 WITH SCORE 29807.562
AT ITER 595 NEW BEST:: SOT 58231 SOS 33551 HAS SOPS 33551 HAS SOUS 29763 HAS SOUPS 29763 WITH SCORE 29796.551
AT ITER 606 NEW BEST:: SOT 58267 SOS 33515 HAS SOPS 33515 HAS SOUS 29763 HAS SOUPS 29763 WITH SCORE 29796.515
AT ITER 654 NEW BEST:: SOT 58184 SOS 33486 HAS SOPS 33486 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29789.486
AT ITER 662 NEW BEST:: SOT 58175 SOS 33477 HAS SOPS 33477 HAS SOUS 29747 HAS SOUPS 29747 WITH SCORE 29780.477
AT ITER 688 NEW BEST:: SOT 58164 SOS 33445 HAS SOPS 33445 HAS SOUS 29736 HAS SOUPS 29736 WITH SCORE 29769.445
AT ITER 721 NEW BEST:: SOT 58153 SOS 33431 HAS SOPS 33431 HAS SOUS 29722 HAS SOUPS 29722 WITH SCORE 29755.431
AT ITER 728 NEW BEST:: SOT 58153 SOS 33284 HAS SOPS 33284 HAS SOUS 29563 HAS SOUPS 29563 WITH SCORE 29596.284
AT ITER 750 NEW BEST:: SOT 58150 SOS 33315 HAS SOPS 33315 HAS SOUS 29560 HAS SOUPS 29560 WITH SCORE 29593.315
AT ITER 758 NEW BEST:: SOT 58150 SOS 33091 HAS SOPS 33091 HAS SOUS 29455 HAS SOUPS 29455 WITH SCORE 29488.091
AT ITER 772 NEW BEST:: SOT 58349 SOS 33080 HAS SOPS 33080 HAS SOUS 29444 HAS SOUPS 29444 WITH SCORE 29477.08
AT ITER 783 NEW BEST:: SOT 58349 SOS 33053 HAS SOPS 33053 HAS SOUS 29444 HAS SOUPS 29444 WITH SCORE 29477.053
AT ITER 794 NEW BEST:: SOT 58349 SOS 33053 HAS SOPS 33053 HAS SOUS 29443 HAS SOUPS 29443 WITH SCORE 29476.053
AT ITER 838 NEW BEST:: SOT 58349 SOS 32611 HAS SOPS 32611 HAS SOUS 29011 HAS SOUPS 29011 WITH SCORE 29043.611
AT ITER 902 NEW BEST:: SOT 58384 SOS 32603 HAS SOPS 32603 HAS SOUS 29003 HAS SOUPS 29003 WITH SCORE 29035.603
AT ITER 961 NEW BEST:: SOT 58384 SOS 32398 HAS SOPS 32398 HAS SOUS 28882 HAS SOUPS 28882 WITH SCORE 28914.398
AT ITER 984 NEW BEST:: SOT 58415 SOS 32387 HAS SOPS 32387 HAS SOUS 28871 HAS SOUPS 28871 WITH SCORE 28903.387
AT ITER 1009 NEW BEST:: SOT 58453 SOS 32414 HAS SOPS 32414 HAS SOUS 28860 HAS SOUPS 28860 WITH SCORE 28892.414
AT ITER 1053 NEW BEST:: SOT 58453 SOS 31959 HAS SOPS 31959 HAS SOUS 28689 HAS SOUPS 28689 WITH SCORE 28720.959
AT ITER 1139 NEW BEST:: SOT 58460 SOS 31855 HAS SOPS 31855 HAS SOUS 28585 HAS SOUPS 28585 WITH SCORE 28616.855
AT ITER 1167 NEW BEST:: SOT 58485 SOS 31872 HAS SOPS 31872 HAS SOUS 28576 HAS SOUPS 28576 WITH SCORE 28607.872
AT ITER 1206 NEW BEST:: SOT 58485 SOS 31877 HAS SOPS 31877 HAS SOUS 28574 HAS SOUPS 28574 WITH SCORE 28605.877
AT ITER 1215 NEW BEST:: SOT 58527 SOS 31835 HAS SOPS 31835 HAS SOUS 28574 HAS SOUPS 28574 WITH SCORE 28605.835
AT ITER 1217 NEW BEST:: SOT 58551 SOS 31845 HAS SOPS 31845 HAS SOUS 28560 HAS SOUPS 28560 WITH SCORE 28591.845
AT ITER 1226 NEW BEST:: SOT 58551 SOS 31833 HAS SOPS 31833 HAS SOUS 28530 HAS SOUPS 28530 WITH SCORE 28561.833
AT ITER 1304 NEW BEST:: SOT 58544 SOS 31830 HAS SOPS 31830 HAS SOUS 28527 HAS SOUPS 28527 WITH SCORE 28558.83
AT ITER 1327 NEW BEST:: SOT 58550 SOS 31827 HAS SOPS 31827 HAS SOUS 28524 HAS SOUPS 28524 WITH SCORE 28555.827
AT ITER 1345 NEW BEST:: SOT 58549 SOS 31826 HAS SOPS 31826 HAS SOUS 28523 HAS SOUPS 28523 WITH SCORE 28554.826
AT ITER 1369 NEW BEST:: SOT 58580 SOS 31795 HAS SOPS 31795 HAS SOUS 28523 HAS SOUPS 28523 WITH SCORE 28554.795
AT ITER 1394 NEW BEST:: SOT 58580 SOS 31795 HAS SOPS 31795 HAS SOUS 28487 HAS SOUPS 28487 WITH SCORE 28518.795
AT ITER 1432 NEW BEST:: SOT 58624 SOS 31783 HAS SOPS 31783 HAS SOUS 28487 HAS SOUPS 28487 WITH SCORE 28518.783
AT ITER 1469 NEW BEST:: SOT 58622 SOS 31785 HAS SOPS 31785 HAS SOUS 28485 HAS SOUPS 28485 WITH SCORE 28516.785
AT ITER 1593 NEW BEST:: SOT 58621 SOS 31784 HAS SOPS 31784 HAS SOUS 28484 HAS SOUPS 28484 WITH SCORE 28515.784
AT ITER 1600 NEW BEST:: SOT 58621 SOS 31779 HAS SOPS 31779 HAS SOUS 28479 HAS SOUPS 28479 WITH SCORE 28510.779
AT ITER 1615 NEW BEST:: SOT 58621 SOS 31775 HAS SOPS 31775 HAS SOUS 28477 HAS SOUPS 28477 WITH SCORE 28508.775
AT ITER 1622 NEW BEST:: SOT 58627 SOS 31769 HAS SOPS 31769 HAS SOUS 28477 HAS SOUPS 28477 WITH SCORE 28508.769
AT ITER 1630 NEW BEST:: SOT 58627 SOS 31741 HAS SOPS 31741 HAS SOUS 28452 HAS SOUPS 28452 WITH SCORE 28483.741
AT ITER 1661 NEW BEST:: SOT 58704 SOS 31810 HAS SOPS 31810 HAS SOUS 28446 HAS SOUPS 28446 WITH SCORE 28477.81
AT ITER 1690 NEW BEST:: SOT 58704 SOS 31810 HAS SOPS 31810 HAS SOUS 28445 HAS SOUPS 28445 WITH SCORE 28476.81
AT ITER 1692 NEW BEST:: SOT 58704 SOS 31810 HAS SOPS 31810 HAS SOUS 28444 HAS SOUPS 28444 WITH SCORE 28475.81
AT ITER 1726 NEW BEST:: SOT 58616 SOS 31722 HAS SOPS 31722 HAS SOUS 28356 HAS SOUPS 28356 WITH SCORE 28387.722
AT ITER 1735 NEW BEST:: SOT 58614 SOS 31720 HAS SOPS 31720 HAS SOUS 28354 HAS SOUPS 28354 WITH SCORE 28385.72
AT ITER 1757 NEW BEST:: SOT 58718 SOS 31580 HAS SOPS 31580 HAS SOUS 28330 HAS SOUPS 28330 WITH SCORE 28361.58
AT ITER 1779 NEW BEST:: SOT 58690 SOS 31550 HAS SOPS 31550 HAS SOUS 28328 HAS SOUPS 28328 WITH SCORE 28359.55
AT ITER 1805 NEW BEST:: SOT 58690 SOS 31526 HAS SOPS 31526 HAS SOUS 28304 HAS SOUPS 28304 WITH SCORE 28335.526
AT ITER 1821 NEW BEST:: SOT 58690 SOS 31522 HAS SOPS 31522 HAS SOUS 28300 HAS SOUPS 28300 WITH SCORE 28331.522
AT ITER 1847 NEW BEST:: SOT 58706 SOS 31487 HAS SOPS 31487 HAS SOUS 28265 HAS SOUPS 28265 WITH SCORE 28296.487
AT ITER 1875 NEW BEST:: SOT 58706 SOS 31484 HAS SOPS 31484 HAS SOUS 28263 HAS SOUPS 28263 WITH SCORE 28294.484
AT ITER 1936 NEW BEST:: SOT 58706 SOS 31483 HAS SOPS 31483 HAS SOUS 28262 HAS SOUPS 28262 WITH SCORE 28293.483
AT ITER 1946 NEW BEST:: SOT 58705 SOS 31482 HAS SOPS 31482 HAS SOUS 28261 HAS SOUPS 28261 WITH SCORE 28292.482
AT ITER 1952 NEW BEST:: SOT 58838 SOS 31378 HAS SOPS 31378 HAS SOUS 28261 HAS SOUPS 28261 WITH SCORE 28292.378
AT ITER 1968 NEW BEST:: SOT 58837 SOS 31377 HAS SOPS 31377 HAS SOUS 28260 HAS SOUPS 28260 WITH SCORE 28291.377
AT ITER 2058 NEW BEST:: SOT 58837 SOS 31269 HAS SOPS 31269 HAS SOUS 28152 HAS SOUPS 28152 WITH SCORE 28183.269
AT ITER 2070 NEW BEST:: SOT 58836 SOS 31173 HAS SOPS 31173 HAS SOUS 28056 HAS SOUPS 28056 WITH SCORE 28087.173
AT ITER 2092 NEW BEST:: SOT 58825 SOS 31162 HAS SOPS 31162 HAS SOUS 28045 HAS SOUPS 28045 WITH SCORE 28076.162
AT ITER 2143 NEW BEST:: SOT 58828 SOS 31154 HAS SOPS 31154 HAS SOUS 28037 HAS SOUPS 28037 WITH SCORE 28068.154
AT ITER 2148 NEW BEST:: SOT 58796 SOS 31143 HAS SOPS 31143 HAS SOUS 28026 HAS SOUPS 28026 WITH SCORE 28057.143
AT ITER 2154 NEW BEST:: SOT 58878 SOS 31132 HAS SOPS 31132 HAS SOUS 28015 HAS SOUPS 28015 WITH SCORE 28046.132
AT ITER 2202 NEW BEST:: SOT 58865 SOS 31119 HAS SOPS 31119 HAS SOUS 28015 HAS SOUPS 28015 WITH SCORE 28046.119
AT ITER 2235 NEW BEST:: SOT 59065 SOS 31063 HAS SOPS 31063 HAS SOUS 28015 HAS SOUPS 28015 WITH SCORE 28046.063
AT ITER 2285 NEW BEST:: SOT 59091 SOS 31015 HAS SOPS 31015 HAS SOUS 28004 HAS SOUPS 28004 WITH SCORE 28035.015
AT ITER 2319 NEW BEST:: SOT 59080 SOS 30999 HAS SOPS 30999 HAS SOUS 27981 HAS SOUPS 27981 WITH SCORE 28011.999
AT ITER 2324 NEW BEST:: SOT 59185 SOS 30894 HAS SOPS 30894 HAS SOUS 27981 HAS SOUPS 27981 WITH SCORE 28011.894
AT ITER 2340 NEW BEST:: SOT 59191 SOS 30868 HAS SOPS 30868 HAS SOUS 27955 HAS SOUPS 27955 WITH SCORE 27985.868
AT ITER 2350 NEW BEST:: SOT 59188 SOS 30865 HAS SOPS 30865 HAS SOUS 27952 HAS SOUPS 27952 WITH SCORE 27982.865
AT ITER 2401 NEW BEST:: SOT 59187 SOS 30864 HAS SOPS 30864 HAS SOUS 27951 HAS SOUPS 27951 WITH SCORE 27981.864
AT ITER 2415 NEW BEST:: SOT 59183 SOS 30860 HAS SOPS 30860 HAS SOUS 27947 HAS SOUPS 27947 WITH SCORE 27977.86
AT ITER 2434 NEW BEST:: SOT 59161 SOS 30838 HAS SOPS 30838 HAS SOUS 27925 HAS SOUPS 27925 WITH SCORE 27955.838
AT ITER 2518 NEW BEST:: SOT 59164 SOS 30831 HAS SOPS 30831 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 27948.831
AT ITER 2575 NEW BEST:: SOT 59155 SOS 30822 HAS SOPS 30822 HAS SOUS 27909 HAS SOUPS 27909 WITH SCORE 27939.822
AT ITER 2601 NEW BEST:: SOT 59312 SOS 30683 HAS SOPS 30683 HAS SOUS 27898 HAS SOUPS 27898 WITH SCORE 27928.683
AT ITER 2606 NEW BEST:: SOT 59311 SOS 30425 HAS SOPS 30425 HAS SOUS 27783 HAS SOUPS 27783 WITH SCORE 27813.425
AT ITER 2651 NEW BEST:: SOT 59310 SOS 30424 HAS SOPS 30424 HAS SOUS 27782 HAS SOUPS 27782 WITH SCORE 27812.424
AT ITER 2655 NEW BEST:: SOT 59301 SOS 30406 HAS SOPS 30406 HAS SOUS 27773 HAS SOUPS 27773 WITH SCORE 27803.406
AT ITER 2677 NEW BEST:: SOT 59295 SOS 30400 HAS SOPS 30400 HAS SOUS 27767 HAS SOUPS 27767 WITH SCORE 27797.4
AT ITER 2727 NEW BEST:: SOT 59295 SOS 30398 HAS SOPS 30398 HAS SOUS 27765 HAS SOUPS 27765 WITH SCORE 27795.398
AT ITER 2757 NEW BEST:: SOT 59284 SOS 30394 HAS SOPS 30394 HAS SOUS 27761 HAS SOUPS 27761 WITH SCORE 27791.394
AT ITER 2782 NEW BEST:: SOT 59283 SOS 30393 HAS SOPS 30393 HAS SOUS 27760 HAS SOUPS 27760 WITH SCORE 27790.393
AT ITER 2810 NEW BEST:: SOT 59283 SOS 30391 HAS SOPS 30391 HAS SOUS 27758 HAS SOUPS 27758 WITH SCORE 27788.391
AT ITER 2862 NEW BEST:: SOT 59282 SOS 29917 HAS SOPS 29917 HAS SOUS 27714 HAS SOUPS 27714 WITH SCORE 27743.917
AT ITER 2987 NEW BEST:: SOT 59277 SOS 29912 HAS SOPS 29912 HAS SOUS 27709 HAS SOUPS 27709 WITH SCORE 27738.912
AT ITER 3017 NEW BEST:: SOT 59393 SOS 29905 HAS SOPS 29905 HAS SOUS 27702 HAS SOUPS 27702 WITH SCORE 27731.905
AT ITER 3038 NEW BEST:: SOT 59388 SOS 29900 HAS SOPS 29900 HAS SOUS 27697 HAS SOUPS 27697 WITH SCORE 27726.9
AT ITER 3043 NEW BEST:: SOT 59388 SOS 29891 HAS SOPS 29891 HAS SOUS 27688 HAS SOUPS 27688 WITH SCORE 27717.891
AT ITER 3085 NEW BEST:: SOT 59388 SOS 29890 HAS SOPS 29890 HAS SOUS 27687 HAS SOUPS 27687 WITH SCORE 27716.89
AT ITER 3139 NEW BEST:: SOT 59388 SOS 29890 HAS SOPS 29890 HAS SOUS 27686 HAS SOUPS 27686 WITH SCORE 27715.89
AT ITER 3141 NEW BEST:: SOT 59383 SOS 29885 HAS SOPS 29885 HAS SOUS 27681 HAS SOUPS 27681 WITH SCORE 27710.885
AT ITER 3145 NEW BEST:: SOT 59348 SOS 29850 HAS SOPS 29850 HAS SOUS 27646 HAS SOUPS 27646 WITH SCORE 27675.85
AT ITER 3169 NEW BEST:: SOT 59348 SOS 29831 HAS SOPS 29831 HAS SOUS 27627 HAS SOUPS 27627 WITH SCORE 27656.831
AT ITER 3232 NEW BEST:: SOT 59345 SOS 29828 HAS SOPS 29828 HAS SOUS 27624 HAS SOUPS 27624 WITH SCORE 27653.828
AT ITER 3325 NEW BEST:: SOT 59450 SOS 29809 HAS SOPS 29809 HAS SOUS 27605 HAS SOUPS 27605 WITH SCORE 27634.809
AT ITER 3352 NEW BEST:: SOT 59431 SOS 29831 HAS SOPS 29831 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27615.831
AT ITER 3380 NEW BEST:: SOT 59431 SOS 29816 HAS SOPS 29816 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27615.816
AT ITER 3391 NEW BEST:: SOT 59449 SOS 29808 HAS SOPS 29808 HAS SOUS 27578 HAS SOUPS 27578 WITH SCORE 27607.808
AT ITER 3405 NEW BEST:: SOT 59449 SOS 29807 HAS SOPS 29807 HAS SOUS 27577 HAS SOUPS 27577 WITH SCORE 27606.807
AT ITER 3410 NEW BEST:: SOT 59437 SOS 29801 HAS SOPS 29801 HAS SOUS 27577 HAS SOUPS 27577 WITH SCORE 27606.801
AT ITER 3451 NEW BEST:: SOT 59437 SOS 29779 HAS SOPS 29779 HAS SOUS 27575 HAS SOUPS 27575 WITH SCORE 27604.779
AT ITER 3521 NEW BEST:: SOT 59426 SOS 29768 HAS SOPS 29768 HAS SOUS 27564 HAS SOUPS 27564 WITH SCORE 27593.768
AT ITER 3565 NEW BEST:: SOT 59426 SOS 29768 HAS SOPS 29768 HAS SOUS 27562 HAS SOUPS 27562 WITH SCORE 27591.768
AT ITER 3566 NEW BEST:: SOT 59368 SOS 29710 HAS SOPS 29710 HAS SOUS 27537 HAS SOUPS 27537 WITH SCORE 27566.71
AT ITER 3572 NEW BEST:: SOT 59368 SOS 29644 HAS SOPS 29644 HAS SOUS 27531 HAS SOUPS 27531 WITH SCORE 27560.644
AT ITER 3600 NEW BEST:: SOT 59360 SOS 29636 HAS SOPS 29636 HAS SOUS 27523 HAS SOUPS 27523 WITH SCORE 27552.636
AT ITER 3630 NEW BEST:: SOT 59313 SOS 29589 HAS SOPS 29589 HAS SOUS 27476 HAS SOUPS 27476 WITH SCORE 27505.589
AT ITER 3671 NEW BEST:: SOT 59250 SOS 29582 HAS SOPS 29582 HAS SOUS 27469 HAS SOUPS 27469 WITH SCORE 27498.582
AT ITER 3755 NEW BEST:: SOT 59250 SOS 29581 HAS SOPS 29581 HAS SOUS 27468 HAS SOUPS 27468 WITH SCORE 27497.581
AT ITER 3797 NEW BEST:: SOT 59273 SOS 29578 HAS SOPS 29578 HAS SOUS 27468 HAS SOUPS 27468 WITH SCORE 27497.578
AT ITER 3834 NEW BEST:: SOT 59257 SOS 29562 HAS SOPS 29562 HAS SOUS 27452 HAS SOUPS 27452 WITH SCORE 27481.562
AT ITER 3900 NEW BEST:: SOT 59241 SOS 29578 HAS SOPS 29578 HAS SOUS 27451 HAS SOUPS 27451 WITH SCORE 27480.578
AT ITER 3929 NEW BEST:: SOT 59243 SOS 29575 HAS SOPS 29575 HAS SOUS 27448 HAS SOUPS 27448 WITH SCORE 27477.575
AT ITER 4014 NEW BEST:: SOT 59260 SOS 29536 HAS SOPS 29536 HAS SOUS 27443 HAS SOUPS 27443 WITH SCORE 27472.536
AT ITER 4135 NEW BEST:: SOT 59250 SOS 29526 HAS SOPS 29526 HAS SOUS 27433 HAS SOUPS 27433 WITH SCORE 27462.526
AT ITER 4165 NEW BEST:: SOT 59325 SOS 29593 HAS SOPS 29593 HAS SOUS 27425 HAS SOUPS 27425 WITH SCORE 27454.593
AT ITER 4181 NEW BEST:: SOT 59324 SOS 29592 HAS SOPS 29592 HAS SOUS 27424 HAS SOUPS 27424 WITH SCORE 27453.592
AT ITER 4257 NEW BEST:: SOT 59324 SOS 29591 HAS SOPS 29591 HAS SOUS 27423 HAS SOUPS 27423 WITH SCORE 27452.591
AT ITER 4342 NEW BEST:: SOT 59284 SOS 29551 HAS SOPS 29551 HAS SOUS 27378 HAS SOUPS 27378 WITH SCORE 27407.551
AT ITER 4372 NEW BEST:: SOT 59284 SOS 29548 HAS SOPS 29548 HAS SOUS 27375 HAS SOUPS 27375 WITH SCORE 27404.548
AT ITER 4413 NEW BEST:: SOT 59284 SOS 29488 HAS SOPS 29488 HAS SOUS 27315 HAS SOUPS 27315 WITH SCORE 27344.488
AT ITER 4422 NEW BEST:: SOT 59274 SOS 29478 HAS SOPS 29478 HAS SOUS 27305 HAS SOUPS 27305 WITH SCORE 27334.478
AT ITER 4430 NEW BEST:: SOT 59274 SOS 29477 HAS SOPS 29477 HAS SOUS 27304 HAS SOUPS 27304 WITH SCORE 27333.477
AT ITER 4432 NEW BEST:: SOT 59237 SOS 29473 HAS SOPS 29473 HAS SOUS 27300 HAS SOUPS 27300 WITH SCORE 27329.473
AT ITER 4441 NEW BEST:: SOT 59237 SOS 28711 HAS SOPS 28711 HAS SOUS 27300 HAS SOUPS 27300 WITH SCORE 27328.711
AT ITER 4479 NEW BEST:: SOT 59237 SOS 28711 HAS SOPS 28711 HAS SOUS 27294 HAS SOUPS 27294 WITH SCORE 27322.711
AT ITER 4501 NEW BEST:: SOT 59237 SOS 28497 HAS SOPS 28497 HAS SOUS 27187 HAS SOUPS 27187 WITH SCORE 27215.497
AT ITER 4510 NEW BEST:: SOT 59234 SOS 28494 HAS SOPS 28494 HAS SOUS 27184 HAS SOUPS 27184 WITH SCORE 27212.494
AT ITER 4569 NEW BEST:: SOT 59240 SOS 28494 HAS SOPS 28494 HAS SOUS 27178 HAS SOUPS 27178 WITH SCORE 27206.494
AT ITER 4673 NEW BEST:: SOT 59226 SOS 28527 HAS SOPS 28527 HAS SOUS 27177 HAS SOUPS 27177 WITH SCORE 27205.527
AT ITER 4729 NEW BEST:: SOT 59223 SOS 28524 HAS SOPS 28524 HAS SOUS 27174 HAS SOUPS 27174 WITH SCORE 27202.524
AT ITER 4750 NEW BEST:: SOT 59223 SOS 28524 HAS SOPS 28524 HAS SOUS 27173 HAS SOUPS 27173 WITH SCORE 27201.524
AT ITER 4765 NEW BEST:: SOT 59223 SOS 28521 HAS SOPS 28521 HAS SOUS 27170 HAS SOUPS 27170 WITH SCORE 27198.521
AT ITER 4816 NEW BEST:: SOT 59223 SOS 28514 HAS SOPS 28514 HAS SOUS 27163 HAS SOUPS 27163 WITH SCORE 27191.514
AT ITER 4823 NEW BEST:: SOT 59223 SOS 28384 HAS SOPS 28384 HAS SOUS 27103 HAS SOUPS 27103 WITH SCORE 27131.384
AT ITER 4859 NEW BEST:: SOT 59223 SOS 28379 HAS SOPS 28379 HAS SOUS 27103 HAS SOUPS 27103 WITH SCORE 27131.379
AT ITER 4868 NEW BEST:: SOT 59219 SOS 28375 HAS SOPS 28375 HAS SOUS 27103 HAS SOUPS 27103 WITH SCORE 27131.375
AT ITER 4914 NEW BEST:: SOT 59219 SOS 28365 HAS SOPS 28365 HAS SOUS 27093 HAS SOUPS 27093 WITH SCORE 27121.365
AT ITER 4944 NEW BEST:: SOT 59390 SOS 28021 HAS SOPS 28021 HAS SOUS 26985 HAS SOUPS 26985 WITH SCORE 27013.021
AT ITER 4946 NEW BEST:: SOT 59434 SOS 27959 HAS SOPS 27959 HAS SOUS 26976 HAS SOUPS 26976 WITH SCORE 27003.959
AT ITER 4964 NEW BEST:: SOT 59474 SOS 27948 HAS SOPS 27948 HAS SOUS 26968 HAS SOUPS 26968 WITH SCORE 26995.948
AT ITER 4966 NEW BEST:: SOT 59496 SOS 27928 HAS SOPS 27928 HAS SOUS 26948 HAS SOUPS 26948 WITH SCORE 26975.928
AT ITER 5011 NEW BEST:: SOT 59495 SOS 27927 HAS SOPS 27927 HAS SOUS 26947 HAS SOUPS 26947 WITH SCORE 26974.927
AT ITER 5014 NEW BEST:: SOT 59489 SOS 27921 HAS SOPS 27921 HAS SOUS 26941 HAS SOUPS 26941 WITH SCORE 26968.921
AT ITER 5073 NEW BEST:: SOT 59463 SOS 27895 HAS SOPS 27895 HAS SOUS 26915 HAS SOUPS 26915 WITH SCORE 26942.895
AT ITER 5081 NEW BEST:: SOT 59467 SOS 27843 HAS SOPS 27843 HAS SOUS 26863 HAS SOUPS 26863 WITH SCORE 26890.843
AT ITER 5084 NEW BEST:: SOT 59467 SOS 27839 HAS SOPS 27839 HAS SOUS 26848 HAS SOUPS 26848 WITH SCORE 26875.839
AT ITER 5200 NEW BEST:: SOT 59476 SOS 27830 HAS SOPS 27830 HAS SOUS 26848 HAS SOUPS 26848 WITH SCORE 26875.83
AT ITER 5208 NEW BEST:: SOT 59475 SOS 27829 HAS SOPS 27829 HAS SOUS 26847 HAS SOUPS 26847 WITH SCORE 26874.829
AT ITER 5234 NEW BEST:: SOT 59475 SOS 27828 HAS SOPS 27828 HAS SOUS 26846 HAS SOUPS 26846 WITH SCORE 26873.828
AT ITER 5322 NEW BEST:: SOT 59475 SOS 27815 HAS SOPS 27815 HAS SOUS 26833 HAS SOUPS 26833 WITH SCORE 26860.815
AT ITER 5358 NEW BEST:: SOT 59475 SOS 27810 HAS SOPS 27810 HAS SOUS 26828 HAS SOUPS 26828 WITH SCORE 26855.81
AT ITER 5370 NEW BEST:: SOT 59438 SOS 27773 HAS SOPS 27773 HAS SOUS 26791 HAS SOUPS 26791 WITH SCORE 26818.773
AT ITER 5457 NEW BEST:: SOT 59673 SOS 27758 HAS SOPS 27758 HAS SOUS 26776 HAS SOUPS 26776 WITH SCORE 26803.758
AT ITER 5531 NEW BEST:: SOT 59673 SOS 27736 HAS SOPS 27736 HAS SOUS 26754 HAS SOUPS 26754 WITH SCORE 26781.736
AT ITER 5604 NEW BEST:: SOT 59638 SOS 27730 HAS SOPS 27730 HAS SOUS 26748 HAS SOUPS 26748 WITH SCORE 26775.73
AT ITER 5628 NEW BEST:: SOT 59638 SOS 27729 HAS SOPS 27729 HAS SOUS 26747 HAS SOUPS 26747 WITH SCORE 26774.729
AT ITER 5676 NEW BEST:: SOT 59598 SOS 27655 HAS SOPS 27655 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26734.655
AT ITER 5699 NEW BEST:: SOT 59598 SOS 27650 HAS SOPS 27650 HAS SOUS 26702 HAS SOUPS 26702 WITH SCORE 26729.65
AT ITER 5824 NEW BEST:: SOT 59586 SOS 27638 HAS SOPS 27638 HAS SOUS 26690 HAS SOUPS 26690 WITH SCORE 26717.638
AT ITER 5827 NEW BEST:: SOT 59585 SOS 27637 HAS SOPS 27637 HAS SOUS 26689 HAS SOUPS 26689 WITH SCORE 26716.637
AT ITER 5848 NEW BEST:: SOT 59582 SOS 27634 HAS SOPS 27634 HAS SOUS 26686 HAS SOUPS 26686 WITH SCORE 26713.634
AT ITER 5936 NEW BEST:: SOT 59544 SOS 27585 HAS SOPS 27585 HAS SOUS 26637 HAS SOUPS 26637 WITH SCORE 26664.585
AT ITER 6000 NEW BEST:: SOT 59543 SOS 27584 HAS SOPS 27584 HAS SOUS 26636 HAS SOUPS 26636 WITH SCORE 26663.584
AT ITER 6026 NEW BEST:: SOT 59517 SOS 27571 HAS SOPS 27571 HAS SOUS 26623 HAS SOUPS 26623 WITH SCORE 26650.571
AT ITER 6027 NEW BEST:: SOT 59517 SOS 27566 HAS SOPS 27566 HAS SOUS 26618 HAS SOUPS 26618 WITH SCORE 26645.566
AT ITER 6099 NEW BEST:: SOT 59517 SOS 27548 HAS SOPS 27548 HAS SOUS 26600 HAS SOUPS 26600 WITH SCORE 26627.548
AT ITER 6156 NEW BEST:: SOT 59510 SOS 27541 HAS SOPS 27541 HAS SOUS 26593 HAS SOUPS 26593 WITH SCORE 26620.541
AT ITER 6203 NEW BEST:: SOT 59510 SOS 27527 HAS SOPS 27527 HAS SOUS 26586 HAS SOUPS 26586 WITH SCORE 26613.527
AT ITER 6214 NEW BEST:: SOT 59552 SOS 27525 HAS SOPS 27525 HAS SOUS 26586 HAS SOUPS 26586 WITH SCORE 26613.525
AT ITER 6262 NEW BEST:: SOT 59552 SOS 27517 HAS SOPS 27517 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26605.517
AT ITER 6274 NEW BEST:: SOT 59552 SOS 27514 HAS SOPS 27514 HAS SOUS 26575 HAS SOUPS 26575 WITH SCORE 26602.514
AT ITER 6280 NEW BEST:: SOT 59471 SOS 27512 HAS SOPS 27512 HAS SOUS 26573 HAS SOUPS 26573 WITH SCORE 26600.512
AT ITER 6322 NEW BEST:: SOT 59474 SOS 27509 HAS SOPS 27509 HAS SOUS 26570 HAS SOUPS 26570 WITH SCORE 26597.509
AT ITER 6518 NEW BEST:: SOT 59604 SOS 27387 HAS SOPS 27387 HAS SOUS 26568 HAS SOUPS 26568 WITH SCORE 26595.387
AT ITER 6532 NEW BEST:: SOT 59609 SOS 27382 HAS SOPS 27382 HAS SOUS 26563 HAS SOUPS 26563 WITH SCORE 26590.382
AT ITER 6550 NEW BEST:: SOT 59609 SOS 27378 HAS SOPS 27378 HAS SOUS 26559 HAS SOUPS 26559 WITH SCORE 26586.378
AT ITER 6639 NEW BEST:: SOT 59637 SOS 27377 HAS SOPS 27377 HAS SOUS 26558 HAS SOUPS 26558 WITH SCORE 26585.377
AT ITER 6669 NEW BEST:: SOT 59654 SOS 27381 HAS SOPS 27381 HAS SOUS 26549 HAS SOUPS 26549 WITH SCORE 26576.381
AT ITER 6788 NEW BEST:: SOT 59555 SOS 27290 HAS SOPS 27290 HAS SOUS 26515 HAS SOUPS 26515 WITH SCORE 26542.29
AT ITER 6918 NEW BEST:: SOT 59554 SOS 27289 HAS SOPS 27289 HAS SOUS 26514 HAS SOUPS 26514 WITH SCORE 26541.289
AT ITER 6922 NEW BEST:: SOT 59646 SOS 27220 HAS SOPS 27220 HAS SOUS 26445 HAS SOUPS 26445 WITH SCORE 26472.22
AT ITER 6923 NEW BEST:: SOT 59646 SOS 27219 HAS SOPS 27219 HAS SOUS 26444 HAS SOUPS 26444 WITH SCORE 26471.219
AT ITER 6968 NEW BEST:: SOT 59646 SOS 27213 HAS SOPS 27213 HAS SOUS 26438 HAS SOUPS 26438 WITH SCORE 26465.213
AT ITER 7075 NEW BEST:: SOT 59646 SOS 27208 HAS SOPS 27208 HAS SOUS 26433 HAS SOUPS 26433 WITH SCORE 26460.208
AT ITER 7077 NEW BEST:: SOT 59646 SOS 27207 HAS SOPS 27207 HAS SOUS 26432 HAS SOUPS 26432 WITH SCORE 26459.207
AT ITER 7122 NEW BEST:: SOT 59580 SOS 27213 HAS SOPS 27213 HAS SOUS 26368 HAS SOUPS 26368 WITH SCORE 26395.213
AT ITER 7311 NEW BEST:: SOT 59504 SOS 27276 HAS SOPS 27276 HAS SOUS 26367 HAS SOUPS 26367 WITH SCORE 26394.276
AT ITER 7337 NEW BEST:: SOT 59493 SOS 27265 HAS SOPS 27265 HAS SOUS 26356 HAS SOUPS 26356 WITH SCORE 26383.265
AT ITER 7348 NEW BEST:: SOT 59525 SOS 27257 HAS SOPS 27257 HAS SOUS 26356 HAS SOUPS 26356 WITH SCORE 26383.257
AT ITER 7399 NEW BEST:: SOT 59557 SOS 27225 HAS SOPS 27225 HAS SOUS 26356 HAS SOUPS 26356 WITH SCORE 26383.225
AT ITER 7424 NEW BEST:: SOT 59522 SOS 27219 HAS SOPS 27219 HAS SOUS 26350 HAS SOUPS 26350 WITH SCORE 26377.219
AT ITER 7436 NEW BEST:: SOT 59522 SOS 27105 HAS SOPS 27105 HAS SOUS 26322 HAS SOUPS 26322 WITH SCORE 26349.105
AT ITER 7446 NEW BEST:: SOT 59522 SOS 27105 HAS SOPS 27105 HAS SOUS 26321 HAS SOUPS 26321 WITH SCORE 26348.105
AT ITER 7469 NEW BEST:: SOT 59522 SOS 27067 HAS SOPS 27067 HAS SOUS 26302 HAS SOUPS 26302 WITH SCORE 26329.067
AT ITER 7472 NEW BEST:: SOT 59561 SOS 27065 HAS SOPS 27065 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26327.065
AT ITER 7514 NEW BEST:: SOT 59561 SOS 27059 HAS SOPS 27059 HAS SOUS 26294 HAS SOUPS 26294 WITH SCORE 26321.059
AT ITER 7701 NEW BEST:: SOT 59619 SOS 27001 HAS SOPS 27001 HAS SOUS 26294 HAS SOUPS 26294 WITH SCORE 26321.001
AT ITER 7715 NEW BEST:: SOT 59619 SOS 27000 HAS SOPS 27000 HAS SOUS 26294 HAS SOUPS 26294 WITH SCORE 26321.0
AT ITER 7753 NEW BEST:: SOT 59618 SOS 26999 HAS SOPS 26999 HAS SOUS 26293 HAS SOUPS 26293 WITH SCORE 26319.999
AT ITER 7754 NEW BEST:: SOT 59618 SOS 26948 HAS SOPS 26948 HAS SOUS 26293 HAS SOUPS 26293 WITH SCORE 26319.948
AT ITER 7769 NEW BEST:: SOT 59618 SOS 26929 HAS SOPS 26929 HAS SOUS 26274 HAS SOUPS 26274 WITH SCORE 26300.929
AT ITER 7836 NEW BEST:: SOT 59618 SOS 26912 HAS SOPS 26912 HAS SOUS 26257 HAS SOUPS 26257 WITH SCORE 26283.912
AT ITER 7920 NEW BEST:: SOT 59618 SOS 26906 HAS SOPS 26906 HAS SOUS 26251 HAS SOUPS 26251 WITH SCORE 26277.906
AT ITER 7922 NEW BEST:: SOT 59711 SOS 26891 HAS SOPS 26891 HAS SOUS 26236 HAS SOUPS 26236 WITH SCORE 26262.891
AT ITER 7927 NEW BEST:: SOT 59718 SOS 26888 HAS SOPS 26888 HAS SOUS 26233 HAS SOUPS 26233 WITH SCORE 26259.888
AT ITER 7935 NEW BEST:: SOT 59718 SOS 26885 HAS SOPS 26885 HAS SOUS 26230 HAS SOUPS 26230 WITH SCORE 26256.885
AT ITER 7976 NEW BEST:: SOT 59718 SOS 26872 HAS SOPS 26872 HAS SOUS 26217 HAS SOUPS 26217 WITH SCORE 26243.872
AT ITER 7986 NEW BEST:: SOT 59735 SOS 26855 HAS SOPS 26855 HAS SOUS 26217 HAS SOUPS 26217 WITH SCORE 26243.855
AT ITER 8128 NEW BEST:: SOT 59735 SOS 26776 HAS SOPS 26776 HAS SOUS 26138 HAS SOUPS 26138 WITH SCORE 26164.776
AT ITER 8191 NEW BEST:: SOT 59735 SOS 26750 HAS SOPS 26750 HAS SOUS 26112 HAS SOUPS 26112 WITH SCORE 26138.75
AT ITER 8243 NEW BEST:: SOT 59735 SOS 26742 HAS SOPS 26742 HAS SOUS 26104 HAS SOUPS 26104 WITH SCORE 26130.742
AT ITER 8262 NEW BEST:: SOT 59615 SOS 26829 HAS SOPS 26829 HAS SOUS 26094 HAS SOUPS 26094 WITH SCORE 26120.829
AT ITER 8295 NEW BEST:: SOT 59615 SOS 26824 HAS SOPS 26824 HAS SOUS 26089 HAS SOUPS 26089 WITH SCORE 26115.824
AT ITER 8312 NEW BEST:: SOT 59610 SOS 26819 HAS SOPS 26819 HAS SOUS 26084 HAS SOUPS 26084 WITH SCORE 26110.819
AT ITER 8318 NEW BEST:: SOT 59613 SOS 26813 HAS SOPS 26813 HAS SOUS 26078 HAS SOUPS 26078 WITH SCORE 26104.813
AT ITER 8436 NEW BEST:: SOT 59613 SOS 26812 HAS SOPS 26812 HAS SOUS 26077 HAS SOUPS 26077 WITH SCORE 26103.812
AT ITER 8442 NEW BEST:: SOT 59609 SOS 26820 HAS SOPS 26820 HAS SOUS 26073 HAS SOUPS 26073 WITH SCORE 26099.82
AT ITER 8469 NEW BEST:: SOT 59608 SOS 26819 HAS SOPS 26819 HAS SOUS 26072 HAS SOUPS 26072 WITH SCORE 26098.819
AT ITER 8571 NEW BEST:: SOT 59606 SOS 26818 HAS SOPS 26818 HAS SOUS 26071 HAS SOUPS 26071 WITH SCORE 26097.818
AT ITER 8581 NEW BEST:: SOT 59595 SOS 26807 HAS SOPS 26807 HAS SOUS 26060 HAS SOUPS 26060 WITH SCORE 26086.807
AT ITER 8605 NEW BEST:: SOT 59569 SOS 26781 HAS SOPS 26781 HAS SOUS 26034 HAS SOUPS 26034 WITH SCORE 26060.781
AT ITER 8617 NEW BEST:: SOT 59569 SOS 26719 HAS SOPS 26719 HAS SOUS 25972 HAS SOUPS 25972 WITH SCORE 25998.719
AT ITER 8626 NEW BEST:: SOT 59567 SOS 26717 HAS SOPS 26717 HAS SOUS 25970 HAS SOUPS 25970 WITH SCORE 25996.717
AT ITER 8672 NEW BEST:: SOT 59567 SOS 26716 HAS SOPS 26716 HAS SOUS 25969 HAS SOUPS 25969 WITH SCORE 25995.716
AT ITER 8806 NEW BEST:: SOT 59567 SOS 26713 HAS SOPS 26713 HAS SOUS 25966 HAS SOUPS 25966 WITH SCORE 25992.713
AT ITER 8977 NEW BEST:: SOT 59820 SOS 26701 HAS SOPS 26701 HAS SOUS 25954 HAS SOUPS 25954 WITH SCORE 25980.701
AT ITER 9070 NEW BEST:: SOT 59820 SOS 26668 HAS SOPS 26668 HAS SOUS 25921 HAS SOUPS 25921 WITH SCORE 25947.668
AT ITER 9160 NEW BEST:: SOT 59820 SOS 26620 HAS SOPS 26620 HAS SOUS 25897 HAS SOUPS 25897 WITH SCORE 25923.62
AT ITER 9163 NEW BEST:: SOT 59826 SOS 26603 HAS SOPS 26603 HAS SOUS 25880 HAS SOUPS 25880 WITH SCORE 25906.603
AT ITER 9166 NEW BEST:: SOT 59825 SOS 26602 HAS SOPS 26602 HAS SOUS 25879 HAS SOUPS 25879 WITH SCORE 25905.602
AT ITER 9178 NEW BEST:: SOT 59843 SOS 26598 HAS SOPS 26598 HAS SOUS 25875 HAS SOUPS 25875 WITH SCORE 25901.598
AT ITER 9261 NEW BEST:: SOT 59835 SOS 26590 HAS SOPS 26590 HAS SOUS 25867 HAS SOUPS 25867 WITH SCORE 25893.59
AT ITER 9282 NEW BEST:: SOT 59835 SOS 26586 HAS SOPS 26586 HAS SOUS 25863 HAS SOUPS 25863 WITH SCORE 25889.586
AT ITER 9322 NEW BEST:: SOT 59835 SOS 26576 HAS SOPS 26576 HAS SOUS 25853 HAS SOUPS 25853 WITH SCORE 25879.576
AT ITER 9477 NEW BEST:: SOT 59835 SOS 26575 HAS SOPS 26575 HAS SOUS 25852 HAS SOUPS 25852 WITH SCORE 25878.575
AT ITER 9550 NEW BEST:: SOT 59817 SOS 26559 HAS SOPS 26559 HAS SOUS 25836 HAS SOUPS 25836 WITH SCORE 25862.559
AT ITER 9578 NEW BEST:: SOT 59817 SOS 26557 HAS SOPS 26557 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25860.557
AT ITER 9631 NEW BEST:: SOT 59812 SOS 26552 HAS SOPS 26552 HAS SOUS 25829 HAS SOUPS 25829 WITH SCORE 25855.552
AT ITER 9658 NEW BEST:: SOT 59811 SOS 26549 HAS SOPS 26549 HAS SOUS 25826 HAS SOUPS 25826 WITH SCORE 25852.549
AT ITER 9724 NEW BEST:: SOT 59806 SOS 26544 HAS SOPS 26544 HAS SOUS 25821 HAS SOUPS 25821 WITH SCORE 25847.544
AT ITER 9730 NEW BEST:: SOT 59806 SOS 26543 HAS SOPS 26543 HAS SOUS 25820 HAS SOUPS 25820 WITH SCORE 25846.543
AT ITER 9778 NEW BEST:: SOT 59806 SOS 26541 HAS SOPS 26541 HAS SOUS 25818 HAS SOUPS 25818 WITH SCORE 25844.541
AT ITER 9848 NEW BEST:: SOT 59808 SOS 26539 HAS SOPS 26539 HAS SOUS 25818 HAS SOUPS 25818 WITH SCORE 25844.539
AT ITER 9858 NEW BEST:: SOT 59808 SOS 26528 HAS SOPS 26528 HAS SOUS 25807 HAS SOUPS 25807 WITH SCORE 25833.528
AT ITER 9863 NEW BEST:: SOT 59808 SOS 26526 HAS SOPS 26526 HAS SOUS 25805 HAS SOUPS 25805 WITH SCORE 25831.526
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 5752872 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16135924 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-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-COL-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-167873943400824"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-COL-10.tgz
mv QuasiCertifProtocol-COL-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 ;