Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961355300800.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is QuasiCertifProtocol-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355300800
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 592K
-rw-r--r-- 1 mcc users 11K Apr 12 06:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Apr 12 06:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Apr 11 07:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 24K Apr 11 07:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 10 13:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 51K Apr 10 13:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Apr 9 20:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 9 20:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 290K Mar 24 05:37 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 1589649837103

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 550 places, 176 transitions, 1287 arcs.
AT ITER 0 NEW BEST:: SOT 68888 SOS 25624 HAS SOPS 25624 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19809.624
AT ITER 40 NEW BEST:: SOT 68888 SOS 25623 HAS SOPS 25623 HAS SOUS 19783 HAS SOUPS 19783 WITH SCORE 19808.623
AT ITER 107 NEW BEST:: SOT 68888 SOS 25623 HAS SOPS 25623 HAS SOUS 19772 HAS SOUPS 19772 WITH SCORE 19797.623
AT ITER 144 NEW BEST:: SOT 68878 SOS 25613 HAS SOPS 25613 HAS SOUS 19762 HAS SOUPS 19762 WITH SCORE 19787.613
AT ITER 166 NEW BEST:: SOT 68878 SOS 25453 HAS SOPS 25453 HAS SOUS 19682 HAS SOUPS 19682 WITH SCORE 19707.453
AT ITER 188 NEW BEST:: SOT 68498 SOS 25343 HAS SOPS 25343 HAS SOUS 19550 HAS SOUPS 19550 WITH SCORE 19575.343
AT ITER 205 NEW BEST:: SOT 68498 SOS 25295 HAS SOPS 25295 HAS SOUS 19526 HAS SOUPS 19526 WITH SCORE 19551.295
AT ITER 207 NEW BEST:: SOT 68487 SOS 25284 HAS SOPS 25284 HAS SOUS 19515 HAS SOUPS 19515 WITH SCORE 19540.284
AT ITER 220 NEW BEST:: SOT 68476 SOS 25273 HAS SOPS 25273 HAS SOUS 19504 HAS SOUPS 19504 WITH SCORE 19529.273
AT ITER 233 NEW BEST:: SOT 68510 SOS 25251 HAS SOPS 25251 HAS SOUS 19482 HAS SOUPS 19482 WITH SCORE 19507.251
AT ITER 234 NEW BEST:: SOT 68579 SOS 25229 HAS SOPS 25229 HAS SOUS 19460 HAS SOUPS 19460 WITH SCORE 19485.229
AT ITER 247 NEW BEST:: SOT 68645 SOS 25218 HAS SOPS 25218 HAS SOUS 19449 HAS SOUPS 19449 WITH SCORE 19474.218
AT ITER 304 NEW BEST:: SOT 68645 SOS 25168 HAS SOPS 25168 HAS SOUS 19445 HAS SOUPS 19445 WITH SCORE 19470.168
AT ITER 318 NEW BEST:: SOT 68722 SOS 25155 HAS SOPS 25155 HAS SOUS 19432 HAS SOUPS 19432 WITH SCORE 19457.155
AT ITER 437 NEW BEST:: SOT 68722 SOS 25150 HAS SOPS 25150 HAS SOUS 19432 HAS SOUPS 19432 WITH SCORE 19457.15
AT ITER 443 NEW BEST:: SOT 68921 SOS 25244 HAS SOPS 25244 HAS SOUS 19421 HAS SOUPS 19421 WITH SCORE 19446.244
AT ITER 450 NEW BEST:: SOT 68921 SOS 25242 HAS SOPS 25242 HAS SOUS 19419 HAS SOUPS 19419 WITH SCORE 19444.242
AT ITER 503 NEW BEST:: SOT 68921 SOS 25241 HAS SOPS 25241 HAS SOUS 19418 HAS SOUPS 19418 WITH SCORE 19443.241
AT ITER 519 NEW BEST:: SOT 68921 SOS 25045 HAS SOPS 25045 HAS SOUS 19320 HAS SOUPS 19320 WITH SCORE 19345.045
AT ITER 549 NEW BEST:: SOT 68921 SOS 25031 HAS SOPS 25031 HAS SOUS 19313 HAS SOUPS 19313 WITH SCORE 19338.031
AT ITER 558 NEW BEST:: SOT 68915 SOS 25025 HAS SOPS 25025 HAS SOUS 19307 HAS SOUPS 19307 WITH SCORE 19332.025
AT ITER 610 NEW BEST:: SOT 68985 SOS 25019 HAS SOPS 25019 HAS SOUS 19301 HAS SOUPS 19301 WITH SCORE 19326.019
AT ITER 634 NEW BEST:: SOT 69044 SOS 24960 HAS SOPS 24960 HAS SOUS 19242 HAS SOUPS 19242 WITH SCORE 19266.96
AT ITER 653 NEW BEST:: SOT 69044 SOS 24959 HAS SOPS 24959 HAS SOUS 19241 HAS SOUPS 19241 WITH SCORE 19265.959
AT ITER 666 NEW BEST:: SOT 69214 SOS 24826 HAS SOPS 24826 HAS SOUS 19108 HAS SOUPS 19108 WITH SCORE 19132.826
AT ITER 815 NEW BEST:: SOT 69203 SOS 24815 HAS SOPS 24815 HAS SOUS 19097 HAS SOUPS 19097 WITH SCORE 19121.815
AT ITER 821 NEW BEST:: SOT 69440 SOS 24928 HAS SOPS 24928 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19110.928
AT ITER 869 NEW BEST:: SOT 69424 SOS 24920 HAS SOPS 24920 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19110.92
AT ITER 880 NEW BEST:: SOT 69424 SOS 24901 HAS SOPS 24901 HAS SOUS 19067 HAS SOUPS 19067 WITH SCORE 19091.901
AT ITER 884 NEW BEST:: SOT 69424 SOS 24894 HAS SOPS 24894 HAS SOUS 19060 HAS SOUPS 19060 WITH SCORE 19084.894
AT ITER 902 NEW BEST:: SOT 69424 SOS 24764 HAS SOPS 24764 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19019.764
AT ITER 910 NEW BEST:: SOT 69419 SOS 24759 HAS SOPS 24759 HAS SOUS 18990 HAS SOUPS 18990 WITH SCORE 19014.759
AT ITER 911 NEW BEST:: SOT 69419 SOS 24595 HAS SOPS 24595 HAS SOUS 18908 HAS SOUPS 18908 WITH SCORE 18932.595
AT ITER 917 NEW BEST:: SOT 69419 SOS 24593 HAS SOPS 24593 HAS SOUS 18907 HAS SOUPS 18907 WITH SCORE 18931.593
AT ITER 922 NEW BEST:: SOT 69419 SOS 24409 HAS SOPS 24409 HAS SOUS 18836 HAS SOUPS 18836 WITH SCORE 18860.409
AT ITER 993 NEW BEST:: SOT 69413 SOS 24403 HAS SOPS 24403 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18854.403
AT ITER 1027 NEW BEST:: SOT 69402 SOS 24392 HAS SOPS 24392 HAS SOUS 18819 HAS SOUPS 18819 WITH SCORE 18843.392
AT ITER 1028 NEW BEST:: SOT 69402 SOS 24385 HAS SOPS 24385 HAS SOUS 18812 HAS SOUPS 18812 WITH SCORE 18836.385
AT ITER 1035 NEW BEST:: SOT 68819 SOS 26182 HAS SOPS 26182 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18580.182
AT ITER 1085 NEW BEST:: SOT 68819 SOS 26185 HAS SOPS 26185 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18575.185
AT ITER 1099 NEW BEST:: SOT 68819 SOS 26175 HAS SOPS 26175 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18565.175
AT ITER 1140 NEW BEST:: SOT 68868 SOS 26136 HAS SOPS 26136 HAS SOUS 18521 HAS SOUPS 18521 WITH SCORE 18547.136
AT ITER 1151 NEW BEST:: SOT 68984 SOS 26280 HAS SOPS 26280 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18524.28
AT ITER 1235 NEW BEST:: SOT 68984 SOS 26279 HAS SOPS 26279 HAS SOUS 18497 HAS SOUPS 18497 WITH SCORE 18523.279
AT ITER 1244 NEW BEST:: SOT 68984 SOS 26237 HAS SOPS 26237 HAS SOUS 18455 HAS SOUPS 18455 WITH SCORE 18481.237
AT ITER 1286 NEW BEST:: SOT 68984 SOS 26124 HAS SOPS 26124 HAS SOUS 18431 HAS SOUPS 18431 WITH SCORE 18457.124
AT ITER 1305 NEW BEST:: SOT 68984 SOS 26084 HAS SOPS 26084 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18437.084
AT ITER 1306 NEW BEST:: SOT 68983 SOS 26083 HAS SOPS 26083 HAS SOUS 18410 HAS SOUPS 18410 WITH SCORE 18436.083
AT ITER 1322 NEW BEST:: SOT 67989 SOS 27109 HAS SOPS 27109 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17703.109
AT ITER 1335 NEW BEST:: SOT 67984 SOS 27104 HAS SOPS 27104 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17698.104
AT ITER 1404 NEW BEST:: SOT 67864 SOS 26984 HAS SOPS 26984 HAS SOUS 17616 HAS SOUPS 17616 WITH SCORE 17642.984
AT ITER 1415 NEW BEST:: SOT 67864 SOS 26930 HAS SOPS 26930 HAS SOUS 17562 HAS SOUPS 17562 WITH SCORE 17588.93
AT ITER 1425 NEW BEST:: SOT 67950 SOS 26962 HAS SOPS 26962 HAS SOUS 17545 HAS SOUPS 17545 WITH SCORE 17571.962
AT ITER 1518 NEW BEST:: SOT 67869 SOS 26912 HAS SOPS 26912 HAS SOUS 17495 HAS SOUPS 17495 WITH SCORE 17521.912
AT ITER 1541 NEW BEST:: SOT 68023 SOS 26898 HAS SOPS 26898 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17453.898
AT ITER 1544 NEW BEST:: SOT 68150 SOS 26930 HAS SOPS 26930 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17420.93
AT ITER 1647 NEW BEST:: SOT 66602 SOS 41356 HAS SOPS 41356 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16230.356
AT ITER 1653 NEW BEST:: SOT 66795 SOS 41444 HAS SOPS 41444 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16213.444
AT ITER 1693 NEW BEST:: SOT 66774 SOS 41440 HAS SOPS 41440 HAS SOUS 16168 HAS SOUPS 16168 WITH SCORE 16209.44
AT ITER 1723 NEW BEST:: SOT 66773 SOS 41439 HAS SOPS 41439 HAS SOUS 16167 HAS SOUPS 16167 WITH SCORE 16208.439
AT ITER 1735 NEW BEST:: SOT 66762 SOS 41428 HAS SOPS 41428 HAS SOUS 16167 HAS SOUPS 16167 WITH SCORE 16208.428
AT ITER 1745 NEW BEST:: SOT 66889 SOS 41423 HAS SOPS 41423 HAS SOUS 15976 HAS SOUPS 15976 WITH SCORE 16017.423
AT ITER 1868 NEW BEST:: SOT 66889 SOS 41419 HAS SOPS 41419 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 16013.419
AT ITER 1891 NEW BEST:: SOT 66711 SOS 41330 HAS SOPS 41330 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 16013.33
AT ITER 1929 NEW BEST:: SOT 66711 SOS 41319 HAS SOPS 41319 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 16002.319
AT ITER 1938 NEW BEST:: SOT 66710 SOS 41318 HAS SOPS 41318 HAS SOUS 15960 HAS SOUPS 15960 WITH SCORE 16001.318
AT ITER 2066 NEW BEST:: SOT 66712 SOS 41318 HAS SOPS 41318 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15999.318
AT ITER 2119 NEW BEST:: SOT 66500 SOS 41106 HAS SOPS 41106 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15903.106
AT ITER 2129 NEW BEST:: SOT 66500 SOS 41104 HAS SOPS 41104 HAS SOUS 15860 HAS SOUPS 15860 WITH SCORE 15901.104
AT ITER 2135 NEW BEST:: SOT 66500 SOS 41100 HAS SOPS 41100 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15897.1
AT ITER 2279 NEW BEST:: SOT 66505 SOS 41100 HAS SOPS 41100 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15892.1
AT ITER 2309 NEW BEST:: SOT 66459 SOS 41077 HAS SOPS 41077 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15892.077
AT ITER 2310 NEW BEST:: SOT 66355 SOS 41025 HAS SOPS 41025 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15892.025
AT ITER 2333 NEW BEST:: SOT 66295 SOS 40995 HAS SOPS 40995 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15891.995
AT ITER 2334 NEW BEST:: SOT 66295 SOS 40955 HAS SOPS 40955 HAS SOUS 15771 HAS SOUPS 15771 WITH SCORE 15811.955
AT ITER 2370 NEW BEST:: SOT 66423 SOS 40948 HAS SOPS 40948 HAS SOUS 15647 HAS SOUPS 15647 WITH SCORE 15687.948
AT ITER 2444 NEW BEST:: SOT 66423 SOS 40939 HAS SOPS 40939 HAS SOUS 15638 HAS SOUPS 15638 WITH SCORE 15678.939
AT ITER 2516 NEW BEST:: SOT 66343 SOS 40899 HAS SOPS 40899 HAS SOUS 15638 HAS SOUPS 15638 WITH SCORE 15678.899
AT ITER 2589 NEW BEST:: SOT 66105 SOS 40661 HAS SOPS 40661 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15440.661
AT ITER 2596 NEW BEST:: SOT 66062 SOS 40614 HAS SOPS 40614 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15419.614
AT ITER 2713 NEW BEST:: SOT 66062 SOS 40613 HAS SOPS 40613 HAS SOUS 15378 HAS SOUPS 15378 WITH SCORE 15418.613
AT ITER 2717 NEW BEST:: SOT 65881 SOS 40431 HAS SOPS 40431 HAS SOUS 15306 HAS SOUPS 15306 WITH SCORE 15346.431
AT ITER 2729 NEW BEST:: SOT 65876 SOS 40426 HAS SOPS 40426 HAS SOUS 15306 HAS SOUPS 15306 WITH SCORE 15346.426
AT ITER 2846 NEW BEST:: SOT 65876 SOS 40419 HAS SOPS 40419 HAS SOUS 15299 HAS SOUPS 15299 WITH SCORE 15339.419
AT ITER 2889 NEW BEST:: SOT 65899 SOS 40398 HAS SOPS 40398 HAS SOUS 15278 HAS SOUPS 15278 WITH SCORE 15318.398
AT ITER 2903 NEW BEST:: SOT 65899 SOS 40377 HAS SOPS 40377 HAS SOUS 15194 HAS SOUPS 15194 WITH SCORE 15234.377
AT ITER 2907 NEW BEST:: SOT 65851 SOS 40353 HAS SOPS 40353 HAS SOUS 15194 HAS SOUPS 15194 WITH SCORE 15234.353
AT ITER 2927 NEW BEST:: SOT 65848 SOS 40350 HAS SOPS 40350 HAS SOUS 15191 HAS SOUPS 15191 WITH SCORE 15231.35
AT ITER 2936 NEW BEST:: SOT 65848 SOS 40323 HAS SOPS 40323 HAS SOUS 15164 HAS SOUPS 15164 WITH SCORE 15204.323
AT ITER 2951 NEW BEST:: SOT 65768 SOS 40259 HAS SOPS 40259 HAS SOUS 15140 HAS SOUPS 15140 WITH SCORE 15180.259
AT ITER 2968 NEW BEST:: SOT 65741 SOS 40232 HAS SOPS 40232 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15153.232
AT ITER 2981 NEW BEST:: SOT 65747 SOS 40232 HAS SOPS 40232 HAS SOUS 15107 HAS SOUPS 15107 WITH SCORE 15147.232
AT ITER 3022 NEW BEST:: SOT 65747 SOS 40229 HAS SOPS 40229 HAS SOUS 15104 HAS SOUPS 15104 WITH SCORE 15144.229
AT ITER 3045 NEW BEST:: SOT 65751 SOS 40229 HAS SOPS 40229 HAS SOUS 15100 HAS SOUPS 15100 WITH SCORE 15140.229
AT ITER 3062 NEW BEST:: SOT 65743 SOS 40221 HAS SOPS 40221 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15136.221
AT ITER 3136 NEW BEST:: SOT 65682 SOS 40160 HAS SOPS 40160 HAS SOUS 15035 HAS SOUPS 15035 WITH SCORE 15075.16
AT ITER 3143 NEW BEST:: SOT 65682 SOS 40159 HAS SOPS 40159 HAS SOUS 15034 HAS SOUPS 15034 WITH SCORE 15074.159
AT ITER 3219 NEW BEST:: SOT 65614 SOS 40099 HAS SOPS 40099 HAS SOUS 15017 HAS SOUPS 15017 WITH SCORE 15057.099
AT ITER 3223 NEW BEST:: SOT 65603 SOS 40088 HAS SOPS 40088 HAS SOUS 15017 HAS SOUPS 15017 WITH SCORE 15057.088
AT ITER 3230 NEW BEST:: SOT 65601 SOS 40086 HAS SOPS 40086 HAS SOUS 15015 HAS SOUPS 15015 WITH SCORE 15055.086
AT ITER 3261 NEW BEST:: SOT 65597 SOS 40082 HAS SOPS 40082 HAS SOUS 15011 HAS SOUPS 15011 WITH SCORE 15051.082
AT ITER 3269 NEW BEST:: SOT 65760 SOS 40189 HAS SOPS 40189 HAS SOUS 14985 HAS SOUPS 14985 WITH SCORE 15025.189
AT ITER 3279 NEW BEST:: SOT 65760 SOS 40186 HAS SOPS 40186 HAS SOUS 14982 HAS SOUPS 14982 WITH SCORE 15022.186
AT ITER 3304 NEW BEST:: SOT 65759 SOS 40185 HAS SOPS 40185 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 15021.185
AT ITER 3347 NEW BEST:: SOT 65821 SOS 40201 HAS SOPS 40201 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14991.201
AT ITER 3407 NEW BEST:: SOT 65733 SOS 40128 HAS SOPS 40128 HAS SOUS 14931 HAS SOUPS 14931 WITH SCORE 14971.128
AT ITER 3421 NEW BEST:: SOT 65733 SOS 37467 HAS SOPS 37467 HAS SOUS 14902 HAS SOUPS 14902 WITH SCORE 14939.467
AT ITER 3436 NEW BEST:: SOT 65733 SOS 37450 HAS SOPS 37450 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14922.45
AT ITER 3469 NEW BEST:: SOT 65723 SOS 37440 HAS SOPS 37440 HAS SOUS 14875 HAS SOUPS 14875 WITH SCORE 14912.44
AT ITER 3557 NEW BEST:: SOT 65734 SOS 37451 HAS SOPS 37451 HAS SOUS 14874 HAS SOUPS 14874 WITH SCORE 14911.451
AT ITER 3584 NEW BEST:: SOT 65948 SOS 37549 HAS SOPS 37549 HAS SOUS 14856 HAS SOUPS 14856 WITH SCORE 14893.549
AT ITER 3631 NEW BEST:: SOT 65872 SOS 37511 HAS SOPS 37511 HAS SOUS 14856 HAS SOUPS 14856 WITH SCORE 14893.511
AT ITER 3635 NEW BEST:: SOT 65861 SOS 37500 HAS SOPS 37500 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14882.5
AT ITER 3640 NEW BEST:: SOT 65856 SOS 37495 HAS SOPS 37495 HAS SOUS 14840 HAS SOUPS 14840 WITH SCORE 14877.495
AT ITER 3656 NEW BEST:: SOT 65862 SOS 37495 HAS SOPS 37495 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14871.495
AT ITER 3722 NEW BEST:: SOT 65860 SOS 37493 HAS SOPS 37493 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14869.493
AT ITER 3751 NEW BEST:: SOT 65921 SOS 37516 HAS SOPS 37516 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14854.516
AT ITER 3798 NEW BEST:: SOT 65907 SOS 37509 HAS SOPS 37509 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14854.509
AT ITER 3840 NEW BEST:: SOT 65827 SOS 37440 HAS SOPS 37440 HAS SOUS 14788 HAS SOUPS 14788 WITH SCORE 14825.44
AT ITER 3873 NEW BEST:: SOT 65825 SOS 37438 HAS SOPS 37438 HAS SOUS 14786 HAS SOUPS 14786 WITH SCORE 14823.438
AT ITER 3908 NEW BEST:: SOT 65701 SOS 37314 HAS SOPS 37314 HAS SOUS 14724 HAS SOUPS 14724 WITH SCORE 14761.314
AT ITER 3955 NEW BEST:: SOT 65701 SOS 37311 HAS SOPS 37311 HAS SOUS 14721 HAS SOUPS 14721 WITH SCORE 14758.311
AT ITER 3999 NEW BEST:: SOT 65692 SOS 37302 HAS SOPS 37302 HAS SOUS 14712 HAS SOUPS 14712 WITH SCORE 14749.302
AT ITER 4031 NEW BEST:: SOT 65765 SOS 37360 HAS SOPS 37360 HAS SOUS 14708 HAS SOUPS 14708 WITH SCORE 14745.36
AT ITER 4065 NEW BEST:: SOT 65765 SOS 37308 HAS SOPS 37308 HAS SOUS 14656 HAS SOUPS 14656 WITH SCORE 14693.308
AT ITER 4111 NEW BEST:: SOT 65765 SOS 37302 HAS SOPS 37302 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14687.302
AT ITER 4136 NEW BEST:: SOT 65719 SOS 37256 HAS SOPS 37256 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14664.256
AT ITER 4174 NEW BEST:: SOT 65687 SOS 37222 HAS SOPS 37222 HAS SOUS 14609 HAS SOUPS 14609 WITH SCORE 14646.222
AT ITER 4197 NEW BEST:: SOT 65687 SOS 37195 HAS SOPS 37195 HAS SOUS 14582 HAS SOUPS 14582 WITH SCORE 14619.195
AT ITER 4268 NEW BEST:: SOT 65687 SOS 37177 HAS SOPS 37177 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14601.177
AT ITER 4269 NEW BEST:: SOT 65675 SOS 37171 HAS SOPS 37171 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14601.171
AT ITER 4312 NEW BEST:: SOT 65529 SOS 37058 HAS SOPS 37058 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14582.058
AT ITER 4321 NEW BEST:: SOT 65529 SOS 37052 HAS SOPS 37052 HAS SOUS 14539 HAS SOUPS 14539 WITH SCORE 14576.052
AT ITER 4362 NEW BEST:: SOT 65529 SOS 37027 HAS SOPS 37027 HAS SOUS 14514 HAS SOUPS 14514 WITH SCORE 14551.027
AT ITER 4446 NEW BEST:: SOT 65526 SOS 37024 HAS SOPS 37024 HAS SOUS 14514 HAS SOUPS 14514 WITH SCORE 14551.024
AT ITER 4566 NEW BEST:: SOT 65515 SOS 37013 HAS SOPS 37013 HAS SOUS 14503 HAS SOUPS 14503 WITH SCORE 14540.013
AT ITER 4615 NEW BEST:: SOT 65395 SOS 36878 HAS SOPS 36878 HAS SOUS 14428 HAS SOUPS 14428 WITH SCORE 14464.878
AT ITER 4623 NEW BEST:: SOT 65395 SOS 36877 HAS SOPS 36877 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14463.877
AT ITER 4668 NEW BEST:: SOT 65395 SOS 36875 HAS SOPS 36875 HAS SOUS 14425 HAS SOUPS 14425 WITH SCORE 14461.875
AT ITER 4740 NEW BEST:: SOT 65450 SOS 36902 HAS SOPS 36902 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14460.902
AT ITER 4759 NEW BEST:: SOT 65439 SOS 36891 HAS SOPS 36891 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14449.891
AT ITER 4778 NEW BEST:: SOT 65439 SOS 36890 HAS SOPS 36890 HAS SOUS 14412 HAS SOUPS 14412 WITH SCORE 14448.89
AT ITER 4788 NEW BEST:: SOT 65436 SOS 36887 HAS SOPS 36887 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14445.887
AT ITER 4809 NEW BEST:: SOT 65433 SOS 36884 HAS SOPS 36884 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14442.884
AT ITER 4828 NEW BEST:: SOT 65433 SOS 36883 HAS SOPS 36883 HAS SOUS 14405 HAS SOUPS 14405 WITH SCORE 14441.883
AT ITER 4964 NEW BEST:: SOT 65433 SOS 36882 HAS SOPS 36882 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14440.882
AT ITER 4996 NEW BEST:: SOT 65431 SOS 36880 HAS SOPS 36880 HAS SOUS 14402 HAS SOUPS 14402 WITH SCORE 14438.88
AT ITER 5001 NEW BEST:: SOT 65421 SOS 36869 HAS SOPS 36869 HAS SOUS 14392 HAS SOUPS 14392 WITH SCORE 14428.869
AT ITER 5022 NEW BEST:: SOT 65410 SOS 36858 HAS SOPS 36858 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14417.858
AT ITER 5122 NEW BEST:: SOT 65410 SOS 36858 HAS SOPS 36858 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14416.858
AT ITER 5136 NEW BEST:: SOT 65410 SOS 36857 HAS SOPS 36857 HAS SOUS 14379 HAS SOUPS 14379 WITH SCORE 14415.857
AT ITER 5183 NEW BEST:: SOT 65443 SOS 36858 HAS SOPS 36858 HAS SOUS 14378 HAS SOUPS 14378 WITH SCORE 14414.858
AT ITER 5188 NEW BEST:: SOT 65353 SOS 36813 HAS SOPS 36813 HAS SOUS 14378 HAS SOUPS 14378 WITH SCORE 14414.813
AT ITER 5190 NEW BEST:: SOT 65353 SOS 36802 HAS SOPS 36802 HAS SOUS 14367 HAS SOUPS 14367 WITH SCORE 14403.802
AT ITER 5193 NEW BEST:: SOT 65349 SOS 36798 HAS SOPS 36798 HAS SOUS 14363 HAS SOUPS 14363 WITH SCORE 14399.798
AT ITER 5222 NEW BEST:: SOT 65338 SOS 36787 HAS SOPS 36787 HAS SOUS 14352 HAS SOUPS 14352 WITH SCORE 14388.787
AT ITER 5233 NEW BEST:: SOT 65340 SOS 36787 HAS SOPS 36787 HAS SOUS 14350 HAS SOUPS 14350 WITH SCORE 14386.787
AT ITER 5252 NEW BEST:: SOT 65289 SOS 36736 HAS SOPS 36736 HAS SOUS 14350 HAS SOUPS 14350 WITH SCORE 14386.736
AT ITER 5287 NEW BEST:: SOT 65289 SOS 36735 HAS SOPS 36735 HAS SOUS 14349 HAS SOUPS 14349 WITH SCORE 14385.735
AT ITER 5303 NEW BEST:: SOT 65300 SOS 30416 HAS SOPS 30416 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14284.416
AT ITER 5313 NEW BEST:: SOT 65281 SOS 30397 HAS SOPS 30397 HAS SOUS 14235 HAS SOUPS 14235 WITH SCORE 14265.397
AT ITER 5350 NEW BEST:: SOT 65277 SOS 30393 HAS SOPS 30393 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14261.393
AT ITER 5360 NEW BEST:: SOT 65277 SOS 30392 HAS SOPS 30392 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14260.392
AT ITER 5437 NEW BEST:: SOT 65466 SOS 30485 HAS SOPS 30485 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14257.485
AT ITER 5578 NEW BEST:: SOT 65476 SOS 30489 HAS SOPS 30489 HAS SOUS 14221 HAS SOUPS 14221 WITH SCORE 14251.489
AT ITER 5660 NEW BEST:: SOT 65471 SOS 30484 HAS SOPS 30484 HAS SOUS 14216 HAS SOUPS 14216 WITH SCORE 14246.484
AT ITER 5661 NEW BEST:: SOT 65471 SOS 30483 HAS SOPS 30483 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14245.483
AT ITER 5778 NEW BEST:: SOT 65467 SOS 30479 HAS SOPS 30479 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14241.479
AT ITER 5978 NEW BEST:: SOT 65463 SOS 30475 HAS SOPS 30475 HAS SOUS 14207 HAS SOUPS 14207 WITH SCORE 14237.475
AT ITER 5979 NEW BEST:: SOT 65491 SOS 30487 HAS SOPS 30487 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14221.487
AT ITER 5983 NEW BEST:: SOT 65490 SOS 30486 HAS SOPS 30486 HAS SOUS 14190 HAS SOUPS 14190 WITH SCORE 14220.486
AT ITER 6077 NEW BEST:: SOT 65448 SOS 30465 HAS SOPS 30465 HAS SOUS 14190 HAS SOUPS 14190 WITH SCORE 14220.465
AT ITER 6091 NEW BEST:: SOT 65418 SOS 30450 HAS SOPS 30450 HAS SOUS 14190 HAS SOUPS 14190 WITH SCORE 14220.45
AT ITER 6096 NEW BEST:: SOT 65332 SOS 30396 HAS SOPS 30396 HAS SOUS 14179 HAS SOUPS 14179 WITH SCORE 14209.396
AT ITER 6124 NEW BEST:: SOT 65332 SOS 30395 HAS SOPS 30395 HAS SOUS 14178 HAS SOUPS 14178 WITH SCORE 14208.395
AT ITER 6158 NEW BEST:: SOT 65332 SOS 30392 HAS SOPS 30392 HAS SOUS 14175 HAS SOUPS 14175 WITH SCORE 14205.392
AT ITER 6161 NEW BEST:: SOT 65329 SOS 30389 HAS SOPS 30389 HAS SOUS 14172 HAS SOUPS 14172 WITH SCORE 14202.389
AT ITER 6232 NEW BEST:: SOT 65325 SOS 30387 HAS SOPS 30387 HAS SOUS 14172 HAS SOUPS 14172 WITH SCORE 14202.387
AT ITER 6236 NEW BEST:: SOT 65324 SOS 30386 HAS SOPS 30386 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14201.386
AT ITER 6239 NEW BEST:: SOT 65188 SOS 30318 HAS SOPS 30318 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14201.318
AT ITER 6269 NEW BEST:: SOT 65172 SOS 30310 HAS SOPS 30310 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14201.31
AT ITER 6329 NEW BEST:: SOT 65172 SOS 30309 HAS SOPS 30309 HAS SOUS 14170 HAS SOUPS 14170 WITH SCORE 14200.309
AT ITER 6336 NEW BEST:: SOT 65170 SOS 30307 HAS SOPS 30307 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14199.307
AT ITER 6428 NEW BEST:: SOT 65169 SOS 30306 HAS SOPS 30306 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14198.306
AT ITER 6473 NEW BEST:: SOT 65169 SOS 30300 HAS SOPS 30300 HAS SOUS 14162 HAS SOUPS 14162 WITH SCORE 14192.3
AT ITER 6496 NEW BEST:: SOT 65272 SOS 30350 HAS SOPS 30350 HAS SOUS 14159 HAS SOUPS 14159 WITH SCORE 14189.35
AT ITER 6764 NEW BEST:: SOT 65272 SOS 30349 HAS SOPS 30349 HAS SOUS 14158 HAS SOUPS 14158 WITH SCORE 14188.349
AT ITER 6786 NEW BEST:: SOT 65267 SOS 30344 HAS SOPS 30344 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14183.344
AT ITER 6845 NEW BEST:: SOT 65416 SOS 30459 HAS SOPS 30459 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14176.459
AT ITER 6868 NEW BEST:: SOT 65410 SOS 30456 HAS SOPS 30456 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14176.456
AT ITER 6870 NEW BEST:: SOT 65388 SOS 30434 HAS SOPS 30434 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14165.434
AT ITER 6886 NEW BEST:: SOT 65388 SOS 30433 HAS SOPS 30433 HAS SOUS 14134 HAS SOUPS 14134 WITH SCORE 14164.433
AT ITER 6927 NEW BEST:: SOT 65404 SOS 30395 HAS SOPS 30395 HAS SOUS 14134 HAS SOUPS 14134 WITH SCORE 14164.395
AT ITER 7011 NEW BEST:: SOT 65386 SOS 30382 HAS SOPS 30382 HAS SOUS 14130 HAS SOUPS 14130 WITH SCORE 14160.382
AT ITER 7021 NEW BEST:: SOT 65386 SOS 30346 HAS SOPS 30346 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14124.346
AT ITER 7062 NEW BEST:: SOT 65393 SOS 30340 HAS SOPS 30340 HAS SOUS 14087 HAS SOUPS 14087 WITH SCORE 14117.34
AT ITER 7069 NEW BEST:: SOT 65413 SOS 30330 HAS SOPS 30330 HAS SOUS 14087 HAS SOUPS 14087 WITH SCORE 14117.33
AT ITER 7104 NEW BEST:: SOT 65413 SOS 30313 HAS SOPS 30313 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14100.313
AT ITER 7105 NEW BEST:: SOT 65425 SOS 30316 HAS SOPS 30316 HAS SOUS 14062 HAS SOUPS 14062 WITH SCORE 14092.316
AT ITER 7117 NEW BEST:: SOT 65422 SOS 30313 HAS SOPS 30313 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14089.313
AT ITER 7154 NEW BEST:: SOT 65417 SOS 30308 HAS SOPS 30308 HAS SOUS 14054 HAS SOUPS 14054 WITH SCORE 14084.308
AT ITER 7226 NEW BEST:: SOT 65415 SOS 30306 HAS SOPS 30306 HAS SOUS 14052 HAS SOUPS 14052 WITH SCORE 14082.306
AT ITER 7273 NEW BEST:: SOT 65415 SOS 30302 HAS SOPS 30302 HAS SOUS 14048 HAS SOUPS 14048 WITH SCORE 14078.302
AT ITER 7278 NEW BEST:: SOT 65415 SOS 30283 HAS SOPS 30283 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14059.283
AT ITER 7290 NEW BEST:: SOT 65409 SOS 30277 HAS SOPS 30277 HAS SOUS 14023 HAS SOUPS 14023 WITH SCORE 14053.277
AT ITER 7297 NEW BEST:: SOT 65409 SOS 30276 HAS SOPS 30276 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14052.276
AT ITER 7349 NEW BEST:: SOT 65409 SOS 30275 HAS SOPS 30275 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14051.275
AT ITER 7409 NEW BEST:: SOT 65409 SOS 30268 HAS SOPS 30268 HAS SOUS 14014 HAS SOUPS 14014 WITH SCORE 14044.268
AT ITER 7498 NEW BEST:: SOT 65427 SOS 30259 HAS SOPS 30259 HAS SOUS 14014 HAS SOUPS 14014 WITH SCORE 14044.259
AT ITER 7576 NEW BEST:: SOT 65431 SOS 29481 HAS SOPS 29481 HAS SOUS 14006 HAS SOUPS 14006 WITH SCORE 14035.481
AT ITER 7615 NEW BEST:: SOT 65431 SOS 29470 HAS SOPS 29470 HAS SOUS 13995 HAS SOUPS 13995 WITH SCORE 14024.47
AT ITER 7624 NEW BEST:: SOT 65423 SOS 29462 HAS SOPS 29462 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14016.462
AT ITER 7705 NEW BEST:: SOT 65423 SOS 29461 HAS SOPS 29461 HAS SOUS 13986 HAS SOUPS 13986 WITH SCORE 14015.461
AT ITER 7710 NEW BEST:: SOT 65331 SOS 29415 HAS SOPS 29415 HAS SOUS 13986 HAS SOUPS 13986 WITH SCORE 14015.415
AT ITER 7749 NEW BEST:: SOT 65172 SOS 29304 HAS SOPS 29304 HAS SOUS 13964 HAS SOUPS 13964 WITH SCORE 13993.304
AT ITER 7750 NEW BEST:: SOT 65098 SOS 29230 HAS SOPS 29230 HAS SOUS 13964 HAS SOUPS 13964 WITH SCORE 13993.23
AT ITER 7812 NEW BEST:: SOT 65413 SOS 29378 HAS SOPS 29378 HAS SOUS 13945 HAS SOUPS 13945 WITH SCORE 13974.378
AT ITER 7856 NEW BEST:: SOT 65413 SOS 29377 HAS SOPS 29377 HAS SOUS 13944 HAS SOUPS 13944 WITH SCORE 13973.377
AT ITER 7879 NEW BEST:: SOT 65413 SOS 29375 HAS SOPS 29375 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13971.375
AT ITER 7930 NEW BEST:: SOT 65387 SOS 29362 HAS SOPS 29362 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13971.362
AT ITER 7939 NEW BEST:: SOT 65339 SOS 29338 HAS SOPS 29338 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13971.338
AT ITER 7979 NEW BEST:: SOT 65242 SOS 29241 HAS SOPS 29241 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13971.241
AT ITER 8028 NEW BEST:: SOT 65363 SOS 29288 HAS SOPS 29288 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13944.288
AT ITER 8084 NEW BEST:: SOT 65227 SOS 29220 HAS SOPS 29220 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13944.22
AT ITER 8086 NEW BEST:: SOT 65227 SOS 29217 HAS SOPS 29217 HAS SOUS 13912 HAS SOUPS 13912 WITH SCORE 13941.217
AT ITER 8091 NEW BEST:: SOT 65276 SOS 29217 HAS SOPS 29217 HAS SOUS 13863 HAS SOUPS 13863 WITH SCORE 13892.217
AT ITER 8095 NEW BEST:: SOT 65179 SOS 29116 HAS SOPS 29116 HAS SOUS 13829 HAS SOUPS 13829 WITH SCORE 13858.116
AT ITER 8178 NEW BEST:: SOT 65179 SOS 29110 HAS SOPS 29110 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13852.11
AT ITER 8220 NEW BEST:: SOT 65089 SOS 29065 HAS SOPS 29065 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13852.065
AT ITER 8240 NEW BEST:: SOT 65083 SOS 29062 HAS SOPS 29062 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13852.062
AT ITER 8251 NEW BEST:: SOT 65130 SOS 29083 HAS SOPS 29083 HAS SOUS 13818 HAS SOUPS 13818 WITH SCORE 13847.083
AT ITER 8283 NEW BEST:: SOT 65104 SOS 29070 HAS SOPS 29070 HAS SOUS 13818 HAS SOUPS 13818 WITH SCORE 13847.07
AT ITER 8396 NEW BEST:: SOT 65104 SOS 29068 HAS SOPS 29068 HAS SOUS 13816 HAS SOUPS 13816 WITH SCORE 13845.068
AT ITER 8416 NEW BEST:: SOT 65103 SOS 29067 HAS SOPS 29067 HAS SOUS 13816 HAS SOUPS 13816 WITH SCORE 13845.067
AT ITER 8424 NEW BEST:: SOT 65093 SOS 29052 HAS SOPS 29052 HAS SOUS 13810 HAS SOUPS 13810 WITH SCORE 13839.052
AT ITER 8502 NEW BEST:: SOT 65081 SOS 29040 HAS SOPS 29040 HAS SOUS 13798 HAS SOUPS 13798 WITH SCORE 13827.04
AT ITER 8530 NEW BEST:: SOT 64975 SOS 28987 HAS SOPS 28987 HAS SOUS 13798 HAS SOUPS 13798 WITH SCORE 13826.987
AT ITER 8536 NEW BEST:: SOT 64965 SOS 28972 HAS SOPS 28972 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13811.972
AT ITER 8539 NEW BEST:: SOT 64965 SOS 28969 HAS SOPS 28969 HAS SOUS 13780 HAS SOUPS 13780 WITH SCORE 13808.969
AT ITER 8866 NEW BEST:: SOT 64883 SOS 28928 HAS SOPS 28928 HAS SOUS 13780 HAS SOUPS 13780 WITH SCORE 13808.928
AT ITER 8925 NEW BEST:: SOT 64883 SOS 28927 HAS SOPS 28927 HAS SOUS 13779 HAS SOUPS 13779 WITH SCORE 13807.927
AT ITER 8959 NEW BEST:: SOT 64883 SOS 28919 HAS SOPS 28919 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13799.919
AT ITER 9041 NEW BEST:: SOT 64859 SOS 28907 HAS SOPS 28907 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13799.907
AT ITER 9131 NEW BEST:: SOT 64859 SOS 28906 HAS SOPS 28906 HAS SOUS 13770 HAS SOUPS 13770 WITH SCORE 13798.906
AT ITER 9253 NEW BEST:: SOT 64825 SOS 28894 HAS SOPS 28894 HAS SOUS 13758 HAS SOUPS 13758 WITH SCORE 13786.894
AT ITER 9319 NEW BEST:: SOT 64824 SOS 28893 HAS SOPS 28893 HAS SOUS 13757 HAS SOUPS 13757 WITH SCORE 13785.893
AT ITER 9336 NEW BEST:: SOT 64880 SOS 28920 HAS SOPS 28920 HAS SOUS 13755 HAS SOUPS 13755 WITH SCORE 13783.92
AT ITER 9337 NEW BEST:: SOT 64876 SOS 28918 HAS SOPS 28918 HAS SOUS 13755 HAS SOUPS 13755 WITH SCORE 13783.918
AT ITER 9345 NEW BEST:: SOT 64876 SOS 28917 HAS SOPS 28917 HAS SOUS 13754 HAS SOUPS 13754 WITH SCORE 13782.917
AT ITER 9359 NEW BEST:: SOT 64903 SOS 28931 HAS SOPS 28931 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13769.931
AT ITER 9413 NEW BEST:: SOT 64904 SOS 28929 HAS SOPS 28929 HAS SOUS 13739 HAS SOUPS 13739 WITH SCORE 13767.929
AT ITER 9536 NEW BEST:: SOT 65078 SOS 29012 HAS SOPS 29012 HAS SOUS 13731 HAS SOUPS 13731 WITH SCORE 13760.012
AT ITER 9585 NEW BEST:: SOT 65062 SOS 28996 HAS SOPS 28996 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13743.996
AT ITER 9602 NEW BEST:: SOT 65061 SOS 28995 HAS SOPS 28995 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13742.995
AT ITER 9631 NEW BEST:: SOT 65061 SOS 28991 HAS SOPS 28991 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13738.991
AT ITER 9637 NEW BEST:: SOT 65043 SOS 28982 HAS SOPS 28982 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13737.982
AT ITER 9729 NEW BEST:: SOT 65037 SOS 28976 HAS SOPS 28976 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13734.976
AT ITER 9762 NEW BEST:: SOT 65037 SOS 28912 HAS SOPS 28912 HAS SOUS 13705 HAS SOUPS 13705 WITH SCORE 13733.912
AT ITER 9800 NEW BEST:: SOT 65037 SOS 28911 HAS SOPS 28911 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13732.911
AT ITER 9810 NEW BEST:: SOT 65039 SOS 28849 HAS SOPS 28849 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13732.849
AT ITER 9896 NEW BEST:: SOT 65039 SOS 28845 HAS SOPS 28845 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13728.845

BK_STOP 1589651553125

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 375 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="QuasiCertifProtocol-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is QuasiCertifProtocol-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961355300800"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-PT-10.tgz
mv QuasiCertifProtocol-PT-10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' 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 ;