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.r163-tall-167838847600304.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 FamilyReunion-COL-L00010M0001C001P001G001, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847600304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 6.9K Feb 26 12:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 12:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 11:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 11:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 12:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 26 12:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 12:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 12:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 134K Mar 5 18:22 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 1678441802352

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=FamilyReunion-COL-L00010M0001C001P001G001
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 09:50:05] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 09:50:05] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 09:50:05] [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-10 09:50:05] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 09:50:06] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1011 ms
[2023-03-10 09:50:06] [INFO ] Detected 5 constant HL places corresponding to 10 PT places.
[2023-03-10 09:50:06] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 1486 PT places and 1245.0 transition bindings in 65 ms.
[2023-03-10 09:50:06] [INFO ] Unfolded HLPN to a Petri net with 1486 places and 1234 transitions 3535 arcs in 71 ms.
[2023-03-10 09:50:06] [INFO ] Unfolded 0 HLPN properties in 1 ms.
Reduce places removed 11 places and 0 transitions.
[2023-03-10 09:50:06] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 1475 places, 1234 transitions and 3535 arcs took 27 ms.
Total runtime 1440 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00010M0001C001P001G001
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: 1475 places, 1234 transitions, 3535 arcs.
AT ITER 0 NEW BEST:: SOT 989569 SOS 134292 HAS SOPS 134292 HAS SOUS 114948 HAS SOUPS 114948 WITH SCORE 115082.292
AT ITER 8 NEW BEST:: SOT 989569 SOS 134292 HAS SOPS 134292 HAS SOUS 114946 HAS SOUPS 114946 WITH SCORE 115080.292
AT ITER 66 NEW BEST:: SOT 989558 SOS 134272 HAS SOPS 134272 HAS SOUS 114935 HAS SOUPS 114935 WITH SCORE 115069.272
AT ITER 71 NEW BEST:: SOT 989523 SOS 134180 HAS SOPS 134180 HAS SOUS 114843 HAS SOUPS 114843 WITH SCORE 114977.18
AT ITER 99 NEW BEST:: SOT 989523 SOS 134077 HAS SOPS 134077 HAS SOUS 114842 HAS SOUPS 114842 WITH SCORE 114976.077
AT ITER 108 NEW BEST:: SOT 989523 SOS 134070 HAS SOPS 134070 HAS SOUS 114835 HAS SOUPS 114835 WITH SCORE 114969.07
AT ITER 165 NEW BEST:: SOT 989480 SOS 133962 HAS SOPS 133962 HAS SOUS 114727 HAS SOUPS 114727 WITH SCORE 114860.962
AT ITER 168 NEW BEST:: SOT 989480 SOS 133971 HAS SOPS 133971 HAS SOUS 114683 HAS SOUPS 114683 WITH SCORE 114816.971
AT ITER 221 NEW BEST:: SOT 989457 SOS 133925 HAS SOPS 133925 HAS SOUS 114617 HAS SOUPS 114617 WITH SCORE 114750.925
AT ITER 230 NEW BEST:: SOT 989397 SOS 133903 HAS SOPS 133903 HAS SOUS 114595 HAS SOUPS 114595 WITH SCORE 114728.903
AT ITER 282 NEW BEST:: SOT 989375 SOS 133870 HAS SOPS 133870 HAS SOUS 114562 HAS SOUPS 114562 WITH SCORE 114695.87
AT ITER 290 NEW BEST:: SOT 989314 SOS 133862 HAS SOPS 133862 HAS SOUS 114554 HAS SOUPS 114554 WITH SCORE 114687.862
AT ITER 315 NEW BEST:: SOT 989294 SOS 133802 HAS SOPS 133802 HAS SOUS 114494 HAS SOUPS 114494 WITH SCORE 114627.802
AT ITER 331 NEW BEST:: SOT 989175 SOS 133767 HAS SOPS 133767 HAS SOUS 114459 HAS SOUPS 114459 WITH SCORE 114592.767
AT ITER 333 NEW BEST:: SOT 989100 SOS 133745 HAS SOPS 133745 HAS SOUS 114437 HAS SOUPS 114437 WITH SCORE 114570.745
AT ITER 392 NEW BEST:: SOT 989100 SOS 133734 HAS SOPS 133734 HAS SOUS 114426 HAS SOUPS 114426 WITH SCORE 114559.734
AT ITER 425 NEW BEST:: SOT 989107 SOS 133730 HAS SOPS 133730 HAS SOUS 114422 HAS SOUPS 114422 WITH SCORE 114555.73
AT ITER 434 NEW BEST:: SOT 989053 SOS 133620 HAS SOPS 133620 HAS SOUS 114312 HAS SOUPS 114312 WITH SCORE 114445.62
AT ITER 437 NEW BEST:: SOT 988987 SOS 133594 HAS SOPS 133594 HAS SOUS 114291 HAS SOUPS 114291 WITH SCORE 114424.594
AT ITER 466 NEW BEST:: SOT 988982 SOS 133549 HAS SOPS 133549 HAS SOUS 114228 HAS SOUPS 114228 WITH SCORE 114361.549
AT ITER 470 NEW BEST:: SOT 988982 SOS 133487 HAS SOPS 133487 HAS SOUS 114228 HAS SOUPS 114228 WITH SCORE 114361.487
AT ITER 485 NEW BEST:: SOT 988960 SOS 133458 HAS SOPS 133458 HAS SOUS 114199 HAS SOUPS 114199 WITH SCORE 114332.458
AT ITER 489 NEW BEST:: SOT 988830 SOS 133371 HAS SOPS 133371 HAS SOUS 114112 HAS SOUPS 114112 WITH SCORE 114245.371
AT ITER 505 NEW BEST:: SOT 988798 SOS 133349 HAS SOPS 133349 HAS SOUS 114090 HAS SOUPS 114090 WITH SCORE 114223.349
AT ITER 539 NEW BEST:: SOT 988742 SOS 133318 HAS SOPS 133318 HAS SOUS 114059 HAS SOUPS 114059 WITH SCORE 114192.318
AT ITER 549 NEW BEST:: SOT 988661 SOS 133180 HAS SOPS 133180 HAS SOUS 114030 HAS SOUPS 114030 WITH SCORE 114163.18
AT ITER 591 NEW BEST:: SOT 988661 SOS 133213 HAS SOPS 133213 HAS SOUS 114019 HAS SOUPS 114019 WITH SCORE 114152.213
AT ITER 610 NEW BEST:: SOT 988626 SOS 133132 HAS SOPS 133132 HAS SOUS 114008 HAS SOUPS 114008 WITH SCORE 114141.132
AT ITER 679 NEW BEST:: SOT 988574 SOS 133022 HAS SOPS 133022 HAS SOUS 113898 HAS SOUPS 113898 WITH SCORE 114031.022
AT ITER 741 NEW BEST:: SOT 988523 SOS 131878 HAS SOPS 131878 HAS SOUS 113825 HAS SOUPS 113825 WITH SCORE 113956.878
AT ITER 751 NEW BEST:: SOT 988523 SOS 131863 HAS SOPS 131863 HAS SOUS 113810 HAS SOUPS 113810 WITH SCORE 113941.863
AT ITER 758 NEW BEST:: SOT 988510 SOS 131837 HAS SOPS 131837 HAS SOUS 113784 HAS SOUPS 113784 WITH SCORE 113915.837
AT ITER 760 NEW BEST:: SOT 988489 SOS 131727 HAS SOPS 131727 HAS SOUS 113724 HAS SOUPS 113724 WITH SCORE 113855.727
AT ITER 761 NEW BEST:: SOT 988470 SOS 131678 HAS SOPS 131678 HAS SOUS 113675 HAS SOUPS 113675 WITH SCORE 113806.678
AT ITER 777 NEW BEST:: SOT 988407 SOS 130278 HAS SOPS 130278 HAS SOUS 113655 HAS SOUPS 113655 WITH SCORE 113785.278
AT ITER 786 NEW BEST:: SOT 988269 SOS 130168 HAS SOPS 130168 HAS SOUS 113545 HAS SOUPS 113545 WITH SCORE 113675.168
AT ITER 796 NEW BEST:: SOT 988269 SOS 130157 HAS SOPS 130157 HAS SOUS 113534 HAS SOUPS 113534 WITH SCORE 113664.157
AT ITER 818 NEW BEST:: SOT 988188 SOS 130151 HAS SOPS 130151 HAS SOUS 113528 HAS SOUPS 113528 WITH SCORE 113658.151
AT ITER 822 NEW BEST:: SOT 988137 SOS 130078 HAS SOPS 130078 HAS SOUS 113455 HAS SOUPS 113455 WITH SCORE 113585.078
AT ITER 837 NEW BEST:: SOT 988137 SOS 129976 HAS SOPS 129976 HAS SOUS 113454 HAS SOUPS 113454 WITH SCORE 113583.976
AT ITER 859 NEW BEST:: SOT 988029 SOS 129944 HAS SOPS 129944 HAS SOUS 113433 HAS SOUPS 113433 WITH SCORE 113562.944
AT ITER 924 NEW BEST:: SOT 988029 SOS 129936 HAS SOPS 129936 HAS SOUS 113425 HAS SOUPS 113425 WITH SCORE 113554.936
AT ITER 930 NEW BEST:: SOT 987925 SOS 129870 HAS SOPS 129870 HAS SOUS 113414 HAS SOUPS 113414 WITH SCORE 113543.87
AT ITER 933 NEW BEST:: SOT 987925 SOS 129852 HAS SOPS 129852 HAS SOUS 113396 HAS SOUPS 113396 WITH SCORE 113525.852
AT ITER 941 NEW BEST:: SOT 987929 SOS 129825 HAS SOPS 129825 HAS SOUS 113369 HAS SOUPS 113369 WITH SCORE 113498.825
AT ITER 1010 NEW BEST:: SOT 987929 SOS 129795 HAS SOPS 129795 HAS SOUS 113368 HAS SOUPS 113368 WITH SCORE 113497.795
AT ITER 1023 NEW BEST:: SOT 987899 SOS 129751 HAS SOPS 129751 HAS SOUS 113324 HAS SOUPS 113324 WITH SCORE 113453.751
AT ITER 1036 NEW BEST:: SOT 987865 SOS 129737 HAS SOPS 129737 HAS SOUS 113309 HAS SOUPS 113309 WITH SCORE 113438.737
AT ITER 1074 NEW BEST:: SOT 987865 SOS 129737 HAS SOPS 129737 HAS SOUS 113308 HAS SOUPS 113308 WITH SCORE 113437.737
AT ITER 1080 NEW BEST:: SOT 987801 SOS 129571 HAS SOPS 129571 HAS SOUS 113256 HAS SOUPS 113256 WITH SCORE 113385.571
AT ITER 1093 NEW BEST:: SOT 987777 SOS 129570 HAS SOPS 129570 HAS SOUS 113255 HAS SOUPS 113255 WITH SCORE 113384.57
AT ITER 1103 NEW BEST:: SOT 987777 SOS 129561 HAS SOPS 129561 HAS SOUS 113246 HAS SOUPS 113246 WITH SCORE 113375.561
AT ITER 1119 NEW BEST:: SOT 987731 SOS 129359 HAS SOPS 129359 HAS SOUS 113203 HAS SOUPS 113203 WITH SCORE 113332.359
AT ITER 1153 NEW BEST:: SOT 987720 SOS 129337 HAS SOPS 129337 HAS SOUS 113181 HAS SOUPS 113181 WITH SCORE 113310.337
AT ITER 1209 NEW BEST:: SOT 987720 SOS 129262 HAS SOPS 129262 HAS SOUS 113181 HAS SOUPS 113181 WITH SCORE 113310.262
AT ITER 1215 NEW BEST:: SOT 987720 SOS 129251 HAS SOPS 129251 HAS SOUS 113170 HAS SOUPS 113170 WITH SCORE 113299.251
AT ITER 1230 NEW BEST:: SOT 987702 SOS 129178 HAS SOPS 129178 HAS SOUS 113108 HAS SOUPS 113108 WITH SCORE 113237.178
AT ITER 1240 NEW BEST:: SOT 987702 SOS 129188 HAS SOPS 129188 HAS SOUS 113064 HAS SOUPS 113064 WITH SCORE 113193.188
AT ITER 1272 NEW BEST:: SOT 987669 SOS 129164 HAS SOPS 129164 HAS SOUS 113040 HAS SOUPS 113040 WITH SCORE 113169.164
AT ITER 1309 NEW BEST:: SOT 987672 SOS 129148 HAS SOPS 129148 HAS SOUS 113024 HAS SOUPS 113024 WITH SCORE 113153.148
AT ITER 1375 NEW BEST:: SOT 987672 SOS 129057 HAS SOPS 129057 HAS SOUS 112933 HAS SOUPS 112933 WITH SCORE 113062.057
AT ITER 1441 NEW BEST:: SOT 987595 SOS 128969 HAS SOPS 128969 HAS SOUS 112885 HAS SOUPS 112885 WITH SCORE 113013.969
AT ITER 1449 NEW BEST:: SOT 987595 SOS 128956 HAS SOPS 128956 HAS SOUS 112885 HAS SOUPS 112885 WITH SCORE 113013.956
AT ITER 1461 NEW BEST:: SOT 987569 SOS 128780 HAS SOPS 128780 HAS SOUS 112870 HAS SOUPS 112870 WITH SCORE 112998.78
AT ITER 1499 NEW BEST:: SOT 987569 SOS 128790 HAS SOPS 128790 HAS SOUS 112862 HAS SOUPS 112862 WITH SCORE 112990.79
AT ITER 1543 NEW BEST:: SOT 987500 SOS 128751 HAS SOPS 128751 HAS SOUS 112823 HAS SOUPS 112823 WITH SCORE 112951.751
AT ITER 1550 NEW BEST:: SOT 987354 SOS 128656 HAS SOPS 128656 HAS SOUS 112728 HAS SOUPS 112728 WITH SCORE 112856.656
AT ITER 1551 NEW BEST:: SOT 987354 SOS 128690 HAS SOPS 128690 HAS SOUS 112726 HAS SOUPS 112726 WITH SCORE 112854.69
AT ITER 1570 NEW BEST:: SOT 987354 SOS 128678 HAS SOPS 128678 HAS SOUS 112714 HAS SOUPS 112714 WITH SCORE 112842.678
AT ITER 1587 NEW BEST:: SOT 987341 SOS 128674 HAS SOPS 128674 HAS SOUS 112710 HAS SOUPS 112710 WITH SCORE 112838.674
AT ITER 1591 NEW BEST:: SOT 987341 SOS 128666 HAS SOPS 128666 HAS SOUS 112702 HAS SOUPS 112702 WITH SCORE 112830.666
AT ITER 1605 NEW BEST:: SOT 987279 SOS 128614 HAS SOPS 128614 HAS SOUS 112650 HAS SOUPS 112650 WITH SCORE 112778.614
AT ITER 1624 NEW BEST:: SOT 987176 SOS 128535 HAS SOPS 128535 HAS SOUS 112571 HAS SOUPS 112571 WITH SCORE 112699.535
AT ITER 1625 NEW BEST:: SOT 987154 SOS 128511 HAS SOPS 128511 HAS SOUS 112547 HAS SOUPS 112547 WITH SCORE 112675.511
AT ITER 1648 NEW BEST:: SOT 987154 SOS 128506 HAS SOPS 128506 HAS SOUS 112547 HAS SOUPS 112547 WITH SCORE 112675.506
AT ITER 1682 NEW BEST:: SOT 987160 SOS 128469 HAS SOPS 128469 HAS SOUS 112504 HAS SOUPS 112504 WITH SCORE 112632.469
AT ITER 1690 NEW BEST:: SOT 987092 SOS 128265 HAS SOPS 128265 HAS SOUS 112436 HAS SOUPS 112436 WITH SCORE 112564.265
AT ITER 1700 NEW BEST:: SOT 987061 SOS 128221 HAS SOPS 128221 HAS SOUS 112392 HAS SOUPS 112392 WITH SCORE 112520.221
AT ITER 1748 NEW BEST:: SOT 987058 SOS 128218 HAS SOPS 128218 HAS SOUS 112389 HAS SOUPS 112389 WITH SCORE 112517.218
AT ITER 1776 NEW BEST:: SOT 987007 SOS 128167 HAS SOPS 128167 HAS SOUS 112338 HAS SOUPS 112338 WITH SCORE 112466.167
AT ITER 1842 NEW BEST:: SOT 986938 SOS 128183 HAS SOPS 128183 HAS SOUS 112285 HAS SOUPS 112285 WITH SCORE 112413.183
AT ITER 1843 NEW BEST:: SOT 986895 SOS 128075 HAS SOPS 128075 HAS SOUS 112177 HAS SOUPS 112177 WITH SCORE 112305.075
AT ITER 1869 NEW BEST:: SOT 986868 SOS 128026 HAS SOPS 128026 HAS SOUS 112128 HAS SOUPS 112128 WITH SCORE 112256.026
AT ITER 1896 NEW BEST:: SOT 986850 SOS 128008 HAS SOPS 128008 HAS SOUS 112110 HAS SOUPS 112110 WITH SCORE 112238.008
AT ITER 1910 NEW BEST:: SOT 986850 SOS 127989 HAS SOPS 127989 HAS SOUS 112109 HAS SOUPS 112109 WITH SCORE 112236.989
AT ITER 1983 NEW BEST:: SOT 986829 SOS 127968 HAS SOPS 127968 HAS SOUS 112066 HAS SOUPS 112066 WITH SCORE 112193.968
AT ITER 1990 NEW BEST:: SOT 986706 SOS 127953 HAS SOPS 127953 HAS SOUS 112051 HAS SOUPS 112051 WITH SCORE 112178.953
AT ITER 2005 NEW BEST:: SOT 986706 SOS 127900 HAS SOPS 127900 HAS SOUS 112051 HAS SOUPS 112051 WITH SCORE 112178.9
AT ITER 2010 NEW BEST:: SOT 986706 SOS 127889 HAS SOPS 127889 HAS SOUS 112040 HAS SOUPS 112040 WITH SCORE 112167.889
AT ITER 2011 NEW BEST:: SOT 986693 SOS 127876 HAS SOPS 127876 HAS SOUS 112027 HAS SOUPS 112027 WITH SCORE 112154.876
AT ITER 2024 NEW BEST:: SOT 986626 SOS 127831 HAS SOPS 127831 HAS SOUS 111982 HAS SOUPS 111982 WITH SCORE 112109.831
AT ITER 2075 NEW BEST:: SOT 986626 SOS 127831 HAS SOPS 127831 HAS SOUS 111981 HAS SOUPS 111981 WITH SCORE 112108.831
AT ITER 2089 NEW BEST:: SOT 986614 SOS 127714 HAS SOPS 127714 HAS SOUS 111622 HAS SOUPS 111622 WITH SCORE 111749.714
AT ITER 2134 NEW BEST:: SOT 986603 SOS 127677 HAS SOPS 127677 HAS SOUS 111577 HAS SOUPS 111577 WITH SCORE 111704.677
AT ITER 2165 NEW BEST:: SOT 986510 SOS 127635 HAS SOPS 127635 HAS SOUS 111535 HAS SOUPS 111535 WITH SCORE 111662.635
AT ITER 2173 NEW BEST:: SOT 986501 SOS 127626 HAS SOPS 127626 HAS SOUS 111526 HAS SOUPS 111526 WITH SCORE 111653.626
AT ITER 2250 NEW BEST:: SOT 986368 SOS 127576 HAS SOPS 127576 HAS SOUS 111476 HAS SOUPS 111476 WITH SCORE 111603.576
AT ITER 2269 NEW BEST:: SOT 986332 SOS 127540 HAS SOPS 127540 HAS SOUS 111401 HAS SOUPS 111401 WITH SCORE 111528.54
AT ITER 2364 NEW BEST:: SOT 986332 SOS 128123 HAS SOPS 128123 HAS SOUS 111394 HAS SOUPS 111394 WITH SCORE 111522.123
AT ITER 2368 NEW BEST:: SOT 986332 SOS 128112 HAS SOPS 128112 HAS SOUS 111394 HAS SOUPS 111394 WITH SCORE 111522.112
AT ITER 2383 NEW BEST:: SOT 986346 SOS 128102 HAS SOPS 128102 HAS SOUS 111384 HAS SOUPS 111384 WITH SCORE 111512.102
AT ITER 2410 NEW BEST:: SOT 986269 SOS 128011 HAS SOPS 128011 HAS SOUS 111332 HAS SOUPS 111332 WITH SCORE 111460.011
AT ITER 2426 NEW BEST:: SOT 986289 SOS 128009 HAS SOPS 128009 HAS SOUS 111330 HAS SOUPS 111330 WITH SCORE 111458.009
AT ITER 2434 NEW BEST:: SOT 986285 SOS 127994 HAS SOPS 127994 HAS SOUS 111315 HAS SOUPS 111315 WITH SCORE 111442.994
AT ITER 2436 NEW BEST:: SOT 986276 SOS 127976 HAS SOPS 127976 HAS SOUS 111297 HAS SOUPS 111297 WITH SCORE 111424.976
AT ITER 2513 NEW BEST:: SOT 986313 SOS 127953 HAS SOPS 127953 HAS SOUS 111265 HAS SOUPS 111265 WITH SCORE 111392.953
AT ITER 2582 NEW BEST:: SOT 986298 SOS 127945 HAS SOPS 127945 HAS SOUS 111257 HAS SOUPS 111257 WITH SCORE 111384.945
AT ITER 2589 NEW BEST:: SOT 986298 SOS 127886 HAS SOPS 127886 HAS SOUS 111257 HAS SOUPS 111257 WITH SCORE 111384.886
AT ITER 2645 NEW BEST:: SOT 986220 SOS 127804 HAS SOPS 127804 HAS SOUS 111179 HAS SOUPS 111179 WITH SCORE 111306.804
AT ITER 2648 NEW BEST:: SOT 986167 SOS 127729 HAS SOPS 127729 HAS SOUS 111104 HAS SOUPS 111104 WITH SCORE 111231.729
AT ITER 2651 NEW BEST:: SOT 986167 SOS 127720 HAS SOPS 127720 HAS SOUS 111095 HAS SOUPS 111095 WITH SCORE 111222.72
AT ITER 2667 NEW BEST:: SOT 986167 SOS 127711 HAS SOPS 127711 HAS SOUS 111086 HAS SOUPS 111086 WITH SCORE 111213.711
AT ITER 2676 NEW BEST:: SOT 986167 SOS 127659 HAS SOPS 127659 HAS SOUS 111048 HAS SOUPS 111048 WITH SCORE 111175.659
AT ITER 2682 NEW BEST:: SOT 986079 SOS 127653 HAS SOPS 127653 HAS SOUS 111042 HAS SOUPS 111042 WITH SCORE 111169.653
AT ITER 2696 NEW BEST:: SOT 986032 SOS 127630 HAS SOPS 127630 HAS SOUS 111019 HAS SOUPS 111019 WITH SCORE 111146.63
AT ITER 2778 NEW BEST:: SOT 986033 SOS 127618 HAS SOPS 127618 HAS SOUS 111007 HAS SOUPS 111007 WITH SCORE 111134.618
AT ITER 2824 NEW BEST:: SOT 986003 SOS 127536 HAS SOPS 127536 HAS SOUS 110925 HAS SOUPS 110925 WITH SCORE 111052.536
AT ITER 2840 NEW BEST:: SOT 985926 SOS 127426 HAS SOPS 127426 HAS SOUS 110815 HAS SOUPS 110815 WITH SCORE 110942.426
AT ITER 2877 NEW BEST:: SOT 985891 SOS 127334 HAS SOPS 127334 HAS SOUS 110723 HAS SOUPS 110723 WITH SCORE 110850.334
AT ITER 2885 NEW BEST:: SOT 985867 SOS 127327 HAS SOPS 127327 HAS SOUS 110716 HAS SOUPS 110716 WITH SCORE 110843.327
AT ITER 2921 NEW BEST:: SOT 985856 SOS 127305 HAS SOPS 127305 HAS SOUS 110694 HAS SOUPS 110694 WITH SCORE 110821.305
AT ITER 2970 NEW BEST:: SOT 985856 SOS 127277 HAS SOPS 127277 HAS SOUS 110666 HAS SOUPS 110666 WITH SCORE 110793.277
AT ITER 3012 NEW BEST:: SOT 985790 SOS 127255 HAS SOPS 127255 HAS SOUS 110644 HAS SOUPS 110644 WITH SCORE 110771.255
AT ITER 3049 NEW BEST:: SOT 985790 SOS 127263 HAS SOPS 127263 HAS SOUS 110636 HAS SOUPS 110636 WITH SCORE 110763.263
AT ITER 3072 NEW BEST:: SOT 985790 SOS 127229 HAS SOPS 127229 HAS SOUS 110603 HAS SOUPS 110603 WITH SCORE 110730.229
AT ITER 3077 NEW BEST:: SOT 985809 SOS 127229 HAS SOPS 127229 HAS SOUS 110601 HAS SOUPS 110601 WITH SCORE 110728.229
AT ITER 3093 NEW BEST:: SOT 985769 SOS 127179 HAS SOPS 127179 HAS SOUS 110551 HAS SOUPS 110551 WITH SCORE 110678.179
AT ITER 3123 NEW BEST:: SOT 985769 SOS 127168 HAS SOPS 127168 HAS SOUS 110540 HAS SOUPS 110540 WITH SCORE 110667.168
AT ITER 3287 NEW BEST:: SOT 985715 SOS 127102 HAS SOPS 127102 HAS SOUS 110474 HAS SOUPS 110474 WITH SCORE 110601.102
AT ITER 3339 NEW BEST:: SOT 985684 SOS 126777 HAS SOPS 126777 HAS SOUS 110443 HAS SOUPS 110443 WITH SCORE 110569.777
AT ITER 3347 NEW BEST:: SOT 985668 SOS 126745 HAS SOPS 126745 HAS SOUS 110443 HAS SOUPS 110443 WITH SCORE 110569.745
AT ITER 3349 NEW BEST:: SOT 985668 SOS 126723 HAS SOPS 126723 HAS SOUS 110421 HAS SOUPS 110421 WITH SCORE 110547.723
AT ITER 3351 NEW BEST:: SOT 985668 SOS 126706 HAS SOPS 126706 HAS SOUS 110406 HAS SOUPS 110406 WITH SCORE 110532.706
AT ITER 3447 NEW BEST:: SOT 985649 SOS 126689 HAS SOPS 126689 HAS SOUS 110406 HAS SOUPS 110406 WITH SCORE 110532.689
AT ITER 3468 NEW BEST:: SOT 985649 SOS 126625 HAS SOPS 126625 HAS SOUS 110406 HAS SOUPS 110406 WITH SCORE 110532.625
AT ITER 3473 NEW BEST:: SOT 985608 SOS 126597 HAS SOPS 126597 HAS SOUS 110378 HAS SOUPS 110378 WITH SCORE 110504.597
AT ITER 3539 NEW BEST:: SOT 985602 SOS 126589 HAS SOPS 126589 HAS SOUS 110370 HAS SOUPS 110370 WITH SCORE 110496.589
AT ITER 3591 NEW BEST:: SOT 985602 SOS 126601 HAS SOPS 126601 HAS SOUS 110358 HAS SOUPS 110358 WITH SCORE 110484.601
AT ITER 3683 NEW BEST:: SOT 985369 SOS 126651 HAS SOPS 126651 HAS SOUS 110152 HAS SOUPS 110152 WITH SCORE 110278.651
AT ITER 3721 NEW BEST:: SOT 985369 SOS 126621 HAS SOPS 126621 HAS SOUS 110122 HAS SOUPS 110122 WITH SCORE 110248.621
AT ITER 3830 NEW BEST:: SOT 985406 SOS 126610 HAS SOPS 126610 HAS SOUS 110052 HAS SOUPS 110052 WITH SCORE 110178.61
AT ITER 3854 NEW BEST:: SOT 985304 SOS 126574 HAS SOPS 126574 HAS SOUS 110016 HAS SOUPS 110016 WITH SCORE 110142.574
AT ITER 3878 NEW BEST:: SOT 985277 SOS 126555 HAS SOPS 126555 HAS SOUS 109997 HAS SOUPS 109997 WITH SCORE 110123.555
AT ITER 3898 NEW BEST:: SOT 985205 SOS 126430 HAS SOPS 126430 HAS SOUS 109877 HAS SOUPS 109877 WITH SCORE 110003.43
AT ITER 3923 NEW BEST:: SOT 985205 SOS 126370 HAS SOPS 126370 HAS SOUS 109876 HAS SOUPS 109876 WITH SCORE 110002.37
AT ITER 3955 NEW BEST:: SOT 985165 SOS 126210 HAS SOPS 126210 HAS SOUS 109836 HAS SOUPS 109836 WITH SCORE 109962.21
AT ITER 3984 NEW BEST:: SOT 985165 SOS 126241 HAS SOPS 126241 HAS SOUS 109805 HAS SOUPS 109805 WITH SCORE 109931.241
AT ITER 4000 NEW BEST:: SOT 985165 SOS 126239 HAS SOPS 126239 HAS SOUS 109803 HAS SOUPS 109803 WITH SCORE 109929.239
AT ITER 4032 NEW BEST:: SOT 985138 SOS 126212 HAS SOPS 126212 HAS SOUS 109776 HAS SOUPS 109776 WITH SCORE 109902.212
AT ITER 4068 NEW BEST:: SOT 985138 SOS 126198 HAS SOPS 126198 HAS SOUS 109762 HAS SOUPS 109762 WITH SCORE 109888.198
AT ITER 4148 NEW BEST:: SOT 985139 SOS 126226 HAS SOPS 126226 HAS SOUS 109733 HAS SOUPS 109733 WITH SCORE 109859.226
AT ITER 4164 NEW BEST:: SOT 985115 SOS 126197 HAS SOPS 126197 HAS SOUS 109704 HAS SOUPS 109704 WITH SCORE 109830.197
AT ITER 4176 NEW BEST:: SOT 985116 SOS 126093 HAS SOPS 126093 HAS SOUS 109636 HAS SOUPS 109636 WITH SCORE 109762.093
AT ITER 4192 NEW BEST:: SOT 985097 SOS 126068 HAS SOPS 126068 HAS SOUS 109576 HAS SOUPS 109576 WITH SCORE 109702.068
AT ITER 4276 NEW BEST:: SOT 984971 SOS 125983 HAS SOPS 125983 HAS SOUS 109491 HAS SOUPS 109491 WITH SCORE 109616.983
AT ITER 4277 NEW BEST:: SOT 984908 SOS 125920 HAS SOPS 125920 HAS SOUS 109428 HAS SOUPS 109428 WITH SCORE 109553.92
AT ITER 4318 NEW BEST:: SOT 984794 SOS 125908 HAS SOPS 125908 HAS SOUS 109416 HAS SOUPS 109416 WITH SCORE 109541.908
AT ITER 4385 NEW BEST:: SOT 984774 SOS 125898 HAS SOPS 125898 HAS SOUS 109386 HAS SOUPS 109386 WITH SCORE 109511.898
AT ITER 4466 NEW BEST:: SOT 984774 SOS 125898 HAS SOPS 125898 HAS SOUS 109364 HAS SOUPS 109364 WITH SCORE 109489.898
AT ITER 4497 NEW BEST:: SOT 984774 SOS 125896 HAS SOPS 125896 HAS SOUS 109364 HAS SOUPS 109364 WITH SCORE 109489.896
AT ITER 4519 NEW BEST:: SOT 984774 SOS 125896 HAS SOPS 125896 HAS SOUS 109350 HAS SOUPS 109350 WITH SCORE 109475.896
AT ITER 4525 NEW BEST:: SOT 984697 SOS 125827 HAS SOPS 125827 HAS SOUS 109323 HAS SOUPS 109323 WITH SCORE 109448.827
AT ITER 4536 NEW BEST:: SOT 984683 SOS 125821 HAS SOPS 125821 HAS SOUS 109317 HAS SOUPS 109317 WITH SCORE 109442.821
AT ITER 4550 NEW BEST:: SOT 984598 SOS 125730 HAS SOPS 125730 HAS SOUS 109226 HAS SOUPS 109226 WITH SCORE 109351.73
AT ITER 4582 NEW BEST:: SOT 984615 SOS 125726 HAS SOPS 125726 HAS SOUS 109220 HAS SOUPS 109220 WITH SCORE 109345.726
AT ITER 4619 NEW BEST:: SOT 984615 SOS 125723 HAS SOPS 125723 HAS SOUS 109217 HAS SOUPS 109217 WITH SCORE 109342.723
AT ITER 4626 NEW BEST:: SOT 984591 SOS 125663 HAS SOPS 125663 HAS SOUS 109200 HAS SOUPS 109200 WITH SCORE 109325.663
AT ITER 4639 NEW BEST:: SOT 984591 SOS 125641 HAS SOPS 125641 HAS SOUS 109178 HAS SOUPS 109178 WITH SCORE 109303.641
AT ITER 4646 NEW BEST:: SOT 984570 SOS 125599 HAS SOPS 125599 HAS SOUS 109136 HAS SOUPS 109136 WITH SCORE 109261.599
AT ITER 4654 NEW BEST:: SOT 984564 SOS 125571 HAS SOPS 125571 HAS SOUS 109123 HAS SOUPS 109123 WITH SCORE 109248.571
AT ITER 4739 NEW BEST:: SOT 984564 SOS 125519 HAS SOPS 125519 HAS SOUS 109123 HAS SOUPS 109123 WITH SCORE 109248.519
AT ITER 4827 NEW BEST:: SOT 984544 SOS 125499 HAS SOPS 125499 HAS SOUS 109103 HAS SOUPS 109103 WITH SCORE 109228.499
AT ITER 4830 NEW BEST:: SOT 984521 SOS 125446 HAS SOPS 125446 HAS SOUS 109050 HAS SOUPS 109050 WITH SCORE 109175.446
AT ITER 4832 NEW BEST:: SOT 984510 SOS 125424 HAS SOPS 125424 HAS SOUS 109028 HAS SOUPS 109028 WITH SCORE 109153.424
AT ITER 4834 NEW BEST:: SOT 984462 SOS 125368 HAS SOPS 125368 HAS SOUS 108972 HAS SOUPS 108972 WITH SCORE 109097.368
AT ITER 4855 NEW BEST:: SOT 984462 SOS 125347 HAS SOPS 125347 HAS SOUS 108951 HAS SOUPS 108951 WITH SCORE 109076.347
AT ITER 4857 NEW BEST:: SOT 984462 SOS 125319 HAS SOPS 125319 HAS SOUS 108951 HAS SOUPS 108951 WITH SCORE 109076.319
AT ITER 4867 NEW BEST:: SOT 984451 SOS 125186 HAS SOPS 125186 HAS SOUS 108818 HAS SOUPS 108818 WITH SCORE 108943.186
AT ITER 4870 NEW BEST:: SOT 984451 SOS 125162 HAS SOPS 125162 HAS SOUS 108794 HAS SOUPS 108794 WITH SCORE 108919.162
AT ITER 4918 NEW BEST:: SOT 984451 SOS 125162 HAS SOPS 125162 HAS SOUS 108793 HAS SOUPS 108793 WITH SCORE 108918.162
AT ITER 5069 NEW BEST:: SOT 984451 SOS 125118 HAS SOPS 125118 HAS SOUS 108749 HAS SOUPS 108749 WITH SCORE 108874.118
AT ITER 5131 NEW BEST:: SOT 984451 SOS 125099 HAS SOPS 125099 HAS SOUS 108730 HAS SOUPS 108730 WITH SCORE 108855.099
AT ITER 5170 NEW BEST:: SOT 984451 SOS 125082 HAS SOPS 125082 HAS SOUS 108713 HAS SOUPS 108713 WITH SCORE 108838.082
AT ITER 5192 NEW BEST:: SOT 984451 SOS 124876 HAS SOPS 124876 HAS SOUS 108713 HAS SOUPS 108713 WITH SCORE 108837.876
AT ITER 5285 NEW BEST:: SOT 984440 SOS 125085 HAS SOPS 125085 HAS SOUS 108712 HAS SOUPS 108712 WITH SCORE 108837.085
AT ITER 5344 NEW BEST:: SOT 984390 SOS 124920 HAS SOPS 124920 HAS SOUS 108582 HAS SOUPS 108582 WITH SCORE 108706.92
AT ITER 5353 NEW BEST:: SOT 984363 SOS 124903 HAS SOPS 124903 HAS SOUS 108565 HAS SOUPS 108565 WITH SCORE 108689.903
AT ITER 5364 NEW BEST:: SOT 984363 SOS 124885 HAS SOPS 124885 HAS SOUS 108547 HAS SOUPS 108547 WITH SCORE 108671.885
AT ITER 5376 NEW BEST:: SOT 984317 SOS 124851 HAS SOPS 124851 HAS SOUS 108513 HAS SOUPS 108513 WITH SCORE 108637.851
AT ITER 5435 NEW BEST:: SOT 984308 SOS 124814 HAS SOPS 124814 HAS SOUS 108503 HAS SOUPS 108503 WITH SCORE 108627.814
AT ITER 5458 NEW BEST:: SOT 984193 SOS 124465 HAS SOPS 124465 HAS SOUS 108476 HAS SOUPS 108476 WITH SCORE 108600.465
AT ITER 5459 NEW BEST:: SOT 984193 SOS 124442 HAS SOPS 124442 HAS SOUS 108453 HAS SOUPS 108453 WITH SCORE 108577.442
AT ITER 5461 NEW BEST:: SOT 984162 SOS 124354 HAS SOPS 124354 HAS SOUS 108412 HAS SOUPS 108412 WITH SCORE 108536.354
AT ITER 5474 NEW BEST:: SOT 984133 SOS 124349 HAS SOPS 124349 HAS SOUS 108407 HAS SOUPS 108407 WITH SCORE 108531.349
AT ITER 5495 NEW BEST:: SOT 984067 SOS 124283 HAS SOPS 124283 HAS SOUS 108341 HAS SOUPS 108341 WITH SCORE 108465.283
AT ITER 5526 NEW BEST:: SOT 984025 SOS 124230 HAS SOPS 124230 HAS SOUS 108288 HAS SOUPS 108288 WITH SCORE 108412.23
AT ITER 5537 NEW BEST:: SOT 984025 SOS 124228 HAS SOPS 124228 HAS SOUS 108286 HAS SOUPS 108286 WITH SCORE 108410.228
AT ITER 5581 NEW BEST:: SOT 984006 SOS 124219 HAS SOPS 124219 HAS SOUS 108277 HAS SOUPS 108277 WITH SCORE 108401.219
AT ITER 5600 NEW BEST:: SOT 984006 SOS 124196 HAS SOPS 124196 HAS SOUS 108254 HAS SOUPS 108254 WITH SCORE 108378.196
AT ITER 5617 NEW BEST:: SOT 983934 SOS 124078 HAS SOPS 124078 HAS SOUS 108182 HAS SOUPS 108182 WITH SCORE 108306.078
AT ITER 5625 NEW BEST:: SOT 983928 SOS 124072 HAS SOPS 124072 HAS SOUS 108176 HAS SOUPS 108176 WITH SCORE 108300.072
AT ITER 5644 NEW BEST:: SOT 983911 SOS 124038 HAS SOPS 124038 HAS SOUS 108142 HAS SOUPS 108142 WITH SCORE 108266.038
AT ITER 5648 NEW BEST:: SOT 983852 SOS 123990 HAS SOPS 123990 HAS SOUS 108094 HAS SOUPS 108094 WITH SCORE 108217.99
AT ITER 5656 NEW BEST:: SOT 983782 SOS 123968 HAS SOPS 123968 HAS SOUS 108072 HAS SOUPS 108072 WITH SCORE 108195.968
AT ITER 5703 NEW BEST:: SOT 983750 SOS 123914 HAS SOPS 123914 HAS SOUS 108018 HAS SOUPS 108018 WITH SCORE 108141.914
AT ITER 5724 NEW BEST:: SOT 983742 SOS 123898 HAS SOPS 123898 HAS SOUS 108010 HAS SOUPS 108010 WITH SCORE 108133.898
AT ITER 5774 NEW BEST:: SOT 983742 SOS 123846 HAS SOPS 123846 HAS SOUS 108009 HAS SOUPS 108009 WITH SCORE 108132.846
AT ITER 5786 NEW BEST:: SOT 983734 SOS 123830 HAS SOPS 123830 HAS SOUS 108001 HAS SOUPS 108001 WITH SCORE 108124.83
AT ITER 5787 NEW BEST:: SOT 983726 SOS 123814 HAS SOPS 123814 HAS SOUS 108001 HAS SOUPS 108001 WITH SCORE 108124.814
AT ITER 5805 NEW BEST:: SOT 983716 SOS 123794 HAS SOPS 123794 HAS SOUS 107971 HAS SOUPS 107971 WITH SCORE 108094.794
AT ITER 5839 NEW BEST:: SOT 983704 SOS 123771 HAS SOPS 123771 HAS SOUS 107936 HAS SOUPS 107936 WITH SCORE 108059.771
AT ITER 5847 NEW BEST:: SOT 983616 SOS 123770 HAS SOPS 123770 HAS SOUS 107935 HAS SOUPS 107935 WITH SCORE 108058.77
AT ITER 5851 NEW BEST:: SOT 983500 SOS 123769 HAS SOPS 123769 HAS SOUS 107934 HAS SOUPS 107934 WITH SCORE 108057.769
AT ITER 5861 NEW BEST:: SOT 983462 SOS 123671 HAS SOPS 123671 HAS SOUS 107836 HAS SOUPS 107836 WITH SCORE 107959.671
AT ITER 5934 NEW BEST:: SOT 983437 SOS 123635 HAS SOPS 123635 HAS SOUS 107800 HAS SOUPS 107800 WITH SCORE 107923.635
AT ITER 5948 NEW BEST:: SOT 983401 SOS 123568 HAS SOPS 123568 HAS SOUS 107733 HAS SOUPS 107733 WITH SCORE 107856.568
AT ITER 5992 NEW BEST:: SOT 983382 SOS 123554 HAS SOPS 123554 HAS SOUS 107719 HAS SOUPS 107719 WITH SCORE 107842.554
AT ITER 6009 NEW BEST:: SOT 983382 SOS 123540 HAS SOPS 123540 HAS SOUS 107719 HAS SOUPS 107719 WITH SCORE 107842.54
AT ITER 6055 NEW BEST:: SOT 983326 SOS 123530 HAS SOPS 123530 HAS SOUS 107653 HAS SOUPS 107653 WITH SCORE 107776.53
AT ITER 6073 NEW BEST:: SOT 983302 SOS 123508 HAS SOPS 123508 HAS SOUS 107631 HAS SOUPS 107631 WITH SCORE 107754.508
AT ITER 6103 NEW BEST:: SOT 983302 SOS 123508 HAS SOPS 123508 HAS SOUS 107620 HAS SOUPS 107620 WITH SCORE 107743.508
AT ITER 6315 NEW BEST:: SOT 983302 SOS 123490 HAS SOPS 123490 HAS SOUS 107620 HAS SOUPS 107620 WITH SCORE 107743.49
AT ITER 6436 NEW BEST:: SOT 983301 SOS 123489 HAS SOPS 123489 HAS SOUS 107619 HAS SOUPS 107619 WITH SCORE 107742.489
AT ITER 6438 NEW BEST:: SOT 983268 SOS 123467 HAS SOPS 123467 HAS SOUS 107597 HAS SOUPS 107597 WITH SCORE 107720.467
AT ITER 6495 NEW BEST:: SOT 983227 SOS 123363 HAS SOPS 123363 HAS SOUS 107493 HAS SOUPS 107493 WITH SCORE 107616.363
AT ITER 6498 NEW BEST:: SOT 983227 SOS 123348 HAS SOPS 123348 HAS SOUS 107478 HAS SOUPS 107478 WITH SCORE 107601.348
AT ITER 6529 NEW BEST:: SOT 983232 SOS 123339 HAS SOPS 123339 HAS SOUS 107469 HAS SOUPS 107469 WITH SCORE 107592.339
AT ITER 6538 NEW BEST:: SOT 983232 SOS 123308 HAS SOPS 123308 HAS SOUS 107469 HAS SOUPS 107469 WITH SCORE 107592.308
AT ITER 6592 NEW BEST:: SOT 983256 SOS 123210 HAS SOPS 123210 HAS SOUS 107445 HAS SOUPS 107445 WITH SCORE 107568.21
AT ITER 6620 NEW BEST:: SOT 983241 SOS 123177 HAS SOPS 123177 HAS SOUS 107412 HAS SOUPS 107412 WITH SCORE 107535.177
AT ITER 6704 NEW BEST:: SOT 983205 SOS 123155 HAS SOPS 123155 HAS SOUS 107390 HAS SOUPS 107390 WITH SCORE 107513.155
AT ITER 6720 NEW BEST:: SOT 983144 SOS 122978 HAS SOPS 122978 HAS SOUS 107268 HAS SOUPS 107268 WITH SCORE 107390.978
AT ITER 6758 NEW BEST:: SOT 983144 SOS 122957 HAS SOPS 122957 HAS SOUS 107247 HAS SOUPS 107247 WITH SCORE 107369.957
AT ITER 6823 NEW BEST:: SOT 983103 SOS 122887 HAS SOPS 122887 HAS SOUS 107177 HAS SOUPS 107177 WITH SCORE 107299.887
AT ITER 6908 NEW BEST:: SOT 983103 SOS 122846 HAS SOPS 122846 HAS SOUS 107177 HAS SOUPS 107177 WITH SCORE 107299.846
AT ITER 6955 NEW BEST:: SOT 983103 SOS 122772 HAS SOPS 122772 HAS SOUS 107103 HAS SOUPS 107103 WITH SCORE 107225.772
AT ITER 6996 NEW BEST:: SOT 983103 SOS 122764 HAS SOPS 122764 HAS SOUS 107095 HAS SOUPS 107095 WITH SCORE 107217.764
AT ITER 6998 NEW BEST:: SOT 983103 SOS 122764 HAS SOPS 122764 HAS SOUS 107089 HAS SOUPS 107089 WITH SCORE 107211.764
AT ITER 7011 NEW BEST:: SOT 983077 SOS 122736 HAS SOPS 122736 HAS SOUS 107073 HAS SOUPS 107073 WITH SCORE 107195.736
AT ITER 7020 NEW BEST:: SOT 983049 SOS 122692 HAS SOPS 122692 HAS SOUS 107056 HAS SOUPS 107056 WITH SCORE 107178.692
AT ITER 7026 NEW BEST:: SOT 983049 SOS 122689 HAS SOPS 122689 HAS SOUS 107053 HAS SOUPS 107053 WITH SCORE 107175.689
AT ITER 7027 NEW BEST:: SOT 983042 SOS 122675 HAS SOPS 122675 HAS SOUS 107039 HAS SOUPS 107039 WITH SCORE 107161.675
AT ITER 7047 NEW BEST:: SOT 983040 SOS 122657 HAS SOPS 122657 HAS SOUS 107021 HAS SOUPS 107021 WITH SCORE 107143.657
AT ITER 7163 NEW BEST:: SOT 983040 SOS 122631 HAS SOPS 122631 HAS SOUS 107015 HAS SOUPS 107015 WITH SCORE 107137.631
AT ITER 7174 NEW BEST:: SOT 983036 SOS 122623 HAS SOPS 122623 HAS SOUS 107007 HAS SOUPS 107007 WITH SCORE 107129.623
AT ITER 7201 NEW BEST:: SOT 983035 SOS 122622 HAS SOPS 122622 HAS SOUS 107006 HAS SOUPS 107006 WITH SCORE 107128.622
AT ITER 7202 NEW BEST:: SOT 983011 SOS 122598 HAS SOPS 122598 HAS SOUS 106958 HAS SOUPS 106958 WITH SCORE 107080.598
AT ITER 7212 NEW BEST:: SOT 982938 SOS 122534 HAS SOPS 122534 HAS SOUS 106894 HAS SOUPS 106894 WITH SCORE 107016.534
AT ITER 7265 NEW BEST:: SOT 982915 SOS 122488 HAS SOPS 122488 HAS SOUS 106825 HAS SOUPS 106825 WITH SCORE 106947.488
AT ITER 7278 NEW BEST:: SOT 982915 SOS 122466 HAS SOPS 122466 HAS SOUS 106803 HAS SOUPS 106803 WITH SCORE 106925.466
AT ITER 7292 NEW BEST:: SOT 982700 SOS 125160 HAS SOPS 125160 HAS SOUS 106767 HAS SOUPS 106767 WITH SCORE 106892.16
AT ITER 7328 NEW BEST:: SOT 982683 SOS 125165 HAS SOPS 125165 HAS SOUS 106743 HAS SOUPS 106743 WITH SCORE 106868.165
AT ITER 7335 NEW BEST:: SOT 982661 SOS 125131 HAS SOPS 125131 HAS SOUS 106720 HAS SOUPS 106720 WITH SCORE 106845.131
AT ITER 7353 NEW BEST:: SOT 982620 SOS 125090 HAS SOPS 125090 HAS SOUS 106679 HAS SOUPS 106679 WITH SCORE 106804.09
AT ITER 7398 NEW BEST:: SOT 982608 SOS 125066 HAS SOPS 125066 HAS SOUS 106655 HAS SOUPS 106655 WITH SCORE 106780.066
AT ITER 7453 NEW BEST:: SOT 982533 SOS 124904 HAS SOPS 124904 HAS SOUS 106568 HAS SOUPS 106568 WITH SCORE 106692.904
AT ITER 7489 NEW BEST:: SOT 982533 SOS 124888 HAS SOPS 124888 HAS SOUS 106568 HAS SOUPS 106568 WITH SCORE 106692.888
AT ITER 7496 NEW BEST:: SOT 982530 SOS 124885 HAS SOPS 124885 HAS SOUS 106565 HAS SOUPS 106565 WITH SCORE 106689.885
AT ITER 7513 NEW BEST:: SOT 982530 SOS 124881 HAS SOPS 124881 HAS SOUS 106561 HAS SOUPS 106561 WITH SCORE 106685.881
AT ITER 7554 NEW BEST:: SOT 982512 SOS 124863 HAS SOPS 124863 HAS SOUS 106543 HAS SOUPS 106543 WITH SCORE 106667.863
AT ITER 7557 NEW BEST:: SOT 982467 SOS 124863 HAS SOPS 124863 HAS SOUS 106531 HAS SOUPS 106531 WITH SCORE 106655.863
AT ITER 7605 NEW BEST:: SOT 982455 SOS 124827 HAS SOPS 124827 HAS SOUS 106495 HAS SOUPS 106495 WITH SCORE 106619.827
AT ITER 7644 NEW BEST:: SOT 982440 SOS 124848 HAS SOPS 124848 HAS SOUS 106453 HAS SOUPS 106453 WITH SCORE 106577.848
AT ITER 7736 NEW BEST:: SOT 982440 SOS 124787 HAS SOPS 124787 HAS SOUS 106392 HAS SOUPS 106392 WITH SCORE 106516.787
AT ITER 7811 NEW BEST:: SOT 982440 SOS 124785 HAS SOPS 124785 HAS SOUS 106392 HAS SOUPS 106392 WITH SCORE 106516.785
AT ITER 7843 NEW BEST:: SOT 982432 SOS 124763 HAS SOPS 124763 HAS SOUS 106370 HAS SOUPS 106370 WITH SCORE 106494.763
AT ITER 7865 NEW BEST:: SOT 982432 SOS 124758 HAS SOPS 124758 HAS SOUS 106365 HAS SOUPS 106365 WITH SCORE 106489.758
AT ITER 7880 NEW BEST:: SOT 982407 SOS 124724 HAS SOPS 124724 HAS SOUS 106331 HAS SOUPS 106331 WITH SCORE 106455.724
AT ITER 7929 NEW BEST:: SOT 982334 SOS 124563 HAS SOPS 124563 HAS SOUS 106273 HAS SOUPS 106273 WITH SCORE 106397.563
AT ITER 7945 NEW BEST:: SOT 982310 SOS 124516 HAS SOPS 124516 HAS SOUS 106226 HAS SOUPS 106226 WITH SCORE 106350.516
AT ITER 8071 NEW BEST:: SOT 982308 SOS 124525 HAS SOPS 124525 HAS SOUS 106211 HAS SOUPS 106211 WITH SCORE 106335.525
AT ITER 8137 NEW BEST:: SOT 982308 SOS 124455 HAS SOPS 124455 HAS SOUS 106176 HAS SOUPS 106176 WITH SCORE 106300.455
AT ITER 8160 NEW BEST:: SOT 982297 SOS 124426 HAS SOPS 124426 HAS SOUS 106165 HAS SOUPS 106165 WITH SCORE 106289.426
AT ITER 8218 NEW BEST:: SOT 982173 SOS 123018 HAS SOPS 123018 HAS SOUS 105997 HAS SOUPS 105997 WITH SCORE 106120.018
AT ITER 8300 NEW BEST:: SOT 982140 SOS 122952 HAS SOPS 122952 HAS SOUS 105931 HAS SOUPS 105931 WITH SCORE 106053.952
AT ITER 8361 NEW BEST:: SOT 982079 SOS 122852 HAS SOPS 122852 HAS SOUS 105837 HAS SOUPS 105837 WITH SCORE 105959.852
AT ITER 8520 NEW BEST:: SOT 982068 SOS 122830 HAS SOPS 122830 HAS SOUS 105815 HAS SOUPS 105815 WITH SCORE 105937.83
AT ITER 8543 NEW BEST:: SOT 982068 SOS 122948 HAS SOPS 122948 HAS SOUS 105812 HAS SOUPS 105812 WITH SCORE 105934.948
AT ITER 8601 NEW BEST:: SOT 982046 SOS 122893 HAS SOPS 122893 HAS SOUS 105757 HAS SOUPS 105757 WITH SCORE 105879.893
AT ITER 8726 NEW BEST:: SOT 982044 SOS 122875 HAS SOPS 122875 HAS SOUS 105739 HAS SOUPS 105739 WITH SCORE 105861.875
AT ITER 8830 NEW BEST:: SOT 982014 SOS 122845 HAS SOPS 122845 HAS SOUS 105709 HAS SOUPS 105709 WITH SCORE 105831.845
AT ITER 8852 NEW BEST:: SOT 982034 SOS 122839 HAS SOPS 122839 HAS SOUS 105675 HAS SOUPS 105675 WITH SCORE 105797.839
AT ITER 8997 NEW BEST:: SOT 982009 SOS 122789 HAS SOPS 122789 HAS SOUS 105625 HAS SOUPS 105625 WITH SCORE 105747.789
AT ITER 9042 NEW BEST:: SOT 982011 SOS 122789 HAS SOPS 122789 HAS SOUS 105623 HAS SOUPS 105623 WITH SCORE 105745.789
AT ITER 9073 NEW BEST:: SOT 981947 SOS 122663 HAS SOPS 122663 HAS SOUS 105559 HAS SOUPS 105559 WITH SCORE 105681.663
AT ITER 9104 NEW BEST:: SOT 981947 SOS 122646 HAS SOPS 122646 HAS SOUS 105542 HAS SOUPS 105542 WITH SCORE 105664.646
AT ITER 9120 NEW BEST:: SOT 981919 SOS 122624 HAS SOPS 122624 HAS SOUS 105520 HAS SOUPS 105520 WITH SCORE 105642.624
AT ITER 9142 NEW BEST:: SOT 981931 SOS 122622 HAS SOPS 122622 HAS SOUS 105518 HAS SOUPS 105518 WITH SCORE 105640.622
AT ITER 9236 NEW BEST:: SOT 981954 SOS 122612 HAS SOPS 122612 HAS SOUS 105508 HAS SOUPS 105508 WITH SCORE 105630.612
AT ITER 9239 NEW BEST:: SOT 981954 SOS 122604 HAS SOPS 122604 HAS SOUS 105504 HAS SOUPS 105504 WITH SCORE 105626.604
AT ITER 9258 NEW BEST:: SOT 981926 SOS 122555 HAS SOPS 122555 HAS SOUS 105462 HAS SOUPS 105462 WITH SCORE 105584.555
AT ITER 9371 NEW BEST:: SOT 981906 SOS 122505 HAS SOPS 122505 HAS SOUS 105412 HAS SOUPS 105412 WITH SCORE 105534.505
AT ITER 9382 NEW BEST:: SOT 981849 SOS 122483 HAS SOPS 122483 HAS SOUS 105389 HAS SOUPS 105389 WITH SCORE 105511.483
AT ITER 9387 NEW BEST:: SOT 981844 SOS 122473 HAS SOPS 122473 HAS SOUS 105379 HAS SOUPS 105379 WITH SCORE 105501.473
AT ITER 9406 NEW BEST:: SOT 981782 SOS 122409 HAS SOPS 122409 HAS SOUS 105315 HAS SOUPS 105315 WITH SCORE 105437.409
AT ITER 9458 NEW BEST:: SOT 981722 SOS 122274 HAS SOPS 122274 HAS SOUS 105173 HAS SOUPS 105173 WITH SCORE 105295.274
AT ITER 9536 NEW BEST:: SOT 981705 SOS 122235 HAS SOPS 122235 HAS SOUS 105117 HAS SOUPS 105117 WITH SCORE 105239.235
AT ITER 9690 NEW BEST:: SOT 981703 SOS 122203 HAS SOPS 122203 HAS SOUS 105113 HAS SOUPS 105113 WITH SCORE 105235.203
AT ITER 9731 NEW BEST:: SOT 981682 SOS 122150 HAS SOPS 122150 HAS SOUS 105060 HAS SOUPS 105060 WITH SCORE 105182.15
AT ITER 9792 NEW BEST:: SOT 981659 SOS 122106 HAS SOPS 122106 HAS SOUS 105047 HAS SOUPS 105047 WITH SCORE 105169.106
AT ITER 9811 NEW BEST:: SOT 981653 SOS 122098 HAS SOPS 122098 HAS SOUS 105039 HAS SOUPS 105039 WITH SCORE 105161.098
AT ITER 9844 NEW BEST:: SOT 981636 SOS 122097 HAS SOPS 122097 HAS SOUS 105038 HAS SOUPS 105038 WITH SCORE 105160.097
AT ITER 9892 NEW BEST:: SOT 981596 SOS 121974 HAS SOPS 121974 HAS SOUS 104915 HAS SOUPS 104915 WITH SCORE 105036.974
AT ITER 9944 NEW BEST:: SOT 981543 SOS 121921 HAS SOPS 121921 HAS SOUS 104862 HAS SOUPS 104862 WITH SCORE 104983.921
AT ITER 9987 NEW BEST:: SOT 981501 SOS 121929 HAS SOPS 121929 HAS SOUS 104847 HAS SOUPS 104847 WITH SCORE 104968.929
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12935556 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16133628 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="FamilyReunion-COL-L00010M0001C001P001G001"
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 FamilyReunion-COL-L00010M0001C001P001G001, 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 r163-tall-167838847600304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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