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.r331-tall-167889204500432.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 smartxred
Input is Referendum-COL-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204500432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 9.4K Feb 26 17:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 17:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 17:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 17:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 26 17:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 129K Feb 26 17:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 4.9K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679145331377

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Referendum-COL-0050
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 13:15:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 13:15:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 13:15:33] [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-18 13:15:33] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 13:15:33] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 440 ms
[2023-03-18 13:15:33] [INFO ] Imported 4 HL places and 3 HL transitions for a total of 151 PT places and 101.0 transition bindings in 13 ms.
[2023-03-18 13:15:33] [INFO ] Unfolded HLPN to a Petri net with 151 places and 101 transitions 251 arcs in 11 ms.
[2023-03-18 13:15:33] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 13:15:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 151 places, 101 transitions and 251 arcs took 4 ms.
Total runtime 563 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Referendum (COL), instance 0050
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 151 places, 101 transitions, 251 arcs.
AT ITER 0 NEW BEST:: SOT 12505 SOS 7357 HAS SOPS 7357 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7364.357
AT ITER 1 NEW BEST:: SOT 12417 SOS 7262 HAS SOPS 7262 HAS SOUS 7262 HAS SOUPS 7262 WITH SCORE 7269.262
AT ITER 3 NEW BEST:: SOT 12302 SOS 7200 HAS SOPS 7200 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7183.2
AT ITER 7 NEW BEST:: SOT 12110 SOS 6937 HAS SOPS 6937 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6897.937
AT ITER 11 NEW BEST:: SOT 11984 SOS 6766 HAS SOPS 6766 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6726.766
AT ITER 19 NEW BEST:: SOT 11841 SOS 6593 HAS SOPS 6593 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6552.593
AT ITER 21 NEW BEST:: SOT 11678 SOS 6375 HAS SOPS 6375 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6321.375
AT ITER 22 NEW BEST:: SOT 11539 SOS 6192 HAS SOPS 6192 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6138.192
AT ITER 23 NEW BEST:: SOT 11460 SOS 6034 HAS SOPS 6034 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6004.034
AT ITER 24 NEW BEST:: SOT 11328 SOS 5859 HAS SOPS 5859 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5828.859
AT ITER 25 NEW BEST:: SOT 11218 SOS 5705 HAS SOPS 5705 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5674.705
AT ITER 26 NEW BEST:: SOT 11186 SOS 5756 HAS SOPS 5756 HAS SOUS 5647 HAS SOUPS 5647 WITH SCORE 5652.756
AT ITER 27 NEW BEST:: SOT 11062 SOS 5588 HAS SOPS 5588 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5484.588
AT ITER 29 NEW BEST:: SOT 11039 SOS 5561 HAS SOPS 5561 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5457.561
AT ITER 30 NEW BEST:: SOT 11013 SOS 5509 HAS SOPS 5509 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5402.509
AT ITER 31 NEW BEST:: SOT 10987 SOS 5596 HAS SOPS 5596 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5391.596
AT ITER 37 NEW BEST:: SOT 10982 SOS 5586 HAS SOPS 5586 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5381.586
AT ITER 40 NEW BEST:: SOT 10852 SOS 5413 HAS SOPS 5413 HAS SOUS 5203 HAS SOUPS 5203 WITH SCORE 5208.413
AT ITER 42 NEW BEST:: SOT 10816 SOS 5452 HAS SOPS 5452 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5181.452
AT ITER 43 NEW BEST:: SOT 10728 SOS 5339 HAS SOPS 5339 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5068.339
AT ITER 44 NEW BEST:: SOT 10600 SOS 5168 HAS SOPS 5168 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4897.168
AT ITER 45 NEW BEST:: SOT 10578 SOS 5146 HAS SOPS 5146 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4875.146
AT ITER 50 NEW BEST:: SOT 10578 SOS 5146 HAS SOPS 5146 HAS SOUS 4855 HAS SOUPS 4855 WITH SCORE 4860.146
AT ITER 52 NEW BEST:: SOT 10516 SOS 5053 HAS SOPS 5053 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4767.053
AT ITER 55 NEW BEST:: SOT 10487 SOS 5051 HAS SOPS 5051 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4751.051
AT ITER 56 NEW BEST:: SOT 10438 SOS 4999 HAS SOPS 4999 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4694.999
AT ITER 57 NEW BEST:: SOT 10436 SOS 4997 HAS SOPS 4997 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4692.997
AT ITER 58 NEW BEST:: SOT 10434 SOS 5006 HAS SOPS 5006 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4690.006
AT ITER 59 NEW BEST:: SOT 10425 SOS 4988 HAS SOPS 4988 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4671.988
AT ITER 62 NEW BEST:: SOT 10415 SOS 4968 HAS SOPS 4968 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4661.968
AT ITER 66 NEW BEST:: SOT 10392 SOS 5007 HAS SOPS 5007 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4643.007
AT ITER 68 NEW BEST:: SOT 10303 SOS 4883 HAS SOPS 4883 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4518.883
AT ITER 69 NEW BEST:: SOT 10311 SOS 4824 HAS SOPS 4824 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4517.824
AT ITER 70 NEW BEST:: SOT 10302 SOS 4765 HAS SOPS 4765 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4504.765
AT ITER 77 NEW BEST:: SOT 10300 SOS 4761 HAS SOPS 4761 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4500.761
AT ITER 79 NEW BEST:: SOT 10267 SOS 4695 HAS SOPS 4695 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4473.695
AT ITER 81 NEW BEST:: SOT 10241 SOS 4643 HAS SOPS 4643 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4456.643
AT ITER 86 NEW BEST:: SOT 10167 SOS 4607 HAS SOPS 4607 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4397.607
AT ITER 93 NEW BEST:: SOT 10125 SOS 4570 HAS SOPS 4570 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4360.57
AT ITER 103 NEW BEST:: SOT 10125 SOS 4562 HAS SOPS 4562 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4352.562
AT ITER 107 NEW BEST:: SOT 10108 SOS 4528 HAS SOPS 4528 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4318.528
AT ITER 110 NEW BEST:: SOT 10099 SOS 4510 HAS SOPS 4510 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4300.51
AT ITER 117 NEW BEST:: SOT 10005 SOS 4416 HAS SOPS 4416 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4206.416
AT ITER 118 NEW BEST:: SOT 9968 SOS 4342 HAS SOPS 4342 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4132.342
AT ITER 119 NEW BEST:: SOT 9950 SOS 4306 HAS SOPS 4306 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4096.306
AT ITER 122 NEW BEST:: SOT 9937 SOS 4280 HAS SOPS 4280 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4070.28
AT ITER 126 NEW BEST:: SOT 9931 SOS 4268 HAS SOPS 4268 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4058.268
AT ITER 129 NEW BEST:: SOT 9871 SOS 4243 HAS SOPS 4243 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 3998.243
AT ITER 130 NEW BEST:: SOT 9871 SOS 4215 HAS SOPS 4215 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3970.215
AT ITER 139 NEW BEST:: SOT 9871 SOS 4160 HAS SOPS 4160 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3969.16
AT ITER 141 NEW BEST:: SOT 9816 SOS 4050 HAS SOPS 4050 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3904.05
AT ITER 149 NEW BEST:: SOT 9702 SOS 3945 HAS SOPS 3945 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3747.945
AT ITER 152 NEW BEST:: SOT 9690 SOS 3893 HAS SOPS 3893 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3735.893
AT ITER 157 NEW BEST:: SOT 9681 SOS 3875 HAS SOPS 3875 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3726.875
AT ITER 163 NEW BEST:: SOT 9579 SOS 3799 HAS SOPS 3799 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3602.799
AT ITER 170 NEW BEST:: SOT 9559 SOS 3759 HAS SOPS 3759 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3562.759
AT ITER 173 NEW BEST:: SOT 9515 SOS 3720 HAS SOPS 3720 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3523.72
AT ITER 180 NEW BEST:: SOT 9470 SOS 3630 HAS SOPS 3630 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3433.63
AT ITER 196 NEW BEST:: SOT 9467 SOS 3666 HAS SOPS 3666 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3430.666
AT ITER 213 NEW BEST:: SOT 9458 SOS 3657 HAS SOPS 3657 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3421.657
AT ITER 220 NEW BEST:: SOT 9442 SOS 3743 HAS SOPS 3743 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3413.743
AT ITER 224 NEW BEST:: SOT 9429 SOS 3717 HAS SOPS 3717 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3400.717
AT ITER 227 NEW BEST:: SOT 9406 SOS 3706 HAS SOPS 3706 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3368.706
AT ITER 229 NEW BEST:: SOT 9406 SOS 3706 HAS SOPS 3706 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3355.706
AT ITER 230 NEW BEST:: SOT 9406 SOS 3706 HAS SOPS 3706 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3350.706
AT ITER 231 NEW BEST:: SOT 9394 SOS 3682 HAS SOPS 3682 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.682
AT ITER 233 NEW BEST:: SOT 9379 SOS 3663 HAS SOPS 3663 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.663
AT ITER 240 NEW BEST:: SOT 9355 SOS 3615 HAS SOPS 3615 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3295.615
AT ITER 244 NEW BEST:: SOT 9351 SOS 3543 HAS SOPS 3543 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3237.543
AT ITER 255 NEW BEST:: SOT 9321 SOS 3483 HAS SOPS 3483 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.483
AT ITER 257 NEW BEST:: SOT 9279 SOS 3399 HAS SOPS 3399 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.399
AT ITER 270 NEW BEST:: SOT 9266 SOS 3373 HAS SOPS 3373 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3099.373
AT ITER 276 NEW BEST:: SOT 9270 SOS 3372 HAS SOPS 3372 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3098.372
AT ITER 280 NEW BEST:: SOT 9263 SOS 3358 HAS SOPS 3358 HAS SOUS 3081 HAS SOUPS 3081 WITH SCORE 3084.358
AT ITER 285 NEW BEST:: SOT 9243 SOS 3338 HAS SOPS 3338 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.338
AT ITER 287 NEW BEST:: SOT 9235 SOS 3322 HAS SOPS 3322 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3030.322
AT ITER 290 NEW BEST:: SOT 9217 SOS 3286 HAS SOPS 3286 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3012.286
AT ITER 291 NEW BEST:: SOT 9171 SOS 3194 HAS SOPS 3194 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2963.194
AT ITER 295 NEW BEST:: SOT 9164 SOS 3180 HAS SOPS 3180 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.18
AT ITER 303 NEW BEST:: SOT 9148 SOS 3148 HAS SOPS 3148 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2932.148
AT ITER 306 NEW BEST:: SOT 9103 SOS 3086 HAS SOPS 3086 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.086
AT ITER 307 NEW BEST:: SOT 9081 SOS 3076 HAS SOPS 3076 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.076
AT ITER 308 NEW BEST:: SOT 9073 SOS 3060 HAS SOPS 3060 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.06
AT ITER 309 NEW BEST:: SOT 9072 SOS 3058 HAS SOPS 3058 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2796.058
AT ITER 319 NEW BEST:: SOT 9027 SOS 3026 HAS SOPS 3026 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2763.026
AT ITER 329 NEW BEST:: SOT 9026 SOS 3024 HAS SOPS 3024 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.024
AT ITER 335 NEW BEST:: SOT 9011 SOS 2994 HAS SOPS 2994 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2736.994
AT ITER 336 NEW BEST:: SOT 9008 SOS 2988 HAS SOPS 2988 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2730.988
AT ITER 340 NEW BEST:: SOT 8991 SOS 2954 HAS SOPS 2954 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2677.954
AT ITER 345 NEW BEST:: SOT 8976 SOS 2944 HAS SOPS 2944 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2647.944
AT ITER 347 NEW BEST:: SOT 8974 SOS 2942 HAS SOPS 2942 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2645.942
AT ITER 354 NEW BEST:: SOT 8954 SOS 2933 HAS SOPS 2933 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2636.933
AT ITER 356 NEW BEST:: SOT 8944 SOS 2929 HAS SOPS 2929 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.929
AT ITER 357 NEW BEST:: SOT 8920 SOS 2881 HAS SOPS 2881 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2581.881
AT ITER 363 NEW BEST:: SOT 8913 SOS 2876 HAS SOPS 2876 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2576.876
AT ITER 367 NEW BEST:: SOT 8912 SOS 2882 HAS SOPS 2882 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2575.882
AT ITER 370 NEW BEST:: SOT 8889 SOS 2836 HAS SOPS 2836 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2529.836
AT ITER 391 NEW BEST:: SOT 8863 SOS 2784 HAS SOPS 2784 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.784
AT ITER 393 NEW BEST:: SOT 8879 SOS 2777 HAS SOPS 2777 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.777
AT ITER 394 NEW BEST:: SOT 8872 SOS 2774 HAS SOPS 2774 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2471.774
AT ITER 406 NEW BEST:: SOT 8888 SOS 2763 HAS SOPS 2763 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.763
AT ITER 413 NEW BEST:: SOT 8876 SOS 2776 HAS SOPS 2776 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2457.776
AT ITER 415 NEW BEST:: SOT 8869 SOS 2769 HAS SOPS 2769 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2450.769
AT ITER 424 NEW BEST:: SOT 8812 SOS 2718 HAS SOPS 2718 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2393.718
AT ITER 429 NEW BEST:: SOT 8819 SOS 2732 HAS SOPS 2732 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2388.732
AT ITER 450 NEW BEST:: SOT 8811 SOS 2716 HAS SOPS 2716 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.716
AT ITER 451 NEW BEST:: SOT 8788 SOS 2559 HAS SOPS 2559 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.559
AT ITER 456 NEW BEST:: SOT 8741 SOS 2539 HAS SOPS 2539 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.539
AT ITER 457 NEW BEST:: SOT 8741 SOS 2539 HAS SOPS 2539 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2269.539
AT ITER 467 NEW BEST:: SOT 8727 SOS 2518 HAS SOPS 2518 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2248.518
AT ITER 472 NEW BEST:: SOT 8726 SOS 2516 HAS SOPS 2516 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2247.516
AT ITER 481 NEW BEST:: SOT 8724 SOS 2515 HAS SOPS 2515 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2246.515
AT ITER 492 NEW BEST:: SOT 8707 SOS 2481 HAS SOPS 2481 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.481
AT ITER 499 NEW BEST:: SOT 8696 SOS 2423 HAS SOPS 2423 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.423
AT ITER 514 NEW BEST:: SOT 8694 SOS 2419 HAS SOPS 2419 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.419
AT ITER 517 NEW BEST:: SOT 8694 SOS 2401 HAS SOPS 2401 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.401
AT ITER 521 NEW BEST:: SOT 8691 SOS 2395 HAS SOPS 2395 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.395
AT ITER 526 NEW BEST:: SOT 8683 SOS 2387 HAS SOPS 2387 HAS SOUS 2154 HAS SOUPS 2154 WITH SCORE 2156.387
AT ITER 527 NEW BEST:: SOT 8676 SOS 2373 HAS SOPS 2373 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.373
AT ITER 532 NEW BEST:: SOT 8673 SOS 2367 HAS SOPS 2367 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2143.367
AT ITER 536 NEW BEST:: SOT 8649 SOS 2361 HAS SOPS 2361 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.361
AT ITER 548 NEW BEST:: SOT 8642 SOS 2347 HAS SOPS 2347 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.347
AT ITER 551 NEW BEST:: SOT 8638 SOS 2335 HAS SOPS 2335 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.335
AT ITER 561 NEW BEST:: SOT 8638 SOS 2335 HAS SOPS 2335 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.335
AT ITER 573 NEW BEST:: SOT 8638 SOS 2328 HAS SOPS 2328 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.328
AT ITER 574 NEW BEST:: SOT 8636 SOS 2324 HAS SOPS 2324 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.324
AT ITER 580 NEW BEST:: SOT 8624 SOS 2344 HAS SOPS 2344 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2091.344
AT ITER 609 NEW BEST:: SOT 8624 SOS 2342 HAS SOPS 2342 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2089.342
AT ITER 613 NEW BEST:: SOT 8625 SOS 2332 HAS SOPS 2332 HAS SOUS 2077 HAS SOUPS 2077 WITH SCORE 2079.332
AT ITER 630 NEW BEST:: SOT 8625 SOS 2323 HAS SOPS 2323 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.323
AT ITER 635 NEW BEST:: SOT 8617 SOS 2307 HAS SOPS 2307 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.307
AT ITER 646 NEW BEST:: SOT 8617 SOS 2295 HAS SOPS 2295 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.295
AT ITER 658 NEW BEST:: SOT 8591 SOS 2277 HAS SOPS 2277 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.277
AT ITER 683 NEW BEST:: SOT 8579 SOS 2253 HAS SOPS 2253 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.253
AT ITER 688 NEW BEST:: SOT 8579 SOS 2244 HAS SOPS 2244 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.244
AT ITER 694 NEW BEST:: SOT 8564 SOS 2229 HAS SOPS 2229 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.229
AT ITER 703 NEW BEST:: SOT 8562 SOS 2223 HAS SOPS 2223 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1982.223
AT ITER 704 NEW BEST:: SOT 8547 SOS 2178 HAS SOPS 2178 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1952.178
AT ITER 718 NEW BEST:: SOT 8541 SOS 2166 HAS SOPS 2166 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1941.166
AT ITER 725 NEW BEST:: SOT 8538 SOS 2121 HAS SOPS 2121 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.121
AT ITER 726 NEW BEST:: SOT 8553 SOS 2110 HAS SOPS 2110 HAS SOUS 1923 HAS SOUPS 1923 WITH SCORE 1925.11
AT ITER 730 NEW BEST:: SOT 8520 SOS 2044 HAS SOPS 2044 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1853.044
AT ITER 771 NEW BEST:: SOT 8482 SOS 1930 HAS SOPS 1930 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1776.93
AT ITER 772 NEW BEST:: SOT 8482 SOS 1928 HAS SOPS 1928 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1776.928
AT ITER 780 NEW BEST:: SOT 8464 SOS 1917 HAS SOPS 1917 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1756.917
AT ITER 787 NEW BEST:: SOT 8468 SOS 1925 HAS SOPS 1925 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1754.925
AT ITER 790 NEW BEST:: SOT 8468 SOS 1924 HAS SOPS 1924 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1754.924
AT ITER 802 NEW BEST:: SOT 8468 SOS 1924 HAS SOPS 1924 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1744.924
AT ITER 804 NEW BEST:: SOT 8468 SOS 1924 HAS SOPS 1924 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1740.924
AT ITER 811 NEW BEST:: SOT 8468 SOS 1924 HAS SOPS 1924 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1738.924
AT ITER 813 NEW BEST:: SOT 8467 SOS 1922 HAS SOPS 1922 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.922
AT ITER 823 NEW BEST:: SOT 8470 SOS 1900 HAS SOPS 1900 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1714.9
AT ITER 825 NEW BEST:: SOT 8455 SOS 1870 HAS SOPS 1870 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1671.87
AT ITER 837 NEW BEST:: SOT 8430 SOS 1849 HAS SOPS 1849 HAS SOUS 1637 HAS SOUPS 1637 WITH SCORE 1638.849
AT ITER 838 NEW BEST:: SOT 8428 SOS 1845 HAS SOPS 1845 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1636.845
AT ITER 844 NEW BEST:: SOT 8444 SOS 1829 HAS SOPS 1829 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1631.829
AT ITER 856 NEW BEST:: SOT 8439 SOS 1819 HAS SOPS 1819 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1623.819
AT ITER 873 NEW BEST:: SOT 8438 SOS 1800 HAS SOPS 1800 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.8
AT ITER 875 NEW BEST:: SOT 8434 SOS 1798 HAS SOPS 1798 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1617.798
AT ITER 880 NEW BEST:: SOT 8404 SOS 1738 HAS SOPS 1738 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1552.738
AT ITER 886 NEW BEST:: SOT 8381 SOS 1727 HAS SOPS 1727 HAS SOUS 1540 HAS SOUPS 1540 WITH SCORE 1541.727
AT ITER 899 NEW BEST:: SOT 8363 SOS 1691 HAS SOPS 1691 HAS SOUS 1504 HAS SOUPS 1504 WITH SCORE 1505.691
AT ITER 901 NEW BEST:: SOT 8362 SOS 1688 HAS SOPS 1688 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1503.688
AT ITER 916 NEW BEST:: SOT 8356 SOS 1668 HAS SOPS 1668 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.668
AT ITER 931 NEW BEST:: SOT 8353 SOS 1666 HAS SOPS 1666 HAS SOUS 1493 HAS SOUPS 1493 WITH SCORE 1494.666
AT ITER 942 NEW BEST:: SOT 8336 SOS 1632 HAS SOPS 1632 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1470.632
AT ITER 957 NEW BEST:: SOT 8334 SOS 1628 HAS SOPS 1628 HAS SOUS 1467 HAS SOUPS 1467 WITH SCORE 1468.628
AT ITER 958 NEW BEST:: SOT 8333 SOS 1613 HAS SOPS 1613 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1467.613
AT ITER 963 NEW BEST:: SOT 8332 SOS 1611 HAS SOPS 1611 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1465.611
AT ITER 974 NEW BEST:: SOT 8345 SOS 1566 HAS SOPS 1566 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1414.566
AT ITER 975 NEW BEST:: SOT 8359 SOS 1594 HAS SOPS 1594 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1387.594
AT ITER 988 NEW BEST:: SOT 8348 SOS 1572 HAS SOPS 1572 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1383.572
AT ITER 993 NEW BEST:: SOT 8348 SOS 1570 HAS SOPS 1570 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1383.57
AT ITER 1004 NEW BEST:: SOT 8348 SOS 1564 HAS SOPS 1564 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1377.564
AT ITER 1016 NEW BEST:: SOT 8332 SOS 1532 HAS SOPS 1532 HAS SOUS 1344 HAS SOUPS 1344 WITH SCORE 1345.532
AT ITER 1017 NEW BEST:: SOT 8330 SOS 1528 HAS SOPS 1528 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1343.528
AT ITER 1034 NEW BEST:: SOT 8326 SOS 1538 HAS SOPS 1538 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1339.538
AT ITER 1042 NEW BEST:: SOT 8313 SOS 1512 HAS SOPS 1512 HAS SOUS 1317 HAS SOUPS 1317 WITH SCORE 1318.512
AT ITER 1049 NEW BEST:: SOT 8299 SOS 1513 HAS SOPS 1513 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1303.513
AT ITER 1059 NEW BEST:: SOT 8299 SOS 1504 HAS SOPS 1504 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1303.504
AT ITER 1064 NEW BEST:: SOT 8292 SOS 1490 HAS SOPS 1490 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.49
AT ITER 1068 NEW BEST:: SOT 8282 SOS 1470 HAS SOPS 1470 HAS SOUS 1264 HAS SOUPS 1264 WITH SCORE 1265.47
AT ITER 1073 NEW BEST:: SOT 8273 SOS 1452 HAS SOPS 1452 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.452
AT ITER 1085 NEW BEST:: SOT 8273 SOS 1452 HAS SOPS 1452 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1243.452
AT ITER 1092 NEW BEST:: SOT 8273 SOS 1452 HAS SOPS 1452 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1237.452
AT ITER 1101 NEW BEST:: SOT 8273 SOS 1452 HAS SOPS 1452 HAS SOUS 1207 HAS SOUPS 1207 WITH SCORE 1208.452
AT ITER 1137 NEW BEST:: SOT 8273 SOS 1440 HAS SOPS 1440 HAS SOUS 1200 HAS SOUPS 1200 WITH SCORE 1201.44
AT ITER 1141 NEW BEST:: SOT 8272 SOS 1438 HAS SOPS 1438 HAS SOUS 1199 HAS SOUPS 1199 WITH SCORE 1200.438
AT ITER 1152 NEW BEST:: SOT 8271 SOS 1436 HAS SOPS 1436 HAS SOUS 1198 HAS SOUPS 1198 WITH SCORE 1199.436
AT ITER 1154 NEW BEST:: SOT 8269 SOS 1408 HAS SOPS 1408 HAS SOUS 1196 HAS SOUPS 1196 WITH SCORE 1197.408
AT ITER 1176 NEW BEST:: SOT 8268 SOS 1407 HAS SOPS 1407 HAS SOUS 1195 HAS SOUPS 1195 WITH SCORE 1196.407
AT ITER 1186 NEW BEST:: SOT 8264 SOS 1389 HAS SOPS 1389 HAS SOUS 1191 HAS SOUPS 1191 WITH SCORE 1192.389
AT ITER 1197 NEW BEST:: SOT 8257 SOS 1363 HAS SOPS 1363 HAS SOUS 1184 HAS SOUPS 1184 WITH SCORE 1185.363
AT ITER 1217 NEW BEST:: SOT 8252 SOS 1328 HAS SOPS 1328 HAS SOUS 1167 HAS SOUPS 1167 WITH SCORE 1168.328
AT ITER 1258 NEW BEST:: SOT 8248 SOS 1314 HAS SOPS 1314 HAS SOUS 1163 HAS SOUPS 1163 WITH SCORE 1164.314
AT ITER 1262 NEW BEST:: SOT 8236 SOS 1290 HAS SOPS 1290 HAS SOUS 1135 HAS SOUPS 1135 WITH SCORE 1136.29
AT ITER 1264 NEW BEST:: SOT 8233 SOS 1281 HAS SOPS 1281 HAS SOUS 1130 HAS SOUPS 1130 WITH SCORE 1131.281
AT ITER 1272 NEW BEST:: SOT 8234 SOS 1283 HAS SOPS 1283 HAS SOUS 1129 HAS SOUPS 1129 WITH SCORE 1130.283
AT ITER 1275 NEW BEST:: SOT 8224 SOS 1292 HAS SOPS 1292 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1125.292
AT ITER 1282 NEW BEST:: SOT 8222 SOS 1288 HAS SOPS 1288 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.288
AT ITER 1302 NEW BEST:: SOT 8216 SOS 1276 HAS SOPS 1276 HAS SOUS 1111 HAS SOUPS 1111 WITH SCORE 1112.276
AT ITER 1324 NEW BEST:: SOT 8207 SOS 1276 HAS SOPS 1276 HAS SOUS 1102 HAS SOUPS 1102 WITH SCORE 1103.276
AT ITER 1334 NEW BEST:: SOT 8199 SOS 1260 HAS SOPS 1260 HAS SOUS 1094 HAS SOUPS 1094 WITH SCORE 1095.26
AT ITER 1340 NEW BEST:: SOT 8190 SOS 1242 HAS SOPS 1242 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1065.242
AT ITER 1344 NEW BEST:: SOT 8187 SOS 1232 HAS SOPS 1232 HAS SOUS 1057 HAS SOUPS 1057 WITH SCORE 1058.232
AT ITER 1348 NEW BEST:: SOT 8182 SOS 1252 HAS SOPS 1252 HAS SOUS 1054 HAS SOUPS 1054 WITH SCORE 1055.252
AT ITER 1362 NEW BEST:: SOT 8181 SOS 1241 HAS SOPS 1241 HAS SOUS 1050 HAS SOUPS 1050 WITH SCORE 1051.241
AT ITER 1363 NEW BEST:: SOT 8178 SOS 1224 HAS SOPS 1224 HAS SOUS 1047 HAS SOUPS 1047 WITH SCORE 1048.224
AT ITER 1381 NEW BEST:: SOT 8172 SOS 1173 HAS SOPS 1173 HAS SOUS 1041 HAS SOUPS 1041 WITH SCORE 1042.173
AT ITER 1412 NEW BEST:: SOT 8170 SOS 1165 HAS SOPS 1165 HAS SOUS 1036 HAS SOUPS 1036 WITH SCORE 1037.165
AT ITER 1413 NEW BEST:: SOT 8166 SOS 1157 HAS SOPS 1157 HAS SOUS 1028 HAS SOUPS 1028 WITH SCORE 1029.157
AT ITER 1426 NEW BEST:: SOT 8157 SOS 1130 HAS SOPS 1130 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1012.13
AT ITER 1452 NEW BEST:: SOT 8167 SOS 1120 HAS SOPS 1120 HAS SOUS 1001 HAS SOUPS 1001 WITH SCORE 1002.12
AT ITER 1462 NEW BEST:: SOT 8165 SOS 1116 HAS SOPS 1116 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1000.116
AT ITER 1492 NEW BEST:: SOT 8167 SOS 1120 HAS SOPS 1120 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 991.12
AT ITER 1509 NEW BEST:: SOT 8163 SOS 1108 HAS SOPS 1108 HAS SOUS 986 HAS SOUPS 986 WITH SCORE 987.108
AT ITER 1523 NEW BEST:: SOT 8150 SOS 1082 HAS SOPS 1082 HAS SOUS 971 HAS SOUPS 971 WITH SCORE 972.082
AT ITER 1539 NEW BEST:: SOT 8147 SOS 1090 HAS SOPS 1090 HAS SOUS 968 HAS SOUPS 968 WITH SCORE 969.09
AT ITER 1551 NEW BEST:: SOT 8146 SOS 1088 HAS SOPS 1088 HAS SOUS 966 HAS SOUPS 966 WITH SCORE 967.088
AT ITER 1593 NEW BEST:: SOT 8144 SOS 1084 HAS SOPS 1084 HAS SOUS 962 HAS SOUPS 962 WITH SCORE 963.084
AT ITER 1597 NEW BEST:: SOT 8143 SOS 1081 HAS SOPS 1081 HAS SOUS 960 HAS SOUPS 960 WITH SCORE 961.081
AT ITER 1598 NEW BEST:: SOT 8142 SOS 1079 HAS SOPS 1079 HAS SOUS 955 HAS SOUPS 955 WITH SCORE 956.079
AT ITER 1607 NEW BEST:: SOT 8132 SOS 1040 HAS SOPS 1040 HAS SOUS 934 HAS SOUPS 934 WITH SCORE 935.04
AT ITER 1613 NEW BEST:: SOT 8132 SOS 1034 HAS SOPS 1034 HAS SOUS 930 HAS SOUPS 930 WITH SCORE 931.034
AT ITER 1614 NEW BEST:: SOT 8132 SOS 1029 HAS SOPS 1029 HAS SOUS 930 HAS SOUPS 930 WITH SCORE 931.029
AT ITER 1665 NEW BEST:: SOT 8130 SOS 1039 HAS SOPS 1039 HAS SOUS 928 HAS SOUPS 928 WITH SCORE 929.039
AT ITER 1689 NEW BEST:: SOT 8128 SOS 1035 HAS SOPS 1035 HAS SOUS 924 HAS SOUPS 924 WITH SCORE 925.035
AT ITER 1699 NEW BEST:: SOT 8125 SOS 1029 HAS SOPS 1029 HAS SOUS 921 HAS SOUPS 921 WITH SCORE 922.029
AT ITER 1720 NEW BEST:: SOT 8123 SOS 1027 HAS SOPS 1027 HAS SOUS 919 HAS SOUPS 919 WITH SCORE 920.027
AT ITER 1725 NEW BEST:: SOT 8118 SOS 1017 HAS SOPS 1017 HAS SOUS 909 HAS SOUPS 909 WITH SCORE 910.017
AT ITER 1727 NEW BEST:: SOT 8118 SOS 1017 HAS SOPS 1017 HAS SOUS 908 HAS SOUPS 908 WITH SCORE 909.017
AT ITER 1728 NEW BEST:: SOT 8118 SOS 1010 HAS SOPS 1010 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 903.01
AT ITER 1755 NEW BEST:: SOT 8118 SOS 1008 HAS SOPS 1008 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 903.008
AT ITER 1812 NEW BEST:: SOT 8116 SOS 1020 HAS SOPS 1020 HAS SOUS 900 HAS SOUPS 900 WITH SCORE 901.02
AT ITER 1820 NEW BEST:: SOT 8110 SOS 977 HAS SOPS 977 HAS SOUS 882 HAS SOUPS 882 WITH SCORE 882.977
AT ITER 1832 NEW BEST:: SOT 8108 SOS 973 HAS SOPS 973 HAS SOUS 880 HAS SOUPS 880 WITH SCORE 880.973
AT ITER 1854 NEW BEST:: SOT 8108 SOS 973 HAS SOPS 973 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 875.973
AT ITER 1879 NEW BEST:: SOT 8107 SOS 971 HAS SOPS 971 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 874.971
AT ITER 1983 NEW BEST:: SOT 8108 SOS 970 HAS SOPS 970 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 874.97
AT ITER 1996 NEW BEST:: SOT 8115 SOS 969 HAS SOPS 969 HAS SOUS 873 HAS SOUPS 873 WITH SCORE 873.969
AT ITER 2006 NEW BEST:: SOT 8109 SOS 957 HAS SOPS 957 HAS SOUS 867 HAS SOUPS 867 WITH SCORE 867.957
AT ITER 2025 NEW BEST:: SOT 8108 SOS 965 HAS SOPS 965 HAS SOUS 866 HAS SOUPS 866 WITH SCORE 866.965
AT ITER 2040 NEW BEST:: SOT 8099 SOS 947 HAS SOPS 947 HAS SOUS 848 HAS SOUPS 848 WITH SCORE 848.947
AT ITER 2061 NEW BEST:: SOT 8080 SOS 909 HAS SOPS 909 HAS SOUS 819 HAS SOUPS 819 WITH SCORE 819.909
AT ITER 2126 NEW BEST:: SOT 8072 SOS 904 HAS SOPS 904 HAS SOUS 814 HAS SOUPS 814 WITH SCORE 814.904
AT ITER 2132 NEW BEST:: SOT 8071 SOS 903 HAS SOPS 903 HAS SOUS 813 HAS SOUPS 813 WITH SCORE 813.903
AT ITER 2134 NEW BEST:: SOT 8070 SOS 901 HAS SOPS 901 HAS SOUS 812 HAS SOUPS 812 WITH SCORE 812.901
AT ITER 2148 NEW BEST:: SOT 8068 SOS 895 HAS SOPS 895 HAS SOUS 808 HAS SOUPS 808 WITH SCORE 808.895
AT ITER 2158 NEW BEST:: SOT 8067 SOS 893 HAS SOPS 893 HAS SOUS 805 HAS SOUPS 805 WITH SCORE 805.893
AT ITER 2159 NEW BEST:: SOT 8064 SOS 887 HAS SOPS 887 HAS SOUS 802 HAS SOUPS 802 WITH SCORE 802.887
AT ITER 2207 NEW BEST:: SOT 8064 SOS 887 HAS SOPS 887 HAS SOUS 798 HAS SOUPS 798 WITH SCORE 798.887
AT ITER 2243 NEW BEST:: SOT 8065 SOS 879 HAS SOPS 879 HAS SOUS 790 HAS SOUPS 790 WITH SCORE 790.879
AT ITER 2366 NEW BEST:: SOT 8063 SOS 878 HAS SOPS 878 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 788.878
AT ITER 2503 NEW BEST:: SOT 8063 SOS 873 HAS SOPS 873 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 788.873
AT ITER 2516 NEW BEST:: SOT 8060 SOS 867 HAS SOPS 867 HAS SOUS 783 HAS SOUPS 783 WITH SCORE 783.867
AT ITER 2528 NEW BEST:: SOT 8054 SOS 855 HAS SOPS 855 HAS SOUS 777 HAS SOUPS 777 WITH SCORE 777.855
AT ITER 2529 NEW BEST:: SOT 8056 SOS 859 HAS SOPS 859 HAS SOUS 775 HAS SOUPS 775 WITH SCORE 775.859
AT ITER 2538 NEW BEST:: SOT 8056 SOS 857 HAS SOPS 857 HAS SOUS 775 HAS SOUPS 775 WITH SCORE 775.857
AT ITER 2546 NEW BEST:: SOT 8056 SOS 857 HAS SOPS 857 HAS SOUS 769 HAS SOUPS 769 WITH SCORE 769.857
AT ITER 2558 NEW BEST:: SOT 8052 SOS 849 HAS SOPS 849 HAS SOUS 764 HAS SOUPS 764 WITH SCORE 764.849
AT ITER 2579 NEW BEST:: SOT 8050 SOS 845 HAS SOPS 845 HAS SOUS 760 HAS SOUPS 760 WITH SCORE 760.845
AT ITER 2620 NEW BEST:: SOT 8047 SOS 842 HAS SOPS 842 HAS SOUS 757 HAS SOUPS 757 WITH SCORE 757.842
AT ITER 2631 NEW BEST:: SOT 8047 SOS 840 HAS SOPS 840 HAS SOUS 757 HAS SOUPS 757 WITH SCORE 757.84
AT ITER 2687 NEW BEST:: SOT 8045 SOS 822 HAS SOPS 822 HAS SOUS 755 HAS SOUPS 755 WITH SCORE 755.822
AT ITER 2747 NEW BEST:: SOT 8043 SOS 825 HAS SOPS 825 HAS SOUS 753 HAS SOUPS 753 WITH SCORE 753.825
AT ITER 2792 NEW BEST:: SOT 8036 SOS 811 HAS SOPS 811 HAS SOUS 739 HAS SOUPS 739 WITH SCORE 739.811
AT ITER 2863 NEW BEST:: SOT 8036 SOS 809 HAS SOPS 809 HAS SOUS 737 HAS SOUPS 737 WITH SCORE 737.809
AT ITER 2892 NEW BEST:: SOT 8036 SOS 802 HAS SOPS 802 HAS SOUS 735 HAS SOUPS 735 WITH SCORE 735.802
AT ITER 2898 NEW BEST:: SOT 8028 SOS 786 HAS SOPS 786 HAS SOUS 719 HAS SOUPS 719 WITH SCORE 719.786
AT ITER 2922 NEW BEST:: SOT 8021 SOS 780 HAS SOPS 780 HAS SOUS 712 HAS SOUPS 712 WITH SCORE 712.78
AT ITER 2931 NEW BEST:: SOT 8021 SOS 780 HAS SOPS 780 HAS SOUS 707 HAS SOUPS 707 WITH SCORE 707.78
AT ITER 2932 NEW BEST:: SOT 8024 SOS 778 HAS SOPS 778 HAS SOUS 707 HAS SOUPS 707 WITH SCORE 707.778
AT ITER 2953 NEW BEST:: SOT 8021 SOS 772 HAS SOPS 772 HAS SOUS 704 HAS SOUPS 704 WITH SCORE 704.772
AT ITER 3021 NEW BEST:: SOT 8020 SOS 769 HAS SOPS 769 HAS SOUS 702 HAS SOUPS 702 WITH SCORE 702.769
AT ITER 3047 NEW BEST:: SOT 8019 SOS 767 HAS SOPS 767 HAS SOUS 700 HAS SOUPS 700 WITH SCORE 700.767
AT ITER 3096 NEW BEST:: SOT 8019 SOS 765 HAS SOPS 765 HAS SOUS 698 HAS SOUPS 698 WITH SCORE 698.765
AT ITER 3106 NEW BEST:: SOT 8019 SOS 768 HAS SOPS 768 HAS SOUS 697 HAS SOUPS 697 WITH SCORE 697.768
AT ITER 3169 NEW BEST:: SOT 8016 SOS 781 HAS SOPS 781 HAS SOUS 694 HAS SOUPS 694 WITH SCORE 694.781
AT ITER 3222 NEW BEST:: SOT 8016 SOS 781 HAS SOPS 781 HAS SOUS 693 HAS SOUPS 693 WITH SCORE 693.781
AT ITER 3280 NEW BEST:: SOT 8013 SOS 772 HAS SOPS 772 HAS SOUS 687 HAS SOUPS 687 WITH SCORE 687.772
AT ITER 3307 NEW BEST:: SOT 8003 SOS 760 HAS SOPS 760 HAS SOUS 675 HAS SOUPS 675 WITH SCORE 675.76
AT ITER 3360 NEW BEST:: SOT 8000 SOS 754 HAS SOPS 754 HAS SOUS 673 HAS SOUPS 673 WITH SCORE 673.754
AT ITER 3463 NEW BEST:: SOT 7995 SOS 744 HAS SOPS 744 HAS SOUS 663 HAS SOUPS 663 WITH SCORE 663.744
AT ITER 3465 NEW BEST:: SOT 7993 SOS 743 HAS SOPS 743 HAS SOUS 662 HAS SOUPS 662 WITH SCORE 662.743
AT ITER 3489 NEW BEST:: SOT 7993 SOS 741 HAS SOPS 741 HAS SOUS 662 HAS SOUPS 662 WITH SCORE 662.741
AT ITER 3492 NEW BEST:: SOT 7985 SOS 725 HAS SOPS 725 HAS SOUS 649 HAS SOUPS 649 WITH SCORE 649.725
AT ITER 3536 NEW BEST:: SOT 7984 SOS 722 HAS SOPS 722 HAS SOUS 647 HAS SOUPS 647 WITH SCORE 647.722
AT ITER 3579 NEW BEST:: SOT 7977 SOS 701 HAS SOPS 701 HAS SOUS 636 HAS SOUPS 636 WITH SCORE 636.701
AT ITER 3600 NEW BEST:: SOT 7973 SOS 693 HAS SOPS 693 HAS SOUS 633 HAS SOUPS 633 WITH SCORE 633.693
AT ITER 3656 NEW BEST:: SOT 7968 SOS 688 HAS SOPS 688 HAS SOUS 628 HAS SOUPS 628 WITH SCORE 628.688
AT ITER 3687 NEW BEST:: SOT 7968 SOS 688 HAS SOPS 688 HAS SOUS 627 HAS SOUPS 627 WITH SCORE 627.688
AT ITER 3701 NEW BEST:: SOT 7968 SOS 687 HAS SOPS 687 HAS SOUS 627 HAS SOUPS 627 WITH SCORE 627.687
AT ITER 3739 NEW BEST:: SOT 7964 SOS 670 HAS SOPS 670 HAS SOUS 622 HAS SOUPS 622 WITH SCORE 622.67
AT ITER 3746 NEW BEST:: SOT 7963 SOS 668 HAS SOPS 668 HAS SOUS 620 HAS SOUPS 620 WITH SCORE 620.668
AT ITER 3771 NEW BEST:: SOT 7972 SOS 671 HAS SOPS 671 HAS SOUS 616 HAS SOUPS 616 WITH SCORE 616.671
AT ITER 3798 NEW BEST:: SOT 7971 SOS 669 HAS SOPS 669 HAS SOUS 615 HAS SOUPS 615 WITH SCORE 615.669
AT ITER 3799 NEW BEST:: SOT 7970 SOS 667 HAS SOPS 667 HAS SOUS 611 HAS SOUPS 611 WITH SCORE 611.667
AT ITER 3867 NEW BEST:: SOT 7971 SOS 664 HAS SOPS 664 HAS SOUS 608 HAS SOUPS 608 WITH SCORE 608.664
AT ITER 3980 NEW BEST:: SOT 7970 SOS 668 HAS SOPS 668 HAS SOUS 607 HAS SOUPS 607 WITH SCORE 607.668
AT ITER 4068 NEW BEST:: SOT 7969 SOS 667 HAS SOPS 667 HAS SOUS 606 HAS SOUPS 606 WITH SCORE 606.667
AT ITER 4145 NEW BEST:: SOT 7963 SOS 655 HAS SOPS 655 HAS SOUS 601 HAS SOUPS 601 WITH SCORE 601.655
AT ITER 4211 NEW BEST:: SOT 7963 SOS 655 HAS SOPS 655 HAS SOUS 600 HAS SOUPS 600 WITH SCORE 600.655
AT ITER 4265 NEW BEST:: SOT 7963 SOS 655 HAS SOPS 655 HAS SOUS 599 HAS SOUPS 599 WITH SCORE 599.655
AT ITER 4271 NEW BEST:: SOT 7959 SOS 653 HAS SOPS 653 HAS SOUS 595 HAS SOUPS 595 WITH SCORE 595.653
AT ITER 4451 NEW BEST:: SOT 7959 SOS 651 HAS SOPS 651 HAS SOUS 595 HAS SOUPS 595 WITH SCORE 595.651
AT ITER 4472 NEW BEST:: SOT 7957 SOS 647 HAS SOPS 647 HAS SOUS 591 HAS SOUPS 591 WITH SCORE 591.647
AT ITER 4643 NEW BEST:: SOT 7956 SOS 644 HAS SOPS 644 HAS SOUS 589 HAS SOUPS 589 WITH SCORE 589.644
AT ITER 4664 NEW BEST:: SOT 7956 SOS 641 HAS SOPS 641 HAS SOUS 586 HAS SOUPS 586 WITH SCORE 586.641
AT ITER 4671 NEW BEST:: SOT 7952 SOS 637 HAS SOPS 637 HAS SOUS 582 HAS SOUPS 582 WITH SCORE 582.637
AT ITER 4727 NEW BEST:: SOT 7951 SOS 636 HAS SOPS 636 HAS SOUS 581 HAS SOUPS 581 WITH SCORE 581.636
AT ITER 4733 NEW BEST:: SOT 7951 SOS 636 HAS SOPS 636 HAS SOUS 579 HAS SOUPS 579 WITH SCORE 579.636
AT ITER 4811 NEW BEST:: SOT 7945 SOS 618 HAS SOPS 618 HAS SOUS 567 HAS SOUPS 567 WITH SCORE 567.618
AT ITER 4868 NEW BEST:: SOT 7941 SOS 618 HAS SOPS 618 HAS SOUS 565 HAS SOUPS 565 WITH SCORE 565.618
AT ITER 5054 NEW BEST:: SOT 7940 SOS 616 HAS SOPS 616 HAS SOUS 563 HAS SOUPS 563 WITH SCORE 563.616
AT ITER 5111 NEW BEST:: SOT 7940 SOS 614 HAS SOPS 614 HAS SOUS 561 HAS SOUPS 561 WITH SCORE 561.614
AT ITER 5128 NEW BEST:: SOT 7940 SOS 606 HAS SOPS 606 HAS SOUS 561 HAS SOUPS 561 WITH SCORE 561.606
AT ITER 5230 NEW BEST:: SOT 7939 SOS 604 HAS SOPS 604 HAS SOUS 559 HAS SOUPS 559 WITH SCORE 559.604
AT ITER 5280 NEW BEST:: SOT 7938 SOS 602 HAS SOPS 602 HAS SOUS 558 HAS SOUPS 558 WITH SCORE 558.602
AT ITER 5342 NEW BEST:: SOT 7937 SOS 598 HAS SOPS 598 HAS SOUS 557 HAS SOUPS 557 WITH SCORE 557.598
AT ITER 5435 NEW BEST:: SOT 7937 SOS 598 HAS SOPS 598 HAS SOUS 555 HAS SOUPS 555 WITH SCORE 555.598
AT ITER 5436 NEW BEST:: SOT 7937 SOS 597 HAS SOPS 597 HAS SOUS 555 HAS SOUPS 555 WITH SCORE 555.597
AT ITER 5531 NEW BEST:: SOT 7935 SOS 593 HAS SOPS 593 HAS SOUS 551 HAS SOUPS 551 WITH SCORE 551.593
AT ITER 5570 NEW BEST:: SOT 7936 SOS 595 HAS SOPS 595 HAS SOUS 548 HAS SOUPS 548 WITH SCORE 548.595
AT ITER 5610 NEW BEST:: SOT 7935 SOS 593 HAS SOPS 593 HAS SOUS 546 HAS SOUPS 546 WITH SCORE 546.593
AT ITER 5624 NEW BEST:: SOT 7935 SOS 593 HAS SOPS 593 HAS SOUS 545 HAS SOUPS 545 WITH SCORE 545.593
AT ITER 5709 NEW BEST:: SOT 7933 SOS 594 HAS SOPS 594 HAS SOUS 543 HAS SOUPS 543 WITH SCORE 543.594
AT ITER 5909 NEW BEST:: SOT 7932 SOS 596 HAS SOPS 596 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.596
AT ITER 5997 NEW BEST:: SOT 7932 SOS 591 HAS SOPS 591 HAS SOUS 539 HAS SOUPS 539 WITH SCORE 539.591
AT ITER 6016 NEW BEST:: SOT 7931 SOS 589 HAS SOPS 589 HAS SOUS 537 HAS SOUPS 537 WITH SCORE 537.589
AT ITER 6110 NEW BEST:: SOT 7933 SOS 588 HAS SOPS 588 HAS SOUS 537 HAS SOUPS 537 WITH SCORE 537.588
AT ITER 6155 NEW BEST:: SOT 7924 SOS 570 HAS SOPS 570 HAS SOUS 522 HAS SOUPS 522 WITH SCORE 522.57
AT ITER 6165 NEW BEST:: SOT 7922 SOS 566 HAS SOPS 566 HAS SOUS 516 HAS SOUPS 516 WITH SCORE 516.566
AT ITER 6346 NEW BEST:: SOT 7921 SOS 559 HAS SOPS 559 HAS SOUS 511 HAS SOUPS 511 WITH SCORE 511.559
AT ITER 6696 NEW BEST:: SOT 7920 SOS 557 HAS SOPS 557 HAS SOUS 509 HAS SOUPS 509 WITH SCORE 509.557
AT ITER 6725 NEW BEST:: SOT 7921 SOS 551 HAS SOPS 551 HAS SOUS 506 HAS SOUPS 506 WITH SCORE 506.551
AT ITER 6754 NEW BEST:: SOT 7920 SOS 548 HAS SOPS 548 HAS SOUS 504 HAS SOUPS 504 WITH SCORE 504.548
AT ITER 6840 NEW BEST:: SOT 7919 SOS 551 HAS SOPS 551 HAS SOUS 503 HAS SOUPS 503 WITH SCORE 503.551
AT ITER 7140 NEW BEST:: SOT 7918 SOS 547 HAS SOPS 547 HAS SOUS 501 HAS SOUPS 501 WITH SCORE 501.547
AT ITER 7229 NEW BEST:: SOT 7918 SOS 546 HAS SOPS 546 HAS SOUS 501 HAS SOUPS 501 WITH SCORE 501.546
AT ITER 7270 NEW BEST:: SOT 7916 SOS 537 HAS SOPS 537 HAS SOUS 497 HAS SOUPS 497 WITH SCORE 497.537
AT ITER 7338 NEW BEST:: SOT 7916 SOS 537 HAS SOPS 537 HAS SOUS 494 HAS SOUPS 494 WITH SCORE 494.537
AT ITER 7365 NEW BEST:: SOT 7915 SOS 535 HAS SOPS 535 HAS SOUS 491 HAS SOUPS 491 WITH SCORE 491.535
AT ITER 7536 NEW BEST:: SOT 7915 SOS 529 HAS SOPS 529 HAS SOUS 491 HAS SOUPS 491 WITH SCORE 491.529
AT ITER 7698 NEW BEST:: SOT 7914 SOS 527 HAS SOPS 527 HAS SOUS 490 HAS SOUPS 490 WITH SCORE 490.527
AT ITER 7760 NEW BEST:: SOT 7914 SOS 525 HAS SOPS 525 HAS SOUS 488 HAS SOUPS 488 WITH SCORE 488.525
AT ITER 7847 NEW BEST:: SOT 7913 SOS 523 HAS SOPS 523 HAS SOUS 486 HAS SOUPS 486 WITH SCORE 486.523
AT ITER 7999 NEW BEST:: SOT 7912 SOS 521 HAS SOPS 521 HAS SOUS 483 HAS SOUPS 483 WITH SCORE 483.521
AT ITER 8080 NEW BEST:: SOT 7912 SOS 520 HAS SOPS 520 HAS SOUS 483 HAS SOUPS 483 WITH SCORE 483.52
AT ITER 8104 NEW BEST:: SOT 7913 SOS 519 HAS SOPS 519 HAS SOUS 483 HAS SOUPS 483 WITH SCORE 483.519
AT ITER 8128 NEW BEST:: SOT 7912 SOS 517 HAS SOPS 517 HAS SOUS 482 HAS SOUPS 482 WITH SCORE 482.517
AT ITER 8145 NEW BEST:: SOT 7910 SOS 513 HAS SOPS 513 HAS SOUS 480 HAS SOUPS 480 WITH SCORE 480.513
AT ITER 8183 NEW BEST:: SOT 7909 SOS 511 HAS SOPS 511 HAS SOUS 478 HAS SOUPS 478 WITH SCORE 478.511
AT ITER 8361 NEW BEST:: SOT 7908 SOS 510 HAS SOPS 510 HAS SOUS 477 HAS SOUPS 477 WITH SCORE 477.51
AT ITER 8469 NEW BEST:: SOT 7908 SOS 510 HAS SOPS 510 HAS SOUS 476 HAS SOUPS 476 WITH SCORE 476.51
AT ITER 8470 NEW BEST:: SOT 7907 SOS 509 HAS SOPS 509 HAS SOUS 475 HAS SOUPS 475 WITH SCORE 475.509
AT ITER 8580 NEW BEST:: SOT 7906 SOS 511 HAS SOPS 511 HAS SOUS 474 HAS SOUPS 474 WITH SCORE 474.511
AT ITER 8835 NEW BEST:: SOT 7904 SOS 509 HAS SOPS 509 HAS SOUS 472 HAS SOUPS 472 WITH SCORE 472.509
AT ITER 9405 NEW BEST:: SOT 7904 SOS 508 HAS SOPS 508 HAS SOUS 471 HAS SOUPS 471 WITH SCORE 471.508
AT ITER 9677 NEW BEST:: SOT 7904 SOS 506 HAS SOPS 506 HAS SOUS 471 HAS SOUPS 471 WITH SCORE 471.506
STATE_SPACE STATES 717897987691852588770250 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 50 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 23929932923061752959008301 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679145336519

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="Referendum-COL-0050"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Referendum-COL-0050, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204500432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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