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.r259-smll-167863534600472.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 PermAdmissibility-COL-02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534600472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 8.8K Feb 26 01:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 26 01:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 01:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 01:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 01:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 01:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 01:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 01:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:30 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 54K 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 1678785170206

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=PermAdmissibility-COL-02
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 09:12:54] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 09:12:54] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 09:12:54] [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 09:12:54] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 09:12:55] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1057 ms
[2023-03-14 09:12:55] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 49 ms.
[2023-03-14 09:12:55] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 115 ms.
[2023-03-14 09:12:55] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 24 places and 240 transitions.
Reduce places removed 16 places and 192 transitions.
[2023-03-14 09:12:55] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 168 places, 592 transitions and 3456 arcs took 38 ms.
Total runtime 1636 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 02
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: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 69970 SOS 43316 HAS SOPS 43316 HAS SOUS 24932 HAS SOUPS 24932 WITH SCORE 24975.316
AT ITER 11 NEW BEST:: SOT 69970 SOS 43316 HAS SOPS 43316 HAS SOUS 24885 HAS SOUPS 24885 WITH SCORE 24928.316
AT ITER 13 NEW BEST:: SOT 69970 SOS 44276 HAS SOPS 44276 HAS SOUS 24852 HAS SOUPS 24852 WITH SCORE 24896.276
AT ITER 17 NEW BEST:: SOT 69826 SOS 44132 HAS SOPS 44132 HAS SOUS 24730 HAS SOUPS 24730 WITH SCORE 24774.132
AT ITER 19 NEW BEST:: SOT 69842 SOS 44403 HAS SOPS 44403 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24768.403
AT ITER 24 NEW BEST:: SOT 69842 SOS 44403 HAS SOPS 44403 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24759.403
AT ITER 27 NEW BEST:: SOT 69690 SOS 44187 HAS SOPS 44187 HAS SOUS 24669 HAS SOUPS 24669 WITH SCORE 24713.187
AT ITER 39 NEW BEST:: SOT 69690 SOS 44187 HAS SOPS 44187 HAS SOUS 24598 HAS SOUPS 24598 WITH SCORE 24642.187
AT ITER 53 NEW BEST:: SOT 69672 SOS 44169 HAS SOPS 44169 HAS SOUS 24579 HAS SOUPS 24579 WITH SCORE 24623.169
AT ITER 59 NEW BEST:: SOT 69672 SOS 44169 HAS SOPS 44169 HAS SOUS 24544 HAS SOUPS 24544 WITH SCORE 24588.169
AT ITER 64 NEW BEST:: SOT 69517 SOS 43282 HAS SOPS 43282 HAS SOUS 24470 HAS SOUPS 24470 WITH SCORE 24513.282
AT ITER 95 NEW BEST:: SOT 69362 SOS 43322 HAS SOPS 43322 HAS SOUS 24260 HAS SOUPS 24260 WITH SCORE 24303.322
AT ITER 98 NEW BEST:: SOT 69182 SOS 43142 HAS SOPS 43142 HAS SOUS 24130 HAS SOUPS 24130 WITH SCORE 24173.142
AT ITER 99 NEW BEST:: SOT 69030 SOS 42990 HAS SOPS 42990 HAS SOUS 23943 HAS SOUPS 23943 WITH SCORE 23985.99
AT ITER 115 NEW BEST:: SOT 68972 SOS 43103 HAS SOPS 43103 HAS SOUS 23830 HAS SOUPS 23830 WITH SCORE 23873.103
AT ITER 128 NEW BEST:: SOT 68972 SOS 43243 HAS SOPS 43243 HAS SOUS 23751 HAS SOUPS 23751 WITH SCORE 23794.243
AT ITER 136 NEW BEST:: SOT 68906 SOS 43702 HAS SOPS 43702 HAS SOUS 23742 HAS SOUPS 23742 WITH SCORE 23785.702
AT ITER 155 NEW BEST:: SOT 68870 SOS 43666 HAS SOPS 43666 HAS SOUS 23730 HAS SOUPS 23730 WITH SCORE 23773.666
AT ITER 168 NEW BEST:: SOT 68870 SOS 43936 HAS SOPS 43936 HAS SOUS 23715 HAS SOUPS 23715 WITH SCORE 23758.936
AT ITER 189 NEW BEST:: SOT 68696 SOS 44135 HAS SOPS 44135 HAS SOUS 23672 HAS SOUPS 23672 WITH SCORE 23716.135
AT ITER 191 NEW BEST:: SOT 68696 SOS 44135 HAS SOPS 44135 HAS SOUS 23656 HAS SOUPS 23656 WITH SCORE 23700.135
AT ITER 193 NEW BEST:: SOT 68696 SOS 44135 HAS SOPS 44135 HAS SOUS 23644 HAS SOUPS 23644 WITH SCORE 23688.135
AT ITER 198 NEW BEST:: SOT 68690 SOS 44129 HAS SOPS 44129 HAS SOUS 23627 HAS SOUPS 23627 WITH SCORE 23671.129
AT ITER 208 NEW BEST:: SOT 68690 SOS 44129 HAS SOPS 44129 HAS SOUS 23555 HAS SOUPS 23555 WITH SCORE 23599.129
AT ITER 215 NEW BEST:: SOT 68690 SOS 44129 HAS SOPS 44129 HAS SOUS 23525 HAS SOUPS 23525 WITH SCORE 23569.129
AT ITER 219 NEW BEST:: SOT 68679 SOS 44118 HAS SOPS 44118 HAS SOUS 23412 HAS SOUPS 23412 WITH SCORE 23456.118
AT ITER 222 NEW BEST:: SOT 68679 SOS 44085 HAS SOPS 44085 HAS SOUS 23397 HAS SOUPS 23397 WITH SCORE 23441.085
AT ITER 233 NEW BEST:: SOT 68679 SOS 44085 HAS SOPS 44085 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23421.085
AT ITER 238 NEW BEST:: SOT 68575 SOS 43981 HAS SOPS 43981 HAS SOUS 23254 HAS SOUPS 23254 WITH SCORE 23297.981
AT ITER 240 NEW BEST:: SOT 68521 SOS 44551 HAS SOPS 44551 HAS SOUS 23191 HAS SOUPS 23191 WITH SCORE 23235.551
AT ITER 250 NEW BEST:: SOT 68515 SOS 44545 HAS SOPS 44545 HAS SOUS 23183 HAS SOUPS 23183 WITH SCORE 23227.545
AT ITER 255 NEW BEST:: SOT 68515 SOS 44545 HAS SOPS 44545 HAS SOUS 23028 HAS SOUPS 23028 WITH SCORE 23072.545
AT ITER 260 NEW BEST:: SOT 68515 SOS 44392 HAS SOPS 44392 HAS SOUS 23000 HAS SOUPS 23000 WITH SCORE 23044.392
AT ITER 265 NEW BEST:: SOT 68515 SOS 44392 HAS SOPS 44392 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 23016.392
AT ITER 275 NEW BEST:: SOT 68390 SOS 44648 HAS SOPS 44648 HAS SOUS 22900 HAS SOUPS 22900 WITH SCORE 22944.648
AT ITER 294 NEW BEST:: SOT 68390 SOS 44700 HAS SOPS 44700 HAS SOUS 22884 HAS SOUPS 22884 WITH SCORE 22928.7
AT ITER 306 NEW BEST:: SOT 68390 SOS 45021 HAS SOPS 45021 HAS SOUS 22879 HAS SOUPS 22879 WITH SCORE 22924.021
AT ITER 311 NEW BEST:: SOT 68188 SOS 44819 HAS SOPS 44819 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22738.819
AT ITER 326 NEW BEST:: SOT 68142 SOS 44773 HAS SOPS 44773 HAS SOUS 22667 HAS SOUPS 22667 WITH SCORE 22711.773
AT ITER 330 NEW BEST:: SOT 68131 SOS 44778 HAS SOPS 44778 HAS SOUS 22664 HAS SOUPS 22664 WITH SCORE 22708.778
AT ITER 341 NEW BEST:: SOT 68131 SOS 44778 HAS SOPS 44778 HAS SOUS 22658 HAS SOUPS 22658 WITH SCORE 22702.778
AT ITER 364 NEW BEST:: SOT 68119 SOS 44766 HAS SOPS 44766 HAS SOUS 22619 HAS SOUPS 22619 WITH SCORE 22663.766
AT ITER 366 NEW BEST:: SOT 68079 SOS 44726 HAS SOPS 44726 HAS SOUS 22544 HAS SOUPS 22544 WITH SCORE 22588.726
AT ITER 372 NEW BEST:: SOT 67988 SOS 44635 HAS SOPS 44635 HAS SOUS 22259 HAS SOUPS 22259 WITH SCORE 22303.635
AT ITER 373 NEW BEST:: SOT 67984 SOS 44631 HAS SOPS 44631 HAS SOUS 22239 HAS SOUPS 22239 WITH SCORE 22283.631
AT ITER 411 NEW BEST:: SOT 67988 SOS 44368 HAS SOPS 44368 HAS SOUS 22139 HAS SOUPS 22139 WITH SCORE 22183.368
AT ITER 412 NEW BEST:: SOT 67831 SOS 44386 HAS SOPS 44386 HAS SOUS 21953 HAS SOUPS 21953 WITH SCORE 21997.386
AT ITER 418 NEW BEST:: SOT 67727 SOS 44742 HAS SOPS 44742 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21925.742
AT ITER 421 NEW BEST:: SOT 67717 SOS 44732 HAS SOPS 44732 HAS SOUS 21869 HAS SOUPS 21869 WITH SCORE 21913.732
AT ITER 426 NEW BEST:: SOT 67701 SOS 44716 HAS SOPS 44716 HAS SOUS 21813 HAS SOUPS 21813 WITH SCORE 21857.716
AT ITER 428 NEW BEST:: SOT 67636 SOS 45058 HAS SOPS 45058 HAS SOUS 21525 HAS SOUPS 21525 WITH SCORE 21570.058
AT ITER 429 NEW BEST:: SOT 67637 SOS 43619 HAS SOPS 43619 HAS SOUS 21522 HAS SOUPS 21522 WITH SCORE 21565.619
AT ITER 434 NEW BEST:: SOT 67642 SOS 43578 HAS SOPS 43578 HAS SOUS 21505 HAS SOUPS 21505 WITH SCORE 21548.578
AT ITER 453 NEW BEST:: SOT 67642 SOS 43578 HAS SOPS 43578 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21504.578
AT ITER 454 NEW BEST:: SOT 67642 SOS 43495 HAS SOPS 43495 HAS SOUS 21458 HAS SOUPS 21458 WITH SCORE 21501.495
AT ITER 461 NEW BEST:: SOT 67633 SOS 43486 HAS SOPS 43486 HAS SOUS 21435 HAS SOUPS 21435 WITH SCORE 21478.486
AT ITER 475 NEW BEST:: SOT 67591 SOS 43444 HAS SOPS 43444 HAS SOUS 21435 HAS SOUPS 21435 WITH SCORE 21478.444
AT ITER 487 NEW BEST:: SOT 67517 SOS 43384 HAS SOPS 43384 HAS SOUS 21394 HAS SOUPS 21394 WITH SCORE 21437.384
AT ITER 490 NEW BEST:: SOT 67402 SOS 43685 HAS SOPS 43685 HAS SOUS 21307 HAS SOUPS 21307 WITH SCORE 21350.685
AT ITER 498 NEW BEST:: SOT 67402 SOS 43773 HAS SOPS 43773 HAS SOUS 21291 HAS SOUPS 21291 WITH SCORE 21334.773
AT ITER 501 NEW BEST:: SOT 67338 SOS 43709 HAS SOPS 43709 HAS SOUS 21289 HAS SOUPS 21289 WITH SCORE 21332.709
AT ITER 505 NEW BEST:: SOT 67320 SOS 43691 HAS SOPS 43691 HAS SOUS 21250 HAS SOUPS 21250 WITH SCORE 21293.691
AT ITER 512 NEW BEST:: SOT 67275 SOS 42997 HAS SOPS 42997 HAS SOUS 21178 HAS SOUPS 21178 WITH SCORE 21220.997
AT ITER 550 NEW BEST:: SOT 67275 SOS 42754 HAS SOPS 42754 HAS SOUS 21145 HAS SOUPS 21145 WITH SCORE 21187.754
AT ITER 566 NEW BEST:: SOT 67275 SOS 43042 HAS SOPS 43042 HAS SOUS 21089 HAS SOUPS 21089 WITH SCORE 21132.042
AT ITER 599 NEW BEST:: SOT 67275 SOS 42981 HAS SOPS 42981 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21084.981
AT ITER 604 NEW BEST:: SOT 67275 SOS 42981 HAS SOPS 42981 HAS SOUS 20984 HAS SOUPS 20984 WITH SCORE 21026.981
AT ITER 610 NEW BEST:: SOT 67166 SOS 42971 HAS SOPS 42971 HAS SOUS 20777 HAS SOUPS 20777 WITH SCORE 20819.971
AT ITER 619 NEW BEST:: SOT 67166 SOS 43116 HAS SOPS 43116 HAS SOUS 20766 HAS SOUPS 20766 WITH SCORE 20809.116
AT ITER 640 NEW BEST:: SOT 67120 SOS 43070 HAS SOPS 43070 HAS SOUS 20720 HAS SOUPS 20720 WITH SCORE 20763.07
AT ITER 645 NEW BEST:: SOT 67111 SOS 43061 HAS SOPS 43061 HAS SOUS 20711 HAS SOUPS 20711 WITH SCORE 20754.061
AT ITER 659 NEW BEST:: SOT 67140 SOS 42726 HAS SOPS 42726 HAS SOUS 20620 HAS SOUPS 20620 WITH SCORE 20662.726
AT ITER 664 NEW BEST:: SOT 67106 SOS 42692 HAS SOPS 42692 HAS SOUS 20586 HAS SOUPS 20586 WITH SCORE 20628.692
AT ITER 665 NEW BEST:: SOT 67033 SOS 42314 HAS SOPS 42314 HAS SOUS 20571 HAS SOUPS 20571 WITH SCORE 20613.314
AT ITER 680 NEW BEST:: SOT 66830 SOS 42188 HAS SOPS 42188 HAS SOUS 20499 HAS SOUPS 20499 WITH SCORE 20541.188
AT ITER 681 NEW BEST:: SOT 66822 SOS 42180 HAS SOPS 42180 HAS SOUS 20496 HAS SOUPS 20496 WITH SCORE 20538.18
AT ITER 682 NEW BEST:: SOT 66822 SOS 42210 HAS SOPS 42210 HAS SOUS 20488 HAS SOUPS 20488 WITH SCORE 20530.21
AT ITER 687 NEW BEST:: SOT 66824 SOS 41936 HAS SOPS 41936 HAS SOUS 20374 HAS SOUPS 20374 WITH SCORE 20415.936
AT ITER 690 NEW BEST:: SOT 66821 SOS 41918 HAS SOPS 41918 HAS SOUS 20361 HAS SOUPS 20361 WITH SCORE 20402.918
AT ITER 693 NEW BEST:: SOT 66821 SOS 41853 HAS SOPS 41853 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20395.853
AT ITER 710 NEW BEST:: SOT 66880 SOS 41912 HAS SOPS 41912 HAS SOUS 20336 HAS SOUPS 20336 WITH SCORE 20377.912
AT ITER 713 NEW BEST:: SOT 66880 SOS 41912 HAS SOPS 41912 HAS SOUS 20335 HAS SOUPS 20335 WITH SCORE 20376.912
AT ITER 721 NEW BEST:: SOT 66856 SOS 41888 HAS SOPS 41888 HAS SOUS 20263 HAS SOUPS 20263 WITH SCORE 20304.888
AT ITER 729 NEW BEST:: SOT 66856 SOS 41888 HAS SOPS 41888 HAS SOUS 20131 HAS SOUPS 20131 WITH SCORE 20172.888
AT ITER 742 NEW BEST:: SOT 66856 SOS 41828 HAS SOPS 41828 HAS SOUS 20112 HAS SOUPS 20112 WITH SCORE 20153.828
AT ITER 758 NEW BEST:: SOT 66842 SOS 41814 HAS SOPS 41814 HAS SOUS 20065 HAS SOUPS 20065 WITH SCORE 20106.814
AT ITER 759 NEW BEST:: SOT 66842 SOS 41825 HAS SOPS 41825 HAS SOUS 20061 HAS SOUPS 20061 WITH SCORE 20102.825
AT ITER 770 NEW BEST:: SOT 66851 SOS 42052 HAS SOPS 42052 HAS SOUS 19998 HAS SOUPS 19998 WITH SCORE 20040.052
AT ITER 772 NEW BEST:: SOT 66759 SOS 43032 HAS SOPS 43032 HAS SOUS 19928 HAS SOUPS 19928 WITH SCORE 19971.032
AT ITER 773 NEW BEST:: SOT 66759 SOS 42444 HAS SOPS 42444 HAS SOUS 19928 HAS SOUPS 19928 WITH SCORE 19970.444
AT ITER 783 NEW BEST:: SOT 66743 SOS 42428 HAS SOPS 42428 HAS SOUS 19910 HAS SOUPS 19910 WITH SCORE 19952.428
AT ITER 807 NEW BEST:: SOT 66743 SOS 42485 HAS SOPS 42485 HAS SOUS 19909 HAS SOUPS 19909 WITH SCORE 19951.485
AT ITER 820 NEW BEST:: SOT 66743 SOS 42457 HAS SOPS 42457 HAS SOUS 19905 HAS SOUPS 19905 WITH SCORE 19947.457
AT ITER 830 NEW BEST:: SOT 66743 SOS 43762 HAS SOPS 43762 HAS SOUS 19849 HAS SOUPS 19849 WITH SCORE 19892.762
AT ITER 840 NEW BEST:: SOT 66747 SOS 43766 HAS SOPS 43766 HAS SOUS 19845 HAS SOUPS 19845 WITH SCORE 19888.766
AT ITER 846 NEW BEST:: SOT 66747 SOS 43836 HAS SOPS 43836 HAS SOUS 19802 HAS SOUPS 19802 WITH SCORE 19845.836
AT ITER 848 NEW BEST:: SOT 66747 SOS 43801 HAS SOPS 43801 HAS SOUS 19796 HAS SOUPS 19796 WITH SCORE 19839.801
AT ITER 855 NEW BEST:: SOT 66735 SOS 43789 HAS SOPS 43789 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19773.789
AT ITER 875 NEW BEST:: SOT 66735 SOS 43381 HAS SOPS 43381 HAS SOUS 19729 HAS SOUPS 19729 WITH SCORE 19772.381
AT ITER 888 NEW BEST:: SOT 66759 SOS 43406 HAS SOPS 43406 HAS SOUS 19650 HAS SOUPS 19650 WITH SCORE 19693.406
AT ITER 890 NEW BEST:: SOT 66707 SOS 43354 HAS SOPS 43354 HAS SOUS 19548 HAS SOUPS 19548 WITH SCORE 19591.354
AT ITER 904 NEW BEST:: SOT 66618 SOS 43388 HAS SOPS 43388 HAS SOUS 19507 HAS SOUPS 19507 WITH SCORE 19550.388
AT ITER 912 NEW BEST:: SOT 66610 SOS 43380 HAS SOPS 43380 HAS SOUS 19491 HAS SOUPS 19491 WITH SCORE 19534.38
AT ITER 930 NEW BEST:: SOT 66594 SOS 43364 HAS SOPS 43364 HAS SOUS 19473 HAS SOUPS 19473 WITH SCORE 19516.364
AT ITER 935 NEW BEST:: SOT 66590 SOS 43436 HAS SOPS 43436 HAS SOUS 19467 HAS SOUPS 19467 WITH SCORE 19510.436
AT ITER 939 NEW BEST:: SOT 66614 SOS 43539 HAS SOPS 43539 HAS SOUS 19403 HAS SOUPS 19403 WITH SCORE 19446.539
AT ITER 953 NEW BEST:: SOT 66629 SOS 46810 HAS SOPS 46810 HAS SOUS 19164 HAS SOUPS 19164 WITH SCORE 19210.81
AT ITER 963 NEW BEST:: SOT 66629 SOS 46786 HAS SOPS 46786 HAS SOUS 19164 HAS SOUPS 19164 WITH SCORE 19210.786
AT ITER 965 NEW BEST:: SOT 66605 SOS 46762 HAS SOPS 46762 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19186.762
AT ITER 973 NEW BEST:: SOT 66605 SOS 46811 HAS SOPS 46811 HAS SOUS 19129 HAS SOUPS 19129 WITH SCORE 19175.811
AT ITER 1002 NEW BEST:: SOT 66725 SOS 48123 HAS SOPS 48123 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19172.123
AT ITER 1022 NEW BEST:: SOT 66727 SOS 48125 HAS SOPS 48125 HAS SOUS 19107 HAS SOUPS 19107 WITH SCORE 19155.125
AT ITER 1023 NEW BEST:: SOT 66776 SOS 48174 HAS SOPS 48174 HAS SOUS 19094 HAS SOUPS 19094 WITH SCORE 19142.174
AT ITER 1043 NEW BEST:: SOT 66772 SOS 47332 HAS SOPS 47332 HAS SOUS 19087 HAS SOUPS 19087 WITH SCORE 19134.332
AT ITER 1062 NEW BEST:: SOT 66750 SOS 47316 HAS SOPS 47316 HAS SOUS 19072 HAS SOUPS 19072 WITH SCORE 19119.316
AT ITER 1065 NEW BEST:: SOT 66750 SOS 47316 HAS SOPS 47316 HAS SOUS 19047 HAS SOUPS 19047 WITH SCORE 19094.316
AT ITER 1079 NEW BEST:: SOT 66753 SOS 47319 HAS SOPS 47319 HAS SOUS 19002 HAS SOUPS 19002 WITH SCORE 19049.319
AT ITER 1111 NEW BEST:: SOT 66715 SOS 47281 HAS SOPS 47281 HAS SOUS 18944 HAS SOUPS 18944 WITH SCORE 18991.281
AT ITER 1117 NEW BEST:: SOT 66830 SOS 47179 HAS SOPS 47179 HAS SOUS 18939 HAS SOUPS 18939 WITH SCORE 18986.179
AT ITER 1135 NEW BEST:: SOT 66816 SOS 47168 HAS SOPS 47168 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18975.168
AT ITER 1162 NEW BEST:: SOT 66816 SOS 49094 HAS SOPS 49094 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18960.094
AT ITER 1192 NEW BEST:: SOT 66816 SOS 49094 HAS SOPS 49094 HAS SOUS 18891 HAS SOUPS 18891 WITH SCORE 18940.094
AT ITER 1195 NEW BEST:: SOT 66816 SOS 49010 HAS SOPS 49010 HAS SOUS 18888 HAS SOUPS 18888 WITH SCORE 18937.01
AT ITER 1209 NEW BEST:: SOT 66886 SOS 49080 HAS SOPS 49080 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18920.08
AT ITER 1245 NEW BEST:: SOT 66799 SOS 49002 HAS SOPS 49002 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18789.002
AT ITER 1258 NEW BEST:: SOT 66799 SOS 49002 HAS SOPS 49002 HAS SOUS 18710 HAS SOUPS 18710 WITH SCORE 18759.002
AT ITER 1274 NEW BEST:: SOT 66799 SOS 49002 HAS SOPS 49002 HAS SOUS 18682 HAS SOUPS 18682 WITH SCORE 18731.002
AT ITER 1309 NEW BEST:: SOT 66776 SOS 48976 HAS SOPS 48976 HAS SOUS 18659 HAS SOUPS 18659 WITH SCORE 18707.976
AT ITER 1327 NEW BEST:: SOT 66776 SOS 48125 HAS SOPS 48125 HAS SOUS 18652 HAS SOUPS 18652 WITH SCORE 18700.125
AT ITER 1339 NEW BEST:: SOT 66817 SOS 48377 HAS SOPS 48377 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18491.377
AT ITER 1393 NEW BEST:: SOT 66829 SOS 48389 HAS SOPS 48389 HAS SOUS 18437 HAS SOUPS 18437 WITH SCORE 18485.389
AT ITER 1404 NEW BEST:: SOT 66829 SOS 48389 HAS SOPS 48389 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18477.389
AT ITER 1441 NEW BEST:: SOT 66821 SOS 48381 HAS SOPS 48381 HAS SOUS 18413 HAS SOUPS 18413 WITH SCORE 18461.381
AT ITER 1446 NEW BEST:: SOT 66821 SOS 48383 HAS SOPS 48383 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18459.383
AT ITER 1467 NEW BEST:: SOT 66814 SOS 47992 HAS SOPS 47992 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18445.992
AT ITER 1474 NEW BEST:: SOT 66814 SOS 47952 HAS SOPS 47952 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18445.952
AT ITER 1489 NEW BEST:: SOT 66814 SOS 47504 HAS SOPS 47504 HAS SOUS 18391 HAS SOUPS 18391 WITH SCORE 18438.504
AT ITER 1528 NEW BEST:: SOT 66801 SOS 47491 HAS SOPS 47491 HAS SOUS 18389 HAS SOUPS 18389 WITH SCORE 18436.491
AT ITER 1555 NEW BEST:: SOT 66766 SOS 47456 HAS SOPS 47456 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18395.456
AT ITER 1556 NEW BEST:: SOT 66691 SOS 47381 HAS SOPS 47381 HAS SOUS 18321 HAS SOUPS 18321 WITH SCORE 18368.381
AT ITER 1560 NEW BEST:: SOT 66665 SOS 47355 HAS SOPS 47355 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18342.355
AT ITER 1565 NEW BEST:: SOT 66675 SOS 47365 HAS SOPS 47365 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18278.365
AT ITER 1581 NEW BEST:: SOT 66671 SOS 47361 HAS SOPS 47361 HAS SOUS 18222 HAS SOUPS 18222 WITH SCORE 18269.361
AT ITER 1608 NEW BEST:: SOT 66659 SOS 47362 HAS SOPS 47362 HAS SOUS 18214 HAS SOUPS 18214 WITH SCORE 18261.362
AT ITER 1642 NEW BEST:: SOT 66607 SOS 47310 HAS SOPS 47310 HAS SOUS 18164 HAS SOUPS 18164 WITH SCORE 18211.31
AT ITER 1696 NEW BEST:: SOT 66537 SOS 47240 HAS SOPS 47240 HAS SOUS 18022 HAS SOUPS 18022 WITH SCORE 18069.24
AT ITER 1701 NEW BEST:: SOT 66533 SOS 47236 HAS SOPS 47236 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18065.236
AT ITER 1704 NEW BEST:: SOT 66525 SOS 47228 HAS SOPS 47228 HAS SOUS 18002 HAS SOUPS 18002 WITH SCORE 18049.228
AT ITER 1709 NEW BEST:: SOT 66492 SOS 47195 HAS SOPS 47195 HAS SOUS 18001 HAS SOUPS 18001 WITH SCORE 18048.195
AT ITER 1713 NEW BEST:: SOT 66488 SOS 47191 HAS SOPS 47191 HAS SOUS 17997 HAS SOUPS 17997 WITH SCORE 18044.191
AT ITER 1722 NEW BEST:: SOT 66440 SOS 47143 HAS SOPS 47143 HAS SOUS 17901 HAS SOUPS 17901 WITH SCORE 17948.143
AT ITER 1733 NEW BEST:: SOT 66321 SOS 47024 HAS SOPS 47024 HAS SOUS 17872 HAS SOUPS 17872 WITH SCORE 17919.024
AT ITER 1807 NEW BEST:: SOT 66321 SOS 47008 HAS SOPS 47008 HAS SOUS 17872 HAS SOUPS 17872 WITH SCORE 17919.008
AT ITER 1863 NEW BEST:: SOT 66276 SOS 47065 HAS SOPS 47065 HAS SOUS 17843 HAS SOUPS 17843 WITH SCORE 17890.065
AT ITER 1879 NEW BEST:: SOT 66264 SOS 47057 HAS SOPS 47057 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17864.057
AT ITER 1895 NEW BEST:: SOT 66210 SOS 47003 HAS SOPS 47003 HAS SOUS 17789 HAS SOUPS 17789 WITH SCORE 17836.003
AT ITER 1900 NEW BEST:: SOT 66168 SOS 46961 HAS SOPS 46961 HAS SOUS 17747 HAS SOUPS 17747 WITH SCORE 17793.961
AT ITER 1901 NEW BEST:: SOT 66120 SOS 46913 HAS SOPS 46913 HAS SOUS 17714 HAS SOUPS 17714 WITH SCORE 17760.913
AT ITER 1957 NEW BEST:: SOT 66096 SOS 46889 HAS SOPS 46889 HAS SOUS 17660 HAS SOUPS 17660 WITH SCORE 17706.889
AT ITER 1985 NEW BEST:: SOT 66096 SOS 46762 HAS SOPS 46762 HAS SOUS 17563 HAS SOUPS 17563 WITH SCORE 17609.762
AT ITER 2002 NEW BEST:: SOT 66088 SOS 46754 HAS SOPS 46754 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17593.754
AT ITER 2003 NEW BEST:: SOT 66104 SOS 46770 HAS SOPS 46770 HAS SOUS 17533 HAS SOUPS 17533 WITH SCORE 17579.77
AT ITER 2012 NEW BEST:: SOT 66099 SOS 46765 HAS SOPS 46765 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17566.765
AT ITER 2020 NEW BEST:: SOT 65949 SOS 46615 HAS SOPS 46615 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17481.615
AT ITER 2047 NEW BEST:: SOT 65901 SOS 46567 HAS SOPS 46567 HAS SOUS 17401 HAS SOUPS 17401 WITH SCORE 17447.567
AT ITER 2062 NEW BEST:: SOT 65901 SOS 46567 HAS SOPS 46567 HAS SOUS 17368 HAS SOUPS 17368 WITH SCORE 17414.567
AT ITER 2122 NEW BEST:: SOT 65891 SOS 46557 HAS SOPS 46557 HAS SOUS 17357 HAS SOUPS 17357 WITH SCORE 17403.557
AT ITER 2128 NEW BEST:: SOT 65847 SOS 46513 HAS SOPS 46513 HAS SOUS 17277 HAS SOUPS 17277 WITH SCORE 17323.513
AT ITER 2135 NEW BEST:: SOT 65849 SOS 46515 HAS SOPS 46515 HAS SOUS 17267 HAS SOUPS 17267 WITH SCORE 17313.515
AT ITER 2194 NEW BEST:: SOT 65573 SOS 45899 HAS SOPS 45899 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17148.899
AT ITER 2205 NEW BEST:: SOT 65573 SOS 45867 HAS SOPS 45867 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17148.867
AT ITER 2259 NEW BEST:: SOT 65573 SOS 45355 HAS SOPS 45355 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17148.355
AT ITER 2302 NEW BEST:: SOT 65541 SOS 45323 HAS SOPS 45323 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17116.323
AT ITER 2341 NEW BEST:: SOT 65515 SOS 45322 HAS SOPS 45322 HAS SOUS 17051 HAS SOUPS 17051 WITH SCORE 17096.322
AT ITER 2353 NEW BEST:: SOT 65501 SOS 45308 HAS SOPS 45308 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17050.308
AT ITER 2375 NEW BEST:: SOT 65501 SOS 46159 HAS SOPS 46159 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17038.159
AT ITER 2390 NEW BEST:: SOT 65501 SOS 46047 HAS SOPS 46047 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17038.047
AT ITER 2415 NEW BEST:: SOT 65455 SOS 46001 HAS SOPS 46001 HAS SOUS 16957 HAS SOUPS 16957 WITH SCORE 17003.001
AT ITER 2424 NEW BEST:: SOT 65423 SOS 45956 HAS SOPS 45956 HAS SOUS 16880 HAS SOUPS 16880 WITH SCORE 16925.956
AT ITER 2443 NEW BEST:: SOT 65423 SOS 45960 HAS SOPS 45960 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16909.96
AT ITER 2454 NEW BEST:: SOT 65415 SOS 45952 HAS SOPS 45952 HAS SOUS 16856 HAS SOUPS 16856 WITH SCORE 16901.952
AT ITER 2458 NEW BEST:: SOT 65397 SOS 45934 HAS SOPS 45934 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16898.934
AT ITER 2466 NEW BEST:: SOT 65411 SOS 45948 HAS SOPS 45948 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16844.948
AT ITER 2467 NEW BEST:: SOT 65411 SOS 45876 HAS SOPS 45876 HAS SOUS 16796 HAS SOUPS 16796 WITH SCORE 16841.876
AT ITER 2476 NEW BEST:: SOT 65411 SOS 46196 HAS SOPS 46196 HAS SOUS 16776 HAS SOUPS 16776 WITH SCORE 16822.196
AT ITER 2513 NEW BEST:: SOT 65411 SOS 46196 HAS SOPS 46196 HAS SOUS 16775 HAS SOUPS 16775 WITH SCORE 16821.196
AT ITER 2524 NEW BEST:: SOT 65411 SOS 46371 HAS SOPS 46371 HAS SOUS 16774 HAS SOUPS 16774 WITH SCORE 16820.371
AT ITER 2556 NEW BEST:: SOT 65410 SOS 46370 HAS SOPS 46370 HAS SOUS 16767 HAS SOUPS 16767 WITH SCORE 16813.37
AT ITER 2578 NEW BEST:: SOT 65410 SOS 45866 HAS SOPS 45866 HAS SOUS 16762 HAS SOUPS 16762 WITH SCORE 16807.866
AT ITER 2583 NEW BEST:: SOT 65410 SOS 45866 HAS SOPS 45866 HAS SOUS 16751 HAS SOUPS 16751 WITH SCORE 16796.866
AT ITER 2618 NEW BEST:: SOT 65398 SOS 45854 HAS SOPS 45854 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16774.854
AT ITER 2699 NEW BEST:: SOT 65392 SOS 45848 HAS SOPS 45848 HAS SOUS 16715 HAS SOUPS 16715 WITH SCORE 16760.848
AT ITER 2707 NEW BEST:: SOT 65392 SOS 45840 HAS SOPS 45840 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16758.84
AT ITER 2721 NEW BEST:: SOT 65392 SOS 45753 HAS SOPS 45753 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16752.753
AT ITER 2736 NEW BEST:: SOT 65392 SOS 45753 HAS SOPS 45753 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16749.753
AT ITER 2746 NEW BEST:: SOT 65392 SOS 45497 HAS SOPS 45497 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16749.497
AT ITER 2755 NEW BEST:: SOT 65378 SOS 45483 HAS SOPS 45483 HAS SOUS 16698 HAS SOUPS 16698 WITH SCORE 16743.483
AT ITER 2775 NEW BEST:: SOT 65378 SOS 45570 HAS SOPS 45570 HAS SOUS 16696 HAS SOUPS 16696 WITH SCORE 16741.57
AT ITER 2844 NEW BEST:: SOT 65343 SOS 45535 HAS SOPS 45535 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16673.535
AT ITER 2863 NEW BEST:: SOT 65250 SOS 45442 HAS SOPS 45442 HAS SOUS 16608 HAS SOUPS 16608 WITH SCORE 16653.442
AT ITER 2871 NEW BEST:: SOT 65250 SOS 46419 HAS SOPS 46419 HAS SOUS 16599 HAS SOUPS 16599 WITH SCORE 16645.419
AT ITER 2906 NEW BEST:: SOT 65266 SOS 46435 HAS SOPS 46435 HAS SOUS 16576 HAS SOUPS 16576 WITH SCORE 16622.435
AT ITER 2948 NEW BEST:: SOT 65266 SOS 46498 HAS SOPS 46498 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16591.498
AT ITER 2955 NEW BEST:: SOT 65250 SOS 46482 HAS SOPS 46482 HAS SOUS 16516 HAS SOUPS 16516 WITH SCORE 16562.482
AT ITER 3009 NEW BEST:: SOT 65243 SOS 46475 HAS SOPS 46475 HAS SOUS 16515 HAS SOUPS 16515 WITH SCORE 16561.475
AT ITER 3045 NEW BEST:: SOT 65233 SOS 46465 HAS SOPS 46465 HAS SOUS 16501 HAS SOUPS 16501 WITH SCORE 16547.465
AT ITER 3057 NEW BEST:: SOT 65173 SOS 46401 HAS SOPS 46401 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16417.401
AT ITER 3089 NEW BEST:: SOT 65155 SOS 46383 HAS SOPS 46383 HAS SOUS 16351 HAS SOUPS 16351 WITH SCORE 16397.383
AT ITER 3128 NEW BEST:: SOT 65091 SOS 46319 HAS SOPS 46319 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16333.319
AT ITER 3171 NEW BEST:: SOT 65091 SOS 46319 HAS SOPS 46319 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16302.319
AT ITER 3241 NEW BEST:: SOT 65087 SOS 46315 HAS SOPS 46315 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16293.315
AT ITER 3243 NEW BEST:: SOT 65087 SOS 46347 HAS SOPS 46347 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16291.347
AT ITER 3250 NEW BEST:: SOT 65085 SOS 46345 HAS SOPS 46345 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16289.345
AT ITER 3255 NEW BEST:: SOT 65021 SOS 46281 HAS SOPS 46281 HAS SOUS 16191 HAS SOUPS 16191 WITH SCORE 16237.281
AT ITER 3259 NEW BEST:: SOT 65003 SOS 46277 HAS SOPS 46277 HAS SOUS 16187 HAS SOUPS 16187 WITH SCORE 16233.277
AT ITER 3317 NEW BEST:: SOT 64995 SOS 46265 HAS SOPS 46265 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16228.265
AT ITER 3332 NEW BEST:: SOT 64985 SOS 46255 HAS SOPS 46255 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16205.255
AT ITER 3389 NEW BEST:: SOT 64985 SOS 46255 HAS SOPS 46255 HAS SOUS 16151 HAS SOUPS 16151 WITH SCORE 16197.255
AT ITER 3474 NEW BEST:: SOT 64980 SOS 46250 HAS SOPS 46250 HAS SOUS 16146 HAS SOUPS 16146 WITH SCORE 16192.25
AT ITER 3508 NEW BEST:: SOT 64980 SOS 46250 HAS SOPS 46250 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16182.25
AT ITER 3523 NEW BEST:: SOT 64975 SOS 46245 HAS SOPS 46245 HAS SOUS 16123 HAS SOUPS 16123 WITH SCORE 16169.245
AT ITER 3541 NEW BEST:: SOT 64943 SOS 46203 HAS SOPS 46203 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16132.203
AT ITER 3556 NEW BEST:: SOT 64935 SOS 46195 HAS SOPS 46195 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16108.195
AT ITER 3565 NEW BEST:: SOT 64971 SOS 46231 HAS SOPS 46231 HAS SOUS 16061 HAS SOUPS 16061 WITH SCORE 16107.231
AT ITER 3570 NEW BEST:: SOT 64971 SOS 46231 HAS SOPS 46231 HAS SOUS 16048 HAS SOUPS 16048 WITH SCORE 16094.231
AT ITER 3619 NEW BEST:: SOT 64971 SOS 45990 HAS SOPS 45990 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16091.99
AT ITER 3646 NEW BEST:: SOT 64953 SOS 45951 HAS SOPS 45951 HAS SOUS 16036 HAS SOUPS 16036 WITH SCORE 16081.951
AT ITER 3679 NEW BEST:: SOT 64921 SOS 45919 HAS SOPS 45919 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16059.919
AT ITER 3699 NEW BEST:: SOT 64921 SOS 45931 HAS SOPS 45931 HAS SOUS 15944 HAS SOUPS 15944 WITH SCORE 15989.931
AT ITER 3709 NEW BEST:: SOT 64913 SOS 45923 HAS SOPS 45923 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15981.923
AT ITER 3754 NEW BEST:: SOT 64913 SOS 45875 HAS SOPS 45875 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15981.875
AT ITER 3758 NEW BEST:: SOT 64953 SOS 45915 HAS SOPS 45915 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15978.915
AT ITER 3834 NEW BEST:: SOT 64929 SOS 45891 HAS SOPS 45891 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15975.891
AT ITER 3876 NEW BEST:: SOT 64929 SOS 45827 HAS SOPS 45827 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15975.827
AT ITER 3963 NEW BEST:: SOT 64929 SOS 45099 HAS SOPS 45099 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15975.099
AT ITER 3968 NEW BEST:: SOT 64931 SOS 45082 HAS SOPS 45082 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15975.082
AT ITER 3977 NEW BEST:: SOT 64931 SOS 44706 HAS SOPS 44706 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15968.706
AT ITER 4003 NEW BEST:: SOT 64940 SOS 44715 HAS SOPS 44715 HAS SOUS 15902 HAS SOUPS 15902 WITH SCORE 15946.715
AT ITER 4123 NEW BEST:: SOT 64936 SOS 44711 HAS SOPS 44711 HAS SOUS 15898 HAS SOUPS 15898 WITH SCORE 15942.711
AT ITER 4131 NEW BEST:: SOT 64936 SOS 44799 HAS SOPS 44799 HAS SOUS 15897 HAS SOUPS 15897 WITH SCORE 15941.799
AT ITER 4207 NEW BEST:: SOT 64934 SOS 44797 HAS SOPS 44797 HAS SOUS 15881 HAS SOUPS 15881 WITH SCORE 15925.797
AT ITER 4210 NEW BEST:: SOT 64951 SOS 44815 HAS SOPS 44815 HAS SOUS 15879 HAS SOUPS 15879 WITH SCORE 15923.815
AT ITER 4250 NEW BEST:: SOT 64951 SOS 44287 HAS SOPS 44287 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15890.287
AT ITER 4267 NEW BEST:: SOT 64951 SOS 44191 HAS SOPS 44191 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15890.191
AT ITER 4294 NEW BEST:: SOT 64919 SOS 44159 HAS SOPS 44159 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15885.159
AT ITER 4308 NEW BEST:: SOT 64887 SOS 44127 HAS SOPS 44127 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15802.127
AT ITER 4333 NEW BEST:: SOT 64795 SOS 44024 HAS SOPS 44024 HAS SOUS 15702 HAS SOUPS 15702 WITH SCORE 15746.024
AT ITER 4347 NEW BEST:: SOT 64779 SOS 43992 HAS SOPS 43992 HAS SOUS 15693 HAS SOUPS 15693 WITH SCORE 15736.992
AT ITER 4389 NEW BEST:: SOT 64779 SOS 43656 HAS SOPS 43656 HAS SOUS 15693 HAS SOUPS 15693 WITH SCORE 15736.656
AT ITER 4418 NEW BEST:: SOT 64779 SOS 43640 HAS SOPS 43640 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15735.64
AT ITER 4446 NEW BEST:: SOT 64779 SOS 43673 HAS SOPS 43673 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15698.673
AT ITER 4577 NEW BEST:: SOT 64787 SOS 43681 HAS SOPS 43681 HAS SOUS 15645 HAS SOUPS 15645 WITH SCORE 15688.681
AT ITER 4586 NEW BEST:: SOT 64760 SOS 43654 HAS SOPS 43654 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15629.654
AT ITER 4615 NEW BEST:: SOT 64752 SOS 43646 HAS SOPS 43646 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15627.646
AT ITER 4688 NEW BEST:: SOT 64747 SOS 43641 HAS SOPS 43641 HAS SOUS 15577 HAS SOUPS 15577 WITH SCORE 15620.641
AT ITER 4699 NEW BEST:: SOT 64754 SOS 43648 HAS SOPS 43648 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15618.648
AT ITER 4704 NEW BEST:: SOT 64746 SOS 43640 HAS SOPS 43640 HAS SOUS 15573 HAS SOUPS 15573 WITH SCORE 15616.64
AT ITER 4724 NEW BEST:: SOT 64770 SOS 43664 HAS SOPS 43664 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15579.664
AT ITER 4766 NEW BEST:: SOT 64770 SOS 43667 HAS SOPS 43667 HAS SOUS 15527 HAS SOUPS 15527 WITH SCORE 15570.667
AT ITER 4772 NEW BEST:: SOT 64780 SOS 43677 HAS SOPS 43677 HAS SOUS 15525 HAS SOUPS 15525 WITH SCORE 15568.677
AT ITER 4815 NEW BEST:: SOT 64780 SOS 43678 HAS SOPS 43678 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15567.678
AT ITER 4819 NEW BEST:: SOT 64780 SOS 44318 HAS SOPS 44318 HAS SOUS 15504 HAS SOUPS 15504 WITH SCORE 15548.318
AT ITER 4957 NEW BEST:: SOT 64782 SOS 44317 HAS SOPS 44317 HAS SOUS 15504 HAS SOUPS 15504 WITH SCORE 15548.317
AT ITER 5060 NEW BEST:: SOT 64782 SOS 44293 HAS SOPS 44293 HAS SOUS 15504 HAS SOUPS 15504 WITH SCORE 15548.293
AT ITER 5101 NEW BEST:: SOT 64774 SOS 44285 HAS SOPS 44285 HAS SOUS 15488 HAS SOUPS 15488 WITH SCORE 15532.285
AT ITER 5176 NEW BEST:: SOT 64774 SOS 44477 HAS SOPS 44477 HAS SOUS 15485 HAS SOUPS 15485 WITH SCORE 15529.477
AT ITER 5231 NEW BEST:: SOT 64754 SOS 44457 HAS SOPS 44457 HAS SOUS 15465 HAS SOUPS 15465 WITH SCORE 15509.457
AT ITER 5514 NEW BEST:: SOT 64752 SOS 44452 HAS SOPS 44452 HAS SOUS 15451 HAS SOUPS 15451 WITH SCORE 15495.452
AT ITER 5581 NEW BEST:: SOT 64752 SOS 44356 HAS SOPS 44356 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15494.356
AT ITER 5692 NEW BEST:: SOT 64752 SOS 44356 HAS SOPS 44356 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15493.356
AT ITER 5745 NEW BEST:: SOT 64746 SOS 44350 HAS SOPS 44350 HAS SOUS 15443 HAS SOUPS 15443 WITH SCORE 15487.35
AT ITER 5787 NEW BEST:: SOT 64746 SOS 44670 HAS SOPS 44670 HAS SOUS 15438 HAS SOUPS 15438 WITH SCORE 15482.67
AT ITER 5803 NEW BEST:: SOT 64746 SOS 44686 HAS SOPS 44686 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15458.686
AT ITER 5936 NEW BEST:: SOT 64744 SOS 44672 HAS SOPS 44672 HAS SOUS 15412 HAS SOUPS 15412 WITH SCORE 15456.672
AT ITER 5985 NEW BEST:: SOT 64744 SOS 44944 HAS SOPS 44944 HAS SOUS 15378 HAS SOUPS 15378 WITH SCORE 15422.944
AT ITER 6014 NEW BEST:: SOT 64744 SOS 44920 HAS SOPS 44920 HAS SOUS 15378 HAS SOUPS 15378 WITH SCORE 15422.92
AT ITER 6038 NEW BEST:: SOT 64736 SOS 44912 HAS SOPS 44912 HAS SOUS 15362 HAS SOUPS 15362 WITH SCORE 15406.912
AT ITER 6167 NEW BEST:: SOT 64582 SOS 44758 HAS SOPS 44758 HAS SOUS 15152 HAS SOUPS 15152 WITH SCORE 15196.758
AT ITER 6209 NEW BEST:: SOT 64574 SOS 44750 HAS SOPS 44750 HAS SOUS 15144 HAS SOUPS 15144 WITH SCORE 15188.75
AT ITER 6282 NEW BEST:: SOT 64551 SOS 44727 HAS SOPS 44727 HAS SOUS 15121 HAS SOUPS 15121 WITH SCORE 15165.727
AT ITER 6375 NEW BEST:: SOT 64549 SOS 44725 HAS SOPS 44725 HAS SOUS 15111 HAS SOUPS 15111 WITH SCORE 15155.725
AT ITER 6441 NEW BEST:: SOT 64549 SOS 44709 HAS SOPS 44709 HAS SOUS 15110 HAS SOUPS 15110 WITH SCORE 15154.709
AT ITER 6572 NEW BEST:: SOT 64543 SOS 44703 HAS SOPS 44703 HAS SOUS 15107 HAS SOUPS 15107 WITH SCORE 15151.703
AT ITER 6867 NEW BEST:: SOT 64543 SOS 44695 HAS SOPS 44695 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15150.695
AT ITER 6938 NEW BEST:: SOT 64574 SOS 44902 HAS SOPS 44902 HAS SOUS 15090 HAS SOUPS 15090 WITH SCORE 15134.902
AT ITER 6946 NEW BEST:: SOT 64574 SOS 44886 HAS SOPS 44886 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15133.886
AT ITER 7063 NEW BEST:: SOT 64562 SOS 44870 HAS SOPS 44870 HAS SOUS 15068 HAS SOUPS 15068 WITH SCORE 15112.87
AT ITER 7088 NEW BEST:: SOT 64562 SOS 44870 HAS SOPS 44870 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15099.87
AT ITER 7184 NEW BEST:: SOT 64562 SOS 44822 HAS SOPS 44822 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15099.822
AT ITER 7389 NEW BEST:: SOT 64562 SOS 44710 HAS SOPS 44710 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15099.71
AT ITER 7673 NEW BEST:: SOT 64556 SOS 44684 HAS SOPS 44684 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15093.684
AT ITER 7744 NEW BEST:: SOT 64552 SOS 44680 HAS SOPS 44680 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15091.68
AT ITER 7835 NEW BEST:: SOT 64484 SOS 44588 HAS SOPS 44588 HAS SOUS 14983 HAS SOUPS 14983 WITH SCORE 15027.588
AT ITER 7919 NEW BEST:: SOT 64476 SOS 44580 HAS SOPS 44580 HAS SOUS 14967 HAS SOUPS 14967 WITH SCORE 15011.58
AT ITER 7960 NEW BEST:: SOT 64476 SOS 44492 HAS SOPS 44492 HAS SOUS 14967 HAS SOUPS 14967 WITH SCORE 15011.492
AT ITER 8037 NEW BEST:: SOT 64420 SOS 44436 HAS SOPS 44436 HAS SOUS 14934 HAS SOUPS 14934 WITH SCORE 14978.436
AT ITER 8133 NEW BEST:: SOT 64418 SOS 44436 HAS SOPS 44436 HAS SOUS 14932 HAS SOUPS 14932 WITH SCORE 14976.436
AT ITER 8168 NEW BEST:: SOT 64410 SOS 44428 HAS SOPS 44428 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14972.428
AT ITER 8276 NEW BEST:: SOT 64410 SOS 44428 HAS SOPS 44428 HAS SOUS 14924 HAS SOUPS 14924 WITH SCORE 14968.428
AT ITER 8483 NEW BEST:: SOT 64410 SOS 44428 HAS SOPS 44428 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14966.428
AT ITER 8622 NEW BEST:: SOT 64402 SOS 44420 HAS SOPS 44420 HAS SOUS 14914 HAS SOUPS 14914 WITH SCORE 14958.42
AT ITER 8837 NEW BEST:: SOT 64402 SOS 44421 HAS SOPS 44421 HAS SOUS 14913 HAS SOUPS 14913 WITH SCORE 14957.421
AT ITER 8840 NEW BEST:: SOT 64402 SOS 44421 HAS SOPS 44421 HAS SOUS 14912 HAS SOUPS 14912 WITH SCORE 14956.421
AT ITER 9055 NEW BEST:: SOT 64386 SOS 44405 HAS SOPS 44405 HAS SOUS 14887 HAS SOUPS 14887 WITH SCORE 14931.405
AT ITER 9110 NEW BEST:: SOT 64386 SOS 44405 HAS SOPS 44405 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14901.405
AT ITER 9203 NEW BEST:: SOT 64355 SOS 44374 HAS SOPS 44374 HAS SOUS 14856 HAS SOUPS 14856 WITH SCORE 14900.374
AT ITER 9211 NEW BEST:: SOT 64355 SOS 44380 HAS SOPS 44380 HAS SOUS 14837 HAS SOUPS 14837 WITH SCORE 14881.38
AT ITER 9252 NEW BEST:: SOT 64355 SOS 44380 HAS SOPS 44380 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14873.38
AT ITER 9350 NEW BEST:: SOT 64360 SOS 44125 HAS SOPS 44125 HAS SOUS 14828 HAS SOUPS 14828 WITH SCORE 14872.125
AT ITER 9408 NEW BEST:: SOT 64360 SOS 44189 HAS SOPS 44189 HAS SOUS 14824 HAS SOUPS 14824 WITH SCORE 14868.189
AT ITER 9538 NEW BEST:: SOT 64352 SOS 44181 HAS SOPS 44181 HAS SOUS 14810 HAS SOUPS 14810 WITH SCORE 14854.181
AT ITER 9704 NEW BEST:: SOT 64352 SOS 44368 HAS SOPS 44368 HAS SOUS 14809 HAS SOUPS 14809 WITH SCORE 14853.368

BK_STOP 1678788276206

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 406 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="PermAdmissibility-COL-02"
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 PermAdmissibility-COL-02, 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 r259-smll-167863534600472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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