fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r035-tajo-167813688000272
Last Updated
May 14, 2023

About the Execution of Smart for BridgeAndVehicles-PT-V50P50N50

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16224.159 2855993.00 2847642.00 353.40 [undef] Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 30K Feb 25 12:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 169K Feb 25 12:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 597K Feb 25 12:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.3M Feb 25 12:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 241K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 708K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 32K Feb 25 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 188K Feb 25 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Feb 25 13:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 6.1M Feb 25 13:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.6K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.5M 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 1678465971348

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=BridgeAndVehicles-PT-V50P50N50
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (PT), instance V50P50N50
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, 5408 transitions, 42330 arcs.
AT ITER 0 NEW BEST:: SOT 608712 SOS 595116 HAS SOPS 589566 HAS SOUS 42291 HAS SOUPS 42233 WITH SCORE 42828.116
AT ITER 4 NEW BEST:: SOT 608712 SOS 595116 HAS SOPS 589566 HAS SOUS 42289 HAS SOUPS 42231 WITH SCORE 42826.116
AT ITER 6 NEW BEST:: SOT 608708 SOS 595114 HAS SOPS 589564 HAS SOUS 42286 HAS SOUPS 42228 WITH SCORE 42823.114
AT ITER 12 NEW BEST:: SOT 608708 SOS 595114 HAS SOPS 589564 HAS SOUS 40703 HAS SOUPS 40645 WITH SCORE 41240.114
AT ITER 25 NEW BEST:: SOT 608708 SOS 595114 HAS SOPS 589564 HAS SOUS 38151 HAS SOUPS 38093 WITH SCORE 38688.114
AT ITER 35 NEW BEST:: SOT 608708 SOS 595114 HAS SOPS 589564 HAS SOUS 38149 HAS SOUPS 38091 WITH SCORE 38686.114
AT ITER 70 NEW BEST:: SOT 608708 SOS 580412 HAS SOPS 575162 HAS SOUS 38144 HAS SOUPS 38089 WITH SCORE 38669.412
AT ITER 77 NEW BEST:: SOT 608708 SOS 580412 HAS SOPS 575162 HAS SOUS 38142 HAS SOUPS 38087 WITH SCORE 38667.412
AT ITER 140 NEW BEST:: SOT 608708 SOS 497652 HAS SOPS 494702 HAS SOUS 38096 HAS SOUPS 38064 WITH SCORE 38561.652
AT ITER 141 NEW BEST:: SOT 609325 SOS 498269 HAS SOPS 495319 HAS SOUS 35039 HAS SOUPS 35007 WITH SCORE 35505.269
AT ITER 192 NEW BEST:: SOT 609325 SOS 498258 HAS SOPS 495308 HAS SOUS 35014 HAS SOUPS 34982 WITH SCORE 35480.258
AT ITER 197 NEW BEST:: SOT 609471 SOS 498404 HAS SOPS 495454 HAS SOUS 30752 HAS SOUPS 30720 WITH SCORE 31218.404
AT ITER 209 NEW BEST:: SOT 609371 SOS 498304 HAS SOPS 495354 HAS SOUS 30701 HAS SOUPS 30669 WITH SCORE 31167.304
AT ITER 221 NEW BEST:: SOT 609370 SOS 498303 HAS SOPS 495353 HAS SOUS 30698 HAS SOUPS 30666 WITH SCORE 31164.303
AT ITER 240 NEW BEST:: SOT 609290 SOS 498223 HAS SOPS 495273 HAS SOUS 30667 HAS SOUPS 30635 WITH SCORE 31133.223
AT ITER 269 NEW BEST:: SOT 609290 SOS 498223 HAS SOPS 495273 HAS SOUS 30663 HAS SOUPS 30631 WITH SCORE 31129.223
AT ITER 299 NEW BEST:: SOT 609290 SOS 498223 HAS SOPS 495273 HAS SOUS 30661 HAS SOUPS 30629 WITH SCORE 31127.223
AT ITER 300 NEW BEST:: SOT 609290 SOS 498223 HAS SOPS 495273 HAS SOUS 29894 HAS SOUPS 29862 WITH SCORE 30360.223
AT ITER 301 NEW BEST:: SOT 609290 SOS 498223 HAS SOPS 495273 HAS SOUS 29892 HAS SOUPS 29860 WITH SCORE 30358.223
AT ITER 320 NEW BEST:: SOT 609290 SOS 498223 HAS SOPS 495273 HAS SOUS 29890 HAS SOUPS 29858 WITH SCORE 30356.223
AT ITER 388 NEW BEST:: SOT 609290 SOS 498223 HAS SOPS 495273 HAS SOUS 29888 HAS SOUPS 29856 WITH SCORE 30354.223
AT ITER 402 NEW BEST:: SOT 609194 SOS 498127 HAS SOPS 495177 HAS SOUS 28036 HAS SOUPS 28004 WITH SCORE 28502.127
AT ITER 417 NEW BEST:: SOT 609179 SOS 498112 HAS SOPS 495162 HAS SOUS 27991 HAS SOUPS 27959 WITH SCORE 28457.112
AT ITER 453 NEW BEST:: SOT 609272 SOS 498205 HAS SOPS 495255 HAS SOUS 27927 HAS SOUPS 27895 WITH SCORE 28393.205
AT ITER 455 NEW BEST:: SOT 609272 SOS 498205 HAS SOPS 495255 HAS SOUS 27925 HAS SOUPS 27893 WITH SCORE 28391.205
AT ITER 459 NEW BEST:: SOT 609272 SOS 498205 HAS SOPS 495255 HAS SOUS 27923 HAS SOUPS 27891 WITH SCORE 28389.205
AT ITER 526 NEW BEST:: SOT 609272 SOS 498203 HAS SOPS 495253 HAS SOUS 27923 HAS SOUPS 27891 WITH SCORE 28389.203
AT ITER 572 NEW BEST:: SOT 609272 SOS 498209 HAS SOPS 495259 HAS SOUS 27912 HAS SOUPS 27880 WITH SCORE 28378.209
AT ITER 580 NEW BEST:: SOT 609272 SOS 499386 HAS SOPS 496436 HAS SOUS 27910 HAS SOUPS 27878 WITH SCORE 28377.386
AT ITER 587 NEW BEST:: SOT 609272 SOS 499386 HAS SOPS 496436 HAS SOUS 27908 HAS SOUPS 27876 WITH SCORE 28375.386
AT ITER 591 NEW BEST:: SOT 609272 SOS 499386 HAS SOPS 496436 HAS SOUS 27906 HAS SOUPS 27874 WITH SCORE 28373.386
AT ITER 595 NEW BEST:: SOT 608477 SOS 499224 HAS SOPS 496274 HAS SOUS 27713 HAS SOUPS 27681 WITH SCORE 28180.224
AT ITER 598 NEW BEST:: SOT 608476 SOS 499223 HAS SOPS 496273 HAS SOUS 27710 HAS SOUPS 27678 WITH SCORE 28177.223
AT ITER 618 NEW BEST:: SOT 608475 SOS 499222 HAS SOPS 496272 HAS SOUS 27707 HAS SOUPS 27675 WITH SCORE 28174.222
AT ITER 626 NEW BEST:: SOT 608470 SOS 499217 HAS SOPS 496267 HAS SOUS 27692 HAS SOUPS 27660 WITH SCORE 28159.217
AT ITER 638 NEW BEST:: SOT 608470 SOS 499217 HAS SOPS 496267 HAS SOUS 27690 HAS SOUPS 27658 WITH SCORE 28157.217
AT ITER 649 NEW BEST:: SOT 608470 SOS 499216 HAS SOPS 496266 HAS SOUS 27688 HAS SOUPS 27656 WITH SCORE 28155.216
AT ITER 654 NEW BEST:: SOT 608467 SOS 499213 HAS SOPS 496263 HAS SOUS 27679 HAS SOUPS 27647 WITH SCORE 28146.213
AT ITER 672 NEW BEST:: SOT 608568 SOS 499314 HAS SOPS 496364 HAS SOUS 27625 HAS SOUPS 27593 WITH SCORE 28092.314
AT ITER 725 NEW BEST:: SOT 608568 SOS 499303 HAS SOPS 496353 HAS SOUS 27608 HAS SOUPS 27576 WITH SCORE 28075.303
AT ITER 753 NEW BEST:: SOT 608943 SOS 499678 HAS SOPS 496728 HAS SOUS 27451 HAS SOUPS 27419 WITH SCORE 27918.678
AT ITER 768 NEW BEST:: SOT 608943 SOS 499674 HAS SOPS 496724 HAS SOUS 27451 HAS SOUPS 27419 WITH SCORE 27918.674
AT ITER 790 NEW BEST:: SOT 608942 SOS 499673 HAS SOPS 496723 HAS SOUS 27448 HAS SOUPS 27416 WITH SCORE 27915.673
AT ITER 804 NEW BEST:: SOT 608942 SOS 499671 HAS SOPS 496721 HAS SOUS 27448 HAS SOUPS 27416 WITH SCORE 27915.671
AT ITER 875 NEW BEST:: SOT 608942 SOS 499669 HAS SOPS 496719 HAS SOUS 27447 HAS SOUPS 27415 WITH SCORE 27914.669
AT ITER 878 NEW BEST:: SOT 608942 SOS 499669 HAS SOPS 496719 HAS SOUS 27423 HAS SOUPS 27391 WITH SCORE 27890.669
AT ITER 905 NEW BEST:: SOT 608942 SOS 499669 HAS SOPS 496719 HAS SOUS 27413 HAS SOUPS 27381 WITH SCORE 27880.669
AT ITER 916 NEW BEST:: SOT 609534 SOS 500261 HAS SOPS 497311 HAS SOUS 27289 HAS SOUPS 27257 WITH SCORE 27757.261
AT ITER 965 NEW BEST:: SOT 609534 SOS 500261 HAS SOPS 497461 HAS SOUS 27279 HAS SOUPS 27250 WITH SCORE 27750.261
AT ITER 989 NEW BEST:: SOT 609534 SOS 500161 HAS SOPS 497361 HAS SOUS 27277 HAS SOUPS 27248 WITH SCORE 27748.161
AT ITER 992 NEW BEST:: SOT 609390 SOS 500017 HAS SOPS 497217 HAS SOUS 27133 HAS SOUPS 27104 WITH SCORE 27604.017
AT ITER 1066 NEW BEST:: SOT 609388 SOS 500015 HAS SOPS 497215 HAS SOUS 27127 HAS SOUPS 27098 WITH SCORE 27598.015
AT ITER 1071 NEW BEST:: SOT 609387 SOS 500014 HAS SOPS 497214 HAS SOUS 27124 HAS SOUPS 27095 WITH SCORE 27595.014
AT ITER 1072 NEW BEST:: SOT 609296 SOS 500391 HAS SOPS 497591 HAS SOUS 27038 HAS SOUPS 27009 WITH SCORE 27509.391
AT ITER 1092 NEW BEST:: SOT 609296 SOS 500391 HAS SOPS 497591 HAS SOUS 27016 HAS SOUPS 26987 WITH SCORE 27487.391
AT ITER 1153 NEW BEST:: SOT 609836 SOS 500931 HAS SOPS 498131 HAS SOUS 26157 HAS SOUPS 26128 WITH SCORE 26628.931
AT ITER 1158 NEW BEST:: SOT 609836 SOS 500824 HAS SOPS 498024 HAS SOUS 26155 HAS SOUPS 26126 WITH SCORE 26626.824
AT ITER 1271 NEW BEST:: SOT 609836 SOS 500528 HAS SOPS 497728 HAS SOUS 26149 HAS SOUPS 26120 WITH SCORE 26620.528
AT ITER 1296 NEW BEST:: SOT 609836 SOS 500532 HAS SOPS 497732 HAS SOUS 26133 HAS SOUPS 26104 WITH SCORE 26604.532
AT ITER 1312 NEW BEST:: SOT 609836 SOS 500750 HAS SOPS 497950 HAS SOUS 26131 HAS SOUPS 26102 WITH SCORE 26602.75
AT ITER 1332 NEW BEST:: SOT 609836 SOS 490964 HAS SOPS 488564 HAS SOUS 26119 HAS SOUPS 26094 WITH SCORE 26584.964
AT ITER 1340 NEW BEST:: SOT 609836 SOS 490637 HAS SOPS 488237 HAS SOUS 26036 HAS SOUPS 26011 WITH SCORE 26501.637
AT ITER 1344 NEW BEST:: SOT 609836 SOS 490637 HAS SOPS 488237 HAS SOUS 26034 HAS SOUPS 26009 WITH SCORE 26499.637
AT ITER 1378 NEW BEST:: SOT 609828 SOS 490629 HAS SOPS 488229 HAS SOUS 26024 HAS SOUPS 25999 WITH SCORE 26489.629
AT ITER 1395 NEW BEST:: SOT 609828 SOS 490629 HAS SOPS 488229 HAS SOUS 26014 HAS SOUPS 25989 WITH SCORE 26479.629
AT ITER 1402 NEW BEST:: SOT 609828 SOS 490629 HAS SOPS 488229 HAS SOUS 26006 HAS SOUPS 25981 WITH SCORE 26471.629
AT ITER 1437 NEW BEST:: SOT 609821 SOS 490622 HAS SOPS 488222 HAS SOUS 25985 HAS SOUPS 25960 WITH SCORE 26450.622
AT ITER 1469 NEW BEST:: SOT 609817 SOS 490618 HAS SOPS 488218 HAS SOUS 25973 HAS SOUPS 25948 WITH SCORE 26438.618
AT ITER 1472 NEW BEST:: SOT 609969 SOS 490770 HAS SOPS 488370 HAS SOUS 25919 HAS SOUPS 25894 WITH SCORE 26384.77
AT ITER 1525 NEW BEST:: SOT 609966 SOS 490767 HAS SOPS 488367 HAS SOUS 25910 HAS SOUPS 25885 WITH SCORE 26375.767
AT ITER 1527 NEW BEST:: SOT 609966 SOS 490755 HAS SOPS 488355 HAS SOUS 25910 HAS SOUPS 25885 WITH SCORE 26375.755
AT ITER 1547 NEW BEST:: SOT 609953 SOS 490742 HAS SOPS 488342 HAS SOUS 25867 HAS SOUPS 25842 WITH SCORE 26332.742
AT ITER 1556 NEW BEST:: SOT 609953 SOS 490734 HAS SOPS 488334 HAS SOUS 25867 HAS SOUPS 25842 WITH SCORE 26332.734
AT ITER 1605 NEW BEST:: SOT 609953 SOS 490730 HAS SOPS 488330 HAS SOUS 25862 HAS SOUPS 25837 WITH SCORE 26327.73
AT ITER 1625 NEW BEST:: SOT 609953 SOS 490724 HAS SOPS 488324 HAS SOUS 25862 HAS SOUPS 25837 WITH SCORE 26327.724
AT ITER 1628 NEW BEST:: SOT 609951 SOS 490722 HAS SOPS 488322 HAS SOUS 25856 HAS SOUPS 25831 WITH SCORE 26321.722
AT ITER 1644 NEW BEST:: SOT 609948 SOS 490719 HAS SOPS 488319 HAS SOUS 25847 HAS SOUPS 25822 WITH SCORE 26312.719
AT ITER 1659 NEW BEST:: SOT 609947 SOS 490718 HAS SOPS 488318 HAS SOUS 25844 HAS SOUPS 25819 WITH SCORE 26309.718
AT ITER 1709 NEW BEST:: SOT 609947 SOS 490704 HAS SOPS 488304 HAS SOUS 25844 HAS SOUPS 25819 WITH SCORE 26309.704
AT ITER 1823 NEW BEST:: SOT 609520 SOS 490274 HAS SOPS 488224 HAS SOUS 25727 HAS SOUPS 25702 WITH SCORE 26192.274
AT ITER 1860 NEW BEST:: SOT 609505 SOS 490259 HAS SOPS 488209 HAS SOUS 25700 HAS SOUPS 25675 WITH SCORE 26165.259
AT ITER 1881 NEW BEST:: SOT 609501 SOS 490255 HAS SOPS 488205 HAS SOUS 25696 HAS SOUPS 25671 WITH SCORE 26161.255
AT ITER 1895 NEW BEST:: SOT 609482 SOS 490236 HAS SOPS 488186 HAS SOUS 25390 HAS SOUPS 25365 WITH SCORE 25855.236
AT ITER 1937 NEW BEST:: SOT 609482 SOS 489687 HAS SOPS 487637 HAS SOUS 25379 HAS SOUPS 25354 WITH SCORE 25843.687
AT ITER 1960 NEW BEST:: SOT 609480 SOS 489685 HAS SOPS 487635 HAS SOUS 25377 HAS SOUPS 25352 WITH SCORE 25841.685
AT ITER 2030 NEW BEST:: SOT 609480 SOS 489681 HAS SOPS 487631 HAS SOUS 25375 HAS SOUPS 25350 WITH SCORE 25839.681
AT ITER 2060 NEW BEST:: SOT 609479 SOS 489680 HAS SOPS 487630 HAS SOUS 25372 HAS SOUPS 25347 WITH SCORE 25836.68
AT ITER 2112 NEW BEST:: SOT 609472 SOS 489673 HAS SOPS 487623 HAS SOUS 25351 HAS SOUPS 25326 WITH SCORE 25815.673
AT ITER 2115 NEW BEST:: SOT 609459 SOS 489660 HAS SOPS 487610 HAS SOUS 25312 HAS SOUPS 25287 WITH SCORE 25776.66
AT ITER 2175 NEW BEST:: SOT 609458 SOS 489659 HAS SOPS 487609 HAS SOUS 25309 HAS SOUPS 25284 WITH SCORE 25773.659
AT ITER 2194 NEW BEST:: SOT 609208 SOS 489462 HAS SOPS 487762 HAS SOUS 25038 HAS SOUPS 25020 WITH SCORE 25509.462
AT ITER 2244 NEW BEST:: SOT 609207 SOS 489461 HAS SOPS 487761 HAS SOUS 25035 HAS SOUPS 25017 WITH SCORE 25506.461
AT ITER 2246 NEW BEST:: SOT 609207 SOS 467815 HAS SOPS 467515 HAS SOUS 25000 HAS SOUPS 24996 WITH SCORE 25463.815
AT ITER 2263 NEW BEST:: SOT 609327 SOS 467935 HAS SOPS 467635 HAS SOUS 24961 HAS SOUPS 24957 WITH SCORE 25424.935
AT ITER 2270 NEW BEST:: SOT 611620 SOS 470320 HAS SOPS 470020 HAS SOUS 24917 HAS SOUPS 24913 WITH SCORE 25383.32
AT ITER 2309 NEW BEST:: SOT 611628 SOS 470326 HAS SOPS 470026 HAS SOUS 24912 HAS SOUPS 24908 WITH SCORE 25378.326
AT ITER 2469 NEW BEST:: SOT 611625 SOS 470323 HAS SOPS 470023 HAS SOUS 24903 HAS SOUPS 24899 WITH SCORE 25369.323
AT ITER 2490 NEW BEST:: SOT 611668 SOS 470366 HAS SOPS 470066 HAS SOUS 24893 HAS SOUPS 24889 WITH SCORE 25359.366
AT ITER 2513 NEW BEST:: SOT 612869 SOS 471567 HAS SOPS 471267 HAS SOUS 24059 HAS SOUPS 24055 WITH SCORE 24526.567
AT ITER 2561 NEW BEST:: SOT 612853 SOS 471551 HAS SOPS 471251 HAS SOUS 24027 HAS SOUPS 24023 WITH SCORE 24494.551
AT ITER 2588 NEW BEST:: SOT 612853 SOS 471547 HAS SOPS 471247 HAS SOUS 24027 HAS SOUPS 24023 WITH SCORE 24494.547
AT ITER 2621 NEW BEST:: SOT 612846 SOS 471529 HAS SOPS 471229 HAS SOUS 24007 HAS SOUPS 24003 WITH SCORE 24474.529
AT ITER 2628 NEW BEST:: SOT 612830 SOS 471513 HAS SOPS 471213 HAS SOUS 23571 HAS SOUPS 23567 WITH SCORE 24038.513
AT ITER 2663 NEW BEST:: SOT 613018 SOS 471701 HAS SOPS 471401 HAS SOUS 21445 HAS SOUPS 21441 WITH SCORE 21912.701
AT ITER 2690 NEW BEST:: SOT 613018 SOS 471701 HAS SOPS 471401 HAS SOUS 21441 HAS SOUPS 21437 WITH SCORE 21908.701
AT ITER 2698 NEW BEST:: SOT 613006 SOS 471689 HAS SOPS 471389 HAS SOUS 21417 HAS SOUPS 21413 WITH SCORE 21884.689
AT ITER 2739 NEW BEST:: SOT 613006 SOS 471683 HAS SOPS 471383 HAS SOUS 21417 HAS SOUPS 21413 WITH SCORE 21884.683
AT ITER 2749 NEW BEST:: SOT 613006 SOS 471681 HAS SOPS 471381 HAS SOUS 21417 HAS SOUPS 21413 WITH SCORE 21884.681
AT ITER 2774 NEW BEST:: SOT 613001 SOS 471676 HAS SOPS 471376 HAS SOUS 21400 HAS SOUPS 21396 WITH SCORE 21867.676
AT ITER 2784 NEW BEST:: SOT 612995 SOS 471670 HAS SOPS 471370 HAS SOUS 21396 HAS SOUPS 21392 WITH SCORE 21863.67
AT ITER 2794 NEW BEST:: SOT 612993 SOS 471668 HAS SOPS 471368 HAS SOUS 21390 HAS SOUPS 21386 WITH SCORE 21857.668
AT ITER 2840 NEW BEST:: SOT 612987 SOS 471662 HAS SOPS 471362 HAS SOUS 21378 HAS SOUPS 21374 WITH SCORE 21845.662
AT ITER 2843 NEW BEST:: SOT 612986 SOS 471661 HAS SOPS 471361 HAS SOUS 21375 HAS SOUPS 21371 WITH SCORE 21842.661
AT ITER 2866 NEW BEST:: SOT 612986 SOS 471659 HAS SOPS 471359 HAS SOUS 21375 HAS SOUPS 21371 WITH SCORE 21842.659
AT ITER 2901 NEW BEST:: SOT 613394 SOS 472069 HAS SOPS 471769 HAS SOUS 21356 HAS SOUPS 21352 WITH SCORE 21824.069
AT ITER 2927 NEW BEST:: SOT 615721 SOS 474396 HAS SOPS 474096 HAS SOUS 21298 HAS SOUPS 21294 WITH SCORE 21768.396
AT ITER 2942 NEW BEST:: SOT 615717 SOS 474392 HAS SOPS 474092 HAS SOUS 21286 HAS SOUPS 21282 WITH SCORE 21756.392
AT ITER 2951 NEW BEST:: SOT 615715 SOS 474390 HAS SOPS 474090 HAS SOUS 21282 HAS SOUPS 21278 WITH SCORE 21752.39
AT ITER 2957 NEW BEST:: SOT 615919 SOS 474598 HAS SOPS 474298 HAS SOUS 21270 HAS SOUPS 21266 WITH SCORE 21740.598
AT ITER 2972 NEW BEST:: SOT 615919 SOS 474594 HAS SOPS 474294 HAS SOUS 21270 HAS SOUPS 21266 WITH SCORE 21740.594
AT ITER 2984 NEW BEST:: SOT 615911 SOS 474586 HAS SOPS 474286 HAS SOUS 21254 HAS SOUPS 21250 WITH SCORE 21724.586
AT ITER 2998 NEW BEST:: SOT 615903 SOS 474578 HAS SOPS 474278 HAS SOUS 21232 HAS SOUPS 21228 WITH SCORE 21702.578
AT ITER 2999 NEW BEST:: SOT 615897 SOS 474572 HAS SOPS 474272 HAS SOUS 21214 HAS SOUPS 21210 WITH SCORE 21684.572
AT ITER 3021 NEW BEST:: SOT 615897 SOS 474554 HAS SOPS 474254 HAS SOUS 21214 HAS SOUPS 21210 WITH SCORE 21684.554
AT ITER 3042 NEW BEST:: SOT 615847 SOS 474504 HAS SOPS 474204 HAS SOUS 21164 HAS SOUPS 21160 WITH SCORE 21634.504
AT ITER 3077 NEW BEST:: SOT 615847 SOS 474504 HAS SOPS 474204 HAS SOUS 21160 HAS SOUPS 21156 WITH SCORE 21630.504
AT ITER 3093 NEW BEST:: SOT 615847 SOS 474504 HAS SOPS 474204 HAS SOUS 21152 HAS SOUPS 21148 WITH SCORE 21622.504
AT ITER 3125 NEW BEST:: SOT 615846 SOS 468886 HAS SOPS 468586 HAS SOUS 21148 HAS SOUPS 21144 WITH SCORE 21612.886
AT ITER 3127 NEW BEST:: SOT 615838 SOS 468878 HAS SOPS 468578 HAS SOUS 21132 HAS SOUPS 21128 WITH SCORE 21596.878
AT ITER 3131 NEW BEST:: SOT 615837 SOS 468877 HAS SOPS 468577 HAS SOUS 21129 HAS SOUPS 21125 WITH SCORE 21593.877
AT ITER 3178 NEW BEST:: SOT 615811 SOS 468834 HAS SOPS 468534 HAS SOUS 21102 HAS SOUPS 21098 WITH SCORE 21566.834
AT ITER 3180 NEW BEST:: SOT 615807 SOS 468830 HAS SOPS 468530 HAS SOUS 21088 HAS SOUPS 21084 WITH SCORE 21552.83
AT ITER 3184 NEW BEST:: SOT 615805 SOS 468828 HAS SOPS 468528 HAS SOUS 21084 HAS SOUPS 21080 WITH SCORE 21548.828
AT ITER 3251 NEW BEST:: SOT 615805 SOS 468822 HAS SOPS 468522 HAS SOUS 21084 HAS SOUPS 21080 WITH SCORE 21548.822
AT ITER 3261 NEW BEST:: SOT 615805 SOS 468798 HAS SOPS 468498 HAS SOUS 21084 HAS SOUPS 21080 WITH SCORE 21548.798
AT ITER 3290 NEW BEST:: SOT 615805 SOS 468796 HAS SOPS 468496 HAS SOUS 21084 HAS SOUPS 21080 WITH SCORE 21548.796
AT ITER 3374 NEW BEST:: SOT 615805 SOS 468695 HAS SOPS 468395 HAS SOUS 21083 HAS SOUPS 21079 WITH SCORE 21547.695
AT ITER 3388 NEW BEST:: SOT 615801 SOS 468691 HAS SOPS 468391 HAS SOUS 21081 HAS SOUPS 21077 WITH SCORE 21545.691
AT ITER 3435 NEW BEST:: SOT 615799 SOS 468689 HAS SOPS 468389 HAS SOUS 21079 HAS SOUPS 21075 WITH SCORE 21543.689
AT ITER 3498 NEW BEST:: SOT 615793 SOS 468683 HAS SOPS 468383 HAS SOUS 21067 HAS SOUPS 21063 WITH SCORE 21531.683
AT ITER 3518 NEW BEST:: SOT 615865 SOS 466925 HAS SOPS 466625 HAS SOUS 21060 HAS SOUPS 21056 WITH SCORE 21522.925
AT ITER 3520 NEW BEST:: SOT 615861 SOS 466921 HAS SOPS 466621 HAS SOUS 21052 HAS SOUPS 21048 WITH SCORE 21514.921
AT ITER 3542 NEW BEST:: SOT 615867 SOS 466927 HAS SOPS 466627 HAS SOUS 21046 HAS SOUPS 21042 WITH SCORE 21508.927
AT ITER 3594 NEW BEST:: SOT 615869 SOS 466929 HAS SOPS 466629 HAS SOUS 21038 HAS SOUPS 21034 WITH SCORE 21500.929
AT ITER 3596 NEW BEST:: SOT 615865 SOS 466925 HAS SOPS 466625 HAS SOUS 21026 HAS SOUPS 21022 WITH SCORE 21488.925
AT ITER 3685 NEW BEST:: SOT 615853 SOS 466913 HAS SOPS 466613 HAS SOUS 21002 HAS SOUPS 20998 WITH SCORE 21464.913
AT ITER 3715 NEW BEST:: SOT 615852 SOS 466912 HAS SOPS 466612 HAS SOUS 20999 HAS SOUPS 20995 WITH SCORE 21461.912
AT ITER 3725 NEW BEST:: SOT 615852 SOS 466908 HAS SOPS 466608 HAS SOUS 20999 HAS SOUPS 20995 WITH SCORE 21461.908
AT ITER 3728 NEW BEST:: SOT 615852 SOS 466906 HAS SOPS 466606 HAS SOUS 20999 HAS SOUPS 20995 WITH SCORE 21461.906
AT ITER 3739 NEW BEST:: SOT 615981 SOS 467035 HAS SOPS 466735 HAS SOUS 20969 HAS SOUPS 20965 WITH SCORE 21432.035
AT ITER 3809 NEW BEST:: SOT 615977 SOS 467031 HAS SOPS 466731 HAS SOUS 20957 HAS SOUPS 20953 WITH SCORE 21420.031
AT ITER 3867 NEW BEST:: SOT 615973 SOS 467027 HAS SOPS 466727 HAS SOUS 20941 HAS SOUPS 20937 WITH SCORE 21404.027
AT ITER 3889 NEW BEST:: SOT 615971 SOS 467025 HAS SOPS 466725 HAS SOUS 20937 HAS SOUPS 20933 WITH SCORE 21400.025
AT ITER 3893 NEW BEST:: SOT 615971 SOS 467021 HAS SOPS 466721 HAS SOUS 20937 HAS SOUPS 20933 WITH SCORE 21400.021
AT ITER 3901 NEW BEST:: SOT 615971 SOS 467017 HAS SOPS 466717 HAS SOUS 20937 HAS SOUPS 20933 WITH SCORE 21400.017
AT ITER 4007 NEW BEST:: SOT 615968 SOS 467014 HAS SOPS 466714 HAS SOUS 20928 HAS SOUPS 20924 WITH SCORE 21391.014
AT ITER 4137 NEW BEST:: SOT 615964 SOS 467010 HAS SOPS 466710 HAS SOUS 20926 HAS SOUPS 20922 WITH SCORE 21389.01
AT ITER 4190 NEW BEST:: SOT 615956 SOS 467002 HAS SOPS 466702 HAS SOUS 20910 HAS SOUPS 20906 WITH SCORE 21373.002
AT ITER 4246 NEW BEST:: SOT 615950 SOS 466996 HAS SOPS 466696 HAS SOUS 20898 HAS SOUPS 20894 WITH SCORE 21360.996
AT ITER 4289 NEW BEST:: SOT 615949 SOS 466995 HAS SOPS 466695 HAS SOUS 20895 HAS SOUPS 20891 WITH SCORE 21357.995
AT ITER 4301 NEW BEST:: SOT 615951 SOS 466997 HAS SOPS 466697 HAS SOUS 20893 HAS SOUPS 20889 WITH SCORE 21355.997
AT ITER 4375 NEW BEST:: SOT 615949 SOS 466995 HAS SOPS 466695 HAS SOUS 20887 HAS SOUPS 20883 WITH SCORE 21349.995
AT ITER 4380 NEW BEST:: SOT 616204 SOS 467460 HAS SOPS 467160 HAS SOUS 20872 HAS SOUPS 20868 WITH SCORE 21335.46
AT ITER 4413 NEW BEST:: SOT 616172 SOS 467428 HAS SOPS 467128 HAS SOUS 20840 HAS SOUPS 20836 WITH SCORE 21303.428
AT ITER 4602 NEW BEST:: SOT 616168 SOS 467424 HAS SOPS 467124 HAS SOUS 20828 HAS SOUPS 20824 WITH SCORE 21291.424
AT ITER 4607 NEW BEST:: SOT 616138 SOS 467394 HAS SOPS 467094 HAS SOUS 20818 HAS SOUPS 20814 WITH SCORE 21281.394
AT ITER 4666 NEW BEST:: SOT 616138 SOS 467386 HAS SOPS 467086 HAS SOUS 20818 HAS SOUPS 20814 WITH SCORE 21281.386
AT ITER 4670 NEW BEST:: SOT 616879 SOS 468269 HAS SOPS 467969 HAS SOUS 20779 HAS SOUPS 20775 WITH SCORE 21243.269
AT ITER 4697 NEW BEST:: SOT 616878 SOS 468268 HAS SOPS 467968 HAS SOUS 20778 HAS SOUPS 20774 WITH SCORE 21242.268
AT ITER 4893 NEW BEST:: SOT 616858 SOS 468248 HAS SOPS 467948 HAS SOUS 20738 HAS SOUPS 20734 WITH SCORE 21202.248
AT ITER 4895 NEW BEST:: SOT 616865 SOS 468248 HAS SOPS 467948 HAS SOUS 20728 HAS SOUPS 20724 WITH SCORE 21192.248
AT ITER 4906 NEW BEST:: SOT 616864 SOS 468247 HAS SOPS 467947 HAS SOUS 20725 HAS SOUPS 20721 WITH SCORE 21189.247
AT ITER 4975 NEW BEST:: SOT 616763 SOS 468001 HAS SOPS 467701 HAS SOUS 20621 HAS SOUPS 20617 WITH SCORE 21085.001
AT ITER 4986 NEW BEST:: SOT 617785 SOS 469042 HAS SOPS 468742 HAS SOUS 20571 HAS SOUPS 20567 WITH SCORE 21036.042
AT ITER 4996 NEW BEST:: SOT 617781 SOS 469038 HAS SOPS 468738 HAS SOUS 20563 HAS SOUPS 20559 WITH SCORE 21028.038
AT ITER 5075 NEW BEST:: SOT 619299 SOS 470586 HAS SOPS 470286 HAS SOUS 20559 HAS SOUPS 20555 WITH SCORE 21025.586
AT ITER 5077 NEW BEST:: SOT 619297 SOS 470584 HAS SOPS 470284 HAS SOUS 20555 HAS SOUPS 20551 WITH SCORE 21021.584
AT ITER 5087 NEW BEST:: SOT 619295 SOS 470582 HAS SOPS 470282 HAS SOUS 20551 HAS SOUPS 20547 WITH SCORE 21017.582
AT ITER 5109 NEW BEST:: SOT 619295 SOS 470580 HAS SOPS 470280 HAS SOUS 20551 HAS SOUPS 20547 WITH SCORE 21017.58
AT ITER 5142 NEW BEST:: SOT 619281 SOS 470566 HAS SOPS 470266 HAS SOUS 20523 HAS SOUPS 20519 WITH SCORE 20989.566
AT ITER 5338 NEW BEST:: SOT 619279 SOS 470564 HAS SOPS 470264 HAS SOUS 20519 HAS SOUPS 20515 WITH SCORE 20985.564
AT ITER 5348 NEW BEST:: SOT 619277 SOS 470562 HAS SOPS 470262 HAS SOUS 20513 HAS SOUPS 20509 WITH SCORE 20979.562
AT ITER 5441 NEW BEST:: SOT 619274 SOS 470559 HAS SOPS 470259 HAS SOUS 20504 HAS SOUPS 20500 WITH SCORE 20970.559
AT ITER 5499 NEW BEST:: SOT 618257 SOS 469542 HAS SOPS 469242 HAS SOUS 19439 HAS SOUPS 19435 WITH SCORE 19904.542
AT ITER 5548 NEW BEST:: SOT 618257 SOS 469544 HAS SOPS 469244 HAS SOUS 19436 HAS SOUPS 19432 WITH SCORE 19901.544
AT ITER 5582 NEW BEST:: SOT 618257 SOS 469542 HAS SOPS 469242 HAS SOUS 19436 HAS SOUPS 19432 WITH SCORE 19901.542
AT ITER 5625 NEW BEST:: SOT 618255 SOS 469540 HAS SOPS 469240 HAS SOUS 19432 HAS SOUPS 19428 WITH SCORE 19897.54
AT ITER 5715 NEW BEST:: SOT 618312 SOS 468265 HAS SOPS 467965 HAS SOUS 19428 HAS SOUPS 19424 WITH SCORE 19892.265
AT ITER 5831 NEW BEST:: SOT 618311 SOS 468260 HAS SOPS 467960 HAS SOUS 19422 HAS SOUPS 19418 WITH SCORE 19886.26
AT ITER 5844 NEW BEST:: SOT 618309 SOS 468258 HAS SOPS 467958 HAS SOUS 19416 HAS SOUPS 19412 WITH SCORE 19880.258
AT ITER 5888 NEW BEST:: SOT 618301 SOS 468250 HAS SOPS 467950 HAS SOUS 19400 HAS SOUPS 19396 WITH SCORE 19864.25
AT ITER 5913 NEW BEST:: SOT 618299 SOS 468248 HAS SOPS 467948 HAS SOUS 19396 HAS SOUPS 19392 WITH SCORE 19860.248
AT ITER 5919 NEW BEST:: SOT 619349 SOS 469298 HAS SOPS 468998 HAS SOUS 19337 HAS SOUPS 19333 WITH SCORE 19802.298
AT ITER 5970 NEW BEST:: SOT 619347 SOS 469296 HAS SOPS 468996 HAS SOUS 19333 HAS SOUPS 19329 WITH SCORE 19798.296
AT ITER 5981 NEW BEST:: SOT 619343 SOS 469292 HAS SOPS 468992 HAS SOUS 19325 HAS SOUPS 19321 WITH SCORE 19790.292
AT ITER 6000 NEW BEST:: SOT 619329 SOS 469278 HAS SOPS 468978 HAS SOUS 19297 HAS SOUPS 19293 WITH SCORE 19762.278
AT ITER 6087 NEW BEST:: SOT 619323 SOS 469272 HAS SOPS 468972 HAS SOUS 19285 HAS SOUPS 19281 WITH SCORE 19750.272
AT ITER 6125 NEW BEST:: SOT 619323 SOS 469270 HAS SOPS 468970 HAS SOUS 19285 HAS SOUPS 19281 WITH SCORE 19750.27
AT ITER 6164 NEW BEST:: SOT 619317 SOS 469264 HAS SOPS 468964 HAS SOUS 19273 HAS SOUPS 19269 WITH SCORE 19738.264
AT ITER 6243 NEW BEST:: SOT 619303 SOS 469250 HAS SOPS 468950 HAS SOUS 19245 HAS SOUPS 19241 WITH SCORE 19710.25
AT ITER 6254 NEW BEST:: SOT 619299 SOS 469246 HAS SOPS 468946 HAS SOUS 19237 HAS SOUPS 19233 WITH SCORE 19702.246
AT ITER 6277 NEW BEST:: SOT 619399 SOS 469346 HAS SOPS 469046 HAS SOUS 19231 HAS SOUPS 19227 WITH SCORE 19696.346
AT ITER 6313 NEW BEST:: SOT 619417 SOS 468733 HAS SOPS 468397 HAS SOUS 19250 HAS SOUPS 19226 WITH SCORE 19694.733
AT ITER 6322 NEW BEST:: SOT 619407 SOS 468723 HAS SOPS 468387 HAS SOUS 19230 HAS SOUPS 19206 WITH SCORE 19674.723
AT ITER 6377 NEW BEST:: SOT 619405 SOS 468721 HAS SOPS 468385 HAS SOUS 19226 HAS SOUPS 19202 WITH SCORE 19670.721
AT ITER 6411 NEW BEST:: SOT 619403 SOS 468209 HAS SOPS 467873 HAS SOUS 19214 HAS SOUPS 19190 WITH SCORE 19658.209
AT ITER 6454 NEW BEST:: SOT 619399 SOS 468205 HAS SOPS 467869 HAS SOUS 19206 HAS SOUPS 19182 WITH SCORE 19650.205
AT ITER 6472 NEW BEST:: SOT 619399 SOS 468001 HAS SOPS 467665 HAS SOUS 19202 HAS SOUPS 19178 WITH SCORE 19646.001
AT ITER 6486 NEW BEST:: SOT 619473 SOS 468091 HAS SOPS 467608 HAS SOUS 19197 HAS SOUPS 19175 WITH SCORE 19643.091
AT ITER 6499 NEW BEST:: SOT 619467 SOS 468085 HAS SOPS 467602 HAS SOUS 19187 HAS SOUPS 19165 WITH SCORE 19633.085
AT ITER 6516 NEW BEST:: SOT 619465 SOS 468083 HAS SOPS 467600 HAS SOUS 19185 HAS SOUPS 19163 WITH SCORE 19631.083
AT ITER 6561 NEW BEST:: SOT 619460 SOS 466942 HAS SOPS 466403 HAS SOUS 19208 HAS SOUPS 19158 WITH SCORE 19624.942
AT ITER 6563 NEW BEST:: SOT 619458 SOS 466940 HAS SOPS 466401 HAS SOUS 19204 HAS SOUPS 19154 WITH SCORE 19620.94
AT ITER 6748 NEW BEST:: SOT 619458 SOS 466938 HAS SOPS 466399 HAS SOUS 19204 HAS SOUPS 19154 WITH SCORE 19620.938
AT ITER 6763 NEW BEST:: SOT 619456 SOS 466936 HAS SOPS 466397 HAS SOUS 19200 HAS SOUPS 19150 WITH SCORE 19616.936
AT ITER 6842 NEW BEST:: SOT 619443 SOS 465597 HAS SOPS 465058 HAS SOUS 19161 HAS SOUPS 19111 WITH SCORE 19576.597
AT ITER 6859 NEW BEST:: SOT 619443 SOS 465587 HAS SOPS 465048 HAS SOUS 19161 HAS SOUPS 19111 WITH SCORE 19576.587
AT ITER 6879 NEW BEST:: SOT 619429 SOS 465573 HAS SOPS 465034 HAS SOUS 19141 HAS SOUPS 19091 WITH SCORE 19556.573
AT ITER 6897 NEW BEST:: SOT 619429 SOS 465551 HAS SOPS 465012 HAS SOUS 19141 HAS SOUPS 19091 WITH SCORE 19556.551
AT ITER 7101 NEW BEST:: SOT 619427 SOS 465549 HAS SOPS 465010 HAS SOUS 19137 HAS SOUPS 19087 WITH SCORE 19552.549
AT ITER 7142 NEW BEST:: SOT 619427 SOS 465545 HAS SOPS 465006 HAS SOUS 19137 HAS SOUPS 19087 WITH SCORE 19552.545
AT ITER 7144 NEW BEST:: SOT 619413 SOS 465531 HAS SOPS 464992 HAS SOUS 19109 HAS SOUPS 19059 WITH SCORE 19524.531
AT ITER 7208 NEW BEST:: SOT 619413 SOS 465527 HAS SOPS 464988 HAS SOUS 19109 HAS SOUPS 19059 WITH SCORE 19524.527
AT ITER 7256 NEW BEST:: SOT 619411 SOS 465525 HAS SOPS 464986 HAS SOUS 19105 HAS SOUPS 19055 WITH SCORE 19520.525
AT ITER 7320 NEW BEST:: SOT 619395 SOS 465509 HAS SOPS 464970 HAS SOUS 19073 HAS SOUPS 19023 WITH SCORE 19488.509
AT ITER 7322 NEW BEST:: SOT 619395 SOS 465503 HAS SOPS 464964 HAS SOUS 19073 HAS SOUPS 19023 WITH SCORE 19488.503
AT ITER 7497 NEW BEST:: SOT 619388 SOS 464778 HAS SOPS 464239 HAS SOUS 19053 HAS SOUPS 19003 WITH SCORE 19467.778
AT ITER 7594 NEW BEST:: SOT 619386 SOS 464776 HAS SOPS 464237 HAS SOUS 19049 HAS SOUPS 18999 WITH SCORE 19463.776
AT ITER 7673 NEW BEST:: SOT 619382 SOS 464772 HAS SOPS 464233 HAS SOUS 19041 HAS SOUPS 18991 WITH SCORE 19455.772
AT ITER 7716 NEW BEST:: SOT 619376 SOS 459966 HAS SOPS 459877 HAS SOUS 19028 HAS SOUPS 18983 WITH SCORE 19442.966
AT ITER 7729 NEW BEST:: SOT 619374 SOS 459964 HAS SOPS 459875 HAS SOUS 19024 HAS SOUPS 18979 WITH SCORE 19438.964
AT ITER 7836 NEW BEST:: SOT 619365 SOS 459955 HAS SOPS 459866 HAS SOUS 19003 HAS SOUPS 18958 WITH SCORE 19417.955
AT ITER 7931 NEW BEST:: SOT 619361 SOS 459951 HAS SOPS 459862 HAS SOUS 18995 HAS SOUPS 18950 WITH SCORE 19409.951
AT ITER 7932 NEW BEST:: SOT 619359 SOS 459949 HAS SOPS 459860 HAS SOUS 18991 HAS SOUPS 18946 WITH SCORE 19405.949
AT ITER 7947 NEW BEST:: SOT 619359 SOS 459947 HAS SOPS 459858 HAS SOUS 18991 HAS SOUPS 18946 WITH SCORE 19405.947
AT ITER 7954 NEW BEST:: SOT 619359 SOS 459933 HAS SOPS 459844 HAS SOUS 18991 HAS SOUPS 18946 WITH SCORE 19405.933
AT ITER 8396 NEW BEST:: SOT 619357 SOS 459931 HAS SOPS 459842 HAS SOUS 18985 HAS SOUPS 18940 WITH SCORE 19399.931
AT ITER 8415 NEW BEST:: SOT 619355 SOS 459929 HAS SOPS 459840 HAS SOUS 18981 HAS SOUPS 18936 WITH SCORE 19395.929
AT ITER 8535 NEW BEST:: SOT 619588 SOS 460162 HAS SOPS 460073 HAS SOUS 18969 HAS SOUPS 18924 WITH SCORE 19384.162
AT ITER 8574 NEW BEST:: SOT 619586 SOS 460160 HAS SOPS 460071 HAS SOUS 18965 HAS SOUPS 18920 WITH SCORE 19380.16
AT ITER 8610 NEW BEST:: SOT 619586 SOS 460158 HAS SOPS 460069 HAS SOUS 18965 HAS SOUPS 18920 WITH SCORE 19380.158
AT ITER 8697 NEW BEST:: SOT 619586 SOS 460156 HAS SOPS 460067 HAS SOUS 18965 HAS SOUPS 18920 WITH SCORE 19380.156
AT ITER 8859 NEW BEST:: SOT 619584 SOS 460154 HAS SOPS 460065 HAS SOUS 18961 HAS SOUPS 18916 WITH SCORE 19376.154
AT ITER 9018 NEW BEST:: SOT 619574 SOS 460144 HAS SOPS 460055 HAS SOUS 18941 HAS SOUPS 18896 WITH SCORE 19356.144
AT ITER 9147 NEW BEST:: SOT 619574 SOS 460130 HAS SOPS 460041 HAS SOUS 18941 HAS SOUPS 18896 WITH SCORE 19356.13
AT ITER 9157 NEW BEST:: SOT 619574 SOS 460026 HAS SOPS 459937 HAS SOUS 18940 HAS SOUPS 18895 WITH SCORE 19355.026
AT ITER 9187 NEW BEST:: SOT 619575 SOS 459814 HAS SOPS 459733 HAS SOUS 18932 HAS SOUPS 18891 WITH SCORE 19350.814
AT ITER 9468 NEW BEST:: SOT 619573 SOS 459812 HAS SOPS 459731 HAS SOUS 18928 HAS SOUPS 18887 WITH SCORE 19346.812
AT ITER 9547 NEW BEST:: SOT 619571 SOS 459810 HAS SOPS 459729 HAS SOUS 18926 HAS SOUPS 18885 WITH SCORE 19344.81
AT ITER 9718 NEW BEST:: SOT 619567 SOS 459806 HAS SOPS 459725 HAS SOUS 18918 HAS SOUPS 18877 WITH SCORE 19336.806
AT ITER 9722 NEW BEST:: SOT 619567 SOS 459800 HAS SOPS 459719 HAS SOUS 18918 HAS SOUPS 18877 WITH SCORE 19336.8
AT ITER 9781 NEW BEST:: SOT 619565 SOS 459798 HAS SOPS 459717 HAS SOUS 18914 HAS SOUPS 18873 WITH SCORE 19332.798

BK_STOP 1678468827341

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 382 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="BridgeAndVehicles-PT-V50P50N50"
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 BridgeAndVehicles-PT-V50P50N50, 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 r035-tajo-167813688000272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P50N50.tgz
mv BridgeAndVehicles-PT-V50P50N50 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 ;